FI001

Aula 17

Spin : Formalismo de duas componentes de Pauli

Comecemos por:

8
>
.
>
>
|+i
=
>
>
>
<
>
>
>
>
.
>
>
:| i =

1
0

0
1

.
h+| =

.
h |=

1 0

0 1

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

>
>
:h| = h|+ih+| + h| ih | = h+|i h |i

MAPLima

8
1
0
1 0
>
h+|i
C+
>
>
>
C
B
C B
>
>
=
=
@
A
@
A = C+ + + C
>
>
>
Assim, representamos <
h |i
C
kets e bras arbitrarios
>
por spinores, :
>

>
>

>
>
= h+|i h |i = C+
=
C
>
>
>
: = C + C
+ +

Spin : Matrizes de Pauli

FI001
Aula 17

8
~
>
<h|Sk |+i = 2 ( ),+

Definindo

>
:

temos:

h|Sk | i = ~2 ( ),

8
>
>
>
>
>
>
>
>
>
>
>
>
>
<
>
>
>
>
>
>
>
>
>
>
>
>
>
:

Algumas propriedades das matrizes de Pauli:

(
2
i =1

=) { i , j } =
+
=
0
i
=
6
j
i j
j i

[ i,

j]

= 2iijk k
(

coisas do tipo:

1 2

2 1
2 1

=0
= 2i

=)

0
1

1
0

0
i
1
0

i
0

0
1

ij

1 2

=i

Tr ( i ) = 0
MAPLima

1 2

det ( i ) =

FI001
Aula 17

Mais propriedades das Matrizes de Pauli

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

j k a j bk .

jk

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

jk

+ i(a1 b2

a 2 b1 )

jk

+ i(a2 b3

a 3 b2 )

+ i(a3 b1

a 1 b3 )

= 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

FI001
Aula 17

