Escolar Documentos
Profissional Documentos
Cultura Documentos
El Spin
9.1.
entonces, como primer paso, representar estas rotaciones por operadores unitarios que actuan
sobre C2 :
(9.1)
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
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
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 .
148
0
ei
ei
0
, 2 =
0
iei
i
ie
0
, 3 =
1 0
0 1
, 0 < 2 .
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
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
(9.5)
que es de suma utilidad.
2 Haga
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 ;
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):
[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 .
4 Esto
150
9.2.
El Spin en general
U(e,)
AU(e,) = A = A = z1 con z C .
(9.8)
U(e,) = e ~ eS .
Se tiene:
[Sj , Sk ] = i~
3
X
j,k S .
=1
n1
2
9.3.
9.4.
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} .
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
P := h,
bi .
152
bt
bt i ,
Pt = ht ,
bt i = h, U
bU
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 .
tr(A) =
X
j=1
hj , Aj i ,
tr(AP ) = h, Ai .
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 .
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
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)
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
10.1.3.
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
10.2.
Composici
on
10.2.1.
Producto tensorial
10.2.2.
160
Captulo 11
Momentos angulares
11.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.
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)
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
1
,
1 ,
si s {0, 1, 2, }
.
si s {1/2, 3/2, 5/2, }
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.
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
~
11.2.
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)
(2)
j1 + j2 + 1 |m| ,
2 mn{j1 , j2 } + 1 ,
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
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
k
X
=0
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
(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 .
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} ,
1
0
S3 = ~
0
0
operador S3 es diagonal
0 0 0
0 0 0
,
0 0 0
0 0 1
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)
con lo cual
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)
1 Verifique
j1
j1 +j2
170
X
j
11.3.
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
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) ;
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
~.
3
X
j,k, V .
=1
[J1 , V ] = ~V3
[J , V ] = 0
[J2 , V ] = i~V3
[J , V ] = 2~V3
[J3 , V ] = ~V
Tenemos,
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) , V+ j ,; (j ) ihj ,; (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
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)
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
11.3.3.
(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)
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)
es un operador
Tm(s)
U~ =
s
X
D(s)
) Tn(s)
n,m (~
n=s
(s)
Tm(s)
U~ =
s
X
D(s)
) Tn(s)
m,n (~
n=s
(1)
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
(1)
T = W D (~
W V
U~ VU~ = W U~ T U~ = W D (~
donde el superindice
vectorial si
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
(11.14)
(s)
[J3 , Tk ] = ~k Tk ,
(s)
(11.15)
[J , Tk ] = ~
(s)
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)
s1
X
s2
X
(s1 ) (s2 )
hs1 ,m1 s2 ,m2 , s,m iMm
Nm2 , m = s, s + 1, , s ,
1
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
=1
3
X
3
X
[Jj , Ak Bk ] =
= 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 .
3
X
3
X
,m,k [Jj , A Bm ] =
3
X
= i~
3
X
m=1
(1)
3
X
,n=1
,m,n=1
(1)
,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
P
= 3m=1 j,k,m ,n,m
j,k,m (A B)m .
(1)
(1)
(1)
A1 = (A1 + iA2 )/ 2 , A0 = A3 , A1 = (A1 iA2 )/ 2 ,
179
"
}
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
los
(1)
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)
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