Formulaes Lagrangiana e Hamiltoniana da Eletrodinmica

I. LAGRANGIANAS DE CAMPOS CONTNUOS

A eletrodinmica de Maxwell admite uma formulao Lagrangiana, assim como a mecnica newtoniana. Isso
no apenas um exerccio acadmico porque a formulao Lagrangiana (ou Hamiltoniana) da Eletrodinmica
imprescindvel para a sua quantizao posterior.
Para apresentar a formulao Lagrangiana da eletrodinmica, preciso generalizar a Lagrangiana de pontos mate-
riais para campos contnuos. Esquematicamente, passaremos de um sistema com N graus de liberdade i = 1, 2, ..., N ,
para um sistema (contnuo) com infinitos graus de liberdade x 2 ( 1, +1)

qi (t) (i = 1, 2, ..., N ) =) (x, t) .

Note a analogia entre o ndice discreto i e o ndice contnuo x. Vamos recordar o caso discreto na sua formulao atra-
vs do princpio da mnima ao. Assume-se a existncia de uma funo Lagrangiana das coordenadas generalizadas
qi (t) e das velocidades generalizadas qi (t) (e possivelmente do tempo explicitamente)

L [qi (t) , qi (t) , t] L (q, q,

t)

donde se escreve a ao
Z t2
S= L (q, q,
t) dt
t1

que um funcional de qi (t) e qi (t), ou seja, uma funo cujo argumento uma funo (ou um conjunto delas)

S : [qi (t) , qi (t)] ! R.

Se S tem um extremo (no necessariamente um mnimo) em uma dada trajetria qi0 (t) e qi0 (t), ento a variao de
S em primeira ordem com respeito a pequenas variaes de qi (t) e qi (t) em torno dessa trajetria nula. Ou seja,
tomando-se

qi (t) = qi0 (t) + i (t)

qi (t) = q0 (t) + i (t)
i

onde infinitesimal e i (t) qualquer (na verdade, assume-se que no haja variao nas extremidades do intervalo,
ou seja, i (t1 ) = i (t2 ) = 0), ento

S = S [qi (t) , qi (t)] S qi0 (t) , qi0 (t) = 0.

Assim
Z N
t2 X
@L @L
S = i (t) + i (t) dt
t1 i=1 @qi 0 @ qi 0
Z t2 X
N
@L d @L
= i (t) dt,
t1 i=1 @qi 0 dt @ qi 0

onde integramos por partes o ltimo termo e usamos que i (t) se anula em t1 e t2 . Na notao acima, ( )|0 significa
que o termo calculado na trajetria extremal, ou seja, faz-se qi (t) = qi0 (t) e qi (t) = qi0 (t). Como a variao tem
que se anular para qualquer i (t), segue que o termo entre chaves nulo e obtm-se as equaes de Euler-Lagrange

@L d @L
= 0.
@qi dt @ qi

A generalizao do procedimento acima para o caso de campos contnuos imediata. Suponhamos que temos apenas
um campo contnuo (x, t) (a generalizao para o caso de vrios campos trivial). Nesse caso, a Lagrangiana, que
 2

antes era constituda geralmente de uma soma sobre os graus de liberdade i = 1, 2, ..., N , ser uma integral sobre o
ndice contnuo x
Z 1
L= Ldx.
1

A funo L chamada de densidade de Lagrangiana e , em geral, funo do campo, de suas derivadas temporais e
espaciais (e ocasionalmente de x e t)

@ @
L=L , , , x, t .
@t @x
A ao definida como a integral temporal de L, como antes
Z t2 Z t2 Z 1
S= Ldt = dt Ldx.
t1 t1 1

Freqentemente, toma-se t1 = 1 e t2 = 1. Procurando pelas configuraes de campo que extremizam S, obtemos

0
(x, t) = (x, t) + (x, t)
8 9
Z Z < @L =
@L @ @L @
S = dt dx (x, t) + (x, t) + (x, t)
:@ 0 @ @@t @t @ @@x @x ;
0 0
8 9
Z Z < @L =
@ @L @ @L
= dt dx (x, t) = 0,
:@ 0 @t @ @ @x @ @ ;
@t @x
0 0

onde novamente supusemos que as variaes se anulam nos limites espaciais e temporais da integrao. Seguem as
equaes de Euler-Lagrange para campos contnuos
@L @ @L @ @L
= 0.
@ @t @ @ @x @ @
@t @x

Generalizando agora para as quatro dimenses do espao de Minkowski e para uma densidade de Lagrangiana que
depende de vrios campos contnuos i (denotamos por @ i as derivadas temporais e espaciais de maneira geral)

