Notas de Quântica Do Prof Abraham - Cap. 3

Captulo 3
Teoria do Momento Angular

Modern Quantum Mechanics - J.J. Sakurai (Revised Edition)
3.1 Rotaes e Relaes de Comutao do Momento Angular
Rotaes Infinitesimais versus Rotaes Finitas
Notao: R
x
() - rotao de um ngulo em torno do eixo x.
Fsica clssica
Rotaes em torno de um mesmo eixo comutam.
Exemplo. R
z
(m/6) - R
x
(m/3) = R
x
(m/3) - R
z
(m/6) R
x
(m/2).
Rotaes em torno de eixos diferentes no comutam.
Exemplo. R
z
(m/2) - R
x
(m/2) = R
x
(m/2) - R
z
(m/2).
R
z
(/2)
R
x
(/2)
R
x
(/2) R
z
(/2)
x
z z
z
z z
z
x
x
x
x x
Observe na figura que os resultados so diferentes.
Por que rotaes em torno de eixos diferentes no comutam?
Representao matricial. No espao euclidiano, as rotaes so representadas por matrizes
ortogonais. Seja o vetor V, cujas componentes so (V
x
, V
y
, V
z
). Efetuando-se uma rotao neste
vetor, suas novas componentes (V
x
'
, V
y
'
, V
z
'
) esto relacionadas com as antigas, atravs da matriz
ortogonal R
V
x
'
V
y
'
V
z
'
= R
V
x
V
y
V
z
RR
T
= R
T
R = 1
onde T significa transposta de uma matriz. Para transformaes ortogonais vale a propriedade
Captulo 3: Teoria do Momento Angular 1
V
x
2
+ V
y
2
+ V
z
2
= V
x
'2
+ V
y
'2
+ V
z
'2
.
Conveno: as rotaes afetam um sistema fsico, mantendo-se os eixos coordenados
inalterados.
Rotao em torno do eixo z. Seja R
z
() uma rotao em torno do eixo z por um ngulo no
sentido positivo (regra da mo direita).
R
z
() =
cos sen 0
sen cos 0
0 0 1
.
Rotaes infinitesimais. Seja R
z
(c) onde c um ngulo infinitesimal. Expandindo R
z
() at
segunda ordem e desprezandos os termos de ordens mais elevadas, encontramos
R
z
(c) =
1
c
2
2
c 0
c 1
c
2
2
0
0 0 1
.
De maneira similar:
R
x
(c) =
1 0 0
0 1
c
2
2
c
0 c 1
c
2
2
e
R
y
(c) =
1
c
2
2
0 c
0 1 0
c 0 1
c
2
2
Relao de comutao entre rotaes. Sejam os produtos
R
x
(c)R
y
(c) =
1
c
2
2
0 c
c
2
1
c
2
2
c
c c 1 c
2
e
R
y
(c)R
x
(c) =
1
c
2
2
c
2
c
0 1
c
2
2
c
c c 1 c
2
Ento
Mecnica Quntica A / Prof. Dr. Abraham Moyss Cohen 2
R
x
(c)R
y
(c) R
y
(c)R
x
(c)
=
1
c
2
2
1
c
2
2
0 c
2
c c
c
2
0 1
c
2
2
1
c
2
2
c (c)
c (c) c c (1 c
2
) (1 c
2
)
=
0 c
2
0
c
2
0 0
0 0 0
= R
z
(c
2
) 1
onde todos os termos de ordem mais elevada que c
2
foram ignorados. Por exemplo, o termo em R
z
do tipo 1
x
2
2
para x = c
2
nos daria 1
c
4
2
~ 1.
Como podemos representar
1 = R
qq
(0)
onde R
qq
(0) significa uma rotao de 0 em torno de qualquer eixo, ento
R
x
(c)R
y
(c) R
y
(c)R
x
(c) = R
z
(c
2
) R
qq
(0).
Mecnica Quntica
Rotaes infinitesimais. Aplicando uma rotao no sistema fsico, espera-se que o ket de
estado correspondente ao sistema girado seja diferente em relao ao sistema original.
D(R) operador rotao associado a uma rotao R caracterizada por uma matriz ortogonal
3 3. Este operador depende da dimensionalidade N do espao ket em questo. Para N = 2, D(R)
representado por uma matriz 2 2.
Voltando ao argumento inicial, podemos escrever:
|o)
R
= D(R) |o)
Analogia com translao e evoluo temporal. Para ambos os casos, os operadores
infinitesimais foram escritos na forma
U
c
= 1 iGc
onde G um operador hermitiano, G
= G. Especificamente
(a) Translao dx
'
na direo x
G
p
x
h
, c dx
'
.
(b) Evoluo temporal para dt
G
H
h
, c dt.
(c) Rotao infinitesimal ?
Na clssica, o momento angular gerador de rotaes.
J
k
projeo do momento angular no eixo k.
Rotao infinitesimal em torno do eixo k por um ngulo d ser:
G
J
k
h
, c d
Caso geral: rotao em torno de um eixo caracterizado por um vetor unitrio n por um ngulo
infinitesimal d.
D(n , d) = 1 i
J - n
h
.
Esta equao define momento angular.
Rotao finita. Uma rotao finita pode ser obtida, compondo-se sucessivamente rotaes
infinitesimais em torno do mesmo eixo. Por exemplo, rotao de um ngulo em torno do eixo z
D
z
() = lim
N
1 i
J
z
h

N
N
= exp
iJ
z
h
= 1
iJ
z
h

J
z
2
2
2h
2
+
Relaes de comutao do momento angular. Vamos supor que D(R) tenha as mesmas
propriedades de grupo que R
Identidade: R - 1 = R D(R) - 1 = D(R)
Fechamento: R
1
R
2
= R
3
D(R
1
)D(R
2
) = D(R
3
)
Inversos: RR
1
= 1 D(R)D
1
(R) = 1
R
1
R = 1 D
1
(R)D(R) = 1
Associatividade: R
1
(R
2
R
3
) D(R
1
)|D(R
2
)D(R
3
)]
= (R
1
R
2
)R
3
= |D(R
1
)D(R
2
)]D(R
3
)
= R
1
R
2
R
3
= D(R
1
)D(R
2
)D(R
3
).
Comutao para R:
R
x
(c)R
y
(c) R
y
(c)R
x
(c) = R
z
(c
2
) 1
Comutao para D(R):
D
x
(c)D
y
(c) D
y
(c)D
x
(c) = D
z
(c
2
) 1
Mas:
D
x
(c) = exp
iJ
x
c
h
~ 1
iJ
x
c
h

J
x
2
c
2
2h
2
D
y
(c) = exp
iJ
y
c
h
~ 1
iJ
y
c
h

J
y
2
c
2
2h
2
D
z
(c
2
) = exp
iJ
z
c
2
h
~ 1
iJ
z
c
2
h
Logo,
D
x
(c)D
y
(c) D
y
(c)D
x
(c) = 1
iJ
z
c
2
h
1
=
iJ
z
h
c
2
Tambm, podemos reescrever D
x
(c)D
y
(c) D
y
(c)D
x
(c) em termos de J
1
iJ
x
c
h

J
x
2
c
2
2h
2
1
iJ
y
c
h

J
y
2
c
2
2h
2
1
iJ
y
c
h

J
y
2
c
2
2h
2
1
iJ
x
c
h

J
x
2
c
2
2h
2
~ 1
iJ
y
h
c
J
y
2
2h
2
c
2

iJ
x
h
c
J
x
J
y
h
2
c
2

J
x
2
2h
2
c
2
1 +
iJ
x
h
c +
J
x
2
2h
2
c
2
+
iJ
y
h
c +
J
y
J
x
h
2
c
2
+
J
y
2
2h
2
c
2
=
J
x
J
y
h
2
c
2
+
J
y
J
x
h
2
c
2
= (J
x
J
y
J
y
J
x
)
c
2
h
2
Igualando ambos os membros
(J
x
J
y
J
y
J
x
)
c
2
h
2
=
iJ
z
h
c
2
encontramos,
J
x
J
y
J
y
J
x
= ihJ
z
.
Isto representa o comutador de J
x
com J
y
|J
x
, J
y
] = ihJ
z
.
Repetindo os mesmos argumentos para rotaes em torno dos demais eixos, obtm-se
|J
i
, J
j
] = ihc
ijk
J
k
conhecidas como relaes de comutao fundamentais do momento angular.
Resumo dos argumentos usados:
J
k
o gerador de rotaes em torno do eixo k.
Rotaes em torno de eixos diferentes no comutam.
3.2 Sistemas de Spin e Rotaes Finitas
J vimos que os S
k
tambm satisfazem as relaes de comutao do momento angular.
Agora considere uma rotao por um ngulo finito em torno do eixo z de um sistema de spin 1/2
que, antes da rotao estava num estado |o). Aps a rotao,
|o)
R
= D
z
()|o)
com
D
z
() = exp
iS
z
h
.
Valor esperado de S
x
aps a rotao. Sob uma rotao o valor esperado muda de acordo
com
(S
x )
R
o | S
x
| o
R
= o | D
z
() S
x
D
z
() | o
Devemos ento calcular:
D
z
() S
x
D
z
() = exp
iS
z
h
S
x
exp
iS
z
h
.
Mtodo 1 - Forma especfica de S
x
Usando para S
k
a representao na base |),
S
x
=
h
2
(|+)(|) + (|)(+|) ,
S
y
=
h
2i
(|+)(|) (|)(+|) .
S
z
=
h
2
(|+)(+|) (|)(|) .
encontramos:
exp
iS
z
h
S
x
exp
iS
z
h
=
h
2
exp
iS
z
h
(|+)(|) + (|)(+|))exp
iS
z
h
=
h
2
(e
i/2
|+)(|e
i/2
) + (e
i/2
|)(+|e
i/2
))
=
h
2
e
i
|+)(| + e
i
|)(+|
=
h
2
(|+)(|)(cos + i sen) + (|)(+|)(cos i sen)
=
h
2
(|+)(|) + |)(+| cos + i (|+)(|) |)(+| sen
=
h
2
2
h
S
x
cos + i
2i
h
S
x
sen
= S
x
cos S
x
sen
Mtodo 2 - Relaes de comutao
Usando (2.3.47), encontramos
exp
iS
z
h
S
x
exp
iS
z
h
= S
x
+
i
h
ihSy
|S
z
, S
x
] +
1
2!
i
h
2
h
2
Sx
S
z
,
ihSy
|S
z
, S
x
]
+
1
3!
i
h
3
ih
3
Sy
S
z
,
h
2
Sx
|S
z
, |S
z
, S
x
]]
As potncias pares do S
x
enquanto que as mpares, S
y
. Colecionando esses termos, encontra-se
exp
iS
z
h
S
x
exp
iS
z
h
= S
x
1

2
2!
+ S
y

3
3!
+
= S
x
cos S
y
sen.
Voltando equao do valor esperado, encontra-se
(S
x )
R
=
R
o | S
x
| o
R
= o | D
z
() S
x
D
z
() | o
= (S
x ) cos (S
y ) sen
onde (S
k
) o valor esperado no estado ket original.
Da mesma forma, podemos mostrar que:
(S
y )
R
= (S
y ) cos + (S
x ) sen
Para S
z
, enconta-se
(S
z )
R
= (S
z )
Ou seja, o valor esperado de S
z
no muda, uma vez que este operador comuta com D
z
().
Observao: Estes resultados mostram que, quando aplicamos o operador rotao D
z
() no
estado ket, o valor esperado de S sofre uma rotao em torno do eixo z por um ngulo . Em
outras palavras, o valor esperado do operador spin comporta-se como se fosse um vetor clssico
sob rotao:
(S
k
)
R
=
_
l
R
kl
(S
l
)
Momento angular. Do mtodo 2, fica claro que esta propriedade tambm vale para o momento
angular J. Em geral
(J
k
)
R
=
_
l
R
kl
(J
l
)
At aqui tudo como esperado. Vamos examinar com mais detalhe o efeito do operador
rotao sobre um ket geral
|o) =
_
a
'
|a
'
)(a
'
|o) = |+)(+|o) + |)(|o)
Vemos que
exp
iS
z
h
|o) = exp
iS
z
h
|+)(+|o) + exp
iS
z
h
|)(|o)
= e
i/2
|+)(+|o) + e
i/2
|)(|o).
A presena do arco metade /2 tem uma consequncia extremamente interessante.
Rotao por 2m. Neste caso,
|o)
Rz(2m)
e
i2m/2
|+)(+|o) + e
i2m/2
|)(|o) = |+)(+|o) + |)(|o) = |o)
Assim, um ket girado de 360 difere do ket original pelo sinal negativo. Precisamos de uma rotao
de 720 ( = 4m) para obtermos o mesmo ket com o sinal positivo.
Valor esperado. Este sinal negativo no aparece no valor esperado de S porque S fica de
sanduiche entre |o) e (o|, ambos dos quais mudam de sinal.
Este sinal negativo sempre observado?
Precesso de Spin Revisitada
Hamiltoniano bsico do problema. Vamos analisar novamente este problema de um outro
ponto de vista:
H =
e
m
e
c
S - B = oS
z
onde
o =
|e|B
m
e
c
.
Operador evoluo temporal. Baseado neste Hamiltoniano, o operador evoluo temporal
dado por
U(t, 0) = exp
iHt
h
= exp
iS
z
ot
h
.
Comparao de U(t, 0) com D
z
(). Comparando U(t, 0) com D
z
() dado por
D
z
() = exp
iS
z
h
vemos que o operador evoluo temporal precisamente o mesmo que o operador rotao com
substitudo por ot.
Por que o spin precessa? Desta maneira vemos imediatamente porque este Hamiltoniano
causa precesso do spin. Usando os resultados da rotao, obtm-se
(S
x )
t
= (S
x )
t=0
cos ot (S
y )
t=0
senot
(S
y )
t
= (S
y )
t=0
cos ot + (S
x )
t=0
senot
(S
z )
t
= (S
z )
t=0
Depois de t = 2m/o, o spin retorna sua direo original.
Evoluo temporal do estado ket. Vamos olhar para a evoluo temporal do prprio estado
ket que, em t = 0, dado por |o) = |+)(+|o) + |)(|o). Ento, aps o tempo t teremos
|o, t
0
= 0; t) = e
iot/2
|+)(+|o) + e
iot/2
|)(|o)
Vemos que, para t = 2m/o,
|o, t
0
= 0; t = 2m/o) = e
io2m/2o
|+)(+|o) + e
io2m/2o
|)(|o)
= e
im
|+)(+|o) + e
im
|)(|o)
= |o).
Assim, devemos aguardar at t = 4m/o para obter o estado ket original com o mesmo sinal.
Em resumo o perodo para o estado ket duas vezes maior que o perodo para a precesso de
spin
t
precesso
=
2m
o
t
estado ket
=
4m
o
Exp. de Interferometria de Nutrons para Estudar Rotaes
Como detectar o sinal negativo no ket sujeito a uma rotao de 2m?
J sabemos que, se todos os estados kets no universo fossem multiplicados por um sinal negativo,
no haveria nenhuma maneira de detect-lo. A nica maneira de detectar o predito sinal negativo,
seria atravs de uma comparao entre um estado que sofreu uma rotao e um outro que no foi
submetido rotao.
Como na interferncia quntica induzida por gravidade, discutida na Se. 2.6, contamos com as
qualidades da interferometria de nutrons para verificar esta extraordinria predio da mecnica
quntica.
A experincia. Um feixe de nutrons termalizados dividido em duas partes A e B (ver. figura
abaixo).
l
A
B
B
A
B
Regio de
interferncia
Trajeto A - o feixe atravessa uma regio sem campo magntico.
Trajeto B - o feixe atravessa uma pequena regio de comprimento l onde est presente um campo
magntico esttico.
Estado ket via trajeto B. O estado ket via trajeto B sofre uma variao de fase e
+ioT/2
, onde T
tempo gasto para atravessar a regio de comprimento l onde existe um campo magntico B = 0 e
o a frequncia de precesso de spin,
o =
g
n
eB
m
p
c
, (g
n
~ 1, 91)
para o nutron com momento magntico j =
g
n
eh
2m
p
c
.
Regio de interferncia. Quando os trajetos A e B se encontram novamente na regio de
interferncia a amplitude do nutron chegar via trajeto B
c
2
= c
2
(B = 0)e
+ioT/2
enquanto que a amplitude do nutron chegar via A c
1
, independente de B.
Interferncia. Assim, a intensidade observvel na regio de interferncia deve exibir uma
variao senoidal
cos
+oT
2
+ o
onde o a diferena de fase entre c
1
e c
2
(B = 0).
Ajustes no experimento. Na prtica, o tempo T uma quantidade fixa, mas a frequncia o
pode ser variada, de acordo com o valor do campo B. A diferena de fase, em funo do campo B,
dada por
[ =
eg
n
Bl
hc
onde l o comprimento da pequena regio que contm o campo. Ento, o valor de B necessrio
para uma precesso de [ = 4m (perodo completo)
B =
4mhc
eg
n
l
Vemos ento que de 4m a rotao necessria para que o ket retorne com o mesmo sinal, como
requerido pelo formalismo.
Formalismo de Pauli de Duas Componentes
Manipulaes com os kets de estado do spn 1/2 podem ser convenientemente conduzidas,
usando-se o formalismo de spinor introduzido por Pauli (1926). J sabemos:
Ket. Pode ser representado por uma matriz coluna.
Bra. Pode ser representado por uma matriz linha.
Revendo a Se. 1.3. Os coeficientes de expanso de um estado arbitrrio |o) em relao a uma
base |a
'
) podem ser escritos na forma matricial. Ou seja,
|o) =`
(a
(1)
|o)
(a
(2)
|o)
.
, (o| = (o|a
(1)
), (o|a
(2)
)
Para |o) = a
(1)
), isto , quando o for um dos estados de base, encontra-se
a
(1)
) =`
(a
(1)
|a
(1)
)
(a
(2)
|a
(1)
)
.
=
1
0
.
o mesmo raciocnio valendo para (a
(j)
.
Aplicao para os kets spin 1/2. Neste caso, para os kets de base encontra-se
|+) =`
1
0
= _
+ |) =`
0
1
= _
(+| =` 1, 0 (| =` 0, 1
Estado arbitrrio. Para um estado arbitrrio |o) ou (o| obtm-se
|o) = |+)(+|o) + |)(|o) =`
(+|o)
(|o)
(o| = (o|+)(+| + (o|)(| =` (o|+), (o|)
Spinor. Matriz coluna do tipo
(+|o)
(|o)
chamada de spinor de duas componentes e
escrito como
_ =
(+|o)
(|o)
=
c
+
c
= c
+
_
+
+ c
onde c
+
e c
so, em geral, nmeros complexos. Para _
tem-se
_
=
(o|+), (o|)
= c
+
-
, c
-
= c
+
-
_
+
+ c
-
_
.
Matrizes de Pauli. Os elementos de matriz | S
k
|+ e | S
k
| , exceto pelo fator h/2, so
iguais aos elementos de matriz da matriz o
k
(2 2), conhecidas como matrizes de Pauli. Ou seja,
| S
k
|+ =
h
2
(o
k
)
,+
, | S
k
| =
h
2
(o
k
)
,
.
Valor esperado em termos de _ e o
k
. Vamos escrever o valor esperado (S
k
) em termos de _
e o
k
(S
k
) = o| S
k
|o =
_
a
'
_
a
''
o | a
'
a
'
| S
k
|a
''
a
''
| o =
h
2
_
o
k
_
onde usamos a regra usual da multiplicao de matrizes.
Demonstrao. Seja
_
a
'
_
a
''
o | a
'
a
'
| S
k
|a
''
a
''
| o
= o | + +| S
k
|+ + | o + o | + +| S
k
| | o
+ o | | S
k
|+ + | o + o | | S
k
| | o
=
h
2
o | + (o
k
)
+,+
+ | o + o | + (o
k
)
+,
| o
+ o | (o
k
)
,+
+ | o + o | (o
k
)
,
| o
=
h
2
(o|+), (o|)
o
+,+
o
+,
o
,+
o
,
(+|o)
(|o)
=
h
2
_
o
k
_.
Matrizes de Pauli. Explicitamente, de (3.2.1) juntamente com (3.2.30), vemos que
o
x
=
0 1
1 0
, o
y
=
0 i
i 0
, o
z
=
1 0
1 1
.
Propriedades das matrizes de Pauli. Algumas propriedades das matrizes de Pauli so:
(1) o
i
, o
j
) = 2o
ij

