FI001 Spin : Formalismo de duas componentes de Pauli

Aula 17 8 !

>
> . 1 .
>
> |+i = + ! h+| = 1 0 =
>
> 0
+
<
Comecemos por:
>
> !
>
> 0
>
> . .
:| i = ! h |= 0 1 =
1
8 0 1
>
> h+|i
>
> B C
>
> |i = |+ih+|i + | ih |i = @ A
<
que nos leva `a: h |i
>
>
>
>
>
>
:h| = h|+ih+| + h| ih | = h+|i h |i

8 0 1 0 1
>
> h+|i C+
>
> B C B C
>
> = @ A = @ A = C+ + + C
>
>
>
Assim, representamos < h |i C
kets e bras arbitrarios
por spinores, : >
>
>
>
>
>
= h+|i h |i = C+
C =
>
>
>
: = C + C
+ +
MAPLima 1
FI001 Spin : Matrizes de Pauli
8 !
Aula 17 > 0 1
>
> =
>
> 1
1 0
>
>
>
>
8 >
>
> ~ >
> !
<h|Sk |+i = 2 ( ),+ < 0 i
Definindo temos: 2 =
>
: >
> i 0
h|Sk | i = ~2 ( ), >
>
>
>
>
>
> !
>
> 1 0
>
> =
: 3
0 1
Algumas propriedades das matrizes de Pauli:
(
2
i =1
=) { i , j } = ij
i j + j i = 0 i 6
= j
[ i, j] = 2iijk k
(
1 2 + 2 1 =0
coisas do tipo: =) 1 2 =i 3
1 2 2 1 = 2i 3

i = i
Tr ( i ) = 0
det ( i ) = 1
MAPLima 2
FI001 Mais propriedades das Matrizes de Pauli
Aula 17
1) Suponha que a = (a1 , a2 , a3 ) seja um vetor. Ent
ao vale:
X
a3 a1 ia2
.a = ak k =
a1 + ia2 a3
k

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

X X X
Demonstracao: ( j aj )( k bk ) = j k a j bk .
j k jk
1 1
Use que j k = { j , k } + [ j , k ] = jk + ijk` ` . Assim, temos
2 2
X X
( .a)( .b) = ( jk aj bk + ijk` aj bk ` ) = a.b + i jk` aj bk ` = a.b+
jk jk

+ i(a1 b2 a 2 b1 ) 3 + i(a2 b3 a 3 b2 ) 1 + i(a3 b1 a 1 b3 ) 2 = a.b + i .(a b)

3) Se as componentes de a sao reais, desta u

ltima propriedade, temos:
( .a)( .a) = a.a + i .(a a) = |a|2

MAPLima 3
FI001 Spin : Rotaes
Aula 17 i' i' i' 1 i' 2
D(n, ') = exp S.n = exp .n = 1 .n + ( .n)2 +
~ 2 2 2! 2
1 i' 3
+ ( .n)3 + . . .
3! 2 8
> 2 2 (
<( .n) = |n| = 1 1 se k par
note que ) ( .n)k =
>
: ( .n) se k mpar
( .n)3 = ( .n)2 ( .n) = ( .n)

1 ' 2 1 ' 4 ' 1 ' 3

Assim, D(n, ') = [1 + + ...] i .n[ + ...]
2! 2 4! 2 2 3! 2

' '
Ou seja D(n, ') = cos i .n sin . Ou de forma explcita
2 2

0 1
cos '2 inz sin '2 ( inx ny ) sin '2
i'
D(n, ') = exp .n = @ A.
2
( inx + ny ) sin '2
cos '2 + inz sin '2
i'
Esta matriz atua em da mesma forma que exp S.n atua em |i.
~

MAPLima 4
FI001 Spin : Matrizes de Pauli
Aula 17 i'
Mediante rotacao: ! exp .n . Embora pareca vetor, de fato nao
2
muda como tal quando rodamos o sistema fsico. Entretanto, k deve
obedecer a propriedade de transformacao de um vetor, pois est a diretamente
~ X

relacionado `a h|Sk |i = k . Esperamos que k ! Rk` ` .
2
`
8
i' i'
>
Testaremos <
! exp 2 .n = exp 2 3
com '
ao redor > e, por exemplo,
de n=z :
! exp +i' 2 .n =
exp +i'
2 3
+i' i'
rodando 1 ! exp 3 1 exp 3 . Para isso, use que
2 2
' ' ' '
D(n, ') = cos i .n sin ou melhor que D(z, ') = cos i 3 sin e
2 2 2 2
' ' ' '
expresse 1 rodado por cos + i 3 sin 1 cos i 3 sin =
2 2 2 2
2 ' ' ' ' ' 2 '
= cos 1 i cos sin 1 3 +i cos sin 3 1 + 3 1 3 sin
2 2 2 | {z } 2 2 | {z } | {z } 2
i 2 i 2 1
' ' ' '
= (cos2 sin2 1 2 cos sin 2 = 1 cos ' 2 sin '
2 2 2 2
MAPLima
c.q.d. 5
FI001 Spin : Matrizes de Pauli
Aula 17 Como ficam as rotacoes de 2? Vimos que para spin
1
, o estado |i vai
2
para |i. No caso das matrizes 2 2, teremos:
i' ' '
exp .n '=2 = cos i .n sin '=2 = 1 8n.
2 2 2

Um exemplo interessante do uso de

0 1
cos '2 inz sin '2 ( inx ny ) sin '2
i'
D(n, ') = exp .n = @ A,
2
( inx + ny ) sin '2 cos '2 + inz sin '2
esta em achar , tal que .n = . Equivale a buscar |S.n; +i tal que
~
S.n|S.n; +i = |S.n; +i. Diagonalizando e simples: voces fizeram ou
2
podem fazer o problema 1.9 para obter:

|S.n; +i = cos ( )|+i + sin( )ei | i que na linguagem de spinor fica:

2 2
0 1
cos 2
=@ A . Vamos obter isso, usando rotacoes.
ei sin 2

MAPLima 6
FI001 Spin : Matrizes de Pauli
Aula 17 z z
Rz ()

Ry ( )
y y

x x
Suponha ( , ) os angulos que definem n.

i 3 i 2 1
O autoket de .n seria exp exp =
2 2 0
0 1 0 1
cos 2 i sin 2 0 cos 2 sin
2 1
=@ A@ A =
0
0 cos 2 + i sin 2 sin 2 + cos 2
0
10 1 0 i 1
cos 2 i sin 2 0 cos 2 e 2 cos 2
=@ A@ A=@ A=
cos 2 + i sin 2
+i
0 sin 2 e 2 sin 2
0 1
i
cos 2
=e 2 @ A que e igual ao anterior, a menos de uma fase global.
ei sin 2
MAPLima 7
FI001 SO(3), SU(2), e Rotaes de Euler
Aula 17 O que e necessario especificar para definir uma rotacao geral? Que tal n e ' (3
n
umeros, onde n e definido por ( , )). A melhor forma de representa-la e por
meio de matrizes reais 3 3 (nove elementos). A condic
ao de ortogonalidade,
RT R = 1 gera nove equacoes, mas so seis sao linearmente independentes. Para
8 T
P T
P
>
> (RR )ik = j Rij Rjk = j Rij Rkj = ik
< | {z }
ver isso, observe que =0 s ou seja a
>
>
: T
P T
P z }| {
(RR )ki = j Rkj Rji = j Rkj Rij = ki
equacao do elemento ik e igual a equacao do elemento ki de RRT . Assim,

8P 2 2 2
>
> j R1j = 1; R2j = 1; R3j = 1
>
>
>
>
>
> P P
>
> R R = 0 igual a
`
temos seis equacoes < j 1j 2j j R2j R1j = 0
independentes, com
tres parametros livres >
>
>
P P
>
> R R
j 1j 3j = 0 igual a
` j R3j R1j = 0
>
>
>
>
>
:P P
R R
j 2j 3j = 0 igual `
a j R3j R2j = 0
Estes 3 parametros definem n e '.
MAPLima 8
FI001 Grupo SO(3)
Aula 17 O conjunto de todas as operacoes de multiplicacao com matrizes ortogonais
formam um grupo. Isto porque as seguintes condicoes estao sendo satisfeitas:

1) O produto de 8 2 matrizes ortogonais e ortogonal, pois:

(R1 R2 )(R1 R2 )T = R1 R2 R2T R1T = R1 R1T = 1
| {z }
1
2) Vale a lei associativa
R1 (R2 R3 ) = (R1 R2 )R3 = R1 R2 R3

3) 9 a matriz identidade (corresponde fisicamente `a nao rodar) e ela e ortogonal

1 R = R1 = R; e 1 T 1 = 1

1
4) 9 a matriz inversa (rodar ao contrario) e ela e ortogonal, R = RT
1 1
RR =R R=1

Este grupo e chamado SO(3) (ortogonal especial de 3 dimensoes)

MAPLima 9
FI001 Grupo SU(2)
Aula 17 O Grupo unimodular unitario esta ligado a representacao matricial (2 2) que
.n'
roda os spinores: ! exp i . Transformacao esta que resulta em:
2
.n' .n'
=) exp + i exp i = ou seja, |C+ |2 + |C |2 = 1 e
2 2
invariante. Note tambem que
0 ' ' '
1
cos 2 inz sin 2 ( inx ny ) sin 2
i'
exp .n = @ A tem determinante
2
( inx + ny ) sin '2 cos '2 + inz sin '2
igual `a: 1
z }| {
2 ' 2 ' 2 ' 2 ' '
cos 2
+ nz sin 2 2
+ (nx + ny ) sin = cos + (nz + nx + ny ) sin2 = 1
2 2 2
2 2 2 2 2
Da o termo unimodular. A forma mais geral de escrever uma matriz unimodular
0 1
a b
e: u(a, b) = @ A com |a|2 + |b|2 = 1. Note que u (a, b)u(a, b) =
b a
0 10 1 0 2 2
1 0 1
a b a b |a| + |b| a b ba 1 0
=@ A@ A=@ A=@ A=1
b a b a b a ab |a|2 + |b|2 0 1

MAPLima 10
FI001 Grupo SU(2)
Aula 17 Note que a transformacao
0 10 +
1 0 1
a b C aC+ + bC
u(a, b) = @ A@ A=@ A
b a C b C + + a C
conserva a norma do spinor, isto e:
0 1
aC+ + bC
a C+

+ b C
bC+ + aC @ A = |a|2 |C+ |2 +
b C + + a C
+ |b|2 |C |2 + a bC+

C + b aC C+ + |b|2 |C+ |2 + |a|2 |C |2 a bC+

C +
b aC C+ = |C+ |2 + |C |2 .
0 1
a b
Alem disso, note que u(a, b) = @ A tem 3 parametros independentes.
b a
Poderia ser 4, pois a e b sao complexos, e podem ser escritos como: a = Aei'A ;
b = Bei'B com A, B, 'A , 'B reais. A condicao |a|2 + |b|2 = A2 + B 2 = 1,
elimina a liberdade de escolha de um deles. Note ainda que cada u(a, b) pode
ser interpretada como uma rotacao. Basta comparar u(a, b) com a matriz que
roda spinores e inverter as equacoes. Faremos isso em seguida.

MAPLima 11
FI001 Grupo SU(2)
Aula 17
Iguale a forma geral da Matriz Unitaria Unimodular, com a matriz que
realiza rotacoes de spinores.
0 1 0 1
a b cos '2 inz sin '2 ( inx ny ) sin '2
u(a, b) = @ A=@ A
b a ( inx + ny ) sin '2 cos '2 + inz sin '2

8 '
>
> Re(a) = cos 2
>
>
>
>
>
>
>
> '
<Im(a) = nz sin 2
e conclua: {a, b} par
ametros de Cayley-Klein
>
>
>
> Re(b) = ny sin '2
>
>
>
>
>
>
:
Im(b) = nx sin '2
0 1
a b
Mostre que o conjunto de matrizes @ A com |a|2 + |b|2 = 1
b a
formam um grupo. Este e o grupo SU(2).

MAPLima 12
FI001 Rotaes de Euler
Aula 17 z z
z0
Rz () Ry 0 ( )
y0 y0

y y

x x0 x x0
8
z z 0 > Rz () roda de ao redor de z
>
>
Rz 0 ( ) >
>
>
<
Rotacoes de Euler Ry0 ( ) roda de ao redor de y 0
>
>
>
>
>
>
y :R 0 ( ) roda de ao redor de z 0
z

x R(, , ) Rz0 ( )Ry0 ( )Rz (). Inconveniente, pois

envolvem rotacoes ao redor do corpo rodado

MAPLima 13
FI001 Rotaes de Euler
Seria melhor se rodassemos sobre eixos fixos no laboratorio.
Aula 17 8
> 1
<Ry0 ( ) = Rz ()Ry ( )Rz ()
Que tal usarmos que
>
:
Rz0 ( ) = Ry0 ( )Rz ( )Ry01 ( )

1
) Rz0 ( ) = Rz ()Ry ( )Rz 1 () Rz ( ) Rz ()Ry ( )Rz 1 () =
| {z } | {z }
Ry 0 ( ) Ry01 ( )
= Rz ()Ry ( ) Rz 1 ()Rz ( )Rz () Ry 1 ( )Rz 1 ()
| {z }
comutam
= Rz ()Ry ( )Rz ( )Ry 1 ( )Rz 1 ()

