5. TEORIA DA RELATIVIDADE RESTRITA.

TRANSFORMAES DE
LORENTZ. COVARINCIA DA ELETRODINMICA. TRANSFORMAES
DO CAMPO ELETROMAGNTICO.
5.1 Introduo

5.2 As transformaes de Lorentz

5.3 Quadrivetores, tensores, leis de conservao

5.4 Densidade de carga e densidade de corrente como componentes
de um quadrivetor. A equao da continuidade

5.5 Quadrivetor potencial. Covarincia da eletrodinmica

5.6 Transformaes do campo eletromagntico

5.7 O campo de uma carga pontual em movimento uniforme
1
5. TEORIA DA RELATIVIDADE RESTRITA
5.1 INTRODUO [ver Landau-Lifshitz e J.D. Jackson (Cap. 11, segunda edio)]
Para a descrio de processos que ocorrem na natureza, necessitamos de um SISTEMA DE
REFERNCIA. Existem sistemas de referncia nos quais uma partcula LIVRE (sbre a qual no atuam
fras externas) se move com velocidade constante. Tais sistemas de referncia so ditos INERCIAIS.
A experincia mostra que o chamado PRINCPIO DA RELATIVIDADE (ou POSTULADO DA
RELATIVIDADE) vlido. De acrdo com ste princpio, as leis da natureza so idnticas em todos
os sistemas de referncia inerciais. Em outras palavras, as equaes que expressam as leis da
natureza so INVARIANTES com respeito a transformaes de coordenadas e tempo de um sistema
inercial para outro inercial. Isto significa que a equao descrevendo qualquer lei da natureza, quando
escrita em trmos de coordenadas e tempo em sistemas de referncias inerciais diferentes, tem uma
nica forma. A interao de partculas materiais descrita em mecnica usual (newtoniana ou
clssica) por meio de uma energia potencial de interao, que aparece como funo das
coordenadas das partculas que interagem. fcil ver que esta maneira de descrever interaes contm
a hiptese de PROPAGAO INSTANTNEA DE INTERAES, pois as foras exercidas em cada
partcula pelas outras partculas em um instante particular de tempo dependem, de acrdo com esta
descrio, somente das posies das partculas neste instante.
2
Uma mudana na posio de qualquer das partculas que interagem influencia as outras partculas
IMEDIATAMENTE. ENTRETANTO, A EXPERINCIA MOSTRA QUE INTERAES INSTANTNEAS
NO EXISTEM NA NATUREZA. Portanto uma mecnica baseada na hiptese de propagao
instantnea de interaes contm dentro de si uma certa aproximao ou incerteza. Na realidade,
qualquer mudana ocorrida em um dos corpos participantes da interao somente ir influenciar os
outros corpos depois de um certo intervalo de tempo. somente aps este intervalo de tempo que
processos causados pela mudana inicial comeam a ocorrer num segundo corpo. Dividindo a distncia
entre os dois corpos pelo intervalo de tempo, obtemos a VELOCIDADE DE PROPAGAO DA
INTERAO.
Do princpio da relatividade segue ento que a velocidade de propagao de interaes a MESMA
em TODOS os sistemas inerciais de referncia (L. Landau e E. Lifshitz, The Classical Theory of Fields,
Cap. 1). Esta velocidade constante (como veremos adiante) a velocidade da luz no espao vazio.
POSTULADO DA CONSTANCIA DA VELOCIDADE DA LUZ

A velocidade da luz independente do movimento de sua fonte.
ou
A velocidade da luz no espao vazio a mesma em todos os sistemas
de referncia e independente do movimento do corpo emissor
(A. EINSTEIN, 1905)

A mecnica relativstica tem como limite, quando a velocidade c da luz no vcuo
vai a infinito a mecnica usual (NEWTONIANA ou CLSSICA), baseada
na hiptese de propagao instantnea de interaes.

Em mecnica clssica, o tempo absoluto; em outras palavras, as propriedades
do tempo so assumidas independentes do sistema de referncia; existe UM
tempo para todos os sistemas de referncia. Isto significa que quando dois
fenmenos ocorrem simultaneamente para um dado observador, tambm ocorrem
simultaneamente para todos os outros. O intervalo de tempo entre dois eventos
dados idntico em todos os sistemas de referncia.

fcil mostrar, entretanto que a idia de um tempo absoluto est em completa
contradio com o princpio da relatividade de Einstein.
( ), c
3
Para isto suficiente lembrarmos que em mecnica clssica, baseada no conceito
de tempo absoluto, uma lei geral de combinao de velocidades vlida de
acrdo com a qual a velocidade de um movimento composto simplesmente igual
soma (vetorial) das velocidades que constituem ste movimento. Esta lei, sendo
universal, deveria tambm ser aplicvel propagao de interaes. E da
seguiria que a velocidade de propagao deveria ser diferente em sistemas de
referncia inerciais, em contradio com o princpio da relatividade. Nste
aspecto, a experincia completamente confirma o princpio da relatividade.
Medidas feitas inicialmente por Michelson (1881) mostraram completa
independncia da velocidade da luz em sua direo de propagao, enquanto de
acordo com a mecnica clssica a velocidade da luz deveria ser menor do que c
na direo do movimento da Terra e maior na direo oposta. ENTO O
PRINCPIO DA RELATIVIDADE NOS LEVA AO RESULTADO DE QUE O TEMPO
NO ABSOLUTO. O tempo flui diferentemente em sistemas de referncia
diferentes. Consequentemente, a afirmao que um intervalo de tempo definido
ocorreu entre dois eventos dados adquire um significado SMENTE quando o
sistema de referncia, para o qual a afirmao se aplica, indicado. Em
particular, eventos que so simultneos em um sistema de referncia no
sero simultneos em outros sistemas de referncia.