o
i
2
= 1
o
i
o
j
+ o
j
o
i
= 0, para i = j.
(2) |o
i
, o
j
] = 2ic
ijk
o
k
.
(3)
o
1
o
2
+ o
2
o
1
= 0
o
1
o
2
o
2
o
1
= 2io
3
o
1
o
2
= o
2
o
1
= io
3
etc
(4) o
i
= o
i
.
(5) det(o
i
) = 1
(6) Tr(o
i
) = 0.
(7) - a =
+a
z
a
x
ia
y
a
x
+ ia
y
a
z
. Seja a um vetor tridimensional. Ento
- a =
_
k
a
k
o
k
= a
x
0 1
1 0
+ a
y
0 i
i 0
+ a
z
1 0
1 1
=
0 a
x
a
x
0
+
0 ia
y
ia
y
0
+
a
z
0
1 a
z
=
+a
z
a
x
ia
y
a
x
+ ia
y
a
z
(8) ( - a)( - b) = a - b + i - (a b). Seja
( - a)( - b) =
_
j
o
j
a
j _
k
o
k
b
k
=
_
jk
(o
j
o
k
)a
j
b
k
=
_
jk
1
2
o
j
, o
k
) +
1
2
|o
j
, o
k
] a
j
b
k
=
_
jk
(o
jk
+ ic
jkl
o
l
)a
j
b
k
=
_
j
a
j
b
j
+ i
_
jk
c
jkl
o
l
a
j
b
k
= a - b + i - (a b)
(9) ( - a)
2
= |a|
2
(a um vetor real). Seja
( - a)
2
= ( - a)( - a) = a - a + i - (a a) = a - a =|a|
2
.
(10) ( - n )
n
=
1, (n par)
- n (n mpar)
. De fato, como consequncia da propriedade anterior,
( - n )
n
=
|n |
2
=1
( - a)( - a) ( - a)( - a) =
1, (n par)
- n (n mpar)
Rotaes no Formalismo de Duas Componentes
Representao matricial 2 2 do operador rotao D(n , ). Como
S =
h
2

