Teoría general del momento angular

ˆ = Jˆ x i + Jˆy j + Jˆz k , satisfacen las relaciones de

Los operadores que generan rotaciones, J
conmutación
Jˆ , Jˆ   = i  , , Jˆ . (1)
Por ejemplo, el operador de momento angular orbital Lˆ = rˆ  p ˆ satisface estas relaciones,
lˆ ,lˆ  = i  , , lˆ . (2)
 
Ya habíamos visto que si tenemos un set completo de observables que conmutan dado por
 , Lˆ2 ,lˆ
z (en donde representa a otros operadores del set), entonces su eigenbase es

Dr. Carlos Ramírez Ramos – FC UNAM

 ,l , m  , de tal forma que

Lˆ2 ,l , m = l (l + 1)
2
,l , m (3)
y
lˆz ,l , m = m ,l , m , (4)
donde
l = 0,1,2,3, y m = −l , −l + 1, −l + 2, ,l . (5)
Es importante recordar que (5) surgió del proceso de hallar las eigenfunciones de L̂ 2 y lˆz a
través de resolver las ecuaciones diferenciales correspondientes por medio de separación de
variables. No se tendrán soluciones físicas a menos que se cumpla (5).
Por otro lado, usando únicamente los conmutadores en (2), demostramos que
Lˆ2 ,lˆ  = 0 , (6)
 
donde Lˆ2 = lˆ2 + lˆ2 + lˆ2 . Nótese también que todos los resultados en el tema “Operadores de
x y z

ascenso y descenso de momento angular”, fueron obtenidos únicamente usando (2).

Teoría general del momento angular

Por el hecho de generar rotaciones, se define que todo operador Ĵ que cumpla con (1) es un
operador de momento angular. Podemos definir el operador
Jˆ 2 = Jˆ x2 + Jˆy2 + Jˆz2 . (7)
En analogía con el momento angular orbital, tenemos que usando (1), obtenemos que
Jˆ 2 , Jˆ  = 0 , (8)

y por lo tanto, existe una eigenbase en común para Ĵ 2 y cualquier componente Ĵ  . Nos
preguntaríamos, en general, como se escribe esta eigenbase, por el sólo hecho de cumplir
con (1).
Suponga que tenemos un set completo de observables que conmutan Aˆ , Bˆ , , Jˆ , Jˆz . Su  
eigenbase sería  a , b, ,  j , m  , de tal forma que
 Teoría general del momento angular
Aˆ a , b, ,  j , m = a a , b, ,  j , m
Bˆ a , b, ,  j , m = b a , b, ,  j , m
. (9)
Jˆ 2 a , b, ,  j , m =  j a , b, ,  j , m
Jˆz a , b, ,  j , m = m a , b, ,  j , m
En analogía con lo calculado para el momento angular orbital (para los detalles, ver el tema
“Operadores de ascenso y descenso de momento angular”) podemos definir operadores de
ascenso y descenso como
Jˆ  = Jˆ x  iJˆy , (10)

Dr. Carlos Ramírez Ramos – FC UNAM

de tal manera que
Jˆ † = Jˆ . (11)
Los operadores de ascenso y descenso satisfacen
(a ) Jˆ 2 , Jˆ   = 0
(b1)  Aˆ , Jˆ   = 0
(b 2) Bˆ , Jˆ   = 0
. (12)
(c ) Jˆz , Jˆ   =  Jˆ 
(d ) Jˆ + , Jˆ −  = 2 Jˆz
 
(e ) Jˆ − Jˆ + = Jˆ 2 − Jˆz2 − Jˆz
(f ) Jˆ + Jˆ − = Jˆ 2 − Jˆz2 + Jˆz
Los conmutadores (12)(a) y (b) nos conducen a que
Jˆ 2Jˆ a, b, ,  j , m =  j Jˆ a, b, ,  j , m
Aˆ Jˆ a, b, ,  j , m = aJˆ a, b, ,  j , m . (13)
BˆJˆ a, b, ,  j , m = bJˆ a, b, ,  j , m

Por otro lado, (12)(c) nos conduce a

