Вы находитесь на странице: 1из 70

UNIVERSIDADE FEDERAL DO ABC

Mestrado em Matemtica Aplicada

Augusto Csar Dias dos Reis

Modelo de Ponzano-Regge

Santo Andr, 2015

Universidade Federal do ABC


CMCC - Centro de Matemtica, Computao e Cognio UFABC

Augusto Csar Dias dos Reis

Modelo de Ponzano-Regge

Orientador: Prof. Dr. Rodrigo Fresneda

Texto de qualificao do mestrado apresentado ao CMCC - Centro de Matemtica,


Computao e Cognio - UFABC, como requisito parcial para obteno do ttulo de
Mestre em Matemtica Aplicada.

Santo Andr, 2015

AGRADECIMENTOS

Agradeo todos que quero agradecer.

Resumo

Insira o resumo e as palavras chaves.


Palavras-chave: TCC, Trabalho, Modelo

iii

Abstract

Insert the abstract and keywords.


Keywords: Thesis, Model, Book.

Sumrio

Captulo 1. INTRODUO

Captulo 2. GRUPO DE LIE SU(2)

2.1. Representaes do grupo SU(2)

2.2. Representaes

2.3. Redutibilidade das representaes

2.4. Produto direto de representaes

2.5. Lema de Schur

2.6. Representaes nos espaos de funes

2.7. Representaes irredutveis de SU (2)

12

2.8. Reduo do produto direto de representaes irredutveis

18

2.9. Reduo de um produto triplo

24

2.10. Relao entre os coeficientes 3-j e 6-j

27

Captulo 3. MOMENTO ANGULAR

29

3.1. Operador de Casimir

29

3.2. Autovalores de L e de L3

29

3.3. No-degenerescncia dos autovalores de L3

35

3.4. Propriedades de ortogonalidade de representaes irredutveis

36

3.5. Adio de Momento Angular

38

Captulo 4. MODELO DE PONZANO-REGGE

45

4.1. Soma de estado

45

4.2. Redes de Spin

46

Referncias Bibliogrficas

50

Apndices

53

Captulo A. REDES DE SPIN

55

A.1. ngulos entre sistemas

55
vii

1
INTRODUO

O modelo de Ponzano-Reggel considerado o primeiro modelo que define a gravitao


quntica em uma variedade tridimensional triangularizada. um modelo que faz uso do
grupo de Lie SU(2), por meio de suas representaes irredutveis e suas propriedades. Dessa
forma, neste trabalho iniciaremos abordando pr-requisitos matemticos para o estudo mais
detalhado do modelo em questo.
Primeiro faremos um apanhado geral sobre representaes de grupos de Lie (compactos), como redutibilidade de uma representao, representaes de produto direto, representaes no espao de funes, aplicaes ao caso particular de SU(2), alm de definirmos
os smbolos 3-j e 6-j.
Em seguida, relacionamos esses conceitos com a teoria de momento angular na fsica
e definimos o que so redes de spin, apresentando algumas de suas propriedades. Tendo
esses conceitos estabelecidos, os relacionaremos com o nosso modelo de estudo.
Por fim, apresentaremos as concluses preliminares de nossa pesquisa e intenes para
a concluso da dissertao.

2
GRUPO DE LIE SU(2)

2.1. Representaes do grupo SU(2)


O grupo SU(2), tambm chamado de grupo das representaes unitrias especiais de
ordem 2, constitudo pelas matrizes 2x2 complexas unitrias e de determinante 1, em
que unitria significa AA = A A = 1, tal que A representa a transposta conjugada de

A. Note que A possui inversa e A1 = A!


.
a11 a12
Vamos denotar A por A =
, onde aij C. Temos:
a21 a22

|a11 |2 + |a12 |2

a21 a11 + a22 a12

AA = 1
!
!
a11 a21 + a12 a22
1 0
=
.
|a21 |2 + |a22 |2
0 1

Isso nos fornece o seguinte sistema:

|a11 |2 + |a12 |2

a a + a a
11 21
12 22

a21 a11 + a22 a12

|a |2 + |a |2
21
22

=1
=0
=0

)
so equivalentes.

= 1.

Alm disso, det A = 1, ento resulta que a11 a22 a12 a21 = 1.

Sendo assim, tais matrizes possuem quatro elementos complexos, ou oito parmetros
reais, porm devido unitariedade reduz-se o nmero de parmetros independentes de 8
para 4, e a condio det A = 1 d mais uma restrio, levando ao total de 3 parmetros
reais.
Tais condies nos permitem reescrever A como:

A=

0 + i3 2 + i1
2 + i1

0 i3

!
,

(2.1.1)

2. GRUPO DE LIE SU(2)

onde
det A = 02 + 12 + 22 + 32 = 1.
Observe que 02 + 12 + 22 + 32 = 1 a equao da esfera S 3 que pode ser reparametrizada
em coordenadas bicomplexas como
0 + i3 = cos()ei1 ,

1 + i2 = sen()ei2 ,

e 0 1 , 2 2.
2
Assim, essa nova parametrizao do grupo SU(2) :

onde os trs ngulos , 1 , 2 so tais que 0 < <

A(, 1 , 2 ) =

i sen()ei2

cos()ei1

i sen()ei2 cos()ei1

(2.1.2)

Observao 1. Se definirmos = 0 ou = , a transformao A(, 1 , 2 ) no


2

inversvel, j que 1 irrelevante quando = e 2 irrelevante quando = 0.


2
Uma base da lgebra de Lie su(2) do grupo SU(2), o conjunto de matrizes antihermitianas de ordem 2 com trao nulo, I1 , I2 e I3 , onde
I1 =

0 i

i 0

I2 =

!
0 1
1

I3 =

!
.

0 i

(2.1.3)

Observao 2. Essas matrizes Ij so as matrizes de Pauli j, j = 1, 2, 3, multiplicadas


por i.

1 =

0 1
1 0

!
,

2 =

0 i
i

!
,

3 =

0 1

Observao 3. Estas matrizes satisfazem: [Ia , Ib ] = iabc Ic .

[Ia , Ib ] = 2I3 ,

abc

[I2 , I3 ] = 2I1 ,

o tensor de Levi-Civita definido como abc

[I3 , I1 ] = 2I2 .

(2.1.4)

1
se (a, b, c) (1, 2, 3), (2, 3, 1), ou (3, 1, 2);

= 1 se (a, b, c) (3, 2, 1), (2, 1, 3) ou (1, 3, 2);

0
se a = b ou b = c ou c = a.

2. GRUPO DE LIE SU(2)


2.2. Representaes

Uma representao de grupo descreve um grupo abstrato em termos de transformaes lineares de espaos vetoriais. No caso de grupos compactos, podemos representar os
elementos destes grupos como uma matriz D(A). Alm disso, aqui ser mais conveniente
visualizar a representao como um grupo de operadores lineares.
Sejam G um grupo e L um espao vetorial linear. Uma representao de G em L um
grupo de operadores lineares em L, acrescido de um homomorfismo de G em . Assim,
A, B G, existem elementos D(A), D(B), D(AB) tal que
D(A)D(B) = D(AB),

(2.2.1)

onde D representa o homomorfismo e D(AB) um operador linear em L.


Aqui, L chamado de espao de representaes e sua dimenso chamada dimenso
da representao. Dizemos que uma representao D fiel se ker(D) = {0}. Alm disso,
consideramos L como sendo um espao vetorial munido de produto interno.
Assumiremos que
D(e) = 1,

(2.2.2)

onde 1 o operador identidade definido por 1u = u, u L.


As condies (2.2.1) e (2.2.2) implicam que

D(A)D(A1 ) = D(A A1 ) = D(e) = 1.


Ento,
D(A1 ) = [D(A)]1 ,
ou seja, os operadores D(A) so inversveis.
Observao 4. Nesta suposio exclumos o caso das representaes por operadores
singulares do tipo
!
A 0
0 0

que para 0 6= A R seria uma representao do grupo multiplicativo de nmeros reais.


Um tipo especial de representaes so as representaes unitrias, as quais suas matrizes de representao D(A) satisfazem D(A) D(A) = 1.
Definio 5. O carter associado matriz de representao o funcional definido
por
(a) = Tr D(A) =

n
X
i=1

D(A).

2. GRUPO DE LIE SU(2)


2.3. Redutibilidade das representaes
Se duas representaes de um grupo G por matrizes D1 (A) e D2 (A) so conhecidas,

possvel formar uma nova representao pela soma direta dessas duas matrizes como:
D(A) =

D1 (A)

D2 (A)

(2.3.1)

Note que
D(A)D(B) =

D1 (A)

D2 (A)

D2 (B)
!

D1 (A)D1 (B)

D2 (A)D2 (B)
!
0

D1 (AB)

D1 (B)

D2 (AB)

= D(AB).
Logo D uma representao e dim D = dim D1 + dim D2 .
Definio 6. Dizemos que uma representao completamente redutvel se esta pode
ser escrita como soma direta de outras duas representaes, como em (2.3.1).
Definio 7. Uma representao redutvel quando esta pode ser transformada na
forma de blocos, como
D(A) =

D1 (A)

C(A)

D2 (A)

onde D1 (A) e D2 (A) so representaes. Caso a representao no possa ser reduzida desta
forma, dizemos que irredutvel.
2.4. Produto direto de representaes
Apesar de representaes irredutveis serem de grande importncia nos nossos estudos,
nesta seo abordaremos um mtodo para construir uma terceira representao a partir da
soma direta de duas representaes.
Vamos considerar as matrizes D1 (A) e D2 (A) de representaes 1 e 2 , com dimenses
m e n, respectivamente. O produto direto definido no espao L de todos os tensores T
com componentes Tij , onde 1 i m e 1 j n. Ento, definimos uma combinao

linear S+T de tensores S e T pelo tensor com componentes Sij +Tij , onde Sij e Tij so
componentes de S e T. Estes tensores possuem mn componentes, que sero consideradas

2. GRUPO DE LIE SU(2)

como componentes de um vetor no espao vetorial mn-dimensional chamado espao de


produto direto dos espaos das representaes D1 e D2 .
O produto direto de 1 e 2 definido como o conjunto das transformaes D(A) em
L dadas por:
[D(A)S]ij =

m X
n
X

D1 (A)ik D2 (A)jl Skl .

(2.4.1)

k=1 l=1

Note que esta equao homognea (ou seja, as dimenses de todos seus termos devem
ser idnticas) e linear.
Usando (2.2.1), vemos que as transformaes D(A) so uma representao:

[D(A)D(B)S]ij =
=
=

m X
n X
m X
n
X
k=1 l=1 s=1 t=1
m X
n X
m X
n
X

D1 (A)ik D2 (A)jl D1 (B)ks D2 (B)lt Sst


D1 (A)ik D1 (B)ks D2 (A)jl D2 (B)lt Sst

k=1 l=1 s=1 t=1


m X
n
X
1

D (AB)is D2 (AB)jt Sst

s=1 t=1

= [D(AB)S]ij .
As transformaes D(A) podem ser consideradas como matrizes com ndices ij, com
1 i m e 1 j n. Dessa forma, cada elemento pode ser expresso da seguinte forma:
D(A) = D1 (A)ik D2 (A)jl ,

(2.4.2)

onde 1 i, k m e 1 j, l n.

De maneira geral, dadas duas matrizes M e N , dizemos que P o produto direto de

M e N e representamos por P = M N , quando


Pik,jl = Mij Nkl .
Assim, podemos reescrever (2.4.2) como:
D(A) = D1 (A) D2 (A),

(2.4.3)

onde dizemos que D(A) o produto direto das matrizes D1 (A) e D2 (A).
Dizemos que D = D1 D2 produto direto das representaes de D1 e D2 se (2.4.3)