encontra-se
exp
iS - n
h
=` exp
i - n
2
Usando a propriedade (10), encontra-se
exp
i - n
2
= 1 i( - n )

2

i
2
( - n )
2
2!

2
2

= 1
( - n )
2
2!

2
2
+
( - n )
4
4!

2
4

i ( - n )

2

( - n )
3
3!

2
3
+
= 1
1
2!

2
2
+
1
4!

2
4

i - n

2

1
3!

2
3
+
= 1cos

2
i - n sen

2
.
onde
1 =
1 0
0 1
Forma explcita de exp
i - n
2
como matriz 2 2. Usando o resultado
i - n =
n
z
in
x
n
y
in
x
+ n
y
+n
z
encontramos
exp
i - n
2
=
cos

2
i n
z
sen

2
(in
x
n
y
) sen

2
(in
x
+ n
y
) sen

2
cos

2
+ i n
z
sen

2
(3.2.45)
que a forma da matriz de rotao.
Rotao de spinor. Assim como o operador exp
iS - n
h
atua sobre o ket |o), a matriz
(2 2) exp
i - n
2
atua sobre o spinor de duas componentes _. Sob rotao, o spinor
transforma-se da seguinte maneira:
_ exp
i - n
2
_.
invariante por rotao. Os o
k
permanecem inalterados sob rotaes.
no um vetor. Embora possa parecer, no um vetor. Na verdade, _
_ que
obedece as propriedades de transformao de um vetor. Ou seja,
_
o
k
_
_
l
R
kl
_
o
l
_
Demonstrao: Seja uma rotao de o
1
em torno do eixo z por um ngulo
exp
io
z
2
o
x
exp
io
z
2
=
cos

2
+ i sen

2
0
0 cos

2
i sen

2
0 1
1 0
cos

2
i sen

2
0
0 cos

2
+ i sen

2
=
0 cos + i sen
cos i sen 0
A matriz
0 cos + i sen
cos i sen 0
pode ser reescrita combinao das seguintes matrizes:
0 cos + i sen
cos i sen 0
= cos
0 1
1 0
sen
0 i
+i 0
= o
x
cos o
y
sen.
Ou seja,
exp
io
z
2
o
x
exp
io
z
2
= o
x
cos o
y
sen,
que o anlogo matricial de (3.2.6).
Novamente rotao por 2m. Usando o formalismo dos kets, vimos que um ket |o) de spin 1/2,
sob rotao de 2m, resulta em |o). O anlogo 2 2 desta afirmao :
exp
i - n
2
=2m
= 1cos

2
i - n sen

2
=2m
= 1,
para qualquer n .
Aplicao da matriz de rotao
Construo de um autospinor. Como aplicao da matriz de rotao, vamos construir um
autospinor de - n com autovalor +1, onde n um vetor unitrio numa direo especificada. Seja a
equao
- n _ = _.
Esta equao a representao matricial da equao de autovalores para o ket |S - n ; +) definida
por
S - n
|S - n ; +) =
h
2
|S - n ; +).
De fato, isto pode ser considerado como um problema autovalores, mas aqui apresentamos um
mtodo alternativo baseado na matriz de rotao.
Procedimento. Sejam o e [ os ngulos azimutal e polar, respectivamente, que caracterizam n .
Vamos iniciar com o spinor
1
0
, que representa o estado de spin para cima.
Em seguida, aplicamos uma rotao por um ngulo [ em torno do eixo y.
Sequencialmente, aplicamos outra rotao por um ngulo o em torno do eixo z.
Dessa forma, o estado de spin desejado ento obtido (ver figura abaixo).
Segunda
rotao
Primeira
rotao
Procedimento na linguagem de spinor de Pauli. Na linguagem do spinor, esta sequncia de

operaes equivalente a:
_
+
=
1
0
exp
io
y
[
2
1
0

exp
io
z
o
2
exp
io
y
[
2
1
0
_
Desta forma,
_ = exp
io
z
o
2
exp
io
y
[
2
1
0
= exp
io
z
o
2

cos
[
2
sen
[
2
sen
[
2
cos
[
2
1
0
=
cos
o
2
i sen
o
2
0
0 cos
o
2
+ i sen
o
2
cos
[
2
sen
[
2
=
cos
o
2
i sen
o
2
cos
[
2
cos
o
2
+ i sen
o
2
sen
[
2
Ou,
_ =
cos
[
2
e
io/2
sen
[
2
e
io/2
em concordncia com o Problema 9 do Captulo 1. De fato,
_ = cos
[
2
e
io/2
1
0
+ sen
[
2
e
io/2
0
1
= e
io/2
cos
[
2
_
+
+ sen
[
2
e
io
_
a diferena ficando por conta de uma fase global sem significado fsico.
3.3 SO(3), SU(2) e Rotaes de Euler
Conceito de Grupo
Teoria de Grupo. As simetrias so tratadas apropriadamente num ramo da matemtica
conhecido como teoria de grupo.
O que um grupo? Um conjunto de objetos, a, b, c., forma um grupo se pudermos definir um
processo que nos permita combinar quaisquer dois desses objetos, tais como a e b, para formar
um objeto ab, e se as seguintes condies forem satisfeitas:
(1) Todos os resultados da combinao so membros do grupo.
(2) O grupo contm a identidade ou membro unitrio 1, que tem a propriedade a - 1 = 1 - a = a,
onde a qualquer membro do grupo.
(3) Cada membro a tem um inverso a
1
, tambm no grupo, tal que aa
1
= a
1
a = 1.
(4) Combinao de grupo associativa, tal que a(bc) = (ab)c
Observaes:
(a) os membros de um grupo so chamados de elementos.
(b) o termo multiplicao no significa multiplicao usual.
Grupo Ortogonal
Seja a rotao de um vetor. Os vetores antes e depois da rotao, V e V
'
, respectivamente, so
conectados por uma matriz 3 3 real e ortogonal:
V
'
= R V
V
V
Todas as matrizes de rotao formam um grupo:
1. A combinao (produto) de duas matrizes R
1
e R
2
uma nova matriz R
1
R
2
.
2. A lei associativa vlida:
R
1
(R
2
R
3
) = (R
1
R
2
)R
3
3. A matriz identidade 1 que corresponde fisicamente a nenhuma rotao definida por
R1 = 1R = R
um membro da classe de todas as matrizes ortogonais.
4. A matriz inversa R
1
que corresponde fisicamente a uma rotao no sentido oposto
definida por
RR
1
= R
1
R = 1
tambm um membro.
Este grupo denominado SO(3), onde as iniciais significam:
S especial (special, em ingls); O ortogonal; 3 trs dimenses.
Grupo Unitrio Unimodular
Seja a rotao do spin 1/2 discutida anteriormente. Aqui, as matrizes de rotao so 2 2, atuando
sobre um spinor de duas componentes. De (3.2.45) encontramos
Eq. (3.2.45) =
cos

2
i n
z
sen

2
(in
x
n
y
) sen

2
(in
x
+ n
y
) sen

2
cos

2
+ i n
z
sen

2
Esta matriz unimodular. Isto significa que seu determinante 1.
Matriz unitria unimodular. De uma maneira geral, uma matriz unimodular pode ser escrita
como
U(a, b) =
a b
b
-
a
-
(3.3.7)
onde a e b so nmeros complexos que satisfazem a condio unimodular:
|a|
2
+ |b|
2
= 1 (3.3.8)
Propriedade unitria. Seja
U
(a, b)U(a, b) =
a
-
b
b
-
a
a b
b
-
a
-
= |a|
2
+ |b|
2
= 1
Comparando (3.2.45) com (3.3.7), identificamos
Re(a) = cos

2
, Im(a) = n
z
sen

2
,
Re(b) = n
y
sen

2
, Im(b) = n
x
sen

2
,
de onde obtm-se imediatamente a propriedade unimodular de (3.3.8).
Propriedades de grupo das operaes de multiplicao. As operaes de multiplicao com
matrizes unitrias unimodulares satisfazem as seguintes propriedades:
1. Fechamento
U(a
1
, b
1
)U(a
2
, b
2
)
=
a
1
b
1
b
1
-
a
1
-
a
2
b
2
b
2
-
a
2
-
=
a
1
a
2
b
1
b
2
-
a
1
b
2
+ a
2
-
b
1
a
1
-
b
2
-
a
2
b
1
-
a
1
-
a
2
-
b
1
-
b
2
= U a
1
a
2
b
1
b
2
-
, a
1
b
2
+ a
2
-
b
1
onde a condio unimodular para a matriz produto
|a
1
a
2
b
1
b
2
-
|
2
+ |a
1
b
2
+ a
2
-
b
1 |
2
= 1.
2. Inversa
U
1
(a, b) =
a b
b
-
a
-
1
=
a
-
b
b
-
a
= U(a
-
, b)
3. Identidade
U(1, 0) =
1 0
0 1
4. Associativa
U(a, b) exp
i - n
2
Este grupo denominado SU(2): Especial, Unitrio e Bidimensional.
Os grupos SU(2) e SO(3) tm correspondncia dois-para-um: Considere uma rotao por 2m e
outra por 4m.
Na linguagem SO(3), as matrizes representando essas rotaes so ambas matrizes
identidades 3 3. Mais geralmente, U(a, b) e U(a, b) correspondem a uma nica matriz
3 3 nesta linguagem.
Na linguagem SU(2), as matrizes so 1 vezes a matriz identidade 2 2 e a matriz
identidade, respectivamente.
Rotaes de Euler
Rotao arbitria de um corpo rgido pode ser descrita em trs passos, conhecidas como ngulos
de Euler.
Trs passos:
(1) R
z
(o) y y
'
(2) R
y
' ([) z z
'
(3) R
z
' (,) y
'
y
''
Em termos de matrizes ortogonais 3 3, o produto dessas trs operaes pode ser escrito como
R(o, [, ,) = R
z
' (,)R
y
' ([)R
z
(o)
Aqui aparecem dois tipos de rotao: em torno dos eixos do corpo e dos eixos fixos no espao.
Isto inconveniente. Vamos expressar as rotaes em torno dos eixo do corpo, R
y
' ([) e R
z
' (,), em
termo de rotaes em torno dos eixo fixos no espao.
R
y
' ([) = R
z
(o)R
y
([)R
z
1
(o)
R
z
' (,) = R
y
' ([)R
z
(,)R
y
'
1
([)
Assim.
R(o, [, ,) = R
z
' (,)R
y
' ([)R
z
(o)
= R
y
' ([)R
z
(,)R
y
'
1
([)R
y
' ([)R
z
(o)
= R
y
' ([)R
z
(,)R
z
(o)
= R
z
(o)R
y
([)R
z
1
(o)R
z
(,)R
z
(o)
= R
z
(o)R
y
([)R
z
1
(o)
comutam
R
z
(o)R
z
(,)
= R
z
(o)R
y
([)R
z
(,)
Portanto
R(o, [, ,) = R
z
(o)R
y
([)R
z
(,)
onde todas as matrizes do lado direito referem-se a rotaes em torno de eixos fixos.
Aplicao a sistemas de spin
O produto de operadores de rotao no espao ket corresponde ao produto de matrizes
ortogonais:
D(o, [, ,) = D
z
(o)D
y
([)D
z
(,)
A representao matricial deste produto
exp
io
z
o
2
exp
io
y
[
2
exp
io
z
,
2
=
e
io/2
0
0 e
io/2
cos([/2) sen([/2)
sen([/2) cos([/2)
e
i,/2
0
0 e
i,/2
=
e
i(o+,)/2
cos([/2) e
i(o,)/2
sen([/2)
e
i(o,)/2
sen([/2) e
i(o+,)/2
cos([/2)
onde usamos (3.2.44). Esta matriz claramente da forma unimodular unitria. Inversamente, a
forma mais geral da matriz unimodular unitria 2 2 pode ser escrita nesta forma dos ngulos de
Euler.
3.4 Operadores de Densidade e Ensembles Puros e Mistos
Leia esta seo.
3.5 Autovalores e Autoestados do Momento Angular
Relaes de Comutao e Operador Escada
As relaes de comutao entre as trs componentes de J j foram derivadas
|J
x
, J
y
] = ihJ
z
|J
y
, J
z
] = ihJ
x
|J
z
, J
x
] = ihJ
y
Estas relaes podem ser escritas numa forma mais compacta
J J = ihJ
Novo conjunto de operadores. Para estudarmos os autovalores e autovetores do momento
angular, vamos introduzir um novo conjunto de operadores
(1) J
2
= J
x
2
+ J
y
2
+ J
z
2
(2) J
= J
x
iJ
y
O operador J
2
comuta com todos os J
k
:
|J
2
, J
k
] = 0, (k = x, y, z)
Comutador |J
2
, J
z
] = 0. Para demonstrar esta relao fazemos
|J
2
, J
z
] = |J
x
2
+ J
y
2
+ J
z
2
, J
z
]
= J
x
|J
x
, J
z
] + |J
x
, J
z
]J
x
+ J
y
|J
y
, J
z
] + |J
y
, J
z
]J
y
= J
x
(ihJ
y
) + (ihJ
y
)J
x
+ J
y
(ihJ
x
) + (ihJ
x
)J
y
= ihJ
x
J
y
ihJ
y
J
x
+ ihJ
y
J
x
+ ihJ
x
J
y
= 0
Como J
x
, J
y
e J
z
no comutam entre si, no podemos diagonalizar J
x
, J
y
e J
z
simultaneamente.
Porm, podemos escolher um dos J
k
para ser diagonalizado simultaneamente com J
2
. Por
conveno, a escolha recai sobre J
z
. Vamos denotar os autovalores de J
2
e J
z
por a e b,
respectimente:
J
2
|a, b) = a |a, b)
J
z |a, b) = b |a, b)
Para determinar os valores de a e b conveniente trabalhar com os operador escada, J
. As
relaes de comutao so
|J
+
, J
] = 2hJ
z
,
|J
z
, J
] = hJ
,
|J
2
, J
] = 0.
Qual o significado fsico de J
. Vamos examinar como J

z
age sobre J
|a, b):
J
z
J
|a, b) = (|J
z
, J
] + J
J
z
) |a, b)
= hJ
|a, b) + J
J
z |a, b)
= hJ
|a, b) + bJ
|a, b)
= (b h) J
|a, b)
Ou seja: O ket J
|a, b) ainda um autoket de J
z
, exceto que agora o autovalor e aumentado (+) ou
abaixado () por uma unidade de h. Assim, vemos por que J
, que sobe ou desce degrau a

degrau a escada dos autovalores de J
z
, so conhecidos como operadores escadas.
J
e os autovalores de J
2
. Embora J
mudem os autovalores de J
z
por uma unidade de h, eles
no mudam os autovalores de J
2
:
J
2
J
|a, b) = J
J
2
|a, b) = a J
|a, b)
Resumo. Os kets J
|a, b) so simultaneamente autokets de J
2
e J
z
com autovalores a e b h.
Podemos ento escrever
J
|a, b) = c
|a, b h)
onde as constantes c
sero determinadas mais adiante a partir da condio de normalizao dos

autokets do momento angular.
Autovalores de J
2
e J
z
Imagine que apliquemos J
+
n vezes sobre o autoket de J
2
e J
z
:
n vezes
J
+
J
+
.J
+ |a, b) |a, b + nh)
Mas existe um limite superior para b. De fato, para um dado a (autovalor de J
2
)
a _ b
2
. (3.5.13)
Demonstrao. Vamos escrever J
2
em termos de J
e J
z
J
2
J
z
2
=
1
2
(J
+
J
+ J
J
+
) =
1
2
J
+
J
+
+ J
+
J
+
.
O valor esperado deste operador
(a, b| (J
2
J
z
2
) |a, b) =
1
2
(a, b| J
+
J
+
|a, b) +
1
2
(a, b| J
+
J
+ |a, b)
Como o bra de J
|a, b) so
J
|a, b)
CD
(a, b| J
, J
|a, b)
CD
(a, b| J
Ou seja,
J
|a, b) = c
|a, b h)
CD
(a, b| J
= (a, b h| c
-
J
|a, b) = c
-
|a, b + h)
CD
(a, b| J
= (a, b + h| c
Logo,
(a, b| J
+
J
+
|a, b) = (a, b| J
+
J
+
|a, b)
= (a, b h| c
+
c
+
-
|a, b h)
= |c
+ |
2
_ 0
Da mesma forma
(a, b| J
+
J
+ |a, b) _ 0.
Portanto,
(a, b| (J
2
J
z
2
) |a, b) _ 0
Deve existir um b = b
max
tal que
J
+ |a, b
max ) = 0
Ou seja: o autovalor de b no pode aumentar alm de b
max
. Disto obtm-se
J
J
+ |a, b
max ) = 0
Mas,
J
J
+
= J
x
2
+ J
y
2
i(J
y
J
x
J
x
J
y
)
= J
2
J
z
2
hJ
z
.
Assim,
(J
2
J
z
2
hJ
z
) |a, b
max ) = (a b
max
2
hb
max
) |a, b
max ) = 0
Como |a, b
max ) no um ket nulo, conclui-se que
a b
max
2
hb
max
= 0
ou
a = b
max
(b
max
+ h). (3.5.22)
Da mesma forma, deve existir um b
min
tal que
J
|a, b
min ) = 0
Escrevendo
J
+
J
= J
2
J
z
2
+ hJ
z
encontramos que
J
+
J
|a, b
min ) = 0
ou
(J
2
J
z
2
+ J
z
) |a, b
min ) = (a b
min
2
+ hb
min
) |a, b
min ) = 0
ou
a = b
min
(b
min
h) (3.2.25)
Comparando (3.2.25) com (3.2.22), ou seja,
a = b
max
(b
max
+ h) = b
min
(b
min
h)
conclui-se que
b
max
= b
min
(3.2.26)
Com b
max
> 0, podemos inferir que os valores de b esto no intervalo
b
max
_ b _ b
max
. (3.2.27)
Obteno de |a, b
max ) a partir de |a, b
min ). Aplicando-se sucessivamente, um nmero de vezes
finito, o operador J
+
ao ket |a, b
min ), podemos obter o ket |a, b
max ). Seja por exemplo,
|a, b
max )
n vezes
= J
+
J
+
.J
+ |a, b
min ) = |a, b
min
+ nh)
Logo,
b
max
= b
min
+ nh, (3.2.28)
onde n um nmero inteiro. Como resultado, obtm-se
b
max
= b
max
+ nh
ou
b
max
=
nh
2
. (3.2.29)
Conveno. Por conveno, vamos utilizar j ao invs de b
max
, da seguinte forma
b
max
jh
Ou seja,
j =
n
2
.
Assim, o valor mximo do autovalor de J
z
agora jh, onde j qualquer inteiro ou semi-inteiro. A
Eq. (3.5.22) torna-se
a = h
2
j(j + 1).
Vamos tambm definir m tal que
b mh.
Assim,
jh _ mh _ jh
ou
j _ m _ j.
Ou seja, se j um inteiro, todos os valores de m sero inteiros; se j for semi-inteiro, todos os
valores de m sero semi-inteiros. Os valores permitidos de m para um dado j so
m =
2j+1 estados
j, j + 1, ., j 1, j (3.5.33)
Usando esta conveno, fazemos a substituio
|a, b) |j, m)
para denotar os autokets simultneos de J
2
e J
z
. As equaes bsicas de autovalores, so agora
J
2
|j, m) = j(j + 1)h
2
|j, m)
J
z |j, m) = m |j, m)
(3.5.34a)
(3.5.34b)
onde j qualquer inteiro ou semi-inteiro, e m dado por (3.5.33). As Eqs. (3.5.34) representam a
quantizao do momento angular. Ela uma consequncia direta das relaes de comutao que,
por sua vez, segue da propriedade das rotaes juntamente com a definio de J
k
como gerador
de rotao.
Elementos de Matriz dos Operadores Momento Angular
Os autokets |j, m) formam uma base de kets normalizados para o operador momento angular:
(j
'
, m
'
|j, m) = o
j
'
j
o
m
'
m
.
Elementos de matriz de J
2
e J
z
. Os elementos de matriz do operador J
2
nesta base so
(j
'
, m
'
| J
2
|j, m) = j(j + 1)h
2
(j
'
, m
'
|j, m) = j(j + 1)h
2
o
j
'
j
o
m
'
m
e
(j
'
, m
'
| J
z |j, m) = mh(j
'
, m
'
|j, m) = mh o
j
'
j
o
m
'
m
Elementos de matriz de J
. Para este caso, primeiro vamos considerar os elementos de

matriz do operador J
+
J
+
. Este operador pode ser escrito como
J
+
J
+
= J
J
+
= J
2
J
z
2
hJ
z
Assim,
(j, m| J
+
J
+ |j, m) = (j, m| (J
2
J
z
2
hJ
z
) |j, m)
= j(j + 1)h
2
m
2
h
2
mh
2
= h
2
|j(j + 1) m(m + 1)]
Mas
J
+ |j, m) = c
jm
+
|j, m + 1)
ento
(j, m| J
+
J
+ |j, m) = (j, m| J
+
J
+ |j, m) = (j, m + 1| c
jm
+-
c
jm
+
|j, m + 1)
= c
jm
+
2
.
Portanto,
c
jm
+
2
= h
2
|j(j + 1) m(m + 1)] = h
2
(j m)(j + m + 1)
A constante c
jm
+
determinada a menos de um fator de fase arbitrrio. costume (conveno)
escolher esta constante como sendo real e positiva:
c
jm
+
= (j m)(j + m + 1) h
Logo,
J
+ |j, m) = (j m)(j + m + 1) h |j, m + 1).
De uma maneira similar, podemos obter
J
|j, m) = (j m)(j m + 1) h |j, m 1)
Finalmente, os elementos de matriz de J
so:
(j
'
, m
'
| J
|j, m) = (j m)(j m + 1) h o
j
'
j
o
m
'
,m1
(3.5.41)
Elementos de Matriz do Operador Rotao
Para uma rotao R especificada por n e , os elementos de matriz do operador rotao so
D
m
'
m
(j)
(R) = (j, m
'
| exp
J - n
h
|j, m) (3.5.42)
Estes elementos de matriz so conhecidos como funes de Wigner. Observe que os elementos
de matriz de D(R) entre estados com js diferentes se anulam: D(R) |j, m) ainda um autoestado
de J
2
com o mesmo autovalor j(j + 1)h
2
. De fato,
J
2
D(R)|j, m) = D(R)J
2
|j, m)
= j(j + 1)h
2
D(R)|j, m)
uma vez que |J
2
, D(R)] = 0 como consequncia de |J
2
, J
k
] = 0 e, portanto, |J
2
, F(J
k
)] = 0, onde
F(J
k
) significa qualquer funo de J
k
.
Rotaes no mudam o valor j, o que um resultado absolutamente lgico.
Representao irredutvel. s vezes, a matriz de dimensoes (2j + 1) (2j + 1) formada pelos
elementos D
m
'
m
(j)
(R) referida na literatura como representao irredutvel (2j + 1)-dimensional do
operador rotao D(R).
A matriz que corresponde a um operador rotao arbitrria no espao ket no necessariamente
caracterizado por um nico valor j pode, com uma escolha apropriada da base, ser colocado na
forma bloco-diagonal:
(3.5.44)
onde cada quadrado sombreado uma matriz quadrada (2j + 1) (2j + 1) formada pelos
elementos D
m
'
m
(j)
(R) com qualquer valor definido de j. Alm disto, cada matriz quadrada no pode
ser quebrada em blocos menores

2j+1

k
k
2j+1-k
2
j
+
1
-
k
(3.5.45)
para qualquer escolha da base.
Grupo das matrizes de rotao. As matrizes de rotao para um dado j formam um grupo:
Identidade. um elemento do grupo, um vez que a matriz de rotao correspondedo a
nenhuma rotao ( = 0) a matriz identidade (2j + 1) (2j + 1).
Inversa. Tambm um elemento do grupo, correspondendo inverso do ngulo de rotao
( ), mantendo o eixo de rotao n .
Fechamento. As matrizes possuem esta propriedade, uma vez que o produto de qualquer duas
delas tambm um elemento do grupo. Explicitamente, temos
_
m
'
D
m
''
m
'
(j)
(R
1
)D
m
'
m
(j)
(R
2
) = D
m
''
m
(j)
(R
1
R
2
) (3.5.46)
onde o produto R
1
R
2
representa uma nica rotao.
Unitariedade. A matriz de rotao unitria, uma vez que o correspondente operador
unitrio. Explicitamente, temos
D
m
'
m
(j)
(R
1
) = D
mm
'
(j)-
(R)
Significa fsico da matriz de rotao
Seja o estado |j, m); sob rotao encontramos
|j, m) D(R) |j, m).
Embora a rotao no mude o j, geralmente obtm-se estados com valores m diferentes do valor
original.
Amplitude de probabilidade para |j, m
'
). Para determinar a amplitude de probabilidade de
encontrar o estado em |j, m
'
), vamos expandir o estado final como segue:
D(R) |j, m) =
_
m
'
|j, m
'
)(j, m
'
|D(R) |j, m)
=
_
m
'
|j, m
'
)D
m
'
m
(j)
(R) (3.5.49)
ngulos de Euler e a matriz D
Como j sabemos, os ngulos de Euler, o, [, ,, podem ser usados para caracterizar a rotao mais
geral. Assim, para um j arbitrrio
D
m
'
m
(j)
(o, [, ,) = (j, m
'
| exp
J
z
o
h
exp
J
y
[
h
exp
J
z
,
h
|j, m)
= e
i(m
'
o+m,)
(j, m
'
| exp
J
y
[
h
|j, m)
A rotao central, de um ngulo [ em torno do eixo y, mistura diferentes valores de m.
conveniente definirmos uma nova matriz d
(j)
([) como
d
m
'
m
(j)
([) = (j, m
'
| exp
J
y
[
h
|j, m) (3.5.51)
Logo,
D
m
'
m
(j)
(o, [, ,) = e
i(m
'
o+m,)
d
m
'
m
(j)
([)
Exemplos
Caso j = 1/2. Neste caso, os valores de m so
m =
1
2
,
1
2
.
Escrevendo J
y
=
h
2
o
y
e usando (3.2.44)
exp
o
y
[
2
= cos([/2) io
y
sen([/2)
A matriz d
(1/2)
([) torna-se
d
m
'
m
(j)
([) = (j, m
'
| exp
o
y
[
2
|j, m)
= (j, m
'
| 1cos([/2) io
y
sen([/2) |j, m)
= cos([/2) o
m
'
m
i sen([/2)(j, m
'
|o
y|j, m)
Como
o
y
=
0 i
i 0
encontra-se
d
(j)
([) = cos([/2)
1 0
0 1
i sen([/2)
0 i
i 0
=
cos([/2) 0
0 cos([/2)
+
0 sen([/2)
sen([/2) 0
ou
d
(j)
([) =
m =1/2 m = 1/2
cos
[
2
sen
[
2
sen
[
2
cos
[
2
Caso j = 1. Agora os valores de m so
m = 1, 0, +1
o que deve resultar numa matriz 3 3. Neste caso no contamos mais com as propriedades das
matrizes de Pauli. Mas, como
J
y
=
J
+
J
2i
podemos usar (3.5.41), para j = j
'
, ou seja,
(j, m
'
| J
|j, m) = (j m)(j m + 1) h o
m
'
,m1
Assim, a matriz J
y
pode ser obtida a partir da relao
(j, m
'
| J
y |j, m) =
1
2i
(j, m
'
| J
+ |j, m)
1
2i
(j, m
'
| J
|j, m)
Mas,
(m + 1| J
+ |m) = (1 m)(2 + m) h (m 1| J
|m) = (1 m)(2 m) h
(1| J
+ |0) = 2 h, (0| J
|1) = 2 h
(0| J
+ |1) = 2 h (1| J
|0) = 2 h
sendo nulos os demais elementos. Logo,
m = 1 m = 0 m = 1
1
2i
J
+
(j=1)
=
h
2
0 2 i 0
0 0 2 i
0 0 0
m
'
= 1
m
'
= 0
m
'
= 1
e
m = 1 m = 0 m = 1
1
2i
J
+
(j=1)
=
h
2
0 0 0
2 i 0 0
0 2 i 0
m
'
= 1
m
'
= 0
m
'
= 1
Portanto,
m = 1 m = 0 m = 1
Jy
(j=1)
=
h
2
0 2 i 0
2 i 0 2 i
0 2 i 0
m
'
= 1
m
'
= 0
m
'
= 1
Como j conhecemos a representao matricial de Jy
(j=1)
, agora podemos obter a expanso de
Taylor de exp(iJ
y
[/h). Seja a expresso
exp
iJ
y
[
h
= 1 i[
J
y
h

1
2!
[
2
J
y
h
2
+
1
3!
i[
3
J
y
h
3
+
Pode-se mostrar que
J
y
h
n
=
J
y
h
2
n = par
J
y
h
, n = mpar
Assim,
exp
iJ
y
[
h
= 1 i[
J
y
h

1
2!
[
2
J
y
h
2
+
1
3!
i[
3
J
y
h
3
+
= 1 +
J
y
h
2
1 +
cos [
1
[
2
2!
+ i
J
y
h
[
[
3
3!
+
= 1 +
J
y
h
2
(cos [ 1) i
J
y
h
sen[
ou
exp
iJ
y
[
h
1
J
y
h
2
(1 cos [) i
J
y
h
sen[
Logo,
d
m
'
m
(j=1)
([) = (j, m
'
| exp
J
y
[
h
|j, m)
= (j, m
'
| 1
J
y
h
2
(1 cos [) i
J
y
h
sen[ |j, m)
= o
m
'
m
(1 cos [) (j, m
'
|
J
y
h
2
|j, m) i sen[ (j, m
'
|
J
y
h
|j, m)
Como
iJy
(j=1)
h
=
1
2
0 2 0
2 0 2
0 2 0
e
Jy
(j=1)
h
2
=
1
2
2
0 2 i 0
2 i 0 2 i
0 2 i 0
2
=
1
2
1 0 1
0 2 0
1 0 1
ento
d
(1)
([) =
1 0 0
0 1 0
0 0 1

1
2
1 0 1
0 2 0
1 0 1
(1 cos [)
1
2
0 2 0
2 0 2
0 2 0
sen[
ou
d
(1)
([) =
1 0 0
0 1 0
0 0 1

1
2
(1 cos [) 0
1
2
(1 cos [)
0 (1 cos [) 0
1
2
(1 cos [) 0
1
2
(1 cos [)
0
1
2
sen[ 0
1
2
sen[ 0
1
2
sen[
0
1
2
sen[ 0
sen[
Finalmente, agrupando os termos obtm-se
d
(1)
([) =
1
2
(1 + cos [)
1
2
sen[
1
2
(1 cos [)
1
2
sen[ cos [
1
2
sen[
1
2
(1 cos [)
1
2
sen[
1
2
(1 + cos [)
Evidentemente este mtodo torna-se cada vez mais trabalhoso medida que o j aumenta. Na Se.
3.8 estudaremos um mtodo muito mais fcil de obter d
m
'
m
(j)
([) para qualquer j.
3.6 Momento Angular Orbital
O momento angular foi definido como sendo o gerador de rotaes infinitesimais. Existe uma outra
maneira de estudar o assunto, quando o momento angular de spin nulo ou pode ser desprezado.
O momento angular J para uma partcula ento o mesmo que o momento angular orbital L,
definido como
L = r p. (3.6.1)
Momento Angular Orbital como Gerador de Rotaes
Como foi definido em (3.6.1), o momento angular L satisfaz as relaes de comutao para
momento angular:
|L
i
, L
j
] = ic
ijk
L
k
(3.6.2)
em virtude das relaes de comutao entre as componentes de r e p. Isto pode ser facilmente
demonstrado: Seja
L
x
= yp
z
zp
y
L
y
= zp
x
xp
z
ento
|L
x
, L
y
] = |yp
z
zp
y
, zp
x
xp
z
]
= |yp
z
, zp
x
] + |zp
y
, xp
z
]
= yp
z
zp
x
zp
x
yp
z
+ zp
y
xp
z
xp
z
zp
y
= yp
x
|p
z
, z] + p
y
x|z, p
z
]
= ih(xp
y
yp
x
)
= ihL
z
.
e assim por diante.
Agora considere o operador
1 i
o
h
L
z
= 1 i
o
h
(xp
y
yp
x
)
atuando sobre um autoket arbitrrio da posio |x
'
, y
'
, z
'
) para examinarmos se ele pode ser
interpretado como o operador de rotaes infinitesimais em torno do eixo z por um ngulo o.
Como o momento linear um gerador de translaes [v. Eq. (1.6.32)], isto ,
T(dx
'
) = 1
ip - dx
'
h
ou seja,
T(dx
'
) |x
'
) = 1 i
p
h
- dx
'
|x
'
) = |x
'
+ dx
'
)
encontra-se
1 i
o
h
L
z |x
'
, y
'
, z
'
) = 1 i
o
h
(x
'
p
y
y
'
p
x
) |x
'
, y
'
, z
'
)
= 1 i
p
y
h
(x
'
o) + i
p
x
h
(y
'
o) |x
'
, y
'
, z
'
)
= 1 i
p
y
h
(x
'
o) i
p
x
h
(y
'
o) |x
'
, y
'
, z
'
)
= x
'
y
'
o, y
'
+ x
'
o, z
'
Isto corresponde a uma rotao infinitesimal de um ngulo o em torno do eixo z. De fato, numa
rotao em torno do eixo z, as coordenadas x, y, z transormam-se de acordo com
x
'
= xcos(o) ysen(o)
y
'
= xsen(o) + ycos(o)
Para um ngulo infinitesimal o, valem as aproximaes
cos(o) ~ 1
sen(o) ~ o
Assim, para as coordenadas transformadas, obtm-se
x
'
= x y o
y
'
= y + x o
z
'
= z
que o resultado obtido.
Funo de onda. Suponha agora que a funo de onda para um estado arbitrrio seja dada
por (x
'
, y
'
, z
'
|o). Aps uma rotao por um ngulo o em torno do eixo z, a funo de onda do
estado transformado ser
(x
'
, y
'
, z
'
| 1 i
o
h
L
z |o) = (x
'
+ y
'
o, y
'
x
'
o, z
'
|o) (3.6.6)
Coordenadas esfricas. Mudando a base para coordenadas esfricas, isto
(x
'
, y
'
, z
'
|o) (r, 0, |o)
o estado tranformado torna-se, de acordo com (3.6.6)
(r, 0, | 1 i
o
h
L
z |o) = (r, 0, o|o)
= (r, 0, |o) o
c
c
(r, 0, |o)
Como (r, 0, |o) um autoklet arbitrrio da posio, podemos identificar
(x
'
|L
z|o) = ih
c
c
(x
'
|o) (3.6.9)
que um resultado bem conhecido da mecnica ondulatria.
Rotao em torno do eixo x. Vamos agora considerar uma rotao em torno do eixo x por um
ngulo o
x
. Em analogia com (3.6.6) podemos escrever
(x
'
, y
'
, z
'
| 1 i
o
x
h
L
x |o) = (x
'
, y
'
+ z
'
o
x
, z
'
y
'
o
x |o) (3.6.10)
Expressando x
'
, y
'
e z
'
em coordenadas esfricas, podemos mostrar que
(x
'
|L
x|o) = ih sen
c
c0
cotg0cos
c
c
(x
'
|o) (3.6.11)
De maneira similar,
(x
'
|L
y|o) = ih cos
c
c0
cotg0sen
c
c
(x
'
|o) (3.6.12)
Usando essas duas relaes e as definies de L
, encontramos
(x
'
|L
|o) = ihe
i
i
c
c0
cotg0
c
c
(x
'
|o) (3.6.13)
Finalmente, usando
L
2
= L
z
2
+
1
2
(L
+
L
+ L
L
+
) (3.6.14)
juntamente com (3.6.9) e (3.6.13), encontramos
(x
'
|L
2
|o) = h
2 1
sen
2
0
c
2
c
2
+
1
sen0
c
c0
sen0
c
c0
(x
'
|o) (3.6.15)
Exceto pelo fator 1/r
2
, esta a expresso para a parte angular do operador Laplaciano em
coordenadas esfricas.
Relao entre L
2
e a parte angular de V
2
. Uma outra maneira de se obter esta relao
trabalhar diretamente com o operador energia cintica.
Vamos primeiro considerar uma importante identidade de operadores:
L
2
= x
2
p
2
(x - p)
2
+ ih x - p
onde x
2
= x - x e p
2
= p - p.
Demonstrao. O operador L
2
pode ser escrito na forma
L
2
=
_
k
L
k
L
k
Mas
L
k
=
_
ij
c
ijk
x
i
p
j
ento
L
2
=
_
k
_
ij
c
ijk
x
i
p
j _
lm
c
lmk
x
l
p
m
=
_
ijlmk
c
ijk
x
i
p
j
c
lmk
x
l
p
m
=
_
ijlm
x
i
p
j
x
l
p
m _
k
c
ijk
c
lmk
Como
_
k
c
ijk
c
lmk
= (o
il
o
jm
o
im
o
jl
)
encontra-se
L
2
=
_
ijlm
(o
il
o
jm
o
im
o
jl
)x
i
p
j
x
l
p
m
=
_
ijlm
o
il
o
jm
x
i
p
j
x
l
p
m
o
im
o
jl
x
i
p
j
x
l
p
m
=
_
ijlm
o
il
o
jm
x
i
(x
l
p
j
iho
jl
)p
m
o
im
o
jl
x
i
p
j
p
m
x
l
+ iho
lm
=
_
ijlm
o
il
o
jm
x
i
(x
l
p
j
iho
jl
)p
m

_
ijlm
o
im
o
jl
x
i
p
j
p
m
x
l
+ iho
lm
Cada termo pode ser reescrito como
_
ijlm
o
il
o
jm
x
i
(x
l
p
j
iho
jl
)p
m
=
_
ijlm
o
il
o
jm
x
i
x
l
p
j
p
m
ih
_
ijlm
o
il
o
jm
o
jl
x
i
p
m
=
_
il
o
il
x
i
x
l _
jm
o
jm
p
j
p
m
ih
_
im
_
jl
o
il
o
jm
o
jl
x
i
p
m
=
_
i
x
i
x
i _
j
p
j
p
j
ih
_
ijm
_
l
o
il
o
jl
o
jm
x
i
p
m
= x
2
p
2
ih
_
ijm
o
ij
o
jm
x
i
p
m
= x
2
p
2
ih
_
im
_
j
o
ij
o
jm
x
i
p
m
= x
2
p
2
ih
_
im
o
im
x
i
p
m
= x
2
p
2
ih
_
m
_
i
o
im
x
i
p
m
= x
2
p
2
ih
_
m
x
m
p
m
= x
2
p
2
ihx - p
e
_
ijlm
o
im
o
jl
x
i
p
j
p
m
x
l
+ iho
lm
=
_
ijlm
o
im
o
jl
x
i
p
j
p
m
x
l
+ ih
_
ijlm
o
im
o
jl
x
i
p
j
o
lm
=
_
ijlm
o
im
o
jl
x
i
-
p
m
p
j
x
l
+ ih
_
ijlm
o
im
o
jl
o
lm
x
i
p
j
=
_
ijlm
o
im
o
jl
x
i
p
m
(x
l
p
j
iho
jl
) + ih
_
ijlm
o
im
o
jl
o
lm
x
i
p
j
=
_
ijlm
o
im
o
jl
x
i
p
m
x
l
p
j
ih
_
ijlm
o
im
o
jl
o
jl
x
i
p
m
+ ih
_
ijlm
o
im
o
jl
o
lm
x
i
p
j
=
_
im
o
im
x
i
p
m _
jl
o
jl
x
l
p
j
ih
_
i
x
i
p
i _
jl
o
jl
o
jl
+ ih
_
lm
o
lm
x
m
p
l
=
_
i
x
i
p
i _
j
x
j
p
j
ih
_
i
x
i
p
i
=3
_
j
1 +ih
_
l
x
l
p
l
= (x - p)
2
3ihx - p +ihx - p
= (x - p)
2
2ihx - p
Substituindo estes resultados na equao para L
2
, encontra-se
L
2
= x
2
p
2
ihx - p (x - p)
2
+ 2ihx - p
ou
L
2
= x
2
p
2
(x - p)
2
+ ihx - p
Elementos de matriz de cada termo de L
2
. Tomando-se os elementos de matriz de cada
termo de L
2
, encontramos
(x
'
| x - p |o) = x
'
- (ihV(x
'
|o))
= ihr
c
cr
(x
'
|o)
Da mesma forma,
(x
'
| (x - p)
2
|o) = (x
'
| (x - p)(x - p) |o)
= x
'
- (ihV(x
'
|(x - p)|o))
= ihx
'
- V((x
'
|(x - p)|o))
= ihr
c
cr
((x
'
|(x - p)|o))
= ihr
c
cr
|x
'
- (ihV(x
'
|o))]
= h
2
r
c
cr
r
c
cr
(x
'
|o)
= h
2
r
2 c
2
cr
2
(x
'
|o) + r
c
cr
(x
'
|o)
Ento,
(x
'
|L
2
|o) = (x
'
|x
2
p
2
|o) (x
'
|(x - p)
2
|o) + ih(x
'
|x - p|o)
Como x
2
= x - x = r
2
, obtm-se
(x
'
|L
2
|o) = r
2
(x
'
|p
2
|o) + h
2
r
2 c
2
cr
2
(x
'
|o) + r
c
cr
(x
'
|o) + h
2
r
c
cr
(x
'
|o)
ou
(x
'
|p
2
|o) = h
2 c
2
cr
2
(x
'
|o) +
2
r
c
cr
(x
'
|o) +
1
r
2
(x
'
|L
2
|o)
Energia Cintica. Em termos da energia cintica p
2
/2m, temos
1
2m
(x
'
|p
2
|o) =
h
2
2m
V
'2
(x
'
|o)
=
h
2
2m
parte radial do Laplaciano
c
2
cr
2
(x
'
|o) +
2
r
c
cr
(x
'
|o)
parte angular
1
h
2
r
2
(x
'
|L
2
|o)
em concordncia com (3.6.15).
Harmnicos Esfricos
Partcula num potencial com simetria esfrica. Vamos considerar uma partcula sem spin
sujeita a um potencial com simetria esfrica. Sabe-se que a equao de onda em coordenadas
esfricas admite separao de variveis e as autofunes da energia pode ser escrita como
(x
'
|n, l, m) = R
nl
(r)Y
l
m
(0, ) (3.6.22)
Um Hamiltoniano esfericamente simtrico comuta com L
z
e L
2
e seus autoestados so tambm
autoestados de L
2
e L
z
. Como L
k
satisfazem as relaes de comutao do momento angular, as
equaes de autovalores para L
2
e L
z
sero:
L
2
|n, l, m) = l(l + 1)h
2
|n, l, m)
L
z |n, l, m) = mh |n, l, m)
onde
mh = lh, (l + 1)h, ., (l 1)h, lh.
Dependncia angular. Como a dependncia angular comum para todos os problemas com
simetria esfrica, podemos isol-la e considerar
(n
|l, m) = Y
l
m
(0, ) = Y
l
m
(n ) (3.6.23)
onde definimos um autoket da direo |n ). Deste ponto de vista, Y
l
m
(0, ) a amplitude de
probabilidade para o estado caracterizado por l e m ser encontrado na direo n especificada por 0
e . Assim, partindo da equao de autovalores para L
z
,
L
z|l, m) = mh |l, m)
multiplicando pela esquerda pelo bra de |n ), encontra-se
(n
|L
z|l, m) = mh (n
|l, m)
e, usando (3.6.9),
(n
|L
z|l, m) = ih
c
c
(n
|l, m)
obtm-se
ih
c
c
(n
|l, m) = mh (n
|l, m)
Ou,
ih
c
c
Y
l
m
(0, ) = mh Y
l
m
(0, )
o que implica que a dependncia em de Y
l
m
(0, ) comporta-se como e
im
. Por outro lado, de
L
2
|l, m) = l(l + 1)h
2
|l, m)
encontra-se
(n
| L
2
|l, m) = l(l + 1)h
2
(n
|l, m)
De (3.6.15),
(n
|L
2
|o) = h
2 1
sen
2
0
c
2
c
2
+
1
sen0
c
c0
sen0
c
c0
(n
|o)
segue-se
h
2 1
sen
2
0
c
2
c
2
+
1
sen0
c
c0
sen0
c
c0
(n
|o) = l(l + 1)h
2
(n
|l, m)
ou
1
sen
2
0
c
2
c
2
+
1
sen0
c
c0
sen0
c
c0
+ l(l + 1) Y
l
m
= 0. (3.6.28)
que a equao diferencial parcial satisfeita por Y
l
m
.
Ortogonalidade. A relao de ortogonalidade,
(l
'
, m
'
|l, m) = o
l
'
l
o
m
'
m
fornece
] dO
n (l
'
, m
'
|n )(n
|l, m) = o
l
'
l
o
m
'
m
ou
] dO
n
Y
l
'
m
'
-
(0, )Y
l
m
(0, ) = ]
0
2m
d ]
0
m
d0sen0 Y
l
m
'
-
(0, )Y
l
m
(0, )
= ]
0
2m
d ]
1
d(cos 0) Y
l
m
'
-
(0, )Y
l
m
(0, )
= o
l
'
l
o
m
'
m
(3.6.30)
onde usamos a completeza para os autokets da direo,
] dO
n |n )(n
| = 1 (3.6.31)
Clculo de Y
l
l
. Para obtermos os Y
l
m
vamos partir com o caso m = l. Aplicando o operador
levantamento L
+
ao ket |l, l) devemos obter um ket nulo, ou seja,
L
+|l, l) = 0,
uma vez que a ao de L
+
sobre o valor de m aumentar por uma unidade um valor que j o
mximo. Multiplicando pela esquerda pelo bra de |n ) e usando o resultado dado em (3.6.13),
obtm-se
ihe
i
i
c
c0
cotg0
c
c
(n
| l, l) = 0
Lembrando que a dependncia em dada por e
im
= e
il
, e fazendo
(n
| l, l) = e
il
(n
| l)
encontra-se
i
c
c0
il cotg0 (n
| l) = 0
ou seja
d
d0
(n
| l) = l cotg0(n
| l)
(n
| l) = c
l
e
l ] cotg0d0
= c
l
e
l
1
2
ln(22cos 20)
= c
l
(2 2cos 20)
l
= c
l
(2 2(1 sin
2
0 sin
2
0))
l
= c
l
(4sin
2
0)
l
= c
l
sen
l
0
onde o fator 2 foi englobado na constante c
l
. Logo,
(n
| l, l) = Y
l
l
(0, ) = c
l
e
il
sen
l
0 (3.6.34)
A constante c
l
determinada pela condio de normalizao (3.6.30), obtendo-se
c
l
=
(1)
l
2
l
l!
(2l + 1)(2l)!
4m
(3.6.35)
Clculo dos demais Y
l
m
. Partindo de (3.6.34) e aplicando sucessivamente o operador
abaixamento L
, podemos obter todos os Y

l
m
. De uma maneira geral, podemos escrever
(n
|l, m 1) =
(n | L
|l, m)
(l + m)(l m + 1) h
uma vez que
L
|l, m) = (l + m)(l m + 1) h |l, m 1)

dado na Eq. (3.5.40). Usando novamente (3.6.13), encontra-se
(n
|l, m 1) =
1
(l + m)(l m + 1) h
ihe
i
i
c
c0
cotg0
c
c
(n
| l, m)
=
1
(l + m)(l m + 1)
e
i c
c0
+ i cotg0
c
c
(n
| l, m) (3.6.36)
Fazendo-se m = l, l 1, ., obtm-se sucessivamente Y
l
l
, Y
l
l1
, ., Y
l
0
, .Y
l
l
. O resultado geral, para
m _ 0
Y
l
m
(0, ) =
(1)
l
2
l
l!
(2l + 1)
4m
(l + m)!
(l m)!
e
im 1
sen
m
0
d
lm
d(cos 0)
lm
(sen0)
2l
(3.6.37)
e definimos Y
l
m
atravs da relao
Y
l
m
(0, ) = (1)
m
|Y
l
m
(0, )]
-
(3.6.38)
Dependncia em 0. Independente de m ser positivo ou negativo, a dependncia em 0 de
Y
l
m
(0, ) |sen0]
|m|
vezes um polinmio em cos 0, com a maior potncia valendo l |m|. Para m = 0,
obtm-se
Y
l
0
(0, ) =
2l + 1
4m
P
l
(cos 0) (3.6.39)
Podemos mostrar que os valores de l devem ser inteiros. Leia os argumentos no final da seo.
Harmnicos Esfricos como Matrizes de Rotao
HE sob o ponto de vista das MR. Neste contexto, vamos construir o autoket |n ) a partir de |z ),
aplicando operadores de rotao apropriado D(R), tal que
|n ) = D(R)|z ) (3.6.46)
Isto pode ser obtido, usando-se a mesma tcnica para a construo do autospinor de - n na Se.
3.2 (veja figura abaixo):
(1) rotao 0 em torno do eixo y; (2) rotao em torno do eixo z.
Segunda
rotao
Primeira
rotao
|n
)
|z
)
x
y
z
Em termos dos ngulos de Euler, o, [ e ,, temos
D(o = , [ = 0, , = 0).
A equao |n ) = D(R)|z ) pode ser reescrita como uma expanso em termos de |l, m)
|n ) =
_
l
_
m
D(R) |l, m)(l, m|z )
onde |n ) contm todos os possveis valores de l. Projetando no estado (l
'
, m
'
| apenas um termo na
soma l contribui, isto ,
(l
'
, m
'
|n ) =
_
l
_
m
D(R) (l, m
'
|l, m)(l, m|z )
=
_
l
_
m
(l
'
, m
'
| D(R) |l, m)(l, m|z )
=
_
m
D
m
'
m
(l
'
)
(o = , [ = 0, , = 0) (l
'
, m|z )
uma vez que D s conecta estados com o mesmo valor de l ou j . Ou seja
(l, m
'
|n ) =
_
m
D
m
'
m
(l)
(o = , [ = 0, , = 0) (l, m|z ) (6.6.49)
Por definio
(n
|l, m) = Y
l
m
(0, )
ento
(z|l, m) = Y
l
m
0 = 0, indeterminado
e portanto
(l, m|z ) = Y
l
m-
0 = 0, indeterminado
um nmero. Sabe-se que, para 0 = 0, Y
l
m
se anula para m = 0, uma vez que |z ) um autoket de
L
z
com autovalor zero. Assim,
(l, m|z ) = Y
l
m-
0 = 0, indeterminado o
m0
=
(2l + 1)
4m
P
l
(cos 0)
cos 0=1
o
m0
=
(2l + 1)
4m
o
m0
Voltando Eq. (3.6.49), obtm-se
Y
l
m
'
-
(0, ) =
_
m
D
m
'
m
(l)
(o = , [ = 0, , = 0) (l, m|z )
=
(2l + 1)
4m
_
m
D
m
'
m
(l)
(o = , [ = 0, , = 0) o
m0
=
(2l + 1)
4m
D
m
'
0
(l)
(o = , [ = 0, , = 0)
ou
D
m0
(l)
(o, [, , = 0) =
4m
(2l + 1)
Y
l
m-
(0, )
0=[,=o
(3.6.52)
Caso m = 0. Para m = 0, que de particular importncia, partindo de
D
m
'
m
(j)
(o, [, ,) = e
i(m
'
o+m,)
d
m
'
m
(j)
([),
com m = m
'
= 0, encontramos
D
00
(j)
(o = , [ = 0, , = 0) = d
00
(j)
([)
Logo,
d
00
(j)
([)
[=0
=
4m
(2l + 1)
Y
l
0-
(0, )
=
4m
(2l + 1)
(2l + 1)
4m
P
l
(cos 0)
ou seja,
d
00
(j)
([)
[=0
= P
l
(cos 0). (3.6.53)
3.7 Adio de Momentos Angulares
Aplicaes em todas as reas da fsica moderna alm de oferecer uma excelente oportunidade
para ilustrar os conceitos de mudana de base discutiva no Captulo 1.
Exemplos Simples de Adio de Momento Angular
Exemplo (1): Adio de momento angular orbital e de spin. Neste exemplo vamos estudar
sistemas de spin
1
2
sem ignorar os outros graus de liberdade, como fizemos at agora. Uma
descrio realstica de uma partcula com spin deve levar em conta tanto os graus de liberdade
espaciais quanto os graus de liberdade internos.
Base ket para uma partcula de spin
1
2
. A base ket para uma partcula de spin
1
2
pode ser
visualizada como sendo o espao produto-direto do espao ket infinito dimensional dos autokets
da posio |x
'
) e o espao bidimensional do spin, |+) e |). Explicitamente, para a base ket,
temos
|x
'
, ) = |x
'
) ; |) (3.7.1)
onde qualquer operador no espao descrito por |x
'
) comuta com qualquer operador no espao
descrito por |).
Operador rotao. Neste espao, o operador rotao tem ainda a forma exp(iJ - n /h), mas
J, o gerador de rotaes, agora possui duas partes:
J = L + S (3.7.2)
Forma mais evidente:
J = L ; 1
S
+ 1
x
' ; S (3.7.3)
onde 1
S
o operador indentidade no espao do spin e 1
x
' o operado identidade no espao de
dimenso infinita dos autokets da posio.
Uma vez que L e S comutam, podemos escrever
D(R) = D
(orb)
(R) ; D
(spin)
(R)
= exp
iJ - n
h
; exp
iS - n
h
(3.7.4)
Funo de onda. A funo de onda para uma partcula com spin escrita como
(x
'
, |o) =
(x
'
) (3.7.5)
As duas componentes s vezes so dispostas na forma de matriz coluna
+
(x
'
)
(x
'
)
onde |
(x
'
)|
2
representa a densidade de probabilidade de encontrar a partcula na posio x
'
com
spin para cima (+) e para baixo ().
Base alternativas
Base formada pelos autokets de L
2
, L
z
, S
2
e S
z
. Ao invs da base |x
'
) para a parte espacial,
podemos usar |n, l, m) que so autokets de L
2
e L
z
, ou seja,
L
2
|n, l, m) = l(l + 1)h
2
|n, l, m)
L
z |n, l, m) = mh |n, l, m)
e para a parte de spin |), que so autokets de S
2
e S
z
, ou seja,
S
2
|) =
1
2
1
2
+ 1 h
2
|) =
3
4
h
2
|)
S
z |) =
1
2
h|).
Base formada pelos autokets de J
2
, J
z
, L
2
e S
2
. Como veremos mais adiante, podemos
tambm usar uma base formada pelos autokets de J
2
, J
z
, L
2
e S
2
.
Em outras palavras, podemos expandir um ket de estado de uma partcula com spin em termos
dos autokets simultneos de L
2
, L
z
, S
2
e S
z
ou em termos dos autokets simultneos de J
2
, J
z
, L
2
e
S
2
.
Exemplo (2): Adio de dois momentos angulares de spin. Neste exemplo, vamos estudar
duas partculas de spin
1
2
digamos, dois eltrons com o grau de liberdade orbital ignorado.
O operador spin total geralmente escrito como
S = S
1
+ S
2
(3.7.7)
que deve ser entendido como
S = S
1
; 1
2
+ 1
1
; S
2
(3.7.8)
onde 1
1
representa o operador identidade no espao de spin do eltron 1, e 1
2
, no espao de spin
do eltron 2.
Como sabemos,
|S
1x
, S
2y
] = 0, . (3.7.9)
Dentro do prprio espao, temos as relaes de comutao usuais:
|S
1x
, S
1y
] = ihS
1z
, |S
2x
, S
2y
] = ihS
2z
, . (3.7.10)
Como consequncia das anteriores, as relaes de comutao para o operador spin total so
|S
x
, S
y
] = ihS
z
, . (3.7.11)
Autovalores dos operadores spins. Os autovalores para os vrios operadores de spin so
listados abaixo
Operador Autovalor
S
2
= (S
1
+ S
2
)
2
s(s + 1)h
2
S
z
= S
1z
+ S
2z
mh
S
1z
m
1
h
S
2z
m
2
h
Expanso de um estado de spin arbitrrio. Podemos expandir um estado de spin arbitrrio
em termos dos autokes de S
2
e S
z
ou em termos dos autokets de S
1z
e S
2z
. As duas possibilidades
so:
1. A representao m
1
, m
2
) baseada nos autoketes de S
1z
e S
2z
:
|m
1
, m
2
) |+, +), |+, ) |, +) e |, )
2. A representao s, m) (representao singleto-tripleto) baseada nos autokets de S
2
e S
z
:
|s, m) |s = 1, m = +1), |s = 1, m = 0), |s = 1, m = 1),
|s = 0, m = 0).
onde s = 1 (s = 0) tripleto de spin (singleto de spin).
Observe que em cada conjunto existem quatro kets de base. A relao entre os dois conjuntos :
|s = 1, m = +1) = |+, +) (a)
|s = 1, m = 0) =
1
2
|+, ) + |, +) (b)
|s = 1, m = 1) = |, ) (c)
|s = 0, m = 0) =
1
2
|+, ) |, +) (d)
(3.7.15)
Demonstrao. O lado direito de (a) nos diz que temos ambos os eltrons com spin para cima;
esta situao s pode corresponder a s = 1 e m = 1. A (b) pode ser obtida de (a), aplicando-se o
operador abaixamento
S
= S
1
+ S
2
= (S
1x
iS
1y
) + (S
2x
iS
2y
) (3.7.16)
a ambos os lados de (a). Ou seja,
S
|s = 1, m = +1) = (S
1
+ S
2
) |+, +) (3.7.17)
onde S
1
(S
2
) afeta apenas a primeira (segunda) entrada de |+, +). Lembrando que
J
|j, m) = (j + m)(j m + 1) h |j, m 1)
encontramos para este caso:
(1 + 1)(1 1 + 1) h |s = 1, m = 0) =
1
2
+
1
2
1
2

1
2
+ 1 h |, +)
+
1
2
+
1
2
1
2

1
2
+ 1 h |+, )
ou
2 |s = 1, m = 0) = |, +) + |+, )
|s = 1, m = 0) =
1
2
|, +) + |+, )
Da mesma forma, podemos obter (c):
S
|s = 1, m = 0) =
1
2
(S
1
+ S
2
) |, +) + |+, )
ou
(1 + 0)(1 0 + 1) h|s = 1, m = 1)
=
1
2
S
1 |, +) + S
1|+, ) + S
2 |, +) + S
2|+, )
=
1
2
0 + S
1|+, ) + S
2 |, +) + 0
=
1
2
1
2
+
1
2
1
2

1
2
+ 1 h |, )
+
1
2
+
1
2
1
2

1
2
+ 1 h |, )
ou
2 |s = 1, m = 1) = 2 |, ) |s = 1, m = 1) = |, ).
Finalmente, a (d) pode ser obtida, exigindo que este seja ortogonal aos outros trs kets, em
particular ao (b).
Coeficientes de Clebsch-Gordan. Os coeficientes que aparecem do lado direito de (3.7.15)
so o exemplo mais simples dos coeficientes de Clebsch-Gordan, que sero discutidos mais
adiante. Eles representam simplesmente os elementos da matriz de transformao que conecta a
base m
1
, m
2
) base s, m).
Outra forma de obter os coeficientes. Uma outra maneira de se obter esses coeficiente
escrever a representao matricial do operador
S
2
= (S
1
+ S
2
)
2
= S
1
2
+ S
2
2
+ 2S
1
- S
2
= S
1
2
+ S
2
2
+ 2S
1z
S
2z
+ S
1+
S
2
+ S
1
S
2+
(3.7.19)
na base m
1
, m
2
). Ou seja
(m
1
, m
2 |
(+, +| (+, | (, +| (, |
|m
1
, m
2
)
S
2
=` h
2
2 0 0 0
0 2 1 0
0 1 2 0
0 0 0 2
|+, +)
|+, )
|, +)
|, )
Como se pode observar, esta matriz quadrada no diagonal, devido aos operadores S
1
e S
2
que conectam estados |m
1
, m
2
) com |m
1
1, m
2
1). Mas podemos mostrar que esta matriz
diagonalizado por uma matriz unitria do tipo
U =
1 0 0 0
0
1
2