Para clarificar, instrutivo considerar o seguinte exemplo simples: dois sistemas
inerciais de referncia K e K

com coordenadas XYZ e X

YZ

, respectivamente,
onde o sistema K se move relativo K ao longo do eixo X (X

).

4
Suponha a existncia de sinais de luz enviados de um ponto A no eixo X

em duas
direes opostas. Como a velocidade de propagao de um sinal de luz no sistema
K

, como em todos os sistemas inerciais, igual (para as duas direes) a c, os

sinais alcanam os pontos B e C, equidistantes de A, ao mesmo tempo (no
sistema K

).
fcil ver que os mesmos dois eventos (chegada do sinal em B e C) no
podem ser simultneos para um observador no sistema K. Na realidade, a
velocidade dos sinais relativa ao sistema K , de acrdo com o princpio da
relatividade, o mesmo valor c, e como o ponto B se move (relativo ao sistema K)
em direo fonte do sinal, enquanto o ponto C se move na direo para mais
longe da fonte A, no sistema K o sinal chegar B antes de chegar ao ponto
C.
5
Se consideramos dois referenciais S e S

com coordenadas (x,y,z,t) e

(x

, y

, z

, t

), respectivamente, com S

se movendo com velocidade v
constante em relao a S,
a mecnica newtoniana INVARIANTE segundo as transformaes ditas
de Galileu
t t z z y y vt x x = = = = ; ; ;
Isto bvio para as equaes de movimento de partculas que so
invariantes sob estas transformaes, isto ,
( )
j i
i j
ij i i
r r V r m

V =

=
6
( )
j i
i j
ij i i
r r V r m

V =

=
Uma vez que o princpio da relatividade de Galileu aplicava-se para a
mecnica mas no para as leis do eletromagnetismo, j entendidas como
o conjunto das equaes de Maxwell, trs alternativas se apresentavam
aos fsicos no limiar deste sculo.

1. As equaes de Maxwell eram incorretas. A teoria apropriada do
eletromagnetismo era invariante sob as transformaes de Galileu.

2. O princpio da relatividade de Galileu existe para a mecnica, mas no
para a eletrodinmica. Neste caso, existe um referencial privilegiado
o ter.

3. Existe um princpio da relatividade para a mecnica clssica e
eletromagnetismo, mas no a relatividade de Galileu, o que implicaria
que as leis da mecnica necessitariam ser modificadas.
7
Portanto, no virar do sculo, um dos problemas cruciais era a medida da
velocidade do ter (o meio no qual a luz se propagava). A idia era que a luz
teria uma velocidade fsica em relao ao ter, e logo, se soubermos a
velocidade deste em relao ao observador na Terra, podemos conhecer a
velocidade da luz em qualquer direo para um observador na Terra.
Vrios outros tipos de dificuldades j haviam surgido com o conceito do
ter. Por exemplo, se no referencial do ter a velocidade da radiao pode ser
considerada uma constante independente da direo, isto no era previsto para
qualquer outro referencial, onde a velocidade da radiao dependeria da
direo. Isso poderia significar, por exemplo, que a fra entre duas bobinas
dependeria de suas orientaes em relao ao referencial do ter. Ento as
equaes de Maxwell teriam de ser totalmente modificadas, pois elas no
contm nada que descreva tal situao.
A mais famosa experincia em busca da velocidade do ter foi a
experincia de Michelson-Morley (1887). Desde que o ter no tinha
problemas em passar atravs da matria e portanto no seria carregado pela
Terra, poder-se-ia antecipar uma variao da velocidade da luz na superfcie da
Terra, uma vez que ela se move em torno do Sol. Isto NO foi observado por
Michelson e Morley. Muitas outras experincias do tipo da exp. de Michelson e
Morley nunca detectaram evidncia de movimento em relao ao ter.

(veja Panofsky-Phillips para detalhes do experimento de Michelson e Morley)

8
5.2 As transformaes de Lorentz
Vamos ento procurar derivar as transformaes de um referencial S
para outro S

, que substitua as transformaes de Galileu e que contenham

a idia de que a relao entre o intervalo de tempo observado em dois
referenciais diferentes depende da separao espacial entre os eventos.
A transformao mais geral possvel seria
x

=F(x,t)
y

=y
z

