Professional Documents
Culture Documents
L = r p, (9.1)
donde r y p son los vectores posicion y momentum lineal respectiva-
mente.
9.1 Decimooctava leccion
En esta leccion estudiaremos el algebra de los conmutadores del mo-
mento angular cuantico. De acuerdo al postulado n umero dos, al vector
momento angular en mecanica cuantica se le asocian tres operadores
lineales acotados y hermticos que son
L =
r
p = u
x
L
x
+ u
y
L
y
+ u
z
L
z
= ir
(9.2)
= i
u
x
u
y
u
z
x y z
(9.3)
= i[u
x
(y
z
z
y
) + u
y
(z
x
x
z
) + u
z
(x
y
y
z
)]
101
102 / Lecciones de Mecanica Cuantica
el cual hemos expresado en la representaci on de las coordenadas de los
operadores cuanticos, hemos utilizado las deniciones de los vectores
unitarios u
j
, j = x, y, z en las tres direcciones cartesianas y se ha
introducido en (9.3) la notacion de determinante para expresar el vector
operador momento angular y sus tres componentes.
9.1.1 Algebra del Momento Angular
El algebra que satisfacen los operadores
L
j
, j = x, y, z es de tras-
cendental importancia en la fsica y es conocida en la matematica como
el algebra de Lie del grupo SU(2) (matrices unitarias de dimension 22
con determinante +1). Ve amos a continuaci on cual es esta algebra.
Conmutadores
Comencemos por calcular los nueve conmutadores [
L,
r] del tri-
vector operador momento angular
L
j
=
k,l=x,y,z
jkl
x
k
p
l
= i
k,l=x,y,z
jkl
x
k
x
l
. (9.4)
Utilizando los conmutadores fundamentales de la ecuacion (1.6) es sim-
ple ver que
[
L
j
, x
n
] = [
k,l
jkl
x
k
p
l
, x
n
] =
k.l
jkl
( x
k
[ p
l
, x
n
] + [ x
k
, x
n
] p
l
)
= i
k,l
jkl
x
k
ln
= i
jkn
x
k
= i
jnk
x
k
,
donde se ha hecho uso nuevamente de la identidad entre operadores
[
A
B,
C] =
A[
B,
C] + [
A,
C]
B, de la antisimetra de la densidad tenso-
rial de Levi-Civitta
jkn
=
jnk
y de los conmutadores basicos entre
Momento Angular y Espn / 103
variables canonico conjugadas [ x
k
, x
n
] = 0 y [ p
k
, x
n
] = i
kn
, todo lo
anterior para j, k, n, l = 1, 2, 3 = x, y, z.
Los nueve conmutadores que hemos calculado son [
L
x
, x] = [
L
y
, y] =
[
L
z
, z] = 0, [
L
x
, y] = i z, [
L
x
, z] = i y, [
L
y
, z] = i x, [
L
y
, x] =
i z, [
L
z
, x] = i y, [
L
z
, y] = i x, .
De igual manera podemos calcular los nueve conmutadores [
L,
p]
del tri-vector operador momento angular
L
j
, p
n
] = [
k,l
jkl
x
k
p
l
, p
n
] =
k.l
jkl
( x
k
[ p
l
, p
n
] + [ x
k
, p
n
] p
l
)
= i
k,l
jkl
kn
p
l
= i
jnl
p
l
,
donde ademas de los anteriores conmutadores se ha utilizado [ p
l
, p
n
] =
0. Con la ayuda de los resultados anteriores podemos establecer las
reglas de conmutaci on entre los tres operadores L
j
, j = x, y, z. Ve amos
por ejemplo:
[
L
x
,
L
y
] = [
L
x
, ( z p
x
x p
z
)] = [
L
x
, z p
x
] [
L
x
, x p
z
]
= [
L
x
, z] p
x
+ z[
L
x
, p
x
] x[
L
x
, p
z
] [
L
x
, x] p
z
= i y p
x
+ i x p
y
= i( x p
y
y p
x
) = i
L
z
.
De manera similar podemos mostrar que [
L
x
,
L
z
] = i
L
y
y [
L
y
,
L
z
] =
i
L
x
. Como todo operador conmuta con sigo mismo ([
A,
A] = 0) y para
cualquier par de operadores
A y
B se cumple que [
A,
B] = [
B,
A],
podemos escribir
[
L
j
,
L
k
] = i
jkn
L
n
, (9.5)
para j, k, n = 1, 2, 3 = x, y, z, nueve conmutadores que denen la llama-
da algebra del momento angular, la cual podemos escribir de manera
simb olica como
L
L = i
L.
Hasta ahora hemos utilizado la nomenclatura tri-vector operador
para los operadores asociados con las magnitudes fsicas
r,
p y
L, pero
no hemos denido con propiedad un operador vectorial en mecanica
cuantica. Hagamoslo:
104 / Lecciones de Mecanica Cuantica
Denicion
O = u
x
O
x
+ u
y
O
y
+ u
z
O
z
es un operador vectorial en mecanica
cuantica si satisface con el vector-operador momento angular
L la si-
guiente algebra de conmutadores
[
L
j
,
O
k
] = i
jkn
O
n
. (9.6)
De conformidad con esta denicion,
r,
p y
L
2
=
L
2
x
+
L
2
y
+
L
2
z
. (9.7)
Es simple chequear que este operador satisface las siguientes tres rela-
ciones de conmutaci on
[
L
2
,
L
x
] = [
L
2
,
L
y
] = [
L
2
,
L
z
] = 0. (9.8)
Mostremos por ejemplo la primera de ellas:
[
L
2
,
L
x
] = [
L
2
x
+
L
2
y
+
L
2
z
,
L
x
] = [
L
2
x
,
L
x
] + [
L
2
y
,
L
x
] + [
L
2
z
,
L
x
]
=
L
y
[
L
y
,
L
x
] + [
L
y
,
L
x
]
L
y
+
L
z
[
L
z
,
L
x
] + [
L
z
,
L
x
]
L
z
= i(
L
y
L
z
+
L
z
L
y
) + i(
L
y
L
z
+
L
z
L
y
) = 0.
Hasta este punto hemos denido y trabajado con las componentes
cartesianas
L
j
, j = 1, 2, 3 = x, y, z del momento angular. Es convenien-
te tambien denir sus componentes esfericas
L
y
L
0
como:
L
+
=
L
x
+ i
L
y
(9.9)
=
L
x
i
L
y
(9.10)
L
0
=
L
z
. (9.11)
Debido a la hermiticidad de
L
x
y
L
y
es simple vericar que las siguientes
relaciones se cumplen:
L
+
=
L
y
L
=
L
+
. Igualmente, un calculo
Momento Angular y Espn / 105
directo nos permitira establecer las siguientes reglas de conmutaci on
para las componentes esfericas:
[
L
+
,
L
] = 2
L
z
, (9.12)
[
L
z
,
L
+
] =
L
+
, (9.13)
[
L
z
,
L
] =
. (9.14)
Y de la ecuacion (9.8) podemos ver que
[
L
2
,
L
+
] = [
L
2
,
L
] = 0. (9.15)
De gran utilidad son igualmente las dos relaciones siguientes, las cuales
son muy simples de vericar:
L
2
=
L
+
+
L
2
z
L
z
(9.16)
L
2
=
L
L
+
+
L
2
z
+
L
z
. (9.17)
Para terminar esta leccion es conveniente escribir la forma de los
operadores momento angular en coordenadas esfericas (r, , ) que se
relacionan con las coordenadas cartesianas como:
x = r sin cos ,
y = r sin sin ,
z = r cos .
Con las relaciones inversas dadas por
r =
_
x
2
+ y
2
+ z
2
,
= tan
1
_
_
x
2
+ y
2
z
_
= cos
1
_
z
_
x
2
+ y
2
+ z
2
_
= tan
1
(y/x).
Un algebra elaborada aunque directa nos permite obtener las ex-
presiones:
L
z
= i
, (9.18)
= e
i
(
+ i cot
), (9.19)
L
2
=
2
_
1
sin
2
2
+
1
sin
(sin
)
_
. (9.20)
106 / Lecciones de Mecanica Cuantica
9.2 Decimonona leccion
En esta leccion calcularemos los autovalores de
L
2
y
L
z
utilizando el
algebra del momento angular derivada en la leccion anterior. Igualmente
introduciremos las matrices de las componentes del vector momento
angular.
9.2.1 Autovalores de
L
2
y
L
z
En lo que sigue de este captulo vamos a hacer = 1, es decir, vamos
a expresar el momento angular
L en unidades de y L
2
en unidades
de
2
.
De la denicion del operador
L
2
tenemos que
L
2
L
2
z
L
2
x
+
L
2
y
=
_
d
L
2
x
+
L
2
y
)
=
_
d|
L
2
x
|
2
+
_
d|
L
2
x
|
2
0,
donde el valor esperado es tomado para cualquier sea la funcion de onda
que describe el sistema fsico (la cual se ha tomado ya normalizada
a la unidad). Notese que en la desigualdad anterior se ha utilizado el
hecho que tanto
L
x
como
L
y
son operadores hermticos.
Sea ahora =
m
, autofunciones de
L
z
de autovalor m; es decir
L
z
m
= m
m
. La anterir relacion nos permite escribir entonces
L
2
L
2
z
m
= m
2
,
relacion que podemos escribir como
_
L
2
m
m
_
L
2
m
, (9.21)
de tal suerte que los valores posibles de m, autovalores de L
z
, estan
limitados, con una cota superior igual al negativo de la cota inferior,
dominadas ambas cotas por las races cuadradas de los valores esperados
del operador
L
2
, para sistemas fsicos descritos por funciones de onda,
autofunciones de
L
z
.
Utilicemos ahora el algebra derivada en la leccion anterior para re-
solver los dos problemas siguientes:
Momento Angular y Espn / 107
Problema 1.
Mostrar que si
m
es autofuncion de
L
z
con autovalor m, entonces
L
+
m
es tambien autofuncion de
L
z
, pero con autovalor m + 1.
Para la demostracion apliquemos el operador
L
z
a la funcion (
L
+
m
)
y hagamos uso de la ecuacion (9.13)
L
z
(
L
+
m
) = (
L
z
L
+
)
m
= (
L
+
L
z
+
L
+
)
m
= (
L
+
m +
L
+
)
m
= (m + 1)(
L
+
m
).
Problema 2
Mostrar que si
m
es autofuncion de
L
z
con autovalor m, entonces
m
es tambien autofuncion de
L
z
, pero con autovalor m1.
Igual que antes apliquemos el operador
L
z
a la funcion (
m
) y
hagamos uso de la ecuacion (9.14)
L
z
(
m
) = (
L
z
)
m
= (
L
z
)
m
= (
m
L
)
m
= (m1)(
m
).
En los dos problemas anteriores se ha mostrado que
L
+
m
=
m
m+1
, y
L
m
=
m
m1
, (9.22)
con
m
y
m
valores constantes que vamos a determinar mas adelan-
te. En la literatura se suelen llamar a los operadores
L
, operadores
escalera por que suben o bajan el autovalor de
L
z
en una unidad.
Combinando las ecuaciones (9.21) y la primera de las ecuaciones
(9.22) podemos concluir que debe existir un m
max
l para el cual se
debe satisfacer
L
+
l
= 0, (9.23)
ya que el valor de m tiene una cota superior. Apliquemosle a esta igual-
dad el operador
L
L
+
l
= (
L
2
L
2
z
L
z
)
l
= 0 = (
L
2
l
2
l)
l
,
108 / Lecciones de Mecanica Cuantica
de la que podemos concluir que
L
2
l
= l(l +1)
l
, es decir que
l=m
max
es no solo autofuncion de
L
z
con autovalor l si no que es tambien
autofuncion de
L
2
con autovalor l(l + 1).
Partiendo de
l
, utilizando repetidamente el operador
L
y hacien-
do uso de la segunda ecuacion en (9.22) podemos ver que
l
=
l
l1
,
L
l
=
l
l1
=
l
l1
l2
,
l
=
l
l1
l2
l3
, . . . ,
hasta llegar a un lmite inferior que de acuerdo a (9.21) debe ser igual
a l y para el cual
L
l
= 0. Es decir, los autovalores de
L
z
son los
2l + 1 valores diferentes
m = l, l 1, l 2, . . . , l, (9.24)
con el conjunto de 2l + 1 funciones
l
,
l1
,
l2
, . . . ,
l
, todas
autofunciones de
L
2
con el mismo autovalor l(l + 1) como puede verse
al aplicar repetidamente la ecuacion (9.15) la cual implica que
L
2
L
2
, que con el uso de (9.22) implica que
L
2
l1
=
1
L
2
l
=
1
L
2
l
=
l(l + 1)
l
= l(l + 1)
l1
,
con un razonamiento similar para
l2
,
l3
, . . . ,
l
.
Hemos mostrado entonces que las autofunciones de
L
z
, las
m
,
son simult aneamente autofunciones de
L
2
con autovalor l(l + 1) don-
de l = m
max
. Que las autofunciones de
L
z
sean al mismo tiempo
autofunciones de
L
2
no es mas que una consecuencia de la relacion
de conmutacion (9.8) que me dice que yo puedo hallar autofunciones
simultaneas del operador
L
2
y una de las componentes del momen-
to angular
L
j
, j = x, y, z. Entonces las autofunciones del momen-
to angular deben rotularsen con dos n umero cuanticos: l = m
max
y
m = l, l 1, l 2, . . . , l. Es decir, las autofunciones de
L
2
y
L
z
son
las
lm
tales que
L
2
lm
= l(l + 1)
lm
, y
L
z
lm
= m
lm
, (9.25)
Momento Angular y Espn / 109
en unidades de . Debido a que los operadores
L
2
y
L
z
son operado-
res hermticos, siempre es posible escoger que sus autofunciones sean
ortonormales; es decir que cumplan la relacion
_
d
m
lm
=
l
m
(9.26)
Pero que valores puede tomar l? Un analisis aritmetico cuidadoso de
la ecuacion (9.24) nos muestra que l solo puede tomar valores enteros o
semienteros, es decir que l = 0, 1/2, 1, 3/2, 2, 5/2, . . . , etc., ya que de lo
contrario, la cota inferior de m no sera el negativo de su cota superior.
De esta manera se han denido los siguientes subespacios:
de dimension 1 generado por la funcion
00
;
de dimension 2 generado por las funciones
1/2,1/2
,
1/2,1/2
;
de dimension 3 generado por las funciones
1,1
,
1,0
,
1,1
;
de dimension 4 generado por
3/2,3/2
,
3/2,1/2
,
3/2,1/2
,
3/2,3/2
;
. . . ;
de dimension 2l+1 generado por las 2l+1 funciones
l,l
,
l,l1
, . . . ,
l,l
para l = 0, 1/2, 1, . . . valores enteros o semienteros.
A los anteriores subespacios se le llaman subespacios invariantes por
que la aplicacion de cualquiera de los operadores de momento angular
sobre una de las funciones del subespacio o bien la anula o la lleva a
otra funcion del mismo subespacio.
9.2.2 Calculo de
m
y
m
Calculemos ahora los coecientes
m
y
m
, para ello utilicimos la
ecuacion (9.17) y el hecho que
L
=
L
en la integral
_
d
lm
L
+
lm
=
_
d
+
lm
(
L
2
L
2
z
L
z
)
lm
=
_
d(
L
+
lm
)
L
+
lm
) = |
m
|
2
_
d
l,m+1
l,m+1
= [l(l + 1) m
2
m]
_
d
lm
lm
.
110 / Lecciones de Mecanica Cuantica
Pidiendo que tanto
lm
como
l,m+1
esten normalizados al mismo valor
(uno por ejemplo), obtenemos la siguiente relacion
m
=
_
l(l + 1) m(m + 1) =
_
(l + m + 1)(l m),
donde una fase arbitraria se ha tomado igual a cero lo cual es una
convenci on universal. De igual manera calculamos
l
:
_
d
lm
L
+
lm
=
_
d
+
lm
(
L
2
L
2
z
+
L
z
)
lm
=
_
d(
lm
)
lm
) = |
m
|
2
_
d
l,m1
l,m1
= [l(l + 1) m
2
+ m]
_
d
lm
lm
.
Pidiendo de nuevo que
lm
y
l,m1
esten normalizados al mismo valor,
obtenemos la relacion
m
=
_
l(l + 1) m(m1) =
_
(l + m)(l m + 1).
Notese que tanto como dependen de los dos n umeros cuanticos l y
m y que
l,m
=
l,m+1
.
9.2.3 Elementos matriciales
De lo estudiado anteriormente podemos escribir los siguientes ele-
mentos matriciales (L
j
)
l
,lm
para j = x, +, :
_
d
L
z
lm
= m
l
,l
,m
(9.27)
_
d
L
+
lm
=
m
,l
,m+1
(9.28)
_
d
lm
=
m
,l
,m1
, (9.29)
de las cuales podemos obtener los elementos matriciales (L
x
)
l
,lm
y
(L
y
)
l
,lm
haciendo uso de las relaciones
L
x
= (
L
+
+
L
)/2 y
L
y
=
(
L
+
)/2i.
Momento Angular y Espn / 111
9.3 Vigesima leccion
En esta leccion introduciremos el concepto de espn del electron y
trabajaremos con las matrices y los espinores de Pauli.
9.3.1 Matrices para l = 1/2
La aplicacion de las ecuaciones (9.27), (9.28) y (9.29) para l = 1/2
nos permite obtener el siguiente conjunto de matrices:
S
z
=
_
1/2 0
0 1/2
_
,
S
+
=
_
0 1
0 0
_
, y S
=
_
0 0
1 0
_
,
De las cuales obtenemos
S
x
=
1
2
_
0 1
1 0
_
, y S
y
=
1
2
_
0 i
i 0
_
.
Pero tienen estas matrices alguna relacion con el mundo real?
9.3.2 Espn del electron
El experimento realizado por Otto Stern y Walther Gerlach en 1922,
el cual consistio en hacer incidir un haz colimado de atomos de pla-
ta sobre un campo magnetico no uniforme que crece en la direccion
perpendicular a la direccion de movimiento de los atomos, tuvo como
resultado la division de dicho haz en dos haces independientes. A este
resultado eperimental, que de paso mostraba la discretizacion de los ni-
veles energeticos en los atomos, no fue posible hallarle una explicacion
adecuada en el marco de la fsica clasica ni dentro de lo que a esa fecha
se conoca sobre la fsica cuantica.
Una explicacion satisfactoria del resultado se pudo tener con el con-
cepto teorico del espn, o momento magnetico intrnseco del electron,
propuesto en 1925 por los fsicos Ralph Kroning, George Uhlenbeck y
112 / Lecciones de Mecanica Cuantica
Samuel Goudsmit, quienes se basaron no solo en los resultados del ex-
perimeto de Stern-Gerlach, si no tambien en el principio de exclusion
de Pauli el cual ya haba aparecido a principios de 1925. El concepto de
espn del electron fue modelado luego matematicamente por Wolfgang
Pauli de la manera como lo expondremos a continuaci on.
9.3.3 Matrices de Pauli
Las matrices de Pauli, tres matrices 2 2 que constituyen la base
de la representacion vectorial del grupo SU(2), se denen mediante la
relacion
a
= 2S
a
para a = x, y, z, es decir:
x
=
_
0 1
1 0
_
,
y
=
_
0 i
i 0
_
,
z
=
_
1 0
0 1
_
.
Es facil chequear que estas matrices satisfacen el algebra
b
= i
abc
c
+ I
2
ab
, (9.30)
para a, b, c = x, y, z. Es decir, las matrices satisfacen las relaciones
2
x
=
2
y
=
2
z
= I
2
,
x
y
=
y
x
=
z
,
y
z
=
z
y
=
x
y
z
=
z
x
=
y
, en donde
abc
es la densidad tensorial de Levvi-
Civitta (vease el apendice B) e I
2
es la matrix unidad 2 2.
De la ecuacion (9.30) es facil derivar las dos relaciones siguientes:
{
a
,
b
}
+
a
b
+
b
a
= 2I
2
ab
, (9.31)
[
a
,
b
] =
a
a
= 2i
abc
c
, (9.32)
con a, b, c = x, y, z.
Utilizando ahora la denicion S
a
a
/2 para a = x, y, z, podemos
escribir la relacion (9.32) de la siguiente manera
[S
a
, S
b
] = i
abc
S
c
, (9.33)
que para a, b, c = x, y, z constituyen una representacion 22 del algebra
del momento angular (9.5), como debiera de serlo de acurdo a lo estu-
diado en la leccion anterior. Esta representaci on esta asociada al valor
Momento Angular y Espn / 113
semientero l = 1/2, como puede verse de los autovalores (o elementos
diagonales) de S
z
. Deniendo ahora
S
2
= s
2
x
+ s
2
y
+ s
2
z
,
podemos ver que S
2
=
3
4
I
2
=
1
2
(
1
2
+ 1)I
2
, lo cual ratica de nuevo el
valor de l = 1/2.
9.3.4 Espinores de Pauli
Como S
2
es proporcional a la matriz identidad, es facil comprobar
que [S
2
, S
a
] = 0, a = x, y, z (relaciones que son valida de manera gene-
ral para el algebra del momento angular como ya se demostro antes). En
particular tenemos que [S
2
, s
z
] = 0, lo cual implica que podemos hallar
autovectores simultaneos de las matrices S
2
y s
z
. Estos autovectores,
llamados espinores de Pauli, son:
1
2
,
1
2
+
=
_
1
0
_
y 1
2
,
1
2
=
_
0
1
_
,
de donde se puede ver facilmente que
S
2
=
3
4
, s
z
+
=
1
2
+
y S
z
=
1
2
.
Notese igualmente las relaciones
S
+
+
= 0, S
+
=
+
, S
= 0, y S
+
=
,
las cuales son una consecuencia de las reglas generales
S
+
1
2
,m
s
=
_
(
1
2
+ m
s
+ 1)(
1
2
m
s
)1
2
,m
s
+1
S
1
2
,m
s
=
_
(
1
2
+ m
s
)(
1
2
m
s
) + 11
2
,m
s
1
.
114 / Lecciones de Mecanica Cuantica
Problema
Del algebra de las matrices espn de Pauli (9.30) es facil mostra que
la siguiente relacion se cumple, para todo par de vectores cartesianos a
y
b:
(
S.a)(
S.
b) =
1
4
(a.
b) +
i
2
S.a
b,
con el vector espn en coordenadas cartesianas denido como
S = u
x
s
x
+
u
y
s
y
+u
z
s
z
. La anterior relacion nos permite ver que cualquier expresion
fsica que tenga en su contenido el producto de varios espines, es posible
reducirla siempre a dos terminos, uno sin termino de espn y el otro
lineal en el espn.
9.3.5 Momento angular Total
En los problemas fsicos sobre momento angular se acostumbra de-
nir el operador vectorial Momento Angular Total
J como
J
L +
S,
con
L y
S vectores independientes y por lo tanto satisfaciendo la re-
lacion de conmutacion [
J,
S] = 0. Vector
J que satisface el algebra de
momento angular, con j(j + 1), los autovalores de J
2
, y j tomando
valores enteros o semienteros en general.
Es presisamente informacion sobre el Momento Angular Total
J
la que se obtiene en los experimentos tipo Stern-Gerlach (en 1927 los
fsicos norteamericanos Phipps y Taylor repitieron el experimento de
Stern-Gerlach pero con atomos de hidrogeno, obteniendo igualmente un
desdoblamiento en dos haces del haz colimado incidente). Para el caso
de los atomos de plata de n umero atomico 47, el electron de valencia
tiene un momento angular orbital l = 0 y un espn s = 1/2, dando
un momento angular total
J =
S, el cual al interactuar con un campo
magnetico externo
B = u
z
B
0
el cual dene el eje z, adquiere una energa
de interacci on de la forma
E
B
J.
B s
z
B
0
B
0
/2,
donde el signo explica el desdoblamiento en dos haces del haz coli-
mado incidente.
162 / Lecciones de Mecanica Cuantica