FI001

Aula 16

Teoria de Momento Angular

Motivacao: atomos, moleculas, espectroscopia, simetrias, espalhamento, etc.
Um bom comeco para este assunto: (1) relacionar rotac
oes com momento
angular; e (2) relacoes de comutacao:
Comece observando que rotacoes sobre o mesmo eixo comutam, sobre eixos
diferentes, nem sempre:

MAPLima

90

45

45

90

FI001
Aula 16

Momento Angular

rotacoes sobre eixos diferentes, nem sempre comutam

y
x

MAPLima

Rx (90 )

Rz (90 )

Rz (90 )

Rx (90 )

FI001
Momento Angular
Aula 16 Vamos mostrar isso quantitativamente. Comecemos representando rotacoes por
matrizes 3 3, reais e ortogonais:
0
1
Vx
Considere um vetor V = @ Vy A . Quando rodamos o sistema (para nos, eixos
Vz
0 0 1
Vx
nao rodam) as componentes mudam para: V0 = @ Vy0 A . As componentes se
Vz0
10
1
0 0 1 0
Vx
R11 R12 R13
Vx
relacionam da seguinte forma: @ Vy0 A = @ R21 R22 R23 A @ Vy A
R31 R32 R33
Vz
Vz0
0
1
Vx
A norma Vx Vy Vz @ Vy A = |V|2 e conservada, se RT R = 1, ou seja,
Vz
se R e ortogonal, temos.
0 0 1
Vx
Vx0 Vy0 Vz0 @ Vy0 A = |V0 |2 =
Vz0

MAPLima

Vx

Vy

Vz

1
Vx
RT R @ Vy A = |V|2 .
Vz
0

