I.

SISTEMA DE PARTCULAS IDNTICAS E SEGUNDA QUNTIZAO

A. Permutao de Partculas
Vamos considerar um sistema formado de 2 eltrons. Na Mecnica Quntica, surge uma
nova situao quando tratar mais de uma partculas idnticas, diferentemente no caso de
Mecnica Clssica. Na Mecnica Clssica, o fato de que os dois eltrons serem idnticos
no gera problema especial, pois duas partculas so sempre mantm suas identidades sepa-
radamente, e podemos distinguir-las seguindo suas trajetrias, em princpio. No entanto, na
Mechnica Quntica, quando as funes de ondas de duas partculas superpem, a questo
de indistinguibilidade de duas partculas traz um novo aspecto para o estado quntico do
sistema composto de duas partculas como vemos em seguida.
Sejam[,
c
uma base para o espao de Hilbert de uma das eltrons. O sistema composto
descrito pelo conjunto de estados de produto externo destes vetores de estado da base de
cada uma e, portanto, o conjunto,
[,
c
[,
o

forma a base do espao de Hilbert do sistema composto, onde representa o produto direto
(produto externo), sendo que os primeiro e segundo elementos correspondem, respectiva-
mente, aos espaos de Hilbert da primeira e da segunda eltron.
Se as duas partculas forem distintas, os dois estados como
[,
c
[,
o
. [,
o
[,
c
(1)
obviamente devem representar estados distintos do sistema composto. Por outro lado,
quando as duas partculas so idnticas, no teremos condio de associar uma dela para o
espao de Hilbert de primeira, e outra no segundo e mantendo essa associao. No sentido
quntico, temos um nico estado, para que podemos dizer que existe um eltron no estado
c e outro no estado ,.
Ou seja, embora no sentido matemtico, os dois vetores acima representariam dois vetores
distintos no espao de produto externo, no todas combinaes lineares desses dois vetores
necessariamente correspondem a situao fsica para um sistema de duas partculas idnticas.
Mas, sim, existe apenas uma certa combinao linear que deve corresponder ao estado, em
que existe um eltron no estado c e outro no estado ,, sem distinguir-las. Deve haver uma
reduo do espao do produto direto para descrever os estados de sistema de dois eltrons.
1
Para ver que tipo de combinao linear pode ocorrer, podemos considerar um operador
1 que troca o papel de duas partculas 1 e 2 no espao de produto externo. Por exemplo,
1 [,
c
[,
o
= [,
o
[,
c
.
Obviamente temos
1
2
[,
c
[,
o
= [,
c
[,
o
.
para qualquer estados [,
c
[,
o
. portanto,
1
2
= 1.
e os autovalores so 1. com autovetores,
[

=
1
_
2
[,
c
[,
o
[,
o
[,
c
.
Como falamos, o fato de que as duas partculas serem idnticas implica em que o estado
fsico corresponde ao sistema de duas partculas devem ser um dos autoestados do operador
1. Isto porque, se duas partculas so idnticas, a operao 1 sobre um estado fsico do
sistema no deve altera o estado. Assim, um estado fsico deve corresponder, ou para uma
combinao linear smetrica, ou para uma combinao linear antismetrica dos dois estados,
Eq.(1).
Para obter a funo de onda, podemos introduzir uma base de congurao,
[:
1
[:
2
(2)
e temos

(:
1
. :
2
) = ([:
1
[:
2
. [

)
=
1
_
2
:
1
[,
c
:
2
[,
o
:
1
[,
o
:
2
[,
c

=
1
_
2
,
c
(:
1
) ,
o
(:
2
) ,
o
(:
1
) ,
c
(:
2
) .
Note que a base Eq.(2) s quando as partculas no possuem graus de liberdade internos
como spin, ou isospin. Quando existem graus de liberdades internos, devemos utilizar as
coordenadas

= (:. ) (3)
2
onde representa o conjunto de nmeros qunticos que especica os graus de liberdades
internos. Por exemplo, no caso de eltron, c representaria o estado de spin e assume um
dos dois valores 1,2 ou 1,2. Assim, neste caso devemos utilzar a base,
_
[

1
[

_
(4)
B. Grupo de Permutao e Sua Representao
Aproveitando a discusso sobre a natureza de partculas idnticas, vamos revisar a noo
de grupo de permutao e o signicado e aplicao das suas representaes irredutiveis na
mecnica quntica.
C.
Consideremos um conjunto de operaes q = c. ,. ... que manter o sistema invariante
e esse conjunto forma um grupo. Por grupo, entendemos primeiramente que est denida
uma operao entre quaisquer dois elementos c e , do q. cujo resultado tambm elemento
do q. Essa operao chamado produto do grupo e denotamos por . Assim, o conjunto
fechado pelo produto, e expressamos esse fato
= c , q. \c. , q. (5)
Para formar um grupo, o produto e o conjunto q tm que satisfazer as seguintes pro-
priedades.
1. Existncia do elemento de identidade c q. tal que
c c = c c = c. \c q. (6)
2. Existncia do elemento inverso c
1
para c q. tal que
c
1
c = c c
1
= c. (7)
3. Associatividade do produto, ou seja,
c (, ) = (c ,) . (8)
3
1 3 2
a b c
1 3 2
b c a
1 2 3
3 1 2
Para um sistema de ` partculas, o conjunto de todas as operaes de trocar os estados de
partculas forma obviamente um grupo, convencionando a operao de no troca nada como
o elemento de identidade. Esse grupo chamado o grupo de permutao de ` elementos e
denotamos por o
.
. Um elemento do grupo o
.
comunmente denotado por
1
i
1
i
2
...,i
N
=
_
_
1 2 `
i
1
i
2
i
.
_
_
(9)
indicando que a ordenao (1. 2. ... `) transforma em outra (i
1
. i
2
. ... i
.
) . Por exemplo, con-
sideramos ` caixas numerados de 1 a ` xos na mesa e colocamos ` bolas com cores
diferentes. Podemos denir a operao correspondente a 1
i
1
i
2
...,i
N
como sendo um procedi-
mento para colocar a bola na caixa 1 na caixa i
1
. a bola na caixa 2 na caixa i
2
. assim por
diante. Veja o examplo na gura abaixo no caso de 1
312
. Note que nesta conveno, as
caixas no alteram mas permutamos os contedos das caixas.
Para a aplicao na mecnica quntica, podemos associar essas operaes como trocar
os estados de cada partculas no sistema de ` partculas. Convencionamos que as caixas
acima correspondem partculas, e os contedos os estados que partculas ocupam. Assim,
para uma funo de onda do sistema de 3 partculas distinguveis, sendo as partculas 1. 2 e
3 esto nos estados c. , e . respectivamente,

1
.

2
.

3
_
= ,
c
_

1
_
,
o
_

2
_
,

3
_
. (10)
a aplicao da operao 1
312
a funo de onda do sistema se torna

t
_

1
.

2
.

3
_
= 1
312

1
.

2
.

3
_
= ,
o
_

1
_
,

2
_
,
c
_

3
_
. (11)
4
Se as partculas so distinguveis mas idnticas fsicamente (por exemplo, como na bolas
na gura acima, onde as bolas tem mesmas propriedades fsicas mas distinguveis pela, por
exemplo, seus cores ou letras impressas), as duas funes de ondas dadas pelas Eqs.(10) e (11)
correspondem aos dois estados distintos. Entretanto, se as duas partculas so sicamente
idnticas, a energia do estado da Eq.(10) deve ser idntica a do estado da Eq.(11). Assim,
neste caso, existem 2 estados distintos para um dado valor de energia, ou seja, o nvel de
energia degenerado. Entretanto, se as duas partculas so realmente indistinguveis, no
devem existir tais estados distintos quando trocamos os estados entre as partculas.
Vamos formular matematicamente a relao entre a degenerescncia do espectro de en-
ergia e o grupo de simetria do sistema. Para isto, introduzimos o conceito de representao
do grupo. Quando um mapeamento de um grupo para um outro grupo preserva a regra de
produto do grupo original, o mapeamento chamado uma representao. Um exemplo mais
simples de representao a representao trivial. Para um grupo qualquer, a representao
trivial o mapeamento de qualquer elemento do grupo para o nmero 1. O conjunto formado
de um nico elemento 1 forma um grupo pela regra normal de produto. Assim, se
\c q. c 1.
e
c, = .
obviamente preserva a regra de multiplicao, pois 1 1 = 1.
Quando os elementos de grupo representam algum procedimento fsico, podemos con-
siderar sempre o conjunto de estados que so afetados pelo esse procedimento do grupo.
Por exemplo, vamos considerar o grupo o
2
. Esse grupo tem dois elementos apenas, um a
identidade c, e outro a permutao de dois nmeros, 1
12
e a regra de produto do grupo
c c = c.
c 1
12
= 1
12
. (12)
1
12
c = 1
12
.
1
12
1
12
= c.
5
Podemos considerar as duas conguraes possveis de ordenamento de 2 nmeros, (1. 2) e
(2. 1) e associamos dois vetores ortonormais no espao vetorial bidimensional, como
(1. 2)
_
_
1
0
_
_
.
(2. 1)
_
_
0
1
_
_
.
No caso de o
2
. J que
c (1. 2) = (1. 2) .
c (2. 1) = (2. 1) .
1
12
(1. 2) = (2. 1) .
1
12
(2. 1) = (1. 2) .
podemos associar 2 matrizes que representam as operaes acima como
c l ( c) =
_
_
1 0
0 1
_
_
(13)
1
12
l (1
12
) =
_
_
0 1
1 0
_
_
(14)
de tal forma que
l ( c)
_
_
1
0
_
_
=
_
_
1
0
_
_
.
l ( c)
_
_
0
1
_
_
=
_
_
0
1
_
_
.
l (1
12
)
_
_
1
0
_
_
=
_
_
0
1
_
_
.
l (1
12
)
_
_
0
1
_
_
=
_
_
1
0
_
_
.
6
Note que o mapeamento Eqs.(13) e (14) preserva as regras de produto do grupo o
2
. ou seja,
a Eq.(12) ca preservada em termos de produtos matriciais,
l ( c) l ( c) = l ( c) .
l ( c) l (1
12
) = l (1
12
) .
l (1
12
) l ( c) = l (1
12
) .
l (1
12
) l (1
12
) = l ( c) .
Assim, o mapeamento, Eqs.(13) e (14) uma representao do grupo o
2
em termos de
matrizes 2 2.
Vamos considerar o grupo o
3
. ou seja, o conjunto de todas as permutaes de 3 diferentes
objetos que esto nas caixas 1, 2 e 3. Para simplicidade, representamos os 3 objetos em
termos de 3 nmeros, 1,2 e 3. Denotanos uma determinada congurao dos objetos nas
caixas, por exemplo, 3 na caixa 1, 2 na caixa 2, e 1 na caixa 3, por
_
3 2 1
_
. (15)
Obviamente para o
3
. as operaes de permutar os objetos nas caixas, podem resultar em 6
conguraes possveis,
_
1 2 3
_
. (16)
_
2 1 3
_
. (17)
_
1 3 2
_
. (18)
_
3 2 1
_
. (19)
_
2 3 1
_
. (20)
_
3 1 2
_
. (21)
Note que essas confuguraes acima no so os elementos do grupo, mas os possveis re-
sultados que um elemento do grupo que causa a partir de uma congurao dada. Por
exemplo, se a congurao inicial for
_
1 2 3
_
. as conguraes acima podem ser obtidas
pelas operaes do grupo o
3
por
1
213
_
1 2 3
_
=
_
2 1 3
_
. (22)
7
1
132
_
1 2 3
_
=
_
1 3 2
_
. (23)
1
321
_
1 2 3
_
=
_
3 2 1
_
. (24)
1
312
_
1 2 3
_
=
_
2 3 1
_
. (25)
1
231
_
1 2 3
_
=
_
3 1 2
_
. (26)
Lembre que a notao 1
i
1
i
2
i
3
indica que mudar o contedo da caixa 1 na caixa i
1
. da caixa
2 na caixa i
2
. e da caixa 3 na caixa i
3
.
obvio que as duas operaes sucessivas do grupo o
3
resultam num das 6 conguraes
acima. Assim, podemos construir a tabela de "multiplicao" do grupo como
P1 P2 P3 P4 P5 P6
P1 11 12 13 14 1 10
P2 12 11 10 1 14 13
P3 13 1 11 10 12 14
P4 14 10 1 11 13 12
P5 1 13 14 12 10 11
P6 10 14 12 13 11 1
(27)
onde para facilitar visutal, associamos
1
123
11. (28)
1
213
12. (29)
1
132
13. (30)
1
321
14. (31)
1
312
1. (32)
1
231
10. (33)
Na tabela (27), esto indicado os resultados dos produtos dos dois elemento do grupo i , =
/. sendo i na primeira coluna, e , na primeira linha. Por exemplo, da tabela (aqui, ainda
8
para simplicar, omitimos a letra 1 em 11. 12. ..ctc).
1 2 3 4 0
1 1 2 3 4 0
2 2 1 0 4 3
3 3 1 6 2 4
4 4 0 1 3 2
3 4 2 0 1
0 0 4 2 3 1
(34)
temos
13 14 = 10 (35)
indicando
1
132
1
321
= 1
231
(36)
Podemos representar os elementos do grupo o
3
em termos de matrizes. Para isto, consid-
eramos o espao vetorial de 6 dimenses, associando para cada congurao um vetor base
ortonormal,
_
1 2 3
_

1
=
_
_
_
_
_
_
_
_
_
_
_
_
_
1
0
0
0
0
0
_
_
_
_
_
_
_
_
_
_
_
_
_
.
_
2 1 3
_

2
=
_
_
_
_
_
_
_
_
_
_
_
_
_
0
1
0
0
0
0
_
_
_
_
_
_
_
_
_
_
_
_
_
.
_
1 3 2
_

3
=
_
_
_
_
_
_
_
_
_
_
_
_
_
0
0
1
0
0
0
_
_
_
_
_
_
_
_
_
_
_
_
_
.
_
3 2 1
_

4
=
_
_
_
_
_
_
_
_
_
_
_
_
_
0
0
0
1
0
0
_
_
_
_
_
_
_
_
_
_
_
_
_
.
_
2 3 1
_

5
=
_
_
_
_
_
_
_
_
_
_
_
_
_
0
0
0
0
1
0
_
_
_
_
_
_
_
_
_
_
_
_
_
.
_
3 1 2
_

6
=
_
_
_
_
_
_
_
_
_
_
_
_
_
0
0
0
0
0
1
_
_
_
_
_
_
_
_
_
_
_
_
_
. (37)
Podemos considerar o mapeamento acima como o mapeamento um a um do elemento do
grupo de ` elementos a vetores ortonormais num espao vetorial de dimenso `.
9
A regra de produto do grupo nada mais que uma transformao de um elemento do
grupo para um outro elemento. Assim, no espao vetorial acima construido, podemos as-
sociar os elementos do grupo para operadores no espao, ou seja matrizes. Essa associao
constitui uma representao do grupo. No caso do grupo o
3
. a representao ca as matrizes
de 0 0. e obviamente devemos ter
1
123

_
_
_
_
_
_
_
_
_
_
_
_
_
1 0 0 0 0 0
0 1 0 0 0 0
0 0 1 0 0 0
0 0 0 1 0 0
0 0 0 0 1 0
0 0 0 0 0 1
_
_
_
_
_
_
_
_
_
_
_
_
_
. (38)
Para construir o resto da representao, podemos seguir o seguinte procedimento. Primeiro,
trocar a ordem de linhas na tabela de multipricao, de tal forma que o elemento na tabela
1 ca sempre na posio diagonal. No caso da tabela (27), trocamos a
o
linha e 0
o
linha,
tendo,
1 2 3 4 0
1 1 2 3 4 0
2 2 1 0 4 3
3 3 1 0 2 4
4 4 0 1 3 2
3 4 2 0 1
0 0 4 2 3 1

1 2 3 4 0
1 1 2 3 4 0
2 2 1 0 4 3
3 3 1 0 2 4
4 4 0 1 3 2
0 0 4 2 3 1
3 4 2 0 1
. (39)
Agora, extrai o quadro da parte (0 0) da tabela,
1 2 3 4 0
2 1 0 4 3
3 1 0 2 4
4 0 1 3 2
0 4 2 3 1
3 4 2 0 1
. (40)
10
e construimos um comjonto de matrizes, `
i
. i = 1. ... 0 colocando 1 no elemento da matriz
correspondente no local onde aparece i no quadro acima.
`
1
=
_
_
_
_
_
_
_
_
_
_
_
_
_
1 0 0 0 0 0
0 1 0 0 0 0
0 0 1 0 0 0
0 0 0 1 0 0
0 0 0 0 1 0
0 0 0 0 0 1
_
_
_
_
_
_
_
_
_
_
_
_
_
. `
2
=
_
_
_
_
_
_
_
_
_
_
_
_
_
0 1 0 0 0 0
1 0 0 0 0 0
0 0 0 0 1 0
0 0 0 0 0 1
0 0 1 0 0 0
0 0 0 1 0 0
_
_
_
_
_
_
_
_
_
_
_
_
_
. `
3
=
_
_
_
_
_
_
_
_
_
_
_
_
_
0 0 1 0 0 0
0 0 0 0 0 1
1 0 0 0 0 0
0 0 0 0 1 0
0 0 0 1 0 0
0 1 0 0 0 0
_
_
_
_
_
_
_
_
_
_
_
_
_
.
`
4
=
_
_
_
_
_
_
_
_
_
_
_
_
_
0 0 0 1 0 0
0 0 0 0 1 0
0 0 0 0 0 1
1 0 0 0 0 0
0 1 0 0 0 0
0 0 1 0 0 0
_
_
_
_
_
_
_
_
_
_
_
_
_
. `
5
=
_
_
_
_
_
_
_
_
_
_
_
_
_
0 0 0 0 1 0
0 0 0 1 0 0
0 1 0 0 0 0
0 0 1 0 0 0
0 0 0 0 0 1
1 0 0 0 0 0
_
_
_
_
_
_
_
_
_
_
_
_
_
. `
6
=
_
_
_
_
_
_
_
_
_
_
_
_
_
0 0 0 0 0 1
0 0 1 0 0 0
0 0 0 1 0 0
0 1 0 0 0 0
1 0 0 0 0 0
0 0 0 0 1 0
_
_
_
_
_
_
_
_
_
_
_
_
_
. (41)
Com isto, vejamos a tabela de multiplicao est representada em termos de matrizes.
Por exemplo, temos de fato,
`
3
`
4
=
_
_
_
_
_
_
_
_
_
_
_
_
_
0 0 1 0 0 0
0 0 0 0 0 1
1 0 0 0 0 0
0 0 0 0 1 0
0 0 0 1 0 0
0 1 0 0 0 0
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
0 0 0 1 0 0
0 0 0 0 1 0
0 0 0 0 0 1
1 0 0 0 0 0
0 1 0 0 0 0
0 0 1 0 0 0
_
_
_
_
_
_
_
_
_
_
_
_
_
=
_
_
_
_
_
_
_
_
_
_
_
_
_
0 0 0 0 0 1
0 0 1 0 0 0
0 0 0 1 0 0
0 1 0 0 0 0
1 0 0 0 0 0
0 0 0 0 1 0
_
_
_
_
_
_
_
_
_
_
_
_
_
= `
6
. ctc. (42)
Assim, estabelecemos uma representao do grupo o
3
pelas matrizes, `
i
. i = 1. ... 0 .
Uma representao como essa, onde exitem correspondncia um a um entre os vetores
base da representao e os elementos do grupo chamado "representao el". Para um
grupo discreto e nito, podemos construir sempre a representao el a partir da tabela de
multiplicao do grupo. Assim, as matrizes para a representao el de um grupo com `
elementos (` `) .
Por outro lado, podemos construir outras representaes com dimenso menor. Por exem-
plo, vamos considerar o espao vetorial formado pela base Eq.(37). Embora a representao
11
el utliza o espao todo, se olharmos com cuidado, existem algum subespaos que ca in-
variante sob aplicaes das matrizes da Eq.(41). Por exemplo, consideramos o vetor,
c
S
=
1
_
0
_
_
_
_
_
_
_
_
_
_
_
_
_
1
1
1
1
1
1
_
_
_
_
_
_
_
_
_
_
_
_
_
.
En
`
to, obviamente
`
1
c
S
= c
S
.
e para outras matrizes vercamos facilmente que
`
i
c
S
= c
S
. i = 1. 2. ... 0.
Isto porque, as matrizes `
t
i
: possui sempre apenas um elemento 1 em cada linha.
O resultado acima mostra que o subespao (unidimensional) formado do vetor c
S
no
alterado pelas aplicaes dos elementos do grupo. O tal espao chamado subespao invari-
ante da representao do grupo.
Podemos ver que exite um outro subespao invariante na representao el para o grupo
o
3
. Dedinindo
c

=
1
_
0
_
_
_
_
_
_
_
_
_
_
_
_
_
1
1
1
1
1
1
_
_
_
_
_
_
_
_
_
_
_
_
_
.
12
vericamos facilente que
`
1
c

= c

.
`
2
c

= c

.
`
3
c

= c

.
`
4
c

= c

.
`
5
c

= c

.
`
6
c

= c

.
o que mostra que o subespao formado pelo vetor c

(unidimensional) novamente invariante

sob operaes de matrizes `
i
. i = 1. ... 0 . Isto porque, os elementos de c

com sinais
negativos correspondem aos elementos do grupo o
3
com sinais de permutao netativa.
Note que os dois vetores, c
S
e c

so ortogonais.
(c

c
S
) = 0.
Assim, o espao vetorial original de dimenso 0 ca decomposto com
0 = 1
S
1

4 . (43)
Podemos construir a base do subespao de dimenso 4 com 4 vetores ortogonais a c

e c
S
.
Para isto, temos que achar 4 vetores ortogonais entre si e tambem ortogonal a c
S
e c

.Vamos
denotar tais vetores como
c
i
=
_
_
_
_
_
_
_
_
_
_
_
_
_
c
i
/
i
c
i
d
i
c
i
,
i
_
_
_
_
_
_
_
_
_
_
_
_
_
. i = 1. 2. 3. 4.
A condi;o de ortogonalidade com c
S
ca
c
i
/
i
c
i
d
i
c
i
,
i
= 0.
e com c

ca
c
i
/
i
c
i
d
i
c
i
,
i
= 0.
13
Com isto, temos dois grupos separados, correspondente aos espaos de sinal de permutao
positiva e negativa.
c
i
c
i
,
i
= 0.
/
i
c
i
d
i
= 0.
Uma possible conjunto de 4 solues linearmente independentes para esse sistema , por
exemplo,
c
1
= 1. c
1
= 1. ,
1
= 0.
/
1
= 0. c
1
= 0. d
1
= 0.
c
2
= 1. c
2
= 1. ,
2
= 2.
/
2
= 0. c
2
= 0. d
2
= 0.
c
3
= 0. c
3
= 0. ,
3
= 0.
/
3
= 1. c
3
= 1. d
3
= 0.
c
4
= 0. c
4
= 0. ,
4
= 0.
/
4
= 1. c
4
= 1. d
4
= 2.
de tal forma que os normalized vetores, c
i
cam
c
1
=
1
_
2
_
_
_
_
_
_
_
_
_
_
_
_
_
1
0
0
0
1
0
_
_
_
_
_
_
_
_
_
_
_
_
_
. c
2
=
1
_
0
_
_
_
_
_
_
_
_
_
_
_
_
_
1
0
0
0
1
2
_
_
_
_
_
_
_
_
_
_
_
_
_
. c
3
=
1
_
2
_
_
_
_
_
_
_
_
_
_
_
_
_
0
1
1
0
0
0
_
_
_
_
_
_
_
_
_
_
_
_
_
. c
4
=
1
_
0
_
_
_
_
_
_
_
_
_
_
_
_
_
0
1
1
2
0
0
_
_
_
_
_
_
_
_
_
_
_
_
_
.
Esses vetores formam uma base ortonormal no subespao 4 ortogonal a c
S
e c

.
fcil de vericar que a aplicao de qualquer elemento do grupo do o
3
nunca ter componentes
dos c
S
e c

. Ou seja,
c
S
`
i
c
)
= 0.
c

`
i
c
)
= 0.
14
Por exemplo,
`
3
c
4
=
1
_
0
_
_
_
_
_
_
_
_
_
_
_
_
_
0 0 1 0 0 0
0 0 0 0 0 1
1 0 0 0 0 0
0 0 0 0 1 0
0 0 0 1 0 0
0 1 0 0 0 0
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
0
1
1
2
0
0
_
_
_
_
_
_
_
_
_
_
_
_
_
=
1
_
0
_
_
_
_
_
_
_
_
_
_
_
_
_
1
0
0
0
2
1
_
_
_
_
_
_
_
_
_
_
_
_
_
que claramente ortogonal a c
S
e c

. A razo disto que numa representao el, a

aplicaao de qualquer elemento do grupo resulta em permutao dos elementos do vetor.
Tambm, os componentes no subespao de um determinado sinal de permutao passa para
o subespao de outra se o sinal do elemento do grupo for negativo, e permanece no mesmo
subespaco se o sinal for positivo.
Podemos calcular os elementos de matrizes,
c
i
[`
c
[c
)

que constituir a representao matricial de dimenso 4. Entretanto, em vez desta base,

c
i
. i = 1. 2. 3. 4 . vamos utilizar uma outra base,

1
=
1
_
2
(c
1
c
3
) .

2
=
1
_
2
(c
1
c
3
) .

3
=
1
_
2
(c
2
c
4
) .

4
=
1
_
2
(c
2
c
4
) .
15
e construimos matrizes `
(4)
c
. c = 1. .... 0. formadas de elementos de matriz

i
[`
c
[

)
.
Temos
`
(4)
1
=
_
_
_
_
_
_
_
1 0 0 0
0 1 0 0
0 0 1 0
0 0 0 1
_
_
_
_
_
_
_
. `
(4)
2
=
_
_
_
_
_
_
_
1 0 0 0
0 1 0 0
0 0 1 0
0 0 0 1
_
_
_
_
_
_
_
. `
(4)
3
=
_
_
_
_
_
_
_
1,2 0 0
_
3,2
0 1,2
_
3,2 0
0
_
3,2 1,2 0

_
3,2 0 0 1,2
_
_
_
_
_
_
_
.
`
(4)
4
=
_
_
_
_
_
_
_
1,2 0 0
_
3,2
0 1,2
_
3,2 0
0
_
3,2 1,2 0
_
3,2 0 0 1,2
_
_
_
_
_
_
_
. `
(4)
5
=
_
_
_
_
_
_
_
1,2 0 0
_
3,2
0 1,2
_
3,2 0
0
_
3,2 1,2 0

_
3,2 0 0 1,2
_
_
_
_
_
_
_
.
`
(4)
6
=
_
_
_
_
_
_
_
1,2 0 0
_
3,2
0 1,2
_
3,2 0
0
_
3,2 1,2 0
_
3,2 0 0 1,2
_
_
_
_
_
_
_
.
Observando cuidadosamente na forma matricial acima, percebemos que existe dois sube-
spaos invariantes no subespao 4 . Ou seja, se consideramos o subespao formado apenas
_

1
.

4
_
. os elementos do grupo cam mapeados matrizes (2 2) como
11 `
(2)
1
=
_
_
1 0
0 1
_
_
. 12 `
(2)
2
=
_
_
1 0
0 1
_
_
. 13 `
(2)
3
=
_
_
1,2
_
3,2

_
3,2 1,2
_
_
14 `
(2)
4
=
_
_
1,2
_
3,2
_
3,2 1,2
_
_
. 1 `
(2)
5
=
_
_
1,2
_
3,2

_
3,2 1,2
_
_
. 10 `
(2)
6
=
_
_
1,2
_
3,2
_
3,2 1,2
_
_
.
(44)
Podemos vericar que a regra de multiplicao est preservada. Por exemplo,
1 13
_
_
1,2
_
3,2

_
3,2 1,2
_
_
_
_
1,2
_
3,2

_
3,2 1,2
_
_
=
_
_

1
2
1
2
_
3
1
2
_
3
1
2
_
_
14
(veja a tabela (27)). O mapeamento forma a representao do grupo o
3
de dimenso 2.e
vamos denotar como 2 .
16
O subespao formado de
_

2
.

3
_
tambm invariante. Neste espao, temos o mapea-
mento,
11
_
_
1 0
0 1
_
_
. 12
_
_
1 0
0 1
_
_
. 13
_
_
1,2
_
3,2
_
3,2 1,2
_
_
14
_
_
1,2
_
3,2

_
3,2 1,2
_
_
. 1
_
_
1,2
_
3,2

_
3,2 1,2
_
_
. 10
_
_
1,2
_
3,2
_
3,2 1,2
_
_
.
(45)
o que tambm constitui uma representao de dimenso 2 que denotamos como 2
t
. Final-
mente, a representao inicial (representao el) do grupo de dimenso 0 ca decomposto
em 4 distintas representaes menores, correspondendo a decomposio do o espao vetorial
original de dimenso 0 em espaos vetoriais invariantes sob o grupo, como
0 = 1
S
1

2 2
t
. (46)
Essa decomposio pode ser feito atravs de uma transformao unitria que faz a mudana
da base da partir da base original para as novas bases em subespaos invariantes,
_

1
.

2
.

3
.

4
.

5
.

6
_
l

_
c
S
. c

1
.

4
.

2
.

3
_
(47)
Com isso, as matrizes da representao original se torna na forma diagonal em blocos,
l`
i
l
1
=
_
_
_
_
_
_
_
_
_
_
_
_
_
1 0 0 0 0 0
0 c 0 0 0 0
0 0 `
(2)
i (1,1)
`
(2)
i (1,2)
0 0
0 0 `
(2)
i (2,1)
`
(2)
i (2,2)
0 0
0 0 0 0 `
t(2)
i (1,1)
`
t(2)
i (1,2)
0 0 0 0 `
t(2)
i (2,1)
`
t(2)
i (2,2)
_
_
_
_
_
_
_
_
_
_
_
_
_
. i = 1. ... 0 (48)
onde c representa 1. de acordo com o sinal da permutao `
i
. e `
(2)
i (c,o)
o (c. ,)-elemento
da matriz da representao em 2 .
Nos subespaos 2 e 2
t
. no existe nenhum subespao menor. Neste caso, no podemos
achar as representaes de menor dimenso, e 2 e 2/ so ditas as representaes irre-
dutveis.
O procedimento acima esclarece a idia de como chegar a decomposio completa de
representao do grupo o
3
. mas no caso de o
a
o mtodo se torna impraticvel. Por exemplo,
17
o proximo grupo, o
4
. temos que trabalhar com o espao vetorial de dimenso 4! = 24. As
matrizes cam 24 24. Entretanto, existe uma forma mais poderosa para identicar os
subespaos invariantes.
D. Decomposio de produto direto de representao de um grupo
Vamos considerar um sistema composto de 2 partculas com spin 1/2. O estado de spin
do sistema pode ser obtido com a adio de momento angular,

1
2

1
2
=

1
As funes de onda correspondentes so obtidas utilzando os coecientes de Clebsch-Gordan,
[1. : =
12

j=12
(
1
2
1
2
j:j[1:)[
1
2
. j
(1)
[
1
2
. :j
(2)
para o estado , = 1, e
[0. 0 =
12

j=12
(
1
2
1
2
j j[00)[
1
2
. j
(1)
[
1
2
. :j
(2)
para o estado , = 0. Explicitamente, temos
[1. 1 = [
1
2
.
1
2

(1)
[
1
2
.
1
2

(2)
[1. 0 =
1
_
2
_
[
1
2
.
1
2

(1)
[
1
2
.
1
2

(2)
[
1
2
.
1
2

(1)
[
1
2
.
1
2

(2)
_
[1. 1 = [
1
2
.
1
2

(1)
[
1
2
.
1
2

(2)
e
[0. 0 =
1
_
2
_
[
1
2
.
1
2

(1)
[
1
2
.
1
2

(2)
[
1
2
.
1
2

(1)
[
1
2
.
1
2

(2)
_
Notamos que os estados de , = 1 so todos simetricos em relao troca de partcula,
[
o

(1)
[
b

(2)
==[
b

(1)
[
o

(2)
no entanto o estado de , = 0 antisimetrico, trocando o sinal. Este fato de que todos os
estados que possuem a mesma propriedade de simetria cam agrupados num mesmo estado
de , no acidental. Vamos considerar um sistema composto de : partculas. Neste caso,
o espao de Hilbert para o sistema como todo o produto direto de espaos de Hilbert,
H = H
1
H
2
H
a
18
e estados do sistema so escritos como
[ =

C
i
1
i
2
in
[
i
1

(1)
[
i
2

(2)
[
in

(a)
Consideramos ainda um grupo de simetria q para cada partcula. Denotando o gerador deste
grupo para i-esimo partcula por A
(i)
, o gerador do grupo para o estado do sistema todo
A =

i
A
(i)
ou seja vale a adio dos geradores. Mas neste caso, qualquer permutao das partculas
no altera o gerador do grupo. Em outras palavras, denotando o operador de permutao
entre partculas por T , temos
T AT
1
= A
Como sabemos, o conjunto de todas as permutaes formam um grupo, o
a
. Obviamente
um subespao invariante do grupo q um subespao invariante do grupo o
a
, e vice-versa.
Isto a razo das simetria dos estados no exemplo acima. Em geral, se decompomos o
espao de acordo com o grupo o
a
, podemos ter os subespaos invariantes para o grupo q,
simultaneamente. Caso em que estes so nicos subespaos invariantes do grupo q, teremos
automaticamente as representaes irredutveis do grupo q quando o espao decomposto
em subespaos invariantes irredutveis do grupo o
a
.
E. Diagrama de Young
Os subespaos invariantes do grupo o
a
so classicados atraves de Diagrama de Young.
Por exemplo, no caso de : = 2, existem 2 subespaos invariantes, simetrico e antisimetrico.
Representamos diagramaticamente estes subespaos por
c /
e
c
/
respectivamete. No primeiro diagrama, as caixas horizontais representam que os ndices den-
tro das caixas so simetricos, no entanto, no segundo diagrama, as caixas verticais indicam
que os ndices so antisimetricos. Para : = 3, analogamente o diagrama
19
c / c
representa os ndices so simetricos em relao a todas as permutaes. O vetor correspon-
dente nesta simetria seria,
[
S
=
1
_
0

1cvn
[i
(1)
1
[i
(2)
2
[i
(3)
3

onde a soma feita sobre todas as permutaes dos estados, i
1
. i
2
. i
3
. Por outro lado, o
diagrama,
i
1
i
2
i
3
representa os ndices so antisimetrico em relao as permutaes. O vetor correspondente
nesta simetria seria
[

=
1
_
0

1cvn
(1)
1
[i
(1)
1
[i
(2)
2
[i
(3)
3

onde (1)
1
o sinal da permutao ( permuntao par= 1, permuntao mpar= 1). No
caso : = 2, os dois subespaos invariantes do o
2
, simetrico e antisimetrico, esgotam o espao
total. Mas, para : 2, existem subespaos invariantes, no completamente simetricos nem
antisimetricos. Por exemplo, podemos vericar pelo clculo direto, os dois vetores,
[
1
=[c
(1)
[/
(2)
[c
(3)
[/
(1)
[c
(2)
[c
(3)
[c
(1)
[/
(2)
[c
(3)
[c
(1)
[c
(2)
[/
(3)
[
2
=[c
(1)
[/
(2)
[c
(3)
[/
(1)
[c
(2)
[c
(3)
[c
(1)
[c
(2)
[/
(3)
[/
(1)
[c
(2)
[c
(3)
formam uma base (no ortogonal) para a representao do grupo o
3
de dimen`sao 2 e so
linearmente independentes aos vetores, [
S
e [

. Isto , qualquer permutao aplicado

nestes estados pode ser escrita como combinao linear destes. A inspeo destes veotres
mostra que eles tem simetria em relao a troca de c / e antisimetrica para a troca de
c c ou / c. Podemos expressar simbolicamente a simetria destes dois estados por
c /
c
.
20
Outro conjunto de vetores que linearmente independente aos [
S
. [

. [
1
e [
2
com-
posto de dois vetores tipo,
[
3
=[c
(1)
[c
(2)
[/
(3)
[c
(1)
[c
(2)
[/
(3)
[/
(1)
[c
(2)
[c
(3)
[/
(1)
[c
(2)
[c
(3)
[
4
=[c
(1)
[c
(2)
[/
(3)
[c
(1)
[c
(2)
[/
(3)
[c
(1)
[/
(2)
[c
(3)
[c
(1)
[/
(2)
[c
(3)
que tambm forma uma base no ortogonal para a representao do grupo o
3
. Podemos
expressar simbolicamente este conjunto por
c c
/
Em geral, os espaos invariantes do grupo o
a
representados atravs de diagrama de
Young,
c
1
c
2
c
a
1
/
1
/
2
/
a
2
.
.
.
.
1

Fig. Diagrama de Young
onde o nmero de caixas de iesima linha denotado por :
i
satisfazendo
:
1
_ :
2
_ _ :
|
No diagrama acima, as letras numa linha horizontal representam os ndices simetricas e as
letras numa coluna vertical representam os ndices antisimetricas. Para dada partio do
nmero :, ~ n =:
1
_ :
2
_ _ :
|
corresponde um diagrama de Young e por sua vez
corresponde a um subespao invariante do grupo o
a
. A dimenso deste subespao invariante
pode ser obrida pela maneira de preencher as caixas do diagrama pelos nmeros 1. .... :,
satisfazendo as seguintes regras:
1. Nmeros numa linha horizontal deve ser crescente de esquerda para direita.
21
2. Nmeros numa coluna vertical deve ser crescente acima para baixo.
Por exemplo, para o
4
, temos diagramas,
, , , ,
Para o primeiro diagrama, existe s uma maneira de preencher as caixas pelos nmeros
satisfazendo as regras acimas, i.e.,
1 2 3 4
,
portanto para o segundo diagrama, temos 3 maneiras,
1 2 3
4
,
1 2 4
3
,
1 3 4
2
.
Assim, a dimenso do subespao invariante correspondente ao primeiro diagrama um, no
entanto, do segundo, a dimenso 3. fcil de vericar que o diagrama
corresponde ao subespao de dimenso 2,
Em geral, existe : subespaos que correspondem ao mesmo diagrama de Young de di-
menso :.
F.
G. Bsons e Frmions
estabelecido empiricamente que, as partculas existem na realidade, so classicadas
em termos de autovalores do operador 1. Para uma dada espcie de partcula, o autovalor
de 1 sempre manter msmo. Por exemplo, para eltron, 1 = 1. e para ftons, 1 = 1.
Partculas que possuem autovalor de 1 positivo chamado de Bsons e partculas que
possuem autovalor negativo chamado de Frmions.
22
Um outro fato importante que os bsons tm spin inteiro (0. 1. 2..) e fermions tm spin
semi-inteiro (1,2. 3,2. ..) . Esta relao entre spin e estatstica no pode ser entendido dentro
do contexto da Mecnica Quntica no relativstica, mas num formalismo de teoria quntica
de campos relativstico, podemos mostrar a necessidade de tal relao. Abaixo, mostramos
spin de alguns partculas elementares.
Frimons de Spin 1/2 leptons (eltrons, neutrinos, muons, etc. que no interage forte-
mente), quarks e suas antipartculas.
Bsons de spin 1 Ftons, Bsons Fracos (W, Z) e gluons
Bsons de spin 2 Graviton (ainda no detetado)
A relao entre spin e estatstica vale tambm para um sistema composto. Por exemplo,
o proton composto de 3 quarks e gluons. Assim, o spin do proton semi-inteiro (1/2 no
estado fundamental) e, portanto, um frmion. O mson : um estado composto de quark
e antiquark e gluons. Assim, : tem spin inteiro (no estado fundamental 0) e, portanto, um
bson. O ncleo de
4
He composto de 2 prtons e 2 neutrons, tendo spin inteiro (no estado
fundamental 0) e bson, no entanto,
3
He um frmion.
Para um sistema composto, na verdade o spin do sistema o momento angular do sistema
e, portanto, a soma de momento angular orbital e a soma de spins de cada constituintes.
H. Sistema de N partculas
Podemos extender o argumento para os estados de um sistema composto de mais de
2 partculas idnticas. Podemos mostrar que somente 2 possibilidades para um sistema
composto de ` parttculas. Para o estado onde tem uma partcula no estado c
1
. outra no
c
2
e por diante, o vetor de estado ca
[d
S
c
1
. c
2
. . . . . c
.
=
1
_
`!

1
[,
c
1
[,
c
2
[,
c
N
. (49)
ou
[d

c
1
. c
2
. . . . . c
.
=
1
_
`!

1
(1)
1
[,
c
1
[,
c
2
[,
c
N
. (50)
onde o somatrio

1
representa a soma sobre todas as pertumutaes de indices c =
c
1
. c
2
. . . . . c
.
e (1)
1
a paridade da permutao 1. Para um sistema de ` bsons
23
idnticos, o estado do sistema descrito pelo [d
S
(o para simtrico) e para um sistema de
` fermions idnticos, o estado do sistema descrito pelo [d

( para anti-simtrico). Os
estados de uma partcula [,
c
1
so chamados como estados de partculas simples.
I. Princpio de Excluso de Pauli e Determinante de Slater
Uma conseguncia direta da armao acima que, para um sistema de fermions, se
alguns de ndices de estados coincidem, o vetor de estado [d

c
1
. c
2
. . . . . c
.
se torna
nulo. Ou seja, no h estado do sistema composto que contm mais de uma partcula no
mesmo estado. Esse resultado nada mais que o Princpio de Excluso de Pauli. Para o
sistema de bsons, no h esta limitao.
Para a funo de onda, introduzindo a base de congurao,
[:
1
[:
2
[:
N

temos
d
S
c
(:
1
. :
2
. ...:
N
) =
1
_
`!

1
,
c
1
(:
1
) ,
c
2
(:
2
) ,
c
N
(:
.
) . (51)
e
d

c
(:
1
. :
2
. ...:
N
) =
1
_
`!

1
(1)
1
,
c
1
(:
1
) ,
c
2
(:
2
) ,
c
N
(:
.
) . (52)
Note que a funo de onda, Eq.(52) pode ser escrita na forma de um determinante (deter-
minante de Slater),
d
S
c
(:
1
. :
2
. ...:
N
) =
1
_
`!
oci

,
c
1
(:
1
) ,
c
2
(:
1
) ,
c
N
(:
1
)
,
c
1
(:
2
) ,
c
N
(:
2
)
.
.
.
.
.
.
,
c
1
(:
.
) ,
c
N
(:
.
)

. (53)
Note que um estado geral uma combinao linear desses estados,
d
S,
(:
1
. :
2
. ...:
N
) =

c
C
c
d
S
c
(:
1
. :
2
. ...:
N
)
onde a somatria tem que ser feita sobre as conguraes, c = c
1
. c
2
. . . . . c
.
.
24
II. REPRESENTAO DE OCUPAO E ESPAO DE FOCK
Um estado de sistema de partculas idnticas, seja bsons ou seja fermions, especicado
completamente quando sabemos quais estados c
1
. c
2
. . . . . c
.
esto ocupados. Assim,
podemos considerar uma representao de estado em termos de nmero de partculas que
ocupam os estados. Por exemplo, um estado de 3 bosons, tipo
[d
S
c
1
. c
2
. c
1
(54)
pode ser escrito tambm como
[d
S
:
c
1
= 2. :
c
2
= 1 (55)
j que a ordem de c
t
: na Eq.(54) irrelevante, ou seja, [d
S
c
1
. c
2
. c
1
=
[d
S
c
1
. c
1
. c
2
= [d
S
c
2
. c
1
. c
1
. etc.
Por outro lado, especicar toda hora quais so os estados ocupados inconveniente. Para
isto, podemos extender a representao para todos os estados c
t
: como
[:
1
. :
2
. :
3
. ... :
i
. ... (56)
onde os ndices 1. 2. .. indicam estados ordenadas de acordo com certa rgra (em geral a
ordem da energia) e :
t
i
: podem ser zeros. Por exemplo, um estado de sistema de 3 bosons,
que tem 2 partculas no terceira estado e um no quinto estado expresso por
[0. 0. 2. 0. 1. 0. 0. ... 0. ....
Um sistema de ` bsons ento pode ser representado na forma Eq.(56) com

i
:
i
= `. (57)
Chamamos essa representao como a representao de numero de ocupao de partculas
simples. Para um sistema de fermions, tambm podemos expressar como
[:
1
. :
2
. :
3
. ... :
i
. ... (58)
s que neste caso, :
i
assume somente o valor 0 ou 1. devido ao Princpio de Excluso de
Pauli.
25
Quando envolve processos que criao de partculas ou absoro de partculas, o nmero
de partcula ` no necessariamente mantido. Desta forma, podemos generalizar ` para
qualquer nmero, ou seja despensar Eq.(57). O espao formado de conjunto de vetores,
Eq.(56) para bsons, e Eq.(58) para frmions, para qualquer ` dito o espao de Fock.
Naturalmente o espao de Hilbert de partculas com nmero total de partcula xo um
subespao de espao de Fock.
III. EXEMPLO: GASES IDEAIS QUNTICOS
Segundo a Mecnica Estatstica, a propriedade termodinmica de um sistema em equi-
lbrio com temperatura 1 e potencial qumico j connado num volume \ calculada a
partir de uma quantidade,
2 = 2(\. 1. j) =

c
c
(1j.)IT
. (59)
onde / a contante de Boltzmann. Esta funco conhecida como funo de partio para
ensemble gran canonico, onde o somatrio tem que ser feito sobre todos os estados do sistema,
c. e 1
c
e `
c
so a energia e o nmero de partcula do sistema para o estado c. O chave
que a probabilidade de encontrar o sistema exatamente no mcroestado c dada por
j
c
=
1
2
c
(1j.)IT
. (60)
Um estado quntico c especicado em termos de nmero de ocupao de partculas
simples. Isto ,
c = :
1
. :
2
. :
3
. ... :
i
. ...
e
`
c
=

i
:
i
. (61)
1
c
=

i
:
i
. (62)
onde
i
a energia de partcula simples no i-esmo estado.
Somar sobre todos os c implica somar em todas as possibilidades de ocupaes,
26
:
1
. :
2
. :
3
. ... :
i
. ... . e portanto,

c
=

a
1

a
2

a
i

=

i
_

a
1
_
(63)
Quando sabemos explicitamente a funo de partio em termos de j and 1, podemos
calcular as quantidades termodinamicas como:
1 =
J ln 2
J,

jo
. (64)
` =
1
,
J ln 2
Jj

o
. (65)
o =
1
1
(1 j`) / ln 2. (66)
onde 1 a energia, ` o nmero de partculas, o a entropia do sistema. Note que a derivada
parcial na Eq.(64) deve ser feita xando a quantidade ` = j,.
Comparando Eq.(66) com a relao termodinmica,
o =
1
1
1
j
1
`
1
1
1\. (67)
podemos identicar
1
,
ln 2 = 1\. (68)
que chamamos o potencial termodinmico para o ensemble gran canonico.
A. Gs de Fermi Ideal
Vamos calcular a funo de partio explicitamente para um sistema de frmions no
interagentes (partculas livres), ou seja gs ideal de fermions. Para fermions, vale o Princpio
de excluso de Pauli, Fermi gas, e os nmeros de ocupao, :
i
para cada estado i assumem
27
apenas 0 ou 1. Assim, podemos calcular,
2 (\. ,. j) =

c
c
o(1j.)
=

a
1

a
2

a
3

a
i
cxp
_
,

i
:
i
(
i
j)
_
=

a
i
=0,1
c
oa
i
(.
i
j)
=

i
_
1 c
o(.
i
j)
_
= cxp

i
ln
_
1 c
o(.
i
j)

. (69)
No caso de um gs ideal, o estado de partcula simples pode ser identicado como uma onda
plana com nmero de onda

/, podemos substituir o somatrio sobre i por uma integral em

/ no limite termodinmico,

q\
(2:~)
3
_
d
3
/ .
onde q o fator estatistico, que conta os graus de liberdade de spin da partcula. For a spin
1,2 particle, this factor is 2.
Para simplicidade, a partir de agora, utilizamos o sistema de unidade em que ~ = c = 1.
Temos
ln 2 (\. 1. j) =
q\
(2:)
3
_
d
3
/ ln
_
1 c
o(.
k
j)

. (70)
onde
I
a energia da partcula com momento

/.
A energia total do sistema ca
1 =
J
J,
ln 2 (\. 1. j)

oj
=
q\
(2:)
3
_
d
3
/

I
c
o(.
k
j)
1 c
o(.
k
j)
=
q\
(2:)
3
_
d
3
/

I
c
o(.
k
j)
1
(71)
e o nmero total de partculas ca
` =
1
,
J
Jj
ln 2 (\. 1. j)

o
=
q\
(2:)
3
_
d
3
/
1
c
o(.
k
j)
1
. (72)
28
As expresses acima, Eqs.(71) e (72) indicam que o nmero de occupao do nvel de energia

I
do um gs ideal de fermion dada por
, (
I
) =
1
c
o(.
k
j)
1
. (73)
Essa distribuio conhecido como a funo de distribuio de Fermi. A presso pode ser
calculada como
1 =
q
(2:)
3
1
,
_
d
3
/ ln
_
1 c
o(.
k
j)

. (74)
Finalmente, a entropia do sistema dada por
1o = 1 j` 1\.
B. Gs Ideal de Bosons
Para bosons, a soma sobre estados difere do caso de fermion. No h restrio sobre os
nmeros de ocupao :
i
de estados de partcula simples, temos que somar sobre todos os
nmeros inteiros no negativos. Temos
2 (\. ,. j) =

c
c
o(1j.)
=

a
1

a
2

a
3

a
i
cxp
_
,

i
:
i
(
i
j)
_
=

i
o

a
i
=0
c
oa
i
(.
i
j)
=

i
1
1 c
o(.
i
j)
= cxp
_

i
ln
_
1 c
o(.
i
j)

_
. (75)
onde assumimos

i
j 0. (76)
Essa condio necessria para que a soma converge. Introduzindo novamente a integral
sobre estados de ondas planas, temos
ln 2 (\. 1. j) =
q\
(2:)
3
_
d
3
/ ln
_
1 c
o(.
k
j)

. (77)
29
Na forma anloga no caso de fermions, temos expresses para a energia, o nmero de par-
ticulas, e a presso como
1 =
q\
(2:)
3
_
d
3
/

I
c
o(.
k
j)
1
. (78)
` =
q\
(2:)
3
_
d
3
/
1
c
o(.
k
j)
1
. (79)
e
1 =
q
(2:)
3
1
,
_
d
3
/ ln
_
1 c
o(.
k
j)

. (80)
A entropia dada novamente
1o = 1 j` 1\. (81)
No caso de bsons, o nmero de ocupao do nvel de energia
I
do estado de partcula
simples ca
, (
I
) =
1
c
o(.
k
j)
1
. (82)
Note que temos que ter
I
j para todo /, ento,

0
j (83)
onde
0
a menor energia de partcula simples.
C. Gs Ideal Relativstico
As expresses acima valem mesmo para um gs relativstico.

I
=
_
/
2
:
2
. (84)
onde : a massa da particula. Expresses para a densidade de nmero de partculas :, a
densidade de energia, e a presso 1 cam escritas na forma de integral,
: =
q
2:
2
_
o
0
d/ /
2
1
c
o(
_
I
2
+n
2
j)
1
. (85)
=
q
2:
2
_
o
0
d/ /
2
_
/
2
:
2
c
o(
_
I
2
+n
2
j)
1
. (86)
1 =
q
2:
2
1
,
_
o
0
d/ /
2
ln
_
1 c
o(
_
I
2
+n
2
j)
_
. (87)
onde os sinais correspondem, respectivamente para o caso de frmions e bsons. Em
certas situaes, estas integrais podem ser avaliadas analiticamente.
30
IV. SEGUNDA QUANTIZAO
A. Caso de Bsons
Foi dito que a noo de espao de Fock fundamental para tratar processos que envolvem
produo e absoro de partculas, tais como o efeito fotoeltrico ou emisso de ftons pela
transio eletromagntica de partculas carregadas. Mas mesmo para os problemas com o
nmero total de partcula ` xo, o espao de Fock oferece uma forma sistemtica de tratar
a dinmica quntica de um sistema de ` corpos. Na representao de estado quntico em
termos de espao de Fock, os estados so especicados em termos de nmeros de ocupao
dos estados. Assim, uma mudna de estados pode ser feito pela mudna de nmeros de
ocupao.
1. Operadores de criao e aniquilao
Por exemplo, no espao de Fock, podemos introduzir um operador c
i
que elimina uma
partcula no estado i. Inversamente, podemos introduzir o operador c
+
que cria uma
partcula no estado i. Ento, o operador
c
+
)
c
i
elimina uma partcula no estado i e em seguida cria uma partcula no estado ,. O efeito
deste operador para um estado no espao de Fock
[:
1
. :
2
. :
3
. ... :
i
. ...
ca
c
+
)
c
i
[:
1
. :
2
. :
3
. ... :
i
. .. :
)
. .. = 1[:
1
. :
2
. :
3
. ... :
i
1. .. :
)
1. ...
onde 1 um constante que pode depender de :
i
e :
)
. Assim, o operador c
+
)
c
i
representa a
transio de uma partcula do estado i para o estado , para um sistema de ` corpos.
No tratamento de um oscilador hrmonicos, j vimos os operadores que cria e elimina
quntum de osciladores. Podemos aproveitar a estrutura matemtica que aprendemos la.
Vamos ento introduzir operadores
c
1
. c
2
. ...
31
e seu conjugado hermitiano,
_
c
|
1
. c
|
2
. ...
_
.
satisfazendo as seguintes rgras de comutao,
_
c
i
. c
|
)
_
= o
i)
. (88)
e introduzimos os operadores de nmero de partcula `
i
para cada estado i por
`
i
= c
i
c
|
i
. (89)
Podemos mostrar que os comutadores
[`
i
. c
)
[ = c
i
o
i)
.
_
`
i
. c
|
)
_
= c
|
i
o
i)
.
e os autovalores de `
i
so inteiros no negativos.
Sejam :
1
. :
2
. .... :
i
. ... autovalores de `
t
i
:. Ou seja, idencamos o estado de Fock,
[:
1
. :
2
. .... :
i
. ...
como o autoestado de `
t
i
:.
`
i
[:
1
. :
2
. .... :
i
. ... = :
i
[:
1
. :
2
. .... :
i
. ....
V
i.
Supomos que o estado de Fock normalizado,
:
t
1
. :
t
2
. .... :
t
i
. ...[:
1
. :
2
. .... :
i
. ... = o
a
0
1
a
1
o
a
0
2
a
2
o
a
0
i
a
i
.
Com isto, podemos mostrar que
c
i
[:
1
. :
2
. .... :
i
. ... =
_
:
i
[:
1
. :
2
. .... :
i
1. ....
c
|
i
[:
1
. :
2
. .... :
i
. ... =
_
:
i
1[:
1
. :
2
. .... :
i
1. ...
e
[:
1
. :
2
. .... :
i
. ... =

i
1
_
:
i
!
_
c
|
i
_
a
i
[0. 0. 0. 0. ..... 0. ...
32
B. Operadores Gerais no Espao de Fock
1. Operador de 1 corpo (partcula simples)
Queremos representar operadores correspondente a observveis em termos de operadores
de criao e aniquilao acima introduzidos. Inicialmente consideramos o operador de
partculas simples.
Um operador partcula simples (por exemplo, a energia cintica) de uma partcula tem a
forma no espao de Hilbert de partcula simples,
1
(1)
=

)
[ii[1
(1)
[,,[. (90)
onde o superscript
(1)
signica que esse um operador de partcula simles. Para um estado
de ` partculas, o operador do sistema seria a soma deste operador para cada partcula.
Assim, na representao de produto direto,
[d
S
c
1
. c
2
. . . . . c
.
=
1
_
`!

1
[,
c
1
[,
c
2
[,
c
N
.
o vaor esperado deste operador deve ser
d
S
c
1
. c
2
. . . . . c
.
[ 1 [d
S
c
1
. c
2
. . . . . c
.
=
.

|=1
,
c
l
[1
(1)
[,
c
l

i
:
i
i[1
(1)
[i (91)
pois a quantidade 1 para o sistema de ` partculas dada como a soma de conttibuio de
cada uma das partculas.
O operador
[i,[
na Eq.(90) faz o papel de transforma um es-
tado [, em estado [i. e para qualquer outro estado ortogonal a [,. resulta em vetor nulo.
Desta forma, podemos considerar o operador correspondente no espao de Fock, como
[i,[ c
|
i
c
)
.
O operador correspondente a Eq.(90) ser
1 =

)
i[1
(1)
[,c
|
i
c
)
33
Queremos vericar a Eq.(91). Para isto,
:
1
. :
2
. .... :
i
. ...[1[:
1
. :
2
. .... :
i
. ... =

i,)
i[1
(1)
[,:
1
. :
2
. .... :
i
. ...[c
|
i
c
)
[:
1
. :
2
. .... :
i
. ...
=

i,)
i[1
(1)
[, (c
i
[:
1
. :
2
. .... :
i
. .... c
)
[:
1
. :
2
. .... :
i
. ...)
=

i,)
i[1
(1)
[,
_
:
i
:
)
:
1
. :
2
. .... :
i
1. ...[:
1
. :
2
. .... :
)
1. ...
=

i,)
i[1
(1)
[,
_
:
i
:
)
o
i)
=

i
:
i
i[1
(1)
[i
o que verica a Eq.(91).
2. Operadores de 2 corpos
O operador de dois corpos atua no estado, alterando estados de duas partculas simul-
taneamente. Um exemplo como este o potencial entre dois corpos. O operador de 2 corpos
no espaco de Hilbert de duas partculas pode ter escrito na forma
\
(2)
=
_

i
[ii[
_

)
[,,[
_
\
(2)
_

|
[||[
_

n
[::[
_
para partculas no idnticas. Para as partculas idnticas, em particular no caso de bsons,
temos que utilizar a completeza no espao de Hilbert simmetrizado. A completeza para um
espao de dois corpos simtricos ca
1
(2)
S
=
1
2

(i,))
([i [, [, [i) (i[ ,[ ,[ i[)
onde 1
(2)
S
signica o operador de identidade no espao de Hilbert de duas bsons idnticos e
o somatrio feito sobre os pares de (i. ,). Assim, o operador de dois corpos deve ser escrito
34
como
\
(2)
=
1
2

(i,))
([i [, [, [i) (i[ ,[ ,[ i[) \
(2)
1
2

(|,n)
([| [: [: [|) (|[ :[ :[ |[)
=
_
1
2
_
2

(i,))

(|,n)
([i [, [, [i)
_
i,[\
(2)
[|: i,[\
(2)
[:| ,i[\
(2)
[|: ,i[\
(2)
[:|
_
(|[ :[ :[ |[)
=
1
2

i,)

|,n
[d
(2)
S
(i. ,)i,[\
(2)
[|:d
(2)
S
(|. :) [. (92)
onde o elemento de matriz, i,[\
(2)
[|: denido como
i,[\
(2)
[|: =
_
[i [,. \
(2)
[| [:
_
.
e agora, os somatrios so feitos sobre todos os indices e no sobre pares. Para simplicar,
introduzimos tambm a notao
[d
(2)
S
(i. ,) =
1
_
2
[i [, [, [i
para o estado simtrico de duas partculas, uma no estado de i e outro no ,.
A expresso Eq.(92) mostra que o funcionamento de um operador de dois corpos
transformar um estado simtico de duas particulas [d
(2)
S
(|. :) em outro estado simtrico,
[d
(2)
S
(i. ,). Fazendo analogia com o caso de operador de partcula simples, podemos concluir
que a representao de um operador de dois corpo no espao de Fock deve ser
\ =
1
2

i,)

|,n
i,[\
(2)
[|:c
|
i
c
|
)
c
|
c
n
.
3. Operador de Campo
Como mencionamos, os estados de partculas simples, [i formam uma base ortonormal
do espao Hilbert de uma partcula. Ou seja, os oeradores de criao e aniquilao so
representados em termos desta base. Para descrio de estado de uma partcula, podemos
considerar a representao de coordenadas, [: . Assim, podemos tambm considerar os
operadores de criao e aniquilao na representao de coordenadas.
35
Para isto, vamos denir um operador,
(:) =

i
,
c
i
(:) c
i
onde
,
c
i
(:) = :[i
a funo de onda do estado i. Temos as propriedade de ortonormal e completeza,
_
,
+
c
i
(:) ,
c
j
(:) d
3
: = o
i)
.

i
,
c
i
(:) ,
+
c
i
(:
t
) = o
3
(: :
t
) .
Usando a relao de ortonormaldade, podemos inverter a relao entre (:) e c
i
.
c
i
=
_
,
+
c
i
(:) (:) d
3
:.
O conjugado hermitiano de (:)

|
(:) =

i
,
+
c
i
(:) c
|
i
.
A relao de comutao entre dois operadores com posio diferente,
_
(:) .
|
(:
t
)

)
,
c
i
(:) ,
+
c
j
(:)
_
c
i
. c
|
i
_
=

)
,
c
i
(:) ,
+
c
j
(:
t
) o
i)
=

i
,
c
i
(:) ,
+
c
i
(:
t
)
= o
3
(: :
t
) (93)
O operador de nmero de partcula do sistema,
` =

i
c
|
i
c
i
pode ser expesso em termos de (:) . Temos
` =

i
_
,
c
i
(:)
|
(:) d
3
:
_
,
+
c
i
(:
t
) (:
t
) d
3
:
t
=
_ _

i
,
c
i
(:) ,
+
c
i
(:
t
)
|
(:) (:
t
) d
3
:d
3
:
t
=
_ _
o (: :
t
)
|
(:) (:
t
) d
3
:d
3
:
t
=
_

|
(:) (:) d
3
:
36
As regras de comutao com ` e (:) e
|
(:) ca
[`. (:)[ = (:) .
_
`.
|
(:)

=
|
(:) .
Com isto, podemos concluir que o operador de campo, (:) aniquila uma partcula no ponto
:. e
|
(:) cria uma partcula no ponto :.
C. Segunda Quantizao
O procedimento de introduo de operadores de criao e aniquilao no espao de Fock
acima feito para formular problemas de muitos corpos na forma sistemtica. Entretanto, o
mtodo est diretamente relacionado com a quntizao de uma teoria quntica de campo.
Consideramos um problema de formular a equao de Schrdinger do ponto de vista
de Princpio Variacional de teoria clssica de campos. Considerando um campo escalar
complexo, (:. t) e a ao
1 =
_
dt
_
d
3
: i~
+
J
t

+
H (94)
onde H o operador de Hamiltoniano de uma equao de Schrdinger,
H =
~
2
2:
\
2
\ (:) .
Considerando (:. t) e
+
(:. t) como duas varveis independentes, temos
o1 =
_
dt
_
d
3
: [i~J
t
H o
+
i~J
t

+
H
+
o[
onde no segundo termo, foi utilizada a integral por partes e hermiticidade do operador H.
Assim, o1 = 0 para
V
o. o
+
implica em
i~J
t
= H.
e
i~J
t

+
= H
+
.
As ambas equaes so nada mais que a equao de Scrdinger usual. Assim, podemos
considerar
/ = i~
+
J
t

+
H (95)
37
a densidade de Lagrangiana para um sistema de campo que satisfaz a equao de
Schrdinger. Seguindo o procedimento usual, ento o momento canonicamente conjugado,
: varivel no ponto : dado por
: (:. t) =
J/
J
`

= i~
+
(:. t) . (96)
Resumindo, esquecendo sua origem, a equao de Schrdinger pode ser considerado um
sistema de campo clssico com a densidade de Lagrangiana Eq(95) com o momento canoni-
camente conjugado, obdescendo o procedimento usual da mecnica clssica de campo.
Agora, o que acontece se esse campo clssica seja quantizado? Ou seja, a amplitude do
campo no ponto : no mais nmmero mas um operador, sendo que os autovalores
deste operador tem papel de valor observado para o ampitude?
Neste caso, podemos seguir o procedimento natural de quantizao, ou seja, introduzir
a rgra de comutao cannica entre o operadores de e seu momento canonicamente
conjugado, :. Considerando todos os pontos distintos so independentes, temos (o tempo t
tem que ser comun),
[ (:. t) . : (:
t
. t)[ = i~o
3
(: :
t
) . (97)
Utilizando Eq.(96), vemos que essa condio de quntizao cannica ca nada mais que a
Eq.(93).
Resumindo, o sistema descrito por um campo clssico obdescendo sua equao de movi-
mento, quando quntizar, ca equivalente a sistema de muitos corpos idnticos, cujo funo
de onda de cada uma dela descrita pelo campo clssico, e a equao de Schrdinger para
partcula simples pode ser vista como a equao de movimento do campo clssico. Esse
razo que o mtodo de espao de Fock com operadores de criao e aniquilao referido
como 2nda quantizao do sistema.
D. Caso de Fermion
O conjunto de operadores
_
c
i
. c
|
i
_
que satisfazem a regra de comutao Eq.(88) com a
denio de operadores de nmero de partculas, Eq.(89) so aplicaveis somente para bsons,
pois autovalores de `
i
so inteiros no negativos sem restrio. Para fermions, temos que
ter um conjunto de operadores onde o nmero de partcula possui autovalores 0 e 1. apenas.
38
Para ter tal propriedade, o operador de nmero de partcula `
i
tem que satisfazer
`
2
i
= `
i
.
Por outro lado, queremos escrever
`
i
= /
|
i
/
i
.
Para satisfazer as propriedades, podemos impor a seguinte regra de anti-comutao,
_
/
i
. /
|
)
_
+
= o
i)
. (98)
/
i
. /
)

+
= 0. (99)
_
/
|
i
. /
|
)
_
+
= 0. (100)
onde . 1
+
= 1 1 chamado anti-comutador. De fato, da Eq.(98), podemos
escrever
`
2
i
= /
|
i
/
i
/
|
i
/
i
= /
|
i
_
1 /
|
i
/
i
_
/
i
= `
i
/
|
i
/
|
i
/
i
/
i
Mas da Eq.(99) ou da Eq.(100), /
i
/
i
= /
|
i
/
|
i
= 0. Assim, temos
`
2
i
= `
i
o que guarante os autovalores de `
i
so ou 1 ou 0.
Podemos calcular o comutador de `
i
e /
)
. Temos
[`
i
. /
)
[ = /
i
o
i)
.
_
`
i
. /
|
)
_
= /
|
i
o
i)
.
Seja
[:
1
. :
2
. . . . . :
i
. ...
o autoestado de operadores `
1
. `
2
. .... `
i
. .... . Temos :
i
= 0 ou :
i
= 1 para todos i.
Podemos mostrar que
/
i
[:
1
. :
2
. . . . . :
i
. ... = 0. :c :
i
= 0.
/
i
[:
1
. :
2
. . . . . :
i
. ... = [:
1
. :
2
. . . . . 0. .... :c :
i
= 1.
39
e
/
|
i
[:
1
. :
2
. . . . . :
i
. ... = 0. :c :
i
= 1.
/
|
i
[:
1
. :
2
. . . . . :
i
. ... = [:
1
. :
2
. . . . . 1. .... :c :
i
= 0.
Assim, podemos concluir que, de fato, /
i
e /
|
i
so operadores de aniquilao e criao de
partucla (ferminon) no estado i.
E. Aplicaes do Mtodo de Segunda Quantizao
1. Aproximao de Hartree-Fock - Noo de campo mdio
Vamos considerar o sistema de 2 eltrons de um tomo com o ncleo de nmero atmico
2. Como a massa do ncleo bem maior que as massas de eltrons, podemos desprezar, numa
boa aproximao, o movimento do ncleo quando trata a estrutura do tomo. Tomando a
origem de coordenadas na posio do ncleo, o Hamiltoniano do sistema de 2 eltrons na
forma de 1c quantizao,
H =
Z

i=1
1
i

i=1
c
2
2
:
i

c
2
2

i,=)
1
[:
i
:
)
[
onde 1
i
a energia cintica de i esma partcula, e :
i
sua posio. O primeiro termo a
energina cintica, o segundo termo a energia Coulobmiana entre eltrons e nclio, e o ltimo
temo, a energia Coulombinano entre eltrons.
O Hamiltoniano no espao de Fock, ou seja, na forma de segunda quantizao, ca
H = H
0

c
2
2
_
d
3
:
1
_
d
3
:
2

|
(:
2
)
|
(:
1
)
1
[:
1
:
2
[
(:
1
) (:
2
) .
onde
H
0
=
_
d
3
:
|
(:)
_

~
2
2:
\
2

c
2
2
:
_
(:)
a parte do Hamiltoniano que envolve apenas o operador de partculas simples. Aqui,
queremos determinar o estado fundamental do sistema de 2 eltrons, e obter o valor da
energia, e restringimos a discusso para os estados estacionrios. Desta forma, todas as
quantidades no depende do tempo t.
A presena de termo de interao entre eltrons implica que os eltrons no se comportam
independentemente, e existem correlaes entre eles. Ou seja, o vetor de estado do sistema
40
no pode ser escrito como apenas um produto direto de estados de cada partculas. Para
incluir as correlaes no estado no trivial.
Por outro lado, o fato experimental demostra que uma imagem de partculas simples fun-
ciona bastante bem quando trata de transio de um eltron de uma camada para outra. Isto
no somente ocorre para os fenmenos atmicos, mas tambm ocorrem na Fisica Nuclear,
onde a Hamiltoniano para nucleons (prtons e neutrons) tem a forma
H = H
0

1
2
_
d
3
:
1
_
d
3
:
2

|
(:
2
)
|
(:
1
) \ ([:
1
:
2
[) (:
1
) (:
2
) .
onde agora
H
0
=
_
d
3
:
|
(:)
_

~
2
2:
\
2
_
(:)
e \ ([:
1
:
2
[) o potencial de fora nuclear entre dois nucleons. O sucesso de modelo
de camada proposto em 1949 para a descrio de espectro nuclear foi uma surpresa, pois
diferentemente no cso atomico, no caso nuclear, sabemos que no existe a fora central. O
comportamento de nucleons num ncleo mostra que eles sentem um campo comun e atuam
como se fosse independente dos outros.
A idia bsica introduzir a noo de campo mdio. Escrevendo o Hamiltoniano do
sistema como
H = H
0
\
(2)
.
onde \
(2)
representa o termo de interaes de 2 corpos, podemos introduzir um potencial
de 1 corpo l.
H = H
0
l (\
(2)
l).
de tal forma que minimizar o efeito de interao residual, (\
(2)
l). Por enquanto, no
sabemos como escolher l. Mas, podemos proceguir de seguinte forma.
A parte de um corpo,
H
(1)
= H
0
l
pode ser escrita como
H
(1)
=
_
d
3
:
_
d
3
:
t

|
(:
t
)
_
o
3
(:
t
:)
_

~
2
2:
\
2
\
c
(:)
_
l
(1)
(:
t
. :)
_
(:) .
onde \
c
(:) o potencial Coulombiano do ncleo, e l
(1)
(:
t
. :) o potencial de um corpo, e
consideramos a possibilidade de que isto no seja necessariamente um potencial local.
41
Agora, suponhamos que temos os autoestados completos do operador de um corpo,
_

~
2
2:
\
2
\
C
_
c
c
(:)
_
d
3
:
t
l
(1)
(:. :
t
) c
c
(:
t
) = c
c
c
c
(:) . (101)
O conjunto, c
c
(:) forma uma base para o espao de Hilbert de uma partcula. Portanto,
podemos expressar qualquer funo de : em termos desta base. Portanto, o campo (:)
pode ser escrito como
(:) =

c
c
c
c
c
(:) .
onde os coecientes c
c
so agora operadores de aniquilao, satisfazendo,
_
c
c
. c
|
o
_
+
= o
co
.
[c
c
. c
o
[
+
= 0.
_
c
|
c
. c
|
o
_
+
= 0.
2. Mtodo Variacional
Para determinar quais so essas funes c
c
(:) e ao mesmo tempo, o potencial de
campo mdio, vamos utilizar o mtodo variacional. Para isto, primeira supomos que o
estado fundamental do sistema descrito como o estado de energia menor possvel nesta
base. O estado de menor energia pode ser obtido, ocupando os primeiros 2 estados de
energia c
c
. Na representao de Fock, teremos
[d
(0)
GS
= [1. 1. .... 1
Z
. 0. 0. .... 0. ...
=
Z

c=1
c
|
c
[0
onde os estados de ocupao so ordenados em ordem crescente das energias c
c
e
[0 = [0. 0. .... 0. .... 0. ...
o vcuo dos estados c
c
. Naturalmente, esse estado depende da escolhe da base c
c
(:) .
ou seja um funcional de c
c
(:) .Consequentemente, o valor esperado da energia total,
1 = d
(0)
GS
[H[d
(0)
GS

um funcional de c
c
(:) .
1 = 1 [c
c
(:)[ . (102)
42
Podemos determinar as funes c
c
(:) como sendo o ponto mnimo no espao de funes
via procedimento variacional,
o

1 = 0.
Para executar o programa acima, devemos explicitar a forma funcional Eq.(102). Es-
crevemos o Hamiltoniano na forma,
H =

c,o
/
co
c
|
c
c
o

1
2

c,o,j,i
c
|
c
c
|
o
c
j
c
i
n
ocji
.
onde
/
co
=
_
d
3
:c
|
c
(:)
_

~
2
2:
\
2

c
2
2
:
_
c
o
(:) .
n
ocji
=
1
2
_
d
3
:
1
_
d
3
:
2
c
|
o
(:
2
) c
|
c
(:
1
) \ ([:
1
:
2
[) c
j
(:
1
) c
i
(:
2
) .
Podemos vericar fcilmente que no termo, a somatrio d
(0)
GS
[

c,o
/
co
c
|
c
c
o
[d
(0)
GS
. somente
contribui quando c = ,. Portanto,
d
(0)
GS
[

c,o
/
co
c
|
c
c
o
[d
(0)
GS
=

c
c
|
c
c
c
/
cc
=
Z

c=1
/
cc
(103)
Por outro lado, no termo da somatrio,
d
(0)
GS
[

c,o,j,i
c
|
c
c
|
o
c
j
c
i
n
ocji
[d
(0)
GS

s tem contribuio quano [c = j. , = i[ ou [c = i. , = j[ . Ento,

d
(0)
GS
[

c,o,j,i
c
|
c
c
|
o
c
j
c
i
n
ocji
[d
(0)
GS
= d
(0)
GS
[

c,o
c
|
c
c
|
o
c
c
c
o
n
occo
[d
(0)
GS

d
(0)
GS
[

c,o
c
|
c
c
|
o
c
o
c
c
n
ococ
[d
(0)
GS

c,o
d
(0)
GS
[c
|
c
c
|
o
c
c
c
o
[d
(0)
GS
(n
occo
n
ococ
)
Usando a propriedade de anticomutao podemos calcular o termo d
(0)
GS
[c
|
c
c
|
o
c
c
c
o
[d
(0)
GS

d
(0)
GS
[c
|
c
c
|
o
c
c
c
o
[d
(0)
GS
= d
(0)
GS
[c
|
c
_
o
co
c
c
c
|
o
_
c
o
[d
(0)
GS

= d
(0)
GS
[c
|
c
c
c
_
o
co
c
|
o
c
o
_
[d
(0)
GS

= d
(0)
GS
[`
c
[o
co
`
o
[ [d
(0)
GS

43
onde `
c
o operador de nmero de ocupao do estado c.Temos ento
d
(0)
GS
[

c,o,j,i
c
|
c
c
|
o
c
j
c
i
n
ocji
[d
(0)
GS
=

c,o
d
(0)
GS
[`
c
[o
co
`
o
[ [d
(0)
GS
(n
occo
n
ococ
)
=
Z

c,o=1
(n
occo
n
ococ
) (104)
A expresso da valor esperado da energia do sistema ento ca
1 =
Z

c=1
_
d
3
:c
+
c
(:)
_

~
2
2:
\
2

c
2
2
:
_
c
c
(:)

1
2
Z

c,o=1
_
d
3
:
1
_
d
3
:
2
c
+
o
(:
1
) c
+
c
(:
2
) \ ([:
1
:
2
[) c
o
(:
1
) c
c
(:
2
)

1
2
Z

c,o=1
_
d
3
:
1
_
d
3
:
2
c
+
o
(:
1
) c
+
c
(:
2
) \ ([:
1
:
2
[) c
c
(:
1
) c
o
(:
2
) (105)
Essa a forma explicita da energia como funcional de conjunto de funes, c
c
(:).
Podemos ento executar o programa de mtodo variacional. Mas antes de calcular as vari-
aes em c
c
, lembramos que essas variaes so sujeitas a condio de ortonormalidade,
_
c
|
c
(:) c
o
(:) = o
co
.
que impe os vnculos para variaoes. Assim, devemos utilizar o mtodo de constante
multiplicadora de Lagrange,
o
_
1

c,o
`
co
_
c
|
c
(:) c
o
(:)
_
= 0.
Considerando c
c
e seu conjugado complexo c
+
c
como variveis independentes, temos
o 1

c,o
`
co
_
c
|
c
(:) c
o
(:)
oc
+
c
(:)
=
_

~
2
2:
\
2

c
2
2
:
_
c
c
(:)

o=1
_
d
3
:
1
c
+
o
(:
1
) \ ([: :
1
[) c
o
(:
1
) c
c
(:)

o=1
_
d
3
:
1
c
+
o
(:
1
) \ ([:
1
:[) c
c
(:
1
) c
o
(:)

o
`
co
c
o
(:) .
44
Consequentemente a equao que determina o conjunto de c
c
que otimiza a energia total

~
2
2:
\
2

c
2
2
:
_
c
c
(:)
_
d
3
:l (:. :
t
) c
c
(:
t
) =

o
`
co
c
o
(:) .
onde
l (:. :
t
) =
Z

o=1
_
d
3
:
1
c
+
o
(:
1
) \ ([: :
1
[) c
o
(:
1
) o
3
(: :
t
)
Z

o=1
c
+
o
(:
t
) \ (: :
t
) c
c
(:
t
) c
o
(:) .
(106)
Na verdade, podemos sempre introduzir uma transformao unitria entre a base c
c
de
tal forma que sem perder generalidade, a matriz `
co
ca diagonal. Ento, as equaes
acima ca
_

~
2
2:
\
2

c
2
2
:
_
c
c
(:)
_
d
3
:
t
l (:. :
t
) c
c
(:
t
) = c
c
c
c
(:) . (107)
Vemos que essa equao exatamente a Eq.(101). A nica coisa que deve tomar cuidado
que o potencial de um corpo l acima depende de outros estados. Ou seja, a Eq.(106) deve
ser resolvido autoconsistentemente com o conjunto de 2 estados,
c
c
(:) . c = 1. .... 2 .
O potencial de um corpo, Eq.(106) pode ser diagramaticalmente expresso como
V
r r
V
r r
b
b
a
a
a
a
O diagrama esquerdo mostra que a funo de onda de uma partcula no estado c
c
(:) recebe
o efeito de potencial \ (: :
t
) de 2 corpos no ponto :, com todas as demais partculas nos
outros pontos em :
t
.O diagrama direito mostra que, devido a presena de correlao entre
duas partculas idnticas, surge um efeito no local.
A energia total do sistema dada pela Eq.(105). Diagramaticamente, a contribuio da
energia potencial pode ser espressa como
45
V
V
1
2
Note que a soma das energias de partculas simples da Eq.(107) dada por
Z

c=1
c
c
=
_
d:c
|
c
(:)
_

~
2
2:
\
2

c
2
2
:
_
c
c
(:)
_ _
d
3
:d
3
:
t
c
|
c
(:) l (:. :
t
) c
c
(:
t
)
no coincide com Eq.(105) (o fator 1/2 no potencial l).
46
Lista de Exerccios:
1. A partir de hiptese de que a probabilidade a priori de um mcro estado c igual,
mostre que para um ensemble grand canonico, a probabilidade de ter um microestado
c para uma dada temperatura 1 e o potencial qumico j, 1
c
(1. j) dada por
1
c
(1. j) c
(1j.)T
.
2. Recupere ~. c e / nas Eqs.(85,86,87)
3. Para um gs ideal de eltrons com 1 = 0. podemos ingegrar analiticamente as
Eqs.(85,86,87). Elimine o potencial qumico j e expresse e 1 como funo de :.
4. Ainda para 1 = 0 de gs ideal de eltrons, demonstre que
1
_
_
_
1
1
:
53
1
2
:
43
~ (3:
2
:)
13
:c
~ (3:
2
:)
13
:c
_
_
_
e determine 1
1
e 1
2
.
5. Obtenha o valor de densidade em (1,c:
3
) para o qual a presso de eltron se torna
relativstica.
6. Um tipo de estrela, chamada an branca, considerada num estado de equilbrio
hidrostatica entre a presso de gs de eltrons degenerados e a presso gravitacional.
Considerando uma ano como uma esfra homognea de atomos de Ca, demonstre
que existe um limite superir de massa do sistema que obter o equilbrio hidrostatico.
Considere que a presso gravitacional como
1
Gvo
=
d1
Gvo
d\
.
onde
1
Gvo
=
3

G`
2
1
.
com ` a massa da estrela, 1 o raio. Calcule o valor da massa limite `
CIoaovo
em
termos de massa de massa solar, `

= 2 10
33
q.
47
3.
F. Teoria de Campo Classica e Tensor de Energia e Momento
Consideramos um sistema de campo escalar c(:. t). cuja densidade de Lagrangeana
dada por (~ = c = 1)
/ =
1
2
_
Jc
Jt
_
2

1
2
(\c)
2
\ (c)
A ao
1 =
_
dt
_
d
3
:
_
1
2
_
Jc
Jt
_
2

1
2
(\c)
2
\ (c)
_
. (108)
Supormos que c satisfaz a condio de contorno,
: [c(:. t)[ . : [\c(:. t)[ 0. jc:c [:[ .
Exerccios: 1. A partir de princpio variacional, obtenha a equao de movimento para
c(:. t) .
2. A Lagrangeana do sistema dada por
1 =
_
d
3
:
_
1
2
_
Jc
Jt
_
2

1
2
(\c)
2
\ (c)
_
.
Denindo o momento canonicamente conjugado,
: =
o1
o
`
c
=
J/
J
`
c
=
Jc
Jt
.
podemos obter a Hamiltoniana,
H =
_
d
3
: H
=
_
d
3
:
_
:
Jc
Jt
/
_
.
Calcule a densidade de Hamiltoniana, H.
3. Consideramos uma mudana de sistema de coordenadas atravs de transformao
de Lorentz,
_
_
t
:
_
_

_
_
t
t
:
t
_
_
= A
_
_
t
:
_
_
(109)
48
onde A uma matriz, satisfazendo
A
T
GA = G.
onde
G =
_
_
_
_
_
_
_
1 0 0 0
0 1 0 0
0 0 1 0
0 0 0 1
_
_
_
_
_
_
_
.
Demonstre que a equao de movimento para c covariante sobe a ransformao,
ou seja, a equao de movimento para c em termos de novas variveis, (t
t
. :
t
) tem
a mesma forma da equao em (t
t
. :
t
) .
4. Para simplicar a notao, escrevemos
r
0
= t.
r
1
= r.
r
2
= .
r
3
= .
ou
(r
j
) =
_
_
t
:
_
_
.
Escrevemos tambm
(r
j
) = G
_
_
t
:
_
_
=
_
_
t
:
_
_
. (110)
Nesta notao, temos
1 =
_
d
3
:
_
1
2
3

j=0
J
j
cJ
j
c \ (c)
_
.
onde
J
j
=
J
Jr
j
.
J
j
=
J
Jr
j
.
49
Ainda, segundo Einstein, abreveamos o simbolo de somatrio

3
j=0
sempre que
existem dois ndices repetidos, um como superscripto e outro como subscripto.
Assim, temos
1 =
_
d
3
:
_
1
2
J
j
cJ
j
c \ (c)
_
.
A transformao de Lorentz, Eq.(109) tambm ca expressa como
r
j
r
jt
= A
j
i
r
i
. (111)
Na equao acima, existe a somatrio em i = 0. ..3. Mostre que a densidade de
Lagrangiana, / uma escalar sob a transformao de Lorentz mas a Lagrangiana
1 no uma escalar.
5. Escrevemos
(q
ji
) = G.
Assim, a Eq.(110) pode ser expressa como
r
j
= q
ji
r
i
.
ou seja, a matriz (q
ji
) utlizada para abaixar indice. Mostre isto vale para o
operador diferencial, isto ,
J
j
= q
ji
J
j
6. Dentro das rgras acima, mostre que consistente escrever
A
!
= (A
j
i
)
T
tal que
A
A
j
A
A
i
= o
j
i
onde
(o
j
i
) = 1
a matriz de identidade.
7. Mostre que a ao, Eq.(108) invariante a transformao,
r
j
r
jt
= r
j
c
j
50
ou seja, a translao de sistema de coordenadas. Neste caso, demostre que
J
j
1
j
i
= 0.
onde
1
j
i
=
J/
Jc
j
c
i
o
j
i
/
com
c
j
=
Jc
Jr
j
.
8. Verique que
1
0
0
= H
51
Lista 03
1. Consideramos 2 tipos de partculas fermionicas (por exemplo, quark n e quark d ). Os
operadores de criao e aniquilao dessas partculas do estado : so denotados por
_
n
|
a
. n
a
. d
|
a
. d
a
_
satisfazendo as regras de anticomutao
_
n
a
. n
|
n
_
=
_
d
a
. d
|
n
_
= o
an
.
n
a
. n
n
= d
a
. d
n
= 0.
n
a
. d
n
= 0.
Supormos que o Hamiltoniano do sistema dado por
H =

a
_
n
|
a
n
a
d
|
a
d
a
_
.
(a) Demonstre que o nmero total de quarks (n. d) .
`
q
=

a
_
n
|
a
n
a
d
|
a
d
a
_
conserva.
(b) O iso-spin,

1 =

a
_
n
|
a
d
|
a
_
1
2
o
_
_
n
a
d
a
_
_
tambm uma quantidade conservada, onde o = (o
a
. o
j
. o
:
) o vetor matricial de
Pauli.
(c) Demonstre que
_
`
q
.

1
_
= 0.
[1
i
. 1
)
[ = ic
i)I
1
I
. (i. ,. / c:c|icc)
onde 1
i
o componente i do

1.
52
2. Sejam c
|
a
. c
a
operadores de criao e aniquilao (bosonico ou fermionico). Consider-
amos um conjunto de operadores de combinao linear desses operadores,
C
(c)
=

a
_
r
(c)
a
c
a

(c)
a
c
|
a
_
. c = 1. 2. ...
e denotamos o vcuo por [0. onde
c
a
[0 = 0.
V
:
Prove os seguintes propriedades.
(a)
0[C
1
C
2
C
.
[0 = 0
se ` mpar.
(b) Para ` = 2` com ` um inteiro e sendo c
|
a
. c
a
operadores bosonicos,
0[C
1
C
2
C
.
[0 =

1cccnj
0 [C
i
1
C
)
1
[ 0 0 [C
i
2
C
)
2
[ 0 0 [C
i
M
C
)
M
[ 0
onde a somatrio deve ser feita sobre todas as possveis decomposies de
(1. 2. .... `) em pares, (i
1
. ,
1
) . (i
2
. ,
2
) . ... (i
A
. ,
A
) . com i
I
< ,
I
. / = 1. ... `.
Ou seja, a sequncia i
1
. ,
1
. i
2
. ,
2
. . i
A
. ,
A
a permutao de 1. 2. ... ` sat-
isfazendo i
I
< ,
I
. / = 1. ... ` e i
1
< i
2
< .. < i
A
. Por exemplo, para ` = 4.
todas as decomposies em pares so
(1. 2) (3. 4)
(1. 3) (2. 4)
(1. 4) (2. 3)
(c) Para ` = 2` com ` um inteiro e sendo c
|
a
. c
a
operadores fermionicos,
0[C
1
C
2
C
.
[0 =

1cccnj
(1)
1
0 [C
i
1
C
)
1
[ 0 0 [C
i
2
C
)
2
[ 0 0 [C
i
M
C
)
M
[ 0 .
onde 1 a paridade da permutao, 1. 2. ... `
1
i
1
. ,
1
. i
2
. ,
2
. . i
A
. ,
A

3. Para um oscilador hrmonico,

H = ~.
_
c
|
c
1
2
_
53
sabemos que quando o nmero de ocupao bem maior que 1. o comportamento do
sistema aproxima ao da mecnica clssica. Isto equivalente a dizer que os operadores
c
|
e c comportam como numero c.Ou seja, na regra de comutao
cc
|
c
|
c = 1
desprezamos 1 em relao a `. Tendo esse na mente, podemos considerar que se os
nmeros de ocupao de um campo bosonico nos todos os estados simples se tornam
bem grande, podemos imaginar que o campo se comporta como um campo clssico.
Para xar a idia, consideramos o caso de apenas 2 nveis com o Hamiltoniano
H = c
1
c
|
1
c
1
c
1
c
|
2
c
2
`
_
c
|
2
c
1
c
|
1
c
2
_
.
Para simplicidade, assumimos que ` 0.
(a) Descreve as equao de movimento de Heisenberg para c
1
e c
2
.
(b) O estado do sistema est com autovalores de `
1
= c
|
1
c
1
, `
2
= c
|
2
c
2
1. ento
podemos considerar c
1
e c
2
como se fossem nmero c. e escrevemos
c
1
=
_
`
1
c
i0
1
.
c
2
=
_
`
2
c
i0
2
.
Obtenha as equaes de desenvolvimento temporal dos nmeros,
_
`
1
.
_
`
2
e o
1
e o
2
.
(c) Calcule o uxo de partculas que passa do estado 1 para o estado 2 e expresse em
termos de `
1
. `
2
e ^o = o
1
o
2
.
54
V. TEORIA DE ESPALHAMENTO
O processo de espalhamento um mtodo de ver os objetos microscpicos e constitue
o mtodo fundamental para investigar a estrutura da matria. Nesta sesso, estudare-
mos como formular este problema dentro de contexto da Mecnica Quntica. Aps da
introduo de conceitos bsicos de processo de espalhamentos ou reaes, primeiramente
tratamos o espalhamento elstica por um potencial em detalhe. Em particular, para um
potencial esfericamente simtrica, introduzimos a representao da base de momento angu-
lar, e a defazagem de ondas parciais. Estudaremos alguns exemplos concretos tais como o
espalhamento Coulombiano, potencial de fora de Yukawa, etc., alm de mtodos de aprox-
imao, por exemplo, teoria de alcance efetivo, aproximao de Born e aproximao de
Glauber. Estudaremos tambm como a estrutura do objeto inuencia nos observveis de
processo de espallhamentos.
A. Seo de Choque
Os dados experimentais em geral so apresentados sob a forma de seo de choque.
Como vimos na Mecnica Clssica, a seo de choque denida como a taxa de transio do
estado incidente para determinado estado nal por unidade de uxo incidente. Na linguagem
experimental, a taxa de transio determinada como a contagem (rendimento - yield) por
unidade de tempo, dos eventos ocorridos.
Suponha que um detector registra somente os eventos, quando uma quantidade fsica,
c, ca dentro de um intervalo de valor, [ c . c ^c [. Aqui, c pode ser um conjunto de
nmeros, por exemplo, c = j (momento linear de partcula detetada). Seja ^C o nmero
de contagens que este detector registrou num intervalo de tempo 1. No regime estacinria,
^C,1 a mdia da taxa de contagem. A seo de choque (parcial) do ento calculada por
^o =
^C
1 c `
o|c
=
^C
`
iac
`
o|c
,
(112)
onde `
o|c
e `
iac
so, respectivamente, os nmeros de alvos e partculas incidentes envolvi-
dos no processo, e a rea transversal do uxo incidente. Note que o tem a dimenso de
rea.
Para ^c sucientemente pequeno, ^o ca proporcional a ^c. Assim, denimos a seo
55
de choque diferencial por
do
dc
= lim
c0
^o
^c
(113)
Em particular, quando detetamos partculas espapalhadas na direo especicada pela de-
terminada por um ngulo slido d!, temos a distribuio angular das partculas espalhadas,
do
d!
.
Exercise 1 Consideremos o espalhamento clssico de uxo de partculas puntiformes com
massa : e energia 1
iac
, incidindo ao longo do eixo 2, sobre uma esfera de raio 1 com
superfcie lisa, xa na origem.
1. Calcule a seo de choque diferencial,
do
d!
(114)
sendo ! o ngulo slido.
2. Calcule a seo de choque total.
Exercise 2 No lugar da esfera, consideremos um disco de raio 1, superfcie lisa, estando
o centro do disco na origem e em rotao em torno do eixo A com velocidade angular ..
Repita os clculos do item 1.
VI. ESTADOS FINAIS DE MULTI-PARTCULAS
Nos exerccios acima, as sees de choque no dependem da energia, dando simplesmente a
seo de choque geomtrica. Mas, em geral, a seo de choque depende da energia incidente.
Por exemplo, podemos considerar uma esfera de cristal, cujo ndice de absoro da luz
depende da sua frequncia. Neste caso, obviamente a seo de choque de espalhamento da
luz depende da sua frequncia. Lembramos, tambm, que a denio de seo de choque no
s aplicada para os processos de espalhamento, mas para reaes e produo de partculas,
dependendo como especicamos o estado nal. A seo de choque fornece a medida que
um determinado processo ocuparia uma rea se este processo fosse da natureza geomtrica.
56
Neste sentido, a seo de choque representa a rea efetivo para o processo em questo toma
lugar. (Em francs, a seo de choque chamada section ecace ).
Na denio da seao de choque, podemos identicar a quantidade
^C
1`
o|c
por a taxa de transio por um sistema projtil-alvo. Essa quantidade pode ser calculada
num formalismo terico. Ento, escrevendo
^C
1`
o|c
= d.
i)
e podemos calcular a seo de choque como
do
i)
=
1
c
d.
i)
. (115)
Note que a denio acima pode ser utilizado no apenas para um processo de es-
palhamento de partcula indidente, mas podemos aplicar para os processos que envolvem
reaes provocado pela coliso de partculas incidentes. Por exemplo, podemos considerar
um processo de reao de dois objetos e 1. produzindo vrias partculas,
1 c / c
e a seo de choque de produo de partcula especca, digamos c.
do
+1o+A
=
1
c
+1
d.
+1o+A
onde A representa qualquer coisa que no seja c no estado nal da reao. Em outras
palavras, na seo de choque acima, apenas identica a partcula c. sem considerar os estados
de outras partculas. Este tipo de seo de choque chamado seo de choque inclusiva.
Em contraste, a seo de choque que deteta todas as partculas no estado nal,
do
+1o+o++
=
1
c
+1
d.
+1o+o++
chamado a seo de choque exclusiva.
Se observamos apenas uma das partculas nos estados nais (seo de choque inclusiva)
para um intervalo de momento, [ j. j ^ j[ . podemos denir o espectro desta partcula,
d
3
o
+1o+A
d
3
j
(116)
57
Se integramos em j. obtemos a seo de choque de produo de partcula c. no processo de
reaes, 1.
o
+1o+A
=
_
d
3
j
d
3
o
+1o+A
d
3
j
.
Exerccio: Expresse a frmula para calcular a energia mdia da partcula c produzida
quando a Eq.(116) dada como funo de j.
Exerccio: Consideramos o processo de reao entre dois protons de massa :. No sistema
de Laboratrio, o prton incidente colide com o alvo xo com a energia incidnte 1
ia
(contando a energia de repouso tambm). Expresse a energia da coliso no sistema de
Centro de Massa, onde o momento total do sistema nulo.
Exerccio: Na regime relativstica de coliso entre protons, o fenmeno caracterstico a
produo de muitas partculas (principalmente msons). A seo de choque inclusiva
de pions,
d
3
o
j+j+A
d
3
j

uma quantidade escalar sob a transformao de Lorentz do sistema de Laboratrio

para o sistema de Centro de Massa? Se no, encontre a quantidade escalar que repre-
senta o espectro de pions (seo de choque invariante).
Podemos considerar a seo de choque semi-inclusiva. Por exemplo, numa coliso 1.
detetamos simultaneamente num evento as partculas c e /. Temos
d
6
o
+1o+b+A
d
3
j
o
d
3
j
b
.
Quando o mecanismo de produo de partculas c e / um processo independente de um a
outro, ento esperamos que
d
6
o
+1o+b+A
d
3
j
o
d
3
j
b

d
3
o
+1o+A
d
3
j
o
d
3
o
+1b+A
d
3
j
b
.
como funo de j
o
e j
b
. Normalmente isto no ocorre quando o espao de fase de A no
grande. A razo,
_
d
6
o
+1o+b+A
d
3
j
o
d
3
j
b
__
d
3
o
+1o+A
d
3
j
o
d
3
o
+1b+A
d
3
j
b
fornece uma importante informao para a mecanismo de reao para produzir partculas c
e / e as vezes referida como funo de correlao.
58
VII. SISTEMA DE REFERNCIA
Como no caso da Mecnica Clssica, o sistema de referncia para descrio de processo
de coliso bastante importante. Para o processo de coliso
1.
o sistema de referncia em que 1 inicialmente repouso, e incide com o momento 1

chamado o sistema Laboratrio, LAB. Um outro sistema de referncia frequentemente

utilizado o sistema de Centro de Massa, CM, onde e 1 colidem com mesmo mdulo de
momento 1, mas direo oposta, ou seja
1 =

1
CA

1
CA
1

1
CA

1
CA
1
.
A denio do sistema de referencia CM tambm pode ser usado no regime relativstico.
Isto porque a seo de choque do uma quantidade invariante de sistema de referncia. Por
outro lado, o intervlao cinemtico, d
3
j uma quantidade depende do sistema de referncia
utilizado.
VIII. ESPALHAMENTO ELSTICO DE UMA PARTCULA POR UM POTEN-
CIAL
Para xar a ida, inicialmente tratamos o processo de espalhamento elstico de uma
partcula por um potencial de fora central, \ (:) onde : a distncia radial da partcula
do centro do potencial. A equao de Schrdinger para estado estacionrio com a energia
1 ca
_

~
2
2:
\
2
\ (:)
_
(:) = 1 (:) . (117)
Suponhamos que o potencial satisfaz a condio,
\ (:) 0. : .
ou seja, a partcula se torna livre de fora asintoticamente. Nesta regio, a equao Eq.(117)
ca

~
2
2:
\
2
(:) 1 (:) . : . (118)
59
e a energia 1 representa a energia cintica de movimento translacional. Assim, temos
1 0
e podemos escrever
1 =
~
2
/
2
2:
.
Se utilizamos a separao de varveis em coordenadas cartesianas, podemos vericar que
a soluo geral da Eq.(118) pode ser escrita como a combinao linear de ondas planas,
(:)

I
_

/
_
c
i

Iv
1
_

/
_
c
i

Iv
_
(119)
onde o vetor

/ formado pelos 3 nmeros /
a
. /
j
e /
:
,

/ =
_
_
_
_
_
/
a
/
j
/
j
_
_
_
_
_
sendo que esses tres nmeros foram introduzidos atravs do processo de separao de var-
iveis em r. e .. Pela condio de separao de variveis, temos o vnculo,
/
2
a
/
2
j
/
2
:
= /
2
.
Como sabemos, uma onda plana, junto com o fator temporal,
c
i
Et
~
c
i

Iv
representa a propagao de uma onda na direo do vetor

/. e de fato, se calculamos o
corrente correspondente, temos

, =
~
2:i
(
+
\ \
+
)
=
~

/
:
representa a velocidade do uxo de partculas.
Como vimos na Mecnica Quntica I, podemos tambm utilizar as coordenadas esfri-
cas (:. o. c) para separao de variveis na Eq.(118) em vez de coordenadas Cartesianas.
Escrevendo
(:) = 1(:) 1
n
(o. c) .
60
onde 1
n
(o. c) a funo harmonica esferica, a equao radial para Eq.(118) ca

~
2
2:
1
:
d
2
d:
2
(:1)
~
2
/ (/ 1)
2::
2
1 =
~
2
/
2
2:
1.
Escrevendo
(:) = :1.
temos

d
2

d:
2

/ (/ 1)
:
2
= /
2

Como estamos considerando no domnio asinttica, : . a equao acima ainda ca

simplicada, pois o segundo termo do lado esquerdo pode ser desprezado neste limite. Temos

d
2

d:
2
= /
2

que tem as duas solues linearmente independentes,

c
iIv
.
Assim, na regio asinttica, : . podemos escrever a soluo geral como
(:)
1
:
c
iIv
q (o. c)
1
:
c
+iIv
, (o. c) . (120)
onde
q (o. c) =

,n
q
,n
1
n
(o. c) .
, (o. c) =

,n
,
,n
1
n
(o. c) .
so solues gerais da parte angular. As ondas esfericas,
1
:
c
iIv
.
1
:
c
+iIv
junto com o fator temporal, c
i1t~
, representam as ondas convergente e emergente, respec-
tivamente.
A soluo geral ainda no representa uma determinada situao fsica. Para descrever
uma determinada situao fsica, temos que escolher as condies de contorno compatvel
com a situao fsica. No caso de estado estacionrio de espalhamento, um uxo de partculas
com momento bem denida, incidindo constantemente ao potencial \ (:) . gerando um uxo
61
de partculas espalhadas. Neste caso, a funo de onda estacionria na regio asinttica,
: deve ser escrita como uma superposio da onda incidente,
c
+i

I
i
v
com a onda espalhada, ou seja, uma onda emergente apenas,
1
:
c
+iIv
, (o. c)
j que o potencial no deve produzir uma onda convergente. Assim, esperamos que a funo
de onda correspondente a um estado estacionrio para uma dada onda plana incidente tem
a forma asintotica,
(:) c
+i

I
i
v

1
:
c
+iIv
, (o. c) . (121)
Exerccio: Na regio asinttica : . calcule o nmero de partcula que atravessa por
unidade do tempo num elemento de superfcie
d

o = :
2
d

!
da onda espalhada
1
:
c
+iIv
, (o. c) .
onde d

! vetor normal da sperfcie com o mdulo igual ngulo slido sin ododc.
IX. TEORIA DE PERTURBAO DEPENDENTE DO TEMPO
A. Desenvolvimento no tempo
Queremos obter a soluo da Equao de Schrdinger,
i~
J
Jt
[ (t) = (H
0
`H
1
(t)) [ (t). (122)
onde agora o Hamiltoniano perturbativo pode depender no tempo t. Escrevemos esta
equao na forma
_
i~
J
Jt
H
0
_
[ (t) = `H
1
(t) [ (t). (123)
62
O procedimento perturbativo consiste em aproximao sucessiva do vetor [ (t). Podemos
consider a expanso em srie em relao a `,
[ (t) =

a=0
`
a
[
(a)
(t).
Substituindo esta expanso na Eq.(123) e igualando os termos de mesma ordem em `, temos
a seguinte srie de equaes hiaraquicas,
: = 0 :
_
i~
J
Jt
H
0
_
[
(0)
(t) = 0.
: = 1 :
_
i~
J
Jt
H
0
_
[
(1)
(t) = `H
1
(t) [
(0)
(t).
: = 2 :
_
i~
J
Jt
H
0
_
[
(2)
(t) = `H
1
(t) [
(1)
(t).
.
.
.
Suponhamos que conseguimos obter a suluo at a ordem :, [
(a)
(t) a seguinte ordem
pode ser obtida da equao,
_
i~
J
Jt
H
0
_
[
(a+1)
(t) = `H
1
(t) [
(a)
(t). (124)
Note que esta equao tem a forma de uma equao diferencial linear vetorial inhomognea
T
t
(t) =

,(t).
onde T
t
representa um operador diferencial em t. Para obter a soluo, basta encontrar a
funo de Green do operador T
t
T
t
G(t. t
t
) = o (t t
t
) 1.
onde G(t. t
t
) a funo de Green (matriz : : se o vetor (t) : dimensional) com
condio de contorno adequada. Aqui, 1 representa a matriz de identidade (::). Temos
a soluo geral,
(t) =
0

_
o
o
dt
t
G(t. t
t
)

,(t
t
).
onde
0
a soluo geral da equao homognea,
T
t

0
(t) = 0.
63
No nosso caso da Eq.(124), temos
_
i~
J
Jt
H
0
_
G
0
(t. t
t
) = o (t t
t
) 1. (125)
onde agora G
0
(t. t
t
) um operador no espao de Hilbert[1]. A soluo ca
[
(a+1)
(t) = `
_
o
o
dt
t
G
0
(t. t
t
) H
1
(t
t
) [
(a)
(t
t
). (126)
Aqui, no precisamos o termo correspondente da soluo homognea no precisaria, pois j
est includo na soluo de ordem : = 0.
B. No Unicidade e Condio de Contorno da Funo de Green
Vamos obter a funo de Green resolvendo a equaco (125)
_
i~
J
Jt
H
0
_
G
0
(t. t
t
) = o (t t
t
) 1. (127)
Sabemos que
o(t t
t
) = 0
para t ,= t
t
. temos
_
i~
J
Jt
H
0
_
G
0
(t. t
t
) = 0. t ,= t
t
.
Isto sugere que a funo de Green dada pela uma soluo geral desta equao tipo
/
0
(t. t
t
) =

i
c
i1
i
t~
[c
1
i
/
i
[. (128)
para t ,= t
t
. onde [c
1
i
so autoestados de H
c
.
H
0
[c
1
i
= 1
i
[c
1
i

e /
i
[ so vetores arbitrrias.
Exercise 3 Mostre que
_
i~
J
Jt
H
0
_
/
0
(t. t
t
) = 0.
Por outro lado, para ter o comportamento singular tipo a funo de o em t = t
t
na sua
derivada temporal, a funo de Green G
0
(t. t
t
) deve ter uma discontinuidade em t. Assim,
advinhamos que a forma de funo de Green incluindo o ponto t = t
t
deve ser
G
0
(t. t
t
) =

i
c
i1
i
t~
[c
1
i
[o (t t
t
) /
i
[ o (t
t
t) c
i
[[ .
64
De fato,
_
i~
J
Jt
H
0
_
G
0
(t. t
t
) =
_
i~
J
Jt
H
0
_

i
c
i1
i
t~
[c
1
i
[o (t t
t
) /
i
[ o (t
t
t) c
i
[[
= i~

i
c
i1
i
t~
[c
1
i
[/
i
[ c
i
[[ o (t t
t
) .
Escolhendo
[/
i
[ c
i
[[ =
1
i~
c
+i1
i
t
0
~
c
1
i
[. (129)
podemos ver que
_
i~
J
Jt
H
0
_
G
0
(t. t
t
) = o (t t
t
)

i
c
i1
i
(tt
0
)~
[c
1
i
c
1
i
[
= o (t t
t
) 1.
A condio Eq.(129) no determina univocamente /
i
[ e c
i
[. Isto quer dizer que existem
vrias solues distintas para a funo de Green da Eq.(127). Isto natural, pois uma vez
obtida uma funo de Green G
0
(t), podemos obter uma outra soluo para a Eq. .(127)
adicionando qualquer soluo homognea da Eq.(128),
G
0
(t) G
0
(t) /
0
(t. t
t
).
Dentro destas possibilidades para G
0
(t. t
t
) . uma escolhe conveniente ,
/
i
[ =
1
i~
c
+i1
i
t
0
~
c
1
i
[.
c
i
[ = 0.
A funo de Green correspondente ca
G
0
(t. t
t
) G
(+)
0
(t. t
t
) =
1
i~
o (t t
t
)

i
c
i1
i
(tt
0
)~
[c
1
i
c
1
i
[ . (130)
que chamada de funo de Green causal, ou propagador. Isto porque, por exemplo, o vetor
de estado at a primeira ordem correspondente a esta escolhe da funo de Green ca
[
(+)
(t) [c(t)
_
t
o
dt
t
G
(+)
0
(t. t
t
) `H
1
(t
t
) [c(t
t
). (131)
onde [c(t) o vetor de estado dependente no tempo no perturbado pelo `H
1
(t
t
). Podemos
interpretar esta equao de seguinte modo. O efeito da perturbao `H
1
(t
t
) no instante t
t
cria um novo vetor,
`H
1
(t
t
) [c(t
t
).
65
+
t
H
I
dt
|
0
( t) >
|
0
( t) >
G
0
(t,t)
que se propaga at o tempo t,
`H
1
(t
t
) [c(t
t
) G
(+)
0
(t. t
t
) `H
1
(t
t
) [c(t
t
).
O vetor de estado resultante a soma (integral) sobre todos os instantes t
t
para o qual a
perturbao ocorre. Podemos expressar a situao diagramaticamente como O escolhe da
funo de Green causal justamente incorporar o fato de que o efeito da perturbao no
instante t
t
no altera o estado anterior a isto.
Note que podemos ainda simplicar a Eq.(130) da seguinte forma. Escrevendo t = t t
t
.
temos
G
(+)
0
(t) =
1
i~
o (t)

i
c
1
i
t~
[c
1
i
c
1
i
[.
=
1
i~
o (t)

i
c
1
0
t~
[c
1
i
c
1
i
[
=
1
i~
o (t) c
1
0
t~
=
1
i~
o (t) l
0
(t) . (132)
onde utilizamos a propriedade
H
0
[c
1
i
= 1
i
[c
1
i
.
66
e a completeza,

i
[c
1
i
c
1
i
[ = 1.
l
0
(t) = c
i1
0
t
O operador unitrio
l
0
(t) = c
i1
0
t~
nada mais que o operador de deslocamento temporal que j vimos. Assim, exceto o fator
(i~)
1
, a funo de Green causal de fato o operador que transforma um estado no tempo
de t
t
t com t t
t
.
Podemos incluir os termos de orderm superiores da perturbao, tendo
[
(+)
(t) = [c(t) `
_
t
o
dt
1
G
(+)
0
(t. t
1
) H
1
(t
1
) [c(t
1
)
`
2
_
t
o
dt
1
_
t
1
o
dt
2
G
(+)
0
(t. t
1
) H
1
(t
1
) G
(+)
0
(t
1
. t
2
) H
1
(t
2
) [c(t
2
)
`
3
_
t
o
dt
1
_
t
1
o
dt
2
_
t
2
o
dt
3
[
G
(+)
0
(t. t
1
) H
1
(t
1
) G
(+)
0
(t
1
. t
2
) H
1
(t
2
) G
(+)
0
(t
2
. t
3
) H
1
(t
3
) [c(t
3
)[
(133)
Exercise 4 Obtenha a equao acima. Escreva a forma do : c:i:o termo.
A representao diagramatica da expresso Eq.(133) ca Como se ver, o efeito da pertur-
bao sobre a dinmica do sistema a superposio de diagramas que tem uma interao
(atuao da perturbao), duas vezes, tres veses, etc., nos instantes sucessivos, conectados
pelos propagadores G
(+)
0
(t. t
t
). Na gura acima, entende-se que devem ser feitas as integrais
sobre todos os tempos intermedirios para quais ocorem as interaes.
C. Representao Espectral
Para desenvolvimento posterior, conveniente introduzir a representao espectral (trans-
formada de Fourier) de G por
G
(+)
0
(1) =
_
o
o
dt c
i1t~
G
(+)
0
(t) . (134)
67
+
t
H
I
(t
1
)
|
0
( t) >
|
0
( t
1
) >
G
0
(t,t
1
)
G
0
(t,t
1
)
H
I
(t
1
)
H
I
(t
2
)
+
G
0
(t
1
,t
2
)
|
0
( t
2
) >
+ ...
onde t = t t
t
. e agora G
0
(1) um novo operador que depende de um parmetro contnuo
1. Para no complicar muito a expresso, utilizamos a mesma letra G para os dois casos e
distinguimos somente pelo argumento G(t) ou G(1), mas deve lembrar que so operadores
distintos e no apenas mudana dos argumentos.
Substituindo a Eq.(134) na Eq.(127), temos
G
(+)
0
(1) =
1
i~

i
_
o
0
dt c
i(11
i
)t~
[c
1
i
c
1
i
[ . (135)
Aqui, a integral
_
o
0
dt c
i(11
i
)t~
pode ser feita independentemente dos outros fatores, mas como est, no tem um bom com-
portamento para o limite superior. Para gurantir um bom comportamento, vamos deslocar
o valor do argumento 1 na direo imaginria innitesimalmente,
1 1 ij.
Com isto, a integral ca convergente,
_
o
0
dt c
i(1+ij1
i
)t~
= i~
1
1 ij 1
i
.
68
Assim, temos
G
(+)
0
(1 ij) =

i
1
1 ij 1
i
[c
1
i
c
1
i
[
=

i
1
1 ij H
0
[c
1
i
c
1
i
[
=
1
1 ij H
0
. (136)
Aqui, utilizamos a relao de completeza

i
[c
1
i
c
1
i
[ = 1.
O propagador ( funo de Green causal) dependente no tempo dado pela transformao
inversa da Eq.(134)
G
(+)
0
(t. t
t
) =
1
2:~
_
o
o
d1 c
i1(tt
0
)~
G
(+)
0
(1)
=
1
2:~
_
o
o
d1 c
i1(tt
0
)~
1
1 ij H
0
. (137)
ilustrativo recuperar a expresso Eq.(130),
G
(+)
0
(t. t
t
) =
1
i~
o (t t
t
)

i
c
i1
i
(tt
0
)~
[c
1
i
c
1
i
[ .
a partir da Eq.(137). Utilizando a completeza, temos
G
(+)
0
(t. t
t
) =
1
2:~
_
o
o
d1 c
i1(tt
0
)~
1
1 ij H
0

i
[c
1
i
c
1
i
[
=

i
1
2:~
_
o
o
d1 c
i1(tt
0
)~
1
1 ij 1
i
[c
1
i
c
1
i
[
=

i
1
i
(t t
t
) [c
1
i
c
1
i
[.
onde
1
i
(t) =
1
2:~
_
o
o
d1 c
i1t~
1
1 ij 1
i
. (138)
Vamos calcular a integral utilizando o mtodo de residuo. Para aplicar o teorema de Cauchy
na integral da Eq.(138), devemos transformar a integral em 1 de (. ) para uma integral
sobre um caminho fechado, completando um semi-circulo no raio innitemente grande.
_
o
o
d1
_
C
d1.
69
<0
Im E
Re E
>0
Im E
Re E
Para no alterar o valor da integral, devemos escolher o semi-circulo de acordo com o sinal
da varivel t de tal forma que a contribuio da parte semi-circulo nulo. Assim, devemos
escolher o caminho tal que
t < 0 Im1 0.
t 0 Im1 < 0.
Note que o nico polo do integrando est em
1 = 1
i
ij.
isto , est no semi-plano Im1 < 0 (indicado pelo ponto preto na gura acima). Pelo
teorema de Cauchy, temos immediatamete
1 (t) =
_
_
_
0.
i,~ c
i1
i
t
.
t < 0
t 0.
Para t < 0, a integral nula pois o caminho no inclui o polo. O extra () sinal no caso
t 0 vem da direo da integral ao longo ao caminho fechado. Resumindo, temos
1
i
(t) =
1
i~
o (t) c
i1
i
t~
.
70
Finalmente, temos
G
(+)
0
(t) =
1
i~
o (t)

i
c
1
i
t~
[c
1
i
c
1
i
[.
D. Taxa de transio e Regra de Ouro
Antes de desenvolver a teoria de propagadores, vamos aplicar os resultados at aqui
obtidos. O vetor de estado com correo de primeira ordem da perturbao dada por
[
(+)
(t) [c(t) `
_
t
o
dt
1
G
(+)
0
(t. t
1
) H
1
(t
1
) [c(t
1
).
Podemos considerar o processo de emisso de um eltron atmica pela absorpo de um
fton dentro desta aproximao. Suponhamos que um eltron esteja num autoestado do
tomo
[c(t) c
i1
i
t
[1
i
.
O Hamiltoniano de perturbao proporcional ao campo eletromagntico a ser absorvido.
Um campo eletromagntico de frequncia . tem a dependncia
~ c
i.t
.
assim, podemos escrever o Hamiltoniano
`H
1
(t) = ccc
i.t
o (t)
onde c a constante de acoplamento eletromagntica e c a amplitude do campo[2], e o
fator o (t) representa que a irradiao iniciou no tempo t = 0.
No instante t, a amplitude de se encontrar o estado, digamos , dado por

i)
(t) = c
i1
f
t
1
)
[
(+)
(t).
J que
G
(+)
0
(t. t
1
) =
1
i~
o (t t
1
) c
i1
0
(tt
1
)~
.
temos
[
(+)
(t) c
i1
i
t
[1
i

1
i~
_
t
0
dt
1
c
i1
0
(tt
1
)~
ccc
i.t
1
c
i1
i
t
1
[1
i
.
71
e se i ,= ,,

i)
(t) =
1
i~
c
i1
f
t
1
)
[
_
t
0
dt
1
c
i1
0
(tt
1
)~
ccc
i.t
1
c
i1
i
t
1
[1
i

=
1
i~
_
t
0
dt
1
c
i(1
f
~.1
i)t
1
~
1
)
[cc[1
i

=
1
1
)
~. 1
i
_
c
i(1
f
~.1
i)t~
1
_
1
)
[cc[1
i
.
A probabildade de se encontrar o estado , dada por
1
i)
(t) =

1
1
)
~. 1
i
_
c
i(1
f
~.1
i)t~
1
_
1
)
[cc[1
i

2
. (139)
Note que este resultado praticamente idntica ao da Eq.(??), com a correspondncia,

i
0
1
i
~..

i
1
)
.
`i[H
1
[i
0
1
)
[cc[1
i
.
O deslocamento da energia inicial,
i
0
1
i
~. neste caso pode ser entendido que a
energia inicial do sistema deve contar no s a energia do eltron, mas tambm tem que
incluir a energia do fton que absorvido. Um outro ponto que a frmula Eq.(139) pode ser
utilizado independentemente da natureza do espectro de H
0
, degenerada ou no degenerada.
No regime onde a teoria de perturbao dependente no tempo se aplica, a quantidade de
interesse no a probabilidade de se encontrar o estado nal , num determinado instante t,
mas sim, a taxa de transio por unidade do tempo. Isto porque, como no caso de transio
de estado de eltron pela irradiao de fton sobre um amostra que contm muitos eltrons,
esperamos que o nmero de eltrons observados no estado nal , deve ser proporcional ao
tempo de irradiao. Se este for verdade, podemos denir a taxa de transio
.
i)
= lim
to
1
t
1
i)
(t)
= c(1
)
~. 1
i
) [1
)
[cc[1
i
[
2
.
onde
c(1
)
~. 1
i
) = lim
to
1
t

1
1
)
~. 1
i
_
c
i(1
f
~.1
i)t~
1
_

2
= lim
to
c
t
(1
)
~. 1
i
) .
72
com
c
t
(1) =
_
2
1t
sin
1
2~
t
_
2
t.
Esta funo tem a seguinte propriedade,
lim
to
c
t
(1) = 0. 1 ,= 0. (140)
lim
to
c
t
(0) . (141)
alm da constna da normalizao (r = 1t,2~),
_
o
o
c
t
(1) d1 =
2
~
_
o
o
_
1
r
sin r
_
2
dr
=
2:
~
. (142)
As trs propriedades Eqs.(140,141,142) garantem que
lim
to
c
t
(1) =
2:
~
o (1) .
Finalmente temos
.
i)
=
2:
~
o (1
)
1
i
~.) [1
)
[cc[1
i
[
2
. (143)
A expresso Eq.(143) conhecido como a regra de auro para calcular a taxa de tran-
sio. A funo de delta de Dirac mostra a conservao da energia na ocasio da transio,
inclusive a energia do fton absorvido. Na seo mais adiante, deduzimos esta frmula do
ponto de vista mais formal.
E. Densidade dos estados nais
A frmula Eq.(143) mostra que a transio do estado de eltron s occore para o estado
nal que tem a energia
1
)
= 1
i
~.. (144)
quando absorve um fton de frequncia .. Isto mostra que o fton de frequncia . tem a
energia ~., recuperando a relao de Planck.
Por outro lado, pode se estranhar que o valor de taxa . se torna innito para a energia
nal exatamente igual ao valor dado pela Eq.(144). Vamos considerar a situao em que o
eltron no estado fundamental de um tomo seja emitido fora do tomo pela absoro do
73
fton. Queremos medir a taxa desta transio do processo acima. Neste caso, o que fazemos
na prtica colocar um (ou vrios) detetor(es) que transmite o sinal quando captura um
eltron. Cada detetor tem certa largura de sensibilidade (janela) para o estado do eltron
a ser detetado. Em outras palavras, um detetor deteta no apenas um determinado estado
de eltron, mas no distingue os estados que pertene a um certo conjunto.
Para descrever a situao mais especicamente, vamos denotar por I
)
o conjunto de todos
os parmetros que especicam o estado nal do sistema. Por exemplo, para um partcula,
podemos escolher a representao do estado nal em termos de componentes Carteseanos
do momento nal da partcula,
I
)
= (1
a
. 1
j
. 1
:
)
)
.
ou em termos da energia 1
)
e o vetor ngulo slido da direo nal,
I
)
=
_
1
)
.

!
)
_
.
ou tambm o modulo do momento nal j
)
e o ngulo,
I
)
=
_
j
)
.

!
)
_
.
Um determinado detetor captura partcula quando o estado nal dela entra num intervalo de
destes parmetros nais, digamos dI
)
. Assim, o que obtemos pelo experimento utilizando
um detetor a soma das taxas de transio
d.
i
f
=

)o
f
.
i)
=

)o
f
2:
~
o (1
)
1
i
~.) [1
)
[cc[1
i
[
2
.
Nas certas situaes, o quadrado do elemento de matriz nal
[1
)
[cc[1
i
[
2
no varia tanto dentro do intervalo innitesimal dI
)
para os estados,
, dI
)
.
e podemos considerar constante dentro deste intervalo. Neste caso, tirar o elemento de
matriz a fora da soma e podemos escrever
d.
i
f
=
2:
~
j (I
)
) dI
)
[1
)
[cc[1
i
[
2
.
74
onde denimos a quantidade
j (I
)
) dI
)
=

)o
f
o (1
)
1
T
)
e j (I
)
) chamado de densidade dos estados nais. 1
T
= 1
i
~. representa a energia total
do sistema.
Vamos considerar um exemplo. Suponha que o estado nal de uma partcula no estado
contnuo e especicado por
I
)
=
_
1
)
.

!
)
_
.
Neste caso,
dI
)
= d1
)
d

!
)
e
j
_
1
)
.

!
)
_
d1
)
d

!
)
=

)o
f
o (1
)
1
T
)
=
1
(2:~)
3
d1
)
d

!
)
_
d
3
j o (1
j
1
)
) o
2
_

!
j

!
)
_
o (1
)
1
T
)
=
1
(2:~)
3
d1
)
d

!
)
_
j
2
djd
2

!
j
o (1
j
1
)
) o
2
_

!
j

!
)
_
o (1
)
1
T
)
=
1
(2:~)
3
d1
)
d

!
)
_
j
2
dj
d1
d1d
2

!
j
o (1
j
1
)
) o
2
_

!
j

!
)
_
o (1
)
1
T
)
=
1
(2:~)
3
d1
)
d

!
)
j
2
dj
d1
o (1
)
1
T
) .
Utilizando
1
j
=
1
2:
j
2
.
d1
j
=
1
:
jdj.
temos
j
2
dj
d1
= :
_
2:1.
e, portanto,
j
_
1
)
.

!
)
_
d1
)
d

!
)
=
1
(2:~)
3
d1
)
d

!
)
:
_
2:1o (1
)
1
T
) .
75
F. Exemplos de Propagadores
Vamos calcular explicitamente o propagador G
(+)
0
(1) para alguns casos conhecidos.
Primeira, vamos estudar o caso de uma partcula livre.
H
0
=
1
2:

1
2
.
Queremos calcular a representao de coordenadas do propagador,
:
1
[G
(+)
0
(1 ij) [:
2
= :
1
[
1
1 ij H
0
[:
2
.
Substituindo a completeza em estado de momento linear,
_
d
3
j [ j j[ = 1.
temos
:
1
[G
(+)
0
(1 ij) [:
2
=
_
d
3
j :
1
[ j j[
1
1 ij H
0
[:
2

=
1
(2:~)
3
_
d
3
jc
i j(v
1
v
2
)~
1
1 ij j
2
,2:
=
2:
(2:~)
3
_
o
0
j
2
dj
1
1 ij j
2
,2:
_
1
1
drc
ijva~
.
onde
: = [:
1
:
2
[ .
r = cos o
o coseno do nglulo entre os dois vetores, j e :
1
:
2
. Temos
:
1
[G
(+)
0
(1 ij) [:
2
=
2:
(2:~)
3
_
o
0
j
2
dj
1
1 ij j
2
,2:
~
ij:
_
c
ijv~
c
ijv~
_
=
2:~ 2:
(2:~)
3
i:
_
o
o
jdj
1
2:1 ij j
2
c
ijv~
.
Esta integral pode ser feita pelo mtodo de residue. O caminho da integral deve ser fechado
com o semi-crclo superior para garantir a convergncia no caminho. Os polos so
j =
_
_
2:1 ij
_
.
e na integral, s contribui o polo,
j
0
=
_
2:1 ij.
76
Temos
:
1
[G
(+)
0
(1 ij) [:
2
=
2:~ 2: 2:i
(2:~)
3
i:
j
0
2j
0
c
ij
0
v
=
1
4:
_
2:
~
2
_
1
[:
1
:
2
[
c
ij
0
[v
1
v
2
[
. (145)
Exercise 5 A Eq.(136) pode se escrita como
(1 ij H
0
) G
(+)
0
(1) = 1.
Expresse esta equao na forma de equao diferencial para a representao de fuo de
Green,
G
(+)
0
(:. :
t
1) = :[G
(+)
0
(1) [:
t
.
No caso de um partcula livre, a Eq.(145) de fato uma soluo desta equao diferencial.
X. DEDUO FORMAL DO REGRA DE AURO
A. Matriz S
Vamos introduzir uma quantidade bsica para a discusso de processo dinmica, chamada
de Matriz o. Considere um sistema cujo Hamiltoniano H
0
, aplicamos a perturbao H
1
durante o intervalo de tempo, de t
i
a t
)
. Isto , o Hamiltoniano pode ser escrito como
H =
_

_
H
0
.
H
0
H
1
.
H
0
t < t
i
.
t
i
< t < t
)
.
t t
)
.
. (146)
Aqui supormos que H
1
no depende do tempo, por simplicidade e colocamos ` = 1. Neste
caso, o desenvolvimento temporal do sistema no intervalo t
i
< t < t
)
dado por
[ (t) = c
i1(tt
i
)~
[c
i
(t
i
). t
i
< t < t
)
..
com
H = H
0
H
1
.
e
[c
i
(t
i
)
77
o vetor de estado no tempo t = t
i
. Sabemos que este estado satisfaz a equao de
Schrdinger,
i~
J
Jt
[c
i
(t) = H
0
[c
i
(t). (147)
para t < t
i
. Aqui, o ndice i do vetor [c
i
especica o estado. Podemos considerar um
conjunto,
[c
i
(t) .
satisfazendo a completeza a cada instante,

i
[c
i
(t)c
i
(t) [ = 1. t < t
i
. (148)
Para t t
)
, o sistema tambm satisfaz a mesma equao,
i~
J
Jt
[ (t) = H
0
[ (t). t t
)
.
e portanto, podemos introduzir uma base completa,
[c
)
(t) .
tal que

)
[c
)
(t)c
)
(t) [ = 1. t t
)
.
Podemos expandir o estado [ (t) nesta base no instante t = t
)
,
[ (t
)
) =

)
[c
)
(t)c
)
(t) [ (t)
=

)
[c
)
(t
)
)c
)
(t
)
) [c
i1(t
f
t
i)~
[c
i
(t
i
)
=

)
[c
)
(t
)
) l
)i
(t
)
. t
i
) .
Aqui,
l
)i
(t
)
. t
i
) = c
)
(t
)
) [c
i1(t
f
t
i)~
[c
i
(t
i
) (149)
a amplitude total de transiao do estado i para , como consequncia da aplicao da
perturbo H
1
durante o intervalo de tempo 1 = (t
)
t
i
).
Como vimos na seo anterior, para calcular a taxa de transio de um estado esta-
cionrio, necessrio tomar os limites 1 , ou equivalentemente
t
i
.
t
)
.
78
A taxa de transio denida como
.
i)
= lim
t
i
o
t
f
+o
1
(t
)
t
i
)
[l
)i
(t
)
. t
i
)[
2
.
Denimos a matriz o como a matriz asinttica do operador l,
o
)i
=
_
_
lim
t
i
o
t
f
+o
_
_
l
)i
(t
)
. t
i
) . (150)
O limite deve ser tomado sempre no nal no nvel de observvel.
Note que a matriz l aqui essencialmente o propagador G
(+)
,
l
)i
(t
)
. t
i
) = i~G
(+)
(t
)
t
i
) .
j que t
)
t
i
0, s que aqui o Hamiltoniano contm a parte perturbativa,
H
0
H = H
0
H
1
.
Na analogia no caso de H
0
, vamos introduzir a transformada de Fourier da Funo de Green,
G
(+)
(t), com t = t t
t
,
G
(+)
(1 ij) =
_
+o
o
dt G
(0)
(t) c
+i(1+ij)t~
=
1
1 ij H
. (151)
e inversamente,
G
(+)
(t) =
1
2:~
_
+o
o
d1G(1) c
i1t
=
1
2:~
_
+o
o
d1
1
1 ij H
c
i1t~
. (152)
Utilizando a identidade
1

=
1
1

1
1
(1 )
1

. (153)
podemos escrever,
1
1 ij H
=
1
1 ij H
0

1
1 ij H
0
H
1
1
1 ij H
. (154)
Podemos ento estabelecer a relao entre o progador perturbado
G
(+)
(1) =
1
1 ij H
.
e o propagador no pertubado
G
(+)
0
(1) =
1
1 ij H
0
79
como
G
(+)
(1) = G
(+)
0
(1) G
(+)
0
(1) H
1
G
(+)
(1). (155)
A Eq.(155) pode ser resolvida formalmente para G
(+)
(1) supondo que o segunte proced-
imento de recorrncia converge,
G
(+)
(1) = G
(+)
0
(1) G
(+)
0
(1) H
1
G
(+)
(1)
= G
(+)
(1) G
(+)
0
(1) H
1
_
G
(+)
0
(1) G
(+)
0
(1) H
1
G
(+)
(1)
_
= G
(+)
(1) G
(+)
0
(1) H
1
G
(+)
0
(1)
G
(+)
0
(1) H
1
G
(+)
0
(1) H
1
_
G
(+)
0
(1) G
(+)
0
(1) H
1
G
(+)
(1)
_
=
Se este procedimento converge, ento, podemos escrever
G
(+)
(1) =
o

a=0
(G
0
(1)H
1
)
a
G
0
(1) (156)
ou tambm
G
(+)
(1) = G
0
(1)
o

a=0
(H
1
G
0
(1))
a
(157)
ou ainda
G
(+)
(1) =
1
1 G
0
(1)H
1
G
0
(1). (158)
Uma outra forma importante
G
(+)
(1) = G
(+)
0
(1) G
(+)
0
(1) 1(1) G
(+)
0
(1). (159)
onde introduzimos um novo operador 1(1) por
1(1) =
o

a=0
(H
1
G
0
(1))
a
H
1
. (160)
e este chamado a matriz de espalhamento.
Podemos vericar que
G(1) H
1
= G
0
(1) 1(1). (161)
e
1(1) = H
1
H
1
G
0
(1) 1(1). (162)
80
Agora, substituindo Eq.(159), na denio da matriz o, temos
o
)i
= lim
t
f
!+1
t
i
!1
i
2:
, (t
)
) [
_
+o
o
d1 c
i1t
[G
(+)
0
(1) G
0
(1) 1(1) G
0
(1) [[i (t
i
) (163)
onde t = t
)
t
)
. Vamos considerar o processo estacionrio, ou seja, escolhemos que os
estados iniciais e nais como os autoestados do Hamiltonoano H
0
.
[ i (t
i
) = c
i1
i
t
i
~
[ 1
i
. (164)
[ , (t
)
) = c
i1
f
t
f
~
[ 1
)
. (165)
Neste caso, a Eq.(163) ca
o
)i
= lim
t
f
!+1
t
i
!1
i
2:
_
+o
o
d1 c
i(11
i
)t
i
~
c
i(11
f
)t
f
~
1
)
[ [G
0
(1) G
0
(1) 1(1) G
0
(1) [ [1
i

= lim
t
f
!+1
t
i
!1
i
2:
_
+o
o
d1 c
i(11
i
)t
i
~
c
i(11
f
)t
f
~
1
)
[ [
1
1 ij H
0

1
1 ij H
0
1(1)
1
1 ij H
0
[ [1
i

= lim
t
f
!+1
t
i
!1
i
2:
_
+o
o
d1 c
i(11
i
)t
i
~
c
i(11
f
)t
f
~
1
)
[ [
1
1 ij 1
i

1
1 ij 1
)
1(1)
1
1 ij 1
i
[ [1
i
(166)
Agora, na regime asimttica, podemos utilisar as frmulas,
lim
t+o
c
i(ao)t
r c ij
= 2:i o(r c) . (167)
lim
to
c
+i(ao)t
r c ij
= 2:i o(r c) . (168)
Aps a pouca algebra, temos nalmente,
o
)i
= 1
)
[1
i
2:i o(1
)
1
i
) 1
)
[ 1(1
i
) [ 1
i
. (169)
A matriz o tem uma propriedade importante. Como ela essencialmente o operador de
deslocamento no tempo l (t
i
t
)
) que unitrio, a matriz o unitria. Temos

)
o
+
i
0
)
o
)i
= o
i
0
i
.
81
o que representa bsicamente a conservao da probabilidade durante o processo de espal-
hamento. Esta propriedade pode ser utilizada para obter o teorema tico (Ver o exerccio
posterior).
Exercise 6 Mostre as Eqs.(156,(157 e (158.
Exercise 7 Mostre as Eqs.(159) e (160).
Exercise 8 Prove as relaes (168) e (167).
Exercise 9 Mostre a Eq.(169).
A Eq.(163) a relao fundamental entre a matriz o e a matriz de espalhamento 1,
que por sua vez explicita a relao entre a matriz o e a funo de Green do sistema. A
probabildade de transio 1
i)
(i ,= ,) ca em termos de matriz 1,
1
i)
= [ 2:i o(1
i
1
)
)1
)
[1(1)[1
i
[
2
= (2:)
2
o(0)o(1
i
1
)
) [ 1
)
[1(1)[1
i
[
2
. (170)
Aqui, rigorosamente falando, a quantidade o(0) no denida matematicamente. A razo
da aparncia deste objeto estranho que estamos calculando a probabilidade" de transio
entre dois estados estacionrios. Num estado estacionrio, a integral da probabilidade de
transio no intervalo de tempo innito (t . t
t
) naturalmente diverge. Para
os estados estacionrios, somente a taxa de transio teria sentido, e no a probabilidade
total. Uma maneira correta de evitar este problema utilizar os pacotes de ondas no lugar
de auto-estados exatos de energia. Entretanto, este mtodo envolve clculos trabalhoso e
perde a viso. Podemos evitar esta complicao com o seguinte argumento heurstico.
2:~ o(1 = 0) = lim
1
f
1
i
_
_
lim
t
f
!+1
t
i
!1
_
_
_
t
f
t
i
dtc
i(1
f
1
i
)t~
(171)
=
_
_
lim
t
f
!+1
t
i
!1
_
_
_
t
f
t
i
dt c
0
=
_
_
lim
t
f
!+1
t
i
!1
_
_
(t
)
t
i
) . (172)
onde t
)
t
i
pode ser interpretado como o intervalo de tempo total para o qual o regime
estacionrio seja estabelecido. Consequentemente, a taxa de transio do estado i para o
estado ,, .
i)
dada por
.
i)
= lim
t
f
!+1
t
i
!1
1
i)
, (t
)
t
i
) =
2:
~
o(1
i
1
)
)[ 1
)
[1(1)[1
i
[
2
. (173)
82
Exercise 10 Sejam
H
0
[c
1
= 1 [c
1
. (174)
e
H [
1
= 1 [
1
. (175)
Mostre que
[
1
= [ c
1

1
1 ij H
0
H
1
[
1
. (176)
(Equao de LippmannSchwinger).
Exercise 11 Prove que
H
1
[
1
= 1(1) [ c
1
. (177)
B. Espalhamento No Relativstico por Um Potencial
Vamos aplicar o formalismo para calcular a seo de choque no caso de espalhamento de
uma partcula no relativstica com massa :, energia 1
i
, por um potencial, \ (:). Neste
caso,
H
0
=

1
2
2:
(178)
H
1
= \ (:) . (179)
Representamos o estado incidente por um onda plana
[ 1
i
= [

/
i
(180)
que naturalmente satisfaz

1 [

/
i
=

/
i
[

/
i
. (181)
H
0
[

/
i
= 1
i
[

/
i
(182)
com

/
i
2
2 :
= 1
i
(183)
Introduzimos a base de coordenada, [:, com a normalizaao,
_
d
3
: [ :: [ = 1 . (184)
: [ :
t
= o
3
(: :
t
). (185)
83
Fixamos a normalizao dos estados de onda plana por
: [

/ = c
+i

Iv~
. (186)
Isto , estamos normalizando o estado de onda plana por densidade. Neste caso, temos,

/ [

/
t
=
_
d
3
:

/ [ : : [

/
t
(187)
= (2:~)
3
o
3
(

/
t
). (188)
A condio de completeza ca,
1
(2:~)
3
_
d
3

/ [

/ [ = 1 . (189)
Note que a equao acima indica que a soma sobre os estados de momentos deve ser efetuada
em termos de integral sobre

/ com o fator 1,(2:~)
3
,

1
(2:~)
3
_
d
3

/ (Scm o laior oc volnmc \ ) . (190)

Com esta normalizao do estado de momento, o uxo incidente ca
c =
/
i
:
. (191)
j que a densidade normalizada por n:. Podemos calcular a seo de choque diferencial,
somando sobre todos os estados nais, dividida pelo uxo.
do
d!
=

ffg
(
f
=)
.
i)
,c =
1
(2:~)
3
_
d
3

/ o
2
(

!
)

!
I
)
2:
~
o(1
i
1
)
) [

/
)
[1(1
i
)[

/
i
[
2
=

(
1
4:
) (
2:
~
2
)

/
)
[1(1
i
)[

/
i

2
. (192)
Esta a frmula que estabelece o relacionamento entre a seo de choque e o elemento da
matriz de espalhamento 1 (1).
C. Uso da Equao de Lippmann-Schwinger
A expresso (192) pode ser obtida pela Equao de LippmannSchwinger, Eq.(176
[
1
= [ c
1

1
1 ij H
0
H
1
[
1
(193)
84
Aqui, identicamos
[ c
1
= [

/
i
(194)
e [
1
representa o estado estacionrio do sistema com a interao. A representao desta
equao em coordenadas ca
: [
1
= : [

/
i
: [ G
0
(1) H
1
[
1
(195)
= : [

/
i
: [ G
0
(1) 1(1) [

/
i
. (196)
onde utilizamos a propriedade da matriz 1,
H
1
[
1
= 1(1) [ c
1
.
Em termos da funo de onda (a representao em coordenadas), temos

1
(:) = c
i

I
i
v

_
d
3
:
t
: [ G
0
(1) [ :
t
:
t
[ 1(1) [

/
i
(197)
J vimos que a representao de coordenadas da funo de Green para partcula livre G
0
(1)
dada pela Eq.(145),
: [ G
0
(1) [ :
t
=
1
4:
(
2:
~
2
)
1
[: :
t
[
c
+iI[vv
0
[~
. (198)
e podemos executar a integral em relao a :
t
na Eq.(197), se sabemos a dependncia do
elemento de matriz
:
t
[ 1(1) [

/
i
.
mas isto s possvel quando especicar o potencial \ (:). Mas no caso de um potencial de
alcance nito, a contribuio do fator :
t
[ 1(1) [

/
i
ao integrando se torna nula fora deste
alcance.
:
t
[ 1(1) [

/
i
, = 0. [:
t
[ < 1. (199)
onde 1 o alcance do potencial. Deste modo, a integral em :
t
ca limitada dentro do
alcance do potencial,
_
d
3
:
t
: [ G
0
(1) [ :
t
:
t
[ 1(1) [

/
i

_
[v
0
[<1
d
3
:
t
: [ G
0
(1) [ :
t
:
t
[ 1(1) [

/
i

85
Assim, para [ : [ sucientemente grande, podemos sempre considerar que [ :[ [ :
t
[. Neste
limite, podemos utilizar a frmula,
[: :
t
[ =
_
[: :
t
[
2
=
_
:
2
2::
t
cos o :
t2
:
_
1
:
t
:
cos o
_
= : :
t
cos o.
e a funco de Green G
0
(1) acima tem a forma assinttica,
: [ G
0
(1) [ :
t

1
4:
(
2:
~
2
)
1
:
c
+iIv~
c
iI^ vv
0
~
(200)
onde : o vetor unitrio na direo do :.
Denindo o vetor

/
)
por

/
)
= / : (201)
a forma assinttica da Eq.(193) ca,

1
(:)
vv
0
c
i

I
i
v~

1
4:
(
2:
~
2
)
1
:
c
+iIv~
_
d
3
:
t
c
i

I
f
v
0
~
:
t
[ 1(1) [

/
i

= c
i

I
i
v

1
4:
(
2:
~
2
)
1
:
c
+iIv~
_
d
3
:
t

/
)
[ :
t
:
t
[ 1(1) [

/
i

= c
i

I
i
v~

1
4:
(
2:
~
2
)
1
:
c
+iIv~

/
)
[ 1(1) [

/
i
(202)
Esta tem a forma,

1
(:) c
i

I
i
v~

1
:
c
+iIv~
, (o. c) (203)
Com esta expresso, ca claro que a funo de onda do sistema no estado estacionrio
composta de uma onda plana incidente (primeiro termo) e de uma onda esferica emergente
(segundo termo) com a amplitude de espalhamento que depende de ngulos e energia do
momento nal

/
)
. A amplitude de espalhamento ,(o. c) denida por
,(o. c) =
1
4:
(
2:
~
2
)

/
)
[ 1(1) [

/
i
. (204)
Note que a seo de choque diferencial tambm dada como a razo entre o uxo emergente
e o uxo incidente
do
d!
( :) =

, (:)
c&t
:

, (:)
ia

. (205)
86
Os uxos podem ser obtido da forma usual da expresso de corrente da probabilidade,

, =
~
2i:

+
\ \
+
.
Temos nalmente
do
d!
= [ ,(o. c) [
2
=

1
4:
(
2:
~
2
)

/
)
[ 1(1) [

/
i

2
. (206)
o que idntico a Eq.(192).
Exercise 12 Da Eq.(205) obtenha a Eq.(206).
Exercise 13 Em certas situaes, podemos aproximar a matriz 1(1) por \ (aproximao
de Born de 1
o
ordem ). Discuta a validade desta aproximao.
Exercise 14 Refaa todas as contas desta sesso quando a funo de onda incidente
normalizada por
: [

/ =
1
\
13
c
+i

Iv
(207)
e verique quais expresses cam independentes da normalizao.
Exercise 15 Calcule, na aproximao de Born de 1
o
ordem, a seo de choque diferencial
e total para o potencial de Yukawa,
\ (:) =
q
2
4::
c
j v
(208)
onde q e j so constantes.
Exercise 16 Utlizando a propriedade unitria da matriz o, prove o Teorema tico,
o
Tct
=
4:
/
i
Im,(0. 0) (209)
onde Im(A) representa a parte imaginria da quantidade A.
D. Simetria do Sistema e Dinmica na Matriz S; Potencial Central e Ondas Par-
ciais
Como vimos, a o de Dirac em relao a energia sempre existe para os processos esta-
cionrios, representando a conservao da energia. Assim, interessante denir a matriz o
na camada de energia, por
o
)i
= o (1
)
1
i
) o
)i
(1) (210)
87
para os processos estacionrios.
Para explicitar a camada de energia, podemos introduzir a base como produto direto de
autoestado da energia 1 e os outros nmeros qunticos, c.
[1: c = [1 [c .
Nesta base, da Eq.(169), esta matriz o na camada de energia relacionada com a matriz de
espalhamento 1 (1) por
o
)i
(1) = ,[i 2:i,[1(1)[i. (211)
ou como operador no espao de [c,
o(1) = 1 2:i,[1(1)[i (212)
O papel da simetria do sistema tambm tem um papel importante na sua dinmica e,
portanto, se reete nas propriedades do propagador. Vamos considerar um exemplo onde
o sistema tem simetria esfrica, mesmo com a perturbao. Isto acontece, por exemplo, no
processo de espalhamento por um potencial esfericamente simetrico. Neste caso, temos
H = H
0
H
1
.
com
_
H
0
.

J
_
= 0.
_
H
1
.

J
_
= 0.
e naturalmente
_
H.

J
_
= 0.
Como a Matriz o essencialmente o operador de deslocamento no tempo,
o ~ l = c
i1(t
f
t
i)~
.
ela tambm comutaria com

J. Em outras palavras, se utilizamos a base dos autoestados de
momento angular, [c = [,. :, a matriz o deve car diagonal.
o
)i
= lim
t
f
o
t
i
o
1
)
. ,
)
:
)
: t
)
[l (t
i
. t
)
)[ 1
i
. ,
i
. :
i
: t
i

o (1
)
1
i
) o
)
f
)
i
o
n
f
n
i
.
88
Alm disto, pela Lema de Schur, a matriz o ca proporcional a identidade num subespao
de , xo. Assim, temos
,
)
. :
)
[o(1)[,
i
. :
i
= o
())
(1) o
)
f
)
i
o
n
f
n
i
. (213)
Para o processo de espalhamento de uma partcula sem spin atravs de um potencial esfrico,
os vetores [/. :: 1 constituim uma base completa, onde escrevemos
, /.
pois o momento angular vem do movimento orbital e portanto deve ser um inteiro. Neste
caso, o
())
(1) apenas um nmero e pela propriedade unitria da matriz o, temos

o
())
(1)

= 1. (214)
Assim, podemos escrever
o
()
(1) = c
2ic
`
(1)
. (215)
onde o

(1) um nmero real. O fator 2 foi incluido pela convenincia, o que vai ser
esclarecido mais adiante. Utilizando a relao entre

o (1) e 1 (1), Eq.(212) temos
,
)
. :
)
[1(1)[,
i
. :
i
= o
)
f
)
i
o
n
f
n
i
1
2:i
_
1 c
i2c
`
(1)
_
. (216)
ou equivalentemente
1 (1) =

,n
[/. :
1
2:i
_
1 c
i2c
`
(1)
_
/. :[. (217)
A conlcuso acima mostra que o processo de espalahamento de uma partcula sem spin
por um potencial esfericamente simtrico descrito completamente quando sabemos a funo
o

(1) . Esta funo chamada de deslocamento de fase por razo a ser esclarecida logo em
seguida. Desta forma, a descrio do processo de espalhamento ca mais otimizada quando
utiliza-se a base de autoestado de momento angular. Temos

/
)
[1 (1) [

/
i
=

,n

/
)
[/. :
1
2:i
_
1 c
i2c
`
(1)
_
/. :[

/
i

1
2:i
_
1 c
i2c
`
(1)
_
(2:~)
3
:/

n
1
n
_

I
f
_
1
+
n
_

I
i
_
. (218)
onde utilzamos a relao
[

/ =
_
(2:~)
3
d1
/
2
d/
[1 [

!
I

89
e portanto, na camada de energia 1, temos

/[/. :
_
(2:~)
3
:/
1
n
_

I
_
.
Por outro lado, o estado incidente de um onda plana no um autoesado de momento
angular. Podemos ento expandir o estado de onda plana na base de autoestado de momento
angular e o autoestado da energia,
[

/
i
=

,n
C
1
n
[1. /. :. (219)
A representao em coordenadas desta funo ca
:[

/
i
=

,n
C
1
n
:[1. /. :
=

,n
C
1
n
1
1

(:) 1
n
_

!
v
_
.
onde

!
v
representa o vetor unitrio na direo de :. J vimos que esta corresponde a frmula
da expanso de uma onda plana em termos de harmonicos esfricos,
c
i

I
i
v~
=
o

=0
(2/ 1) i

(/
i
:,~) 1

(cos o)
= 4:
o

=0
i

(/
i
:,~)

n
1
n
_

!
v
_
1
+
n
_

I
i
_
. (220)
Vamos considerar o comportamento asinttico desta funo quando [:[ . Isto ,
observamos a funo de onda estacionria bem longe do centro espalhador. Utilizando a
forma asimttica da funo de Bessel esfrica,
,

(/:,~)
~
/:
cos
_
/:,~
/ 1
2
:
_
=
~
2/:
_
c
i(Iv~
`+1
2
)
c
i(Iv~
`+1
2
)
_
.
temos
c
i

I
i
v
4:

~
2/:
_
c
i(Iv~
`+1
2
)
c
i(Iv~
`+1
2
)
_

n
1
n
_

!
v
_
1
n
_

I
i
_
. (221)
90
Substituindo as Eqs.(218) e (221) na Eq.(202), e lembrando que temos

1
4:

~
2/:
_
c
i(Iv~
`+1
2
)
c
i(Iv~
`+1
2
)
_

n
1
n
_

I
f
_
1
+
n
_

I
i
_

1
4:
(
2:
~
2
)
1
:
c
+iIv~

1
2:i
_
1 c
i2c
`
(1)
_
(2:~)
3
:/

n
1
n
_

I
f
_
1
+
n
_

I
i
_
= 4:~

c
i

2/:
_
c
i(Iv~
`+1
2
)
c
i2c
`
(1)
c
+i(Iv~
`+1
2
)
_

n
1
n
_

I
f
_
1
+
n
_

I
i
_
= 4:~

c
i

2/:
_
c
i(Iv~
`+1
2
)
c
i2c
`
(1)
c
+i(Iv~
`+1
2
)
_
(2/ 1) 1

(cos o) . (222)
Podemos interpretar este resultado da seguinte forma. A soma em / representa a decom-
posio do estado estacionrio
1
em termos de autoestado de momento angular orbital /.
O componente da funo de onda para momento angular / chamado de onda parcial -/.
O primeiro termo na chave [[ representa a onda esfrica convergente. O segundo termo a
onda esfrica divergente. Assim, a funo de onda tem a estrutura,

1
=

_
c
(ia)
1,
o

c
(c&t)
1,
_
.
isto , a onda estacionria a soma da onda convergente e a onda divergente correspondente,
alterada pela aplicao da matriz o. Se no existe o potencial,
o

(1) = 0.
e, portanto,
o

= 1.
e a Eq.(222) recupera a forma asinttica da onda plana. Para uma dada onda parcial-/, o
efeito do potencial desloca a fase da onda divergente em relao ao caso da partcula livre
(sem potencial).
c
+i(Iv~
`+1
2
)
c
+i(Iv~
`+1
2
+2c
`)
.
A onda parcial-/ tem a forma,

1
~ 4:i
~c
i

c
ic
`
2/:
_
c
i(Iv~
`
2
+c
`)
c
+i(Iv~
`
2
+c
`)
_
(2/ 1) 1

(cos o)
= 4:
~c
i

c
ic
`
/:
_
sin
_
/:,~
/
2
: o

__
(2/ 1) 1

(cos o) .
Comparando a expresso acima no caso de sem potencial ( o

= 0 ), a nica diferena o
deslocamento de fase da funo de onda radial na regio asinttica (: ), como se ver
na gura abaixo.
91
r
>0
Para o 0, a funo de onda radial ca deslocado a origem pela fase o, como se fosse o
potencial puxa a funo de onda para dentro. Para o < 0, a situao contrria,
r
<0
o efeito do potencial empurra a funo de onda para a fora. Em geral, quando o potencial
atrativo, temos o 0 e quando o potencial repulsivo, o < 0.
A decomposio de funo de onda em ondas parciais equivalente a seguinte expanso
da amplitide de espalhamento em termos de polinmios de Legendre,
, (o. c) =
~
2i/
o

=0
(2/ 1)
_
c
2ic
l
1
_
1

(cos o) (223)
=
~
/
o

=0
(2/ 1) c
ic
`
sin o

(cos o) . (224)
92
A seo de choque diferencial,
do
d!
= [, (o)[
2
no ca numa soma simles de ondas parciais, mas a seo de choque total ca
o =
_
d!
do
d!
=
4:~
2
/
2

(2/ 1) sin
2
o

. (225)
isto a soma das seo de choque de ondas parciais,
o =

.
onde
o

=
4:~
2
/
2
(2/ 1) sin
2
o

.
1. Parmetro de Impacto
A expresso Eq.(225) fornece uma interpretao interessante. Classicamente a seo
de choque diferencial dada pela rea de feixe incidente correspondente ao intervalo do
paramtro impacto [/. / d/[
do = 2:/d/.
Por outro lado, o momento angular dado por
~1 = //
i
.
portanto,
do
C| occicc
= 2:
_
~
/
_
2
1d1
= :
_
~
/
_
2
d

1
2
:
_
~
/
_
2
(2/ 1) .
onde na ltima linha, usamos que
1
2
= / (/ 1) .
d/ 1.
93
A seo de choque total ca
o
C| occicc
= :
_
~
/
_
2

(2/ 1) .
o que lembra a Eq.(225). Desta forma, a fora do fator
4 sin
2
o

.
que vem essencialmente o efeito quntico, a soma das ondas parciais corresponde a integral
em parmetro de impacto. De fato, a funo Bessel esferica ,

(/:,~) que representa a funo

de onda incidente tem mximo justamente quando
: / =
~
_
/ (/ 1)
/
.
E. Propriedade Analtica de Matriz S, polos e resonncias
Frequentemente os dados experimentais de seo de choque manifestam picos agudos
como funo da energia incidente, que chamamos de ressoncias (as ressonncias se referem
aos picos da seo de choque como funo da energia incidente, e no aos picos em fuo de
parametros de estados nais, tipo difrao). As ressonncias so intimamente ligadas aos
estados quase ligados do sistema, e fornecem importantes informaes sobre o Hamiltoniano
do sistema. Para ver isto, lembramos que a amplitude de espalhamento proporcional ao
elemento de matriz 1,
1(1) = H
1
H
1
1
1 ij H
H
1
(226)
onde o primeiro termo chamado o termo de Born e em geral no possui o comportamento
ressoante, ou seja, a dependncia em energia aguda. A contribuio para ressonncias vem
do segundo termo. Por esta razo, e para simplicar o argumento, omitimos a contribuio
de Born na discusso do comportamento ressoante da seo de choque aqui.
Pelo teorema tico, a seo de choque total proporcional parte imgaginria da ampli-
tude de espalhamento na direo dianteira,
,
1
= ,(o = 0. c = 0) ~ : [

/
i
[ H
1
1
1 ij H
H
1
[

/
i
[. (227)
onde o termo de Born foi omitido. Seja [
1
j
o conjunto completo dos auto-estados de
94
H. Utilizando a completeza destes estados, podemos escrever

/
i
[ H
1
1
1 ij H
H
1
[

/
i
=

1
j

/
i
[ H
1
[
1
j

1
1 ij 1
)

1
j
[ H
1
[

/
i

)
j
)
1 ij 1
)

_
1
0
0
d1
t
j(1
t
)
1 ij 1
t
(228)
onde
j
)
= [

/
i
[ H
1
[
1
j
[
2
. (229)
j(1
t
) =

),1
j
=1
0
[

/
i
[ H
1
[
1
j
[
2
(230)
e na ltima linha da Eq.(228), separamos a contribuio dos estados discretos da energia
dos estados contnuos. Podemos ver assim que se a energia incidente 1 coincidisse com
um dos autovalores discretos, 1
)
, , divergiria. Mas, isto no acontece nos procecessos de
espalhamento, pois os autovalores discretos da energia so dos estados ligados e em geral
menores que 0, enquanto o valor da energia incidente para um processo de espalhamento
positivo. De qualquer forma, se consideramos a amplitude de espalhamento como uma
funo matemtica da varivel 1, estendendo seu domnio em 1 at valores complexos,
a amplitute ter os polos nos valores dos auto-estados de energia do sistema. A integral
do segundo termo da Eq.(228) mostra que h um corte no eixo real positivo. A estrutura
analtica da amplitude de espalhamento como uma funo de varivel complexa 1 ilustrada
na Figura abaixo.
A Eq.(228) lembra o teorema integral de Cauchy,
,(.) =
1
2:i
_
1
d.
t
,(.
t
)
.
t
.
. (231)
onde , uma funo analtica em ., exceto por singularidades isoladas, no domnio 1. De
fato, se a amplitude ,(1) uma funo analtica em 1 exceto nos polos e cortes indicados
na gura, podemos escrever
,(1) =
1
2:i
_
1
d1
t
,(1
t
)
1
t
1
. (232)
onde o domnio 1 ilustrado na Fig.2. Supondo que ,(1) decresa rapidamente para
[ 1 [ de tal maneira que a contribuio para a integral sobre o crculo grande se
95
torna nula, temos
,(1) = jo|o:
1
2:i
_
o
0
d1
t
[
,(1
t
ij)
1
t
ij 1

,(1
t
ij)
1
t
ij 1
[
=

)
1
)
1 1
)

1
:
_
1
0
0
d1
t
:,(1
t
)
1
t
ij 1
(233)
onde 1
)
so resduos das singularidades discretas. Em particular, se utilizamos a condio
de unitaridade para a matriz T,
1
2:i
[1
|
(1) 1(1) [ = 1
|
(1)

),1
j
=1
[
)

)
[ 1(1) (234)
vemos a equivalncia das Eqs.(74) e (70). A Eq.(74) chamada relao de disperso.
importante lembrar que na Eq.(70), nenhuma propriedade da Equao de Schrdinger foi
utilizada. Os nicos elementos bsicos para estabelecer a relao de disperso so a analiti-
cidade e unitaridade da amplitude de espalhamento. Os polos (e seus resduos) e a parte
imaginria so imediatamente relacionados aos observveis. Desta forma, a relao de dis-
perso utilizada para discutir as propriedades gerais da amplitude de espalhamento sem
depender do modelo especco. Em termos de funo analtica de 1, os auto-estados do sis-
tema ( i.e, os estados ligados ) se manifestam como os polos da amplitude de espalhamento
no eixo real. Alm destes polos, a amplitude pode ter outros polos. Quando um polo est
bem prximo do eixo real,
~
1
1 1
jc|c
. 1
jc|c
= 1
1cc
i
I
2
(235)
sendo 1
1cc
0 e 1 o resduo. Ento, para 1 ~ 1
1cc
, a amplitude ,(1) pode ser
aproximada por
,(1) ~
1
1 1
1cc
i I,2
(236)
Assim, a seo de choque total perto desta energia se comporta como
o
tct
=
4:
/
i
: ,(1) ~
4:1
/
i
I,2
(1 1
1cc
)
2
I
2
,4
(237)
que a frmula de BreitWigner da ressonncia de um nvel.
F. Decaimento de um Estado Quase ligado
O polo da amplitude que contribui para a ressonncia o polo do propagador do sistema,
G(1). Para compreender o signicado fsico deste polo, vamos estudar o desenvolvimento
96
do estado preparado inicialmente no estado [ 0 cuja energia est perto do estado de
ressonncia. No tempo t, este estado dado por
[ d(t) = l
+
(t. 0)[ 0 =
i
2:
_
+o
o
d1 G(1) c
i1t
[ 0. (238)
A probabilidade do sistema permanecer no estado inicial [ 0 dada por
1(t) = [ 0[ d(t) [
2
= [
i
2:
_
+o
o
d1 < 0[G(1)[0 c
i1t
[
2
. (239)
Se o estado est perto de ressonncia, podemos aproximar a quantidade 0[G(1)[0 por
0[G(1)[0 ~
1
1 1
1cc
iI,2
. (240)
Substituindo esta aproximao na Eq.(80), temos
1(t) ~ 1 c
t
. (241)
Isto , a probabilidade decresce exponencialmente no tempo, indicando que este estado decai
em tempo com a vida mdia
t
12
= ln 2 ,I . (242)
Assim, estabelecemos a relao entre a vida mdia de um estado quase ligado e a largura da
ressonncia. Qualitativamente falando, a reao ressonante interpretada como a formao
do estado quase ligado, e este estado sobrevive num certo intervalo de tempo e decai nos
estados nais. A vida mdia deste estado intermedirio est de acordo com o Princpio da
Incerteza,
^t ^1 ~. (243)
A caracterstica do decaimento de um estado ressonante que, exceto os nmeros qunticos
conservados, a perda das informaes contidas no estado inicial. Por exemplo, se duas
partculas sem spin espalham atravs de um estado ressonante, a distribuio angular caria
isotrpica.
Podemos calcular a energia da ressonncia e sua largura, aplicando a teoria de pertur-
bao. At a segunda ordem em H
1
, temos
G(1) = G
0
(1) G
0
(1) H
1
G
0
(1) G
0
(1) H
1
G
0
(1) H
1
G
0
(1) (244)
97
Com isto, temos
0 [ G(1) [ 0 = 0 [ G
0
(1) [ 0 0 [ G
0
(1) H
1
G
0
(1) [ 0
0 [ G
0
(1) H
1
G
0
(1) H
1
G
0
(1)[ 0
=
1
(1 1
0
)
2
_
_
1 1
0
0 [ H
1
[ 0

|
[ 0 [ H
1
[ | [
2
1 ij 1
|
_
_
(245)
No ltimo termo, podemos usar a frmula,
1
1 ij 1
|
= Ir
1
1 1
|
:i o(1 1
|
). (246)
onde Ir representa a parte principal. A Eq.(245) ca
0 [ G(1) [ 0 =
1
(1 1
0
)
2
[11
0
0 [ H
1
[ 0 :i

|
[ 0 [ H
1
[ | [
2
o(11
|
) (247)
Na Eq.(247) a contribuio da parte principal foi desprezada, pois esta a correo da
segunda ordem na parte real do deslocamento em energia. Dentro da mesma apro-ximao,
temos
1
< 0 [ G(1) [ 0
= (1 1
0
)
_
1
< 0 [ H
1
[ 0 :i

|
[ < 0 [ H
1
[ | [
2
o(1 1
|
)
1 1
0
_
1
(248)
1 1
0
< 0 [ H
1
[ 0 :i

|
[ < 0 [ H
1
[ | [
2
o(1 1
|
).
(249)
Assim, podemos identicar os parmetros da Eq.(240) por
1
1cc
= 1
0
< 0 [ H
1
[ 0 . (250)
I = 2:

|
[ < 0 [ H
1
[ | [
2
o(1 1
|
) . (251)
e o resduo 1 um. Note que a largura igual soma das taxas de transies sobre todos
os estados (cf. a regra de ouro).
Exemplos
98
XI. ESPALHAMENTO POR POTENCIAL ESFERA RIGIDA
Consideramos o problema de espalhamento de uma partcula com massa : pelo potencial
de esfera rigida,
\ =
_
_
_
.
0
: _ c
: c.
.
Vamos obter a seo de choque diferencial. No caso da Macnca Clssica, temos
do
d!
=
1
4
c
2
.
Para resolver este problema, o tratamento de ondas-parciais conveniente. Uma das vanta-
gens da abordagem de ondas parciais que dependendo da energia incidente, apenas nmero
nito de ondas parciais so relevantes. No limite de baixa energia, apenas onda o contribui
para a seo de choque. Como vimos, para obter a seo de choque, devemos calcular a
defasagem, o

para o momento angular /. A seo de choque diferencial dada por

do
d!
= [, (o)[
2
.
com
, (o) =
1
/
o

=0
(2/ 1) c
ic
`
sin o

(cos o) . (252)
e a seo de choque total
o =
4:
/
2

(2/ 1) sin
2
o

. (253)
onde
/ =
_
2:1
~
2
e 1 a energia incidente.
A defasagem o

pode ser obtida pela a soluo de equao de Schrdinger radial,

_

~
2
2:
1
:
d
2
d:
2
:
~
2
2:
/ (/ 1)
:
2
\ (:)
_
1(:) = 11(:) . (254)
Esta equao tem a forma,

~
2
2:
d
2
(:)
d:
2
\
c))
(:) (:) = 1(:) . (255)
onde
\
c))
(:) = \ (:)
~
2
2:
/ (/ 1)
:
2
. (256)
(:) = :1(:) . (257)
99
Para : . isto , para : tal que
~
2
2:
/ (/ 1)
:
2
1.
a Eq.(255) ca asintoticamente

~
2
2:
d
2
(:)
d:
2
1(:) .
e sua soluo pode ser escrita na forma,
sin
_
/:
:
2
/ o

_
.
Aqui, a defasagem o

um parmetro e no pode ser determindada pelo somente na regio

asinttica. Para saber o

, precisa saber a soluo da Eq.(255) com a condio de contorno.

Para : _ c. a Eq.(254) ca
_

~
2
2:
1
:
d
2
d:
2
:
~
2
2:
/ (/ 1)
:
2
_
1(:) = 11(:)
ou
1
tt

2
:
1
t

_
/
2

/ (/ 1)
:
2
_
1 = 0.
que a equao de Bessel esferica. Portanto, a soluo pode ser escrita como uma combi-
nao linear de duas solues linearmente independentes,
1(:) = ,

(/:) 1:

(/:) .
A fora da normalizao, os coecientes e 1 devem ser determinados para satisfazer a
condio de contorno,
1(: = c) = 0.
pois para : < c, \ . Temos
,

(/c) 1:

(/c) = 0.
e consequentemente temos
1(:) = C :

(/c) ,

(/:) ,

(/c) :

(/:) .
A forma asinttotica desta funo ca
1(:) C
1
/:
_
:

(/c) sin
_
/:
/:
2
_
,

(/c) cos
_
/:
/:
2
__
= C
_
,

(/c)
2
:

(/c)
2
sin
_
/:
/:
2
o

_
.
100
onde
ian o

=
,

(/c)
:

(/c)
.
Para /c 1. temos
o

(/c)
2+1
.
e vemos que apenas / = 0 que contribui na amplitide de espalahmento. Neste caso, temos
do
d!
co::t.
e
o 4:c
2
. (258)
isto , a seo de choque total ca 4 vezes maior que o valor geomtrico da esfera rgida.
Por outro lado, para /c 1. podemos utilizar a forma asinttica de funo de Bessel
para ,

(/c) e :

(/c) e
ian o

sin
_
/c

2
_
cos
_
/c

2
_.
portanto,
o

/c
/:
2
.
O somatrio na Eq.(253) deve estender at / /
max
= /c. o que corresponde ao valor
mximo do momento angular para o qual o espalhamento clssico pode ocorrer. Como
/
max
1, podemos substituir o somatrio pela integral,
o =
4:
/
2

(2/ 1) sin
2
o

4:
/
2
_
max
0
d/ (2/ 1) sin
2
_
/c
:
2
/
_
2:c
2
. (259)
Como se ver, a seo de choque total neste limite ca 2 vezes da seo de choque geomtrica.
XII. TEOREMA TICO (VIA ONDAS PARCIAIS)
Pela unitaridade da matriz o, vimos que vale o teorema tico,
o
Tct
=
4:
/
i
Im,(0. 0).
101
Vamos vericar explicitamente esta propriedade usando as Eqs.(252) e (253). Temos
, (0. 0) =
1
/
o

=0
(2/ 1) c
ic
`
sin o

(0)
=
1
/
o

=0
(2/ 1) c
ic
`
sin o

.
Portanto,
Im, (0. 0) =
1
/
o

=0
(2/ 1) sin
2
o

.
Comparando com
o
Tct
=
4:
/
2

(2/ 1) sin
2
o

.
temos immediatamente
o
Tct
=
4:
/
i
Im,(0. 0).
XIII. APROXIMAO DE BORN
Na frmula,
, (o. c) =
_

1
4:
__
2`
~
2
_

/
)
[1 (1) [

/
i
.
com
1 (1) = \ \
1
1 ij H
0
1 (1) .
esperamos que a contribuio do segundo termo deve ser pequeno para 1 \ com \ nito.
Desta forma, a aproximao
1 (1) \ (:) .
deve valer para a enegia sucientemente alta. Esta aproximao chamada de aproximao
de Born (da primeira ordem). Temos
, (o. c) =
_

1
4:
__
2`
~
2
_

/
)
[\ (:) [

/
i

=
_

1
4:
__
2`
~
2
__
d
3
:\ (:) c
i(

I
f

I
i)v2~
=
_

1
4:
__
2`
~
2
_

\ () .
onde
=

/
)

/
i
.
102
chamado de momento transferido e

\ a transformada de Fourier do potencial \ (:).
A amplitude de espalhamento proporcional a transformada de Fourier do potencial \ (:)
em termos de momento transferido. Como sabemos, a transformada de uma funo cor-
responde a decomposio em vrias frequncias de oscilao da varivel. Desta forma, a
amplitude de espalhamento , (o. c) seleciona o componente do potencial \ (:) da frequncia
correspondente ao momento transferido . No caso de espalhamento elstico, temos
[[
2
= 2/
2
(1 cos o) .
e para um dado ngulo de espalhamento, o momento transferido ca maior para maior
energia. Isto , a amplitude de espalhamento ver o componente do potencial oscilante
cada vez menor complimento de onda, quando aumenta a energia incidente. Isto , com
maior energia, vemos a menor estrutura do potencial.
103
Lista de Questes
1. Considere os signicados fsicos dos limites de baixa e alta energias da seo de choque
de espalhamento por uma esfera rgida,
o
Tct
=
_
_
_
4o
Gccnctvico
.
2o
Gccnctvico
1 0.
1 .
2. Calcule a defasagem o

para o potencial
\ =
_
_
_
\
0
< 0.
0
: _ c
: c.
.
Resposta:
ian o

(/) =
,

(/c) /,
t

(/c)
:

(/c) /:
t

(/c)
.
com
=
,
t

(c)
,

(c)
.
e

2
=
2:(1 \
0
)
~
2
.
3. A aproximao de Born vale quando a funo de onda dentro do alcance do potencial
no difere muito da onda incidente. Ou seja,
|[c
0
|
_
_
_
_
1
1 ij H
0
\ [c
0

_
_
_
_
. (260)
Para um poo de potencial
\ (:) = \
0
. : < c.
= 0. : c
aplique a condio Eq.(260) e demostre que a aproximao de Born pode ser utilizado
mesmo para baixas energias, desde que o potencial no possui estados ligados.
4. Considere um potencial de Yukawa,
\ (:) = \
0
c
jv
j:
(261)
104
(a) Calcule a seo de choque diferencial e a seo de choque total utilizando a
aproximao de Born.
(b) Determine a condio de aplicabilidade acima em termos de energia incidente.
(c) Obtenha o valor de seo de choque total na unidade de mb (1mb = 10
27
cm
2
)
para a coliso de proton e neutron, com o momento incidente do proton no sistema
de centro de massa = 0 MeV/c, \
0
= 10`c\ e j =1.3 fm (= 10
13
cm). As
massas de proton e neutron so 940 MeV.
5. Considere um potencial Coulombiano entre duas cargas, c2
1
e c2
2
.
\ (:) =
2
1
2
2
c
2
:
. (262)
Calcule a seo de choque diferencial na aproximao de Born e compare com a seo de
choque de Rutherford, obtida clssicamente. A seo de choque total tem signicado?
Porque na vida real, no tem esse problema?
6. Da expresso,

1
=

_
c
(ia)
1,
o

(1) c
(c&t)
1,
_
.
e fazendo a contiuniao analtica da energia no domnio 1 < 0. argumente que o polo
da matriz o

(1) para cada onda parcial corresponde o estado ligado deste momento
angular.
7. Escrevemos a decomposio de ondas parciais de amplitude de espalhamento por um
potencial como
, (o) =

(2/ 1) ,

(1) 1

(cos o) .
(a) Mostre que
,

(1) =
1
/ coi o

(1) i/
. (263)
(b) Podemos denir a seo de choque parcial o

como
o
Tct
=

.
onde
o

(1) =
4: (2/ 1)
/
2
sin
2
o

(1) .
105
Para um dado /. variando a energia, a seo de choque parcial o

(1) pode mani-

festar picos agudos como funo de 1.quando sin o

1. e coi o

0. Escrevendo
o valor da energia que coi o

(1)
1=1
R
= 0. podemos expandir na proximidade
desta energia, podemos escrever
o

(1)
2
I
(1 1
1
) C
_
(1 1
1
)
2
_
.
onde
d
d1
coi o

(1)

1=1
R
=
2
I
.
obtenha a frmula de Breit-Wigner para a resonncia,
o

4: (2/ 1)
/
2
_

2
_
2
(1 1
1
)
2

2
_
2
.
(c) Como discutimos, a presena de resonncia considerado a existncia de um
estado "quase ligados". Que tipo de estado quase ligado que resulta na resonncia
acima?
8. O espalhamento por um potencial Coulombiano pode ser resolvido exatamente, sem
utilizar a aproximao de Born. Consideramos a equao de Schrdinger para a coor-
denada relativa :,
_

~
2
2j
\
2

22
t
c
2
:
_
,
1
(:) = 1,
1
(:) .
Escrevendo
1 =
~
2
/
2
2j
=
1
2
j
2
. =
22
t
c
2
~
.
temos
_
\
2
/
2

2/
:
_
,
1
(:) = 0.
(a) Se colocamos
,
1
(:) = c
iI:
, (: .) .
a funo , () dada pela funo hipergeomtrica conuente
, () = c1 (i: 1: i/) .
onde c uma constante e a funo hipergeomtrica conuente 1 (c: /: .) denida
como a soluo da equao,
.
d
2
1
d.
2
(/ .)
d1
d.
c1 = 0.
106
Aqui, 1 normalizada como 1 (c: /: 0) = 1.
(b) Utilizando a forma asinttica de 1, demonstre que
,
1
(:) ~ cxp [i (/. ln (: .))[
_
1

2
i/ (: .)

_
[v:[o
,
C
(o)
1
:
cxp [i (/: 2 ln 2/:)[ (264)
onde
,
C
(o) =
cxp
_
i ln
_
sin
2 0
2
_
2i/ sin
2 0
2
I(1 i)
I(i)
(c) O fator,
cxp [i (/. ln (: .))[
nunca converge a uma onda plana mesmo para [: .[ . Entretanto, demon-
stre que a corrente,

, =
1
j
Ic
_
,
+
1
(:)
~
i
\,
1
(:)
_
converge a

,
iac
= =
~/
j
para . .
(d) Calcule a corrente para a parte da onda espalhada e demonstre que

,
ccj
=
:
:
3
[, (o)[
2
.
(e) Calcule a seo de choque diferencial e compare o resultado com a seo de choque
clssica de Rutherford.
A. Equao de Klein-Gordan
A equao de Schrdinger para uma partcula livre de massa repousa :
0
,
i~
J
Jt
(t. ~r) =
~ p
2
2:
0
(t. ~r) (265)
107
ovbiamente no covariante, pois as derivadas temporal e espacial entram na equao de
forma no simtrica. Uma maneira imediata de obter a equao covariante utilizar a
substituio,
1 i~
J
Jt
.
~ p
~
i
~
\ .
na relao de energia-momento,
(1,c)
2
~ p
2
= (:
0
c)
2
Assim, obtemos a Equao de Klein-Gordan,
(i~
J
cJt
)
2
c(t. ~r) (
~
i
~
\)
2
c(t. ~r) = (:
0
c)
2
c(t. ~r)
ou
(J
j
J
j
j
2
)c(t. ~r) = ( j
2
)c(t. ~r) = 0 (266)
onde j = :
0
c,~.
Exercise 17 Exerccio: Determine a dimenso do j. (A quantidade, 1,j chamada o
complimento de Planck da partcula).
A equao (266) covariante se a funo c(t. ~r) escalar, pois o operador entre parentese
escalar como visto no Exerccio anterior).
B. Interao Eletromagntica
Consideramos o movimento de uma partcula carregada num campo eltrico

1 =

1(:. t)
e magntico

1 =

1(:. t). Primeira, vamos ver a mecanica clssica no relativstica. A fora
de Lorentz que atua para a partcula com carga c dada por

1 = c
_

1
1
c
1
_
. (267)
Agora, escolhendo o potencial escalar 4 = 4(:. t) e o potencial vetorial

(:. t), podemos
sempre escrever

1 =
1
c
J

Jt
\4. (268)

1 = \

. (269)
108
Assim, em termos destes potenciais, a fora de Lorentz expressa por

1 = c
_

1
c
J

Jt
\4 \
1
c

_
.
Mas
\

= \(

) ( \)

. (270)
ento

1 = c
_

1
c
J

Jt
\4 \(
1
c

) ( \)
1
c

_
. (271)
Agora, o campo vetorial

depende no tempo e na posio,

=

(:. t).
onde : e t so variveis independentes. Mas a variao temporal deste campo d vista pela
partcula carregada num intervalo do tempo, [t. t dt[ ser dada por
d

=

(: dt. t dt)

(:. t)
=
_

a
J

Jr

j
J

J

:
J

J.

J

Jt
_
dt
=
_
( \)


J

Jt
_
dt.
pois a partcula se move a distncia, dt. Assim, temos
d

dt
= ( \)


J

Jt
. (272)
Substituindo esta expresso na Eq.(271), temos

1 = c
_

1
c
d

dt
\4 \(
1
c

)
_
. (273)
A equao de movimento da partcula carregada ca ento,
:
d
2
:
dt
2
= c
_

1
c
d

dt
\4 \(
1
c

)
_
. (274)
ou
d
dt
_
:
d:
dt

c
c

_
= \
_
c4
c
c
(

)
_
. (275)
109
Pela inspeco, esta equao pode ser escrita na forma de uma equao de Euler-Lagrange,
d
dt
J1
J
_
ov
ot
_ = \1. (276)
se escolhemos
1 =
1
2
:
_
d:
dt
_
2

c
c
_
d:
dt
_

c4 (277)
=
1
2
:
2

c
c
_

_
c4. (278)
onde a velocidade da partcula. Quando comparar com a forma,
1 = 1 l. (279)
ento,
l = c4
c
c
_

_
. (280)
Isto , o potencial correspondente a interao com o campo eletromagntico depende no s
da posio mas tambm depende da velocidade da partcula. Note que, devido a dependencia
em do potencial l, o momento canonico para : j no mais :. Temos
j =
J1
J
= :
c
c

,= : ! (281)
O Hamiltoniano ca
H = j 1
=
:
2

2
c4
=
1
2:
_
j
c
c

_
2
\ c4
Assim, a relao de energia e momento para uma partcula no relativstica dada por
1 c4 =
1
2:
_
j
c
c

_
2
. (282)
A generalizao relativstica da equao acima pode ser obtida, considerando que
j
j
=
_
_
1,c
j
_
_
e

j
=
_
_
4

_
_
110
so quadri-vetores, podemos denir quadri-vetor
j
j

c
c

j
=
_
_
(1 c4) ,c
j c,c

_
_
.
e interpretar a Eq.(282) como sendo o limite no relativstico da condio de mdulo con-
stante deste vetor,
_
j
j

c
c

j
_
2
= (:c)
2
. (283)
Da relao acima, e substituio,
j
j
i~J
j
=
_
_
i~J
0
i~\
_
_
.
temos a equao de Klein-Gordan para uma partcula carregada, interagindo com um campo
eltromagntico,
_
(i~J
t
c4)
2
,c
2

_
~
i
\c,c

_
2
(:c)
2
_
c(:. t) = 0.
ou
_
_
J
j
i
c
~c

j
_
2
j
2
_
c = 0 (284)
C. Limite No Relativstico
Para recuperar a equao de Schrdinger, suponhamos que a soluo tenha a forma:
c(t. ~r) = c
ij a
0
(t. ~r). (285)
com r
0
= ct. Substituindo na Eq.(266), o termo de j
2
cancela com a segunda derivada em
t do pre-fator c
ij a
0
e temos
2ij
J
Jr
0
(t. ~r) (
J
Jr
0
)
2
(t. ~r)
~
\
2
(t. ~r) = 0 (286)
Se a magnitude da variao espacial da funo (t. ~r) comparvel com a da variao
temporal num sistema de unidade onde c 1 (o que caso num movimento no relativstico)

~
\(t. ~r)

~ [J
t
(t. ~r)[ .
ento podemos desprezar o segundo termo em relao outras, pois

~
\(t. ~r)

1
c
[J
t
(t. ~r)[ (287)
111
Assim, temos
i~
J
Jt
(t. ~r) =
~
2
2:
0
~
\
2
(t. ~r) (288)
que a equao de Schrdinger de uma partcula livre.
Se tiver o efeito de campo eletromagntico, em vez da Eq.(266), utilizando a Eq.(284),
mantendo somente os termos de ordem mais baixa em relao a (1,c) . temos a Equao de
Schrdinger de uma partcula carregada no campo eletromagntico.
i~
J
Jt
(t. ~r) =
_

~
2
2:
0
_
~
\i
c
~c

_
2
c4
_
(t. ~r)
D. Soluo de Onda Plana
Eq.(266) tem a soluo de onda plana,
c
()
~ p
(r) = c
(
i
~
ja
= c
(
i
~
(j
0
ct ~ p~r)
(289)
onde ~ p constitui 3 parametros livres que especifca a onda plana e
j
0
=
_
~ p
2
(:
0
c)
2
(290)
A soluo geral a combinao linear destas ondas planas.
c(r) =
_
d
3
~ p [c
p
c

i
~
ja
/
p
c
+
i
~
ja
[ (291)
Para explicitar a covarincia da soluo, podemos re-escrever a soluo acima por
c(r) =
_
dj
0
d
3
~ p o(j
0

_
~ p
2
(:
0
c)
2
) [c
p
c

i
~
ja
/
p
c
+
i
~
ja
[
=
_
d
4
j o(j
2
(:
0
c)
2
)O(j
0
) [c(j)c

i
~
ja
/(j)c
+
i
~
ja
[ (292)
onde O a funo de Heaviside e denimos c(j) = 2j
0
c
p
e /(j) = 2j
0
/
p
. Desta forma,
se c(j) e /(j) so funes escalares de j, podemos ver claramente que c(r) uma funo
escalar.
E. Corrente Conservada
Como vimos, o fato de que c um escalar garante que a equao de Klein-Gordan
covariante. Por outro lado, j que c escalar, ele no pode ser interpretado como a
112
amplitude de probabilidade. Ou seja,
[c[
2
j
no pode ser feita, pois a densidade de probabilidade j no escalar. A densidade de
probabilidade necessariamente o 0-esmo componente de um quadrivetor. Isto pode ser
visto pela equao de continuidade,
Jj
Jt
\ j = 0 (293)
onde j a corrente de probabilidade. Para a equao de continuidade seja uma expresso
covariante, j e j devem formar um quadrivetor,
,
j
= cj. j (294)
Da equao de Klein-Gordan, podemos vericar que a quantidade
,
j
=
i~
2:
0
(c
+
J
j
c cJ
j
c
+
) =
i~
2:
0
(c
+

J
j
c). (295)
satisfaz o requisito de ser quadrivetor para densidade de probabilidade, onde o operador com
a seta dupla denido por

J 1 = (J1) (J) 1.
A constante em frente da parentese foi introduzido para reproduzir a expresso de den-
sidade e corrente da probabilidade no caso de no relativstico. De fato substituindo
c = c
in
0
c
2
t~
(t. r) e tomando at primeira ordem em 1,c, temos
j =
+
. j =
~
2:
0
i
(
+

\) (296)
reproduzindo corretamente a densidade de probabilidade e corrente no caso de Equao de
Schrdinger.
Entretanto, para regime relativstica, a denio de densidade de probabilidade
j =
i~
2:
0
c
(c
+
J
t
c cJ
t
c
+
) (297)
encontra-se a diculdade, pois esta no garante a positividade da densidade de probabilidade.
Assim, temos um dilema: Para aceitar a Equao de Klein-Gordan como a generalizao de
Equao de Schrdinger para situao relativstica, c tem que ser escalar, mas seu mdulo
quadrado no oferece a densidade de probabilidade.
113
F. Campo de Meson
Naturalmente, se j da Eq.(297) no precisa ser interpretada como a densidade de prob-
abilidade, a equao de Klein-Gordan pode ser utilizada para descrever a dinmica de um
campo relativstica. (Neste caso, j pode ser interpretada como a densida de de carga.)
Em analogia de campo eletrostatico, podemos consider o campo c esttica com uma fonte
localizada em origem. A equao para este caso ca
\
2
c j
2
c = qo(r) (298)
cuja soluo dada por
c(r) =
q
4:
c
j v
:
(299)
que conhecida pelo potencial de Yukawa para fora de curto alcance.
G. Equao de Dirac
Para resolver a dilema, Dirac considerou a seguinte possibilidade. Lembrando que uma
partcula que tem o grau de liberdade intrinsca, a funo de onda pode ser expressa em
termos de vetor de coluna que tem mais que um componente. Vamos supor que a funo de
onda de uma partcula relativstica descrita por um vetor de coluna de : componentes.
(r) =
_
_
_
_
_
_
_
_

2
.
.
.

a
_
_
_
_
_
_
_
_
(300)
A diculdade de denir a densidade de probabilidade no negativa no caso de Equao de
Klein-Gordan vem de fato que a equao contem a derivada de segunda ordem em tempo. As-
sim, supormos que a desejada equao relativstica seja uma equao diferencial de primera
ordem no tempo. Neste caso, devido a simetria em tempo e espao, a equao deve ser
tambm linear em derivada espacial. Assim, a forma mais geral deve ser
i(
0
J
0

1
J
1

2
J
2

3
J
3
) = j (301)
114
onde
j
=
0
.
1
.
2
.
3
so matrizes : :, e a constante no lado direito foi escolhido
como j = :
0
c,~ sem perder generalidade. Para compactar a notao, escrevemos tambm
(i J j) = 0 (302)
Agora, impormos que esta equao tenha a soluo de onda plana equivalente a equao de
Klein-Gordan. Para isto, suciente que a Eq.(302) reduza a Equao de Kelin-Gordan.
Multiplicando o operador (i J j) aos dois lados da Eq.(302), temos
[( J)
2
j
2
[ = 0 (303)
Lembrando as matrizes no necessariamente comutam entre si, temos
( J)
2
=

ji

&

i
J
j
J
i
=
1
2

ji
(
&

i

i

j
) J
j
J
i
(304)
Assim, se as matrizes satisfaz

&

i

i

j
= 2q
ji
(305)
Eq.(303) se torna a equao de Kelin-Gordan
_
J
j
J
j
j
2
_
= 0. (306)
Da Eq.(305), temos
(
0
)
2
= (
1
)
2
= (
2
)
2
= (
3
)
2
= 1 (307)
portanto os autovalores de
0
1. Por outro lado, temos por exemplo,

1

1

0
= 0
ou

0
=
1

0
(
1
)
1
(308)
Mas como (
1
)
2
= 1, ento, (
1
)
1
=
1
. Assim,

0
=
1

1
(309)
Tomando o trao de dois lados, temos
1
v
(
0
) = 1
v
(
1

1
) = 1
v
(
1

0
) = 1
v
(
0
) (310)
115
mostrando que o trao da matriz
0
nulo. Podemos mostrar analogamente os traos das
demais matrizes so nulos. Juntando o fato de que os autovalores de
0
so 1 e seu trao
nulo, concluimos que a dimenso desta matriz : tem que ser par. Naturalmente : 0, as
possibilidades so : = 2. 4. 0. ... Entretanto, : = 2 impossivel construir as matrizes que
satisfazem Eq.(305). Assim, o menor valor de : para qual existem 4 matrizes que satisfazem
Eq.(305) 4.
Vamos estudar o caso : = 4.
Exerccios :
1. Prove que : = 2 impossvel.
2. Mostre que
i
(i = 1. 2. 3) matiz antihermitiana.
3. Mostre que
j|
=
0

0
.
4. Mostre que (: = 4) .
1:(
i
) = 0. i = 1. 2. 3.
1:(
j

i
) = 4q
ji
1:(
j

A
) = 0 (em geral, o trao de produtos de mpar nulo).
1:(
j

o
) = 4(q
ji
q
Ao
q
jA
q
io
q
jo
q
iA
)
Para obter uma representao explicita, podemos escolher uma base tal que
0
seja di-
agonal tendo a forma

0
=
_
_
_
_
_
_
_
1 0 0 0
0 1 0 0
0 0 1 0
0 0 0 1
_
_
_
_
_
_
_
(311)
Da relao
i
=
0

0
e considerando que
i
anti-hermitiano, podemos escolher que as

i
s tem a forma

i
=
_
_
0 o
i
o
i
0
_
_
(312)
onde o
i
a matriz hermitiana 2 2. As relaoes de anticomutadores entre
i
em termos de
o
i
cam
o
i
o
)
o
)
o
i
= 2o
i)
(313)
116
Assim, podemos identidifar as o
i
s como as matrizes de Pauli. Desta forma, uma possvel
representao de matrizes

0
=
_
_
_
_
_
_
_
1 0 0 0
0 1 0 0
0 0 1 0
0 0 0 1
_
_
_
_
_
_
_
.
1
=
_
_
_
_
_
_
_
0 0 0 1
0 0 1 0
0 1 0 0
1 0 0 0
_
_
_
_
_
_
_
.
2
=
_
_
_
_
_
_
_
0 0 0 i
0 0 i 0
0 i 0 0
i 0 0 0
_
_
_
_
_
_
_
.
3
=
_
_
_
_
_
_
_
0 0 1 0
0 0 0 1
1 0 0 0
0 1 0 0
_
_
_
_
_
_
_
XIV. LORENTZ TRANSFORMATION OF DIRAC EQUATION
Nos vimos que, se c um escalar a equao de Klein-Gordan covariante, e conse-
quentemente no pode interpretar como equao para amplitude de probabilidade. Mas isto
no quer dizer que a Eq.(306) no permite outra possibilidade. Sendo um vetor coluna,
podemos ter possibilidade de que, quando muda um sistema de referencia para outra,
pode se transformar como

t
= o.
sendo o uma matriz (: :) .que depende de transformao de Lorentz correspondente,
o = o (A) .
Obviamente, para uma transformao de sistema,
r
j
Queremos que a Eq.(302) mantenha sua forma quando visto de um outro sistema de
referencia relacionado por uma transformao de Lorentz. Sob a transformao de Lorentz,
os coordenadas se transformam como
r
tj
= A
j
i
r
i
.
r
j
= A
j
i
r
ti
e consequentemente as derivadas transformam como
J
t
j
=
Jr
i
Jr
tj
J
i
= A
i
j
J
i
. (314)
117
Supormos que a funo de onda tambm se transforma como
(r)
t
(r
t
) = o (r) . (315)
onde o uma matriz que funo de A.
o = o (A) .
A Eq.(302) no sistema transformado
i
j
J
t
j

t
(r
t
) = j
t
(r
t
)
Substituindo Eqs.(314) e (315), temos
i
j
oA
i
j
J
i
(r) = jo (r)
ou
i
_
o
1

j
o
_
A
i
j
J
i
(r) = j (r)
Para guarantir a covariancia, temos que ter
_
o
1

j
o
_
A
i
j
=
i
ou
o
1

j
o = A
j
i

i
. (316)
Essa equao determina quem a matriz o para uma dada transformao de Lorentz A.
Vamos estudar um pouco a propriedade geral desta matriz.
No primeiro lugar, vamos deduzir a equao de continuidade a partir da Eq.(302). Para
isto, reescrevemos a Eq.(302) como
i
0
J
0
i \ = j
Multiplicando
0
e transferindo o termo que contem \.temos
i~
J
Jt
=
_
c c
~
i
\ :c
2

0
_
(317)
onde recuperamos ~ e c. com j = :c,~ e denimos
c =
0
=
_
_
0 o
o 0
_
_
.
118
A Eq.(317) tem a forma de uma equao de Schrdinger,
i~
J
Jt
= H.
onde
H = c c
~
i
\ :c
2

0
= c c j :c
2

0
.
o Hamiltoniano da Equao de Dirac.
Utilizando o mtodo analogo, podemos deduzir a equao de continuidade,
Jj
Jt
\

, = 0.
onde
j = [[
2
.

, = c
|
c
XV. SIMETRIA DE CALIBRE
A discusso extensa sobre a simetria unitria para os sabores de partculas elementares
acima foi desenvolvida na decada 60. Essa simetria global no sentido de a transformao
de simetria atua em todos os pontos no espao-tempo universalmente. Embora a simetria
de sabores revelou uma estrutura de partculas elementares, na verdade no esclareceu a
origem da sua interao.
Para tratar simtrias nas descries de interaes entre partculas elementares, no
podemos deixar de falar a simetria de calibre. Aqui, apresentamos um conceito bsico
de simetria de calibre.
Consideramos um sistema de osciladores harmnicos,
i
(t) . i = 1. .... i. .... . localizados
nos pontos unidimensional r
i
. i = 1. 2. ... igualmente espaados com distncia ^. Seja
Lagrangiana 1 do sistema dada por
1 =
^
2

i
_
d
i
dt
_
2

^
2

i
_

i1
^
_
2
. (318)
119
onde o vetor um elemento de espao vetorial \ abstrato, e no tem relao com o nosso
espao tridimensional. Para evitar confuso de indices, denotamos

i
(t) (t. r
i
) .
tal forma que consideramos (r) como um campo. No limite contnuo, ^ 0.temos
1
_
dr
_
1
2
_
J
Jt
_
2

1
2
_
J
Jr
_
2
_
. (319)
Para observar a quantidade no ponto r
i
. devemos introduzir uma base, c
n
. : = 1. ... :
onde : a dimenso de \. de tal forma que os produtos escalares

n
= (c
n
. ) . : = 1. ... : (320)
denem os valores observados (aqui estamos falando ainda no sentido da mecnica clssica)
do campo . Assim, introduzimos notao
q
Obc
=
_
_
_
_
_
(c
1
. )
.
.
.
(c
v
. )
_
_
_
_
_
para o campo observavel. importante notar que a base no espao vetorial \ de um ponto
r
i
pode ser dependente do ponto r
i
. tambm pode depender do tempo. Ou seja, no temos
garantia de que uma base escolhido num ponto num instante tem que ser igual ao resto dos
pontos e tempo. Assim, devemos considerar em cada ponto r
i
,
c
n
(t. r
i
) . : = 1. ... : .
Invertendo a relao acima, temos
=

n
c
n
(c
n
. ) . (321)
Introduzindo um outro conjuto de base comun a todos os pontos e tempo (base universal),
_

n
. : = 1. ... :
_
. podemos escrever
_

n
.
_
=

|
_

|
. c
n
_
(c
n
. ) .
120
Podemos denir um vetor coluna,
q
1Ijc
=
_
_
_
_
_
_

1
.
_
.
.
.
_

v
.
_
_
_
_
_
_
.
e ele equivalente ao campo original. Entretanto, note que esse vetor no observvel,
pois no podemos ter acesso a base universal
_

n
. : = 1. ... :
_
. A relao entre q
1Ijc
e q
Obc
ca
q
1Ijc
= ` q
Obc
onde ` um matriz,
` = (`
|n
)
com
`
|n
=
_

|
. c
n
_
.
Como a base c
n
(t. r) . : = 1. ... : depende em t e r.
` = ` (t. r) .
Podemos escrever a Lagrangiana em termos de observveis fsicas,
1 =
_
dr
_
1
2
_
J q
1Ijc
Jt
_
2

1
2
_
J q
1Ijc
Jr
_
2
_
=
_
dr
_
1
2
_
J (` q
Obc
)
Jt
_
2

1
2
_
J (` q
Obc
)
Jr
_
2
_
=
_
dr
_
1
2
__
J
Jt
`
T
J`
Jt
_
q
Obc
_
2

1
2
__
J
Jr
`
T
J`
Jr
_
q
Obc
_
2
_
.
onde utilizamos o fato de que a matriz ` uma matriz ortogonal. Agora, introduzimos um
campo matricial
_

G
j
. j = 0. 1
_
(observvel)

G
0
=
i
q
`
T
J`
Jt
.

G
1
=
i
q
`
T
J`
Jr
.
ou seja, na notao relativstica,

G
j
=
i
q
`
T
J
j
`. (322)
121
onde q um constante que ajusta a dimenso do observvel

G. O simbolo,foi introduzido
para emfatizar que

G matriz no espao de representao do grupo da simetria. De fato,
um operador
l (r. r dr) = c
g
i
b
Goa

transporta um vetor q
Obc
no ponto r para o ponto r dr.
q

(r r dr) = l (r. r dr) q

Obc
(r) . (323)
Os campos

G
j
ento escritos como combinao linear de geradores da algebra de Lie do
grupo,

G
j
=

i
j
(r) `
i
.
com `
i
: os geradores do grupo de simetria, satisfazendo a algebra de Lie correspondente,
[ `
i
. `
)
[ =

I
C
i,)
I
`
I
. (324)
Introduzimos a derivada covariante por,
1
0
=
J
Jt

q
i

G
0
.
1
1
=
J
Jr

q
i

G
1
.
ou em geral,
1
j
= J
j

q
i

G
j
(325)
Eno, temos
1
_
q
Obc
.

G
j
_
=
_
dr
_
1
2
(1
0
q
Obc
)
2

1
2
(1
1
q
Obc
)
2
_
=
_
dr 1
j
q
Obc
1
j
q
Obc
(326)
Embora a Lagrangiana acima tem duas variveis, q
Obc
e G
j
. a fsica descrita por q
1Ijc
.
Ou seja, se introduzimos uma transformao em q
Obc
e G
j
de tal que
q
Obc
q
t
Obc
= l q
Obc
. (327)

G
j


G
t
j
=
i
q
_
`l
T
_
T
J
_
`l
T
_
Jr
j
= l

G
j
l
T

i
q
l
Jl
T
Jr
j
(328)
122
a Lagrangiana ca invariante. Isto porque, a transformao acima mantem q
1Ijc
invariante,
q
1Ijc
q
t
1Ijc
= `l
T
l q
Obc
= q
1Ijc
O conjunto de transformaes, Eqs.(327) e (328) conhecido como transformao de
calbre, e primeiramente reconhecida no contexto de eletromagnetismo. A equao de
Schrdinger para uma partcula carregada num campo eletromagntico, expresso por po-
tencial eletromagntico,
_
c.

_
dada por
i~
J
Jt
(t. :) =
_
1
2:
_
~
i
\
c
c

_
2
cc
_
(t. :) . (329)
Notamos que, se introduzimos uma transformao de fase da funo de onda,
(t. :) (t. :)
t
= c
i
~
(t,v)
(t. :) .
com a fase arbitrrio, (t. :) . a equao acima ca
i~
J
Jt
(t. :)
t

J
Jt
(t. :)
t
=
_
1
2:
_
~
i
\\
c
c

_
2
cc
_
(t. :)
t
.
Introduzindo
cc
t
= cc
J
Jt
.
c
c

t
=
c
c

\.
a equao ca
i~
J
Jt
(t. :)
t
=
_
1
2:
_
~
i
\
c
c

t
_
2
cc
t
_
(t. :)
t
. (330)
Isto , a equao de Schrdinger de uma partcula carregada ca invariante sob a transfor-
mao de calbre,
(t. :) (t. :)
t
= c
i
~
(t,v)
(t. :) . (331)
cc
t
= cc
J
Jt
. (332)
c
c

t
=
c
c

\. (333)
123
A situao muito parecida com o que discutimos anteriormente. Para ver isto, podemos
associar um vetor de 2 componentes para a funo de onda .separando as partes real e
imaginaria como


=
_
_
Ic
Im
_
_
.
Nesta representao, a transformao de fase em ca

t
= c
i
~

=
_
cos

~
i sin

~
_
(Ic i Im)
= cos

~
Ic sin

~
Im

_
cos

~
Im sin

~
Ic
_
e, portanto,

t
=
_
_
cos

~
Ic sin

~
Im
cos

~
Im sin

~
Ic
_
_
=
_
_
cos

~
sin

~
sin

~
cos

~
_
_
_
_
Ic
Im
_
_
= l

.
Este uma transformao C(2) l(1). Consequentemente
l
Jl
T
Jt
=
_
_
0
1
~
0
0t

1
~
0
0t
0
_
_
.
l
Jl
T
Jr
=
_
_
0
1
~
0
0a

1
~
0
0a
0
_
_
.
e denindo

G
0
=
c
i
_
_
0 c
c 0
_
_
.

G
1
=
c
i
_
_
0
a
,c

a
,c 0
_
_
.
124
com q c. podemos de fato vericar que as transformaes, Eqs.(331,332,333) so equiva-
lente a Eqs.(327,328). Neste caso, o grupo de simetria tem um nico parametro real,
_
_
cos

~
sin

~
sin

~
cos

~
_
_
e o gerador do grupo
` =
1
i
_
_
0 1
1 0
_
_
.
Assim, vimos que a interao de campo eletromagntico com partcula carregada de-
scrita numa forma de teoria de calibre, com simetria de transformao C(2) l(1). Esse
grupo um grupo Abeliano. Note que os campos de calbre so essencialmente os geradores
de grupo da simetria em questo.
XVI. DINMICA DE CAMPO DE CALBRE
Os campos de calbre tambm podem ter sua dinmica prpria, como no caso de campo
eltromagntica. Neste caso, a expresso, Eq.(322) no ca vlida, pois para um dado
campo de calbre
j
(:. t) .pode no existir ` para satisfazer Eq.(322) na forma universal.
Para um dado
j
(:. t) . no podemos obter ` de forma univoca, pois a soluo depende
de condio de contornos. Mesmo assim, a estrutura descrita acima continua valendo. A
situao parecido com a gravitao. A mudana de sistema de coordenadas, aceleradas,
pode gerar a fora, equivalente a fora gravitacional. Assim, podemos considerar localmente
a fora gravitacional equivalente a mudana de sistema de coordenadas. Por outro lado,
no podemos eliminar todo o campo gravitacional por simples transformao de sistema de
coordenadas, quando existe um fonte para o campo gravitacional. No nosso caso, se o campo
de calbre for sempre escrito como na Eq.(322), podemos escolher uma transformao,
l = `
1
.
ento
t
j
= 0.
125
A. Campo Eletromagntico
No caso de campo eletromagntico, conhecido que a densidade de Lagrangiana de um
campo livre ca escrita como
/
1A
=
c
0
2

1
2

1
2j
0

1
2
=
1
4j
0
1
ji
1
ji
(334)
onde
1
ji
= 1
ji
_

1.

1
_
=
_
_
_
_
_
_
_
0 1
a
,c 1
j
,c 1
:
,c
1
a
,c 0 1
:
1
j
1
j
,c 1
:
0 1
:
1
:
,c 1
j
1
:
0
_
_
_
_
_
_
_
e
1
ji
= 1
ji
_

1.

1
_
.
Note que podemos escrever
1
ji
= J
j

i
J
i

j
. (335)
com

j
=
_
c
c
.

_
.
e

1 =
J

Jt
\c.

1 = \

Note que o tensor de campo eletromagntico 1

ji
invariante sob a transformao de
calbre,
1
t
ji
= 1
ji
_

1
t
.

1
t
_
= 1
ji
_

1.

1
_
.
pois os prprios campos eletromagnticos
_

1.

1
_
so invariante sob a transformao de
calbre.
126
B. Caso de Simetria de Grupo No Abeliano
A primeira formulao de teoria de calbre foi feito por Yang e Mills na decada 50,
motivada de introduzir o principio de localidade numa teoria de campo com simetria unitria.
Para um grupo de simetria no Abeliano, a dinmica do campo de calbre deve ser descrita
tambm pela uma densidade de Lagrangiana,
/
Co|ibvc
=
1
4
1:
_

1
ji

1
ji
_
(336)
onde agora os elementos do tensor

1
ji
no so constituidos por nmeros normais, mas
matrizes associadas a

G
j
. O trao necessrio para ter um escalar para /
Co|ibvc
. Aqui, o
tensor

1
ji
tem que ser invariante sob a transformao de calbre.
Para a forma de

1
ji
. a Eq.(335) sugere que

1
ji
?
J
j

G
i
J
i

G
j
. (337)
Entretanto, no caso de um grupo no abeliano, podemos ver facilmente que a expresso
acima no ca invariante sob a transformao de calbre. Isto porque, como vimos na
Eq.(323), o campo

G
j
(r) dr
j
um espcie de gerador de transformao de calbre, para
transportar um vetor no espao \ de um ponto r ao ponto de visinhana r dr. Como no
ponto r dr transforma diferentemente no ponto r, precisamos um espcie de conexo an
para a derivada na Eq.(337).
A resposta correta para

1
ji
dada por

1
ji
=
i
q
[1
j
. 1
j
[
= J
j

G
i
J
i

G
j
iq
_

G
i
.

G
i
_
.
A expresso acima est ligado a curvatura associado a conexo entre os espaos \ denidos
em cada ponto de espao tempo. Finalmente, um teoria de campo de calbre pode ser escrita
em termos de densidade de Lagrangiana,
/ = /
Co|vbvc
/
Aot cvio
onde /
Co|vbvc
dada pela Eq.(336) e /
Aot cvio
obtida da densidade de Lagrangiana de um
campo livre, substituindo as derivadas espaciais J
j
por derivadas covariante Eq.(325). Por
127
exemplo, a densidade de Lagrangiana de uma equao de Dirac de partcula livre de massa
:
/
1ivoc
=

(i
j
J
j
:) .
onde um spinor de Dirac. Se existem : campos
=
_
_
_
_
_

1
.
.
.

.
_
_
_
_
_
sendo cada
i
spinor de Dirac, a densidade de Lagrangiana da matria que acopla com o
campo de calibre ca
/
Aot cvio
=

(i
j
1
j
:) .
Para uma teoria de calbre de grupo de simetria ol(:). ento, teremos : campos para
representar a matria (ou seja, : tipo de partculas) e os campos de calibre (os campos
vetoriais) com mesmo nmero de geradores do grupo, ou seja, :
2
1. Hoje, acreditamos que
as teorias para descrever as interaes fundamentais entre partculas elementares devem ser
teoria de calbre. No caso de interao eletro-fraca, o grupo de simetria l (1) ol(2)
(teoria de Salam-Glashow-Weiberg) e no caso da interao forte, o grupo ol(3) para graus
de liberdade de cores de quarks (cromodinmica quntica). No caso de eletrofraca, temos no
total de 1 (2
2
1) = 4 campos de calbres. Esses 4 campos de calbres so ftons para
interao eletromagntica, e 2 e \

para interaes fracas. No caso de Cromodinmica,

temos 3
2
1 = 8 campos de calbre, os gluons.
128
[1] O subscripto o foi introduzido para explicitar que este a funo de Green associado ao Hamil-
toniano H
0
.
[2] A amplitude do campo eletromagntico atua como operador nos estados de eltrons, pois na
representao de coordenadas, o campo uma funo de posio.
129