i (x ) = 0i (x ) + i (x )
L = L [ i , @ i , x, t]
Z
S = d4 xL
Z ( 3
)
X @L X @L
4
S = d x i (x ) + @ i (x )
i
@ i 0 =0
@ (@ i ) 0
Z ( 3
)
X @L X @ @L
4
= d x @ (@
i (x ) = 0,
i
@ i 0 =0
@x i ) 0

de onde obtm-se as equaes de Euler-Lagrange

@L @ @L
=0
@ i @x @ (@ i )
e agora utilizamos a conveno de soma de Einstein.

II. LAGRANGIANA DO CAMPO ELETROMAGNTICO

Para motivar a Lagrangiana dos campos eletromagntico importante notar que a ao deve ser um invariante de
Lorentz. Assumindo que S seja um escalar, ento a densidade de Lagrangiana tambm o , j que
Z
S = d4 xL
 3

e o quadri-volume infinitesimal de integrao um escalar pois, ao passarmos de K para K0

d3 x0
d3 x =

dt = dt0
d4 x = d4 x0 .

Assim, a densidade de Lagrangiana eletromagntica ser construda a partir de escalares. Alm disso, as variveis
dinmicas sero tomadas como sendo o quadri-potencial A . Para que a densidade de Lagrangiana seja invariante por
transformaes de calibre ela dever ser funo apenas de F ou de G (usaremos a notao de G para o tensor
eletromagntico dual). Os nicos escalares que podem ser construdos a partir desses tensores so F F , F G
e G G . O primeiro e o ltimo so iguais a menos de uma constante (Problema 11.14 do Jackson, 3a. Edio). O
segundo pode ser escrito como uma quadri-divergncia
1
F G = F " F = F " @ A = 2" (@ A ) @ A ,
2
onde usamos a anti-simetria de " em relao permuta de dois ndices. Assim

F G = 2" @ A @ A A @ @ A
= 2" @ A @ A ,

onde o segundo termo entre colchetes nulo devido anti-simetria de " e simetria de @ @ A em relao
a e . Como esse termo uma quadri-divergncia, sua integral no espao-tempo de Minkowski pode ser escrita,
pelo teorema de Gauss em 4 dimenses, como uma integral de superfcies no infinito, nas bordas do espao-tempo.
Como as variaes do campo nas bordas so nulas, esse termo no afetar as equaes de Euler-Lagrange e pode ser
esquecido. Assim, ficamos com
1
L= F F .
16
O fator de 16 1
foi inserido por razes que ficaro mais claras adiante. Falta agora o acoplamento com as fontes
externas, que formam um quadri-vetor densidade de corrente J . No possvel formar um escalar com J e F .
Podemos formar o escalar J A , que em princpio indesejvel porque envolve o quadri-potencial A e parece ser
dependente do calibre. Entretanto, sob uma transformao de calibre
1@
! +
c @t
A ! A r

que deixa os campos invariantes

1 @A
E = r
c @t
B = rA

o quadri-potencial se transforma

A ! A + @ .

Assim

J A ! J A + J @ .

Quando integrado sob o espao-tempo de Minkowski, o segundo termo pode ser integrado por partes e podemos
desprezar o termo de superfcie em J no caso de fontes localizadas. Assim,
Z Z Z Z
d4 xJ A ! d4 xJ A d4 x @ J = d4 xJ A ,
 4

se a corrente conservada @ J = 0. Assim, a conservao da corrente e seu carter localizado garantem que podemos
acoplar as fontes externas ao campo com o escalar J A . O coeficiente na Lagrangiana 1/c para que tenhamos a
mesma forma sugerida pelo termo
e
L= u A
c
j obtido para a Lagrangiana de uma partcula na presena de campos eletromagnticos, lembrando que u = (c, v).
Finalmente,

1 1 1
L [A , @ A ] = F F J A = g g (@ A @ A ) @ A @ A J A
16 c " # c
2
1 1 1 1 @A 2 1
= E2 B2 + JA= r (r A) + JA
8 c 8 c @t c

Veremos adiante que o fator 16

1
do primeiro termo introduzido para garantir que as equaes de Euler-Lagrange
se reduzam s equaes de Maxwell, como queremos. importante notar que a densidade de Lagrangiana acima deve
ser entendida como funo dos campos A (e de suas derivadas) como nas formas mais direita acima.
Podemos ento proceder derivao das equaes de Euler-Lagrange. preciso cuidado para obtermos todos os
termos. Primeiramente (observe bem os ndices covariantes e contra-variantes)
@L 1
= J ,
@A c
j que o primeiro termo s depende de derivadas de A . Alm disso, escrevendo
F F = g g F F = g g (@ A @ A ) @ A @ A ,
podemos diferenciar em relao a @ A e obter quatro termos
@
(F F ) = g g
@A @ A
@A @ A
@ (@ A )

