Mario C. Bertin
17 de junho de 2015
Sumrio
1 Transformaes de Lorentz 5
1.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2 Postulados fundamentais da relatividade restrita . . . . . . . . . . . . . . . . . 6
1.3 Transformaes de Lorentz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.4 Composio de velocidades, contrao de Lorentz e dilatao do tempo . . . . . 10
1.5 O espao-tempo de Minkowski . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.6 A partcula livre relativstica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2 Transformaes infinitesimais 15
2.1 Transformaes infinitesimais em Rn . . . . . . . . . . . . . . . . . . . . . . . . 15
2.2 Evoluo temporal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
2.3 Translaes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
2.4 Rotaes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
3 A geometria de Minkowski 21
3.1 Vetores e covetores de Lorentz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
3.2 Tensores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
3.3 Ortogonalidade e os grupos de Lorentz e Poincar . . . . . . . . . . . . . . . . . 24
3.4 lgebra de Lorentz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
3.5 A representao adjunta . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
3.6 Invariantes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
5 Os teoremas de Noether 41
5.1 Simetrias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
5.2 A equao de Lie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
5.3 O primeiro teorema . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
5.4 Cargas conservadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
5.5 Translaes e a conservao de energia e momento . . . . . . . . . . . . . . . . . 46
5.6 Rotaes, momento angular e spin . . . . . . . . . . . . . . . . . . . . . . . . . . 50
5.7 O segundo teorema . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
5.8 Invariantes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
6 O campo escalar 59
6.1 O campo escalar real . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
6.2 O campo escalar complexo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
6.3 Simetrias internas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
6.4 Simetrias de gauge locais e interao . . . . . . . . . . . . . . . . . . . . . . . . . 62
2
7 O campo eletromagntico 65
7.1 O campo vetorial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
7.2 O campo eletromagntico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
7.3 Liberdade de gauge . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
8 Campos espinoriais 75
8.1 A lgebra de Clifford relativstica . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
8.2 Rotaes: a representao espinorial das transformaes de Lorentz . . . . . . 79
8.3 Representaes de spin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
8.4 Espinores de Weyl . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
8.5 A ao de Dirac . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
8.6 Aplicando o princpio de Weiss . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
9 Campos de Gauge 91
9.1 Revisitando o campo escalar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
9.2 Transformaes de gauge globais . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
9.3 Transformaes de gauge locais . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
9.4 A lagrangiana invariante . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
Referncias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
3
Captulo 1
Transformaes de Lorentz
1.1 Introduo
Na mecnica clssica, a trajetria de uma partcula descrita a partir da segunda lei de
Newton
dp
F= , (1.1)
dt
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 velo-
cidade 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 sim-
plicidade 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)
dx0 dx0 d dx
v0 = 0
= = (x ut) = u = v u. (1.3)
dt dt dt dt
5
Esta a lei de composio de velocidades na mecnica newtoniana. Note que
dp0 dv0 dv dp
p0 = mv0 = =m =m = , (1.4)
dt dt dt dt
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
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 trans-
formaes
x0 = x ut, (1.7a)
0
t = t, (1.7b)
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
6
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,
x0 = Ax + cBt,
ct0 = Cx + cDt.
Em (1.9), temos
2 2
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.
A = D = cosh ,
B = C = sinh ,
em que o ngulo chamado rapidez. Esta soluo no nica, mas escolhida por reque-
rimentos 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
ct cosh sinh ct
= . (1.10)
x0 sinh cosh x
cosh . (1.12)
Assim, temos
sinh
tanh = = = ,
enquanto
2 1
r
1
2 = = 2 1 2 = 1 = =
.
1 2
Portanto, a transformao pode ser colocada tambm nas formas mais conhecidas
x0 = (x ct) ,
t0 = t x ,
c
ou
x ut
x0 = p , (1.13a)
1 u2 /c2
0 t u/c2 x
t = p . (1.13b)
1 u2 /c2
8
Nesta configurao, as direes y e z ficam inalteradas, de modo que a forma completa
dada por
x ut
x0 = p , (1.14a)
1 u2 /c2
y 0 = y, (1.14b)
0
z = z, (1.14c)
2
t u/c x
t0 = p , (1.14d)
1 u2 /c2
ou nas duas formas de notao matricial,
0
ct cosh sinh 0 0 ct
x0
0 = sinh cosh 0 0 x
y
, (1.15)
0 0 1 0 y
z0 0 0 0 1 z
0
ct 0 0 ct
x0
0 = 0 0 x ,
y 0 (1.16)
0 1 0 y
z0 0 0 0 1 z
As transformaes (3.12), ou mesmo na forma (1.15) so chamadas transformaes de Lo-
rentz, ou simplesmente boosts de Lorentz. imediato observar que as transformaes de
Lorentz inversas so dadas substituindo-se u por u, por ou por nessas trans-
formaes. 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
BT
ct ct
= , (1.17)
r0 B ( 1) BBT / 2 r
em que B o vetor coluna
x ux
1 u
B y = uy = ,
c c
z uz
e BT o vetor linha
1 uT
BT
x y z = ux uy uz = .
c c
O produto BBT dado por
x2
x y x z
T
BB = y x y2 y z ,
z x z y z2
2
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 0 0 ct
x0 1 0 0 x
0 = ,
y 0 0 1 0 y
z0 0 0 0 1 z
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.
x = (x0 + ct0 ) .
10
Ainda,
vz
vz0 = . (1.20)
(1 uvx /c2 )
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
0 cu cu 1 u/c
vx = = =c = c,
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 re-
pouso O. Neste caso, temos
l = x2 x1 ,
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,
ou seja,
1 p
l0 = 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,
Contudo, como o relgio est em repouso com relao a O, temos que x = 0, ento,
t
t0 = t = p . (1.22)
1 u2 /c2
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 con-
siste 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
2 2 2 2
ds2 = dx0 dx1 dx2 dx3 ,
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 , , = 0, 1, 2, 3. (1.23)
,=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)
Podemos, tambm, escrever uma transformao de Lorentz com esta notao. Ela dada
por
x0 = x . (1.26)
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
Primeira variao da ao
s1 s1
S = mc ds = mc ds. (1.30)
s0 s0
De (1.28), temos
ds2 = ( dx dx ) = dx dx + (dx ) dx + dx (dx )
= dx dx + 2 dx (dx )
dx dx 2 dx
= (ds) + 2 ds (dx ) u = dx /ds,
ds ds ds
2
= u u (ds) + 2 u ds (dx ) .
Por outro lado,
assim,
2
2ds (ds) = u u (ds) + 2 u ds (dx ) ,
que torna-se
1
(ds) = u u ds + u (dx ) , (1.31)
2
Com dx = dx dx = d (x x ) = d (x ) e integrando por partes,
1
(ds) = u u ds + u (dx )
2
1
= u u ds + u d (x )
2
1
= u u ds d ( u ) x + d ( u x ) . (1.32)
2
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
13
Temos
= x , d = dx . (1.34)
x x
Assim,
1 du
(ds) = u u dsx dx u x dsx
2 x x ds
1 du
= 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 u dsx . (1.35)
2 x x ds
Vamos simetrizar o termo
1 1
u u = u u + u u .
x 2 x 2 x
Assim,
du
1 1 1
(ds) = u u u u u u dsx
2 x 2 x 2 x ds
du
1
= + + u u dsx . (1.36)
ds 2 x x x
Vamos definir os smbolos de Christoffel do primeiro tipo:
1
+ .
2 x x x
Assim,
du
(ds) = + u u dsx .
(1.37)
ds
Com (1.37) em (1.30),
s1 s1
du
S = mc ds = mc ds + u u x .
(1.38)
s0 s0 ds
14
Captulo 2
Transformaes infinitesimais
Nestas, definimos
dxi
dt i
t , x a . (2.5)
d =0 da ,=0
Assim,
xi = xi + xi t + xi . (2.6)
15
Neste caso, vemos que a forma final da transformao dada por
dxi
xi = xi + t , (2.7)
dt
com
xi = xi + xi , t = t + t. (2.8)
t = t + t, (2.9)
mas que nenhuma transformao seja definida em q i . Ainda assim, (2.9) implica em
xi = xi + txi , (2.10)
ou seja,
xi = txi . (2.11)
Se t = dt, ento temos dt = t t e xi = dtxi = 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
i i i i d i d
x = x + tx = x + t x = 1 + t xi . (2.12)
dt dt
xi = gt xi . (2.14)
16
2. A ordem da composio no altera o resultado final:
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
d
Xt = = q i i , (2.18)
dt
que acompanha o termo t. Na forma infinitesimal, temos
gt = 1 + tXt = 1 + tq i i = 1 + q i i . (2.19)
2.3 Translaes
Vamos supor a transformao
Esta operao chamada translao, pois translada um ponto a outro de Rn a tempo cons-
tante. Neste caso,
t = 0, xi = ai . (2.21)
xi xi = xi + ai x
ei = xi + bi = xi + ai + bi = q i + ci ,
em que
ci = ai + bi .
xi
xi = xi + ai = xi + aj j = 1 + aj j xi ,
x x
17
ou seja,
gx 1 + ai = 1 + xi i , (2.22)
xi x
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.
2.4 Rotaes
O grupo de rotaes, por ser um exemplo no abeliano, merece uma ateno especial. Toda
rotao pode ser descrita pela relao
xi = Rij xj , (2.26)
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 1 0
Jz 1 0 0 . (2.29)
0 0 0
18
Nos outros eixos, temos
rx () = 1 + J x , ry () = 1 + J y , (2.30)
em que
0 0 0 0 0 1
Jx 0 0 1 , Jy 0 0 0 . (2.31)
0 1 0 1 0 0
r () = 1 + J = 1 + a J a = 1 + 1 J 1 + 2 J 2 + 3 J 3 . (2.32)
[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)
Em componentes, temos
= ui + u2 1 ui (1 cos ) = (1) ui ,
19
Quando atua em um vetor posio x, temos
Rij xj = xi ijk uk xj sin + ui uj xj xi (1 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
xi = Rij xj ,
enquanto a infinitesimal tem forma
1 xi
i i i i
x () = x + x () = x + ab , (2.40)
2 ab =0
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 ne-
cessrios para parametrizar a transformao infinitesimal, que deve ter a forma
xi () = xi + ij xj . (2.41)
Neste caso,
1 xi xi
i ab 1
x = = xj ab , considerando linearidade em x.
2 ab =0 2 ab xj =0
Assim, definimos
xi
i
(Jab ) j , (2.42)
ab xj =0
de modo que
xi
1 i j ab 1
(Jab ) j x = xj ab = xj ij . (2.43)
2 2 ab xj =0
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 1 bc i
(Ja ) j = (Jbc ) j , (2.45)
2 a
e, assim,
(Ja )ij = aij . (2.46)
Dizemos que os geradores na forma (2.46) esto na representao adjunta do grupo de rota-
es, pois so representados por matrizes que possuem a mesma dimenso do grupo.
20
Captulo 3
A geometria de Minkowski
x = x x = x . (3.2)
x = x = u (x) = u (x) .
ou seja,
= 1
. (3.3)
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)
u v = u u = u u = u u = u u .
Assim,
= = T
e
T
= 1 1
. (3.6)
Em notao matricial,
T
= 1 1 .
(3.7)
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)
[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 as-
sim 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)
x = x = (x) = (x) .
Ento,
uT [u] = u u = u u = u u ,
3.2 Tensores
Portanto,
p trans. contravariantes
z }| {
T
= 1 1 1 T . (3.14)
| {z }
q trans. covariantes
Por exemplo, a mtrica um tensor do tipo (0, 2) ds2 = dx dx . Ento, suas componentes
se transformam por
= 1
1
.
23
3.3 Ortogonalidade e os grupos de Lorentz e Poincar
A invarincia do produto escalar resulta na expresso
= = T .
ou seja,
T = 1 1 = T . (3.15)
ou seja,
det = 1. (3.16)
1 2
a
= 1 + a + a b + ,
=0 2 a b =0
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
g 1 + a = 1 + a Ja . (3.17)
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,
T T
1 = (1 + a Ja ) 1 + b Jb = 1 + a Ja + (a Ja ) ,
ou seja,
T
a Ja = (a Ja ) .
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
W + W T = 0,
ou
W T = W 1 . (3.19)
trW T = tr W 1 = tr W 1 = tr 1 W = trW.
= exp (W ) . (3.20)
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 . (3.22)
Por exemplo,
1 0 0 0 0 1 0 0 0 0 1 0
0 0 0 0
, 12 = 0 0 0 0
, 13 = 0 0 0 0
11 =
, .
0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0
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 ) .
que resulta em
h i h i
(ab ) , (cd ) = ae bc df ce da bf (ef ) .
Jab = ab ba (3.26)
26
Note que
= 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) Jef , (3.28)
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 gera-
dores 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 tr Aa B b Ja Jb = A B + Ab B a tr (Ja Jb ) ab Aa B b .
(3.31)
2
Nesta expresso,
tr (Ja Jb ) = (Ja Jb ) = (Ja ) (Jb ) .
Os objetos
1
ab tr (Ja Jb ) (3.32)
2
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 rota-
o em R3 age sobre um gerador Ja na forma
Ja R1 Ja R.
Neste caso,
R1 ab R = ab . (3.33)
= + a Ja + a JTa + a b JTa Jb
+ a Ja + JTa = ,
portanto,
Ja + JTa = Ja Ja = [, Ja ] = 0. (3.34)
J 2 = ab Ja Jb , (3.35)
J 2 uj = j uj
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 des-
ses operadores de Casimir tambm so invariantes pela ao do grupo, portanto o espectro
invariante. O resultado que uma representao completamente determinada pelos es-
pectros 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
4.1 Introduo
Agora, vamos nos voltar anlise do problema variacional de se encontrar condies necess-
rias 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 ma-
temtica 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 din-
mica 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 vari-
acional 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 , q a ) dt, (4.2)
t0
em que q dq a /dt, assuma um valor extremo sobre C, fornecida uma funo Lagrangiana
a
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, (4.3)
dt q a q
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 depen-
dem 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 re-
conhecidos, 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 subes-
timada, 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 reparametri-
zaes. 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
di
i i , i i , .... (4.4)
dx
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
L x , i , i d,
A [] (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 transfor-
maes 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 funda-
mental.
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)
A mesma expresso vlida para as derivadas. Por exemplo, temos a primeira variao de
a :
i i i
di
(x , u) (x , u0 ) = u
du
u=u0
d2 i d di
d
u = i .
=
u =
dx du u=u0
dx du u=u0
dx
Na expresso acima, usamos a derivada total definida por
d i i i
+ dx (x) + (x) + (x) + . (4.10)
dx x i (x) i (x) i (x)
A integral que aparece na expresso acima atende ao fato de que campos so, de forma ri-
gorosa, 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) , (4.11)
j (y)
em que temos a delta de Dirac de dimenso 4:
(
4 0 se x 6= y,
(x y) = , 4 (x y) d4 x = 1. (4.12)
se x = y. M4
33
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
i L (y)
dx (x) i . (4.13)
(x)
0 (u) : 0i = 0i (y , u) ; 0i 0i
= (y , u) , (4.14)
dy
y = y (x , u) y + u, (4.15)
du u=u0
ou seja,
i i + i x , (4.16)
em que
dy
x u. (4.17)
du u=u0
O operador
d
u (4.21)
du
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
L x , i , a d =
A = (Ld + Ld) . (4.22)
dy d (x )
= + .
dx dx
O determinante dado por
d(x0 ) d(x0 ) d(x0 ) d(x0 )
1 + dx0 dx1 dx2 dx3
d(x1 ) d(x1 ) d(x1 ) d(x1 )
dy 0 1 + dx1 dx2 dx3
det = det d(dx .
dx x2 ) d(x2 ) d(x2 ) d(x2 )
dx0 dx1 1 + dx2 dx3
d(x3 ) d(x3 ) d(x3 ) d(x3 )
dx0 dx1 dx2 1 + dx3
Ento,
d (x ) d (x )
(d) = 1 + 1 d = d. (4.24)
dx dx
Na integral, temos
d (x )
A = (Ld + Ld) = L + L d.
dx
Note que
d (x ) d dL
L
= (Lx ) x ,
dx dx dx
e, neste caso,
d dL
A = L + (Lx ) x d
dx dx
dL d
= L x d + d (Lx ) ,
dx dx
ou,
d
A = Ld + d (Lx ) , (4.25)
dx
em que
dL
L = L x . (4.26)
dx
35
Primeiro, vamos calcular
dL L L L
L = u = x + i i + i i . (4.27)
du x
i = i x i . (4.30)
Primeiro,
di d0i di dx d0i di
i =
= =
dx dy dx dy dx dx
0i i
dx d d
= .
dy dx dx
Note que x = y x . Portanto,
0i
d d di
i = (y
x )
dy dx dx
0i
di d0i d (x ) d0i di
d (x ) d
= =
dy dx dx dx dy dx dx
0i
d d (x ) d
= 0i i
dx dy dx
i
0i 2 0i
d d d d
= x + x .
dx dy dx dy dx
Em primeira ordem,
d i i
d 2 i
d d
i =
x
+ x
dx dx dx dx dx
d
i x i + x i
=
dx
d
i + x i ,
=
(4.31)
dx
que resulta em
d d
i = i + x i x i = i .
(4.32)
dx dx
36
Temos
L L L d L
L = i i
+ i i = i i + i
dx i
L d L d L
= i i + i i . (4.33)
i dx dx
Na integral,
d
A = Ld + d (Lx )
dx
i L d L d i L
= i d + d Lx + . (4.34)
i dx dx i
Vamos deixar a primeira integral como est, mas desejamos escrever a segunda integral
como combinaes lineares das variaes totais dos campos. Vamos usar = x :
L d L d i L i L
A = i d + d Lx
x +
i dx i dx i i
i L d L d i L i L
= d + d i L x .
i dx i dx i
Vamos definir
L i
H L, (4.35)
i
assim,
L d L d i L
A = i d + d H
x
. (4.36)
i dx i 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
L
i H x , (4.38)
i
37
e uma combinao linear de e x. Os coeficientes so
L i
H = L, (4.39)
i
que so denominados momentos conjugados covariantes. Veremos mais adiante que essas
quantidades so fundamentais na definio de quantidades conservadas e invariantes do pro-
blema variacional.
x = 0 e i (x)x = 0.
(4.41)
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,
L d L
i = 0. (4.43)
i dx
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.
39
que deve ser respeitada com arbitrrio e i linearmente independentes. Neste caso, temos
L d L
i
i = 0,
dx
40
Captulo 5
Os teoremas de Noether
5.1 Simetrias
Vamos supor uma transformao infinitesimal
ou seja,
A = A. (5.4)
A = A A = 0. (5.5)
(a , a ) 0 = x = = 0 = x = x , i = i , (5.6)
A A + A, (5.8)
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 transforma-
es (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
dx
x = a
da a,=0
di di di dx di
i a
= a + = a + a
da a,=0 da a,=0 dx da a,=0 da a,=0
di
i dx
= a + a = x i + i ,
da a,=0 da a,=0
em que
di
i
= a .
da a,=0
dx di
, i
a , (5.10)
da a,=0 da a,=0
x = a , i = i x + i = i a + ia a . (5.11)
42
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,
L d L d
i ia a = i ia a .
i dx dx
Dizemos que essas so transformaes internas globais. Internas, pois consistem em m trans-
formaes 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:
com a constantes. Ento, temos o caso em que quatro simetrias resultam em quatro combi-
naes lineares das equaes de Euler-Lagrange iguais a quatro divergncias totais.
Toda simetria global (com parmetros constantes) pode ser separada em uma transforma-
o 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 . Transforma-
es de Poincar so transformaes globais no ponto, portanto.
Outra verso do primeiro teorema de Noether pode ser formulada a partir da equao de
Lie
L d L d
i i = i i H x ,
(5.16)
i dx dx
43
No caso de transformaes internas globais, temos
= i i = i ia a ,
ou seja,
d d
i ia = 0.
=0 =
dx dx
da
=0 (5.18)
dx
so denominadas equaes de continuidade.
No caso de transformaes no ponto, temos
= H x = H a ,
que resulta em
d d
=0 = (H ) = 0. (5.19)
dx dx
Neste caso, as correntes prprias so as funes H , que obedecem s equaes de
continuidade d /dx = 0.
Equaes de continuidade aparecem em toda teoria fsica com simetrias. Por exemplo,
considere as equaes de Maxwell com fontes
E= ,
0
E
B = 0 j + 0 0 .
t
Derivando a primeira equao parcialmente no tempo e tomando o divergente da segunda,
temos
E 1
( E) = = ,
t t 0 t
E
B = 0 j + 0 0 = 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 0 j 0 j
j+ =j+c =j+ 0
= = 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
~2 2
i~ = + V .
t 2m
Seu complexo conjugado resulta em
~2 2
i~ = + V .
t 2m
Multiplicando a primeira equao por e a segunda por , temos
~2 2
i~ = + V ,
t 2m
~2
2 + V .
i~ =
t 2m
Tomando a diferena, temos
~2
i~ ( ) = [ ] .
t 2m
Definindo-se = i~ e j = ~2 /2m ( ), temos
+ 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.
da
= 0. (5.20)
dx
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 con-
servao 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
t1 t1
da 0
dka
3 da 3 da
I= d = dt d x = dt d x + , k = 1, 2, 3.
dx t0 V dx t0 V dx0 dxk
45
Esta integral divide-se em duas:
t1 t1
d ~ a .
I= dt d3 x0a + dt d3 xdiv
t0 dt V t0 V
Na segunda integral, podemos usar o teorema de Gauss em trs dimenses. Ela resulta
em
t1 t1
dt ~ a
d3 xdiv = dt ~ a .
d2 x n
t0 V t0 A
Vamos supor que o observador expanda o volume ao infinito e, neste caso, ele supe que as
correntes tridimensionais ~ a vo a zero na fronteira de V . Portanto, a segunda integral
nula e
t1 t1 t1
d 3 0 3 0 3 0
I= dt d xa = d d xa = d xa . (5.21)
t0 dt V t0 V V t0
A quantidade
Qa (t) d3 x0a (x, t) (5.22)
V
dQa
= 0. (5.23)
dt
x = a ,
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
i
i x = (H x ) ,
dx dx
que resulta em
L d L d
i = (H ) .
i dx i dx
L d L
i
i = 0,
dx
temos
d
(H ) = 0. (5.24)
dx
Portanto, existem quatro equaes de continuidade para a densidade de energia-momento:
0 ~ = 0,
H +H (5.25)
t
~ .
em que consideramos H = H 0 , H
Agora, conveniente entendermos melhor o papel da densidade de energia-momento. Po-
demos obter uma definio formal abaixo.
L i
H L, (5.26)
i
em que L uma densidade lagrangiana. Neste caso, T um tensor do tipo (0, 2).
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
(x) d3 x = H00 (x) d3 x = L d3 x.
V V V i0 0
p T (u, ) = H u . (5.30)
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 , k = 1, 2, 3. (5.31)
mn T (m , n ) = Hmn m n , (5.33)
mn = Hmn . (5.34)
H = 0, (5.37)
que vem a ser a forma mais comum de notao. Dizemos que H uma quantidade conser-
vada.
Vamos trabalhar na dinmica instantnea de agora em diante. Integrando (5.37) em
M4 , temos
0= d H = dt d3 x H
V
d3 x 0 H0 + k Hk , k = 1, 2, 3.
= dt
V
49
Temos
d
d3 x 0 H0 + k Hk = d3 xH0 d3 x k Hk = 0.
dt dt +
V dt V V
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
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 V
e
d 3
dt d xpk = 0.
dt V
A equao acima implica em que os momentos Pk = V
d3 xpk (x) so conservados, ou seja,
dPk
= 0. (5.41)
dt
Ento, translaes (espaciais) implicam na conservao dos momentos lineares dos campos.
50
Neste caso,
1
x = i (Jab ) ab x . (5.44)
2
Uma rotao no espao-tempo implica uma rotao nos campos. Vamos definir esta rotao
de modo que i = 0, ou seja, apenas a transformao no ponto influencia na transformao
total dos campos. Assim,
1
i = x i = i (Jab ) ab x i , (5.45)
2
de modo que a equao de Lie
L d L i d i L
i = H x
i dx dx i
torna-se
d L i 1 d L i
H x = i H
(Jab ) ab
x =0
dx i 2 dx i
`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:
51
Neste caso, a corrente de Noether conservada dada pela densidade de momento an-
gular 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
d x 0 mab + i miab + dt
3 0
d3 xi miab .
= dt +
V dt 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 compo-
nente de spin,
Mab = Lab + Sab , (5.52)
em que
Lab = d3 x`0ab e Sab = d3 xs0ab . (5.53)
V V
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.
L i
H = L
i
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
i = i x i , (5.57)
que resulta em
i a
i d
= x ,
i
(5.58)
a dx =0
em que
dy
x = a . (5.59)
da =0
dy i
Aia i e Bai x , (5.60)
da =0 a =0
De forma que,
da i d
a
i = Bai , i
x
= A i a
a , i
= B a Aia a . (5.61)
dx dx
A equao de Lie,
L i da
(EL)i i + B H
x
= 0,
i a dx
em que
L d L
(EL)i i (5.62)
i dx
com
a
L i d
i Ba Aa + Lx .
i a
(5.64)
dx
53
Ou seja,
As identidades de Noether (5.67) podem ser colocadas na forma de uma equao de con-
servao covariante. Para tal, definimos as funes Gai tais que
Assim,
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
j j
ic (EL)i Bc (5.72)
com
L dx
= Bai a Aia a + L a a
i
d
dx a
L L i L
= i Bai a A + L = i Bai a a a , (5.75)
i a da
com
L i dx
a A a + L . (5.76)
i da
55
Vamos supor que e suas derivadas sejam independentes. Neste caso,
a = 0, (5.77)
L i
a = B , (5.78)
i a
L i L
B + i Bai = 0. (5.79)
i a
Portanto, na validade das equaes de campo, temos um conjunto de correntes prpria con-
servadas (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 antissim-
trico 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 encon-
tradas com uma escolha de dinmica relativstica. Essas integrais so dadas pelas carga
1 L i L i0
Qa = d3 x0a = d3 x B B .
V 2 V i0 a i a
5.8 Invariantes
Para comear, vamos tratar sobre os invariantes que encontramos no captulo passado. Es-
ses 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)
P P = m2 , (5.83)
+ m2 (x) = 0,
(5.84)
56
em que
= = P 2 (5.85)
M = L + S , (5.86)
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 . (5.87)
2
= (5.89)
[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)
57
Com as propriedades de , temos W0 = 0. Com k, m, n = 1, 2, 3, temos
i
Wk = mckmn M mn = mcJk , (5.93)
2
em que Jk = (i/2) kmn M mn so as componentes do momento angular tridimensional. Usa-
mos a relao kmn = 0kmn . Neste caso,
W 2 = m2 c2 J i Ji = m2 c2 J2 , (5.94)
W 2 = m2 c2 S2 , (5.95)
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 , (5.97)
4
que pode ser calculado com uso da relao
= det
,
(5.98)
i
W0 = kmn M km P n = Jk pk = J p, (5.99a)
2
i E
Wk = k M P = Jk + ikmn M 0m P n . (5.99b)
2 c
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)
(s, s + 1, , 0, , s 1, s) .
58
Captulo 6
O campo escalar
+ 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
1
m2 2 ,
L= (6.3)
2
que resulta em (6.2) atravs das equaes de Lagrange
L L
= 0. (6.4)
( )
59
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,
p= d3 x. (6.8)
R3
Uma maneira imediata de introduzir uma interao permitir que o campo interaja con-
sigo 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
1
L= m2 2 4 , (6.9)
2 4!
cuja equao de campo dada por
+ m 2 = 3 .
(6.10)
3!
Sua densidade de energia-momento vem a ser
1 2 2 2 4
H = m . (6.11)
2 4!
60
6.2 O campo escalar complexo
Um campo escalar complexo, por outro lado, uma funo (x) : M4 C tal que
Novamente, este um campo de spin zero. O campo complexo tambm obedece equao de
Klein-Gordon-Fock
+ m2 = 0,
(6.13a)
+ m2 = 0.
(6.13b)
+ 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)
H = + m2 .
(6.17)
61
A equao de Lie
L d L i i L
i = H x
i dx i
torna-se, com x = 0 e = ,
+ m2 + + m2 = ( + ) .
( ) = 0, (6.22)
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 lagrangi-
ana
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 invari-
ante 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 .
A0 = A + iei ei ,
(6.28)
ou
A0 = A . (6.29)
L = ( iqA ) ( + iqA ) m2
= m2 + A J , (6.31)
em que
J iq ( iqA ) (6.32)
A A (6.35)
x x = A A , (6.36)
portanto A tambm um covetor de Lorentz. Veremos mais adiante que essas so precisa-
mente 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, invari-
ante 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 , (6.39)
4
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 pr-
pria
L L
=
= ( iqA ) ( + iqA )
= (D ) D , (6.40)
que conservada ( = 0). Na dinmica instantnea, temos
d3 x (D0 ) D0
Q=
R
3
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.
D = 1 + iqA , (6.43)
que implica
U U = (1 + ia Ta ) (1 + ia Ta ) 1 + ia Ta ia Ta = 1,
J iq [1 1 iqA ] , (6.44)
64
Captulo 7
O campo eletromagntico
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
1
A A m2 A A ,
L=
2
que descreve um campo vetorial de massa m. Esta densidade lagrangiana possui dois pro-
blemas. 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 . (7.7)
4 2
A densidade (7.7) denominada lagrangiana de Proca. As equaes de campo so dadas por
L L
= 0,
A A
de modo que
m2 m2 A A
L
= (A A ) = A + A
A 2 A 2 A A
m2 m 2
A + A =
= (A + A )
2 2
= m2 A ,
e
F
L L L
= =
A A F ( A )
" #
L A A
L
= = .
F ( A ) F
Nessas ocasies, em que um objeto antissimtrico derivado com relao a suas componentes,
comum utilizar a delta antissimetrizada
[ ] . (7.8)
Assim,
L L L
= [ ] = 2
A 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 . (7.9)
A
Ento, temos as equaes
F + m2 A = 0. (7.10)
F + m2 A = 0 = A = 0,
66
A densidade de energia-momento de (7.7) torna-se
L
H 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 , (7.11)
4 2
que difere de H por uma divergncia total:
T H = m2 A A F F A = (F A ) ,
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
m = F x[ F] m2 A A[ x] F [ A] [ x] L, (7.16)
tambm conservada.
67
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)
A A (7.19)
exp (i) ,
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 , (7.23)
4
com a verso simtrica
1
T = F F + F F . (7.24)
4
68
Temos tambm
3 1 0i 1 ij
H= d x F0i F + Fij F , (7.25)
R3 2 4
F = J = 0, (7.28)
J = , j i ,
(7.29)
E = , (7.33)
Ei = F0i = Ai 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
1
Bi = ijk F jk = Fij = ijk B k . (7.36)
2
Note que
1 ijk 1
Bi = 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)
ijk j Bk = 0 E i + j i ,
ou,
E
B= + j, (7.38)
t
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
. (7.39)
0 By
Ez /c Bz By 0
70
O momento angular total (espacial) dado por
1 ijk 1 h i
Ji = Mjk = d3 x ijk xi (E B)j xj (E B)i + Ai Ej Aj Ei
2 2
h
R3
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 xy xz
1
ij = Ei Ej + Bi Bj ij E 2 + B 2 = yx
yy yz (7.45)
2
zx zy zz
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 = , B = j, (7.47)
t
no sistema de unidades naturais.
Note que a combinao de derivadas baixo se anula identicamente,
F + F + F = 0. (7.48)
Essas so chamadas identidades de Bianchi do campo eletromagntico. Elas podem ser escri-
tas 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 . (7.51)
2 2
Por outro lado,
1
Fij = ij F = ijm F 0m = ijm E m , (7.52)
2
portanto temos
0 Bx By Bz
Bx 0 Ez Ey
F =
By
. (7.53)
Ez 0 Ex
Bz Ey Ex 0
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
B
0 F 0i + i F ji = 0 = E+ = 0, (7.55)
t
sendo a ltima, a lei de Faraday.
Portanto, o sistema de equaes
F = J , F = 0 (7.56)
A A (7.58)
de fato deixa invariante as equaes de Maxwell, supondo-se que j no dependa das compo-
nentes 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)
0 = F = ( A A ) = A A .
Ento,
A A = 0. (7.60)
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
A0 = 2 0 A,
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
0 = A 0 2 0 A + 2 2
( A)
1
= A + 02 + 2 2
( A)
2 1
= A ( A)
h 1
i
= A 2
( A) .
assim,
[A ] = 0.
2 A
A = 2 A = 0 (7.65)
t2
obedecida. Note que
h 1 i
A = A 2 ( A)
1
= A 2 2 ( A) = A A = 0, (7.66)
ento, nesta escolha de gauge, o divergente de A nulo. Na equao para A0 , temos
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 eletro-
magntico obedece equao de onda
A = 0 (7.69)
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 = Ak + A , (7.71)
de modo que
k Ak = 0, k A = 0, (7.72)
ou seja,
k ik
Ak = (k A) , A = A. (7.73)
k2 |k|
ik
A=0 = A = A = A,
|k|
A=0 = A A = A. (7.74)
1 ki kj
ij = ij 2 i j = ij (k) = ij , (7.75)
k2
de modo que
k
A = A (k A) = A Ak = A . (7.76)
k2
74
Captulo 8
Campos espinoriais
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
= (8.3)
0 0 1 0
0 0 0 1
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 bilinea-
ridade
ou seja,
(u, u) = (u , u ) = u ( , ) u = u u
u0
0 0 0 1 0 2 0 3
1 0 1 1 1 2 1 3 u1
u0 , u1 , u2 , u2
= 2 0 2 1 2 2 2 3
2 .
u (8.7)
3 0 3 1 3 2 3 3 u3
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)
{ , } + = 2 , (8.10)
Vemos claramente que (8.10) representa apropriadamente as condies (8.8) e (8.9). Apro-
veitamos 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 intro-
duzido por
1 1
uv = (u ) (v ) = u v = 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
[ , ] = ( ) (8.12)
2 2
denominado produto exterior entre dois elementos da base.
u v u v , (8.13)
uv = u v + u v, (8.14)
= (8.15)
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:
T = T (8.17)
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.
= (8.20)
{0 , 1 , 2 , 3 } .
{0 1 , 0 2 , 0 3 , 1 2 , 1 3 , 2 3 } .
{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
u = a + u + + T + . (8.21)
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.
P 1 P = 0 0 i i , (8.22)
Note que
000 = 0
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 .
T 1 T = 0 0 + i i , (8.23)
78
A operao de dualidade definida como segue.
?Ak = i5 Ak , (8.24)
em que
5 i0 1 2 3 . (8.25)
= 0, 1, 2, 3 ,
(8.27)
{ , } = 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
i
0 022 122 i 022
= , = , (8.29)
122 022 i 022
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 quadridimen-
sional em termos de matrizes 4 4 so equivalentes por transformaes inversveis, ou seja
= V V 1 = { , } = 2 .
[i , j ] = ijk k ,
80
em que
(M ) = i (8.37)
S 1 () S () = . (8.41)
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,
i ij 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,
ij
S ij = S , (8.43)
81
e os geradores devem ser hermitianos. Neste caso, (8.43) implica em
i i j i h i
, = i, j = i , j = i , j
,
4 4
ou seja,
i 1
i = 1, (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 mos-
trar que uma transformao de similaridade resulta tambm em uma representao anti-
hermitiana 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
i 0 i i h i
, = 0, i = 0 , i = 0 , i
.
4 4
Se i anti-hermitiano, 0 tambm deve ser anti-hermitiano. Por outro lado, uma poss-
vel 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.
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 = . (8.48)
2
As matrizes S (K) so bidimensionais.
Sobre as rotaes, temos
ei/2
i i 1 0 0
S (R) = exp ij S ij = exp k k = , (8.49)
2 2 0 1 0 ei/2
em que
1 kij
k ij .
2
Ento, (8.49) uma transformao duplicada, com a forma 2 2
i
S (J) = exp = exp [i J ] , (8.50)
2
em que
J= . (8.51)
2
A relao (8.48) indica que J = iK, cada escolha de sinal implica em uma operao de
boost distinta. Assim, vamos definir dois geradores
1
W = (J iK) , (8.54)
2
que fecham a lgebra
h i h i
Wi , Wj = iij k Wk , Wi , Wj = 0. (8.55)
(j, 0) J = iK = W = 0,
(0, j) J = iK = 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 .
(ct, x, y, z) (ct, x, y, z) .
As velocidades, inclusive as relativas entre dois referenciais inerciais, trocam de sinal. Por-
tanto, 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)
84
Exerccio 4. Mostre que
(
k 1 se k par,
( n) = (8.63)
n se k mpar.
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 (p) = p R (0) . (8.66)
2m (E + m)
mR + (p0 + p) L = 0
(p0 p) R mL = 0,
ou em forma matricial
m p0 + p R
= 0. (8.69)
p0 p m L
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
= . (8.71)
L
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
p = i . (8.72)
(i m) (x) = 0, (8.73)
de modo que
4
(x) = d p (p) exp (ip x ) = d4 p (ip ) (p) exp (ip x ) ,
= 1, i e = 1, i .
(8.77)
p R = 0 e p L = 0. (8.78)
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
T
em que o operador auto-adjunto de , ou seja, = ( ) . Para que este objeto seja um
escalar, necessrio que
(x) 1 x
Assim,
(x) (x) 1 x S () S () 1 x ,
Afirmao 1. O objeto
um vetor de Lorentz.
87
Para demonstrar esta afirmao, vamos utilizar o resultado (8.41)
S 1 () S () = ,
(x) 1 x S 1 () .
Assim,
(x) (x) 1 x S 1 () S () 1 x
= 1 x 1 x
= 1 x ,
transforma-se como um tensor de Lorentz do tipo (2, 0), e constitui um bivetor. Toda forma
multilinear pode ser construda a partir de , e , de modo que escalares podem
ser definidos a partir da contrao desses multivetores.
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)
88
em que
1
= .
(8.89)
2
Consideremos a seguinte transformao infinitesimal
d Dx , x .
= d D +
Temos
( ) = = D = D,
de modo que
D = (D) + D = i m + i m
= i m + i m
i
+ m m
=
2
i i
= i m i m +
2 2
i i
= (i m) i + m +
2 2
Assim,
i i
D = i m i + m +
(8.92)
2 2
Ento,
A = d i m i + m + div, (8.93)
em que
i i
div d + Dx . (8.94)
2 2
89
Para que A seja um termo de fronteira, temos as equaes de Dirac
i m (x) = 0, (8.95a)
(x) i + m = 0, (8.95b)
T = + D. (8.98)
90
Captulo 9
Campos de Gauge
L = m2 . (9.2)
implica na transformao
L L0 = ( i ) ( + i ) m2 . (9.4)
D + iqA (9.6)
J iq ( iqA ) . (9.8)
x = x = A = A ,
91
A sero as componentes de um campo eletromagntico. A Lagrangiana completa
1
L = (D ) D m2 F F , (9.9)
4
com
F A A , (9.10)
i ei i , i i ei = L L. (9.12)
i U ij j . (9.13)
ou seja,
j i
i 0 0 U j
,
o que resulta em
i
i j U 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 ,
92
ou seja,
i
k U 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)
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 identi-
dade formam um subgrupo denominado SU (N ): S para "special", que significa determinante
1, e U para "unitary". Portanto, temos a
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)
U = exp (i a T a ) , (9.17)
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 funda-
mental 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)
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
6
X
LCD = I i mI I .
I=1
f123 = 1,
f147 = f165 = f246 = f257 = f345 = f376 = 1/2,
3
f458 = f678 = ,
2
enquanto os demais so permutaes destes, ou zero.
temos
Seguindo a ideia de que teorias fundamentais da natureza devem ser invariantes por trans-
formaes de gauge locais, precisamos encontrar uma densidade lagrangiana localmente in-
variante. 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)
D 1 igA , (9.25)
= 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
0 i
= 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 ) , (9.26)
g
ou
i
A A0 = U A U ( U ) U . (9.27)
g
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,
1
A = a T a i a [A , T a ] .
g
Explicitando as componentes da lgebra, A = Aa T a , temos
1
Aa T a = a T a i a Ab [T b , T a ] .
g
Usando as relaes de comutao fundamentais (9.18), temos
1
Aa T a = a T a + a fab c Ab T c ,
g
que com troca de ndices mudos torna-se
1
Ac T c = c T c + a fab c Ab T c .
g
Como os geradores so linearmente independentes, temos
1
Aa = a + gf acb Ab c .
(9.28)
g
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:
1 a 1 a
Aa = + gf acb Ab c = (D ) c c ,
g c g
em que
a
(D ) c ca gf abc Ab . (9.29)
D = igA , (9.30)
Assim, nas componentes da lgebra, a transformao dos campos de gauge dada por
1 a 1 a
Aa = (D ) b b = [D ] , (9.33)
g g
a 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 pr-
prio campo eletromagntico, visto que todo o procedimento acima realizado com
fabc = 0. A derivada covariante na representao fundamental torna-se simples-
mente D igA , enquanto na representao adjunta ela igual derivada
ordinria. Neste caso, temos A = (1/g) , que a transformao de gauge do
campo eletromagntico.
= + ig A .
Podemos verificar que este termo tambm invariante. Uma transformao de gauge resulta
em
U + U U + ig U A0 U =
= + U U + ig U A0 U =
i
= + U U + ig A U ( U ) =
g
= + ig A + U U = + ig A .
97
ou seja, a densidade (9.36) equivale lagrangiana
L = i 1m + g A . (9.38)
O termo g A torna-se
g A = Aa g T a = Aa Ja ,
em que
Ja g T a (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
L = i m + Aa Ja (9.40)
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
[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 mathema-
tics 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).
99