Teoria de Campo - Prof. Susskind - PDF Formatado para Ipad

Teoria de Campo e Relatividade 1
Notas das aulas do Prof. Susskind Universidade de Stanford

TEORIA DE CAMPO E RELATIVIDADE

AULA N
O
1

Transformao de Lorentz atravs de funes hiperblicas Tempo prprio.

Vamos analisar a Teoria de Campo Clssica, estudando o campo ele-
tromagntico, o campo gravitacional e outros campos existentes na natureza,
que se propagam no espao, com a caracterstica de ondas.
Um dos princpios fundamentais e mais abrangente da Teoria de Campo
o Princpio da Relatividade, neste caso a Relatividade Especial ou Restrita,
que chamaremos apenas de Princpio da Relatividade.
O Princpio da relatividade remonta mais ao passado, no tendo sido
uma inveno de Einstein, pois j era conhecido pelos pioneiros da Fsica (Ga-
lileu, Newton, etc.). Este princpio comea com a ideia de um referencial
inercial, que um referencial no qual as equaes de Newton so satisfeitas.
Um referencial deste tipo no de modo algum nico. Ele envolve a
ideia de um sistema de coordenadas (x, y, z) no espao, sendo que este sistema
pode estar parado ou em movimento uniforme em relao a algum ponto, seja
ele qual for. Se estivermos em um sistema inercial, ento qualquer outro sis-
tema referencial que esteja em movimento uniforme em relao a tal sistema
ser tambm um sistema inercial.
De acordo com Newton, as leis da Fsica so as mesmas em qualquer re-
ferencial inercial. Um exemplo simples imaginarmos uma pessoa fazendo
malabarismos, embarcada em um trem, de modo que, quando o trem estivesse
viajando, ela comeasse a praticar malabarismos com algumas bolas, manten-
do-as alternadamente no ar. Certamente esta pessoa no teria de fazer qualquer
alterao na sua tcnica habitual, como, por exemplo, antecipar movimentos
para compensar o movimento do trem. As leis do malabarismo so as mesmas
em qualquer referencial inercial. Da mesma forma, as leis da Mecnica e as
leis newtonianas da gravitao so as mesmas em qualquer referencial inercial.
Mas como isto se aplica em relao s leis dos fenmenos eletromagn-
ticos? Neste ponto houve um conflito! Este conflito adveio das Equaes de
Maxwell para os campos eletromagnticos, as quais estabelecem como as on-
das eletromagnticas se propagam (ondas de luz, radio, etc.). O dilema funda-
mental estava no fato de que, conforme as Equaes de Maxwell, a luz se pro-
paga com uma determinada velocidade e que, admitindo-se as leis do eletro-
magnetismo estabelecidas pelas Equaes de Maxwell como leis da Fsica
tambm, a velocidade da luz (S. 1u
8
ms), deveria ser a mesma em todos os
referenciais inerciais. Assim, considerando as leis de Maxwell como verdadei-
ras leis da natureza, ento, pelo princpio da relatividade, a velocidade da luz
deve ser a mesma em qualquer referencial inercial!
Mas este era justamente o ponto difcil de engolir, pois, intuitivamen-
te, se imaginarmos que seguimos um raio de luz, correndo atrs dele com a
metade da velocidade da luz, esperaramos ver este raio de luz movendo-se
mais lentamente em relao a ns, da mesma forma como esperaramos o efei-
to contrrio, se corrssemos na direo oposta ao raio!
Assim, dado que as leis da Fsica so as mesmas em todos os sistemas
inerciais, h uma contradio flagrante entre as leis estabelecidas por Maxwell
(velocidade constante da luz) e as equaes de Newton (velocidades relativas
que se somam e se subtraem). Qual delas verdadeiramente uma lei da nature-
za?
Na verdade, ambas so leis verdadeiras da natureza. O que de fato era
necessrio modificar era o nosso conceito de velocidade, espao e tempo, bem
como a forma como ns os medimos!
Vamos pegar um atalho para apresentar a teoria da relatividade, adotan-
do uma viso mais matemtica do assunto, levando em considerao as propri-
edades que envolvem as transformaes de coordenadas. Porm, agora, as
coordenadas no so mais apenas (x, y, z), mas envolvem tambm o tempo:
t. Portanto qualquer evento caracterizado por quatro coordenadas:
(x, y, z, t).
Por enquanto, vamos nos concentrar apenas nas coordenas x e t, o que
seria apropriado para um movimento ao longo da direo x apenas. Vamos
representar um sistema inercial num grfico espao-tempo:
Vamos imaginar um observador em movimento em relao a este siste-
ma, movendo-se com velocidade :, na direo x, de modo que, no tempo u,
as origens de ambos os sistemas coincidem. Ento, segundo o referencia (x, t),
a posio da origem do observador em movimento dada por x = : t. Para o
observador em movimento no referencial (x
i
, t
i
), a descrio da coordenada
de sua origem simplesmente x
i
= u.

Para um determinado ponto P, a relao entre as coordenadas para am-
bos observadores ser dada pela expresso: x = x
i
+ :t ou x
i
= x -:t.
At que Einstein estabelecesse a Teoria da Relatividade, todos conside-
ravam o tempo absolutamente. Newton considerava o tempo absoluto e uni-
versal (tempo divino).
Neste sentido, a transformao entre os dois sistemas, segundo Newton,
seria dada por:
'
'
x x vt
t t
=

Vamos examinar o movimento de um raio de luz movendo-se na direo
x, partindo da origem. Segundo Maxwell, a velocidade da luz constante e
dada por: c.
( )
' '
x ct
x ct vt x c v t
=
= =

Esta seria a forma clssica de transformao das coordenadas, segundo a
qual as Equaes de Maxwell no poderiam ser verdadeiras leis da natureza,
no sentido de no serem as mesmas em todos os sistemas inerciais, pois preci-
sariam de uma correo na velocidade da luz para cada sistema.
Porm um fato experimental que no h necessidade de nenhuma cor-
reo na velocidade da luz para qualquer sistema inercial em movimento! Este
fato foi estabelecido pelo famoso experimento de Michelson e Morley.
Foi Einstein quem props a validade das equaes de Maxwell em qual-
quer sistema inercial, impondo as necessrias modificaes s equaes de
Newton, que deveriam sofrer alguns ajustes, a fim de se tornarem compatveis
com esta invarincia da velocidade da luz. Focando-se apenas nas duas equa-
es de transformao das coordenadas e fazendo brilhantes experimentos
mentais, ele chegou formulao da Transformao de Lorentz.
Ns veremos a transformao de Lorentz de uma forma mais matemti-
ca. Para isso, vamos comear observando o problema da rotao de um siste-
ma de coordenadas.
-------------------------------------------------------------------------------------
OBS: Toda a trigonometria pode ser derivada a partir da formulao de
scn 0 e cos 0 em termos de nmeros complexos:

cos0 =
c
i0
+c
-i0
2
ou c
0
= cos 0 + i sin0
sin0 =
c
i0
-c
-i0
2
c
-0
= cos 0 - i sin0
-------------------------------------------------------------------------------------
scn 0
cos 0
-1
-1
1
1
Quando fazemos uma transformao por rotao como esta, algo perma-
nece INVARIANTE, e este invariante a distncia entre dois pontos quais-
quer e, portanto, entre o ponto P e a origem do sistema. Vamos chamar esta
distncia de s. Ento teremos:

Isto est implcito na transformao, pois:

( ) ( )
2 2 2 2 2 2 2 2
2 2
2 2 2 2 2 2 2 2
2 2 2 2
' ' cos sen 2 cos sen sen
cos 2 cos sen
sen cos sen cos ' '
' '
x y x y xy x
y xy
y x y x
x y x y
u u u u u
u u u
u u u u
+ = + + + +
+ + + + =
+ = +

-------------------------------------------------------------------------------------

OBS: "scn" e "cos" so funes circula-
res, pois podem ser descritas pelo crcu-
lo unitrio.

-------------------------------------------------------------------------------------
Sabemos ento que a transformao de Newton est errada. Porm de-
vemos nos certificar que a modificao introduzida por Einstein no altera as
situaes nas quais as equaes de Newton constituem uma boa aproximao!
As modificaes de Einstein so importantes, quando os sistemas de re-
ferncia se movem a velocidades comparveis da luz.
At o comeo do Sculo XX, no se pensava em velocidades superiores
a 160 km/h, pois no se tinha esta experincia de modo controlado, sendo que,
para todos os efeitos, a velocidade da luz era considerada instantnea.
s
2
= x
2
+ y
2

s
i2
= x
i2
+ y
i2

s
2
= s
i2

As equaes de Newton so muito boas aproximaes para sistemas de
baixa velocidade. Porm, segundo estas transformaes, a velocidade da luz se
modifica com a variao da velocidade do sistema. Vamos ver ento o que
significa uma frmula de transformao melhor, que no modifique a veloci-
dade da luz. Vamos primeiramente atribuir velocidade da luz o valor unitrio
(c = 1). Isto significa apenas uma mudana conveniente de unidades de espa-
o e tempo! Por exemplo, se usarmos o ano-luz para a unidade de distncia,
utilizaremos a unidade ano para o tempo. Se utilizarmos a unidade segun-
do-luz para a distncia, ento usaremos a unidade segundo para o tempo, e
assim por diante. Para baixas velocidades, este no um sistema prtico, mas,
para partculas de alta velocidade, por exemplo, um sistema adequado.
Assim, um raio de luz, movendo-se no sentido de x (x = c t), seria ex-
presso por x = t (c = 1), enquanto um raio de luz movendo-se na direo -x
seria representado por x = -t (c = 1). Uma expresso que abrangeria tanto
um raio de luz na direo x como na direo -x seria dada por:
2 2
x t
x t
x t
=
=

=
.
Esta equao uma condio necessria e suficiente para descrever o
movimento de um raio de luz que se move a partir da origem tanto para a es-
querda como para a direita.
Supondo que pudssemos achar uma transformao que tivesse a propri-
edade peculiar de manter INVARIANTE a relao x
2
= t
2
, ou seja, uma
transformao na qual a quantia x
2
- t
2
tenha sempre valor nulo, ento esta
seria uma condio necessria e suficiente para descrever o movimento de um
raio de luz nos diversos sistemas de referncia.
Portanto uma transformao com a propriedade de que:
2 2 2 2
0 ' ' 0 x t x t = = , faria ambos os observadores concordarem em
relao ao fato do raio de luz se mover com a mesma velocidade c = 1.
Certamente esta condio no satisfeita pela transformao clssica
(Galileu/Newton).
Para achar a transformao com esta propriedade, vamos impor uma
condio ainda mais forte, fazendo que: x
2
- t
2
= x
2
- t
2
, e procurar uma
transformao que satisfaa esta condio.
Se olharmos para a transformao por rotao, j vista por ns, veremos
que ela praticamente satisfaz esta condio, exceto pelo sinal positivo:
x
2
+ y
2
= x
2
+ y
2
. Para conseguirmos ajustar esta diferena de comporta-
mento da transformao, basta substituirmos as funes circulares scn e
cos pelas funes hiperblicas scnb e cosb. Com isto obteremos a
transformao de Lorentz.

-------------------------------------------------------------------------------------
OBS: Funes Hiperblicas:
Para este tipo de funo, o argumento trigonomtrico usual substi-
tudo por w, o qual pode assumir qualquer valor no campo dos nmeros
Complexos. As funes bsicas so definidas por:

Com estas definies obtemos:
2 2
2 2
cosh cosh senh senh cosh senh
cosh senh 1
w w
e e w w w w w w
w w
= +
=

FunesHiperblicas
senh
1 (bissetriz de 45 )
cosh
w
w
w

-------------------------------------------------------------------------------------
cosh =
c
o
+ c
-o
2

sinh =
c
n
-c
-n
2

c
o
= cosh + sinh
c
-o
= cosh - sinh
4S
cosh w
senh w
Esta relao entre os quadrados de cosb e scnb com o sinal negati-
vo (cosb
2
-sinb
2
= 1) nos d uma boa pista da transformao que pro-
curamos! Vamos tentar um palpite, para verificarmos depois se ele est cor-
reto:
Neste caso, w constitui um parmetro da transformao, assim como
0 era o parmetro (ngulo) da rotao. Conforme veremos, o parmetro w
est ligado velocidade relativa entre os sistemas.
( ) ( )
2 2 2 2 2
2 2 2 2 2
2 2 2 2 2 2 2 2
2 2 2 2
' cosh senh 2 cosh senh
' senh cosh 2 cosh senh
' ' cosh senh cosh senh
' '
x x w t w xt w w
t x w t w xt w w
x t x w w t w w
x t x t
= +
= +
=
=

Esta justamente a transformao que procuramos!

-------------------------------------------------------------------------------------
OBS: Certamente Maxwell sabia que suas equaes no eram consistentes
com a relatividade newtoniana. Porm ele imaginava a propagao da luz co-
mo algo parecido com a propagao de ondas na gua. Nestes casos, quando
nos movemos em relao ao meio de propagao da onda, realmente observa-
mos velocidades diferentes para as ondas. Assim, Maxwell pensou num meio
material de propagao da luz, sendo que este particular meio constitua um
sistema inercial em repouso absoluto, em relao ao qual a velocidade da luz
era exatamente S 1u
8
ms. Para ele, ento, suas equaes estavam de acordo
com um sistema referencial no qual aquele material especial para a propagao
da luz (o chamado ETER) estava em repouso. Portanto Maxwell no imagi-
nava que suas equaes fossem equaes universais da Fsica.
Neste sentido, Michelson-Morley fizeram um experimento no qual eles medi-
am a velocidade da luz no mesmo sentido e no sentido oposto ao da translao
da Terra, sendo que o resultado no apresentou qualquer diferena, provando
x
i
= x cosh + t sinh
t
i
= -x sinh +t cosh
assim que a velocidade da luz sempre a mesma, independente da direo do
movimento da Terra. Com isso, no houve salvao para o conceito de
ETER como meio material de propagao da luz. A soluo foi dada ento
por Einstein, com um novo conceito para o espao-tempo.
-------------------------------------------------------------------------------------

Voltando questo da transformao, vamos verificar a ligao do pa-
rmetro w com a velocidade relativa entre os sistemas.

A reta x = It representa a traje-
tria da origem do sistema em movi-
mento relativo (x
i
, t
i
) com velocidade
I em relao ao sistema (x, t).

x
i
= u x = It x cosh = t sinh
senh
cosh
w
x t
w
= .

Mas x = I t, portanto a velocidade I do sistema (x
i
, t
i
) ser dada por:

senh
cosh
w
V
w
= .

Vamos expressar w em funo da velocidade relativa I:

I
2
=
snh
2
o
cosh
2
o
=
cosh
2
o-1
cosh
2
o
I
2
cosb
2
= cosb
2
-1
cosb
2
(1 - I
2
) = 1
x
t
cosh =
1
1-v
2
sinh = I cosh =

1-v
2

Ento obtemos para a transformao desejada:

Para colocar a velocidade da luz de volta nas equaes, basta fazermos
uma anlise dimensional de cada um dos termos:
1 - I
2
c
2
1 no tem dimenso, portanto temos de dividir I
2
por c
2
.
(t - I x) t o tempo, portanto temos que dividir Ix por c
2
.

Ento chegamos TRANSFORMAO DE LORENTZ:

Embora estas equaes sejam mais conhecidas, mais comum a sua uti-
lizao na forma hiperblica, que facilita a manipulao algbrica. Por exem-
plo, (trata-se de um bom exerccio para fixar as ideias) torna-se fcil determi-
nar a relao de composio de duas transformaes de Lorentz, na qual o
sistema 2 move-se com velocidade I em relao ao sistema 1 e o sistema
3 move-se com velocidade u em relao ao sistema 2, sendo que deseja-
mos determinar a relao de transformao do sistema 3 para o sistema 1.
Neste caso, utilizando a representao hiperblica, os ngulos hiperblicos
x =
x - :t
1 - I
2

t =
t - :x
1 -I
2

x =
x - It
1 - I
2
c
2

t =
t - Ix c
2
1 - I
2
c
2

resultam somados, e no as velocidades! Basta um pouco de trigonometria
hiperblica!
-------------------------------------------------------------------------------------
OBS: Para pequenos w, scnb w w. Portanto, neste caso, w Ic, de
modo que a composio soma-se como velocidade. Para velocidades compa-
rveis da luz, a soma da composio dada pela soma dos ngulos hiperb-
licos.
-------------------------------------------------------------------------------------

Vamos verificar se a transformao de Lorentz compatvel com as
equaes de transformao de Newton para baixas velocidades. Neste caso, o
termo I
2
c
2
torna-se desprezvel, de modo que a transformao se reduz a:

'
'
x x vt
t t
=
, confirmando a condio de compatibilidade.

OBS: No referencial 0, em movimento em relao ao referencial 0, a condi-
o t
i
= u exprime todos os pontos de x no instante t
i
= u (pontos sincroni-
zados no referencial 0), Isto significa que, para o sistema 0, teremos:

2
V
t x
c
=

ou, considerando c = 1, t V x = .

Vemos ento que, para 0,
cada ponto sincronizado no ins-
tante t
i
= u em relao a 0 ocor-
re num instante diferente!
Existe assim uma diferena
entre os dois sistemas, 0 e 0, a
respeito do que e do que no
simultneo, e este foi o grande
n desatado por Einstein, que
percebeu haver para o conceito de
x
t
0
Jx
Jy
x
y
Js
2
= Jx
2
+ Jy
2

simultaneidade diferentes significados, de acordo com os diferentes sistemas
de referncia.

-------------------------------------------------------------------------------------

OBS: No caso da rotao do sistema de coordenadas, se ns quisermos expres-
sar x e y em funo de x e y, basta substituir 0 por 0, ou seja, fazer a
rotao no sentido contrrio! Ento obtemos:

Analogamente, podemos expressar a transformao de Lorentz, obtendo
x e t em funo de x e t, trocando w por w!
-------------------------------------------------------------------------------------