+ (@ A @ A )

(@ A @ A )

= g g F +


F

= (g g g g ) F + (g g g g ) F
= F F + F F = 4F ,

usando a anti-simetria de F . Assim,

@L 1
= F .
@ (@ A ) 4
Finalmente, podemos escrever

@L @L 1 1
@ = J + @ [F ] = 0,
@A @ (@ A ) c 4
ou
4
@ F =
J ,
c
que so as equaes de Maxwell com fontes. J vimos que as equaes de Maxwell sem fontes decorrem trivialmente
da definio de F em termos de A
1
@ G = " @ (@ A @ A ) = " @ @ A = 0,
2
devido anti-simetria de " e simetria de @ @ A . Alm disso, a conservao da corrente, condio necessria
para a invarincia de calibre do termo em J A , decorre tambm das equaes com fontes
4
@ @ F = 0 =
@ J ,
c
onde usamos, mais uma vez, a simetria de @ @ e a anti-simetria de F .
 5

III. TENSOR DE TENSES CANNICO

Se a densidade de Lagrangiana no depende explicitamente do espao e do tempo

L = L [ i , @ i ]

ento pode-se derivar uma lei de conservao bastante geral, que implicar ao final a conservao da energia e do
momento linear. Isso um resultado geral que diz que, se o sistema invariante por translaes espaciais e/ou
temporais, haver conservao de momento linear e/ou energia, respectivamente. A invarincia por translaes
garantida justamente pela no dependncia explcita de L com as variveis espaciais e temporais.
Vamos ver como isso derivado. Calculemos a derivada de L com relao a x
X @L @L
@ L = @ i + @ @ i ,
i
@ i @ (@ i )

Usando as equaes de Euler-Lagrange

X @ @L @L
@ L = @ (@
@ i + @ @ i
i
@x i ) @ (@ i)
X @L
= @ @ i .
i
@ (@ i )

Segue que
" #
X @L
@ @ i L @ T = 0.
i
@ (@ i )

Portanto, o tensor de tenses

X @L
T = g T = @ i g L,
i
@ (@ i )

satisfaz uma lei de conservao como a da carga, ou seja,

Z Z
1 d dQ
@ T = 0 ) d3 xT 0 = dA T ,
c dt V dt S(V )

onde T = T 1 x + T 2 y + T 3 z, e S (V ) a superfcie que envolve um volume fechado V qualquer e Q a carga

conservada.
Particularizando para o caso eletromagntico, vamos nos concentrar primeiramente no caso sem fontes. Obtemos
o seguinte tensor de tenses
@L
T = @ A g L
@ (@ A )
1
= g F @ A g L
4
Esse tensor no simtrico nem anti-simtrico de maneira geral. Entretanto, podemos simetriz-lo pela seguinte
razo. Tudo que queremos uma quantidade que satisfaa uma lei de conservao

@ = 0.

Portanto, podemos adicionar a T qualquer quantidade V tal que

@ V = 0

e ainda assim teremos

@ = @ (T + V ) = 0.
 6

Se escolhermos
1
V = g F @ A
4
fcil ver que
1
@ V = g (@ F ) @ A + F @ @ A
4
1
= (@ F ) @ A + F @ @ A
4
1
= J @ A ,
c
onde usamos as equaes de Maxwell com fontes no primeiro termo e o segundo termo nulo pela simetria de @ @
e a anti-simetria de F . Na ausncia de fontes,
@ V = 0.
O tensor que obtemos

1 1 1 1
= g F F
+ g F F = F F
+ g F F
4 4 4 4

agora simtrico nos ndices e pois

g F F
= F F
= F F = F F = F F = F F
= g F F
.
Os componentes desse tensor so
0 1
u Sx /c Sy /c Sz /c
B S /c Txx Txy Txz C
!@ x ,
Sy /c Tyx Tyy Tyz A
Sz /c Tzx Tzy Tzz
onde
1
u = E2 + B2
8
1
S = EB
4
1 1
Tij = Ei E j + B i B j ij E2 + B2 ,
4 2
so os j conhecidos densidade de energia, vetor de Poynting e tensor das tenses de Maxwell (em unidades gaussianas).
As leis de conservao associadas so as leis de conservao de energia e momento linear j derivadas
Z Z
d
d3 xu = dA S
dt
Z Z
d 1
d 3 x 2 Si = dA Ti ,
dt c
onde Ti = (Txi , Tyi , Tzi ) e lembrando que a densidade de momento linear g = c12 S.
Na presena de fontes, o tensor no mais conservado. Podemos, no entanto, calcular sua quadri-divergncia

