Momento angular (basado en Merzbacher, Zettili, Griffiths, Shankar, etc.)

Al igual que en la mecánica clásica, el momento angular reviste una gran importancia en la cuántica. Su conocimiento nos permite también en esta área aprovechar las ventajas que ofrecen problemas con simetrías de rotación, que justamente aparecen en sistemas moleculares, atómicos y nucleares.

A partir del principio de correspondencia, el momento angular orbital para una partícula queda definido por

$$\hat{\bm{L}} = \hat{\bm{r}}\times\hat{\bm{p}} = -i\hbar\,\hat{\bm{r}}\times\nabla \;,$$

o bien, en coordenadas cartesianas

$$\hat{L}_j = \varepsilon_{jk\ell}\, \hat{x}_k\, \hat{p}_\ell \;,$$

donde nos valemos de la convención de suma implícita para índices repetidos, y utilizamos el tensor completamente antisimétrico (Levi-Civita)

$$\varepsilon_{jk\ell} = \left\{ \begin{array}{rcl} 1 && \mbox{si... ...par de $x,y,z$}\\ 0 && \mbox{en cualquier otro caso}\\ \end{array} \right.$$

A partir de estas expresiones es directo verificar las relaciones de conmutación

$$[\hat{L}_j,\hat{L}_k]=i\hbar\,\varepsilon_{jk\ell}\,\hat{L}_\ell\... ...ell\;, \qquad [\hat{L}_j,\hat{p}_k]=i\hbar\,\varepsilon_{jk\ell}\,\hat{p}_\ell$$   (ejercicio).

Si bien acostumbramos a mostrar estas identidades en la base coordenada, es importante recordar que valen como operadores, es decir, independientemente de la representación que elijamos.

Las relaciones anteriores deben ser válidas para cualquier momento angular $\hat{\bm{J}}$ —no solo para el orbital, asociado con la traslación de una partícula—. A menudo las relaciones de conmutación entre las componentes de $\hat{\bm{J}}$ se resumen como

$$\hat{\bm{J}} \!\times \hat{\bm{J}} = i\hbar\, \hat{\bm{J}} .$$

Las componentes $\hat{J}_x$, $\hat{J}_y\,$ y $\hat{J}_z\,$ no conmutan entre sí, por lo cual no pueden diagonalizarse simultáneamente. En cambio el operador escalar

$$\hat{J}^2 = \hat{J}_x^2 + \hat{J}_y^2 + \hat{J}_z^2$$

conmuta con cualquiera de las componentes:

$$[\hat{J}^2,\hat{J}_k]=0 \qquad (k=x,y,z) \;.$$

Es directo demostrar que todos estos operadores son hermitianos (ejercicio). Podemos elegir diagonalizar simultáneamente $\hat{J}^2\,$ y alguna de las componentes $\hat{J}_k\,$; por convención, elegimos $\hat{J}_z\,$. Identificamos los autovalores de $\hat{J}^2\,$ con el parámetro $\alpha\,$, mientras que para los de $\hat{J}_z\,$ utilizamos $\beta\,$; entonces señalamos como $\vert\alpha,\beta\rangle\,$ los estados cuánticos de un sistema —con respecto a estos dos operadores—. Podemos escribir las correspondientes ecuaciones de autovalores como

$$\hat{J}^2\,\vert\alpha,\beta\rangle = \hbar^2\alpha\, \vert\alpha... ...\hat{J}_z\,\vert\alpha,\beta\rangle = \hbar\beta\, \vert\alpha,\beta\rangle\;,$$

donde las respectivas constantes $\hbar^2\,$ y $\hbar\,$ se introducen por comodidad, de manera que $\alpha\,$ y $\beta\,$ sean adimensionales. Como siempre, tomamos los estados $\vert\alpha,\beta\rangle\,$ ortonormales:

$$\langle\alpha',\beta'\vert\alpha,\beta\rangle = \delta_{\alpha'\alpha}\, \delta_{\beta'\beta} \;.$$

La simetría de las relaciones de conmutación sugiere introducir —de manera semejante al desarrollo para el oscilador armónico— los operadores $\hat{J}_+\,$ (“subidor”) y $\hat{J}_-\,$ (“bajador”)^h, definidos como

$$\hat{J}_\pm = \hat{J}_x \pm i\,\hat{J}_y \;,$$

de donde

$$\hat{J}_x = \frac{\hat{J}_{+}+\hat{J}_{-}}{2} \;,\qquad \hat{J}_y = \frac{\hat{J}_{+}-\hat{J}_{-}}{2i} \;.$$

Resulta directo mostrar las relaciones (ejercicio)

$$[\hat{J}^2,\hat{J}_\pm] = 0 \;,\qquad [\hat{J}_+,\hat{J}_-] = 2\hbar\,\hat{J}_z \;, \qquad [\hat{J}_z,\hat{J}_\pm] = \pm\hbar\,\hat{J}_\pm \;,$$

y también (ejercicio también)

$$\hat{J}_+\hat{J}_- = \hat{J}_x^2 + \hat{J}_y^2 + \hbar\,\hat{J}_z = \hat{J}^2 - \hat{J}_z^2 + \hbar\,\hat{J}_z$$

$$\hat{J}_-\hat{J}_+ = \hat{J}_x^2 + \hat{J}_y^2 - \hbar\,\hat{J}_z = \hat{J}^2 - \hat{J}_z^2 - \hbar\,\hat{J}_z \;,$$

de donde

$$\hat{J}^2 = \hat{J}_\pm\hat{J}_\mp + \hat{J}_z^2 \mp \hbar\,\hat{... ... \frac{1}{2}\left(\hat{J}_+\hat{J}_-+\hat{J}_-\hat{J}_+\right)+\hat{J}_z^2 \;.$$