valer para todo elemento do grupo e se D1 (A) e D2 (A) so representaes do grupo.


Expressamos a propriedade de representao do grupo D1 D2 pela equao:
D(A)D(B) = D(AB),

2. GRUPO DE LIE SU(2)

j que
D(A)D(B) =

n
X

D1 (A)is D2 (A)jt D1 (B)sk D2 (B)tl

s,t=1

n
X

D1 (A)is D1 (B)sk D2 (A)jt D2 (B)tl

s,t=1

= D1 (AB)ik D2 (AB)jl
= D(AB).
Mostraremos adiante que toda representao irredutvel de um grupo compacto de
matrizes pode ser gerado tomando repetidos produtos diretos de qualquer representao
fiel do grupo e, se possvel, reduzi-las.
Podemos explicitar o produto direto D1 (A)D2 (A) pela seguinte matriz mn-dimensional:
1

D (A)11 D2 (A) D1 (A)12 D2 (A) D1 (A)1m D2 (A)


1

D (A)21 D2 (A) D1 (A)22 D2 (A) D1 (A)2m D2 (A)

,
D(A) =
..
..
..
...

.
.
.

D1 (A)m1 D2 (A) D1 (A)m2 D2 (A)

D1 (A)mm D2 (A)

onde D(A) escrita em blocos com m2 blocos n-dimensionais, tais que cada bloco corresponde ao elemento de D1 (A) multiplicado pelo respectivo elemento de D2 (A).
Observao 8. Fazendo clculo direto, vemos que D(A) uma representao do
grupo.
Observao 9. Dadas duas representaes unitrias D1 (A) e D2 (A), o produto direto
entre elas D(A) = D1 (A) D2 (A) tambm unitrio.
2.5. Lema de Schur
O lema de Schur composto pelos seguintes resultados:
Teorema 10. Uma representao unitria dos operadores D(A) em um espao vetorial
complexo irredutvel se, e somente se, os nicos operadores que comutam com cada D(A)
so os da forma 1, onde um nmero complexo e 1 o operador identidade.
Teorema 11. Se D1 (A) e D2 (A) so representaes irredutveis do grupo operando
nos espaos vetoriais L1 e L2 , respectivamente, e X uma aplicao linear de L1 em L2
tal que
D2 (A)X = XD1 (A), A

2. GRUPO DE LIE SU(2)

ento, ou X = 0 ou X tem um inverso tal que D1 (A) equivalente D2 (A). Note que
as dimenses de L1 e L2 podem ser diferentes, ento X no ser, necessariamente, uma
matriz quadrada. Ainda assim, uma transformao linear, mas no 1-1.
Uma importante consequncia deste lema que qualquer representao irredutvel em
um espao vetorial complexo de um grupo abeliano dever ser unidimensional, ou seja, dado
um grupo G e se D(A) uma representao irredutvel, qualquer matriz D(g) satisfaz
D(g)D(A) = D(A)D(g) e ento D(g) = I, g G.
2.6. Representaes nos espaos de funes
Dado um espao S, que, por convenincia, aqui ser considerado como um espao
vetorial linear, se um grupo G pode ser considerado como um conjunto de transformaes
em S, podemos construir representaes no espao de funes de domnio S.
Seja G um grupo de transformaes 1-1 contnuas de S em S. A imagem de um ponto
x S sob a transformao A G ser denotada por Ax. Naturalmente, a equao y = Ax,
com relao a x, possui nica soluo.

Agora, seja H o conjunto de todas as funes contnuas complexas f definidas em S.


Dessa forma, H um espao vetorial linear tal que as combinaes lineares em H so dadas
por [f + g](x) = f (x) + g(x).
Para qualquer funo f H, a funo D(A)f definida por
[D(A)f ](x) = f (A1 x),

(2.6.1)

ou seja, a funo D(A)f avaliada em x S tem o valor de f no ponto A1 x.

A continuidade da D(A)f depende apenas da continuidade da f , j que a transformao

A contnua por definio. A funo D(A) linear, pois


D(A)[f + g](x) = [f + g](A1 x)
= f (A1 x) + g(A1 x)
= [D(A)f ](x) + [D(A)g](x).
Vamos verificar agora que os operadores D(A) formam uma representao, ou seja,
que satisfazem D(A)D(B) = D(AB). De fato, definimos D(B)f = fb , ento D(A)fb (x) =
fb (A1 x), mas fb (y) = f (B 1 y), logo, tomando y = A1 x, temos
fb (A1 x) = f (B 1 A1 x) = f ((AB)1 x) = [D(AB)f ](x),
ou seja,
[D(A)D(B)f ](x) = D(A)fb (x) = [D(AB)f ](x),

10

2. GRUPO DE LIE SU(2)

portanto, D(A)D(B) = D(AB).


Se definirmos Ai A tal que Ai x Ax, x, ento a representao (2.6.1) tambm

ser contnua. Se G um grupo de Lie e as coordenadas de Ax so funes diferenciveis


dos parmetros do grupo, a representao ser diferencivel. Isto , se f diferencivel
ento D(A)f uma funo diferencivel com relao aos parmetros.
Dizemos que a representao D de dimenso infinita se S tem um nmero infinito de
pontos, porm, em geral, H contm subespaos de dimenso finita invariantes sob D(A),
tal que D redutvel.
Qualquer representao definida em um subespao H1 H ser dita projeo por D

em H1 . Se H1 finitamente gerado pelo conjunto das funes linearmente independentes


{e1 , e2 , . . . , en }, uma representao matricial explcita por ser obtida solucionando
X
ej (A1 x) =
D(A)ij ei (x),
(2.6.2)
i

para D(A).
Sejam S um espao vetorial linear e G um grupo de operadores lineares no singulares
em S, ou seja, tais que cada elemento de G tenha determinante no nulo. Um exemplo de
um subespao invariante no trivial de H o subespao H1 de funes lineares definidas
em S tais que f (x) f (A1 x). De fato, se um produto interno h, i definido em S,
qualquer funo linear pode ser escrita na forma hc, xi para algum c S. Ento
D(A) hc, xi = hc, A1 xi = h(A1 ) c, xi ,

(2.6.3)

que ainda uma funo linear definida em S pelo vetor (A1 ) c. (A1 ) , chamada matriz
contra-gradiente A. Podemos verificar que, dados A, B G e D(A) e D(B) suas respec-

tivas representaes, ((AB)1 ) = (B 1 A1 ) = (A1 ) (B 1 ) . Podemos mostrar tambm


que, de 2.6.3, os operadores so uma representao de G, j que
D((A1 ) )D((B 1 ) ) hc, xi = D((A1 ) ) hc, (B 1 ) xi
= hc, (A1 ) (B 1 ) xi
= h(B 1 A1 )c, xi
= h(AB)1 c, xi
= hc, ((AB)1 ) xi
= D(((AB)1 ) ) hc, xi
O

produto interno aqui definido o cannico em Cn : Dados z = (z1 , , zn ), w = (w1 , , wn ) Cn ,


n
X
o produto interno entre esses vetores hz, wi =
wi zi .
i=1

11

2. GRUPO DE LIE SU(2)


e portanto D((A1 ) )D((B 1 ) ) = D(((AB)1 ) ).

Se as matrizes A so unitrias, (A1 ) = A e o contra-gradiente da representao a


representao original.
Uma funo homognea de grau tal que f (cx) = c f (x).
Um subespao invariante de H mais geral o conjunto H de todas as funes homogneas de grau definidas em S. H um subespao linear de H e invariante sob D(A)
se A um operador linear em S, pois
(D(A)f )(cx) = f (A1 (cx))
= f (cA1 x)
= c f (A1 x)
= c D(A)f (x).
A expresso (2.6.1), para uma representao, pode ser generalizada para funes de
vrias variveis. Por exemplo, se f uma funo de variveis x, y S, D(A)f pode ser
definida por

[D(A)f ](x, y) = f (A1 x, A1 y).

(2.6.4)

Estas representaes so importantes em produtos diretos. Suponhamos que D1 (A) e


D2 (A) satisfazem (2.6.2) para o conjunto de funes ei e f j , respectivamente. Considerando
que estes conjuntos de funes so finitos, ento suas representaes tambm sero de
dimenso finita.
Seja H o espao das funes de duas variveis definidas por
h(x, y) = cij ei (x)f j (y),
onde cij so constantes arbitrrias. A representao definida em H pela equao (2.6.4)
equivalente D1 D2 . Com efeito, tomando ei (x)f j (x) como vetores da base de H, temos
de (2.6.2) que

em (A1 x)en (A1 y) =

X
i

[D1 (A) D2 (A)]ij,mn ei (x)f j (y).

i,j

D1 (A)im ei (x)

D2 (A)jn f j (y)

Seja um subespao H1 de H, n-dimensional e invariante, e o conjunto de n funes


linearmente independentes {e1 , e2 , . . . , en } H1 , definimos o produto interno por hei , ej i =

ij .

Mostraremos que a representao de matriz gerada pelos ei da equao (2.6.2) unitria


se as funes ei satisfazem a propriedade de invarincia seguinte

12

2. GRUPO DE LIE SU(2)

n
X

e (x) e (y) =

i=1

n
X

ei (A1 x) ei (A1 y),

(2.6.5)

i=1

para todo A G.

De fato, reescrevendo (2.6.5) usando (2.6.2), temos


n X
n X
n
X

D(A)ki D(A)li ek (x) el (y) =

i=1 k=1 l=1

n
X

ei (x) ei (y).

i=1

Reescrevendo novamente
n X
n X
n
X
i=1 k=1 l=1

D(A)ki D(A)li e (x) e (y)

n X
n
X
k=1 l=1

"

n
X
i=1

n
X

ei (x) ei (y) = 0

i=1

#
D(A)ki D(A)li kl ek (x) el (y) = 0.

Como as funes ek (x) el (y) so linearmente independentes conclumos que


n
X

D(A)ki D(A)li = kl ,

i=1

como queramos mostrar.


2.7. Representaes irredutveis de SU (2)
O grupo SU(2) um grupo de transformaes unitrias em um espao vetorial complexo
bidimensional H, ento as representaes irredutveis deste grupo podem ser construdas
no espao dos polinmios homogneos
de grau fixo definidos em H.
!
z1
Considere um vetor z =
e o conjunto de funes:
z2
m

z1j+m z2jm

.
e (z) = p
(j + m)!(j m)!

(2.7.1)

Vamos mostrar que esta escolha de bases gera uma representao unitria. As funes
em , m = j, j + 1, , j geram o espao dos polinmios homogneos de grau 2j. Os
1
3
valores que j pode assumir, so j = 0, , 1, , . Veremos que o ndice j pode ser usado
2
2
como ndice para as representaes irredutveis. A dimenso das representaes geradas
2j + 1, j que existem 2j + 1 possibilidades de valores para o ndice m. As matrizes de
representao sero indexadas por j, j + 1, , j em vez da forma usual de nmeros

inteiros 1, 2, , 2j + 1.

13

2. GRUPO DE LIE SU(2)


Usaremos a equao (2.6.2), que aqui ser
j
X

e (A z) =

(2.7.2)

Dj (A)mn em (z),

m=j

para calcular as representaes.


Como A1 = A , ento, com A dada por (2.1.2), A1 z o vetor
cos()ei1 z1 i sen()ei2 z2

A1 z =

i sen()ei2 z1 + cos()ei1 z2

e, por (2.7.1), a funo en (A1 z)

(cos()ei1 z1 i sen()ei2 z2 )j+n i sen()ei2 z1 + cos()ei1 z2


p
e (A z) =
(j + n)!(j n)!
n

