Professional Documents
Culture Documents
A TEORIA DA RELATIVIDADE
M.C. Baldiotti
April 10, 2014
Contents
1 As nuvens negras da fsica
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
6
6
6
9
11
14
15
19
20
22
23
25
27
31
34
37
43
47
50
52
54
59
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
61
62
65
66
69
72
75
78
81
85
85
86
87
90
93
93
97
99
101
104
106
110
112
114
118
122
123
125
.
.
.
.
.
126
126
127
129
134
139
4 As
4.1
4.2
4.3
4.4
equaes de Maxwell
Outra aproximao . . . . . . . . . . . . .
Ainda sobre as equaes no-homogneas
Invariantes do campo eletromagntico . .
Gauge de Lorentz . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
140
144
146
147
148
5 Fora de Lorentz
150
.
.
.
.
.
.
152
157
159
160
162
166
168
7 A geometria da relatividade
7.1 Equao da geodsica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
7.2 Tensor de energia e momento . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
7.3 Equaes de Einstein . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
171
173
179
184
190
190
191
192
194
195
196
198
200
200
201
204
207
209
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
hEi = n
1
K = CV ;
2
que o calor especco (a volume constante). Classicamente, este seria o comportamento esperado para
baixas temperaturas (prximas ao zero absoluto). Entretanto, experimentalmente observa-se que, para
temperaturas extremamente baixas, o calor especco tende a zero. Na verdade, a discrepncia
1 From a 1900, April 27, Royal Institution lecture. Lord Kelvin, Nineteenth Century Clouds over the Dynamical Theory of
Heat and Light, Philosophical Magazine, Sixth Series, 2, 140 (1901).
2 Na verdade Jeans j havia dito algo semelhante sobre o problema do calor especco.
entre a previso clssica e os experimentos j haviam sido observados por Maxwell em 1859. Alm
disso, para o caso da descrio de ftons em uma cavidade, ou a radiao do corpo negro, o resultado
acima diz que a energia mdia dos ftons independente da freqncia. Assim, se ( ) a
densidade de ftons com uma certa freqncia a densidade de energia da cavidade seria
E (T; ) = hEi ( ) =
1
KT ( ) :
2
Usando agora que as ondas na cavidade so estacionrias, possvel mostrar que ( ) _ 2 , com o
que a formula acima se torna a frmula de Rayleigh-Jeans para a radiao do corpo negro. O
crescimento desenfreado da densidade E (T; v) _ KT 2 de energia com a temperatura, que obviamente
no condiz com as experincias, chamada de catstrofe do ultra-violeta.
2. No eletromagnetismo: O resultado negativo da deteco do ter pela experincia de Michelson
Morley (1887).
No nal do sculo XIX era praticamente consenso entre a comunidade cientca que a luz era uma
onda mecnica. Isso exigia a existncia de um meio para a sua propagao. Ou seja, em qualquer
regio do espao onde se zesse vcuo (e.g., as regies entre as estrelas) sobraria ainda uma substncia
que preenche todo o espao. Esta substncia foi chamada de ter. Preenchendo o ter todo o espao,
seria obviamente possvel detectar o movimento dos corpos celeste (em especial a prpria terra) em
relao a este meio.
Como previsto por Kelvin, logo no incio do sculo XX foram encontradas as solues para estes dois
problemas. A soluo do primeiro problemas se deu com a proposta de Planck para a discretizao dos
nveis de energia do corpo negro e, conseqentemente, o surgimento da Mecnica Quntica. J a soluo do
segundo problema deu origem a Teoria da Relatividade.
Assim, ao invs de fecharem a Fsica, como previa Lord Kelvin, a soluo destes dois problemas simplesmente revolucionou todos os conceitos do homem sobre a natureza e o universo, dando origem a tudo
que hoje se chama Fsica Moderna. Estes novos conceitos reinam nos limites fora das escalas do cotidiano,
ou seja, nos limites de (muito) baixas e altas energias. Estes conceitos exigiram que se repensassem todos
os fenmenos conhecidos e a incorporao (e o desenvolvimento) de novas ferramentas matemticas. Grosso
modo, o maior problema da Fsica contempornea a elaborao de uma teoria que unique a Teoria da
Relatividade Geral e a Mecnica Quntica. Este um assunto para o curso de Fsica Moderna II.
A compreenso do primeiro problema e sua soluo, i.e., a Mecnica Quntica, o assunto da segunda
parte do nosso curso.
Vamos iniciar ento nosso curso tratando detalhadamente a soluo do segundo problema e a Teoria da
Relatividade Restrita (ou Especial ) (TRR).
2.1
Antes de darmos uma descrio precisa da diferena entre a mecnica clssica (MC) e a mecnica relativstica
(MR), vejamos a principal diferena conceitual entre estas duas teorias. Ambas aceitam o chamado princcipio da relatividade. Que signica que as Leis da Fsica so as mesmas para um determinado conjunto de
observadores que denem os chamados Referenciais Inerciais. Assim, o que se altera de uma teoria para a
outra o conceito de Referencial Inercial.
Na MC espao,i.e., a localizao de um corpo, relativo, mas o tempo absoluto. Isso no
signica, claro, que cada referencial no possa ter seu prprio relgio, mas sim que estes relgio podem
ser sincronizados e, mais ainda, uma vez denida uma escala de tempo (e relgios perfeitos) esta sincronizao se mantm para sempre. Assim, existe um nico tempo para qualquer referencial
inercial e o intervalo de tempo o mesmo medido por qualquer refencial inercia. Em especial o
conceito de simultaneidade absoluto.
Tudo que foi dito acima se resume no fato de que na MC efeitos podem se propagar instantaneamente por todo o sistema. Por exemplo, nesta teoria a ao gravitacional instantnea. Ou seja, se um
corpo se move, a fora que este exerce sobre os demais corpos do sistema se altera no mesmo instante. Com
isso possvel para um observador conhecer o estado de cada corpo em qualquer lugar em
qualquer instante.
J na MR todo efeito (ou, de forma mais geral, toda informao) precisa de um tempo para se propagar.
Alm disso, existe uma velocidade limite, chama c, para a propagao de qualquer informao. No exemplo
anterior isso implica que, se um corpo deslocado, um segundo corpo a uma distncia D deste, levar (no
mnimo) um tempo D=c para tomar conhecimento deste deslocamento. Assim, um observador no pode
(apenas por observao) saber o estado de todos os corpos do universo. Mais ainda, impossvel qualquer
troca de informao com velocidade acima de c.
Um ponto importante, e a razo da MC ter prevalecido por tanto tempo, que a velocidade limite c est
muito acima da velocidade dos fenmenos do cotidiano. Alm disso, os resultados da MC so iguais aos da
MR para c innito.
2.2
Dada uma lei fsica, codicada matematicamente numa srie de equaes, faz-se necessrio saber onde estas
leis so vlidas. Por exemplo, se voc tentar aplicar a lei da inrcia de Newton estando dentro de um trem
acelerado, ela certamente falhar. Alm disso, para se descreve matematicamente o comportamento de um
corpo, importante introduzir no espao um sistema de coordenadas as quais faro referncia s equaes da
teoria em questo. Assim, a questo bsica saber para quais sistemas de coordenadas as equaes
so vlidas. Uma forma de se responder esta questo encontrar um certo sistema bom para as nossas
leis, i.e., onde as leis so vlidas (ou seja, onde isso possa ser vericadas experimentalmente). Chamamos
este sistema de referencial. Estando o nosso referencial codicado por um sistema de coordenadas, podemos
ento descrever uma mudana para outro sistema, ou outro referencial, atravs de uma relao entre as
coordenadas destes sistemas. Chamamos isso de uma transformao de coordenadas. Nossa questo sobre
quais os sistemas onde a nossa teoria vlida pode, com isso, ser matematicamente traduzida na questo:
Remark 1 Dado um referencial bom quais transformaes me permitem achar outros referenciais igualmente bons?
Em mecnica estes referenciais,i.e., todos os referenciais ligados pela transformao adequada, so chamados de referenciais inerciais.
As equaes que descrevem a dinmica dos corpos massivos, propostas por Newton, fazem referncia a um
conjunto de coordenadas espaciais x = (x; y; z) e uma coordenada temporal t. Estas equaes so invariantes
por um grupo de transformaes conhecidas como transformaes de Galileu (TG),
x ! x0 = x
vt ;
y ! y0 = y ;
z ! z0 = z ;
t0 = t ;
(1)
com v uma constantes. Estas transformaes descrevem a noo intuitiva de soma e subtrao de velocidades.
Usando a notao vetorial x = (x; y; z) e v = (v; 0; 0) e as TG, da denio de velocidade
d 0
d
d
(x + vt) = v ;
x = x0 =
dt0
dt
dt
vemos que o parmetro v da transformao (1) a velocidade relativa entre os referenciais.
A relao entre t e t0 arma que sempre possvel sincronizar os relgios de dois referenciais e estes
permanecero sempre sincronizados. Assim, as equaes (1) descrevem a seguinte situao: existe um
referencial S, com coordenadas (x; y; z; t) e um segundo referencial S 0 , com coordenadas (x0 ; y 0 ; z 0 ; t0 ). O
referencial S 0 (S) se move com velocidade v ( v) na direo x (x0 ) em relao ao referencial S (S 0 ). A
descrio de um referencial que se move numa direo arbitrria pode ser obtida atravs de uma rotao dos
eixos de forma a alinhar o eixo x com a direo do deslocamento (isso ser feito com detalhes na MR mais
adiante).
O conjunto das quatro coordenadas (x; y; z; t) chamado de um evento no referencial S. Ou seja, usando
as coordenadas de S estas quatro quantidades indicam quando e onde algo ocorreu.
7
Dado um evento em S, como este mesmo evento pode ser descrito usando as coordenadas do referencial
S0?
Por exemplo, suponha que S est parado (o que signica isso?) e S 0 se move para a direita com uma
velocidade de v = 1m=s. No referencial S verica-se que aos 3s um martelo atingiu o ponto x = 0. Ignorando as coordenadas y e z este evento tem coordenas (x = 0; t = 3). Suponha ainda que os relgios dos
referenciais estejam sincronizados (isso est descrito pela ltima equao em (1)) e que as origens dos
referenciais coincidem em t = 0 (isso est descrito trs primeiras equaes em (1)). Com isso, este mesmo
evento ser descrito por algum que usa o referencial S 0 com tendo ocorrido aos 3s, mas na posio x0 = 3,
ou seja, com coordenadas ( 3; 3).
Alguns pontos devem ser notados nas transformaes (1):
1. Os relgios dos referencias devem ser sincronizados e, uma vez feito isso, eles permanecero sempre
sincronizados.
2. Alm de alinhar os seus eixos espaciais, o referencial S 0 deve marcar a origem do seu referencial como
sendo a origem do referencial S no instante t = t0 = 0.
A mecnica de Newton admite os postulados:
1. A fora num corpo diretamente proporcional a acelerao e a constante de proporcionalidade a
massa do corpo.
2. A massa de um corpo no depende do referencial.
O chamado princpio da relatividade de Galileu estabelece que:
Remark 2 Dado um certo referencial onde so vlida as leis de Newton (ou as leis da MC), qualquer outro
referencial ligado pelas transformaes (1) sero igualmente bons.
Para entender isso note que
d2 x
d2 x0
d2 x0
d2 (x + vt)
d2 x
!
=
=
=
:
dt2
dt02
dt2
dt2
dt2
(2)
d2 x0
d2 x
=
m
= F0 (x0 ) ;
dt2
dt2
Diz-se, com isso, que as equaes de Newton so invariantes, pelas transformaes de Galileu. Diz-se,
tambm, que as equaes de Newton so covariantes (tem a mesma forma algbrica) por transformaes de
Galileu.
Resumindo:
Remark 3 As transformaes de Galileu denem os referenciais inerciais da mecnica de Newton.
Exercise 4 Suponha que voc est num container num navio que trafega com velocidade constante. Que tipo
de experimento voc pode fazer para determinar que voc est em movimento?
A invarincia das equaes de Newton por transformaes de Galileu possui a conseqncia fsica de ser
impossvel determinar movimentos retilneos uniformes por qualquer experimento mecnico
realizado num referencial. Em outras palavras, se dois referenciais se movem um em relao ao outro
com velocidade v, no faz sentido dizer qual deles est em movimento e qual est em repouso.
Assim, quando se est num referencial inercial, todos os experimentos mecnicos podem ser
realizados como se o seu referencial estivesse em repouso. Nada disso vlido se o referencial
estiver acelerado. Ou seja:
Remark 5 Qualquer relao entre os referenciais diferente das TG poderia ser determinada por experimentos
mecnicos dentro do prprio referencial.
2.2.1
Remark 6 de fundamental importncia notar que: F0 (x0 ) 6= F (x0 ). A discusso a seguir tentar torna
clara esta distino.
Aqui importante separar um pouco a matemtica da fsica. Suponha que um observador em S 0 descreve
o movimento de uma mola. Nesta descrio ele obtem a relao:
m
d2 x0
=
dt2
kx0 = F 0 (x0 ) :
Matematicamente ns sempre podemos efetuar uma transformao de coordenadas, ou seja, podemos mudar
as variveis do problema. Suponha ento que efetuamos a mudana de coordenadas (ou de variveis) (1).
Com isso:
x ! x0 = x vt =) F 0 (x0 ) = kx0 ! F 0 (x) = k (x vt) :
Sabendo que
m
d2 x0
d2 x
=m 2
2
dt
dt
d2 x
=
dt2
k (x
vt) :
(3)
Mas, pela covarincia das leis de Newton, sabemos que a equao que descreve o movimento da mola tem a
mesma forma algbrica em todos os referenciais inerciais. Ou seja, sendo S um referencial inercial a equao
da mola deveria ser
d2 x
(4)
m 2 = kx :
dt
Exercise 7 Qual das duas equaes, (3) ou (4), descreve o movimento da mola? O que cada uma destas
equaes descreve?
10
Retomando ao problema acima, existe uma diferena entre efetuar uma transformao de coordenadas na
equao de movimento e usar a covarincia das equaes do movimento.
Pela lei de Newton, a equao diferencial que descreve o movimento de uma mola tem a forma
m
d2 x0
= F 0 (x0 ) =
dt2
kx0
realizando uma transformao de Galileu (um artifcio matemtico vlido para qualquer transformao)
nesta equao temos
m
d2 (x + vt)
=
dt2
k (x + vt) =) m
d2 x
=
dt2
kx
kvt = F 0 (x) :
vt + A cos (!t + ) ; ! =
k
; A;
m
= const:
Fcil ver que esta equao descreve o movimento de uma mola cujo centro das oscilaes est em repouso
no sistema que usa coordenadas x0 quando vista do sistema que usa coordenadas x. Ou seja, uma mola que,
alm de oscilar, se move com velocidade constante v.
O processo utilizado acima nada mais que uma mudana de variveis. Voc sempre pode fazer isso
com qualquer transformao (no apenas TG). Este procedimento no envolve nenhuma considerao
sobre a teoria fsica em questo.
Agora, invocar a covarincia das equaes (um postulado fsico) signica que se num referencial inercial
voc fez experimentos com uma mola e obteve a equao
F 0 (x0 ) = kx0 =) F (x) = kx ;
em qualquer outro referencial inercial voc sabe, sem precisar fazer experimentos de novo, que a
equao desta mola ter a mesma forma, mas com as coordenadas deste novo referencial. Isto , num
referencial qualquer onde o centro das oscilaes est em repouso, ela ter a mesma forma,
m
d2 x
=
dt2
kx =) m
d2 x0
=
dt2
kx0 :
O mesmo vlido sempre que o movimento for observado de qualquer outro referencial inercial no qual o
centro das oscilaes esteja em repouso.
2.2.2
Um pouco de notao
11
= x
t0
= t;
vt ;
3. Uma notao muito conveniente, mas ainda no usada, no chamar as coordenadas de x; y; z, mas
sim de x1 ; x2 ; x3 . Com isso a TG pode ser escrito de uma forma mais compacta
x0i
= xi
t0
= t;
vi t
com i = 1; 2; 3, v1 = v e v2;3 = 0. Neste caso a notao deixa explicita cada uma das componentes do vetor.
4. Podemos tambm usar a notao matricial (i.e., usar uma representao matricial para os vetores)
x0
t
onde
B
B
T =B
B
@
1 0 0
0 1 0
0 0 1
0 0 0
v
0
0
1
= Tx ;
= t;
C
B
C
B
C ; x0 = B
C
B
A
@
x01
x02
x03
t
C
B
C
B
C ; x=B
C
B
A
@
3
X
x1
x2
x3
t
C
C
C :
C
A
Tij xj :
j=1
Podemos nos perguntar, por exemplo, se um observador em S 0 mede um determinado evento, qual a
coordenada deste evento em S?
12
T~
B
B
=B
B
@
1
0
0
0
0
1
0
0
1
0 v
C
0 0 C
C ;
1 0 C
A
0 1
Sem utilizar o argumento fsico acima, podemos tambm inverter diretamente as equaes que denem a
transformao. Por exemplo, na notao matricial
x0 = T x =) x =T
assim, devemos apenas calcular a inversa da matriz T .
13
1 0
x ;
Calculando e T
temos
T
B
B
=B
B
@
1
0
0
0
0
1
0
0
1
0 v
C
0 0 C
C = T~
1 0 C
A
0 1
O eletromagnetismo e as TG
B] :
Um observado em repouso com a carga imersa num campo magntico B no detecta nenhuma fora (conseqentemente nenhuma acelerao) enquanto outro com velocidade v detecta a fora qv B (conseqentemente
uma acelerao). Como ca ento a invarincia das leis da mecnica?
14
B:dl =
0I
@S
0 "0
@ (E)
:
@t
A corrente I dada pela velocidade das cargas. Assim, se tivemos um pedao de o com uma certa
distribuio de carga, este o gera um campo magntico para um observador que v o o se mover com
velocidade v, mas no para um observador parado com o o.
Surge ento a questo crucial:
Qual a velocidade que deve ser usada nas equaes de Maxwell e na fora de Lorentz, ou ainda, em
relao ao que so medidas as velocidades do eletromagnetismo?
2.3
A necessidade de um referencial para o qual as leis do eletromagnetismo fossem vlidas foi percebido desde
os primrdios da teoria. Entretanto isso no foi considerado um grande problema, pois, desde o sculo 17th
Boyle (e outros) j acreditavam que no existia o vcuo e que todo espao no preenchido por partculas era
preenchido por uma substncia chamada ter, a qual era responsvel, inclusive, por qualquer interao entre
corpos que no estivessem em contato 3 . Neste mesmo perodo Huygens havia criado a hiptese de que a
luz se propagava no ter. Em outras palavras, a luz foi considerada uma onda mecnica que se
propagava no ter. Com o desenvolvimento das equaes de Maxwell (EM) no sculo XIX e a constatao
de que a luz era uma onda eletromagntica, cou claro para os cientistas da poca que as velocidades
envolvidas na teoria do eletromagnetismo eram todas medidas em relao ao ter.
Veio ento uma necessidade prtica de medir a velocidade da terra, ou de alguma regio especca, em
relao ao ter. Pois, s assim as EM poderiam ser aplicadas corretamente.
Dentre os vrios experimentos desenvolvidos para se medir a velocidade da terra em relao ao ter, o
mais famoso foi o experimento de Michelson e Morley (MM), devido a sua preciso compatvel com o valor
da velocidade da luz. O que MM inventaram foi, na verdade, o interfermetro.
Neste aparato um feixe de luz coerente dividido em dois feixes por uma placa parcialmente prateada.
Os dois feixes so reetidos por espelhos que distam da mesma distncia L e se recombinam. Se imaginarmos
que a luz se propaga no ter e que este est em repouso com relao ao aparato, ambos os feixes percorrero
a mesma distncia e se recombinaro de forma construtiva. Agora, se a luz se propaga no ter (como o
som se propaga no ar) o ter se move com uma velocidade v com relao ao aparato, os feixes percorrero
distncias diferentes e se recombinaro fora de fase. Vejamos isso com mais detalhes. Se o aparelho se move
em relao ao ter como na Figura 1, suponha que o feixe que move na direo da placa C (perpendicular a
3 Para
15
16
v) demore um tempo tC para atingir esta placa. Assim, este este feixe percorrer uma distncia
2
d2C = L2 + (v:tC ) :
(5)
(6)
com isso,
2
2
L2 + (v:tC ) = (c:tC ) =) tC = q
v2
c2
L=c
1
L
;
c
v2
c2
1=2
onde L=c seria o tempo gasto se o aparato estivesse em repouso em relao ao ter. Voltando na expresso
(6) temos
L
dC = c:tC = c:
= c:tC = L :
c
Assim, a distncia total L? percorrida pelo o feixe perpendicular a v para ir e retornar placa B vale:
L? = 2dC = 2 L :
J para o feixe na direo da placa E (paralelo a v) temos: quando o feixe atinge E a placa se deslocou uma
distncia v:tBE . Assim, a distncia dBE percorrida pelo feixe vale
dBE = L + v:tBE = c:tBE =) tBE =
L
c
=) dBE = L 1 +
v
c
L
=) dEB = L 1
c+v
v
c+v
1
1+
v
c
17
"
v
=L 2+
c
+1
= 2L
1+
1
v
c
v2
c2
1
1
= L? > L? ;
v
c
v2
c2
!#
>1:
Dos resultados acima vemos, que as distncias Lk e L? percorrido pelo dois feixes so diferentes. Esta
diferena se traduz em franjas de interferncia na composio dos feixes defasados. Com isso podemos
detectar variaes da ordem de grandeza do comprimento de onda da luz utilizada e, conseqentemente,
variaes na velocidade do ter em relao ao aparato desta mesma ordem de grandeza.
Tecnicamente no possvel construir um aparato onde ambas as distncias sejam exatamente iguais.
Assim, logo de inicio j temos a presena de franjas de interferncias. Com isso, o que realmente se esperava
observar seria uma modicao nestas franjas devido ao movimento do aparato em relao ao ter quando
o aparato fosse girado de 90 graus. Ou seja, girando-se este interfermetro pretendia-se observar diferena
nas velocidades dos feixes conforme estes percorriam caminhos paralelos ou perpendiculares ao deslocamento
do ter. Entretanto nenhuma diferena jamais foi observada! Vrias tentativas de se explicar o fracasso
(na verdade um sucesso!) deste experimento foram desenvolvidas. Entre elas havia a hiptese do ter ser
arrastado com a terra, mais isso levava a inconsistncias com as propriedades de viscosidade deste meio e
com os efeitos observados em fontes luminosas extraterrestres.
18
2.4
As transformaes de Lorentz
Uma proposta de Lorentz e Fitzgerald (LF) foi armar que o ter comprimia todos os corpos na direo de
1
seu movimento por um fator
(lembre que > 1 para v < c). Pois, com isso, a distncia percorrida pela
1
~
luz no seria Lk , mas Lk =
Lk e com isso
~ k = 1 Lk = 1 ( L? ) = L? ;
L
ou seja, neste caso as distncias percorrida pelos feixes na experincia de MM seriam as mesmas e nenhuma
mudana das franjas seria observada. Este efeito, conhecido como contrao de Lorentz, ser retomado na
TR, mas num contexto completamente diferente. Porm Lorentz justicava esta contrao armando que as
foras moleculares seriam inuenciadas pela corrente de ter. Ou seja, a interpretao fsica de LF estava
errada.
Alm disso, no desenvolvimento do problema LF tiveram sucesso em encontrar transformaes das coordenadas que deixavam invariantes as EM4 (na verdade, estas transformaes j haviam sido propostas
por Larmor em 1900, enquanto os trabalhos de LF so de 1903), desde que os campos tambm se
modicassem. Estas transformaes tm a forma
x0 =
(x
vt) ;
y0 = y ;
z0 = z ;
t0 =
vx
c2
x01 =
= 1) temos
(x2
vt)
(x1
vt) =
(x2
x1 ) =
Assim, a distncia entre estes dois pontos, quando registradas por um observador em S, vale
x=
x0 :
4 Na verdade, o tratamento de Lorentz est correto apenas no vcuo, pois os termos que contm transformaes de cargas e
correntes no estavam correto.
19
2.5
A relatividade de Einstein
"...the covariant law should be derivable from the simplest possible basic assumptions. The credit for having
succeeded in doing just this goes to Einstein.", (W. Pauli )
Nos trabalhos de Einstein de 1905 sobre a TRR ele faz meno a um experimento parecido com o seguinte:
imagine uma bobina quadrada de lado l se movendo (e.g., dentro de um carro) e entrando numa regio com
campo magntico uniforme B (Figura 2).
Considere este problema sob 2 pontos de vista:
1. Voc est parado na regio do campo e v a bobina se mover para dentro do campo.
Neste caso, com o movimento das cargas da bobina, voc v surgir uma fora de Lorentz F que, por
20
Figure 2: Figura 2.
sua vez, faz surgir uma EMF (trabalho por unidade de carga) dada por:
1
E=
q
(o sinal de
1
F:dl =
q
q
(v
B) :dl =
vBl
x
^);
B:da = Bl:s ;
onde s a parte da bobina que entrou no campo. A variao temporal deste uxo induz um campo
eltrico E que, por sua vez, gera a EMF:
E=
E:dl =
d (B)
=
dt
d
(Bl:s) =
dt
Bl
ds
=
dt
Blv :
Observe que para aqueles que criam no ter a igualdade destes dois valores de E uma coincidncia
impressionante. Pois suponha que no caso 1 a pessoa est num referencial bom, i.e., que no se move em
relao ao ter. Neste caso seus clculos vo fornecer o resultado correto, mas para qualquer outro referencial,
em especial o do caso 2, as contas estariam erradas. Ou seja, a pessoa do caso 2 no poderia usar as EM.
E o mesmo para o caso contrrio, se a pessoa parada no campo est no referencial bom, ento a pessoa no
carro no poderia usar a lei de Lorentz. Ou seja, apenas um dos observadores acima poderia obter a resposta
correta, mas como estas so iguais ambos devem estar certos.
21
Em sua anlise do problema, Einstein tomou o resultado acima no como uma coincidncia, mas como
uma conseqncia dos fundamentos da lei da fsica.
2.5.1
Primeiro postulado
Seu primeiro passo foi abandonar a existncia do ter, e de qualquer outro referencial privilegiado,
e estender o postulado da relatividade de Galileu:
1. As leis da fsica so as mesmas em qualquer referencial inercial;
Mas esta extenso levava a um problema sobre o que um referencial inercial. Como vimos, as leis do
eletromagnetismo no so invariantes por uma transformao de Galileu. Por outro lado Lorentz encontrou
leis de transformao que mantinham invariantes as EM. Entretanto, as equaes da mecnica de Newton no
so invariantes pelas transformaes de Lorentz. Neste sentido, o postulado acima nos diz que uma destas
teorias no est correta.
Alguns tentaram mudar as EM para serem invariantes pelas TG, mas isso gerou efeitos eletromagnticos
que no foram observados.
Einstein escolheu como corretas as leis do Eletromagnetismo. Com isso, referenciais inerciais so
aqueles ligados pelas transformaes de Lorentz:
x0 =
(x
vt) ;
y0 = y ; z0 = z ;
vx
t0 =
t
:
c2
(7)
Assim como no caso das transformaes de Galileu, as equaes acima descrevem a seguinte situao: existe um referencial S, com coordenadas (x; y; z; t) e um segundo referencial S 0 , com coordenadas (x0 ; y 0 ; z 0 ; t0 ).
O referencial S 0 (S) se move com velocidade v ( v) na direo x (x0 ) em relao ao referencial S (S 0 ). O
conjunto das quatro coordenadas (x; y; z; t) chamado de um evento no referencial S. Ou seja, usando as
coordenadas de S estas quatro quantidades indicam quando e onde algo ocorreu. Dado um evento em S,
como este mesmo evento pode ser descrito usando as coordenadas do referencial S 0 .
Remark 10 A descrio acima, apesar de ser repetitiva e bvia, deve ser entendida bem. Pois uma das
grandes diculdades na resoluo de problemas em TRR transcrever um dado evento na linguagem das
coordenas.
Diferente das transformaes de Galileu, atente para o seguinte:
1. Para usar as transformaes acima os observadores de ambos os referenciais devem sincronizar os seus
relgios em algum instante. Entretanto, relgios sincronizados num instante T qualquer
NO mais estaro sincronizados para qualquer instante diferente de T .
22
3 ; t0 = 3 ;
Segundo postulado
Uma conseqncia direta das EM o valor da velocidade da luz no vcuo. Uma vez que as EM e, conseqentemente, o clculo desta velocidade independem do referencial, isso levou Einstein ao segundo postulado
da TRR:
2 A velocidade da luz no vcuo a mesma para qualquer observador num referencial inercial, independente
do movimento da fonte ou do observador.
Por velocidade no postulado acima se deve entender a magnitude apenas e no o vetor velocidade. Como
veremos, a direo da luz pode depender da fonte.
23
Observe que, a princpio, o comportamento de uma onda mecnica, como o som, tambm no depende
do movimento da fonte (mas apenas do movimento do meio onde se propaga). Mas o comportamento da luz
algo bem diferente disso. Imagine um nevoeiro onde seja possvel ver a luz se propagar. Neste nevoeiro
temos duas pessoas que se movem com velocidade constante uma na direo da outra. No ponto aonde elas
iro se encontrar existe um poste que, quando aceso, emitir uma frente esfrica de luz. Assim, ao passar
uma pela outra o poste se acende. O que cada um dos observadores ir ver. O primeiro ver uma onda
esfrica com ele no centro da esfera, enquanto o outro observador certamente est em algum ponto fora deste
centro. J o segundo ver uma esfera com ele no centro (pois para ambos a luz se afasta com velocidade c em
todas as direes) e armar, com certeza, que o outro observado que est fora do centro. Mas certamente
existe apenas uma frente de luz.
Exercise 12 Qual deles diz a verdade?
24
Como veremos, o segundo postulado nos leva a reconsiderar o que at ento chamamos de verdade.
O segundo postulado acima, alm de completamente anti-intuitivo, representa uma completa revoluo
nas noes usuais de distncia e, conseqentemente, da geometria do tempo e do espao.
A importncia crucial de uma lei fsica fazer previses (esta caracterstica imprescindvel para que a lei
possa ser testada). Ou seja, a lei deve dizer quando e onde algum fenmeno ocorrer, a partir do conhecimento
do estado (como e onde) do sistema no passado. At Einstein pouca importncia se dava a uma denio
precisa dos termos quando e onde (obviamente os valores sempre foram importantes), uma vez que estes
so intuitivos o suciente para que esta questo fosse apenas uma questo losca. Em especial, observador
de diferentes referenciais (no necessariamente inerciais) poderiam em algum momento e lugar compartilhar
rguas e relgios que posteriormente seriam usados por cada observador no seu respectivo referencial. Assim,
dado, por exemplo, um ponto de referncia visvel por todos os referenciais, este poderia ser usado para
converter as distncias de um observado para o outro. Por exemplo, dado um ponto qualquer (e.g., um poste)
um observador sempre poderia dizer aos demais, as cinco horas o carro estava a cinco quilmetros de
distncia do poste. Cada observador, independente do seu movimento, entenderia esta armao. Alm
disso, um outro fenmeno, por exemplo, quando o carro passar pelo poste, poderia ser usado para sincronizar
o relgio de todos os observadores. Vamos ver como o segundo postulado acima muda drasticamente este
senso-comum.
2.5.3
O segundo postulado e as TL
Vamos ver como este postulado se relaciona com as TL. Imagine que na origem de um referencial S emitimos
um sinal luminoso. Aps um tempo t (medido em S) a frente deste sinal ter viajado a distncia ct, ou seja,
se (x; y; z) so as coordenadas da frente de onda,
ct =
p
2
x2 + y 2 + z 2 =) (ct) = x2 + y 2 + z 2
Para simplicar vamos imaginar que o sinal foi emitido na direo x, com isso
2
(ct) = x2 =) (ct)
x2 = 0
Imagine agora um outro observado num referencial S 0 que se move com velocidade v^
x em relao a S.
Pelo primeiro postulado este observador tambm ver a luz se deslocar com velocidade c e, conseqentemente,
aps um tempo t0 (medido no relgio de S 0 ) o a frente de onda ter coordenada ct0 , assim, se x0 a coordenada
da frente de onda, temos
2
(ct0 )
x02 = 0
.As duas relaes acima permitem identicar as quantidades
2
(ct)
x2 = (ct0 )
25
x02 ;
(8)
para qualquer refencial. Queremos agora encontrar uma relao entre x; t e x0 ; t0 que respeite a condio
acima. Lembrando a relao entre as funes hiperblicas
cosh2 a
sinh2 a = 1
(9)
fcil ver que esta relao satisfeito (de forma geral) se estas coordenadas tiverem a relao
x = x0 cosh a + ct0 sinh a ;
ct = x0 sinh a + ct0 cosh a :
(10)
x
= tanh a
ct
v
:
c
(11)
cosh a =
V =c
v
q
=
;
c
V2
1 c2
q
1
V2
c2
26
(x0 + vt0 ) ;
v
x0 2 + t0 :
c
Exercise 15 Uma vez que as TL misturam as coordenadas temporais e espaciais, muito til que todas as
quantidades tenham a mesma unidade. Assim, ao invs de trabalharmos com t usualmente trabalhamos co ct
e escrevemos as TL como
x0 =
(x
vt) ;
y0 = y ; z0 = z ;
v
ct0 =
ct
x
c
2.6
Sobre o tempo
A ltima equao em (7) mostra que o tempo para observadores em referenciais diferentes no
o mesmo. Vamos ver melhor o que isso signica. Para tanto, vamos construir um tipo de relgio bastante
simples e especial. Nosso relgio composto pela fonte de luz e o espelho da Figura 3. Chamamos de uma
unidade de tempo (t) o tempo que a luz demora para sair da fonte e atingir a fotoclula. Admitindo o
primeiro postulado, no nosso referencial esta unidade de tempo vale:
t=2
D
:
c
Se voc quiser imaginar um relgio imagine que a luz pisca e quando o feixe reetido atinge a fotoclula
existe um dispositivo que faz a luz piscar novamente. Assim, esta luz piscando o nosso relgio.
Imagine agora que construmos 2 destes relgio de luz exatamente iguais e os iniciamos simultaneamente.
Assim, estes dois relgios esto sincronizados. Pegamos agora um destes relgios e entregamos para um
observador num foguete que se move com a velocidade v indicada na gura acima. Este observador, pra seu
conforto, utiliza um sistema de coordenadas S 0 que viaja junto com o foguete.
Como o mecanismo do relgio de luz no se modicou e a velocidade da luz uma constante
o observador na nave v o seu relgio piscar com a mesma periodicidade t. Entretanto, quando o observador
da nave olha para o relgio que cou na terra, ele tem uma surpresa. Como, para ele, a luz do aparato que
27
est na terra percorrer um caminho diferente, admitindo o primeiro postulado, para este observador temos
2
(c ) = D2 + (v ) =)
1
1
c
v2
c2
1=2
D=
D
;
c
onde o tempo que a luz demora pra ir da lmpada ao espelho. Com isso, o tempo total t0 para a luz ir e
voltar vale:
D
t0 = 2 = 2
= t:
(12)
c
Lembrando, novamente, que para v < c =) > 1, vemos que t0 > t. Ou seja, para o observador na nave o
relgio na terra demora mais para completar um ciclo do que o relgio que est com ele.
p
Por exemplo, para v = 3c=2 temos = 2 e t0 = 2t. Ou seja, se o observador em S v a lmpada piscara
a cada 1 segundo, o observador em S 0 a v piscarar a cada 2 segundos (lembrando que o observador em S 0
v a lmpada do seu prprio relgio piscar tambm a cada 1 segundo). O relgio de S quando visto de S 0
anda mais devagar. Chamamos isso de dilatao do tempo.
Remark 16 A equao acima nos diz o seguinte: no nosso referencial S 0 temos um relgio que marca um
tempo t0 (i.e., este relgio est parado em relao a ns). Olhamos ento um referencial em movimento
S. Este referencial S tambm possui um relgio que marca um tempo t (se transportado para o nosso
referencial este relgio marcar a mesma unidade de tempo t = t0 ). Se observarmos um evento
que ocorreu em S podemos marcar a durao deste evento usando qualquer um dos dois relgios
(ns vemos os dois relgios). Suponha ento que voc est em S 0 com um cronmetro na mo (que marca
um tempo t0 ) e, olhando para S, voc v ocorrer um evento e tambm enxerga o relgio de S. Ento, olhando
28
para o relgio de S voc observa que este evento demorou um tempo t para ocorrer. Assim que o evento
terminou voc parou o seu cronmetro. Quando voc olhar para o seu cronmetro este marcar um tempo
t0 =
t > t.
Mas, obviamente, isso parece uma particularidade do nosso relgio. aqui que entra o primeiro postulado. Lembre-se que devido a invarincia das equaes de Newton por uma transformao de Galileu seria
impossvel (por experimentos mecnicos) detectar o movimento uniforme de um referencial inercial em relao a outro. Da mesma forma, admitir o primeiro postulado da relatividade de Einstein equivalente a
armar que impossvel (por qualquer experimento) determinar o movimento uniforme de um
referencial inercial em relao a outro. A nica diferena que, agora, no nos restringimos apenas a
experimentos mecnicos. Assim, admitir o primeiro postulado implica que impossvel detectar a velocidade
v do experimento acima fazendo qualquer experincia em S 0 (ou seja, no se pode armar qual referencial est
se movendo e qual est parado.). Suponha ento que exista algum outro relgio em S 0 (mecnico, atmico
etc) que no sofra exatamente a mesma dilatao do nosso relgio de luz. Um observador em S 0 poderia
ento medir a diferena de tempo entre estes relgios e, com isso, determinar que o seu referencial est se
movendo. Assim, adotar os dois princpios da relatividade implica que qualquer relgio que se mova
anda mais lento. Na verdade, isso vlido para qualquer seqncia de evento, seja ele uma gota caindo,
uma planta crescendo, qualquer coisa! Ou seja, para quem est na nave, tudo na terra parece estar em
cmera lenta.
Para ilustrar o signicado da expresso (12), imagine que em S 0 , juntamente com o relgio, existe uma
torneira gotejante. Esta torneira est a uma altura na qual, quando medido em S 0 (i.e., no referencial onde
a torneira e o relgio esto em repouso) a gora demora 1 segundo para atingir o piso. J um observado
do referencial S, que se move com = 2, este tem duas possibilidades para marcar o tempo de queda da
gota: ele pode usar o seu relgio (que est em repouso em S) ou pode usar o relgio do referencial S 0 ,
supondo que ele possa ver tanto a torneira quanto o relgio. Suponha ento que o nosso observador em S
tem em sua mo um cronmetro, assim que a gota comeou a cair o relgio de S 0 marcava 0h00m00s e o
observador acionou o seu cronmetro. Ele continua observando a gota e o relgio de S 0 . Quando a gota
atingiu o cho, o relgio de S 0 marcava exatamente 1s (t0 = 1s) e nosso observador para o seu cronometro.
Observe que tanto o nosso observador em S, quanto algum em S 0 , concordam com o fato de que a gota
atingiu o solo em t0 = 1s. Neste momento ele olha para o seu cronmetro e ele marca um tempo:
t = t0 = 2
1 = 2s :
Observe que, obviamente, toda a descrio acima no depende de quem voc chama de S e S0. Relgios
em movimento andam mais devagar. Ou seja, se existe um observador A com um relgio no pulso (i.e.,
est parado em relao ao relgio) e um outro observador B que v A se movendo com velocidade v. Para B
este relgio se mover mais devagar do que para A. Na verdade, tudo que A zer, ou que se mover com ele,
parecer estar em cmera lenta.
29
Para tirar a mesma concluso acima usando diretamente as TL (7) imaginamos que A (e o relgio) est
no centro do sistema S, ou seja, a coordenada do relgio no sistema sem linha x = 0. Ento o observador
B no sistema S 0 , que v S se mover com velocidade v para a direita usar a transformao
t0 =
v (x = 0)
= t:
c2
Agora se B estiver no centro do sistema com linha (x0 = 0) e tambm tiver um relgio, o observador A, no
sistema sem linha, ver o relgio de B se mover com velocidade v para a esquerda. Com isso, A pode usar
a transformao
v (x = 0)
( v) x
=
t0 +
= t0 :
t=
t0
2
c
c2
Ou seja, se os relgios de A e B um dia estiveram sincronizados (foram produzidos e ajustados no mesmo
referencial, que pode ser diferente de S e S0), ento A dir que o relgio de B anda mais devagar e, ao mesmo
tempo, B dir que o relgio de A anda mais devagar.
Vejamos uma conseqncia deste fenmeno. Um mson- (muon) uma partcula elementar parecida
com o eltron (carga e spin), porm um pouco mais pesada, que se desintegra espontaneamente devido a
interao fraca, decaindo num eltron e num neutrino
!e +
Esta partcula pode ser produzida em laboratrio e seu tempo mdio de decaimento de 2:2 10 6 sec.
Estas partculas so produzidas tambm por raios csmicos ao atingirem a atmosfera terrestre. Isso ocorre
em altitudes superiores a 10Km. Pelo tempo mdio de vida do , com a energia com que estes raios csmicos
so produzidos, ele poderia percorrer distncias da ordem de 600m. Entretanto, alguns destes produzidos
na alta atmosfera atingem a superfcie da terra (i.e., viajam mais de 10Km). A resposta para este enigma
que alguns destes criados pela radiao csmica possuem velocidades prximas a da luz (o que pode
ser medido no momento da deteco). Enquanto no referencial do sua vida de apenas 2:2: s, quando
vistos da terra este tempo se dilata o suciente para que ele alcance a terra. Mesmo que o mecanismo de
desintegrao dos s no seja conhecido, e dira completamente dos efeitos eletromagnticos, sabemos que,
por obedecer ao princpio da relatividade, este mecanismo ser mais lento para um em movimento.
Remark 17 Um ponto a se observar no desenvolvimento acima que, apesar da velocidade da luz no
depender da fonte a direo do feixe de luz depende do observador. Este efeito chamado de aberrao.
Para evidncias experimentais da dilatao do tempo, consulte:
G. Gwinner, Experimental Tests of Time Dilation in Special Relativity, Mod. Phys. Lett. A, 20, no.
11 (2005), pg 791.
30
2.7
Um ponto a se notar, o qual a primeira vista parece gerar uma srie de paradoxos, a simetria presente nas
transformaes de Lorentz. Se invertermos as relaes (7) obtemos
x=
(x0 + vt0 ) ;
y = y0 ; z = z0 ;
t=
t0 +
vx0
c2
(13)
O que obviamente representa apenas a troca do sinal da velocidade v, pois, se um referencial v o outro ir
para a direita, o outro v o primeiro ir para a esquerda (lembrando sempre que no faz sentido falar em
qual realmente se move). Uma conseqncia das relaes acima que, cada referencial v um relgio no
outro referencial andar mais devagar.
Este fato, a princpio, parece estar em conito com o primeiro postulado. Um exemplo famoso o chamado
paradoxo dos gmeos: dois irmos gmeos trabalham no programa espacial, um deles como astronauta
o outro como operador de terra (ground control ). A primeira misso acontece no aniversrio dos gmeos,
completando ento 30 anos. O controlador se despede do seu irmo que decola na nave. A nave viaja por 10
anos contados na terra, com uma velocidade que, apenas para facilitar as contas, vamos supor o ctcio valor
p
de v = 3c=2. Assim, o irmo que cou na terra v o tempo dentro da nave andar mais devagar, de sorte que
cada 2 anos passados na terra corresponde a apenas 1 ano dentro da nave. Ento, quando seu irmo retorna,
aps dez anos terrestres, ter-se-o passados apenas 5 anos para o astronauta. Ou seja, o irmo gmeo na
terra ter 40 anos enquanto o seu irmo astronauta ter apenas 35! Agora, uma anlise ingnua das relaes
inversas acima pode levar a seguinte armao: para o astronauta quem se move a terra (se afastando da
nave), ento o relgio de quem cou na terra que anda mais devagar. Assim, quando ele voltar para a terra
o seu irmo que ter 35 e ele 40.
Exercise 18 Mas, quando eles realmente se encontrarem, qual deles ter razo?
Antes de prosseguirmos vamos olhar para outro exemplo completamente equivalente ao problema acima,
mas onde no precisemos comparar idades. Voltando ao exemplo da nossa torneira gotejante, imagine que
tanto na nave S0 quanto na terra S existe ao lado do relgio uma torneira que goteja num balde a uma taxa
de 1G=h (lembre-se que ambos os observadores concordam com esta taxa para a sua torneira). Suponha
tambm que a nave viaja com = 2 e depois de 1 hora (medidos na terra) reverte instantaneamente o seu
motor e retorna terra com a mesma velocidade. Quanto o observador na terra (B) olha a ocorrncia do
fenmeno da reverso dos foguetes da nave depois de t = 1h o relgio na nave marca t0 ,
t = t0 =) t0 =
31
t=
1
1
1= h:
2
2
Ento, enquanto B v uma gota cair no seu balde, ele constata que em S0 nenhuma gota caiu. Depois
do retorno da nave B v seu relgio marcar t = 2h (i.e., outra gota caiu no seu baldo) enquanto o relgio
1 0
da nave marcar t =
t = 1h, i.e., a primeira e nica gota acaba de cair no balde na nave. Assim B
espera que ao comprar os baldes, o seu balde tenha 2 gotas enquanto o balde na nave ter apenas 1. Da
mesma forma como no paradoxo dos gmeos, se mudarmos para a descrio de um observador A na nave,
numa primeira anlise poderamos esperar que A armasse que a viagem demorou 2h (e ele teria duas gotas
no seu baldo) enquanto um relgio na terra (para ele em movimento) marcou apenas 1 hora de viagem e,
conseqentemente, apenas uma gota teria cdo no balde da terra. Assim, quando eles se encontrarem, A
esperaria 2 gotas no seu balde e apenas 1 gota no balde da terra. Repetindo a pergunta anterior: quem est
com a razo?
O ponto aqui que para retornar a terra o astronauta teve de mudar sua velocidade e, conseqentemente,
sofrer acelerao. Quando isso ocorreu o seu referencial deixou de ser inercial, de sorte que ele no pode mais
usar as suas medidas (seria como aplicar as leis de Newton num vago acelerado). Desta forma, apenas o
referencial de quem cou na terra inercial em todo o processo e apenas este pode usar diretamente a TRR.
Ou seja, a TRR diz que o irmo que cou na terra est certo e seu irmo astronauta estar mais novo. A
anlise do ponto de vista do referencial no inercial pode ser feita se usarmos o conceito de tempo prprio,
que ser introduzido posteriormente.
Uma outra questo interessante no exemplo das gotas no balde acima : se B (na terra) arma que os
foguetes de A (na nave) foram revertidos em t = 1h. A que horas num relgio de A isto ocorreu? Vamos
simplicar este exemplo com apenas uma viagem de ida e uma forma mais simples de comparar os relgios.
Imagine que um observado tem um cronmetro e passa por ele (atirado por algm) um outro relgio com
= 2. Quando os dois relgios se encontram eles esto sincronizados com t = t0 = 0 e o cronmetro
p
acionado. O observador sabe que a uma distncia de 3=2m existe uma parede e o outro relgio ir se chocar
com ela depois de t = 1s. Quando o relgio viajante se choca com a parede ele pra de funcionar. Neste
momento o observador para o seu cronmetro (que marca t = 1s) e caminha at o relgio quebrado.
Exercise 19 Quanto marca o relgio quebrado?
Pelo que foi dito antes, o relgio quebrado sofreu acelerao, mas o nosso observador permaneceu sempre
num referencial inercial, ou seja, o nosso observador sabe a veradede. Assim, usando o ponto de vista do
nosso observador, o relgio ter parado as
t = t0 =) t0 =
t =) t0 =
1
s:
2
Observe que algum que viajasse com o relgio tambm veria este parar porque bateu na parede. Assim,
para quem viaja com o relgio o choque aconteceu 1=2s (e no 1s) depois que os dois relgios se encontraro.
Como um observador B que caminha junto com o relgio, i.e., que bateu na parede e sobreviveu, explicaria
32
1
1
1
s =) t = t0 = s :
2
4
Ou seja, o relgio de A estava ainda mais atrasado. Entretanto, durante o processo de desacelerao, B
veria o relgio de A andar mais rpido (to mais rpido quanto maior a acelerao) de sorte que, durante
a desacelerao o relgio de A passaria o relgio de B e, quando ele nalmente parasse o relgio de B teria
conseguido atingir os 1s.
Exercise 20 Alice embarca numa nave, deixando seu irmo gmeo Bob na terra, e viaja por 2; 2 108 s (' 7
anos) do tempo dela, com uma velocidade de 0; 96c. Aps este perodo ela (instantaneamente) reverte a
direo de seu foguete e retorna a terra (com a mesma velocidade). Quem ser o mais velho dos irmos e
qual a diferena na idade?
Testes realizados com relgios atmicos, inicialmente sincronizados, conrmam a hiptese discutida acima.
C. W. Sherwin, Some Recent Experimental Tests of the Clock Paradox, Phys. Rev. 129 no.1 , pg 17
(1960)
J. Hafele, R. Keating, Around the world atomic clocks:observed relativistic time gains, Science Vol. 177
pg 166 (1972)
5 Lembre
que o cronmetro foi parado antes do observador A se movesse, de sorte que seu movimento irrelevante.
33
2.8
Sobre o espao
O efeito da contrao do espao, ou contrao de Lorentz, j foi discutido no experimento de MM. O nico
ponto que na TRR este efeito no deve ser interpretado, como fez Lorentz, como uma modicao na
estrutura da matria devido a fenmenos eletromagnticos (o que poderia no ocorrer para outro tipo de
foras), mas sim como um efeito sobre o prprio espao.
Vamos ver um pouco melhor como este efeito descrito pelas TL.
A segunda linha de (7) arma que no h mudanas nas coordenas, e conseqentemente nos comprimentos,
perpendiculares ao movimento. Este fato j foi usado na anlise da dilatao do tempo do relgio
de luz. A invarincia das distncias perpendiculares ao movimento , na verdade, uma conseqncia direta
do primeiro postulado. Usando um exemplo de Taylor e Wheeler (Spacetime Physics): Imagine um trilho
reto, um trem que se move com velocidade v sobre ele e um tnel. Pode um observador na terra (S) (em
repouso com o tnel) observar alguma contrao na altura do trem ou, por outro lado, algum no trem (S 0 )
observar contraes na altura do tnel? Para vericar tal coisa bastaria, no sistema em repouso com o tnel,
se construir o trem exatamente da altura do tnel. Se houver uma contrao perpendicular ao movimento
para um observador no trem o tnel ir se contrair e o trem no poder passar por ele, causando assim um
desastre calamitoso. Por outro lado6 , algum em repouso com tnel veria a altura do trem se contrair e ele
passaria pelo tnel sem dano algum. Entretanto, o fato de passar ou no pelo tnel uma realidade fsica que
deve ser compartilhada por todos os observadores. Isso s possvel se no houver nenhuma contrao
na direo perpendicular ao movimento. Vejamos agora os outros dois membros da transformao.
Suponha um vago de trem de comprimento L com um espelho em uma das laterais. Se um sinal de luz
emitido do lado oposto ao espelho, para um observador A num referencial S para o qual o vago est em
repouso, o feixe de luz retornar a fonte num tempo:
t=2
L
:
c
Agora vamos analisar o mesmo experimento do ponto de vista de um observador B, num referencial S 0
para o qual S se move com velocidade v. Para este observador o tempo total de viagem do feixe a soma do
tempo t01 para ir da fonte ao espelho e t02 para ir do espelho para a fonte. Calculando a distncia percorrida
pela luz nestes dois tempos temos
ct01 = L0 + vt01 =)
ct02 = L0
6 Lembre-se
vt02 =)
L0
(c
v)
= t01
L0
= t02
(v + c)
que, pelo primeiro postulado, devemos esperar uma simetria nos efeitos.
34
Figure 4: Observe que esta gura apresenta quantidades com e sem linha. Voc jamais pode comparar
geometricamente estas quantidades. Ou seja, a gura no representa a viso de nenhum dos observadores.
onde L0 o tamanho do vago para o observador B. Assim, a distncia total percorrida pela luz para B vale
c (t01 + t02 ) = c
L0
2
= 2L0
L0 =
c
2
1
(c
v)
1
1
v2
c2
1
(v + c)
= 2L0
= cL0
1
c2
v2
c2
(2c)
= ct0 ;
t0 ;
onde t0 = t01 + t02 o tempo total do percurso (medido por B) no sistema S 0 . Agora, pela dilatao do tempo
sabemos que:
c
L
L
t0 = t = 2 =) L0 = 2 2 ;
c
2
c
ou
L0 =
L:
Ou seja, o tamanho do vago quando visto por B menor que o valor medido por A. Esta a contrao de
Lorentz. Apesar do valor obtido ser o mesmo da hiptese de Lorentz sobre a contrao do experimento de
MM, este resultado conceitualmente muito diferente.
Vejamos como o resultado acima se relaciona com as TL. Suponhamos agora o observador A marcou um
certo ponto P dentro do vago que dista de x do incio do vago. Se ele usar um sistema de coordenada
que tem origem no inicio do vago, poder identicar x = x. Ou seja, x a coordenada de um ponto do
sistema S que tem o incio do vago como origem. Se o observador B em S 0 quiser identicar este mesmo
35
ponto (uma entidade fsica, ou geomtrica), sabendo que o incio do vago esta a uma distncia vt0 + x00 ,
onde x00 a distncia inicio do vago ao centro do sistema S 0 no instante t0 = 0, temos
x0 = vt0 + x00 +
x0 = vt0 + x00 +
x = vt0 + x00 +
x:
(x0
vt0 ) :
Que o primeiro termo das TL em (7), com o sinal da velocidade devidamente ajustado7 . Vemos ento como
a linguagem de rguas e relgios se traduz na linguagem das transformaes de Lorentz.
interessante agora analisar o problema do decaimento do novamente. Suponha que voc o , ou
pelo menos esteja num referencial que se move juntamente com o , para voc no h a dilatao do tempo
descrita anteriormente e o viver apenas 2:2 s.
Exercise 21 Problem 22 Como, neste tempo, voc conseguir viajar do topo da atmosfera at a superfcie
terrestre?
No referencial do , o espao medido por algum na terra se contrai pelo efeito descrito acima. Assim, se
para algum na terra o viajou 10Km (durante mais de 2:2 s), para o ele viajou apenas 600m (durante
2:2 s).
At o momento no existe nenhum teste experimental direta da contrao da do comprimento dos objetos8 . Uma vez que a medida do comprimento de objetos em movimento, com a preciso necessria para a
comprovao, est aqum das tecnologias atuais. Entretanto, uma srie de evidncias indiretas deste efeito
pode ser observada. Um exemplo simples o seguinte:
Um o que carrega uma corrente estacionria pode ser considerado praticamente neutro, quando observado
de um referencial onde o o est parado. Uma vez que os eltrons em movimento se deslocam por uma rede
de tomos com carga contrria. Isso pode ser comprovado pelo fato de cargas em repouso (em relao ao o)
no sofrerem nenhuma inuencia deste. Agora, se analisarmos o comportamento de uma carga que se move
com velocidade constate, igual a dos eltrons na corrente9 , e paralela ao o, devemos esperar que o campo
magntico gerado pela corrente inuencie o movimento da carga pela fora de Lorentz. Esta a descrio de
um observador em repouso com o o sobre o deslocamento (e conseqentes foras) da carga.
Entretanto, um observador que se desloque juntamente com a carga, ver uma contrao na distncia
entre as cargas positivas (paradas na rede em relao ao o). Conseqentemente a densidade de cargas
7
crucial que voc saiba identicar as quantidades em cada problema, sem se bitolar nas expresses.
exemplo a seguir e esta armao foram retirados de:
http://math.ucr.edu/home/baez/physics/Relativity/SR/experiments.html
9 Lembrado que a velocidade dos eltrons de alguns milmetros por segundo.
8O
36
positivas ser agora maior que as negativas e uma fora eltrica agir na carga. Por outro lado, como a carga
est em repouso para este observador, nenhuma fora magntica esperada. Assim, este observador
descreve as foras que agem sobre a carga, apenas como um efeito da fora eltrica. Esta ltima fora
foi prevista usando a contrao de Lorentz e o resultado confere com o experimento. Esta uma evidncia
(indireta) de que a contrao ocorre.
(Pode ser medido experimentalmente)
Um ponto importante deste experimento que, devido a enorme intensidade das foras eletromagnticas
envolvidas, o efeito pode ser vericado e medido mesmo para velocidades muito baixas e, conseqentemente,
este tipo de experimento pode ser facilmente implementado no laboratrio. Para uma descrio mais detalhada veja: Purcel, Electricity and Magnetism.
2.9
Simultaneidade
Nas sees anteriores vimos como a exigncia de que um certo fenmeno tenha uma "realidade fsica" nos
permite obter vrio resultados da TRR. Por exemplo, quando falamos da no contrao das componentes
ortogonais ao movimento. Entretanto, a armao de que algo possua uma realidade fsica precisa ser
analisada com muito cuidado na TRR. Antes de Einstein poucas pessoas duvidariam que a armao isso
aconteceu no mesmo instante daquilo, ou aquilo aconteceu no mesmo lugar disto, possui uma
realidade fsica. Porm, vejamos o seguinte exemplo:
Imagine um celeiro (ou uma garagem) e uma escada. A escada foi construda para caber exatamente no
celeiro. Ou seja, num referencial em que ambos esto parados, ambos tm comprimento L, Figura 3-a. O
celeiro possui duas portas automticas, uma de cada lado. Estas portas possuem um relgio onde se pode
programar o momento do fechamento e da abertura. Ambas as portas do celeiro esto abertas e a escada
introduzida com velocidade v. Quando a escada est dentro do celeiro, ambas as portas se fecham e tornam a
abrir rapidamente. Para uma pessoa dentro do celeiro, que v a escada se mover com velocidade v, a escada
1
sofre uma contrao de Lorentz e passa a ter um comprimento
L < L (Figura 3-b). Assim, quando
ambas as portas se fecharem a escada cabe (com folga) dentro do celeiro. Ou seja, para a pessoa dentro do
celeiro a escada entrou no celeiro, as portas se fecharam e abriram e a escada saiu. Depois do experimento
todos os componentes saram ilesos. Agora, para a pessoa que carrega a escada, que v o celeiro se mover
com velocidade v, quem sofre a contrao de Lorentz o celeiro. Assim, como a escada tem agora um
comprimento L maior que o celeiro ( 1 L), est no caber no celeiro. Ento, quando as portas se fecharem
ou a escada ser cortada ou as portas iro se quebrar, de sorte que um dos componentes ser destrudo.
Exercise 23 Problem 24 Como s pode haver uma realidade fsica, o que acontece ento com a escada e
o celeiro?
Primeiramente preciso notar que o problema acima est mal colocado, pois a descrio da montagem
do experimento no faz referencia a nenhum observador em especial. Vamos analisar o problema com todos
os detalhes necessrios.
37
Figure 5: .
Figure 6: .
fechou, t2 o instanate que a porta 2 fechou, x0 (t) o nal da escada e t0 o instante em que o nal da escada
passou pela porta 1.
Para o observador do referencial S, existe a seguinte seqncia de eventos:
1. A porta 1 em x1 se fecha no instante t1 = 0 , ou seja, o evento a porta da esquerda se fechou tem as
coordenadas (x1 = 0; t1 = 0);
2. Neste mesmo instante a porta 2 (no ponto x = L) se fechou. Ou seja, o evento porta da direita se
fechou tem as coordenadas (x2 = L; t2 = 0).
3. O inicio da escada (parte mais a esquerda) passa pela porta 1 em t0 , (x0 = 0; t0 = 0);
Remark 25 Observe que para o observador em S os eventos 1 e 3 possuem as mesmas coordenadas.
Mas, mesmo assim, descrevem eventos diferentes.
Como cam estas coordenadas (que descrevem estes eventos) quando passadas para o sistema linha.
Primeiro vamos acertar as medidas do nosso referencial, ou seja, combinar onde cam as origens espaciais e sincronizar os relgios em algum instante especco. Lembre-se que isto sempre necessrio
para que as TL possam ser usadas. A pessoa que carrega a escada, no referencial S 0 , chamou de x0 = 0 do seu
sistema o incio da escada (parte mais a esquerda). Esta pessoa tambm tem um relgio e, para comprara
sua medida com a do outro observador o sincronizou da seguinte forma:
1. ele foi at o ponto x0 = 0 e
2. quando este ponto (o inicio da escada, ou a parte mais a esquerda) passou pela porta de entrada ele
leu o relgio de S, que est exatamente neste ponto, e ajustou seu relgio com este valor. Observe
que ele leu um relgio de outro referencial, mas que estava exatamente no ponto onde ele
estava.
39
Esta a sincronizao dos referenciais descrita anteriormente. Feito isso temos que ambos os referenciais
concordam com o evento: o nal da escada x0 = 0 passou pela entrada do celeiro x = 0 no instante t = t0 = 0.
Fazendo isso os zeros dos dois referenciais coincidem.
Assim, no referencial S 0 , temos o evento:
a) O incio da escada passou pela porta 1 em (x00 = 0; t00 = 0).
b) A porta 1, na posio x01 (t0 ), se fechou no instante t0 = 0, (x01 = 0; t01 = 0) :
Novamente os eventos acima possuem a mesma coordenada, mas descrevem coisas diferentes. Observe
que o evento (a) acima o mesmo que o evento 3 no referencial S e que o evento 1 o mesmo que (b). Ou
seja, ambos os referenciais concordam quanto as coordenadas dos eventos "o incio da escada passou pela
porta de entrada", "A porta 1 se fecha".
Vamos agora usar a transformao de Lorentz (7) para responder uma srie de perguntas do ponto de
vista do referencial S 0 . Lembrando que as expresses obtidas em (7) descrevem o problema: Um referencial
S 0 que se move para a direita com velocidade v em relao ao referencial S (se voc mudar quem S e quem
S 0 ter de inverter o sinal de v).
Perguntas:
1. Quando o incio da escada chegou na porta de entrada (evento (a) conhecido: (x00 = 0; t00 = 0)) onde
estava a porta 2 (ou o nal do celeiro10 ) x02 (t0 ), i.e, a porta de sada? Ou ainda, onde estava o nal do
celeiro no instante t0 = 0? Ou qual o evento (x02 =?; t0 = 0)?
Temos a nossa disposio as tranformas
x02 =
(x2
v:t) ; x2 =
(x02 + v:t0 ) ;
e queremos calcular (x02 =?; t0 = 0). Como conhecemos t0 obviamente podemos usar a segunda destas
expresses11
x2 = (x02 + v:0) ) x02 = 1 x2 = 1 L :
Esta primeira equao o fato que j sabamos que celeiro se contraiu e a porta de sada no est mais
1
em L mas sim em
L.
IMPORTANTE: Um erro comum no clculo acima acreditar que, como os relgios dos referenciais
foram sincronizados em t = t0 = 0, ento podemos usar t = 0 e, consequentemente, x0 = (x v:t) (j
que conhecemos t). Mas o ponto aqui que (x = 0; t = 0) = (x0 = 0; t0 = 0), i.e., os relgios s esto
sincronizados na origem dos sistemas de coordenada. Queremos saber onde um observador em
1 0 Como x a posio do nal do celeiro no referencial S estamos chamando esta coordenada em S 0 de x0 , mas lembre-se
2
2
que, como S 0 v o celeiro se mover, est coordenada diferente em cada instante do tempo. Ento, enquanto em S
0
0
0
podemos falar de uma coordenada x2 , em S temos de falar sempre de x2 (t )).
1 1 Lembre-se que, diferente do que ocorreu no caso do foguete, onde devamos usar apenas o referencial da terra, pois s este
era inercial, agora ambos os referncias so inerciais e, portanto, podemos usar arbitrariamente qualquer um deles.
40
t0 +
vx0
c2
; t0 =
vx
c2
t2
vx2
c2
) t02 =
vL
6= 0 :
c2
Este o tempo que um observador no referencial S 0 l no relgio que est na porta 2 do celeiro quando
0
esta se fecha. Esta segunda equao nos diz que a porta de sada fechou e abriu em t02 =
vL=c2 < t0 =
0. Ou seja, enquanto o observado em S viu as duas portas fecharem ao mesmo tempo, um observador
em S 0 viu primeiro a porta de sada fechar em t02 =
vL=c2 e, s depois, a porta de entrada fechar
em t01 = 0.
Concluindo, o observador que carregava a escada viu: as duas portas do celeiro estavam abertas; a ponta
da escada entrou no celeiro e, antes de chegar na porta de sada, esta se fechou e tornou a abrir (mas a porta
de entrada permaneceu aberta), Figua 6-a; o nal da escada entrou no celeiro e a porta da entrada se fechou
e tornou a abrir (mas a porta de sada permanecer aberta), Figura 6-b. Desta forma, a escada (mesmo para
quem a empurrava) pode entrar e sair ilesa do celeiro sem destruir as portas.
Na verdade, sabemos que a porta de sada fechou antes da porta de entrada. Entretanto, isso no prova
que a escada no foi danicada. Lembre que a escada maior que o celeiro, ento, mesmo que seu inicio
ainda no tenha passado pela porta 1, seu nal j pode ter atingido a porta 2. Para efetivamente provar
que a escada no se danicou, temos que mostrar que, quando a porta de sada se fechou nenhum pedao da
escada estava nesta posio.
vL=c2 o nal da escada
Exercise 26 Mostre que quando a porta de sada do celeiro se fechou em t02 =
0
em xf = L ainda no tinha chegado na porta de sada.
Hint: no referencial S 0 o nal da escada est (sempre) em x0f = L, basta mostrar que em t02 a coordenada
em S 0 da porta 2 e maior que a coordenada do nal da escada, x02 > x0f ).
41
Figure 7: .
Enquanto o fato a escada entrou e saiu (ilesa) do celeiro, permanece vlida para ambos os observadores
(conservando, neste sentido, a sua realidade fsica), a armao as portas do celeiro se fecharam ao
mesmo tempos vlida para o observador do celeiro. Um observador que carrega a escada (que tambm
merece a sua credibilidade) vai garantir (com provas) que a porta de sada abriu antes da de entrada.
Assim, o conceito de simultaneidade no possui mais uma realidade compartilhada por todos os
observadores em TRR. Como j vimos (e continuaremos vendo com o desenvolver das idias), o mesmo
acontece com a armao isso ocorreu a uma certa distncia daquilo.
42
2.10
O exemplo da seo anterior deixa claro o fato j citado que relgios sincronizados num certo instante
no estaro mais sincronizados em outros instantes. Mas, antes de entrar nos detalhes deste fato,
vamos tentar explicar melhor o que signica uma armao do tipo: o observador em S vum evento,
ou, um observador em S lum relgio em S 0 .
No sentido usual, para um observador ver um evento, e.g., um relgio, num ponto distante este relgio
precisa ser iluminado e a luz reetida para o observador. Isso demora um certo tempo. Com isso, da mesma
forma que muitas estrelas que brilham hoje no cu j se apagaram, um observador jamais veria o horrio que
relgio distante marca, mas apenas o horrio que ele marcava em algum instante anterior. Quando falamos
em ver nas sees anteriores, no estamos falando deste tipo de observao.
O efeito do atraso descrito acima, apesar de real, insere em nossos observadores uma ignorncia sobre as
coordenadas reais (num sentido que discutiremos) de um evento. Esta ignorncia pode levar a interpretao
errnea de que os efeitos da TRR (discutidos anteriormente) so meras iluses. Isso no verdade, estes
efeitos so reais no sentido de que nenhum experimento poderia desmascar-los. Alm disso, o sentido usual
de viso poderia depender do caminho que a luz faz do objeto at o observador. Ou seja, um observador
poderia ver um relgio olhando diretamente para ele, ou olhando para o seu reexo num espelho. Neste caso
a viso direta e a reetida marcariam tempos diferentes. Para eliminar estes problemas, gostaramos de criar
um modelo onde um observador pudesse realmente ver o que ocorre num ponto distante.
Quando falamos da sincronizao dos relgios no exemplo anterior salientamos que o observador na origem
de S 0 olhava para um relgio que, mesmo pertencendo ao referencial S, est exatamente naquele ponto.
O problema que, como vimos, relgio perdem a sincronia com o movimento.
Imagine que o referencial S um vago de trem que possui uma janela em cada extremidade e est, ou
parado, ou em movimento constante, i.e., um referencial inercial. Neste vago temos duas pessoas A e B
que usam as coordenadas deste mesmo sistema S. Usar as mesma coordenada signica que elas concordam
em chamar de origem o inicio do vago e usam as mesmas rguas para medir distncias. Alm
disso, num dado momento elas se encontrar num dado ponto, e.g., o inicio do vago, e sincronizam seus
relgios. Agora elas realmente compartilham o mesmo sistema de coordenadas.
As duas pessoas permaneceram no inicio do vago at que um dia uma delas (A) resolveu olhar pela
janela no nal do vago. Ela andou at l e presenciou o fato curioso de que um pssaro se chocou contra
o vidro da janela. Ela resolve ento registrar este fato: o evento ocorreu em (x = L; t = T ). Ento ela volta
para o incio do vago e conta isso para a pessoa que cou l parada e no teve a chance de presenciar o m
trgico da ave. Depois de contar o fato e apresentar as coordenadas do evento, eles, por uma razo qualquer,
comparam de novo os seus relgio e observam, abismados, que estes no esto mais em sincronia. O que
aconteceu? Bem, quando o observado A se moveu para o nal do trem, ele passou a estar em movimento
em relao ao observador B. Assim, visto de B, o relgio de A andou mais devagar e, conseqentemente, se
desincronizou. O resultado disso que se A tivesse simplesmente entregue para B as coordenadas do evento,
este tiraria uma concluso completamente errada sobre o momento da morte do pssaro. Ou seja, uma vez
43
conhecendo a sua posio no referencial S no momento da medio, podem ento dizer o tamanho da barra
vista de S.
De outra forma, suponha que em S0 a barra tem comprimento L0 e est parada em x0I = 0 e que os
referenciais sincronizaram seus relgios na origem. A medio em S foi realizada num instante t. Neste
instante (que deve ser xado em S, porque ele est fazendo a medida) temos
x0I
(xI
v:t) = 0
x0F
(xF
v:t) = L0
x0I
(xF
v:t)
(xI
[xF
xI ]
[xF
xI ] =) [xF
v:t)
xI ] =
L0 = L :
1
Ento, a razo de termos um fator para o tempo (dilatao temporal) e
para o espao (contrao
espacial) vem do fato das medidas de tempo ser feitas diretamente, mas as de comprimento estarem sujeitas
ao vnculo de simultaneidade no referencial que realiza a medida.
Imagine agora que a medida acima foi realizada de outra forma (completamente equivalente). Nosso
referencial S 0 pode ser um vago cujo assoalho uma grade. O observador em S, sabendo da sua necessidade
futura de medir a barra, preparou o seguinte dispositivo: ele instalou dois explosivos um de cada lado da
barra e programou os detonadores para acionar num mesmo instante t do seu referencial S (como veremos, na
verdade muito difcil dizer como ele fez isso). Ento ele est parado no seu referencial S e v os explosivos
nas extremidades da barra no vago explodirem no mesmo instante de tempo t (para facilitar a compreenso,
imagine que quando isso ocorreu ele estava no meio da barra). Como o piso do vago perfurado (uma grade)
a exploso chamuscou no apenas o piso do vago (referencial S 0 ), mas tambm o cho onde o vago passava
(referencial S). Como o observador em S sabe que os eventos da exploso ocorreram no mesmo instante t, ele
sabe que as marcas no cho correspondem exatamente ao tamanho da barra. Ento ele mede esta distncia
e obtm o tamanho L calculado acima. Mas lembre-se que o piso do vago tambm foi marcado. Entretanto,
dentro do vago a distncia entre cada exploso exatamente o comprimento da barra L0 (certamente ele
viu uma exploso em cada extremidade da barra e, para ele, a barra no se moveu). Mas o observador no
trem sabe que o cho foi chamuscado pelas exploses na barra. Como ento ele explica que a distncia entre
as marcas no cho vale L < L0 ?
45
t
t0F =
t0 =
xI v
; t0F =
t
c2
v
[xI xF ] =
c2
xF v
;
c2
v
1 0
v
L = 2 L0 ;
2
c
c
v 0
L :
c2
Isso signica que os explosivos no foram detonados no mesmo instante para um observador em S0.
Ou, num processo geral de medida, visto do referencial S 0 as duas pessoas em S no registraram o tamanho
da barra no mesmo instante. A pessoa no inicio da barra fez o registro, mas, s depois de um tempo t0 , a
outra pessoa registrou o nal da barra. Neste tempo o observador em S 0 sabe que a barra se moveu para S e
este movimento, juntamente com o atraso do medidor que registrou o nal da barra, foi a causa da medida
contrada em S (esta a explicao de um observador em S 0 , pois para os observadores em S a medida foi
realizada corretamente). Nesta descrio vemos que o observador em S 0 no considera as exploses como
uma medida de distncia. Ou seja, o evento das exploses uma medida de distncia em S, mas no em S 0 .
Assim, como mencionamos anteriormente, um processo de medida requer eventos que ocorreram em tempos
iguais.
46
2.11
Efeito Doppler
!t) ; ! = 2 f ;
!
=V
k
onde f a frequncia, k o vetor de propagao cujo mdulo igual ao recproco do comprimento de onda e
V a velocidade de propagao. A quantidade entre parnteses na expresso acima a fase da onda.
Para um sinal luminoso (V = c) cujo vetor de onda est no plano x y, fazendo um ngulo com o eixo
x, temos
!t
k:x
!t ;
ct] :
Um sinal luminoso que se propaga na direo k, aps um tempo t ter percorrido uma distncia
r = ct ) x cos
+ y sin
= ct ) x cos
+ y sin
ct = 0 :
Ou seja, a frente de onda de um sinal luminoso emitido na origem em t = 0 percorrer uma distncia ct. O
mesmo vlido para qualquer parte da onda. Assim, para um sinal luminoso (no vcuo) a fase da frente de
onda vale
k:x !t = 0 :
Alm disso, se este mesmo sinal for observado de um referencial S 0 que se move com velocidade v^
x em relao
0
0
a S, ele ter uma direo de propagao k e, aps um tempo t ter percorrido a distncia
r0 = ct0 ) x0 cos
+ y 0 sin
= ct0 ) x0 cos
+ y 0 sin
! 0 t0 = 0 = k:x
47
!t
ct0 = 0 :
ou ainda
!0 0
[x cos
c
0
! [x0 cos
+ y 0 sin
+ y sin
!
[x cos + y sin
c
= ! [x cos + y sin
ct0 ]
ct ]
ct]
ct]
(14)
x=
y = y0 ; z = z0 ;
t0 +
t=
vx0
c2
temos
! 0 [x0 cos
!0 0
[x cos
!
0
! 0
[x cos
!
+ y 0 sin
ct0 ]
= !
+ y 0 sin
ct0 ]
+ y 0 sin
ct0 ]
= x0
x0 cos
+ y 0 sin
+ vt0 cos
+ y 0 sin
v
+ y 0 sin
c
cos
c t0
1
vx0
c2
vx0
c 2
c
t0 +
v
cos
c
ct0
= sin
cos
v
cos
c
v
c
(15)
v
cos
c
(16)
Esta mudana na freqncia do sinal luminoso quando observado de diferentes referenciais chamado de
efeito Doppler 12 .
Exercise 28 Obtenha o efeito Doppler partindo da equao (14) usando as TL diretas (no as inversas como
zemos acima) e mostre que voc obtm a mesma expresso (16).
Vamos analisar um caso especco. Suponha que um sinal luminoso emitido em S na direo x
^. Se S 0 se
1 2 Proposto
48
move para a direita com velocidade v em relao a S (como supomos para obter as expresses acima), ento
S 0 v S se deslocar para a esquerda. Com isso, temos duas situaes:
1. Antes de S passar por S 0 , i.e., quando S se move na direo de S0, apenas o sinal emitido na direo
x
^, ou seja, com = ser visto por S 0 . Com isso
f0
= f
v
u
u
= ft
como
1+
v
c
v
v
cos ( ) = f 1 +
c
c
s
2
1 + vc
1 + vc
=
f
v
1 + vc
1 vc
c
> 1
v
c
=) f 0 > f ;
a frequencia aumenta, uma luz branca emitida em S ser vista azul em S 0 , este o famoso blue shift.
2. Depois de S passar por S 0 , i.e., quando S se afasta de S 0 , apenas o sinal emitido na direo x
^, ou seja,
0
com = 0 ser visto por S . Com isso
f0
como
= f
v
u
u
= ft
1+
v
c
v
v
cos (0) = f 1
c
c
s
2
1 vc
1 vc
v
v =f
1+ c
1 + vc
c
> 1
v
c
=) f 0 < f ;
a frequencia diminui, uma luz branca torna-se mais vermelha, este o famoso red shift.
Estes efeitos so muito usados para se medir a velocidade de corpos celeste. Em especial, o red shift de
galxias distantes permitiu Hubble determinar que o universo est em expanso.
Problem 29 Mas como se conhece a freqncia original emitida pelos corpos celestes para saber que este
sofreu um red ou blue shift?
O ponto que, como veremos no nosso curso de quntica, as linhas espectrais, i.e., a freqncia das
ondas emitidas pelos materiais so bem conhecidos. E, acreditando que a mecnica quntica vale em todo o
universo, sabemos a freqncia original da radiao emitida.
(efeito Doppler transversal)
Um ponto a se notar na expresso do efeito Doppler que, mesmo para um feixe que se desloque perpendicular ao movimento dos referencias, = 900 observamos uma modicao na frequencia
f0 = f ;
49
1+
v
cos
c
) f0 =
f :
Observe que o efeito completamente inverso ao descrito anteriormente. Enquanto no primeiro tnhamos
um blue shift, agora temos um red shift. Este red shift possui uma explicao bastante simples. No caso geral
do efeito Doppler tanto as contraes espaciais quanto a dilatao do tempo inuenciam, respectivamente,
no comprimento de onda e na freqncia. Entretanto quando o observador v a onda perpendicular ao
movimento, apenas a dilatao do tempo importante. Assim, se em S o perodo das oscilaes vale T , para
S 0 ele vale T 0 = T , com isso
1
1
1
f0 = 0 =
= f :
T
T
2.12
Aberrao
= sin
!0
=
!
v
c
cos
v
cos
c
(cos
)
; sin
(1
cos )
sin
(1
cos )
v
c
ou ainda
tan
tan
2
0
r
s
1 cos
1 + cos
1+
1
0
0
tan
( + 1) [1 cos ]
=
(1
) [1 + cos ]
2
50
( + 1) sin2
(1
) cos2
2
2
A mudana da direo de um sinal luminoso quando observado por um referencial em movimento em relao
fonte chamado de aberrao. A equao acima para a aberrao da luz est presente no primeiro trabalho
de Einstein.
Como a tangente uma funo crescente, para o nosso caso de jvj > 0 temos que o observador em S0 ver
o feixe emitido com =2 < < com um ngulo maior, ou seja, o feixe se curva na direo do movimento.
Desta forma uma srie de feixes com ngulos diferentes tendem a se concentrar na direo do movimento, ou
seja, haver uma concentrao da intensidade do feixe na direo do movimento. Para o caso limite v ! c
temos
0
0
! 1 =)
! =) 0 ! :
tan
2
2
2
Ou seja, todos os feixes se concentram na direo do movimento.
Quando uma carga acelerada num movimento circular ela, como qualquer carga, irradia, esta radiao
chamada de radiao cyclotron. Entretanto, quando a velocidade da carga acelerada se aproxima da
velocidade da luz, pelo fenmeno descrito acima, esta radiao se concentra na direo do movimento. Esta
radiao concentrada chamada de radiao synchrotron.
Remark 31 Ambos os efeitos apresentando nas duas ltimas sees concordam com as expresses clssicas
at primeira ordem em . Entretanto, no tratamento clssico, os casos em que a fonte se move ou que o
observador se move deve ser tratado separadamente, enquanto aqui na teoria relativstica o tratamento o
mesmo.
51
2.13
Adio de velocidades
Uma anlise direta das TL mostra, primeiro, que estas expresses no esto denidas para v = c e, segundo,
para v > c elas produzem valores imaginrios das coordenadas. Com isso, na nossa denio de referenciais
inerciais estamos supondo que nada atinge, ou ultrapassa, a velocidade da luz. Vamos tentar concluir
este mesmo fato diretamente das transformaes.
Observe, primeiramente, que o segundo postulado incompatvel com a noo usual de soma de
velocidades. Por exemplo, suponha que o referencial S observa um referencial S0 que se move com velocidade
v = 0; 6c para a direita. Imagine agora que no referencial S 0 algum disparou um projtil com velocidade
u0x = 0; 7c (que possvel pois ux < c). Pela noo usual de soma de velocidades, a pessoa no referencial S
veria este projtil com a velocidade de lanamento somada a velocidade do prprio referencial,
?
ux = u0x + v = 1; 3c > c ?!
O que, obviamente, impossvel na nossa teoria. Ento, como se somam as velocidades na TRR?
Voltando ao nosso exemplo, o projtil foi lanado com velocidade u0x no referencial S 0 . Assim, pela
denio de velocidade, temos
dx0
dx
u0x = 0 ; ux =
;
dt
dt
52
dx
ux =
=
dt
dt0 dx
dt0 + v
(dx0 + v dt0 )
=
0
dt0 + cv2 dx0
dt0 1 + cv2 dx
dt0
u0x + v
:
1 + cv2 u0x
u0x + v
6= u0x + v :
1 + cv2 u0x
(17)
) ux =
0; 7c + 0; 6c
1; 3c
1; 3c
=
=
= 0; 91c < c :
0;6c
1 + 0; 42
1 + 0; 42
1 + c2 0; 7c
Da mesma forma, para qualquer valor com v; u0 < c (no importa quo prximos de c) teremos u < c. Esta
a frmula de adio de velocidades de Einstein.
Vamos agora estudar o caso de uma direo u0 = u0x ; u0y ; u0z arbitrria, ou seja, v continua da direo
x, mas os corpos em S 0 podem ter uma velocidade numa direo qualquer. Neste caso, usando exatamente
o mesmo procedimento acima, temos
uy
uz
u0y
dy
1
=
;
dt
1 + cv2 u0x
dz
1
u0z
=
:
dt
1 + cv2 u0x
53
(ux + ( jvj))
1+
( jvj)
c2 ux
=c
jvj
c
jvj
c
c
jvj
(18)
Como v < c e > 1 o numerador positivo. Dentre os referenciais possveis, i.e., aqueles para os quais v < c,
existem alguns com:
c
c
c
<0)
< ) < jvj < c
(19)
jvj
jvj
Para estes referenciais temos
u0x
c2
=
jvj
jvj
c
c
jvj
<0:
Ou seja, para os referenciais que respeitam (19), que, apesar de no serem todos, so alguns, a direo do
projtil foi invertido. Assim, ou ele foi enviado de B para A, invertendo a relao de causa e efeito, ou ele
nunca tingir B, de sorte que o efeito observado em S0 no ser observado em S. Em ambos os casos temos
uma violao do primeiro postulado. Assim, como conseqncia do primeiro postulado, temos que nenhum
sinal pode ser enviado mais rpido que a luz e manter a relao de causa e efeito em todos os
referenciais.
2.13.1
Um artifcio muito usado para se analisar problema em relatividade o diagrama de espao-tempo. Neste
diagrama podemos plotar os eventos como pontos. Obviamente este diagrama no pode ser desenhado para
um espao tridimensional, mas podemos ver como ele funciona se limitarmos as dimenses espaciais do nosso
problema. Assim, para uma nica dimenso, podemos registrar um evento que ocorreu num ponto x no
instante t como a gura abaixo.
Obviamente o diagrama se refere a uma medida especca de tempo e espao e conseqentemente a
descrio de um referencial especco. Para este observador, a descrio de um objeto que permanece parado
com o passar do tempo uma linha vertical. A visualizao do diagrama melhorada se mudarmos a escala
de tempo e no usarmos t, mas sim ct. Neste caso, uma entidade que se movesse na velocidade da luz
descreveria uma reta com uma inclinao de =4 (ou
=4 se a direo for x
^) e qualquer objeto que se
mova com velocidade u < c constante representa uma reta com ngulo maior que =4. A coleo de pontos
que descreve a histria de um evento chamada de linha de mundo.
Pelo que foi dito antes sabemos que a possibilidade de se estabelecer uma relao causal entre dois
pontos do diagrama est ligado ao fato de ser possvel enviar um sinal luminoso entre estes pontos no tempo
disponvel. Assim, o ponto mais distante que pode ser inuenciado num intervalo de tempo dt por outro deve
p
estar numa distncia espacial dr = dx2 + dy 2 + dz 2 dada por
2
(cdt) = dx2 + dy 2 + dz 2
54
(cdt)
ds2
ds2
ds2
1. O primeiro tipo de intervalo descreve pontos onde (ct)2 > dr2 , ou seja, pontos (no espao 3D) cuja
distncia (espacial) menor que a percorrida pela luz num intervalo de tempo dt. Assim, este tipo de
intervalo caracteriza pontos que podem ter relaes causais. Intervalos com esta caracterstica so
chamados de intervalo tipo tempo;
2. Da mesma forma, intervalos do segundo tipo descrevem pontos cuja distncia espacial maior que
2
aquela que pode ser percorrida por um sinal luminoso no intervalo de tempo considerado (dr2 > (ct) ).
Este tipo de intervalo se chama intervalo tipo espao e caracteriza pontos que no podem ter
nenhuma relao causal;
3. O ltimo tipo de intervalo caracteriza pontos cuja distncia espacial exatamente aquela percorrida
2
pela luz ((ct) = dr2 ). Assim, este pontos podem ter relao causal exclusivamente por sinais que
trafeguem a velocidade da luz. Intervalos deste tipo so chamados de intervalos tipo luz ;
Suponha agora um evento que ocorra na origem do diagrama (o que s signica que comeamos a contar
o tempo a partir deste evento). Pelo que foi dito anteriormente, nenhum sinal emitido por este evento pode
55
ter velocidade maior que a da luz e conseqentemente, este sinal deve ter um ngulo 3 =4 < < =4. Isso
signica dizer que nenhum sinal emitido por este evento pode chegar nos pontos fora da regio
denida pelo cone da gura abaixo (chamamos de cone porque imaginamos que existem outras dimenses
espaciais).
Este o cone de luz deste evento e apenas pontos dentro deste cone podem ser inuenciados ou inuenciar
este evento. De outra forma, dizemos que os pontos fora deste cone no possuem nenhuma relao
causal com o evento em questo.
Obviamente uma forma semelhante de diagrama pode ser desenhado na MC, tomando em conta as TG.
Mas, neste caso, se considerarmos diagramas de observadores diferente, tudo que podemos fazer rodar e
deslocar o plano espacial, deixando sempre pararelo o eixo temporal (podemos tambm deslocar todo o plano
espacial ortogonalmente ao tempo, pois cada observador pode escolher set t0 , mas os eixos temporai sero
sempre paralelos). Com isso, um observador em qualquer sistema de coordenada concordar sobre
intervalos de tempo e simultaneidade. Alm disso como no h limite para a velocidade de um sinal,
todos os pontos do diagrama podem ter uma relao causal.
Como j vericamos na subseo 2.5.3 (O segundo postulado e as TL) as TL so exatamente aquelas
que deixam invariante a quantidade ds2 para qualquer referencial (8)
ds02 = ds2 :
Este resultado e o diagrama espao-tempo, uma ferramenta poderosa para se analisar um grande nmero
de problemas. Em especial, o paradoxo dos gmeos. Primeiramente, como foi dito, precisamos escolher um
referencial bom, i.e., um referencial inercial. Neste caso, o referencial S da terra. Visto deste referencial, e
56
Figure 9: Carrol
colocando o evento do lanamento do foguete na origem do diagrama, temos o seguinte esquema para todo
o processo.
Observe que a distncia entre pontos no um intervalo no sentido usual, pois a coordenada temporal
entra em ds com sinal de menos. Mas deste diagrama podemos ver que o intervalo ds2AB vale
ds2AB = (dxAB = 0)
(cdtAB ) =
(cdtAB )
ou seja a quantidade
1 2
2
ds
= (dtAB )
c2 AB
o tempo passado para os eventos registrado pelo gmeo que cou na terra. Apenas para acertar a questo
do sinal na expresso acima, vamos denir a quantidade
d
1 2
ds
c2
AB
= dtAB
com isso
ABC
= 2dtAB =
57
t;
2
AB 0
1 h
2
= 2 (cdtAB 0 )
c
2
AB 0
vale
2
(dxAB 0 )
= (dtAB 0 )
com isso
d
AB 0
= dtAB 0
"
dxAB 0
cdtAB 0
= (dtAB 0 )
v2
c2
1
v2
= dtAB 0
2
c
AB 0
AB 0 C
dtAB 0 =
dtAB :
Onde, obviamente, t o intervalo de tempo de todo o processo medido pelo observador na terra (que est
fazendo o diagrama).
Observe que estas duas quantidades so medidas pelo observador em S, ou seja, no estamos calculando
0
d mas apenas o d de duas linhas de mundo diferentes descritas pelo mesmo observador.
Agora se ds2 invariante (i.e., o mesmo para todos os observadores), obviamente d 2 tambm o
. Isso signica que, o intervalo d 02 (ou ds02 ) calculado por algum na nave (usando o seu sistema de
coordenadas S 0 ) entre os eventos a "nave saiu da terra" e a "nave inverteu os motores" vale
d
=d
AB 0
dtAB :
(20)
(onde m indica o meio da viagem). Observe que at aqui ambos os observadores so inerciais.
Agora no diagrama construdo por algum que esta na nave (por ser um refencial inercial desenhado da
forma usual), a sua prpria trajetria at a inverso dos motores (como ele est parado no seu referencial)
vale
i
1 h
2
2
0 2
0
d 02
=
(cdt
)
(dx
=
0)
= (dt0 ) ) d 0m = dt0m
m
c2
ou seja, pra ele o intervalo d
isso, usando (20),
0
m
exatamente o tempo que marca o seu reglgio no meio (m) da viajem. Com
dt0m =
58
dtAB
Alm disso, como o tempo da viajem de volta o mesmo que o de ida (e os dois observadores concordam
com isso), temos que o tempo total da viagem vale
1
1
1
t0 = 2dt0m = 2 dtAB = dtABC =
t:
Ou seja, no nal da viagem o relgio dele marcar um tempo
t0 =
t<
t;
O arrasto do ter
Mais um pouco sobre o ter: Antes de 1900 havia, entre outras menos populares, duas hipteses sobre a
viscosidade do ter. A primeira devido a G. Stokes (1845) que props que o ter era completamente
arrastado pelos corpos, de sorte que nenhuma velocidade em relao ao ter poderia ser detectada. A
primeira vista este hiptese foi comprovada pelo experimento de Michelson-Morley (mas, como vimos, isso
no verdade). Entretanto, havia tambm a hiptese de A-J Fresnel (1818) de que o ter penetraria nos
corpos, de sorte que ele seria apenas parcialmente arrastado com os corpos. Nesta hiptese o ter no se
moveria completamente com o corpo (com a mesma velocidade) como na hiptese anterior, mas tambm no
caria parado (como um superuido). Assim, na hiptese de Fresnel ainda seria possvel detectar um certo
movimento entre os corpos e o ter.
Conhecia-se bem o comportamento da luz nos meios, i.e., o fato de que num meio com ndice de refrao
n a luz se move com velocidade c=n. Pela hiptese de Fresnel, se todo o meio se move com uma certa
velocidade v a luz teria uma velocidade c=n + v0, com v0 < v. Assim, se a densidade do ter no ambiente vale
e , conforme o ter penetra no meio a densidade do ter dentro do meio aumenta para f > e . Alm disso,
pela teoria ondulatria da luz, a sua velocidade (e, conseqentemente, o ndice de refrao) dependeria da
densidade do ter
1
e
= 2 :
n
f
59
=v 1
1
n2
Assim, a velocidade u da luz no meio que se move com velocidade v (observada por agum parado) seria
u=
c
+v 1
n
1
n2
(21)
conhecido como arrasto de Fresnel (Fresnel drag). Esta hiptese foi comprovada em 1851, com experimentos
estudando a propagao da luz na gua, por H. Fizeau!
Temos ento mais um dos problemas do ter. Dois experimentos diferentes (MM e Fizeau) comprovavam dois comportamentos completamente diferentes desta substncia. J vimos como, pela RR, podemos
abandonar a idia do ter e, assim, entender o experimento de MM. Vejamos agora como a RR explica o
experimento de Fizeau.
Suponha agora que voc observa a luz se propagar num meio com ndice de refrao n e o meio, e.g., um
aqurio, se move com velocidade v. Para algum em repouso no meio a luz se propaga com velocidade c=n,
enquanto para algum que v o aqurio se mover com velocidade v (para a esquerda) temos, pelo resultado
(17),
c
c
+v
+v
u= n v c = n v :
(22)
1 + c2 n
1 + nc
Expandindo at primeira ordem em
temos
c
n
+v
c
' +v 1
v
n
1 + nc
1
n2
Assim, a expresso relativstica (22) concorda com a hiptese de Fresnel (21) at primeira ordem
em . A comprovao desta hiptese pelo experimento de Fizeau se deve apenas a diculdade em se medir
grandezas desta ordem. O resultado (22) foi comprovado P. Zeeman em 1914.
60
2.13.3
Rigidez e elasticidade
Um ponto extremante importante na MC o conceito de corpo rgido. Este conceito permite simplicar um
problema envolvendo uma innidade de tomos a certas quantidades relacionadas orientao do corpo no
espao. Ou seja, para descrever o movimento de um corpo precisamos apenas da localizao de qualquer
ponto deste corpo (3 variveis) e a orientao do corpo segundo um eixo arbitrrio (mais 3 variveis). Assim,
temos 6 variveis no lugar de 3 1050 . Este conceito to importante perdido em RR.
Como j mencionamos antes, a existncia de uma barra completamente rgida permitiria enviar um
sinal instantaneamente entre os dois pontos na extremidade desta barra. Em outras palavras, num corpo
perfeitamente rgido o som teria velocidade innita (vs >> c). Podemos tomar tambm o caso de uma
barra que comea a girar com velocidade ngular !. A velocidade tangencial de um ponto qualquer da barra
a uma distncia r do centro da rotao vale !r. Assim, para qualquer ! existe um r tal que !r > c e
para uma barra sucientemente longa teramos pontos se movendo mais rpidos que a luz. Isso implica na
impossibilidade da barra de ter o mesmo ! em todos os pontos, o que implica que a barra se
curva e, mais uma vez, impossibilita a existncia de uma barra rgida.
Na verdade, este tpico extremamente complicado no s em RG, mas tambm em RR. Uma denio
que parece bastante natural seria dizer que um corpo rgido se seus pontos mantm a mesma distncia.
Mas, mesmo esta denio bvia, apresenta problemas em relatividade.
Por exemplo, vamos analisar o paradoxo de Dewan-Beran-Bell. Imagine trs espao naves A, B e C,
pequenas o suciente para que a sua dimenso possa ser desprezada. As naves B e C so idnticas e
esto eqidistantes de A (tudo est sendo medido por A) e combinam para que, quando receber um sinal
luminoso de A, ligam seus foguetes. Assim, quando A emite o sinal ele v B e C se colocarem em movimento
simultaneamente (pra A) e, conseqentemente, mantendo a mesma distncia. Vamos realizar de novo o
mesmo experimento, s que agora vamos colocar uma linha (bem fraca) ligando os foguetes. Quando as
naves esto paradas a linha tem comprimento L. Ento A envia o sinal e as naves B e C comeam a se
mover. O ponto que, quando as naves atingem (simultaneamente visto de A) a velocidade v a linha ter
1
se contrado de uma quantidade
L. Mas, como as naves se movem juntas, a distncia entre elas continua
sendo L. Assim, como a linha menor que a distncia entre as naves, ela vai se arrebentar. Porm, se
tivermos um terceira nave D eqidistante de A,B e C, que tambm tem um foguete (igual ao de B e C)
e tambm ir se mover ao receber o sinal de A, ela ver as duas naves (B e C) paradas juntamente com a
linha. Assim, para D tanto as naves como a linha tm uma distncia L e a linha no ir se arrebentar.
Problem 33 Mas o que acontece com a linha?
O problema, da forma com que foi descrito acima, foi proposto por J.S. Bell em 1976 para um grupo de
cientistas do CERN. Desde aquela poca at hoje as idias divergem. O ponto que no se pode tirar
nenhuma concluso sem fazer uma suposio sobre a elasticidade do o, se o o for completamente
rgido ele certamente se quebrar. Neste caso para A fcil saber porque (pela contrao de Lorentz), para
B porque ele comeou a se mover antes de C e para D porque houve uma tenso aplicada na corda. Pois,
61
quando a nave B comeou a puxar a linha e C comeou a empurrar toda esta tenso teve de se propagar
pelo o. Agora, basta o o ter qualquer elasticidade e se a acelerao for pequena o suciente, ele no
quebrar para B e D, mas quebrar para A assim que as naves atingirem uma certa velocidade. Neste caso
a nica forma de compatibilizar as realidades fsicas supondo que o o tem uma elasticidade innita.
Outro ponto a se notas que esta no uma elasticidade no sentido usual. Pois a contrao de Lorentz (como
vimos) um efeito puramente geomtrico e, por isso, no devemos esperar que ela gere foras de tenso nos
corpos. Ou seja, o o se contrair e as naves continuarem na mesma distncia leva a crer que o o sofre uma
tenso e, consequentemente, uma fora. Assim, a noo de elasticidade tratada aqui no a mesma
da mecnica clssica.
Resumindo, a noo de elasticidade e rigidez um ponto bastante intrincado na TRR. Por isso, sempre
que possvel, devemos evitar fazer uso destas noes para tirarmos qualquer concluso sobre a realidade fsica
de um certo sistema fsico.
2.14
Vetores
Um conceito crucial no estudo da dinmica de corpos e campos o de vetor. Por exemplo, a lei de Newton
F = m
x
no representa apenas uma equao, mas trs. Para se especicar quantidades mensurveis, devemos
lembrar que estas trs equaes dizem respeito a algum sistema de coordenadas. Entretanto, para escrever a
equao (ou as equaes) nenhum sistema especco precisa ser especicado.
Suponha que voc deseje escrever as equaes de uma mola, mas no conhea o ferramental dos vetores.
Primeiramente voc deve especicar um sistema de coordenadas e, se neste sistema, a mola oscilar no eixo x
62
voc escrever
m
x =
kx
m
y =
m
z =
0:
Entretanto, para cada nova escolha dos eixos voc escreveria equaes diferentes. Ou seja, sempre
que voc zesse referncia ao problema da mola, teria de especicar antes o sistema de coordenadas.
Agora, se voc conhece o ferramental dos vetores, basta escrever:
m
x=
kx :
E nesta equao j est implcito que a fora na direo do deslocamento, independente do sistema de
coordenadas. Ou seja, em vrias reas da fsica, e especialmente em Mecnica, quando reconhecemos que
uma quantidade um vetor ganhamos uma srie de propriedades que podem ser exploradas na resoluo do
problema.
Mas o que signica ser um vetor? Dado um sistema de coordenadas num espao tridimensional,
podemos representar os vetores por uma trade ordenada de nmeros. Mas qualquer conjunto de trs
nmeros ordenados forma um vetor? A resposta desta segunda pergunta , obviamente, negativa.
Para dar um exemplo concreto, vamos tratar um problema em duas dimenses. Suponha que v (x; y)
um conjunto de dois nmeros que indica a velocidade, num ponto x; y, na superfcie de um udo segundo
algum sistema de eixo x; y. Esta quantidade pode ser representada como
v=
a
b
Suponha agora que o seguinte par ordenado w (x; y) indica a presso e a temperatura do udo, num ponto
x; y, segundo o mesmo sistema de eixos. Esta quantidade pode ser representada como
!
w=
63
componentes:
0
cos
sin
v (x; y) ! v (x ; y ) =
sin
cos
a
b
a cos
b sin
a sin + b cos
(23)
w (x ; y ) =
= w (x; y) :
Ou seja, as duas quantidades possuem leis de transformao diferentes por uma mudana no sistema de
coordenadas. Outras quantidades (outros conjuntos ordenados de dois nmeros) poderiam respeitar outras
leis.
exatamente a lei de transformao (23) que torna a quantidade v to conveniente. Podemos reescrever
a expresso (23) como:
!
cos
sin
0
v = R( )v ; R( ) =
sin
cos
Esta exatamente a mesma lei de transformao das coordenadas do ponto P . Ou seja, se um ponto
P tem coordenadas x; y com relao ao sistema de eixos originais, no sistema girado ele ter as coordenadas
x0
y0
cos
sin
sin
cos
x
y
x0 = Rx
Podemos denir os vetores no plano como todas as quantidades que, por uma rotao do sistema de
coordenadas, se transforma como a relao acima para as coordenadas13 .
Na expresso acima para w, cada uma das suas componentes se transforma independentemente por uma
rotao do sistema. Ou seja, no ganhamos nada em agrupar estas quantidades. Alm disso, podemos
escrever
0
(x0 ; y 0 ) = (x; y) ; 0 (x0 ; y 0 ) = (x; y) :
Quantidades que respeitam a lei de transformao acima (i.e., que no mudam) so chamadas de escalares.
1 3 Veja,
por exemplo, o Captulo 1 de Classical Dynamics of Particles and Systems, Thornton ST, Marion JB.
64
2.14.1
Tensores
Ocorre as vezes que a primeira vez que um aluno de graduao ouve falar sobre tensores no curso de
RR. Entretanto, estas quantidades esto presentes em vrios problemas de Fsica Clssica e, especialmente,
engenharia (para um exemplo em Fsica Clssica veja o livro do Marion, Cap. 11 Dynamics of Rigid Bodies).
Um tensor uma composio de vetores. A regra de composio a seguinte: dado dois vetores a e b
(e.g., num espao de dimenso 3), podemos formar com estes vetores um tensor T de segunda ordem (que na
nossa representao matricial ser uma 3 3) cujos elementos so dados por
Tij = ai bj
Ou seja, o elemento i (linha) e
matricial
0
a1
B
a = @ a2
a3
(24)
1
0
b1
a1 b1
C
B
C
B
A ; b = @ b2 A =) T = @ a2 b1
b3
a3 b1
a1 b2
a2 b2
a3 b2
1
a1 b3
C
a2 b3 A :
a3 b3
crucial notar que Tij = ai bj 6= bi aj , ou seja, na denio do tensor a ordem dos elementos importante.. Na verdade, bi aj a matriz obtida de T quando trocamos as linhas pelas colunas. Esta operao de
troca chamada transposio
T
T
(Tij ) = (ai bj ) = bj ai = Tji
Usaremos tambm a notao
T
(Tij )
TijT = Tji :
Da denio acima se trona bvia a lei de transformao de um tensor de segunda ordem. Um tensor T
qualquer quantidade que, por uma rotao R do nosso sistema de coordenadas, se transforma como
T ! T 0 = (Ra) (Rb) ;
ou, em componentes
Tij0 = Rim am Rjk bk = Rim Rjk am bk = Rim Rjk Tmk :
Existe uma notao para a regra de composio (24). Se no quisermos fazer aluso aos ndices, no
conveniente escrever ab, pois isso pode confundir com o produto escalar (matricial) de vetores, ento ns
escrevemos:
T =a b:
Onde chamado de produto tensorial (tambm usa-se , mas isso pode confundir com o produto vetorial).
Todo o desenvolvimento acima pode ser entendido diretamente para o produto tensorial de mais vetores.
65
a2
a3
:::
aN ;
Tilk:::m = ai aj ak :::am :
Lembrando sempre que a ordem dos vetores importante. Obviamente, para N > 2, no temos mais uma
representao matricial simples, mas isso no representa nenhuma diculdade, pois sabemos a lgebra dos
elementos.
As denies acima podem ser usadas para especicar o produto tensorial de dois (ou mais) tensores.
Por exemplo, se A um tensor de ordem N e B um tensor de ordem M , podemos construir o seguinte tensor
T de ordem N + M
T =A
T
ij:::p
|{z}
N +M
B
= Aij:::k B mn:::p
|{z} | {z }
N
Concluindo, um tensor de ordem N qualquer quantidade que, por uma rotao R do sistema de
coordenadas, se transforma como a seguinte composio de N rotaes R:
0
Tij:::k
= Rim Rjn :::Rkp Tm Tn :::Tp :
Remark 34 A ordem dos tensores o nmero de ndices. Assim, na linguagem dos tensores podemos dizer
que vetores (e.g., ai com um nico ndice) so tensores de ordem 1 e escalares (e.g.,
sem ndice) so
tensores de ordem zero.
Remark 35 Uma lei de transformao diferente das acima dene certas quantidades como espinores.
2.15
Rotaes
As idias da seo anterior podem ser facilmente estendidas para o espao tridimensional. Entretanto, agora
para especicar uma rotao precisamos informar, alm do ngulo, o eixo de rotao. Por exemplo, por uma
rotao do sistema de coordenadas de um ngulo na direo do eixo z, no sentido horrio, um vetor m
qualquer se transforma como
1 0
m01
cos
B 0 C B
@ m2 A = @ sin
m03
0
0
sin
cos
0
66
10
1
0
m1
CB
C
0 A @ m2 A :
1
m3
3
X
(z)
Rij ( ) mj :
j=1
(z)
cos
B
R(z) ( ) = @ sin
0
sin
cos
0
1
0
C
0 A :
1
1
B
R(x) ( ) = @ 0
0
0
cos
sin
0
sin
cos
cos
C
B
(y)
;
R
(
)
=
A
@ 0
sin
0
1
0
sin
0
cos
C
A :
Uma rotao arbitrria R pode ser especicava atravs da rotao em cada uma das direes14
R ( ; ; ) = R(x) ( ) R(y) ( ) R(z) ( ) :
Onde pelo produto acima devemos entender o produto matricial. Ou seja, a notao acima uma abreviao
para:
3
3 X
X
(x) (y) (z)
Rim Rmn
Rnj :
Rij =
m=1 n=1
Adotemos aqui mais uma simplicao na notao. Para no escrevermos sempre o sinal de somatria,
convencionamos que sempre que um ndice aparecer repetido existe uma somatria implcita
3
3 X
X
(x)
(z)
(y)
Rim Rmn
Rnj
(x)
(z)
(y)
Rim Rmn
Rnj :
m=1 n=1
(z)
(x)
(z)
(y)
(y)
Rij = Rim Rmn
Rnj = Rio Rop
Rpj ;
1 4 Para
67
assim ele pode ser trocado ao bel-prazer. Por isso um ndice repetido chamado de ndice mudo (ele no nos
diz nada sobre o resultado.).
Sobre as matrizes de rotao importante observar (entre outras) duas coisas:
1. Elas no comutam R1 R2 6= R2 R1 ;
2. O produto de duas (ou mais) matrizes de rotao uma matriz de rotao (conseqncia da propriedade
de grupo).
Posteriormente falaremos mais da importante das caractersticas que formarem um grupo.
Vimos ento que um vetor m uma quantidade que por uma rotao R se transforma como
mi = Rij mj
Como esta operao dene o carter vetorial da nossa quantidade, vemos ento a importncia de se reconhecer uma matriz de rotao. Ou seja, dada uma matriz R, esta matriz representa alguma rotao?
68
2.16
Mtrica
Voltando a pergunta anterior. Antes precisamos saber: o que caracteriza uma rotao?
Uma rotao uma operao que possui duas propriedades: Uma rotao no altera distncias nem
ngulos. Mais especicamente:
1. Uma rotao no altera o tamanho (norma) de um vetor;
2. Uma rotao no altera o ngulo entre vetores.
Vejamos como quanticar estas propriedades. O produto interno (ou produto escalar ) entre dois vetores
pode ser denido como
a:b = ab cos ; a = jaj ; b = jbj ;
onde
(x0 ; y 0 ; z 0 ) ;
(que depende do ponto) no se altera por uma rotao. Ento esta quantidade um escalar.
Alm disso, temos:
p
a:a = a2 = ai ai =) a = a:a
Ou seja, o produto interno nos diz como calcular a norma dos vetores.
Vemos ento que todas as caractersticas que precisamos para caracterizar as matrizes de rotao esto
relacionadas com o produto interno. Para explorar melhor esta relao vamos escrever o produto interno de
1 5 Outras notaes para produto interno so: simplesmente ab, nos livros mais antigos (ab), nos livro de lgebra (a; b) e
(motivado pela notao dos livros de lgebra) em fsica a notao de Dirac haj bi.
69
(25)
ij
A matriz M , que nos diz como fazer o produto interno de dois vetores chamada a mtrica do espao. A
mtrica possui todas as informaes de como medir ngulos e distncias no nosso espao, ou
seja, ela nos diz como fazer geometria no espao.
Remark 36 O fato da nossa mtrica assumir a forma simples (25) uma conseqncia da escolha do nosso
sistema de coordenadas ortonormal euclidiano. Para um sistema no-ortogonal temos o aparecimento de
termos fora da diagonal e, para outros sistemas de coordenadas (e.g., esfricas), esta matriz tem uma forma
bem mais complicada.
Com isso podemos colocar as caractersticas das nossas rotaes da seguinte forma. Uma matriz R uma
rotao se ela no altera o produto interno entre os vetores. Ou seja
a:b = (Ra) : (Rb) ;
ou em componentes
ai bi = (Rij aj ) (Rik bk ) :
Usando o tensor mtrico (25)
(Rij aj ) (Rik bk )
im Rmp
T
= Rmn Rmp = Rnm
Rmp =
np
ij
temos
T
Onde usamos a operao de transposio da matriz Rnm
= Rmn , lembre-se que a multiplicao de linha
70
por coluna e no pode ser trocada. Se usarmos agora a notao matricial temos:
RT R = I :
(26)
Remark 37 Observe que utilizaremos duas notaes diferentes, numa delas explicitamos o ndice das matrizes e na outra no. Ou seja, se M e N so matrizes, podemos indicar o seu produto matricial como
A = M N , com A a matriz que resulta do produto, ou Amk = Mmn Nnk , onde Amk a componente linha m
e coluna k da matriz A. A utilizao de uma ou outra notao depende apenas da convenincia.
Remark 38 Observe que Mmn Nnk = Nnk Mmn , pois cada elemento de uma matriz apenas um nmero.
Entretanto, M N 6= N M pois o produto de matrizes no comuta. Ento, ao utilizar a notao simplicada
(sem os ndices) crucial no trocar a ordem dos elementos.
Temos ento a caracterizao das nossas matrizes de rotao:
Uma matriz de rotao aquela que, quando multiplicada pela sua transposta, nos d a identidade.
Ou, de forma equivalente, uma matriz cuja inversa igual a sua transposta. Matrizes com a propriedade
(26) so chamadas de matrizes ortogonais (rotaes so matrizes ortogonais). Numa linguagem mais tcnica,
o conjunto de todas estas matrizes formam o chamado grupo ortogonal em 3 dimenses, ou grupo O (3).
Na verdade, o grupo ortogonal no contm apenas rotaes, mas tambm a inverso dos eixos. Por
exemplo, a matriz que troca o sinal (sentido) do eixo x dada por
0
1
B
@ 0
0
1
0 0
C
1 0 A :
0 1
Esta matriz ortogonal, mas no representa nenhuma rotao (uma rotao no eixo z trocaria tambm o
sinal de y). Mesmo assim esta matriz preserva ngulo e distncias. Uma caracterstica geral das matrizes de
inverso de eixo que elas possuem determinante igual a 1. Assim, as matrizes de rotao so as matrizes
ortogonais de determinante igual a 1. Este o grupo das rotaes em trs dimenses, tambm chamado grupo
ortogonal especial em 3 dimenses, ou SO (3).
71
2.17
O espao de Minkowski
02
02
(ct) = x02
1 + y 2 + z3
(ct0 ) :
(28)
O que poderia ser identicado como uma verso quadridimensional da relao (28). Ou seja, nesta interpretao as TL preservam a norma dos vetores no espao 4D, da mesma forma que rotaes preservavam
a norma no espao 3D. Este espao 4D tambm chamado de espao-tempo. Assim, adaptando os termos
introduzidos anteriormente, um evento um ponto no espao-tempo. Explorando esta interpretao,
1 6 Minkowski
72
x01
= x1 cos
x04
= x1 sin + x4 cos
cos
sin
sin
cos
x1
x4
x4 sin
(29)
onde usamos que as TL s misturam as coordenadas x1 e x4 , enquanto x2 = x02 e x3 = x03 . Lembrando agora
que x1 real e x4 imaginria, e que o mesmo deve ser vlido para x01 e x04 , devemos ter
Im (cos ) = Re (sin ) = 0
Esta propriedade pode ser satisfeita se introduzirmos (da mesma forma que a coordenada imaginria) um
ngulo imaginrio:
i ; 2R
Pois, com isso
cos
cos i = cosh
sin
sin i = i sinh
2R
; sinh
2R
= x1 cosh
ix4 sinh
x04
= ix1 sinh
+ x4 cosh
x01
= x1 cosh + ct sinh
1
x1 sinh + t cosh
=
c
t0
Comparando agora com as TL
x01 =
(x1
vt) ; t0 =
temos
cosh
= cos ; sinh
t
v
=
c
xv
c2
=
73
i sin
Com isso, formalmente as TL podem ser interpretadas geometricamente como uma rotao do sistema de
coordenadas por um ngulo imaginrio.
A gura acima mostra a representao geomtrica de uma TL como uma rotao.
Remark 41 Observe que a gura foi girada por um ngulo
horrio).
Neste tipo de gura representamos o tempo no eixo vertical e o espao no eixo horizontal. Assim, eventos
que ocorrem no mesmo ponto do espao so linhas verticais. Enquanto eventos simultneos so linhas
horizontais.
Da gura possvel ver diretamente que dois eventos simultneos em S 0 no sero simultneos em S. Por
exemplo, a projeo em t das extremidades de L0 .
Remark 42 Observe que o tamanho da barra medido em S no a projeo ortogonal (com respeito x1 )
das extremidades da barra, mas sim dois pontos quaisquer onde os eventos a extremidade L1 e L2 da barra
passaram nesta posio no mesmo instante de tempo. Isso porque, como vimos, medidas de distncia deve
envolver eventos simultneos para quem efetua a medida. Por isso a medida da barra em S a distncia
entre dois pontos quaisquer onde as retas L1 e L2 (que indicam a evoluo das extremidades da barra em S 0 ,
onde ela est parada) cruzam uma reta perpendicular a ct.
74
L0
1
L0
=) L =
=) L = L0
L
cos
Observe que como cos = > 1 o comprimento L < L0 , resultando assim na contrao de Lorentz. Observe,
porm, que esta contrao pode ser vericada geometricamente, pois uma barra que estivesse em repouso
no sistema S representaria a projeo de L0 e x1 (linha pontilhada na gura). Ou seja, esta seria uma
barra parada em S que, visto por um observador em S, provocaria os mesmos efeitos (a mesma seqncia de
eventos) em S 0 .
Da mesma gura vemos que o tempo t0 = de S0 visto de S tem o comprimento:
cos =
=) t =
Neste caso a dilatao temporal pode ser vericada diretamente na gura atravs da projeo de
ct.
no eixo
Remark 43 O exemplo acima mostra, mais uma vez, o ponto das transformaes temporais serem diretas
(projees diretas do comprimento dt0 em t) enquanto as medidas de distncias envolverem projees indiretas
(no a projeo do comprimento dx0 em x).
Assim, a linguagem e notao presentes nesta seo so usadas em todos os livros mais antigos de RR.
Uma liguagem mais moderna, presente inclusive na reedio de alguns livros mais antigos (e.g., Teoria de
Campo do Landau) a que usaremos nas sees seguintes. Alm disso, esta linguagem mais moderna (sem
coordenadas imaginrias) permite uma generalizao direta para a TRG.
2.17.1
Notao
75
Utilizando esta notao e a linguagem matricial da seo anterior, podemos escrever as TL (7) na forma:
0
B
B
B
B
@
ou ainda
x00
x01
x02
x03
C B
C B
C=B
C B
A @
=p
1
x0 = x ;
10
x0
0 0
CB 1
B
0 0 C
CB x
C
2
1 0 AB
@ x
x3
0 1
0
0
;
0
0
v
:
c
B
B
=B
B
@
0
0
x0 =
0
0
C
C
C ;
C
A
1
0 0
C
0 0 C
C ;
1 0 C
A
0 1
x :
Introduzimos aqui outra notao bastante conveniente, ao invs de identicarmos a linha e a coluna como,
respectivamente, o primeiro e segundo ndice estamos identicando: Na matriz
O primeiro ndice ( ) indica as linhas e o segundo ndice ( ) indica a coluna.
Alm disso, por razes que (com sorte) caro mais claras no futuro,modicamos tambm um pouco a
nossa conveno da soma de ndices repetidos:
Existe uma somatria em dois ndices repetidos apenas quando um deles aparece em cima e outro
aparece embaixo.
Com isso temos:
1. O mesmo ndice jamais aparecer mais de duas vezes. E quando aparecer duas vezes ele ser um
ndice mudo.
2. Dois ndices repetidos nunca (ou pelo menos quase nunca) aparecem ambos em cima ou em baixo.
Se no nal das suas contas alguma destas regras foram quebradas voc cometeu algum erro.
Remark 44 Na verdade, esta notao com ndices em cima e em baixo no necessria na Teoria da Relatividade Restrita18 , apesar de ser indispensvel na Teoria da Relatividade Geral. Mesmo assim ela possui
aqui trs vantagens: 1) A maioria dos livros a utiliza, de sorte que ser mais fcil comparar nossas expresses
com as contidas nestes livros; 2) Ele ajuda bastante na deteco de erros nas manipulaes algbricas; 3)
Permite se acostumar com uma notao indispensvel no estudo da TRG.
1 8 Veja,
76
Remark 45 Observe que estamos denindo os pontos no espao-tempo com ndices em cima, ou seja,
x = (ct; x) = (ct; xi ) :
Isso importante para identicarmos as quantidades da MC com as da RR.
Na notao acima voc deve ter reparado que os ndices esto sendo marcados com letras gregas,
enquanto na seo anterior utilizamos letras latinas. Temos aqui tambm a seguinte conveno:
ndices latinos indicam quantidades com 3 componentes e, no caso da somatria, variam de 1 a 3 (e.g.,
i = 1; 2; 3). ndices gregos indicam quantidades com 4 componentes e, nas somatrias, variam de 0 a
3 (e.g., = 0; 1; 2; 3).
77
2.17.2
Grupo de Lorentz
Recapitulando:
1. Por uma rotao R as coordenadas se transformam como: x0i = Rij xj (onde adaptamos a notao para
ndices em cima);
2. Rotaes mantm invariantes o produto interno x:x =
xi ;
3. O produto interno pode ser expresso atravs da mtrica M : x:x =xi Mij xj ;
4. Como conseqncia de (2) rotaes mantm a mtrica invariante: Mij = Rik Mkm Rmj ;
5. Como conseqncia de (4) rotaes so matrizes ortogonais: RT R = I;
6. Vetore qualquer quantidade que, por uma rotao, se transforma como as coordenadas: m0i = Rij mj ;
7. O produto interno de qualquer vetor invariante por rotaes: m0i m0i = mi mi ;
Nosso objetivo agora estender estes resultados para o espao 4D de Minkowski.
Por uma transformao de Lorentz, as coordenadas do nosso espao-tempo 4D se transformam como:
x0 =
x :
x0i
x00
i=1
xi
x0
Seguindo o mesmo o esquema desenvolvido para o espao euclidiano, vamos escrever este produto interno
com:
X
2
2
xi
x0 = x
xv
Onde introduzimos a quantidade
00
1;
ii
=1;
=0
6=
Observe que, para manter a nossa conveno tivemos de denir a mtrica com ambos os ndices em baixo.
Esta uma caracterstica peculiar da mtrica que se tornar mais clara com o desenvolvimento.
78
Assim, se especialmente para a mtrica, continuarmos usando a nossa denio antiga do primeiro ndice
representando linha e o segundo coluna, podemos escrever n como a matriz:
0
B
B
=B
B
@
1
0
0
0
1
0 0 0
C
1 0 0 C
C :
0 1 0 C
A
0 0 1
Esta matriz o tensor mtrico do nosso espao 4D. Usando agora que uma TL no altera o produto interno
entre as coordenadas, podemos escrever:
x
xv = x0
x0v =) x
xv = x
x :
(30)
Novamente, como no caso 3D, sendo a relao acima vlida para qualquer ponto, podemos escrever
=
(31)
Assim como no caso das rotaes, usamos agora a relao acima para denir as transformaes de Lorentz:
Uma transformao de Lorentz qualquer transformao que obedece a relao (31).
Assim como no caso das rotaes, as matrizes que respeitam a relao (31) formam um grupo. Em
especial, o produto de duas matrizes 1 e 2 que respeitam (31) tambm respeita (31). Este grupo, em
analogia com o grupo das rotaes O (3), chamado de grupo de Lorentz O (3; 1). Onde o 1 indica que uma
das componentes da nossa mtrica negativa.
Exercise 46 Mostre que, se
1;
2 O (3; 1) =)
2 O (3; 1).
Mais uma vez este grupo muito maior do que o grupo das TL que estvamos estudando. Em especial,
observe que para uma rotao pura (no sentido usual) do sistema de coordenadas, i.e., v = 0 ( = 1 ; = 0)
nas TL, temos
!
1 0
R=
0 R3
79
1 0
0 R3T
1 0
0 R3T
1
0
T
0 R3 R 3
1 0
0 I
1 0
0 R3
=
1 0
0 R3
1 0
0 I
=
Ou seja, rotaes puras do sistema de coordenadas pertencem ao O (3; 1).
Transformaes que invertem os eixos tambm fazem parte do GL. Mas agora temos tambm a possibilidade de inverter a coordenada temporal mudando o sinal de 0 0 . Uma TL que no muda o sinal do tempo
( 0 0 > 0) chamada de ortocrnica e uma que no muda a orientao dos eixos espaciais (det i j > 0)
chamada de prpria.
As transformaes prprias formam o grupo especial SO(3; 1) e as prprias ortocrnicas o grupo SO+ (3; 1)19 .
Neste curso trabalharemos apenas com transformaes do grupo SO+ (3; 1).
Dentro do GL costume chamar de rotaes as rotaes apenas dos eixos espaciais, neste caso v = 0
em . Alm disso, uma TL pura, i.e., a TL que usamos at agora para denir a relao das coordenadas
entre referenciais em movimento chamada de boost.
Podemos agora utilizar uma denio anloga ao caso euclidiano para denir vetores no espao 4D de
Minkowiski. Estas quantidades, para diferenciar da denio no espao euclidiano (futuramente veremos por
que esta diferenciao necessria), so chamados de quadrivetores (4-vetores).
Um quadrivetor qualquer quantidade que, por uma transformao do grupo de Lorentz, se transforma
como as componentes das coordenadas. Ou seja, se m um 4-vetor e aplicamos uma TL ento
m =
m :
Da mesma forma que na mecnica usual, a utilizao de vetores torna a descrio dos sistemas bem
mais simples. Ento, na RR devemos procurar por quantidades que se comportem como 4-vetores. Como
veremos, esta no uma tarefa to simples, pois a mistura das coordenadas espaciais e temporais torna a
nossa intuio quase sempre insuciente para esta procura.
Uma conseqncia direta dos resultados acima que, como no caso 3D, o produto escalar de dois
4-vetores quaisquer
a
b = (x) :
19 O
80
Remark 47 Pelos efeitos antes discutidos (contrao do espao e dilatao do tempo) vemos que quantidades
como distncias (que antes eram vetores) no so 4-vetores.
2.17.3
Antes desta seo trabalhamos apenas com TL onde os referenciais se moviam exclusivamente na direo
x. Usando as propriedades de grupo das matrizes podemos facilmente obter uma expresso para uma TL
numa direo arbitrria. Suponha que, dado um sistema de coordenadas S desejamos descrever eventos um
referencial S 0 que se move com velocidade v = v1 x
^1 + v2 x
^2 + v3 x
^3 com relao a S. Esta descrio dada
atravs da TL (v)
x0 = x ; 2 SO (3; 1) :
Remark 48 Apensar da velocidade ter uma direo arbitrria, ainda estamos considerando (como sempre
zemos) que os eixos de ambos os referenciais so paralelos e que as origens coincidem.
A possibilidade de fazer rotaes no nosso sistema de coordenadas, permite que possamos trabalhar num
(novo) sistema S~ que represente uma rotao do sistema S e que leva o eixo x na direo de v, ou seja, neste
sistema S~ temos
0
1
v~1
B
C
v
~ = r^v = @ 0 A ; r^ 2 SO (3) :
(32)
0
=
observe que
0
B
B
B
B
@
p
1
0
0
1
2
1
0 0
C
0 0 C
C
0
1 0 C
A
0
0 1
v
; =
c
j~
vj = jvj = v
pois r^ 2 O (3) uma rotao.
81
(33)
1
0
0
r^
2 SO (3; 1) ;
mas
x
~0 = Rx0 ;
com isso
Rx0 = ~ Rx =) x0 = R
1~
Rx ;
1~
R:
(34)
2 0 Lembre que, como S 0 estava inicialmente orientado com S a aplicao da mesma rotao em S 0 far com que S
~0 esteja
~
orientado com S.
82
O fato do 4-espao, e no do espao ordinrio, ser isotrpico nos obriga a substituir as rotaes usuais
pelas TL.
Vetores
Grupo de Lorentz
Grupo de Lorentz especial ortocrono
Rotaes
TL
TL numa direo qualquer.
Por exemplo, suponha que o sistema S 0 se move com velocidade v, em relao ao sistema S, na direo
(positiva) do eixo y (ou x2 na notao vetorial cartesiana, ou x2 na notao de 4-vetores). Como seria a
matriz (v^
y) da TL correspondentes?
Primeiramente, vamos responder esta pergunta usando diretamente a denio das TL. Obviamente, no
existe nada especial com o eixo x no tratamento de problemas reais. Assim, se desde o princpio tivssemos
escolhido a transformao no eixo y teramos escrito:
x01 = x1 ;
x02 =
x03
(x2
vt) ;
= x3 ;
t0 =
v
x2
c2
x01
= x1
x02
x03
= x3
x0
x2
x2
x0
2 1 At aqui estamos marcando todos os vetores do espao 3D com ndices em baixo e 4-vetores com ndices em cima. Infelizmente
esta facilidade no durar pra sempre.
83
x00
x01
x02
x03
C B
C B
C=B
C B
A @
0
1
0
0
0
0
0
0
0
1
0
0
10
CB
CB
CB
CB
A@
x0
x1
x2
x3
C
C
C ;
C
A
R ^=
B
B
^
z =B
B
2
@
1
0
0
0
0
cos 2
sin 2
0
0
sin 2
cos 2
0
0
0
0
1
C B
C B
C=B
C B
A @
1
0
0
0
0
0
1
0
1
0 0
C
1 0 C
C :
0 0 C
A
0 1
B
B
(v^
x) = ~ = B
B
@
0
0
0
0
1
0 0
C
0 0 C
C :
1 0 C
A
0 1
^=
^=
(v^
x) R ^ =
^
z
^
z
B
B
^
z =R =B
B
2
@
T
84
1 0
0 0
0 1
0 0
0
1
0
0
0
0
0
1
C
C
C ;
C
A
(v^
y)
B
B
= B
B
@
B
B
= B
B
@
1
0
0
0
0
0
1
0
0
1
0
0
0
0
0
1
10
1
0 0
CB
CB
CB
B
0 0 C
CB 0
CB
C
CB 0
0
1 0 AB
@ 0
A@
0
0
0
0 1
1 0
10
1 0 0 0
0 0
C B
CB
C B
B
1 0 C
CB 0 0 1 0 C = B
B
B
C
1 0 0 C
0 0 A@ 0
A @
0 0 0 1
0 1
10
Assim, a matriz
B
B
(x^
y) = B
B
@
0
1
0
0
0
0
0
0
0
0
0
1
0
0
1
0
0
0
1
0 0
C
1 0 C
C
0 0 C
A
0 1
0
1
0
0
0
0
0
0
0
1
C
C
C :
C
A
1
C
C
C
C
A
que concorda com a obtida anteriormente, representa uma TL pura (um boost, sem nenhuma rotao) na
direo do eixo y. Da mesma forma, podemos agora obter as TL em qualquer direo.
Remark 49 Neste exemplo a utilizao direta da TL , obviamente, muito mais simples (o mesmo ocorre
quando v est na direo de qualquer um dos eixos). Entretanto, para uma transformao numa direo
arbitrria, o uso do formalismo acima se mostra muito mais conveniente.
Exercise 50 Obtenha a transformao correspondente a composio das transformaes: uma TL com velocidade vx na direo x
^, seguida de uma outra TL com velocidade vy na direo y
^. A TL resultante a
mesma de uma TL com velocidade vy na direo y
^ seguida de uma com velocidade vx na direo x
^?
2.18
Minudncias matemticas
Grupo
Neste ponto voc j deve estar convencido de que o fato de uma matriz pertencer a um grupo importante.
Como vimos, o fato de um conjunto de matrizes pertencer a um grupo nos permite usar vrias de suas
1
propriedades. Por exemplo, se sabemos que se 2 O (3; 1) podemos armar que
existe.
Por denio, um grupo qualquer conjunto G onde denimos uma operao (chamada lei de composio
do grupo) que permite combinar quaisquer dois elementos de G para formar um terceiro elemento, a 2 G; b 2
G =) a b 2 G. Para que este conjunto forme o grupo (G; ), juntamente com esta operao, ele precisa
satisfazer quatro axiomas:
85
1. Ser fechado:
para quaisquer elementos a; b 2 G, a composio a b 2 G
2. A operao deve ser associativa:
para todo a; b; c 2 G =) (a b) c = a (b c).
3. Existe o elemento identidade:
existe um elemento e 2 G, tal que, para qualquer a 2 G; a e = e a = a.
4. Existncia do inverso:
Para todo a 2 G existe um elemento b 2 G, tal que a b = b a = e (identidade).
Armar que SO (3; 1) forma um grupo implica em dizer que seus elementos respeitam todas as propriedades acima. Em especial, o produto de duas TL tambm uma TL e toda TL possui uma inversa.
Exercise 51 Mostre que as matrizes ortogonais, i.e., matriz que respeitam
RT R = I ;
formam um grupo.
2.18.2
Pseudo-mtrica
Em todas as discusses acima explicitamos as semelhanas entre o espao de Minkowski e o espao euclidiano.
Entretanto, uma diferena crucial precisa ser salientada. Para qualquer vetor a a mtrica M do espao
euclidiano obedece:
ai Mij aj = a:a = jaj > 0 ; a 6= 0 :
Esta propriedade faz parte da denio de um produto interno. Entretanto, quando falamos do
espao de Minkowski com a mtrica podemos ter
mv < 0 ;
m
para alguns 4-vetores. Basta que22
3
X
mi
< m0
i=1
O fato de um 4-vetor poder ter uma norma negativa faz com que a mtrica que denimos no se comporte
como uma mtrica (no sentido usual). Por isso chamado de uma pseudo-mtrica.
Todas as caractersticas especiais do espao de Minkowski esto no fato de uma das coordenadas entrar
no produto interno com um valor negativo. Por isso, toda quantidade que disser respeito a este tipo de
2 2 Futuramente
86
espao explicitam este fato, e.g, o nome do grupo SO(3; 1). Dizemos tambm que o espao possui 3 + 1
dimenses. Se estivssemos trabalhando com TL no plano teramos o grupo SO(2; 1). Dizemos que estamos
trabalhando em 2 + 1 dimenses.
Observe tambm que todo o desenvolvimento acima pode ser feito usando:
"
3
X
0i 2
00 2
i=1
3
X
x00
x0i
hX
x0
i=1
B
B
=B
B
@
1
0
0
0
0
1
0
0
0
0
1
0
0
0
0
1
v:x
c2
xi
xi
x0
xi
C
C
C :
C
A
(35)
jtj
O que implica que, para qualquer TL, se t > 0 ! t0 > 0; t < 0 ! t0 < 0. Ou seja, a seqncia de dois
eventos que respeitem (35) a mesma para qualquer referencial inercial.
2.19
Mecnica relativstica
Resta-nos ainda saber como a mecnica de Newton deve ser modicada. Ou seja, sabemos que devemos
denir os referenciais inerciais pelas TL, e vimos uma srie de conseqncias desta substituio, mas como
isso afeta a dinmica dos corpos?
Vejamos o que ocorre na lei clssica da conservao de momento.
As leis devem ser formuladas com foras de contato.
Imagine a coliso de dois corpos de massa ma e mb . A lei de conservao dos momento nos diz:
ma ua + mb ub = mc uc + md ud
(36)
87
com isso
ma (u0a + v) + mb (u0b + v)
= mc (u0c + v) + md (u0d + v)
(37)
u0a + v
1 + u0a v=c2
+ mb
u0b + v
1 + u0b v=c2
u0c + v
1 + u0c v=c2
= mc
+ md
u0d + v
1 + u0d v=c2
ux
dx0
=
dt0
1
vux
c2
u0y
dy 0
1
=
dt0
u0z
1
dz 0
=
dt0
6=
uy
vux
c2
uz
88
vux
c2
(ux
vt) ;
6= uy ;
6= uz ;
89
2.19.1
Tempo prprio
Voltando para o problema do paradoxo dos gmeos, vimos que a TRR poder ser usada (eliminado assim
o paradoxo) desde que o tempo aceito como verdadeiro seja aquele do referencial inercial. Usualmente, ao
estudarmos a dinmica de um corpo, este sofre aceleraes. Assim, mais uma vez importante usarmos, no
o tempo visto diretamente do corpo, mas como este tempo visto por um referencial inercial.
Suponha que S0 um referencial qualquer (no necessariamente inercial) e S um referencial inercial.
Relembrando o problema do paradoxo, Alice na nave em S0 sabia que havia se passado t0 = 7 anos no
relgio dela. Mas ela no podia usar este tempo porque (ela sabe que) seu referencial no era inercial.
Ento ela se perguntou: se Bob em S olhar pro meu relgio enquanto ele marca t0 = 7, quanto marcar o
relgio dele? A resposta (viso de Bob olhando um evento na nave):
t0 = (3; 57)
t=
(7) = 25 anos
(39)
ento ela passou a usar o tempo de Bob para saber qual o tempo no referencial inercial da terra. Mesmo que
a nave de Alice mudasse de velocidade constantemente (i.e., sofresse vrias aceleraes), ela poderia calcular
o tempo marcado por Bob usando:
t=
dt0 =
t0
1
1
[u(t)]2
c2
dt0
onde t0 o tempo que ela registrou da viagem. Qual dos tempos t de Bob ou t0 de Alice o melhor? A
resposta depende apenas do tipo de problema que se deseja resolver. Apesar de A estar num referencial no
inercial, haver situaes em que o tempo dela o que "conta".
Obviamente o tempo t0 de Alice tambm importante para ela, pois qualquer coisa que acontea dentro
da nave acontecer com esta taxa de tempo. Assim, se Alice tiver levado um livro de receita da terra e,
nos entremeios das tarefas especializadas de astronauta, ela quiser assar um bolo, ela usar o seu tempo t0 .
Entretanto, se ela quiser marcar um encontro com algum na sua volta, ela dever usar o tempo t calculado
acima.
Mesmo para B o tempo de A pode ser o mais importante. Suponha que, diferente do exemplo anterior,
a nave permanece acelerada durante toda a viagem (o que mais razovel que uma inverso instantnea na
velocidade), mas de forma que, durante toda a viagem
dt0 =
dt =)
t0 =
[u (t)]
dt = 14 anos .
c2
(este o inverso do clculo anterior) onde t = 50 anos o tempo da viagem para B e t0 = 14 anos, o tempo
para A. Imagine que antes da viajem B tenha de abastecer a nave de A. Pelos clculos precisos (usando a
mecnica relativstica) B sabe que durante toda a viagem o motor da nave consumir 1 T de combustvel por
90
ano. Entretanto, B sabe que este consumo se refere a um motor parado na bancada de teste. Quando este
motor for colocado na nave ele tambm estar em movimento e, independente da tecnologia envolvida, todo
o seu mecanismo funcionar mais devagar. Enquanto para A, para quem o motor permanecer parado, a
taxa de consumo ser a mesma medida na terra. Assim, B sabe que o motor consumir 1 T/ano no durante
os t = 50 anos da viagem (que o tempo que ele registrar), mas durante o tempo:
t0 =
t=
1
50 = 14 anos:
3; 57
Ou seja, ele ter de abastecer a nave com 14 T de combustvel (e no com 50 T). Assim, qual tempo o mais
importante depende apenas da resposta que procuramos.
Concluindo, o tempo t0 importante para eventos que ocorrem exclusivamente dentro da nave. Entretanto, a dinmica de vrios corpos, por exemplo, num problema de choque entre dois corpos (neste caso duas
naves) envolve o tempo de eventos fora do seu referencial. Neste caso, algum num referencial inercial (onde
as leis da Fsica so vlidas) faz um clculo e chega concluso que o choque das naves acontecer em t = T .
. E este o tempo que todos os demais referenciais vo ter de usar.
Ainda nos exemplo das naves, suponha que temos agora 2 nave: a de Alice (A) e a de Charles (C). As
naves viajaram para lugares diferentes com velocidades diferentes, mas Bob realizou todos os clculos para
que em ambos os casos a viagem dure t = T anos. Ou seja, o evento o encontro das naves na terra
ocorrer aps t = T anos. Imagine que A e B querem saber o quanto de comida eles devem levar, ou ainda,
eles podem querer colocar seus prprios relgios para despertar na ocasio do encontro. Eles sabem que,
visto da terra, o relgio deles anda mais devagar e quando o relgio da terra marcar um tempo T o relgio
em cada nave (chamemos de Ta o tempo de Alice e Tc o tempo de Charles na outra nave) marcar (observe
que o problema agora o contrrio de (39))
Ta;c =
[ua;c (t)]
dt :
c2
dt =
u2
dt :
c2
Este intervalo chamado de tempo prprio do objeto 23 . Este tempo, que o tempo que o seu prprio relgio
registra enquanto o relgio do referencial inercial marca um tempo dt, nos diz que, quanto mais rpido nos
2 3 Na expresso acima colocamos u no lugar de v apenas para explicitar que a velocidade do objeto em observao e no a
velocidade entre referenciais. De outra forma, S0 sempre estar em movimento com o objeto em questo.
91
movemos, nosso relgio mais lento em relao a outro relgio que cou parado.
Para o caso em que v = 0 (um observador no referencial de interesse) temos, obviamente, d = dt0.
Observe que, pela denio do tempo prprio, temos
2
(d )
=
=
=
=
"
#
2
1 dx
2
1
(dt) = 1
(dt)
c2 dt
i
1 h
1
2
2
2
2
(dx)
=
(cdt)
(dx)
(dt)
c2
c2
i
h
i
1
1 h
2
2
0 2
0 2
(dx)
=
(dx)
dx
dx
c2
c2
1
dx
dx :
c2
u2
c2
(d 0 ) =
1 0
dx
c2
1
dx
c2
dx0 =
dx = (d ) :
Dizemos, com isso, que o tempo prprio um invariante (o mesmo valor em qualquer referencial).
Obviamente o tempo prprio depende da velocidade do observador. Por exemplo, se um observador A se
move com velocidade tal que a = 2 e outro C com velocidade tal que c = 3 ento:
d
1
dt ;
2
a
1
1
dt = dt :
3
c
1
dt =
O que signica ento dizer que d um invariante relativstico e, conseqentemente, o mesmo visto por
qualquer observador?
Uma TL informa como um observador v um dado de um outro observador. Ento, se A e C so
relacionados por uma TL a invarincia relativstica signica que:
d
Ou seja, d 0a no o tempo prprio de C (d
quantidade um invariante.
a
0
a
!d
0
a
=d
Remark 54 A razo desta quantidade ser um invariante se deve ao fato de todos os observadores terem
concordado em usar o mesmo relgio de um referencial inercial.
92
2.19.2
Quadrivetor velocidade
Voltando agora ao nosso problema da velocidade no ser um 4-vetor, havamos reparado que o problema
(o fato de no se transformar como as coordenadas) estava na transformao de dt no denominador, pois o
numerador (naturalmente) j se transformava como um 4-vetor. Assim, sendo d um invariante (no muda
por uma TL), certamente a quantidade:
dx
=
d
um 4-vetor, i.e., se transforma como
0
A quantidade
ciais:
dx0
=
d
dx
d
dx
=
d
(40)
dxi
=)
d
dx
;
d
formam uma quantidade hbrida, onde o espao medido por um observador num referencial S, enquanto o
tempo o registrado por um relgio num outro referencial inercial S0 (no necessariamente inercial), mas
visto por um observador em S. Estas componentes espaciais so chamadas de velocidade prpria. Isso porque,
se usarmos a prpria medida de tempo do referencial de interesse S, onde d = dt, esta quantidade se torna
a velocidade ordinria medida por um observador em S.
2.19.3
Momento relativstico
Nossa tentativa para salvar a lei de conservao dos momentos consiste em tentar usar a 4-velocidade no
lugar da velocidade ordinria v (que sabemos no formar um 4-vetor). Ou seja, p = m . Assumindo que o
momento assim denido se conserva temos:
ma
1
a
+ mb
1
b
= mc
1
c
+ md
1
d
(41)
onde supusemos que o choque ocorre com a velocidade no eixo x ( 1 ). Quando vista por um observador num
referencial S0, que se move com velocidade v tambm na direo x, a lei de transformao (40) nos d:
01
=
=
p
1
1
2
=)
=
93
v
c
01
01
a
0
a
+ mb
01
b
0
b
= mc
01
c
0
c
+ md
01
d
0
d
ma
primeiro precisamos que os termos com
ma
01
b
+ mb
01
c
= mc
+ md
01
d
se cancelem:
0
a
+ mb
0
b
0
c
= mc
+ md
0
d
Esta expresso, que toma o lugar da conservao da massa na teoria clssica (37), possui uma conseqncia
importante. Usando a forma explicita da componente 0
0
cdt
c
dx0
=q
=q
d
u2
1 c2 dt
1
u2
c2
u2b
c2
=q
mc
1
u2c
c2
md
+q
u2d
c2
Assim, na RR restrita a massa no uma quantidade conservada. Em seu lugar, se um corpo tem
massa m num sistema onde ele est em repouso, quando se move com velocidade u;a
/ quantidade que se
conserva
m
mR = q
:
(42)
2
1 uc2
Assim no lugar da conservao da massa da teoria clssica m, temos agora a conservao da quantidade
mR acima. A quantidade mR acima foi chamada por Einstein de massa relativstica, enquanto m (a massa
medida no referencial onde o corpo est em repouso) foi chamado de massa de repouso.
Concludo o desenvolvimento acima temos:
que temos duas velocidades no problema, a velocidade do corpo (u) e a dos referenciais (v).
94
m
p=m = q
1
u2
c2
(43)
dx
mu
; p0 = m
=q
dt
u2
1 c2
=m
mc
=q
(44)
u2
c2
dx
d
(45)
p :
Assim a quantidade (45) um 4-vetor. Este 4-vetor chamado de 4-vetor de energia e momento 25 (ou
simplesmente, 4-momento).
Sendo a quantidade p (momento) um 4-vetor, temos que o seu produto interno
p
p =
pi
p0
(46)
um escalar (i.e., um invariante), ou seja, possui o mesmo valor quando visto de qualquer referencial
inercial. Usando (44) podemos determinar explicitamente o valor deste invariante
X
i
pi
p0
dxi
dx0
m
d
d
i
12 0
0
X dxi
1
A
@ qcdt
@
q
= m2
2
dt
1 uc2
dt 1
i
"
#
1 X i 2
c2
2
= m
u
2
2
1 uc2 i
1 uc2
=
1
c2
m2
u2
(c2 u2 )
c2 =
m2 c2 :
u2
c2
12
A
(47)
O que explicita o fato de a massa de repouso ser um invariante, apesar de no ser uma quantidade
conservada.
Resumindo, temos aqui duas quantidades que se conservam (43) e um invariante (46).
25 A
95
96
2.19.4
Energia relativstica
Recapitulando:
p
p invariante:
pi
p0
m2 c2 ;
q mc
2
1 u
c2
=) mR =
q m
2
1 u
c2
se conserva.
Com o desenvolvimento da TRR a idia de massa relativstica foi sendo abandonada em pr de outra
denio. Assim, em trabalhos mais recentes no se faz muito uso desta denio. Atualmente se usa apenas
a massa de repouso, chamada novamente simplesmente de massa, e se dene a quantidade
E = c:p0 = c:m
mc2
= c2 mR ;
=q
2
1 uc2
(48)
como a energia relativstica do corpo. Obviamente, se m 0 se conserva, c:m 0 tambm se conserva, uma vez
que c uma constante. Observe, entretanto, que isso apenas uma questo de nomenclatura, pois apenas
uma quantidade se conserva. O resultado fsico que temos uma quantidade conservada (chame-a
de mR ; p0 ou E).
Uma das motivaes para o nome de energia relativstica vem do fato de que, para velocidade muito
inferiores a da luz, podemos fazer uma expanso em v=c e escrever
mc2
E=q
u2
c2
1
3 u4
= mc2 + mu2 + m 2 + :::
2
8 c
onde u a velocidade usual do corpo. O segundo termo da expresso acima exatamente a energia cintica
clssica do corpo. Assim, em relatividade chamamos de E a energia total do corpo, mc2 a sua energia de
repouso (ou seja, a energia de uma partcula em repouso), enquanto o restante E mc2 a sua energia
cintica (ou seja, a energia atribuda ao movimento).
Outra motivao para a denio acima a possibilidade de se convertes a energia de repouso em energia
cintica, ou seja, extrair outras formas de energia da massa da partcula. Neste caso, obviamente, a massa
(de repouso) no conservada, mas a energia relativstica sim. Por isso toda a ateno concentrada na
energia. Ao invs de inventarmos uma nova "lei da conservao da massa relativstica", continuamos falando
(apenas com uma releitura) da antigussima (e sempre triunfante) lei da conservao da energia.
Em todo sistema fechado a energia (relativstica) total e o momento (relativstico) se conservam.
Remark 56 Por isso, no que segue, sempre que falarmos de massa estamos nos referindo a massa de
repouso.
97
pi
mc
E
q
;
=
2
c
1 uc2
E
;p
c
p0 ; p =
i
= m
dxi
E i
v ; vi =
:
2
c
dt
(49)
Onde vemos porque este 4-vetor tambm chamado de 4-vetor de energia e momento.
Calculando novamente o invariante (46) em termos da energia temos:
X
pi
p0
m2 c2
m2 c2
m2 c2
pi
E
c
E2
c2
2
2
c (p)
(p)
E2
= m2 c4
(50)
onde usamos (47). Esta expresso nos permite calcular o momento conhecendo-se a energia e vive-versa. As
componentes do momento podem ser calculas usando (49).
Exemplo:
Duas partculas de massa m (sempre estaremos falando da massa de repouso), com velocidade va = 3c=5
e vb = 3c=5 sofrem um choque completamente inelstico27 (ou seja, se fundem). Qual a massa do corpo
resultante?
Os momentos das duas partculas so iguais e de sinais opostos, de sorte que o momento total inicial se
anula. A energia de cada corpo antes da coliso vale:
E a = Eb = q
1
mc2
(3c=5)2
c2
mc2
=q
3 2
5
mc2
5
= q = mc2
4
16
25
5 2
mc
2
2 7 Como na mecnica clssica, chamamos uma coliso de elstica se a energia cintica conservada. No caso de uma coliso
elstica a massa se conserva.
98
Ef = q
(0)2
c2
= M c2
5
m
2
59
9
=
25
25
(Observe que estamos falando da massa de repouso.) Que difere bastante do valor 2m esperado classicamente.
Ou seja, a massa prevista pela RR 25% maior que a massa prevista pela teoria clssica. Resultados
experimentais com a coliso departculas conrmam o resultado acima.
Remark 57 O resultado acima provavelmente o mais impressionante e revolucionrio resultado da TRR.
Exercise 58 De onde veio os 25% de massa acima? Esta massa foi criada do nada?
Obviamente esta massa veio da energia cintica original do sistema, ou seja, convertemos movimento
em massa.
Exercise 59 Mesmo na anlise clssica tnhamos uma lei de conservao da energia. Se, classicamente,
a massa depois do processo igual a soma das massas e a partcula resultante est parada, pra onde foi a
energia cintica inicial?
Classicamente a energia cintica antes da coliso convertida em energia trmica. Ou seja, a bola
resultante est aquecida. Isso tambm verdade em relatividade. O ponto aqui que, enquanto classicamente
esta energia trmica representa apenas a energia cintica dos constituintes do corpo, na relatividade ela
inuencia diretamente na massa do corpo. Assim, se voc pesar um corpo aquecido ele pesar mais que
o mesmo corpo quando frio. Mais ainda, qualquer forma de energia interna do sistema (cintica
ou potencial) se reete na massa deste sistema. Obviamente esta mudana da massa da ordem da
energia dividida por c2 , o que, em casos cotidianos, representa uma quantidade muito pequena.
Remark 60 Ou seja, se voc colocar numa balana dois corpos exatamente iguais (e.g., duas batatas) e
um deles estiver aquecido, este corpo aquecido ter um peso maior que o no aquecido. Isso vlido para
qualquer tipo de energia que um corpo tenha.
2.19.5
Mais do mesmo
O desenvolvimento acima segue uma linha baseada na invarincia de certas quantidades por TL. Para quem
este desenvolvimento parea muito formal pode ser interessante obter o mesmo resultado atravs de outro
caminho.
99
Por exemplo, imagine que voc fez uma srie de experimentos num laboratrio e constatou que a massa
de um corpo depende diretamente de sua energia e, apenas com base neste resultado voc queira saber como
se modicam as leis da dinmica.
Vejamos como o resultado anterior pode ser obtido diretamente da suposio que a massa de um corpo
depende diretamente da energia (e, vice-versa). Ou seja,
E
c2
m (E) =
mE ;
(51)
(onde a constante de proporcionalidade c2 necessria para acertar as unidades). O trabalho para se mover
este corpo contra uma fora F seria
W =
F:dx ) dW = F:dx :
A variao da energia de um corpo com o tempo igual a variao do trabalho com o tempo
dE
dW
dx
=
= F:
= F:v :
dt
dt
dt
Reconhecendo agora o momento do corpo como p = mE v (onde v a velocidade ordinria e no a velocidade
prpria ) temos, pela lei de Newton,
F=
dp
dE
dp
d (mE v)
)
=
:v =
:v
dt
dt
dt
dt
d (mE )
d (mE vi )
= 2mE
:vi
dt
dt
Se usarmos agora
h
i
2
d (mE )
h
i
2
d (mE v)
dt
temos
d
d (mE )
2mE
dt i
h
2
d (mE v)
dt
dt
c2 mE
dt
100
= 2mE vi
h
i
2
d (mE v)
dt
d (mE vi )
dt
(52)
= (mE v) + C ;
(53)
com C uma constante. Se a expresso acima for vlida para qualquer velocidade, incluindo v = 0, temos
C = c2 m2 ; m = mE(v=0)
onde m a massa do corpo em repouso. Com isso, retornando para (53),
2
c2 m2E = (mE v) + c2 m2
m2E c2
m2E =
v 2 = c2 m2
c2 m2
m
) mE = q
[c2 v 2 ]
1
v 2
c2
= mR :
Fisso e fuso
Ao discutirmos o exemplo do choque inelstico das partculas acima, chegamos a concluso que toda a energia
cintica foi convertida em massa e esta massa estava relacionada com a energia cintica interna (ou qualquer
outra energia interna) dos constituintes deste corpo. No caso desta energia ser uma temperatura e se o corpo
entrasse em contato com o ambiente ele poderia esfriar, irradiando assim a sua energia extra para o ambiente
(e perdendo massa!).
No caso de sistemas microscpicos, ou mesmo partculas elementares, o sistema no possui uma estrutura
interna com constituintes sucientes para comportar toda esta energia extra da coliso (no h o que car
vibrando l dentro). Desta forma, esta energia extra expelida (irradiada) logo aps o processo de ligao
na forma de radiao.
101
Se no memento da coliso de duas partculas de massa ma e mb o sistema possui uma energia cintica
total K a energia nal do sistema vale
E = c2 (ma + mb ) + K
onde R a energia irradiada. Sendo a massa determinada pela energia, a massa nal do sistema vale
M = (ma + mb ) +
(K
R)
c2
Assim, se a energia cintica total do sistema na coliso vale K e o sistema irradia uma energia R, temos
duas opes:
1. Se R < K () M > ma + mb
2. Se R > K () M < ma + mb
Como mencionado acima, se o sistema no possuir uma estrutura interna suciente para armazenar
a energia cintica da coliso a nica opo irradiar esta energia. . Com isso, o que ocorre nos processos
envolvendo sistemas mais simples (como partculas ou ncleos leves) que M < ma + mb , i.e., a energia
irradiada maior que a cintica. Assim, neste processo uma parte da massa das partculas originais
transformada em energia.
Por exemplo, uma partcula (um ncleo de hlio) cerca de 0; 7% mais leve que a soma de dois prtons
e dois nutrons (que so os seus constituintes). A diferena de energia correspondente a esta diferena de
massa exatamente a energia necessria para se separar as partculas.
Uma vez que a energia cintica K a energia que precisamos dar ao sistema para realizar a coliso e
formar o objeto nal, como R > K a energia irradiada nos processo de fuso de duas partculas maior que
a introduzida e esta diferena vem da diminuio da massa do sistema. Ou seja, no processo de fuso
convertemos massa diretamente em energia.
Esta converso tambm esta presente nos processos convencionais. Por exemplo, se explodirmos 20
kilotons de TNT possvel vericar que a poeira que sobra da exploso cerca de 1 grama menor que a
massa original. Imaginado o estrago que 20 Ktons de dinamite podem fazer, voc pode imaginar o resultado
da transformao de 1 grama de matria em energia. Neste exemplo a massa do sistema variou 5 10 9 %,
vemos assim como a energia envolvida na produo da partcula (0; 7%) muito mais eciente.
O processo de produo de energia pela fuso de ncleos atmico como o sol produz a sua energia.
Para promover a separao da ligao descrita acima, precisamos compensar a massa extra necessria
para a existncia das partculas separadamente. Assim, para dissociar a ligao temos de fornecer ao sistema
uma energia igual a diferena de massa. Esta energia igual a energia de ligao do sistema. Como pode
ser vericado com exemplos concretos (exerccios), esta energia usualmente muito grande de sorte que as
partculas formadas no processo de fuso so bastante estveis.
102
Exercise 61 Sabendo que a massa do prton vale 1; 007276466812 u (unidade de massa atmica), a do
nutron 1; 00866491600 u e a da partcula alfa 4; 001506179125 u, qual a energia liberada (em eV) na fuso
desta quatro partculas.
Para partculas maiores (e.g., o urnio com 92 prtons e 143 nutrons), como ncleos de tomos mais
pesados, ou mesmo molculas, a estrutura interna do sistema grande o suciente para comportar (reservar)
parte da energia cintica da coliso. Para tais sistemas K > R de sorte que o sistema ligado tem uma
massa maior que a massa dos constituintes separadamente (M > ma + mb , como no exemplo da coliso visto
anteriormente). Assim, quando separadas a diferena de massa liberada na forma de energia. Diferente das
partculas menores descritas acima, esta energia extra age na inteno de separar o sistema (contra alguma
fora de ligao, como nuclear ou eletromagntica). Assim, estes sistemas tendem a se separar espontaneamente e liberar esta energia extra, i.e., tais sistemas so instveis (mas este tempo de decaimento
geralmente muito grande, da ordem de milhes de anos). Mas, obviamente, esta separao pode ainda ser
estimulada pelo fornecimento de mais energia ao sistema. Assim, ao fornecer ao sistema uma certa energia E
este se separa liberando, no apenas a energia E fornecida, mas tambm a energia da diferena das massas
(ma + mb M ). Este o processo de sso.
O processo de sso o envolvido nas primeiras geraes (1945) de bombas atmicas (ou bomba-A). Os
materiais radioativos geralmente usados neste tipo de bomba so o urnio-235 e o plutnio-239 (os nmeros
se referem a massa atmica do material). Neste tipo de dispositivo, menos de uma tonelada de material
radioativo capaz de produzir o mesmo efeito de 500.000 toneladas de TNT.
A segunda gerao de bombas atmicas (1952), conhecidas como bombas de hidrognio (ou bomba-H,
ou ainda bomba termonuclear) utilizam o processo de fuso descrito anteriormente. Neste tipo de bomba
existe uma bomba-A auxiliar (chamada de gatilho) que responsvel pela energia necessria para o processo
de fuso. Este tipo de bomba utiliza como material istopos do hidrognio: o deutrio e o trtio. Este
processo absurdamente mais eciente que o de sso. Uma bomba termonuclear moderna pode gerar, a
partir de pouco mais de um quilo de matria, a energia liberada por 1,2 milhes de toneladas de
TNT.
O processo de sso o utilizado nas usinas nucleares para a produo de energia. Um dos desaos atuais,
e uma esperana para o problema da crise de energia, se produzir, de forma controlada, o processo de fuso.
103
2.19.7
Ftons
Acima vimos que atualmente o conceito de energia relativstica preferido ao de massa relativstica. Com
o salientamos, esta escolha apenas uma questo de nome. Entretanto, este um timo exemplo de como
uma simples reinterpretao dos mesmos resultados pode levar a novas concluses.
Os ftons viajam a velocidade da luz c, assim, sua massa relativstica seria:
mR = p
m
m
=
0
1 1
ou seja, se o fton tiver qualquer valor de massa diferente de zero, sua massa relativstica seria innita. Em
outras palavras, qualquer fton carregaria um momento (e, conseqentemente, uma energia) innita e uma
simples lanterna seria uma arma mortal. Entretanto, se m = 0, temos uma indeterminao na expresso
acima, ou seja, uma partcula que viaje sempre a velocidade da luz pode ter uma massa relativstica (ou
uma energia relativstica) nita, mesmo tendo uma massa de repouso nula. Obviamente tal idia no faz
sentido na mecnica clssica, onde qualquer partcula sem massa teria sempre momento e energia iguais a
zero. Como vimos, na TRR a massa no a nica responsvel pela inrcia dos corpos, mas tambm qualquer
forma de energia que este corpo carregue.
Vamos ento, como feito antes, abandonar a idia de massa relativstica e trabalhar com o conceito
de energia relativstica. Neste caso, podemos por um momento esquecer a expresso acima e trabalhar
diretamente com o invariante obtido na expresso (50)
2
E2
(cp) = m2 c4 :
E, para evitar o problema descrito no primeiro pargrafo, vamos assumir que a massa de repouso do
fton zero e assumir que isso nos d um valor nito para a energia relativstica28 . Esta ltima suposio
pode, obviamente, ser comprovada experimentalmente (e.g., no efeito fotoeltrico). Observe que enquanto a
pergunta sobre a massa relativstica do fton pode trazer dvidas, ningum duvidaria que o fton tenha uma
energia nita. Neste sentido a reinterpretao citada acima permite o desenvolvimento natural das idias.
Com isso, a expresso acima se torna:
E2
(cp) = 0 =) E = c jpj :
Assim, uma vez determinada a energia do fton (e.g., atravs do efeito fotoeltrico), podemos armar que
este possui um momento
E
:
p=
c
Ou seja:
2 8 Obviamente, poderamos falar que a massa relativstica nita, mas este jargo no usado. Falamos sempre que o fton
no tem massa, mas tem energia.
104
105
temos
hEi =
1
1
"0 E02 ; hpi = "0 E02
2
2c
e, portanto
hEi = hpi c :
Este resultado, que concorda com (??), vem do fato do fton ser a partcula associada com a quantizao do
campo eletromagntico.
Alm disso, a possibilidade de da criao de pares faz com que qualquer teoria que descreva satisfatoriamente o comportamento de partculas carregadas em campos eletromagnticos deve comportar a criao e
aniquilao das cargas. Isso o que ocorre nas equaes de Klein-Gordon e na equao de Dirac.
2.20
Dinmica relativstica
Como vimos com os resultados anteriores, a dinmica de corpos pode ser descrita usando a lei de Newton,
desde passemos a usar o momento relativstico
F=
dp
m
; p=m = q
dt
1
u2
c2
u:
Vejamos ento o que acontece, por exemplo, quando uma partcula, inicialmente em repouso, sujeita a uma
fora constante, F =constante. Obviamente, neste caso, podemos analisar o problema apenas na direo da
fora
Z t
dp
F =
=) p =
F dt + C = F t + C
dt
0
Como a partcula estava inicialmente em repouso, em t = 0 devemos ter o momento inicial
0 = F 0 + C =) C = 0
com o que
p = Ft
usando a forma explcita de p temos
p = Ft = q
106
u2
c2
F
t
m
=
1
u2
u
1
u2
2
F
mt
1
1
u2
c2
1
u2
1
c2
1
;
c2
2
F
mt
i
2
F
+ mc
t
F
t
q m
F
t
1 + mc
O numerador a resposta obtida com a mecnica clssica, que seria o que obteramos da expresso acima
para o caso(F=m) t << c. O denominador, entretanto, nos diz que, com o passar do tempo a taxa de aumento
develocidade diminui.
"
#
2
F
1
F
q
u_ =
1
t
2
F
2
mc
F
1
+
t
m 1 + mc t
mc
=
F
mh
1+
i
2 3=2
F
mc t
F
m
1+
(t ! 1)
F
mc
(t ! 1)
107
F
m (t ! 1)
F
mc (t ! 1)
!c:
x (t)
x (t)
F
t
dx
q m
;
=
2
dt
F
1 + mc
t
Z
t0
F t
q
dt
m 0
F 0 2
1 + mc
t
2
3t
s
2
F 4 mc 2
F 0 5
;
1+
t
m
F
mc
2s
3 0
2
2
mc 4
F
1+
t
15 :
F
mc
mc2
F
2
(Ax + 1)
1 + (Ct)
; C=
F
mc
(Ct) = 1
y = Ax + 1 ; z = Ct
y2
z2 = 1 ;
ela pode ser reconhecida como a equao de uma hiprbole. Ou seja, no lugar da parbola clssica x / t2 ,
relativisticamente temos uma hiprbole. Por isso, o movimento relativstico sob uma fora constante
chamado de movimento hiperblico. Ele ocorre, por exemplo, quando uma partcula carregada e colocada
num campo eltrico uniforme.
108
Diferente do que ocorre com as duas primeiras leis de Newton, a terceira lei no pode ser estendida
para os domnios da mecnica relativstica. Pois, de acordo com esta lei, objetos separados espacialmente que interajam por uma fora exercero, sempre no mesmo instante, foras iguais e opostas. Como
vimos, o fato de um evento ser simultneo depende do observador. Assim, se um observador v num instante
t uma fora F (t) agindo no corpo A e F (t) agindo em B (de sorte que a terceira lei se aplica para este
observador), um outro observador em movimento armar que as foras so iguais em tempos diferentes, pois
t0A =
uxA
c2
6= t0B =
uxB
c2
de sorte que, para este observador, a terceira lei no mais valer. Apenas quando a fora de interao
constante, ou quando uma fora de contato (agindo no mesmo ponto) a terceira lei continuar vlida.
109
2.21
Pelo fato da fora por um observador ser medida com relao ao seu tempo (dt), esta quantidade sofre do
mesmo problema da velocidade, ou seja, no um quadrivetor, mas sofre a transformao29 :
Fi
Fi
dpi
dpi
dpi
=c
= c 0 ! Fi ;
dt
cdt
dx
d i p
d i p
dpi
=c 0 0
= c 0 =c 0
dx
dx
( 0 dx +
=
=
F0
i dp
dt
0
0
0 dxi
i dt
1
c
i
0
0
=c
0 dxi )
i
F
+ 1c
0
0
cdt
dp
0 dxi
i dt
1
c
0 ui
i
dp0
1 dE
=
dt
c dt
A componente F 0 , a menos do fator 1=c proporcional a variao de energia da partcula, o que, como vimos
igual a variao do trabalho realizado. Ou seja, a potncia entregue partcula.
Para o caso de v na direo x temos
0
B
B
=B
B
@
e
Fy = F 2 =
F
0 + 1
0
c
0
0
0 ui
i
0 0
0 0
1 0
0 1
0
0
C
C
C
C
A
F2
=
1
Da mesma forma
Fy
cu
c ux
Fz
Fz =
1
c ux
J para a componente x,
Fx
= F1 =
1
=
dE
c dt
1
2 9 Lembre-se
que
0
0
1 dE
c dt
Fx
F
+ 1c
+ F1
0 u1
1
1
0
0F
1
1
1F
cu
F0 + F1
1
cu
1
cu
+ Fx
cu
110
dp
dE
dp
)
=
:u = F:u ;
dt
dt
dt
temos
Fx =
Fx
(F:u)
c ux
1 dE
dp0
=
d
cd
A quantidade
K =
dp
d
assim denida se transforma como um 4-vetor. Este 4-vetor recebe o nome de fora de Minkowski. Assim
como F 0 , K 0 a potncia transferida ao sistema em unidades de tempo prprio.
A mecnica relativstica pode ser formulada em termos da fora ordinria (ou usual), ou atravs da fora
de Minkowski. Devido ao seu carter vetorial, esta ultima , geralmente, mais conveniente. Entretanto, como
normalmente estamos interessados na dinmica da partcula vista por um observador (ns), geralmente temos
de passar da fora de Minkowski para a usual.
1
dE
1
1
;q
= @ q
2
c 1 u dt
1
c2
0
1
1
= @ q
F:u; q
u2
c 1 c2
1
0
1
1
1
= @ F: ; q
FA
c
u2
1
u2
c2
u2
c2
FA
1
FA
c2
111
2.21.1
Exemplo 1
1
1
dE
1
= @
;q
FA
cd
u2
1 c2
0
1
1
1
= @ q
F:u; q
FA
2
2
c 1 uc2
1 uc2
0
1
F
u
F
x
= @ q
;q
;0; 0A :
2
2
c 1 uc2
1 uc2
0
(54)
32 2
F
u
4 q x 5 + 4q F
2
c 1 uc2
1
2
F2
1
u2
c2
u2x
c2
u2
c2
32
5
=1:
112
energia relativstica) da nossa partcula, tem por conseqncia uma diminuio na energia da fonte geradora
do campo.
Vamos agora resolver novamente o problema atravs da fora de Minkowski (FM). Usando agora a generalizao lei de Newton com a fora de Minkowski temos
dp0
F
ux
= q
d
c 1
K0 =
u2
c2
F
c
F dx
;
c d
p0f
dp0 =
po
i
c 0
p
F f
p0i =
1
[Ef
F
Ei ]
Como a partcula est inicialmente parada, sabemos que sua energia inicial vale
Ei =
J a sua energia nal
Ef =
Tudo que precisamos agora achar
conta que zssemos antes)
K1 =
mq
1
x
x.
q
p
2
2
(mc2 ) + (pc) = mc c2 +
u2
c2 df
=q
1
u2
c2
(t = 0) =) C = 0 =)
Ef = mc
e, nalmente,
2
s
1 4 2
x (t) =
mc 1 +
F
2
x
dp1
d
F
=m x = q
d
d
1
F
t
cm
u2
c2
=)
d x
F
=
=)
dt
m
F
t+C ;
m
F
t:
m
1+
3
F
t
cm
2s
2
mc
4 1+
mc2 5 =
F
113
F
t
cm
15 :
Exemplo 2
Vamos tratar outro exemplo simples. Imagine uma pedra de massa m que atirada com velocidade u0
na direo horizontal (que chamaremos de x) e, ao mesmo tempo, cai sob a ao de uma fora constante
F = F ( y^). Tomando em conta apenas o plano x; y temos
F = (0; F ) =
F y^ ; u (t = 0) = (u0 ; 0) = u0 x
^:
Estas quantidades se referem a um observador num certo referencial S. Como de costume, para resolver o
problema o observador utiliza a lei de Newton (com o momento relativstico) e resolve, separadamente,
o problema na direo x e y. O problema na direo y
Fy
dpy
=
dt
F =
q
1
u2
c2
q
1
u2
c2
"
"
d
m
dt
u_ y +
u_ y +
uy
1
u2
c2
uy
1
u2
c2
d 4
m
q
dt
1
#
(uu)
_
2
c
u2
c2
uy 5
(ux u_ x + uy u_ y )
c2
0
d @
1
q
dt
1
u2
c2
Fx =
1
ux A =
dpx
d
= m ( x) = 0
dt
dt
#
"
1
ux 1
q
u_ x +
(uu)
_ =0
2
2
1 uc2 c2
1 uc2
114
1
ux
u_ x +
3
(ux u_ x + uy u_ y ) 5
c2
uy
4u_ y +
u2x +u2x
c2
1
(ux u_ x + uy u_ y ) = 0
c2
u2x +u2x
c2
1=2
u2x + u2x
c2
K=@
com
1 dE
1
;q
cd
1
F = (0; F ) =
temos
u2
c2
1
F
K=@
c
K0
dp0
onde
1
1
FA = @ F: ; q
c
1
u2
c2
FA
F y^ ; u (t = 0) = (u0 ; 0) = u0 x
^:
y ; 0;
F
u2
c2
; 0A
F
F dy
dp0
=
=
;
d
c y
c Zd
c
F
dy =) y =
dp0 =
c
F
1
[Ef
F
q
q
2
2
Ef = (mc2 ) + (pc) = mc c2 +
2
x
Ei ] ;
2
y
Mais uma vez, tudo que precisamos achar . Para a componente K 1 temos
K1 =
dp1
d
= 0 =) m
d
d
= 0 =)
1
0
= const. ,
= rn
1
1
u(t)
c2
1
o u (t) =) (t = 0) ;
115
u0
=q
1
u20
c2
1
0
(55)
d
dp2
=) m
d
d
=q
1
=)
u2
c2
F
d 2
=
=)
dt
m
Ft
:
m
Onde j usamos o fato de que uy (0) = 0. Com isso, a expresso para a energia toma a forma
v
u
u
E = mctc2 +
u20
u20
c2
Ft
m
= mc3
Ei = mc
1
u20
c2
Ft
c2 m
1
u20
c2
uy
1
[Ef
F
2s
1
Ft
1
mc3 4
+
F
c2 u20
c2 m
2v
)3
u(
2
u
1
d
1
Ft
5=
mc3 4t 2
+
F
dt
c
u20
c2 m
= y_ =
Ei ] =
F
t
cm
1
c2
u20
5 ;
u20
c2
Ft
c2 m
)3=2
1
0
=) ux =
1
0
u2
c2
ux
=)
u2
=1
c2
=1
1
0
u2x + u2y
c2
Isolando ux temos
u2x
"
1
2 + c2
1
( 0)
1
u2y
=1
c2
=1
1
c2
Usando
F
t
cm
1
c2
u20
Ft
c2 m
)3
u2
1 c20
1
1
1
+ 2 = 2 ;
+
=
2
2
2
1
c
u0
c
u0
( 0)
1
temos
ux = u0 41
1
c4
F
t
m
1
c2
u20
Ft
c2 m
)3 31=2
5
:
Ou seja, mesmo na direo x, onde no temos nenhuma fora atuando, o movimento no uniforme.
116
117
Outra forma de resolver o problema anterior seria atravs de um referencial S0 que se movesse com
velocidade u0 na direo x. Neste caso, a velocidade inicial na direo x seria u00 = 0. Entretanto, para fazer
isso, precisamos ainda transformar as foras. Pelas expresses obtidas anteriormente, temos:
Fy0
Fz0
Fx0
Fy
1
q
1
c ux
Fz
1
Fx
(F:u)
c ux
(F:u)
onde
F2
mt
F uy = q
F:u = Fy uy =
2
F
mc t
1+
com isso
Fx0
=
=
Fx0
u20
c2
c ux
c
=0
F2
mt
(F:u) =
u0
c
u0
q
c2
q
1+
2
F
mc t
F2
mt
1+
2
F
mc t
Ou seja, neste caso tempos o aparecimento de uma fora na direo x que ser responsvel pela acelerao
da partcula nesta direo.
2.21.3
Espalhamento Compton
Em 1923, analisando o espectro de transmisso de raio X com comprimento 0 , Compton descobriu que,
alm de um feixe transmitido de comprimento 0 , havia tambm um feixe de comprimento 1 , maior que 0 ,
cuja diferena depende apenas do ngulo de espalhamento, e no do material da folha.
Conservao do momento na vertical
p1 sin = p sin
(56)
Conservao do momento na horizontal
p0 = p1 cos + p cos
118
= p2 sin2
p2 cos2
(p0
p1 cos )
= p2 sin2
p1 cos )
= p2
+ p20
2p0 p1 cos
= p2
p21 + p20
2p0 p1 cos
= p2
p =) E 2
(cp) = m2 c4
q
2
m2 c4 + (cp)
E0 + mc2 = Ef +
q
2
m2 c4 + (cp)
119
+ p2 cos2
(57)
E0 + mc = Ef +
Usando agora
m2 c4 + c2 (p21 + p20
2p0 p1 cos )
E0
Ef
; p0 =
c
c
p1 =
temos
E0 + mc
E0 + mc2
2 2
E0 + mc
E02
2 2
+ 2E0 mc + mc
2E0 mc
Ef
2
2 E0 + mc
Ef
q
2
2
= Ef + m2 c4 + (Ef ) + (E0 )
2
2 4
2E0 Ef cos
2 4
2E0 Ef cos
= m2 c4 + (Ef ) + (E0 )
= m c + (E0 )
Ef
= m c + (E0 )
Ef
Ef
Ef
Ef
2 E0 + mc
2 E0 + mc
2E0 Ef cos
E0 mc2
E0 + mc2 E0 cos
E0 mc2
E0 (1 cos ) + mc2
1
h
i
1
1
(1 cos ) mc
2 + E
0
Usando agora
=
E0
= h
=h
c
0
120
; Ef = h
c
1
2E0 Ef cos
2E0 Ef cos
temos
h
0)
(1
(1
1
1
cos ) mc
2 +
cos )
ch
ch
mc2
C chamando comprimento de onda Compton e a equao acima a equao de Compton. Vemos diretamente
desta equao que a diferena no comprimento da luz espalhada com a incidente aumenta com o ngulo de
espalhamento. E depende apenas do ngulo. O processo descrito acima chamado de espalhamento Compton.
Observe que no desenvolvimento acima supusemos que o eltron estava livre (no ligado ao tomo). Esta
suposio vlida quando l0 muito maior que a energia de ligao do eltron com o tomo. Em especial,
participam do espalhamento apenas os eltrons livres ou os fracamente ligados nas camadas mais externas
dos tomos.
Dos grcos acima possvel observar um espalhamento de um cumprimento de onda l0 igual o incidente. Esta componente se deve ao espalhamento pelos eltrons mais internos, que esto fortemente ligados
ao tomo. Neste caso (como veremos no curso de quntica) a energia dos eltrons no se altera e o espalhamento corresponde apenas uma alterao na direo do fton. Este tipo de espalhamento chamado de
espalhamento Thomson e pode ser descrito, como feito por Thomson em 1900, diretamente com resultados
do eletromagnetismo.
O espalhamento Thomson predominante quando:
>>
121
2.22
b :
O uso do produto de vetores to comum que introduzimos uma nova notao para indic-lo
ab = a b ; b =
b :
Com isso, temos agora quantidades representadas com ndices em baixo. Para diferenci-las,
chamamos de 4-vetor contra-variante as quantidades representadas com ndices em cima e co-variante, as com
ndices em baixo. Vemos ento que a mtrica do espao permite transformar um vetor contra-variante num
co-variante. Na nossa representao matricial, os vetores contra-variantes so representados como colunas,
enquanto os co-variantes so representados como matrizes linha.
Como vimos, ao carter das quantidades especicado pela sua lei de transformao. Ento, pelo que foi
dito anteriormente, toda quantidade que, por uma transformao de Lorentz , se transforma por
b =
um vetor- contra-variante.
De forma semelhante, dizer que uma quantidade um vetor co-variante, signica que esta quantidade
tambm respeita uma lei especca de transformao. Obviamente, esta lei deve ser diferente da acima (caso
contrrio, no haveria razo para darmos um nome diferente). Como se transformam ento, por uma TL ,
os vetores co-variantes? Ou seja
x ! x0 : b0 = M
b ; M
=?
a M
b =a b
a b =a b
122
ou seja
1
M=
Ou seja, um vetor por uma TL L um vetor covariante se transforma pela inversa da matriz que representa a
transformao:
1
b0 = b
:
(58)
Podemos agora denir:
, se transforma como:b0 = b
=
=
=
2.23
i
1
=
=
Gradiente em 4D
Alm da denio acima, de formar um vetor co-variante atravs de um contra, existem tambm quantidade
que naturalmente surgem como vetores co-variantes. Por exemplo,
@x @
@
=
@x
@x @ x
@x
x =
x =)
=
@x
@
@x @
@
=
=
@x
@x @ x
@x
x ! x =)
123
@x
=
@x
Ou seja
@
@x
@
@x
@
=)
@x
i @
=
@x
@
@
=)
=
@x
@x
@
@x
@
@x
Assim, a quantidade @=@x se transforma como um vetor co-variante. Observe que a derivada
@
@xi
o que chamamos de componente i do gradiente, podemos assim dizer que
@
@x
um gradiente quadridimensional.
(Co-gradiente e contra-gradiente)
Antigamente (nos livros de geometria diferencial) se usava vetores co-gradientes, para aqueles que se transformavam como o gradiente e contra-gradiente, para aqueles que se transformavam de forma contrria
ao gradiente. Atualmente esta nomenclatura no mais usada.
Alm disso, costume escrever o gradiente como
@
:
@x
@
(Reconhecendo um vetor)
Dos resultados acima temos
0
a0 b =
onde
1
com isso,
0
a0 b = a
b =a b :
b :
Ou seja:
se a b um invariante e a um vetor contra-variante, isso implica que b um vetor co-variante.
124
(59)
comumente chamado de baixar o ndice do vetor. A mtrica , obviamente, uma matriz inversvel, se
denirmos a inversa da mtrica como30
1
=)
ou seja, uma quantidade com ndices em cima, podemos denir tambm o procedimento de criar um vetor
contra-variante a partir de um covariante
b =
b ;
chamamos este processo de levantar o ndice do vetor. A denio acima , obviamente, compatvel com (59)
b =
b =)
b =
b =)
b =)
b =
b =b :
z }| {
:::
:::
| {z }
m
Com n ndices em cima e m ndices em baixo chamado um tensor n vezes contra-variante e m vezes covariante. Para qualquer vetor deste tipo podemos baixar e levantar qualquer um de seus ndices mudando o
seu tipo
::
T :::
::: = T
::: ;
obviamente neste processo o nmero n + m continuar sempre o mesmo. Observe que, geralmente
T
6= T
portanto
T
=T
6= T
Com isso necessrio marcar a posio exata do ndice que foi baixado ou levantado.
Remark 66 Para um 4-vetor baixar e levantar os ndices signica mudar o sinal da componente zero.
3 0 Observe
= .
125
Eletrodinmica relativstica
Vamos tentar agora dar um sentido mais preciso para a armao que as EM so invariantes por TL.
3.1
@i E i
@i B i
E =
1
"0
0
@B
@t
0J
0 "0
@E
@t
Conservao da carga
Dos resultados acima vimos que se a:b um invariante e a um vetor, ento b tambm um vetor. Vamos ver
como este resultado pode ser usado para descobrirmosquando um conjunto ordenado de quatro quantidades
forma (ou no) um vetor.
A conservao da carga eltrica pode ser expressa como:
r:J =
@
@
=) r:J +
=0
@t
@t
@
@t
Ji
=
=
@J i
@
+
=0
@xi
@t
(Jx ; Jy ; Jz )
126
Ou seja, a quantidade
@J
= @ J = @0 J 0
@x
(60)
um invariante. Alm disso, pelo que foi dito anteriormente, sabemos que
@0 =
um vetor co-variante. Isso signica que, a nica forma da igualdade (60) ser vlida para qualquer referencial inercial, i.e., qualquer TL que J se transforme como:
J =
Suponha que num referencial S0 existe um corpo, com uma densidade de carga estacionria 0 (imagine,
por exemplo, um gs carregado que preenche todo o espao). Ou seja, neste referencial temos uma densidade
de carga 0 e uma densidade de corrente J = 0,
J0 = (c 0 ; 0) :
Se visto por um referencial que se move com
Visto deste referencial o corpo se contrai na
densidade ser
Q
Q
=
=
=
V
V0 =
velocidade v = v0 x
^, qual ser o valor das novas densidades?
direo do movimento por um fator 0 . Assim, a sua nova
Q
=
V0
0 0
v02
c2
1=2
Onde usamos o fato de que a carga se conserva. Alm disso, neste referencial S, as cargas esto em
movimento, de sorte que ser tambm observada uma densidade de corrente
Jx =
onde o sinal de
0 v0
0 0c
0c 0;
v0
c
x
^. Assim, em S temos
0 0 c 0 ; 0; 0)
Suponha agora que este mesmo sistema visto de um referencial S0 que se move com uma velocidade
v = v^
x em relao a S (e no a S0 ). Qual o valor da densidade 0 de carga em S0? A princpio poderamos
127
0 0)
0 0
(61)
0
S:
S0 !
J=
B
B
(v) J0 = B
B
@
0
0
0 0
0
0
0
1=2
0
0
1
0
0
0
0
1
v0
c
0 0
10
0c 0
C B
CB
CB 0 C B
C B
CB
CB 0 C = B
A @
A@
0
0 0c 0
0
0
1
C
C
C
C
A
(62)
e a densidade de corrente Jx =
0 0c 0,
o que concorda
S ! S0 :
0
J =
B
B
(v ) J = B
B
@
0
0
0
1=2
0 0
0 0
1 0
0 1
0
0
v
c
10
CB
CB
CB
CB
A@
0c 0
0 0c 0
0
0
C B
C B
C=B
C B
A @
(1 +
0( +
0
0
0) c 0
0) c 0
1
C
C
C
C
A
(1 +
0) c 0
6=
0 0
(63)
O que no concorda com (65). Mais precisamente, a expresso (63) a formula correta para a densidade
de carga medida em S0. O fato de J ser um 4-vetor nos diz que a transformao desta quantidade (assim como
nas coordenadas) envolve a mistura das quantidades espaciais e temporais, de sorte que a densidade
de carga depende tambm das correntes.
128
B
B
J =B
B
@
0
(1 +
( +
0) c ( 0 0)
0) c ( 0 0)
0
0
(1 +
( +
0
0
C B
C B
C=B
C B
A @
0) c
0) c
C B
C B
C=B
C B
A @
0
1 + vv
c2 c
(v + v0 )
0
0
C
C
C :
C
A
(64)
O fato de observadores em referenciais diferentes observarem correntes e densidades diferentes nos diz que
a intensidade dos campos gerados por estas quantidades tambm iro mudar. No exemplo acima, em S0 ,
onde as cargas esto paradas, existe apenas um campo eltrico. Enquanto em S existe alm de um campo
eltrico um campo magntico. Obviamente esta mudana tem de ocorres de forma que todos os observadores
concordem em descrever o movimento das cargas.
Um ponto importante a se notar que as expresses acima so vlidas para volumes. Se voc estiver
trabalhando com densidades superciais ou lineares deve tomar cuidado. Por exemplo, se no exemplo acima
temos, no lugar de um corpo, i o na direo x com densidade linear 0 , obviamente este o ir se contrair
e a densidade vista em S vale
= 0 0
O que concorda com os resultados anteriores. Agora, se este o estiver numa direo perpendicular ao
movimento (e.g., ^
z) voc no deve esperar nenhuma modicao no o (que possui bitola nula) e,
consequentemente, os resultados acima no valero. O ponto aqui que um o, ou uma placa, uma
abstrao, pois, enm, todos os objetos tm na verdade 3D espaciais. Com isso, no caso do o na direo z^,
passando pela origem, voc deve imaginar uma densidade volumtrica
(x; y; z) = f (x) (x) (y)
onde
(x; y; z)
0
x
(x; y; z)
= f (x)
0
y
(x; y; z)
(x) (y) =)
= f (x) (x)
(y) =)
0
z
zf
0
x
0
y
(x) ;
Pois 0 (x) = x (x) = (x). Apesar de um pouco articial, este resultado pode ajud-lo a aplicar corretamente as expresses no caso de densidades com dimenso menor que 3:
3.2
Ser que os campos eltricos e magnticos so tambm a parte espacial de 4-vetores? Vamos tratar o exemplo
especco de duas placas paralelas (no plano x; z). Num certo referencial S as placas esto no plano x; z, se
129
O:E =
E+
1
=)
"0
2"0
E:da =
y
^; E =
Q
Q
Q
=) 2E+ :a =
=) E+ =
=
"0
"0
2"0 a
2"0
2"0
( y
^) =) E =
"0
y
^
Z
@E
= 0 J =) B dl = 0 I
@t
1
1
1 I
=
Jx =) B+ =
0 I =) B =
2 0l
2 0
2
B =
B: (2l)
0J +
0 "0
0c 0 0
0c
v0
c =
c
v0
1
2
v0 (^
z)
com isso
B+
1
2
B =
v0 ( ^
z) ; B =
v0^
z
resumindo
E =
(0; Ey ; 0) ; Ey =
(0; 0; Bz ) ; Bz =
"0
0
v0
(65)
Como cam estes campos quando o mesmo sistema observado por um referencial S0 que se move v em
relao a S? Como vimos anteriormente, as densidades medidas no referencial S0 valem (64):
Jx0
=
=
vv0
c2
(v + v0 )
1=2
v
1
2
c
1+
Onde v a velocidade do referencial S0 em relao a S e v0 a velocidade das cargas vista de S (ou seja, a
130
=
=
y
^ =) E0 =
"0
(0; Ey ; 0)
1+
vv0
c2
"0
y
^=
"0
Usando
0 "0
1 (
0
c2
v0 ) v
"0
y
^=
Ey
1 Bz v
2
0 "0 c
y
^
1
c2
temos
Ey0 =
(Ey
Bz v)
E para o magntico
B0 =
0
z
0 Jx ^
(v + v0 )
Com isso
Bz0 =
0
0 Jx
(v + v0 )
1
"0
"0
0v
Bz
Bz
v0 )
usando (65)
Bz0 =
(Ey "0
0v
Bz ) =
Ey
v
c2
Ey
v
c2
(Ey
Bz0
Bz
Bz v)
v
Ey
c2
Para obter as outras componentes dos campos ns apenas giramos as planas e as colocamos no plano x; y
com isso, repetindo as contas anteriores
Ez0
By0
(Ez + vBy )
v
B y + 2 Ez
c
Para a componente x do capo eltrico, basta vericar que, se voc colocar as placas no plano y; z conforme
o sistema se move no ocorre nenhuma alterao na densidade de cargas, de sorte que
Ex0 = Ex :
Neste caso os campos magnticos se cancelam e nada podemos falar sobre ele. Assim, para analisar as
componentes do campo magntico nas outras direes precisamos de um outro dispositivo. Imagine um
longo solenide alinhado com o eixo x, com n espiras por unidade de comprimento, por onde passa uma
corrente I (o solenide est em repouso em S mas existe uma corrente no o). No interior do solenide temos
um campo
Bx = 0 nI
Num sistema S 0 que se move na direo x com velocidade v temos
n0 = n :
Alm disso (como a carga se conserva e Q0 = Q e o tempo se dilata)
I0 =
dQ
1 dQ
I
dQ
=
=
=
dt0
dt
dt
temos
Bx0 =
0n
0 0
I = Bx
= Ex ; Ey0 =
Bx0
= Bx ; By0 =
(Ey
(66)
Dos resultados acima vemos que os campos no se transformam como a parte espacial de um
4-vetor, ou seja,
E 0i 6=
Ei0
E ;
1
6=
E :
1
(v
c2
132
E0 ) :
Se E = 0 em S, ento
E0 = (v
B0 ) :
133
3.3
= Ex ; Ey0 =
Bx0
= Bx ; By0 =
(Ey
Como vimos dos resultados da seo anterior, certamente os campos E e B no se comportam como
a parte espacial de um 4-vetor. Mais ainda, suas componentes se misturam por uma TL. importante
salientar que o que vamos fazer aqui completamente diferente do que zemos com a mecnica Newtoniana.
A mecnica Newtoniana (ou a clssica) estava errada e teve de ser corrigida para incorporar os efeitos
da TR. Entretanto, o eletromagnetismo j uma teoria correta, pois foi dele que efetivamente surgiu
a TRR. Destarte, o que vamos fazer aqui no corrigir o eletromagnetismo, mas simplesmente reescrev-lo
com o ferramental da TRR, ou seja, usando 4-vetores e 4-tensores (que chamaremos apenas de vetores e
tensores). Chamamos a isso obter a forma covariante das equaes (no sentido de que ela ter a mesma
forma em qualquer referencial inercial). Na verdade, as EM so vlidas em qualquer referencial inercial, mas
no tm a mesma forma, pois os campos e as densidades se misturam. Por exemplo, enquanto num referencial
podemos ter apenas campos eltricos e cargas, de sorte que EM tem a forma:
@i E i =
r
E=
1
"0
; @i B i = 0 ;
0;
@E
=0:
@t
Num outro referencial S 0 o mesmo sistema pode apresentar densidades de cargas e correntes e as EM
teriam a forma:
@i E 0i =
r0
E0 =
1
; @i B 0i = 0 ;
"0
@B0
; r 0 B0 =
@t0
134
0J
0 "0
@E0
:
@t0
Neste sentido, as equaes no tm a mesma forma. J uma equao na forma covariante, como a conservao
de carga, tem a mesma forma em qualquer referencial inercial
@ J = 0 ! @0 J 0 = 0 :
Como vimos antes, a descrio das leis fsicas no espao de Minkowski no se limita a vetores e escalar.
Temos a nossa disposio tambm os tensores. Lembre-se que por uma TL um tensor T
se transforma
como:
T0 =
T
:
(67)
Ou seja, as suas componentes se misturam, assim como nossos campos.
Alm disso, da eletrodinmica sabemos que toda a informao dos efeitos eletromagnticos est na carga,
corrente (que sabemos formar um 4-vetor) e nos campos E, B. Estas ltimas quantidade possuem 6 componentes. Desta forma, nas EM j vigoram todas as quantidades necessrias: cargas, correntes e os campos
E e B. Ou seja, no precisamos procurar por novas quantidades como E 0 e B 0 . Mais ainda, a
quantidade associada aos campos deve ter 6 componentes apenas.
Nossa prxima tentativa , ento, tentar associar E e B com um tensor que tenha 6 componentes.
Exercise 69 Que tensor possui 6 componentes?
Neste ponto vamos tomar um rumo completamente diferente do seguido nos livros, mais que possui a
grande vantagem de produzir expresses que possamos facilmente lembrar e usar.
Os campos eltricos e magnticos podem ser escritos atravs dos chamados potenciais escalar e vetor
A:
@A
;
B=r A; E= r
@t
Vamos reescrever estas expresses na forma
Ei
@i
= c [@i (
A0
@Ai
@Ai
= @i
c 0
@t
@x
=c) @0 Ai ] = c (@i A0
e
B1
= @2 A3
@3 A2
B2
= @3 A1
@1 A3
B3
= @1 A2
@2 A1
135
@0 Ai )
Resumindo
Bi = @j Ak
Ei
= @i A0
c
@k Aj (1 ! 2 ! 3)
@0 Ai ; A0 =
@ A
onde
Ei
= @i A0
c
Bi = @j Ak
@0 Ai = Fi0 ;
@k Aj = Fjk (1 ! 2 ! 3) :
; F
=0
B
B
=B
B
@
0
F10
F20
F30
F01
0
F21
F31
F02
F12
0
F32
F03
F13
F23
0
C B
C B
C=B
C B
A @
E1
c
E2
c
E3
c
E1
c
E2
c
E3
c
0
B3
B2
B3
0
B1
B2
B1
0
1
C
C
C
C
A
Tudo que zemos at agora foi inventar smbolos, mas sem nenhuma fsica nem prova de que as quantidades
so ou no vetores.
Vamos tentar ento responder a seguinte pergunta: Se E e B so os campos vistos num referencial S,
como cam os campos vistos num referencial S0 que se move com velocidade v na direo x em relao a S?
Se F um tensor ele deve ser transformar pela lei (67). Observe que esta lei tem o tensor com ndices contravariantes. Claro que ns sabemos como se transformam tambm os vetores co-variantes, mas interessante
se pudermos usar (67) (e no (58)), simplesmente porque j sabemos a forma de
e no queremos car
invertendo as coisas. Entretanto, dado um tensor co-variante, sabemos como a regra de abaixamento e
levantamento de ndices pode ser usada para obtermos suas componentes contra-variante. Ou seja, se F
um vetor co-variante podemos formam com ele um tensor contra-variante usando
F
136
=F
Vale agora salientar o seguinte fato: Pela forma da mtrica fcil ver que quando baixamos um ndice
espacial (1; 2; 3) nada acontece. Entretanto, toda vez que baixamos um ndice temporal (0) o sinal da
componente muda:
a = a0 ; a1 ; a2 ; a3 =) a =
a = (a0 ; a1 ; a2 ; a3 ) =
a0 ; a1 ; a2 ; a3
M0i = M0
M0
; M0i =
; M00 = M 00
Onde, no ltimo caso, baixamos dois ndices espaciais e ganhamos dois sinais de menos.
Desta forma temos
B
B
=B
B
@
0
F10
F20
F30
F01
0
F21
F31
F02
F12
0
F32
= F 001 =
1
=
=
=
=
=
E10
c
0
1
F0
1F
10
)
2
0
0
0 0
0 0
1 0
0 1
=
0
1
1
1
E1
c
E2
c
E3
c
E1
c
E2
c
E3
c
0
B3
B2
B3
0
B1
B2
B1
0
1
C
C
C
C
A
0
0
0
0
B
B
=B
B
@
C B
C B
C=B
C B
A @
para calcular
E10
c
F03
F13
F23
0
0
1
0
0F
1
01
F 10
F 10
1 F 10
F 10 = F 01
E1
=) E10 = E1 =) Ex0 = Ex
c
137
0F
1F
1
C
C
C
C
A
= F 002 =
2
=
=
E20
0
0
0F
2
02
F
+
=
0
1F
(E2
cB3 )
(E2
cB3 ) =) Ey0 =
(Ey
vBz )
2F
12
Bx0
= Bx ; By0 =
(Ez + vBy ) ;
v
Ey
c2
By +
; Bz0 =
Bz
v
Ey
c2
O que concorda com o resultado obtido anteriormente (66). Ou seja, ns obtemos as transformaes dos
campos previstas pelas EM e pelas TL se agruparmos os campos eltricos e magnticos na quantidade
B
B
=B
B
@
E1
c
E2
c
E3
c
E1
c
E2
c
E3
c
0
B3
B2
B3
0
B1
B2
B1
0
1
C
C
C
C
A
e exigirmos que esta quantidade se transforme como um tensor. Este procedimento completamente
anlogo a identicarmos
F
A
onde
= @ A
=
@ A
;A
=) A =
;A
e A so os potenciais escalar e vetor. E, alm disso, exigirmos que A se transforme como um vetor
A0 =
A :
Desta forma, podemos facilmente obter o campo sentido pelos mais diversos observadores. Alm disso,
o fato do campo de F ser realmente um tensor pode ser vericado tanto pela compatibilidade entre a sua
transformao e as transformaes previstas pelas EM (como zemos), quanto experimentalmente (medindo
os campos com sensores parados ou em movimento).
138
3.4
Invarincia de gauge
= r
A ; Bi = "ijk @j Ak
@A
r
; Ei = (@i + @0 Ai )
@t
E =
e fazendo a transformao
A~i
~
para uma funo
= Ai + @i ) Ai = A~i
=
@i
= ~ + @0
@0 )
qualquer, temos
"ijk @j Ak
= "ijk @j A~k
@k
= "ijk @j A~k
(@i + @0 Ai )
= @i ~ + @0
+ @0 A~i
@i
= "ijk @j A~k
Ei
@i ~ + @0 A~i
usando tanto os potenciais originais como os transformados. Esta liberdade na escolha dos potenciais (na
escolha de ) chamada de liberdade de gauge (ou invarincia de gauge). Esta liberdade reete o fato de
que (em EM) os potenciais so apenas um artifcio matemtico e no tem uma realidade fsica, apenas os
campos tm uma realidade fsica.
Esta invarincia a motivao principal para chutar a forma do tensor de campo. Observando que
~
c
+ @0 ) A0 = A~0
@0
139
(68)
= @ A
@ A =@
= @ A~
@ @
= @ A~
@ A~
A~
A~
@ A~ + @ @
Ou seja, esta transformao no altera F e, conseqentemente, no altera os campos. Pela expresso acima
trivial ver que a transformao (68) no altera F . Assim, a forma de F , i.e., a relao de F com os potenciais,
pode ser buscada como uma combinao de primeiras derivadas dos potenciais (pois os campos so derivadas
dos potencias) que so invariantes por uma transformao de gauge. A forma acima a mais simples e a
nica.
As equaes de Maxwell
=@ A
=c; A).
O que nos fornecer todas as 10 quantidades (4+6) presentes nas equaes de Maxwell (EM). Nosso objetivo
agora reescrever as EM usando o tensor do campo eletromagntico. Com isso, as expresses obtidas usaro
apenas tensores e valero (tero a mesma forma, i.e., sero co-variante) para qualquer referencial inercial
(ligados por TL). Para isso, primeiro vamos dividir as EM em dois pares. As primeiras duas equaes:
r
E =
r B =
@B
@B
=) r E +
= 0 (Lei da induo de Faraday),
@t
@t
0 (No existem monopolos magnticos),
so chamadas de equaes homogneas. Pois, colocando todos os campos do lado esquerdo, elas so iguais a
zero. Este par de equaes no envolve cargas e correntes e apenas dita como os campos se relacionam.
Este fato est reetido na prpria estrutura do tensor do campo. Ou seja, tudo que precisamos para descrever
estas equaes est no tensor do campo eletromagntico.
Usando diretamente a denio do tensor do campo eletromagntico (TCE)
F
= @ Av
140
@ A ;
+@ F
@ (@ Av
+@ F
@ A ) + @ (@ A
@ A ) + @ (@ A
@ A )=
@ @ Av
@ @ A +@ @ A
@ @ A +@ @ A
@ @ A =
@ @ Av
@ @ A +@ @ A
@ @ A +@ @ A
@ @ A =
(@ @
@ @ ) A + (@ @
usando
@ @ =
@ @ ) A + (@ @
@ @ )A
@2
@2
=
=@ @
@x @x
@x @x
temos
@ F
+@ F
+@ F
=0
(69)
Se dois ndices so iguais a expresso acima no nos diz nada. Por exemplo, para
(@ @
= :
@ @ ) A + (@ @
@ @ ) A + (@ @
@ @ )A
(@ @
@ @ ) A + (@ @
@ @ )A
@ @ ) + (@ @
@ @ )] A
[(@ @
Precisamos ento apenas analisar os termos com ndices diferentes. Analisemos uma componente desta
igualdade, por exemplo, = 0; = i; = j:
@0 Fij + @i Fj0 + @j F0i
1
Ei
Ej
@0 Fij +
@j
@i
c
c
c
1
E2
E1
@0 F12 +
@1
@2
c
c
c
1
E3
E1
@1
@3
@0 F13 +
c
c
c
1
E1
E2
@0 F21 +
@2
@1
c
c
c
0 =) @0 B3 +
=
=
1
[r E]3 = 0
c
1
0 =) @0 ( B2 ) + ( [r E]2 ) = 0
c
1
0 =) @0 ( B1 ) + [( [r E]1 )] = 0
c
E] =
@
B =) r
@ct
141
E=
@B
@t
Fazendo
= 1;
= 2;
=3
@1 F23 + @2 F31 + @3 F12
@1 B1 + @2 B2 + @3 B3
B=
"0
(Lei de Gauss)
0J
0 "0
@E
(Lei de Ampre + corrente de deslocamento)
@t
Usando a notao introduzida anteriormente, podemos escrever a primeira das equaes acima como
r E=
"0
= c@i
usando
"0
c
J0
Ei
=
=) @i F 0i = 2
c
c"0
c "0
1
=)
c2
1
"0 c2
temos
r E=
"0
=) @i F 0i =
0J
0J
ou seja
@0 F 00 + @i F 0i
@ F0
142
0J
0J
(70)
B=
0J
0 "0
@E
@t
@E3
@t
@E3
2
1
@1 B
@2 B = 0 J3 + 0 "0
=) @1 F 31
@t
@ E3
@1 F 31 + @2 F 32 = 0 J3 + 0 "0 c2 c
@ct
(r
B)3 =
0 J3
0 "0
F 32 =
@2
0 J3
0 "0
@E3
@t
0J
+ @0 F 03
Usando a anti-simetria de F 03
@1 F 31 + @2 F 32 + @3 F 33 =
0J
@0 F 30
@0 F 30 + @1 F 31 + @2 F 32 + @3 F 33 =
0J
0J
Da mesma forma
(r
B)2
(r
B)1
@E2
=) @ F 2 =
@t
@E1
=) @ F 1 =
0 J 1 + 0 "0
@t
0 J2
0 "0
0J
0J
ou seja
@ Fi =
0J
Usando agora a equao (70) obtida anteriormente, temos o seguinte par de equaes
@ F0 =
0J
; @ Fi =
0J
0J
(71)
Assim, das quatro equaes de Maxwell duas so uma conseqncia direta da nossa denio do tensor do
campo eletromagntico atravs do potencial vetor (quadri-vetor) e as outras duas tem a forma obtida acima.
143
Em outras palavras ainda, as quatro equaes de Maxwell podem ser escritas com o seguinte par de equaes
covariante:
F
=@ A
@ F
@ A ;
0J
(72)
onde
A
4.1
;A
Outra aproximao
Alguns livros preferem um rumo um pouco diferente. Vejamos como as nossas idias podem ser compatibilizadas com as destes livros. Observe que a equao (69)
@ F
+@ F
+@ F
=0
(73)
@ F
=0
(74)
= 1;
= 2;
=3
@ F
= 0 temos
= "0123 @1 F23 + "0132 @1 F32 + "0312 @3 F12 + "0321 @3 F21 + "0213 @2 F13 + "0231 @2 F31
= @1 F23
@1 F32 + @3 F12
@3 F21
@2 F13 + @2 F31
ou seja
1 0
"
2
@ F
o mesmo vale para as demais componentes de em (74), ou seja, cada componente de em (74) representa
uma escolha dos ndices ; ; em (73). Ademais, a equao (74) pode ainda ser escrita como
"
@ F
= 0 =) @
1
"
2
144
=@ G
=0
onde
G
1
"
2
B
B
=B
B
@
E1
c
E2
c
E3
c
E1
c
E2
c
E3
c
0
B3
B2
B3
0
B1
B2
B1
0
; @ G
=0:
C
C
C ;
C
A
0J
Onde a primeira, que corresponde as equaes inhomognea, igual a do nosso desenvolvimento e a segunda
corresponde ao par de equaes homogneas. Obviamente os dois desenvolvimentos so completamente
equivalentes. Ou seja, pra ns as quatro equaes de Maxwell se reduzem ao par
F
=@ A
@ A ; @ F
0J
onde
A
;A
ou ao par
@ F
=0; @ G
=0;
onde
0
B
B
B
B
@
1
"
2
E1
c
E2
c
E3
c
E1
c
E2
c
E3
c
0
B3
B2
B3
0
B1
B2
B1
0
145
1
C
C
C
C
A
4.2
Na verdade, o par de equaes no-homogneas pode ser considerado tambm como uma conseqncia da
anti-simetria do tensor do campo eletromagntico. Pois, devido a esta anti-simetria:
@ @ F
=0
ou seja
@ (@ F
) = 0 =) @ C = 0; C = @ F
(75)
= @ F 0 = @0 F 00 + @1 F 01 + @2 F 02 + @3 F 03
= @1 F 01 + @2 F 02 + @3 F 03
E1
E2
= @1
+ @2
+ @3
c
c
1
r E
=
c
E3
c
"0
=) C 0 =
1
1
1 c
r E=
= 2
=
c
c "0
c "0
0J
= 1 temos
= @ F 1 = @0 F 10 + @1 F 11 + @2 F 12 + @3 F 13
E1
= @0
+ @2 (B3 ) + @3 ( B2 )
c
1
=
@0 E1 + @2 B3 @3 B2
c
1
=
@0 E1 + "1jk @j Bk
c
146
=i
1
@0 Ei + "ijk @j Bk
c
1 @Ei
+ "ijk @j Bk
c @x0
1 @Ei
+ "ijk @j Bk
c2 @t
@Ei
+ "ijk @j Bk
0 "0
@t
=
=
=
=
0 "0
@E
=
@t
0J
=)
0 Ji
0J
0 "0
@Ei
+ "ijk @j Bk
@t
temos
Ci =
0 Ji
0J
; Ci =
0J
=) C =
0J
=) @ F
0J
como j havamos obtido. Observe tambm a anti-simetria de F tem por consequncia a conservao da
carga
@ @ F = 0 =) @ C = 0 =) @ J = 0 :
4.3
Sendo F
eG
2 jBj
1
"
2
;
4
(E B) :
c
Exercise 73 Usando a forma explicita do tensor do campo eletromagntico, obtenha as expresses acima.
Ou seja, estas quantidades possuem o mesmo valor em qualquer sistema de coordenadas.
Em especial, se para um certo observador E e B forem ortogonais (E B = 0) (como no caso das ondas
eletromagnticas no vcuo) estes campos sero ortogonais para qualquer observador. Alm disso, se para
algum observador jEj = c jBj esta igualdade ser mantida em todos os referenciais. Atravs de uma escolha
147
dos referenciais podemos encontrar campos E e B que tenham qualquer valor desejado, respeitando apenas
o valor dos invariantes acima.
Exercise 74 Num dado referencial S os campos eltricos e magnticos possuem os valores E e B. Para um
outro observador, num referencial S0, estes campos so paralelos. Escreva o valor dos campos E0 e B0 do
referencial S0 em relao aos campos E e B do referencial S.
4.4
Gauge de Lorentz
Um resultado do clculo vetorial conhecido como teorema de Helmholtz (ou teorema fundamental do clculo
vetorial) arma todo campo vetorial (bem comportado), em trs dimenses, que v a zero no innito, pode
ser decomposto num vetor irrotacional e outro solenoidal (divergncia nula). Em outras palavras, este campo
pode ser decomposto no rotacional de outro campo e no gradiente de uma funo escalar
V=r
M + rf
Este resultado pode ser usado para explorarmos a liberdade de gauge do eletromagnetismo. Lembrando que
esta liberdade arma que, dado um potencial escalar e um vetor A ligados a uma certa congurao dos
campos eltricos e magnticos, qualquer outro potencial na forma
A~
= A +@
A~0
= A0 + @0 ) ~ =
A~i
@t
~ =A+r
= Ai + @i ) A
descrever os mesmo campos e, conseqentemente, a mesma fsica. Se usarmos agora o teorema de Helmholtz
para escrever
A = r M + rf
teremos
~ =r
A
~ =r
M + rf + r ) A
M + r (f + )
M) + r:r (f + ) = r2 (f + )
~ Alm disso,
Assim, escolhendo a funo
= f podemos eliminar completamente a divergncia de A.
escolhendo adequadamente a funo podemos modicar arbitrariamente o divergente do potencial vetor,
uma vez que este s depende do laplaciano da funo (f + ) acima. Com isso, uma conseqncia direta da
invarincia de gauge que podemos escolher arbitrariamente o gradiente do potencial vetor sem
alterar os campos e, conseqentemente, sem alterar a fsica do problema.
148
Esta liberdade usada para simplicar a forma das equaes obtidas quando usamos os potenciais diretamente nas EM. Substituindo as expresses
B=r
A ;E =
@A
;
@t
@
r:A =
@t
"0
@2A
r r:A +
0 "0
@t2
0 "0
@
@t
(76)
0J
Podemos assim sair de um conjunto de seis campos indeterminados para um conjunto de quatro. Alm disso,
as equaes acima podem ser simplicadas pela nossa escolha na liberdade de gauge. Por exemplo, se zemos
r:A = 0
a primeira equao acima se torna
r2 =
"0
conhecida como equao de Poisson. Assim a distribuio de carga de um problema est relacionado com
a soluo da equao de Poisson para o potencial do campo eletromagntico. A escolha acima signica
que zemos uma escolha especca da nossa funo e, conseguintemente, uma escolha de gauge. Esta em
particular chamada de gauge de Coulomb.
A substituio do potencial vetor nas equaes no-homogneas tambm bem mais simples usando a
equao covariante (tente obter as expresses (76) acima). Neste caso usando
F
=@ A
@ A ; @ F
0J
temos
@ [@ A
@ A ]=
0J
=) @ @ A
@ (@ A ) =
1 @
=) @i Ai + @0 A0 = 0 =) @ A = 0
c2 @t
com isso
@ @ A = 4A =
onde
4 = @ @ = r2
149
0J
1 @2
c2 @t2
0J
o operador dAlambertiano.
Exercise 75 Mostre que o gauge de Coulomb no invariante por transformaes de Lorentz.
Para manter a escolha do gauge de Coulomb entre diferentes referenciais precisamos denir uma transformao diferente para cada referencial. Desta forma a quantidade A no se transforma como um 4-vetor.
Fora de Lorentz
As EM nos dizem como as cargas e seus movimentos, inuenciam, ou criam, os campos eletromagnticos.
Para nalizar a teoria do eletromagnetismo, resta-nos ainda dizer como os campos interagem com as cargas,
ou seja, obter a forma covariante da fora de Lorentz.
F = qE + qu
Fi
= qEi + q"ijk uj Bk
Sabemos que a fora no um 4-vetor (nem um invariante). A disso, no lado direito da equao acima
aparece a velocidade da partcula (que obviamente no um quadrivetor). Podemos inicialmente corrigir o
problema com a velocidade usando o 4-vetor quadrivelocidade:
dx
c
= @q
d
1
com isso
Fi = qEi + q"ijk
;q
1
u2
c2
u2
c2
u2
c2
ui A
Bk
Fx = q cEx +
u2
c2
Bz
By
"
= q cF10 +
= q
= q
u2
c2
2
c
u2 4
q
c2
1
u2
c2
u2
c2
F10 +
150
F12 +
F10 +
F12 +
F13
F12 +
F13
F13 5
= q
F1
= q
u2
c2
u2
c2
F10 +
F11 +
F12 +
F13
F1
u2
c2
Fi
Fi =) q
u2
c2
=q
Fi
No lado esquerdo da expresso acima podemos reconhecer as componentes espaciais da fora de Minkowski
0
1
1
dp
1
=
=@ q
F:u; q
FA
2
2
d
c 1 uc2
1 uc2
1
0
1
1
F:u; q
FA
= @ q
2
2
c 1 uc2
1 uc2
ou seja
Ki = q
Fi
= q
F0
= q
=
=
F00 +
1 E1
+
c
1
q
q
c 1
1
1
q
c 1
1
1
q
c 1
u2
c2
u2
c2
u2
c2
F01 +
2 E2
+
c
(E u)
(qE u)
(F u)
151
F02 +
3 E3
c
F03
(77)
Que podemos reconhecer como a componente temporal (zero) da fora de Minkowisky em (77). Lembrando
que esta componente se relaciona com a variao do trabalho da carga
0
1
1
K =@ q
c 1
u2
c2
dE
1
;q
dt
1
u2
c2
FA
Assim, a fora de Lorentz, acrescida da equao para a variao da energia da carga, pode ser escrita de
forma covariante como:
K =q F :
Assim, na RR, todo o eletromagnetismo se resume nas expresses:
A
F
c
@ A
;A
@ A
J = (c ; J) (conservao da carga)
@ F
K =q
0J
(EM no homognea)
:(fora de Lorentz)
Exercise 76 Considere uma carga em repouso num sistema S 0 onde existe um campo eltrico E0 . Sabendo
que S 0 se move com velocidade v = v^
x com relao ao sistema S, use a lei de transformao de foras e dos
campos para encontrar as foras que agem na carga em S.
A teoria da Relatividade restrita promoveu uma completa revoluo na noo de tempo e espao, em especial
na concepo geomtrica do nosso espao (uma vez que o tempo ante no fazia parte desta geometria). Uma
nova revoluo, talvez ainda mais revolucionria, foi introduzida pela Teoria da Relatividade Geral.
Na mecnica clssica o conceito de massa surge em duas situaes independentes. A primeira a segunda
lei de Newton
F = mi a ;
e a segunda a lei da gravitao de Newton
F=G
M mg
r^ ;
r2
152
M
r^
r2
a intensidade do campo gravitacional sentido pela massa mg no ponto r devido a presena da massa (gravitacional) M , pode ser escrita como
F = mg g
Problem 77 Uma dvida a se colocar se as quantidades mi e mg que surgem nas equaes acima so as
mesmas.
Suponha que massa inrcia e a gravitacional sejam duas caractersticas distintas de um corpo (como carga
e massa)31 . Se este corpo cair livremente sob a ao apenas de um campo gravitacional temos que a sua
acelerao ser:
mg
F = mi a ; F = mg g ) a =
g
mi
Ou seja, a razo entre a massa gravitacional e a massa inercial ser uma constante (universal) apenas se
todos os corpos carem com a mesma acelerao sob a ao da gravidade. O valor explcito desta
constante irrelevante, pois ela apenas ajusta a unidade de massa ou o valor numrico de G. Assim, para
as unidades adequadas (ou o valor adequado de G) podemos dizer que apenas se
mg = mi
m;
todos os corpos caem com a mesma acelerao sob a ao do campo gravitacional criado por um outro corpo.
Problem 78 Se voc estiver numa nave numa rbita estacionria e jogar uma bolinha de gude, a esttua
da liberdade e a lua, todos cairo com a mesma acelerao na terra?
Observe que a armao acima supe M >> m de sorte que M no sofre nenhum deslocamento durante o
experimento. A armao adequada que, visto de um ponto xo de M todos os corpos caem com a mesma
acelerao. Ou ainda, visto do centro de massa do sistema qualquer corpo lanado contra M far a mesma
trajetria.
Antes de Galileu a idia predominante (desde Aristteles) que corpos mais pesados caem mais depressa.
Outros experimentos, alm dos realizados por Galileu com planos inclinados, comprovaram a igualdade da
massa inercial e gravitacional at uma preciso de 10 12 (at 2008). Mas qualquer diferena pequena nesta
igualdade (ou na constncia da razo entre elas) possui conseqncias cruciais em fsica. De sorte que ainda
hoje experimentos so realizados para comprovar esta igualdade.
A equivalncia entre a massa inercial e gravitacional leva a seguinte questo:
3 1 Obviamente
153
Problem 79 Seria possvel para um observador numa nave (sem olhar pra fora) saber se a nave est parada
na superfcie da terra (cuja acelerao da gravidade vale g) ou se desloca no universo com acelerao constante
g?
Ou ainda seria possvel para este mesmo observador saber, fazendo apenas experimento dentro da nave, se
ele cai sob o efeito do campo gravitacional, ou se vaga livre pelo espao? Acreditando que a resposta destas
perguntas sejam ambas negativas, Einstein props o chamado Princpio da Equivalncia:
we [...] assume the complete physical equivalence of a gravitational eld and a corresponding acceleration
of the reference system. (Einstein, 1907)
Em primeiro lugar, este conceito muda (completamente) a noo de um referencial inercial. Pois, se o
observador em queda livre no for capaz de detectar nenhuma fora proveniente da sua acelerao (gravitacional) qualquer experimento mecnico ser compatvel com os resultados de um outro observador num
referencial inercial (no sentido anterior) que no esteja sob a ao de nenhum campo gravitacional. Ou seja,
as leis da mecnica valem no s para os referenciais ligados por TL, mas tambm para referenciais em
queda livre. Assim, um observador que cai livremente num campo gravitacional tambm est
num referencial inercial. Dentro destas idias qualquer fora ctcia que surja porque estamos num
referencial no inercial (acelerado) equivalente, ou pode ser produzida, por um campo gravitacional. Da
mesma forma, um observador que sinta uma fora gravitacional (e.g., voc parado na superfcie da terra)
equivalente a um referencial acelerado e, conseqentemente, no inercial.
importante observar que as armaes acima so vlidas apenas para experincias realizadas num laboratrio bem pequeno. Por exemplo, se voc esta num container cado sob o efeito do campo gravitacional
da terra o cho do container pode estar mais perto da terra que o teto. Isso signica que, se o container
grande o suciente, a fora gravitacional no teto ser maior que perto do piso e voc ser capaz de detectar
uma diferena na acelerao de corpos lanados nestas duas posies. Ou ainda se voc colocar um elstico
pendurado no teto do container voc ir v-lo se esticar. Na verdade, se o campo for forte o suciente, o
cho do container ser puxado com muito mais fora que a base e este ir se estilhaar. Este fenmeno,
que permite a deteco da inuncia do campo para um sistema em queda livre chamado efeito de mar.
Assim, quando dizemos que o laboratrio em queda livre no sente a ao do campo estamos nos limitando
a laboratrio cuja dimenso muito menor que uma variao aprecivel na intensidade do campo.
Alm do exposto acima, adotar o princpio da equivalncia nos diz que qualquer resultado obtido vericado
num referencial acelerado (no-inercial) deve ser esperado tambm num campo gravitacional. Por exemplo,
imagine um disco que gira (um carrossel) com velocidade constante ! e um observador no centro. Qualquer
pessoa fora do centro sentir uma fora equivalente a uma fora gravitacional ( assim que as estaes espaciais
simulam gravidade).
Este observador espalhou relgios idnticos pela superfcie do disco. Conforme os relgios esto num raio
maior se movem com maior velocidade e, conseqentemente, se movem mais devagar (para o observador no
centro) devido dilatao temporal. Entretanto, um relgio numa certa distncia R sofre uma acelerao
constante !R2 = g que equivalente a um campo gravitacional que produza a mesma acelerao. Uma
154
155
pode ser levada ao p da letra. Quando voc ver desenhos de um corpo curvando o espao-tempo e, por isso,
fazendo outro corpo cair sobre ele, lembre-se que uma das coordenadas daquele plano curvado o tempo,
de sorte que a imagem no equivalente a um plano espacial. fcil ver que, levanto em conta os efeitos
da contrao de Lorentz, estas caractersticas ainda se mantm para quais observadores em RR. Mais ainda,
estas caractersticas esto ligadas com a noo de ngulos e distncias do nosso espao e, como vimos, estas
ltimas esto ligadas com a mtrica M do espao. Num espao euclidiano
0
1
B
M (x; y; z) = @ 0
0
0
1
0
1
0
C
0 A
1
podemos ter
= r sin sin
= r cos
0
1 0
B
M 0 (r; ; ) = @ 0 r2
0 0
0
0
r2 sin2
C
A :
Entretanto, a forma feia da mtrica acima no signica que a geometria gerara por ela seja no-euclidiana,
pois nosso espao continua plano. Mas existe uma nica transformao (a transformao inversa) que a
mesma em qualquer ponto do nosso espao, que lema a mtrica M 0 na forma M . Desta forma, podemos
armar que:
Remark 80 Um espao plano quando existe uma transformao (a mesma para todos os pontos) que leva
a mtrica na forma cannica acima.
Lembrando agora da idia de Minkowski de descrever as TL como rotaes num espao quadridimensional
com mtrica , podemos armar que nosso espao 4D plano, independente do sistema de coordenadas que
escolhemos, se existe uma (nica) transformao (ou relao) entre as coordenadas que leve a mtrica na
forma . Uma vez que esta caracterstica respeitada pelas TL, dizemos que estas transformaes no curvam
o espao.
importante lembrar que estamos falando do espao 4D, ou seja, mesmo que tenhamos apenas uma
coordenada espacial, ainda podemos ter um espao curvo. Alm disso, a curvatura no deve ser confundida
(visualmente) com a curvatura usual do espao 3D, apesar de ambas compartilharem de vrias caractersticas
matemticas. Mesmo assim, se apenas a parte espacial da mtrica no espao de Minkowski no mais assumir
156
a forma cannica, podemos armar que a geometria de todos o espao 4D no mais euclidiana. Por isso
o exemplo acima legtimo para armar que o tratamento geomtrica da gravidade (no mesmo sentido do
tratamento geomtrico das TL) envolve uma geometria no-euclidiana.
O tratamento matemtico rigoroso para se tratar espaos cujas propriedades violem os axiomas de Euclides
foi desenvolvido muito antes da TRG, principalmente por Riemann e Lobachevsky. O objetivos destes
trabalhos tinha a aplicao extremamente prtica de realizar medidas em terrenos irregulares. Imagine
que voc vive na superfcie de um planeta que no seja plano (como o que voc vive!). Seria possvel,
fazendo medidas apenas na superfcie deste planeta, i.e., sem olh-lo do espao nem observando nada fora
da superfcie, descobrir que ele no plano. A resposta a esta pergunta armativa. Se voc possuir
rguas, compassos e transferidores com preciso innita, voc pode medir, por exemplo, os ngulos internos
dos tringulos desenhado no cho e descobrir que estes no somam 180o . Assim, imagine que voc seja uma
criatura bidimensional, que seria o mesmo que s poder realizar medidas atravs de desenhos riscados
no cho. Para voc a terceira dimenso, ou a noo de altitude no faz sentido ( apenas uma abstrao
inventada pelos tericos) ainda assim voc ser capaz de determinar se a geometria do seu espao ou no
euclidiana. Como voc no tem a noo de profundidade, obviamente a idia de curvatura no faz muito
sentido. Mas, mesmo assim, simplesmente por seu espao no ser euclidiano, voc dir que ele curvo.
Este ponto importante porque a noo geomtrica usual de curvatura no nosso espao quadridimensional
s faz sentido se imaginarmos que ele est imerso num espao plano de dimenso maior. Mas no precisamos
tentar dar um signicado fsico para este espao 5D.
6.1
Mtrica
1
B
e=@ 0
0
0
1
0
1
0
C
0 A ; eab =
1
ab
Agora, nada impede voc, que vive na superfcie bidimensional, de fazer desenhos no cho, com retas
paralelas (que no se cruzam) e perpendiculares e a cada ponto do espao onde as retas se cruzam registrar as coordenadas u1 e u2 . Assim, nosso espao E (o plano) tem um sistema de coordenadas euclidiano
157
(xi ; i = 1; 2; 3) e outro no plano (u ; = 1; 2). Obviamente, a cada ponto no plano com coordenadas (u1 ; u2 )
podemos determinar as coordenadas deste ponto no sistema euclidiano
u = u (x1 ; x2 ; x3 ) ;
= 1; 2 ;
Alm disso, se dois pontos no plano tem sua distncia innitesimal dxa (de sorte que possamos imaginar
que estes pontos so ligados por uma reta, mesmo em E) na direo a com relao ao sistema euclidiano,
esta distncia est relacionada com diferenas nas coordenadas do plano pela regra da cadeia
dxa =
@xa 1 @xa 2
@xa
du
+
du
=
du
@u1
@u2
@u
158
A quantidade
g
= eab xa xb =
ab
@xa @xb
;
@u @u
6.2
Acima vimos como toda a geometria pode ser realizada por medidas feitas apenas por um ser bidimensional.
Entretanto, alm de geometria, um conceito extremamente importante para o desenvolvimento de problemas
em fsica o conceito de vetor. Observe que esta idia no pode ser diretamente levada para o plano. Pois
a idia geomtrica de um vetor, como uma seta que aponta em alguma direo de M no far sentido em E
sempre que esta direo no for paralela ao plano E. Assim, uma seta que pode ser um vetor num ponto de E
no mais ser num outro ponto. Diferente da noo do espao euclidiano, onde um vetor pode ser deslocado
por todo o espao (e.g., na operao de soma ligamos as origens) em espaos curvos a noo de vetor est
intimamente ligada ao ponto onde ele denido. Alm disso, no queremos inventar uma nova noo de
vetores como setinhas curvas no nosso plano, pois assim teramos de redenir toda a lgebra vetorial.
Remark 81 Precisamos ento de uma noo de vetor relacionada com cada ponto de E e que guarde semelhana algbricas com a noo de setas em M .
159
Voltemos ao sistema de coordenadas do espao 3D onde introduzimos uma base de vetores ortonormais
(^
e1 ; ^
e2 ; ^
e3 ). Assim, podemos denir um ponto P de E atravs de um vetor x como (veja gura 1),
x = xa^
ea 2 E ;
xa = xa (u1 ; u2 ) ;
a = 1; 2; 3;
ou seja, dado um ponto P em E com coordenadas (u1 ; u2 ), podemos encontrar no espao 3D o vetor x com
componentes x1 ; x2 ; x3 .
Alm disso, dado um ponto P em E, podemos encontrar em M um plano tangente a este ponto. Uma
base para este plano pode ser dada por
@xa
;
xa =
@u
observe que x = x1 ; x2 ; x3
denidos)
@xa
:
@u
Vetores denidos neste plano tangente envolvem apenas a idia de direo e de magnitude em E. Ou seja,
para nossa criatura bidimensional localizada num certo ponto P , um vetor no plano tangente aponta na
direo que ele olha e tem uma certa magnitude, sem nenhuma noo de altura relacionada.
Podemos agora denir um vetor A num ponto P de E como
A = A1 x1 + A2 x2 = A x = A
xa ^
ea
(78)
e A so as componentes de A na base denida por xa (u1 ; u2 ). Dizemos que A (uma quantidade com 2
componentes) um vetor de E no espao tangente em P . Assim, apesar de perder a sua caracterstica
geomtrica, os vetores mantm as suas caractersticas algbricas. Em especial, vetores no plano tm apenas
duas componentes. Observe que, para superfcies E curvas, este espao ter uma orientao diferente em
cada ponto.
6.2.1
Lei de transformao
importante observar que o sistema de coordenadas global est sujeito a certas transformaes. Contudo,
estas transformaes no so arbitrrias. Alm de inversveis, a transformao u ! u deve fornecer,
@2u
@2u
=
:
@u @u
@u @u
Ou seja, sendo M
= @ u =@u a matriz de transformao, por ser um campo matricial esta deve satisfazer
@M
@u
@M
@u
160
=0
(79)
@xa @ u
@u
^
ea =
A (xa ^
ea ) = M
@ u @u
@u
A (xa ^
ea ) ;
xa =
@xa
@u
Com a nova base para o espao tangente xa denido pela nova coordenada xa (u1 ; u2 ). A transformao
acima a conhecida lei de transformao de vetores cotravariantes.
Pelo procedimento acima, descrevemos vetores em um ponto do espao atravs de um sistema de coordenada local (xA ) denido a partir de um sistema de coordenada global (u ). Na verdade, este sistema de
coordenada local, ou frame, pode ser qualquer conjunto de vetores que, para cada ponto, forme uma base para
o espao tangente. Para espaos planos (podemos saber se um espao plano atravs de sua mtrica), como
os espaos tangentes coincidem, podemos utilizar o mesmo sistema de coordenadas para todos os pontos do
espao, mas, no caso geral, este sistema ser diferente em cada ponto.
O desenvolvimento anterior for realizado para garantir
ds2 =
a
b
ab dx dx
= g du du ;
= 1; 2 e a; b = 1; 2; 3 :
= g du du
@u
= du =
du
@u
du du = g du du
=g
=) g
= M
Qualquer quantidade que, por uma mudana de coordenadas u ! u , se transforme como as componentes
da mtrica
A = M 1
A
chamado de vetor (ou tensor) covariante.
A exigncia de que nossas transformaes sejam um difeomorsmo garante que em cada ponto do espao
161
jg
A exigncia de que a igualdade acima seja vlida para qualquer sistema de coordenadas e o fato da mtrica ser
um tensor covariante e garante que g um tensor contravariante. Alm disso, os resultados acima garantem
que, se A e B so vetores contravariantes a quantidade
A g B
um invariante e a quantidade
A =g A
um vetor covariante. Ou seja, toda a lgebra de levantamento e abaixamento de ndices, desenvolvida em
espaos planos continua vlida em espaos curvos se usarmos g como tensor mtrico.
6.3
Um dos problemas centrais na anlise de espaos curvos, est na introduo de um operador de diferenciao.
Se usarmos a idia comum de derivada, teremos que a derivada de um vetor A num ponto U vale
@ AjU =
@A
@u
A (U + " )
!0
"
= lim
U
"
A (U )
onde " a componente do vetor, ou seja, um nmero.Contudo, no sabemos realizar a operao A (U + " )
A (U ). Se voltarmos a olhar nosso plano atravs do espao de dimenso maior da seo anterior, veremos
que estes dois vetores, por estarem relacionados a pontos diferentes do espao, pertencem a planos tangentes
diferente. Se realizarmos a soma destes vetores de forma usual, o vetor resultante no pertencer, em geral,
ao plano tangente de nenhum dos dois pontos. Mais ainda, ele pode no pertencer ao plano tangente de
nenhum ponto de E e, consequentemente, no ser um vetor de E.
J na concepo usual de vetores no espao euclidiano, a adio de vetores requer o transporte do m
de um dos vetores ao inicio do outro. Se desejarmos continuar utilizando as operaes de soma de vetores
em espaos planos, devemos encontrar uma forma de transportar o vetor do ponto U para o ponto U + "u , de
sorte que a quantidade obtida seja tambm um vetor neste ponto. Feito isto, podemos realizar as operaes
no plano tangente em U + " de forma usual. Vamos imaginar que sabemos realizar esta operao que
associa (ou conecta) vetores em pontos innitamente prximos,
AT (U + ") = T ( "; U ) [A (U )] ;
162
(80a)
D A = lim
T ( " ; U ) [A (U )]
:
"
!0
(81)
Uma vez que a operao A (U + ) T ( "; U ) [A (U )] se realiza no mesmo plano tangente, podemos usar a
noo convencional de soma de vetores. Esta noo nos diz que o resultado desta soma e, conseqentemente,
da operao de diferenciao, deve ser uma vetor.
Vamos agora exigir que nossa operao de transporte seja linear, ou seja, podemos escrever as componentes
do vetor transportado como uma combinao linear do vetor original
AT (U + ) = T ( "; U ) A (U ) :
(82)
Como T (0; U ) = I (identidade), podemos esperar que, para valores pequenos de , a relao (82) possa
ser escrita como
AT (U + ") = (1
"
(U; ")) A (U ) ;
para alguma transformao . Substituindo este resultado em (81) temos
D A = lim
A (U + " )
(1
"
) A (U )
"
A (U )
"
A (U )
+
"
" !0
A (U + " )
!0
"
= lim
"
!0
(i.e., " =
A (U + " )
"
A (U )
Introduzindo um sistema de coordenada global e realizando a variao apenas em uma direo, ou seja " = " ,
teremos
A (U + " )
!0
"
@A
=
+ A:
@u
D A = lim
A (U )
A (U )
(83)
@A
+
@u
onde a posio dos ndices da quantidade apenas segue a nossa conveno de soma (poderamos, da mesma
forma escrever
). Toda a construo acima feita para que a quantidade D A se transforme como um
163
tensor uma vez covariante e uma vez contravariante. Assim, a derivada covariante calculada no sistema de
coordenadas u deve se relacional com a calculada no sistema u como:
D A = M
D A ;
@u
@u
A = M
D A ;
(84)
onde,
D M
= D A =
=
@
A +
A
@u
@
A )+
(M
@u
@M
A + M
@u
M
1
A
M
@A
+
@u
Somando e subtraindo
M
A ;
@M
@u
D A + M
D A + M
D A + M
A + M
@M
@u
@M
@u
@M
@u
@A
+
@u
A +M
A +M
A +M
usando (84)
M
D A + M
@M
@u
@M
@u
M
M
164
A +M
+M
M
0
D A
= M
@M
@u
M
M
@M
@u
(85)
Temos assim a lei de transformao das conexes . Esta lei de transformao garante, como era de se
esperar, que a derivada covariante D se transforme como um vetor covariante.
Os resultados acima podem ser diretamente estendidos para um tensor de segunda ordem
D A
@A
@u
2S(ab) ) S(ab) =
Mab
2A[ab] ) A[ab]
Mab + Mba
2
Mab Mba
=
2
Mba
Observe agora que na lei de transformao (85) a parte que faz com que a conexo no se transforme como
um tensor apenas o ltimo termo desta expresso e, alm disso, este termo simtrico nos ndices
M
@M
@u
= M
@M
@u
165
6.4
Regra de Leibniz
Se impusermos agora que nossa derivada covariante respeite a seguinte regra do produto (ou
regra de Leibniz)
D A
~ M
A )= D
= D (M
=
D M
A +M
A +M
M
D A
D A
onde D M
a derivada covariante do tensor M
. Lembrando que, at aqui, ns s sabemos derivar
tensores contravariantes, isso signica que esta quantidade (apesar de existir) no a derivada calculada
antes. Ou seja, uma quantidade que ainda no sabemos calcular. Mesmo assim, usando o fato de D ser
um vetor, temos
D (M
M
A )= D M
A + M 1
D A
;
(86)
usando a relao (84)
D M
A = M
D A
temos
D (M
)=0 ;
Ou seja, a derivada covariante da matriz de transformao nula. Suponha agora que voc efetuou uma
transformao qualquer no seu vetor
A =R
A
e exigiu que esta transformao comute com a operao de derivada covariante
D (R
A )=R
D A ;
(87)
)=0:
(88)
A ) = lim
A (U + " )
!0
166
T ( " ; U ) [R
"
A (U )]
A (U + " )
" !0
ou seja,
T ( " ; U) R
=R
T ( " ; U)
(89)
Ou seja, invertendo os passos acima, adotar (??) signica dizer que qualquer transformao (ou
quantidade) que comute com o transporte paralelo, no sentido (89), ter derivada covariante
nula.
Seguindo um caminho anlogo ao desenvolvido para estudar a derivada covariante de um vetor contravariante, podemos escrever
@A
D A =
+~ A ;
@u
onde a quantidade ~ , certamente, diferente da obtida anteriormente. Ou seja, se seguirmos o desenvolvimento anterior, obteremos uma lei de transformao diferente para esta quantidade. Alm disso, atravs
das suposies feitas at aqui, nada nos permite relacionar esta quantidade com . Entretanto, podemos
estabelecer esta relao se adotarmos (ou exigirmos) que a nossa derivada obedea a regra de
Leibniz.
Voltando a expresso para a derivada covariante de um vetor contravariante podemos escrever
D
@g A
+
@u
@g
A +g
@u
=
=
@A
+
@u
A ;
=
=
D g
A +g
@g
@u
(D A )
+
A +g
167
A +g
A =0
@A
+~
@u
multiplicando por g
temos
A =
~ A
@A
@u
6.5
Smbolo de Christoel
Se acreditarmos que a derivada covariante realmente a diferena entre dois vetores e que o resultado desta
operao um tensor, ento devemos esperar que este tensor obtido no dependa de estarmos trabalhando
com as componente covariante ou contravariantes do vetor que estamos diferenciando.
D A =g
D A ; D A =g
D A :
Mais especicamente, derivar as componentes covariante de um vetor A e, em seguida, tomarmos as componentes contravariantes do resultado, deve ser equivalente a derivarmos diretamente as componentes contravariantes deste vetor
D g A =g D A :
Ou seja, a operao de derivao covariante comuta com a operao de levantamento e abaixamento de ndices.
Como vimos na seo anterior, isso implica que esta operao comute com a noo de transporte paralelo.
De outra forma, podemos exigir que a noo de transporte paralelo introduzida (lembrando que at aqui s
sabemos desta quantidade a sua lei de transformao) preserve a caracterstica geomtrica da operao de
abaixamento de ndices. Assim, as componentes covariante e contravariantes so apenas descries diferentes
da mesma quantidade geometria que o vetor (no espao M ). Esta caracterstica, somada a exigncia da
regra de Leibniz, nos permite obter novas caractersticas da conexo.
Lembrando agora o resultado da seo anterior (88) que garante que qualquer transformao que comute
transporte paralelo tenha derivada covariante nula, a exigncia do pargrafo anterior garante que
D g
=D g
168
=0:
Um transporte paralelo (ou uma conexo) que respeita esta igualdade chama de compatvel com a mtrica.
Apesar de bastante intuitiva existem trabalhos em gravitao que usam conexes que no so compatveis com
a mtrica. Entretanto, grande parte das teorias, incluindo a de Einstein, utiliza apenas conexes compatveis
com a mtrica.
Para uma conexo compatvel com a mtrica
D g
=0)
@g
@u
@g
@u
=g
+g
temos
=0
(90)
@g
@u
@g
@u
= g
+g
= g
+g
@g
@u
@g
@u
=g
+g
)+g
(91)
Lembre agora que qualquer quantidade (tensor ou no) com dois (ou mais) ndices, pode ser decomposto
numa parte simtrica e outra ant-simtrica nestes ndices, por exemplo,
Mab = S(ab) + A[ab]
onde
Mab + Mba
2
Mab Mba
=
2
Mab + Mba
2S(ab) ) S(ab) =
Mab
2A[ab] ) A[ab]
Mba
@g
@u
@g
@u
=g
2
]
+g
+g
169
+g
com isso
g
Ou multiplicando por g
@g
@u
@g
@u
=0
@g
@u
,
(
@g
@u
@g
@u
@g
@u
Ou seja, para conexes compatveis com a mtrica, a parte simtrica da conexo completamente
determinada se a mtrica for conhecida. A quantidade ( ) acima conhecida como smbolo de Christo el.
A Teoria da Relatividade Geral, ou a Teoria de Einstein da Gravitao, impe que a parte anti-simtrica
da conexo seja nula, i.e., = 0. Uma teoria mais geral, chamada de Einstein-Cartan, relaxa esta condio.
A parte antisimtrica da conexo tambm chamada de toro. Alm disso, como observado anteriormente,
a parte antisimtrica da conexo se transforma como um tensor, i.e., a toro um tensor.
Observe que este tensor introduz diferenas, no apenas quantitativas, mas conceituais na teoria da
relatividade. Uma caracterstica das nossas transformaes serem difeomorsmo que isso garante que, para
todo ponto X do espao, existe uma transformao x-x que leva a mtrica na forma
g
(X) =
. Alm disso, o princpio da equivalncia garante que um observador que para um observador caindo livremente no campo gravitacional a mtrica plana. Ou seja, existe um sistema de coordenadas onde, no apenas
a mtrica tem a forma acima, mas tambm ela constante em toda vizinhana (que pode ser to pequena
quanto se queira) deste ponto. Assim, existe um sistema de coordenadas (ou um referencial) onde :
@g
@x
=0)
(X) = 0
=0
170
ento ~ [
6= 0
A geometria da relatividade
Pelas discusses anteriores temos que os efeitos dos campos gravitacionais podem ser descritos modicando a
geometria do espao de Minkowski para uma geometria no-euclidiana. Alm disso, o ferramental matemtico
necessrio para se tratar problemas deste tipo dado pela geometria de Riemann. Neste formalismo, o desenvolvimento feito atravs da determinao da mtrica e da conexo, ou, no caso da Relatividade Geral,
apenas da mtrica. Esta, por sua vez, no caso de superfcies imersas (e.g., terrenos) pode ser determinada
atravs da medida de partes da superfcie (e.g., tringulos).Entretanto, observe que para efetuar estas medidas estamos supondo que os instrumentos (rguas e transferidores) no sofrem da deformao do terreno.
Entretanto, no caso da relatividade todos os instrumentos de medida (rguas e relgios) se deformam junto
com a geometria. Assim, neste caso, a determinao da mtrica requer um pouco mais de cuidado. Mas
vamos ver como isso feito.
Continuando, os efeitos da relatividade restrita (mais especicamente os efeitos das transformaes de
Lorentz) podem ser descritas geometricamente atravs de um espao com uma mtrica
0
B
B
=B
B
@
1
0
0
0
1
0 0 0
C
1 0 0 C
C
0 1 0 C
A
0 0 1
Pela semelhana com a mtrica euclidiana vamos chamar est de a mtrica do espao plano. J os efeitos dos
campos gravitacionais (ou aceleraes) exigem que, se quisermos manter a descrio geomtrica, tenhamos de
171
lidar com uma geometria no euclidiana, ou seja, que o espao que descrever estes efeitos seja curvo. Assim,
os efeitos dos campos gravitacionais podem ser introduzidos nas caractersticas do espao-tempo se, ao invs
da mtrica plana
, usarmos a mtrica mais geral g . Lembre que, na verdade, uma pseudo-mtrica,
mas isso no introduz nenhuma diculdade neste processo. Esta modicao implica que o produto escalar
e, conseqentemente, o processo de levantamento e abaixamento de ndices seja feito usando g e no mais .
No estamos dizendo que a mtrica de um espao plano de dimenso maior, mas apenas a mtrica
do espao que queremos analisar. Ou seja, dizer que nosso espao tem mtrica signica que qualquer
desenho que faamos no nosso espao ser euclidiano. Se isso no for verdade, ento devemos usar algum
g no lugar de , mas g e descrevem espaos de mesma dimenso, i.e., o nosso espao quadridimensional.
Mas, como dissemos antes, queremos desenvolver toda a nossa teoria apenas analisando as caractersticas do
nosso espao, mesmo que a noo geomtrica de curvatura implique na existncia de um espao de dimenso
maior. Para ns este espao maior no fsico. Alm disso, vamos chamar as coordenadas do nosso espao
de x e no de u, como zemos antes. Ou seja, x so as coordenadas do nosso espao que pode ser curvo.
Sendo a mtrica um tensor, por uma mudana no sistema de coordenadas x ! x
~, esta se transforma
como:
@x
~
x!x
~ : g~ = M 1
M 1
g ; M
=
:
@x
Se invocarmos agora novamente o princpio da correspondncia temos que, mesmo na presena de um
campo existe um referencial (acelerado) que no sente a presena deste campo. Assim, se voc est num
container que cai sob a ao do campo da terra nenhum experimento dentro do seu container sofrer a
inuncia deste campo (desprezando efeitos de mar). Assim, seu espao se comportar como se valessem
as leis da relatividade restrita num referencial inercial. Ou seja, se voc marcou nas paredes do container
o sistema de coordenadas x
~1 ; x
~2 ; x
~3 e usa o seu relgio para registrar o tempo t~, neste ser sistemas de
coordenadas x
~0 ; x
~1 ; x
~2 ; x
~3 a mtrica ser
g~
B
B
=B
B
@
1
0
0
0
1
0 0 0
C
1 0 0 C
C :
0 1 0 C
A
0 0 1
Obviamente as suas coordenadas podem ser relacionadas com as coordenadas de algum parado na terra
(que sente o campo) atravs de uma transformao
x0 ; x1 ; x2 ; x3 ! x
~0 ; x
~1 ; x
~2 ; x
~3
que envolve aceleraes. Assim, os efeitos do campo gravitacional, para a pessoa que est na terra pode
172
; M
@x
~
@x
(x) = M
(92)
7.1
Equao da geodsica
Entretanto, como mencionado acima, o fato de todos os instrumentos sofrerem a deformao da geometria
torna tudo um pouco mais difcil. Se observamos um relgio que cai podemos certamente determinar a sua
posio e ler diretamente neste relgio o tempo do outro referencial. Mas gostaramos muito de no estudar
apenas a queda de relgios. Alm disso, lembrando a nossa denio de ler o relgio de outro referencial
em relatividade restrita, esta determinao depende de um conjunto de observadores espalhados por todo o
espao. Ou seja, no exemplo anterior de um corpo que cai sob a ao do campo, como conhecer o tempo
do corpo, ou melhor, o tempo de um referencial que viaja junto com corpo. Aqui a noo anteriormente
introduzida de tempo prprio bastante til. Lembrando que para aplicar esta noo precisamos apenas
medir o tempo a partir de um referencial inercial. Pelo que foi dito anteriormente, o referencial (ou corpo)
que cai livremente no campo gravitacional possui a mtrica do espao plano e, conseqentemente, um
referencial inercial. Podemos ento escolher o tempo deste referencial para registrar o tempo dos fenmenos.
Assim, sendo t~ a medida de tempo deste referencial, fazemos
= t~ :
173
Alm disso, o intervalo de tempo dt registrado por qualquer observador para quem o corpo em queda livre
se move com velocidade u se relaciona com o invariante d com
r
u2
d = dt 1
:
c2
Uma vez que, num container que cai livremente, nenhuma fora gravitacional pode ser detectada, uma
partcula solta dentre deste container obedece a equao:
d2 x
~
=0
d 2
onde
d~
x
@x
~ dx
d
=
)
d
@x d
d
@x
~ dx
@x d
d @x
~
d @x
dx
@x
~ d2 x
;
+
d
@x d 2
observando que
@x
~
df
@f dx
@2x
~ dx
d @x
~
@2x
~ dx
= f (~
x) )
=
=
)
=
;
@x
d
@x d
@x @x d
d @x
@x @x d
podemos escrever
@x
~ d2 x
@2x
~ dx dx
+
=0
@x @x d d
@x d 2
multiplicando por @x =@ x
~ temos
@x @ 2 x
~ dx dx
d2 x
+
=0
@x
~ @x @x d d
d 2
(93)
(x) =
@x
~ @x
~
@x @x
podemos calcular (onde estamos usando o fato da mtrica ser plana em tida uma vizinhana, i.e., estamos
usando o Princpio da Equivalncia)
@g
@x
@2x
~ @x
~
@x
~ @2x
~
+
@x @x @x
@x @x @x
@x @x
g
@x
~ @x
~
174
(x)
temos
@g
@x
@2x
~ @x
~
@x
~ @2x
~
+
@x @x @x
@x @x @x
@x @x
@x
~ @x
~
= g
@x @ 2 x
~ @x @ x
~
@x @x @ x
~ @2x
~
+
@x
~ @x @x @ x
~ @x
@x
~ @x
~ @x @x @x
= g
Usando
@x
~ @
@x
~ @x
@x
@
=
)
=
=
@x
@x @ x
~
@x @ x
~
@x
temos
@g
@x
@x @ 2 x
~
@x
@2x
~
+g
@x
~ @x @x
@x
~
@x @x
@x @ 2 x
~
@x @ 2 x
~
+g
@x
~ @x @x
@x
~ @x @x
= g
= g
multiplicando por g
@g
@x
@g
@x
@g
@x
= 2g
@g
@x
@g
@x
@g
@x
~
@x @ 2 x
@x
~ @x @x
=2 temos
g
2
~
@x @ 2 x
=
@x
~ @x @x
dx dx
d2 x
+
=0:
)
d d
d 2
Esta equao descreve a trajetria que um ponto (uma massa pontual) em queda livre num campo
gravitacional descreve, quando vista por um observador xo (ou no em queda livre) que usa o sistema de
coordenadas (no inercial) (x). Observe que, pela simetria de dx dx a, podemos tambm escrever
h
i dx dx
d2 x
+
=
d d
d 2
dx dx
d2 x
+
=0
d d
d 2
ou seja, podemos usar a conexo e no apenas a sua parte simtrica. Vemos ento que a parte
anti-simtrica da conexo (ou a toro) no inuencia na equao da trajetria de uma partcula livre (que
est num referencial inercial), ou na equao da geodsica.
A expresso acima bastante conhecida em geometria diferencial e descreve a trajetria que uma partcula
faz num espao curvo quando esta segue a menor distncia entre dois pontos. Esta a chamada equao
da geodsica. Ou seja, um corpo que cai livremente num campo gravitacional (ou o deslocamento de um
175
referencial inercial qualquer) se dar de forma que este corpo percorra a menor distncia (ds ou d ) no
espao-tempo. Ou seja, o campo gravitacional do sol curva o espao-tempo e a trajetria dos planetas, ou
cometas, a menor distncia possvel para se deslocar neste espao curvo. Obviamente, se nos limitarmos
apenas nas coordenadas espaciais, isso no faz sentido.
Consideremos o caso de uma partcula que se move com uma velocidade no muito grande num campo
gravitacional bem fraco e estacionrio. Sendo a velocidade da partcula pequena temos
dxi
d
dx0
d
= c
dxi
q
dt 1
dt
q
dt 1
'
u2
c2
u2
c2
dxi
= ui
dt
=q
1
c
u2
c2
'c;
dxi
dx0
>>
:
d
d
Com isso,
(
d2 x
dx dx
+
=
)
d d
d 2
dx0 dx0
+
(00)
d d
dxi dxj
'
(ij)
d d
(00)
dx0
d
dt
d
00
=0
(00)
g
2
@g
@g
+
@x0
@x0
@g00
=
@x
@g00
:
2 @x
Alm disso, como o campo fraco, podemos dizer que a mtrica no muito diferente da mtrica do espao
plano
g =
+ h ; jh j << 1 ;
assim, em primeira ordem em h temos
@h00
2 @x
(00)
c2
@h00
2 @x
176
dt
d
=0
temos
d2 xi
d 2
d2 xi
d 2
d2 x
d 2
ji
0i
@h00 dt
@h00
@h00
= c2
+
0
2 @x
d
2 @x
2 @xj
"
#
2
ji
1 @h00
@h00
dt
d2 xi
2
= c
= c2
=)
j
2
2 @x
d
d
2 @xi
i
= c2
c2
[rh00 ]
2
dt
d
dt
d
dt
d
e
d2 x0
d 2
= c2
=
dt
d
@h00
2 @x
1 @h00
2 @x0
c2
Com isso
c2
d2 x
=
[rh00 ]
d 2
2
i0
@h00
@h00
+
2 @x0
2 @xi
00
= c2
dt
d
dt
d
= 0 =) c2
dt
d
d2 t
dt
=C
= 0 =)
2
d
d
1 d2 x
1
c2
[rh00 ] C 2 =) 2 2 = c2 [rh00 ]
2
C d
2
onde
dx
d
d dx
d d
=
=
=
dx dt
dt d
d dx dt
dx d2 t
+
d dt d
dt d 2
d2 x
dt2
dt
d
temos
d2 x
dt2
d dx
d dt
dt
=
d
dt d dx
d dt dt
dt
d
C2
1
d2 x
= c2 [rh00 ] :
dt2
2
Se imaginarmos que para as condies impostas os efeitos relativsticos possam ser desprezados, podemos
usar a equao de Newton
d2 x
= r
dt2
onde
(r) =
GM
r
) g00 =
177
1+2
(r)
c
Estas expresses mostram as relaes entre as teorias de Einstein e de Newton para o caso de campos fracos.
Mais ainda, mostram como as trajetrias das partculas (e algumas consideraes fsicas) podem ser usadas
para determinar as componentes da mtrica.
Considere um observador (qualquer) com um relgio. Para este observador as coordenadas do relgio
(parado no seu pulso) obedece
d
g dx dx =
Se, visto pelo observador que usa as coordenadas x este relgio cai com velocidade
dx
=u
dt
temos
d
dt
dt =
g00
dx0 dx0
dt dt
p
g00
=c
1
p
d
c
g00
Lembrando que d o tempo (prprio) medido por um observador inercial. Esta a razo entre o tempo
quando medido por um observador inercial (que cai com o campo, ou fora do alcance dele).
Obviamente a dilatao temporal acima afetar todos os relgios colocados no campo. De sorte que este
efeito no pode ser vericado diretamente. Entretanto, para dois relgios em posies x1 e x2 do campo
temos
dt1
dt2
1
p
d
c
g00 (x1 )
1
p
d
c
g00 (x2 )
Em especial, se estes tempos se relacionam com a freqncia de ftons emitidos nos pontos 1 e 2 temos:
2
1
dt1
=
=
dt2
g00 (x2 )
g00 (x1 )
g00 =
1+2
g00 (x2 )
=
g00 (x1 )
178
1+
1+
2
c
2
c
(x2 )
(x1 )
para
<< c
r
1+
1+
1+
1+
2
c
2
c
2
(x2 )
c
1
2
c
1+
(x2 )
c
(x1 )
c
(x1 )
(x2 )
'1+
(x1 )
(x2 )
c
(x1 )
c
Fazendo
1
=(
2)
+1
temos
+1
=1+
(x2 )
c
(x1 )
)
c
+1
2
1
[ (x2 )
c
(x1 )]
onde, pelas condies impostas, estamos fazendo 2 = . Este o red shift gravitacional. Por exemplo,
usando dados reais (veja o livro do Weinberg) podemos calcular que o red shift entre ftons emitidos na
superfcie do sol, chegam a terra com um red shift de
' 2:12
10
Este efeito bem menor que as variaes produzidas pelo efeito Doppler do movimento da terra em relao
ao sol.
7.2
Voltemos um instante para a distribuio de cargas e correntes em espaos planos. Dado um conjunto de
cargas, podemos denir a densidade de carga e corrente como
J0
= c
(x; t) = c
Ji
X
n
qn
(x
xn (t))
qn
(x
xn (t))
(x; t) ui =
X
n
179
dxn
dt
(x; t) u (t) =
XZ
qn
(x
xn (t))
dt0 qn
(x
xn (t)) (t
t0 )
XZ
qn
(x
dxn
dt
dxn (t0 )
dt0
t0 ) dxn (t0 )
xn (t)) (t
XZ
d qn
(x
xn (t))
dxn ( )
d
Da mesma forma, dada um conjunto de partculas com 4-momento p , podemos denir a densidade de
partculas e a corrente de partculas como
T
= c
pn
(x
xn (t))
pn
(x
xn (t))
pn
(x
xn (t))
XZ
d pn
(x
dxin
dt
dxn
dt
xn (t))
dxn
d
E i
E dxi
;p = 2
c
c dt
E dx
dx
p
)
= c2
2
c dt
dt
E
Xp p
n n
(x
E
n
n
180
xn (t)) c2
Podemos calcular
@T i
@xi
@ X
p (t)
@xi n n
dxin @
dt @xi
pn
(x
pn
dxin @
dt @xin
pn
@
@t
xn (t))
(x
3
(x
dxin (t)
dt
xn (t))
(x
xn (t))
xn (t))
Usando
@pn 3
@ 3
(x xn (t)) + pn
(x xn (t))
@t
@t
@
dpn 3
p 3 (x xn (t))
(x xn (t))
@t n
dt
@
p 3 (x xn (t)) =
@t n
@ 3
pn
(x xn (t)) =
@t
temos
@T i
@xi
=
=
@T i
@T 0
+
i
@x
@x0
@T
@x
("
"
X dp
n
n 3
dt
n 3
dt
(x
xn (t))
X dp
n
X dp
@ T 0
@t c
X dp
n
@ X
p
@t n n
n 3
dt
(x
(x
xn (t)) = G
(x
xn (t)) = G
@T
@x
n 3
dt
#
(x
#)
xn (t))
xn (t))
=G
=G =0
esta quantidade se conserva. Alm disso, para o caso do choque entre partculas, onde a interao ocorre
apenas pelo contato das partculas, temos:
@T
@x
X dp
n
n 3
dt
181
(x
xn (t))
(x
xc (t))
X dp
dt
(x
(x
xn (t)) =
xc (t))
(x
d X
p
dt m m
(x
xc (t))
d X
p
dt m m
O ponto que a conservao do momento garante que, neste caso, tambm tenhamos
d X
@T
p =0)
dt m m
@x
=0:
Vejamos agora o que ocorre quando estas partculas possuem cargas e esto sujeitas a campos eletromagnticos. Neste caso
dx (t)
F = qn n F
dt
dpn
dx (t)
= qn n F
dt
dt
@T
@x
qn
XZ
n
= F
dxn (t)
F
dt
d qn
onde F
(x
dxn (t)
F
d
d qn
XZ
dxn (t)
d
xn (t))
4
(x
xn (t))
(x
xn (t))
. Usando
J =
XZ
d qn
(x
xn (t))
@T
@x
=F
dxn ( )
d
J 6= 0 :
Ou seja, na presena do campo eletromagntico T no mais se conserva. Isso est relacionado com o fato do
sistema de partculas no mais conservar energia e momento, pois estas quantidades podem ser alimentadas
pelo campo eletromagntico. Podemos denir uma nova quantidade conservada se levarmos em conta o
182
1
g
4
original o tensor
F F
pois
@Tem
=
@x
(94)
e, conseqentemente,
@
(T
@x
+ Tem ) = F
J =0:
1
E2 + B2
2
i0
; Tem
= "ijk Ej Bk
=
=
Xp p
n n
(x
E
n
n
Xp p
n n
(x
En
n
xn (t)) c2 + Tem
xn (t)) c2 + F
1
4
F F
(95)
=G =0:
As componentes deste tensor so as densidades de energia e de momento do sistema. Por isso ele chamado
tensor de energia e momento.
Todos os resultados acima podem ser diretamente traduzidos para a linguagem da relatividade geral.
Para tanto, basta trocar
por g e todas as derivadas @ (para manterem seu carter vetorial) por
derivadas covariantes D
T
D T
Xp p
n n
(x
E
n
n
xn (t)) c2 + g F
1
g
4
F F
= G =0:
Este procedimento, legtimo em todas as teorias sem toro (como a relatividade Geral de Einstein),
chamado de acoplamento mnimo.
183
@ A =D A
D A
ou seja, podemos denir o tensor do campo eletromagntico usando a derivada covariante ou a normal.
7.3
Equaes de Einstein
A lei da gravitao no pode ser deduzida de argumentos matemticos, mas, assim como fez Newton, deve
ser proposta e testada experimentalmente. Assim, o que vamos fazer aqui no deduzir a lei da gravitao
proposta por Einstein, mas apenas salientar caminhos e chutes que possam conduzir a esta lei.
O princpio da equivalncia garante que qualquer referncia que caia livremente no campo gravitacional
ser um referencial inercial. Mais especicamente, neste referencial a mtrica ser . Uma outra forma de
colocar esta armao dizer que: para qualquer campo gravitacional, existe um sistema de coordenadas em
que num dado ponto X do espao-tempo a mtrica plana:
g
@g
@x
(X)
=
=
Ou seja, para um observador qualquer com sistema de coordenadas x existe uma transformao M : x ! x
que leva a mtrica na forma acima num ponto X.
Observe que esta relao s vlida num ponto (ou, no mximo, numa regio prxima de) X. Se fosse
possvel encontrar um sistema de coordenadas em que isso fosse vlido para todo o espao, ento nossa
mtrica seria plana e, conseqentemente, no haveria campo gravitacional. Observe que, mesmo para um
observado que caia livremente no campo, os efeitos de mar impedem que um nico sistema de coordenadas
seja estabelecido em todo espao. E apenas regio muito pequena do espao (menor quanto mais forte o
campo) se comportar como inercial.
Para um observador neste sistema de coordenadas o campo gravitacional pode ser muito fraco nas vizinhanas do ponto X (e nulo neste ponto). Assim, para este observador, podemos usar a aproximao anterior
obtida para campos gravitacionais fracos. Podemos obter o resultado geral lembrando que este sistema de
coordenadas est ligado aos demais por difeomorsmos. Ou seja, basta usarmos a transformao inversa
M 1 e teremos o resultado para um observador arbitrrio.
Para um campo gravitacional fraco, gerado por uma densidade no relativstica (esttica) de massa
temos
g00 '
1+2
c
Onde
184
= c
p0n
(x
xn (t)) =
' c2
En
(x
xn (t))
mn
xn (t)) = c2 (x)
(x
r 2 = 4 G ) r2
8 G
T00
c3
(96)
Esta equao vlida apenas no sistema de coordenadas especco e, certamente, no a equao covariante
que procuramos, pois esta equao deve envolver tensores em ambos os lados. Da expresso acima, podemos
adivinhar que o tensor do lado esquerdo da expresso desejada T . Assim, a expresso procurada tem a
forma
T
[@i @i g] = 8 G 3
c
Onde o lado esquerdo apenas um smbolo para indicar um tensor que depende de segundas derivadas da
mtrica. Um chute imediato seria substituir as derivadas por derivadas covariantes, mas a compatibilidade
com a mtrica faria este termo se anular.
No lugar do smbolo acima, vamos chamar este tensor de
G
= [@i @i g]
= M
se transforma como
onde devemos lembrar que G depende das derivadas da mtrica e estas derivadas (@i @i ) tambm se transformaro, o que implica que teremos uma combinao linear de derivadas da mtrica com termos at segunda
ordem.
Assim, a equao procurada tem a forma
G
8 G
T
c3
185
(97)
8 G
D T
c3
=0
g
2
@g
@u
@g
@u
@g
@u
vemos que a quantidade desejada pode ser construda com produtos de ( ) e derivadas desta quantidade.
Entretanto, como ( ) no se transforma como uma tensor, devemos nos perguntar: que combinaes
destes produtos e derivadas obedecem a lei de transformao de um tensor?
Um resultado da geometria riemannianna 32 mostra que existe apenas uma combinao de ( ) e suas
derivadas que fornecem uma quantidade que depende apenas da mtrica, e suas derivadas primeiras e segundas, e linear nas segundas derivadas. Esta quantidade tem a forma:
@
@x
@x
) (
) (
=g R
Ou seja, qualquer outra combinao de ( ) e suas derivadas que tentemos adicionar a esta quantidade ou
incluir derivadas de ordem mais alta, ou termos no lineares na segunda derivada ou destruir
a lei de transformao tensorial. A prova de que a quantidade acima realmente um tensor no uma
tarefa algebricamente simples, mas exige apenas a utilizao das leis de transformao de
e que @ se
chamado
transforma como um tensor covariante (para isso, basta usar a regra da cadeia). O tensor R
de tensor de curvatura. Multiplicando ambos os lados da expresso acima por g e usando a forma explicita
do smbolo de Christoel temos:
R
1 @2g
2 @x @x
@2g
@x @x
@2g
@2g
+
@x @x
@x @x
+g
) (
) (
(98)
Da forma acima possvel vericar que este tensor simtrico por uma troca do primeiro e terceiro e do
segundo e quarto ndice
R
=R
Isso garante que o tensor formado pela contrao primeiro com o segundo ndice seja simtrico nos ndices
restantes:
g R
R =R
Este tensor chamado tensor de Ricci.
3 2 O tensor de curvatura o nico tensor que pode ser construdo da mtrica e suas derivadas de primeira e segunda ordem e
linear nas derivadas de segunda ordem (veja Weinberg).
186
=R
que mostra que qualquer outra contrao que tentamos fazer com este tensor nula ou igual ao tensor de
Ricci.
Com isso, uma boa tentativa para a nossa equao da gravitao seria:
R
= KT
6= 0 ;
a equao acima no respeita a lei de conservao de energia e momento, para uma congurao arbitrria
do campo. Ou seja, precisamos de mais um tensor simtrico formado com a mtrica e suas derivadas at
segunda ordem.
Dos resultados acima tempo ainda a possibilidade de contrair os dois ndices (simtricos) do tensor de
Ricci e formar um tensor de ordem zero, ou um escalar,
g
este o chamado escalar de curvatura. Assim, dado o escalar de curvatura (que, como o tensor de Ricci,
depende apenas da mtrica e suas derivadas at segunda ordem) podemos tambm formar o tensor
g R;
que, obviamente, simtrico e no envolve derivadas de ordem mais alta.
Resumindo, existem apenas dois tensores simtricos que podem ser construdos respeitando as condies
acima:
R ; g R
Assim, o tensor G
= c1 R
+ c2 g R
= D (c1 R
187
+ c2 g
R) = 0 :
(99)
Para isso precisamos derivar o tensor de Ricci. Para calcular a derivada covariante precisamos usar
explicitamente o fato que estamos escolhendo um transporte paralelo sem toro
=
Mostre que:
D R
@2g
@x @x
1 @
2 @x
@2g
@x @x
@2g
@2g
+
@x @x
@x @x
E, permutando os ndices
D R
+D R
+D R
=0
D R
+g
D R
=0
multiplicando por g
D R
2g
D R
D R
2g
D R
D [g
2g
2g R ] = 0
1
g R
= 0
2
1
g R
= 0
2
=R
1
2
1
g R
2
1
g R=
2
188
8 G
T
c3
(100)
1
4R
2
8 G
T ; T =T
c3
8 G
T
c3
8 G 1
g T
c3 2
que nada mais que a mesma forma de escrever a equao anterior. Da expresso acima, estamos interessados
no termo
8 G 1
g00 T T00
R00 = 3
c
2
Lembrando agora que na nossa aproximao de campo fraco temos
g00 =
00
+ h00 =
E que, para campos fracos, ou um referencial que se move com o corpo no campo o nico termo signicativo
T00 (pois a energia de repouso muito maior que a cintica), podemos fazer
T =g T
T 00 =
T00
com isso
R00
R00
'
8 G 1
g00 T
c3 2
18 G
T00
2 c3
8 G 1
( 1) ( T00 )
c3 2
T00 '
T00
0 0
000
=R
0 0
= 0, temos
R00 = Ri
0i0
Usando
Ri
0j0
= @0
i
j0
@j
i
00
i
0
j0
i
j
00
podemos ver que, para o nosso sistema com campos fracos todos os termos da conexo so pequenos. Assim,
mantendo apenas termos de primeira ordem na conexo, podemos abandonar os ltimos dois termos da
189
0j0
'
@j
i
00
) Ri
0i0
'
@i
i
00
@i
i
j0
= 0,
1 i
g (@0 g
2
+ @0 g0
@ g00 )
0i0
= R00 ' @i
1 ij
g (@j g00 )
2
1
2
ij
(@j g00 ) = @i
1
2
ij
(@j g00 ) =
1 2
r g00
2
8 G1
T00 ) r2 g00 '
c3 2
8 G
T00
c3
A
A.1
Um campo vetorial num plano uma funo que a cada ponto deste plano associa um vetor. Tal campo pode
ser usado, por exemplo, para descrever o comportamento de um uido, um campo eletromagntico etc. Em
190
y) i + (x + 5y) j
A.2
Fluxo
Um conceito importante no estudo da dinmica de um uido o conceito de uxo atravs de uma rea.
Imagine um pequeno quadrado inserido dentro de um uido. Obviamente o uxo atravs deste quadrado
depende da orientao do quadrado. Se ele for colocado com a sua normal paralelo a velocidade o uxo, i.e.,
a quantidade de udo por unidade de tempo que atravessa este quadrado vale
=
1
(v:dt:a) = v:a
dt
enquanto se ele for colocado perpendicular a velocidade do uido no haver uxo. Este resultado pode ser
resumido como
= F:a: cos = F:a
Obsreve que o uxo atravs de uma rea um escalar.
Imagine agora que voc deseja calcular o uxo atravs de uma superfcie fechada (um balo). Para fazer
191
isso podemos primeiro dividir esta superfcie em vrios quadradinhos e usar o conceito acima para calcular o
uxo atravs de cada um destes quadrados. Como queremos saber se h uido entrando ou saindo do balo,
damos um valor positivo para a normal de cada rea que aponta para fora do balo e negativo para a que
aponta pra dentro. Chamamos isso de orientar as reas.
F: ai
F:da
No limite de ai ! 0, temos
esta uma integral de superfcie de um campo vetorial F . Ou seja, a integral de superfcie de F sobre uma
superfcie S signica apenas dividir S em pequenas partes, cada uma representada por um vetor orientado
para fora de S e tomar o produto escalar desta rea com o valor de F no local.
A.3
Divergente
Nosso objetivo aqui estudar caractersticas locais, ou pontuais, do nosso uido. Em outras palavras,
queremos denir quantidades como as densidades dos corpos extensos (densidade de carga, de massa etc).
Para uma superfcie qualquer nita do nosso campo temos um uxo, nosso objetivo aqui obter um densidade
de uxo, ou seja, um uxo por unidade de volume. A partir desta quantidade, como no caso da densidade
de massa, podemos tanto obter o uxo de superfcies nitas, quanto conhecer caractersticas locais do uido.
Isso nos permitir tambm caracterizar o movimento do udo.
Imagine uma superfcie qualquer S e o uxo (Figura 3-a)
=
F:da
Agora divida esta superfcie em duas partes: S1 e S2 (Figura 3-b) teremos ento dois uxos
i
Si
192
F:da
Figure 15: Figura 3 - Figura retirada do Curso de Fsica Berkeley Vol.2 Eletromagnetismo
O ponto importante aqui que o uxo pela interface entre as superfcies tem o mesmo valor e sinal contrrio
(pois orientado para fora de cada uma delas) de sorte que
=
E isso verdade para qualquer diviso que faamos da superfcie. Vamos agora dividir esta superfcie em
N superfcie bem pequenas Si (Figura 3-c), pelo motivo descrito acima temos
N Z
X
i=1
F:da =
F:da =
Si
Ou seja, a soma do uxo por cada superfcie do balo igual ao uxo total pelo balo (Figura 3-d).
Nosso interesse identicar alguma caracterstica do uido relacionado com o limite quando N cresce
enormemente. Observe que a integral
Z
i
F:da
Si
no pode ser tomada como esta caracterstica porque ela depende das divises do volume, i.e., se dividirmos
o volume no meio i tambm cai pela metade e, alm disso, certamente i ! 0 quando Si ! 0. Podemos
193
Si
F:da
Vi
onde Vi o volume dentro da rea Si . Uma vez que Vi ! 0 quando Si ! 0 a quantidade acima pode tender
a um valor nito que, conseqentemente, caracterizar o comportamento do uido em torno de um ponto
qualquer. A quantidade acima, no limite de Vi ! 0 se chama o divergente do campo F
1
divF = lim
Vi !0 Vi
F:da
Si
Teorema de Gauss
Uma vez conhecido o divergente de uma funo, podemos refazer o processo descrito acima, no sentido
inverso, e calcular o uxo de F numa superfcie nita S
Z
F:da =
N Z
X
lim
Vi !0
N
X
1
Vi
i=1
F:da =
Si
i=1
No limite Vi ! 0 temos
N
X
1
Vi
i=1
F:da :Vi =
F:da Vi
Si
divF dV
Si
F:da =
divF dV
Q
E:da =
=
"
0
S
194
"0
dV
Figure 16: Figua 4 - Figura retirada do Curso de Fsica Berkeley Vol.2 Eletromagnetismo
usando o TD temos
E:da =
divE dV =
"0
dV
O resultado acima tem de ser vlido para qualquer volume. Isso s possvel se os integrandos forem iguais
em qualquer ponto
divE =
"0
A.3.2
A denio acima independe de qualquer sistema de coordenadas. Entretanto, para efetivamente efetuamos
alguma conta, precisamos ter uma forma prtica para determinar o divergente de algum campo F. Para isso
fazemos F = F (x; y; x) o que signica que introduzimos algum sistema de coordenadas no espao. Se este
sistema cartesiano o campo vetorial F pode ser decomposto em 3 funes escalares:
F (x; y; x) = Fx (x; y; x) x
^ + Fy (x; y; x) y^ + Fz (x; y; x) z^
Vamos calcular o uxo desta funo por um cubinho de ladp x; y; z (Figura 4-a)
Para a face superior e inferior (Figura 4-b) temos os vetores x y^
z e x y( ^
z). Assim, quando zemos
o produto escalar de F com estas reas, apenas a funo Fz sobreviver. Ou seja, o uxo a diferena entre
o valor mdio (no ponto mdio das superfcies) de Fz nas faces interiores e superiores. Em primeira ordem
de aproximao esta diferena vale
@Fz
z:
@z
195
@Fz x @Fz y
+
:
@x 2
@y 2
@Fz
@z
@Fz x @Fz y
+
:
@x 2
@y 2
z+
x y
z x y;
@Fy
@y
z x y
z x y
divF = lim
V !0
1
V
z x y
V
A.4
@Fy
@Fz
@Fx
+
+
@x
@y
@z
(101)
Integrais de linha
Um dos grandes interesses no estudo de problemas prticos saber qual o trabalho realizado para se mover
neste campo vetorial. Por exemplo, queremos mover uma carga eltrica por um campo eltrico, ou uma
massa num campo gravitacional, ou ainda um barco por um rio.
196
(102)
F:dr
y) i + (x + 5y) j
2
!
F:dr =
dy
dx
dt ; dy =
dt ;
x = x (t) ; y = y (t) =) dx =
dt
dt
Z 2!
dy
dx
+ (x + 5y)
W=
(3x y)
dt
dt
dt
0
dy
dx
= ! sin !t ;
= ! cos !t
dt
dt
2
Z !
W=
((3 cos !t sin !t) ( ! sin !t) + (cos !t + 5 sin !t) (! cos !t)) dt
0
Z 2!
(( 3 + 5) sin !t cos !t + 1) dt = !
(2 sin !t cos !t + 1) dt
0
!
!
Z 2!
Z 2!
1
2
2
=! 2
sin 2!t dt +
=! 2
sin !t cos !tdt +
!
2
!
0
0
!
!
Z 2!
2 =!
2
1
2
=!
sin 2!t dt +
=!
cos 2!t
+
!
2!
!
0
0
=!
=!
2
!
=2 :
Observe como o valor calculado no depende de !, a velocidade com que percorremos a curva.
197
Figure 17: Figura 5 -Figura retirada do Curso de Fsica Berkeley Vol.2 Eletromagnetismo
A.5
O divergente nos fala sobre o uxo em torno de um ponto do uido, o que, obviamente, est relacionado
com pontos onde surge ou desaparece uido, i.e., fontes ou sorvedouros. Ou ainda pontos onde o uido possa
ser comprimido. Entretanto, possvel que haja movimento num uido mesmo que nenhum destes efeitos
ocorra. Por exemplo, voc pode fazer circular um uido num balde. Isso cria rodamoinhos no udo.
Este tipo de movimento tem a caracterstica de exigir que realizemos trabalho para mover um corpo
atravs de um circuito fechado do campo (ou do udo). E pode ser medido atravs da integral
=
F:ds
N
X
i=1
Mais uma vez, estamos interessados numa quantidade caracterstica do uido, relacionado com seu compor-
198
Figure 18: Figura 6 -Figura retirada do Curso de Fsica Berkeley Vol.2 Eletromagnetismo
tamento em cada ponto. Novamente, esta quantidade no a circuitao, pois, se ai a rea encerrada pelo
caminho Ci , temos Ci ! 0 quando ai ! 0. Mas, assim como no caso do divergente, podemos esperar uma
quantidade nita fazendo
R
F:ds
i
= Ci
ai
ai
Diferente do divergente a circuitao acima depende da orientao da normal da superfcie innitesimal
Ci . Para uma circuitao innitesimal com rea ai na direo n
^ temos
(rotF ) n
^ = lim
ai !0
Ci
F:ds
ai
n
^
Ou seja, se o circuito Ci tem uma rea ai na direo x ento estamos calculando a componente do rotacional
na direo x. A quantidade acima chamada rotacional do uido e mede a circuitao, por unidade de rea,
em torno de um ponto do campo. O divergente um vetor.
Fisicamente o rotacional de um uido poderia ser medido com um dispositivo como o da gura abaixo:
199
A.5.1
Teorema de Stokes
F:ds =
N Z
X
Ci
lim
ai !0
e, neste limite
F:ds =
F:ds = (rotF ) n
^
Ci
F:ds =
Z
N
X
1
F:ds ai
ai Ci
i
[(rotF) n
^ ] da
F:ds =
(rotF) da
(103)
Este o teorema de Stokes e relaciona a integral de linha do campo atravs de um circuito fechado com a
integral de rea do rotacional.
Um ponto importante a se notas que existem vrias reas diferentes que possuem a mesma fronteira
(como quando se esta sobrando uma bola de sabo). Ento qual rea selecionamos para aplicar o Teorema de
Stokes? Note, entretanto, que o lado esquerdo de (103) no depende de qual rea escolhemos. Isso signica
que o lado direito tambm no ir depender. Ou seja, para aplicar o Teorema de Stokes podemos usar
qualquer rea que tenha a curva como borda. O que nos permite anunciar o seguinte:
Corollary 86
Do corolrio acima, temos que se zermos a borda da fronteira diminuir, de forma que C ! 0, o lado
esquerdo de (103) vai zero. Com o que temos
Corollary 87 para qualquer superfcie fechada
I
(rotF) da = 0 :
A.5.2
Lei de Ampre
B:dl =
200
0I
(104)
onde I toda a corrente que passa no interior do circuito C. Esta corrente pode ser escrita como
I=
J da
onde J a densidade de corrente e S qualquer superfcie limitada pela curva fechada C. Com isso
I
B:dl =
B:dl =
J da
(rotB) da =
J da
0J
Novamente a denio acima, apesar de geral, pouco prtica para o clculo do rotacional conhecendo-se
o campo. Vamos ento obter uma expresso que permita determinar esta quantidade uma vez conhecida as
201
Figure 21: Figura 7 - Figura retirada do Curso de Fsica Berkeley Vol.2 Eletromagnetismo
202
x
^ (F:dl =Fx ( dx)).Para os lados
Na parte esquerda
@Fy y
Fcy (xm ; ym ; zm ) = Fy (x; y; z) +
@y 2
Z
@Fy y
F:dl=
Fy (x; y; z) +
@y 2
y
enquanto na direita
@Fy
Fdy (xm ; ym ; zm ) = Fy (x; y; z) +
@y
Z
@Fy y
+
F:dl = Fy (x; y; z) +
@y 2
y
y @Fx
+
x
2
@x
@Fy x
y
@x 2
Tomando o limote
lim
a!0
@Fx
@x
@Fx
Fx (x; y; z) +
@x
@Fy
Fy (x; y; z) +
@y
@Fy
+ Fy (x; y; z) +
@y
@Fx
@Fy
x
=
@x
@y
F:dl= Fx (x; y; z) +
F:ds
=
a
lim
x; y!0
@Fy
@x
x
x
2
x @Fx
+
y
2
@y
y
y
2
y @Fy
+
x
2
@x
@Fx
@y
y
i
x y
x y
@Fy
@x
@Fx
@y
x y aponta na direo ^
z (Figura 7) esta a componente z do rotacional
(rotF) ^
z=
@Fy
@x
@Fx
^
z
@y
@Fz
@y
@Fx
(rotF) y
^=
@z
(rotF) x
^=
203
@Fy
x
^
@z
@Fz
y
^
@x
Figure 22: Figura 8 - Figura retirada do Curso de Fsica Berkeley Vol.2 Eletromagnetismo
@Fz
@y
@Fx
@Fy
x
^+
@z
@z
@Fy
@Fz
y
^+
@x
@x
@Fx
^
z
@y
(105)
A expresso acima permite calcular o vetor rotacional conhecendo-se as componentes cartesianas do campo.
A.6
O operador Nabla
Existe uma forma bastante conveniente de se expressar a equao (101) e (105). Para isso introduzimos o
operador vetorial
@
@
@
+y
^
+^
z
(106)
O=x
^
@x
@y
@z
chamado de nabla. A quantidade acima um operador diferencial, ou seja, ele s fornece um valor quando
aplicado em alguma funo. Por exemplo, quando aplicado na funo g (x; y; z) temos
Og = x
^
@g
@g
@g
+y
^
+^
z
@x
@y
@z
onde agora cada uma das componentes do vetor um nmero que depende do ponto (x; y; z), ou seja, o
operador nabla permitiu contruir um vetor (Og) a partir de uma funo escalar (g). Este vetor se chama o
gradiente da funo. O gradiente de uma funo um vetor que aponta sempre na direo em que a funo
cresce mais rapidamente com a variao dos parmetros.
O que acontece quando aplicamos o operador nabla num campo vetorial F? Neste caso, como ambos so
vetores, podemos denir a palavra aplicar como um produto escalar ou um produto vetorial.
204
O F= x
^
(Fx x
^ + Fy y
^ + Fz ^
z)
Que podemos reconhecer como o divergente do campo (101). Se escolhermos denir a aplicao pelo produto
vetorial temos
F=
x
^
y
^
^
z
@
@x
@
@y
@
@z
Fx
Fy
Fz
@Fz
@y
@Fy
@Fx
x
^+
@z
@z
@Fz
@Fy
y
^+
@x
@x
@Fx
^
z
@y
gradiente de g
OF
divergente de F
rotacional de F
x ; x2
y ; x3
@1 ;
@
@
=
@y
@x2
com o que
@
@
=
@x
@x1
@2 ;
@
@
=
@z
@x3
@3
3
X
@i Fi
@i Fi
i=1
(O
F) x
^i = @j Fk
@k Fj com 1 ! 2 ! 3
onde no ultimo caso as componentes i; j; k (nesta ordem) devem seguir a ordem cclica i = 1; j = 2; k = 3 !
205
"jik =
"ikj
com
"123 = 1
Como conseqncia esta quantidade vale zero se os ndices se repetem (e.g, "112 = 0), muda de sinal para
qualquer permutao de dois ndices e mantm o sinal para permutaes cclicas. Estas propriedades podem
ser expressas na igualdade
(i j) (j k) (k i)
"ijk =
; i; j; k = 1; 2; 3 :
2
Usando esta quantidade, podemos denir a componente i do rotacional como
(O
F) x
^i =
3
X
"ijk @j Fk
"ijk @j Fk
j;k=1
1
("imn @m @n g "imn @n @m g)
4
1
= "imn (@m @n @n @m ) g
4
(Og) =
Usando agora
@n @m = @m @n
206
temos33
1
"imn (@m @n
4
1
= "imn (@m @n
4
=0
(Og) =
@n @m ) g
@m @n ) g
"ijk "lmn =
il
im
in
jl
jm
jn
kl
km
kn
Exercise 88 Usando o mesmo procedimento acima, mostre que o divergente do rotacional sempre nulo.
Exercise 89 Mostre que
"ijk "mnk =
im jn
in jm
(O
F) = O (O F )
O2
A.7
O2 F
O O = @i @i
r F dV =
F da =
F da (T. da divergncia)
F ds (T. de Stokes)
O primeiro relaciona um volume com a sua fronteita, i.e., uma rea. O segundo relaciona uma rea com
a sua fronteira, i.e., um caminho. Cada um deles diminui de 1 a dimenso do problema. Sabendo que a
dimenso mnima que podemos chegar o ponto, ser que podemos diminuir ainda mais a dimenso do nosso
problema? Em outras palavras, existe alguma relao entre as extreminades de um camilho (uma linha) e a
sua fronteira (dois pontos)? A resposta sim.
33 O
3 4 Veja
207
dT =
= (rT ) ds
0
T = T (P )
T (P ) =
(rT ) ds
(rT ) ds =T (P 0 )
T (P )
importante notar que existem vrios caminhos que permiter ligar estes dois pontos. Entretanto, o lado
direito da expresso assima no depende do caminho. Ou seja
Se F o gradiente de alguma funo (F =rT ) ento a integral de caminho de F s depende dois pontos
iniciais e nais. Chamamos um campo com esta caracterstica de conservativo.
Como consequencia do resultado acima temos
I
(rT ) ds =0 :
(rT ) = 0
Vemos que todo campo conservativo tem rotacional nulo. possivem mostrar que o contrrio tambm
verdade.
I
Z
(rT ) ds = r (rT ) da = 0
C
(rT ) = 0
F da =
208
F ds = 0
(r
F) da =
r (r
F) dV = 0
A.8
F) = 0 :
Teorema de Green
F:dr
para um campo F arbitrrio, mas para um caminho especco, por exemplo, um retngulo:
(0; 0) ! (a; 0) ! (a; b) ! (0; b) ! (0; 0)
Z
Z
W =
F:dr =
(U (x; y)^{ + V (x; y) ^
|) : (^{dx + ^
|dy)
C
ZC
=
(U (x; y) dx + V (x; y) dy) :
C
W j(0;0) =
(a;0)
(0;0)
U (x; 0) dx
W j(a;0) =
(a;b)
(a;0)
V (a; y) dy
Da mesma forma
(0;b)
W j(a;b) =
(0;0)
W j(0;b)
U (x; y) dx =
V (x; y) dy =
U (x; b) dx
209
V (0; y) dy
(a;b)
(0;b)
(0;0)
V (0; y)] dy
(107)
Um ponto importante que cada uma das integrais acima uma integral ordinria em apenas uma
varivel. Assim, no clculo de qualquer das integrais acima a funo integrada pode ser tratada como uma
funo de uma nica varivel. Assim, podemos fazer, por exemplo:
dfx (y)
U (x; y) = fx (y) =) fx (y) =
=)
dy
0
fx (y + dy)
dfx
= lim
dy*0
dy
dy
fx (y) =
Z
fx (y) dy = fx (b)
f (y)
fx (0) =)
fx (0)
U (x; y + dy)
dy
@U
dy = U (x; b)
@y
@V
dx = V (a; y)
@x
fx (y) dy = fx (b)
dy*0
= lim
Da mesma forma
U (x; y)
@U
@y
U (x; 0)
V (0; y)
@U
dy dx +
@y
@V
@x
@V
dx dy
@x
@U
dx dy
@y
F:dr =
Z Z
@V
@x
@U
@y
dA
Suponha agora que o nosso quadrado tenha sido dividido, por exemplo, por uma linha vertical no ponto
x = h < a e calculamos o trabalho para percorrer cada um dos dois quadrados:
(h;0)
(h;b)
(0;b)
(0;0)
(a;0)
(a;b)
(h;b)
(h;0)
210
onde
(h;b)
W(h;0) =
(h;0)
W(h;b) =
V (h; y) dy
V (h; y) dy =
V (h; y) dy =
(h;b)
W(h;0)
Ento
(h;0)
(0;b)
(0;0)
(a;0)
(a;b)
(h;b)
(a;0)
W(h;0)
(0;b)
U (x; 0) dx +
U (x; 0) dx =
0
(0;b)
(a;0)
U (x; 0) dx = W(0;0)
(a;0)
(a;b)
(0;b)
(0;0)
Este o teorema de Green e permite, atravs do clculo de integrais de reas, que no envolve produtos
vetoriais, calcular uma integral de linha.
Exemplo: Vamos voltar ao nosso exemplo anterior
F = (3x
y) i + (x + 5y) j
U = (3x
y) ; V = (x + 5y)
@U
@V
= 1;
=
@x
@y
I
Z Z
F:dr =
R
@V
@x
@U
@y
dA =
Z Z
R
211
Z Z
[1 + 1] dA = 2
dA = 2 :
R
F:dr =0 ;
para qualquer curva fechada. Ou seja, F um campo conservativo. Veja que esta expresso concorda com
(??) que obtivemos porque F um campo gradiente.
Se F um campo conservativo temos
Z
Z
@f
@f
@f
@f
F = rf =
x
^+
y
^ =)
F:dr =
x
^+
y
^ : (^{dx + ^
|dy)
@x
@y
@x
@y
C
C
Z
Z
Z
@f
@f
dx +
dy =
F:dr=
df = f (B) f (A)
@x
@y
C
C
C
para A e B os limites de C. Assim
rf:dr =f (B)
f (A)
212