FI001
Momento Angular
Aula 16 Comecemos com uma rotacao de ' ao redor do eixo z. A matriz que representa
esta operacao e dada por:
0
cos '
sin '
Rz (') = @ sin ' cos '
0
0

8
0
>
0
<x = x cos ' y sin '
0 A o que implica em:
y 0 = x sin ' + y cos '
>
: 0
1
z =z
1

Observe que, por convencao, estamos rodando o vetor (sistema) e nao os eixos,
mas as convencoes estao relacionadas: rodar o sistema mantendo os eixos fixos
e equivalente a manter o sistema fixo e rodar os eixos ao contrario.
z Por convencao ' > 0 no sentido anti=horario. Fica mais facil ver
a matriz acima, se mantivermos o vetor fixo e
y y0
x0
x
'

MAPLima

rodarmos os eixos ao contr

ario.
'
8

>
y0
<x = x cos ' y cos ( 2
2
' y
onde:
y 0 = x sin ' + y cos '
>
: 0
z =z
x
'
x0

')

FI001
Aula 16

Momento Angular
1

cos '
Olhando para Rz (') = @ sin '
0

sin '
cos '
0

0
0 A podemos obter a matriz que
1

gera rotacoes infinitesimais ao redor de z. Basta tomar ' = pequeno. Isto e:

0
1
2
1

0
2
2
Rz () = @

1 2 0 A . Para obter as matrizes que rodam sobre os

0
0
1
outros eixos, rode ciclicamente em x(x0 ), y(y 0 ) e z(z 0 ) a expressao
8
8
2

2
0
0
>
>
x
=
x(1
)
y
y
=
y(1
z
<
<
2
2 )
2
2
por exemplo z 0 = y + z(1 2 )
fornece
y 0 = x + y(1 2 )
>
>
: 0
: 0
z =z
x =x
8
>
1
0
0
<x ! y; y ! z; z ! x
2
A com x0 ! y 0 ; y 0 ! z 0 ; z 0 ! x0
Rx () = @ 0 1 2
>
:
2
0

1
Rz () ! Rx ()
2
1
0
2

1 2 0
A
0
1
0
De forma similar, obtenha Ry () = @
2

0 1 2
0

MAPLima

Algumas observaes

FI001
Aula 16

Note agora que Rx ()Ry () = @

0

Ry ()Rx () = @
Rx ()Ry ()

2
2

2
1

2
2

0
Ry ()Rx () = @ 2
0

2
2

0
2

A e que e diferente de
1 2

A e que a diferenca
1 2
2
0
0

1
0
0 A = Rz (2 )
0

1 = Rz (2 )

R8 (0)

onde todos os termos de ordem superior `a 2 foram desprezados. Esta relac

ao
sera u
til para deduzirmos relacoes de comutac
ao de momento angular em
mecanica quantica.

MAPLima

FI001
Aula 16

Operador que roda kets

Como caracterizar rotacoes na Mecanica Qu
antica? Dado R,
matriz 3 3, associamos `a ela D(R), um operador, tal que:
|iR = D(R)|i

A representacao matricial de D(R) depende da dimens

ao do espaco
que representa |i.
(
N = 2 ! spin 12 , D(R) ! matriz 2 2
Por exemplo
N = 3 ! spin 1, D(R) ! matriz 3 3, etc.
Veremos que rotacao infinitesimal e uma forma de definir D(R).
Chute D = U = 1 iG com G sendo um operador Hermiteano.
(
G = p~x p/ translacao, onde = dx0
Inspirado em
G= H
cao temporal, onde = dt,
~ p/ evolu
Jk
p/ rotacao ao redor do eixo k, onde = d'.
~
J.n
Adotaremos a notacao mais geral: D(
n, d') = 1 i
d', onde D
~
e um operador que, com auxlio de J, roda kets quando o sistema e
o que esperar? G =

rodado de d' ao redor de n. Nao definimos J = x p, pois queremos

algo mais geral para tratar spin tambem.
MAPLima

FI001
Aula 16 Rotacao finita

Rotaes finitas e algumas propriedades

Jz ' N
Jz '
Jz ' Jz2 '2
= exp
+ ...
Dz (') = lim 1 i
i
=1 i
N !1
~ N
~
~
2~2
Postulado: D(R) tem o mesmo grupo de propriedades que R.
8
>
1) Identidade: R.1 = R ! D(R).1 = D(R)
>
>
>
>
>
<2) Fechamento: R1 R2 = R3 ! D(R1 )D(R2 ) = D(R3 )
Ou seja, 3) Inversa: RR 1 = R 1 R = 1 ! D 1 (R)D(R) = D(R)D 1 (R) = 1
>
>
>
4) Associativa: R1 (R2 R3 ) = (R1 R2 )R3 = R1 R2 R3 !
>
>
>
:D(R )(D(R )D(R )) = (D(R )D(R ))D(R ) = D(R )D(R )D(R )
1
2
3
1
2
3
1
2
3

Como ficaria a propriedade 5) Rx ()Ry ()

1?

Jy2 2
Jy2 2
Jx2 2
Jy
Jy
Jx
Jx2 2
Jx
1 i
1 i
1 i
=
1 i
2
2
2
2
~
2~
~
2~
~
2~
~
2~
Jz
= 1 i 2 1
~
8
0
>

!1 1=1 1!0=0
>
>
>
<1 ! i Jy i Jx + i Jx + i Jy = 0 ! 0 = 0
~
~
~
~
2 2
termos em ordem
2 2
2
J

Jy2 2
J

Jx2 2
Jx Jy
Jy Jx 2
Jz 2
y
2
x
>

!
+
+
+
=
i
>
2
2
2
2
2
2
~
2~
2~
~
2~
2~
~
>
>
:ou seja: J J
J J = i~J ! [J , J ] = i~J
x y

MAPLima

Ry ()Rx () = Rz (2 )

y x

Generalizavel: [Ji , Jj ] = i~ijk Jk

FI001
Rotaes finitas e algumas propriedades
Aula 16 Em geral, quando geradores de transformacoes infinitesimais nao comutam,
o grupo correspondente de operacoes e dito n
ao abeliano.
(
Jx , Jy , e Jz ! nao abeliano
Assim
px , py , e pz ! abeliano
Note que para obter as relacoes de comutacao, usamos apenas que:
1) Jk e o gerador de rotacoes sobre o eixo k.
2) Rotacoes sobre eixos diferentes nao comutam.
1
Uma aplicacao: Rotacoes finitas em Sistemas de spin
2
8
~
>
<Sx = 2 {|+ih | + | ih+|}
Vimos que [Si , Sj ] = i~ijk Sk e satisfeito por: Sy = i~
2 { |+ih | + | ih+|}
>
:
Sz = ~2 {|+ih+| | ih |}