jn

Usando o teorema binomial, reescrevemos as componentes do vetor das seguintes formas:


i1

(cos()e

i2

z1 i sen()e

j+n

z2 )

j+n
X

s
(j + n)!
cos()ei1 z1
s!(j + n s)!
s=0
j+ns
i sen()ei2 z2
(2.7.3)

e
i sen()e

i2

i1

z1 + cos()e

z2

jn

jn
X

t
(j n)!
i sen()ei2 z1
t!(j n t)!
t=0
jnt
cos()ei1 z2
.
(2.7.4)

Assim, de (2.7.3) e (2.7.4), temos


j+n jn
X
X

p
s
(j + n)!(j n)!
cos()ei1 z1
e (A z) =
s!(j + n s)!t!(j n t)!
s=0 t=0
j+ns
t
jnt
i sen()ei2 z2
i sen()ei2 z1 cos()ei1 z2
p
j+n jn
X
X
(j + n)!(j n)!
=
(i)j+ns+t
cosjn+st ()
s!(j
+
n

s)!t!(j

t)!
s=0 t=0
n

senj+ns+t ()ei(jnst)1 ei(j+nst)2 z1s+t z22jst ,

que um polinmio de grau 2j.

14

2. GRUPO DE LIE SU(2)


Para simplificar a equao para apenas uma somatria, definimos s + t = j + m, pois

0 s + t 2j ou j m j.
jn
j
X
X

p
(j + n)!(j n)!
(i)
e (A z) =
cos2jn+m2t ()
(j + m t)!(n m + t)!t!(j n t)!
m=j t=0
p
(j + m)!(j m)!
sennm+2t ()ei(nm)1 ei(nm)2 z1j+m z2jm p
(j + m)!(j m)!
p
jn
j
X
X
(j + m)!(j m)!(j + n)!(j n)!
nm+2t
( (i)
=
cos2jn+m2t ()
(j
+
m

t)!(n

m
+
t)!t!(j

t)!
m=j t=0
n

nm+2t

sennm+2t ()ei(nm)1 ei(nm)2 ) p

z1j+m z2jm
(j + m)!(j m)!

z j+m z2jm
onde p 1
= em (z).
(j + m)!(j m)!
Dessa forma, obtemos os elementos de matriz Dj (A)mn desejados, como sendo os coeficientes de em (z) da soma. O resultado da simplificao
Dj (A)mn

X
=
(i)nm+2t
t

p
(j + m)!(j m)!(j + n)!(j n)!
cos2jn+m2t ()
(j + m t)!(n m + t)!t!(j n t)!

sennm+2t ()ei(nm)1 ei(nm)2


p
X
(j + m)!(j m)!(j + n)!(j n)!
= imn
(1)t
cos2jn+m2t ()
(j
+
m

t)!(n

m
+
t)!t!(j

t)!
t
sennm+2t ()ei(n+m)1 ei(nm)2 .

(2.7.5)

Observao 12. Os valores de t na soma devem ser tais que os argumentos das funes
fatoriais sejam no negativas.
Resta mostrarmos que a representao obtida unitria e irredutvel.
Como vimos anteriormente, para mostrar que a representao unitria, basta mostrar
que a funo f (w, z) definida por

f (w, z) =

j
X

em (w) em (z)

m=j

invariante transformao f (Aw, Az). Reescrevendo essa funo em termos de suas


componentes, obtemos:

15

2. GRUPO DE LIE SU(2)

j
X
(w1 )j+m (w2 )jm z1j+m z2jm
f (w, z) =
(j + m)!(j m)!
m=j
j
X
(w1 z1 )j+m (w2 z2 )jm
=
.
(j
+
m)!(j

m)!
m=j

(2.7.6)

Observe que, pelo Teorema Binomial,


(w1 z1 + w2 z2 )n =

n
X

n!
(w z1 )k (w2 z2 )nk ,
k!(n k)! 1

k=0

e tomando n = 2j e k = j + m, temos

(w1 z1

w2 z2 )2j

j
X
(w1 z1 )j+m (w2 z2 )jm
.
= (2j)!
(j + m)!(j m)!
m=j

(2.7.7)

Substituindo (2.7.7) em (2.7.6), obtemos

f (w, z) =

(w1 z1 + w2 z2 )2j
(2j)!

hw, zi2j
=
.
(2j)!
Da unitariedade de A

f (Aw, Az) =

hAw, Azi2j
hw, zi2j
=
= f (w, z).
(2j)!
(2j)!

Para mostrar que Dj (A) irredutvel, consideremos uma matriz M , tal que [M, Dj (A)] =
0, A. Note que o comutador da matriz A com uma matriz B diagonal, com elementos
ij bj tem elementos de matriz (bk bl )akl .

Explicitamente, dada uma matriz A e uma matriz B diagonal,

a1m

am1 am2

amm

a11

a12

a21
A=
..
.

a22
..
.

o comutador entre elas

..
.

a2m
..
,
.

b11

B=

0
..
.
0

b22
.. . .
.
.
0

0
..
.

bmm

16

2. GRUPO DE LIE SU(2)

a11

a12

a21
[A, B] =
..
.
am1

b11

0
.
.
.

a22
..
.

...

am2
0

b11

a2m

..

0
..
.

bmm

a11 b11

a12 b22

a21 b11
=
..
.

a22 b22
..
.

..
.

am1 b11 am2 b22

0
..
.

bmm

a1m

b22
.. . .
.
.

0
0
amm

0
a11 a12

0 a21 a22

..
..
.
. ..
.

b22
.. . .
.
.
0

a1m

..
.

a2m
..

am1 am2 amm



a1m bmm
b11 a11

a2m bmm b22 a21
.
..
.
.
.
amm bmm

b11 a12
b22 a22
..
.

..
.

bmm am1 bmm am2

b11 a1m

b22 a2m
..
.

bmm amm

a1m (bmm b11 )

a21 (b11 b22 )


0
a2m (bmm b22 )

[A, B] =
..
..
..
..

.
.
.
.

am1 (b11 bmm ) am2 (b22 bmm )


0
0

a12 (b22 b11 )

Se quaisquer dois elementos da diagonal de B so diferentes, e [A, B] = 0, ento:


aij = 0, i 6= j,
ou seja, A deve ser diagonal.
Agora, considere o grupo de elementos, tais que = 0. Como A(0, 1 , 2 ) independente de 2 , os elementos Dj (A)mn , em (2.7.5), devem ser independentes de 2 . Devido
o termo ei(nm)2 , em (2.7.5), necessrio que n = m e, ento a matriz de representao
deve ser diagonal. O termo sennm+2t () indica que para = 0 e m = n, t = 0 sero
Dj (A(0, 1 , 2 )) = 0. O elemento de matriz ento:
Dj (A(0, 1 , 2 ))mn = e2im1 mn .

(2.7.8)

, a matriz M , que, por


2j
hiptese, comuta com Dj (A(0, 1 , 2 )), deve ser diagonal com elementos m mn .
J que no h dois elementos diagonais iguais para 0 < 1 <

Como M diagonal, o comutador de M com uma matriz arbitrria Dj (A), tem elementos (m n )Dj (A)mn = 0. Em particular, considere Dj (A)mj . O nico valor que t

17

2. GRUPO DE LIE SU(2)


pode assumir em (2.7.5) t = 0 e ento
j

D (A)mj = i

mj

X
t

sen

p
(j + m)!(j m)!(j + j)!(j j)!
(1)
cos2jj+m20 ()
(j + m 0)!(j m + 0)!0!(j j 0)!
0

jm+20

(2.7.9)

()ei(j+m)1 ei(jm)2

(j + m)!(j m)!(2j)!
cosj+m () senjm ()ei(j+m)1 ei(jm)2
(j + m)!(j m)!

 12
(2j)!
jm
= (i)
cosj+m () senjm ()ei(j+m)1 ei(jm)2
(j + m)!(j m)!

= (i)jm

Note que Dj (A)mj , em geral, no nulo, o que implica que m j = 0, m, que, por

sua vez, implica que M = j 1. Portanto,

M Dj (A) = Dj (A)M M = 1 Dj (A) irredutvel.


Precisamos mostrar ainda que Dj (A) constitui todas as representaes irredutveis no
equivalentes. Para isso, vamos mostrar que os produtos diretos arbitrrios de representa1

es fiis D 2 (A) por elas mesmas so somas diretas de Dj (A).


Primeiro, observe que qualquer A(, 1 , 2 ) SU (2) pode ser transformada por uma

matriz unitria com determinante unitrio para


ei

ei

!
,

onde 0 .

Assim, cada classe de A inclui exatamente tal matriz e pode ser etiquetada pela varivel

[0, ]. A classe de uma matriz A pode ser unicamente especificada pela fase deste
autovalor no semiplano superior.
1

A representao D 2 (A) uma representao fiel do grupo com carter


1

2 () = + 1 ,

(2.7.10)

onde = ei . De (2.7.8), o carter de Dj (A)

j () = 2j + 2j2 + + 2j+2 + 2j .
De (2.7.10) e (2.7.11), temos que para j > 0,

(2.7.11)

18

2. GRUPO DE LIE SU(2)

2 ()j () = ( + 1 )( 2j + 2j2 + + 2j+2 + 2j )


= 2j+1 + 2j1 + 2j1 + 2j3 + + 2j+3 + 2j+1 + 2j1
= 2j1 + 2j3 + + 2j+3 + 2j+1
+ 2j+1 + 2j1 + + 2j+1 + 2j1
1

= j 2 () + j+ 2 ().
1

Logo, por induo, mostramos que [ 2 ()]n =

cnj j (), onde cnj so coeficientes

inteiros.
1

Isto mostra que o produto direto de n fatores de D 2 (A) reduz-se uma soma direta
de Dj (A). Como todas as representaes irredutveis podem ser obtidas reduzindo estes
produtos diretos, os Dj (A) constituem todas elas.
Para algumas aplicaes precisaremos do complexo conjugado e da transposta de Dj (A).
De (2.7.5), fazendo t = n m + s, temos
Dj (A)mn = (1)nm Dj (A)mn .
Assim, a transposta dada por
Dj (A)nm = Dj (A1 )mn = (1)mn Dj (A1 )mn ,

(2.7.12)

onde os parmetros de A1 so , 2 1 e 2 + .

Tambm necessitamos de Dj (A)mj . A soma (2.7.5) reduz-se ao caso de nico termo

com t = j + m, ento
"
Dj (A)mj = (i)j+m

!# 21

2j
j+m

cosjm senj+m ei(jm)1 ei(j+m)2 .

(2.7.13)

2.8. Reduo do produto direto de representaes irredutveis


O produto direto pode ser construdo no espao de funes de duas variveis gerado
pelas funes em (x)en (y), j m j, k n k. Na reduo do produto direto

necessrio escolher combinaes lineares adequadas destas funes que esto contidas nos
subespaos invariantes. Tais combinaes sero denotadas por fl,p (x, y), l p l, onde,
fl,p (x, y) =

X
mn

(2l + 1)

1
2

k l

m n p

em (x)en (y).

(2.8.1)

19

2. GRUPO DE LIE SU(2)

Observao 13. Vale observar que os coeficientes no so unicamente determinados