=z
t=G(x,t)
9
ste tipo de transformao nos leva a um determinado tipo de variao das
coordenadas dado por
dt
t
F
dx
x
F
dx
c
c
+
c
c
=
dt
t
G
dx
x
G
dt
c
c
+
c
c
=
Como o referencial S

se move em relao ao referencial S com velocidade v ao
longo da direo x positiva, podemos impor que quando x

= 0, x = vt. Ento
v t t v o o = =
e, portanto
( ) vt x x =o
Por simetria, devemos considerar que preferencial S se move para a
esquerda com velocidade v em relao ao referencial S

; portanto
quando x = 0, devemos ter ; ento
t t vt x e o = = e
vt x =
10
A transformao desejada deve ser linear, para garantirmos
matemticamente a equivalncia de todos os pontos no espao e no tempo, isto
, no devem existir pontos privilegiados no espao e no tempo. Isso implica que
o universo homogneo, infinito e estacionrio. Neste caso devemos ter
t
G
x
G
t
F
x
F
c
c
c
c
c
c
c
c
e , ,
constantes, e
t x x o + =
t x t e o + =
Como
e o= = vt x
As transformaes se escrevem ento
( ) vt x x =o
t x t o o + =
( ) *
Evidentemente, podemos obter as transformaes inversas que relacionam
x e t com x e t:

11
v
x
v
t
t
v
vt x
x
oo o
o
o o o o +

+
=
+
+
=
2

,

( ) * *
v
x
v
t
t
v
vt x
x
oo o
o
o o o o +

+
=
+
+
=
2

,

Por outro lado, devemos impor invarincia de reflexo em (*). Note que
podemos definir parmetros e introduzir o parmetro


