Capítulo 10 — Cuantización Canónica
10.1 Principio de Correspondencia de Dirac
El principio de correspondencia, articulado por Paul Dirac en 1925, establece el puente conceptual entre la mecánica clásica (hamiltoniana) y la mecánica cuántica. La idea central es que la estructura algebraica de la teoría clásica —los corchetes de Poisson— debe sobrevivir en el régimen cuántico, mutando en la estructura de conmutadores entre operadores.
Dirac observó que los corchetes de Poisson poseen propiedades algebraicas idénticas a las del conmutador de operadores (salvo un factor $i\hbar$): antisimetría, bilinealidad, identidad de Jacobi y regla de Leibniz. Esta correspondencia algebraica sugiere un procedimiento sistemático de cuantización: asociar a cada observable clásico $f(q,p)$ un operador hermítico $\hat f$ actuando sobre un espacio de Hilbert, de modo que la estructura de corchetes de Poisson se traduzca en la estructura de conmutadores.
En el límite clásico $\hbar \to 0$, la mecánica cuántica debe recuperar la mecánica hamiltoniana. Este requisito —que las ecuaciones de Heisenberg para operadores reproduzcan las ecuaciones de Hamilton para valores esperados— es el enunciado preciso del principio de correspondencia.
10.2 De Corchetes de Poisson a Conmutadores
La regla de cuantización canónica de Dirac postula la correspondencia fundamental:
Esta prescripción no es un teorema sino un postulado guiado por la analogía algebraica. Para los corchetes fundamentales entre coordenadas y momentos:
La validez de esta correspondencia se verifica a posteriori por el éxito predictivo de la mecánica cuántica. Nótese que en el límite $\hbar \to 0$ los operadores conmutan, recuperando el álgebra conmutativa de las funciones clásicas sobre el espacio de fases.
Observación — Ambigüedad de ordenamiento
La cuantización canónica no es unívoca: productos clásicos como $q p$ admiten múltiples ordenamientos cuánticos ($\hat q \hat p$, $\hat p \hat q$, o la regla de Weyl $\frac{1}{2}(\hat q \hat p + \hat p \hat q)$). Esta ambigüedad refleja que la cuantización es un functor del álgebra de Poisson al álgebra de operadores, no un isomorfismo.
10.3 Reglas de Cuantización Canónica
En la representación de Schrödinger (o representación de coordenadas), los operadores canónicos actúan sobre funciones de onda $\psi(q) \in L^2(\mathbb{R}^n)$ del siguiente modo:
Estas definiciones garantizan automáticamente las relaciones canónicas de conmutación. En efecto, para cualquier función de prueba $\psi$:
Definición — Cuantización Canónica
Dado un sistema clásico con espacio de fases $T^*\mathbb{R}^n$ y hamiltoniano $H(q,p)$, el sistema cuántico correspondiente se define por:
- Espacio de estados: $\mathcal{H} = L^2(\mathbb{R}^n)$.
- Operadores canónicos: $\hat q^i = q^i$ (multiplicación), $\hat p_i = -i\hbar\,\partial/\partial q^i$.
- Hamiltoniano cuántico: $\hat H = H(\hat q, \hat p)$ (con prescripción de ordenamiento).
- Ecuación de evolución: $i\hbar\,\partial_t\psi = \hat H\psi$ (ecuación de Schrödinger).
10.4 Relaciones Canónicas de Conmutación
Las relaciones canónicas de conmutación (CCR por sus siglas en inglés) constituyen el álgebra fundamental de la mecánica cuántica:
De estas relaciones se deriva el principio de incertidumbre de Heisenberg. Para dos observables $\hat A$, $\hat B$ con conmutador $[\hat A, \hat B] = i\hat C$, la desigualdad de Robertson-Schrödinger establece:
En particular para $\hat q$ y $\hat p$ en una dimensión: $\Delta q\,\Delta p \geq \hbar/2$. Esta es la manifestación física más profunda de la no conmutatividad del álgebra de observables cuánticos.
Teorema de Stone–von Neumann
Para un número finito de grados de libertad, toda representación irreducible de las CCR (que satisfaga ciertas condiciones de regularidad) es unitariamente equivalente a la representación de Schrödinger. Esto confiere unicidad a la mecánica cuántica de sistemas finito-dimensionales.
10.5 Operadores como Generadores de Transformaciones Unitarias
En el formalismo hamiltoniano clásico, los corchetes de Poisson con una función generatriz producen transformaciones canónicas infinitesimales. En el ámbito cuántico, el conmutador con un operador hermítico genera transformaciones unitarias. Si $\hat G$ es un operador hermítico, el operador unitario asociado es:
La acción sobre un operador $\hat A$ viene dada por la fórmula de Baker–Campbell–Hausdorff:
Esto establece una correspondencia precisa:
- El momento lineal $\hat p$ genera traslaciones espaciales: $e^{-ia\hat p/\hbar}\psi(q) = \psi(q - a)$.
- El hamiltoniano $\hat H$ genera la evolución temporal: $e^{-i\hat H t/\hbar}$ es el operador de evolución.
- El momento angular $\hat L_z$ genera rotaciones alrededor del eje $z$.
10.6 Espacio de Hilbert de Estados
El espacio natural de la mecánica cuántica de una partícula en $\mathbb{R}^n$ es el espacio de Hilbert $L^2(\mathbb{R}^n)$ de funciones de cuadrado integrable:
El producto interno que define la estructura de Hilbert es:
Postulados de la Mecánica Cuántica (resumen)
1. Los estados puros se representan por rayos en $\mathcal{H}$ (vectores normalizados módulo fase).
2. Los observables son operadores autoadjuntos $\hat A$ en $\mathcal{H}$.
3. Los resultados de medición son los autovalores de $\hat A$; la probabilidad de obtener $a_k$ en el estado $\psi$ es $|\langle \phi_k|\psi\rangle|^2$.
4. La evolución temporal es unitaria: $i\hbar\,\partial_t|\psi\rangle = \hat H|\psi\rangle$ (ecuación de Schrödinger).
10.7 Conexión con la Ecuación de Schrödinger
La cuantización canónica del hamiltoniano clásico $H(q,p) = \frac{p^2}{2m} + V(q)$ produce el operador hamiltoniano:
La ecuación de Schrödinger dependiente del tiempo se obtiene aplicando la prescripción de evolución temporal:
Esta ecuación —piedra angular de toda la mecánica cuántica no relativista— es la consecuencia directa de la cuantización canónica del hamiltoniano clásico. Los cursos de Mecánica Cuántica que el estudiante encontrará a continuación desarrollarán en profundidad las técnicas de solución: separación de variables, estados estacionarios $\psi(q,t) = \phi(q)e^{-iEt/\hbar}$, ecuación de autovalores $\hat H\phi = E\phi$, y la interpretación probabilística de Born.
Observación — Ecuación de Heisenberg
Alternativamente, en la representación de Heisenberg, los operadores evolucionan mientras los estados permanecen fijos: $d\hat A/dt = (i\hbar)^{-1}[\hat A, \hat H]$. Esta ecuación es el análogo cuántico exacto de $\dot f = \{f, H\}$ en mecánica hamiltoniana, completando el paralelismo estructural entre ambas teorías.
10.8 De la Mecánica Clásica a la Cuántica: Cierre del Recorrido
Hemos recorrido un camino que comienza con la formulación lagrangiana, atraviesa la transformada de Legendre hacia el hamiltoniano, explora la geometría simpléctica del espacio de fases, y culmina en la cuantización canónica. La siguiente tabla sintetiza las correspondencias estructurales:
Correspondencia Clásico–Cuántica
| Mecánica Clásica (Hamiltoniana) | Mecánica Cuántica |
|---|---|
| Espacio de fases $T^*\mathbb{R}^n$ | Espacio de Hilbert $\mathcal{H} = L^2(\mathbb{R}^n)$ |
| Estado $(q,p)$ | Función de onda $\psi(q)$ |
| Observable $f(q,p)$ | Operador autoadjunto $\hat f$ |
| Corchete de Poisson $\{f,g\}$ | Conmutador $(1/i\hbar)[\hat f, \hat g]$ |
| $\dot f = \{f, H\}$ (evolución) | $i\hbar\,\partial_t\psi = \hat H\psi$ (Schrödinger) |
| Transformaciones canónicas | Transformaciones unitarias |
La mecánica hamiltoniana no es, por tanto, un formalismo más entre otros: es el lenguaje natural de la física teórica, el punto de partida indispensable para la cuantización y para todas las teorías modernas —teoría cuántica de campos, relatividad general, teoría de cuerdas— que emplean la geometría simpléctica y las álgebras de operadores como herramientas fundamentales.
Epílogo
El viaje desde el principio de mínima acción de Hamilton hasta la ecuación de Schrödinger es uno de los arcos conceptuales más bellos de la física. Cada concepto —acción, lagrangiano, hamiltoniano, corchete de Poisson, forma simpléctica, transformación canónica— encuentra su contraparte cuántica. El estudiante que ha completado este recorrido posee ahora las herramientas para adentrarse en la mecánica cuántica no como un conjunto de recetas, sino como la culminación natural de una estructura matemática coherente y profunda.