1
2
0
0
1
2
1
2
0
0 0 0 1
uma vez que
U
1
S
2
U =
1 0 0 0
0
1
2
1
2
0
0
1
2
1
2
0
0 0 0 1
2 0 0 0
0 2 1 0
0 1 2 0
0 0 0 2
1 0 0 0
0
1
2

1
2
0
0
1
2
1
2
0
0 0 0 1
=
2 0 0 0
0 3 0 0
0 0 1 0
0 0 0 2
Os elementos da matriz U que diagonaliza S
2
so os coeficientes de Clebsch-Gordan para este
problema.
Teoria Formal da Adio de Momento Angular
Considere dois operadores momentos angulares J
1
e J
2
. Suas componentes satisfazem as
relaes de comutao usuais para momento angular:
|J
1i
, J
1,j
] = ihc
ijk
J
1k
(3.7.20a)
e
|J
2i
, J
2,j
] = ihc
ijk
J
2k
(3.7.20b)
Porm,
|J
1k
, J
2j
] = 0 (3.7.21)
entre os pares de operadores de diferentes subespaos.
Operador rotao infinitesimal. O operador rotao infinitesimal que afeta ambos os
subespaos, 1 e 2, escrito como
1
iJ
1
- n o
h
; 1
iJ
2
- n o
h
= 1
i(J
1
; 1
2
+ 1
1
; J
2
) - n o
h
(3.7.22)
O momento angular total definido por
J = J
1
; 1
2
+ 1
1
; J
2
(3.7.23)
que mais comumente escrito como
J = J
1
+ J
2
(3.7.24)
Rotao finita. A verso de ngulo finito de (3.7.22)
D
1
(R) ; D
2
(R) = exp
iJ
1
- n
h
; exp
iJ
2
- n
h
(3.7.25)
Relao de comutao do momento total. Devido a (3.7.20) e (3.7.21), o momento angular
total satisafaz as relaes de comutao
|J
i
, J
j
] = ihc
ijk
J
k
(3.7.26)
Escolha da base. Temos duas opes para a escolha da base:
Opo A - Base formada pelos autokets simultneos de J
1
2
, J
2
2
, J
1z
e J
2z
, denotado por
|j
1
j
2
; m
1
m
2
). Esses operadores comutam entre si. As equaes de autovalores para esses
operadores so
J
1
2
|j
1
j
2
; m
1
m
2
) = j
1
(j
1
+ 1)h
2
|j
1
j
2
; m
1
m
2
)
J
1z|j
1
j
2
; m
1
m
2
) = m
1
h|j
1
j
2
; m
1
m
2
)
J
2
2
|j
1
j
2
; m
1
m
2
) = j
2
(j
2
+ 1)h
2
|j
1
j
2
; m
1
m
2
)
J
2z|j
1
j
2
; m
1
m
2
) = m
2
h|j
1
j
2
; m
1
m
2
)
Opo B - Base formada pelos autokets simultneos de J
2
, J
1
2
, J
2
2
, e J
z
. Esses operadores
comutam entre si. Denotamos esta base por |j
1
j
2
; jm). As equaes de autovalores para
esses operadores so
J
1
2
|j
1
j
2
; jm) = j
1
(j
1
+ 1)h
2
|j
1
j
2
; jm)
J
2
2
|j
1
j
2
; jm) = j
2
(j
2
+ 1)h
2
|j
1
j
2
; jm)
J
2
|j
1
j
2
; jm) = j(j + 1)h
2
|j
1
j
2
; jm)
J
z|j
1
j
2
; jm) = mh|j
1
j
2
; jm)
Embora se tenha
|J
2
, J
z
] = 0, (3.7.31)
esta relaao no vale para as componentes z de J
1
e J
2
, ou seja,
|J
2
, J
1z
] = 0 e |J
2
, J
2z
] = 0 (3.7.32)
como pode se demonstrado, escrevendo-se
J
2
= J
1
2
+ J
2
2
+ 2J
1z
J
2z
+ J
1+
J
2
+ J
1
J
2+
.
Mudana de base. Vamos considerar a transformao unitria que conecta as duas bases:
|j
1
j
2
; jm) =
_
m1
_
m2
|j
1
j
2
; m
1
m
2
)(j
1
j
2
; m
1
m
2 |j
1
j
2
; jm) (3.7.33)
onde usamos
_
m1
_
m2
|j
1
j
2
; m
1
m
2
)(j
1
j
2
; m
1
m
2 | = 1 (3.7.34)
Os elementos de matriz (j
1
j
2
; m
1
m
2 |j
1
j
2
; jm) desta transformao so os coeficientes de
Clebsch-Gordan, C
jm
m1m2
.
Propriedades dos coeficientes de Clebsch-Gordan
1. Os coeficientes C
jm
m1m2
so nulos, exceto para
m = m
1
+ m
2
.
Demonstrao: Seja J
z
= J
1z
+ J
2z
. Ento
J
z
|j
1
j
2
; jm) = (J
1z
+ J
2z
) |j
1
j
2
; jm) m = m
1
+ m
2
.
2. Os coeficientes C
jm
m1m2
so nulos, exceto para
|j
1
j
2 | _ j _ j
1
+ j
2
. (3.7.38)
Demonstrao: Esta a verso quntica do modelo vetorial da adio de dois momentos
angulares, onde visualisamos J como a soma vetorial de J
1
e J
2
. Porm, importante verific-la,
mostrando que, se (3.7.38) vlida, ento a dimensionalidade do espao definido por
|j
1
j
2
; m
1
m
2
)) a mesma de |j
1
j
2
; jm)). No primeiro caso, a dimenso vale
N = (2j
1
+ 1) (2j
2
+ 1) (3.7.39)
Para o segundo caso, considerando j
1
_ j
2
, vemos que, para cada valor de j, existem 2j + 1
estados e, de acordo com (3.7.38) j pode variar desde j
1
j
2
at j
1
+ j
2
. Assim,
N =
_
j=j1j2
j1+j2
(2j + 1)
=
|2(j
1
+ j
2
) + 1) + 2(j
1
j
2
) + 1)](2j
2
+ 1)
2
= (2j
1
+ 1) (2j
2
+ 1)
Uma vez que ambas as contagem do o mesmo valor de N, vemos que (3.7.38) consistente
(veja prova no Apndice B).
Os coeficientes de Clebsch-Gordan forma uma matriz unitria. Alm disso, os elementos de
matriz, por conveno, so tomados como sendo reais. Uma consequncia imediata disto, que
(j
1
j
2
; m
1
m
2 |j
1
j
2
; jm) = (j
1
j
2
; jm|j
1
j
2
; m
1
m
2
)
ou seja, os inversos so iguais aos prprios coeficientes. Uma matriz unitria real ortogonal.
Assim,
_
jm
(j
1
j
2
; m
1
m
2 |j
1
j
2
; jm)(j
1
j
2
; m
1
'
m
2
'
|j
1
j
2
; jm) = o
m1m
1
' o
m2m
2
' (3.7.41)
ou seja,
_
jm
(j
1
j
2
; m
1
m
2 |j
1
j
2
; jm)(j
1
j
2
; m
1
'
m
2
'
|j
1
j
2
; jm)
=
_
jm
(j
1
j
2
; m
1
m
2 |j
1
j
2
; jm)(j
1
j
2
; jm|j
1
j
2
; m
1
'
m
2
'
)
= (j
1
j
2
; m
1
m
2 |j
1
j
2
; m
1
'
m
2
'
) = o
m1m
1
' o
m2m
2
'
devido ortogonalidade dos estados |j
1
j
2
; m
1
m
2
), juntamente com a condio de que os
coeficientes so reais. Da mesma forma,
_
m1, m2
(j
1
j
2
; m
1
m
2 |j
1
j
2
; jm)(j
1
j
2
; m
1
m
2 |j
1
j
2
; j
'
m
'
) = o
jj
' o
mm
' (3.7.42)
ou seja,
_
m1, m2
(j
1
j
2
; m
1
m
2 |j
1
j
2
; jm)(j
1
j
2
; m
1
m
2 |j
1
j
2
; j
'
m
'
)
=
_
m1, m2
(j
1
j
2
; jm|j
1
j
2
; m
1
m
2
)(j
1
j
2
; m
1
m
2 |j
1
j
2
; j
'
m
'
)
= (j
1
j
2
; jm|j
1
j
2
; j
'
m
'
) = o
jj
' o
mm
'
onde usamos argumentos similares.
Normalizao de |j
1
j
2
; jm). Como caso especial deste ltimo, faamos j
'
= j, m
'
= m = m
1
+ m
2
.
Obtm-se
_
m1, m2
(j
1
j
2
; m
1
m
2 |j
1
j
2
; jm)(j
1
j
2
; m
1
m
2 |j
1
j
2
; jm)
=
_
m1, m2
|(j
1
j
2
; m
1
m
2 |j
1
j
2
; jm)|
2
= 1
que justamente a condio de normalizao para |j
1
j
2
; jm).
Smbolo 3j de Wigner. Os coeficientes de Clebsch-Gordan podem tambm ser escritos em
termos dos smbolos 3j de Wigner:
(j
1
j
2
; m
1
m
2 |j
1
j
2
; jm) = (1)
j1j2+m
2j + 1
j
1
j
2
j
m
1
m
2
m
(3.7.44)
Relaes de Recorrncia para os Coeficientes de Clebsch-Gordan
Fixando-se j
1
, j
2
e j, os coeficientes com diferentes valores de m
1
e m
2
esto relacionados entre si
atravs de relaes de recorrncia. Partindo com
J
|j
1
j
2
; jm) = (J
1
+ J
2
) _
m
1
'
_
m
2
'
|j
1
j
2
; m
1
'
m
2
'
)
e usando (3.5.39) e (3.5.40) obtemos
(j + m)(j m + 1) |j
1
j
2
; j, m 1)
=
_
m
1
'
_
m
2
'
(j
1
+ m
1
'
)(j
1
m
1
'
+ 1) |j
1
j
2
; m
1
'
1, m
2
'
)
+ (j
2
+ m
2
'
)(j
2
m
2
'
+ 1) |j
1
j
2
; m
'
, m
2
'
1) (j
1
j
2
; m
1
'
m
2
'
|j
1
j
2
; jm)
Multiplicando agora o resultado por (j
1
j
2
; m
1
m
2 | e usando a ortogonalidade, que significa
contribuies no nulas para o lado direito apenas se
m
1
= m
1
'
1, m
2
= m
2
'
, primeiro termo
m
1
= m
1
'
, m
2
= m
2
'
1, segundo termo.
Desta forma, obtm-se as relaes de recorrncia desejadas:
(j + m)(j m + 1) (j
1
j
2
; m
1
m
2
|j
1
j
2
; j, m 1)
= (j
1
+ m
1
)(j
1
m
1
+ 1) (j
1
j
2
; m
1
+ 1, m
2|j
1
j
2
; jm)
+ (j
2
+ m
2
)(j
2
m
2
+ 1) (j
1
j
2
; m
1
, m
2
+ 1|j
1
j
2
; jm) (3.7.49)
Suprimindo a j
1
j
2
da notao, isto ,
|j
1
j
2
; jm) |jm) e |j
1
j
2
; m
1
m
2
) |m
1
m
2
)
podemos escrever
(j + m)(j m + 1) (m
1
m
2
|j, m 1)
= (j
1
+ m
1
)(j
1
m
1
+ 1) (m
1
+ 1, m
2|jm)
+ (j
2
+ m
2
)(j
2
m
2
+ 1) (m
1
, m
2
+ 1|jm) (3.7.49)
Visualizao das relaes de recorrncia. Representando os valores dos m
'
s no plano m
1
m
2
,
as relaes de recorrncia para J
+
diz-nos que os coeficientes para (m
1
, m
2
) esto relacionados
aos coeficientes para (m
1
1, m
2
) e (m
1
, m
2
1). Da mesma forma, para J
, a relao de
recorrncia relaciona os trs coeficientes cujos valores de m
1
e m
2
so dados na figura da direita.
(m
1
-1,m
2
)
(m
1
,m
2
-1)
(lado direito)
J
+
J
-
(lado direito)
(m
1
,m
2
)
(lado esquerdo)
(m
1
,m
2
)
(lado esquerdo)
(m
1
,m
2
+1)
(lado direito)
(m
1
+1,m
2
)
(lado direito)
Os coeficientes de Clebsch-Gordan e as relaes de recorrncia. Considere o plano m
1
m
2
com j
1
, j
2
e j fixos. Na parte (a) da figura abaixo, plotamos o contorno da regio permitida
determinado por
|m
1 | _ j
1
, |m
2 | _ j
2
, j _ m (= m
1
+ m
2
) _ j.
A
m
1
+ m
2
= j
m
2
= j
2
m
2
= - j
2
m
1
= - j
1
m
1
= j
1
A
D
E
F
C
B
x
proibido!
J
+
J
+
J
-
J
-
(a)
(b)
J
-
m
1
+ m
2
= - j
Partimos com o canto direito superior representado por A.
Aplicamos a relao de recorrncia para J
(sinal inferior) com (m

1
, m
2
+ 1)
correspondendo a A. Observe que esta relao s conecta A com B, porque o stio
correspondendo a (m
1
+ 1, m
2
) proibido por m
1
_ j
1
. Como resultado, obtemos os
coeficientes de C-G de B em termos dos coeficientes de A.
Em seguida, forma-se o tringulo J
+
com A, B e D. Isto permite encontrar o coeficientte de
D, uma vez que o coeficiente de A seja especificado.
Conhecendo-se B e D, podemos obter E.
Conhecendo-se B e E podemos obter C e assim por diante.
Adio de j
1
= l e j
2
= s =
1
2
Considere o seguinte exemplo de adio do momento angular orbital com o momento angular de
spin 1/2:
j
1
= l, (inteiro), m
1
= m
l
j
2
= s =
1
2
, m
2
= m
s
(3.7.52)
Valores de j permitidos . Neste caso, os valores de j permitidos so
j = l
1
2
, l > 0.
j =
1
2
, l = 0.
(3.7.53)
Assim, para cada l, existem dois valores permitidos para j
j = l +
1
2
e l
1
2
.
Por exemplo, para l = 1 (estado p), os valores permitidos de j so: j =
3
2
e
1
2
. Na notao
espectroscpica, p
3/2
e p
1/2
onde o subscrito refere-se a j.
Plano m
1
m
2
. O plano m
1
m
2
, ou melhor, o plano m
l
m
s
deste problema particularmente
simples: os stios permitidos formam apenas duas linhas. A linha superior, para m
s
=
1
2
, e a
inferior, para m
s
=
1
2
.
Caso j = l +
1
2
. Vamos estudar o caso especfico j = l +
1
2
. Uma vez que m
s
no pode ser
maior que
1
2
, podemos usar a recorrncia de J
de maneira que sempre estaremos na linha

