Teoria Clssica de Campos

Mario C. Bertin
17 de junho de 2015

Sumrio
1 Transformaes de Lorentz
1.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2 Postulados fundamentais da relatividade restrita . . . . . . . . . . . .
1.3 Transformaes de Lorentz . . . . . . . . . . . . . . . . . . . . . . . . .
1.4 Composio de velocidades, contrao de Lorentz e dilatao do tempo
1.5 O espao-tempo de Minkowski . . . . . . . . . . . . . . . . . . . . . . . .
1.6 A partcula livre relativstica . . . . . . . . . . . . . . . . . . . . . . . .

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

5
5
6
7
10
12
13

2 Transformaes infinitesimais
2.1 Transformaes infinitesimais em Rn
2.2 Evoluo temporal . . . . . . . . . . . .
2.3 Translaes . . . . . . . . . . . . . . . .
2.4 Rotaes . . . . . . . . . . . . . . . . .

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

15
15
16
17
18

3 A geometria de Minkowski
3.1 Vetores e covetores de Lorentz . . . . . . . . . . . .
3.2 Tensores . . . . . . . . . . . . . . . . . . . . . . . .
3.3 Ortogonalidade e os grupos de Lorentz e Poincar
3.4 lgebra de Lorentz . . . . . . . . . . . . . . . . . .
3.5 A representao adjunta . . . . . . . . . . . . . . .
3.6 Invariantes . . . . . . . . . . . . . . . . . . . . . . .

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

21
21
23
24
24
26
28

4 O formalismo lagrangiano para campos

4.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.2 Variaes . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.3 A primeira variao da ao . . . . . . . . . . . . . . . . . .
4.4 Os termos de fronteira . . . . . . . . . . . . . . . . . . . . .
4.5 Os princpios de Hamilton e Weiss e as equaes de campo

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

31
31
32
34
37
38

5 Os teoremas de Noether
5.1 Simetrias . . . . . . . . . . . . . . . . . . . . . . . . .
5.2 A equao de Lie . . . . . . . . . . . . . . . . . . . . .
5.3 O primeiro teorema . . . . . . . . . . . . . . . . . . .
5.4 Cargas conservadas . . . . . . . . . . . . . . . . . . .
5.5 Translaes e a conservao de energia e momento .
5.6 Rotaes, momento angular e spin . . . . . . . . . .
5.7 O segundo teorema . . . . . . . . . . . . . . . . . . .
5.8 Invariantes . . . . . . . . . . . . . . . . . . . . . . . .

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

41
41
42
43
45
46
50
53
56

6 O campo escalar
6.1 O campo escalar real . . . . . . . . .
6.2 O campo escalar complexo . . . . . .
6.3 Simetrias internas . . . . . . . . . .
6.4 Simetrias de gauge locais e interao

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

59
59
61
61
62

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

7 O campo eletromagntico
7.1 O campo vetorial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
7.2 O campo eletromagntico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
7.3 Liberdade de gauge . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

65
65
68
72

8 Campos espinoriais
8.1 A lgebra de Clifford relativstica . . . . . . . . . . . . . . . . . . . . .
8.2 Rotaes: a representao espinorial das transformaes de Lorentz
8.3 Representaes de spin . . . . . . . . . . . . . . . . . . . . . . . . . . .
8.4 Espinores de Weyl . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
8.5 A ao de Dirac . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
8.6 Aplicando o princpio de Weiss . . . . . . . . . . . . . . . . . . . . . . .

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

75
75
79
82
86
86
88

9 Campos de Gauge
9.1 Revisitando o campo escalar . . .
9.2 Transformaes de gauge globais
9.3 Transformaes de gauge locais .
9.4 A lagrangiana invariante . . . . .
Referncias . . . . . . . . . . . . . . . .

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

91
91
92
94
97
99

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

Captulo 1

Transformaes de Lorentz
1.1

Introduo

Na mecnica clssica, a trajetria de uma partcula descrita a partir da segunda lei de

Newton
F=

dp
,
dt

(1.1)

em que p = mv, sendo m a massa e v = x = dx/dt a velocidade da partcula, definida a partir

da escolha de um sistema de coordenadas no espao retangular R3 . A posio da partcula
pode ser representada por um vetor posio x = (x, y, z), em que x, y e z so nmero reais
relacionados a trs eixos cartesianos ex , ey e ez . A escolha de um sistema de coordenadas que
descreve o movimento de uma partcula em R3 o equivalente fsico escolha de um sistema
de referncia a partir do qual qualquer medida sobre o sistema pode ser tomada. Segundo
a primeira lei de Newton, se a fora resultante que age sobre uma partcula nula, existe
sempre um sistema referencial para o qual a velocidade da partcula constante em sentido,
direo e mdulo. Um referencial que obedece a essa propriedade chamado referencial
inercial, e uma das propriedades mais importantes da dinmica de um sistema clssico que
(1.1) continua vlis ou, dito de outra forma, covariante em qualquer desses referenciais.
Dizemos, assim, que o sistema fsico invariante sob a escolha entre referenciais inerciais.
Esta invarincia retira do espao o carter absoluto que lhe havia atribudo a mecnica
de Aristteles. Por outro lado, outra suposio fundamental da mecnica newtoniana sobre
a natureza imutvel do tempo. Para qualquer referencial inercial, a passagem do tempo deve
ser a mesma, o que implica que se dois referenciais inerciais so usados para descrever um
mesmo sistema, intervalos de tempo medidos por ambos possuem o mesmo valor absoluto.
Vamos supor uma partcula de massa m de fora resultante nula, que se move com velocidade v com relao a um determinado referencial inercial O, cujo sistema de coordenadas
seja dado por x = (x, y, z). Agora vamos supor um segundo referencial inercial O0 . Por simplicidade vamos escolher este segundo referencial de modo que seus eixos cartesianos sejam
paralelos aos eixos cartesianos de O e que, em t = 0, a origem dos dois sistemas coincida. O
sistema de coordenadas de O0 dado por x0 = (x0 , y 0 , z 0 ) e sua origem move-se com velocidade
u, constante, com relao a O. Ambos os sistemas de coordenadas esto relacionados por
x0 = x ut.

(1.2)

Lembremos que, segundo o carter absoluto do tempo, t0 = t. Se x (t) representa a trajetria

da partcula sob o ponto de vista de O, (1.2) tambm resulta na trajetria da partcula x0 (t)
medida pelo referencial O0 .
Neste caso, a velocidade da partcula medida por O0 dada por
v0 =

dx0
dx0
d
dx
=
=
(x ut) =
u = v u.
0
dt
dt
dt
dt

(1.3)

Esta a lei de composio de velocidades na mecnica newtoniana. Note que

p0 = mv0 =

dp0
dv0
dv
dp
=m
=m
=
,
dt
dt
dt
dt

(1.4)

desde que a massa seja constante. Este resultado implica que a acelerao de um sistema
invariante sob a escolha de referenciais inerciais. Para que a segunda lei (1.1) seja covariante,
uma fora F que age sobre a partcula tambm no pode depender da escolha do referencial
inercial.
Outro invariante sob a transformao (1.2) vem a ser a quantidade
ds2 = dx2 + dy 2 + dz 2 = dx dx,

(1.5)

que a mtrica euclidiana do espao cartesiano R3 . Tomando-se (1.2), temos

2

(ds0 ) = dx0 dx0 = dx dx = ds2 .

(1.6)

Dada a invarincia da mtrica, imediato notar que a norma dos vetores em R3 tambm
preservada, o que implica que distncias medidas por O devem ser as mesmas medidas por
O0 .
Portanto, os sistemas fsicos descritos pela mecnica clssica so invariantes pelas transformaes
x0 = x ut,

(1.7a)

(1.7b)

t = t,
que so chamadas transformaes de Galilei.

1.2

Postulados fundamentais da relatividade restrita

At o sculo XIX, a relatividade de Galilei era considerada uma propriedade dos sistemas
fsicos, em razo do grande sucesso da mecnica clssica. Contudo, na segunda metade do
sculo XIX as bases matemticas do eletromagnetismo clssico foram reunidas em forma
final, atravs das equaes de Maxwell. Foi uma grande surpresa quando os estudos de
Lorentz e Poincar revelaram que tais equaes no eram covariantes s transformaes
(1.7), ou seja, o eletromagnetismo no obedecia relatividade galileana. Este fato tornou-se
um problema terico fundamental, visto que a lei de fora de Lorentz baseada na mecnica
newtoniana e, portanto, uma incompatibilidade entre a teoria de Maxwell e a mecnica surgiu
em nvel formal.
Esta incompatibilidade no foi, contudo, observada imediatamente nas experincias em
eletrodinmica clssica (as trajetrias de partculas carregadas que se movem em campos
eletromagnticos, por exemplo, so bem descritas desde que as velocidades das partculas
sejam tipicamente pequenas). Contudo, experimentos como o de Michelson e Morley (1989)
mostraram que a velocidade da luz no vcuo independe do movimento relativo entre a fonte
e o observador, em clara violao da relatividade de Galilei.
Einstein observou que a incompatibilidade entre o eletromagnetismo e a mecnica newtoniana deveria ser corrigida modificando-se a mecnica, de modo que os sistemas fsicos
obedecessem dois postulados fundamentais:
1. Todo sistema fsico invariante pela escolha de referencial inercial;
2. A velocidade da luz uma constante independente do movimento relativo entre fonte e
observador.
Vamos supor que uma fonte de luz seja ligada na origem de um dado referencial inercial
O, que munido de um sistema de coordenadas x = (x, y, z) e, tambm, de um relgio cujo
instante t = 0 marca o instante em que a fonte de luz ligada. A frente de onda se move

velocidade da luz, que denominaremos como c (tem o valor de exatamente 299.792.458 metros
por segundo no vcuo), e descrita pela equao
x2 + y 2 + z 2 = c2 t2 ,
neste referencial.
Agora, consideremos um segundo referencial inercial O0 , no rotacionado com relao a O.
O sistema de coordenadas x0 = (x0 , y 0 , z 0 ) relativo a O0 tem origem coincidente com a origem de
O no instante em que a fonte ligada, ou seja, quando t = 0 em O. Contudo, consideraremos
que O0 possui seu prprio relgio e que, neste, o intervalo de tempo medido no coincide
necessariamente com o relgio carregado por O. Ou seja, t0 6= t. Mas podemos definir o tempo
em O0 de modo que t0 = 0 quando t = 0. Isto possvel visto que as coordenadas da fonte so
as mesmas em ambos os referenciais quando esta ligada, ou seja, o evento que deu origem
ao pulso de luz simultneo em ambos os referenciais.
Se a velocidade da frente de onda a mesma para ambos os referenciais, temos
x02 + y 02 + z 02 = c2 t02 ,
ou seja,
c2 t02 r02 = c2 t2 r2 ,

(1.8)

em que r2 = x2 + y 2 + z 2 , o mesmo para r0 . Para simplificar o sistema, vamos supor que O0

mova-se com velocidade constante u = uex com relao a O, em que u seja constante, real e
positivo. Assim,
c2 t02 x02 = c2 t2 x2 .

(1.9)

Esta configurao chamada configurao padro.

1.3

Transformaes de Lorentz

Para que o postulado 1 seja vlido, a transformao (t, x) (t0 , x0 ) deve ser linear. Portanto
vamos considerar
x0 = Ax + cBt,
ct0 = Cx + cDt.
Em (1.9), temos
c2 t2 x2

(Cx + cDt) (Ax + cBt)

= C 2 x2 + c2 D2 t2 + 2cCDxt A2 x2 c2 B 2 t2 2cABxt




= C 2 A2 x2 + D2 B 2 c2 t2 + 2c (CD AB) xt.
Ao igualar os coeficientes,
C 2 A2 = 1,
D2 B 2 = 1,
CD = AB.
Vamos supor a seguinte soluo:
A = D = cosh ,
B = C = sinh ,
em que o ngulo chamado rapidez. Esta soluo no nica, mas escolhida por requerimentos fsicos. Em primeiro lugar, a configurao padro implica que x0 e t0 crescem com
x e t, por isso a escolha do sinal negativo em B e C. Em segundo lugar, as transformaes
7

resultantes devem levar s transformaes de Galilei para |u|  c. Levando em conta esses
critrios, temos
x0 = x cosh ct sinh ,
ct0 = x sinh + ct cosh ,
ou em forma matricial,
 0  


cosh sinh
ct
ct
=
.
x0
sinh cosh
x

(1.10)

Podemos, tambm, colocar o sistema na forma

x0 = cosh (x tanh ct) ,
ct0 = cosh (ct tanh x) .
Para interpretar o significado fsico de , vamos observar a origem de O0 , ou seja, x0 = 0. Isto
implica em
x tanh ct = 0 = tanh =

x
.
ct

Contudo, u = x/t, portanto

tanh =

u
.
c

(1.11)

Vamos definir, tambm,

cosh .

(1.12)

Assim, temos
tanh = = =

sinh
,

enquanto
cosh2 sinh2 = 1 = sinh2 = 2 1.
Comparando-se as duas equaes, temos
2 =

2 1
= 2 1 2 = 1 = =

1
.
1 2

Portanto, a transformao pode ser colocada tambm nas formas mais conhecidas
x0 = (x ct) ,



t0 = t x ,
c
ou
x ut
,
1 u2 /c2


t u/c2 x
0
t = p
.
1 u2 /c2
x0 = p

(1.13a)
(1.13b)

Nesta configurao, as direes y e z ficam inalteradas, de modo que a forma completa

dada por
x0 = p

x ut
1 u2 /c2

(1.14a)

y 0 = y,

(1.14b)

(1.14c)

z = z,
2

t u/c x
,
t0 = p
1 u2 /c2

(1.14d)

ou nas duas formas de notao matricial,

0
cosh sinh 0 0
ct

x0
0 = sinh cosh 0 0

y
0
0
1 0
0
0
0 1
z0

0
ct

0 0
ct

x0

0 0
x ,
0 =
0
y
0
1 0 y
z
0
0
0 1
z0

ct
x
,
y
z

(1.15)

(1.16)

As transformaes (3.12), ou mesmo na forma (1.15) so chamadas transformaes de Lorentz, ou simplesmente boosts de Lorentz. imediato observar que as transformaes de
Lorentz inversas so dadas substituindo-se u por u, por ou por nessas transformaes. As transformaes de Lorentz so precisamente as transformaes que deixam a
teoria eletromagntica de Maxwell invariante.
A forma mais geral das transformaes de Lorentz, usadas quando os referenciais O e
O0 movem-se com uma velocidade u = ux ex + uy ey + uz ez , mas ainda mantm a mesma
orientao, dada por
 0  


ct

BT
ct
=
,
(1.17)
r0
r
B ( 1) BBT / 2
em que B o vetor coluna

x
ux
1
u
B y = uy = ,
c
c
z
uz
e BT o vetor linha
BT

O produto BBT dado por

x2
x y
T
y2
BB = y x
z x z y

1
c

ux

uy

uz

uT
.
c

x z
y z ,
z2

e 2 = BT B = |u| /c2 .
Observando-se a forma (1.15), imediato calcular o limite no relativstico, ou seja, a
baixas velocidades das transformaes de Lorentz. Observemos que este limite dado por
u  c =  1 =  1.
Neste caso, temos
sinh ,
cosh 1,
tanh = = u/c.
9

Ento,

ct0
1
x0
0 =
y 0
z0
0

1
0
0

ct
0 0
x
0 0

1 0 y
z
0 1

ou seja,
x0 = x ct = x ut,

u
t0 = t x = t 2 x t,
c
c
que so as transformaes de Galilei na configurao padro.

1.4

Composio de velocidades, contrao de Lorentz e

dilatao do tempo

Vamos verificar como um objeto, que se move a uma velocidade v com relao a O, move-se
com relao ao referencial O0 . Por simplicidade vamos utilizar a configurao padro, neste
caso,
vx =

dx
.
dt

Vamos utilizar a transformao de Lorentz inversa dada por

x = (x0 + ct0 ) .
Temos, considerando-se e constantes,
 0

 0

dx
dt0
dx
dt0
dx
=
+ c
=
+ c
vx =
dt
dt
dt
dt
dt
 0
 0
dt
dx
=
+ c
.
dt0
dt
Agora, temos a transformao





dt0
vx
t0 = t x =
= 1
.
c
dt
c
Portanto,

vx
1 vx /c 0
vx = 1
(vx0 + c) =
(vx + c) .
c
1 2


vx 1 2 c (1 vx /c)
vx vx 2 c + 2 vx
vx c
0
vx =
=
=
,
1 vx /c
1 vx /c
1 vx /c
2

ou seja,
vx0 =

vx u
.
1 uvx /c2

(1.18)

Para as demais componentes, temos



0
dy
dy 0
dy 0 dt0
vx
0 dt
0
vy =
=
= 0
= vy
= vy 1
,
dt
dt
dt dt
dt
c
ou
vy0 =

vy
.
(1 uvx /c2 )

(1.19)

10

Ainda,
vz0 =

vz
.
(1 uvx /c2 )

(1.20)

Essas so as equaes para composio de velocidades na relatividade restrita. Atravs essas,

podemos mostrar que a velocidade da luz a mesma para ambos os referenciais. Um raio de
luz disparado em (x = 0, t = 0) no referencial O tem velocidade vx = c. Portanto, temos


cu
1 u/c
cu
0
=
=c
= c,
vx =
1 uc/c2
1 u/c
1 u/c
em concordncia com o segundo postulado.
Vamos supor uma rgua de comprimento l com relao a um sistema referencial em repouso O. Neste caso, temos
l = x2 x1 ,
em que x2 a posio de uma das extremidades da rgua, enquanto x1 < x2 a posio da
outra extremidade, ambas com relao a O. Supondo um segundo referencial O0 que se move
com velocidade u = uex com relao a O, em uma configurao padro, temos


x(2,1) = x0(2,1) + ut0(2,1) ,
em que t0(2,1) so os instantes de tempo medidos por O0 em que as medidas de posio da rgua
so tomadas. Para que O0 tome uma medida do comprimento da rgua, as medidas de x01 e x02
devem ser sincronizadas, ou seja, tomadas considerando-se t0 = t02 t01 = 0. Neste caso,
l = [x02 x01 + u (t02 t01 )] = [l0 + ut0 ] = l0 ,
ou seja,
l0 =

p
1
l = l 1 u2 /c2 .

(1.21)

Como sempre maior que 1, toda medida de comprimento na direo do movimento do

observador sempre menor que a mesma medida feita por um observador em repouso com
relao ao objeto. Este fenmeno conhecido como contrao de Lorentz.
Agora, vamos supor um relgio em repouso com relao a um referencial O. Vamos ver
como um intervalo de tempo, digamos t0 = t02 t01 medido por um referencial O0 com
velocidade u = uex com relao ao relgio, em uma configurao padro. A transformao de
Lorentz relevante dada por



t0 = t u/c2 x ,
portanto,








t0 = t2 t1 u/c2 (x2 x1 ) = t u/c2 x .
Contudo, como o relgio est em repouso com relao a O, temos que x = 0, ento,
t
.
t0 = t = p
1 u2 /c2

(1.22)

Como sempre maior que 1, qualquer observador mede intervalos de tempos dilatados com
relao a um observador em repouso com relao ao relgio. Este fenmeno conhecido como
dilatao do tempo.
Portanto, o intervalo de tempo medido por um relgio depende do observador, e no consiste mais em uma medida absoluta. Quanto mais rpido se move o relgio, maior o intervalo
de tempo medido pelo observador. Para todo observador inercial, existe um relgio para o qual
os intervalos de tempo so mnimos. Segundo (1.22), este relgio aquele que encontra-se em
repouso com relao ao observador, e o tempo medido por este chamado tempo prprio .
11

1.5

O espao-tempo de Minkowski

De forma anloga relatividade de Galilei, existe uma medida invariante s transformaes

de Lorentz. Ela definida pela mtrica de Minkowski
ds2 = dx0

2

dx1

2

dx2

2

dx3

2

em que renomeamos as coordenadas xi = x1 = x, x2 = y, x3 = z , e definimos uma quarta
coordenada x0 = ct. A mtrica de Minkowski uma mtrica do espao-tempo de Minkowski
M4 , que um espao plano pseudo-riemanniano de quatro dimenses.
Um sistema de coorde

nadas em M4 consiste em quatro coordenadas x = x0 , x1 , x2 , x3 , que tambm distinguem
entre diferentes eventos no espao-tempo.
A mtrica de Minkowski escrita por
3
X

ds2 =

dx dx ,

(1.23)

, = 0, 1, 2, 3.

,=0

A partir de agora, usaremos a notao de Einstein, para a qual a repetio de dois ndices
implica em soma sobre todos os valores deste ndice, ou seja, escreveremos simplesmente
ds2 = dx dx .

(1.24)

so as componentes da mtrica de Minkowski no sistema de coordenadas x . Em notao

matricial, se este sistema de coordenadas for ortogonal, temos

1 0
0
0
0 1 0
0

(1.25)
=
0 0 1 0 .
0 0
0 1
Podemos, tambm, escrever uma transformao de Lorentz com esta notao. Ela dada
por
x0 = x .

(1.26)

Na configurao padro, temos em representao matricial

0 0
cosh sinh

0
0
= sinh cosh
=
0
0
0
0
1 0
0
0
0 1
0
0

0 0
0 0
.
1 0
0 1

(1.27)

A mtrica de Minkowski no um mtrica propriamente dita. A razo a presena dos

sinais negativos em (1.25), que resultam no fato de que dois eventos distintos em R4 podem
ter distncia nula. Note que
ds2 = dx dx = dx0

2

dx1

2

2

+ dx3

dx2

2

dx3

2

= c2 (dt) dx1

2

dx2

2

dx3

2

nulo sempre que

2

c2 (dt) = dx1

2

+ dx2

2

que a equao que representa a frente de uma onda que se desloca com velocidade c. No
espao-tempo de Minkowski, esta equao demarca o cone de luz, ou seja, a regio na qual
todos os corpos com velocidade c se deslocam. Todos os pontos no cone de luz esto a uma
distncia nula com relao mtrica de Minkowski.

12

1.6

A partcula livre relativstica

Ao

s1

S = mc

ds,

ds2 = dx dx .

(1.28)

s0

Variaes
x = x
x ,

x (s0 ) = x (s1 ) = 0.

Primeira variao da ao
s1

S = mc
ds = mc
s0

(1.29)

s1

(1.30)

ds.

s0

De (1.28), temos