Spin : Rotaes
D(n, ') = exp

i'
S.n = exp
~

i'
.n = 1
2

1 i' 3
( .n)3 + . . .
3! 2 8
2
2
>
<( .n) = |n| = 1
note que
>
:
( .n)3 = ( .n)2 ( .n) = ( .n)

i'
1 i'
.n +
2
2! 2

( .n)2 +

Assim, D(n, ') = [1

1 '
2! 2

Ou seja D(n, ') = cos

'
2

D(n, ') = exp

1 '
4! 2

i .n sin
0

i'
.n = @
2

Esta matriz atua em

MAPLima

) ( .n)k =

+ ...]

i .n[

1 se k par
( .n) se k mpar

'
2

1 '
3! 2

+ ...]

'
. Ou de forma explcita
2

cos '2

inz sin '2

( inx + ny ) sin '2

( inx

ny ) sin '2

A.

cos '2 + inz sin '2

i'
da mesma forma que exp
S.n atua em |i.
~

FI001
Aula 17

MAPLima

Spin : Matrizes de Pauli

i'
.n . Embora pareca vetor, de fato nao
2
muda como tal quando rodamos o sistema fsico. Entretanto, k deve
Mediante rotacao:

! exp

obedecer a propriedade de transformacao de um vetor, pois est

a diretamente
X
~

relacionado `a h|Sk |i =
Rk` ` .
k . Esperamos que
k !
2
`
8
i'
i'
>
!
exp
.n
=
exp
3
2
2
Testaremos <
com '
e, por exemplo,
ao redor >
de n=z :
+i'

! exp +i'
.n
=
exp
3
2
2
+i'
i'
rodando 1 ! exp
exp
. Para isso, use que
3
1
3
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
i 3 sin
=
1 cos
2
2
2
2
'
'
'
'
2 '

2 '
=
cos
i cos sin
sin
1
1 3 +i cos
3 1 + 3 1 3 sin
2
2
2 | {z }
2
2 | {z } | {z }
2
i 2
i 2
1
'
'
'
'

= (cos2
sin2
2
cos
sin
1
2 =
1 cos '
2 sin '
2
2
2
2
c.q.d.
5

FI001
Aula 17

Spin : Matrizes de Pauli

Como ficam as rotacoes de 2? Vimos que para spin
para
exp

|i. No caso das matrizes 2 2, teremos:

i'
'
'
.n '=2 = cos
i .n sin '=2 =
2
2
2

Um exemplo interessante do uso de

0
cos '2 inz sin '2
i'
D(n, ') = exp
.n = @
2
( inx + ny ) sin '2

1
, o estado |i vai
2
1 8n.

( inx

ny ) sin '2

cos '2 + inz sin '2

A,

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

FI001
Aula 17

Spin : Matrizes de Pauli

z

z
Rz ()
Ry ( )
y

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

MAPLima

i 3
i 2
O autoket de .n seria exp
exp
2
2
0
1
0
cos 2 i sin 2
0
cos 2
A@
=@
0
cos 2 + i sin 2
sin 2
0
10

cos 2 i sin 2
0
cos 2
A@
=@
0
cos 2 + i sin 2
sin 2
0
1
cos
2
i
@
A que e igual ao anterior, a
2
=e
ei sin 2

1
0

sin

=
1

+ cos 2
1 0
e
A=@

i
2

+i
2

1
0

cos

sin

=
1

A=

menos de uma fase global.

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
P
P
T
T
(RR )ik = j Rij Rjk = j Rij Rkj = ik
>
>
| {z }
<
ver isso, observe que
ou seja a
=0 s
>
>
P
P z }| {
:
T
T
(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
`
< j 1j 2j
j R2j R1j = 0

MAPLima

temos seis equacoes

independentes, com
P
P
>
tres parametros livres >
>
R
R
=
0
igual
a
`
>
j 1j 3j
j R3j R1j = 0
>
>
>
>
>
>
P
:P
R
R
=
0
igual
`
a
j 2j 3j
j R3j R2j = 0
Estes 3 parametros definem n e '.

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

4) 9 a matriz inversa (rodar ao contrario) e ela e ortogonal, R

RR

=R

= RT

R=1

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

MAPLima

FI001
Grupo SU(2)
Aula 17 O Grupo unimodular unitario esta ligado a representacao matricial (2 2) que
roda os spinores:

! exp

.n'
2

. Transformacao esta que resulta em:

.n'
.n'
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'
A tem determinante
exp
.n = @
2
( inx + ny ) sin '2 cos '2 + inz sin '2

=)

exp + i

igual `a:

1
z
}|
{
'
2 '
2 '
2 '
2
2
2
2 '
2
2
2
cos
+ nz sin
+ (nx + ny ) sin
= cos
+ (nz + nx + ny ) sin2 = 1
2
2
2
2
2
Da o termo unimodular. A forma mais geral de escrever uma matriz unimodular
0
1
a
b
A com |a|2 + |b|2 = 1. Note que u (a, b)u(a, b) =
e: u(a, b) = @
b a
0
10
1 0
1 0
1
2
2

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

Grupo SU(2)

FI001
Aula 17 Note que a transformacao
0

u(a, b) = @

10
A@

aC+ + bC

A=@

conserva a norma do spinor, isto e:

a C+
+ b C

bC+
+ aC

0
@

b C + + a C
aC+ + bC
b C + + a C

1
A

A = |a|2 |C+ |2 +

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

b aC C+ = |C+ |2 + |C |2 .

Alem disso, note que u(a, b) = @

a bC+
C +

A tem 3 parametros independentes.

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
Aula 17

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

e conclua:

8
'
Re(a)
=
cos
>
2
>
>
>
>
>
>
>
'
>
>
<Im(a) = nz sin 2
>
>
>
Re(b) =
>
>
>
>
>
>
>
:
Im(b) =

ny sin '2

nx sin '2

ny ) sin '2

cos '2 + inz sin '2

1
A

{a, b} par
ametros de Cayley-Klein

Mostre que o conjunto de matrizes @

formam um grupo. Este e o grupo SU(2).

MAPLima

( inx

A com |a|2 + |b|2 = 1

12

Rotaes de Euler

FI001
Aula 17

Rz ()

z0

Ry 0 ( )

y0

y0

x0
z

Rz 0 ( )

MAPLima

x0

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

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

envolvem rotacoes ao redor do corpo rodado

13

Rotaes de Euler
FI001
Seria melhor se rodassemos sobre eixos fixos no laboratorio.
Aula 17
8
Que tal usarmos que

1
>
<Ry0 ( ) = Rz ()Ry ( )Rz ()

>
:

Rz0 ( ) = Ry0 ( )Rz ( )Ry01 ( )

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

|
{z
}
|
{z
Ry01 ( )

Ry 0 ( )

= 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

MAPLima

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

{z
}
|
{z
}|
Ry 0 ( )
Rz 0 ( )
= Rz ()Ry ( )Rz ( ) todas com respeito a eixos fixos

14

FI001
Aula 17

Rotaes de Euler
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 ( )

Caso spin
0

=@
0

MAPLima

B
=@

1
: D(, , ) = exp
2

i
2

ei

10

e
(+ )
2

)
2

A@

i
2

cos
sin

cos
sin
e
+ei

sin

+ cos 2

)
2

(+ )
2

sin

cos 2

10
A@
1
C
A

exp

exp

2
i2

0
ei 2

A=

Note que e uma matriz

unit
aria unimodular

15

FI001
Aula 17

Rotaes de Euler
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)
Dm0 m (,

1 0
, ) = hj = , m | exp
2

Jz
exp
~

Jy
~

exp

Jz
~

1
|j = , mi
2

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

MAPLima

16