j que a representao reduzida pode ser dada de formas equivalentes.
Observao 14. Outra observao que assumimos que a transformao (2.8.1)
unitria. Para justificar, suponha que D(A) uma representao unitria que pode ser
reduzida por uma matriz S um produto direto D0 (A) de representaes unitrias irredutveis. Ento, SD(A) = D0 (A)S e seu conjugado hermitiano D(A1 )S = S D0 (A1 ).
Logo, SS comuta com D0 (A), para todo A no grupo, pois
SS D0 (A1 ) = SD(A1 )S = D0 (A1 )SS .
A matriz SS hermitiana e definida positiva, ento pode ser diagonalizada por uma
matriz unitria M, ou seja, a matriz M SS M 1 diagonal com elementos i ij positivos.
Como SS comuta com D0 (A), A, M SS M 1 comuta com M D0 (A)M 1 , A e ento
1
(i j )(M D0 (A)M 1 )ij = 0. Isso diz que a matriz hermitiana Q, dada por Qij = ij
i
0
1
0
1
0
tambm comuta com M D (A)M . Logo, a matriz Q = M QM comuta com D (A).
Alm disso,
(Q0 S)(Q0 S) = M 1 (QM SS M 1 Q)M = M 1 M = 1,
ou seja, Q0 S unitria.
Ento, Q0 SD(A) = Q0 D0 (A)S = D0 (A)Q0 S e, portanto, Q0 S a matriz unitria que
transforma D(A) em D0 (A).
Por conveno, usamos o complexo conjugado das representaes reduzidas Dl (A) .
Dessa forma, os coeficientes em (2.8.1) podem ser escolhidos da seguinte forma:

em (x)en (y) =

(2l + 1)

lp

1
2

k l

m n p

(2.8.2)

fl,p (x, y).

Se trocarmos x e y por A1 x e A1 y, respectivamente, teremos por (2.7.2)


em (A1 x)en (A1 y) =

m0

m0 n0

Dj (A)m0 m em (x)

Dk (A)n0 n en (y)

n0
0

Dj (A)m0 m Dk (A)n0 n em (x)en (y)

20

2. GRUPO DE LIE SU(2)

e por (2.8.2)
j

X
1
em (A1 x)en (A1 y) =
(2l + 1) 2

X
1
(2l + 1) 2
lpp0

fl,p (A1 x, A1 y)
m n p
!
j k l
Dl (A)p0 p fl,p0 (x, y)
m n p
!
!
j k l X
j k l
1
(2l + 1) 2
m n p m0 n0
m0 n0 p0

lp

k l

X
1
(2l + 1) 2
lpp0
0

Dl (A)p0 p em (x)en (y)


=

XX

(2l + 1)

k l

j
0

m n p

lpp0 m0 n0

Dl (A)p0 p em (x)en (y).

Assim, obtemos
X

m0

n0

XX

Dj (A)m0 m Dk (A)n0 n e (x)e (y) =

m0 n0

lpp0

(2l + 1)

k l

m n p

m0 n0
0

m0 n0 p0

Dl (A)p0 p em (x)en (y).


0

Igualando os coeficientes de em (x)en (y) em ambos os lados da igualdade na expresso


acima, temos
j

D (A)m0 m D (A)n0 n =

X
lpp0

(2l + 1)

k l

m n p

j
0

!
Dl (A)p0 p .

(2.8.3)

Como as matrizes das representaes irredutveis de SU (2), Dj (A), so conhecidas,


podemos resolver a equao (2.8.3) para os coeficientes
!
j k l
,
m n p
que so os coeficientes (ou smbolos) 3-j, pois geralmente no lugar de j, k, l so usados
j1 , j2 , j3 .
Se multiplicarmos (2.8.3) por D (A)q0 q e integrarmos sobre o grupo, a soma no lado
direito eliminada pelas relaes de ortogonalidade dadas por

Dl (g)im Dk (g)jn dg = lk ij mn ,
nl
onde nl = dim(Dl (A)) = 2l + 1.

21

2. GRUPO DE LIE SU(2)


Trocando , q, q 0 por l, p, p0 , o resultado
j

k l

m0 n0 p0

m n p

1
=

Dl (A)p0 p Dj (A)m0 m Dk (A)n0 n dA.

(2.8.4)

Agora fica claro por que introduzimos o fator (2l + 1) 2 em (2.8.1), pois simplifica a
expresso (2.8.4), que no depende explicitamente da dimenso da representao.
Observando a Eq. (2.7.5), vemos que o integrando possui as fases eiS1 e eiT 2 , onde
S = m + n + p + m0 + n0 + p0 e T = m0 + n0 + p0 m n p. Como a medida de Haar em

SU (2) independente dos parmetros 1 e 2 e a integral no grupo uma integral sobre


tais parmetros em [0, 2], ento a integral nula, a menos que S = T = 0. Para o caso
particular em que m = m0 , n = n0 , p = p0 , T = 0 e S = 2(m + n + p), temos
j

k l

m n p

= 0,

a menos que m + n + p = 0. Logo, os coeficientes 3-j podem ser avaliados tomando n =


k, m = j e p = k j em (2.8.4). Usando (2.7.5), (2.7.9), (2.7.13) e o fato de que o
integrando independente de 1 e 2 , temos que

j k p

m0 n0 p0

 21 
 21

1
2j!
2k!
k+n0
=
(1)

