Relaciones de conmutación canónicas

En mecánica cuántica (física), las relaciones de conmutación canónicas son las relaciones fundamentales entre magnitudes conjugadas (cantidades que están relacionadas por definición de modo que una es la transformada de Fourier de la otra). Por ejemplo,

entre el operador de posición ${displaystyle x}$ y operador momento ${displaystyle p_{x}}$ en la dirección ${displaystyle x}$ de una partícula puntual en una dimensión, donde ${displaystyle [x,p_{x}]=xp_{x}-p_{x}x}$ es el conmutator de ${displaystyle x}$ y ${displaystyle p_{x}}$ , ${displaystyle i}$ es la unidad imaginaria, y ${displaystyle hbar }$ es la constante de Planck reducida ${displaystyle h/2pi }$. En general, la posición y el momento son vectores de operadores y la relación de conmutación entre sus componentes se puede expresar como

donde ${displaystyle delta _{ij}}$ es la delta de Kronecker.

Se le atribuye esta relación a Max Born (1925),^[1]​ que la llamó "condición cuántica" y la empleó como postulado de la teoría. E. Kennard (1927) demostró que implicaba el principio de incertidumbre de Heisenberg.^[2]​

Por contraste, en la física clásica, todos los observables conmutan y el conmutator sería cero. Aun así, una relación análoga existe reemplazando el conmutator con el corchete de Poisson multiplicado por ${displaystyle ihbar }$:

Esta observación inspiró a Dirac para proponer que las versiones cuánticas ${displaystyle {hat {f}}}$, ${displaystyle {hat {g}}}$ de los observables clásicos ${displaystyle f}$, ${displaystyle g}$ satisfacen

En 1946, Hip Groenewold demostró que una correspondencia sistemática general entre conmutadores cuánticos y corchetes de Poisson no puede ser válida de manera consistente.^[3]​ Aun así, existe una correspondencia sistemática entre el conmutador cuántico y una deformación del corchete de Poisson, el corchete de Moyal, y, en general, operadores cuánticos y observables clásicos y distribuciones en el espacio de fases. Groenewold descubrió el mecanismo de correspondencia, la transformación de Wigner-Weyl, que da lugar a una representación de la mecánica cuántica alternativa matemáticamente equivalente, conocida como cuantizción por deformación.^[3]​

El grupo ${displaystyle H_{3}(mathbb {R} )}$ generado por exponenciación del álgebra de Lie tridimensional determinada por la relación de conmutación ${displaystyle [{hat {x}},{hat {p}}_{x}]=ihbar }$ se llama grupo de Heisenberg.

Según la formulación matemática estándar de la mecánica cuántica, los observables cuánticos como ${displaystyle x}$ y ${displaystyle p_{x}}$ tendrían que ser representados por operadores autoadjuntos en algún espacio de Hilbert. Es relativamente fácil de ver que dos operadores que satisfacen la relación de conmutación anterior no pueden ser acotados—tan solo hay que tomar la traza de ambos lados de las relaciones y utilizar la relación ${displaystyle mathrm {tr} (AB)=mathrm {tr} (BA)}$ se consigue un número finito a la derecha y cero a la izquierda.

Alternativamente, notar que ${displaystyle [x^{n},p_{x}]=ihbar nx^{n-1}}$, por lo que las normas de los operadores satisfacen

Sin embargo, ${displaystyle n}$ puede ser arbitrariamente grande, así que al menos uno de los operadores debe ser no acotado, y la dimensión del espacio de Hilbert no puede ser finita. Utilizando las relaciones de Weyl, de hecho, se puede demostrar que ambos operadores son no acotados.

Aun así, estas relaciones de conmutación canónicas se pueden escibir de un modo un poco "más domado" en términos de los operadores unitarios (acotados) ${displaystyle exp(itx)}$ y ${displaystyle exp(isp_{x})}$, que admiten representaciones de dimensión finita (por ejemplo, las matrices desplazamiento y reloj que generalizan las matrices de Pauli).

Las relaciones entre estos operadores son las relaciones de Weyl

El conmutator que define el grupo es entonces

La unicidad de las relaciones de conmutación canónicas entre la posición y el momento está garantizada por el teorema de Stone-von Neumann.

La fórmula sencilla

válida para la cuantización del sistema clásico más sencillo, puede ser generalizado al caso de un lagrangiano arbitrario ${displaystyle {mathcal {L}}}$^[4]​ Identificamos las coordenadas canónicas (como ${displaystyle x}$ en el ejemplo anterior, o un campo Φ(x) en el caso de teoría de campos cuánticos) y momentos canónicos πx (en el ejemplo anterior es ${displaystyle p_{x}}$, o más generalmente, alguna función que incluye derivadas de las coordenadas canónicas con respecto al tiempo):

Esta definición del momento canónico asegura que una de las ecuaciones de Euler–Lagrange tiene la forma

Entonces las relaciones de conmutación canónica tienen la forma

donde δij es la delta de Kronecker.

Además se puede demostrar fácilmente que

Todas las relaciones de conmutación no triviales implican relaciones de incertidumbre,<^[5]​ que contienen contribuciones semi-definidas positivas de los valores esperados de conmutadores y anticonmutadores. En general, para dos operadores hermíticos ${displaystyle A}$ y ${displaystyle B}$, dadas las varianzas ${displaystyle Delta A, Delta B}$ alrededor de los valores esperados en un estado ${displaystyle psi }$, ${displaystyle (Delta A)^{2}=leftlangle (A-langle A angle )^{2} ight angle }$ y análogamente para ${displaystyle B}$.

Entonces

donde ${displaystyle [A,B]=AB-BA}$ es el conmutador de ${displaystyle A}$ y ${displaystyle B}$, y ${displaystyle {A,B}=AB+BA}$ es el anticonmutador.

Esto se sigue del uso de las desigualdades de Cauchy–Schwarz, ya que ${displaystyle |langle A^{2} angle |,|langle B^{2} angle |geq |langle AB angle |^{2}}$ y ${displaystyle AB={frac {1}{2}}([A,B]+{A,B})}$; y de modo parecido para los operadores desplazados ${displaystyle A-langle A angle }$ y ${displaystyle B-langle B angle }$.

Sustituyendo ${displaystyle A}$ y ${displaystyle B}$ se obtiene la relación de incertidumbre de Heisenberg para ${displaystyle x}$ y ${displaystyle p_{x}}$ usual.

Para los operadores de momento angular ${displaystyle L_{x}=yp_{z}-zp_{y}}$, etc., se tiene que

donde ${displaystyle epsilon _{xyz}}$ es el símbolo de Levi-Civita, que invierte el signo de la respuesta bajo intercambio de un par de índices. Los operadores de espín cumplen una relación análoga.

Aquí, para ${displaystyle L_{x}}$ y ${displaystyle L_{y}}$ ,^[5]​ en los multipletes del momento angular ${displaystyle psi =|ell ,m angle }$, se tiene, para las componentes transversales del invariante de Casimir ${displaystyle L^{2}=L_{x}^{2}+L_{y}^{2}+L_{z}^{2}}$, las relaciones de simetría en ${displaystyle z}$

así como ${displaystyle langle L_{x} angle =langle L_{y} angle =0}$.

En consecuencia, la desigualdad anterior aplicada a esta relación de conmutación es

de ahí

y por tanto

De este modo se obtienen restricciones para el invariante de Casimir como ${displaystyle ell (ell +1)geq m(m+1)}$, y por ello ${displaystyle ell geq m}$, entre otras.

---