4 Momentos Angulares

Estudiaremos en este captulo la forma como se hace la adicion de

dos momentos angulares independientes en mecanica cuantica. Intro-
duciremos los llamados coecientes de Clebsh-Gordan (as llamados en
honor a los matematicos alemanes Alfred Clebsh y Paul Gordan quienes
los denieron por primera vez en el siglo XIX, cuando trabajaban so-
bre invariantes matematicos). Calcularemos detalladamente estos coe-
cientes para varios casos, en particular para el caso de la adicion de un
momento angular orbital arbitrario con un momento angular de espn
de valor 1/2. Introduciremos luego el concepto de momento angular to-
tal y presentaremos la ecuacion de Pauli. Deniremos los smbolos 3-j,
6-j, 9-j y 12-j e introduciremos el concepto de operadores tensoriales
irreducibles. Finalmente enunciaremos el llamado teorema de Wigner-
Eckhart. En todo el captulo trabajaremos en unidades de , es decir,
asumiremos que = 1.
4.1 Trigesimo novena Leccion
Estudiaremos en esta leccion los rudimentos de la suma de dos mo-
mentos angulares en mecanica cuantica; es decir, hallaremos el signi-
cado de la expresion vectorial

J
1


J
2
donde

J
1
y

J
2
son dos vectores
que representan momentos angulares independientes (si no son inde-
pendientes no podemos denir su suma).
43
44 / Lecciones de Mecanica Cuantica
4.1.1 Algebra de J
2
1
, J
2
2
, J
1z
, J
2z

Por ser

J
1
y

J
2
dos momentos angulares independientes estos deben
satisfacer las siguientes relaciones de conmutaci on
[J
ai
, J
aj
] =

ijk
J
ak
, a = 1, 2 (4.1) alfun1
[J
1i
, J
2j
] = 0 (4.2) alfun2
para i, j, k = x, y, z. Relaciones de conmutacion que denen dos al-
gebras independientes de momento angular [independientes debido al
conmutador en (
alfun2
4.2)] y de las cuales se pueden derivar otras relaciones
de conmutaci on como por ejemplo:
[J
2
a
, J
1j
] = [J
2
a
, J
2j
] = [J
2
1
, J
2
2
] = 0
para j = x, y, z, con J
2
a
= J
2
ax
+ J
2
ay
+ J
2
az
; a = 1, 2. Estas ulti-
mas relaciones, junto con (
alfun2
4.2) muestran que el conjunto de operadores
J
2
1
, J
2
2
, J
1z
, J
2z
forman un conjunto maximo de operadores ya que
conmutan todos entre s.
Sean ahora
j
a
m
a
las autofunciones simult aneas de J
2
a
y J
az
, a =
1, 2, es decir son tales que satisfacen las ecuaciones
J
2
1

j
1
m
1
= j
1
(j
1
+1)
j
1
m
1
, J
1z

j
1
m
1
= m
1

j
1
m
1
m
1
= j
1
, j
1
1, j
1
J
2
2

j
2
m
2
= j
2
(j
2
+1)
j
2
m
2
, J
2z

j
2
m
2
= m
2

j
2
m
2
m
2
= j
2
, j
2
1, j
2
,
con j
1
y j
2
dos n umeros enteros o semienteros cualesquiera que me
denen el valor maximo de la componente z del momento angular de
cada subespacio independiente.
Lo anterior nos muestra que el conjunto de (2j
1
+ 1)(2j
2
+ 1) fun-
ciones
j
1
j
2
m
1
m
2

j
1
m
1

j
2
m
2
, m
1
= j
1
, j
1
1, j
1
, m
2
=
j
2
, j
2
1, j
2
forman un conjunto completo de autofunciones del
conjunto maximo de operadores J
2
1
, J
2
2
, J
1z
, J
2z
para valores enteros
o semienteros arbitrarios de j
1
y j
2
.
Momentos Angulares / 45
4.1.2 Algebra de J
2
, J
z
, J
2
1
, J
2
2

Denamos ahora el vector

J tal que

J

J
1
+

J
2
= u
x
(J
1x
+ J
2x
) + u
y
(J
1y
+ J
2y
) + u
z
(J
1z
+ J
2z
), (4.3) Ll1l2
y busquemos las autofunciones y los autovalores de J
2
= (

J
1
+

J
2
)
2
y de J
z
= (J
1z
+ J
2z
). Para eso, empecemos por demostrar que el
nuevo vector

J = u
x
J
x
+ u
y
J
y
+ u
x
J
z
es un momento angular, con
J
j
= J
1j
+J
2j
, j = x, y, z; es decir, demostremos que las componentes
de

J satisfacen un algebra de la forma
[J
i
, J
j
] =

ijk
J
k
, i, j, k = x, y, z, (4.4) almas
lo cual es facil de ver haciendo uso de las ecuaciones (
alfun1
4.1) y (
alfun2
4.2), ya
que se tiene
[J
i
, J
j
] = [J
1i
+ J
2i
, J
1j
+ J
2j
] = [J
1i
+ J
2i
, J
1j
] + [J
1i
+ J
2i
, J
2j
]
= [J
1i
, J
1j
] + [J
2i
, J
1j
] + [J
1i
, J
2j
] + [J
2i
, J
2j
]
= [J
1i
, J
1j
] + [J
2i
, J
2j
] =

ijk
J
1k
+

ijk
J
2k
=

ijk
(J
1k
+ J
2k
) =

ijk
J
k
.
Hemos probado entonces que

J es un momento angular, por lo tanto sus
autofunciones
jm
estan caracterizadas por los dos n umeros cuanticos
j y m tales que j es un n umero entero o semientero y m toma los 2j +1
valores posibles j, j 1, j 2, j y son tales que J
2

jm
= j(j +1)
jm
y J
z

jm
= m
jm
. Ademas, por tratarse de un momento angular se debe
satisfacer la relacion de conmutaci on [J
2
, J
j
] = 0, j = x, y, z; con
J
2
= J
2
x
+ J
2
y
+ J
2
z
= (J
1x
+ J
2x
)
2
+ (J
1y
+ J
2y
)
2
+ (J
1z
+ J
2z
)
2
=