superior m
2
= m
s
=
1
2
, enquanto que o valor de m
l
varia por uma unidade, cada vez que
consideramos um novo tringulo J
. De (3.7.49) (sinal inferior), para m

1
= m
l
= m
1
2
e
m
2
= m
s
=
1
2
, ou seja,
(j + m)(j m + 1) (m
l
m
s
|j, m 1)
= (j
1
+ m
1
)(j
1
m
1
+ 1) (m
l
+ 1, m
s|jm)
+ (j
2
+ m
2
)(j
2
m
2
+ 1) (m
l
, m
s
+ 1|jm)
encontramos fazendo m m + 1:
l +
1
2
+ m + 1 l +
1
2
m (m
1
2
,
1
2
|l +
1
2
, m)
= l + m +
1
2
l m +
1
2
m +
1
2
,
1
2
l +
1
2
, m + 1
Logo,
(m
1
2
,
1
2
|l +
1
2
, m) =
l + m +
1
2
l m +
1
2
l +
1
2
+ m + 1 l +
1
2
m
m +
1
2
,
1
2
l +
1
2
, m + 1
ou
m
1
2
,
1
2
l +
1
2
, m =
l + m +
1
2
l + m +
3
2
m +
1
2
,
1
2
l +
1
2
, m + 1
Fazendo m m + 1, sucessivamente, nesta equao, at que m = l, encontramos
m +
1
2
,
1
2
l +
1
2
, m + 1 =
l + m +
3
2
l + m +
5
2
m +
3
2
,
1
2
l +
1
2
, m + 2
m +
3
2
,
1
2
l +
1
2
, m + 2 =
l + m +
5
2
l + m +
7
2
m +
5
2
,
1
2
l +
1
2
, m + 3
m +
5
2
,
1
2
l +
1
2
, m + 2 =
l + m +
7
2
l + m +
9
2
m +
7
2
,
1
2
l +
1
2
, m + 4
.
l 1,
1
2
l +
1
2
, l 1 +
1
2
=
2l
2l + 1
l,
1
2
l +
1
2
, l +
1
2
e, portanto,
m
1
2
,
1
2
l +
1
2
, m
=
l + m +
1
2
l + m +
3
2

