Captulo 9

El Spin
9.1.

El Spin del Electr

on: una variable din
amica no cl
asica

La evidencia experimental sobre el comportamiento de los atomos en campos magneticos

- particularmente el efecto Zeeman, y la experiencia de Stern-Gerlach - conducen an 1925 a la
hipotesis del spin del electron (Goudsmit y Uhlenbeck). Los datos experimentales se podan
explicar suponiendo que un electron posee un momento magnetico intrinseco ~, que solo
puede tomar dos valores si se lo mide en cualquier direccion espacial. Este momento no
posee analogo clasico alguno; no esta asociado con la rotacion de una partcula de dimensiones
finitas. No seguiremos aqui el desarrollo historico, que es fascinante pero tortuoso (R. Kronig:
The Turning Point; B.L. van der Waerden: The Exclusion Principle and Spin; ambos en
Memorial Volume, Interscience, New York 1960).
Primeramente, debemos suponer que el momento magnetico ~ - que es directamente obb ; pero sobre que actua
servable - estara representado por un operador correspondiente ~
este operador? Suponemos la existencia de una variable dinamica (sin analogo clasico) llamada spin, a la cual estara asociado el momento magnetico. Dado que la proyeccion de ~
en cualquier direccion solo adopta dos valores, la variable de spin s , sera discreta con dos
b sera un operador
posibles valores que llamaremos . Cada una de las tres componentes de ~
hermtico con autovalores . El espacio de estados de spin del electron sera entonces un
espacio de funciones de s :
: (r, s) (r, s) .
Esta claro que podemos ver a este espacio como vectores de dos componentes cada una de
las cuales es una funcion de r:


+ ()
, (r) := (r, ) .
()

Si no consideramos la variable dinamica orbital r nos queda simplemente C2 como espacio

de estados. O sea un estado de spin del electron viene dado por un vector


z1
, z1 , z2 C .
z2

b debe entonces actuar sobre C2 . Para determinar este operador

Ahora bien, el operador ~
usaremos el comportamiento de ~ ante rotaciones del espacio tridimensional fsico. Buscamos
147

entonces, como primer paso, representar estas rotaciones por operadores unitarios que actuan
sobre C2 :
(9.1)

Rotacion de R3 : D(e, ) U(e,) .

Recordamos (viz. 6) para ello que toda rotacion pura D(e, ) puede escribirse como (6.6)
D(e, ) = eeG ,
donde G es el vector formado por los tres generadores de las rotaciones alrededor de x , y ,
y z respectivamente. Estos generadores satisfacen las relaciones de conmutacion (6.7):
[Gj , Gk ] =

3
X

j,k, G .

=1

De la relacion (9.1) de representacion, y de

b

U(e,) = eeX ,
b = (X
b1 , X
b2 , X
b3 ) deben satisfacer las mismas
deducimos que los operadores generadores X
relaciones de conmutacion:
3
X
b .
b
b
j,k, X
[Xj , Xk ] =
=1

Ademas, como U(e,) debe ser unitario, deducimos que

b = X
bj .
X
j

Conviene (pero no es para nada indispensable) trabajar con operadores hermticos, y definimos 1 :
b .

b = 2iX
En terminos de
b tenemos:

(9.2)
i.e.,

[b
j ,
bk ] = 2i

3
X
=1

j,k,
b ;

[b
1 ,
b2 ] = 2ib
3 , [b
3 ,
b1 ] = 2ib
2 , [b
2 ,
b3 ] = 2ib
1 , todos los demas conmutadores son 0 .

Determinemos ahora al operador

b en terminos del terceto de matrices (2 2) , . Primeramente, la relacion (9.2) implica que la traza de cada j se anula. Como las matrices
correspondientes son hermticas, podemos escribir:


aj bj
, aj real y bj complejo .
j =
bj aj
1 El

factor 2 es conveniente, como se ver

a m
as adelante

148

Haciendo un cambio de base, podemos suponer que 3 es diagonal (b3 = 0 , a3 = ):



0
3 =
, real y positivo .
0
Conmutando 1 y luego 2 con 3 obtenemos las siguientes relaciones 2 :
= 1 , a1 = a2 = 0 , b2 = ib1 , | b1 |= 1 .
Luego,
1 =

0
ei

ei
0

, 2 =

0
iei
i
ie
0

, 3 =

1 0
0 1

, 0 < 2 .

Ahora, es facil verificar que la matriz

u :=

0
e2
2i
0 e

es unitaria, y que

u 3 u =

1 0
0 1

, u 1 u =

0 1
1 0

, u 2 u =

0 i
i 0

Esto demuestra el siguiente resultado:

Si las tres matrices autoadjuntas (2 2) satisfacen las relaciones (9.2), entonces existe
una matriz unitaria u tal que






1 0
0 1
0 i

u 3 u =
, u 1 u =
, u 2 u =
.
0 1
1 0
i 0
Estas son las matrices de Pauli.
Las matrices de Pauli satisfacen ademas:
(9.3)

j k = i

3
X
=1

y
j2

(9.4)

j,k, , j 6= k ,

1 0
0 1

Para cualquier par de vectores ~a , ~b , se tiene la relacion

(~ ~a)(~ ~b) = ~a ~b + i~ (~a ~b) .

(9.5)
que es de suma utilidad.

b. Para cualquier estado (k k= 1),

Retornamos al programa de determinar ~

2 Haga

el calculo por favor

149

b > .
~ =< , ~
Ante una rotacion D(e, ) del espacio tridimensional fsico debemos tener:
bU(e,) i =< , U
D(e, )~ = hU(e,) , ~
(e,) bU(e,) i ;

esta relacion es equivalente a

U(e,)

bU(e,) = D(e, )b
.

(9.6)

Diferenciando con respecto al angulo y poniendo = 03 , y variando sobre todos los ejes
posibles obtenemos las siguientes condiciones necesarias y suficientes para (9.6):

O en forma mas succinta

(9.7)
Es inmediato demostrar
b
es proporcional a

[b
j ,
bk ] = 2i

3
X
=1

j,k,
b .

b = 2i~
b.

b ~

b
directamente que estas relaciones de conmutacion implican que ~