j=x,y,z
(J
1j
+ J
2j
)
2
= (

J
1
+

J
2
)
2
= J
2
1
+ J
2
2
+ 2

J
1
.

J
2
= J
2
1
+ J
2
2
+ 2J
1x
J
2x
+ 2J
1y
J
2y
+ 2J
1z
J
2z
= J
2
1
+ J
2
2
+ J
1+
J
2
+ J
1
J
2+
+ 2J
1z
J
2z
,
46 / Lecciones de Mecanica Cuantica
donde se ha hecho uso de las deniciones J
a
= J
ax
iJ
ay
, a = 1, 2.
Utilizando el desarrollo anterior para J
2
es igualmente facil probar que
el conjunto de operadores J
2
, J
z
, J
2
1
, J
2
2
, conmutan todos entre s,
como puede verse de los siguientes desarrollos:
[J
2
, J
2
a
] = [J
2
1
+ J
2
2
+ 2

J
1
.

J
2
, J
2
a
]
= [J
2
1
, J
2
a
] + [J
2
2
, J
2
a
] + 2

j=x,y,z
[J
1j
J
2j
, J
2
a
]
= 2

j
J
1j
[J
2j
, J
2
a
] + 2

j
[J
1j
, J
2
a
]J
2j
= 0, a = 1, 2.
[J
z
, J
2
a
] = [J
1z
+ J
2z
, J
2
a
] = [J
1z
, J
2
a
] + [J
2z
, J
2
a
] = 0.
Pero que relacion existe entre j y el conjunto (j
1
, j
2
), m y el conjun-
to (m
1
, m
2
) y mas importante, que relacion hay entre las autofunciones

lm
y el conjunto
j
1
j
2
m
1
m
2
=
j
1
m
1

j
2
m
2
? Esta relacion, la cual desa-
rrollaremos a continuaci on, es la esencia del metodo matematico de la
adicion de dos momentos angulares.
Lo que se pretende es hallar autofunciones simult aneas del conjunto
maximo de operadores J
2
, J
z
, J
2
1
, J
2
2
, en funcion de las autofunciones
simultaneas de otro conjunto maximo de operadores J
2
1
, J
2
2
, J
1z
, J
2z

las cuales ya fueron halladas en la seccion anterior. En terminos ma-

tematicos, queremos hacer un cambio de base de las autofunciones si-
multaneas del conjunto maximo de operadores J
2
1
, J
2
2
, J
1z
, J
2z
, a las
del conjunto maximo de operadores J
2
, J
z
, J
2
1
, J
2
2
, en un espacio lineal
de dimension (2j
1
+ 1)(2j
2
+ 1).
4.1.3 Autofunciones de autovalor m = j = j
1
+ j
2
A manera de ejemplo, comencemos por mostrar que la funcion

j
1
j
2
j
1
j
2
=
j
1
j
1

j
2
j
2
es autofuncion de J
2
de autovalor (j
1
+ j
2
)(j
1
+
j
2
+ 1) y autofuncion de J
z
de autovalor j = j
1
+ j
2
. Para hacer la
demostracion, haremos uso de la siguiente forma de J
2
J
2
= J
2
1
+ J
2
2
+ 2

J
1
.

J
2
= J
2
1
+ J
2
2
+ J
1+
J
2
+ J
1
J
2+
+ 2J
1z
J
2z
,
Momentos Angulares / 47
y del hecho que el operador escalera J
a+
operando sobre
j
a
j
a
nos da
cero, lo cual implica que el termino cruzado
(J
1+
J
2
+J
1
J
2+
)
j
1
j
1

j
2
j
2
= (J
1+

j
1
j
1
)(J
2

j
2
j
2
)+(J
1

l
1
l
1
)(J
2+

j
2
j
2
)
se anula, lo cual nos permite escribir:
J
2

j
1
j
1

j
2
j
2
= (J
2
1
+ J
2
2
+ 2J
1z
J
2z
)
j
1
j
1

j
2
j
2
= [j
1
(j
1
+ 1) + j
2
(j
2
+ 1) + 2j
1
j
2
]
j
1
j
1

j
2
j
2
= [(j
1
+ j
2
)
2
+ (j
1
+ j
2
)]
j
1
j
1

j
2
j
2
= (j
1
+ j
2
)(j
1
+ j
2
+ 1)
j
1
j
1

j
2
j
2
.
De igual manera tenemos que
J
z

j
1
j
1

j
2
j
2
= (J
1z
+ J
2z
)
j
1
j
1

j
2
j
2
= (J
1z

j
1
j
1
)
j
2
j
2
+
j
1
j
1
(J
2z

j
2
j
2
)
= j
1

j
1
j
1

j
2
j
2
+ j
2

j
1
j
1

j
2
j
2
= (j
1
+ j
2
)
j
1
j
1

j
2
j
2
Es decir, hemos probado que
j
1
j
2
j
1
j
2

j
1
j
1

j
2
j
2
es igual a
jj
=

j
1
+j
2
,j
1
+j
2
, para j = j
1
+ j
2
que es el valor maximo que puede tomar
j, como lo demostraremos en la siguiente leccion. Igualmente es trivial
mostrar las siguientes dos relaciones
J
2
1

j
1
+j
2
,j
1
+j
2
= J
2
1

j
1
j
2
j
1
j
2
= J
2
1

j
1
j
1

j
2
j
2
= j
1
(j
1
+ 1)
j
1
j
1

j
2
j
2
= j
1
(j
1
+ 1)
j
1
+j
2
,j
1
+j
2
J
2
2

j
1
+j
2
,j
1
+j
2
= J
2
2

j
1
j
2
j
1
j
2
=
j
1
j
1
(J
2
2

j
2
j
2
)
= j
2
(j
2
+ 1)
j
1
j
1

j
2
j
2
= j
2
(j
2
+ 1)
j
1
+j
2
,j
1
+j
2
4.1.4 Autofunciones de j = j
1
+ j
2
y m = j
1
+ j
2
1
Comencemos por aplicar el operador J

= J
1
+J
2
en ambos lados
de la igauldad
j
1
+j
2
,j
1
+j
2
=
j
1
j
1

j
2
j
2
; tenemos
J