l + m +
1
2
l + m +
3
2

l + m +
3
2
l + m +
5
2

2l
2l + 1
l,
1
2
l +
1
2
, l +
1
2
=
l + m +
1
2
2l + 1
l,
1
2
l +
1
2
, l +
1
2
. (3.7.57)
m
s
m
l
J
-
J
-
J
-
x x x
Configurao de valores mximos: m
1
= l e m
2
=
1
2
. Neste caso, o valor total m = m
1
+ m
2
vale m = l +
1
2
, que s ser possvel para j = l +
1
2
e no para j = l
1
2
. Assim:
m
l
= l, m
s
=
1
2
= o j = l +
1
2
, m = l +
1
2
onde o um fator de fase. Tomando este fator de fase real e positivo, igual unidade, por
conveno, encontramos
m
l
= l, m
s
=
1
2
j = l +
1
2
, m = l +
1
2
= l,
1
2
l +
1
2
, l +
1
2
= 1 (3.7.58)
Assim, de (3.7.57)
m
1
2
,
1
2
l +
1
2
, m =
l + m +
1
2
2l + 1
(3.7.59)
Estados j = l +
1
2
, m e j = l +
1
2
, m . Como m = m
l
+ m
s
, os valores de m
l
e m
s
podem ser,
para ambos os estados: (a) m
l
= m
1
2
e m
s
=
1
2
e (b) m
l
= m +
1
2
e m
s
=
1
2
. Assim, esses
estados conectam ambos. Logo,
j = l +
1
2
, m = a m
l
= m
1
2
, m
s
=
1
2
+ b m
l
= m +
1
2
, m
s
=
1
2
j = l
1
2
, m = c m
l
= m
1
2
, m
s
=
1
2
+ d m
l
= m +
1
2
, m
s
=
1
2
O parmetro a pode ser facilmente obtido de (3.7.59), sendo dado por a =
l + m +
1
2
2l + 1
. Portanto,
j = l +
1
2
, m =
l + m +
1
2
2l + 1
m
l
= m
1
2
, m
s
=
1
2
+ b m
l
= m +
1
2
, m
s
=
1
2
.
j = l
1
2
, m = c m
l
= m
1
2
, m
s
=
1
2
+ d m
l
= m +
1
2
, m
s
=
1
2
Isto pode ser escrito na forma matricial
j = l +
1
2
, m
j = l
1
2
, m
=
a b
c d
m
1
2
,
1
2
m +
1
2
,
1
2
Devido ortogonalidade, espera-se que a matriz de transformao seja da forma,
a b
c d