( ) v o o
( ) ( ) v v v o
; logo,
()( ) vt x v x =o
() ()x v v t v t o + =
que, por invarincia de reflexo nos leva a
( )( ) vt x v x + =o
( ) ( ) x v v t v t = o
( ) * * *
12
o que implica em
) ( ) ( ) ( ) (
2 2
v v e v v o o = =
As equaes podem ser reescritas na forma
( ) * *
) ( ) ( ) (
) (
) ( ) (

e
) ( ) (

2 2 2 2 2
2
2 2 2 2 2 2
v v v v
x v v
v v v
t
t
v v v
vt x
x
o o

o o +

+
=
+
+
=
Note das equaes anteriores que temos
1 )] ( ) ( )[ (
2 2 2 2
= + v v v v o o
que nos leva a uma relao entre . e o
(0)
13
Vamos agora utilizar uma propriedade tambm de simetria das transformaes que
a seguinte: se um referencial S

se move em relao ao referencial S com

velocidade v, e o referencial S

se move em relao ao referencial S com

velocidade u, ento S

se move em relao a S com velocidade e existe uma
relao entre , u e v. Vamos procurar estabelecer esta relao. Vamos
inicialmente escrever a relao que transforma x

, t

em x, t utilizando (***)
()( ) ut x u x =o
() () x u u t u t o + =
Utilizando agora (***)
()( ) vt x v x =o
() ()x v v t v t o + =
(1)
(2)
14
Substituindo (2) em (1), temos a relao de transformao entre x

, t


e x, t dada por
()()( ) () () | | x v uv t v u vt x v u x o o o =
()() () | |()()( ) vt x v u u x v v t v u t + + = o o o
Por outro lado, x

, t

se transforma em x, t como
( )( ) t x x e e o =
() ()x t t e e e o + =
(3)
Comparando as duas expresses acima para a varivel x

obtemos que
()() () | | ()()()t u v v u x v uv v u x + = o o o o
15
e podemos identificar
() ()() () | | v uv v u o o e o =
(4)
e
() ()()( ) u v v u + = o o e e o
Logo, obtemos
( )
( ) v
v
uv
u v
o

+
=
1
(5)
Fazendo o mesmo para a varivel t

,
()()() | | ()()()() | |x u v u v u v t u uv u v t o o o o + + =
16
e tiramos que
() ()() () | | u uv u v o o e o = (6)
() ()() ()() u v u v u v o o e e + =
Uma comparao entre (6) e (4) nos leva relao
( )
( )
( )
( ) u
u
v
v
o

=
que nos diz ser esta relao independente da velocidade. ste resultado seria
o mesmo independente da ordem em que transformssemos x

, t

em x, t. Em
trmos matemticos significa que as transformaes de Lorentz formam um grupo
com propriedades comutativas e portanto abeliano; sendo um grupo abeliano, s
depende de um parmetro.

Vamos definir a relao
o /
o

17
atravs da constante que deve ser determinada experimentalmente
2
1
c

o
2
1
c
=
(7)
Da equao (0), obtemos ento como sendo
o
=
|
|
.
|

\
|
1 1
2
2
2
c
v
o
2
2
1
1
c
v

= o
e bviamente
2
2
2
1
1 1
c
v
c

=
18
As transformaes de Lorentz so ento escritas em sua forma usual
(ver eq. 2) :
2
2
1

c
v
vt x
x

=
2
2
2
1
/

c
v
c vx t
t

=
y y =
z z =
e a expresso de adio de velocidades (ver eq. 5)
2
/ 1 c uv
v u
+
+
= e
19
ver Prob. 2, Lista 6: Prob. 11.2 do Jackson, 2
a
ed.
Note que poderamos ter definido o parmetro envolvendo a relao
entre como sendo positivo, isto ,

Tal escolha traria problemas na interpretao fsica de adio de velocidades
pois com duas velocidades finitas, poder-se-ia obter uma velocidade infinita,
o que no fsicamente aceitvel.

Vamos reescrever as transformaes de Lorentz de um modo compacto
definindo a matriz
o e 2
/ 1 c =
o

|
|
|
|
|
.
|

\
|

=
|
|
0 0
0 1 0 0
0 0 1 0
0 0
i
i
L
onde introduzimos as definies
c v/ = |
2
1 / 1 | =
20
Introduzindo agora as novas variveis complexas
(H. Minkowski espao de Minkowski)
ict x z x y x x x = = = =
4 3 2 1
, , ,
podemos escrever as transformaes de Lorentz como
v
v
v
x L x

=
=
4
1

ou
|
|
|
|
|
.
|

\
|

1
x
x
x
x
|
|
|
|
|
.
|

\
|

=
|
|
0 0
0 1 0 0
0 0 1 0
0 0
i
i
|
|
|
|
|
.
|

\
|
4
3
2
1
x
x
x
x
21
Note que a matriz
|
|
|
|
|
.
|

\
|

=
|
|
o
0 0
0 1 0 0
0 0 1 0
0 0
i
i
tal que
, 1 = = o o L L
ou seja,
1
= L o
Ou ainda

4
1
v
v
v
o x x

=
=
( )
v
1
L
22
Note que a transformao de Lorentz inversa, i.e., a transformao que nos
leva do sistema x

, t

para o sistema x, t, dada pela matriz transposta de L:

ij ji
L L L = = =

o o ou
~
1
conveniente, nste ponto, discutirmos transformaes ortogonais no
contexto do espao tridimensional ordinrio.
Uma transformao linear se as novas coordenadas podem ser expressas
como uma combinao linear das coordenadas antigas:
3 13 2 12 1 11

1
x a x a x a x + + =
3 23 2 22 1 21

2
x a x a x a x + + =
3 33 2 32 1 31

3
x a x a x a x + + =
ou
,

j ij j
j
ij i
x a x a x = =

23
onde usamos a conveno usual de que ndices repetidos devem ser
somados; uma transformao ortogonal se ela deixa o comprimento do vetor

deslocamento inalterado.

Se uma transformao ortogonal, temos
|
.
|

\
|

i
i
x
2
ou
( )

=
k
k
i
i
x x
2 2

Mas
()
k j ik
j k
ij i
x x a a x

=
2

e
()
k j ik
j k i
ij
i
i
x x a a x

=
2

24
Para a transformao ser ortogonal, devemos ter ento
jk ik
i
ij
a a o =

que a condio para uma transformao ser ortogonal. } {

ij
a
fcil ver que a rotao de um ngulo em trno do eixo z
u
u uysen x x + =cos
u u cos y xsen y + =
z z =
satisfaz ste critrio e uma transformao ortogonal. fcil mostrar que a inversa
de uma transformao ortogonal a transposta da transformao original.
ij ji
a a ou a a = =

) (
~
1 1
25
jk ik
i
ji
a a o =

~
ou
Um vetor pode ser definido como uma quantidade que possui mdulo, direo
e sentido num ponto do espao. Uma outra definio poderia ser:

Um vetor uma quantidade cujas componentes se transformam sob uma
transformao ortogonal como as componentes do vetor posio.

Portanto, se um vetor, seu transformado , resultante de uma
transformao ortogonal ,

F

F a F

=

ou
j
j
ij i
F a F

=

Tensor de segunda ordem, ou tensor

dois vetores
X F

e
a
X T F

=
transformao ortogonal

X T F

=
a
26
()
km jk
j k
ij im
T a T

1
= = a T a T a T

Os resultados anteriores podem ser diretamente aplicados ao espao-tempo
de dimenso 4, com a componente
ict x =
4
(ver sees 17.3, 17.4, 17.5, Reitz-Milford, 2nd edition, 1967)
fcil ver que a matriz L associada transformao de Lorentz
v v
x L x =
corresponde a uma transformao ortogonal, i.e., que
v

v
o =

=
L L
4
1
27
ou
v

v
o =

=
L L
4
1
~
L L
~
1
=

ou
ou
(ver Prob. 1, Lista 7)
Uma rotao no espao tridimensional em uma representao quadri-dimensional
toma a forma de matriz
|
|
|
|
|
.
|

\
|
=
1 0 0 0
0
0
0
33 32 31
23 22 21
13 12 11
a a a
a a a
a a a
R
e uma rotao no espao tri-dimensional expressa ento como

=
=
4
1

v
v v
x R x
As matrizes R e L so ambas um subconjunto de tdas as rotaes no espao
de quatro dimenses (grupo de Lorentz); e as transformaes de Lorentz so
relaes lineares entre coordenadas espao-tempo com o vnculo
te
4
1
2
c =

=

x
ou seja, 2 2 2 2 2 2 2 2 2 2
t c z y x t c z y x + + = + +
invariante de Lorentz.
(Matemticamente, a transformao de Lorentz funciona como uma rotao no
espao quadri-dimensional, mas uma rotao de ngulo imaginrio no plano x
1
x
4
)
invariante de Lorentz.
(Matemticamente, a transformao de Lorentz funciona como uma rotao no
espao quadri-dimensional, mas uma rotao de ngulo imaginrio no plano x
1
x
4
)
28
5.3 QUADRIVETORES, TENSORES, LEIS DE CONSERVAO
Consideremos as transformaes de Lorentz
v v
x L x =
onde usaremos a partir de agora a conveno de que ndices repetidos significam
uma soma sobre esses ndices. Nesta notao, o invariante de Lorentz
2 2 2 2 2 2
dt c dz dy dx ds + + =
deve ser escrito explcitamente, enquanto que na notao
, , , ,
4 3 2 1
ict x z x y x x x = = = =

dx dx ds=
2
O conjunto de quatro quantidades A
1
, A
2
, A
3
, A
4
, que sob as transformaes
do sistema quadri-dimensional de coordenadas, se transforma como as
componentes , chamado de QUADRI-VETOR A
i
.
4 3 2 1
, , , x x x x
v
v
v
A L A

=
=
4
1

29
Consideremos agora um sistema em que a partcula encontra-se
instantneamente em repouso, isto ,
0 = = = dz dy dx
e definimos o tempo prprio da partcula pela relao
t d dt =
Como a quantidade ds
2
um invariante de Lorentz,
,
2 2 2 2 2 2 2
t d c dt c dz dy dx = + +
o que nos leva definio de em trmos da velocidade v, t d
2
1 | t =dt d
30
(veja a demonstrao a seguir)
ou dz dy dx dt c
c
d
2 2 2 2 2
1
( = t
; 1
2 2
2 2 2
dt c
dz dy dx
dt d
+ +
= t
mas
2
2
2 2 2
v
dt
dz dy dx
=
+ +
, onde v a velocidade dos relgios
que se movem com a partcula e que
medem um intervalo



portanto
) 1 , 1
2
2
2
| t t = = = dt d ou
c
v
dt dt d
Landau-Lifshitz, The Classical Theory of Fields, Sect.1.3
31
; dt d = t
Integrando esta expresso, obtemos o intervalo de tempo indicado pelos
relgios em movimento (com a partcula), quando o tempo decorrido medido
pelo relgio em repouso t
2
- t
1
:
}
= = A
2
1
2
2

2
1
t
t
c
v
dt t t t
2
2
1
c
v
t A =
te
c v
O TEMPO INDICADO POR UM RELGIO EM MOVIMENTO COM UMA DADA
PARTCULA CHAMADO TEMPO PRPRIO DA PARTCULA.
Como vemos das expresses anteriores, o tempo prprio de um dado objeto
em movimento sempre MENOR que o intervalo de tempo correspondente no
sistema em repouso. Em outras palavras, relgios em movimento andam
mais devagar que relgios em repouso.


(veja tb Seo 16.2, Panofsky-Phillips, Classical Electricity and Magnetism)
32
Landau-Lifshitz, The Classical Theory of Fields, Sect.1.3
A partir da definio de tempo prprio, podemos procurar definir uma
quantidade dinmica simples, do tipo quadri-vetor, pela relao
|
|
.
|

\
|

=
2 2
1
,
1 | |
t t

ic v
d
dt
dt
dx
d
dx

com
3 ,..., 1 =
|
.
|

\
|
=
i
i
dt
dx
v

Podemos definir agora um quadri-momentum que ser associado

massa de repouso da partcula
|
|
.
|

\
|

=
2
0
2
0
1
,
1 | |
t

c im v m
d
dx
m p
o

33
Definindo a energia da partcula como
2
2
0
1 |
=
c m
E
e sua massa como sendo
2
0
1 |
=
m
m
o quadri-momentum escrito como
|
.
|

\
|
=
c
E
i v m p ,

34
muito interessante ste resultado: as quantidades (p
x
, p
y
, p
z
, iE/c)
se transformam como um quadrivetor sob as transformaes de Lorentz,
e se a conservao do momentum independente do sistema de
coordenadas, ento a energia se conserva.
RELATIVSTICAMENTE, A CONSERVAO DA ENERGIA E A CONSERVAO
DO MOMENTUM NO SO PRINCPIOS INDEPENDENTES.
( )
2
2
0
2 2 2
c m c p E =
Como vimos antes, definimos um quadrivetor como um objeto que se
transforma de acordo com as transformaes de Lorentz,



Se um objeto no modificado sob uma transformao de Lorentz, ele
denominado uma quantidade escalar. Exemplos so os invariantes ds
2
,
p
2
, etc.
v v
A L A =

35
As quantidades obtidas diferenciando-se um escalar em relao s
variveis so quadrivetores pois
4 3 2 1
, , , x x x x

v
v
| |
x
x
x x c
c
c
c
=
c
c
Para calcular , utilizamos

v
x
x
c
c
1
v
v
v v v
x L x L x ou x L x = = =

Portanto
v
v

| |
x
L
x c
c
=
c
c

36
ver Prob. 5, Lista 6: Prob. 14-8 da

3
a
edio do Heald-Marion, Classical
electromagnetic radiation.
Mostre que o gradiente quadri-dimensional de um escalar no espao
de Minkowski (o chamado escalar de Lorentz) um quadri-vetor.
A quadri-divergncia de um quadrivetor um invariante de Lorentz:
( )

v
v

v
v v v

x
x
x
A
L
x
A
L A L
x x
A
c
c
c
c
=
c
c
=
c
c
=
c
c
v
v

v
v

x
A
x
A
L L
x
A
c
c
=
c
c
=
c
c

v
o
Portanto
v
v

x
A
x
A
c
c
=
c
c

37
O operador DAlembertiano definido por

x x x t c c
c
c
c
=
c
c
=
c
c
V =

2
2
2
2
2
2
1
tambm um invariante de Lorentz. De fato
|
| |
|
v
v

=
c
c
=
c
c
=
c
c
c
c
=
c
c
=

x
A
A
x x x x

2
2

| |=
38
O produto direto de dois quadrivetores um invariante de Lorentz:
v v v v v v
A A A A L L A L A L A A = = =

Portanto
v v
A A A A =

39
Um tensor de segunda ordem definido como um arranjo de 16 objetos que se
transformam do mesmo modo que as quantidades A

A
v
sob uma transformao
de Lorentz:
v v
T L L T =

A quadrivergencia de um tensor de segunda ordem se transforma como um

quadrivetor. De fato,
o
o

o
o

vo v
v
o
o

v
v
v
o
x
T
L
x
T
L
x
T
L L L
x
x
x
T
L L
x
T
c
c
=
c
c
=
c
c
=
c
c
c
c
=
c
c

Portanto
o
o

v
v
x
T
L
x
T
c
c
=
c
c

Tensores de ordem mais alta so definidos pelas transformaes do tipo

...

...
...
v |v o o|
T L L L T =
5.4 Densidade de carga e densidade de corrente como componentes de um
quadrivetor. A equao da continuidade
Do primeiro postulado da relatividade, segue que as equaes matemticas
expressando as leis da natureza devem ser COVARIANTES, isto , invariantes
em forma segundo as transformaes do grupo de Lorentz (rotaes
ordinrias e transformaes de Lorentz).
Equao da continuidade:

0 . =
c
c
+ V
t
J


(1)
O quadrivetor densidade de corrente:
( )
v
v
ic v
dt
dx
j ,

=
(Landau-Lifschitz, Se 4.3, Classical Theory of Fields)
40
ou |
.
|

\
|
= = = =
dt
dz
j
dt
dy
j
dt
dx
j v j
3 2 1
, ,

e
ic j =
4
( )

ic j j ,

= (2)
eq. da continuidade

ou
0 =
c
c

x
j
0 = j Div
(COVARIANTE) (3)
5.5 Quadrivetor potencial; Covarincia da Eletrodinmica
Se satisfazem a condio de Lorentz
| e A

0
1
. =
c
c
+ V
t c
A
|

temos
t
|
| 4
1
2
2
2
2
=
c
c
V
t c

j
c t
A
c
A

t 4 1
2
2
2
2
=
c
c
V
= invariante de Lorentz
( ) r quadriveto , ic j j
u

= 41
( ) r quadriveto , ic j j
u

=
( ) |

i A A ,

=
o quadrivetor potencial
com

t
j
c
A
4
=
(5)
FORMA
COVARIANTE
0 =
c
c

x
A
(6) e a condio de Lorentz
42
(4)
Os campos so dados por
B E

e
t
A
c
E
c
c
V =


1
|
A B

V =
(7)
Podemos escrever as componentes explicitamente; por exemplo,
1
4
4
1
1
x
A
x
A
iE
c
c

c
c
=
3
2
2
3
1
x
A
x
A
B
c
c

c
c
=
e ento evidente que o campo eltrico e induo magntica so elementos

do tensor field-strength de segunda ordem e antissimtrico
v
F
43
Vamos agora procurar os campos existentes em cada ponto do espao-tempo em
trmos das componentes do quadrivetor potencial.
|
|
|
|
|
.
|

\
|



=
0
0
0
0
3 2 1
3 1 2
2 1 3
1 2 3
iE iE iE
iE B B
iE B B
iE B B
F
v
|
|
.
|

\
|
c
c

c
c
=
v

v
v
x
A
x
A
F
(8)
Suponha agora que tomemos a quadridivergencia de
:
v
F
2
2
2
2
v

v
v
v
v
x
A
x
A
x
A
x x
F
c
c
=
c
c

|
|
.
|

\
|
c
c
c
c
=
c
c
use (6)
use (8)
44
Logo

v v
v
A
x
A
x x
F
=
|
|
.
|

\
|
c
c
c
c
=
c
c

t
j
c
4
=
use (5)
Portanto

v
v
t
j
c x
F
4
=
c
c
FORMA COVARIANTE
ou
j
c
F Div
t 4
= (9)
fcil ver que a equao acima reproduz as equaes de Maxwell no
homogneas
t 4 . = VE

t
E
c
j
c
B
c
c
+ = V

1 4t
45
As equaes de Maxwell homogneas podem ser escritas como
0 . = VB

0
1
=
c
c
+ V
t
B
c
E


e na forma covariante
0 =
c
c
+
c
c
+
c
c

v
v

v
x
F
x
F
x
F
(10)
onde so diferentes e valem 1,2,3 e 4 (quatro equaes).
Cada trmo da equao acima se transforma como um quadritensor
de terceira ordem e a equao covariante em forma.
v e ,
46
Resumo:
espao-tempo:

densidade de carga-corrente:

potencial:


tensor campo:

equaes de Maxwell:



equao de onda para o potencial:

( ) ict z y x x , , , =

( ) ic J J J j
z y x
, , , =

( ) | i A A A A
z y x
, , , =

v
v
x
A
x
A
F
c
c

c
c
=
0 ;
4
=
c
c
+
c
c
+
c
c
=
c
c

v
v

v
v
t
x
F
x
F
x
F
j
c x
F

t
j
c
A
4
=
47
condio de Lorentz:


equao da continuidade :
0 =
c
c

x
A
0 =
c
c

x
j
As equaes (10) homogneas podem ser reescritas em uma forma
semelhante equao (9) introduzindo o tensor completamente anti-simtrico
de ordem 4, , definido como zero se dois ndices so
iguais, se no h ndices iguais e 1234 pode
ser obtido de por uma permutao par de ndices
sendo no caso de uma permutao mpar de ndices.

As componentes desse tensor so invariantes sob transformaes de Lorentz.
Podemos construir um tensor de ordem 2, definido por suas componentes
vo
c
1 e 1
1234
= =
vo
c c
vo
1 =
vo
c
48
o vo v
c F
i
G
2
=
(11) de modo que
|
|
|
|
|
.
|

\
|
+ + +
+
+
+
=
0
0
0
0
z y x
z x y
y x z
x y z
iB iB iB
iB E E
iB E E
iB E E
G
v
As equaes (10) so equivalentes a
0 =
c
c
v
v
x
G
(12)
Note que obtido de fazendo



As equaes de Maxwell podem ser ento escritas como [eqs. (9) e (12)] :
v
G
v
F
. e
i i i i
B E E B +

v
v
t
j
c x
F
4
=
c
c
0 =
c
c
v
v
x
G
(13)
49
De um ponto de vista de simetria, seria interessante que a segunda das
eqs. acima tivessem tambm um carter inhomogneo, isto , os campos
magnticos teriam, como os campos eltricos, fontes estticas; isto ,
existiriam cargas e correntes magnticas, de modo que a segunda
equao acima seria inhomognea e escrita como
) (
4
m
j
c x
G

v
v
t
=
c
c
(14)
Todas as evidncias experimentais, at hoje, confirmam que todas as
partculas possuem apenas carga eltrica; sob um ponto de vista formal,
a existncia de monopolos magnticos tem uma consequncia muito
importante : Dirac, utilizando argumentos simples de mecnica quntica,
props que a existncia de uma nica carga magntica explicaria de um
modo natural a quantizao da carga eltrica [ veja J. Schwinger,
Science 165, 757 (1969)].

50
De fato, Dirac mostrou que a razo entre a carga magntica g e a carga
eltrica e deve satisfazer seguinte condio de quantizao :
2
n
e
g
= o
,... 2 , 1 , 0 , = n
onde a constante de estrutura fina e vale aproximadamente 1/137.
Logo, a natureza discreta da carga eltrica surge como uma consequncia
da existncia de um monopolo magntico g.
o
5.6 Transformao do campo eletromagntico
Nesta seo encontraremos as frmulas de transformao para campos,
ou seja, as expresses pelas quais podemos determinar o campo em um
sistema de referncia inercial, sabendo o campo em outro sistema de
referncia inercial.
2
2
1

c
v
vt x
x

=
y y =
z z =
2 2
2
/ 1
/

c v
c vx t
t

=
v v
x L x =

51
c
v
ict x z x y x x x = = = = = |
4 3 2 1
( )
4 1
2
4 1

1
1
x i x
x i x
x |
|
|
+ =

+
=
2

2
x x =
3

3
x x =
( )
1 4
2
1 4

4
1
x i x
x i x
x |
|
|
=

=
quadrivetor potencial :
( ) | i A A A A
z y x
, , , =

( ) || =
x x
A A

y y
A A =

z z
A A =

( )
x
A | | | =

A transformao inversa obtida trocando as quantidades em S e S

e fazendo
. | |
As frmulas de transformao para os campos podem ser
obtidas atravs da transformao
B E

e
:

v
F F
v v
F L L F=

52
x x
E E =

( )
z y y
B E E | =

( )
y z z
B E E | + =

x x
B B =

( )
z y y
E B B | + =

( )
y z z
E B B | =

Note que a transformao acima mostra que

os campos no tem existncia independente.
Em outras palavras , os campos eltrico e magntico, como a maioria das
quantidades fsicas, so relativos; isto , suas propriedades so diferentes
em sistemas de referncia diferentes. Em particular, o campo eltrico
(ou magntico) pode ser igual a zero em um sistema de referncia e estar
presente em outro sistema de referncia.
Os campos so completamente inter-relacionados, e deve-se falar
mais apropriadamente no campo eletromagntico , no lugar de
separadamente!
( ) ( )

, , B E B E

( )

e ou e B E B E

B E

e
v
F
B E

e
53
(*)
Se ( ) c v<< <<1 |
x x
E E =

z y y
B E E | =

y z z
B E E | + =

x x
B B =

z y y
E B B | + =

y z z
E B B | =

ou
|

= B E E

|

+ = E B B

com
c v /

= |
As equaes (*) de transformao de campos podem ser escritas como
54
//

//

; E E B
c
v
E E

=
|
.
|

\
|
+ =

//

//

; B B E
c
v
B B

=
|
.
|

\
|
=

onde so as componentes de

paralelas e normais a , respectivamente.

B E B E

, e ,
// //
B E

e
v

Para uma transformao geral de Lorentz de um sistema inercial K para um sistema inercial K

se movendo com velocidade relativa a K, as transformaes de campos podem ser escritas
v

( ) ( ) E B E E

.
1
2

| |

|
+
+ =
( ) ( ) B E B B

.
1
2

| |

|
+
=
55
(**)
Problema 4, Lista 6: Prob. 14-11
da

3
a
edio do Heald-Marion,
Classical electromagnetic radiation.
( ) ( )

, , t r t r K K


( )
(

+ = t
v
v r
v r r 1
.
2

=
2

.
c
v r
t t

: :
dt
r d
u K
dt
r d
u K

= =
( )
2
2
2
2

.
1
1 1 1
.
1
c
v u
v
v u
v u
u

+
=
| |
56
Problema 3 da Lista 6: Prob. 14-5 da

3

edio do Heald-Marion, Classical

electromagnetic radiation.
5.7 O campo de uma carga pontual em movimento uniforme
Se uma carga q est em repouso na origem de um sistema inercial K,
nste sistema temos
3
r
r
q E

=
0 = B

para um ponto P em
( ). , t r

Queremos calcular os campos vistos, por um observador em outro

sistema K, que se move com velocidade v, ao longo do eixo x, em
relao a K. Ou seja, a carga q se move com em
relao a K

.
x v u

=
Por convenincia, vamos considerar t

= 0 quando as duas origens
coincidem.
Os campos em K

podem ser obtidos usando (**) ,

57
3

//

r
qx
E E E
x x
= = =
x x r r
r
r q
E E com
3

= = =

//

= = =
x x
B B B

= = = E
c
v
r
r q
c
v
E
c
v
B

Agora temos
( ) vt x x =
y y =
z z =
e
( ) vt x x + =
y y =
z z =
58
onde t o tempo medido em K do momento em que as duas origens
coincidem
O vetor dado por

( ) { } z y vt x r , ,

( ) { } , , z y vt x r + =

e
onde t

o tempo medido em K

a partir do instante em que as duas
origens coincidem.
Definamos
( ) { } , ,
*
z y vt x R + =

59
Portanto temos
( ) ( )
3
* 3
/ R vt x q E
x
+ =
( )
3
* 3
/ R y q E
y
=
( )
3
* 3
/ R z q E
z
=
ou
( )
( )
2
3
*

1| =
R
R
q E

com

E
c
v
B

=
com
{ } , , z y vt x R + =

Note que o campo eltrico dirigido radialmente para fora da posio

instantnea de P em relao a q no referencial K

60
Veja Sec. 8.5, Heald & Marion, 3rd. ed., Secs. 5.6-5.7, Berkeley, vol. 2

61
See Secs. 5.6-5.7, Berkeley, vol. 2

p. 160
Hence E points radially outward along a line drawn from the
instantaneous position R of q.
Pause a moment to let this conclusion sink in!
It means that if q passed the origin of the primed system at precisely 12:00
noon, prime time, an observer stationed anywhere in the primed system
will report that the electric field in his vicinity was pointing, at 12:00 noon,
exactly radially from the origin.
This sounds at first like instantaneous transmission of information!
How can an observer a mile away know where the particle is at the same
instant? He cant. This wasnt implied. This particle, remember, has been
moving at constant speed forever, on a flight plan that calls for it to pass
the origin at noon. This information has been available for a long time. It is
the past history of the particle that determined the field observed, if you
want to talk about cause and effect.
Well inquire in Sect. 5.7 into what happens when there is an unscheduled
change in the flight plan.
62