j
1
+j
2
,j
1
+j
2
= J

jj
=

2j
j,j1
=

2(j
1
+ j
2
)
j
1
+j
2
,j
1
+j
2
1
= J

j
1
j
1

j
2
j
2
= (J
1
+ J
2
)
j
1
j
1

j
2
j
2
= (J
1

j
1
,j
1
)
j
2
,j
2
+
j
1
,j
1
(J
2

j
2
,j
2
)
=

2j
1

j
1
,j
1
1

j
2
,j
2
+

2j
2

j
1
,j
1

j
2
,j
2
1
.
48 / Lecciones de Mecanica Cuantica
De donde podemos concluir que

j
1
+j
2
,j
1
+j
2
1
= (

2j
1

j
1
,j
1
1

j
2
,j
2
+

2j
2

j
1
,j
1

j
2
,j
2
1
)/

2(j
1
+ j
2
).
(4.5) add1
Debido a que [J
2
, J

] = 0, un algebra simple nos permite comprobar

directamenet las dos relaciones
J
2

j
1
+j
2
,j
1
+j
2
1
= (j
1
+ j
2
)(j
1
+ j
2
+ 1)
j
1
+j
2
,j
1
+j
2
1
J
z

j
1
+j
2
,j
1
+j
2
1
= (j
1
+ j
2
1)
j
1
+j
2
,j
1
+j
2
1
.
De esta manera, es decir, iterando varias veces la aplicacion del
operador J