(k + n0 )!(n0 k)!
(j + m0 )!(j m0 )!
#
" p
0 )!(l p0 )!(l + p)!(l p)!
X
(l
+
p

(1)t
(l + p0 t)!(p p0 + t)!t!(l p t)!
t

cos2 () sen2 ()dA,

onde
2 = 2l p + p0 2t + j + m0 + k n0
= 2l k + j + p0 2t + j + m0 + k n0
= 2l + 2j + p0 2t + m0 n0
= 2(l + j t) + p0 + m0 n0
= 2(l t + j n0 )

22

2. GRUPO DE LIE SU(2)

e
2 = p p0 + 2t + j m0 + k + n0
= k j p0 + 2t + j m0 + k + n0
= 2(k + t) p0 m0 + n0
= 2(t + k + n0 ).
A integral sobre o grupo pode ser calculada a partir da propriedade de ortogonalidade,
usando a expresso explcita das matrizes de representao Dj (A) (2.7.9)

2j!
j
2
|D (A)jm | dA =
=
cos2 () sen2 ()dA,
2j + 1
(j + m)!(j m)!

onde = j + m, = j m, ou seja,

cos2 () sen2 ()dA =

!!
2j!(2j + 1)
!!
=
(2j + 1)!
!!
=
( + + 1)!

ento,
j

m 0 n0 p0

j k p

!
k+n0

= (1)

2k!2j!(l + p0 )!(l p0 )!(l + p)!(l p)!


(k + n0 )!(k n0 )!(j + m0 )!(j m0 )!

!!
(l + t)!(p + t)!t!(l p t)!( + + 1)!
t

 12
0
0
k+n0 2k!2j!(l + p )!(l p )!(l + p)!(l p)!
= (1)
(k + n0 )!(k n0 )!(j + m0 )!(j m0 )!
X
(l t + j n0 )!(t + k + n0 )!

(1)t
.
(l + p0 t)!(p p0 + t)!t!(l p t)!(l + j + k + 1)!
t

X
(1)t

p0

 21

p0

(2.8.5)

Esta equao pode ser usada para deduzir o mdulo quadrado dos coeficientes 3-j. Para
tanto fazemos m0 = j, n0 = k, p0 = p e assim,

!
j k l 2
(l + p)!(l p)! X
(l t + j + k)!


(1)t
.

=
j k p
(l + j + k + 1)! t
(l + p t)!t!(l p t)!

Usando a identidade (8.32) em [1]:


X
( + t)!
!( + )!
(1)t
=
,
t!(

t)!(

t)!
!!(

)!
t

23

2. GRUPO DE LIE SU(2)


onde = j + k + p, = l p e

j k


j k
Como p = k j,

= l + p, obtemos
! 2
l
(j + k + p)!(j + k p)!
.
=
(l + j + k + 1)!(j + k l)!
p


!
j k l 2
(2k)!(2j)!


.
=

j k p
(l + j + k + 1)!(j + k l)!

Todas as funes fl,p , com l fixo, podem ser multiplicadas por uma fase constante sem
causar alteraes na forma da representao reduzida. Escolheremos a fase escrevendo
!

1
j k l
(j + k + p)!(j + k p)! 2
2k2j
= (1)
.
(2.8.6)
(l + j + k + 1)!(j + k l)!
j k p
De (2.8.5) e (2.8.6), temos o resultado final para os coeficientes 3-j no nulos. Substitumos p por k j e m0 , n0 e p0 por m, n e p, respectivamente, assim obtendo
!

 21
0
0
j k l
k+n0 2k!2j!(l + p )!(l p )!(l + p)!(l p)!
= (1)
(k + n0 )!(k n0 )!(j + m0 )!(j m0 )!
m n p
X
(l t + j n0 )!(t + k + n0 )!

(1)t
.
0 t)!(p p0 + t)!t!(l p t)!(l + j + k + 1)!
(l
+
p
t
j

k l

m n p

2jk+n

= (1)

X
(1)t
t

(j + k l)!(l + k j)!(l k + j)!(l + k j)!(l k + j)!


(k + n)!(k n)!(j + m)!(j m)!

 12

(l t + j n)!(t + k + n)!
.
(l + k j t)!t!t!(l k + j t)!

Observao 15. Vale observar que a soma em t nesta equao e em todas as anteriores
de tal forma que as funes fatoriais sejam no negativas. Note tambm que nesta escolha
de fase, todos os coeficientes 3-j so reais.
A condio de unitariedade na transformao (2.8.1) fornece duas identidades que os
coeficientes 3-j devem satisfazer
X
mn

X
lp

(2l + 1)

k l

k l0

m n p
!
j k l

m n p0

m n p

m 0 n0 p

!
=

ll0 pp0
,
2l + 1

(2.8.7)

!
= mm0 nn0 .

(2.8.8)

Alm destas identidades, a condio de unitariedade nos d como resultado, aplicando


a condio (2.8.7) na equao (2.8.3), o seguinte

24

2. GRUPO DE LIE SU(2)

X
m0 n0

m0 n0 p0

Dj (A)m0 m Dk (A)n0 n =

k l

m n p

Dl (A)p0 p .

2.9. Reduo de um produto triplo


Antes de estudarmos o produto direto de trs representaes irredutveis e definirmos
os coeficientes 6-j, vamos fazer uma breve discusso sobre a reduo de produto direto para
a forma Dl (A), e no para seu conjugado Dl (A) , como j foi feito.
As funes fl,p definidas pela equao (2.8.1) satisfazem
X
fl,p (A1 x, A1 y) =
Dl (A)p0 p fl,p0 (x, y).
p0

Podemos encontrar novas funes que podem ser transformadas por Dl (A), como, por
exemplo, de (2.7.12), temos que fl,p = (1)lp fl,p tem essa propriedade, onde devemos
considerar as funes fl,p como componentes contravariantes de um vetor cujas componentes covariantes so fl,p . Tais componentes covariantes e contravariantes so conectadas por
0

um tensor mtrico cujos elementos so dados por (gl )mm = (1)lm m,m0 .
1 3
Este tensor mtrico no simtrico quando l = , , , ento, temos que tomar
2 2
certos cuidados para subir e descer os ndices, por exemplo,
X
X
fm g m = (1)2l
f m gm .
(2.9.1)
m

Os coeficientes 3-j podem ser considerados elementos covariantes de um tensor desta


forma. Os ndices deste tensor podem ser levantados e abaixados como no exemplo:
!
!
j k p
j
k
l
= (1)lp
.
m n l
m n p
Denotamos a transformao por Dl (A) como componentes contravariantes das funes
f por
X
1
fl p (x, y) =
(2l + 1) 2
mn

so

!
k p

m n l

em (x)en (y).

Assim, como p = m n e 2(j + k + l) um inteiro, os coeficientes 3-j contravariantes


!
m n p
j

k l

= (1)j+k+lmnp

m n p

25

2. GRUPO DE LIE SU(2)

e pela simetria dos coeficientes 3-j


!
m n p
j

k l

k l

!
= (1)j+k+l

m n p

= (1)2(j+k+l)

k l

m n p

m n p
!
j k l
.
m n p

, ento

Ento podemos reescrever as relaes de ortogonalidade (2.8.7) e (2.8.8), na forma


invariante como
X

k l

m n p0
0

mn

(2l + 1)

lp

j k l
m n p
!
!
m0 n0 p
j k l
j

m n p

ll0 pp0
,
(2l + 1)

(2.9.2)

= mm0 nn0 .

(2.9.3)

Agora, considere no espao de funes de trs variveis, gerado pelos produtos en1 (x)
em2 (y)en2 (z), l1 n1 l1 e etc, o produto direto de trs representaes Dl1 (A), Dj2 (A)

e Dl2 (A) definidas nesses espaos, respectivamente.

Uma maneira de reduzir o produto direto reduzir-se primeiro o produto Dl1 (A)

Dj2 (A). As componentes contravariantes das funes que fazem essa reduo so
!
X
l1 j2 n3 n1
1
n3
e (x)em2 (y).
fl3 (x, y) =
(2l3 + 1) 2
n1 m2 l3
n1 ,m2
Fazendo o produto direto Dl2 (A) (Dl1 (A) Dj2 (A)), temos:
!
X
l
l
m
1
2
3
1
fl3 n3 (x, y)en2 (z)
(gl3 )j1 m1 (x, y, z) =
(2j1 + 1) 2
n2 n3 j1
n2 ,n3
!
X
1
l
l
m
2
3
1
=
[(2l3 + 1) (2j1 + 1)] 2
n2 n3 j1
n1 ,n2 ,n3 ,m2
!
l1 j2 n3 n1

e (x)em2 (y)en2 (z),


n1 m2 l3

(2.9.4)

que pela invarincia de permutaes cclicas de trs colunas, podemos reescrever (2.9.4)
como:
X

(gl3 )j1 m1 (x, y, z) =

[(2l3 + 1) (2j1 + 1)]

n1 ,n2 ,n3 ,m2

l1

j2

n3

n1 m2

l3

1
2

m1

l2

j1

n2 n3

!
em2 (x)en1 (y)en2 (z).

l3

26

2. GRUPO DE LIE SU(2)


As funes (gl3 )j1 m1 (x, y, z) transformam-se de acordo com Dj1 (A) :
(gl3 )j1 m1 (A1 x, A1 y, A1 z) =

Dj1 (A)1 m1 (gl3 )j1 1 (x, y, z).

O produto direto tambm pode ser reduzido fazendo primeiro o produto direto Dl1 (A)
Dl2 (A) :

fj03 m3 (x, z) =

(2j3 + 1)

l1

1
2

n1 ,n2

l2

m3

n1 n2

j3

!
en1 (x)en2 (z).

Agora fazendo o produto direto Dj2 (A) (Dl1 (A) Dl2 (A)), obtemos:
m01
0
j3 j10

(g )

(x, y, z) =

(2j10 + 1)

m2 ,m3

j3

m01

m2 m3

j10

j2

1
2

[(2j10 + 1)(2j3 + 1)]

!
em2 (y)fj03 m3 (x, z)

1
2

n1 ,n2 ,m2 ,m3

l1

l2

m3

n1 n2

j3

m01

j2

j10

m2 m3

j3

(2.9.5)

!
en1 (x)em2 (y)en2 (z).

As funes (gl3 )j1 m1 (x, y, z) e (gj0 3 )j10 m1 (x, y, z) so completas no espao de representao
do produto direto e possvel expandir um conjunto de funes em termos de outro. Sendo
assim, podemos escrever
X

(gl3 )j1 m1 (x, y, z) =

(2.9.6)

C(j1 l3 m1 , j10 j3 m01 )(gj0 3 )j10 m1 (x, y, z).

j10 j3 m01

Substituindo x, y e z por A1 x, A1 y e A1 z em (2.9.6) e usando a propriedade de


representao, vamos mostrar que os nicos termos na soma so j10 = j1 e m01 = m1 . Assim,
X

Dj1 (A)1 m1 (gl3 )j1 1 (x, y, z) =

C(j1 l3 m1 , j10 j3 m01 )Dj1 (A)01 m01 (gj0 3 )j10 1 (x, y, z).

01

Este resultado multiplicado por Dj1 (A)mm0 e integrado sobre o grupo, nos fornece,
pelas propriedades de ortogonalidade,
(gl3 )j1 m (x, y, z) =

C(j1 l3 m1 , j1 j3 m1 )(gj0 3 )j1 m (x, y, z).

(2.9.7)

j3

Isto mostra que a expanso dos coeficientes independente do argumento m1 e pode


ser feita uma escolha conveniente deste ndice.

27

2. GRUPO DE LIE SU(2)


Definio 16. Os smbolos 6-j so definidos por
C(j1 l3 m1 , j1 j3 m1 ) = (1)2l1 [(2l3 + 1) (2j3 + 1)]

1
2

(
)
j1 j2 j3
l1 l2 l3

(2.9.8)

2.10. Relao entre os coeficientes 3-j e 6-j


De (2.9.7), usando (2.9.4) e (2.9.5) e igualando os coeficientes de en1 (x)em2 (y)en2 (z),
temos:
X
1
(2l3 + 1) 2
n3

m l2

l3

j1 n2 n3

l1

j2

n3

n1 m2

l3

!
X

C(j1 l3 m1 , j1 j3 m1 )

(2j3 + 1) 2

m3

j3

j2

j3

j1 m2 m3

l1

l2

m3

n1 n2

j3

!
.

Substituindo os coeficientes de Clebsch-Gordan e m por m1 nessa igualdade teremos:


!
!
X m1 l2 l3
X
l1 j2 n3
=
(1)2l1 (2j3 + 1)
j
n
n
n
m
l
1
2
3
1
2
3
n3
j3 ,m3
(
)
!
!
j1 j2 j3
m1 j2 j3
l1 l2 m3

.
l1 l2 l3
j1 m2 m3
n1 n2 j3
Subindo j1 e n2 nos dois lados da igualdade:
!
!
X j1 n2 l3
X
l1 j2 n3
=
(1)2l1 (2j3 + 1)
m
l
n
n
m
l
1
2
3
1
2
3
n3
j3 ,m3
(
)
!
!
j1 j2 j3
j1 j2 j3
l1 n2 m3

.
l1 l2 l3
m1 m2 m3
n1 l2 j3
Da propriedade de ortogonalidade (2.9.2) e de (2.9.1), temos uma forma mais simtrica
para a identidade:
X

n1

l2

j3

n1 n2 n3

l1

n2 m3

j1

n2

l3

m1

l2

n3

l1

j2

n3

n1 m2

l3

!
=

(
)
j1 j2 j3
l1 l2 l3

j1

j2

j3

m1 m2 m3

!
.

3
MOMENTO ANGULAR

3.1. Operador de Casimir


Chamamos de operador de Casimir a matriz L2 , definida por
L2 := (L1 )2 + (L2 )2 + (L3 )2

(3.1.1)

tal que L2 comuta com seus trs geradores La , [L2 , La ] = 0; a = 1, 2, 3.


Observao 17. O operador de Casimir comuta com seus geradores em qualquer
representao de SU (2), e se D uma representao irredutvel de SU (2), ento, pelo
lema de Schur, L2 mltiplo da identidade.
3.2. Autovalores de L2 e de L3
Sejam La ; a = 1, 2, 3, matrizes hermitianas sobre um espao vetorial de dimenso finita,
tal que [La , Lb ] = iabc Lc e seja, tambm, L2 = L21 + L22 + L23 . Note que L2 hermitiana,
logo, seus autovalores so reais.
Vamos mostrar primeiramente que os autovalores de L2 so reais no negativos.
Seja Cn um autovetor de L2 com autovalor , tal que L2 = e como La so

hermitianas (a = 1, 2, 3), temos ento que:


h, i = h, i
= h, L2 i

= h, (L21 + L22 + L23 )i


= h, L21 i + h, L22 i + h, L23 i
= hL1 , L1 i + hL2 , L2 i + hL3 , L3 i .
Do fato de que hLa , La i > 0, conclumos que > 0.

Escrevemos, por convenincia, os autovalores de L2 como = l(l + 1)~2 , com l > 0

e os autovalores de L3 como = m~, e como L2 e L3 comutam, podemos escolher uma


29

30

3. MOMENTO ANGULAR

base ortogonal, cujos vetores so, simultaneamente, autovetores de L2 e L3 , relacionados


aos autovalores l(l + 1)~2 e m~, respectivamente. Denotaremos esses autovetores por l,m .
Assim, temos L2 l,m = ~2 l(l + 1)l,m e L3 l,m = m~l,m .
Vamos definir os operadores no hermitianos L+ e L por:
L+ := L1 + iL2

(3.2.1)

L := L1 iL2

(3.2.2)

Apesar de no serem hermitianos, temos que L+ = L e vice-versa. Esses operadores


podem ser chamados operadores de levantamento e abaixamento. Note que somando (3.2.1)
L+ + L
L+ L
e (3.2.2), temos L1 =
e subtraindo (3.2.1) de (3.2.2), temos L2 =
. Logo,
2
2i
[La , Lb ] = iabc Lc pode ser escrita em termos de L+ , L e L3 , da seguinte forma:

[L3 , L+ ] = [L3 , L1 + iL2 ]


= [L3 , L1 ] + i[L3 , L2 ]
= i~L2 i2 ~L1
= ~(L1 + iL2 )
= ~L+

(3.2.3)

[L3 , L ] = [L3 , L1 iL2 ]


= [L3 , L1 ] i[L3 , L2 ]
= i~L2 + i2 ~L1
= ~(L1 + iL2 )
= ~L

(3.2.4)

[L+ , L ] = [L1 + iL2 , L1 iL2 ]


= [L1 , L1 ] i[L1 , L2 ] + i[L2 , L1 ] [L2 , L2 ]
= i2 ~L3 i2 ~L3
= 2~L3 .

(3.2.5)

31

3. MOMENTO ANGULAR
E, tambm temos:
L+ L = (L1 + iL2 )(L1 iL2 )
= L21 iL1 L2 + iL2 L1 + L22
= L21 i[L1 , L2 ] + L22

(3.2.6)

= L21 + L22 i2 ~L3


= L21 + L22 + ~L3 .

L L+ = (L1 iL2 )(L1 + iL2 )


= L21 + iL1 L2 iL2 L1 + L22
= L21 + i[L1 , L2 ] + L22

(3.2.7)

= L21 + L22 + i2 ~L3


= L21 + L22 ~L3 .
Dessa forma, usando (3.1.1), podemos reescrever (3.2.6) e (3.2.7) da seguinte forma:

L+ L = L2 L3 + ~L3
L L+ = L2 L23 ~L3 .

(3.2.8)
(3.2.9)

Somando (3.2.8) e (3.2.9), obtemos:


L+ L + L L+ = 2L2 2L23
1
(L+ L + L L+ ) + L23 .
L2 =
2
Assim, usando estas igualdades, podemos obter vrias concluses sobre os autovalores
e autovetores de L2 e L3 .
Proposio 18. Se l(l + 1)~2 e m~ so os autovalores de L2 e L3 , respectivamente,
associados ao mesmo autovetor l,m , ento l e m satisfazem:
l 6 m 6 l.

32

3. MOMENTO ANGULAR

Demonstrao.
L+ L l,m = (L2 L23 + ~L3 )l,m
= L2 l,m L23 l,m + ~L3 l,m
= [l(l + 1)~2 (m~)2 + ~2 m]l,m
= [~2 (l + m)(l m + 1)]l,m .
L L+ l,m = (L2 L23 ~L3 )l,m
= L2 l,m L23 l,m ~L3 l,m
= [l(l + 1)~2 (m~)2 ~2 m]l,m
= [~2 (l m)(l + m + 1)]l,m .
Logo,
hl,m , L+ L l,m i = ~2 (l + m)(l m + 1)||l,m ||2
hl,m , L L+ l,m i = ~2 (l m)(l + m + 1)||l,m ||2 .

(3.2.10)
(3.2.11)

Como L = L ,
0 6 hL l,m , L l,m i = hl,m , L+ L l,m i
0 6 hL+ l,m , L+ l,m i = hl,m , L L+ l,m i .
Segue que
(l + m)(l m + 1) > 0 e (l m)(l + m + 1) > 0
Logo, vale
(1) l + m > 0 e l m + 1 > 0 ou
(2) l + m 6 0 e l m + 1 6 0
Vale tambm que:

(3) l m > 0 e l + m + 1 > 0 ou


(4) l m 6 0 e l + m + 1 6 0

Em (2), se somarmos as desigualdades, temos que 2l 6 1, o que no possvel, pois l > 0.


Ento, temos por (1) que m > l.

Em (4), assim como em (2), temos uma contradio. Ento, por (3) temos que m 6 l.
Assim, conclumos que
l 6 m 6 l.

(3.2.12)

33

3. MOMENTO ANGULAR


Proposio 19. Seja l,m um autovetor no nulo de L2 e de L3 com autovalores
l(l + 1)~2 e m~, respectivamente. Ento
(1) m = l L l,m = 0.

(2) Se m > l, ento L l,m um autovetor no nulo de L2 e L3 associados aos


autovalores l(l + 1)~2 e (m 1)~, respectivamente.

Demonstrao.
(1) Por (3.2.10), temos que ||L l,m ||2 = ~2 (l + m)(l m + 1)||l,m ||2 . Por hiptese,

m = l. Logo, ||L l,l ||2 = ~2 [l + (l)][l (l) + 1]||l,l ||2 = 0. Como a norma

de um vetor zero se, e somente se, o vetor nulo, conclumos que todos os vetores
L l,l so nulos.
Por outro lado, se L l,m = 0, multiplicando a igualdade por L+ , obtemos
L+ L l,m = L+ 0
[~2 (l + m)(l m + 1)]l,m = 0
Logo, por (3.2.12), conclumos que a nica soluo m = l.

(2) Se m > l, por (3.2.10), ||L l,m ||2 6= 0. Sabemos que os operadores L e L2
comutam:

[L2 , L ]l,m = 0
m
L2 L l,m = L L2 l,m
= l(l + 1)~2 L l,m
Logo, L l,m um autovetor de L2 associado ao autovalor l(l + 1)~2 .
Agora, por (3.2.4):

[L3 L ]l,m = ~L l,m


m
L3 L l,m = L L3 l,m ~L l,m
= m~L l,m ~L l,m
= (m 1)~L l,m

34

3. MOMENTO ANGULAR
Assim, L l,m autovetor de L3 associado ao autovalor (m 1)~.

Analogamente, segue a proposio:


Proposio 20. Seja l,m um autovetor no nulo de L2 e L3 associado aos autovalores
l(l + 1)~2 e m~, respectivamente. Ento
(1) m = l L+ l,m = 0

(2) Se m < l, L+ l,m um autovetor no nulo de L2 e L3 associado aos autovalores


l(l + 1)~2 e (m + 1)~, respectivamente.
Demonstrao.

(1) Por (3.2.11), temos que


||L+ l,m ||2 = ~2 (l m)(l + m + 1)||l,m ||2 .
Por hiptese, m = l. Logo, ||L+ l,l ||2 = ~2 (l l)(l + l + 1)||l,l ||2 = 0. Como a

norma de um vetor zero se, e somente se, o vetor nulo, conclumos que todos
os vetores L+ l,m so nulos.

Por outro lado, se L+ l,mm = 0, multiplicando a igualdade por L , obtemos


L L+ l,m = L 0
[~2 (l m)(l + m + 1)]l,m = 0
Logo, por (3.2.12), conclumos que a nica soluo m = l.
(1) Se m < l, por (3.2.11), ||L+ l,m ||2 6= 0. Sabemos que os operadores L+ e L2
comutam:

[L2 , L+ ]l,m = 0
m
L2 L+ l,m = L+ L2 l,m
= l(l + 1)~2 L+ l,m
Logo, L+ l,m um autovetor de L2 associado ao autovalor l(l + 1)~2 .
Agora, por (3.2.3):

35

3. MOMENTO ANGULAR

[L3 , L+ ]l,m = ~L+ l,m


m
L3 L+ l,m = L+ L3 l,m + ~L+ l,m
= m~L+ l,m + ~L+ l,m
= (m + 1)~L+ l,m
Assim, L+ l,m autovetor de L3 associado ao autovalor (m + 1)~.

3.3. No-degenerescncia dos autovalores de L3
Acabamos de concluir que l,m um autovetor de L2 e L3 , associados aos autovalores
l(l + 1)~2 e m~, respectivamente. Logo os 2l + 1 vetores
lm
Ll+m
l,m , , L l,m , l,m , L+ l,m , , L+ l,m

(3.3.1)

so autovetores no nulos de L2 , associado ao autovalor l(l + 1)~2 e autovetores no


nulos de L3 , associados aos autovalores m~, com l 6 m 6 l.

Como estes 2l + 1 vetores correspondem a autovetores distintos, ento so ortogonais

entre si.
Suponhamos, agora, que l,m seja outro autovetor de L2 e de L3 associado aos autovalores l(l + 1)~2 e m~, respectivamente. Assim, da mesma forma, os 2l + 1 vetores
l+m
L
l,m , , L l,m , l,m , L+ l,m , , Llm
+ l,m

(3.3.2)

tambm so autovetores no nulos de L2 , associados aos autovalores l(l + 1)~2 e autovetores no nulos de L3 , associados aos autovalores m~, com l 6 m 6 l.

Sejam U e V os subespaos (2l + 1)-dimensionais gerados por (3.3.1) e (3.3.2), respec-

tivamente.
Vamos mostrar, por induo, que U e V so ortogonais.
De fato, como os autovalores de L3 so ortogonais, basta mostrarmos que:
h(L )a l,m , (L )a l,m i = 0, a = 0, , l m

Para a = 0, imediato, pois hl,m |l,m i = 0, j que so ortogonais, por hiptese. Vamos

supor que

h(L+ )a1 l,m , (L+ )a1 l,m i = 0 a = 0, , l m

36

3. MOMENTO ANGULAR
Usando que L+ = L , temos

h(L+ )a l,m , (L+ )a l,m i

h(L+ )a1 l,m , L L+ (L+ )a1 l,m i

=
(3.2.9)

h(L+ )a1 l,m , (L2 L23 ~L3 )(L+ )a1 l,m i

Agora, usando que (L+ )a1 l,m autovetor de L2 associado ao autovalor l(l + 1)~2 e
autovetor de L3 associado ao autovalor (m a 1)~, temos:

h(L+ )a l,m , (L+ )a l,m i =

l(l + 1)~2 [(m a 1)~]2 (m a 1)~2

h(L+ )a1 l,m , (L+ )a1 l,m i


= 0
A demonstrao de
h(L )a1 l,m , (L )a1 l,m i = 0 a = 0, , l + m
anloga.
Assim, conclumos que U e V so ortogonais.
Porm, note que U e V so subespaos invariantes na lgebra gerada por L1 , L2 , L3 ,
ou seja, essa representao no irredutvel, o que contraria a hiptese. Logo, a dimenso
de cada autoespao igual a 1 e (3.3.1) representa todos seus respectivos autovetores.
Cada representao irredutvel de SU (2) caracterizada por um autovalor de L2 , ento
vamos index-las pelo ndice l: Dl , onde l inteiro ou semi-inteiro, j que a dimenso
finita

3.4. Propriedades de ortogonalidade de representaes irredutveis


Seja D(g) uma representao irredutvel de um grupo de Lie compacto G. Considere a
integral

X=

D(g) Z D(g 1 )dg,

onde Z uma matriz constante arbitrria. A integral representa a integral de cada elemento
D(g) Z D(g 1 ) e dg a medida de Haar em G. A matriz X satisfaz D(A)XD(A1 ) = X,

37

3. MOMENTO ANGULAR
pois

D(A) X D(A ) = D(A) D(g) Z D(g 1 )dg D(A1 )

=
D(A)D(g) Z D(g 1 )D(A1 )dg

=
D(Ag) Z D((Ag)1 )dg
e pela invarincia da medida de Haar temos que D(A) X D(A1 ) = X.
Tr X
Assim, X = I, onde pode ser representada pela expresso =
, tal que n a
n
dimenso da representao, j que Tr I = n. Assim, podemos escrever:

Tr X =
Tr[D(g) Z D(g 1 )]dg

=
Tr[D(g)D(g 1 )Z]dg

=
Tr[IZ]dg

=
Tr Z dg
= Tr Z,
onde o volume do grupo definido pela integral. Portanto,

Tr Z
D(g) Z D (g 1 )dg =
I.
n

(3.4.1)

Podemos reescrever a equao (3.4.1) limitando-nos apenas s representaes unitrias


tais que D(g 1 ) = D(g)1 = D(g) da seguinte maneira:
X

D(g)ik Zkl D(g)jl dg =

kl

Tr Z ij
,
n

(3.4.2)

j que o transposto conjugado de D(g)lj D(g)jl .


A matriz Z, que at agora era arbitrria ser escolhida como sendo a matriz tal que
Zkl (m, n) = km ln . Logo, seu trao Tr Z(m, n) = mn .
Substituindo em (3.4.2), j que a soma em kl reduz-se em um termo, temos:

mn ij
D(g)im D(g)jn dg =
.
n
Vamos considerar duas representaes irredutveis no equivalentes D1 (A) e D2 (A),
matrizes de dimenses m e n, respectivamente.

38

3. MOMENTO ANGULAR
3.5. Adio de Momento Angular
A adio de momento angular tem um importante papel em aplicaes de diversas reas

da fsica moderna (de espectroscopia atmica at colises de partculas e nucleares). Alm


disso, seu estudo permite ilustrar o conceito de troca de bases e o lado fsico de diversas
propriedades que estudamos em carter mais matemtico.
3.5.1. Exemplos de adio de momento angular. Antes de formalizarmos o conceito de adio de momento angular, vamos apresentar um exemplo de como somar mo1
mentos angulares de spin de duas partculas de spin .
2
O operador de spin total escrito como
S = S1 + S2 ,
onde,
[S1i , S2j ] = 0,
com i 6= j e i, j = x, y, z. As relaes de comutao usuais so dadas por [S1a , S1b ] =

i~abc S1c e [S2a , S2b ] = i~abc S2c , a, b, c = x, y, z. O que nos d como consequncia direta
que para as componentes Sx , Sy e Sz do operador de spin total:
[Sx , Sy ] = i~Sz ;
[Sy , Sz ] = i~Sx ;
[Sz , Sx ] = i~Sy .
Os autovalores dos operadores sero dados por:
S2 = (S1 + S2 )2 : s(s + 1)~2
Sz = S1z + S2z : m~
S1z : m1 ~
S2z : m2 ~,
1
, 1, , e dados s1 e s2 autovalores de S1 e S2 ,
2
1
respectivamente, si mi si ; mi , si = , 0, , 1, , com i = 1, 2.
2
Podemos expandir o vetor correspondente a um estado de spin arbitrrio de dois eltrons
onde s m s; m, s = , 0,

em termos de autovetores de S1z e S2z ou em termos de autovetores de S2 e Sz . Nesse caso,


o espao de Hilbert o produto direto dos espaos S = S1 S2 . As duas possibilidades

que temos so:

39

3. MOMENTO ANGULAR
(1) A representao {m1 , m2 } baseada nos autovetores de S1z e S2z :
|+, +i , |+, i , |, +i , e |, i ,
1
1
onde |+, i representa m1 = , m2 = , e etc.
2
2
(2) A representao {s, m} baseada nos autovetores de S2 e Sz :
|s = 1, m = 1, 0i e |s = 0, m = 0i ,

onde, quando s = 1 chamada de tripleto de spin e quando s = 0 chamada de


singleto de spin.
Existe uma matriz de mudana de base entre essas bases e uma relao entre dois desses
conjuntos dada por:
|s = 1, m = 1i = |+, +i .

(3.5.1)

O lado direito da igualdade (3.5.1) indica que temos ambos eltrons com spin up. A
partir desta igualdade, podemos aplicar o operador escada
S = S1 + S2
= (S1x iS1y ) + (S2x iS2y ),
da seguinte forma:
S |s = 1, m = 1i = (S1 + S2 ) |+, +i ,
obtendo

1 + 1 1 1 + 1 |s = 1, m = 0i =

1 1
+
2 2

1 1
+ 1 (|+, i + |, +i)
2 2

1
|s = 1, m = 0i = (|+, i + |, +i) .
2

(3.5.2)

Procedendo da mesma forma em (3.5.2), obtm-se a seguinte igualdade


|s = 1, m = 1i = |, i ,

(3.5.3)

1
|s = 0, m = 0i = (|+, i |, +i) .
2

(3.5.4)

que por sua vez, resulta em

Os coeficientes que aparecem do lado direito das equaes (3.5.1), (3.5.2), (3.5.3) e
(3.5.4) so alguns dos exemplos mais simples de coeficientes de Clebsch-Gordan, que so
os elementos da matriz de transformao que liga a base {m1 , m2 } base {s, m}.

40

3. MOMENTO ANGULAR
3.5.2. Formalismo da Adio de Momento Angular. Considere dois operado-

res de momento angular J1 e J2 em diferentes subespaos. As componentes de J1 (J2 )


satisfazem as relaes usuais de comutao de momento angular:
[J1i , J1j ] = i~ijk J1k

(3.5.5)

[J2i , J2j ] = i~ijk J2k .

(3.5.6)

Mas,
[J1k , J2l ] = 0
para qualquer par de operadores de subespaos diferentes.
O operador de rotao infinitesimal que afeta ambos os subespaos escrito como

 

iJ1 n

iJ2 n

i(J1 1 + 1 J2 ) n

1
.
1
=1
~
~
~
A partir de (3.5.5) e (3.5.6), temos que J satisfaz as relaes de comutao de momento
angular
[Ji , Jj ] = i~ijk Jk ,
o que fisicamente faz sentido, j que J o gerador de todo o sistema.
O que vimos anteriormente sobre o espectro dos autovalores de J2 e Jz e a matriz dos
elementos dos operadores escada tambm so vlidos para J.
Podemos escolher entre duas opes de base de autovetores.
(1) Os autovetores simultneos de J21 , J22 , J1z e J2z , os quais denotaremos por |j1 , j2 ; m1 , m2 i .
As equaes de autovalor para esses operadores so definidas por:
J21 |j1 , j2 ; m1 , m2 i = j1 (j1 + 1)~2 |j1 , j2 ; m1 , m2 i ;
J1z |j1 , j2 ; m1 , m2 i = m1 ~ |j1 , j2 ; m1 , m2 i ;
J22 |j1 , j2 ; m1 , m2 i = j2 (j2 + 1)~2 |j1 , j2 ; m1 , m2 i ;
J2z |j1 , j2 ; m1 , m2 i = m2 ~ |j1 , j2 ; m1 , m2 i .
(2) Os autovetores simultneos de J21 , J22 , Jz e J2 , os quais denotaremos por |j1 , j2 ; mi .

Observe que, assim como no caso anterior, todos esses operadores comutam entre
si e, em particular, [J2 , J21 ] = 0, que fcil de ser mostrado reescrevendo J2 =
J21 + J22 + 2J1z J2z + J1+ J2 + J1 J2+ . As equaes de autovalor desses operadores

41

3. MOMENTO ANGULAR
so definidas por:
J21 |j1 , j2 ; mi = j1 (j1 + 1)~2 |j1 , j2 ; mi ;
J22 |j1 , j2 ; mi = j2 (j2 + 1)~2 |j1 , j2 ; mi ;
J2 |j1 , j2 ; mi = j(j + 1)~2 |j1 , j2 ; mi ;
Jz |j1 , j2 ; mi = m~ |j1 , j2 ; mi .

Observao 21. Mesmo que J2 comute com Jz , o mesmo no acontece entre J2 e J1z
nem com J2 e J2z , ou seja, no podemos acrescentar J2 na 1 opo e, da mesma forma,
no podemos adicionar J1z e J2z na 2 opo. Ento temos dois possveis conjuntos de
bases de vetores correspondentes aos dois conjuntos maximais de observveis mutualmente
compatveis que temos construdo.
Vamos considerar a seguinte transformao unitria que conecta as duas bases:
XX
|j1 , j2 ; j, mi =
|j1 , j2 ; m1 , m2 i hj1 , j2 ; m1 , m2 |j1 , j2 ; j, mi ,
m1

onde

XX
m1

m2

m2

|j1 , j2 ; m1 , m2 i hj1 , j2 ; m1 , m2 | = 1 a relao de completeza da base antiga

e 1 o operador identidade no espao vetorial de j1 e j2 . Os elementos dessa matriz de


transformao hj1 , j2 ; m1 , m2 |j1 , j2 ; j, mi so os coeficientes de Clebsch-Gordan.

Algumas propriedades interessantes desses coeficientes podem ser estudadas. Primeiro,

os coeficientes so anulados a menos que


m = m1 + m2 .

(3.5.7)

Uma demonstrao simples desse fato pode ser obtida observando a seguinte igualdade
(Jz J1z J2z ) |j1 , j2 ; j, mi = 0.
Se multiplicarmos pela esquerda o vetor hj1 , j2 ; m1 , m2 | , obtemos
(m m1 m2 ) hj1 , j2 ; m1 , m2 |j1 , j2 ; j, mi = 0,
o que mostra a nossa igualdade.
Alm disso, vamos verificar quais valores j pode assumir. Vamos considerar as desigualdades (3.5.8) e (3.5.9).
j1 m1 j1 ,
j2 m2 j2 .

Usando (3.5.7), reescrevemos essas desigualdades acima como


j1 m m2 j1 ,

(3.5.8)
(3.5.9)

42

3. MOMENTO ANGULAR
j2 m m1 j2 .

Vamos assumir que m, m1 e m2 assumem seus valores mximos m = j, m1 = j1 e


m2 = j2 . Assim, as desigualdades acima podem ser escritas como:
j2 j1 j j1 + j2 ,
j1 j2 j j2 + j1 .
J que essas desigualdades so simultaneamente satisfeitas, conclumos que
|j1 j2 | j j1 + j2 .

(3.5.10)

Uma consequncia disso que como m varia entre j e +j, j pode assumir apenas os

valores

j = |j1 j2 |, |j1 j2 | + 1, , j1 + j2 1, j1 + j2 ,

e, ento o espao gerado pelo vetor |j1 , j2 ; m1 , m2 i tem a mesma dimenso do espao gerado
por |j1 , j2 ; j, mi .

Dado ja existem 2ja + 1 possveis valores para ma , a = 1, 2, de onde obtemos


N = (2j1 + 1)(2j2 + 1).
De (3.5.10) temos que
j1 +j2

N =

(2j + 1)

j=j1 j2

1
[2(j1 j2 ) + 1 + 2(j1 + j2 ) + 1] [2j2 + 1]
2
1
=
[4j1 + 2] [2j2 + 1]
2
= (2j1 + 1)(2j2 + 1).
=

Os coeficientes de Clebsch-Gordan formam uma matriz unitria e seus elementos sero


tomados reais, por conveno. Uma consequncia imediata disso que o coeficiente inverso
hj1 , j2 ; jm|j1 , j2 ; m1 , m2 i o prprio hj1 , j2 ; m1 , m2 |j1 , j2 ; j, mi.

Do fato de os coeficientes de Clebsch-Gordan serem reais e da ortonormalidade de

{|j1 j2 ; m1 , m2 i} , obtemos a condio de ortogonalidade


XX
hj1 , j2 ; m1 , m2 |j1 , j2 ; j, mi hj1 , j2 ; m01 , m02 |j1 , j2 ; j, mi = m1 m01 m2 m02 .
j

E tambm
XX
m1

m2

hj1 , j2 ; m1 , m2 |j1 , j2 ; j, mi hj1 , j2 ; m1 , m2 |j1 , j2 ; j 0 , m0 i = jj 0 mm0 .

43

3. MOMENTO ANGULAR
Para o caso especial em que j 0 = j, m0 = m = m1 + m2 , obtemos
XX
| hj1 , j2 ; m1 , m2 |j1 , j2 ; j, mi |2 = 1,
m1

m2

que a condio de normalizao para |j1 , j2 ; j, mi .


3.5.3. Relao entre os coeficientes de Clebsch-Gordan e os smbolos 3-j.
Alguns autores tambm usam notaes diferentes, por exemplo, em termos dos smbolos
3-j:
p
hj1 , j2 ; m1 , m2 |j1 , j2 ; j, mi = (1)j1 j2 +m 2j + 1
Note que a relao acima verdadeira.

j1

j2

m1 m2 m

4
MODELO DE PONZANO-REGGE

4.1. Soma de estado


4.1.1. Peso. Seja M uma variedade tridimensional compacta triangularizada. Um
estado do modelo representado por uma representao irredutvel do grupo SU (2) para
cada aresta da triangularizao. As representaes irredutveis (chamaremos de irrepresentaes) so rotuladas por um parmetro j semi-inteiro no negativo, chamado de spin,
tal que a dimenso da representao 2j + 1. Para cada estado existe determinado nmero
real denominado peso. O peso dado pela seguinte frmula

W =

(1)2j (2j + 1)

arestas interiores

(1)j1 +j2 +j3

tringulos interiores

(
)
j1 j2 j3

tetraedro

j4 j5 j6

onde os pesos para cada simplex so determinados pelas etiquetas em cada simplex. Os
tringulos e arestas que aparecem so os que existem no interior da variedade. O peso para
um tetraedro um smbolo 6-j.
Observe na figura (4.1.1) como so etiquetados as arestas do tetraedro.

j4
j3
j2
j6
j5
j1

Figura 4.1.1. Tetraedro

Os smbolos 6-j so simtricos sob o grupo de permutaes dos vrtices do tetraedro.


45

46

4. MODELO DE PONZANO-REGGE
O peso definido igual 0 se as condies de admissibilidade no so satisfeitas. Tais

condies so
j1 + j2 + j3 Z,
j1 + j2 + j3 0,
para cada tringulo. Alm disso, comum definir-se os valores de um smbolo 6-j iguais
zero caso essas condies no so satisfeitas em cada face.
Definindo


(
)
j j j
j1 j2 j3
1 2 3
2(j1 +j2 +j3 +j4 +j5 +j6 )
,

=i
j4 j5 j6
j4 j5 j6
obtemos uma frmula alternativa para o peso



Y
j
j
j
1 2 3
W0 =
(1)2j (2j + 1)

.
j4 j5 j6
arestas interiores
tetraedro
Y

4.2. Redes de Spin


Os pesos de Ponzano-Regge podem ser entendidos sistematicamente usando redes de
spin, que so diagramas que codificam um clculo usando operadores de entrelaamento
para representaes de SU (2). necessrio observar que a ordem dos argumentos nesses
grficos importa.
Se A e B so representaes de SU (2), ento um operador de entrelaamento de A e
B representado por um diagrama desenhado em um subconjunto retangular do plano,
com limites dados pelas quatro arestas. Este subconjunto retangular tem a aresta inferior
rotulada por A e sua aresta superior rotulada por B.
No diagrama existem linhas rotuladas por irrepresentaes e tais linhas podem alcanar
os limites da regio retangular no topo ou na base. Por exemplo, se a aresta inferior de
um diagrama encontra-se com duas linhas rotuladas por j1 e j2, ento o rtulo inferior do
diagrama A = j1 j2 . Dois diagramas so considerados iguais se um obtido do outro por

uma deformao contnua do plano que mantm as arestas verticais e horizontais intactas.

Uma tripla de spins (j1 , j2 , j3 ) chamada admissvel se a representao j3 ocorre na


decomposio de Clebsch-Gordan de j1 j2 . Para cada tripla admissvel (j1 , j2 , j3 ), existe
uma escolha cannica de operadores de entrelaamento j1 j2 j3 . Este um vetor da

base em um espao unidimensional de tais entrelaamentos como representado na figura


(4.2.1).

47

4. MODELO DE PONZANO-REGGE

j3

j1

j2

Figura 4.2.1. Vrtice da rede de spin


Os entrelaamentos so representados pelo empilhamento vertical dos retngulos e o
produto tensorial entre eles so representados pelo empilhamento horizontal dos retngulos.
No entrelaamento, as linhas devem ser contnuas, por exemplo, se entrelaarmos
j

com
j

resulta em
j
j
=

Um exemplo de produto tensorial


j
j

j
=

As representaes e os operadores de entrelaamento cannicos so construdos da re1


presentao de spin e alguns entrelaamentos bsicos so chamados de diagramas iden2
tidade, mximo, mnimo e cruzado. Quando qualquer linha for rotulada consideraremos
1
como sendo representao de spin .
2

identidade

maximo

mnimo

cruzado

No necessrio saber a representao de tensor dos operadores de entrelaamento,


pois podemos trabalhar com estes diagramas bsicos e suas relaes. Isto foi desenvolvido
sistematicamente por Kauffman em [X] para a teoria mais generalizada de qdeformao.
Kauffman introduziu um parmetro A como o parmetro de deformao, com A2 = q, ou
seja, para o caso do modelo de Ponzano-Regge escolhemos A = 1 ou A = 1. As relaes
1
bsicas para spin , com A = 1, so
2

48

4. MODELO DE PONZANO-REGGE

= 2

e
+

=A

Estas relaes envolvem dois diferentes sinais que precisam de explicao, o menos em
(4.2) e a escolha do A = 1 em (4.2).
4.2.1. Sinal na categoria esfrica. O sinal de menos em (4.2) uma consequncia
da relao

que corrige a representao de tensor do diagrama mximo dada a definio do mnimo.


Invarincia sob o grupo SU (2) significa que o mnimo um tensor antissimtrico, ij , no
espao de spin bidimensional, mas sua escala global arbitrria. O loop em (4.2) tem valor
l = ij ij , onde ij jk = ik . Assim l = Tr(I) = 2.

Esta relao generaliza o caso de um loop rotulado com o spin j irredutvel. Neste caso,

o valor do diagrama a dimenso quntica.


= (1)2j (2j + 1).
j

4.2.2. Sinal no diagrama cruzado. O modelo de Ponzano-Regge independente da


escolha de A = 1 em (4.2), devido que as redes de spin necessrias na definio do modelo

de Ponzano-Regge so todos planares, ou seja, sem cruzamentos, alm da escolha cannica


dos entrelaamentos do vertex que podem ser expressos sem o uso de cruzamentos.
til usar diagramas com cruzamentos para diversos clculos. Calculando o lado
direito de (4.2) obtemos o entrelaamento

A ij kl + ik jl = Ajk il .
Para A = 1, isto apenas 7 e as redes de spin so o clculo espinorial. Para

A = 1, o diagrama cruzado 7 , que uma verso ferminica do clculo


espinorial chamado de clculo binorial.

49

4. MODELO DE PONZANO-REGGE

4.2.3. O Peso. "O peso do#modelo de Ponzano-Regge pode ser escrito usando redes
j1 j2 j3
de spin definindo-se
como sendo a rede de spin tetraedral
j4 j5 j6
j6
j5

j1
j2

j3
j4

e (a, b, c) pela rede teta


a

O smbolo 6 j dado por


"
(
)
j1 j2 j3
j4 j5 j6

j1 j2 j3

j4 j5 j6
.
=p
|(j1 , j2 , j3 )(j2 , j4 , j6 )(j3 , j4 , j5 )(j1 , j5 , j6 )|

Como o sinal de (j1 , j2 , j3 ) igual (1)j1 +j2 +j3 , o peso para a variedade fechada pode
ser escrito como
"
W =

Y
arestas

2j

(1) (2j + 1)

Y
tringulos

(j1 , j2 , j3 )

j1 j2 j3

tetraedro

j4 j5 j6

#
.

Referncias Bibliogrficas

[1] TALMAN, J. D. Special functions: A group theoretic approach. W. A. Benjamin, Inc., 1968.
[2] BARATA, J. C. A. Curso de fsica-matemtica. Verso de 27 de maio de 2015. 2119 pginas.
[3] BARRETT, J. W.; NAISH-GUZMAN, I. The ponzano-regge model. Classical and Quantum Gravity,
v. 26, n. 15, p. 155014, 2009.
[4] BRUSCHI, L. Los grupos su(2), so(3) y sus representaciones. Notas de aula da disciplina "Estructura
de la Materia 4".
[5] COHEN-TANNOUDJI, C.; DIU, B.; LALO, F. Quantum mechanics. Wiley, 1977.
[6] EDMONDS, A. R. Angular momentum in quantum mechanics. Princeton, N.J. : Princeton University
Press, 1957.
[7] KREYSZIG, E. Introductory functional analysis with application. Wiley, 1978.
[8] MAJOR, S. A. A spin network primer. American Journal of Physics, Woodbury, 1999.
[9] PENROSE, R. Angular momentum: An approach to combinatorial space-time. Quantum Theory and
Beyond, 1971.
[10] REGGE, T.; WILLIAMS, R. M. Discrete structures in gravity. J. Math. Phys., v. 41, p. 39643984,
2000.
[11] SAKURAI, J. J. Advanced quantum mechanics. Addison-Wesley, 1967.

51

Apndices

53

A
REDES DE SPIN

A.1. ngulos entre sistemas


Iniciaremos com o conceito de momento angular e usando as regras de combinao
de momentos angulares, para a partir disso tentar construir o conceito de espao.
1
Suponha que tenhamos um eltron ou alguma partcula de spin ~. Qual direo aponta
2
esta partcula? Poderamos dizer que esta partcula est apontada para cima, ou para baixo,
bem como poderamos dizer que est apontada para direita ou para esquerda. O eltron
poderia estar apenas em duas direes, cujas alternativas seriam para cima e para baixo
ou para direita e para esquerda. Independente de quais alternativas questionamos, isto
depender de como este eltron estar conectado com o mundo macroscpico.
Se considerarmos uma partcula de momento angular zero, que pela mecnica quntica
esfericamente simtrica, apenas uma direo pode ser considerada. Com uma partcula
1
de spin teremos duas direes para escolher. Da mesma forma, com uma partcula de
2
spin 1 existem trs direes para escolhermos. Prosseguindo assim, para uma partcula de
spin s teramos a possibilidade de 2s + 1 direes disponveis.
Quando dizemos que existem essas escolhas disponveis, queremos dizer que so opes
para a partcula quanto ao seu estado de spin, mas, no mundo macroscpico, a partcula
j conhece quais so as diferentes possibilidades que possui.
Como vimos, no podemos fugir do conceito de espao e direo no ponto de vista
macroscpico. Ento, devemos trabalhar apenas com alternativas discretas ou sistemas
simples. Como no queremos propor direes pr-definidas pelo espao, devemos trabalhar
com o momento angular total (valor j), em vez de spin em uma direo (valor m).
O conceito de momento angular total no deve ser pensado em termos de, por exemplo,
uma direo z, pois qual seria a direo z?
Vamos imaginar a seguinte figura:

55

56

A. REDES DE SPIN

Figura A.1.1.
Considere cada linha como as linhas mundo das partculas. Podemos determinar o
tempo como sendo a direo, digamos de baixo para cima no diagrama. A direo que o
tempo anda no ser relevante, ento no nos preocuparemos com isto agora.
Colocaremos um nmero em cada linha. Este nmero, chamado de nmero de spin,
ser um inteiro e representar duas vezes o momento angular, em unidades de ~.

Figura A.1.2.
Observao. Esta figura apenas um modelo que descreve um tipo de situao da
teoria quntica, no deve ser considerada uma sugesto de que o universo desta forma
ou algo parecido.
Precisamos estabelecer algumas regras para construir o conceito de conservao de
momento angular. Antes, comearemos com algumas definies.
Chamaremos de norma o inteiro no-negativo associado cada diagrama (rede de spin).
Essa norma permite-nos calcular as probabilidades de vrios valores de spin em determinados experimentos simples.

57

A. REDES DE SPIN

Se definirmos uma direo no espao como algo associado uma N unit, com N um

valor suficientemente grande, podemos ento definir ngulos entre essas direes. Para
isso, vamos explicar usando um exemplo de um experimento. Suponha que separamos
uma 1-unit de uma N unit de tal forma que ficamos com (N 1)unit. Fazendo o
mesmo procedimento em alguma outra unidade M unit, ns teremos uma probabilidade

para que a nova unidade seja (M 1)unit e outra probabilidade para que seja (M +
1)unit. Conhecendo esses valores de probabilidade, temos informao sobre o ngulo

entre a N unit e a M unit. Por exemplo, dizemos que duas unidades so paralelas se a

probabilidade para o valor M 1 nula e para o valor M + 1 de 100%. Dizemos que so


antiparalelas quando ocorrer o contrrio. Quando so perpendiculares, as probabilidades

esperadas so de 50% para cada. De maneira geral, para um ngulo entre duas unidades,
1 1
devemos esperar uma probabilidade de cos para que a unidade M unit seja reduzida
2 2
1 1
para uma (M 1)unit e de + cos que seja uma (M + 1)unit.
2 2

Figura A.1.3. Probabilidades


Na figura A.1.3, representa alguma rede de spin conhecida. Dessa forma, podemos
usar conhecimentos desta rede de spin para encontrar a probabilidade de cada uma das
m
duas possibilidades. Essas probabilidades so sempre nmeros racionais p = , pensando
n
como se o universo tivesse que fazer uma escolha entre m possibilidades de um tipo e n de
outro tipo.

58

A. REDES DE SPIN
Agora, suponha que ns temos determinado nmero de sistemas no conectados entre si,

cada um produzindo uma N unit. Vamos tentar medir o ngulo entre dois desses sistemas.
Primeiro separo uma 1unit de uma das N units, deixando-a com (N 1)unit. Ento

eu conecto a 1unit a uma das outras N units, devendo encontrar que a probabilidade
1
(N + 1 1)
2
da segunda N unit se tornar (N 1)unit de
(tornando-se iguais quando
N +1
N ). Assim, se ns atribuirmos um ngulo entre essas unidades, este dever ser o

correto.

Вам также может понравиться