1 1
@ = @ F F + @ F F
4 4

1 1
= (@ F ) F + F @ F + F @ F
4 2
1 1
= J F + F @ F + @ F + @ F ,
c 8
 7

onde, no ltimo passo, usamos a equao de Maxwell com fontes e separamos o segundo termo em dois termos iguais.
Os dois ltimos termos podem ser simplificados a partir das equaes de Maxwell sem fontes
1
@ G = " @ F = 0 ) @ F
+ @ F + @ F = 0,
2
onde (, , ) so ndices diferentes entre si. Donde
1 1
@ = J F
+ F @ F
@ F
c 8
1 1
= J F + F @ F
+ @ F .
c 8
A quantidade entre colchetes acima simtrica em relao aos ndices e , enquanto que F anti-simtrico.
Portanto, o segundo termo acima nulo. Logo

1
@ = J F
.
c

Em componentes
@u
+rS = J E,
@t
@gi 1
r Ti = E + J B .
@t c

Os termos do lado direito das equaes acima so o negativo da taxa de transferncia de energia e momento linear
por unidade de tempo e por unidade de volume pelo campo para a matria, como j visto. Eles agem como fontes de
energia e de momento linear (por unidade de tempo e volume) para o campo eletromagntico.

IV. HAMILTONIANA DO CAMPO ELETROMAGNTICO

Podemos construir a Hamiltoniana para os campos eletromagnticos de maneira anloga construo da Hamil-
toniana na mecnica newtoniana. Com efeito, definimos primeiramente o momento canonicamente conjugado ao
campo
@L @L
pi ! i .
@ qi @ @ i
@t

A Hamiltoniana ento escrita como

Z X
H= d3 x i i L,
i

definindo uma densidade de Hamiltoniana

X
H= i i L.
i

No caso eletromagntico

@L 1 @L 1 0 se = 0
= = = F0 = .
@A c @ (@ 0 A ) 4c 1
4c ri + 1 @Ai
c @t se = i

Est claro que o momento cannico est ligado ao campo eltrico = 4c 1

r + 1c @A
@t = 1
4c E. Entretanto, essa
identificao tem de ser feita a posteriori, a partir das equaes de movimento. Assim,
@A 1 1 1
H= L= F0 @ 0 A + F F + J A.
@t 4 16 c
 8

Note que a densidade de Hamiltoniana igual componente T 00 do tenso cannico. O fato de que a densidade
Hamiltoniana no um invariante de Lorentz, mas a componente 00 de um tensor j mostra que a formulao
Hamiltoniana da dinmica no muito conveniente se se quiser manter a covarincia das equaes. importante
lembrar que H deve ser escrito em termos dos campos A e (e no de suas derivadas temporais) e dos momentos
conjugados . Assim,
1 h 2
i 1
H [A, , ] = 4c2 + cr 16 2 c2 2 (r A) + JA
8 c

1 2 1
H [A, , ] = 2c2 2 + (r A) c r+ J A,
8 c

onde, na ltima passagem, integramos por partes o terceiro termo (imaginando que a densidade de Hamiltoniana
sempre integrada sobre o espao para a obteno da Hamiltoniana). As equaes de Hamilton so (vamos saltar a
derivao)

@H @
=
@A @t
@H @A
= ,
@ @t

em total analogia s equaes de Hamilton da mecnica

@H
= p i ,
@qi
@H
= qi .
@pi

Como 0 = 0, da primeira equao de Hamilton

@H
= cr + = 0,
@
que nos fornecer a lei de Gauss aps a identificao do campo eltrico. Alm disso, as componentes espaciais nos
do (note o sinal)

@H @
=
@A @t
Se rescrevermos o termo em r A (sob o sinal de integrao)
Z Z Z
1 2 1 1 ijk ilm
d3 x (r A) = d3 x "ijk "ilm @j Ak @l Am = d3 x " " Ak @ j @ l Am ,
8 8 8
podemos calcular
@H 1 1 @i
= Ji + ri (r A) r 2 Ai = ,
@Ai c 4 @t

onde usamos que "ijk "ilm = jl km jm kl . Isso nos d

4 @
r (r A) = J + 4 .
c @t
As segundas equaes de Hamilton nos do (note o sinal novamente)

@H @A
= ,
@ @t
 9

@H @Ai
= 4c2 i + cri = ,
@i @t
que equivalente a
1 @A
4c = r ,
c @t
que nos d a relao esperada entre o momento cannico e o campo eltrico. Obviamente, as equaes sem fontes so
triviais a partir de uma formulao em termos de e A, pois, da ltima equao acima

1 @ (r A)
r (4c) =
c @t
e

r (r A) = 0.