ds2
= ( dx dx ) = dx dx + (dx ) dx + dx (dx )
dx dx + 2 dx (dx )
dx
dx dx
2
(ds) + 2
ds (dx )
=
ds ds
ds
2
= u u (ds) + 2 u ds (dx ) .
=

u = dx /ds,

Por outro lado,

ds2 = 2ds (ds) ,
assim,
2

2ds (ds) = u u (ds) + 2 u ds (dx ) ,

que torna-se
(ds) =

1
u u ds + u (dx ) ,
2

(1.31)

Com dx = d
x dx = d (
x x ) = d (x ) e integrando por partes,
(ds)

=
=
=

1
u u ds + u (dx )
2
1
u u ds + u d (x )
2
1
u u ds d ( u ) x + d ( u x ) .
2

(1.32)

O termo de diferencial total ser nulo quando na integral (1.30), pois torna-se um temo de
fronteira
s1
s
d ( u x ) = u x |s10 = 0,
s0

devido a (1.29). Assim,

(ds)

=
=
=

1
u u ds d ( u ) x
2
1
u u ds d u x du x
2
1
du
u u ds d u x
dsx .
2
ds

13

(1.33)

Temos
=

x ,
x

dx .
x

d =

(1.34)

Assim,
(ds)

du
1

u
dx
u
dsx

u
x

dsx

2 x
x
ds

du
1

u
u
dsx

u
u
dsx

=
dsx

2 x
x
ds
1

du

=
u
u
dsx

u
u
dsx

dsx

2
x
x
ds


du
1
u
u
u

dsx .
=

2 x
x
ds
=

(1.35)

Vamos simetrizar o termo

1 1

u u =
u u +
u u .
x
2 x
2 x
Assim,

1 1 1
du
u
u

u
u

u
u

dsx

2 x
2 x
2 x
ds




1

du

+
+

=
u
u
dsx .
ds
2 x
x
x


(ds)

(1.36)

Vamos definir os smbolos de Christoffel do primeiro tipo:



1

.
2 x
x
x
Assim,


du

+ u u dsx .
(ds) =
ds
Com (1.37) em (1.30),

s1
S = mc
ds = mc
s0

s1

s0

(1.37)


du

ds
+ u u x .
ds


(1.38)

A condio de extremo S = 0 resulta em

mc

du
+ mc u u = 0.
ds

Com a mtrica inversa esquerda, temos




du

du

0 = mc
+ u u =
+ u u
ds
ds


du
= mc
+ u u .
ds
Vamos definir os smbolos de Christoffel do segundo tipo


1

=
+

.
2
x
x
x

(1.39)

Ento, temos como resultado a equao geodsica

mca + mc u u = 0,

a = du /ds = d2 x /ds2 .

14

(1.40)

Captulo 2

Transformaes infinitesimais
Transformaes infinitesimais em Rn

2.1


Vamos supor um espao euclidiano de n dimenses Rn com um sistema de coordenadas xi .
A forma mais geral de uma transformao contnua em Rn definida por um conjunto de
m + 1 parmetros (, a ), em que a = 1, , m. Com estes, definimos as transformaes nas
coordenadas e no tempo,
t t = t() ,

xi x
i (t, a ) = x
i (, a ) ,

(2.1)

com as seguintes condies:

1. As funes t() e x
i (, a ) devem ser analticas nas variveis independentes.
2. As transformaes devem ser conexas identidade, ou seja,
(, a ) 0

t t e x
i (t) xi (t) .

(2.2)

Se as variveis transformadas so analticas, podem ser expandidas em sries de Taylor:




dt
 + O 2 ,
(2.3a)
t = t +

d =0




d
xi 
d
xi 
x
i = xi +

+
a + O 2 , 2 .
(2.3b)


a
d ,=0
d ,=0
Considerando apenas termos de primeira ordem, temos

dt
t = t +
,
d =0


d
xi dt
d
xi 
x
i = xi +

+
a
dt d ,=0
da ,=0



d
xi 
i
i dt 
= x + x
+
a
d 
da 
=0

(2.4a)
(2.4b)
(2.4c)

,=0

Nestas, definimos


d
xi 
dt
i

,
x
t
a .
d =0
da ,=0

(2.5)

Assim,
i.
x
i = xi + x i t + x

(2.6)
15

Neste caso, vemos que a forma final da transformao dada por

i + t
xi = x

dxi
,
dt

(2.7)

com
x
i = xi + xi ,

t = t + t.

(2.8)

Portanto, transformaes contnuas infinitesimais possuem a mesma forma analtica de primeiras variaes. Neste caso, variaes que dependem de um conjunto de parmetros contnuos.

2.2

Evoluo temporal

Vamos supor a transformao

t = t + t,

(2.9)

mas que nenhuma transformao seja definida em q i . Ainda assim, (2.9) implica em
x
i = xi + tx i ,

(2.10)

ou seja,
xi = tx i .

(2.11)

Se t = dt, ento temos dt = t t e xi = dtx i = dxi , que determina a evoluo temporal dos
pontos em Rn em funo do tempo.
Desejamos estudar as propriedades de composio de evolues temporais. Primeiro, da
equao (2.10) temos


d
d i
i
i
i
i
x
= x + tx = x + t x = 1 + t
xi .
(2.12)
dt
dt
Assim, podemos realizar uma evoluo temporal ao atuar o operador diferencial
gt 1 + t

d
dt

(2.13)

em xi , ou seja,
x
i = gt xi .

(2.14)

Sejam gt1 e gt2 dois operadores de evoluo temporal. Notemos que

1. A composio de duas evolues temporais uma evoluo temporal:
xi (t0 ) xi (t1 ) xi (t2 ) = gt2 xi (t1 ) = gt2 gt1 xi (t0 )



d
d
d
d
= 1 + t2
1 + t1
xi (t0 ) = xi (t0 ) + t1 xi (t0 ) + t2 xi (t0 )
dt
dt
dt
dt


d
d i
+t2
t1 x (t0 ) .
dt
dt
O ltimo termo quadrtico em t, portanto ficamos apenas com os primeiros termos
xi2 = xi0 + t1

d i
d
x + t2 xi0 = xi0 + (t1 + t2 ) x i0 = xi0 + tx i0 ,
dt 0
dt

em que t = t1 + t2 .
16

(2.15)

2. A ordem da composio no altera o resultado final:

gt2 gt1 q i = gt1 gt2 q i

(2.16)

[gt1 , gt2 ] = 0.

3. A composio de k evolues temporais dada por

Gt =

k
Y

gtp = (gt ) =

p=1


k
d
1 + t
,
dt

quando todos os t0 s forem iguais. No limite para k , temos


Gt = lim

t d
1+
k dt

k



d
= exp t
,
dt

t = t t0 .

(2.17)

Neste caso, dizemos que gt membro de uma lgebra de Lie, enquanto Gt membro de um
grupo de Lie. Este processo conhecido como exponenciao da lgebra da evoluo temporal,
e d origem a uma transformao finita, com t finito, e no infinitesimal. Gt simplesmente
o operador que carrega a evoluo temporal de um tempo t0 a t. Em funo de (2.16), a lgebra
dita abeliana, ou comutativa.
No argumento da exponencial, h o campo vetorial
Xt =

d
= qi i ,
dt

(2.18)

que acompanha o termo t. Na forma infinitesimal, temos

gt = 1 + tXt = 1 + tqi i = 1 + q i i .

(2.19)

O campo vetorial Xt denominado gerador da evoluo temporal.

2.3

Translaes

Vamos supor a transformao

xi (t) x
i (t) = xi (t) + ai ,

ai R.

(2.20)

Esta operao chamada translao, pois translada um ponto a outro de Rn a tempo constante. Neste caso,
t = 0,

xi = ai .

(2.21)

Duas translaes resultam em uma translao, ou seja,

xi x
i = xi + a i x
ei = x
i + bi = xi + ai + bi = q i + ci ,
em que
ci = ai + bi .
Portanto, translaes tambm formam um grupo. A natureza do grupo a mesma da evoluo
temporal: a ordem da composio no altera a translao total. Dizemos que um grupo cuja
ordem da composio no importa um grupo abeliano.
O operador infinitesimal que carrega a operao de translao pode ser deduzido pela
igualdade



xi
x
i = xi + ai = xi + aj j = 1 + aj j xi ,
x
x

17

ou seja,
gx 1 + ai

= 1 + xi i ,
xi
x

(2.22)

que tem a mesma forma da evoluo temporal, exceto que neste caso, xi = ai . O operador gx
um elemento da lgebra de translaes, que tambm abeliana, ou seja,
[gx1 , gx2 ] = 0.
A composio de k translaes iguais resulta em


x
=

1 + x
xj
j

k

xi ,

que no limite k torna-se



x
= lim

xj
1+
k xj

k



j
x = exp x
xi = Gx xi ,
xj
i

(2.23)

em que


Gx = exp x
xj
j


(2.24)

o elemento do grupo de translaes. Os operadores diferenciais

Pi

xi

(2.25)

so os geradores de translaes, denominados momentos conjugados.

2.4

Rotaes

O grupo de rotaes, por ser um exemplo no abeliano, merece uma ateno especial. Toda
rotao pode ser descrita pela relao
x
i = Rij xj ,

(2.26)

em que R uma matriz ortogonal n n de determinante 1. O grupo de rotaes em n dimenses chamado SO (n), o grupo ortogonal especial, que isomrfico ao espao das matrizes
ortogonais de determinante unitrio. uma propriedade das transformaes ortogonais a
preservao da norma de vetores e da mtrica de Rn .
Vamos tomar o exemplo tridimensional, em que consideraremos primeiro uma rotao
com ngulo . A matriz desta transformao dada por
passiva no eixo z

cos sin 0
Rz () = sin cos 0 .
(2.27)
0
0
1
Para  1, podemos aproximar esta matriz pela sua forma infinitesimal de primeira ordem

1 0
1 0 0
0 0
rz () = 1 0 = 0 1 0 + 0 0 1 + J z ,
(2.28)
0 0 1
0 0 1
0 0 0
em que

0
Jz 1
0

1
0
0

0
0 .
0

(2.29)

18

Nos outros eixos, temos

rx () = 1 + J x ,

(2.30)

ry () = 1 + J y ,

em que

0
Jx 0
0

0
0
1

0
1 ,
0

0
Jy 0
1

0 1
0 0 .
0 0

(2.31)

As matrizes J a so os geradores de rotaes em trs dimenses.

Uma rotao geral em trs dimenses contm trs parmetros independentes, que podem
ser colecionados em um vetor (1 , 2 , 3 ). Na forma infinitesimal, temos
r () = 1 + J = 1 + a J a = 1 + 1 J 1 + 2 J 2 + 3 J 3 .
Dizemos que o objeto

0
W = a J a = 3
2

3
0
1

2
1 ,
0

(2.32)

(2.33)

um elemento da lgebra de Lie de SO (3), denotado pelo smbolo so (3). A identidade 1, em

conjunto com os geradores J a , formam uma base para a lgebra so (3). A relao de comutao
de so (3) facilmente calculada por
[J a , J b ] = abc J c ,

(2.34)

o que caracteriza a lgebra como no abeliana. A exponenciao da lgebra direta, dada por
R (a ) = exp [a J a ] .

(2.35)

Agora, vamos definir

p
2 = || , u / || .

(2.36)

A forma geral de um elemento do grupo dada por

c + (1 c) u1 u1
(1 c) u1 u2 su3 (1 c) u1 u3 su2
c + (1 c) u2 u2
(1 c) u2 u3 su1 ,
R = (1 c) u1 u2 su3
(1 c) u1 u3 su2 (1 c) u2 u3 su1
c + (1 c) u3 u3

(2.37)

em que
c cos ,

s sin .

(2.38)

Em componentes, temos


Rij = ji ijk uk sin + ui uj ji (1 cos )
Vamos atuar a matriz R no vetor u:




Rij uj = ji ijk uk sin + ui uj ji (1 cos ) uj


= ji uj ijk uk uj sin + ui uj uj ji uj (1 cos )


= ui ijk uk uj sin + ui uj uj ji uj (1 cos )


= ui + u2 1 ui (1 cos ) = (1) ui ,
ou seja, u um autovetor de R cujo autovalor 1. Este o denominado eixo de rotao.
19

(2.39)

Quando atua em um vetor posio x, temos

Rij xj

= xi ijk uk xj sin + ui uj xj xi (1 cos )
= xi ijk uk xj sin + ui uj xj ui uj xj cos xi + xi cos
= ijk uk xj sin + ui uj xj ui uj xj cos + xi cos


i
= (u x) sin + ui (u x) + xi ui (u x) cos .

Nesta equao,
 i
xk ui (u x)
a componente de x paralela a u e

i
x xi ui (u x)
sua componente ortogonal. Assim,
Rx = xk + x cos + (u x) sin .
Agora, vamos voltar ao espao Rn . Uma rotao finita descrita por
x
i = Rij xj ,
enquanto a infinitesimal tem forma

i 
1 x
ab ,
x
() = x + x () = x +
2 ab =0
i

(2.40)

em que ab so as componentes de uma matriz n n antissimtrica, com m = n2 n /2
componentes independentes. Dizemos que m o nmero de parmetros independentes necessrios para parametrizar a transformao infinitesimal, que deve ter a forma
x
i () = xi + ij xj .

(2.41)

Neste caso,


1 x
i 
1
x
i 
ab
x =
=
xj ab ,
2 ab =0
2 ab xj =0
i

considerando linearidade em x
.

Assim, definimos
i
(Jab ) j


x
i 

,
ab xj =0

(2.42)

de modo que

1
1
x
i 
i
j
ab
xj ab = xj ij .
(Jab ) j x =
2
2 ab xj =0

(2.43)

A soluo para a equao anterior dada por

i

(Jab ) j aj bi bj ai .

(2.44)

A relao destes objetos com os geradores Ja dada por

i

(Ja ) j =

1 bc
i
 (Jbc ) j ,
2 a

(2.45)

e, assim,
(Ja )ij = aij .

(2.46)

Dizemos que os geradores na forma (2.46) esto na representao adjunta do grupo de rotaes, pois so representados por matrizes que possuem a mesma dimenso do grupo.
20

Captulo 3

A geometria de Minkowski
3.1

Vetores e covetores de Lorentz

Agora, vamos considerar um espao-tempo de Minkowski M4 com um sistema de coordenadas

cartesiano {x }. Como vimos, este espao caracterizado pela mtrica
ds2 = dx dx = dx0

2

dx1

2

dx2

2

dx3

2

(3.1)

Uma transformao de Lorentz dada por uma matriz na forma

x
= x

x
= x .

(3.2)

A mtrica deve ser preservada por transformaes de Lorentz.

Definio 1. Um vetor de Lorentz, ou vetor de Lorentz contravariante, consiste em um objeto u = u = u (/x ) invariante por transformaes de Lorentz,
ou seja,
x
= x = u
(
x) = u (x) .

Note que, dado (3.2),

=

x


=
=
= .

x
x x

Se a matriz tem uma inversa 1 , ento multiplicamos a expresso anterior por 1 :

1 = 1 = 1 = ,
ou seja,
= 1

(3.3)

Aplicando-se a invarincia em u, temos

u = u = u = u
.
Portanto,
u
= u .

(3.4)
21

Assim, se um vetor u = u invariante de Lorentz, suas componentes se transformam

com a mesma forma do sistema de coordenadas. Dizemos que componentes de vetores que se
transformam como (3.4) transformam-se contravariantemente.
A mtrica (3.1) naturalmente implica em uma mtrica para os vetores de Lorentz, de modo
que o produto escalar dado por
u v = u v .

(3.5)

Se a mtrica invariante, este produto tambm o . Neste caso, u v = u

v e


u
v = u
u
= u u = u u = u u .
Assim,
= = T

e
=

T 

(3.6)

Em notao matricial,
= 1

T

1 .

(3.7)

Definio 2. Todo vetor de Lorentz u possui um dual uT , denominado covetor,

ou vetor de Lorentz covariante. Este objeto um funcional linear, ou seja, age em
vetores e resulta em um escalar real tendo como regra o produto escalar, de modo
que
uT [u] u2 = u u .

(3.8)

A regra (3.8) define um isomorfismo entre vetores e covetores, de modo que uma base { }
de vetores induz uma base para os covetores. Esta base naturalmente tomada como as
diferenciais {dx }, e toda 1-forma pode ser escrita como = dx . Cada elemento da base
um covetor que, ao agir sobre um elemento da base de vetores, resulta na operao
dx [ ] = .

(3.9)

Portanto, a ao de um covetor em um vetor u dada por

[u] = dx [u ] = u dx [ ] = u = u .
Da mesma forma,
uT [u] = u dx [u ] = u u dx [ ] = u u = u u .
Ento,
u = u ,

(3.10)

ou seja, a mtrica a matriz jacobiana do isomorfismo entre vetores e covetores. Dizemos assim que a mtrica "baixa" ndices de componentes de vetores e os transforma em componentes
de covetores.

22

Seja 1 a inversa da matriz mtrica, de modo que suas componentes sejam dadas por ,
de modo que = . Podemos mostrar que
u = u ,

(3.11)

ou seja, a mtrica inversa "levanta" ndices de componentes de covetores, transformando-os

em componentes contravariantes.
Covetores tambm so invariantes por transformaes de Lorentz, ou seja,
x
= x =
(
x) = (x) .
Ento,
u
T [
u] = u
u
= u
u = u u ,
de modo que u = u
, ou,


u
= u 1 .

(3.12)

Assim, componentes de covetores se transformam com a inversa da transformao. Dizemos

que esta transformao covariante.

3.2

Tensores

Definio 3. Um tensor do tipo (p, q) um objeto geomtrico invariante de Lorentz com a forma
p vezes

T =