cos o seno
seno cos o
Como cos o = a =
l + m +
1
2
2l + 1
, podemos encontrar
seno = b = 1 cos
2
o = 1
l + m +
1
2
2l + 1
=
2l + 1 l m
1
2
2l + 1
=
l m +
1
2
2l + 1
Portanto, a matriz de transformao ser:
l + m +
1
2
2l + 1
l m +
1
2
2l + 1
l m +
1
2
2l + 1
l + m +
1
2
2l + 1
3.8 Modelo de Oscilador de Schwinger do Momento Angular
Existe uma conexo entre a lgebra do momento angular e a lgebra de dois osciladores
desacoplados. Vamos considerar dois tipos de oscilador: oscilador tipo mais e oscilador tipo
menos. Os operadores de criao e destruio so denotados por a
e a
. Os operadores
nmeros so definidos por
N
= a
(3.8.1)
Relaes de comutao. Admitimos que as relaes de comutao para a, a
e N so do
mesmo tipo que dos osciladores. Ou seja,
a
+
, a
+
= 1, |a
, a
] = 1,
|N
+
, a
+
] = a
+
, |N
, a
] = a
,
N
+
, a
+
= a
+
, |N
, a
] = a
.
(3.8.2)
Para osciladores diferentes (desacoplados),
|a
+
, a
] = 0, . (3.8.3)
Como N
+
e N
comutam, podemos definir autoestados simultneos desses operadores, |n

+
, n
), ou
seja,
N
+|n
+
, n
) = n
+|n
+
, n
), N
|n
+
, n
) = n
|n
+
, n
) (3.8.4)
Ao dos operadores a e a
. Em analogia com o problema do oscilador, segue que

a
+
|n
+
, n
) = n
+
+ 1 |n
+
+ 1, n
), a
|n
+
, n
) = n
+ 1 |n
+
, n
+ 1),
a
+|n
+
, n
) = n
+ |n
+
1, n
), a
|n
+
, n
) = n
|n
+
, n
1).
(3.8.5)
Ket |n
+
, n
) a partir do vcuo |0, 0). Para obter o ket |n
+
, n
) basta aplicar sucessivamente a
+
e
a
ao vcuo |0, 0). Isto

a
+
|0, 0) = |1, 1) |1, 1) = a

+
|0, 0)
a
+
|1, 1) = 2 2 |2, 2) |2, 2) =

a
+
2
a
2
|1, 1) =
a
+
2
2
(a
)
2
2
|0, 0)
a
+
|2, 2) = 3 3 |3, 3) |3, 3) =

a
+
3
a
3
|2, 2) =
a
+
3
3 2
(a
)
3
3 2
|0, 0)
onde
a
|0, 0) = 0 (3.8.6)
De uma maneira geral
|n
+
, n
) =
a
+
n+
(a
)
n
n
+
! n
!
|0, 0) (3.8.7)
Agora definimos
J
+
= ha
+
, J
= ha
a
+
J
z
=
h
2
a
+
a
+
a
=
h
2
(N
+
N
)
(3.8.8a)
(3.8.8b)
Estes operadores satisfazem as relaes de comutao de momento angular:
|J
z
, J
] = J
, |J
+
, J
] = 2hJ
z
(3.8.9)
Definindo o operador nmero total, N, como
N = N
+
+ N
= a
+
a
+
+ a
,
podemos mostrar que
J
2
= J
z
2
+
1
2
(J
+
J
+ J
J
+
) =
h
2
2
N
N
2
+ 1 .
Demonstrao. Como J
2
= J
x
2
+ J
y
2
+ J
z
2
e escrevendo J
= J
x
iJ
y
, obtm-se J
x
=
1
2
(J
+
+ J
) e
J
y
=
1
2i
(J
+
J
), ento
J
2
= J
x
2
+ J
y
2
+ J
z
2
= J
z
2
+
1
4
(J
+
+ J
)
2
1
2
(J
+
J
)
2
= J
z
2
+
1
4
(J
+
J
+
+ J
+
J
+ J
J
+
+ J
J
+
J
+
+ J
+
J
+ J
J
+
J
)
= J
z
2
+
1
4
(2J
+
J
+ 2J
J
+
)
= J
z
2
+
1
2
(J
+
J + J
J
+
)
Como J
+
= ha
+
e J
= ha
a
+
, a
, a
= 1 e a
, a
+
= 0 encontramos
J
+
J
= h
2
a
+
a
+
= h
2
a
+
(1 + a
)a
+
= h
2
a
+
a
+
(1 + a
)
= h
2
N
+
(1 + N
)
Da mesma forma
J
J
+
= h
2
a
a
+
a
+
= h
2
a
1 + a
+
a
+
a
= h
2
a
1 + a
+
a
+
= h
2
N
(1 + N
+
)
assim como,
J
z
2
=
h
2
4
(N
+
N
)
2
=
h
2
4
|N
+
2
+ N
2
2N
+
N
]
onde usamos |N
+
, N
] = 0. Logo,
J
2
= J
z
2
+
1
2
(J
+
J
+ J
J
+
)
=
h
2
4
|N
+
2
+ N
2
2N
+
N
] +
h
2
2
N
+
(1 + N
) + N
(1 + N
+
)
=
h
2
2
N
+
2
+ N
2
2N
+
N
2
+ N
+
+ N
+
N
+ N
+ N
N
+
=
h
2
2
N
+
2
+ N
2
2N
+
N
+ 2(N
+
+ N
) + 4N
+
N
2
=
h
2
2
N
2
+ 2N
2
=
h
2
2
N
N
2
+ 1
como foi antecipado.
Interpretao Fsica
1) interpretao 1
spin para cima uma unidade quntica do oscilador tipo mais.
spin para baixo uma unidade quntica do oscilador tipo menos.
2) interpretao 2
uma partcula de spin 1/2 com spin para cima cada uma unidade quntica do
oscilador tipo mais.
uma partcula de spin 1/2 com spin para baixo cada uma unidade quntica do
oscilador tipo menos.
Os autovalores n
representam o nmero de spins para cima (+) e para baixo ().

J
+
= ha
+
destri uma unidade de spin para baixo, com componente z do momento

angular h/2 e cria uma unidade de spin para cima, com componente z do momento
angular h/2: a componente z do momento angular aumenta uma unidade de h.
J
(= ha
a
+
) destri uma unidade de spin para cima, com componente z do momento
angular h/2 e cria uma unidade de spin para baixo, com componente z do momento angular
h/2: a componente z do momento angular diminui uma unidade de h.
J
z
(= h(N
+
N
)/2) calcula o produto de h/2 pela diferena de n

+
e n
, exatamente a
componente z do momento angular total.
Ao de J
e J
z
sobre |n
+
, n
). Estes operadores atuam sobre |n
+
, n
) da seguinte maneira:
J
+ |n
+
, n
) = ha
+
a
|n
+
, n
) = h n
n
+
+ 1 |n
+
+ 1, n
1)
= n
(n
+
+ 1) h |n
+
+ 1, n
1),
J
|n
+
, n
) = ha
a
+|n
+
, n
) = h n
+
n
+ 1 |n
+
1, n
+ 1)
= n
+
(n
+ 1) h |n
+
1, n
+ 1),
J
z|n
+
, n
) =
h
2
(N
+
N
)|n
+
, n
) =
1
2
(n
+
n
)h |n
+
, n
)
(3.8.13a)
(3.8.13b)
(3.8.13c)
Note que em todas essas operaes, a soma n
+
+ n
, que corresponde ao nmero total de de