b = b
~
, real .
Uno de los motivos que indujeron a la hipotesis del spin fue que el momento angular
~ no era conservado para atomos en campos magneticos. La propuesta entonces es
orbital L
~ el momento angular S
~ correspondiente al spin para obtener el momento angular
sumarle a L
total
J=L+S
que si es una magnitud conservada. Como S debe transformar como un vector, el operador
b debe cumplir las mismas reglas de conmutacion (9.7) con
asociado S
b que el operador
b
b
vectorial ~ , o sea que tambien S es proporcional a
b. La correspondiente constante de
b genera los
proporcionalidad debe tener la dimension de una accion. Ademas, como ~i L
b S]
b = 0 ; si queremos que
unitarios que representan las rotaciones en el estado orbital y [L,
b
J genere los unitarios que representan a las rotaciones en el espacio de los estados, debemos
poner
b = ~
S
b.
2
b, L
b, y S
b cumplen con las mismas relaciones de conmutacion que
Asi, los tres operadores J
son caracteristicas para un momento angular. En particular
[Sbj , Sbk ] = i~

3
X
=1

j,k Sb .

b u en la direccion del versor u son ~ , y hablamos de un

Los autovalores del operador S
2
2
b 2 = 3~2 b
b
spin s = 1/2 . Ademas S
1
=
~
s(s
+
1)
1
.
4
3 Use

los resultados del 6 para el miembro derecho.

es de hecho consecuencia de un resultado mucho m
as general que veremos m
as adelante (Wigner-Eckart).

4 Esto

150

9.2.

El Spin en general

La evidencia experimental demuestra que toda partcula elemental posee un momento

magnetico intrinseco (este puede ser 0) tal que la medicion en cualquier direccion puede
tomar valores discretos distribuidos equidistantemente en un intervalo [, ] . El n
umero
n de estos valores es caracterstico para la partcula, si bien el valor de dependera por
ejemplo de la magnitud de campos magneticos aplicados, etc. Como lo acabamos de hacer
para el caso de spin s = 1/2 , se le asocia al momento magnetico intrinseco un spin via el
analisis de las representaciones de las rotaciones. Para ello buscamos que la dimension del
espacio de Hilbert asociado al spin tenga dimension minimal, o sea n. Ahora bien es un
resultado matematico que, salvo una transformacion unitaria, hay una u
nica representacion
proyectiva unitaria {U(e,) : (e, ) SO(3)} del grupo de rotaciones SO(3) (o bien una u
nica
representacion unitaria de su grupo de cubrimiento SU (2)) en Cn de modo que se cumpla la
siguiente condicion de irreducibilidad

U(e,)
AU(e,) = A = A = z1 con z C .

(9.8)

El operador de spin S = (S1 , S2 , S3 ) es simplemente i~ Generador :

i

U(e,) = e ~ eS .
Se tiene:
[Sj , Sk ] = i~

3
X

j,k S .

=1

Los autovalores del operador S u en la direccion del versor u son los n n

umeros
~s , ~(s 1) , , ~(s 1) , ~s ,
y hablamos de un spin de magnitud s =
(9.8) es equivalente a
(9.9)

n1
2

, i.e., n = 2s+1 . La condicion de irreducibilidad

[A, Sj ] = 0 para j = 1, 2, 3 = A = z1 con z C .

Y, ya que S2 conmuta con cada componente de S, necesariamente S2 es un multiplo de la

2
b
~ = ~2 s(s+1)b
identidad, concretamente: S
1 . Nuevamente, el momento magnetico intrinseco
estara representado por un operador que es proporcional a S. En resumen, un spin elemental
de magnitud s (un n
umero semientero no-negativo) es el generador de una representacion
unitaria irreducible de SU (2) en C2s+1 .

9.3.

Las interacciones de un Spin

La energa de un momento magnetico ~ en un campo magnetico H es ~ H . El operador

b, asociado a un spin s es proporcional al operador
que representa el momento magnetico ~
b
de spin S:
b = g e~ S
b,
~
mc
151

donde e es la carga elemental, m es la masa de la partcula, y c es la velocidad de la luz.

El factor g que no tiene dimension, es caracterstico para la partcula; el valor puede obtenerse a partir de ecuaciones relativistas (Ecuacion de Dirac par el electron, etc.). Ademas el
spin, mejor dicho el correspondiente momento magnetico, interactua con el momento orbital. En efecto, si la partcula tiene carga electrica, su movimiento orbital produce un campo
magnetico; la interaccion correspondiente (que se vera mas adelante) resulta proporcional a
b
~b S.
L

9.4.

Sistemas de dos niveles: polarizaci

on

Llamamos a un sistema de dos niveles si el espacio de estados tiene dimension 2 . El

ejemplo mas pertinente es el del caso de un spin 1/2 ; pero aparecen en fsica muchos otros
ejemplos, en general en discusiones aproximativas. Hay una particularidad en dimension 2 :
b sobre C2 es combinacion lineal de
todo operador A
b1 ,
b2 ,
b3 , y
bo := b
1 :
!
3
X
1
bj )j .
b o+
b=
tr(Ab
tr(A)
(9.10)
A
2
j=1
Esta identidad puede verificarse explicitamente en terminos matriciales, pero es consecuencia
inmediata del siguiente resultado que usted puede demostrar sin dificultad alguna:
Sea H un espacio de Hilbert de dimension finita.
bB
b >>:= tr(A
b B)
b ,
<< A,

define un producto escalar sobre el espacio vectorial de los operadores lineales sobre H .
Ahora, en el caso de dos niveles (usando (9.3), (9.4), y tr(j ) = 0 , j 6= 0) es inmediato
verificar que:
<<
bj ,
bk >>= 2jk , j, k {0, 1, 2, 3} .

Como hay a lo sumo cuatro operadores no nulos linealmente independientes en dimension

2 , las cuatro multiplicadas por 12 forman una base ortonormal, y (9.10) no es otra cosa
b en esta base. Reescribimos la relacion (9.10) como
que el desarrollo de A
(9.11)

1
b = 1 tr(A)
bb
b ) .
A
1+A
b , A := tr(Ab
2
2

Si el estado del sistema esta dado por un vector normalizado C2 y utilizamos (9.11),
b en este estado es
entonces el valor esperado de A
1
1
b + h, A
b + A h,
b +AP,
b = 1 tr(A)
bi = tr(A)
bi = tr(A)
h, Ai
2
2
2

donde convenimos que la polarizacion P R3 asociada con el estado es

(9.12)

P := h,
bi .
152

Observese que modulo multiplicacion por ~, la polarizacion es el valor esperado de 2S y

por ende un vector cuyas tres componentes son reales y de modulo menor o igual a 1. Mas
especificamente, Se puede demostrar que el vector polarizacion es unitario, i.e.,
PP=1.
b autoadjunto. De la ecuacion
Interesa en general la dinamica dada por un Hamiltoniano H
de movimiento
d
b t , o = ,
i~ t = H
dt
y su solucion
b
bt , U
bt = eiHt/~
t = U
,

obtenemos inmediatamente que

bt
bt i ,
Pt = ht ,
bt i = h, U
bU

la polarizacion al tiempo t, satisface la ecuacion de movimiento

d
d
bt
bt i = i h, U
bt [H,
b
bt i .
Pt = h, U
bU
b]U
dt
dt
~

Usando (9.11), obtenemos:

3
X
k=1

o sea:
Luego,

Hk [b
k ,
bj ] = 2i

b
[H,
bj ] = [H
b,
bj ] = H [b
,
bj ]

3
X
k=1

Hk

3
X
=1

k,j,
b = 2i

3 X
3
X
k=1 =1

b
[H,
b ] = 2i H
b.

j,k, Hk
b = 2i(H
b)j ;

2
d
bt (H
bt i = 2 H h, U
bt
bt i = 2 H Pt .
Pt = h, U
b)U
bU
dt
~
~
~
La ecuacion de movimiento es entonces
d
2
Pt = H Pt , Po = P ,
dt
~

que es enteramente clasica y provee via la formula para los valores esperados todo lo que
queremos saber. Note que esta ecuacion es analoga a la de un rotor clasico. La solucion Pt
precesa alrededor de H con velocidad angular constante (2/~)|H|.
Observese que lo hecho demuestra que un spin 1/2 puro desconsiderando las variables
orbitales es totalmente equivalente a un rotor clasico, o sea un punto que se mueve en la
superficie de la esfera de radio 1 en R3 . En este sentido, el spin 1/2 es un sistema dinamico
clasico.

153

154

Captulo 10

Estados y composici
on de sistemas
cu
anticos
10.1.

Estados

10.1.1.

Una descripci
on alternativa del estado

Hasta ahora habiamos descripto el estado de un sistema cuantico por medio de un vector
normalizado en un espacio de Hilbert H. La fsica se obtiene en u
ltima instancia de los
n
umeros
(10.1)

h, Ai ,

donde A es el operador que representa la magnitud fsica A . Entonces, hay una ambiguedad
en la caracterizacion del estado. En efecto todos los n
umeros (10.1), i.e. variando A, no
determinan a sino hasta una fase global arbitraria. y ei con real, nos dan el mismo
estado.
A todo vector normalizado H le asociamos el operador P definido por:
P := h, i , H .

Este operador es autoadjunto e idempotente, o sea un ortoproyector. Ademas, a y a ei

les corresponde el mismo proyector, como usted verificara inmediatamente. La ambiguedad
no se presenta a nivel de proyectores. Recordando que la traza tr de un operador A es
dim(H)

tr(A) =

X
j=1

hj , Aj i ,

donde {j : j = 1, 2, , dim(H)} es cualquier base ortonormal de H podemos verificar

que
(10.2)

tr(AP ) = h, Ai .

En efecto, eligiendo una base ortonormal tal que 1 = ,

dim(H)

tr(AP ) = h, AP i +
155

X
j=2

hj , AP j i

dim(H)

= h, Ai +

X
j=2

h, j ihj , Ai = h, Ai .

Observe que tr(P ) = 1 i.e. el proyector es unidimensional1 .

Veamos, para completar, que obtenemos todos los posibles proyectores unidimensionales
posibles. Si P es un proyector sus autovalores son o 0 o 1. Si P 6= 0, entonces P debe tener
al menos un autovalor 1. Existe entonces un vector normalizado H tal que P = ; si
existiera otro vector normalizado tal que P = con h, i = 0 entonces la traza de P
sera mayor o igual a 2. Por lo tanto, P = P . Hay entonces una correspondencia biunvoca
entre subespacios unidimensionales, los proyectores correspondientes, y estados.
10.1.2.

Estados puros y mixtos

falta: que es un estado mixto. Donde aparecen y porque.

Un operador D autoadjunto y positivo ( hf, Df i 0 para todo f H) que tiene traza tr(D) = 1, se llama un operador densidad. Vimos entonces que a todo estado mixto le
corresponde un operador densidad. Veamos que, vice versa, a todo operador densidad le
corresponde un estado. En efecto, del hecho que D tiene traza finita y es positivo, se deduce
que el espectro de D es puramente discreto2 o sea que consiste puramente de autovalores aislados de multiplicidad finita con cero como u
nico posible punto de acumulacion del espectro.
Reenumerando los autovalores teniendo en cuenta la multiplicidad 0 1 2 3 ,
tenemos
X
D=
j Qj
j

donde los Qj P
son proyectores ortogonales unidimensionales y ortogonales entre si. Como
1 = tr(D) = j j , los autovalores de D satisfacen 0 j 1. Si para aquellos j para
los cuales j 6= 0, elegimos autovectores normalizados j de Qj ; i.e., Qj j = j , vale decir
Qj = |j ihj |; entonces para cualquier observable A tenemos
X
X
tr(DA) =
j tr(Qj A) =
j hj , Aj i ,
j

o sea que D es el operador densidad asociado con la mezcla de los estados vectoriales dados por {j : j 6= 0} con pesos {j 6= 0}. Notese tambien que un proyector ortogonal
unidimensional es automaticamente un operador densidad, o, mas generalmente, si Q es un
proyector ortogonal no nulo y el subespacio a donde Q proyecta es de dimension finita, ene = (tr(Q))1 Q es un operador densidad pues: Q es autoadjunto; positivo ya que
tonces Q
h, Qi = h, Q2 i = hQ, Qi = kQk2 0; y se tiene tr(Q) = dimension del subespacio
QH.
1

2
sea {k : k K} una base ortonormal del subespacio P H; entonces tr(P ) =
P Si P = P = P
P es un ortoproyector,
P
kK hk , P k i =
kK hk , k i =
kK = dim(P H).
2 Esto es obvio en dimensi
on finita. Cuando H es de dimensi
on infinta, D resulta compacto en virtud de que es positivo y de
traza finita.

156

Es importante notar que los operadores densidad los estados de un sistema cuantico
forman un conjunto convexo: si D1 y D2 son operadores densidad, entonces para cualquier
0 t 1, tD1 + (1 t)D2 es un operador densidad, en tanto y en cuanto es autoadjunto
positivo y de traza tr(tD1 + (1 t)D2 ) = ttr(D1 ) + (1 t)tr(D2 ) = 1. Si D1 esta asociado a la
mezcla de los estados vectoriales asociados con j y pesos j y D2 esta asociado a la mezcla
de los estados vectoriales con pesos entonces tD1 + (1 t)D2 , el operador densidad
suma convexa de D1 con peso t y D2 con peso (1 t), es en efecto el operador densidad
asociado con la mezcla de los estados vectoriales j con pesos tj y los estados vectoriales
con pesos (1 t) .
Como decidimos si un dado estado un operador densidad es vectorial o no? Las siguientes propiedades son equivalentes:
1. D2 = D;
2. Hay H tal que tr(DA) = h, Ai para todo operador A;
3. D no se puede escribir como D = tD1 + (1 t)D2 con 0 < t < 1 y operadores densidad
D1 y D2 uno de los cuales sea distinto a D;
4. 1 (D).

Esto indica que los estados vectoriales son precisamente aquellos estados que no se pueden
escribir como sumas convexas de otros estados. En otras palabras, los estados vectoriales son
los puntos extremales del conjunto convexo de los estados y por eso se los llama tambien
puros.
El conjunto convexo de estados de una teora cuantica resulta ser totalmente distinto que
el de una teora clasica. En la mecanica cuantica, se sabe como mezclar pero no como
desmezclar: hay infinitas maneras de descomponer una mezcla en componentes puras.
Explicamos esto brevemente. Empecemos con un ejemplo concreto. Considere el caso H = C2 ,
o sea el espacio de Hilbert de un spin 1/2, y el estado dado por el operador densidad


1
1/2 0
;
D= 1=
0 1/2
2
o sea

1
tr(DA) = tr(A) .
2
Tenemos




1
1
1 0
0 0
, P2 =
,
D = P1 + P2 , P1 =
0 0
0 1
2
2
lo que descompone a D en suma convexa de los estados vectoriales asociados a los proyectores
ortogonales unidimensionales Pj , j = 1, 2, dados por los vectores
 
 
1
0
1 =
, 2 =
;
0
1
pero tambien
1
1
D = Q1 + Q2 , Q1 =
2
2

21/2 21/2
21/2 21/2
157

, Q2 =

21/2 21/2
21/2 21/2

lo que descompone en suma convexa de los estados vectoriales dados por

 


1
1
1/2
1/2
1 = 2
, 2 = 2
.
1
1
Mas generalmente, se tiene D = 21 P + 12 P donde P es cualquier proyector ortogonal unidimensional y P = 1 P es el proyector al complemento ortogonal. Es cierto que el D
planteado es un estado muy especial; pero el lector debe aceptar (luego de una peque
na
reflexion) que el estado mixto mas general y distinto de la traza normalizada que acabamos
de ver, es modulo transformaciones unitarias el estado dado por el operador densidad


t
0
, 1/2 < t < 1 .
Dt =
0 1t
Aceptado esto, es inmediato verificar que se tiene
Dt = (t, x)P (t, x) + (1 (t, x))Q(t, x)
donde x es arbitrario en el intervalo [0, t],
(t, x) =
y

t(1 t)x
y(t, x)
, y(t, x) =
,
x + y(t, x)
t(1 t) + (2t 1)x
p


(t x)(1 t + x)
,
P (t, x) =
1t+x
p


t
+
y(t,
x)

(t + y(t, x))((1 t y(t, x))

p
Q(t, x) =
.
1 t y(t, x)
(t + y(t, x))(1 t y(t, x))


tx
(t x)(1 t + x)

Y que tanto P (t, x) como Q(t, x) son proyectores unidimensionales 3 . Asi entonces, Dt admite infinitas descomposiciones en suma convexa de dos estados puros; vale decir podemos
interpretar a Dt como resultado de la mezcla de acuerdo a infinitas recetas distintas.
Hemos verificado entonces que hay infinitas maneras de desmezclar cualquier estado
mixto de un spin 1/2. Si nos interesan solamente las descomposiciones en sumas convexas de
estados puros que sean ortogonales entre si, tampoco logramos unicidad pues, como muestra la traza normalizada, la degeneracion de alg
un autovalor de D impide la unicidad de la
descomposicion.
Todo esto podra no sorprender a nadie si no se contrasta con la situacion en una teora
clasica. Situacion que describimos brevemente en lo que sigue.
3 Note

que x = t corresponde a

1 0
0 0
+ (1 t)
0 0
0 1
la descomposici
on espectral en estados puros ortogonales entre si. Mientras que x = 0 corresponde a
p
p

1
1
t(1 t)
t(1 t)
p t
p t
+
Dt =
t(1 t)
t(1 t)
1t
1t
2
2
Dt = t

que tambi
en es una descomposici
on en estados puros con pesos iguales. Los valores intermedios de x, 0 < x < t, proveen
descomposiciones en estados no ortogonales entre si con el mayor de los pesos variando continuamente entre 1/2 y t.

158

falta: cinematica clasica. Estados y estados mixtos. Descomposicion univoca

de un estado mixto en estados puros.
falta quiza alusion a "simplex dibujitos explicativos (semirecta, triangulo)
vs. (rectangulo, disco). Hacer referencia al problema de la guia 1 donde se ve
que los estados en dimension 2 son isomorfos a la bola unitaria en 3 dim
2

10.1.3.

Los estados de un spin 1/2

Retornamos al spin 1/2 y analizamos en detalle el espacio de sus estados. De acuerdo a

XXX toda matriz densidad de tama
no 2 2 se escribe


1
1
1 + p3 p1 ip2
, p = tr()
= (1 + p ) =
2
2 p1 + ip2 1 p3

donde p R3 ya que j es autoadjunta. En concordancia con el caso de un estado puro

(vease 9.4), p se denomina la polarizacion del estado . De la postividad de obtenemos
que |p3 | 1 y que 0 (1 + p3 ) (1 p3 ) |p1 ip2 |2 = 1 |p|2 ; o sea |p| 1. Y, viceversa, si
p es un vector real dentro de la bola de radio uno, entonces dado por la formula de arriba
es una matriz densidad. Esto implementa una correspondencia biunvoca entre los estados
S(C2 ) y la bola B3 de radio uno en R3 . Veremos que esta correspondencia respeta todo lo
que debe respetar.
El calculo de los autovalores de en terminos del vector asociado es inmediato simplemente
calculando el polinomio caracterstico para obtener


1 + |p| 1 |p|
() =
,
.
2
2

En particular, para que sea puro, i.e. un ortoproyector de espectro {1, 0} es necesario y
suficiente que |p| = 1, de modo que los estados puros corresponden a la esfera (la superficie
de la bola) de radio uno. Recuperamos lo visto en la discusion de la polarizacion de un spin
1/2. Pero esta observacion de que los estados puros corresponden a los puntos extremales (no
convexamente descomponibles) de la bola es consecuencia inmediata de que la aplicacion 7
p es afin, o sea que a la mezcla de estados le corresponde la misma mezcla de polarizaciones.
Efectivamente, si 1 tiene polarizacion p1 y 2 tiene polarizacion p2 entonces cualquiera sea
t [0, 1], el estado t1 + (1 t)2 se escribe
t
1t
1
(1 + p1 ) = (1 + (tp1 + (1 t)p2 ) )
t1 + (1 t)2 = (1 + p1 ) +
2
2
2
y tiene polarizacion tp1 + (1 t)p2 . La correspondencia estado polarizacion preserva la
estructura convexa de S(C2 ) y de la bola B3 .
Pero la concordancia es a
un mejor. Considere la distancia definida en S(C2 ) por4 d(, ) :=
tr(| |). Entonces, usando que cualquiera sea el vector a R3 tenemos (a ) =
{|a|, |a|}, tenemos que si tiene polarizacion p y tiene polarizacion q entonces
1
d(, ) = tr(| |) = tr(|(p q) |) = |p q| ,
2
4 Esto es efectivamente una distancia ya que: (1) d(, ) 0 con igualdad si y solo si = ; (2) d(, ) = d(, ); y (3)
d(, t + (1 t)) td(., ) + (1 t)d(, ).

159

lo que muestra que la correspondencia estado polarizaci

on es continua equipando a los
2
estados S(C ) con la distancia d introducida, y a la bola de radio 1/2 con la distancia euclidea usual.
Esto demuestra que la visualizacion del espacio de estados de un spin 1/2 como la bola
unitaria en tres dimensiones es no solo adecuada sino perfecta. Las analogas geometricas
discutidas en XXX son entonces totalmente validas.

10.2.

Composici
on

10.2.1.

Producto tensorial

10.2.2.

Producto tensorial de operadores

Regla de la cadena d(A() B())/d = (dA()/d) B() + A() (dB()/d).

160

Captulo 11

Momentos angulares
11.1.

Momentos angulares y rotaciones

Recordemos las propiedades fundamentales de un momento angular. Las componentes Jj

(j = 1, 2, 3) de J satisfacen
3
X
j,k, J ;
[Jj , Jk ] = i~
=1

de aqui se deduce que J 2 conmuta con cada Jj y que eligiendo la tercera componente J3 y
definiendo
J = J1 iJ2 ,
se tiene: Si es autovector normalizado de J2 al autovalor ~2 ypde J3 al autovalor ~
entonces se tienen las tres propiedades: (1) 0; (2) kJ k = ~ ( 1); y (3) Si
J no es nulo entonces es autovector de J2 al mismo autovalor ~2 y de J3 al autovalor
~( 1). De estas tres propiedades se deduce que = j(j + 1) para alg
un semientero j
{0, 1/2, 1, 3/2, }, que cada autovalor de J2 es degenerado con una multiplicidad que es
m
ultiplo de 2j + 1 y que los autovalores de J3 son ~m con m {j, j + 1, j 1, j} para
todos los j que aparezcan y con la multiplicidad acorde al n
umero de veces que aparezcan
estos j.
Si la multiplicidad del autovalor de J2 asociado a j es 2j + 1 se puede entonces elegir una
base ortonormal {j,m : m = j, j + 1, , j 1, j} del correspondiente autoespacio Ej
tal que:
p
(11.1)
J3 j,m = ~j,m , J j,m = ~ j(j + 1) m(m 1)j,m1 ,
cuando la raiz no se anula.

Consideramos un espacio de Hilbert H donde actuan las componentes de un momento

angular J y, dada una rotacion D(e, ) de R3 (alrededor del eje unimodular e por el angulo
), escribimos
i

U(e,) = e ~ eJ ,
161

que es un operador unitario sobre H. Cuando J es un momento angular orbital dado por
b
b entonces hemos visto (??) que D(e, ) 7 U(e,) es una representacion, i.e.,
rp
(11.2)

U(e,) U(f ,) = U(e,)(f ,) ,

unitaria, del grupo de rotaciones SO(3) de R3 . Esto sigue siendo cierto para un momento
angular arbitario? Tenemos desde luego que


i
d
U(e,) = e J U(e,)
d
~
por lo cual (??)

i
U(e,) U(e,) = exp{ ( + )e J} .
~
Pero debemos recordar que la rotacion alrededor de cualquier eje por 2 es la identidad:
(e, 2) (e, ) = (e, ). No tenemos ninguna garantia de que
U(e,+2) = U(e,) .

Un ejemplo inmediato es el siguiente: considere un spin S de magnitud s, entonces tendremos calculando en la base ortonormal s,m de autovectores simultaneos de S2 y S3 ,

is
e
0

0
0
ei(s1)/2
0
;
UD((0,0,1),) = eiS3 /~ =

0
0
eis
i.e., UD((0,0,1),) es diagonal con elementos diagonales

hs,m , UD((0,0,1),) s,m i = eim , m {p/2, , p/2} .

Si = 2 tenemos
i2m

hs,m , UD((0,0,1),2) s,m i = e

1
,
1 ,

si s {0, 1, 2, }
.
si s {1/2, 3/2, 5/2, }

Los spins genuinamente semienteros no conduciran a representaciones.

Se puede demostrar que:
(e, ) 7 U(e,) es una representacion si y solo si U(e,2) = 1 para todo vector unimodular
e.
Si todos los autovalores de J2 que son siempre de la forma ~2 j(j + 1) se obtienen con
j {0, 1, 2, } entonces U(e,2) = 1 para todo vector unimodular e.

Si alg
un autovalor J2 es de la forma ~2 j(j +1) con j {1/2, 3/2, , (2n+1)/2, }
entonces U(e,2) 6= 1 para todo vector unimodular e.

Si todos los autovalores de J2 que son siempre de la forma ~2 j(j + 1) se obtienen

con j {1/2, 3/2, , (2n + 1)/2, } entonces U(e,2) = 1 para todo vector
unimodular e.
162

Por lo tanto solamente se obtiene una representacion del grupo de rotaciones con exp{ie
J/~} cuando los autovalores de J2 son todos naturales, o sea de la forma ~2 j(j + 1) con
j {0, 1, 2, }. En caso contrario se obtiene lo que se llama una representacion proyectiva
de SO(3). Esto es
UD(e,) UD(f ,) = (D(e, ), D(f , )) UD(e,)D(f ,) ,
donde (D(e, ), D(f , )) es un n
umero complejo de modulo 1 con ciertas propiedades particulares que no necesitaremos ( ). Observese que
h(UD(e,) UD(f ,) ), A(UD(e,) UD(f ,) )i
= (D(e, ), D(f , ))(D(e, ), D(f , ))h(UD(e,)D(f ,) ), A(UD(e,)D(f ,) )i
= h(UD(e,)D(f ,) ), A(UD(e,)D(f ,) )i ,
por lo cual la diferencia entre UD(e,) UD(f ,) y UD(e,)D(f ,) nunca se manifiesta al calcular
valores esperados.
Otra manera de racionalizar la situacion cuando J tiene autovalores asociados a valores
genuinamente semienteros de j es asociarle a cada rotacion D(e, ) no uno sino dos operadores unitarios: U(e,) y U(e,+2) . Identificando luego a estos dos unitarios y escribiendo
[U(e,) ] para esta identificacion, se tiene [U(e,) ][U(f ,) ] = [U(e,)(f ,) ].
Ahora bien, es un resultado matematico sumamente fundamental en sus aplicaciones a la
mecanica cuantica, que toda representacion unitaria proyectiva del grupo de rotaciones se
descompone en una suma directa de representaciones unitarias proyectivas irreducibles,i.e.
RUPI, de modo que el espacio de Hilbert subyacente H se descompone en una suma directa
de subespacios H , A, donde cada H es invariante bajo cada U(be,) y la restriccion a
este subespacio de {U(be,) : b
e R3 , |b
e| = 1 , R} es irreducible. Por otro lado,las
RUPIs son todas de dimension finita (i.e. el espacio de Hilbert subyacente es de dimension
finita) y estan univocamente determinadas hasta equivalencia unitaria por su dimension n
de modo que el generador asociado es (unitariamente equivalente) a un spin de magnitud
s = (n 1)/2. Entonces el conjunto A se puede identificar con alg
un subconjunto J de los
semienteros 21 Z y entonces

M
jJ

{U(be,) = exp{i b
e J} : b
e R3 , |b
e| = 1 , R}
~

[j]
e J[j] } : b
e R3 , |b
e| = 1 , R}
m(j){U(be,) = exp{i b
~

donde J[j] es un spin/momento angular irreducible actuando en un espacio de dimension

2j + 1. Las multiplicidades m(j) tienen en cuenta cuantas veces aparece la j-RUPI en la descomposicion. Esta descomposicion en suma directa es a la vez la diagonalizacion simultanea
de J2 y J3 .
163

11.2.

Suma de momentos angulares acoplados

El problema que nos planteamos ahora es el siguiente. Supongamos que tenemos dos
momentos angulares J(1) y J(2) que actuan sobre los espacios H1 y H2 respectivamente. El
operador
J := J(1) 1 + 1 J(2)
actuando sobre H1 H2 satisface las reglas de conmutacion de un momento angular ya que
(1)

(1)

(2)

(2)

(1)

(2)

[J1 , J2 ] = [J1 , J2 ] 1 + 1 [J1 , J2 ] = i~J3 1 + i~1 J3 = i~J3 .

Como se obtienen autovalores y autofunciones de J 2 y J3 a partir de aquellas de los dos
momentos angulares que sumamos? Unos minutos de reflexion convencen que el problema
planteado se resuelve por combinacion de la solucion del problema mas simple que se obtiene
suponiendo que H1 = Ej1 y H2 = Ej2 , i.e. o sea que los espacios donde actuan los momentos
angulares a sumar, son respectivos autoespacios minimales de J(1) y de J(2) . La definicion
formal es la siguiente: un momento angular J actuando sobre un espacio de Hilbert se dice
irreducible si no hay operadores que no sean multiplos de la identidad y conmuten con las
tres componentes de J. En particular, si J es irreducible, entonces J2 es un m
ultiplo de la
identidad.
Si sumamoms entonces dos momentos angulares irreducibles, se tiene que Ej1 Ej2 tiene
"

2
"

2
dimension (2j1 + 1)(2j2 + 1), J(1) 1 = ~2 j1 (j1 + 1)1 1, 1 J(2) = ~2 j2 (j2 + 1)1 1,
y
(11.3)

{j1 ,m1 j2 ,m2 : m1 = j1 , , j1 ; m2 = j2 , , j2 }

es un base ortonormal de este espacio. Esta base ortonormal diagonaliza a J3 ya que

(1)

(2)

J3 j1 ,m1 j2 ,m2 = (J3 j1 ,m1 j2 ,m2 ) + (j1 ,m1 J3 j2 ,m2 )

= ~(m1 + m2 )j1 ,m1 j2 ,m2 ;
por lo tanto los autovalores de J3 son de la forma ~m con m = m1 +m2 y tienen multiplicidad
(11.4)

j1 + j2 + 1 |m| ,
2 mn{j1 , j2 } + 1 ,

para |j1 j2 | |m| j1 + j2

.
para |j1 j2 | |m| |j1 j2 |

El espectro de J3 es el conjunto {~m : m = j1 j2 , j1 j2 + 1, , j1 + j2 1, j1 + j2 }.

Como el espacio es de dimension finita y J2 es"autoadjunto,
este
es diagonalizable.

2

2
" operador
(1)
(2)
(1)
Sin embargo, esta base no diagonaliza a J 2 = J(1) 1 + 1 J(2) + 2(J1 J1 + J2
(2)
(1)
(2)
J2 + J3 J3 ).
La situacion se presenta graficamente asi:
164

m = j1 + j2

m = j1 + j2 1

j2 1

m = j1 + j2 2

j2 2

@
@
@
@
@
@
@
@
@
@
@
@

j2 6

@
@
@
@
@
@
@
@
@
@
@
@

@
@
@
@
@
@
@
@
@
@
@
@

m = j1 + j2

m = j1 + j2 1

m = j1 + j2 2

j1 1

-1

m = j1 j2 + 2

m = j1 j2 + 1

m = j1 j2

@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
@

j1 2

j1

@
@
@
@
@
@
@
@
@
@
@
@

j1 + 1 j1 + 2

m = j1 j2 + 2

j2 + 2 6

m = j1 j2 + 1

j2 + 1

m = j1 j2

@
@
@
@
@
@
@
@
@
@
@
@

@
@
@
@
@
@
@
@
@
@
@
@

@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
@
@

j2

Cada punto (m1 , m2 ) del retculo representa un vector j1 ,m1 j2 ,m2 de la base (11.3); en
las diagonales se hallan todos los estados de esta base que son autoestados de J3 al autovalor
~m = ~(m1 + m2 ). El n
umero de puntos del retculo en cada diagonal m = const. es igual
a la dimension del autoespacio Fm de J3 al autovalor ~m; esto da la formula (11.4) para la
multiplicidad. Este subespacio es invariante ante J2 y por ende existe una base ortonormal de
Fm que diagonaliza a la restriccion de J2 a Fm . Hay entonces que elegir, en cada diagonal
(i.e. Fm autoespacio de J3 ), combinaciones lineales de estados que sean autoestados de J 2 .
Explicitamente, si j,m es autovector com
un de J 2 al autovalor ~j(j + 1) y J3 al autovalor
~m , entonces en el desarrollo
(11.5)

j,m =

j1
X

j2
X

m1 =j1 m2 =j2

< j1 ,m1 j2 ,m2 , j,m > j1 ,m1 j2 ,m2

solamente los coeficientes < j1 ,m1 j2 ,m2 , j,m > donde m1 + m2 = m pueden ser no nulos
(aplique J3 !).
Arriba a la derecha tenemos la diagonal m = j1 + j2 con un solo estado. Afirmamos que:
165

El maximo autovalor de J 2 es ~2 j(j + 1) con j = j1 + j2 y j1 ,j1 j2 ,j2 es autovector a ese

autovalor.
Ya que Fj1 +j2 = {(j1 ,j1 j2 ,j2 ) : C} es unidimensional e invariante ante J2 , tenemos
que j1 ,j1 j2 ,j2 es autovector de J2 y el autovalor asociado tiene la forma ~2 jo (jo + 1) para
un semientero jo . Demostramos que jo = j1 + j2 y que ~2 jo (jo + 1) es el maximo autovalor
de J2 . Por un lado, J+ (j1 ,j1 j2 ,j2 ) debe ser nulo pues sino obtendriamos un autovector de
J3 a un autovalor mayor a ~(j1 + j2 ); por lo tanto jo (jo + 1) = (j1 + j2 )(j1 + j2 + 1) de donde
jo = j1 + j2 . Por otro lado, si jmax es el n
umero semientero que nos da el autovalor maximo
~2 jmax (jmax + 1) de J 2 por lo tanto jo jmax entonces, aplicando J+ sucesivamente
obtenemos un autovector de J3 al autovalor ~jmax , lo cual implica que jmax (j1 + j2 ) y
entonces jmax = jo .
Hemos encontrado entonces el primer autovector j1 +j2 ,j1 +j2 = j1 ,j1 j2 ,j2 simultaneo de
2
J y J3 a los autovalores ~2 (j1 + j2 )(j1 + j2 + 1) y ~(j1 + j2 ) respectivamente y tambien hemos
identificado el autovalor maximal de J. Podemos ahora aplicar sucesivamente J a j1 +j2 ,j1 +j2
para obtener (2(j1 + j2 ) + 1) autovectores j1 +j2 ,m simultaneos de J2 al autovalor maximal
~2 (j1 + j2 )(j1 + j2 + 1) y de J3 a los autovalores ~m con m = j1 + j2 , j1 + j2 1, , j1
j2 + 1, j1 j2 . Se tiene Jj1 +j2 m j1 +j2 ,j1 +j2 j1 +j2 ,m Fm . O sea que hemos eliminado
una dimension en cada diagonal Fm . Tambien podemos deducir que hemos agotado el
autoespacio Ej1 +j2 de J al autovalor maximal pues si esto no fuera el caso podriamos generar
otro autovector de J3 al autovalor maximo ~(j1 +j2 ) linealmente independiente de j1 +j2 ,j1 +j2 .
Ahora repetimos el procedimiento. El subespacio Fj1 +j2 1 asociado a la segunda diagonal arriba a la derecha tiene dimension 2. Ya hemos eliminado una dimension; aquella
correspondiente al vector J j1 +j2 ,j1 +j2 . Cualquier vector de este subespacio que es ortogonal a J j1 +j2 ,j1 +j2 es autovector de J3 al autovalor ~(j1 + j2 1). Como no hay mas
lugar en este subespacio, debe ser autovector de J 2 al maximo autovalor no eliminado, o
sea ~2 (jo 1)jo . esta determinado hasta una fase; la elegimos de tal manera que este
normalizado y sea combinacion lineal real de j1 ,j2 1 j1 1,j2 y j1 1,j2 j1 ,j2 1 lo que
determina a salvo multiplicacion por 1. Actuando sucesivamente con J sobre obtenemos 2(jmax 1) + 1 vectores (uno para cada diagonal no agotada) que son proporcionales a
j1 +j2 1,m , m = (j1 + j2 1), , j1 + j2 1. Nuevamente hemos eliminado exactamente
una dimension en cada un de los subespacio Fm para m = j1 + j2 1, , j1 j2 + 1
agotando asi las segundas diagonales arriba a la derecha y abajo a la izquierda. Ademas
hemos agotado el subespacio Ej1 +j2 1 . Podemos repetir este juego con la tercera(cuarta ,
etc.) diagonal de arriba a la derecha. En cada juego eliminamos exactamente una dimension
de cada uno de los subespacios asociados a cada una de las diagonales no agotadas en un
juego previo. Pero no podemos seguir jugando para siempre; en alg
un momento agotaremos
todas las diagonales. En efecto en cada juego eliminamos
2(j1 + j2 ) + 1 , = 0, 1, , k
dimensiones. Debemos tener que
(2j1 + 1)(2j2 + 1) =

k
X
=0

(2(j1 + j2 ) + 1) = (2j1 + 2j2 + 1)(k + 1) 2

k(k + 1)
;
2

esto nos da la ecuacion k 2(j1 +j2 )k+4j1 j2 = 0 cuyas soluciones son k = j1 +j2 | j1 j2 |.
166

Ademas, j1 + j2 k esta asociado al mnimo autovalor de J 2 : ~2 (j1 + j2 k)(j1 + j2 k + 1) .

Como
j1 + j2 k = | j1 j2 | ,
y j1 + j2 k 0 , debemos tener k = k y ~2 | j1 j2 | (| j1 j2 | +1) es el autovalor
mnimo de J 2 .
En resumen, los autovaloresde J 2 en Ej1 Ej2 son:
~2 j(j + 1) , j =| j1 j2 |, | j1 j2 | +1, , j1 + j2 1, j1 + j2 ,
y tienen multiplicidad 2j + 1.
Este proceso constructivo de la nueva base se presenta diagramaticamente para los casos
de las cuatro dimensiones menores posibles en la siguiente figura.
(1/2,3/2)

(1/2,1)
(1/2,1/2)

(1,1)

Figura 11.1: Los cuatro casos (j1 , j2 ) de menor dimension posibles. Los cuadraditos rellenados igual representan los autovectores de J2 a autovalores iguales obtenidos en cada juego aplicando J .

En cuanto al valor de los coeficientes (llamados coeficientes de Clebsch-Gordan) no-nulos

en el desarrollo (11.5), tenemos siempre que empezamos el juego la posibilidad de elegir una
fase arbitraria. La convencion usual (vea los libros) esta concebida para producir coeficientes
reales lo que los determina modulo multiplicacion de todos ellos por 1. Estos coeficientes
estan tabulados en dependencia de j1 y j2 .
167

Veamos algo mas explicitamente el caso mas simple y no trivial de la suma de dos spins
1/2. Escribimos
1/2,m/2 1/2,m /2 = |m, m i , m, m {1, 1} ,

para simplificar la notacion. En esta base, el

1
0
S3 = ~
0
0

operador S3 es diagonal

0 0 0
0 0 0
,
0 0 0
0 0 1

~ 2 conmuta con S3 los autoespacios

con autovalores simples ~ y un autovalor doble 0. Ya que S
Fm (m = 1, 0, 1) de S3 al autovalor ~m son invariantes ante S2 . Por lo tanto, |+, +i y |, i
son autovectores de S2 . A que autovalores? Podemos contestar la pregunta bestialmente
calculando la matriz 4 4 asociada a S2 :

2 0 0 0
0 1 1 0

S2 = ~2
0 1 1 0 .
0 0 0 2

Pero, procediendo como en el analisis general vemos que los autovalores buscados son
de la forma ~2 j(j + 1) con alg
un semientero j y que si j 6= (1/2) + (1/2) = 1 entonces
debera aparecer (operando con S+ sucesivamente sobre |+, +i o |, i) un autovalor de S3
de modulo mayor que ~ cosa que no es el caso. Entonces |, i es autovector simultaneo de
S2 asociado a j = 1 y de S3 al autovalor ~ (m + m = 1). Ahora tenemos dos opciones
para generar (2j +1) = 3 autovectores de S2 al mismo autovalor: podemos hacer (S )n |+, +i
o bien (S+ )n |, i. En el procedimiento general elegimos |+, +i y entonces bajamos por el
espectro de S3 conservando el autovalor de S2 asociado a j = 1.
(2)

(1)

S |+, +i = (S 1/2,1/2 ) 1/2,1/2 + 1/2,1/2 (S 1/2,1/2 )

= ~(1/2,1/2 ) 1/2,1/2 + 1/2,1/2 1/2,1/2 ) = ~(|, +i + |+, i) ,
O sea que

(S )2 |+, +i = ~S (|, +i + |+, i) = ~2 2|, i .

1,1 = |+, +i , 1,0 = (|+, i + | .+i)/ 2 , 1,1 = |, i ,

son 3 autovectores dos-a-dos ortogonales y normalizados de S2 al autovalor ~2 2 (j = 1), que
son tambien autovectores de S3 . Con esto hemos agotado 3 de las 4 dimensiones del espacio.
La que queda es ortogonal a 1,0 en el subespacio F0 . El complemento ortogonal de 1,0 en
F0 es el subespacio unidimensional G = {(|+, i |, +i) : C}. Ya que S 2 F0 F0 ,
y que 1,0 es autovector de S2 , S2 G G y ya que G es unidimensional, deducimos que
|+, i |, +i es autovector de S2 . A que autovalor ~2 j (j + 1)? La respuesta es barata
(porque no queda mas nada en el espacio) ya que calculando explicitamente
S (|+, i |, +i) = 0
168

con lo cual

j (j + 1) = 0 y por ende j = 0. Por lo tanto,

0,0 = ei (|+, i |, +i)/ 2

es autovector de S3 y de S2 al autovalor 0 de ambos operadores. En resumen, los autovalores

de S2 son ~2 j(j + 1) donde j = (1/2) + (1/2) = 1 o j = (1/2) (1/2) = 0 y tienen
multiplicidad 2j + 1; la descomposicion espectral es
S2 = 2~2 P1 + 0.P0
donde P1 es el proyector ortogonal al subespacio E1 de S2 asociado al autovalor 2~2 y P0 es
el proyector ortogonal al subespacio E0 asociado al autovalor 0 de S2 . Tambien,
S3 = ~(Q1 + 0.Q0 Q1 ) + 0.P0 ,
es la descomposicion espectral de S3 , donde Qm es el proyector ortogonal unidimensional
Qm = h1,m |i1,m y P0 es el proyector ortogonal unidimensional P0 = h0,0 |i0,0 . Se
tiene: Qm P1 = Qm , Qm P0 = 0, Q1 + Q0 + Q1 = P1 = 1 P0 , y Q0 + P0 es el proyector
ortogonal (bidimensional) al autoespacio F0 de S3 .
Volvemos a los coeficientes de Clebsch-Gordan para analizarlos en mas detalle. En el
desarrollo (11.5) aparecen solamente los coeficientes
hj1 ,m1 j2 ,m2 , j,m i
donde m1 + m2 = m correspondiendo al hecho de que j,m esta en Fm . Observamos tambien
que
(2)
(1)
J jmax ,jmax = (J 1 + 1 J )(j1 ,j1 j2 ,j2 )
p
p
= ~ 2j1 (j1 ,j1 1 j2 ,j2 ) + ~ 2j2 (j1 ,j1 j2 ,j2 1 ) ,
y que si seguimos aplicando J sucesivamente obtendremos siempre combinaciones lineales
con coeficientes positivos de la base ortonormal producto {j1 ,m1 j2 ,m2 : m1 + m2 = m}:
hj1 ,m1 j2 ,m2 , jmax ,m1 +m2 i 0 .

Despues de terminar con el autovalor maximo de J2 asociado a jmax nos queda en Fjmax 1
una sola dimension correspondiente al complemento ortogonal del vector jmax ,jmax 1
J jmax ,jmax . Concretamente,
s
s
j1
j2
jmax ,jmax 1 =
(j1 ,j1 1 j2 ,j2 ) +
(j ,j j2 ,j2 1 ) .
j1 + j2
j1 + j2 1 1
Ahora, el vector mas general en Fjmax 1 ortogonal a jmax ,jmax 1 es :
p
p
(j1 ,j1 1 j2 ,j2 ) + (j1 ,j1 j2 ,j2 1 ) , j1 + j2 = 0 ;
p
podemos elegir y reales con = j1 /j2 ; si ahora normalizamos 2 + 2 = 1 tanto
como quedan univocamente determinados salvo multiplicacion de ambos por 1:
s
s
j2
j1
, =
.
=
j1 + j2
j1 + j2
169

Con esto jmax 1,jmax 1 es combinacion lineal real (aunque ya no de coeficientes positivos)
de la base ortonormal producto de Fjmax 1 . Aplicando sucesivamente J siempre obtenemos
a jmax 1,jmax 1m (J )m jmax 1,jmax 1 como combinacion lineal real de la base ortonormal producto de Fm . Si seguimos con este procedimiento queda claro que cada vez que
terminamos con un valor j de j nos queda solo una dimension en Fj 1 y que podemos
elegir un vector j 1,j 1 ortogonal a todos los construidos para valores de j mayores que
j (y por ende autovector de J2 al autovalor asociado con j 1) de tal forma que los
coeficientes de la expansion de j 1,j 1 en la base producto de Fj 1 sean reales. Pero
entonces, (J )k j 1,j 1 tambien es combinacion lineal real de la base ortonormal producto
de Fj 1k . De hecho, dado que la dimension no eliminada de Fj 1 es 1, los coeficientes
reales de la expansion de j 1,j 1 en la base producto esta
n univocamente determinados
por la normalizacion modulo multiplicacion de todos ellos por 1. Con esto queda entonces
(creo que) suficientemente motivado que los coeficientes de Clebsch-Gordan siempre pueden
elegirse reales.
Veamos explicitamente como se determinan los coeficientes de Clebsch-Gordan para alg
un
j fijo iterativamente a partir de alguno de elllos. Aplicando el operador J al desarrollo
(11.5), usando la relacion general (11.1) y tomando el producto escalar con j1 ,m1 j2 ,m2 ,
obtenemos:
p
j(j + 1) m(m 1)hj1 ,m1 j2 ,m2 , j,m1 i
p
= j1 (j1 + 1) m1 (m1 1)hj1 ,m1 1 j2 ,m2 , j,m i
p
+ j2 (j2 + 1) m2 (m2 1)hj1 ,m1 j2 ,m2 1 , j,m i .

(11.6)

Este sistema recursivo debe ser suplementado por las condiciones j1 m1 j1 , j2

m2 j2 , m1 + m2 1 = m y j {|j1 j2 |, |j1 j2 | + 1, , j1 + j2 } sobre los semienteros
positivos j1 , j2 , j y los semienteros m1 , m2 , m. A j fijo, el sistema determina completamente
todos los coeficientes para ese j, salvo multiplicacion de todos ellos por un n
umero complejo
arbitario. La ambiguedad en el signo puede eliminarse si pedimos que
hj1 ,j1 j2 ,jj1 , j,j i 0 , j = |j1 j2 |, , j1 + j2 1 .
Notese que j,j es justamente el estado en la esquina superior derecha desde la cual se
comienza cada uno de los juegos descriptos anteriormente. Esta condicion, junto con la
normalizacion determina univocamente a todos los coeficientes. Esta es la convencion usada
casi universalmente; con ella se obtienen las siguientes propiedades de los coeficientes de
Clebsch-Gordan:
hj1 ,m1 j2 ,m2 , j,m i = ()j1 +j2 j hj1 ,m1 j2 ,m2 , j,m i ;
hj1 ,m1 j2 ,m2 , j,m i = ()j1 +j2 j hj2 ,m2 j1 ,m1 , j,m i ;

hj1 ,m1 j2 ,m2 , j,m i = ()j1 m1 hj1 ,m1 j,m , j2 ,m2 i ;

X
hj1 ,m1 j2 ,mm1 , j,m i hj1 ,m1 j2 ,mm1 , j ,m i = j,j ;
m1

1 Verifique

por ejemplo que con esto, se tendra = +

j1
j1 +j2

en el desarrollo de jmax 1,jmax 1 .

170

X
j

11.3.

hj1 ,m1 j2 ,mm1 , j,m i hj1 ,m1 j2 ,m m1 , j ,m i = m1 ,m1 m,m .

Operadores escalares, vectoriales y tensoriales irreducibles

En esta seccion estudiaremos operadores que tienen buen comportamiento ante rotaciones.
Supongamos, que en el espacio de Hilbert H tenemos un momento angular J , i.e.
[Jj , Jk ] = i~

3
X

j,k, J ;

=1
i

U~ = e ~ ~ J ,
donde hemos acortado algo la notacion poniendo
~ = e. Podemos elegir una base ortonormal {j,m;(j) : j J , m {j, j + 1, , j 1, j} , (j) Bj } de H, donde el conjunto
J describe los autovalores de J2 que aparecen, y J2 j,m;(j) = ~2 j(j + 1)j,m;(j) ; m describe
los 2j + 1 autovalores de J3 asociados al valor de j y J3 j,m;(j) = ~mj,m;(j) ; y (j) Bj
es el ndice que cuenta las multiplicidad del valor de j J . En tal caso, la multiplicidad
de j J es (2j + 1) por la cardinalidad de Bj . Es importante que esto se entienda bien
para luego no mal intrepretar ciertos resultados como el Teorema de Wigner-Eckart. Veamos
~
un ejemplo concreto que ilustra la nomenclatura. Al discutir el momento angular orbital L
2
2
~
vimos que los autovalores de L son los n
umeros ~ ( + 1) donde recorre los n
umeros naturales {0, 1, 2, }; cada valor de aparece una sola vez y con cada uno de estos valores hay
asociado (2 + 1) autovalores de L3 de magnitud ~m con m {, + 1, , 1, } con
~ 2 asociado al valor de correspondiente.
autovectores correspondientes en el autoespacio de L
~ actua solamente sobre las variables angulares; con L2 (R3 ) = L2 ([0, ); r2 dr)L2 (S),
Pero L
~ actua sobre el espacio de funcionesde modulo cuadrado integrable sobre la esfera S en 3
L
~ 2 asociado a tiene multiplicidad infinita. Podimensiones. Por ende, cada autovalor de L
demos tomar a Bj como cualquier conjunto de indices que enumera una base ortonormal de
espacio radial L2 ([0, ); r2 dr). O sea, volviendo a nuestra nomenclatura que pretendemos
ilustrar, en este caso J = {0, 1, 2, } y B cualquier conjunto infinito denumerable, i.e.
{1, 2, } para todo .
Con esta nomenclatura tenemos entonces
hj,m;(j) , Jj ,m ;(j ) i = j,j (j),(j) hj,m;(j) , Jj,m ;(j) i .
11.3.1.

Operadores escalares

Decimos en un operador A que actua sobre H es escalar si

U~ AU~ = A , para todo
~.

Tomando
~ = u con k u k= 1, derivando con respecto al angulo de rotacion y poniendo
= 0, obtenemos:
i
i
[u J, A] =
u [J, A] = 0 , para todo u unimodular .
~
~
171

O sea,
[J, A] = 0 .
Si J es irreducible, esto indica que A = 1 con C. Que podemos decir en el caso general?
Calculemos los elementos de matriz hj,m;(j) , Aj ,m ;(j ) i. Como [J 2 , A] = 0 , Aj,m;(j) es
autovector de J 2 al mismo autovalor que j,m;(j) ; luego
hj,m;(j) , Aj ,m ;(j ) i = j,j hj,m;(j) , Aj,m ;(j) i .
Como [J3 , A] = 0 , Aj,m;(j) es autovector de J3 al mismo autovalor que j,m;(j) ; luego
hj,m;(j) , Aj,m ;(j) i = m,m hj,m;(j) , Aj,m;(j) i .
En definitiva, tenemos:
hj,m;(j) , Aj ,m ;(j ) i = j,j m,m hj,m;(j) , Aj,m;(j) i .
Veamos que el elemento de matriz hj,m;(j) , Aj,m;(j) i, no depende de m. Tenemos que
p
J+ j,m;(j) = ~ j(j + 1) m(m + 1)j,m+1;(j) ;

ademas (J ) = J+ y J J+ = J12 + J22 ~J3 = J 2 J32 ~J3 . Si m 6= j , entonces

hj,m;(j) , Aj,m;(j) i = ~2 (j(j + 1) m(m 1))1 hJ+ j,m1;(j) , AJ+ j,m1;(j) i

= ~2 (j(j + 1) m(m 1))1 hj,m1;(j) , J AJ+ j,m1;(j) i

= ~2 (j(j + 1) m(m 1))1 hj,m1;(j) , AJ J+ j,m1;(j) i

= ~2 (j(j + 1) m(m 1))1 hj,m1;(j) , A J 2 J32 ~J3 j,m1;(j) i
= ~2 (j(j + 1) m(m 1))1 hj,m1;(j) , A ~2 j(j + 1) ~2 (m 1)2


~2 (m 1) j,m1;(j) i = hj,m1;(j) , Aj,m1;(j) i .

Por lo tanto, para cualquier operador escalar A,

hj,m;(j) , Aj ,m ;(j ) i = j,j m,m (j; (j), (j)) ,

donde la constante (j; (j), (j))depende solamente de j (y de (j) y (j)).
Ejemplo: Sea S un spin 1/2 en el espacio H = C2 C2 , y sea


S 0
,
J=
0 S
o sea J( ) = (S) (S). Cualquier operador M de H en si mismo es de la forma


A B
M=
,
C D
172

donde A, B, C y D son operadores de C2 en si mismo. El calculo del conmutador [J, M ]

da que este conmutador se anula si y solo si [A, S] = [B, S] = [C, S] = [D, S] = 0 y la
irreducibildad de S (i.e., un operador conmuta con las tres componentes de S si y solo si es
un m
ultiplo de la identidad), indica que A, B, C y D son m
ultiplos de la identidad. Por lo
tanto,


1 1
,
M=
1 1
con , , y complejos arbitrarios es el operador escalar general con respecto a J. Aca
tenemos J = {1/2} y el u
nico valor de j aparece dos veces con lo cual, por ejemplo,
B1/2 = {1, 2} y
1/2,m;1 = |mi 0 , 1/2,m;2 = 0 |mi ,
donde S3 |mi = ~m|mi, m {1/2, 1/2}. Los elementos de matriz de M son inmediatos y
se verifica claramente el resultado general. Notese que si y no son ambos nulos, M no es
diagonal.
11.3.2.

Operadores vectoriales I

Decimos que tres operadores V = (V1 , V2 , V3 ) que actuan sobre H son las componentes
cartesianas de un operador vectorial si
(11.7)

U~ VU~ = D(~
)V , para todo
~.

Recordando que D(~

) es la rotacion asociada con
~ en tres dimensiones, la formula (11.7)
nos dice que eloperador transforma ante rotaciones como un vector. Nuevamente, tomando
u fijo y diferenciando con respecto a , obtenemos que (11.7) es equivalente a:
i
[u J, V] = u V , para todo u unimodular ;
~
vale decir
[Jj , Vk ] = i~

3
X

j,k, V .

=1

Obviamente, J es un operador vectorial. En general, no es el caso que un operador vectorial

conmuta con J 2 ; considere por ejemplo el operador b
r que es vectorial con respecto al mo~
mento angular orbital L.
Si suponemos que [J 2 , Vk ] = 0 , k = 1, 2, 3 , entonces Vk deja invariante el autoespacio Ej
generado por {j,m;(j) : m {j, , j} , (j) Bj }, y
hj,m;(j) , Vk j ,m ;(j ) i = j,j hj,m;(j) , Vk j,m ;(j) i .
Como V3 conmuta con J3 obtenemos (por el argumento de siempre):
hj,m;(j) , V3 j,m ;(j) i = m,m hj,m;(j) , V3 j,m;(j) i .
Para obtener informacion sobre los elementos de matriz de Vk , k = 1, 2, conviene trabajar
con los operadores
V := V1 iV2 .
173

Para ellos tenemos las siguientes relaciones de conmutacion:


[J1 , V ] = ~V3
[J , V ] = 0
[J2 , V ] = i~V3

[J , V ] = 2~V3

[J3 , V ] = ~V

Tenemos,

J3 V j,m;(j) = V J3 j,m;(j) ~V j,m;(j)

= ~mV j,m;(j) ~V j,m;(j) = ~(m 1)V j,m;(j) ;

con lo cual V j,m;(j) j,m1;(j) para alg

un (j) Bj . Entonces,

hj,m;(j) , V j ,m ;(j) i = j,j m,m 1 hj,m;(j) , V j,m1;(j) i .

Tenemos
0 = hj,m;(j) , (J+ V+ V+ J+ ) j ,m2;(j ) i .

Intercalando entre J+ y V+ en ambos sumandos el operador

1=

j
X X

j J =j (j )Bj

Pj ,; (j ) , Pj ,; (j ) = hj ,; (j ) , ij ,; (j ) ;

obtenemos:

0=

j
X X

j J =j (j )Bj

j
X X

j J

=j

hj,m;(j) , J+ Pj ,; (j ) V+ V+ Pj ,; (j ) J+ j ,m2;(j ) i

(j )Bj

hj,m;(j) , J+ j ,; (j ) ihj ,; (j ) , V+ j ,m2;(j ) i

hj,m;(j) , V+ j ,; (j ) ihj ,; (j ) , J+ j ,m2;(j ) i

= j,j hj,m;(j) , J+ j,m1;(j) ihj,m1;(j) , V+ j,m2;(j) i

hj,m;(j) , V+ j,m1;(j) ihj,m1;(j) , J+ j,m2;(j) i .

Cuando los elementos de matriz de J+ que aqui aparecen no son nulos, y teniendo en
cuenta que hj,m;(j) , J+ j,n;(j) i no depende de (j), obtenemos:
hj,m;(j) , V+ j,m1;(j) i
hj,m1;(j) , V+ j,m2;(j) i
=
, 2j m j .
hj,m1;(j) , J+ j,m2;(j) i
hj,m;(j) , J+ j,m1;(j) i
Por lo tanto el cociente

no depende de m y
(11.8)

hj,m;(j) , V+ j,m1,(j) i
hj,m;(j) , J+ j,m1;(j) i

hj,m;(j) , V+ j,m ;(j) i = j,j m,m +1 + (Ej ; (j), (j))hj,m;(j) , J+ j,m1,(j) i ,

174

donde + (Ej ; (j), (j)) es una constante que solo depende de Ej y de los ndices de multiplicidad. Procediendo analogamente con [J , V ] = 0 se obtiene:
(11.9)

hj,m;(j) , V j,m ;(j) i = j,j m,m 1 (Ej ; (j), (j))hj,m;(j) , J j,m+1;(j) i ,

donde (Ej ; (j), (j)) es una constante que solo depende de Ej y de los ndices de multiplicidad.
Usando la relacion [J , V+ ] = 2~V3 y (11.8)
hj,m;(j) , V3 j,m;(j) i = (2~)1 hj,m;(j) , (J V+ V+ J ) j,m;(j) i



p
= (2~)1 hJ+ j,m;(j) , V+ j,m;(j) i ~ j(j + 1) m(m 1)hj,m;(j) , V+ j,m1,(j) i
= 21

p
j(j + 1) m(m + 1)hj,m+1;(j) , V+ j,m,(j) i


p
j(j + 1) m(m 1)hj,m;(j) , V+ j,m1;(j) i


p
= 21 + (Ej ; (j), (j)) j(j + 1) m(m + 1)hj,m+1;(j) , J+ j,m;(j) i

p
+ (Ej ; (j), (j)) j(j + 1) m(m 1)hj,m;(j) , J+ j,m1;(j) i

= 21 ~+ (Ej ; (j), (j)) (j(j + 1) m(m + 1) j(j + 1) + m(m 1))

= ~m+ (Ej ; (j), (j)) ;
o sea:
(11.10)

hj,m;(j) , V3 j,m;(j) i = + (Ej ; (j), (j))hj,m;(j) , J3 j,m;(j) i .

El mismo calculo con la relacion [J+ , V ] = 2~V3 , y (11.9) nos da:

(11.11)

hj,m;(j) , V3 j,m;(j) i = (Ej ; (j), (j))hj,m;(j) , J3 j,m;(j) i .

Comparando, (11.10) y(11.11) deducimos que:

(11.12)

+ (Ej ; (j), (j)) = (Ej ; (j), (j)) =: (Ej ; (j), (j)) .

Luego, combinando toda la informacion obtenida:

hj,m;(j) , Vj ,m ;(j) i = j,j (Ej ; (j), (j))hj,m;(j) , Jj,m ;(j) i .
Un operador vectorial que conmuta con J 2 es proporcional a J en cada subbloque ((j), (j))
de Ej de dimension 2j + 1.
El caso general, cuando [J 2 , V] 6= 0, se analizara inmediatmente en el contexto de los
llamados operadores tensoriales esfericos irreducibles de rango 1.
175

11.3.3.

Operadores tensoriales esf

ericos irreducibles

Lo que acabamos de hacer admite generalizacion a conjuntosde mas operadores que

transforman apropiadamente entre si ante rotaciones. La idea esla siguiente. Considere un
momento angular irreducible de magnitud s, o sea S(s) que actua sobre C2s+1 (tal que
(s)
(S(s) )2 = ~2 s(s + 1)1). Sea D(s) (~
) la matriz asociada a ei~S en la base estandard
(s)
{s,k : k = s, s + 1, , s 1, s} para la cual S3 s,k = ~ks,k , i.e.
i

(s)

Dk,k (~
) = hs,k , e ~ ~ S s,k i .
Entonces,
~ S(s)
~i

s,m =

s
X

D(s)
)s,n .
n,m (~

n=s
(s)

Decimos que 2s + 1 operadores Tm , m = s, s + 1, , s 1, s, que actuan todos sobre el

mismo espacio de Hilbert H son las componentes esfericas de un operador tensorial irreducible
de rango s respecto a un momento angular J, que actua sobre H, si con U~ = exp i~
J/~,
(11.13)

U~ Tm(s)

U~

s
X

(s)
Dn,m
(~
) Tn(s) ;

n=s

o sea que estos (2s + 1) operadores transforman entre si como los elementos dela base estandard del momento angular irreducible S(s) . Esta definicion merece algunos comentarios.
(0)

(0)

(0)

Primeramente, el caso s = 0, indica que U~ T0 U~ = T0 , o sea que T0

escalar.

es un operador

Lo segundo es un asunto de convenciones. (11.13) es la convencion canonica aunque no

me guste porque hubiese yo preferido: o bien
U~

Tm(s)

U~ =

s
X

D(s)
) Tn(s)
n,m (~

n=s
(s)

aqu tenemos a la izquierda la transformacion canonica (de Heisenberg) del operador Tm

asociada con la rotacion 7 U y a la derecha lo mismo que en (11.13); o sino
U~

Tm(s)

U~ =

s
X

D(s)
) Tn(s)
m,n (~

n=s

donde tendremos a la izquierda la transformacion canonica de Heisenberg, pero a la derecha

(s)
(s)
(s)
la transformacion del vector con componentes (Ts , Ts1 , , Ts ) en la base s,m bajo
(s)
la accion de ei~S . Cualquiera de estas dos definiciones hubiese conducido a una teora
analoga a la que se discurre en casi todos los libros y que se basa en (11.13).
176

(1)

Veamos que en el caso s = 1, Tm son las componentes esfericas de un operador vectorial.

En efecto, D(1) (~
) es la matriz asociada a la rotacion en C3 en la base {1,m : m = 1, 0, 1}
para la cual

0 1 0
0 i 0
1 0 0
~
~
S3 = ~ 0 0 0 , S1 = 1 0 1 , S2 = i 0 i .
2
2
0 1 0
0 i
0
0 0 1

Si W es la matriz asociada a un operador unitario arbitrario en la base estandard, entonces

con notacion matricial si V = WT(1) tendremos



T (1) 

T 
(s)
(s)

(1)
T = W D (~
W V
U~ VU~ = W U~ T U~ = W D (~

donde el superindice
vectorial si

denota transposicion. El vector de operadores V sera un operador

U~ VU~ = D(~
)V ,

donde la matriz D(~

) denota la matriz asociada con la rotacion en R3 (o bien C3 ) en la base
cartesiana (vea el Captulo correspondiente) en la cual

0 i 0
0 0 0
0 0 i
S3 = ~ i 0 0 , S1 = ~ 0 0 i , S2 = ~ 0 0 0 .
0 0 0
0 i 0
i 0 0
Ahora D(~
) es real y ortogonal por lo cual D(~
) = D(~
)T . Por lo tanto,

T
W D(s) (~
) W = D(~
)T ,

es la condicion sobre W para que V = WT(1) sea un operador vectorial. Esta condicion es
por transposicion equivalente a
((W) )T D(s) (~
)WT = D(~
) .
Calculando W mediante diagonalizacion de S3

12
W = i2
0
Poniendo

se obtiene

0 12
0 i2 .
1 0

V = WT (1) ,
o sea

(1)
(1)
(1)
(1)
(1)
V1 = (T1 T1 )/ 2 , V2 = i(T1 + T1 )/ 2 , V3 = T0 ,

se concluye que

U~ VU~ = D(~
)V
es un operador vectorial.
177

Volvemos ahora a la teora que genera la ecuacion definitoria de transformacion ante

rotaciones. (11.13) es equivalente a 2 :
(s)

(11.14)

(s)

[J3 , Tk ] = ~k Tk ,
(s)

(11.15)

[J , Tk ] = ~

(s)

s(s + 1) k(k 1) Tk1 .

De manera analoga posponemos lademostracion hasta el final a la que deducimos la propiedades de los elementos de matriz de un operador escalar, o vectorial, se obtiene el siguiente
resultado conocido como Teorema de Wigner-Eckart: Los elementos de matriz de cualquier
componente esferica de un operador tensorial irreducible son proporcionales a un coeficiente
de Clebsch-Gordan:
(s)

hj,m; , Tk j ,m ; i = (j ; |j; ) hj ,m s,k , j,m i ,

donde la constante (j ; |j; ) no dependede m, m . El calculo de los elementos de matriz se
reduce entonces a la suma de dos momentos angulares de magnitud j y s y al calculo de la
constante (j ; |j, ). En particular, el elemento de matriz puede ser no nulo solamente si:
m + k = m y | j s | j s + j .
Este resultado es extremadamente u
til y veremos como nos facilitara la vida en innumerables
ocasiones.
Otro resultado u
til es el siguiente:
(s1 )
Si Mk , k = s1 , s1 + 1, , s1 son las componentes esfericas de un operador tensorial
(s )
irreducible de rango s1 y Np 2 , p = s2 , s2 + 1, , s2 aquellas de un operador tensorial
irreducible de rango s2 actuando sobre el mismo espacio y con respecto al mismo momento
angular J, entonces para cada s {s1 + s2 , s1 + s2 1, , |s1 s2 |} los 2s + 1 operadores
Tm(s) =

s1
X

s2
X

(s1 ) (s2 )
hs1 ,m1 s2 ,m2 , s,m iMm
Nm2 , m = s, s + 1, , s ,
1

m1 =s1 m2 =s2 , m1 +m2 =m

son las componentes esfericas de un operador tensorial irreducible de rango s con respecto a
J. La demostracion de esto es inmediata y la dejamos para un ejercicio.

11.3.4.

Operadores vectoriales

(1)

Si Tm , m = , 0 son las componentes esfericas de un operador tensorial esferico irreducible de rango 1 entonces,

(1)
(1)
(1)
(1)
(1)
T1 = (T T+ )/ 2 , T2 = i(T + T+ )/ 2 , T3 = T0 ,
son las componentes (cartesianas) de un operador vectorial.
2 haga

este ejecicio!

178

Considere dos operadores vectoriales A y B con respecto al mismo momento angular J,

i.e.,
3
3
X
X
j,k, B , j, k {1, 2, 3} .
j,k, A , [Jj , Bk ] = i~
[Jj , Ak ] = i~
=1

=1

Entonces, A B es un operador escalar pues

[Jj , A B] =

3
X

3
X

[Jj , Ak Bk ] =

Ak [Jj , Bk ] + [Jj , Ak ]Bk = i~

= i~

3
X

(j,k, Ak B + j,k, A Bk )

k,=1

k=1

k=1

3
X

(j,k, Ak B + j,,k Ak B ) = 0 .

k,=1

Vimos que si V es un operador vectorial con respecto al momento angular J y que ademas
conmuta con J2 , entonces
hj,m;(j) , Vj ,m ;(j) i = j,j (E; (j), (j))hj,m;(j) , Jj,m ;(j) i ,
donde la constante ((Ej ; (j), (j)) depende solamente del subespacio Ej y de los ndices de
multiplicidad. Calculando directamente el valor esperado del operador J V que es escalar
con respecto a J, obtenemos
~(Ej ; (j), (j))j(j + 1) = hj,m;(j) , J Vj,m;(j) i .

Considere nuevamente dos operadores vectoriales A y B con respecto al mismo momento

angular J; entonces A B es un operador vectorial; pues
[Jj , (A B)k ] =
= i~

3
X

3
X

,m,k [Jj , A Bm ] =

3
X

,m,k (j,m,n A Bn + j,,n An Bm ) = i~

= i~

3
X

m=1

(1)

3
X

,n=1

,m,n=1

(1)

,m,k (A [Jj , Bm ] + [Jj , A ]Bm )

,m=1

,m=1

j,k,m

3
X

,n=1

,n,m A Bn
{z

"
}

=(AB)m

!
|

= i~

3
X

m=1

3
X

m=1

,m,k j,m,n + m,n,k j,m A Bn

{z

P
= 3m=1 j,k,m ,n,m

j,k,m (A B)m .

Si Am y Bm son las componentes esfericas de estos operadores, i.e.,

(1)
(1)
(1)
A1 = (A1 + iA2 )/ 2 , A0 = A3 , A1 = (A1 iA2 )/ 2 ,
179

"
}

y similarmente para B, entonces por el resultado general

1
X

Tm(2) =

(1)
h1,m1 1,m2 |2,m iA(1)
m1 Bm2

m1 ,m2 =1 , m1 +m2 =m

son las componentes esfericas de un operador tensorial irreducible de rango 2. Con los coeficientes de Clebsch-Gordan obtenemos
1
(A1 B1 A2 B2 + iA1 B2 + iA2 B1 ) ,
2
1
(2)
(1) (1)
T2 = A1 B1 = (A1 B1 A2 B2 iA1 B2 iA2 B1 ) ,
2

1
(2)
(1) (1)
(1) (1)
T1 = (A0 B1 + A1 B0 )/ 2 = (A3 B1 A1 B3 iA3 B2 iA2 B3 ) ,
2

1
(2)
(1) (1)
(1) (1)
T1 = (A0 B1 + A1 B0 )/ 2 = (A3 B1 + A1 B3 iA3 B2 iA2 B3 ) ,
2
r
r
2 (1) (1)
2
1
1
(2)
(1) (1)
(1) (1)
T0 =
A0 B0 + (A1 B1 + A1 B1 ) =
A3 B3 (A1 B1 + A2 B2 ) .
3
3
6
6
Con las componentes cartesianas de A y B se forman 9 productos Aj Bk y estos se pueden
expresar como combinaciones lineales de las componentes de 3 operadores tensoriales irreducibles: el operador escalar AB, las tres componentes del operador vectorial AB y las cinco
componentes del operador irreducible T (2) de rango 2. Alternativamente, las componentes
de A B pueden expresarse en terminos de componentes esfericas.
(2)

T2

(1)

(1)

= A1 B1 =

i (2)
(2)
A1 B2 = (T2 T2 ) +
2
1 (2)
(2)
A1 B3 = (T1 T1 )
2
i (2)
(2)
A2 B3 = (T1 + T1 ) +
2

1
i (2)
(2)
(A B)3 , A2 B1 = (T2 T2 )
2
2
1
1 (2)
(2)
(A B)2 , A3 B1 = (T1 T1 ) +
2
2
1
i (2)
(2)
(A B)1 , A3 B2 = (T1 + T1 )
2
2
1
1 (2)
1 (2)
(2)
A1 B1 = A B + (T2 + T2 ) T0 ,
3
2
6
1 (2)
1
1
(2)
(2)
A2 B2 = A B (T2 + T2 ) T0 ,
3
2
6
2 (2)
1
A3 B3 = A B + T0 .
3
6

1
(A B)3 ,
2
1
(A B)2 ,
2
1
(A B)1 ,
2

Ejemplo: Sumamos dos spins 1/2 (i.e. C2 C2 ) para obtener un spin 1 y un spin 0 : C3 C .
Denotamos por S al operador correspondiente al spin s = 1 que actua sobre C3 y escribimos
{e : = , 0} para la base de C3 tal que:
p
S3 e = ~e ; S e = ~ 2 ( 1) e1 .
180

Escribimos z , C3 , z C para el elemento general de C3 C . Entonces,

operadores
(1)
T ( z) = (S + ze ) (he , i) ,

los

(1)

T0 ( z) = (S3 zeo ) (heo , i) ;

J ( z) = (S) 0 ;
para cualquier , C , son las componentes de un operador tensorial esferico irreducible
de rango 2 con respecto a las rotaciones inducidas por el spin total J = S 0 . En forma
matricial estos operadores toman la forma:



S / 2 |e i
(1)
,
T =
he |
0


S3 |eo i
(1)
T0 =
;
heo |
0
Obviamente, ninguno de estos operadores conmuta con J 2 a no ser que = = 0. Ademas,
"
!

(|e
i

|e
i)
S1
1  (1)
+

(1)
2
V1 =
,
T T1
=

(he
|

he
|)
0
2 1
+

2

i  (1)
(1)
V2 =
T1 + T1
=
2

(1)

V3 = T0

i
(|e+ i + |e i)
S2
2
i

(he
|
+
he
|)
0

+
2


S3 |eo i
=
,
heo |
0

"

son las componentes de un operador vectorial que no conmuta con J~ 2 salvo cuando = =
0. Observe que Vj = Vj si y solo si = .
Demostracion del Teorema de Wigner-Eckart:
El primer paso consiste en cerciorarse que si no se tiene |j s| j j + s entonces el
elemento de matriz es nulo.
En el segundo paso, suponemos entonces que tantoj como j son fijos y se tiene |j s|
j j + s. De (11.15) obtenemos con aplicacion de (11.1)
p
(s)
(s)
s(s + 1) k(k 1)hj,m; , Tk1 j ,m , i = hJ j,m; , Tk j ,m , i
p
(s)
j (j + 1) m (m 1)hj,m, , Tk j ,m 1; i
p
(s)
= j(j + 1) m(m 1)hj,m1, , Tk j ,m ; i
p
(s)
j (j + 1) m (m 1)hj,m, , Tk j ,m 1; i ,
3

verifiquelo!

181

vale decir

(s)

j(j + 1) m(m 1)hj,m1, , Tk j ,m ; i

p
(s)
= s(s + 1) k(k 1)hj,m; , Tk1 j ,m , i
p
(s)
+ j (j + 1) m (m 1)hj,m, , Tk j ,m 1; i .

Esta u
ltima relacion puede compararse directamente con (11.6) con lo cual el conjunto for(s)
mado por los n
umeros hj,m; , Tk j ,m ; i obtenido cuando j, j, m, m y k recorren
{|j s| j j + s , m {j, , j} , m {j , , j } , k {s, , s}}
satisface las mismas relaciones de recurrencia que los coeficientes de Clebsch-Gordan, o sea
los n
umeros hj ,m s,k , j,m i obtenidos recorriendo el mismo conjunto. Se sigue entonces
que a j, j , y fijos, los n
umeros mencionados deben ser proporcionales entre si.

182

270

Indice alfab
etico
matrices
de Pauli, 179

271