z
}|
{


( ) dx dx dx .
|
{z
}

(3.13)

q vezes

As leis de transformao das componentes de base so dadas por

= 1 , trans. covariante,
d
x = dx , trans. contravariante.
Portanto,
p trans. contravariantes

T

= 1 1 1 T
|
{z
}

z
}|
{


(3.14)

q trans. covariantes

Por exemplo, a mtrica um tensor do tipo (0, 2) ds2 = dx dx . Ento, suas componentes
se transformam por
= 1

23

3.3

Ortogonalidade e os grupos de Lorentz e Poincar

A invarincia do produto escalar resulta na expresso

= = T .
Se a mtrica de Minkowski, temos


= = = T ,
ou seja,
T = 1 1 = T .

(3.15)

Portanto, transformaes de Lorentz so ortogonais.

Tomando-se o determinante de (3.15), obtemos


2
det T = 1 = (det ) = 1,
ou seja,
det = 1.

(3.16)

Definio 4. O grupo de Lorentz definido pelo conjunto de transformaes lineares ortogonais que preserva a mtrica de Minkowski.

O sinal do determinante define se a transformao conexa identidade ou antiidentidade. Por enquanto, estamos interessados em transformao conexas identidade,
pois elas deixam invariante a orientao do sistema de coordenadas local {x }. A dimenso
deste conjunto de transformaes 4 (quatro), de modo que este isomrfico ao conjunto das
matrizes ortogonais 4 4 de determinante unitrio. Este conjunto forma um grupo com a
operao de multiplicao matricial, denominado SO (1, 3).
O grupo de Lorentz SO (1, 3) , portanto, o grupo de pseudo-rotaes em M4 . A denominao entre parnteses caracteriza o fato de que um elemento do grupo uma pseudo-rotao:
(1, 3) indica que a direo temporal x0 diferente das 3 direes espaciais. Neste caso, dizemos que SO (1, 3) um grupo pseudo-ortogonal, e obviamente distinto do grupo de rotaes
em quatro dimenses SO (4). Este ltimo consiste no grupo que deixa invariante uma mtrica
euclidiana em R4 .
O grupo de Poincar o grupo que inclui pseudo-rotaes e translaes e, como vimos,
constitui um grupo de dimenso 5. possvel mostrar que um espao invariante por um grupo
ortogonal tambm invariante pelo seu respectivo grupo inomogneo, que inclui translaes.
Este grupo tambm chamado grupo de Lorentz inomogneo ISO (1, 3).

3.4

lgebra de Lorentz

Vamos nos ater ao grupo de Lorentz por enquanto. Este grupo um grupo de Lie, ou seja,
possui uma estrutura diferencivel. Na prtica, isto significa que toda transformao de
Lorentz pode ser "expandida em srie de Taylor" ao redor da identidade do grupo:



1 2 
a
= 1 + a
 +
a b + ,
 =0
2 a b =0
em que a um conjunto de parmetros linearmente independentes que caracteriza uma
representao do grupo. Se o grupo age em vetores e covetores, por exemplo, estes parmetros
24

sero em nmero seis, mas podem ser colocados sob a forma de uma matriz 44 antissimtrica
de trao nulo.
Se tomarmos a expanso at o termo de ordem 1, temos

 a
(3.17)
g 1 + a   = 1 + a Ja .

Esta a forma geral de um elemento da lgebra de Lie de SO (1, 3), que denominados a
lgebra so (1, 3). Ja formam um conjunto de operadores tambm linearmente independentes,
que so os geradores da lgebra. A forma explcita de Ja depende do objeto geomtrico no
qual o grupo atua, portanto, de sua representao. Por enquanto, vamos supor que seja
uma matriz real.
Se o grupo ortogonal, temos
T

T = 1 = (g ) g = 1.
Assim,
1 = (1 + a Ja )

T
1 + b Jb = 1 + a Ja + (a Ja ) ,

ou seja,
T

a Ja = (a Ja ) .
Se a so parmetros reais, temos
Ja = JaT ,

(3.18)

ou seja, os operadores Ja so antissimtricos. Por outro lado, fcil verificar que se det = 1,
det Ja = 0.
Por outro lado, consideremos W = a Ja . Temos


= T = 1 + W T (1 + W ) ,
que resulta em
= + W + W T
em primeira ordem. Se preserva a mtrica, = e ento,
W + W T = 0,
ou
W T = W 1 .

(3.19)

Vamos tomar o trao desta expresso:







trW T = tr W 1 = tr W 1 = tr 1 W = trW.
Contudo, trW T = trW , ento devemos ter que trW = 0.
Portanto, cada elemento do grupo de Lorentz SO (1, 3) conectado a um elemento da lgebra so (1, 3), que formam o conjunto das matrizes antissimtricas de trao nulo com base no
espao de Minkowski. A relao lgebra-grupo de Lie se d atravs da operao de exponenciao da lgebra: Se W um elemento genrico da lgebra de Lie, seu respectivo elemento
de grupo dado por
(3.20)

= exp (W ) .

25

3.5

A representao adjunta

Uma representao pode ser compreendida intuitivamente como uma realizao de um grupo
abstrato atravs de um grupo matricial. Quando atuamos um elemento do grupo de Lorentz
em um vetor de Lorentz, por exemplo, os geradores J so realizados por um conjunto de

matrizes Jab de elementos (Jab ) , com a, b = 1, 2, 3, 4. Neste caso, um elemento da lgebra

dado por
g = 1 + ab Jab ,

(3.21)

em que ab forma uma matriz antissimtrica de trao nulo nos ndices ab. Eles so, portanto,
seis parmetros independentes.
O grupo SO (1, 3) um subgrupo de GL (1, 3), ou seja, um subgrupo de todas as matrizes
4 4 de determinante no nulo. O grupo GL (1, 3) forma um espao vetorial, cuja base mais
simples consiste no conjunto de matrizes

(ab ) = a b .
Por exemplo,

11

1
0

=
0
0

0
0
0
0

(3.22)

0
0
0
0

0
0

0
, 12 = 0
0
0
0
0

1
0
0
0

0 0
0

0 0
, 13 = 0
0
0 0
0 0
0

0
0
0
0

1
0
0
0

0
0
, .
0
0

Toda matriz de GL (1, 3) pode ser escrita por

A = Aab ab .

(3.23)

Esta base, denominada base cannica, completa e linearmente independente. De fato, nesta
base uma matriz tem componentes iguais ao seus elementos, ou seja, Aab = A .
Vamos tomar a multiplicao matricial ab dc

(ab ) (cd ) = a b c d = bc a d = bc (ad ) .

O colchete de Lie dado por
h
i

(ab ) , (cd ) = (ab ) (cd ) (cd ) (ab ) ,

que resulta em
h
i h
i

(ab ) , (cd ) = ae bc df ce da bf (ef ) .

Portanto, a lgebra caracterizada pelos colchetes
(ef )

[ab , cd ] = C(ab)(cd)

(3.24)

ef ,

com constantes de estrutura

(ef )

C(ab)(cd)

= ae bc df ce da bf .

(3.25)

Portanto, de (3.24) vemos que gl (1, 3) uma lgebra de Lie no abeliana.

Note que as matrizes
Jab = ab ba

(3.26)

so antissimtricas, possuem trao nulo e so linearmente independentes. Neste caso, elas

formam uma base para um subespao de matrizes: so os geradores da lgebra so (1, 3). Suas
componentes so dadas por

(Jab ) = a b b a .

(3.27)
26

Note que
[Jab , Jcd ]

[ab ba , cd dc ] = [ab , cd ] [ab , dc ] [ba , cd ] + [ba , dc ]



(ef )
(ef )
(ef )
(ef )
=
C(ab)(cd)
C(ab)(dc)
C(ba)(cd)
+ C(ba)(dc)
ef


ae bc df ce da bf ae bd cf + de ca bf ef


+ be ac df + ce db af + be ad cf de cb af ef


=
ae bc df de cb af + be ad cf ce da bf ef


+ +de ca bf be ac df + ce db af ae bd cf ef




=
ae bc df af bc de ef + be ad cf ce da bf ef




+ de ca bf be ac df ef + ce db af ae bd cf ef
=

= ae bc df (ef f e ) + be ad cf (ef f e )
+de ca bf (ef f e ) + ce db af (ef f e ) .
Com (3.26) temos
[Jab , Jcd ]


ae bc df + be ad cf + de ca bf + ce db af Jef


=
be ad cf + ae bc df ae bd cf be ac df Jef
=

(ef )

= f(ab)(cd)

(3.28)

Jef ,

em que as constantes de estrutura so

(ef )

f(ab)(cd)

= be ad cf + ae bc df ae bd cf be ac df .

(3.29)

Em forma explcita, temos a lgebra

[Jab , Jcd ] = ad Jbc + bc Jad db Jac ac Jbd .

(3.30)

Definio 5. A realizao de uma lgebra e seu respectivo grupo de Lie abstratos

como uma lgebra e grupo de Lie matricial denominada representao.

Definio 6. A representao na qual os geradores da lgebra possuem a mesma

dimenso dos elementos do grupo denominada representao adjunta.

Neste caso, os geradores Jab , definidos por (3.26) e (3.27), da lgebra de pseudo-rotaes em
quatro dimenses so os geradores da representao adjunta deste grupo. A representao
adjunta tambm chamada, em fsica, de representao vetorial, porque esta representao
realiza o grupo de pseudo-rotaes em vetores de M4 .

27

3.6

Invariantes

Uma lgebra de Lie um espao vetorial com uma base completa {Ja }, o conjunto de geradores da lgebra. Neste caso, podemos definir um produto interno. Sejam dois elementos
A = Aa Ja e B = B a Ja da lgebra, temos



1 a b
A B + Ab B a tr (Ja Jb ) ab Aa B b .
A B tr Aa B b Ja Jb =
2

(3.31)

Nesta expresso,

tr (Ja Jb ) = (Ja Jb ) = (Ja ) (Jb ) .

Os objetos
ab

1
tr (Ja Jb )
2

(3.32)

so componentes da denominada mtrica de Killing. Se a mtrica de Killing tem sinal definido

e no degenerada, ela define um bom produto interno. Neste caso, uma lgebra de Lie
tambm um espao de Hilbert.
Elementos do grupo de Lie podem agir em elementos da lgebra. Por exemplo, uma rotao em R3 age sobre um gerador Ja na forma
Ja R1 Ja R.
Neste caso,






tr (Ja Jb ) tr R1 Ja RR1 Jb R = tr R1 Ja Jb R = tr RR1 Ja Jb = tr (Ja Jb ) ,
ou seja, a mtrica de Killing invariante por rotaes:
R1 ab R = ab .

(3.33)

Tratando-se de transformaes infinitesimais, R = 1 + a Ja ,

R1 R = 1 + a JTa 1 + b Jb
= + a Ja + a JTa + a b JTa Jb


+ a Ja + JTa = ,
portanto,
Ja + JTa = Ja Ja = [, Ja ] = 0.

(3.34)

A mtrica de Killing, ento, comuta com os geradores.

Neste caso, todo escalar construdo com a mtrica de Killing um invariante. Contudo, em
um sistema dinmico de dimenso finita, somente um nmero finito desses invariantes so
linearmente independentes. No caso de rotaes em trs dimenses, h apenas um invariante
J 2 = ab Ja Jb ,

(3.35)

que o quadrado do momento angular. Este tipo de invariante denominado invariante de

Casimir da lgebra. Para cada representao do grupo de rotaes, o problema de autovalores
J 2 uj = j uj
indica um espectro de autovalores de J 2 . Como J 2 um invariante, o espectro tambm
invariante. No caso do momento angular, sempre possvel escrever
J 2 uj = j (j + 1) uj .

(3.36)
28

Neste caso, dizemos que j o spin da representao. fcil verificar para o grupo de rotaes
que, na representao adjunta, j = 1 quando os autovetores so vetores euclidianos.
Para grupos de lgebras de Lie mais gerais, possvel encontrar outros invariantes de
Casimir, cada um deles uma forma multilinear invariante, como (3.35). O nmero maximal
de invariantes independentes denominado rank da lgebra de Lie. O grupo de rotaes tem
rank 1: apenas J 2 invariante. Em uma determinada representao, os autovalores desses operadores de Casimir tambm so invariantes pela ao do grupo, portanto o espectro
invariante. O resultado que uma representao completamente determinada pelos espectros dos operadores de Casimir do grupo, ento as quantidades fsicas relevantes quando
h uma simetria sob determinado grupo de Lie so dadas pelos objetos geomtricos que so
autovetores simultneos dos operadores de Casimir.

29

Captulo 4

O formalismo lagrangiano para

campos
4.1

Introduo

Agora, vamos nos voltar anlise do problema variacional de se encontrar condies necessrias e suficientes para que uma dada integral fundamental tome um valor extremo (mximo
ou mnimo) local. Este problema variacional comum em diversas reas da fsica e da matemtica que compartilham de quantidades geomtricas que assumam, por requerimentos
fsicos ou puramente matemticos, um valor mximo ou mnimo. Por exemplo, o problema
variacional que descreve fenmenos da tica geomtrica consiste em encontrar a trajetria
do raio de luz para a qual o tempo de propagao seja mnimo (princpio de Fermat). A dinmica de partculas relativsticas, como outro exemplo, refere-se ao problema de se encontrar
trajetrias no espao-tempo que maximizem o tempo prprio.
Problemas variacionais na mecnica clssica [12, 13], disciplina na qual o clculo variacional encontrou seu maior terreno de desenvolvimento, precisam ser definidos com base
em espaos no to facilmente intudos. Um sistema fsico neste cenrio descrito por uma
trajetria em um espao de configurao Qn formado por suas coordenadas generalizadas q a ,
em que a = 1, . . . , n e n indica a dimenso de Qn . Tal trajetria definida pelas equaes
paramtricas
: q a = q a (t) ,

(4.1)

em que t um parmetro relacionado univocamente com o tempo. O problema variacional

consiste em encontrar condies necessrias e suficientes para que a integral fundamental
t1
A []
L (t, q a , qa ) dt,
(4.2)
t0
a

em que q dq a /dt, assuma um valor extremo sobre C, fornecida uma funo Lagrangiana
L que dependa do tempo, das coordenadas e de suas velocidades. Neste caso, precisamos que
as funes q a (t) sejam pelo menos de classe C 2 . Este problema variacional recebe o nome de
princpio de Hamilton quando a primeira variao das coordenadas generalizadas em t = t0 e
t = t1 nula. A aplicao direta do princpio de Hamilton leva s equaes de Euler-Lagrange
d L
L
a = 0,
dt qa
q

(4.3)

que so as equaes diferenciais que ditam a dinmica da teoria.

O carter do tempo como parmetro de evoluo nessas teorias bastante especial. Em
primeiro lugar, um parmetro de evoluo nico: a integral (4.2) uma integral simples e as
solues das equaes (4.3), se existirem, so famlias de curvas de 1-parmetro que dependem de um conjunto de condies iniciais. Em segundo lugar, embora seja sempre possvel
31

um processo de reparametrizao, a integral fundamental no independente da escolha do

parmetro. Por isso, as equaes de Euler-Lagrange no so apenas equaes que descrevem
uma dada geometria no espao de configurao, mas possuem tambm a interpretao de
equaes que caracterizam um sistema dinmico finito.
Por causa do papel especial do tempo, o formalismo Hamiltoniano pode ser naturalmente
introduzido e a mecnica clssica pode ser analisada atravs do espao de fase T Qn , onde
as equaes de movimento tomam a forma de um conjunto de equaes de primeira ordem.
No espao de fase h a introduo de uma estrutura simpltica natural, atravs da qual
possvel conhecer a forma da evoluo de qualquer observvel fsico sem a necessidade da
resoluo das equaes de movimento. Alm disso, as propriedades geomtricas do espao
de fase permitem que o efeito de transformaes sobre observveis sejam imediatamente reconhecidos, independentemente da dinmica especfica da teoria. Dentre as transformaes
mais importantes esto as transformaes cannicas, que preservam o elemento de volume
do espao de fase. A importncia desse formalismo cannico para a fsica no pode ser subestimada, visto que a mesma estrutura formal est presente tambm na mecnica quntica.
O clculo variacional para a mecnica clssica envolve tambm os teoremas de Noether,
que dizem respeito a identidades obedecidas quando a integral fundamental (4.2) invariante
por alguma classe de transformaes, assim como o formalismo de Hamilton-Jacobi.
O mesmo quadro para teorias de campos no pode ser traado to naturalmente. Como
veremos, campos so sistemas que dependem de um conjunto de parmetros, geralmente
identificados com as coordenadas cartesianas do espao-tempo. A integral fundamental que
caracteriza o problema variacional, anloga integral (4.2), uma integral mltipla. Alm
disso, os sistemas em campos mais importantes na fsica so invariantes por reparametrizaes. Essas caractersticas fazem desses sistemas essencialmente distintos dos sistemas
clssicos, nos quais o tempo tem um papel privilegiado. Em especial, no h uma forma nica
de dinmica Hamiltoniana e, tampouco, um nico formalismo de Hamilton-Jacobi possvel.
Outro aspecto das teorias de campos mais importantes para a fsica so as simetrias de gauge,
que so caractersticas de sistemas singulares.

4.2

Variaes

Um campo pode ser descrito por um conjunto de n funes i (x), em que x representa um
ponto no espao-tempo
de 4 dimenses, localmente descrito por um sistema de coordenadas


x = x0 , x1 , x2 , x3 em um dado volume . Todas as nossas consideraes sero restritas ao
sistema contido nesse volume. O ndice i varia de 1 a n. Vamos trabalhar em um espao de
configurao construdo da seguinte forma. Os campos so coordenadas de uma variedade
Qn de dimenso n. Em conjunto com essa variedade, definimos tambm um espao para os
parmetros, R4 . O espao de configurao vem a ser o produto direto definido por Q Qn R4 ,
de modo que o volume , o qual ser tratado tambm como o domnio dos campos , esteja
imerso em Q.
Vamos supor que os campos sejam funes de classe C , de modo que podemos definir
todas as suas derivadas
i

di
i ,
dx

i i ,

....

(4.4)

Uma configurao dos campos definida como os valores dos campos e de suas derivadas
primeiras, ou velocidades, em cada ponto do espao-tempo:


: i (x) , i (x) , x R4 .
(4.5)


Consideremos, agora, a existncia de uma densidade Lagrangiana L x , i , i , contendo
derivadas dos campos at primeira ordem. Com essa densidade Lagrangiana definimos a
ao

A []
L x , i , i d,
(4.6)

32

em que usamos a notao d dx0 dx1 dx2 dx3 .

Para definir o problema variacional, vamos considerar uma transformao ativa no espao
de configurao, que pode ser imaginada como um arraste suave dos campos e dos parmetros.
Existe uma configurao fsica (x), que ser arrastada suavemente para uma configurao
0 (y), de modo que a topologia e geometria do espao de configurao e, consequentemente
do espao de Minkowski, seja preservada. Isto significa que no sero permitidas transformaes que envolvam "colar" e "furar" o espao-tempo, nem transformaes que mudem a
mtrica de Minkowski. A configurao fsica (x) deve ser um extremo da integral fundamental.
Para realizar esta transformao, vamos fazer da configurao i um membro de uma
famlia de configuraes de 1-parmetro, definida por


(u) : i = i (x , u) ; i = i (x , u) ; ,
(4.7)
pelo menos de classe C 2 em u. Se uma dada configurao (u0 ) um extremo da integral
fundamental (4.6), correspondendo configurao fsica do sistema, A (u0 ) deve ser menor (ou
maior) que um valor A (u) calculado em uma configurao (u), pertencente a uma vizinhana
fechada |u u0 | de (u0 ). Supondo |u u0 | um nmero muito pequeno, desprezando termos
2
de ordem maior ou igual a |u u0 | , a expanso de (u) em srie de Taylor ao redor da
configurao (u0 ) pode ser escrita por

di (x , u) 
i

u,
(4.8)
(x , u) (x , u0 ) +

du
u=u0
e assim tambm para as derivadas dos campos, em que u u u0 . Esta a frmula de
primeira ordem para a comparao entre duas configuraes (u0 ) e (u) para um conjunto
fixo de parmetros x . Ela nos permite definir a primeira variao dos campos a ponto fixo,
dada pela expresso

i
i i (x , u) i (x , u0 ) = d 

u.
(4.9)
du u=u0
A mesma expresso vlida para as derivadas. Por exemplo, temos a primeira variao de
a :

di 
i
i

(x , u) (x , u0 ) =
u

du 
u=u0


d di 
d i

d2 i 
u
=
u =
.
=



dx du u=u0
dx du u=u0
dx
Na expresso acima, usamos a derivada total definida por



i
i
i

+
d
+

(x)
+

(x)
+

(x)
x

dx
x
i (x)
i (x)
i (x)

(4.10)

A integral que aparece na expresso acima atende ao fato de que campos so, de forma rigorosa, tratados como distribuies do espao-tempo: as derivadas com relao aos campos
so derivadas funcionais e no simples derivadas parciais. Por essa razo usamos o smbolo
F (x) / (y) para caracterizar a derivada funcional de uma funo F (x), aplicada em um
ponto x do volume , com relao a uma funo (y), aplicada em um ponto y do mesmo
domnio. A relao mais fundamental vem a ser
i (x)
= ji 4 (x y) ,
j (y)

(4.11)

em que temos a delta de Dirac de dimenso 4:

(

0 se x 6= y,
4
(x y) =
,
4 (x y) d4 x = 1.
se x = y.
M4
33

(4.12)

No geral podemos ignorar a escrita das integrais, de modo a no sobrecarregar a notao,

o que faremos em boa parte do trabalho. Contudo, quando somas em derivadas funcionais
aparecem, integrais geralmente as acompanham e devemos
ficar

 atentos a este fato. Por
exemplo, usaremos repetidamente expresses do tipo i L/i , com L sendo a densidade
Lagrangiana, que devem ser lidas como



L (y)
i
.
(4.13)
dx (x) i
(x)

A primeira variao (4.9), portanto, o termo de primeira ordem da comparao entre

duas configuraes infinitesimalmente prximas, mantendo fixos o conjunto de parmetros
x e, portanto, o domnio . Podemos generalizar este argumento e considerar tambm a
comparao com configuraes que variem os parmetros. Basta considerarmos


0i

0 (u) : 0i = 0i (y , u) ; 0i
(4.14)
= (y , u) ,
em que os parmetros y representam coordenadas de um volume 0 do espao-tempo. Podemos escolher esta configurao de modo que y = x para u = u0 e, assim, ambos os conjuntos
esto relacionados pela equao

dy 

u,
(4.15)
y = y (x , u) y +
du u=u0
em que, por ltimo, tomamos a expanso at primeira ordem em u.
Com a variao dos parmetros, temos a primeira variao total


di (y , u) 
di (y , u) dy 
0i (y , u) i (y , u0 ) +
u
+
u

du
dy
du u=u0
u=u0


i + a
= i (x , u0 ) +
x ,
u=u0

ou seja,
i + i x ,
i

(4.16)

em que

dy 
x
u.
du u=u0

4.3

(4.17)

A primeira variao da ao

Vamos escrever a integral fundamental para a configurao (u0 ):

A (u0 ) =
L x , i , a d,

(4.18)

assim como para a configurao 0 (u):

0
A (u) =
L y , 0a , 0a
d ,

(4.19)

em que d 0 dy 0 dy 1 . . . dy d . A primeira variao total da ao definida por


dA (u) 
A A (u) A (u0 )
u.
du u=u0

(4.20)

O operador
u

d
du

(4.21)
34

 um operador diferencial de primeira ordem, que obedece s propriedades de uma derivada

ordinria: linear e obedece regra de Leibniz. Neste caso, vamos calcular




A =
L x , i , a d =
(Ld + Ld) .
(4.22)

A variao total atua sobre o elemento de volume na seguinte forma:

 

 

dy
dy
0
(d) = d d = det
d d = det
1 d.
dx
dx
Note que y = x + x , ento
d (x )
dy

+
.

dx
dx
O determinante dado por

d(x0 )
1 + dx0

 
d(x1 )
dy

0
det
= det d(dx
x2 )

dx

dx0
d(x3 )
dx0

d(x0 )
dx1
d(x1 )
+ dx1
d(x2 )
dx1
d(x3 )
dx1

d(x0 )
dx2
d(x1 )
dx2
d(x2 )
+ dx2
d(x3 )
dx2

d(x0 )
dx3
d(x1 )
dx3
d(x2 )
dx3
d(x3 )
+ dx3

fcil verificar que, em primeira ordem, o determinante aproximado por

 
dy
d (x )
det
=
1
+
.
dx
dx

(4.23)

Ento,


d (x )
d (x )

1
d
=
d.
(d) = 1 +
dx
dx

(4.24)

Na integral, temos



d (x )
A =
(Ld + Ld) =
L + L
d.
dx

Note que
L

d
dL
d (x )
= (Lx ) x ,

dx
dx
dx

e, neste caso,



d

dL
d
A =
L + (Lx ) x
dx
dx




dL
d
=
L x d +
d (Lx ) ,
dx
dx

ou,

Ld
+

A =

d
(Lx ) ,
dx

(4.25)

em que
= L x dL .
L
dx

(4.26)

35

Primeiro, vamos calcular

L = u

dL
L
L
L
= x + i i + i i .
du
x

(4.27)

Por outro lado,

dL
x
= x
dx

L
L
L
+ i i + i i


,

(4.28)

de modo que
dL

L
= L x
dx


L
L
i L
i L

i L
i L
= x
+
+ i x
+ i + i
x
i

L
L
= i x i
+ i x i
,
i
i
ou,

L
=

d
dx



L
L
d
+

x
i i
i
dx

i L +
i L .
=

i
i

(4.29)

Vamos calcular agora a variao

i = i x i .

(4.30)

Primeiro,
i


di
di
dx d0i
di
d0i
= =

dx
dy
dx
dy dx
dx
0i
i

d
dx d
.
dy dx
dx


=
=

Note que x = y x . Portanto,

i

0i
d
di

d
(y

x
)

dy
dx
dx

 0i

d (x ) d
di
d0i
d (x ) d0i
di
=

dy
dx
dx
dx
dy dx
dx

0i

d (x ) d
d
0i i
=
dx
dy dx




i
0i
2 0i
d
d
d
d

x
+
x
.
=
dx
dy
dx
dy dx

Em primeira ordem,
i

=
=
=



i
d i
d
d 2 i
d

x
+ x

dx
dx
dx
dx dx


d
i x i + x i
dx
d i

+ x i ,
dx

(4.31)

que resulta em




i = d
i + x i x i = d
i .

dx
dx
36

(4.32)

Temos

i L +
i L =
i L + d
i L
L
=

i
i
i

dx
i




i L .
i L d L + d

=
i
dx i
dx
i
Na integral,

(4.33)

Ld
+
d (Lx )
dx






d
L
d
L

i L
i

i d +
.
=
d Lx +

i
dx
dx
i

A =

(4.34)

Vamos deixar a primeira integral como est, mas desejamos escrever a segunda integral
= x :
como combinaes lineares das variaes totais dos campos. Vamos usar





i L
i L
i L d L d +
d
Lx

A =

i
dx i
dx
i
i









d
L
d
i L
i L
i L

d +
d
i L x .
i
dx
i
dx
i

Vamos definir
L i
L,
i

(4.35)






i L
i L d L d +

H
x
.
d

i
dx i
dx
i

(4.36)

H
assim,

A =

4.4

Os termos de fronteira

A integral



d
L i

H
x

dx
i

uma integral de uma divergncia total no volume . Segundo o teorema de Gauss, a integral
de um divergente de um campo vetorial em um volume deve ser igual integral da projeo
ortogonal do mesmo campo vetorial na fronteira de , ou seja,

dF (x)
d
=
dn (x) F (x) ,
dx

em que n (x) so componentes de um vetor unitrio tangente a em determinado ponto x.

Neste caso,





L i
L i
d

H x
=
dn
H x .
(4.37)
d
dx
i
i

Por esta razo, integrais de divergentes em um problema variacional so denominados termos de fronteira, j que eles dependem apenas das configuraes e variaes dos campos na
fronteira de .
O campo vetorial relevante dado por

L
i H x ,
i

(4.38)

37

e uma combinao linear de e x. Os coeficientes so

H =

L i
L,
i

(4.39)

que so as componentes de um objeto que recebe o nome de densidade de energia-momento.

H, tambm, os coeficientes
i

L
,
i

(4.40)

que so denominados momentos conjugados covariantes. Veremos mais adiante que essas
quantidades so fundamentais na definio de quantidades conservadas e invariantes do problema variacional.

4.5

Os princpios de Hamilton e Weiss e as equaes de

campo

Um princpio fsico necessrio para que se defina a configurao fsica dos campos. usual,
a princpio, a utilizao do princpio de Hamilton:

Proposio 1. O Princpio de Hamilton para campos.

Seja uma configurao de campos e uma integral fundamental, ou ao A, definida
a partir de uma densidade Lagrangiana L = L (x, , ). Considere, tambm, uma
variao dos campos que no modifique o volume M4 e seja nula na fronteira
. Neste caso, uma configurao fsica do sistema se a ao for estacionria
quando calculada nesta configurao, em comparao com a ao calculada sobre
qualquer outra configurao 0 em uma vizinhana fechada de .

A condio necessria, mas no necessariamente suficiente, para que a ao seja estacionria dada por A = 0, ou seja, a primeira variao da ao tendo como base a configurao
estacionria deve ser nula. Nas condies do princpio de Hamilton, a variao deve ser
tal que

(4.41)
x = 0 e i (x)x = 0.
Neste caso, a primeira variao da ao, (4.36), toma a forma



d L
d
i L
A =

i d +
d i i ,
i

dx

dx

visto que = quando x = 0. O termo de fronteira envolve o clculo de na fronteira de ,




d
d i i =
dx n (x) i (x) i (x)x ,
dx

que nulo devido segunda condio (4.41).

Neste caso,



d L
i L
A =

i d.
i
dx

(4.42)

38

O volume fixado a priori. Contudo, o procedimento acima deve ser vlido para qualquer
volume no qual o sistema de coordenadas cartesiano {x } seja vlido e, tambm, no qual os
campos sejam bem definidos. Sem perda de generalidade, podemos considerar arbitrrio.
Alm disso, as variaes i devem ser linearmente independentes: a variao de um campo
i no pode depender da variao de uma campo j para j 6= i. A condio de extremo A = 0
implica em que a integral (4.42) seja nula. Se arbitrrio e i so LI, o termo entre
colchetes deve ser nulo, ou seja,
d L
L
i = 0.
i
dx

(4.43)

Essas so as equaes de campo, so as equaes de Euler-Lagrange da ao (4.6).

Observao 1. O princpio de Hamilton pode ser flexibilizado na condio de que

seja nulo na fronteira. Ainda mantendo fixo, suficiente que os momentos
covariantes sejam tangentes a na fronteira, ou seja,
n (x) i (x)|x = 0.

(4.44)

Isto implica na nulidade dos termos de fronteira e resulta nas mesmas equaes
de campo. Esta condio, contudo, restringe as configuraes fsicas quelas que
obedecem ao vnculo (4.44), que se torna uma condio de contorno.

Um segundo princpio mais geral e permite variaes no volume :

Proposio 2. O Princpio de Weiss.

Seja uma configurao de campos e uma integral fundamental, ou ao A, definida
a partir de uma densidade Lagrangiana L = L (x, , ). Sejam uma variao dos
campos = 0 (y) (x) e uma variao no volume x = y x, infinitesimais e
arbitrrios. Neste caso, (x) uma configurao fsica do sistema se a primeira
variao da ao depender apenas da fronteira de .

O princpio de Weiss permite, portanto, variaes arbitrrias no espao de configurao, ou

seja, permite todo arraste de campos que respeite a topologia e a geometria do espao-tempo,
ao contrrio do princpio de Hamilton. Se a primeira variao s depende da fronteira, existe
pelo menos um conjunto de funes F tais que

dF
A =
d =
d |n (x) F (x)|x .
dx

x , de modo que
Neste caso, x 6= 0 e =





d L
d
dF
i L
i L

A =

d
+
d

H
x
=
d
.

i
dx i
dx
i
dx

Para que A no dependa do volume, temos a condio




i L d L d = 0,

i
dx i

39

 i linearmente independentes. Neste caso, temos

que deve ser respeitada com arbitrrio e
L
d L
i = 0,
i

dx
que so as equaes de campo (4.43) da ao.
No princpio de Weiss, no se exige que os termos de fronteira sejam nulos. Contudo, dependendo do volume em considerao, condies de contorno nos campos e nas velocidades
talvez sejam necessrias para garantir a existncia das integrais.

40

Captulo 5

Os teoremas de Noether
5.1

Simetrias

Vamos supor uma transformao infinitesimal

x x
= x + x ,

i (x) i (
x) = i (x) + i .

(5.1)

Um funcional de ao A denominado invariante sob estas transformaes se a ao calculada nas novas variveis,

 


,
A =
d
L x
, ,
(5.2)

for igual ao calculada nas antigas variveis

A [] =
dL (x, , ) ,

(5.3)

ou seja,
A = A.

(5.4)

A condio (5.4) pode ser escrita atravs da diferena finita

A = A A = 0.

(5.5)

Vamos supor que x so funes analticas de um conjunto de parmetros a e que i

so funes analticas de um conjunto de m parmetros a , em que a toma os valores de 1 a
m. Portanto, as transformaes (5.1) fazem parte de uma classe de transformaes contnuas.
Alm disso, temos a condio
(a , a ) 0

x = = 0

x
= x , i = i ,

(5.6)

para as quais dizemos que as transformaes so conexas identidade.

Se as transformaes so contnuas e conexas identidade, podemos expandir A em srie
de Taylor:


 0


dA 
dA 

A a = A +
a
+
a + O 2 .
(5.7)



a
da a,=0
d a,=0
Colecionando apenas termos at primeira ordem, temos
A A + A,

(5.8)

em que A uma primeira variao de A com relao s transformaes (5.1), ou seja,

A A,

(5.9)
41

em primeira ordem da aproximao de Taylor.

Uma condio necessria para que A seja nulo , claramente, que A seja nulo para as
transformaes (5.1). claro que esta condio no suficiente, de modo que podemos definir
o que denominamos invarincia fraca. A ao A fracamente invariante sob as transformaes (5.1) se A = 0. De agora em diante, sempre que nos referirmos a uma invarincia, esta
se refere a uma invarincia fraca. Uma invarincia forte, em que A = 0 , claramente,
tambm uma invarincia fraca.
As transformaes que deixam um funcional invariante so chamadas simetrias deste
funcional.
Simetrias contnuas e conexas identidade, caracterizada pelos m + 4 parmetros a e a ,
podem ser explicitamente colocadas na forma

d
x 

a
x
=
da a,=0




di 
di 
di d
x 
di 
i

=
a +
=
a +
a
da a,=0
da a,=0
d
x da a,=0
da a,=0



di 
i dx 

i,
=
a +
a = x i +
da a,=0
da a,=0
em que

di 
i

=
a .
da a,=0
Nessas expresses, definimos


di 
d
x 
i
,

,

a
da a,=0
da a,=0

(5.10)

que so funes independentes dos parmetros. Em resumo,

x = a ,

5.2

i = i a + i a .
i = i x +

a

(5.11)

A equao de Lie

A primeira variao de A sob uma transformao infinitesimal geral caracterizada pelas funes x e i foi calculada em (4.36), resultando em





L
d L i
d
i L

A =
d

+
d

H
x
.
(5.12)

i
dx i
dx
i

Com as definies (5.11),





L
d L
d
i
i
i a
a

A =
d

a
+

a
.
a
a

i
i
dx i
dx i

Se A = 0 em um volume arbitrrio, ento






L
d L
d 

ia a = i i H a + i ia a .
i

dx
dx
Esta a equao diferencial de Lie.

42

(5.13)

5.3

O primeiro teorema

Vamos separar, por convenincia, as transformaes exclusivamente nos campos (x = 0),

das transformaes exclusivamente no ponto do espao-tempo ( = 0). No primeiro caso,
temos x = a = 0, portanto tomaremos = 0 em (5.13). Ento,



d L
d 
L
i ia a = i ia a .
i

dx
dx
Agora, vamos considerar os parmetros a independentes do ponto, ou seja, constantes em
x . Neste caso, se a so linearmente independentes, temos




L
d L
d
i ia = i ia .
(5.14)
i
dx
dx
Dizemos que essas so transformaes internas globais. Internas, pois consistem em m transformaes exclusivamente nos campos, sem mudana nas coordenadas de M4 . Globais, pois
so transformaes a parmetros constantes, que no dependem do ponto do espao-tempo.
Com (5.14), podemos enunciar a forma matemtica do primeiro teorema de Noether:

Teorema 1. Primeiro teorema de Noether (verso matemtica).

Para cada simetria da ao, existe uma combinao linear das equaes de campo
que igual a uma divergncia total.

Este teorema tambm vale no segundo caso, em que = 0, consistindo em transformaes

i = x i , resultando em i a =
exclusivamente no espao-tempo. Neste caso, temos
a

i
a . Ento, (5.13) torna-se




L
d L
d

(5.15)
i = H ,
i

dx
dx
com a constantes. Ento, temos o caso em que quatro simetrias resultam em quatro combinaes lineares das equaes de Euler-Lagrange iguais a quatro divergncias totais.
Toda simetria global (com parmetros constantes) pode ser separada em uma transformao interna e uma transformao no ponto, de modo que o caso misto no de muito interesse.
Simetrias internas possuem uma enorme relevncia em teorias de campos, como por exemplo
as transformaes de gauge. Por outro lado, toda teoria de campo relativstica invariante
pelo grupo de Poincar, que consiste em translaes e pseudo-rotaes em M4 . Transformaes de Poincar so transformaes globais no ponto, portanto.
Outra verso do primeiro teorema de Noether pode ser formulada a partir da equao de
Lie




d L i
d
L
i = i i H x ,
(5.16)
i
dx
dx
agora escrita na forma geral. Note que, se as equaes de campo so satisfeitas,
L
d L
i = 0,
i
dx
a seguinte divergncia nula:
d
= 0,
dx

i i H x .

(5.17)
43

No caso de transformaes internas globais, temos

= i i = i ia a ,
ou seja,
d
=0
dx

d
i ia = 0.

dx

As funes a i ia so denominadas correntes prprias, e as equaes

da
=0
dx

(5.18)

so denominadas equaes de continuidade.

No caso de transformaes no ponto, temos
= H x = H a ,
que resulta em
d
=0
dx

d
(H ) = 0.
dx

(5.19)

Neste caso, as correntes prprias so as funes H , que obedecem s equaes de

continuidade d /dx = 0.

Teorema 2. Primeiro teorema de Noether (verso fsica I).

Para cada simetria da ao, existe uma equao de continuidade para um conjunto
de correntes prprias.

Equaes de continuidade aparecem em toda teoria fsica com simetrias. Por exemplo,
considere as equaes de Maxwell com fontes
E=

,
0

B = 0 j + 0 0

E
.
t

Derivando a primeira equao parcialmente no tempo e tomando o divergente da segunda,

temos
E
1

( E) =
=
,
t
t
0 t
B = 0 j + 0 0

E
= 0.
t

Portanto, a ltima equao resulta em

j+

= 0,
t

que a equao de continuidade para a carga eltrica. Vamos introduzir a 4-corrente

 
,j .
j =
c

44

Ento,
j+

j 0
j 0
=
= 0.
=j+c
=j+
0
t
t
x
x

A corrente j um exemplo de corrente de Noether prpria, como veremos no estudo do campo

eletromagntico.
Outro exemplo consiste na equao de Schrdinger
i~

~2 2
=
+ V .
t
2m

Seu complexo conjugado resulta em

i~

~2 2
=
+ V .
t
2m

Multiplicando a primeira equao por e a segunda por , temos

~2 2

=
+ V ,
t
2m



~2
2 + V .
i~
=
t
2m
i~

Tomando a diferena, temos

~2
( ) =
[ ] .
t
2m


Definindo-se = i~ e j = ~2 /2m ( ), temos
i~

+ j = 0,
t
que tambm uma equao de continuidade, desta vez para a probabilidade de transio em
mecnica quntica. Esta equao de continuidade tambm resultante do primeiro teorema
de Noether, desta vez para a mecnica quntica.

5.4

Cargas conservadas

Agora, podemos trabalhar de forma mais geral. Se a ao possui uma simetria global, existe
uma corrente prpria a , em que a
= a para uma simetria interna e a
= para uma simetria
de ponto. A equao de continuidade dada por
da
= 0.
dx

(5.20)

Esta uma equao diferencial parcial nas coordenadas, portanto tem um carter local. Com
condies de contorno apropriadas, este tipo de equao tambm resulta em uma lei de conservao global.
Primeiro, vamos supor um observador em repouso com relao origem de um sistema
de coordenadas cartesiano {x }. Seu tempo prprio a coordenada x0 = ct, de modo que
seu relgio mede um tempo t = x0 /c em seu referencial. Vamos supor, aqui, um sistema
de unidades natural em que c = 1. Este observador faz experincias sobre um conjunto de
campos i (x) em seu laboratrio, que tem volume V . Ele est interessado especialmente na
integral da equao (5.20) em , de modo que
 0

t1
t1

da
dka
da

3 da
3
dt
d x =
dt
d x
+
, k = 1, 2, 3.
I=
d =
dx
dx
dx0
dxk
t0
V
t0
V

45

Esta integral divide-se em duas:


 t1 

t1
d
~ a .
I=
dt
d3 x0a +
dt
d3 xdiv
dt
t0
V
t0
V
Na segunda integral, podemos usar o teorema de Gauss em trs dimenses. Ela resulta
em

t1

~ a
d3 xdiv

dt
t0

t1


dt

=
t0


~ a .
d2 x n

Vamos supor que o observador expanda o volume ao infinito e, neste caso, ele supe que as
~ a vo a zero na fronteira de V . Portanto, a segunda integral
correntes tridimensionais
nula e
 
t1

 t1 
t1
d
3
0
3
0
3
0
dt
d
d xa =
d xa
I=
d xa =
.
(5.21)
dt
t0
t0
V
V
V
t0
Se (5.20) satisfeita, I = 0, de modo que


d
d3 x0a = 0.
dt
V
A quantidade

Qa (t)
d3 x0a (x, t)

(5.22)

chamada de carga de Noether, e uma quantidade conservada no tempo, visto que

dQa
= 0.
dt

(5.23)

Teorema 3. Primeiro

 teorema de Noether (verso fsica II).
0 ~
~ a = 0 na fronteira de um volume tridimensional
Seja a = a , a tal que n
V , em que n um vetor unitrio ortogonal superfcie definida
pela fronteira de
V . Ento, para cada simetria da ao, existe uma carga Qa = V d3 x0a que uma
constante de movimento.

Portanto, simetrias implicam em cargas conservadas, que so constantes de movimento

do ponto de vista de um observador inercial.

5.5

Translaes e a conservao de energia e momento

Considere a transformao
x = a ,
com coeficientes a constantes. Esta operao representa uma translao no espao-tempo.
Neste caso,
x = a = a

= .

46

Essas transformaes so efetuadas de modo que i = 0, pois campos relativsticos so

naturalmente invariantes por translaes. Ento a equao de Lie torna-se


L
d L
d

i x = (H x ) ,
i

dx
dx
que resulta em


L
d L
d

i = (H ) .
i
dx i
dx
Se as equaes de campo so satisfeitas,
d L
L
i = 0,
i

dx
temos
d
(H ) = 0.
dx

(5.24)

Portanto, existem quatro equaes de continuidade para a densidade de energia-momento:

0
~ = 0,
H +H
t

(5.25)



~ .
em que consideramos H = H 0 , H
Agora, conveniente entendermos melhor o papel da densidade de energia-momento. Podemos obter uma definio formal abaixo.

Definio 7. Densidade de energia-momento cannica.

Seja E o espao vetorial dos vetores de Lorentz definidos em M4 e o espao de todas
as funes escalares de Lorentz definidas em M4 . A densidade de energia-momento
um funcional bilinear T : E E . Dado um sistema de coordenadas {x } e uma
base de covetores dx , T tem a forma T = H dx dx , cujas componentes so dadas
por
H

L i
L,
i

(5.26)

em que L uma densidade lagrangiana. Neste caso, T um tensor do tipo (0, 2).

Considere agora um observador em um referencial inercial com 4-velocidade u = u :

Definio 8. Densidade de energia.

Seja u a 4-velocidade de um observador e T a densidade de energia-momento de um
campo. A densidade de energia do campo medida por este observador definida
pelo escalar
T (u, u) = H u u .

(5.27)

47

Supondo que o observador esteja em repouso com relao ao seu sistema de coordenadas
local, temos u = (1, 0, 0, 0). Neste caso,
= H u u = H00 u0 u0 = H00 .
Neste caso, o tempo medido por este observador dado por t = x0 /c e, a tempo constante,
podemos integrar esta expresso em um volume V tridimensional:



L i

L
d3 x.
(x) d3 x =
H00 (x) d3 x =
i0 0
V
V
V
Esta integral precisamente a energia do campo no volume V , ou seja,

H=
H00 (x) d3 x

(5.28)

a funo hamiltoniana do campo. Neste caso, a energia a integral no volume da componente H00 de T quando o observador encontra-se em repouso com relao ao seu prprio
referencial. No caso mais geral, a energia dada por

H=
H (x) u u d,
(5.29)

em que um volume tridimensional ortogonal velocidade u.

Observao 2. O processo descrito acima uma escolha de dinmica relativstica.

Uma dinmica relativstica envolve a escolha de um eixo temporal, neste caso a velocidade u de um observador, de modo que seu tempo prprio seja o parmetro de
evoluo temporal. Neste caso, o observador mede os campos no mais como funes
no espao-tempo, mas como funes do tempo t e das posies x de um espao tridimensional t onde todos os pontos so definidos a t constante. Uma escolha de dinmica relativstica, portanto, decompe o espao-tempo em espaos tridimensionais
t em cada tempo t. Os fsicos chamam este processo de folheao do espao-tempo,
de modo que cada t uma folha tridimensional a t constante. Quando t = x0 /c
e t = R3 , esta dinmica denominada dinmica instantnea. Existem, at o momento, cinco dinmicas relativsticas no equivalentes.

Agora, vamos considerar um vetor unitrio e ortogonal a u. Este vetor claramente

tangente a , visto que u ortogonal a . De fato, podemos definir um conjunto de trs vetores
k = (1 , 2 , 3 ) que formam uma base ortonormal de . Cada vetor um eixo ortonormal de
. Neste caso,
Definio 9. Densidade de momento.
Seja um vetor unitrio ortogonal velocidade u de um observador, e T a densidade
de energia-momento de um campo. A densidade de momento do campo na direo
de , p , medida por este observador definida por
p T (u, ) = H u .

(5.30)

Na dinmica instantnea, u = (1, 0, 0, 0). Seja 1 = (0, 1, 0, 0). Neste caso,

p1 = H u = H01 u0 1 = H01 .

48

Esta a densidade de momento na direo x1 . Da mesma forma, p2 = H02 e p3 = H03 , de

modo que
pk = H0k ,

(5.31)

k = 1, 2, 3.

Integrando-se esta expresso, temos

Pk
pk (x) d3 x = Pk
H0k (x) d3 x.
V

(5.32)

Esta expresso define o momento total do campo em cada direo espacial.

Por fim, definimos:
Definio 10. Densidade de estresse.
Seja k uma base para , tal que seja ortogonal velocidade u de um observador.
Seja T a densidade de energia-momento de um campo. Considere tambm uma
superfcie gaussiana k ortogonal a cada k em determinado ponto de . O fluxo da
componente m da densidade de momento atravs de uma superfcie n dado por
mn T (m , n ) = Hmn m n ,

(5.33)

e denominado densidade de estresse do campo.

Na dinmica instantnea, imediato verificar que

(5.34)

mn = Hmn .
Assim, quando u = (1, 0, 0, 0), temos

p1 p2 p3
p1 11 12 13

H =
p2 21 22 23 .
p3 31 32 33

(5.35)

As componentes 11 , 22 e 33 so denominadas densidades de estresses normais a cada direo. Quando so iguais, kk (sem soma em k) denominado densidade de presso do campo.
Integradas em , (5.35) formam as componentes do tensor de estresse. Da mesma forma, as
integrais

H (t, x) d
(5.36)
T (t)
t

so as componentes do denominado tensor energia-momento.

Vamos voltar discusso anterior. Vimos que a invarincia da ao sob translaes implica em que as equaes de Euler-Lagrange resultam em uma equao de continuidade para
a densidade de energia-momento. Neste caso, vamos escrever
H = 0,

(5.37)

que vem a ser a forma mais comum de notao. Dizemos que H uma quantidade conservada.
Vamos trabalhar na dinmica instantnea de agora em diante. Integrando (5.37) em
M4 , temos

0=
d H = dt
d3 x H

= dt
d3 x 0 H0 + k Hk , k = 1, 2, 3.
V

49

Temos

d3 x 0 H0 + k Hk =

dt
V


dt

d
dt

d3 xH0


+


d3 x k Hk = 0.

Vamos analisar apenas a equao para = 0. Assim, com H00 = e Hk0 = H0k = pk , temos
 



d
3
3
k
dt
d x (x) +
d x pk = 0.
(5.38)
dt
V
V
Dentro dos colchetes, a segunda integral um termo de fronteira em V :

d3 x k pk =
d2 x nk (x) pk (x) ,
V

(5.39)

em que nk (x) so as componentes de um campo vetorial (em trs dimenses) ortogonal a V .

Esta integral o fluxo de momento do campo atravs da superfcie V . Ns vamos supor que
o sistema fechado, de modo que n p = 0 em V . Neste caso, a integral nula e ficamos
apenas com



dH
dH
d
3
d x (x) = dt
= 0 =
= 0.
(5.40)
dt
dt
dt
dt
V

Portanto, a hamiltoniana H = V d3 x (x) = V d3 xH00 uma constante de movimento.

Quando uma hamiltoniana conservada, ela relacionada com a energia do sistema. Portanto, invarincia por translaes (especificamente pela evoluo temporal), resulta na conservao da energia do campo.
As demais equaes, para = k, resultam em
 



d
dt
d3 xpk +
d3 x l lk = 0,
dt
V
V
em que pk = H0k e lk = Hlk , com l = 1, 2, 3. Mais uma vez, vamos supor que o sistema
fechado, de modo que o estresse do campo tangente superfcie V . Assim,

d3 x l lk =
dx nl (x) lk (x) = 0
V

d
dt
dt

d xpk


= 0.

A equao acima implica em que os momentos Pk =

d3 xpk (x) so conservados, ou seja,

dPk
= 0.
dt

(5.41)

Ento, translaes (espaciais) implicam na conservao dos momentos lineares dos campos.

5.6

Rotaes, momento angular e spin

Vamos analisar o que ocorre quando a ao invariante por transformaes de Lorentz, que
vem a ser uma (pseudo)rotao global no espao-tempo. Temos


1

y = x 1x + x = + i (Jab ) ab x ,
(5.42)
2
em que ab = ba e Jab so os geradores da lgebra so (1, 3) na representao adjunta,

(Jab ) = i (a b b a ) ,

a, b, , = 0, 1, 2, 3.
50

(5.43)

Neste caso,
x =

i (Jab ) ab x .
2

(5.44)

Uma rotao no espao-tempo implica uma rotao nos campos. Vamos definir esta rotao
i = 0, ou seja, apenas a transformao no ponto influencia na transformao
de modo que
total dos campos. Assim,
i = x i =

i (Jab ) ab x i ,
2

(5.45)

de modo que a equao de Lie





d L i
d
L
i L

i =
H x
i
dx
dx
i
torna-se
d
dx

L i
H x
i


=

1 d
i
2 dx





L i

ab

H
(J
)

x
=0
ab

i = 0. Como ab so constantes,
independentemente das equaes de campo, visto que
temos



L i

H (Jab ) x = 0.
(5.46)
i
Com (5.43), temos


L

0 = H (a b b a ) x i i (Jab ) x



L i

= (H a xb H b xa ) i (Jab ) x .

Vamos definir dois objetos:

Definio 11. Densidade de momento angular orbital.
As componentes da densidade de momento angular orbital so definidas por
`ab H a xb H b xa .

(5.47)

Este momento angular um vetor de Lorentz, mas tambm uma matriz na lgebra de
Lorentz. Todo campo que se transforma como uma representao do grupo de Lorentz possui
momento angular orbital. O segundo objeto dado por:
Definio 12. Densidade de spin.

Seja uma rotao infinitesimal x = x = (i/2) (Jab ) ab x . Se os campos i se

transformam de modo que
i =

i (Jab ) ab x i ,
2

as componentes da densidade de spin dos campos so definidas por

L i
L

sab i
= i i (Jab ) x .
ab

51

(5.48)

Neste caso, a corrente de Noether conservada dada pela densidade de momento angular total, cujas componentes so
mab `ab + sab ,

(5.49)

que obedecem s equaes de continuidade

mab = 0.

(5.50)

Vamos integrar (5.50) em , como temos feito usualmente:

0=
d mab = dt
d3 x mab
V



dMab
3
0
= dt
d x 0 mab + i miab + dt
+
d3 xi miab .
dt
V
V
Mais uma vez, vamos supor que o fluxo de momento angular em V nulo, anulando a ltima
integral. A matriz

Mab
d3 xm0ab
V

a matriz de momento angular total. Ento, a equao de continuidade implica em

dMab
= 0,
(5.51)
dt
ou seja, o momento angular total dos campos uma carga conservada.
Portanto, o momento angular de um campo tem uma componente orbital e uma componente de spin,
(5.52)

Mab = Lab + Sab ,

em que

d3 x`0ab e Sab =

Lab =
V

d3 xs0ab .

(5.53)

Embora no exista uma razo matemtica, o fato que ambos os momentos angulares so
conservados separadamente em campos relativsticos. Note que, se mab = 0 e H = 0,
temos
sab = `ab = (H a xb H b xa )
= H b xa H a xb = H b a H a b
= Hab Hba ,

(5.54)

ou seja, a divergncia da densidade de spin igual parte antissimtrica da densidade de

energia momento. Se a densidade de energia-momento simtrica, sab = 0 e, assim, ambas
as componentes do momento angular so conservadas separadamente.
Observao 3. No geral, as componentes da densidade de energia-momento
H =

L i
L
i

no so simtricas, ou seja, H 6= H . Mas existe um procedimento de simetrizao de H , conhecido como procedimento de Belinfante, que consiste em acrescentar
um termo de fronteira ao tensor energia-momento:


1
T = H + s + s s .
2

(5.55)

Este tensor chamado tensor de Belinfante-Rosenfeld e, usando (5.54), mostra-se

que T = T . A diferena entre T e H um termo de divergncia total e,
assim, torna-se um termo de fronteira na ao, o que no altera as equaes de
campo. Neste caso, sempre prefervel o uso do tensor energia-momento simtrico
sobre o cannico, visto que este garante a conservao da densidade de spin.
52

5.7

O segundo teorema

O segundo teorema de Noether diz respeito invarincia da ao sob transformaes locais,

ou seja, cujos parmetros so funes de pontos do espao-tempo. Vamos considerar uma
transformao dependente de um conjunto de funes do ponto do espao-tempo a , tal que
a = 1, , m:

i da 
i
x .
(5.56)
=
a dx =0
Esta transformao implica em
i = i x i ,

(5.57)

que resulta em
 i a

d 
i
i

x ,
=
a dx =0

(5.58)

em que
x =


dy 
a .
da =0

Vamos definir as funes


dy 
Aia i
e
da =0

(5.59)

Bai


i 
x ,
a =0

(5.60)

De forma que,
i = Bai

a
da
i

i a
i = B i d Ai a .
,

x
=
A

a
a
a
dx
dx

(5.61)

A equao de Lie,


a
i + L B i d H x = 0,
(EL)i

i a dx
em que
(EL)i

d L
L
i
i
dx

(5.62)

so os lados esquerdos das equaes de campo, torna-se

(EL)i Bai a Aia a + = 0,

(5.63)

com
L
i



a
i d
i a
Ba
Aa + Lx .
dx

(5.64)

Podemos escrever esta equao como

0 = (EL)i Bai a Aia a +
= (EL)i Bai a (EL)i Aia a +




= (EL)i Bai a (EL)i Bai a (EL)i Aia a +




= (EL)i Bai a (EL)i Aia a + + (EL)i Bai a .

53

Ou seja,
 




(EL)i Bai + (EL)i Aia a + (EL)i Bai a = 0.

(5.65)

Agora, vamos integrar esta equao em :



a
 

i
i
(EL)i Ba + (EL)i Aa d
d + (EL)i Bai a = 0.

Enquanto o primeiro teorema de Noether lida com o caso de parmetros constantes, em

que as transformaes so globais e a invarincia da ao definida em todo o domnio ,
a invarincia da ao por transformaes com parmetros que dependem do espao-tempo
local. A integral fundamental no s invariante quando calculada num volume , mas
. Exceto em , a integral
tambm em qualquer sub-domnio



d
+ (EL)i Bai a
(5.66)

. Neste caso, temos

deve ser nula em todo

 


A =
(EL)i Bai + (EL)i Aia a d
= 0.

Com volume e parmetros arbitrrios, temos as relaes



(EL)i Bai + (EL)i Aia = 0.

(5.67)

Estas so as chamadas identidades de Noether.

Teorema 4. Segundo Teorema de Noether.
Seja uma transformao total dos campos que dependa de um conjunto de n parmetros a (x), dependentes do ponto do espao-tempo. Se a ao invariante sob
estas transformaes, existem n identidades de Noether que envolvem combinaes
lineares das equaes de Euler-Lagrange.

As identidades de Noether (5.67) podem ser colocadas na forma de uma equao de conservao covariante. Para tal, definimos as funes Gai tais que
Gai Bbj = ij ba .

(5.68)

Assim,


0 = (EL)i Bai + (EL)i Aia
h
i
= (EL)i Bbj ji ab + (EL)i Ajb ab ji
h
i
= (EL)i Bbj Gbj Bai + (EL)i Ajb ab ji .
Vamos multiplicar por G direita:
h
i
0 = (EL)i Bbj Gbj Bai Gck + (EL)i Aia Gck
h
i
= (EL)i Bbj Gbj ac ki + (EL)i Aia Gck
h
i
= (EL)k Bbj Gbj ac + (EL)i Aia Gck
h
i
= (EL)k Bbj Gbj ac + (EL)i Aia Gck .

54

Agora, vamos multiplicar por B direita:

h
i
0 = (EL)k Bbj Gbj ac Bdl + (EL)i Aia Gck Bdl
h
i
= (EL)k Bbj db jl ac + (EL)i Aia Gck Bdl


= (EL)i Bdl ki ac + (EL)i Bdl Aia Gck



= ji ab + Aia Gbj (EL)i Bck .
Vamos definir a derivada covariante
ib

ib

( )ja ji ab ( )ja ,

(5.69)

com os campos de conexo

ib

( )ja Aia Gbj .

(5.70)

Dessa forma, as identidades de Noether podem ser escritas por


ib 
( )ja (EL)i Bck = 0.

(5.71)

Essas identidades so independentes das equaes de movimento e no dependem das

condies de fronteira dos campos ou das variaes do problema variacional. So vlidas
para qualquer configurao de campos, extremos ou no. Elas recebem o nome de leis de
conservao imprprias: no so verdadeiramente leis de conservao. As quantidades
j
j
ic (EL)i Bc

(5.72)

so chamadas correntes imprprias.

Na fronteira de , a integral (5.66) no pode ser levada a zero para transformaes com
forma geral. Assim, temos

 




(EL)i Bai + (EL)i Aia a d
d + (EL)i Bai a = 0.
(5.73)

em . Para campos que so extremos do problema variacional, (EL)i = 0 e

d = 0,

(5.74)

com


L
dx
Bai a Aia a + L a a
i

d


L
L i
dx a
L
= i Bai a
A
+
L
= i Bai a a a ,

i a
da

(5.75)

com
a

L i
dx
A
+
L
.
a
i
da

(5.76)

A equao (5.74) resulta em = 0, de modo que uma corrente prpria. Portanto,





L i
L i

a
a
a
=
B a =
B (a a )
i a
i a




L i
L i
a
=
B
+
B
a a a a a
i a
i a
 




L i
L i

a
=
B

+
B
a ( a ) a = 0

a
i a
i a
55

Vamos supor que e suas derivadas sejam independentes. Neste caso,

a = 0,


L i
B
,
a =
i a
L i
L
B + i Bai = 0.
i a

(5.77)
(5.78)
(5.79)

Portanto, na validade das equaes de campo, temos um conjunto de correntes prpria conservadas (5.77). Essas correntes, de acordo com (5.78), pode ser escrita como uma divergncia
ordinria de um tensor de segunda ordem que, ainda de acordo com (5.79), deve ser antissimtrico nos ndices do espao-tempo. Este conjunto de relaes no , obviamente, independente.
Se a corrente escrita como a divergncia de um tensor antissimtrico, a lei de conservao
(5.77) automtica, devido simetria das derivadas.
Se leis de conservao prprias so obedecidas, integrais de movimento podem ser encontradas com uma escolha de dinmica relativstica. Essas integrais so dadas pelas carga



L i0
L i
1
B

B
.
d3 x
Qa =
d3 x0a =
2 V
i a
i0 a
V
Com o teorema de Gauss-Ostrogradski, essa carga pode ser escrita por



1
L i
L i0
Qa =
d2 xn
B
B

2 V
i a
i0 a

(5.80)

como uma integral de 2 dimenses na fronteira de V .

5.8

Invariantes

Para comear, vamos tratar sobre os invariantes que encontramos no captulo passado. Esses invariantes esto relacionados aos invariantes de Casimir da lgebra de Poincar, que
incluem rotaes e translaes em M4 . A simetria por translaes implica na conservao da
densidade de energia-momento
H i i L,

(5.81)

que obedece a uma equao de continuidade H = 0. Na dinmica instantnea, em que

t = x0 /c, a conservao de H implica na existncia das constantes de movimento

P =
d3 xH0 (x) ,
(5.82)
R3

em que P0 = E/c est relacionado energia do sistema e Pk , com k = 1, 2, 3, so os momentos

lineares dos campos.
O invariante de Casimir relacionado a essas funes o momento linear ao quadrado
P 2 = P P . Note que P , como geradores da lgebra de translaes, so operadores abstratos
que atuam sobre os campos, de modo que (5.82) uma realizao analtica desses operadores.
P 2 define um problema de autovalores
P P = m2 ,

(5.83)

em que m definido como o contedo de massa do campo . Se o campo um campo clssico, dependente do ponto do espao-tempo, ou seja, = (x), a realizao dos momentos
apropriada dada por P i , de modo que (5.83) torna-se a equao de Klein-Gordon-Fock


 + m2 (x) = 0,

(5.84)
56

em que
 = = P 2

(5.85)

o operador DAlambertiano. Todo campo relativstico obedece equao de Klein-GordonFock por definio, j que tais campos so construdos como invariantes por translaes.
A invarincia por rotaes, por outro lado, implica na conservao do momento angular
total, representado pela matriz
(5.86)

M = L + S ,

que tem uma componente orbital e uma componente de spin, como definidos em (5.53), (5.47)
e (5.48). Neste caso, P e M so geradores da lgebra de Poincar.
Com (5.86) podemos construir o operador de Pauli-Lubanski
i
W M P .
2

(5.87)

Definio 13. O tensor antissimtrico quadridimensional.

Em quatro dimenses, podemos definir o tensor de componentes

para combinaes cclicas de () ,

1

= 0
se quaisquer dois ndices forem iguais,

1 para combinaes anti-cclicas de (),

(5.88)

de modo que 0123 = 1. Note que as componentes inversas

=

(5.89)

obedecem mesma regra, contudo, 0123 = 1 devido mtrica de Minkowski.

O operador W , obedece trivialmente relao W P = 0 e possui as seguintes relaes

de comutao com os geradores da lgebra:
[P , W ] = 0, [M , W ] = W W ,

(5.90)

alm de
[W , W ] = W P .

(5.91)

A importncia do operador de Pauli-Lubanski vem a ser o fato de que ele gera transformaes
de Lorentz que preservam os autovalores de massa do operador momento. Neste caso, ele
pode ser utilizado, em conjunto com P 2 , para classificar campos relativsticos em termos de
sua massa e spin. O quadrado deste operador,
W 2 = W W ,

(5.92)

um invariante de Casimir da lgebra de Poincar. Este esquema de classificao foi introduzido por Wigner [19].
Considere um campo livre com contedo de massa m diference de zero e energia E.
Aps quantizado, tal campo dar origem a estados de partculas de massa m. Como W 2
um invariante de Poincar, podemos calcul-lo escolhendo um referencial inercial. Vamos
escolher um observador em repouso na origem, de modo que P = (E/c = mc, 0, 0, 0) = P0 .
Neste caso,
i
W mc0 M .
2
57

Com as propriedades de , temos W0 = 0. Com k, m, n = 1, 2, 3, temos

i
Wk = mckmn M mn = mcJk ,
2

(5.93)

em que Jk = (i/2) kmn M mn so as componentes do momento angular tridimensional. Usamos a relao kmn = 0kmn . Neste caso,
W 2 = m2 c2 J i Ji = m2 c2 J2 ,

(5.94)

Em que J2 = mn Jm Jn = mn Jm Jn o quadrado do momento angular total. Supondo um

estado singleto, em que o momento orbital nulo, temos
W 2 = m2 c2 S2 ,

(5.95)

em que S2 = Sk S k o quadrado do spin (tridimensional) do campo. No geral, um estado

fundamental de um campo quntico um estado singleto, de modo que o estado de momento
angular total resulta em seu estado de spin.
Ao atuar em um estado singleto, temos
S2 = s (s + 1) ,

(5.96)

ou seja, as partculas de massa m podem ser classificadas por seus valores de spin s =
0, 1, 2, , caso em que o campo denominado bosnico, ou s = 1/2, 3/2, , caso em que o
campo ferminico.
No caso no massivo, notemos que P 2 = 0 no implica em W 2 = 0. De fato,
1
W W = M P M P = M P M P ,
4
que pode ser calculado com uso da relao

= det

(5.97)

(5.98)

vlida para o tensor .

Se P 2 = 0, temos E 2 = p2 c2 , em que p o momento linear tridimensional docampo. Assim,
p
p2 , p e
P um vetor tipo luz, ou seja, repousa sobre o cone de luz. Neste caso, P =
W0
Wk

i
= kmn M km P n = Jk pk = J p,
2
i
E
= k M P = Jk + ikmn M 0m P n .
2
c

(5.99a)
(5.99b)

A equao 5.99b gera um conjunto de transformaes que no preserva o spin do campo,

portanto vamos descart-la como alternativa para construo de um invariante. Por outro
lado, W0 denominado helicidade do campo quando L p = 0:
h S p,

(5.100)

e um invariante relativstico. Se o campo tem spin s, a helicidade tem autovalores

(s, s + 1, , 0, , s 1, s) .

58

Captulo 6

O campo escalar
6.1

O campo escalar real

O campo relativstico mais simples aquele cujas componentes so invariantes por transformaes de Lorentz. Um campo escalar real uma funo (x) : M4 R tal que
x x0 = x

(x) 0 (x0 ) = (x) .

(6.1)

Obviamente, se no muda por rotaes em M4 , isto implica em que o momento angular

total do campo nulo, ou seja, L = 0 e S = 0. Neste caso, um campo cujas componentes
so invariantes de Lorentz tem spin zero.
Se o campo tem contedo de massa m, temos que P 2 = m2 , o que na realizao das
posies P = i resulta na equao de Klein-Gordon-Fock


 + m2 = 0.
(6.2)
A equao (6.2) a nica equao obedecida por , portanto, ela considerada a equao de
campo do campo escalar real.
A densidade lagrangiana relacionada equao (6.2) dada por
L=

1
m2 2 ,
2

(6.3)

que resulta em (6.2) atravs das equaes de Lagrange

L
L

= 0.

( )

(6.4)

A densidade de energia-momento dada por



L
m2 2

( )


1
= m2 2 ,
2

H =

que j simtrico.
A funo hamiltoniana na dinmica instantnea dada por



1

2 2
3
3
H=
d xH00 (x) =
d x 0 0 00 m
2
R3
R3



1 2 1
1 2 2
3
2
k

=
d x k + m
2
2
2
R3



1
=
d3 x 2 + + m2 2 ,
2 R3
59

(6.5)

(6.6)

em que usamos a notao = 0 . H uma quantidade conservada no tempo e sempre

positiva, portanto igual ao seu contedo de energia. Por outro lado,

3
pk =
d xH0k (x) =
d3 x0 k .
(6.7)
R3

R3

ou seja,

d3 x.

p=

(6.8)

R3

Uma maneira imediata de introduzir uma interao permitir que o campo interaja consigo mesmo. No caso do campo escalar isto pode ser feito com termos do tipo n , em que
n 3. Um modelo de grande interesse, pois resulta em uma teoria quntica autoconsistente,
dado pela densidade lagrangiana
L=

1
m2 2 4 ,
2
4!

(6.9)

cuja equao de campo dada por

 + m 2 = 3 .
3!

(6.10)

Sua densidade de energia-momento vem a ser



1
2 4

2 2
.
H = m
2
4!

(6.11)

O termo 4 modifica, portanto, o contedo de energia do campo. O contedo de momento, por

outro lado, igual ao do campo livre.
Observao 4. Note que a transformao
=
deixa a densidade lagrangiana (6.9) invariante, portanto, no altera a equao de
campo (6.10). Esta transformao no contnua, portanto, no deixa um invariante
de Noether. Mas um exemplo de simetria interna do campo escalar, neste caso
denominada Z 2 . Vamos considerar
V () =

1 2 2 4
m + ,
2
4!

em analogia com o potencial em mecnica clssica. Se m um parmetro real,

m2 > 0 e, assim, V tem um nico mnimo em = 0. Por outro lado, se m um
nmero imaginrio puro, m2 < 0 e, assim, V tem dois mnimos
r
6
= m2

e um mximo em = 0. Os mnimos do potencial esto relacionados com os estados

de vcuo da teoria quntica, de modo que h um vcuo nico para m2 > 0, mas
h uma degenerescncia para m2 < 0. No primeiro caso, o vcuo invariante pela
simetria Z 2 . No segundo caso, no entanto, os estados de vcuo no so mais invariantes. Dizemos, assim, que a simetria Z 2 sofre uma quebra, consistindo em um
exemplo simples de quebra espontnea de simetria.

60

6.2

O campo escalar complexo

Um campo escalar complexo, por outro lado, uma funo (x) : M4 C tal que
x x0 = x

(x) 0 (x0 ) = (x) .

(6.12)

Novamente, este um campo de spin zero. O campo complexo tambm obedece equao de
Klein-Gordon-Fock


 + m2 = 0,
(6.13a)
mas agora temos tambm a equao conjugada


 + m2 = 0.
A ao deste campo dada por

A=
d4 x m2 .

(6.13b)

(6.14)

M4

Para variar, vamos encontrar as informaes necessrias variando a ao com relao a um

conjunto de transformaes infinitesimais , , x . O resultado vem a ser






A = d4 x ( ) + ( ) + m2 x







+ d4 x  + m2 (x ) +  + m2 (x ) .
(6.15)
A segunda linha nos d as equaes de campo (6.13), segundo o princpio de Weiss. O termo
de fronteira nos d os momentos covariantes
,

(6.16)

conjugados variveis e respectivamente. O coeficiente de x a densidade de energiamomento

H = + m2 .
(6.17)
Na dinmica instantnea, temos a hamiltoniana

H=
d3 x + + m2 ,

(6.18)

R3

e os momentos lineares
em que = 0 = e = 0 = ,




pk =
d3 x (0 ) + (0 ) .

(6.19)

R3

6.3

Simetrias internas

A simetria Z 2 tambm est presente no campo escalar complexo. Vamos trat-la adequadamente mais adiante. H uma simetria, contudo, que o campo real no apresenta. Considere
a transformao global
(x) 0 (x) = ei (x) ,

(x) 0 (x) = ei (x) ,

(6.20)

em que um parmetro real constante. Esta transformao claramente deixa invariante a

ao (6.14). Esta uma transformao interna, que no modifica o ponto do espao-tempo.
Para o primeiro teorema de Noether, consideramos as verses infinitesimais
(x, ) = i (x) ,

(x, ) = i (x) .
61

(6.21)

A equao de Lie




L
d L i
i L

i =
H x
i
dx
i

torna-se, com x = 0 e = ,




 + m2 +  + m2 = ( + ) .
Neste caso, as equaes de campo implicam na lei de conservao
( ) = 0,

(6.22)

com o uso de (6.21). A carga conservada na dinmica instantnea dada por



Q=
d3 x .

(6.23)

R3

A simetria (6.20) um exemplo de simetria de gauge global. Ela pertence ao grupo de

transformaes denominado U (1), que consiste em todas as transformaes complexas unitrias cuja lgebra possui apenas um gerador, precisamente o nmero 1. Um membro de U (1)
representado simplesmente por um nmero complexo tal que = 1, que pode ser colocado
na forma = ei para algum real. Portanto, a invarincia global por U (1) resulta em uma
carga conservada (6.23). Podemos tentar identificar Q como a carga eltrica do campo, mas
esta identificao seria simplesmente incorreta. Um campo livre simplesmente no possui
um contedo de carga que gere campos eletromagnticos. A razo que a invarincia global
no suficiente para descrever a interao de com um campo eletromagntico, qualquer
que seja a teoria que o descreva. A localizao da simetria por U (1) deve ser implementada
para que o contedo de carga eltrica tenha sentido fsico.

6.4

Simetrias de gauge locais e interao

Vamos considerar, agora, as transformaes

(x) 0 (x) = ei(x) (x) ,

(x) 0 (x) = ei(x) (x) ,

(6.24)

em que (x) um parmetro real dependente do ponto. Esta uma transformao de gauge
local, ainda representada por um membro do grupo U (1). A diferena para o caso global est
no fato de que cada ponto de M4 est ligado a um membro distinto de U (1).
Esta transformao j no deixa invariante a ao (6.14). Note que a densidade lagrangiana
L = m2

(6.25)

transforma-se por

 

L L0 = ei(x) ei(x) m2
= ( i ) ( + i ) m2 ,

(6.26)

em que = . O problema est nas derivada dos campos, que se transformam por


ei = ei ( + i ) ,


ei = ei ( i ) .
Ao impor a invarincia local sobre a teoria, devemos encontrar uma lagrangiana invariante de gauge local. A maneira mais simples introduzir uma conexo, denominado campo
de gauge, de componentes A , tal que
D + iqA

(6.27)
62

pode ser definida como uma derivada covariante. Para que D seja covariante, temos
0

D0 0 = ( ) + iqA0 0


= ei + iqA0 ei


= ei + ei + iei qA0





=ei + iq iei ei + A0 .
A covarincia atestada por D ei D , de modo que o campo de gauge deve se transformar na forma


A0 = A + iei ei ,
(6.28)
ou
A0 = A .

(6.29)

Em vez da densidade lagrangiana (6.25), vamos considerar

L = (D ) D m2 .

(6.30)

se a conexo se transforma segundo (6.29), esta lagrangiana invariante pelas transformaes de gauge locais do grupo U (1). (6.30) pode ser reescrita na forma
L = ( iqA ) ( + iqA ) m2
= m2 + A J ,

(6.31)

em que
J iq ( iqA )

(6.32)

a densidade de corrente do campo escalar.

As equaes dos campos escalares da lagrangiana (6.32) so


J
 + m2 = A ,

J
 + m2 = A
,

(6.33)

em que
J

= iq ( iqA ) = iq (D ) ,

J
= iq ( + iqA ) = iqD .

(6.34a)
(6.34b)

Portanto, se uma simetria interna local imposta ao sistema fsico, um novo campo A =
A dx deve ser introduzido, e suas componentes se transformam por
A A

(6.35)

por transformaes de gauge locais. Contudo,

x x

A A ,

(6.36)

portanto A tambm um covetor de Lorentz. Veremos mais adiante que essas so precisamente as caractersticas do potencial eletromagntico. Assim, simetria por transformaes
de gauge locais do grupo U (1) implicam em interao eletromagntica.
A lagrangiana (6.31) no pode ser completa. necessrio acrescentar ao sistema um
termo para o campo eletromagntico livre, que seja um escalar de Lorentz e, tambm, invariante de gauge. Este termo construdo com o tensor
F = F dx dx ,

(6.37)
63

em que o produto exterior (uma generalizao do produto vetorial) e as componentes so

F A A ,

(6.38)

automaticamente invariantes de gauge. Neste caso, a lagrangiana completa dada por

1
L = F F + m2 + A J ,
4

(6.39)

que consiste em um temo livre do campo eletromagntico, um termo livre do campo escalar e
um termo de interao. Esta a lagrangiana da eletrodinmica escalar.
Se esta lagrangiana invariante por U (1) local, ela automaticamente invariante por
U (1) global. Portanto, o primeiro teorema de Noether se aplica, resultando na corrente prpria
=

L
L

= ( iqA ) ( + iqA )

= (D ) D ,

(6.40)

que conservada ( = 0). Na dinmica instantnea, temos




Q=
d3 x (D0 ) D0
3
R
h
i
=
d3 x 2iqV ,

(6.41)

R3

em que V = A0 vem a ser o potencial escalar. Neste caso, Q a carga eltrica do campo
escalar.
Observao 5. O procedimento acima pode ser generalizado para uma teoria de
gauge do grupo U (N ). Neste caso, tratamos das transformaes mais gerais
a

ei = ei

Ta

ei = ei

Ta

(6.42)

em que a operao de transposio com conjugao complexa. A derivada covariante definida por
(6.43)

D = 1 + iqA ,

em que A = A dx = Aa dx Ta um potencial de gauge que toma valores na representao fundamental do grupo U (N ), cujos geradores so as matrizes Ta . Note
que, se um elemento do grupo unitrio, temos
a

U = ei

Ta

: U U = 1,

que implica

U U = (1 + ia Ta ) (1 + ia Ta ) 1 + ia Ta ia Ta = 1,
ou seja, Ta = Ta , os geradores so hermitianos.
A corrente induzida por esta transformao, aps exigncia de invarincia local da
lagrangiana, dada por
J iq [1 1 iqA ] ,

(6.44)

enquanto a lagrangiana torna-se

L = (D ) D m2 = m2 + A J .

64

(6.45)

Captulo 7

O campo eletromagntico
7.1

O campo vetorial

Um campo vetorial vem a ser um objeto A : (x) (x), em que (x) o espao de funes
escalares com domnio em M4 . Em cada ponto do espao-tempo, A um vetor de Lorentz que
pode ser colocado na forma
A (x) = (x) ,

(7.1)

portanto as componentes (x) possuem a lei de transformao

x0 = x

A0 (x0 ) = A (x) ,

(7.2)

sob transformaes de Lorentz. Cada componente uma funo A (x) : M4 F, em que F

o conjunto dos nmeros reais se o campo for real, mas complexo se o campo for complexo.
Por simplicidade, vamos trabalhar inicialmente com o campo real.
Cada campo vetorial possui um dual, representado por um campo 1-forma diferencial
(x) = A (x) dx ,
A

(7.3)

cujas componentes se transformam por

x0 = x

A0 (x0 ) = A (x) T

= A (x) .

(7.4)

Ambos os campos so necessrios para a construo de uma dinmica que seja invariante
de Lorentz. A relao entre as componentes de vetores e covetores dada pela mtrica de
Minkowski:
A = A ,

A = A .

(7.5)

A lagrangiana desta teoria deve ser invariante por Lorentz, ento a primeira tentativa de
construo de uma lagrangiana deve ser com a densidade
L=

1
A A m2 A A ,
2

que descreve um campo vetorial de massa m. Esta densidade lagrangiana possui dois problemas. Primeiro, sua densidade de energia-momento no positiva-definida, dando origem
a uma densidade de energia com setor negativo. Para corrigir este problema, o campo deve
obedecer condio A = 0, denominada condio de Lorenz, ou s condies A0 = 0 e
i Ai = 0, com i = 1, 2, 3, conhecidas por condies do gauge de radiao. Esses vnculos
podem ser integrados densidade lagrangiana de formas diferentes, mas mostra-se que a
lagrangiana
1
m2
L = ( A A ) ( A A )
A A
4
2
65

resolve este problema. usual introduzir o tensor F = F dx dx , com componentes

F A A ,

(7.6)

de modo que
1
m2
L = F F
A A .
4
2

(7.7)

A densidade (7.7) denominada lagrangiana de Proca. As equaes de campo so dadas por

L
L

= 0,

A
A
de modo que
L
A



m2
m2 A
A

=
(A A ) =
A + A
2 A
2
A
A
2


m2
m
=
A + A =
(A + A )
2
2
= m2 A ,

e
L


F
L
=
=
F ( A )
"

#




L
L A A

=
.
=
F
( A )
F

L
A

Nessas ocasies, em que um objeto antissimtrico derivado com relao a suas componentes,
comum utilizar a delta antissimetrizada

[
] .

(7.8)

Assim,

L
A

=
=
=
=


L
L

[ ] = 2

F
F



1
1

2 F F = F F
F
4
2 F



1 F
F
1

F
+
F
= F + F

2
F
F
2
1
1
(F + F ) = (F + F ) = F .
2
2

Faremos mais uso do resultado

L
= F .
A

(7.9)

Ento, temos as equaes

F + m2 A = 0.

(7.10)

Derivando-se (7.10), temos

F + m2 A = 0

A = 0,

pois F antissimtrico, anulando o primeiro termo. Portanto, o campo de Proca obedece

condio de Lorenz identicamente.
66

A densidade de energia-momento de (7.7) torna-se

H

L
A L = F A L,
A

ou seja,
1
m2
H = F A + F F +
A A .
4
2
Vamos utilizar a verso simtrica
1
m2
T = F F + F F +
A A m 2 A A ,
4
2

(7.11)

que difere de H por uma divergncia total:

T H = m2 A A F F A = (F A ) ,
fato que no altera as equaes de campo. A equao acima tambm implica em T = 0.
Este tensor d origem hamiltoniana



m2
1

2
0
3
3

A A m A0 A
H =
d xT00 =
d x F0 F0 + F F +
4
2
R3
R3



1
1
m2
3
0i
ij

2 2
=
d x F0i F + Fij F +
A A + m A0 ,
(7.12)
2
4
2
R3
e aos momentos lineares

Pi =
d3 xT0i =
R3

d3 x F 0j Fij m2 A0 Ai ,

(7.13)

R3

que so conservados.
Uma transformao de Lorentz em um campo vetorial dada explicitamente por


i
i

A (x) exp (J ) A = A + (J ) A = A + A ,
2
2
ento, a densidade de spin torna-se
s

L (A )
(A )

= F
= F A = F [ ] A

= F [ A] = F A F A .

(7.14)

O momento angular orbital, por outro lado, dado por

`

T[ x]

F x[ F] m2 A A[ x] [ x] L

(7.15)

o que resulta no momento angular total

m = F x[ F] m2 A A[ x] F [ A] [ x] L,
cuja divergncia nula. A matriz M dada por

M =
d3 xm0
R3



i
=
d3 x F0i F ij x[ ]j m2 A0 A[ x] + A[ ]
F0i 0[ x] L
R3

tambm conservada.

67

(7.16)

(7.17)

7.2

O campo eletromagntico

O campo eletromagntico um campo vetorial real de massa nula, que tambm uma conexo
de gauge do grupo U (1). Neste caso, mais conveniente defini-lo por sua 1-forma diferencial
A = A dx ,

(7.18)

cujas componentes se transformam pela transposta de um elemento do grupo de Lorentz, mas

que tambm tem a lei de transformao
A A

(7.19)

sob uma transformao de gauge local U (1).

O grupo U (1) o grupo mais trivial de transformaes unitrias. Seu elemento mais geral
escrito por
exp (i) ,
em que um nmero real. A lgebra infinitesimal dada pela expanso
exp (i) 1 + i = 1 + i1,
ou seja, o nico gerador dado pelo nmero 1.
No captulo anterior, vimos que este campo aparece como o campo que interage com o
campo escalar complexo, quando sua lagrangiana invariante de gauge local. Esta lagrangiana dada por
1
L = F F + A J + L ,
4

F = A A .

(7.20)

em que L a lagrangiana livre do campo escalar, e J a corrente de interao. Todo campo

carregado eletricamente deve interagir com o campo A de maneira similar, como veremos
mais adiante. Ento, ao estudar exclusivamente o campo eletromagntico e sua interao,
podemos trabalhar com
1
LA = F F + A J .
4

(7.21)

Nosso sistema de unidades, por convenincia, o natural, em que ~ = c = 1.

Neste caso,
LA
= J ,
A
enquanto temos o resultado j calculado

L
= F ,
A

o que resulta nas equaes de campo

F = J .

(7.22)

Os resultados encontrados para o campo de Proca podem ser utilizados aqui, com m 0.
Neste caso, o tensor densidade de energia-momento tem componentes
1
H = F A + F F ,
4

(7.23)

com a verso simtrica

1
T = F F + F F .
4

(7.24)
68

Temos tambm



1
1
3
0i
ij
H=
d x F0i F + Fij F
,
2
4
R3

(7.25)

como a hamiltoniana conservada, e os momentos lineares conservados

Pi =
d3 xF 0j Fij .

(7.26)

R3

A matriz de momento angular, por outro lado, dada por



i
M =
d3 x F0i F ij x[ ]j + A[ ]
F0i 0[ x] LA .

(7.27)

R3

Note que, tomando-se a derivada de (7.22), temos

F = J = 0,

(7.28)

portanto, J uma corrente conservada. Vamos definir suas componentes por

J = , j i ,

(7.29)

i a densidade de corrente eltrica. Ento,

em que a densidade de carga eltrica e j = j i e
J = 0

j = 0,
t

que a equao de continuidade que envolve a conservao local de cargas eltricas.

As equaes de campo tornam-se
(
i F 0i =
F = J =
.
0 F i0 + j F ij = j i

(7.30)

Vamos analisar a primeira equao:





= i F 0i = i 0 Ai i A0 = i A i i A0 ,
de modo que V A0 = A0 vem a ser o potencial eletrosttico escalar e Ai so as componentes
do potencial vetor eletromagntico A. Ento,
 i



A
V
i
i 0

= i A A = i

,
t
xi
que pode ser escrito por


A
= .
V
t

(7.31)

Seja o campo eltrico definido por

E = V

A
,
t

(7.32)

ento, a equao (7.31) torna-se

E = ,

(7.33)

que a lei de Gauss. Portanto, as componentes do campo eltrico so dadas por

Ei = F0i = A i i A0

(7.34)
69

A segunda equao em (7.30) resulta em

j i = 0 F i0 + j F ij = 0 E i + j F ij ,
ou seja,
j F ij = 0 E i + j i .

(7.35)

Vamos definir o campo magntico B tal que suas componentes sejam dadas por
Bi =

1
ijk F jk
2

Fij = ijk B k .

(7.36)

Note que
Bi =

1 ijk
1
 Fjk = ijk (j Ak k Aj ) = ijk j Ak ,
2
2

que so as componentes do rotacional do potencial vetor, ou seja,

B = A.

(7.37)

Neste caso, (7.35) torna-se equivalente a

ijk j Bk = 0 E i + j i ,
ou,
B=

E
+ j,
t

(7.38)

que vem a ser a lei de Ampre-Maxwell.

Com as definies de E e B, temos

0
Ex /c Ey /c Ez /c
Ex /c
0
Bz
Bx
F =
Ey /c Bz
0
By
Ez /c Bz
By
0

A hamiltoniana dada por






1
1
1
1
0i
ij
3
i
k ijm
3
=
d x
Ei E + ijk B  Bm
H =
d x F0i F + Fij F
2
4
2
4
3
R3

 R



1 2 1
1 2 1 k
3
m
k
3
=
d x
E + (2k ) B Bm =
E + B Bk
d x
2
4
2
2
R3
R3

1
d3 x E2 + B2 ,
=
2 R3
que o contedo de energia do campo eletromagntico.
Os momentos lineares, por outro lado, resultam em

Pi =
d3 xF 0j Fij =
d3 xE j ijk B k =
d3 xijk E j B k , ou,
R3
R3
R3

3
P =
d x (E B) =
d3 xp,
R3

(7.39)

(7.40)

(7.41)

R3

que vem a ser o vetor de Poynting.

Ainda temos a matriz de momento angular que, na projeo M Mij , torna-se

h
i
Mij =
d3 x xi (E B)j xj (E B)i + Ai Ej Aj Ei .
R3

70

(7.42)

O momento angular total (espacial) dado por

h
i
1 ijk
1
Ji =
 Mjk =
d3 x ijk xi (E B)j xj (E B)i + Ai Ej Aj Ei
2
2
R3

h
i
=
d3 xijk xi (E B)j + Ai Ej ,
R3

ou, equivalentemente,

J=
d3 x (x p + E A) .

(7.43)

R3

Tambm podemos escrever uma forma explcita para o tensor energia-momento simtrico
do campo na dinmica instantnea. Temos

E 2 + B 2 /2
px
py
pz

px
xx xy xz
.
T =
(7.44)

py
yx yy yz
pz
zx zy zz
Nesta expresso, a matriz

xx


1
ij = Ei Ej + Bi Bj ij E 2 + B 2 = yx
2
zx

xy
yy
zy

xz
yz
zz

(7.45)

o tensor de tenses de Maxwell.

Em resumo, as equaes de campo
F = J

(7.46)

so equivalentes s equaes de Maxwell com fontes

E = ,

E
= j,
t

(7.47)

no sistema de unidades naturais.

Note que a combinao de derivadas baixo se anula identicamente,
(7.48)

F + F + F = 0.

Essas so chamadas identidades de Bianchi do campo eletromagntico. Elas podem ser escritas com o uso do campo dual
F  F ,

(7.49)

na forma
F = 0.

(7.50)

por exemplo, considere as componentes

1
1
F0i = 0imn F mn = imn F mn = Bi .
2
2

(7.51)

Por outro lado,

1
Fij = ij F = ijm F 0m = ijm E m ,
2
portanto temos

0
Bx
=
By
Bz

Bx
0
Ez
Ey

By
Ez
0
Ex

(7.52)

Bz
Ey
.
Ex
0

(7.53)

71

As equaes (7.50) tornam-se

(
i F i0 = 0

F = 0 =
0 F 0i + i F ji = 0

de modo que
i F i0 = 0

B=0

(7.54)

e
0 F 0i + i F ji = 0

E+

B
= 0,
t

(7.55)

sendo a ltima, a lei de Faraday.

Portanto, o sistema de equaes
F = J ,

F = 0

(7.56)

equivalente s equaes de Maxwell no vcuo

E=
B
=0
E+
t

B = 0,
E
B
= j.
t

(7.57)

De fato, este campo representa o campo eletromagntico.

7.3

Liberdade de gauge

A transformao
A A

(7.58)

de fato deixa invariante as equaes de Maxwell, supondo-se que j no dependa das componentes A . Isto ocorre porque, tendo quatro componentes, o campo A contm apenas dois
graus de liberdade independentes. Vamos supor as equaes de Gauss e Ampre com fontes
nulas,
F = 0,

(7.59)

que podem ser escritas por

0 = F = ( A A ) = A A .
Ento,
A A = 0.

(7.60)

Vamos tomar a equao para = 0:

A0 0 A =  02 A0 + 0 A = 0.
Note que
 02 = 02 = 0 0 + i i 02 = 2 ,
assim,
2 A0 0 A = 0.

(7.61)

72

Uma soluo formal para (7.61) pode ser escrita por

1
0 A,
A0 = 2
que deve ser compreendida por

A0 (x) = d3 yG (x y) 0 y A (y) ,

(7.62)

em que G (x y) a funo de Green para o operador Laplaciano.

A equao para = i torna-se
A ( A ) = A 0 A0 + ( A) = 0.

(7.63)

Substituindo-se (7.62),

1
A 0 2
0 A + ( A) = 0.

1
Inserindo-se a identidade 2 2
= 1, temos

1


1
( A)
0 = A 0 2
0 A + 2 2




1
( A)
= A + 02 + 2 2


2 1
= A 
( A)
h
i


1
=  A 2
( A) .
Vamos definir a funo

1
= 2
( A) ,

(7.64)

assim,
 [A ] = 0.
= A tal que a equao de onda
Portanto, existe uma transformao de gauge A
=
A

2A
=0
2 A
t2

(7.65)

obedecida. Note que

h
i


= A 2 1 ( A)
A

1
= A 2 2
( A) = A A = 0,

(7.66)

nulo. Na equao para A0 , temos

ento, nesta escolha de gauge, o divergente de A

1

1
A0 = 2
0 A = 2
0 2 = 0 ,
portanto,
A0 = A0 0 = 0.

(7.67)

Neste caso, existe uma funo (x) tal que toda configurao de campo pode ser levada a
obedecer as condies
A0 = 0,

A = 0.

(7.68)

Essas condies so as condies do gauge de radiao. Neste gauge, o potencial vetor eletromagntico obedece equao de onda
(7.69)

A = 0
73

na ausncia de fontes.
A condio A = 0 denominada condio de Coulomb. Para ver o que esta condio
significa, vamos decompor o campo A (x) em uma transformada de Fourier com relao a um
vetor k:

A (x) = d3 kA (k) eikA(x) .

Temos

x A (x)

= x d3 kA (k) eikx

=
d3 k (A x ) eikx = d3 kA kieikx .

Portanto,
A=0

ik A (k) = 0,

(7.70)

ou seja, a componente de A longitudinal ao vetor k nula. Dado um vetor k, todo campo

vetorial pode ser decomposto em componentes longitudinal e transversal,
(7.71)

A = Ak + A ,
de modo que
k Ak = 0,

k A = 0,

(7.72)

ou seja,
Ak =

k
(k A) ,
k2

A =

ik
A.
|k|

(7.73)

A condio de Coulomb simplesmente seleciona as componentes transversais do potencial

vetor, ou seja,
A=0

A = A =

ik
A,
|k|

ou, no espao das posies,

A=0

A A = A.

(7.74)

Esta operao pode ser efetuada por um projetor transversal

ij
= ij 2

1

i j

ij
(k) = ij

ki kj
,
k2

(7.75)

de modo que
A = A

k
(k A) = A Ak = A .
k2

(7.76)

74

Captulo 8

Campos espinoriais
8.1

A lgebra de Clifford relativstica

Vamos supor um vetor de Lorentz

u = u = u0 0 + u1 1 + u2 2 + u3 3 ,

(8.1)

membro do espao tangente a M4 , que denominados pelo smbolo E 1 . A base apenas uma
das possveis escolhas de base para o espao-tempo de Minkowski, que resulta no produto
escalar
u v = u v = u v ,

(8.2)

em que

1
0
=
0
0

0
1
0
0

0
0
0
0

1 0
0 1

(8.3)

so as componentes da mtrica de Minkowski.

Agora, vamos considerar uma base generalizada
u = u = u0 0 + u1 1 + u2 2 + u3 3 .

(8.4)

Considere um produto (u, v) uv de dois objetos do tipo (8.4). Vamos exigir apenas a bilinearidade
(8.5)

(u + v, w) = (u, w) + (v, w) ,
e a associatividade. A norma de um vetor u, contudo, continua definida por
u2 = (u, u) = u u = u0

2

u1

2

u2

2

u3

2

(8.6)

ou seja,
(u, u)

=
=

(u , u ) = u ( , ) u = u u

0 0 0 1 0 2 0 3

1 0 1 1 1 2 1 3
u0 , u1 , u2 , u2
2 0 2 1 2 2 2 3
3 0 3 1 3 2 3 3

u0
u1
2 .
u
u3

(8.7)

Comparando-se (8.6) com (8.7), nota-se que

0 0 = 1, i i = 1,

(8.8)
75

sem soma em i. J os termos fora da diagonal devem satisfazer

+ = 0,

6= .

(8.9)

A lgebra vetorial ordinria, denominada lgebra de Gibbs, obtida com = ,

supondo-se sempre que o produto de dois elementos da base um escalar. Neste caso, o produto tambm simtrico. Mas no caso mais geral, consideramos objetos no comutativos
de natureza ainda indeterminada. Assim,
Definio 14. Se { } E 1 uma base completa de vetores de Lorentz, que obedece
s condies gerais de anti-comutao
{ , } + = 2 ,

(8.10)

dizemos que so geradores de uma lgebra de Clifford C`1,3 .

Vemos claramente que (8.10) representa apropriadamente as condies (8.8) e (8.9). Aproveitamos para introduzir o anti-comutador {A, B} = AB + BA, e o comutador [A, B] =
AB BA. O produto de Clifford (ou produto geomtrico) entre dois vetores u e v introduzido por
uv

=
=

(u ) (v ) = u v =

1
1
u v { , } + u v [ , ]
2
2

1
u v + u v ( )
2
u v + u v ,

(8.11)

em que
Definio 15. Seja { } C`1,3 uma base completa da lgebra de Clifford C`1,3 . O
produto

1
1
[ , ] = ( )
2
2

(8.12)

denominado produto exterior entre dois elementos da base.

Ento o produto de Clifford consiste em duas partes. A primeira o produto escalar

ordinrio entre os vetores u e v. A segunda parte,
u v u v ,

(8.13)

envolve o produto exterior entre u e v. Quando u e v so vetores de Lorentz, vemos claramente

que este produto antissimtrico. Note que u v no pode ser um escalar, nem um vetor,
devido s relaes (8.10). Ele forma um novo objeto, denominado forma diferencial de
segunda ordem, ou 2-forma. Portanto,
uv = u v + u v,

(8.14)

em que u v igual ao produto escalar ordinrio u v , e u v uma 2-forma.

Definio 16. Seja { } C`1,3 uma base completa. Um objeto do tipo
=

(8.15)

denominado bivetor e pertence a um espao denominado pelo smbolo E 2 . Todo

bivetor pode ser escrito como a soma de um escalar e uma 2-forma.
76

A seguinte questo imediata: podemos tomar um produto de Clifford entre um vetor e

um bivetor? Sejam u E 1 e E 2 , temos


u = (u ) = u


= u = u ( + )


= u + = tru + u
1
= tru + u { , } + u
2


= tru + u + u .
(8.16)
O primeiro termo um vetor. O segundo um objeto cuja base envolve um produto exterior
triplo. Este objeto denominado 3-forma diferencial. Assim, o produto de Clifford u a
soma de um vetor e uma 3-forma:
Definio 17. Seja { } C`1,3 uma base completa. Um objeto do tipo
T = T

(8.17)

denominado trivetor e pertence a um espao denominado pelo smbolo E 3 . Todo

trivetor pode ser escrito como a soma de um vetor e uma 3-forma.

Por outro lado, o produto de um vetor com um trivetor T E 3 resulta em

uT = u T ,

(8.18)

de modo que
uT

u T + u T + u T


+ u T + u T + u T
+u T ,

(8.19)

que a soma de um escalar, uma 2-forma e um objeto ainda desconhecido, que obviamente
ser chamado de 4-forma diferencial.
Definio 18. Seja { } C`1,3 uma base completa. Um objeto do tipo
=

(8.20)

denominado quadrivetor e pertence a um espao denominado pelo smbolo E 4 .

Todo quadrivetor pode ser escrito como a soma de um escalar, uma 2-forma e uma
4-forma.

Vamos analisar as bases. Vetores, ou 1-formas diferenciais em nossa notao, so expandidos com a base da lgebra de Clifford, que consiste no conjunto de quatro objetos independentes
{0 , 1 , 2 , 3 } .
As 2-formas, por outro lado, possuem seis geradores independentes,
{0 1 , 0 2 , 0 3 , 1 2 , 1 3 , 2 3 } .
A base de 3-formas possui quatro geradores:
{0 1 2 , 0 2 3 , 0 1 3 , 1 2 3 } ,
77

e por fim, o nico gerador de uma 4-forma o elemento de base {0 1 2 3 }. Isto ocorre
pois qualquer ndice repetido anula a base das formas diferenciais. Por esta razo, o produto
de um vetor e um 4-vetor no resulta em nenhum objeto novo: 4-formas so o mximo que
conseguiremos.
Neste caso, a soma direta E E 0 E 1 E 2 E 3 E 4 forma um espao vetorial E sob o
produto de Clifford, cujos elementos so multivetores
(8.21)

u = a + u + + T + .

O espao multivetorial fechado pelo produto de Clifford, ou seja, para dois multivetores
u E e v E, uv E. O espao multivetorial E em conjunto com o produto geomtrico o
que denominamos lgebra de Clifford relativstica. A seguir, vamos definir alguma operaes
que dependem exclusivamente desta lgebra.

Definio 19. (Paridade)

Seja { } C`1,3 uma base completa. Um operador P , tal que
P 1 P = 0 0 i i ,

(8.22)

denominado operador de paridade. A operao de paridade mantm o eixo temporal da base, enquanto inverte os eixos espaciais.

Note que
000 = 0
e
0 i 0 = 0 0 i = i ,
ou seja,


00 = 0 , 0 00
= 2 0 0
= 20 0 0 0 i i
= 0 0 i i .
Ou seja, 0 atua em um elemento da base como um operador de paridade. De fato, P = 0
para toda possvel representao de uma lgebra de Clifford.

Definio 20. (Reverso temporal)

Seja { } C`1,3 uma base completa. Um operador T , tal que
T 1 T = 0 0 + i i ,

(8.23)

denominado operador de reverso temporal. A operao de reverso temporal

inverte o eixo temporal da base, enquanto deixa invariantes os eixos espaciais.

78

A operao de dualidade definida como segue.

Definio 21. (Dualidade)
Seja Ak E k um k-forma no espao M4 . O dual ?Ak uma (4-k)-forma
?Ak = i5 Ak ,

(8.24)

em que
5 i0 1 2 3 .

(8.25)

O dual de uma 1-forma , portanto, uma 3-forma:

?u =

i5 u

u 0 1 2 3

u0 0 1 2 3 0 + u1 0 1 2 3 1 + u2 0 1 2 3 2 + u3 0 1 2 3 3

= u0 1 2 3 u1 0 2 3 + u2 0 1 3 u3 0 1 2 .
O dual de uma 2-forma uma 2-forma:
?

= i5
= 0 1 2 3
= [01] 2 3 + [20] 1 3 + [03] 1 2
+[21] 0 3 + [13] 0 2 + [32] 0 1 .

O dual de uma 3-forma uma 1-forma:

?T

i5 T

i5 T

T [012] 3 + T [013] 2 + T [023] 1 + T [123] 0 .

O dual de uma 4-forma uma 0-forma:

?

i5 = [1234] 5 5 = [1234] .

Definio 22. (Conjugao de carga)

Seja { } C`1,3 uma base completa. Um operador C, tal que

C C = 1 e C C = ( )

(8.26)

denominado operador de conjugao de carga. A operao de conjugao de carga

transforma os geradores em seus opostos conjugados. A relao com a "carga" ser
elucidada mais adiante.

8.2

Rotaes: a representao espinorial das transformaes de Lorentz

Vamos trabalhar, agora, com a lgebra de Clifford gerada pelos objetos



= 0, 1, 2, 3 ,

(8.27)

que obedecem s relaes de anticomutao

{ , } = 2 .

(8.28)
79

No h um conjunto de escalares ou vetores de Lorentz que satisfaam essas condies, ento

devemos pensar em objetos matemticos mais gerais, como matrizes complexas. De fato, uma
inspeo em (8.28) tambm exclui matrizes quadradas de dimenso 2 ou 3. As matrizes de
ordem mais baixa que podem representar uma lgebra de Clifford em quatro dimenses so
de dimenso 4.
Uma possvel representao dada pelas matrizes de Dirac




022 122
022
i
0
i
=
, =
,
(8.29)
122 022
i 022
em que i so as matrizes de Pauli





0 1
0 i
1
1
2
3
=
, =
, =
1 0
i 0
0

0
1


.

(8.30)

As matrizes de Pauli,
por outro lado, obedecem a uma lgebra de Clifford euclideana em trs
dimenses i , j = 2 ij . Toda possvel representao da lgebra de Clifford quadridimensional em termos de matrizes 4 4 so equivalentes por transformaes inversveis, ou seja
= V V 1

{
, } = 2 .

A representao (8.29) denominada representao de Weyl, ou chiral, a qual empregaremos

sempre que necessrio.
O fato que os comutadores
S

i
i
[ , ] = ( )
4
4

(8.31)

so geradores da lgebra de Lorentz quadridimensional.

Exerccio 1. A partir da definio (8.31), mostre que
 


S ,S
= i S S + S S

(8.32)

e, portanto, S so geradores de pseudo-rotaes em M4 .

Na representao chiral, com a dinmica instantnea, temos

 i

i  0 i
i

0
0i
S =
, =
,
0 i
4
2
que so geradores de boosts, enquanto


i  i j  1 ijk k 0
1
S ij =
, = 
= ijk k ,
0

4
2
2
k
em que k = ki i , so os geradores de rotaes tridimensionais. De fato,


i 0
i = ijk S jk =
,
0 i

(8.33)

(8.34)

(8.35)

satisfazem a lgebra de Lie

[i , j ] = ijk k ,
portanto, rotaes em 3 dimenses tambm podem ser geradas por i .
A representao mais trivial de uma transformao de Lorentz no espao de Minkowski
a representao adjunta, ou vetorial, na qual a matriz de transformao dada por


i

exp (M ) ,
(8.36)
2
80

em que


(M ) = i

(8.37)

so os geradores de pseudo-rotaes nesta representao. A matriz (8.36) determina

como


0

0
uma transformao de Lorentz aplicada em vetores (A = A ) ou tensores e.g. T
= T .
O que acabamos de encontrar, com o uso da lgebra de Clifford (8.28), uma nova representao da lgebra de Lorentz. Como so matrizes 4 4 complexas ( )ab , o mesmo ocorre
com os geradores S . Portanto, os ndices , = 0, 1, 2, 3 do espao-tempo so acompanhados
por ndices matriciais a, b = 1, 2, 3, 4. Se S obedecem a uma lgebra de Lie (8.32), podemos
escrever um elemento do respectivo grupo de Lie por exponenciao,


i
Sab () = exp (S )ab .
(8.38)
2
Dizemos que esta a representao espinorial de um elemento do grupo de Lorentz. Podemos
mostrar que no h transformao inversvel que conecte a matriz (8.36) matriz (8.38),
portanto, a representao vetorial e a espinorial so inequivalentes. Isto significa que os
objetos que rodam sob a ao de (8.38) no so vetores ou tensores em M4 . Os ndices a, b
sero frequentemente ignorados, j que as operaes de transformaes so representadas
por multiplicaes matriciais simples, a menos de casos em que explicitar esses ndices tornese necessrio. Os objetos geomtricos sobre os quais age (8.38) so denominados espinores,
que sero apropriadamente definidos mais adiante.
Exerccio 2. Demonstre a relao de comutao
 




,S
= i = M .
Com este resultado, mostre tambm que
 
 




i
i
i
1 + S 1 S M .
2
2
2

(8.39)

(8.40)

A forma finita de (8.40) dada por

S 1 () S () = .

(8.41)

A relao (8.41) tem um significado fundamental. Se S () um operador de pseudo-rotao,

as matrizes rodam como se fossem vetores de Lorentz.
Uma consequncia importante desta construo segue agora. Vamos tomar apenas uma
rotao genrica em trs dimenses


i
(8.42)
S (R) = exp ij S ij .
2
Uma rotao espacial em um vetor de Lorentz deve ser ortogonal, o que implica que sua
representao em termos de matrizes complexas deve ser unitria. Se S (R) unitrio, ou
seja, S (R) S (R) = 1,




ij
i
i
1 = S (R) S (R) = 1 + ij S
1 mn S mn
2
2




i
ij
1 ij S ij S
,
2
ou seja,
S ij = S

ij

(8.43)

,
81

e os geradores devem ser hermitianos. Neste caso, (8.43) implica em


 h


i

i  i j
i
,
= i , j = i , j
, = i, j
4
4
ou seja,

i
1
= 1,
i

(8.44)

ento as matrizes i so hermitianas ou anti-hermitianas. A representao chiral anti

hermitiana, ou seja, i = i , ento, de fato, S (R) unitrio. Tambm podemos mostrar que uma transformao de similaridade resulta tambm em uma representao antihermitiana para i .
Vamos ver o que ocorre para os boosts


i
S (K) = exp 0i S 0i .
(8.45)
2
Se quisermos que S (K) seja unitrio, temos igualmente o resultado de que S 0i devem ser
hermitianos, o que resulta em

 h


i

i  0 i
i
.
= 0 , i = 0 , i
, = 0, i
4
4
Se i anti-hermitiano, 0 tambm deve ser anti-hermitiano. Por outro lado, uma possvel representao hermitiana das matrizes i implicaria em que 0 tambm precisaria ser
hermitiana. Contudo, 0 claramente hermitiana na representao chiral. De fato, no h
representao das matrizes de Dirac na qual 0 e i sejam hermitianas ou anti-hermitianas
em conjunto. Assim, a representao espinorial de boosts de Lorentz no pode ser unitria.
Observao 6. O fato da no unitaridade dos boosts na representao espinorial
um problema fundamental para a formulao da mecnica quntica relativstica.
Nesta teoria, espinores de Dirac so interpretados como funes de onda, por exemplo, para o eltron relativstico, o que significa que essas funes definem densidades
de probabilidade de transio entre estados qunticos do eltron. Uma transformao sobre as funes de onda preserva a probabilidade apenas se esta for representada por um operador unitrio ou anti-unitrio, o que implica que os geradores
devem ser hermitianos ou anti-hermitianos. Nossa construo no pode ser uma
teoria deste tipo. Se boosts so necessariamente no unitrios, uma mudana de
referencial inercial resultaria em mudana na probabilidade de transio, ou seja, o
espectro do tomo de hidrognio resultaria ser distinto para dois observadores com
velocidades relativas distintas. Isto fisicamente inaceitvel, portanto um espinor
de Dirac no pode ser uma funo de onda. A mecnica quntica relativstica
uma teoria fisicamente incoerente com o princpio da relatividade e, portanto, no tem validade fsica por princpio.

8.3

Representaes de spin

A representao de Weyl, ou chiral, tem uma grande vantagem operacional. As matrizes

so representadas por matrizes 4 4 formadas por blocos de matrizes 2 2. Isto sugere que
pode haver uma representao de pseudo-rotaes em duas dimenses, embora essa representao certamente deve quebrar a lgebra de Clifford quadridimensional.
Vamos observar novamente os boosts





i
1
1 0
S (K) = exp 0i S 0i = exp i i
0 1
2
4
!
 1

i
i
ei /4
0
i
0
4
=
,
(8.46)
= exp
i
0
41 i i
0
ei /4
82

em que i so as componentes da rapidez . Existem, portanto, duas operaes distintas,





1
i
S (K) = exp = exp K ,
(8.47)
4
2
em que
i
K = .
2

(8.48)

As matrizes S (K) so bidimensionais.

Sobre as rotaes, temos




i
i
1
S (R) = exp ij S ij = exp k k
0
2
2

0
1




=

ei/2
0

0
ei/2


,

(8.49)

em que
k

1 kij
 ij .
2

Ento, (8.49) uma transformao duplicada, com a forma 2 2



i
S (J) = exp = exp [i J ] ,
2

(8.50)

em que
J=

.
2

(8.51)

Exerccio 3. Use as matrizes de Pauli para demonstrar as relaes de comutao

 i j
, = 2iijk k .
(8.52)
Mostre tambm que
 i j




J , J = iijk J k , K i , K j = iijk J k , J i , K j = iijk K k .

(8.53)

Portanto, de fato o conjunto de seis geradores {J , K} so geradores de transformaes de Lorentz.

A relao (8.48) indica que J = iK, cada escolha de sinal implica em uma operao de
boost distinta. Assim, vamos definir dois geradores
W =

1
(J iK) ,
2

(8.54)

que fecham a lgebra

i
h
i
h
Wi , Wj = iij k Wk , Wi , Wj = 0.

(8.55)

Portanto, Wi so geradores de duas rotaes independentes no plano complexo, com seis

parmetros independentes. A equao J = iK implica em W + = 0 ou W = 0, o que define
dois estados independentes:
(j, 0)

J = iK

(0, j)

J = iK

=
=

W = 0,
W + = 0.
83

O nmero j o valor da representao de spin. No caso de transformaes em que 8.48 e 8.51

so os geradores, ento j = 1/2.
Assim, temos duas rotaes inequivalentes. No h transformao inversvel tal que
W + W .
Definio 23. Sejam dois objetos R e L , representados por matrizes coluna 2 1
que, numa transformao de Lorentz, se transformam na forma
R exp [2i W + ] R ,

L exp [2i W ] L .

(8.56)

Estes objetos so denominados biespinores. Os parmetros so nmeros complexos.

O biespinor R denominado espinor de mo direita, ou do tipo (j, 0), enquanto L um

espinor de mo esquerda, ou do tipo (0, j). Por conveno, vamos definir o tipo (1/2, 0) pelas
condies
J=

1
,
2

i
K = ,
2

exp [i W + ] R

(8.57)

W = 0.

Assim,
R

= exp [i (J + iK)] R = exp [i ( J + i K)] R

h
i
R .
= exp i ( i)
2

(8.58)

O tipo (0, 1/2) dado por

J=

1
,
2

K=

i
,
2

(8.59)

W + = 0,

que resulta em
h
i
L .
L exp i ( + i)
2

(8.60)

Ambas as representaes so inequivalentes por transformaes inversveis.

Contudo, espinores de mo direita e esquerda esto relacionados por uma transformao
de paridade. A paridade uma transformao discreta no espao-tempo, de modo que os eixos
so invertidos, ou seja,
(ct, x, y, z) (ct, x, y, z) .
As velocidades, inclusive as relativas entre dois referenciais inerciais, trocam de sinal. Portanto, uma operao de paridade equivalente a uma transformao de Lorentz inversa, em
que . Portanto, os geradores K tambm trocam de sinal, ou seja, K K. Por outro
lado, os geradores J permanecem invariantes (uma rotao no sentido horrio permanece no
sentido horrio aps uma transformao de paridade), o que coerente com o que conhecemos
do momento angular. Assim,
W W ,
o que implica em
R L .

(8.61)

Vamos considerar, agora, um boost simples em uma direo n do espao. Temos





1
1
R exp R = exp n R .
2
2
84

(8.62)

Exerccio 4. Mostre que

(
1
se k par,
k
( n) =
n se k mpar.

(8.63)

Com este resultado, mostre que



 
 
1

exp
n = cosh
+ n sinh
.
2
2
2
Agora, demonstre as relaes
  r
  r

+1
1

cosh
=
, sinh
=
,
2
2
2
2

(8.64)

(8.65)

Por fim, suponha que o observador original est em repouso, e o segundo observador
tem momento p com relao ao primeiro. Neste caso, E 2 = m2 + p2 implica em
E = m (c = 1). Mostre que
E+m+p
R (0) .
R (p) = p
2m (E + m)

(8.66)

Da mesma forma, mostre que

E+mp
L (p) = p
L (0) .
2m (E + m)

(8.67)

Temos que R (0) = L (0). Portanto,

R (u) =

E+p
L (u) ,
m

(8.68a)

L (u) =

Ep
R (u) .
m

(8.68b)

Essas equaes podem ser colocadas na forma

mR + (p0 + p) L = 0
(p0 p) R mL = 0,
ou em forma matricial



m
p0 + p
R
= 0.
p0 p
m
L

(8.69)

Esta equao pode ser escrita em termos das matrizes (8.29) como


0 p0 + i pi m1 = 0,
ou
( p m) = 0,

(8.70)

em que

=

R
L


(8.71)

85

A equao (8.70) a equao de Dirac. Portanto, a equao de Dirac uma relao algbrica
entre os espinores chirais R e L .
Escrita na forma (8.70), a equao de Dirac supes que = (p) um campo que depende
do momento do campo com relao a determinado referencial inercial. Assim, a lgebra de
Clifford realizada em um espao de momentos, anlogo representao dos momentos em
mecnica quntica. Por outro lago, se supormos que = (x) um campo com valores no
espao-tempo, os momentos so representados por
(8.72)

p = i .
Neste caso, a equao de Dirac no espao das posies dado por
(i m) (x) = 0,

(8.73)

que um conjunto acoplado de equaes diferenciais parciais de primeira ordem. Ambas as

realizaes so relacionadas por uma transformada de Fourier

(x) = d4 p (p) exp (ip x ) ,

(8.74)
de modo que

(x) =

d p (p) exp (ip x ) =

d4 p (ip ) (p) exp (ip x ) ,

que implica em (8.72).

8.4

Espinores de Weyl

Vamos tomar as equaes (8.69)




m
p0 + p
R
= 0,
p0 p
m
L

(8.75)

que, com m = 0 tornam-se




0
p0 + p
R
= 0,
p0 p
0
L
ou
p

R
L


(8.76)

= 0.

Agora, considere as matrizes 2 2

= 1, i e
= 1, i .

(8.77)

Com (8.77), podemos escrever (8.76) por

p R = 0 e p L = 0.

(8.78)

Neste caso, espinores de mo direita e esquerda no massivos so denominados espinores de

Weyl, enquanto (8.78) so as equaes de Weyl para estes espinores.

8.5

A ao de Dirac

Construir uma ao que resulte na equao (8.73) implica na construo de invariantes de

Lorentz com as matrizes . A primeira tarefa construir um escalar, cuja primeira tentativa
pode ser simplesmente o objeto
(x) (x) ,
86

em que o operador auto-adjunto de , ou seja, = ( ) . Para que este objeto seja um

escalar, necessrio que






(x) 1 x
sob uma transformao de Lorentz . Os espinores, contudo, se transformam por




(x) S () 1 x e (x) 1 x S () .
Assim,




(x) (x) 1 x S () S () 1 x ,
que resultaria em um escalar se S () fosse unitrio.
O fato de no haver representao 4 4 unitria do grupo de Lorentz impede, assim, que
seja um escalar de Lorentz. Note, contudo, que podemos usar a operao de paridade


para encontrar uma funo adequada, j que 0 0 = 1 implica em 0 = 0 e i i = 1


implica em i = i , como j vimos. Neste caso,

P 1 P = ( ) ,

P = 0.

(8.79)

Por outro lado,

i
i
ih

( ) , ( )
(S ) = [ , ] =
4
4
i
i  0 0 0 0
, = 0 [ , ] 0
=
4
4
= 0 S 0 ,

(8.80)

que implica em




i
i

(S )
= exp
S () = exp S
2
2




i
i
0 0
0

= exp
S
= exp
S
0
2
2

= 0 S 1 () 0 ,

S 1 S = 1.

(8.81)

Assim, definimos
Definio 24. (Espinor de Dirac adjunto)
O objeto
(x) = (x) 0

(8.82)

denominado adjunto de (x).

um escalar de Lorentz:
Agora, mostramos que
= 0 = 0 S 0 S = 0 S 1 0 0 S

= 0 S 1 S = 0 = ,
ou explicitando os argumentos,



1

(x)

x .

(8.83)

Afirmao 1. O objeto
(x) (x)

(8.84)

um vetor de Lorentz.
87

Para demonstrar esta afirmao, vamos utilizar o resultado (8.41)

S 1 () S () = ,
tendo em mente que


(x) 1 x S 1 () .
Assim,




(x) (x) 1 x S 1 () S () 1 x




= 1 x 1 x
  1

x ,
=
o que prova a Afirmao 1.
Da mesma forma, podemos demonstrar que
= 1 { , } + 1 [ , ]

2
2

2i S

=

(8.85)

transforma-se como um tensor de Lorentz do tipo (2, 0), e constitui um bivetor. Toda forma

e
, de modo que escalares podem
multilinear pode ser construda a partir de ,
ser definidos a partir da contrao desses multivetores.
Definio 25. A ao de Dirac definida pelo funcional

A
d (x) (i m) (x) .

(8.86)

fcil demonstrar que o objeto (i ) um invariante de Lorentz:







1 


(x) i x (x) 1 x S 1 () i x S () 1 x



1


= 1 x S 1 () (i ) S () x 1 x





1


= 1 x i x 1 x





1
= 1 x i x 1 x .

(8.87)

que um invariante j que m um invariante, representa o termo de massa

O termo m,
do campo.

8.6

Aplicando o princpio de Weiss

Agora, vamos mostrar que a equao de Dirac surge da ao (8.86), juntamente com uma
equao adjunta. Alm disso, estamos interessados em calcular o tensor energia-momento do
campo e os invariantes dinmicos relacionados simetrias desta ao. Contudo, esta ao
pode ser suplementada por um termo de fronteira, que no modifica as equaes de campo,
de modo que usaremos a integral simtrica



A
d (x) i m (x) ,
(8.88)

88

em que

= 1

.

(8.89)

Consideremos a seguinte transformao infinitesimal

x = x0 x,

(x) = 0 (x0 ) (x) .

(x) = 0 (x0 ) (x) ,

(8.90)

A transformao no espinor adjunto considerada independente da transformao em .




d D,
D i m,
A =
d i m =






=
d D +
d D =
d x D +
d D






=
d x D
+
d Dx




d D
+




d Dx
,

x .

Temos que calcular o termo




D
= (D) + [D] .
Temos

( ) =

= D,

de modo que







 

D = (D) + D = i m + i m

m
+ i
m

= i









i 



m m

+
=
2








i
i

= i m i m +


2
2






+ m
+ i
i
= (i m) i
2
2
Vamos definir as derivada direita e esquerda

i i
,

i i

(8.91)

Assim,










i

+ i
D
= i m i + m
2
2

(8.92)

Ento,

A =

 


 

+ div,
d i m i + m

(8.93)

em que

div


d


i
i

+ Dx
.
2
2
89

(8.94)

Para que A seja um termo de fronteira, temos as equaes de Dirac




i m (x) = 0,



(x) i + m = 0,

tanto para quanto para o adjunto .

O termo de fronteira escrito por








i
i
i
i

d

+ D

x .
2
2
2
2

(8.95a)
(8.95b)

(8.96)

Neste caso, temos os momentos conjugados

=

i
,
2

i
= ,
2

(8.97)

e a densidade de energia-momento
D.

T = +

(8.98)

90

Captulo 9

Campos de Gauge
9.1

Revisitando o campo escalar

No captulo 6, vimos que o campo escalar complexo possui uma simetria especial, caracterizada pelas transformaes
(x) U (x) ,

U = ei .

(9.1)

Se um parmetro real independente do evento espao-temporal, esta transformao

denominada transformao de gauge global do grupo U (1). O grupo U (1) o grupo de todas
as matrizes quadradas, complexas e unitrias de dimenso 1, ou seja, U um simples nmero
complexo unitrio. Esta transformao deixa invariante a densidade Lagrangiana
L = m2 .

(9.2)

Esta densidade lagrangiana, contudo, no mais invariante se a transformao for local, ou

seja, (x). Neste caso, a transformao
(x) U (x) (x) ,

U = ei(x) ,

(9.3)

implica na transformao
L L0 = ( i ) ( + i ) m2 .

(9.4)

Para introduzir uma Lagrangiana localmente invariante, precisamos de um campo de

conexo de componentes A , que se transforma por
A (x) A (x) + iU 1 (x) U (x) = A (x) (x) .

(9.5)

Neste caso, a derivada covariante

D + iqA

(9.6)

define a lagrangiana invariante de gauge local

L = (D ) D m2 = m2 + A J ,

(9.7)

com a corrente de interao

J iq ( iqA ) .

(9.8)

Portanto, a invarincia de gauge local de uma teoria escalar implica na necessidade da

introduo de um campo interagente, representado por A . Se este campo se transforma
como (9.5) por transformaes de gauge do grupo U (1), ele um campo de conexo de gauge
do grupo U (1). Se, em adio, este campo for um vetor de Lorentz, ou seja,
x = x = A = A ,
91

A sero as componentes de um campo eletromagntico. A Lagrangiana completa

1

L = (D ) D m2 F F ,
4

(9.9)

com
F A A ,

(9.10)

descreve a teoria do campo escalar complexo carregado em um campo eletromagntico.

9.2

Transformaes de gauge globais

Desde ento, fizemos um progresso considervel, especialmente ao estudar o campo eletromagntico livre e ao introduzir o campo espinorial de Dirac. Nossa intenso, agora, aplicar
o esprito da invarincia de gauge local a campos espinoriais. O procedimento mais geral
possvel resulta no que, hoje, conhecemos por teorias de gauge.
Vamos comear com um conjunto de N espinores i (x), todos com o mesmo parmetro de
massa m. Lembremos que cada espinor um objeto com quatro componentes (em nosso espao quadridimensional), ento o ndice i neste captulo no denota componentes espinoriais,
que permanecero implcitas, mas apenas identifica cada espinor. A lagrangiana livre deste
conjunto de campos dada por



L = i m i ,
(9.11)
com soma no ndice i = 1, , N . Por construo, esta lagrangiana um invariante de Lorentz, mas tambm um invariante U (1) global:
i ei i , i i ei = L L.

(9.12)

Neste expresso, um parmetro real constante.

No entanto, esta no a nica simetria interna. Considere a matriz Uij , com i, j =
1, , N , e a transformao
i U ij j .

(9.13)

Neste caso, temos

i


j

i
i U ij j = j
U j =
U j ,
ou seja,
i

j

0 U

i
j

o que resulta em
i j U

i
j

(9.14)

Neste caso,





i
i i m i k U k i m Ui j j



i
= k U k Ui j i m j ,
se Uij tiver componentes constantes.
Se a transformao unitria, temos

i

i
U U j = U k U kj = ji ,
92

ou seja,
k U

i
k








Ui j i m c = k kj i m j = i i m i .

Neste caso,
i U ij j = L L,

(9.15)

e a lagrangiana invariante global.

Agora, a transformao no envolve apenas um nmero complexo, mas uma matriz complexa unitria. O conjunto de todas as matrizes complexas unitrias N N forma um grupo,
o grupo U (N ). Contudo, estamos interessados no subgrupo conexo identidade, ou seja, desejamos que um elemento do grupo possa ser expandido em transformaes infinitesimais na
forma
Uij = ij + ij = ij + ia Tija .
O ndice a o ndice da lgebra de Lie das transformaes infinitesimais. Para que Uij seja
conexo identidade, det Uij = 1. Neste caso, transformaes do grupo U (N ) conexas identidade formam um subgrupo denominado SU (N ): S para "special", que significa determinante
1, e U para "unitary". Portanto, temos a

Proposio 3. Um conjunto de N espinores livres de mesmo parmetro de massa

formam um sistema invariante global sob a ao do grupo SU (N ).

Para evitar a sobrecarga de ndices, vamos usar uma notao matricial. Assim, a matriz
de componentes Uij denotada por U , e os espinores i sero parte de uma matriz coluna
N 1, . Cada componente desta coluna , em si, uma coluna de quatro componentes, as
componentes espinoriais: , assim, uma coluna de colunas. A transformao (9.13) escrita
apenas por
U ,

U
,

(9.16)

e denominada transformao de gauge.

O grupo SU (N ) um grupo de Lie. Portanto, um elemento de SU (N ) tem a forma geral
U = exp (i a T a ) ,

(9.17)

em que T a so geradores de uma lgebra de Lie su (N ) com as relaes de comutao

[Ta , Tb ] = ifabc Tc ,

(9.18)

para um conjunto de coeficientes de estrutura fabc . Cada gerador representado por uma
matriz N N hermitiana e de trao nulo. Estes geradores definem a representao fundamental do grupo SU (N ). O nmero de geradores da lgebra, ou seja, a dimenso da lgebra
dada por N 2 1, ou seja, a = 1, , N 2 1. A forma infinitesimal dada por
U = 1 + ia T a ,

(9.19)

A rigor, escrevemos a densidade lagrangiana




i 1 1m .
L=

(9.20)

93

Observao 7. Por exemplo, a cromodinmica uma teoria de gauge do grupo SU (3),

que o grupo de matrizes unitrias de determinante 1. Quarks so representados
por espinores na representao fundamental do grupo, ou seja, toma a forma de
uma matriz 3 1, enquanto uma matriz 1 3. Quarks tambm vm em seis
tipos, denominados sabores, com massas distintas mI . Sua densidade lagrangiana
livre dada por
LCD =

6
X




i mI I .

I=1

O grupo SU (3) tem oito geradores na representao fundamental, Ta = a /2, em

que a podem ser representados pelas oito matrizes de Gell-Mann

0 1 0
0 i 0
1 0 0
1 = 1 0 0 , 2 = i 0 0 , 3 = 0 1 0 ,
0 0 0
0 0 0
0 0 0

0 0 1
0 0 i
0 0 0
4 = 0 0 0 , 5 = 0 0 0 , 6 = 0 0 1 ,
1 0 0
i 0 0
0 1 0

1 0 0
0 0 0
1
7 = 0 0 i , 8 = 0 1 0 .
3
0 0 2
0 i 0
Os coeficientes de estrutura da lgebra, fabc , so dados por
f123 = 1,
f147 = f165 = f246 = f257 = f345 = f376 = 1/2,

3
f458 = f678 =
,
2
enquanto os demais so permutaes destes, ou zero.

9.3

Transformaes de gauge locais

A lagrangiana (9.20), portanto, invariante global pelo grupo SU (N ). Contudo, a localizao

do grupo de gauge, como no caso do campo escalar complexo, resulta na quebra de invarincia
no so
de (9.20). Mais uma vez, o problema est no fato de que as derivadas e
covariantes por transformaes de gauge locais. Seja
U (x) = exp (i a (x) T a ) ,

(9.21)

temos
(x) U (x) (x)

(x) U (x) (x) + U (x) (x) ,

(9.22)

enquanto os campos adjuntos se transformam por

(x)
(x) U (x)

(x)
(x) U (x) +
(x) U (x) .

(9.23)

Seguindo a ideia de que teorias fundamentais da natureza devem ser invariantes por transformaes de gauge locais, precisamos encontrar uma densidade lagrangiana localmente invariante. Mais uma vez a introduo de uma lagrangiana invariante pode ser efetuada com
a incluso de um campo de conexo ao formalismo, e assim uma derivada covariante pode ser
construda. Este procedimento conhecido como acoplamento mnimo.
94

O campo de conexo introduzido pela forma diferencial

A = A dx ,

(9.24)

em que os campos A = Aa T a assumem valores na representao fundamental da lgebra

su (N ). A forma (9.24) automaticamente invariante de Lorentz se as componentes se transformarem como A A diante de uma pseudo-rotao em M4 . Neste caso, introduzimos
a seguinte derivada na representao fundamental,
D 1 igA ,

(9.25)

em que g denominada constante de acoplamento. Usando (9.22), vemos que a derivada D

transforma-se por


0
D (D ) = D 0 0 = 1 igA0 U
= 1 (U ) igA0 U = U + ( U ) igA0 U
= U + U U ( U ) igU U A0 U
h
i
= U + U U ( U ) igU A0 U



i
0
= U 1 ig U A U + U ( U ) .
g
Para que a derivada seja covariante, a lei de transformao deve ser D U (D ), de
modo que a conexo deve ser transformar por
i
A = U A0 U + U ( U ) ,
g

(9.26)

ou
A A0 = U A U

i
( U ) U .
g

(9.27)

Todo campo vetorial que se transforma como (9.27) denominado conexo de gauge.
Vamos observar a forma infinitesimal de (9.27), que dada por

i
A A0 = (1 + i a T a ) A 1 i b T b U (i a T a ) U ,
g
ou seja, em primeira ordem,
A =

1
a T a i a [A , T a ] .
g

Explicitando as componentes da lgebra, A = Aa T a , temos

Aa T a =

1
a T a i a Ab [T b , T a ] .
g

Usando as relaes de comutao fundamentais (9.18), temos

Aa T a =

1
a T a + a fab c Ab T c ,
g

que com troca de ndices mudos torna-se

Ac T c =

1
c T c + a fab c Ab T c .
g

Como os geradores so linearmente independentes, temos

Aa =

1
a + gf acb Ab c .
g

(9.28)
95

As relaes (9.28) definem as transformaes de gauge das componentes Aa dos campos

de gauge. Esta a forma "favorita" dos fsicos, enquanto a forma (9.27) mais utilizada pelos
matemticos, que preferem trabalhar em notao independente de representao. A forma
(9.28) explicita, por outro lado, uma segunda derivada covariante:
Aa =

1 a
1
a
+ gf acb Ab c = (D ) c c ,
g c
g

em que
a

(D ) c ca gf abc Ab .

(9.29)

Observao 8. A derivada (9.29), longe de ser completamente distinta da derivada

(9.25), na verdade a mesma derivada em outra representao, a representao
adjunta. Na representao
adjunta,
um elemento do grupo SU (N ) representado




por matrizes
N 2 1 N 2
1 , ou seja,
os geradores da lgebra so representados
por N 2 1 matrizes N 2 1 N 2 1 : a dimenso da representao a mesma
dimenso da lgebra.
Neste caso, a lgica dita que devemos pensar em objetos abstratos que podem ser
realizados em representaes do grupo de gauge. Temos a derivada covariante
D = igA ,

(9.30)

sem negrito, como a derivada completamente abstrata, independente de representao. Ao escolher uma representao, por exemplo a fundamental, temos
fund (D ) = fund (1) igfund (A )
= fund (1) igAa fund (Ta ) ,

(9.31)

em que fund (1) = 1 a identidade na representao fundamental, N N , enquanto

fund (Ta ) = T a so os geradores da lgebra nesta mesma representao, N 2 1
matrizes N N . Na representao fundamental, a derivada covariante toma a
forma explcita (9.25).
Na representao adjunta, temos
adj (D ) = adj (1) igAa adj (Ta ) .

(9.32)

Esta representao realiza o grupo de Lie como matrizes N 2 1 N 2 1 e,
por consequncia, a dimenso da representao a mesma da lgebra. De fato,
a
adj (1)b = ba a identidade nesta representao, enquanto adj (Ta )bc (Ta )bc =
ifabc , ou seja, os geradores so relacionados s constantes de estrutura. Neste caso,
(9.32) torna-se
a

(D ) b = ba igAc (Tc ) b
= ba igAc (i) fca b = ba gf acb Ac ,
que corresponde a (9.29).

Assim, nas componentes da lgebra, a transformao dos campos de gauge dada por
Aa =

1
1
a
a
(D ) b b = [D ] ,
g
g

(9.33)
a

em que usamos a notao mais compacta [D ] (D ) b b para a derivada covariante na

representao adjunta.
96

Observao 9. Note que, se o grupo de simetria U (1), a lgebra de Lie trivial, com
geradores que so simplesmente o nmero 1. Neste caso, o campo de gauge o prprio campo eletromagntico, visto que todo o procedimento acima realizado com
fabc = 0. A derivada covariante na representao fundamental torna-se simplesmente D igA , enquanto na representao adjunta ela igual derivada
ordinria. Neste caso, temos A = (1/g) , que a transformao de gauge do
campo eletromagntico.

9.4

A lagrangiana invariante

Se os campos de gauge se transformam por (9.33), ou mesmo (9.27), a derivada D covariante por transformaes de gauge. Neste caso, devemos substituir a derivada ordinria pela
derivada covariante, especialmente no termo

.
= 1
(9.34)

2
Para o primeiro termo direita, imediato ver que a substituio

D

(9.35)
d origem a um termo invariante.
O segundo termo requer certo cuidado. Ele torna-se



D = 1 + igA
+ ig
A .
=
Podemos verificar que este termo tambm invariante. Uma transformao de gauge resulta
em


+
U U + ig U
A0 U =
U



+
U U + ig
U A0 U =
=



+
U U + ig
A i U ( U ) =
=
g



+ ig
A +
U U =
+ ig
A .
=
Assim, a densidade lagrangiana



i D 1m
L=

(9.36)

um invariante de gauge, com




D D .
D
2

(9.37)

Note que



D = 1 i
D
D
i

2


 

1
(1 igA )
1 + igA
= i
2



1

2ig
A
= i
2



1

+ g
A ,
= i
2
97

ou seja, a densidade (9.36) equivale lagrangiana




i 1m + g
A .
L=

(9.38)

A torna-se
O termo g


A = Aa g
T a = Aa J ,
g

a
em que
T a
Ja g

(9.39)

a corrente ferminica, fonte dos campos de gauge. Portanto, outra forma para as densidades
lagrangianas (9.36) e (9.38) vem a ser a lagrangiana



i m + Aa J
(9.40)
L=
a
Ento, a imposio de uma teoria localmente invariante pelo grupo de gauge implica na
existncia de um termo de interao do tipo corrente-campo de gauge, assim como vimos no
caso do campo escalar.

98

Referncias Bibliogrficas
[1] Notas de aula do Aldrovandi.
[2] Landau Classical Fields.
[3] Jackson Electrodynamics.
[4] Jayme Vaz Jr. (Clifford algebra and spinors).
[5] Jayme Vaz Jr. (Artigos de ensino).
[6] Peskin.
[7] Rider.
[8] Greiner.
[9] Landau Quantum Electrodynamics.
[10] Livros em simetrias, grupos e lgebras de Lie.
[11] Grasmann & Hamilton.
[12] C. Lanczos, The variational principles of mechanics, fourth edition, Dover Publications
(1986).
[13] I. M. Gelfand & S. V. Fomin, Calculus of variations, Dover Publications (2000).
[14] H. Rund, The Hamilton-Jacobi theory in the calculus of variations; its role in mathematics and physics, Van Nostrand (1966).
[15] N. P. Konopleva & V. N. Popov, Gauge fields, Harwood Academic Publishers (1981).
[16] A. O. Barut, Electrodynamics and the classical theory of fields and particles, McMillan
(1982).
[17] C. A. Bonin, R. Bufalo, B. M. Pimentel & G. E. R. Zambrano, Podolsky electromagnetism at finite temperature: Implications on the Stefan-Boltzmann law, Phys. Rev. D 81,
025003 (2010).
[18] E. Noether, Invariant variation problems,
Xiv:physics/0503066v1 [physics.hist-ph] (2005).

traduo por M. A. Travel,

ar-

[19] E. P. Wigner, On unitary representations of the inhomogeneous Lorentz group, Annals of

Mathematics 40 149204 (1939).

99