Vamos falar agora do Tempo Prprio.
Na geometria do plano, podemos pensar no comprimento de uma linha
como sendo composto pela soma de elementos infinitesimais:
x
i
= x cos 0 + y sin0
y
i
= -x sin0 +y cos 0
x = x cos( -0) + y sin(-0)
y = -x sin(-0) + y cos(-0)
x = x
i
cos 0 - y sin0
y = x sin0 +y cos 0
x
t
x
t
x = x
0
O ponto fundamental neste conceito de com-
primento que a distncia do segmento Js no
varia com a mudana de coordenadas!

Esta mesma ideia vlida para a Relativida-
de, onde a distncia da trajetria medida no espa-
o-tempo:

Se considerarmos uma partcula em repouso,
ela estar em movimento ao longo do tempo:

Portanto existe uma distncia tambm entre pontos situados ao longo
do eixo x, ou seja, entre pontos situados na mesma posio do espao.
Mas como podemos caracterizar a distncia entre dois eventos que ocor-
rem no mesmo lugar? Ns utilizamos um relgio, e no uma rgua! Esta a
noo de distncia no espao-tempo, mesmo quando no h movimento no
espao!
Vejamos agora um corpo
movendo-se no espao-tempo,
carregando consigo um relgio.
O tempo medido por um
relgio em movimento muito
mais semelhante a uma distncia
medida por uma rgua ao longo
de uma curva. Em particular,
esta distncia no deve depender
da escolha de coordenadas, por-
que trata-se de um fenmeno que
independente das coordenadas
e que tem a ver apenas com o
relgio em si.
Jx
Jt
x
t
J
2
= Jt
2
- Jx
2

A quantia infinitesimal INVARIANTE neste caso dada por:

Jt
2
- Jx
2
= Jt
2
-Jx
2

Isto sugere que a distncia neste caso seja dada por:

2 2
(TEMPO PRPRIO) d dt dx t =

O tempo prprio(t ), portanto, o tempo medido por um relgio mo-
vendo-se ao longo de uma trajetria. Pode-se ver assim que, dependendo da
trajetria seguida, o tempo medido pelo relgio em movimento (tempo pr-
prio) pode ser diferente.

Para trajetrias mais longas no espao-tempo, resulta, em razo do si-
nal negativo na expresso do tempo prprio, J
2
= Jt
2
- Jx
2
, que o tempo
prprio ser menor do que aquele medido nas trajetrias mais curtas.

1
2
x
t
O tempo prprio da traje-
tria 2 menor do que
o da trajetria 1.

AULA N
O
2

Mnima Ao para a Onda Equao de Onda Lagrangeano para a Onda

Conforme vimos na ltima aula, o tempo prprio dado pela expresso
2 2 2
d dx dy t = + , tendo restado a questo a respeito da origem do sinal negati-
vo!
Sabemos que o ponto central da transformao de Lorentz a conserva-
o da quantidade
2 2
dt dx , ou seja, da constncia da velocidade da luz. Por-
tanto, da transformao de Lorentz, resulta que:

2 2 2 2 2 2 2 2
' ' ' ' t x t x dt dx dt dx = =

A ideia de tempo prprio, como uma distncia ao longo de uma trajet-
ria no espao-tempo, deve ser invariante em relao a uma transformao de
coordenadas. Isto significa que o tempo prprio deve ser uma quantia com um
significado fsico, ou seja, no deve depender do particular sistema de refern-
cia escolhido.
A quantidade
2 2
dt dx + no um invariante, de acordo com a transfor-
mao de Lorentz! Portanto a quantidade invariante na Transformao de Lo-
rentz :
2 2 2 2
' ' dt dx dt dx = , que uma imposio da invarincia da veloci-
dade da luz:
2 2 2
' ' ou x c t x c t x c t = = = .

Vamos ento entrar na TEORIA DE CAMPO.
O que so campos?
Campos so coisas que ocupam um lugar no espao-tempo, por exem-
plo: campos eltricos, magnticos, gravitacionais, etc. Estes campos variam de
lugar para lugar e de tempo para tempo, sendo descritos por equaes estabe-
lecidas nas dimenses espao-tempo.
A teoria clssica do campo uma combinao de duas disciplinas bsi-
cas: a Teoria da Relatividade e a Teoria da Mecnica Clssica.
Um dos modos de descrever os princpios da Mecnica Clssica atra-
vs do Princpio da Mnima Ao, o qual iremos rever agora.
Para descrevermos um determinado sistema fsico, ns empregamos um
particular sistema de coordenadas, que identificamos usualmente com a locali-
zao das partculas constituintes. Mas esta correlao no precisa ocorrer
necessariamente de uma nica forma, pois o conjunto de coordenadas pode ser
qualquer conjunto que descreva o comportamento do sistema fsico, podendo
elas descrever em particular os valores de um campo ao longo do espao. Seja
qual for o conjunto destas coordenadas, que descrevem a configurao de um
sistema, ns a chamamos de coordenadas generalizadas e as representamos
pela letra q.
Nas condies comuns, se tivermos n partculas, todas elas se movi-
mentando em apenas uma dimenso, teremos ento n coordenadas q. Se as n
partculas se movimentassem no espao, teremos Sn coordenadas para o sis-
tema. Assim o nmero de coordenadas no expressa necessariamente a dimen-
so na qual o sistema se movimenta, mas apenas o nmero de coordenadas que
descrevem a configurao do sistema (Graus de Liberdade). No h restri-
es para este nmero, que poderamos inclusive imaginar como infinito.
Alm das coordenadas, precisamos tambm, a fim de prever o compor-
tamento do sistema, das respectivas velocidades, ou seja, da razo de variao
dos qs em relao tempo (derivada no tempo):

( ) ( )
;
i i
q t q t (

Todas as leis bsicas da Fsica que conhecemos (Newton, Einstein,
Maxwell) podem ser obtidas atravs do Princpio da Mnima Ao (vamos
abreviar este princpio pelas letras PMA).
Para facilitar a visualizao, representamos o PMA por um grfico no
qual o tempo o eixo vertical e as coordenadas esto todas no plano horizon-
tal:

Para as condies iniciais do
sistema, teramos um ponto B no
espao n-dimensional, de coorde-
nada q
o
e de velocidade inicial
q
o
.
O PMA diz que a trajetria
de um sistema, ou seja, a histria
do sistema, comeando em alguma
configurao B [o termo confi-
gurao refere-se apenas ao con-
junto de coordenadas q
do sis-
tema, e no s suas velocidades
q
, ou seja, refere-se apenas localizao do sistema] e terminando aps

determinado intervalo de tempo, em uma outra configurao C, satisfaz a
condio de corresponder a um mnimo de uma quantidade chamada
AO, que construda como uma funo dos q
i
s e dos q s ao longo
da trajetria percorrida pelo sistema, sendo calculada pela sua totalizao ao
longo de todo o percurso.
A forma da Ao sempre dada pela expresso:

( )
2
1
A= ,
t
i i
t
q q dt
}
L

onde o integrando,
( )
,
i i
q q L , chamado de LAGRANGEANO.
Assim, dentre todas as trajetrias que passam pelos pontos (Configura-
o) B e C, aquela que minimiza a Ao ser a trajetria percorrida pelo sis-
tema.
Tipicamente (mas no sempre!), o Lagrangeano dado por:

Energia Cintica

Energia Potencial
T
T U
U
L

t
t
2
C
B
q
o

q
o
q
q
n
t
1
q
1

onde u sempre depende apenas dos q
i
s, enquanto I pode depender tanto
dos q
i
s como dos q s.
Se os q
i
s representarem pontos movendo-se ao longo de uma reta, en-
to cada q representar simplesmente a posio do ponto ao longo da reta,
enquanto os q s daro as respectivas velocidades, de modo que a energia
cintica ser dada por
2
1 2
i
m q , sendo que a energia potencial ir, de maneira
geral, depender da posio de todas as partculas do sistema. Assim teremos:

( )
2
0 1
1
onde , ,...,
2
i i n
i
m q U q q q q q
L = .

Esta a estrutura bsica da Mecnica Clssica, dada pelo PMA.
Como j vimo anteriormente, a trajetria que minimiza a Ao deter-
minada pelas Equaes de Euler-Lagrange, que conectam a trajetria como um
todo ao seu comportamento local na forma diferencial do PMA:

i i
d
dt q q
| | | |
c c
=
| |
c c
\ . \ .
L L

"Momento Cannico conjugado coordenada "
i i
i
q
q
c
= H
c
L

Para o caso mencionado acima teremos:

( )
( )
i i i i
i i i i
d d U U
mq mq F ma
dt q dt q q q
| |
c c c c
= = = = =
|
c c c c
\ .

L L

A teoria de campo a teoria na qual os graus de liberdade so os
campos que preenchem o espao, sendo que estes campos tambm variam
com o tempo. Vamos, porm, nos concentrar no modo pelo qual estes campos
preenchem o espao.
Os q
i
s so os diferentes valores assumidos pelo campo ao longo do
espao.
Na teoria de campo, a posio no espao define apenas a posio, no
sendo ela mesma um grau de liberdade, mas somente uma referncia po-
sio daquele grau de liberdade.
Vamos trabalhar em cima de um exemplo da teoria de campo desde o
seu incio, para vermos como ele pode ser derivado a partir do PMA. Trata-se
de um sistema mecnico simples, que, quando expandido para um limite,
transforma-se em teoria de campo. O sistema uma coleo de molas conec-
tadas entre si, formando uma corda (tal como uma corda de violo). A corda
tem as suas duas extremidades presas a dois pontos fixos.
Vamos assumir, neste nosso exemplo, que no h oscilaes longitudi-
nais na corda, mas apenas transversais. Comeamos, ento, considerando a
corda como um conjunto de molas conectadas entre si. Isto significa uma cole-
o de massas pontuais que se movimentam verticalmente, cada uma tendo
uma mola ligando-a s suas duas massa vizinhas.

No limite, tomando uma quantidade infinita de massas infinitesimais,
esta corda se transforma em um campo, ou seja, em um modelo matemtico
para o campo.
Vamos definir uma varivel para cada massa, dada pela distncia de sua
posio em relao horizontal definida pelos dois pontos F e 0, denominan-
do a esta distncia por
.

F
0

Busquemos agora descrever o comportamento da corda atravs do PMA,
usando as Equaes de Euler-Lagrange. Vejamos ento como podemos cons-
truir uma funo para a Ao desse sistema.
Chamaremos o eixo horizontal de x. Note que x determina um ponto
especfico da corda, mas no ele prprio uma coordenada do sistema (
).
Vamos assumir tambm que a distncia horizontal entre as massas constante
e dada por e. Ser atravs da reduo de e para zero que passaremos ao
modelo de campo.
Com relao massa de cada partcula, se ns a definssemos como
1g, por exemplo, ento medida que fssemos acrescentando mais e mais
massas, fazendo e tender a zero, a massa total da corda tenderia para infinito!
Portanto a massa de uma partcula no pode ser mantida fixa em relao n-
mero de pontos do sistema. Devemos, portanto, reduzir a massa de cada part-
cula medida que aumentamos o nmero de pontos do sistema. Vamos assu-
mir, neste caso em particular, que a massa de cada partcula proporcional a e
(densidade linear constante!), considerando neste caso a massa de cada part-
cula igual a: o. e (o densidade linear de massa).
A energia cintica a energia dada pelo movimento ao longo da coorde-
nada vertical
:

2 2
2 2
i i
i i
i i
T m

o c = =

(o densidade linear de massa).

medida que inserimos mais e mais partculas, esta soma ir se trans-
formar em uma integral:

F
0
e e e
x

x
(x)

( ) ( )
0
lim
i i
x
i
f x dx f x x
A
= A
}
.

Portanto, no caso limite teremos:

2 2
( )
( 0)
( )
2 2
dx
i
x
i
x
T dx
c
c
o o
A
(
(
]
=

A energia potencial de uma mola proporcional ao quadrado do deslo-
camento da mola em relao sua posio de equilbrio. A nica interao de
cada partcula deste sistema apenas com as suas duas partculas vizinhas
imediatas, que definem o deslocamento das duas molas s quais ela est co-
nectada e, portanto, a fora sobre a partcula em questo.
Quando movimentamos verticalmente uma das massas, as molas so es-
ticadas por uma quantidade proporcional, numa aproximao de primeira
ordem, diferena entre as coordenadas das massas de seus extremos:

( )
1 mola i i

+
A

Assim a energia potencial da mola proporcional ao quadrado da dife-
rena entre as coordenadas:

( )
2
1 mola i i
U
+
A

+1
A frmula usual da energia da mola contm a constante da mola (K) di-
vidida por dois:
2
1
2
U K x = .
O mesmo raciocnio utilizado para o acrscimo de massas nos leva a
concluir que o K de cada pequena mola deve ser inversamente proporcio-
nal a c .

-------------------------------------------------------------------------------------
OBS: Se tivermos uma mola de comprimento I, esticada por um comprimento
I:

e considerarmos que ela equivalente a duas molas em srie, de comprimento
I2, deslocadas cada uma por I2, ento teremos: '
2
L
F K L K
A
= A = . Isto
significa que a constante da nova mola (I2) tem um valor duas vezes maior
do que a mola inteira (I), pois, para igualar a mesma fora, porm com apenas
a metade do deslocamento, a constante deve dobrar de valor. Com isso, vemos
que podemos definir uma nova constante k para a mola, se definirmos a
fora como sendo proporcional a L L A , de modo que:
L
F k
L
A
= . Assim, te-
mos uma constante inerente mola em si, independente de seu comprimento.
-------------------------------------------------------------------------------------

Obtemos desse modo, para a energia potencial de uma partcula da nossa
corda, a expresso:
( )
2
1
1
2
i i
i
U k

c
+

=
I
I
F K L = A
Vamos substituir esta constante k por o c
2
, onde o a densidade li-
near de massa (no final, veremos a razo para esta escolha!):

( )
2
2
1
2
i i i
i
c
U
o

c
+
=

.
Com isso, temos os elementos para escrever o Lagrangeano da nossa
corda, com o qual poderemos obter as Equaes de Euler-Lagrange para cada
uma das partculas da corda:

( )
2
2
2
2 2
i i
i i
c o c o

c
= A

L

1
onde ( )
i i i

+
A =

vamos obtei as equaes uo movimento (EuleiLagiange). Pia faci
litai a compieenso, foquemos (aibitiaiiamente) a nossa ateno na pai
ticula ue cooiuenaua
7
:

( )
deduzindo-se
7
pelopadro
7
7 7
7 7
i
i
d d
dt dt
o c o c

o c o c

c c
= =
c c
| |
c c
= = =
|
c c
\ .

L L
L L

( ) ( )
2
2 2
7 7 8 7 7 6
para
2
c
U
o

c
(
= +

( )( ) ( )
| |
( ) ( )
( ) ( )
2
8 7 7 6
7 7
2
8 7 6
7
2
7 8 7 6
7
8 7 7 6 2
7
7 7
2 1 2
2
2
U c
U c
U c
U
c
o

c
o

c
o

c

o o c
c c
c c
( = = +

c c
c
= +
c
c
( = +

c
(
c c
= + = =
(
c c

L
L

Vemos ento que o padro geral para esta ltima frmula ser dado por:

( ) ( )
( )
( )
1 1 2
1
2 2 2
2 2
1
2 2 0
i i i i
i
i i
i
i i i
i i
c
c
c c
x
c

c
c c

c c

c c c
+
+
+
(
= +
(

A
=
(
A A A c
(
= =
(
(
c

No limite, teremos:

2 2
2
2 2
0 , onde
k
c c
t x

o
| |
c c
= =
|
|
c c
\ .
.

possvel, por uma anlise dimensional, constatar que c tem a dimen-
so de velocidade:
( )
2
2
2 2
velocidade
F k L L
k ML L L
k ML T
M L M T T
k L
M T
o o
= A

= = =
`
=
)

Certamente, neste caso, c no a velocidade da luz. Porm, conforme a
equao obtida, derivamos a velocidade de propagao do movimento atravs
da corda
k
c
o
| |
=
|
|
\ .
.
Este o modelo da forma como se propagam as ondas segundo a teoria
clssica de campo na mecnica.
Vejamos como o Lagrangeano deste sistema expresso, quando passa-
mos para o caso limite, fazendo 0 c :

( )
2
2
2
2 2
i i
i i
c o c o

c
= A

L

Para a energia cintica I de L teremos:

2 2
0
2 2
G
F
i i
i
T T dx
c
o o
c
= =
}

Para a energia potencial u de L , teremos:

2 2
2
i
i
c
U
o
c
A
=

Neste caso, para transformar o termo da somatria em uma derivada ao
quadrado, precisamos dividir o termo por c . Porm, para transformarmos a
somatria em uma integral, precisamos multiplicar toda a somatria por c .
Ento basta multiplicar a expresso por c c !

2 2
2 2
0
2 2
G
F
i
i
c c
U U dx
x
c
o o
c
c

(
(
(
]
A c
| | | |
= =
| |
c
\ . \ .

2 2
2
2
G
F
c dx
t x
o
(
(
(
]
(
c c
| | | |
=
(
| |
c c
\ . \ .
(

L

Desenhando o diagrama espao-tempo, obtemos:

No tempo t
1
, teremos, para cada x entre F e 0, um valor definido para
(x). com estes valores variando ao longo do tempo que calcularemos a
Ao:

2
1
2 2
2
2
G
F
t
t
Ao A c dx dt
t x
o
(
(
(
(
(
(
(
]
]
(
c c
| | | |
= =
(
| |
c c
\ . \ .
(

x
t
t
2

t
1

F
0
]nuI

ncuI

muito importante notar a simetria entre tempo e espao na equa-
o da Ao.
O assunto que nos interessa agora a propagao da luz. Vamos traba-
lhar, portanto, com sistemas nos quais a velocidade da luz unitria (c = 1),
atendo-nos apenas estrutura da equao da Ao, independente do particular
meio de propagao (o):

2
1
2 2
1
2
G
F
t
t
A dx dt
t x

(
(
(
(
(
(
(
]
]
(
c c
| | | |
=
(
| |
c c
\ . \ .
(

Com isso, comeamos a ver uma estrutura mais generalizada nesta
equao, na qual aparece a energia cintica
2
t
c
| |
|
c
\ .
menos a energia potencial
2
x
c
| |
|
c
\ .
, formando o respectivo Lagrangeano.


AULA N
O
03

Invarincia das Leis da Natureza Tensores e quadri-vetores
Lagrangeano da Onda

Vamos falar a respeito da invarincia das leis da natureza segundo as v-
rias operaes de transformao entre sistemas, tendo em vista a Transforma-
o de Lorentz. Vejamos qual a estratgia para produzir leis que parecem as
mesmas em todos os sistemas de referncia.
A estratgia consiste em expressar estas leis numa forma que no depen-
da da escolha do sistema de coordenadas, para ento eleger um sistema espec-
fico e reescrever as leis numa linguagem apropriada para o novo sistema ado-
tado.
Por exemplo, a menor distncia entre dois pontos (que a definio de
uma linha reta) no depende de nenhum particular sistema de referncia. Uma
consequncia desta propriedade, na Fsica, que o raio de luz percorre (no
vcuo) uma linha reta no espao, perfazendo o trajeto correspondente menor
distncia entre os dois pontos. A generalizao desta propriedade da luz,
quando o trajeto passa por vrios meios, estabelece que o tempo gasto pela luz
para ir de um ponto a outro sempre o menor possvel. Ao expressar estas
leis, no utilizamos nenhuma definio especial do sistema de coordenadas.
Tais leis foram expressas de uma forma independente do sistema de coordena-
das. Podemos, no entanto, tomar um sistema em particular, para desenvolver
estas leis matematicamente e resolver algumas equaes.
Se considerarmos a luz propagando-se no vcuo, ento o menor caminho
dado por uma reta. Neste caso, portanto, podemos escolher um sistema re-
tangular de coordenadas.
Imaginamos um trajeto percorrido por uma trajetria qualquer. Dividin-
do a trajetria em pequenos segmentos, cada um deles caracterizado por um
deslocamento composto por Jx e Jy. O comprimento da trajetria a soma de
todos os segmentos entre os pontos A e B:


Js = Jx
2
+ Jy
2

Este elemento de distncia Js no depende da orientao dos eixos.
Vejamos um exemplo para a aplicao deste conceito. O comprimento
de uma trajetria dado por:

s = _
_
1 + _
Jy
Jx
]
2
Jx
B
A

Com essa expresso, podemos tentar achar qual a trajetria de menor
comprimento que liga os dois pontos A e B. Este um problema bastante simi-
lar ao Princpio da Mnima Ao (PMA), segundo o qual a trajetria de uma
partcula no espao-tempo minimiza a Ao.
O principal ponto nesta questo est no fato de ns expressarmos a lei
original sem nos referirmos a nenhum sistema de coordenadas (comprimento
de uma trajetria), sendo esta a razo pela qual podemos ter certeza de que,
quando introduzirmos um sistema de coordenadas, a resposta ser independen-
te do sistema particular em questo!
Quando enunciamos esta lei, o fator matemtico fundamental para a sua
expresso foi a relao pitagrica do elemento de distncia com os elementos
de coordenadas do sistema:
Js
2
= Jx
2
+Jy
2
.
Esta expresso para o elemento de distncia ela prpria um exemplo de
invarincia, segundo a qual a distncia entre dois pontos vizinhos no depende
( invariante) do sistema de coordenadas escolhido.
Js
Jx
Jy
x
y
A
B

x
i
= x cosh - t sinh
t
i
= -x sinh + t cosh
Uma das maneiras de confirmar esta propriedade fazer uma rotao do
sistema de coordenadas e constatar que a lei de transformao de coordenadas
por rotao uma lei que mantm inalterada a expresso para o elemento de
distncia:

Na verdade, qualquer quantidade que se transforma do mesmo modo
como x e y ser, na soma dos quadrados de suas componentes, uma quantida-
de invariante.
Esta ento a estratgia com a qual procuramos meios para construir
quantidades que so invariantes em relao operao na qual estamos inte-
ressados, para express-la [talvez segundo o Princpio da Mnima Ao
(PMA)] de uma forma independente do sistema de coordenadas.
Voltemos transformao de Lorentz:
As componentes y e z simplesmente
no se alteram (simetria de rotao
em torno do eixo x): y
i
= y e z
i
= z.

Quando levamos em considerao as quatro coordenadas (x, y, z, t), a
quantidade invariante passa a ser: t
2
- (x
2
+ y
2
+ z
2
), onde x
2
+ y
2
+ z
2
a
distncia no espao.
Js
Jx
Jy
y
x
t
Js
Jx
Jy
x
Js
2
= Jx
2
+ Jy
2
= Jx
2
+ Jy
2

Portanto t
2
-(x
2
+y
2
+ z
2
) a quantidade conservada numa trans-
formao de Lorentz seguida por uma rotao, uma vez que na rotao do sis-
tema de coordenadas a distncia no espao invariante.
Qualquer quantidade que, numa transformao de Lorentz combinada
com uma rotao, transforma-se do mesmo modo que (x, y, z, t) tambm ser
conservada, condio da qual surge o conceito de 4-vetor. Assim, a quantia
conservada segundo a transformao de Lorentz dada por:
t
2
- x
2
- y
2
-z
2

No caso de uma trajetria, teremos no elemento infinitesimal desta quan-
tidade o 4-vetor (Jt, Jx, Jy, Jz), sendo que a quantidade invariante ser:

Jt
2
- Jx
2
- Jy
2
-Jz
2

Se integrarmos esta quantia ao longo de uma trajetria no espao-tempo,
obteremos o tempo prprio, que um invariante sob a transformao de
Lorentz e de rotaes.
Uma forma de invariante mais simples do que um 4-vetor um escalar.
Um escalar uma quantia que tem o mesmo valor em todos os sistemas de
referncia.
Por exemplo, a carga eltrica um escalar (invariante). Outro exemplo
o tempo prprio. Ambos exemplos segundo a Transformao de Lorentz e
de rotaes.
Se ns pudermos construir nossas leis da natureza atravs de invariantes,
ento estas leis da natureza sero invariantes.
Vamos denominar o 4-vetor de maneira geral, com suas quatro compo-
nentes, atravs da simbologia: Jx
= (Jt, Jx, Jy, Jz) A
.
Teremos ento, por analogia: Jx
= (Jt, -Jx, -Jy, -Jz)

Assim, toda vez que tomarmos um 4-vetor e modificarmos o sinal das
componentes espaciais, esta operao corresponde a levantar ou abaixar
o ndice p daquele 4-vetor:
Jx
= (Jt, Jx, Jy, Jz)

Jx
= (Jt, -Jx, -Jy, -Jz)

Trata-se apenas de uma notao convencional e conveniente. Com este
recurso, podemos escrever a expresso para o tempo prprio de outra forma:

2 2 2 2
d dx dx dt dx dy dz
t = =

---------------------------------------------------------------------------------------
OBS: Segundo a notao proposta por Einstein, toda vez que um ndice apare-
cer repetido duas vezes em uma expresso, subentende-se aquela expresso
somada em todos os valores correspondentes quele ndice. Assim:

d dx dx dx dx

t = =

---------------------------------------------------------------------------------------

Temos, portanto:

2 2 2 2
d dt dt dx dx dy dy dz dz
d dx dx dt dx dy dz
t
t
=
= =

De modo semelhante, um dado 4-vetor A
ir diferir do 4-vetor A
ape-
nas pelo sinal das componentes espaciais. Portanto a quantia formada pelo
produto A
ser, de maneira anloga a Jx
Jx
, um invariante segundo a
transformao de Lorentz e de rotao.
Comeamos assim a elaborar um conjunto de regras para construir inva-
riantes, atravs da utilizao de ndices superiores e inferiores que se contraba-
lanam entre si.
Na verdade, isso bem geral. Suponhamos que ns tenhamos dois qua-
drivetores: A
e B
. Ento ns podemos formar uma nova quantia:

A
= A
t
B
t
- A
x
B
x
- A
- A
z
B
z

Esta quantia anloga ao produto escalar entre dois vetores, exceto pelo
sinal negativo nas componentes espaciais, devido presena do ndice inferior
em B. Na verdade, esta quantia a mesma quantia dada por:
A
= A

Este produto escalar , portanto, um invariante segundo a transformao
de Lorentz.
Comeamos assim a criar um novo vocabulrio para formar quantidades
invariantes. Se ns tivermos um 4-vetor que, como sabemos, deve transfor-
mar-se segundo as regras j vistas (Lorentz e rotao) em relao ao ndice
superior e inferior e tivermos outra quantidade B, que no sabemos se ou
no um 4-vetor, h um teste para descobrirmos a natureza de B, dado pelo fato
de que, se o produto escalar de A por B (A
) for um invariante, ento B ser

um 4-vetor.
Vamos analisar agora outro objeto. Suponhamos uma determinada quan-
tia escalar, como, por exemplo, a temperatura em trs dimenses, ou algum
outro valor que uma funo da posio ao longo do espao. Surge aqui a
ideia de campo no espao! Alguns campos podem ser vetoriais, como, por
exemplo, a distribuio do vento no espao tridimensional da atmosfera.
Imaginemos agora que temos um escalar | segundo as transforma-
es de Lorentz: ( ) x
| , onde x
representa as quatro componentes:

(t, x, y, z).
Isto significa que todos (de modo independente do sistema de referncia)
iro medir o mesmo valor para o campo ( ) x
| 4 dimenses.
No muito simples de achar exemplos de escalares relativsticos! Mas
o conceito simples, significando que, independente da rotao do sistema ou
do seu movimento relativo, o valor do campo escalar ser sempre o mesmo!
Ns podemos tomar as derivadas de um escalar em relao s diferentes
dimenses. Por exemplo, podemos diferenciar um escalar em relao ao tem-
po:
( )
t
x
t
|
|
c
=
c
, que uma das componentes da quantidade em questo. H
tambm as outras trs derivadas:
2
1
Jx

( )
x
x
x
|
|
c
=
c
;
( )
y
x
y
|
|
c
=
c
;
( )
z
x
z
|
|
c
=
c
.
Esta quantia pode se representada ento por:
( ) x
x
|
|
c
=
c
, tratando-se
de um objeto com trs componentes espaciais e uma componente temporal.
Certamente, a quantidade
| um 4-vetor. No entanto surge a dvida se

ela tem um ndice inferior ou superior! Como conveno, quando temos a mu-
dana do sinal das dimenses espaciais, estamos diante de um 4-vetor com
ndice inferior. Portanto, neste caso, o ndice de fato inferior!
A nomenclatura utilizada para objetos com ndices inferiores de
COVARIANTE, enquanto para aqueles com ndices superiores de
CONTRAVARIANTE.
Portanto
( ) x
x
|
|
c
=
c
um 4-vetor COVARIANTE (ndice inferior).
Vamos provar isso:
Se ns pudermos achar um 4-vetor contravariante, cujo produto escalar
com o 4-vetor
| seja invariante, ento provaremos que
| um 4-vetor co-
variante.
Vamos considerar dois pontos vizinhos no espao-tempo, separados pelo
intervalo dx
:

dx
um quadrivetor conhecido e contravariante.

Multiplicando
x
| c
c
por dx
, obtemos:
2 1
constante dx
x
|
| |
c
= =
c
!
Portanto dx
x
| c
c
um invariante. Mas, uma vez que dx
um 4-vetor
contravariante, ento
x
| c
c
um 4-vetor covariante.
Resulta, portanto, que dx
e
x
| c
c
so dois 4-vetores. Assim podemos
criar o 4-vetor covariante Jx
, mudando o sinal das componentes espaciais de

dx
. Da mesma forma, podemos criar uma verso contravariante de
| , tro-
cando o sinal de suas componentes espaciais e obtendo assim
| :
( )
( )
, , , ,
, , ,
t x y z
t x y z
| | | | |
| | | | |
= c c c c c c c c
= c c c c c c c c

Se multiplicarmos
| por
| , obteremos:
( ) ( ) ( ) ( )
2 2 2 2
t x y z
| | | | | | = c c c c c c c c .
Todos os observadores mediro o mesmo valor para o escalar dado por
| | . A notao adotada para esta expresso do invariante :
| | c c .
O que estamos fazendo desenvolver regras de clculo para construir
INVARIANTES com relao transformao de coordenadas!
Vimos ento que, a partir de um campo escalar | , podemos obter um
4-vetor:
x
| c
c
,
| c ,
| (notaes equivalentes para sua expresso covarian-

te), ou
x
| c
c
,
| c ,
| (notaes equivalentes para sua expresso para sua

expresso contravariante).
Devemos nos lembrar de que, neste sistema de coordenadas, a velocida-
de da luz foi considerada unitria, podendo ser recuperada depois, atravs de
uma anlise dimensional.
Vamos voltar ao problema de uma corda vibrando transversalmente, en-
tre dois pontos fixos, onde achamos, atravs de uma aproximao limite, o
campo:
( )
x | :
( )
0
i
x
c
| |
.
Vimos tambm, neste problema, uma funo para o valor da Ao. O
valor desta funo em termos discretos dado por:
( )
2
1
2 2
2
1
Lagrangeano
2 2
t
i
i i
i
t
c
A dt
c |

c
+
(
(
(
(
]
| |
=
|
\ .
.
Quando tomamos o limite da expresso para 0 c , vimos que as equa-
es do movimento, segundo as equaes de Euler-Lagrange (fazendo c = 1),
reduziram-se a:
2 2
2 2
0
t x
| | c c
=
c c
,
onde
2
2
t
| c
c
simplesmente a acelerao do prprio campo. Ns tambm vimos
o que acontece ao Lagrangeano, quando levamos as equaes para o mesmo
limite 0 c :
2 2
0
1
2
G
F
dx
t x
c
| |
(
(
(
]
(
c c
| | | |

(
| |
c c
\ . \ .
(

L
sendo que nesta expresso tomamos c = 1.
Portanto o Lagrangeano uma integral no espao, enquanto a Ao
constitui uma integral no tempo, resultando assim:

2
1
2 2
1
2
t
G
F
t
A dxdt
t x
| |
(
(
(
(
(
(
(
]
]
(
c c
| | | |
=
(
| |
c c
\ . \ .
(

Trata-se de uma integral estendida no espao e no tempo:

Temos assim uma integral no
espao cujo valor integrado ao lon-
go do tempo, para determinar a
Ao.

Podemos ver que o Lagrangeano tem a mesma forma do invariante
| | (considerando c = 1), cujo valor independe do sistema de coordenadas

segundo a Transformao de Lorentz.
E o fato de que o Lagrangeano toma esta forma particular, como um in-
variante segundo a transformao de Lorentz, no uma simples coincidncia.
Isto quer dizer que as equaes do movimento so invariantes com respeito
transformao de Lorentz!
Vamos representar o Lagrangeano obtido atravs do limite de 0 c pe-
la letra L:

( ) ( )
0
lim
i
L dx
c
| |
= = c
}
L L

A quantia
( )
| c L chamada de densidade de Lagrangeano, que inte-

grada ao longo do espao.
F
G
t
1

t
2

x
t
Jx
Jt
Ento temos a Ao, que dada por:

( )
A dxdt
| = c
} }
L .

Podemos imaginar a densidade de Lagrangeano, ento, como a densi-
dade de ao por unidade de volume no espao-tempo. Assim, integrando a
densidade de ao ao longo do espao-tempo, obtemos como resultado a
Ao!
Se a densidade de Lagrangeano um escalar, ento as equaes do mo-
vimento, segundo a transformao de Lorentz, so invariantes.
Alguns detalhes lgicos no foram considerados aqui, mas a ideia prin-
cipal deve estar clara, com relao a como construir leis da natureza invarian-
tes a partir de princpios invariantes.
Vamos agora supor que, em vez de expressar a onda atravs de um cam-
po vibrante ao longo de uma nica dimenso, desejamos express-la no espao
completo: x, y e z.
A estratgia bastante clara. Tudo que temos de fazer, para encontrar
uma descrio invariante segundo uma transformao de Lorentz, no espao
quadridimensional, completar o restante da expresso:

4
1
2
A d x
| | = c c
}

Esta a forma compacta para a expresso da AO:

( )
2 2 2 2
1
2
x y z t
A dxdydz dt | | | | =
}

Assim, a Ao ela mesma invariante, independendo do sistema de refe-
rncia. Portanto a minimizao da Ao tambm no depende do sistema de
referncia. O mnimo obtido da mesma forma como fizemos para a ao no
caso de um sistema de partculas, quando supusemos uma variao infinitesi-
mal na trajetria verdadeira e consideramos que, no ponto de mnimo, esta
variao deve ser nula. Esta condio, ento, nos levou a uma equao dife-
rencial local (Euler-Lagrange), que nos dava a equao do movimento do sis-
tema.
Portanto nossa estratgia ser a mesma, porm aplicada a uma regio do
espao-tempo. Se ns queremos saber qual o campo cuja histria no tempo
minimiza a Ao, ns podemos supor conhecida a soluo do problema em um
pequeno contorno da regio do espao-tempo (a soluo na FRONTEIRA
desta pequena regio do espao-tempo). Ento precisamos simplesmente mi-
nimizar a Ao nesta pequena regio (dentro desta regio), submetendo-nos
condio estabelecida na fronteira desta regio. Assim obteremos as equaes
diferenciais para o movimento do campo.


AULA N
O
04

Equao de Onda Lagrangeano para ondas Simetrias e Leis de
conservao

A teoria clssica do campo um caso especial da mecnica clssica.
Sendo assim, devemos encar-la como um exemplo expressivo das leis da me-
cnica clssica.
Vamos fazer uma pequena reviso da mecnica clssica, para ento apli-
c-la teoria de campo, tendo em mente um objetivo particular, que a cone-
xo entre "simetrias" e "leis de conservao", cujo papel especialmente inte-
ressante e primordial em relao "teoria relativstica do campo".
Para o nosso propsito, vamos considerar apenas o movimento de uma
partcula isolada, movendo-se somente numa direo, cuja equao do movi-
mento dada por:
( )
x t .
Graficamente, podemos representar a trajetria da partcula por:

Esta trajetria minimiza a quan-
tia denominada Ao:

( )
2
1
,
t
t
A L x x dt =
}

Assim, mantendo-se os dois pontos extremos em t
1
e t
2
fixos (condies
iniciais), a trajetria descrita pela partcula ir assumir um valor mnimo para a
Ao em relao a todas as outras trajetrias possveis para a partcula.
t
1
t
2
f(x)
Portanto, ao fazermos qualquer pequena variao na trajetria real da
partcula, a ao deve sofrer um pequeno acrscimo. Porm a condio de que
a ao deve aumentar com qualquer variao da trajetria equivale condio
de que a ao no sofre variao, pois, quando minimizamos uma funo, pro-
curamos uma variao de primeira ordem nula. Por exemplo, para uma funo
de apenas uma varivel, seu ponto de mnimo estar situado sobre a horizontal
tangente funo no seu ponto de mnimo.
Apesar de, no caso da nossa trajetria, a minimizao ser uma funo de
toda a trajetria, e no apenas de um ponto, a variao da funo no seu ponto
de mnimo tambm deve ser nula.
Assim, para determinarmos o mnimo de uma funo, devemos exigir
que a variao da funo (
( )
f x o ) deva ser nula para qualquer variao de
x ( x o ).
Se ns tivermos, por exemplo, uma funo de duas variveis:
( )
, f x y , a
condio para o ponto de mnimo ser: 0 , 0
f f
x y
c c
= =
c c
. Esta condio pode
ser expressa por:

0
f f
f x y
x y
o o o
c c
= + =
c c

( )
0
df x
dx
=
0
f
f x f
x
o o o
c
= =
c
f(x)
No caso da trajetria que minimiza a Ao, queremos explorar o com-
portamento de trajetrias vizinhas trajetria real da partcula, requerendo que
a mudana na Ao seja nula, quando fazemos uma pequena variao na traje-
tria real
( )
x t :

( )
2
1
, 0
t
t
L x x dt o =
}

( ) ( ) ( )
( ) ( ) ( )
( ) ( ) ( )
x t x t f t
x t f x
x t f t
c
o c
o c
= +
=
=

( ) ( ) ( )
2 2 2
1 1 1
,
t t t
t t t
L L L L
L x x dt x x dt f t f t dt
x x x x
o o o c
c c c c
| | | |
= + = +
| |
c c c c
\ . \ .
} } }

( ) ( ) ( )
( )
2 2
1 1
2
1
integrando
por partes
,
0
t t
t t
t
t
L d L
L x x dt f t f t dt
x dt x
L d L
f t dt
x dt x
o c
c
| c c |
| |
= =
| |
c c
\ .
\ .
| c c |
| |
= =
| |
c c
\ .
\ .
} }
}

Uma vez que
( )
f t arbitrria:
0 "LAGRANGEANO"
L d L
x dt x
c c
| |
=
|
c c
\ .

( )
x t
( )
f t
t
Para o caso de vrias coordenadas generalizadas, a equao pode ser es-
crita na seguinte forma:

0
i i
d L L
dt q q
| |
c c
=
|
c c
\ .
EQUAES DE EULER-LAGRANGE

Vamos generalizar isto para a teoria de campo, que um caso especial
daquele j visto, onde as vrias coordenadas correspondem aos valores do
campo em diferentes posies do espao.
Conforme j vimos em nosso exemplo, onde dividimos uma mola em
diversas molas menores, o campo assume um valor que uma funo contnua
da posio, medida que a diviso da mola tende para infinito.

Vamos enfatizar que
( )
x | no se refere posio no espao, mas sim
ao valor assumido pelo campo em um determinado ponto do espao.
Quando passamos condio limite, todas as somas de energia cintica e
potencial transformam-se em integrais, de modo que teremos para a expresso
do Lagrangeano, no caso mais geral:

( ) ( ) ( ) ( ) ( ) ( )
3
, , , ,
t x y z
L x x x x x d x | | | | | =
}
L

Nesta expresso, significa a densidade espacial do Lagrangeano,
sendo que temos as seguintes possveis notaes para as derivadas:
t t
t
|
| | |
c
= = c =
c
, alm disso, usamos

3
d x dxdy dz = .
Ns podemos chamar estas derivadas do campo no Lagrangeano de
| ,
onde o ndice varia de 0 a 3, correspondendo s coordenadas t, x, y, e z.
Um tpico Lagrangeano pode ser formado pela metade da diferena entre
a derivada no tempo e a soma das derivadas no espao, ou seja, pela metade da
diferena entre a energia cintica e a energia potencial:
:
( )
2 2 2 2 2 2 2
1
2
t x y z
Energia
Energia
Cintica
Potencial
c c c | | | |
| |
|
|
+ +
|
|
\ .
L

A expresso tambm poderia conter termos em | , por exemplo, no caso
da energia potencial devido gravidade, dependente da altura que a mola vi-
brante se encontra. Assim, poderamos ter, como expresso para o Lagrangea-
no, a seguinte expresso:

( ) ( )
2 2 2 2 2 2 3
1
2
t x y z
L c d x | | | | | = + +
}
,

onde o termo dependente de | foi feito igual a
2
| , para tornar mais simples a
expresso.
Para obtermos a ao, temos que realizar uma segunda integral, agora ao
longo do tempo:

( ) ( )
2
1
2 2 2 2 2 2 3
1
2
t
t x y z
t
A c d x dt | | | | |
| |
= + +
|
\ .
} }

ou
( ) ( )
2 2 2 2 2 2 4
1
2
t x y z
A c d x | | | | | = + +
}

onde
4
d x refere-se integrao no espao-tempo.
Qual ento a condio para o campo ser invariante, segundo a trans-
formao de Lorentz?
Para trabalharmos agora, consideraremos o campo como um escalar.
Mas devemos ter em mente que ele pode representar um vetor, um tensor, etc.
Se a densidade de Lagrangeano for um escalar, isto significa que a ao
no depende da transformao de Lorentz, de modo que as equaes de campo
sero invariantes segundo a transformao de Lorentz.
O nosso Lagrangeano pode ser expresso da seguinte forma:

( )
( )
( )
( ) ( )
2
1
; onde
2
t x y z
t x y z
c
c

| | | | |
| | |
| | | | |
c = + +
c c

c = + + +

Vejamos agora quais so as equaes de Euler-Lagrange que obtemos a
partir deste Lagrangeano. Neste caso, a nossa dificuldade maior, pois o La-
grangeano depende do espao e do tempo, envolvendo derivadas parciais, ou
equaes de onda.
Vejamos como possvel minimizar a ao neste caso do campo.
2 4
1
2 2
A d x

| | |
| |
= c c
|
\ .
}

Vamos supor que
( )
, x t | seja a soluo para a minimizao da ao.

Acrescentemos a esta soluo uma pequena variao, de maneira anloga j
feita anteriormente:
( ) ( ) ( )
, , , x t x t f x t | | c = +

Coloquemos a imposio de que, para qualquer variao em torno de
( )
, x t | , a variao da Ao deve ser nula:

0 (Valor estacionrio) A o =
( ) ( )
( )
( )
( )
( )
4
Soma
em
, ,
,
, 0
,
,
x t f x t
f x t
A f x t d x
f x t
x
x t
x

o| c
o c
| |
o| c
(
(
=
( c
c c
= + =
( c
c c c
=
(
c
(

}
L L

Integrando por partes:
( ) ( )
( )
( )
4
4
, , 0
, 0
Como , arbitrria: 0
A f x t f x t d x
x
A f x t d x
x
f x t
x

o c
| |
o
| |
| |
(
| |
c c c
= =
( |
|
c c c
(
\ .

(
| |
c c c
= =
( |
|
c c c
(
\ .

| |
c c c
=
|
|
c c c
\ .
}
}
L L
L L
L L

Estas so as equaes de Euler-Lagrange para o movimento do campo.
Vejamos como elas se aplicam ao exemplo de Lagrangeano:
2
0
t x y z
c
t | | | | |
| |
| |
c c c c c c
+ + =
|
|
|
c c c c c c
\ .
\ .
L L L L L

ou:
( )
2
0
tt xx yy zz
c | | | | | + + + =
Por enquanto, vamos desconsiderar o termo |, o qual iremos estudar
no final do curso.
Portanto a equao obtida ser dada por:
( )
2
0
tt xx yy zz
c | | | | + + =

Esta a equao que descreve a propagao da luz e de qualquer campo
que se propague na velocidade da luz.
Vamos nos concentrar nesta equao apenas na dimenso x. Isto poderia,
por exemplo, representar uma onda plana, cuja variao s depende do deslo-
camento na direo do eixo x.
Nestas condies, a equao de onda ser dada por:
2 2
2
2 2
0 c
t x
| | c c
=
c c
.
H dois tipos de soluo para esta equao:
( ) ( ) ( ) ( )
e , ou seja: f x ct f x ct f x ct f x ct | | | = = + = + +

Estas duas funes representam funes movendo-se para a direita
( ) ( )
f x ct e para a esquerda
( ) ( )
g x ct + , ao longo do eixo x. Neste caso, a
forma das funes no se altera, apenas se desloca ao longo do eixo x.

----------------------------------------------------------------------------------------------
OBS: Se na equao de onda estivesse presente o termo |, ento a forma de
onda no permaneceria constante. A equao de onda sem o termo | cha-
mada de equao de onda destituda de massa.
----------------------------------------------------------------------------------------------

A equao de onda com ou sem o termo de massa ( |) uma equao
diferencial linear (no apresenta produtos ou potncias que envolvam a funo
em si e suas derivadas).
Para as equaes diferenciais lineares, as solues podem ser somadas,
sendo que a somatria permanece tambm uma soluo. Da mesma forma,
qualquer combinao linear de solues permanece tambm uma soluo.
Em relao ao Lagrangeano, o que faz as equaes de onda resultarem
lineares o fato de que os termos do Lagrangeano so quadrticos, de modo
que suas derivadas so lineares. Por exemplo, na partcula livre, o Lagrangea-
no proporcional a
2
x
, o que resulta em 0 x = , (linear!).
Outro exemplo seria o oscilador harmnico, onde o Lagrangeano dado
por:
2 2
1 1
2 2
mx k x , de onde resulta a equao linear do movimento: x k x =
.
Vamos nos concentrar agora na teoria que liga as simetrias s leis de
conservao.
Para simplificar, separaremos as leis de conservao em dois tipos: con-
servao de energia e os demais tipos de conservao.
A conservao de energia est ligada simetria de translao ao longo
do tempo, ou seja, invarincia da Ao em relao translao no tempo. A
maioria dos problemas na fsica apresentam simetria no tempo. A deduo
desta relao entre simetria no tempo e a conservao de energia j foi vista no
curso de Mecnica Clssica.
O Lagrangeano, em sua forma simples, composto pelos quadrados das
derivadas no tempo (velocidades), que chamamos de termos cinticos. Por
exemplo, na onda, o termo:
2
1
2
e
K | =

, chamado de energia cintica, que se
refere derivada do valor do campo em relao ao tempo em um dado ponto
do espao, e no ao movimento da onda em si mesma.
Os termos que no dependem da derivada no tempo so chamados po-
tenciais:
2
2
1
2 2
U

|
| = c +
.
No caso da onda na mola contnua, a soma desses termos se reduz a uma
integral:
2
2 3 2 3
1
;
2 2
e
K d x U d x
|
| |
| |
= = c +
|
\ .
} }

O Lagrangeano dado pela diferena entre os termos e
E
K U , mas a
conservao da energia dada pela soma dos dois. Assim, de maneira geral, a
energia tem uma caracterstica positiva, a no ser para o caso nulo.
H tambm outros tipos de conservao. Suponhamos que o Lagrangea-
no no se modifique com uma transformao infinitesimal em suas coordena-
das [
( )
i i i
q q f q c + ], ento teremos uma simetria em relao ao desloca-
mento no espao. No caso, por exemplo, de dois corpos ligados por uma mola,
teremos:

Nestas condies, se fizermos:
x x
y y
c
c
+
, ento as derivadas de x e y
no se alteram, como no se altera tambm a diferena entre x e y, indicando
com isso a simetria do sistema.
Outra simetria seria, por exemplo, em relao a uma rotao do sistema.
Para vermos como a conservao est ligada simetria, devemos recor-
dar que o momento cannico conjugado varivel
i
q dado por:
i
i
L
q
c
H =
c

Deste modo que a equao de Euler-Lagrange do movimento pode ser
escrita como:

i
i
d L
dt q
c
H =
c

( )
2 2
2
1 2
2 2 2
x y k
m m x y +

Para o caso da transformao de coordenadas:
( )
i i i
q q f q c + , onde
haja simetria, ou seja, a variao do Lagrangeano ( L o ) seja nula em relao
variao de
i
q
( ) ( )
i
f q c , resulta que:
( ) ( )
0
i i i i i
i i i
i
L d d
L q q f q
q dt dt
o o o c
c
= = H = H =
c

Portanto:
( ) ( )
0
i i
i
d
f q
dt
c H =
, ou, uma vez que

( )
i
f q no depende do
tempo e que c uma constante, ento:
( ) ( ) ( )
0 constante no tempo
i i i i
i i
d
f q f q
dt
H = H =

Deste modo que esta somatria uma quantidade conservada ao longo
do tempo.
No caso da mola, por exemplo, temos:
( )
( )
1 2
1
1
x
i i x y
y
x f
p f m x m y p p
y f
o c
o c
= =
= + = +
= =

Portanto o momento total conservado.
No caso da onda, em vez de termos as coordenadas
i
q , temos o campo
ao longo do espao:
( )
x | . Assim, obtemos de maneira anloga:
( )
( )
i
i
L L
x
q x
|
|
c c
H = = H
c c

Portanto, neste caso da onda em uma nica dimenso, teremos para o
Lagrangeano:
( )
( )
2
2 2
1
2
x
L c dx | | = c
}

Se fizermos uma mudana de coordenadas do tipo
( ) ( )
x x | | c + ,
onde
( )
1
i i
f q = , resulta para a quantia conservada a expresso:
( )
dx x dx
|
| H =
} }

.
Com isso, o valor desta integral no se altera medida que a onda se
movimenta.
Se houvesse no Lagrangeano o termo
2
| , esta simetria no seria obser-
vada.


AULA N
O
05

Lagrangeano do campo contnuo Momento da onda Quantia conservada
no campo

O mais familiar e mais simples exemplo de momento na Mecnica Cls-
sica dado por: p mv =
Em relao ao Lagrangeano, temos um novo conceito para o momento,
que chamado de momento cannico conjugado coordenada
i
q :
i
i
L
q
c
H =
c
.
Resulta assim, como j vimos antes, que o momento um caso de quan-
tia conservada devido a uma simetria de translao. Neste aspecto, o momento
pode diferir daquele aspecto usual p mv = , por exemplo, no caso da partcula
carregada movendo-se em um campo magntico, cujo momento cannico
dado por:
( )
Vetor Potencial mv e A v A H = +

Para o caso da equao de onda, o Lagrangeano dado por:
2
2 2 2
2 3
Densidade de Lagrangeano
2 2 2 2
y
x z
L c d x
|
| | |
| |
| |
= + + |
|
|
|
\ .
\ .
}

L

O momento do campo no um vetor no espao, no estando ligado a
uma direo como o momento comum. Trata-se de uma quantia escalar, defi-
nida como a derivada do Lagrangeano em relao a |
. Trata-se, portanto, de
um novo conceito, que no tem nada a ver com a simetria de translao:
( )
3
"Momento do Campo" OBS: L d x
|
c
H = =
c
}
L
L

Como j vimos, nas translaes simtricas, a quantia conservada dada
por:
( )
i i
i
f q H

No caso do campo contnuo, esta quantia passa a ser dada por:
( ) ( )
( )
2
2 2
1
2
x
x dx dx c dx dx
|
| | |
| |
c c
| |
H = = c =
|
c c
\ .
} } } }

L
L

Como j vimos, quando o sistema simtrico em relao ao tempo, en-
to haver conservao da energia. Vamos considerar a energia para a teoria
do campo simples numa nica dimenso, com um Lagrangeano dado por:
( )
( )
( )
2
2 2
2 2 2
1
2
1
2
t x
t x
L dx c
E c dx
| |
| |
=
(
= +

}
}

Consideremos apenas a soluo da equao de onda movendo-se para a
direita:
( )
F x ct | = .
( )
( )
2 2 2
Fazendo
-
1
1
2
x ct u
F u F
c
t u t u
F u F
x u x u
F F F
E c c dx c dx
u u u
|
|
=
c c c c
= =
c c c c
c c c c
= =
c c c c
c c c
| |
= + =
|
c c c
\ .
} }

Para a soluo movendo-se esquerda,
( )
F x ct | = + , teremos:
( )
2
F u F F
c E c dx
t u t u u
| c c c c c
= = =
c c c c c
}

Com isso, obtemos a mesma expresso para a energia. Portanto as ondas,
tanto para a direita como para a esquerda, possuem as mesmas energias, o que
natural.
Vejamos agora o conceito de momento linear para o campo. No se trata
agora do momento conjugado, mas sim daquele momento que, ao atingir al-
gum obstculo, ira faz-lo movimentar-se. Neste caso, o momento linear da
onda movendo-se para a direita ter sinal oposto (sentido contrrio) ao da onda
movendo-se para a esquerda. Trata-se de uma parte do momento ordinrio,
porm carregado por ondas. Na mecnica quntica a parte do momento car-
regado pelo fton.
O momento ordinrio est relacionado com a invarincia segundo a
translao no espao. Podemos ento perguntar se o Lagrangeano do campo
invariante com relao translao no espao e, sendo este o caso, qual a
quantidade conservada.
Vamos imaginar que ns temos uma equao do campo
( )
x | e que essa
funo seja deslocada ao longo do eixo x:

Pela prpria figura, bastante bvio que a integral do Lagrangeano no
deve se alterar. Se fizermos x x c , isto significa deslocarmos
( )
x |

para a
direita por um intervalo c .
( )
x |
( )
x | c
( ) ( ) ( ) ( )
x
x x x x x
dx
x x x
c
| c | | |
| | |
o|
c c
=A
+ A
A A c
= = =
A A c

Trata-se, portanto, de uma translao anloga quela que j vimos em
( )
i i i
q q f q c + , onde
( )
i
f q representado por
x
| c
c
. Temos ento que a
quantidade conservada ser dada por:
p f dx dx dx p dx
x x x t
|
|
| | | |
|
c c c c c
= H = H = =
c c c c c
} } } }
L

Esta ento a quantidade conservada pela transformao invariante no
espao.
Vamos supor que o nosso sistema fosse uma combinao de partculas e
de ondas, por exemplo, radiao eletromagntica e partculas carregadas. Se
ns deslocssemos todas as ondas por um pequeno intervalo c , mantendo sem
alterao a posio das partculas, no teramos mais uma quantidade conser-
vada. Porm, se deslocarmos tanto as ondas como as partculas, ento o La-
grangeano no se alteraria e o momento total seria conservado, tendo contri-
buies advindas das partculas e das ondas.
Calculemos ento o momento de nossa onda
( )
F x ct | = , que se mo-
ve para a direita e onde fizemos
( )
, com F u u x ct | = = :
2 2
( )
F F
p c dx c dx
u u
c c
| | | |
= =
| |
c c
\ . \ .
} }

No caso da onda para a esquerda,
( )
F x ct | = + :
2
F
p c dx
u
c
| |
=
|
c
\ .
}

Conforme esperado, os momentos tm sinais opostos. Vemos tambm
uma relao simples entre a energia e o momento da onda: E c p = . Verifi-
camos assim a lei da conservao do momento linear.
Vamos ver agora outra quantidade conservada, que est associada a um
particular tipo de campo. Este campo definido por valores complexos. Um
campo complexo dado pela soma de um campo real com outro campo
real, multiplicado pelo nmero imaginrio i. Nosso campo ser ento:
*
1 2 1 2
1 2
i i
i
x x x

| | | | | |
| | |
= + =
c c c
= +
c c c

Vamos escrever o Lagrangeano para este campo complexo:
( ) ( )
( )
2 2 2 3 2 2 2 3
1 1 1 2 2 2
* * * 3
1 1
2 2
1
2
x x
x x
L d x d x
L d x
| | | | | |
|| | | | |
= c + c
= c c
} }
}

Este Lagrangeano tem as simetrias j vistas por ns em relao ao tempo
e ao espao (energia e momento). Mas ele tem tambm uma nova simetria,
relacionada a uma nova quantidade conservada, que tem grande importncia
na Fsica de Partculas e na Mecnica Quntica.
Se multiplicarmos | por
i
e
c
, onde c um nmero real, o que significa
rotacionar | por um ngulo , c teremos uma transformao do campo que
apresentar simetria:

Como aproximao de primeira ordem, temos que 1
i
e i
c
c ~ +

(para c
pequeno). Alm disso, o fato de multiplicarmos | por
i
e
c
no modifica os
produtos
* * *
, e
x x
| | | | | |

, pois . 1
i i
e e
c c
= . Ento teremos:
( ) ( )
( )
( )
* * * * * *
1 .
1 .
i
i
e i i
e i i
c
c
o| | | | c | c |
o| | | | c | c |
= ~ + =
= ~ =

Uma vez que o Lagrangeano no se altera, temos a conservao de uma
quantia. Vejamos qual esta quantia.
*
*
*
;
2 2
|
|
| |
| |
c c
H = = H = =
c c

L L

Como
( )
i o| c | ~ e
( )
* *
i o| c | ~ , ento f i
|
| = e
*
*
f i
|
| = .
Assim, a quantia conservada ser:
( )
* *
* *
3 3
2 2
f f d x i d x
| |
| |
| |
| |
(
(
( (
(
]
]
| |
H + H =
|
\ .

Portanto a quantidade conservada dada pela expresso:
* *
3
2 2
i d x
| | ||
(
(
(
]
| |
|
\ .

Esta quantia a carga eltrica do campo. Vamos assim, aos poucos, che-
gando s ideias da Teoria Quntica do Campo.
Como j vimos, cada tipo de partcula um quantum de algum campo.
Ftons so quantas de um campo eletromagntico, que so campos reais, e no
complexos. O eltron tambm o quantum de um campo, no do tipo de cam-
po que estamos acostumados a conceber, ou que possamos facilmente medir
com um detector de campo no laboratrio, mas ainda assim os eltrons so o
quantum de um campo. No se trata de campos que exercem fora no eltron,
mas sim do quantum de campo que constituiu o eltron em si mesmo. Outras
partculas que possuem carga tambm so quantum de campos, sendo todas
elas (que possuem carga) formadas por campos complexos, como os que aca-
bamos de ver.
A expresso que obtivemos nos d a carga eltrica carregada pelo cam-
po. Vemos ento que a expresso, no seu integrando, contm a densidade de
carga, que deve ser integrada no espao, para se obter a carga eltrica.
Podemos imaginar assim um campo se movendo em uma dada direo,
como uma carga eltrica, que, ao interagir com campo eltrico, pode ser espa-
lhada ou desviada.
O movimento dos pacotes de onda destes campos pode seguir trajetrias
similares quelas percorridas por partculas carregadas em movimento num
campo eletromagntico. Tudo isto ser estudado mais a fundo na Mecnica
Quntica.
Podemos imaginar um campo complexo como a representao da vibra-
o de uma corda livre para se movimentar em duas direes:
De modo que a componente
1
| descreveria o movimento da corda na di-
reo x e a componente
2
| , na direo y. Assim o movimento seria descrito
completamente pelo campo complexo
1 2
i | | | = + . Neste caso, a densidade de
carga representaria o momento angular de um ponto da corda, de modo que o
momento angular total (dado por uma integral!) permanece constante, como,
por exemplo, no momento da corda na brincadeira de pula-corda.

x
y


AULA N
O
06

Conservao da carga 4-vetor j Equao da continuidade
Momento Angular e Carga

Vamos falar sobre a conservao da carga.
Para que possamos verificar a conservao da carga, temos que limitar o
espao de verificao desta lei, a fim de controlar, atravs da deteco da en-
trada e sada de cargas daquele volume, a quantidade total de cargas nele con-
tida.
Assim a ideia de conservao cargas algo mais do que a simples conta
algbrica do total de cargas no universo, envolvendo o conceito de fluxo, de
modo que, se uma carga desaparece de um dado sistema, sua passagem de-
tectada atravs da fronteira deste sistema. Portanto a ideia de conservao lo-
cal da carga eltrica est associada corrente ou fluxo de carga pela fronteira
que delimita aquele local. Ento, se uma carga desaparece nessa sala, porque
houve uma corrente atravs de suas paredes, conduzindo esta carga para fora.
A formalizao matemtica deste conceito feita da seguinte maneira:
Temos primeiramente a ideia de densidade de carga, relacionada quan-
tidade de carga existente em um dado ponto ou regio do espao. Sua defini-
o pode ser feita, observando-se uma pequena caixa num espao de lado c e
contendo uma carga q:

( ) ( )
3
densidade ,
q
x t
c
=

A densidade pode variar no espao e no tempo.


Em uma regio arbitrria do espao, a quantidade total de carga contida
nela ser dada por:
O outro conceito empregado o de fluxo de carga. O fluxo de carga
definido pela corrente. Estamos pensando aqui no em correntes passando
por um fio, mas sim em cargas, nuvens de cargas, fluindo atravs do espao.
Para quantificar a ideia de corrente ou fluxo, delimitamos uma pequena rea
quadrada no espao (como uma janela) e perguntamos qual a quantidade de
carga que passa pela janela por unidade de tempo.
Assim a quantidade de carga que passa pela janela depender do tempo
que esperamos corrente passar e do tamanho da janela. Quanto maior o tem-
po ou a janela, maior ser a quantidade de carga total que passar pela janela.
A carga uma quantia escalar, porm a corrente, tal como o vento, as-
sociada a uma determinada direo. Se, por exemplo, a janela estiver deitada
em relao ao movimento das cargas, nenhuma carga passar atravs dela.
Portanto o fluxo uma quantia vetorial. Se orientarmos a nossa janela de
modo que o eixo x seja perpendicular a ela, deixando assim que a janela fique
orientada no sentido de x, ento a quantia
q
A t A
, para a janela na direo x,
definida como a componente x da corrente ou o fluxo de cargas na direo x.
Volume
Analogamente, define-se
y
j e
z
j .
-----------------------------------------------------------------------------------------

OBS: Representam as componentes
de j nas direes x, y e z com ndi-
ces superiores , ,
x y z
j j j (Notao ten-
sorial).

-----------------------------------------------------------------------------------------
O fluxo atravs da borda de uma regio deve compensar a variao de
cargas nesta regio. Isto pode ser expresso matematicamente, tomando um
pequeno cubo como unidade de controle de volume, na qual iremos determinar
os fluxos correspondentes s trs direes:

x

( )
2 x
I
I t j c A : quantidade de cargas que entra na caixa neste interva-
lo de tempo e atravs desta rea.
( )
( )
2 x
II
II t j c A : quantidade de cargas que sai na caixa neste inter-
valo de tempo e atravs desta rea.
--------------------------------------------------------------------------------------------
OBS: O fluxo entrando na regio delimitada est sendo considerado aqui como
positivo. Ao contrrio, de sinal negativo, para o fluxo saindo da regio.
--------------------------------------------------------------------------------------------
Ento a mudana na quantidade de carga dentro da caixa no intervalo de
tempo t A dada por:
( ) ( )
( )
2 x x
I II
t j j c A

Isto se refere apenas direo x. O mesmo raciocnio se aplica para as
outras direes, que chamaremos de
y
j e
z
j :
Ento as contribuies das direes y e z para o fluxo de cargas entrando
no volume so respectivamente:

( ) ( )
( )
( ) ( )
( )
2 2
e
y y z z
III IV V VI
t j j t j j c c A A
Portanto a quantidade total de carga entrando no volume durante o inter-
valo de tempo t A ser:

( ) ( )
( )
( ) ( )
( )
( ) ( )
( ) { }
2 x x y y z z
I II III IV V VI
t j j j j j j c A + +

Dividindo esta expresso por t A , obtemos a razo do aumento da carga
no volume por unidade de tempo:
( ) ( )
( )
( ) ( )
( )
( ) ( )
( ) { }
2 x x y y z z
I II III IV V VI
d
q j j j j j j
dt
c = + +

Fazendo a caixa diminuir sempre mais de tamanho, a variao de j ao
longo de c ir se aproximar da derivada de j ao longo da direo correspon-
dente:
( ) ( )
( )
x
x x
I II
j
j j
x
c
c
=
c
. Portanto:
2 3
x y z x y z
dq j j j j j j
dt x y z x y z
c c c c c
| | | | c c c c c c
= = + +
| |
c c c c c c
\ . \ .

Se dividirmos a equao por
3
c (volume da caixa), ficaremos com
3
d q
dt c
| |
|
\ .
na esquerda, que, quando 0 c , a razo de variao da densidade
de carga na caixa, ou seja:
d
dt
, pois
3 0
d q d
dt dt
c

c

| |

|
\ .
.
Desse modo, teremos:

x y z
d j j j
dt x y z
| | c c c
= + +
|
c c c
\ .
.
Chegamos assim EQUAO DA CONTINUIDADE:
. 0 j
t
c
+V =
c

.
Onde . j V
o divergente de j, ou seja: .
x y z
j j j
j
x y z
c c c
V = + +
c c c
.
Esta equao relaciona a variao da carga no volume com o fluxo atra-
vs da fronteira do volume. Este o significado profundo de conservao de
uma quantia.
Vamos escrever esta equao em uma forma diferente.
Como j vimos antes, podemos nos referir s variveis t, x, y e z como
0 1 2 3
, , e x x x x , o que pode ser resumido pela expresso: x
. Vamos chamar
ento as variveis da seguinte forma:
0 1 2 3
; ; ;
x y z
j j j j j j j = = = = .
possvel representar ento a equao da continuidade pela expresso:
0
j
x
c
=
c

Podemos ver atravs desta equao que j
um tipo de quadrivetor
(4-vetor), pois esta equao deve ter o mesmo significado em qualquer outro
sistema de referncia.
A deduo desta equao no dependeu do particular sistema de refern-
cia utilizado, tendo sido feita de uma forma geral. A nica maneira para esta
equao permanecer invarivel dada pela condio de que j
se transforme
segundo um quadrivetor. E isto o que de fato acontece!
Temos ento uma nova verso para a conservao da carga, expressa em
termos de uma equao de continuidade invariante segundo a transformao
de Lorentz.
Esse o princpio pelo qual uma carga no pode desaparecer de um lu-
gar e aparecer em outro, sem que haja um fluxo de cargas na regio de frontei-
ra!
Esta equao tambm pode ser descrita de outra forma:
0 j
c =
Vamos voltar agora derivao do Teorema de Noether em relao
conservao da carga, na teoria simplificada do campo dotado de certa sime-
tria, como vimos na ltima aula.
O teorema nos fornece o conceito da conservao de certa quantidade,
que ns chamamos de carga, sendo que esta carga dada por uma integral ao
longo do espao. Desse modo, fica claro que esta quantidade deve ser a densi-
dade espacial de carga.
Perguntamos ento se teorema tambm nos fornece uma noo da densi-
dade de corrente j em relao conservao de carga. O campo utilizado por
ns era um campo complexo:
1 2
*
1 2
i
i
| | |
| | |
= +

Podemos imaginar este campo como
sendo formado por dois eixos no plano com-
plexo, com seus valores
1
| e
2
| representa-
dos em cada eixo:

A simetria aplicada ser atravs de uma rotao deste plano complexo:

( )
( )
( ) ( )( )
( ) ( )
1 2
1 2 1 2 1 1 2 2
1 2 2 1
0 1 1
1
i i
i i
i
e i e
e i e i i
i e i i i i
i
c c
c c
c
| | |
c c | | c o| c|
| | | | c | | c | | c
| c| | c|
= +
+ + =
+ + + = + + =
= + +

( )
( )
1 2 1 2
2 1 2 1
f
f
o| c| | |
o| c| | |
= =
= =

Se multiplicarmos o campo complexo rotacionado de
i
e
c
pelo seu con-
jugado, o produto no se altera, pois:
* * 2 2
1 2
i i
e e
c c
| | || | |
= = + .
Assim, se o Lagrangeano contiver termos como
*
|| , ou
( )
2
*
|| , ou en-
to qualquer funo de
*
|| , ele no sofrer nenhuma alterao com a pequena
rotao
i
e
c
no plano complexo. Desta maneira, relativamente simples saber
se o Lagrangeano ou no invariante, observando seus termos.
Se o Lagrangeano invariante, ento existe uma simetria. Portanto h
tambm uma lei de conservao, dada por:
( )
i i
Q f | = H

onde
( )
i i
f q o| c = .
Para o nosso caso, teremos:
( ) ( ) ( )
3
1 1 2 2
1 1 2 2
1 2
;
Q f f d x | |
| |
| |
= H + H
c c
H = = H = =
c c
}

L L

( )

( )
3 * * 3
1 2 2 1
Carga
Densidade de Carga
2
i
Q d x Q d x || | | | | | | = + = +
} }

Isto tambm pode ser escrito da seguinte forma:
* 3
Im Q d x || =
}

, onde
Im significa a parte imaginria.
Esta ltima forma de escrever a equao de conservao da carga permi-
te que nos concentremos somente no termo
*
||
durante os clculos, para, so-

mente no fim, tomarmos sua parte imaginria.
Temos ento que a parte imaginria de
*
||
a densidade de carga, cuja

integral no espao nos fornece a carga.
Chegamos assim ideia do que seja a densidade de carga e ao conceito
do quadrivetor da corrente de carga.
Para uma onda propagando-se ao longo de uma corda, a densidade de
carga seria a quantidade de momento angular por unidade de comprimento, ou
seja, a densidade linear de momento angular.
Esses conceitos assumem bastante importncia na Mecnica Quntica.
Identificar a carga como matematicamente semelhante ao momento angular
atribui a ela as mesmas propriedades do momento angular, que, como j vi-
mos, quantizado em valores mltiplos de . Assim tambm a carga
quantizada, assumindo valores mltiplos de uma unidade fundamental. Tais
propriedades advm da semelhana, ou melhor, do isomorfismo existente na
teoria de campo entre a carga e o momento angular, explicando assim a quan-
tizao da carga.
Voltando densidade de carga, resulta que:
( ) ( )
* *
Im Im
t
|| | | = = c
,
onde
t
| c a componente covariante de um quadrivetor, pois | um escalar.
Com isso, podemos ver que as outras componentes covariantes desse quadri-
vetor sero dadas por:

( )
*
0,1, 2, 3
Im onde
, , ,
j
t x y z
| |

= c
.
Aqui, passamos a expressar o quadrivetor nas suas componentes contra-
variantes (ndice superior), o que significa apenas trocar o sinal dos compo-
nentes x, y e z de j
para a transformao de Lorentz.

Vamos ver se este quadrivetor satisfaz equao da continuidade.
Nosso fluxo de corrente dado pelo quadrivetor j
. Assim a nica coisa

que devemos verificar se ele satisfaz a continuidade.
A equao da continuidade sempre o centro do significado daquilo
que os fsicos consideram uma quantia conservada.
Vamos empregar novamente o Lagrangeano para o campo complexo:

( )
( )
( )
* * * * *
* 2 *
1
2
1
0,1, 2, 3
2
x x y y z z
m
m
| | | | | | | | | |
| | | |
c c c c c c
c c

L =
L =

A equao do campo obtida a partir deste Lagrangeano :
2 2 2 2 2
0
t x y z
m | | | | | c c c c + =

O termo
2
m | ter um papel importante mais frente, em relao mas-
sa de uma partcula.
A forma compacta de se escrever esta equao de campo :
( )
2
0 Equao do Movimento m
| | c c =
Ns queremos derivar, a partir desta equao de campo, a equao da
continuidade. Basta verificarmos se a equao da continuidade para j vlida,
ou seja:

( )
* * *
0 Im 0 Im j

| | | | | |
(
( c = c c = c c + c c

*
| | c c : quantia complexa multiplicada pelo seu conjugado, cujo valor

real. Ento:
( ) ( )
* * 2
Im Im j m

| | | | c = c c =

Mas
* 2
m | | uma quantia real, portanto: 0 j
c =
Vamos falar um pouco mais sobre energia e momento em relao Teo-
ria da Relatividade Restrita, observando sua conexo com o termo
2
m | .
Assim como na Mecnica Clssica, o conceito de momento dado pelo
produto entre a velocidade e a massa da partcula, porm, ao invs das trs
componentes da velocidade, dadas pelas derivadas em cada eixo do espao,
temos a velocidade como um quadrivetor, com as derivadas tomadas em rela-
o ao tempo prprio.
Como j sabemos:
( )
2 2 2 2
2
1
d dt dx dy dz
c
t = + + , onde t o tempo
prprio.
Vamos considerar 1 c = e
2 2 2 2
dx dx dy dz = + +
, ento:
2 2
2 2
2
Retornando 2
2
2
1
1
1
1
c
dt dx
d dt dx d dt d v dt
dt
v dt
d dt
c d
v
c
t t t
t
t
= = =
= =

Para a velocidade
dx
d
t
(4-vetor), teremos as seguintes componentes pa-
ra o momento relativstico:
2 2 2
2 2 2
1 1
1 1 1
x
v dt dx dx dt dx
d d dt d dt
v v v
c c c
t t t
= = = =

2 2
2 2
1
;
1 1
dx v
d
v v
c c
t
| |
|
|
=
|

|
\ .

Vejamos como fica ento o momento:

2
2
1
x
dx v
p m m
d
v
c
t
= =

Temos com isso as quatro componentes do momento relativstico, sendo
as trs componentes acima relativas ao momento ordinrio e a quarta compo-
nente constituindo algo novo:
( )
0
2
2
0 tempo
1
dt m
p m p
d
v
c
t
t
= = =

Einstein percebeu que esta componente do momento,
0
p , era a energia
cintica da partcula.
Assim uma partcula tem quatro leis de conservao: trs relativas ao
momento e uma relativa energia, que est ligada ao momento
0
p pelo fator
2
c :
2
2
2
1
mc
E
v
c
=
quarta componente do momento relativstico.

Quando
v
c
pequeno, temos:
( )
1
2 2
2
2 2
2 2
2 2
Energia
de repouso
Energia
Cintica
1 1
2
1
m : massa de repouso
2
Taylor
v v
mc mc
c c
E mc mv
| | | |
+
| |
\ . \ .
= +

interessante ver que uma partcula de massa nula, com velocidade
igual da luz, resulta em energia nula, mas que tal condio tambm anula o
fator
2 2
1 v c , o que nos leva condio indeterminada de zero dividido
por zero na expresso da energia. Assim no possvel estudar partculas sem
massa nas expresses de energia que envolvem a velocidade da luz. Portanto, a
soluo nos concentrarmos na relao entre momento e energia, livrando-nos
da indeterminao associada velocidade.
Vamos trabalhar, ento, na relao entre energia e momento para uma
partcula de massa m.

( )
2
2 4
2
2 2
2 4 2 2
2 2
2 2 2 2 4
2 2
2 2
2
2
2
2
2
2 2 2 2 4
1 1
1
1
1
1
mc
m c
E
E
v v
m c v c
c c
E p c m c
v c mv
m v
p
p
v
v
c
c
E p c m c

=
=

= =

=
=

Este resultado no nos deve surpreender. E e p so componentes de
um quadrivetor, sendo que a invarincia de um quadrivetor, segundo a trans-
formao de Lorentz, obtida pela diferena entre o quadrado do tempo e a
soma dos quadrados no espao (
2 2 2 2
d c dt dx t =

).
Neste caso, a quantia invariante a massa da partcula. Assim, se a
partcula tiver massa nula, ento o momento e a energia so a mesma coisa.
------------------------------------------------------------------------------------------
OBS: poderamos ter deduzido a relao entre energia e momento fazendo
1 c = , para acrescentar c apenas no final das contas, atravs de uma anlise
dimensional:
( )
2
2
2 2
2
2
2 2 2
2
2 2
2
2
2
1
1
1
1
1
1
m
m
E
E
m v
v
v
E p m
mv v
m v
p
p
v
v

=
=

= =

=
=

Por anlise dimensional:
( )
2 2 4
2 2 2 2 4
2
2
E m c
E p c m c
E pc

------------------------------------------------------------------------------------------
A expresso para a energia relativstica dada por:
2 4 2 2
E m c p c = ,
sendo esta uma generalizao da frmula de Einstein:
2
E mc = .
Com esta expresso, podemos agora estudar a energia para uma partcula
de massa nula, de modo que, fazendo a massa tender a zero, obtemos:
2 4 2 2 2 2
0 m
Lim m c p c p c E p c
= =

.
O valor obtido difere de um fator 2 em relao quantia que obtera-
mos classicamente para uma partcula velocidade da luz:
2
1
2 2
v c
pc
E mv E
=
= = .
Iremos explorar estas propriedades mais adiante, para estudar a conexo
entre ondas e partculas, observando as propriedades das ondas, como
energia e momento.
Veremos ento que a relao entre energia e momento de uma partcula
est fortemente ligada relao entre a frequncia e o nmero de onda de uma
onda.


AULA N
O
07

Teoria de Calibre Derivada covariante Lagrangeano Relativstico
Tensor Eletromagntico

Teremos hoje nosso primeiro contato com aquilo que chamado de
Teoria do Calibre (Gauge Theory).
Toda a moderna fsica de partculas, relatividade, gravitao, relativida-
de geral so baseadas no Princpio da Invarincia do Calibre.
Vamos comear com nosso Princpio de Calibre, ou Invarincia por Ca-
libre, ou ainda Simetria por Calibre, estudando um exemplo simples.
Em 1905, Einstein indicou a importncia de se definir cuidadosamente a
ideia de um conjunto de coordenadas de um sistema, para deixar bem claro o
que significam determinados conceitos importantes, tal como, por exemplo,
simultaneidade, uma vez que no to simples comparar dois intervalos de
tempo em dois diferentes lugares ou sistemas.
Com base nessa clareza de conceitos nos diversos sistemas de coorde-
nadas, ele desenvolveu a Teoria da Relatividade. Este problema de definio
clara dos conceitos em relao aos sistemas de referncia empregados torna-se
ainda mais importante e complexo na Teoria da Relatividade Generalizada.
A quantia que estamos interessados em comparar agora, segundo dife-
rentes sistemas de referncia, a FASE de um campo complexo.
Um campo complexo, como j vimos, dado por:
1 2
*
1 2
i
i
| | |
| | |
= +

onde
1 2
e | | so campos reais.
Outra maneira de se ver um campo complexo associar a cada ponto do
espao um par de eixos perpendiculares, chamando um de
1
| e outro de
2
| :


Neste caso, para cada ponto do espao, temos uma determinada direo
de | . Isto implica que podemos relacionar diferentes direes a diferentes
pontos no espao.
Por exemplo, no caso de uma corda que esteja sendo usada como pula-
corda, a analogia com o campo complexo seria que cada ponto da corda, es-
tando livre para se movimentar nas direes perpendiculares direo da cor-
da, necessitaria, para ter seu movimento descrito, no apenas a sua posio em
relao aos extremos da corda, mas tambm o ngulo pelo qual ele est deslo-
cando-se em relao, por exemplo, vertical, bem como a distncia que ele se
encontra do eixo da corda.

Para isso, poderamos
usar um nmero complexo
para cada ponto, ou ento
um par de coordenadas, ou
ainda um raio e um ngulo.
Mas est implcito neste
caso, assim como sempre se
supe ao compararmos coi-
sas, que o sistema de refe-
rncia utilizado para medir a
posio de qualquer ponto
da corda, sempre permanece
paralelo a si mesmo, inde-
pendente de sua posio ao
longo da corda.

Surge assim a questo de sabermos se o valor de um campo complexo
em uma determinada posio o mesmo ou no em outra posio do espao.
Para responder a esta questo, precisamos medir, entre outras coisas, ngulos
no espao em diferentes posies.
Como j sabemos, para algumas teorias de campo, mais especificamente
aquelas que possuem o conceito de CARGA, existe uma invarincia ou
simetria.

Esta simetria corresponde rotao
das coordenadas
1
| e
2
| , o que equivale
tambm a rotacionar o campo | em si:
Esta rotao pode ser sucintamente
expressa em notao complexa, dada por:
'
i
e
u
| | =
.

Esta uma simetria para o Lagrangeano que estudamos na ltima aula:
( )
( )
* 2 *
1
0,1, 2, 3
2
m
| | | | c c L=

Este Lagrangeano invariante sob esta operao de rotao, e a razo
para isto que, nele, o campo sempre aparece multiplicado pelo seu conjuga-
do, de modo que o termo
i
e
u
multiplicado por
i
e
u
, deixando inalterado o
resultado.
Esta mesma caracterstica se conserva para as derivadas de| , pois:
* *
' ' '
i
e
x x x x x x
u
| | | | | | c c c c c c
= =
c c c c c c

Poderamos perguntar, agora, se este Lagrangeano permanece invariante
em relao a rotaes que variam ao longo do espao.
Dizer que o Lagrangeano invariante sob uma mudana de fase significa
que um ngulo nulo de rotao no tem um sentido de invariante, pois a rota-
o a mesma em todo o sistema. Por isso queremos saber se o Lagrangeano

permanece invariante sob uma simetria mais forte, onde a rotao do ngulo
varia ao longo do espao. Isto significa que o ngulo u ser uma funo de x:
( ) ( ) ' '* *
;
i x i x
e e
u u
| | | |
= =

Vemos que, agora, no temos uma rotao rgida, na qual todo o sis-
tema movido junto, mas sim uma rotao flexvel, com cada ponto sendo
submetido a uma diferente rotao.
A Ao dada pela integral no espao-tempo da densidade de Lagran-
geano:
( )
* 2 * 4
1
2
A m d x
| | | |
(
(
]
= c c

Vejamos como cada termo do Lagrangeano se comporta sob este tipo de
rotao:
( ) ( ) 2 * 2 * 2 *
' '
i x i x
m m e e m
u u
| | | | |
= =

Portanto o termo
2 *
m | | do Lagrangeano, que sofre uma ROTAO
DE FASE DEPENDENTE DA POSIO, invariante!
----------------------------------------------------------------------------------------------
OBS: O termo utilizado para descrever uma ROTAO DE FASE DEPEN-
DENTE DA POSIO dado pela expresso TRANSFORMAO POR
CALIBRE.
----------------------------------------------------------------------------------------------
Para o termo
*
| | c c teremos:
( )
( )
( )
( )
( )
( )
* *
*
'
'
i x i x
i x i x
x
e i e
x x x
x
e i e
x x x
u u

u u

u
| |
|
u
| |
|

c
c c
= +
c c c
c
c c
=
c c c

Escrevendo a Ao agora em termos de ' | e
*
' | , temos:
( )
* 2 * 4
1
' ' ' '
2
A m d x
| | | |
(
(
]
= c c
( )
( )
( )
( )
( )
( )
( )
( )
* * 2 * 4
* * 2 * 4
1
2
i x i x
x x
A i e i e m d x
x x
A i x i x m d x
u u

u u
| | | | | |
| u | | u | | |
(
(
(
]
(
]
(
| |
| | c c
= c c + ( |
|
|
c c
(
\ .
\ .

(
= c c c + c

Vemos, assim, que o Lagrangeano assume uma forma diferente, que no
tem simetria no seu primeiro termo. Isto significa que, se fizermos uma rota-
o deste tipo num campo, mudaremos sua energia seu momento, obtendo
novas equaes de movimento a partir de um novo Lagrangeano.
Conclumos que o Lagrangeano invariante sob uma rotao rgida, mas
no sob uma transformao por calibre.
Vejamos se podemos manter o Lagrangeano invariante segundo uma
transformao por calibre, acrescentando alguns campos especiais.
Vamos comear acrescentando um campo vetorial:
( )
A x
(quadrivetor).
As quatro componentes de A
correspondem s trs componentes do

potencial vetor eletromagntico e ao potencial eletrosttico, sendo esta ltima
a componente no tempo do quadrivetor e as outras trs as componentes espaci-
ais.
Iremos supor que o campo A
, acrescentado por ns, ir sofrer, assim

como o campo em questo, transformaes ao longo do espao.
As variveis do nosso Lagrangeano sero dadas por:
* '
', ' e A
| | .
Vamos considerar a quantidade
| c substituda por:
( )
i A

| | c + q ,
onde q representa a carga eltrica.
Teremos ento para a Ao, expressa em termos de
* '
', ' e A
| | :
( ) ( )
*
' ' 2 * 4
' ' ' ' ' ' A i A i A m d x

| | | | | |
(
(
]
(
= c + c +
(

q q

----------------------------------------------------------------------------------------
OBS: Esta transformao pode ser vista como a substituio da operao

c
pela operao i A

c + q , de modo que
| c se torna i A

| | c + q $, sendo
esta a chamada DERIVADA COVARIANTE.
----------------------------------------------------------------------------------------
Substituindo
( )
'
i x
e
u
| | = , teremos:
( )
( )
( )
{
( )
( )
( )
}
( )
( )
( )
{
( )
( )
( )
}
*
2 * 4
* * *
2 * 4
'
'
'
'
i x
i x
i x
i x
A i x i A e
i x i A e m d x
A i x i A e
i x i A e m d x
u

u
u

u
| u | |
| u | | | |
| u | |
| u | | | |
(
(
]
(
(
]
(
= c + c +

(
c + c +

(
= c c

(
c + c +

q
q
q
q

( )
( )
{
( )
( )
}
* * *
2 * 4
'
'
A i x i A
i x i A m d x

| u | |
| u | | | |
(
(
]
(
= c c

(
c + c +

q
q

Se fizermos:
( )
1
' A A x
u = c
q
, teremos:
( )( )
( ) ( )
* * 2 * 4
*
2 * 4
A i A i A m d x
A i A i A m d x
| | | | | |
| | | | | |
(
]
(
(
]
(
= c c +

(
= c + c +
(

q q
q q

Com isso, chegamos mesma expresso inicial (a partir de
* '
', ' e A
| | ),
s que agora expressa em termos de| ,
*
| e A.
Portanto, se mudarmos a forma inicial do Lagrangeano:
( ) ( )
*
* '
' ' ' ' ' ' ' i A i A

| | | | | | c c c + c + q q
o que equivale a mudar o operador:
( )
( )
( )
'
' i A

| | c c + q

sendo que isto implica tambm que:
( )
( )
( )
' ' ' i A

| | c c + q

e se, alm disso, junto com a transformao por calibre (
( ) i x
e
u
), fizermos o
campo ' A se transformar segundo a expresso:
( )
'
1
A A x

u = c
q

o que implica que:
( )
1
' A A x

u = c
q

teremos no final a mesma expresso para o Lagrangeano, porm dada agora
em funo de | ,
*
| e A.
Portanto esta nova forma de Lagrangeano permanece invariante se-
gundo a transformao por calibre.
Vamos nos concentrar apenas no campo eletromagntico, quando no h
cargas e correntes, ou seja, vamos ignorar | , perguntando qual a teoria que
descreve A em si mesmo. Estamos, portanto, falando de ondas eletromagnti-
cas propagando-se na ausncia de cargas eltricas.
Sabemos que deve haver algum tipo de dinmica nos campos eletromag-
nticos, mesmo na ausncia de cargas eltricas.
-------------------------------------------------------------------------------------------
OBS: Desenvolvendo a frmula da Ao que obtivemos anteriormente, te-
remos:
( )
* * 2 * 4
* * * 2 * 4
A i m d x
x x
A i m d x
x
u u
| | | | | |
u
| | | | | | u u | |
(
(
]
(
(
]
( c c
| || |
= c c +
| | (
c c
\ .\ .

c
(
= c c + c c + c c
(
c

Vemos surgir nesta equao a quantia
( )
* *

| | | | c c , que a corrente
j, cuja componente no tempo a densidade de carga e as componentes no
espao constituem a corrente.
O Lagrangeano para a corrente num campo eletromagntico dado por:
. A j

.
Esta a expresso do acoplamento entre o campo eletromagntico e a
corrente. Esta a forma que encontramos na equao acima, considerando
A
x
u c
=
c
q .
-------------------------------------------------------------------------------------------
A quantia | no considerada aqui. A quantia | aquilo que descreve
as correntes geradas pelas cargas; aquilo que, na Mecnica Quntica, descre-
ve as partculas carregadas.
Ns sabemos que o eletromagnetismo tem um comportamento no trivi-
al e interessante, mesmo quando est longe de qualquer carga. Trata-se das
ondas eletromagnticas, que se propagam atravs do espao vazio.
Deve haver ento alguma dinmica para o campo eletromagntico, a
qual est presente mesmo na ausncia de cargas, envolvendo apenas o campo
eletromagntico em si mesmo. O que ento governo o campo eletromagntico
em si?
Nossa inteno manter a simetria de calibre, para tirar proveito do La-
grangeano que desenvolvemos para descrever A, o qual invariante segundo a
transformao por calibre. Deste modo, devemos ter o Lagrangeano do campo
eletromagntico em si tambm invariante segundo a transformao por calibre:
( )
invariante por calibre A L .
Perguntamos ento que tipo de combinao podemos fazer com as qua-
tro componentes de A, em particular com suas derivadas, de modo que o La-
grangeano e, portanto, as combinaes em si, seja invariantes por calibre, ou
seja, invariantes sob a transformao que leva:
'
1
A A

u c
q
.
H quatro derivadas distintas para cada componente A
de A, resultando
em 16 possibilidades no total: A
v
c , onde e 0,1, 2 e 3 v (t, x, y e z).
Vejamos o que acontece a esta quantia, quando ela submetida a uma
transformao por calibre:
'
1
A A
v v
u
| |
c c c
|
|
\ .
q

Isto nos trar um termo extra em
'
A
v
c , dado por:
1
v
u c c
q
.
Vemos que, ao trocarmos os ndices, obtemos imediatamente:
'
1
A A
v v v
u
| |
c c c
|
|
\ .
q

Isto resulta num termo extra, dado por:
1
v
u c c
q
.
Fica claro, ento, o que deve ser feito para a quantia no variar sob uma
transformao por calibre.
Uma vez que
v v
u u c c = c c , ento, se subtrairmos
' '
A A
v v
c c , defi-
nindo uma nova quantidade, obteremos que:
' '
1 1
A A A A A A
v v v v v v v v
u u c c = c c c c + c c = c c
q q
.
Portanto as quantias A A
v v
c c so invariantes sob a transformao
por calibre. Estas quantidades podem ser escritas na forma matricial:

0 0 0 0 0 1 1 0 0 2 2 0 0 3 3 0
1 0 0 1 1 1 1 1 1 2 2 1 1 3 3 1
2 0 0 2 2 1 1 2 2 2 2 2 2 3 3 2
3 0 0 3 3 1 1 3 3 2 2 3 3 3 3 3
A A A A A A A A
A A A A A A A A
A A A A A A A A
A A A A A A A A
c c c c c c c c
(
(
c c c c c c c c
(
( c c c c c c c c
(
c c c c c c c c

Vemos ento que se trata de uma matriz antissimtrica:
01 02 03
01 12 13
02 12 23
03 13 23
0
0
0
0
F F F
F F F
F F F
F F F
(
(
(
(
(

Temos assim apenas seis componentes independentes. Adiantamos que
estas seis componentes correspondem s trs componentes independentes do
campo eltrico e s trs componentes independentes do campo magntico.
Estas quantidades definem um tensor antissimtrico, chamado Tensor
Eletromagntico, sendo este tensor representado por
v
F .
A A
v v v
= c c F

Temos assim uma quantia que invariante sob uma transformao por
calibre. Na verdade, esta a nica quantia, formada por derivadas de primeira
ordem de A, que permanece invariante por transformao por calibre.
Os Lagrangeanos so normalmente funes das variveis e de suas pri-
meiras derivadas. Estamos falando das componentes A
como as variveis.
Tudo que no tenha uma derivada em si (como
2
, ,... A A ) no ser invariante
por transformao por calibre.
Como podemos fazer um Lagrangeano com termos envolvendo o qua-
drado das derivadas, que seja invariante segundo uma transformao de Lo-
rentz?
Para que a quantia seja invarivel segundo Lorentz, basta fazermos a
contrao dos ndices superiores e inferiores, o que define uma quantia esca-
lar, a qual permanece invariante.
Fica claro, portanto, que a nica coisa que podemos fazer neste caso
construir a quantia:
2 2
E B
v
v
= F F

Isto uma prvia do que iremos fazer mais frente.
Resumindo. Se ns queremos manter a invarincia por calibre, ento
somos obrigados a introduzir uma nova varivel, chamada A, de modo que a
prpria varivel A se transforme segundo uma regra especfica
(
( ) ( )
'
1 A A x

u = c q ), assumindo uma nova estrutura, chamada de deriva-
da covariante ( i A

c + q ). Descobrimos ento que, se substituirmos no La-
grangeano original todas as derivadas por derivadas covariantes e, ao mesmo
tempo, permitirmos que o potencial vetor A siga sua regra de transformao
prpria, ento o Lagrangeano permanece invariante segundo a transformao
por calibre.
bastante interessante o fato de haver uma forma de escrever um La-
grangeano ainda mais geral do que a sua forma original, de modo que ele te-
nha esta propriedade de obedecer a uma simetria muito mais poderosa, na qual
possvel variar a fase de ponto a ponto no espao.
Concentrando-nos em A propriamente, procuramos como construir
em funo de A um Lagrangeano que fosse ele prprio invariante soba
transformao por calibre. Chegamos assim s quantias que definem o tensor
eletromagntico
v
F , que invariante segundo a transformao por calibre,
mas no segundo a transformao de Lorentz. No entanto, se ns contrairmos
os ndices de
v
F (elevando-o ao quadrado), obteremos um escalar, que
invariante segundo Lorentz, representando a quantia
2 2
E B . Isto significa
que, embora vejamos diferentes componentes de campo eltrico e magntico
nos diversos sistemas de referncia com diferentes velocidades de translao e
diferentes direes de eixos, todos concordaro no valor da quantia
2 2
E B .
Chegamos assim a um candidato para a Ao do campo eletromagntico
em si. No veremos agora as equaes do movimento, mas simplesmente a
lgica que levou ideia de Simetria de Calibre.
Vejamos agora uma maneira totalmente diferente de ver o campo ele-
tromagntico e suas interaes com partculas.
J vimos a interao do campo eletromagntico com ondas de campo
carregadas, onde | uma onda de campo portando carga. As ondas deste
campo constituem densidades de cargas eltricas e correntes eltricas.
Quando estudamos Mecnica Quntica, a dualidade onda-partcula nos
diz que todos os campos esto associados com partculas, sendo que de fato o
campo | est associado a partculas carregadas eletricamente.
No entanto ns no precisamos estudar Mecnica Quntica para descre-
ver como as partculas carregadas interagem com o campo eletromagntico,
pois, para isso, podemos simplesmente recorrer descrio bsica das partcu-
las carregadas. Vamos nos referir ento s partculas clssicas na teoria da
relatividade.
O Lagrangeano para as partculas clssicas e a teoria especial da relativi-
dade iro mostrar-nos a interao entre partculas carregadas e o campo ele-
tromagntico. Veremos tambm, em particular, a ideia de invarincia por cali-
bre.
Vejamos a linha do universo para uma partcula no espao-tempo:

A linha do universo deve obedecer ao
Princpio da Mnima Ao. Perguntamos en-
to qual deve ser a Ao para uma partcula
movendo-se no espao-tempo, segundo a
teoria da relatividade. Por enquanto, no es-
tamos considerando nenhum campo, mas
apenas uma partcula livre.

Ao longo da trajetria, existe apenas um invariante que se apresenta
sempre como uma Ao. A quantia natural, associada trajetria, para consti-
tuir a ao, o cumprimento relativstico da trajetria, e a razo para isso
que se trata de um invariante. Estamos nos referindo ao tempo prprio da par-
tcula ao longo da trajetria. Precisamos, no entanto, multiplicar esta quantia
pela massa da partcula e, por razes de conveno, tomar o sinal negativo.
Recordemos que assumimos aqui o valor c = 1.


2 2 2 2 2 2 2 2 2
x x d dt dx dy dz dt d d dt d t t = = =

( )
2 2
1 1
2 2
1 1
2 2 2 2 2 2 2
2 2 2 2 2
x 1 ( )
x 1 x (x )
P P
x y z
P P
P P
P P
A m dt d A m v dt v v v v
A dt m dt x y z
= = = + +
= = = + +
} }
} }
L

Vemos surgir assim a forma familiar do Lagrangeano, com a integral em
relao ao tempo e a dependncia do quadrado da velocidade. Vamos utilizar
este Lagrangeano para calcular o momento da partcula.
A frmula para o momento conjugado a x,(
x
H ), dada por:
2 2
2
1
1
x x
x x x
mv mv
p p
x
v v
c
c
H = = = =
c

L

A energia da partcula dada pelo Hamiltoniano:

2
2 2
2
2 2 2
2
1
1
1 1
1
i i x y z
H q x y z m v
mv m mc
H m v H
v v v
c
= H = H + H + H +
= + = =

L

A questo que surge agora o que acontece quando inclumos um cam-
po eletromagntico?
Um campo eletromagntico descrito pelo potencial vetor A. Como po-
demos combinar o vetor potencial com a partcula, para construir uma Ao
que envolva o movimento da partcula no campo eletromagntico?
H uma quantia simples que podemos utilizar:
dx
A
d
t
.
Trata-se de uma quantia invariante. Devemos integr-la, porm, em rela-
o ao tempo prprio t , para conservar a invarincia:
dx
A d A dx
d

t
t
(
(
]
=
}
.
Vamos acrescentar a carga eltrica a esta quantia: A dx
}
q .
Mas ainda est faltando a velocidade no Lagrangeano. Para isto, basta
dividir e multiplicar por Jt.

( )
( )
0
0
.
x x y y z z
dx
A dt A A v A v A v dt
dt
Ao A Av dt
(
(
]
= + + +
= +
}
}

q q
q

Esta ao invariante por calibre. Vamos antes ver como esta nova ao
se comporta.
Suponhamos que temos uma partcula carregada movendo-se numa tra-
jetria no espao-tempo, sob a influncia de um campo eletromagntico.
Haver uma corrente, estabelecendo-se um fluxo de carga ao longo da
trajetria. H uma densidade de carga e um fluxo de carga. O fluxo decorre do
movimento da partcula carregada. Onde ento est localizada a corrente? Ela
est localizada onde a partcula se encontra! Assim, onde a partcula estiver,
haver uma corrente, e a densidade de carga ser dada pela carga da partcula.
Temos, portanto, uma corrente ao longo da trajetria da partcula. A
componente espacial da corrente (o fluxo de carga) proporcional velocida-
de da carga. Se a carga est parada, existe uma densidade de carga, mas no h
uma corrente.
Assim, ao longo da trajetria existe um ], sendo que a componente
temporal de ] proporcional carga da partcula multiplicada por sua velo-
cidade no ponto em que a partcula se encontra.
Vemos ento que, no Lagrangeano, temos o termo . Av
q , onde v
q a
corrente, que est multiplicada escalarmente pelo potencial vetor, de maneira
anloga equao da ao obtida anteriormente, substituindo
x
u c
c
por A
. A
similaridade est no acoplamento entre o potencial vetor e a densidade de
corrente.
Vejamos agora a invarincia, segundo uma transformao por calibre, da
Ao que determinamos:
Observando a Ao entre dois pontos no espao-tempo (
1 2
e P P ), o que
significaria dizer, ento, que ela invariante segundo uma transformao por
calibre?
Supondo que a Ao muda, mas no altera a maneira pela qual a partcu-
la se move, isto j seria o suficiente para concluir que a Ao invariante por
calibre. Isto significa que a Ao se modifica de tal maneira sob a transforma-
o por calibre, que no altera a trajetria da partcula, sendo isto suficiente
para afirmar que a Ao invariante sob uma transformao por calibre.
Faamos ento uma transformao por calibre em A
, dada por:
1
A A

u c
q

onde u apenas uma funo arbitrria de x:
( )
x u .
A Ao passa a ter assim um termo extra com ela:
dx
Ao q A d dx
d

t u
t
(
(
]
= c
}

Porm,
( )
( ) ( )
final inicial
x
dx dx x x
x

u
u u u
(
(
]
c
c = =
c
}
.
Portanto este termo extra independente da trajetria percorrida. Assim,
se o termo extra, acrescido pela transformao por calibre, independente da
trajetria, ento a Ao no ser alterada, independendo da trajetria percorri-
da. Deste ponto de vista, a alterao trazida pela transformao por calibre no
ir acarretar nenhuma alterao da Ao, com relao trajetria.
Portanto a parte que de fato influi na ao independe do termo extra
acrescentado pela transformao por calibre. Conclumos ento que as trans-
formaes de calibre so tambm formas importantes da invarincia de calibre
com relao Ao de uma partcula carregada, movendo-se em um campo
eletromagntico.
Vimos assim, sob duas perspectivas diferentes, que a transformao por
calibre uma simetria fundamental com relao interao entre partculas
carregadas e campos eletromagnticos.


AULA N
O
08

Lagrangeano Eletromagntico Conservao da Carga

Vamos ver de onde as coisas bsicas da eletrodinmica se originam,
apontando de maneira sucinta as equaes principais, que podem ser desen-
volvidas mais detalhadamente sem dificuldades.
O princpio bsico sempre o mesmo: o Princpio da Mnima Ao. Po-
rm, para usar este princpio, precisamos saber qual a Ao.
A Ao tipicamente a integral da densidade de Lagrangeano sobre todo
o espao-tempo.
Vamos relembrar alguns pontos. Suponhamos um Lagrangeano que seja
composto de um conjunto de campos (chamaremos tal conjunto de f). Ento
a
f no se refere a um ndice do espao-tempo (no representa uma dimen-
so no ndice a), mas representa um campo daquele conjunto. Este ndice
a pode percorrer campos de natureza bem diversa, por exemplo, medida
que a varia,
a
f pode ser um campo escalar ou um campo vetorial (tal co-
mo o potencial vetor). Portanto
a
f uma representao bastante genrica,
representando um conjunto de campos que dependem da posio e do tempo:
( )
,
a
f x t .
Sob uma notao relativstica, estes campos iro depender das quatro
dimenses do espao-tempo.
Em geral, o Lagrangeano uma funo de todos os f e de suas primei-
ras derivadas em relao s coordenadas espao-tempo.
A densidade do Lagrangeano uma funo que depende das derivadas
do campo em relao a x
e do prprio campo em si: ,

a
a
f
f
x
| |
c
|
|
c
\ .
L .
Por exemplo, o Lagrangeano do campo escalar que j estudamos era da-
do pela diferena entre uma soma de quadrados das derivadas do campo,
acrescida de um termo extra, que chamamos de termo de massa, o qual depen-
dia apenas do campo em si, sem derivadas. Esta a forma geral do Lagrangea-
no.
A Ao a integral do Lagrangeano ao longo de todo o espao-tempo.
Mas, assim como para uma simples partcula, podemos ver as implicaes do
Princpio da Mnima Ao tanto de uma forma global como de uma forma
local, sendo que o resultado so as equaes de Euler-Lagrange para o campo.
Relembremos que as equaes de Euler-Lagrange para a o movimento
de um conjunto de partculas, cujo Lagrangeano
( )
,
a a
x x = L L , so dadas
por:

a a
d
dt x x
| |
c c
=
|
c c
\ .
L L
.
Estas equaes nada mais so do que as e equaes de Newton para cada
partcula do conjunto.
Vemos que h uma analogia forte entre os dois Lagrangeanos, sendo
que, no primeiro caso (campo), temos um conjunto de derivadas envolvendo
todas as dimenses do espao-tempo, e no apenas a derivada no tempo.
Da mesma forma, ento, as equaes de Euler-Lagrange para o Lagran-
geano do campo eletromagntico ,
a
a
f
f
x
c
| |
=
|
c
\ .
L L so dadas por:
a a
d
f dx f
x
| |
|
c c
|
=
c c | | |
c
|
|
c
\ .
\ .
L L

O termo do lado esquerdo desta equao apresenta o ndice repetido
por duas vezes, o que significa, segundo a notao de Einstein, que o mesmo
deve ser somado para todos os valores de ( 0,1, 2, 3 = ).
Trata-se de uma tpica equao de campo, conforme j vimos em nosso
estudo do campo escalar.
Esta a forma pela qual derivamos as equaes diferenciais do movi-
mento a partir do Princpio da Mnima Ao.
Estamos interessados aqui nas Equaes de Maxwell. Ns j vimos as
equaes do movimento para um campo escalar. Vamos agora nos concentrar
nas Equaes de Maxwell, que so dadas por:
. . 0 E B
E B B E j
V = V =
V = V = +

----------------------------------------------------------------------------------------------
OBS: Adotamos aqui unidades racionalizada, a fim de no carregar as equa-
es com constantes.
----------------------------------------------------------------------------------------------
Existe mais uma equao que fundamental na eletrodinmica.
As Equaes de Maxwell mostram como as cargas e seus movimentos
modificam os campos eletromagnticos. O outro lado desta questo como o
campo eletromagntico afeta as cargas, exercendo fora sobre elas. Este efeito
dado pela fora de Lorentz, cuja equao dada por:
( )
F E v B = +

q

Nosso objetivo, ento achar um Lagrangeano que, ao ser submetido ao
Princpio da Mnima Ao, resulte nestas cinco equaes do eletromagnetis-
mo.
Na verdade, como trs destas equaes so equaes vetoriais, temos um
total de 11 equaes.
Entre outras coisas, o Princpio da Mnima Ao que garante a existn-
cia do conceito de energia. Se na teoria das foras e dos campos eletromagn-
ticos no houvesse o conceito de uma energia conservada, no haveria o con-
ceito de conservao de energia para todas as outras coisas no universo, afinal
tudo composto por partculas carregadas, que interagem com campos eletro-
magnticos e gravitacionais.
A nica coisa que, segundo os princpios bsicos da fsica, garante a
existncia do conceito da conservao do momento e da energia o Princpio
da Mnima Ao, atravs da formulao do Lagrangeano para a mecnica e
para os campos.
Assim realmente importante derivar as equaes da fsica a partir do
Princpio da Mnima Ao, pois, caso isso no fosse possvel, nenhuma das
conexes entre simetrias e quantidades conservadas teria qualquer sentido. A
conservao da energia, do momento e da carga um conceito que depende da
simetria em relao ao princpio da mnima ao.
Vamos tentar criar uma teoria do eletromagnetismo, assumindo alguns
princpios bsicos, na verdade dois princpios bsicos.
O primeiro princpio se refere invarincia segundo as transformaes
de Lorentz (Teoria da Relatividade Restrita). Este princpio garante a veloci-
dade constante da luz em todos os sistemas de referncia, independente da
velocidade de translao e da orientao dos eixos de cada sistema no espao.
Este o princpio bsico de simetria do espao-tempo. O princpio de Lorentz
bastante simples do ponto de vista do Lagrangeano. A nica coisa que preci-
samos fazer ter certeza de que a densidade do Lagrangeano um escalar.
O segundo princpio, apesar de ser menos familiar, tambm no difcil.
Trata-se da invarincia segundo a transformao por calibre. A invarincia de
calibre surgiu da imposio de que um determinado Lagrangeano de um cam-
po escalar permanecesse invariante, quando submetido a uma modificao de
fase dependente da posio no espao. O fundamento desta condio foi que,
para satisfazer esta simetria, tornou-se necessrio criar um potencial vetor, A, e
adotar a derivada covariante do campo:
D i A
x

|
c
| |
= +
|
c
\ .
q

Assim, se ao mesmo tempo que a multiplicarmos | por
( ) i x
e
u
, ns trans-
formarmos A, de modo que:
'
1
A A
x

u c

c q
( q unidade de cargas eltri-
cas), ento a derivada covariante no se altera.
Portanto, se, ao invs de construirmos o Lagrangeano atravs da deriva-
da usual, utilizarmos a derivada covariante para o campo ( D
| ), ento, fazen-
do a respectiva transformao para A, o lagrangeano ser invariante por cali-
bre.
A ideia do potencial vetor surgiu, neste caso, da necessidade de compen-
sar as mudanas originadas pelas derivadas ordinrias do campo, a fim de sa-
tisfazer o requisito de invarincia de calibre. Surge ento a seguinte pergunta:
que tipo de Lagrangeano ns podemos construir, de tal modo que ele seja inva-
riante por calibre?
Vejamos primeiramente quais os tipos de estrutura que so invariantes
segundo a transformao por calibre.
A estrutura mais simples que podemos construir a partir de A, na condio de
invarincia por calibre, um tensor, cuja obteno se d diferenciao:
A
x

v
c
c
ou A
v
c .
----------------------------------------------------------------------------------------------
OBS: A um quadrivetor cuja componente no tempo corresponde ao potencial
eltrico. A em si mesmo no um invariante por calibre, como fcil verifi-
car.
----------------------------------------------------------------------------------------------
Quando o tensor A
v
c submetido a uma transformao por calibre,
surge um termo extra:
2
1
A A
x x
v v
v
u c
c c
c c q

Uma vez que o termo extra simtrico em relao aos ndices v e ,
ns podemos criar uma nova quantia, dada por A A
v v
c c , que resultar no
cancelamento do termo extra.
Obtemos ento o seguinte objeto:
A A
v v v
= c c F

o qual invariante segundo uma transformao por calibre.
A princpio,
v
F tem 16 componentes. Porm, uma vez que ele com-
posto por elementos antissimtricos em relao aos ndices v e , estas com-
ponentes ficam reduzidas apenas a 6 termos independentes. Representando na
forma de uma matriz, teremos:
01 02 03
01 12 13
02 12 23
03 13 23
0
0
0
0
F F F
F F F
F F F
F F F
v
(
(
(
=
(
(

F

Estas componentes nada mais so do que as componentes dos campos
eltricos e magnticos.
0 1
01 1 12
0 1
0 2
02 2 23 0 2
3 0
03 3 31 0 3
y
x
x z xy
y
z
y x yz
x z
z y zx
A
A A A
E B E
x x x y
A
A A A
E E B
x x y z
A A A A
E E B
x x z x
c
c c c
= = = = = =
c c c c
c
c c c
= = = = = =
c c c c
c c c c
= = = = = =
c c c c
F F F
F F F
F F F

Os campos eltricos envolvem as componentes no tempo, incluindo uma
derivada em relao ao tempo, enquanto os campos magnticos no envolvem
componentes no tempo e no contm uma derivada no tempo, mas apenas no
espao.
v
F o tensor eletromagntico, sendo que a coisa importante a respeito
dele o fato de ser um invariante segundo a transformao por calibre. Esta
a estrutura mais simples (e de fato, esta a nica estrutura) que pode ser feita a
partir da primeira derivada do potencial vetor, para obedecer invarincia por
calibre.
Nosso objetivo construir o Lagrangeano eletromagntico.
Os Lagrangeanos envolvem tipicamente os campos e as suas respectivas
derivadas.
O potencial vetor A no um invariante por calibre, portanto no h co-
mo coloc-lo no Lagrangeano sem romper a simetria por calibre. Por outro
lado, qualquer combinao do tensor eletromagntico pode fazer parte do La-
grangeano, sem quebrar a simetria por calibre.
A invarincia por calibre, portanto, no suficiente para estabelecer qual
a combinao de
v
F que deve ser empregada no Lagrangeano.
Outro requisito ou princpio que deve ser obedecido a invarincia se-
gundo a transformao de Lorentz. Para obedecer a esta condio, ns preci-
samos de uma quantia escalar.
Mas a quantia escalar mais simples que ns podemos formar a partir do
tensor eletromagntico
v
F obtida pela multiplicao dele por si mesmo, ou
seja, tomando-se o quadrado do tensor
v
F , cujo resultado a contrao dos
ndices em um escalar:
v
v
F F .
Na verdade, por uma questo de conveno, esta quantia multiplicada
por 1/4.
Assim, a quantia
4
v
v
F F
invariante tanto segundo a transformao
de Lorentz como segundo a transformao por calibre, constituindo a densida-
de de Lagrangeano do campo eletromagntico.
( )( )
1
4 4
A A A A
v
v v v
v v
= c c c c
F F

Esta expresso envolve um conjunto de operaes de quadrados de deri-
vadas do potencial. Em relao a este aspecto, o Lagrangeano bastante seme-
lhante quele j visto por ns para o campo:
*
| | c c .
No caso do campo escalar, ns podemos acrescentar um fator extra,
chamado de fator de massa:
2 *
m | | . No entanto, no h nada que possamos
acrescentar expresso do Lagrangeano eletromagntico que no envolva a
derivada do potencial vetor, pois o vetor em si e qualquer combinao dele
no invariante por calibre.
Vejamos o que representam algumas das componentes do tensor eletro-
magntico:

( ) ( )
2
01 10 2
01 10
1 1
2
4 4 2
x
x
E
E = = F F + F F

---------------------------------------------------------------------------------------------
OBS: As componentes espaciais tm sinais opostos, quando os ndices so
opostos (superior e inferior). As componentes do tempo ( 0 = ) tm sinais
iguais.
---------------------------------------------------------------------------------------------
Podemos deduzir ento que as componentes temporais do tensor eletro-
magntico resultam em:
( )
2 2 2
2
x x x
E E E + +
.
Com relao s componentes espaciais, tendo em vista que:
( )
2
12 21
12 21
1
4 2
z
B
= F F + F F

podemos concluir que as componentes espaciais resultam em:
( )
2 2 2
2
x x x
B B B + + .
Vemos ento que:
( )
2 2
1
2
E B
v
v
= F F .
O termo
2
E feito de derivadas do potencial em relao ao tempo, ele-
vadas ao quadrado. Esta justamente a forma anloga energia cintica do
Lagrangeano de um sistema de partculas. tambm anloga ao termo
2
|
.
Podemos dizer que o termo
2
E o termo referente energia cintica, no sen-
tido de conter o quadrado das derivadas no tempo.
O termo magntico
2
B no contm nenhuma derivada no tempo, apenas
no espao. Este o termo anlogo energia potencial.
Vemos ento que a densidade do Lagrangeano eletromagntico,
4
v
v
F F , formada pela diferena entre o termo correspondente energia
cintica (
2
E ) e o termo correspondente energia potencial (
2
B ). Esta jus-
tamente a forma esperada para o Lagrangeano, como, por exemplo, no caso do
Lagrangeano do campo escalar, onde temos:

( )
( )
2
2
1
, ,
2
L x y z
| | = c =
.
Da mesma forma, por completa analogia com tudo que j vimos, pode-
mos concluir que a forma para o Hamiltoniano eletromagntico deve ser dada,
como de fato o , pela soma
2 2
E B + .
Esta quantidade ento,
2 2
H E B = + , representa a densidade de energia
eletromagntica, cuja integral em todo o espao representa a energia eletro-
magntica total, que a quantia conservada:

( )
2 2 3
Energia E B d x = +
}

Vejamos agora as equaes do movimento. Considerando um termo es-
pecfico do Lagrangeano eletromagntico, podemos perceber o padro do re-
sultado das equaes de Euler-Lagrange.
( )( )
( )
( )
( )
( )
( )
( )
2
0 1 1 0 0 1 1 0
0 1 1 0
2
0 1 1 0
0 1 1 0 01
0 1
1
4
1
4 2
1
2
A A A A
A A
A A A A
A A
A A
A
v v
v v
= c c c c
c c
c c c c =
c c c
= c c =
c c
L
F

Com isso, podemos inferir que:

( )
A
v
v
c
=
c c
L
F

Dessa forma, podemos chegar s equaes do movimento. Ento as
equaes de Euler-Lagrange para o movimento so dadas por:
( )
x A A
v v
| |
c c c
| =
|
c c c c
\ .
L L

o que resulta em:
0
x
v
c
=
c
F

uma vez que o Lagrangeano no depende do potencial vetor em si.
Esta expresso corresponde s seguintes equaes de Maxwell:
. ; E B E V = V =

.
Neste caso, o rotacional de B
no inclui a densidade de corrente, que

ainda no levamos em considerao, pois, na presena de corrente, o Lagran-
geano deve ser modificado.
Vejamos uma das equaes contidas na expresso da equao de Euler-
Lagrange:
0 1 2 3
0 1 2 3
0
v v v v
c + c + c + c = F F F F

Para 0 v = , teremos:
00 10 20 30
0 1 2 3
0 0
y
x z
E
E E
x z z
c
c c
c + c + c + c = + + =
c c c
F F F F

Assim, na ausncia de cargas, esta equao representa a divergncia do
campo eltrico E
: . 0 E V =

.
Vejamos agora para 1 v = :
( )
01 11 21 31
0 1 2 3
junto com =2 e 3
0
x
x
B
E
B E
v
| |
|
\ .
V
c +c +c +c = V =

F F F F
Temos ento que as equaes de Euler-Lagrange correspondem a duas
das equaes de Maxwell. As outras duas equaes de Maxwell correspondem
(como pode ser facilmente verificado), a identidades. Elas no so equaes
do movimento. Elas simplesmente decorrem da definio de campos eltricos
e magnticos. Elas derivam do fato de que o campo eletromagntico definido
pelo tensor A A
v v
c c .
Assim, na ausncia de cargas, podemos obter, a partir do Lagrangeano
formado pelo quadrado do tensor eletromagntico, as equaes de Maxwell.
Vamos ver agora como as correntes so levadas em considerao no La-
grangeano eletromagntico.
Imaginemos que tenhamos uma corrente 4-vetor: j
.
Uma vez que a corrente faz parte das equaes do movimento
( . ; E B E j V = V = +

), ela dever fazer necessariamente parte do Lagran-

geano.
A corrente um 4-vetor, j
. Para contrair este 4-vetor em um escalar,

somente dispomos de outro 4-vetor: o potencial vetor A
. Portanto uma boa

tentativa acrescentar o termo j A
ao Lagrangeano eletromagntico.

4
j A
v
v
= +
F F
L

Ns estamos supondo que a corrente nos fornecida.
As coisas que so invariantes por calibre so ambguas, pois ns pode-
mos mud-las sem alterar nada da fsica em questo.
As coisas que variam quando submetidas a uma transformao por cali-
bre so coisas fisicamente observveis. Os observveis fsicos so quan-
tidades invariantes segundo as transformaes por calibre.
A corrente um observvel fsico, sendo uma quantidade que no muda
quando submetida a uma transformao por calibre.
Dado que j
invariante por calibre, podemos perguntar se a quantia

j A
tambm invariante por calibre? Vejamos:

Aplicando uma transformao por calibre em A
, teremos:
1
j A j A

u
| |
c
|
|
\ .
q
.
Portanto a mudana que ocorre dada pelo termo:
1
u c
q
.
Este termo nos indica que j A
no invariante por calibre. Porm

j A
compe a densidade do Lagrangeano, de modo que este termo extra

tambm se refere densidade do Lagrangeano.
Observemos ento como se comporta a integral deste termo extra, quan-
do estendida a todo o espao-tempo, pois o que de fato interessa saber se a
Ao permanece invariante por calibre, quando acrescida por este termo extra.
Se a ao for invariante por calibre, ento a fsica ser invariante por calibre:
Integrando a expresso
4
1
j d x
u c
}
q
por partes, teremos:
4 4
0
1 1 1
j d x j j d x

u u u
c = c
} } |
q q q

Assumindo que os campos e as cargas so nulos a distncias infinitas,
essa integral se reduz a:
4 4
1 1
j d x j d x

u u c = c
} }
q q

O termo j
c representa a equao da continuidade. Portanto

0 j
c = , equao esta que corresponde equao da conservao da carga

(continuidade):
. 0 j
t
c
+V =
c

Vemos que, nestas condies, a quantia j A
invariante por calibre.

interessante notar que a conservao da carga uma necessidade a ser satisfei-
ta, para que o Lagrangeano eletromagntico seja invariante por calibre.
Deste modo, o fato de obrigar o Lagrangeano a ser um invariante por ca-
libre, resultou na necessidade da conservao da carga.
Temos ento para o Lagrangeano eletromagntico:
1
4
j A
v
v
= + L F F

Se aplicarmos agora as equaes de Euler-Lagrange ao Lagrangeano ele-
tromagntico, veremos que haver termos extras no lado direito da equao,
resultantes da derivada em relao a A
. Estes termos, como pode ser facil-

mente verificado, correspondem densidade de carga (
0
ou j ) e densida-
de de corrente ( ou ( , , )
x y z
j j j j
).
Vamos verificar a divergncia de B
atravs das equaes de Euler-

Lagrange:
( ) ( )
( )
; ;
] .
. 0
. 0
x y z z y y z x x z z x y y z
x x y y z z x y z z y y z x x z
z x y y z
x y z x z y y z x y x z z x y z y z
B A A B A A B A A
B B B A A A A B
A A
B A A A A A A
B
= c c = c c = c c
= c + c + c = c c c + c c c + V
+c c c
V = c c c c + c c c c + c c c c =
V =

interessante notar que, mesmo se no tivssemos nos preocupado em
determinar se o termo j A
ou no um invariante por calibre, a condio da

conservao da carga resultaria como consequncia das equaes de Euler-
Lagrange. Vejamos como:

( )
1
4
Lagrangeano
Euler Lagrange
j A
j
x A A
v
v
v
v v
= +
c =
| |
c c c
| =
|
c c c c
\ .
L F F
F
L L

Derivando novamente esta expresso para a continuidade, obteremos:
j
v v
v v
c c = c F
.
No entanto:
21 12 31 13
1 2 2 1 1 3 3 1
; ; . . . . . c c = c c c c = c c F F F F .
Portanto 0 0 j
v v
v v
c c = c = F . Isto significa que a carga conser-
vada, como consequncia das equaes do movimento.
Ficamos assim com dois argumentos independentes para a conservao
da carga. Por um lado, a invarincia por calibre s se mantm se a carga for
conservada. Por outro lado, a conservao da carga uma consequncia direta
das equaes do movimento, obtidas do Lagrangeano eletromagntico atravs
das equaes de Euler-Lagrange. Neste segundo argumento, podemos concluir
que as equaes de Maxwell seriam inconsistentes, se no houvesse conserva-
o da carga.
Se ns associssemos uma corrente correspondente a uma partcula
carregada em movimento e acrescentssemos ao Lagrangeano eletromagntico
desta partcula a sua energia cintica correspondente, ento, aplicando as
equaes de Euler-Lagrange ao Lagrangeano resultante, obteramos a equao
da fora de Lorentz.

Teoria de Campo - Prof. Susskind - PDF Formatado para Ipad

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Teoria de Campo - Prof. Susskind - PDF Formatado para Ipad

Enviado por

Direitos autorais:

Formatos disponíveis

Teoria de Campo e Relatividade 1

Notas das aulas do Prof. Susskind Universidade de Stanford

, confirmando a condio de compatibilidade.

, ou seja, refere-se apenas localizao do sistema] e terminando aps

= (Jt, Jx, Jy, Jz) A

= (Jt, -Jx, -Jy, -Jz)

= (Jt, Jx, Jy, Jz)

= (Jt, -Jx, -Jy, -Jz)

ser, de maneira anloga a Jx

. Ento ns podemos formar uma nova quantia:

) for um invariante, ento B ser

representa as quatro componentes:

| um 4-vetor. No entanto surge a dvida se

| seja invariante, ento provaremos que

um quadrivetor conhecido e contravariante.

, mudando o sinal das componentes espaciais de

. Da mesma forma, podemos criar uma verso contravariante de

| | . A notao adotada para esta expresso do invariante :

| (notaes equivalentes para sua expresso covarian-

| (notaes equivalentes para sua expresso para sua

| | (considerando c = 1), cujo valor independe do sistema de coordenadas

| c L chamada de densidade de Lagrangeano, que inte-

, alm disso, usamos

, x t | seja a soluo para a minimizao da ao.

, x t | , a variao da Ao deve ser nula:

, ou, uma vez que

durante os clculos, para, so-

a densidade de carga, cuja

para a transformao de Lorentz.

. Assim a nica coisa

| | c c : quantia complexa multiplicada pelo seu conjugado, cujo valor

quarta componente do momento relativstico.

correspondem s trs componentes do

, acrescentado por ns, ir sofrer, assim

e do prprio campo em si: ,

no inclui a densidade de corrente, que

), ela dever fazer necessariamente parte do Lagran-

. Para contrair este 4-vetor em um escalar,

. Portanto uma boa

invariante por calibre, podemos perguntar se a quantia

tambm invariante por calibre? Vejamos:

no invariante por calibre. Porm

compe a densidade do Lagrangeano, de modo que este termo extra

c representa a equao da continuidade. Portanto

c = , equao esta que corresponde equao da conservao da carga

invariante por calibre.

. Estes termos, como pode ser facil-

atravs das equaes de Euler-

ou no um invariante por calibre, a condio da

Você também pode gostar