Considere uma rotacao por um angulo ' sobre o eixo z, |iR = Dz (')|i,
(
|i ! ket de um sistema de spin 12 antes de roda-lo.
onde
|iR ! ket de um sistema de spin 12 depois de roda-lo.
Conforme discutimos, Dz (') = exp
MAPLima

seu efeito em hSx i.

iSz '
. Para ver se funciona, considere
~

FI001
Aula 16

Rotaes finitas em sistemas de spin 1/2

Vejamos o que acontece com hSx i quando rodamos o sistema ao redor de z
por um angulo ', isto e: hSx i

roda |i
=)

Para isso, precisamos calcular exp

R h|Sx |iR

iSz '
Sx exp
~

= h|Dz (')Sx Dz (')|i.

iSz '
.
~

~
|+ih | + | ih+|
2
iSz '
iSz '
usando Sz |i= ~
2 |i
exp
|+ih | + | ih+| exp
=)
~
~
i'
i'
i'
i'
exp
|+ih | exp
+ exp
| ih+| exp
=
2
2
2
2

M
etodo 1: direto, usando Sx =

~
2
~
!
2
~
=
exp (i')|+ih | + exp ( i')| ih+| =
2
~
=
{|+ih | + | ih+|} cos ' + i{|+ih | | ih+|} sin '
2
= Sx cos ' Sy sin '
!

M
etodo 2: indireto, usando

MAPLima

i2 2
exp iG A exp
iG = A + i [G, A] +
[G, [G, A]] + . . . +
2!
in n
'
+
[G, [G, . . . [G, [G, A]]...]] com G = Sz ; A = Sx e = .
n!
~

10

FI001
Aula 16 Assim, temos

Rotaes finitas em sistemas de spin 1/2

iSz '
iSz '
'
i 2 '2
[Sz , [Sz , Sx ]]+
exp
Sx exp
= Sx + i [Sz , Sx ] +
~
~
~
2!~2
i 3 '3
i n 'n
+
[Sz , [Sz , [Sz , Sx ]]] + . . . +
[Sz , [Sz , . . . [Sz , [Sz , Sx ]]...]] =
3!~3
n!~n
'
i 2 '2
i 3 '3
= Sx + i i~Sy +
[Sz , i~Sy ] +
[Sz , [Sz , i~Sy ]] + . . . =
~
2!~2
3!~3
i 2 '2
i 3 '3
= Sx Sy ' +
i~( i~Sx ) +
i~[Sz , i~Sx ] + . . . =
2!~2
3!~3
'2
i 3 '3
= Sx Sy '
Sx +
i~( i~)(i~)Sy + . . .
2!
3!~3
'2
'3
= (1
+ . . . )Sx ('
+ . . . )Sy = Sx cos ' Sy sin ' (c.q.d.)
2!
3!
Para esse resultado so usamos regras de comutac
ao, ) vale p/ j 6= 12

Os dois metodos aplicados para o caso de spin 12 , fornecem a seguinte relac

ao
entre valores medios: hSx i !

R h|Sx |iR

= hSx i cos '

hSy i sin '. De forma