Jˆz Jˆ a, b, ,  j , m = ( m  ) Jˆ a , b, ,  j , m . (14)
De aquí tenemos que
Jˆ + a , b, ,  j , m = a ,b , , j ,m a , b, ,  j , m + , (15)
y
Jˆ − a , b, ,  j , m = a ,b , , j ,m a , b, ,  j , m − . (16)
Ahora usando (11) y (15) obtenemos
2
a, b, ,  j , m Jˆ− Jˆ+ a,b, ,  j , m = a ,b , , j ,m . (17)
Por otro lado, usando (12)(e), obtenemos
a, b, ,  j , m Jˆ− Jˆ+ a , b, ,  j , m =  j − m ( m + ) (18)
Al comparar (17) y (18), obtenemos
2
a ,b, , j ,m =  j − m ( m + ), (19)
y entonces
 Teoría general del momento angular
a ,b , , j ,m =  j ,m =  j − m ( m + ). (20)
Por otro lado, usando (11), (16) y (12)(f), se puede demostrar que (p. tarea corta)
2
a ,b, , j ,m =  j − m ( m − ), (21)
y entonces
a ,b , , j ,m =  j ,m =  j − m ( m − ). (22)
En resumen,
Jˆ a, b, ,  j , m =  j − m ( m  ) a , b, ,  j , m  . (23)

Dr. Carlos Ramírez Ramos – FC UNAM

Determinación de eigenvalores de Ĵ 2 y Jˆz
Puesto que sólo estamos usando los conmutadores en (1), no podemos seguir un proceso de
separación de variables para conocer los eigenvalores  j y  j , así que el método para hallar
que valores pueden tomar estos eigenvalores es distinto.
2 2
Como a ,b , , j ,m 0 y a ,b , , j ,m  0 , las ecuaciones (19) y (21) nos conducen a las
desigualdades,
 j  m ( m + ) y  j  m ( m − ). (24)
Suponga que max es el máximo valor que puede tomar m . Entonces no puede existir el
estado a , b, ,  j , max + , por lo que de (23) concluimos que

 j − max ( max + ) = 0. (25)

Esto indica que
 j = max ( max + ). (26)
De igual manera, si min es el mínimo valor que puede tomar m , no puede existir
a , b, ,  j , min − y de (23) concluimos que

 j − min ( min − ) = 0. (27)

Entonces
 j = min ( min − ). (28)
La ecuación (14) implica que si m es un eigenvalor de Jˆz , otros posibles eigenvalores son
m  , m  2 , m  3 , . De la definición de min , tendremos que los posibles eigenvalores de
Jˆz son
min , min + , min + 2 , , min + N (29)
con N algún entero no-negativo. El último de estos eigenvalores debe ser max , y entonces
max = min + N . (30)
Al igualar (26) y (28), y usando (30), obtenemos
 Teoría general del momento angular
min ( min − ) = max ( max + )
= ( min + N )  min + ( N + 1) 

min
2
− min = min
2
+ ( 2N + 1) min + N ( N + 1) 2

. (31)
−2 ( N + 1) min = +N ( N + 1) 2

N
min = −
2
Usando el resultado de (31) en (30), obtenemos además que

Dr. Carlos Ramírez Ramos – FC UNAM

N
max = (32)
2
Usando ahora (26), concluimos que
 j = 2 j ( j + 1) (33)
donde j  N
2 y entonces
j = 0, 12 ,1, 32 ,2, 52 ,3, . (34)
Usando esta definición para j , la lista (29) indica que
m = m (35)
con
m = − j , − j + 1, − j + 2, ,j. (36)
Evidentemente, dados los valores j y m , podemos calcular los eigenvalores de Ĵ 2 y Jˆz . Es
por ello que j y m son los números cuánticos asociados al momento angular Ĵ 2 y a la
proyección del momento angular sobre el eje z. Vale la pena definir los kets de la base de tal
forma que contengan directamente los números cuánticos j y m , quedando la eigenbase
como  a , b, , j ,m  . Por lo que, en resumen,
Aˆ a, b, , j , m = a a , b, , j , m
Bˆ a, b, , j , m = b a, b, , j , m
(37)
Jˆ 2 a, b, , j , m = j ( j + 1) a, b, , j , m
2

Jˆz a, b, , j , m = m a, b, , j , m

Para comentar…
1. ¿Hay alguna contradicción entre las listas en (34) y (36), con las del momento angular
orbital en (5)?
2. ¿Puede extraer alguna conclusión física del hecho de que estas listas no sean iguales?