= J
1
+J
2
, podemos construir las 2j +1 = 2(j
1
+j
2
) +1
funciones
j
1
+j
2
,m
para m = j
1
+j
2
, j
1
+j
2
1, j
1
+j
2
2, . . . , (j
1
+
j
2
), autofunciones del conjunto maximo de operadores J
2
, J
z
, J
2
1
, J
2
2
,
asociadas al valor particular de j = j
1
+ j
2
.
4.2 Cuarentava leccion
Introduciremos en esta leccion los llamados coecientes de Clebsh-
Gordan, los cuales juegan un papel central en el problema de adicion
de dos momenmtos angulares. Derivaremos igualmente algunas propie-
dades que satisfacen estos coecientes.
4.2.1 Coecientes de Clebsh-Gordan
Se denen los coecientes de Clebsh-Gordan (
j
1
j
2
m
1
m
2
j,m
(
m
1
,m
2
j,m
(j
1
, j
2
)
(tambien llamados coecientes de Wigner o coecientes de acoplamien-
to vectorial) como los coeciente que aparecen en la expansion de la ba-
se
jm
, autofunciones del conjunto completo J
2
, J
z
, J
2
1
, J
2
2
en funcion
de la base
j
1
j
2
m
1
m
2
=
j
1
m
1

j
2
m
2
, autofunciones del conjunto completo
J
2
1
, J
2
2
, J
1z
, J
2z
, para valores jos de j
1
y j
2
, los valores maximos que
pueden tomar m
1
y m
2
respectivamente. Es decir:

jm
=

m
1
,m
2
(
m
1
,m
2
j,m
(j
1
, j
2
)
j
1
m
1

j
2
m
2
. (4.6) clgo
Momentos Angulares / 49
De esta denicion podemos ver que al nal de la leccion anterior
calculamos ya varios de estos coecientes los cuales fueron:
(
m
1
=j
1
,m
2
j=j
1
+j
2
,m=j
1
+j
2
(j
1
, j
2
) =
m
2
j
2
.
(
m
1
=j
1
1,m
2
j
1
+j
2
,j
1
+j
2
1
(j
1
, j
2
) =

j
1
/(j
1
+ j
2
)
m
2
j
2
.
(
m
1
,m
2
=j
2
1
j
1
+j
2
,j
1
+j
2
1
(j
1
, j
2
) =

j
2
/(j
1
+ j
2
)
m
1
j
1
.
Notese de los valores aqu anotados que se cumple en partcular la
relacion
[(
m
1
=j
1
1,j
2
j
1
+j
2
,j
1
+j
2
1
(j
1
, j
2
)[
2
+[(
j
1
,m
2
=j
2
1
j
1
+j
2
,j
1
+j
2
1
(j
1
, j
2
)[
2
= 1
Antes de continuar con el problema general de la adicion de dos
momentos angulares, derivemos primero algunas propiedades generales
de los coecientes de Clebsh-Gordan.
Propiedad 1
Conservacion de la componente z del momento angular, la
que puede expresarse matematicamente como
(
m
1
,m
2
j,m=m
1
+m
2
(j
1
, j
2
) = 0 (4.7)
(notese que los coecientes ya calculados satisfacen esta condicion).
Para demostrar esta propiedad, comencemos por aplicar el operador
J
z
= J
1z
+ J
2z
en la ecuacion (
clgo
4.6)
J
z

jm
= m
jm
= m

m
1
,m
2
(
m
1
,m
2
j,m
(j
1
, j
2
)
j
1
m
1

j
2
m
2
,
=

m
1
,m
2
(
m
1
,m
2
j,m
(j
1
, j
2
)(J
1z
+ J
2z
)
j
1
m
1

j
2
m
2
,
=

m
1
,m
2
(
m
1
,m
2
j,m
(j
1
, j
2
)(m
1
+ m
2
)
j
1
m
1

j
2
m
2
,
lo cual implica que

m
1
,m
2
(
m
1
,m
2
j,m
(j
1
, j
2
)(mm
1
m
2
)
j
1
m
1

j
2
m
2
= 0 (4.8) clgo2
50 / Lecciones de Mecanica Cuantica
que tiene como consequencia que
(
m
1
,m
2
j,m
(j
1
, j
2
) = 0
a menos que m = m
1
+ m
2
. Igualmente, la ecuacion (
clgo2
4.8) nos permite
concluir que j, el valor maximo de m en el conjunto
jm
es igual a
j
1
+ j
2
, la suma de los valore maximos de m
1
y m
2
, como lo habamos
armado al nal de la leccion anterior.
Lo anterior nos permite suprimir una de las sumatorias en la ex-
pansion (
clgo
4.6) y escribir

jm
=

m
1
(
m
1
,mm
1
j,m
(j
1
, j
2
)
j
1
,m
1

j
2
,mm
1
. (4.9) clgop
Propiedad 2
Normalizacion de los coecientes de Clebsh-Gordan. Par-
tiendo de las funciones propiamente normalizadas
j
1
j
2
m
1
m
2
=
j
1
m
1

j
2
m
2
,
autofunciones de J
2
1
, J
2
2
, J
1z
, J
2z
, y debido a las propiedades de los
operadores escalera J
a
que no cambian la normalizacion de las funcio-
nes al ser aplicados, se cumple que:

m
1
,m
2
[(
m
1
,m
2
j,m
(j
1
, j
2
)[
2
=

m
1
[(
m
1
,mm
1
j,m
(j
1
, j
2
)[
2
= 1, (4.10) clgon
normalizacion de los coecientes, que no es mas que un caso particular
de la propiedad de ortonormalizacion, que mostraremos a continuacion.
Propiedad 3
Ortonormalidad de los coecientes de Clebsh-Gordan. Mos-
tremos que los coecientes en la expansion (
clgop
4.9) satisfacen la relacion

m
1

m
2
(
m
1
,m
2
j,m
(j
1
, j
2
)(
m
1
,m
2
j

,m

(j
1
, j
2
) =

m
1
(
m
1
,mm
1
j,m
(j
1
, j
2
)(
m
1
,m

m
1
j

(j
1
, j
2
) =
jj

mm
. (4.11) clgo3
Momentos Angulares / 51
Para hacer la demostracion empecemos por suponer que d = d
1
d
2
es
el elemento de volumen del espacio de conguracion de la funcion ; es
decir que tenemos () y
j
a
m
a
(
a
), a = 1, 2. Entonces, utilizando dos
veces la expansion (
clgo
4.6) e integrando sobre el espacio de conguraciones
tenemos

m

jm
=
j

m
=

m
1
,m
2

1
m

2
(
m
1
,m
2
j,m
(j
1
, j
2
)(
m

1
,m

2
j

,m

(j

1
, j

2
)

d
1

1
m

1
(
1
)

j
1
m
1
(
1
)

d
2

2
m

2
(
2
)

j
2
m
2
(
2
)
=

m
1
,m
2

1
m

2
(
m
1
,m
2
j,m
(j
1
, j
2
)(
m

1
,m

2
j

,m

(j

1
, j

2
)
j
1
j

j
2
j

m
1
m

m
2
m

2
=

m
1

m
2
(
m
1
,m
2
j,m
(j
1
, j
2
)(
m
1
,m
2
j

,m

(j
1
, j
2
)
=

m
1
(
m
1
,mm
1
j,m
(j
1
, j
2
)(
m
1
,m

m
1
j

,m

(j
1
, j
2
),
donde hemos supuesto que los conjuntos completos de funciones
j
a
m
a
()
son ortonormales y que las funciones
jm
(), las autofunciones de J
2
y J
z
resultan igualmente ortonormales como una consecuencia del uso
iterado de los coecientes J

. La expresion anterior es valida solo para

valores de j y j

relacionados con el mismo valor de j

1
y j
2
como se
expresa explicitamente en el desarrollo anterior.
4.2.2 Calculo de
j=j
1
+j
2
,m
Mostremos a continuacion como se termina de construir el conjunto
completo de las 2j+1 funciones
j
1
+j
2
,m
autofunciones de J
2
, J
z
, J
2
1
, J
2
2
,
para m = j
1
+ j
2
, j
1
+ j
2
1, . . . , (j
1
+ j
2
) (del cual ya hemos ha-
llado las dos primeras), mediante la aplicacion reiterada del operador
J

= J
1
+ J
2
, sobre la expresion

j
1
+j
2
,j
1
+j
2
=
jj
=
j
1
j
1

j
2
j
2
.
52 / Lecciones de Mecanica Cuantica
La aplicacion de (J

)
2
en
jj
para j = j
1
+ j
2
nos produce:

j
1
+j
2
,j
1
+j
2
2
= (
j
1
2,j
2
j
1
+j
2
,j
1
+j
2
2

j
1
,j
1
2

j
2
,j
2
+(
j
1
1,j
2
1
j
1
+j
2
,j
1
+j
2
2

j
1
,j
1
1

j
2
,j
2
1
+ (
j
1
,j
2
1
j
1
+j
2
,j
1
+j
2
2

j
1
,j
1

j
2
,j
2
2
,
donde el algebra nos muestra que
(
j
1
2,j
2
j
1
+j
2
,j
1
+j
2
2
=

j
1
(2j
1
1)/

(j
1
+ j
2
)(2j
1
+ 2j
2
1)
(
j
1
1,j
2
1
j
1
+j
2
,j
1
+j
2
2
= 2

j
1
j
2
/

(j
1
+ j
2
)(2j
1
+ 2j
2
1)
(
j
1
,j
1
2
j
1
+j
2
,j
1
+j
2
2
=

j
2
(2j
2
1)/

(j
1
+ j
2
)(2j
1
+ 2j
2
1).
De manera analoga podemos calcular las funciones restantes hasta
llegar a
j
1
+j
2
,(j
1
+j
2
)
=
j
1
,j
1

j
2
,j
2
.
4.2.3 Calculo de
j=j
1
+j
2
1,m
Notese que de la funcion

j
1
+j
2
,j
1
+j
2
1
= (

2j
1

j
1
,j
1
1

j
2
,j
2
+

2j
2

j
1
,j
1

j
2
,j
2
1
)/

2(j
1
+ j
2
),
autofuncion de J
2
de autovalor j
1
+j
2
y de J
z
de autovalor j
1
+j
2
1,
puede obtenerse otra funcion ortogonal a la misma (linealmente inde-
pendiente) la cual es

jm
= (

2j
2

j
1
,j
1
1

j
2
,j
2

2j
1

j
1
,j
1

j
2
,j
2
1
)/

2(j
1
+ j
2
), (4.12) coglnn
que tambien es autofuncion de J
z
de autovalor j
1
+ j
2
1 (de confor-
midad a la propiedad 1 demostrada anteriormente). Pero con que valor
de j esta asociada esta nueva funcion?
Un algebra elaborada, producto de la aplicacion del operador J
2
=
J
2
1
+J
2
2
+J
1+
J
2
+J
1
J
2+
+2J
1z
J
2z
y mediante el uso de los resultados:
Momentos Angulares / 53
J
1+
J
2

j
1
,j
1

j
2
,j
2
1
= J
1
J
2+

j
1
,j
1
1

j
2
,j
2
= 0 y
J
1+
J
2

j
1
,j
1
1

j
2
,j
2
= (J
1+

j
1
,j
1
1
)(J
1

j
2
,j
2
) =

2j
1

j
1
j
1

2j
2

j
2
,j
2
1
J
1
J
2+

j
1
,j
1

j
2
,j
2
1
= (J
1

j
1
,j
1
)(J
1+

j
2
,j
2
1
) =

2j
1

j
1
,j
1
1

2j
2

j
2
,j
2
J
2

j
1
,j
1
1

j
2
,j
2
= [j
1
(j
1
+ 1) + j
2
(j
2
+ 1) + 2(j
1
1)j
2
]chi
j
1
,j
1
1

j
2
,j
2
+2

j
1
j
2

j
1
,j
1

j
2
,j
2
1
J
2

j
1
,j
1

j
2
,j
2
1
= [j
1
(j
1
+ 1) + j
2
(j
2
+ 1) + 2(j
2
1)j
1
]
j
1
,j
1

j
2
,j
2
1
+2

j
1
j
2

j
1
,j
1
1

j
2
,j
2
nos produce J
2

jm
= (j
1
+j
2
1)(j
1
+j
2
); es decir, la funcion esta aso-
ciada al valor de j = j
1
+ j
2
1 (y m = j
1
+ j
2
1).
Hemos entonces mostrado que

j
1
+j
2
1,j
1
+j
2
1
= (

2j
2

j
1
,j
1
1

j
2
,j
2

2j
1

j
1
,j
1

j
2
,j
2
1
)/

2(j
1
+ j
2
).
(4.13) cogln1
De nuevo, aplicando J

un n umero apropiado de veces nos permite

obtener las 2(j
1
+ j
2
) 1 autofunciones de J
2
y J
z
, asociadas a los
valores de m = j
1
+ j
2
1, j
1
+ j
2
2, (j
1
+ j
2
1). Ve amos por
ejemplo:
J

j
1
+j
2
1,j
1
+j
2
1
=

2(j
1
+ j
2
1)
j
1
+j
2
1,j
1
+j
2
2
=
(J
1
+ J
2
)(

2j
2

j
1
,j
1
1

j
2
,j
2

2j
1

j
1
,j
1

j
2
,j
2
1
)

2(j
1
+ j
2
)
,
la que luego de desarrollada el algebra nos produce una funcion

j=j
1
+j
2
1,m=j
1
+j
2
2
la cual toma la forma:
[

j
2
(2j
1
1)
j
1
,j
1
2

j
2
,j
2
+ (j
2
j
1
)
j
1
,j
1
1

j
2
,j
2
1
+

j
1
(2j
2
1)
j
1
,j
1

j
2
,j
2
2
]

(j
1
+ j
2
)2(j + 1 + j
2
1)
(4.14)
4.2.4 Conjunto completo de valores de j
Continuando de la manera como se vena trabajando, es un asunto
de conteo el probar que los valores posibles de j en el problema de
54 / Lecciones de Mecanica Cuantica
adicion de dos momentos angulares

J =

J
1

J
2
es tal que
j = j
1
+ j
2
, j
1
+ j
2
1, ; j
1
+ j
2
2, . . . [j
1
j
2
[. (4.15) clgocc
Lo anterior debido a la siguiente relacion, la cual puede demostrarse
por el metodo de induccion:
j
1
+j
2

j=|j
1
j
2
|
(2j + 1) = (2j
1
+ 1)(2j
2
+ 1), (4.16) cgos
la dimension del espacio lineal de las autofunciones
j
1
j
2
m
1
m
2
, autofun-
ciones de J
2
1
, J
2
2
, J
1z
, J
2z
.
4.3 Cuarentayunava leccion
Estudiaremos en esta leccion la adicion de un momento angular
arbitrario, con un momento angular de espn de valor s = 1/2. Calcula-
remos los coecientes de Clebsh-Gordan para este problema e introdu-
ciremos la ecuacion de Pauli, la cual es la generalizacion de la ecuacion
de Schr odinger para una partcula de espn 1/2.
4.3.1 Momento angular total
Vamos a considerar un sistema fsico (un electron) que tiene un
momento angular orbital

L arbitrario, cuya funcion de onda es propor-
cional a los esfericos armonicos Y
lm
() para l ,= 0 un n umero entero
arbitrario y m tomando los 2l + 1 valores m = l, l 1, l 2, . . . , l; y
tiene ademas un momento angular intrnseco

S (o espn) de valor 1/2,
caracterizado por una funcion de onda
1/2,m
s
para m
s
= 1/2.
Para este tipo de problemas se acostumbra denir el momento an-
gular total

J como el vector

J =

L +

S, (4.17) jtot
vector que caracteriza la adicion de dos momentos angulares, uno de
ellos con valor maximo de su componente z igual a 1/2.
Momentos Angulares / 55
De conformidad a lo aprendido en las dos lecciones anteriores, las au-
tofunciones del conjunto completo de operadores L
2
, S
2
, L
z
, S
z
estan
dadas por las 2(2l +1) funciones Y
lm
()
1/2,m
s
, donde los autovectores

1/2,m
s
corresponden a los dos espinores de Pauli:

1/2,1/2
=

1
0

+

1/2,1/2
=

0
1

. (4.18) spau
Queremos ahora hallar las autofunciones y los autovalores del conjunto
maximo de operadores J
2
, , L
2
, S
2
, J
z
. Como ya vimos, los autovalores
de J
2
seran los valores j(j + 1) con j = l + 1/2 y j = l 1/2, donde
notese que
j=l+1/2

j=l1/2
(2j + 1) = 2(l 1/2) + 1 + 2(l + 1/2) + 1 = 2(2l + 1),
la dimension del espacio de las funciones Y
lm
()
1/2,m
s
.
Utilizando la construccion que aprendimos en las dos lecciones an-
teriores tenemos para empezar que:

l+1/2,l+1/2
= Y
ll
()
+
=

Y
ll
()
0

.
La aplicacion del operador J

= L

+ S

sobre esta funcion, con

S

+
=

y S

= 0 nos produce
J

(
l+1/2,l+1/2
) =

2l + 1
l+1/2,l1/2
=

2lY
l,l1

+
+ Y
ll

=

2lY
l,l1
0

0
Y
ll

=

2lY
l,l1
Y
ll

;
es decir:

l+1/2,l1/2
=
1

2l + 1

2lY
l,l1
Y
ll

. (4.19) sl1
Una funcion ortonormal a la anterior, correspondiente al autovalor de
J
2
= (l 1/2)(l + 1/2) y J
z
igual a l 1/2 sera:

l1/2,l1/2
=
1

2l + 1

Y
l,l1

2lY
l,l

. (4.20) sl2
56 / Lecciones de Mecanica Cuantica
La aplicacion una vez mas de J

, ahora sobre la funcion

l+1/2,l1/2
en
la ecuacion (
sl1
4.19) nos produce

l+1/2,l3/2
=
1

2l + 1

(2l 1)Y
l,l2

2Y
l,l1

. (4.21) sl3
Continuando de esta manera obtenemos nalmente el siguiente con-
junto de funciones, autofunciones de J
2
, L
2
, S
2
, J
z
:
a: Para j = l + 1/2:

+
l+1/2,m
j
=

l + 1/2 + m
j
2l + 1
Y
(l,m
j
1/2)

+
+

l + 1/2 m
j
2l + 1
Y
(l,m
j
+1/2)

l+1/2+m
j
2l+1
Y
l,m
j
1/2

l+1/2m
j
2l+1
Y
l,m
j
+1/2

; m
j
= l +
1
2
, l
1
2
, (l +
1
2
);
b: para j = l 1/2

l1/2,m
j
=

l + 1/2 m
j
2l + 1
Y
(l,m
j
1/2)

l + 1/2 + m
j
2l + 1
Y
(l,m
j
+/2)

l+1/2m
j
2l+1
Y
(l,m
j
1/2)

l+1/2+m
j
2l+1
Y
(l,m
j
+1/2)

; m
j
= l
1
2
, l
3
2
, (l
1
2
).
Las funciones

jm
j
son conocidas en la literatura como esfericos armoni-
cos espinoriales y son de gran utilidad en la literatura cientca. Ellos
satisfacen las relaciones
J
2

jm
j
= j(j + 1)

jm
j
2

L.

jm
j
= (J
2
L
2
3/4)

jm
j
= (1 + )

j,m
j
,
donde
=

(l + 1) = (j + 1/2) : j = l + 1/2
+l = +(j + 1/2) : j = l 1/2
.
Momentos Angulares / 57
Para un valor de j dado,
+
y

tienen paridad opuesta ya que su

valor de l diere en uno (recuerde que la paridad de Y
lm
es (1)
l
).
Ademas, estas funciones cumplen la relacion:

+
jm
j
=
2

S.r
r

jm
j
,

jm
j
=
2

S.r
r

+
jm
j
(4.22) prch
4.3.2 Ecuacion de Pauli
La ecuacion de Pauli es la ecuacion de ondas que satisface una
partcula de espn 1/2 (un electron por ejemplo) y que reemplaza a la
ecuacion de Schr odinger la cual es la ecuacion de ondas de una partcula
sin espn.
La forma matematica de esta ecuacion es
i

(p)
t
=

H
(p)

(p)
, (4.23) pauli
donde
(p)
es un espinor de Pauli de dos componentes
(p)T
= (
(p)
1
,
(p)
2
)
y

H
(p)
es el Hamiltoniano de Pauli el cual es una matriz 22 que tiene
la forma

H
(p)
=
1
2m
[.( p e

A/c)]
2
+ e, (4.24) paup
donde A

= (,

A) es el cuadripotencial de campo electromagnetico,
son las matrices espn de Pauli, c es la velocidad de la luz, y e y
m son la carga electrica y la masa de la partcula respectivamente.
Notese que e = V (r) se puede identicar como la energa potencial
de la partcula y p e

A/c es la variable canonico conjugada a la

posicion en la presencia de un campo electromagnetico caracterizado
por el cuadrivector potencial electromagnetico A

.
Utilizando las propiedades de las matrices de Pauli
a
podemos
58 / Lecciones de Mecanica Cuantica
escribir
[.( p e

A/c)]
2
= (.)(.) =
3

l,n=1

n
=
3

l,n,k=1

n
(
ln
+ i
kln

k
) =
2
+ i.
= ( p e

A/c)
2
+ i.( p e

A/c) ( p e

A/c).
Utilizando ahora
( p e

A/c) ( p e

A/c) = p p + (e/c)
2

A

A e p

A/c e

A p/c
=
ie
c
(

A +

A

),
donde la ultima expresion es un operador que tiene sentido solo s act ua
sobre una funcion f. Haciendo ahora uso de la identidad vectorial

Af) = (

A)f

A (

f),
obtenemos la expresion
( p e

A/c) ( p e

A/c) =
ie
c
(

A) =
ie
c

B,
donde

B (el rotacional de

A) es el campo magnetico externo al cual
se encuentra sometida la partcula. Obtenemos pues de esta manera la
expresion
[.( p e

A/c)]
2
= ( p e

A/c)
2

e
c
.

B
= p
2
+ (e/c)
2
A
2
e

A. p/c e p.

A/c
e
c
.

B
p
2
e

A. p/c e p.

A/c
e
c
.

B,
donde se han despreciado terminos de segundo orden en el vector po-
tencial electromagnetico

A.
Momentos Angulares / 59
Trabajando ahora en la llamada gauge de Coulomb (

A = 0) y
haciendo uso de la identidad
(

A. p + p.

A)f = i(

A.

+

.

A)f = i[2

A.

+ (

A)]f
= 2i

A.

f = 2

A. pf,
y trabajando para un campo magnetico uniforme para el cual podemos
escribir

A = (

B r)/2, lo cual implica que

( p e

A/c)
2
p
2

2e
c
1
2

B r. p = p
2

e
c

B.r p = p
2

e
c

L.

B.
De esta manera obtenemos nalmente la expresion

H
(p)
=
I
2
p
2
2m

e
2mc
(I
2

L + 2

S).

B + I
2
V (r). (4.25) hampau
donde I
2
es la matriz unidad 22 y la matriz de espn

S esta dada por

S = (u
x

x
+ u
y

y
+ u
z

z
)/2,
con
j
las matrices espn de Pauli.
El Hamiltoniano de Pauli

H
(p)
en la ecuacion (
hampau
4.25) representa un
electron de spn

S sometido a un campo magnetico externo

B el cual
incluye la interacci on del momento angular total (orbital y de espn) del
electron con el campo magnetico externo. El factor de 2 en el termino
del espn, llamado el radio giromagnetico del electron, es un efecto ne-
tamente cuantico y no puede justicarse desde el punto de vista clasico.
4.4 Cuarentaydosava leccion
En esta leccion haremos algunos desarrollos de importancia relacio-
nados con el algebra del momento angular. En particular introducire-
mos los smbolos 3-j, 6-j y 9-j; deniremos los operadores tensoriales
irreducibles y enunciaremos el llamado teorema de Wigner-Eckart.
60 / Lecciones de Mecanica Cuantica
4.4.1 Smbolos seis jota
En la regla de adicion de dos momentos angulares

J
1

J
2
, se determi-
nan los valores posibles que puede tomar el momento angular total

J pa-
ra un sistema fsico constituido de dos partculas de momentos angula-
res j
1
y j
2
respectivamente. Como ya mostramos en las lecciones anterio-
res, j puede tomar los valores j
1
+j
2
, j
1
+j
2
1, j
1
+j
2
2, . . . , [j
1
j
2
[.
De igual manera mostramos que las funciones
j,m
j
, autofunciones del
conjunto completo de operadores J
2
, J
z
, J
2
1
, J
2
2
, estan relacionadas
con las funciones
j
1
,m
1

j
2
,m
2
, autofunciones del conjunto completo
de operadores J
2
1
, J
2
2
, J
1z
, J
2z
, mediante los llamados coecientes de
Clebsh-Gordan, los cuales estudiamos en las lecciones treinta y nueve
y cuarenta. Es decir, vimos que

j,m
j
=

m
1
,m
2
(
m
1
,m
2
j,m
j
(j
1
, j
2
)
j
1
,m
1

j
2
,m
2
=

m
1
(
m
1
,m
j
m
1
j,m
j
(j
1
, j
2
)
j
1
,m
1

j
2
,m
j
m
1
.
De manera analoga, en la adicion de tres momentos angulares

J =

J
1
+

J
2
+

J
3
, las funciones
j,m
j
autofunciones de J
2
y J
z
= J
1z
+J
2z
+J
3z
,
estan relacionadas a las funciones
j
1
,m
1

j
2
,m
2

j
3
,m
3
, autofunciones del
conjunto maximo de operadores J
2
1
, J
2
2
, J
2
3
, J
1z
, J
2z
, J
3z
, mediante una
ecuacion que toma la forma

j,m
j
=

m
1
,m
2
,m
3
(
m
1
m
2
m
3
j,m
j
(j
1
, j
2
, j
3
)
j
1
,m
1

j
2
,m
2

j
3
,m
3
, (4.26) c6j
donde de nuevo una de las sumatorias es redundante ya que m
j
= m
1
+
m
2
+ m
3
. Los coecientes (
m
1
m
2
m
3
j,m
j
(j
1
, j
2
, j
3
) en la expresion anterior,
son los llamados en la literatura: smbolos 6-j.
De manera analoga se denen los smbolos 9-j en la adicion de cuatro
momentos angulares y los smbolos 12-j en la adicion de cinco momentos
angulares; etc.
Momentos Angulares / 61
4.4.2 Smbolos 3-j
De especial relevancia y de gran aplicacion en el calculo de orbitales
atomicos, son los smbolos 6-j para el caso particular en que j = 0 (lo
cual implica de inmediato que m = 0). Denamos entonces
(
m
1
m
2
m
3
0,0
(j
1
, j
2
, j
3
)

j
1
j
2
j
3
m
1
m
2
m
3

. (4.27) 3jot
Estos elementos as denidos son los llamados en la literatura smbolos
tres jota de Wigner. Por denicion, estos coecientes son diferentes de
cero solo si m
1
+ m
2
+ m
3
= 0. Como consecuencia de esta denicion
podemos entonces escribir

00
=
j
1

m
1
=j
1
j
2

m
2
=j
2
j
3

m
3
=j
3

j
1
j
2
j
3
m
1
m
2
m
3

(1)
j
1
m
1

(2)
j
2
m
2

(3)
j
3
m
3
. (4.28) 3jo
Los smbolos tres jota estan entonces asociados a un sistema fsico de
momento angular cero, constituido por tres partculas de momentos
angulares j
1
, j
2
y j
3
, con sus respectivas proyecciones sobre el eje z
dadas por los valores m
1
, m
2
y m
3
respectivamente. La nulidad del
momento angular total implica entonces que m
1
+ m
2
+ m
3
= 0 y los
valores de j
1
, j
2
y j
3
son tales que cada par de ellos puede obtenerse
por la adicion vectorial de los otros dos. En otra palabras, j
1
, j
2
y j
3
forman un triangulo cerrado los cuales deben de satisfacer relaciones
como por ejemplo
[j
1
j
2
[ j
3
j
1
+ j
2
,
y permutaciones cclicas de los subndices 1, 2, 3. De esta propiedad
podemos entonces concluir que j
1
+ j
2
+ j
3
es un entero.
Una permutaci on de los ndices 1, 2, 3 en los coecientes nos da un
funcion que diere de la no permutada solo en un factor irrelevante de
fase. De manera simple es posible demostrar que

j
2
j
1
j
3
m
2
m
1
m
3

= (1)
(j
1
+j
2
+j
3
)

j
1
j
2
j
3
m
1
m
2
m
3

, (4.29) pe3j
es decir, hay un cambio de signo cuando dos columnas son intercam-
biadas solo si (j
1
+ j
2
+ j
3
) es un n umero impar.
62 / Lecciones de Mecanica Cuantica
De igual manera es posible igualmente mostrar la relacion

j
1
j
2
j
3
m
1
m
2
m
3

= (1)
(j
1
+j
2
+j
3
)

j
1
j
2
j
3
m
1
m
2
m
3

. (4.30) me3j
Un algebra simple nos permite relacionar los smbolos 3j de Wigner
con los coecientes de Clebsh-Gordan de la siguiente manera:
C
m
1
,m
2
j,m
(j
1
, j
2
) = (1)
(j
1
j
2
+m)

2j + 1

j
1
j
2
j
m
1
m
2
m

(4.31) 3jcg
4.4.3 Operadores Tensoriales irreducibles
Para un sistema fsico descrito por un momento angular

J = u
x
J
x
+
u
y
J
y
+u
z
J
z
, denimos un operador vectorial

V = u
x
V
x
+u
y
V
y
+u
z
V
z
,
como aquel operador que satisface el algebra siguiente:
[J
a
, V
b
] = i

abc
V
c
, a, b, c = x, y, z; (4.32) defve
donde
abc
es la conocida densidad tensorial de Levi-Civitta. Como el
vector

J satisface tambien esta algebra de conmutadores [el algebra del
grupo SU(2)], entonces igualmente

J es un operador vectorial.
De manera analoga se dene un operador escalar en mecanica cuanti-
ca como aquel operador

que conmuta con el vector momento angular,
es decir que satisface [

J,

] = 0.
La denicion anterior de un operador vectorial cuantico esta en las
conocidas componentes cartesianas del vector, las cuales no son las
componentes mas apropiadas para ser usadas en sistemas cuanticos.
De mucha mayor utilidad son las llamadas componentes esfericas de un
vector (V
+
, V
0
, V

) las cuales se denen como

V

=
1

2
(V
x
iV
y
), V
0
= V
z
, (4.33) coes
denicion que nos permite establecer la siguiente relacion entre los
esfericos armonicos Y
1m
() y las componentes esfericas del vector po-
sicion r
Momentos Angulares / 63
Y
1m
() =

3
4
r
m
r
, m = 1, 0. (4.34) resf
Utilizando ahora las deniciones de los operadores J

= (J
x
iJ
y
)
y J
0
= J
z
, podemos escribir entonces los nueve conmutadores en (
defve
4.32)
que me denen un operador vectorial, de la siguiente manera:
[J
0
, V
0
] = [J

, V

] = [J
+
, V
+
] = 0 (4.35)
[J
+
, V

] = [J

, V
+
] =

2V
0
(4.36)
[J
0
, V

] = V

, [J

, V
0
] =

2V

. (4.37)
Aplicando las anteriores relaciones de conmutacion para el caso par-
ticular de las componentes esfericas del vector posicion r
m
, las cuales
haciendo uso de le relacion (
resf
4.34) podemos denir como
r
m
= r

4
3
Y
1m
T(1, m), m = 1, 0, (4.38) refs
tenemos entonces que
[J
0
, T(1, m)] = mT(1, m), (4.39)
[J
+
, T(1, m)] = m

(1 + m + 1)(1 m)T(1, m + 1), (4.40)

[J

, T(1, m)] = m

(1 m)(1 + m + 1)T(1, m1), (4.41)

las que no son mas que un caso particular de unas relaciones de con-
mutaci on mas generales entre las componentes esfericas del vector mo-
mento angular total

J y un tensor esferico T(l, m) el cual tiene 2l + 1
componentes dadas por los valores de m = l, l1, l2, . . . , l. Estas re-
laciones, las cuales nos denen el operador tensorial irreducible T(l, m)
de rango l, fueron presentadas originalmente por Racah en 1942, son
las siguientes:
[J
0
, T(l, m)] = mT(l, m), (4.42)
[J
+
, T(l, m)] = m

(l + m + 1)(l m)T(l, m + 1), (4.43)

[J

, T(l, m)] = m

(l m)(l + m + 1)T(l, m1), (4.44)

64 / Lecciones de Mecanica Cuantica
4.4.4 Teorema de Wigner-Eckart
Este teorema se reere a la relacion que existe entre los diferentes
elementos matriciales de un operador tensorial T(l, m) de rango l el
cual tiene 2l + 1 componentes dadas por los posibles valores de m =
l, l 1, l 2, . . . , l. Estos elementos matriciales estan tomados entre
los estados del sistema fsico
j
1
m
1
y los estados (j, m), en donde estos
ultimos estados se reeren a los estados correspondientes a la adicion de
los momentos angulares

J =

L

J
1
con un conjunto de valores posibles
para j dados por: j = l +j
1
, l +j
1
1, . . . , [l j
1
[. Los unicos elementos
matriciales diferentes de cero, de conformidad a la regla de adicion de
momentos angulares, se pueden escribir como:
jm
j
[T(l, m)[j
1
m
1
) =
(1)
lj
1
+j
(
m,m
1
j,m
j
(l, j
1
)

2j + 1
j|T(l)|j
1
), (4.45) wigek
en donde j|T(l)|j
1
) son los llamados elementos matriciales reduci-
dos del operador tensorial T(l, m) los cuales son independientes de los
valores (m
j
, m, m
1
) y una vez calculados para un valor particular de
estos n umeros cuanticos se pueden utilizar para el calculo de todos los
elementos matriciales en (
wigek
4.45), los cuales se obtienen de un mero cono-
cimiento de los coecientes de Clebsh-Gordan (
m,m
1
j,m
j
(l, j
1
), los cuales se
pueden calcular de antemano u obtener de las tablas existentes para
estos coecientes.
Problemas
1: Halle las autofunciones simult aneas del conjunto maximo de ope-
radores (J
2
, J
z
, J
2
1
, J
2
2
) para:
a: j
1
= j
2
= 1/2.
b: j
1
= j
2
= 1.
2: Demuestre que para un campo magnetico constante podemos
escribir

A = (

B r)/2.
3: Demuestre la relacion (
resf
4.34).
176 / Lecciones de Mecanica Cuantica