partculas de spin 1/2, permanece constante.
Essas expresses podem ser reduzidas s formas familiares de momento angular, fazendo-se
n
+
j + m, n
j m (3.8.14)
Assim,
n
(n
+
+ 1) (j m)(j + m + 1) ,
n
+
(n
+ 1) (j + m)(j m + 1) , (3.8.15)
Tambm, os autovalores de J
2
, definido em (3.8.12) ser
J
2
|n
+
, n
) =
h
2
2
N
N
2
+ 1 |n
+
, n
)
=
h
2
2
(n
+
+ n
)
n
+
+ n
2
+ 1 |n
+
, n
)
Assim, como n
+
+ n
= (j + m) + (j m) = 2j
h
2
2
(n
+
+ n
)
n
+
+ n
2
+ 1
h
2
2
2j
2j
2
+ 1 = h
2
j(j + 1)
Relao entre os elementos de matriz do oscilador e do momento angular
De (3.8.14), podemos usar
j =
1
2
(n
+
+ n
), m =
1
2
(n
+
n
),
no lugar de n
+
e n
, para caracterizar autokets simultneos de J

2
e J
z
. Ou seja,
|n
+
, n
) |j, m).
Ao de J
sobre |j, m). Como vimos, o operador J

+
atuando sobre |n
+
, n
) muda n
+
para n
+
+ 1
e n
para n
1, ou seja,
J
+ |n
+
, n
) = n
(n
+
+ 1) h |n
+
+ 1, n
1)
Usando , isto ser
J
+ |n
+
, n
) J
+
j =
n
+
+ n
2
, m =
n
+
n
2
= (j m)(j + m + 1)
j
'
=
(n
+
+ 1) + (n
1)
2
, m
'
=
(n
+
+ 1) (n
1)
2
= (j m)(j + m + 1) j
'
=
n
+
+ n
2
, m
'
=
n
+
n
2
+ 1
onde j j
'
= j e m m
'
= m + 1:
J
+ |j, m) = (j m)(j + m + 1) |j, m + 1).
De forma similar para J
. A Eq. (3.8.7), ou seja,

|n
+
, n
) =
a
+
n+
(a
)
n
n
+
! n
!
|0, 0)
pode ser escrita agora para o autoket mais geral de N
+
, N
|j, m) =
a
+
j+m
(a
)
jm
(j + m)!(j m)!
|0) (3.8.18)
Caso de interesse. Seja m = j, que fisicamente significa que o autovalor de J
z
o maior
possvel para um dado j. Logo,
|j, j) =
a
+
2j
(2j)!
|0) (3.8.19)
Podemos imaginar este estado como sendo o estado de 2j partculas de spin 1/2 com todos os
spins apontando na direo positiva do eixo z.
Observao (1) Em geral, notamos que objetos complicados com valores altos de j podem ser
visualizados como sendo constitudos de partculas de spin 1/2, das quais j + m com spins para
cima e j m com spins para baixo.
Observao (2) Embora nem sempre se possa considerar literalmente um objeto de momento
angular j como um sistema composto de partculas de spin 1/2, sempre possvel afirmar que,
enquanto estamos considerando as propriedades de transformao sob rotaes, podemos
visualizar qualquer objeto de momento angular j como um sistema composto de 2j partculas de
spin 1/2 formado da maneira indicada pela Eq. (3.8.18).
Leia o restante da seo.
Frmula Explcita para Matrizes de Rotao
O esquema de Schwinger pode ser usado para obter, de uma maneira bastante simples, uma
frmula fechada para as matrizes de rotao.
Vamos aplicar o operador D(R) a |j, m). Na notao dos ngulos de Euler, a nica rotao no
trivial aquela em torno do eixo y
D(R) = D(o, [, ,)|
o=[=0
= exp
iJ
y
[
h
Assim,
D(R) |j, m) = D(R)
a
+
j+m
(a
)
jm
(j + m)!(j m)!
|0)
=
D(R)a
+
D
1
(R)
j+m
|D(R)a
D
1
(R)]
jm
(j + m)!(j m)!
(3.8.21)
Como
D(R)|0) = exp
iJ
y
[
h
|0)
= 1 +
i[
h
J
y
+
1
2!
i[
h
2
J
y
2
+ |0)
e com J
y
=
1
2i
(J
+
J
) =
h
2i
a
+
a
+
,
J
y|0) =
h
2i
a
+
a
+ |0)
= 0
devido a (3.8.6). Assim,
D(R)|0) = |0).
Logo,
D(R)a
D
1
(R) = exp
iJ
y
[
h
a
exp
iJ
y
[
h
(3.8.22)
Usando o lema de Baker-Hausdorff com
A a
, G
J
y
h
, z [
Calculando os diversos comutadores do tipo |G, A], |G, |G, A]], . encontramos
J
y
h
, a
+
=
1
2i
a
+
a
+
, a
+
=
1
2i
a
+
, a
+
a
+
, a
+
=
1
2i
a
+
, a
+
+ a
+
, a
+
a
+
, a
+
, a
+
a
+
=
1
2i
a
+
0 + 0 a
a
+
, a
+
0 a
+
=
1
2i
a
a
+
, a
+
=
1
2i
a
J
y
h
,
J
y
h
, a
+
=
J
y
h
,
1
2i
a
=
1
2i
J
y
h
, a
=
1
4
a
+
.
Assim
exp
iJ
y
[
h
a
+
exp
iJ
y
[
h
= a
+
+ i[
J
y
h
, a
+
+
i[
2!
2
J
y
h
,
J
y
h
, a
+
+
i[
3!
3
J
y
h
,
J
y
h
,
J
y
h
, a
+
+
ou
exp
iJ
y
[
h
a
+
exp
iJ
y
[
h
= a
+
+ i[
1
2i
a
+
i[
2!
2
1
4
a
+
Finalmente,
exp
iJ
y
[
h
a
+
exp
iJ
y
[
h
= a
+
+
[
2
a

i[
2!
2
1
4
a
+
+
= a
+
1
i
2!
2
[
2
2
+ a
+
+
[
2
+ a
= a
+
cos
[
2
+ a
sen
[
2
.
ou seja,
exp
iJ
y
[
h
a
+
exp
iJ
y
[
h
= a
+
cos
[
2
+ a
sen
[
2
(3.8.25)
Da mesma forma
exp
iJ
y
[
h
a
exp
iJ
y
[
h
= a
cos
[
2
a
+
sen
[
2
(3.8.26)
Substituindo estas duas ltimas expresses em (3.8.21), encontra-se
D(R) |j, m)
=
D(R)a
+
D
1
(R)
j+m
|D(R)a
D
1
(R)]
jm
(j + m)!(j m)!
|0)
=
a
+
cos
[
2
+ a
sen
[
2
j+m
a
cos
[
2
a
+
sen
[
2
jm
(j + m)!(j m)!
|0)
Recorrenco ao teorema binomial,
(x + y)
N
=
_
k
N!
(N k)! k!
x
Nk
y
k
(3.8.28)
encontramos
a
+
cos
[
2
+ a
sen
[
2
j+m
=
_
k
(j + m)!
(j + m k)! k!
a
+
cos
[
2
j+mk
a
sen
[
2
k
e
a
cos
[
2
a
+
sen
[
2
jm
=
_
l
(j m)!
(j m l)! l!
a
+
sen
[
2
jml
a
cos
[
2
l
.
Logo,
D(o = 0, [, , = 0) |j, m)
=
1
(j + m)!(j m)!
_
k
_
l
(j + m)!
(j + m k)! k!
a
+
cos
[
2
j+mk
a
sen
[
2
k
(j m)!
(j m l)! l!
a
+
sen
[
2
jml
a
cos
[
2
l
|0)
Ou,
D(o = 0, [, , = 0) |j, m)
=
_
k
_
l
(j + m)!(j m)!
(j + m k)! k!(j m l)! l!
(1)
jlm
a
+
2jkl
(a
)
k+l
cos
[
2
j+mk+l
sen
[
2
j+klm
|0) (3.8.29)
Outra maneira de expressar este resultado usar (3.5.49), (3.5.5.1) e (3.8.18) , isto ,
D(o = 0, [, , = 0) |j, m) =
_
m
'
|j, m
'
)d
mm
'
(j)
([)
=
_
m
'
d
mm
'
(j)
([)
a
+
j+m
'
(a
)
jm
'
(j + m
'
)!(j m
'
)!
|0) (3.8.30)
Comparando as duas expresses, podemos obter uma forma explcita para d
mm
'
(j)
([), atravs da
igualdade dos coeficientes das potncias de a
+
. Especificamente,
a
+
2jkl
= a
+
j+m
'
o que nos fornece
2j k l = j + m
'
l = j k m
'
(3.8.31)
Para m
'
constante, esta relao nos diz que as somas em k e l no so independentes. Eliminando
l de acordo com (3.8.31),
(a
)
k+l
= (a
)
jm
'
fica automaticamente satisfeita. Os expoentes do sen([/2), cos([/2) e (1) ficam, com esta
substiuio
cos
[
2
j+mk+l
= cos
[
2
j+mk+jkm
'
= cos
[
2
2j2k+mm
'
sen
[
2
j+klm
= sen
[
2
j+kj+k+m
'
m
= sen
[
2
2km+m
'
(1)
jlm
= (1)
km+m
'
Portanto, (3.8.29), aps eliminarmos a soma em l, torna-se
D(o = 0, [, , = 0) |j, m)
=
_
k
a
+
j+m
'
(a
)
jm
'
(j + m
'
)!(j m
'
)!
(j + m)!(j m)! (j + m
'
)!(j m
'
)!
(j + m k)! k!(j m l)! l!
(1)
km+m
'
cos
[
2
2j2k+mm
'
sen
[
2
2km+m
'
|0)
Comparando com (3.8.30) para um m
'
fixo, encontramos
d
m
'
m
(j)
([) =
_
k
(1)
km+m
'
(j + m)!(j m)! (j + m
'
)!(j m
'
)!
(j + m k)! k!(j m l)! l!
cos
[
2
2j2k+mm
'
sen
[
2
2km+m
'
(3.8.33)
que a frmula de Wigner para d
m
'
m
(j)
([).
3.9 Medida de Correlao de Spin e Desigualdade de Bell
Correlaes em Estados Singletos de Spin
Sistema de dois eltrons num estado singleto. Considere dois eltrons com spin total zero.
O estado ket pode ser escrito como
|singleto) =
1
2
|z +; z ) |z ; z +) (3.91)
Medida da componente de spin de um dos eltrons. Existe uma chance de 50% de se obter
(numa medida) qualquer uma das componentes do spin para cada um dos eltrons, uma vez que o
sistema composto pode estar em |z +; z ) ou |z ; z +) com igual probabilidade.
Conhecendo a componente do spin de um dos eltrons. Suponha que um dos eltrons
esteja, com certeza, no estado de spin para cima, o outro eltron est necessariamente no estado
de spin para baixo.
Medida. Quando a componente do spin do eltron 1 est para cima, o aparelho de medida
seleciona o primeiro termo, |z +; z ), de (3.9.1); uma medida subseqente da componente do spin
do eltron 2 deve confirmar que o estado ket do sistema composto dado por |z +; z ).
Correlao. Este tipo de correo pode persistir mesmo quando as duas partculas esto muito
separadas e j interagem uma com a outra. A exigncia que medidas que elas se afastem no
exista nenhuma mudana em seus estados de spin.
Visualizao. Considere a figura que representa um sistema de duas partculas de spins ,
movendo-se em direes opostas.
Partcula 2
B A
Partcula 1
Observadores. O observador A mede S
z
da partcula 1 (indo para a direita), enquanto que o
observador mede o S
z
da partcula 2 (esquerda).
O observador A realiza medida. Se A encontrar S
z
+, ento mesmo antes de B realizar sua
medida, A pode predizer com certeza que o resultado de B ser S
z
para a partcula 2.
O observador A no realiza medida. Sem realizar sua medida, A pode apenas afirmar que o
resultado de B tem 50% de chance para encontrar S
z
+ ou S
z
.
Este resultado parece no ser to estranho. Podemos dizer: parecido com o caso de uma
caixa que contm uma bola preta e uma branca. Quando, sem olhar, retiramos uma delas, existe
uma chance de 50% de tirarmos a bola preta ou a branca. Mas se a primeira for a bola preta, ento
podemos dizer com certeza que a segunda bola ser a branca.
A situao quntica mais complexa. De fato, os observadores podem querer medir S
x
ao
invs de S
z
. Em termos da analogia com a caixa, como se o mesmo par de bolas qunticas
pudesse ser analizado em termos de preto e branco ou em termos de azul e vermelho.
S
x
em termos de S
z
. Para um nico spin, sabemos que
|x , ) =
1
2
|z +) |z ) |z, ) =
1
2
|x +) |x ) (3.9.3)
Logo, para nosso sistema composto,
|singleto) =
1
2
|x ; x +) |x +; x ) (3.9.4)
Observador A. Pode medir tanto S
z
como S
x
da partcula 1, bastando apenas mudar a
orientao do analizador de spin.
Observador B. S pode medir S
x
para a partcula 2.
O observador A realiza uma medida de S
z
. Se A obtm S
z
+ para a partcula 1, a medida de B
pode resultar numa das duas S
x
+ ou S
x
, com igual chance. Mesmo conhecendo-se o S
z
da
partcula 2, sua componente S
x
completamente indeterminada.
O observador A realiza uma medida de S
x
. Se A tambm obtm S
x
+ para a partcula 1, ento
com certeza o observador encontrar S
x
para a partcula 2.
O observador A no realiza medida. Neste caso, B ter uma chance de 50% para obter S
x
+
ou S
x
.
Resumo:
1. Se A mede S
z
e B mede S
x
, existe uma correlao completamente aleatria entre as duas
medidas.
2. Se A e B medem S
x
, existe 100% de correlao de sinais opostos entre as duas medidas.
3. Se A no realiza medida, as medidas de B apresentam resultados aleatrios.
Os observadores A e B podem medir S
x
ou S
z
. Neste caso, todos os resultados possveis
dessas medidas de correlao de spin so mostradas na tabela abaixo:
Medida de A Resultado de A Medida de B Resultado de B
z + z
z x +
x z
x z +
z + x
x + x
z + x +
x x +
z z +
z x
x + z +
x + z
Leia o restante da seo.
3.10 Operadores Tensoriais

Notas de Quântica Do Prof Abraham - Cap. 3

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Notas de Quântica Do Prof Abraham - Cap. 3

Enviado por

Direitos autorais:

Formatos disponíveis

Captulo 3

Teoria do Momento Angular

so, em geral, nmeros complexos. Para _

Procedimento na linguagem de spinor de Pauli. Na linguagem do spinor, esta sequncia de

. Vamos examinar como J

, que sobe ou desce degrau a

sero determinadas mais adiante a partir da condio de normalizao dos

. Para este caso, primeiro vamos considerar os elementos de

, podemos obter todos os Y

|l, m) = (l + m)(l m + 1) h |l, m 1)

(sinal inferior) com (m

de maneira que sempre estaremos na linha

. De (3.7.49) (sinal inferior), para m

comutam, podemos definir autoestados simultneos desses operadores, |n

. Em analogia com o problema do oscilador, segue que

ao vcuo |0, 0). Isto

|0, 0) = |1, 1) |1, 1) = a

|1, 1) = 2 2 |2, 2) |2, 2) =

|2, 2) = 3 3 |3, 3) |3, 3) =

representam o nmero de spins para cima (+) e para baixo ().

destri uma unidade de spin para baixo, com componente z do momento

)/2) calcula o produto de h/2 pela diferena de n

, que corresponde ao nmero total de de

, para caracterizar autokets simultneos de J

sobre |j, m). Como vimos, o operador J

. A Eq. (3.8.7), ou seja,

Você também pode gostar