semelhante, obteramos: hSy i ! hSy i cos ' + hSx i sin ' and hSz i ! hSz i, ou seja
hSi roda como um vetor do slide 4 (um vetor rodando ' em volta de z).
MAPLima

11

FI001
Aula 16

Momento
Angular
0

10

hSx iR
cos '
sin ' 0
hSx i
Encontramos @ hSy iR A = @ sin ' cos ' 0 A @ hSy i A , ou seja
hSz iR
0
0
1
hSz i
X
hSk i !
Rk` hS` i. De fato, como vimos pelo metodo 2, vale a relac
ao:
`

hJk i !

X
`

Rk` hJ` i.

Mostraremos, eventualmente, que tais relacoes valem para qualquer

operador escrito como um vetor! Nossa intuicao foi bem ate agora.
Uma surpresa n
ao intuitiva:
Rode |i do espaco de spin

1
2

em volta de z, de ' = 2. Para fazer isso,

escreva |i = 1 |i = |+ih+|i + | ih |i e para roda-lo, multiplicamos

'
'
iSz '
por Dz (2), isto e exp
|i = e i 2 |+ih+|i + e+i 2 | ih |i.
~
'
e a nossa surpresa, pois isso leva `a: |iRz (2) = |i! Ou seja, o sistema
2
foi rodado em 360 e o estado nao voltou para si mesmo. Sera que este sinal
( ) e uma observavel?

MAPLima

12

FI001
Aula 16

MAPLima

Precesso de Spin: uma nova olhada

e
|e|B
S.B = !Sz , onde ! =
.
me c
me c
Com esta Hamiltoniana, o operador evolucao temporal e dado por:
Ht
iSz !t
U (t, 0) = exp
= exp
que nada mais e que um
~
~
operador de rotacao de um angulo ' = !t ao redor do eixo z. Ou seja,
A Hamiltoniana e dada por H =

o operador de evolucao temporal causa precessao do spin. Ja havamos

8
>
<hSx i ! hSx i cos ' hSy i sin '.
visto que:
e agora,
hSy i ! hSy i cos ' + hSx i sin '
>
:
hSz i ! hSz i
8
>
<hSx i(t) = hSx i(0) cos !t hSy i(0) sin !t.
podemos escrever hSy i(t) = hSy i(0) cos !t + hSx i(0) sin !t
>
:
hSz i(t) = hSz i(0)
2
Ou seja a cada
o valor medio da medida de componente de spin
!
hSx i(t) (ou hSy i(t)) volta para a situacao original hSx i(0) (ou hSy i(0)).
4
O ket roda com perodo
e o valor medio do operador S precessiona
!
2
com perodo
.
!
13

FI001
Aula 16

Interferometria de Neutrons
Experimento de interferometria de neutrons para estudar rotac
oes de 2.
gn e
gn eB
A Hamiltoniana e dada por H =
S.B = !Sz , onde ! =
.
mp c
mp c
gn

1.91. Considere a figura abaixo. O pacote que representa o neutron

e dividido em dois. A parte do pacote que vai pelo caminho b, sente um

campo magnetico B constante na direcao z. Na regi
ao de interferencia as
partes do pacote se encontram novamente.

a
Fonte
de neutrons

Regio de
interferncia

b
B
i!T
Os pedacos de pacotes de onda que que vao por b ganham uma fase e 2 ,
onde o campo B esta presente. T e o intervalo de tempo que a partcula
gasta no espaco onde B existe.

MAPLima

14

Interferometria de Neutrons

FI001
Aula 16

C1 (0)

C1 = C1 (0)

Fonte
de neutrons

Regio de
interferncia
C2 (0)

C2 = C2 (0)ei

8
>
<C1 = amplitude do pacote chegando via caminho a = C1 (0)
>
:

C2 = amplitude do pacote chegando via caminho b = C2 (0)e

!T
2

i!T
2

A regiao de interferencia mostra uma intensidade que se comporta como:

!T
`
cos
. Quanto vale T ? Se a regiao onde B 6= 0 for `, temos T = ,
2
v
p
~k
~
`m
4
4mc
com v =
=
= . )T =
=
=
. O 4, e n
ao o 2, e
m
m
~
!
gn eB
m
verificado experimentalmente.
MAPLima

15