As rotacoes de Euler ficam: R(, , ) Rz0 ( )Ry0 ( )Rz () =

1
1 1

= Rz ()Ry ( )Rz ( )Ry 1 ( )Rz 1 () Rz ()Ry ( )Rz 1 () Rz () =

| {z }| {z }
Rz 0 ( ) Ry 0 ( )
MAPLima = Rz ()Ry ( )Rz ( ) todas com respeito a eixos fixos 14
FI001 Rotaes de Euler
Aula 17 Usando os angulos de Euler, definimos uma maneira de rodar um sistema
fsico classico de forma arbitraria. Como fica este assunto na mec
anica
quantica? Lembre que basta trocar R por DR . Isto e:

R(, , ) Rz0 ( )Ry0 ( )Rz () = Rz ()Ry ( )Rz ( )

por
D(, , ) = Dz ()Dy ( )Dz ( )

1 i 3 i 2 i 3
Caso spin : D(, , ) = exp exp exp =
2 2 2 2

0 i
10 10 i2
1
e 2 0 cos 2 sin 2 e 0
=@ A@ A@ A=
i
0 e 2 sin 2 + cos 2 0 ei 2

0 (+ ) ( )
1
i i
e 2 cos 2 e 2 sin 2
B C Note que e uma matriz
=@ A
( ) (+ ) unit
aria unimodular
ei 2 sin 2 +ei 2 cos 2
MAPLima 15
FI001 Rotaes de Euler
Aula 17
A escolha dos eixos, z, y 0 e z 0 , permitiu que a matriz que tem elementos fora
da diagonal, no caso a Dy ( ), ficasse real. Podemos escrever a representac
ao
1
de D(, , ) em j = da seguinte forma:
2

(1/2) 1 0 Jz Jy Jz 1
Dm0 m (, , ) = hj = , m | exp exp exp |j = , mi
2 ~ ~ ~ 2

Calcularemos esta matriz para alguns casos de j 6= 1/2 nas proximas aulas.

MAPLima 16