Professional Documents
Culture Documents
1, marco, 1998 27
Instituto F
sica, Universidade de S~
ao Paulo
genunas e indubitaveis da natureza. a perceber que o espaco e o tempo, assim como deve
Devemos aos gregos a ideia de que a geometria Eu- ocorrer com outros conceitos, s~ao construco~es de nossa
clideana e a express~ao exata da natureza. Essa crenca, mente e, por conseguinte, devem ser considerados como
que surgiu com o aparecimento do texto \Elementos" algo relativo, ilusorio e limitado. Com essa nova teoria
de Euclides, perdurou por mais de dois mil anos. So- aprendemos que um sistema de coordenadas n~ao pos-
mente nos primordios do seculo vinte os fsicos, gracas sui um signicado objetivo; as coordenadas do espaco-
a tecnicas experimentais mais sosticadas, comecaram tempo s~ao apenas elementos de uma linguagem que um
a desconar dessa concepc~ao geometrica, divina e ex- observador utiliza para descrever o seu meio ambiente.
ata, do mundo. Assim, Minkowski, combinando a Atraves do estudo das propriedades fsicas de um
eletrodin^amica de Faraday-Maxwell com o princpio dado do campo de forcas seria possvel, em princpio,
da relatividade restrita descobriu que a geometria do determinar a metrica do espaco-tempo associada ao
espaco-tempo e pseudo-Euclideana (ou de Minkowski). referido campo. Ate o presente momento, acredita-
Esta descoberta fundamental foi comunicada pelo se que uma geometria pseudo-Euclideana esteja asso-
proprio Minkowski numa famosa confer^encia pronun- ciada as interac~oes forte, fraca e eletromagnetica. A
ciada em 1908, com as seguintes palavras: \As con- armac~ao de que processos fsicos ocorrem num espaco
cepc~oes de espaco e tempo que desejo apresentar aos pseudo-Euclideano e muito mais rica do que o princpio
senhores emergiram do solo da Fsica experimental e da relatividade. Corresponde a generalizar tal princpio
nisto reside o poderio das novas ideias. Essas con- tornando possvel a utilizac~ao tanto de referenciais in-
cepc~oes s~ao radicais. Daqui para diante, o espaco por erciais como n~ao inerciais para o estudo das leis da
si mesmo e o tempo por si mesmo est~ao condenados a Fsica. Neste sentido, devemos notar que encontramos
desaparecer como simples sombras e so uma especie de frequentemente na literatura armac~oes que a R.R.
uni~ao entre ambos preservara uma realidade indepen- trata somente da descric~ao de fen^omenos em sistemas
dente". inerciais, enquanto que a descric~ao dos fen^omenos em
A relatividade restrita e tambem a relatividade geral referenciais n~ao inerciais e uma prerrogativa da R G..
(R.G.), como veremos nessas notas, mudaram radical- Estas armac~oes est~ao erradas. Segue de modo trivial
mente as nossas noc~oes sobre o espaco e o tempo. O da descoberta de Minkowski que podemos usar qual-
espaco dos eventos fsicos n~ao pode ser considerado quer sistema de refer^encia, inercial ou n~ao inercial, para
como tridimensional. Espaco e tempo aparecem ntima descrever os fen^omenos fsicos(9).
e inseparavelmente conectados constituindo um sistema
mais complexo: um continuum quadridimensional de- A R.R. que teve incio devido a con
itos en-
nominado de \espaco-tempo". Os dois n~ao podem ser tre resultados experimentais e as previs~oes da Fsica
separados: o que e espaco para um observador poder Newtoniana, construiu uma estrutura comum para a
ser uma mistura de espaco e tempo para outro. Den- Eletrodin^amica de Faraday-Maxwell e a Mec^anica de
tro desse contexto n~ao faz sentido indagarmos acerca Newton, unicou e completou a fsica classica.
do comprimento \real" de um objeto ou do intervalo de Veremos nessas notas, atraves do estudo da teoria
tempo \real" de um acontecimento. Isto seria equiva- da gravitaca~o de Einstein ou teoria da relatividade geral
lente a perguntarmos qual o comprimento real da som- (R.G.), como e a metrica do espaco-tempo na presenca
bra de uma pessoa. A sombra e uma projeca~o de pon- de um campo gravitacional. E importante salientar
tos de um espaco tridimensional sobre uma superfcie que, quando a R.G. foi formulada(1;2), em 1916, n~ao
bidimensional e tera comprimentos diferentes conforme havia nenhum con
ito serio entre as predico~es da teoria
os diferentes ^angulos de projec~ao sobre a referida su- Newtoniana da gravitac~ao e os resultados experimen-
perfcie(7) . De modo analogo o comprimento de um tais. O que levou Einstein a modicar a teoria classica
objeto ou o intervalo de tempo de um acontecimento da gravitac~ao foi o fato de uma interac~ao gravitacional
ser~ao as projec~oes de pontos do espaco-tempo quadridi- instant^anea estar em desacordo com a R.R. Notemos
mensional sobre uma superfcie tridimensional. que a R.G. n~ao e uma simples generalizaca~o da teo-
Foi com o aparecimento da R.R. que comecamos ria Newtoniana da gravitac~ao usando a R.R. (todas as
Revista Brasileira de Ensino de Fsica, vol. 20, no. 1, marco, 1998 29
tentativas neste sentido n~ao tiveram muito sucesso!). centemente, Dicke(12;10) com tecnicas muito renadas
Analisaremos, na proxima secc~ao, a equival^encia, na mostrou que ela e valida com uma precis~ao de uma
teoria Newtoniana, entre a massa inercial e a gravita- parte em 1011.
cional. Este fato e de fundamental import^ancia pois ele Ate hoje n~ao sabemos explicar porque as massas s~ao
e a pedra angular da R.G.. iguais e isto e aceito como um fato da natureza. Esta
igualdade e denominada de Princpio de Equival^encia
de Newton. Uma consequ^encia deste princpio e a
2. Massa inercial e massa gravitacional seguinte: \Um sistema que esta estacionario em um
As experi^encias legendarias de Galileo na torre de campo gravitacional uniforme com intensidade ~g e si-
Pisa mostraram que a acelerac~ao que um corpo adquire camente equivalente a um sistema que esta numa regi~ao
num campo gravitacional uniforme independe de sua livre de gravitaca~o mas que esta acelerado com acel-
massa. Disto Newton inferiu a igualdade entre a massa erac~ao
= ,~g ". Isso corresponde a dizer que real-
inercial e a gravitacional. O conceito de massa e intro- izando experi^encias nos referidos sistemas e impossvel
duzido na teoria de duas maneiras logicamente distintas distinguir entre os efeitos de uma acelerac~ao uniforme e
e estas s~ao agora postuladas como sendo iguais numeri- um campo gravitacional uniforme. Outra consequ^encia
camente. Este e um aspecto surpreendente, possuindo e a seguinte: \para um observador no interior de um
algo de magico ate hoje ainda n~ao esclarecido. sistema em queda livre num campo gravitacional uni-
O conceito de massa foi introduzido atraves da se- forme, num dado instante t , e como se o espaco fosse
gunda lei de Newton: Forca = m(I ) acelerac~ao. Esta livre de um campo de forcas".
massa m(I ) e a inercial, que e uma medida da resist^encia Antes de continuarmos nossa analise, e importante
oferecida pelo corpo a uma mudanca de velocidade. notar que o conceito de campo gravitacional uniforme
Esse mesmo corpo interage com outro gravitacional- em todo o espaco n~ao e valido: se fosse valido um corpo
mente, segundo a teoria de Newton, conforme a lei poderia ser acelerado indenidamente ate adquirir mo-
G m(g) M (g) =R2 , sendo R a dist^ancia entre eles. As mento innito. E um conceito apenas aproximado:
grandezas m(g) e M (g) s~ao as \cargas" ou massas grav- podemos admitir tal fato somente em pequenas regi~oes
itacionais dos dois corpos em interac~ao. De acordo com do espaco.
a segunda lei de Newton a acelerac~ao
que o corpo
de massa m(g) sofre e
= (m(g) =m(I ) )G M (g)=R2 .
De acordo com Galileo, todos os corpos localizados 3. Uma estimativa da metrica do espaco-tempo
a mesma dist^ancia R de M (g) t^em a mesma acel- devido a gravitac~ao
erac~ao. Isto implicaria que m(g) =m(I ) deveria ser
uma constante universal. Sem perda de generalidade Veremos agora como estimar a metrica do espaco-
poderamos assumir que m(g) fosse id^entica a m(I ) . tempo, levando em conta a equival^encia entre m(I ) e
Notemos que este resultado foi deduzido apelando para m(g) , devido a presenca de um campo gravitacional.
a experi^encia. Desde Newton, experi^encias t^em sido Com este intuito, consideremos um campo gravitacional
feitas com o intuito de vericar ate que ponto as duas esfericamente simetrico gerado, por exemplo, por uma
massas s~ao exatamente iguais. Uma consequ^encia ime- estrela de massa M , suposta em repouso(11) num sis-
diata dessa igualdade e que o perodo de um p^endulo tema S . Seja S0 um sistema (uma caixa) que cai em
simples n~ao depende nem da massa nem da constituic~ao queda livre radialmente em direc~ao ao centro da estrela.
da bolinha. Bessel concluiu, apos uma longa serie de As coordenadas no sistema S0 ser~ao indicadas por x0
medidas, que a independ^encia do perodo com a massa (longitudinal, isto e , na direc~ao do movimento), y0 , z0
e a constituic~ao da bolinha podia ser estabelecida com (transversal) e t0 . Como num determinado instante de
uma precis~ao de uma parte em 105 . Eotvos, usando tempo t0 no interior do sistema S0 , que cai em queda
tecnicas mais sosticadas e estudando desvios de um livre, o espaco-tempo pode ser considerado como o de
o de prumo, mostrou que a igualdade das massas era Minkowski, o elemento de linha ds2 e dado por, ds2 =
valida dentro de uma precis~ao de um por 109. Re- c2dt20 , (dx20 + dy02 + dz02) . Supondo que a caixa chega,
30 M. Cattani
separados por uma distancia h = rA , rB , a raz~ao en- Qualquer conjunto de N elementos U que se
tre os intervalos de tempo nesses dois pontos sera dado transforma, de um sistema S para outro S 0 , como
Revista Brasileira de Ensino de Fsica, vol. 20, no. 1, marco, 1998 31
um espaco plano. S~ao os casos considerados nos ex- seja, DU U + U DU = dU U + U dU que esta
emplos anteriores. Quando um espaco n~ao pode nunca satisfeita se assumirmos que DU = dU + , U dx
ser descrito por coordenadas retilneas, ele e um espaco e DU = dU , , U dx , onde , s~ao coe-
curvo ou Riemanniano. Como exemplo, temos a su- cientes chamados de smbolos de Christoel . Partindo
perfcie esferica onde r = a e as variaveis s~ao x1 = # desta denic~ao de diferenciaca~o absoluta, vemos facil-
e x2 = ' . Da, tiramos ds2 = a2 d#2 +a2 sen2#d'2 , ou mente que a diferenciac~ao de um tensor covariante
seja, g11 = a2 ; g22 = a2 sen2# e g12 = g21 = 0 . O ele- A B e dada por D(A B ) = DA B + A DB =
mento de arco ds n~ao pode nunca ser escrito em termos d(A B ) , ,A B dx , ,A B dx . De onde
de coordenadas retilneas. Isto ocorre, essencialmente, podemos concluir que para o tensor covariante g
porque n~ao podemos desenhar linhas retas sobre a es- temos Dg = dg , (g , + g ,) dx . Per-
fera. O mesmo ocorre nas superfcies de paraboloides, mutando ciclicamente os ndices ; e e somando
hiperboloides, toros, etc., que s~ao exemplos de espacos as tr^es equac~oes resultantes, obtemos, lembrando que
curvos. A geometria dos espacos curvos e conhecida g g = ,
como Geometria Riemanniana. ,
Com o intuito de formularmos, mais adiante, o , = g =2 (@ g + @ g , @ g ) : (4:1:1)
princpio da covari^ancia, e de fundamental import^ancia
Sendo , dada pela Eq. (4.1.1), vemos que , =
observarmos que a transformac~ao de qualquer tensor
, e que ,; = ,; , onde ,; e denida por
de S para S 0 e linear. E o caso, por exemplo, de T
@x @x T . Assim, ,; = g, .
que se transforma em T 0 = @x 0 @x0 Como DU e DU podem ser escritas
se as componentes de um tensor s~ao nulas em um sis- como DU = (@ U + , U ) dx e DU =
tema elas ser~ao nulas em qualquer outro sistema. Desse ,
@ U , , U dx , podemos vericar que a derivada
modo, se em S temos uma equac~ao U = V , nos covariante , denida por U; D U = @ U +, U
podemos escrever G = U , V que em S 0 e dada e U; D U = @ U , , U , gera um novo ten-
por G0 = U 0 , V 0 = @x @x @x (U , V ) . De sor e e considerada como a generalizac~ao da derivada
0 @x0
onde conclumos, como uma consequ^encia imediata do parcial ordinaria.
carater tensorial, que U 0 = V 0 . Como D U , D U = @ U , @ U , constata-
mos que o operador rotacional ordinario e ainda um
tensor em coordenadas curvilneas, n~ao precisando ser
4.1. Analise tensorial generalizado. Por outro lado, a generalizac~ao do oper-
Atraves da diferenciaca~o ordinaria de um vetor co- ador divergente e feita da seguinte maneira: D U =
variante U , por exemplo, obtemos dU = d (g U ) = U; = @ U + , U , que e um escalar. O Lapla-
dg U + g d U mostrando que em coordenadas ciano generalizado de um escalar f e denido por:
curvilneas e, portanto, tambem em espacos curvos, D D f = f;; = @ (g @ f) + , g @ f . O di-
a diferenciaca~o ordinaria destroi o carater vetorial de vergente e o Laplaciano podem ser escritos, de modo
dU , pois, em geral, dg 6= 0 . O mesmo ocorre com mais compacto, com o auxlio da diferenciac~ao do de-
um vetor contravariante ou com qualquer outro tensor terminante g; @g = M @ g = gg @ g , o
de ordem superior. A m de manter o carater tensorial que nos permite escrever , = (g =2)@ g =
com a operaca~o de diferenciaca~o, precisamos generalizar (1=2g)@ g = @ logpg . Assim, U; e f;; s~ao da-
o conceito de diferenciac~ao. Com este intuito, e in- dos, respectivamente, por U; = (1=pg)@ (pg U ) e
troduzida a diferenciac~ao absoluta que e indicada pelo f;; = (1=pg)@ (pg g @ )f .
smbolo D. Ela e denida por, DU = D (g U ) = A generalizac~ao do invariante quadri-volume d
e
g DU . Assim, numa diferenciaca~o absoluta, temos dada por d
Z ! pg d
e o teorema I de Gauss ca es-
Dg = Dg = 0 . p
crito como, U; g d
= U gdS , onde dSp
Considerando agora o produto escalar U U que e e o elemento de area da hipersuperfcie que envolve o
um invariante devemos ter D(U U ) = d(U U ) , ou hipervolume.
Revista Brasileira de Ensino de Fsica, vol. 20, no. 1, marco, 1998 33
Em um espaco plano, a derivada segunda @ @ U vatura e nulo e esse carater n~ao pode ser mudado por
e igual a @ @ U . Num espaco curvo, D D U n~ao nenhuma transformac~ao de coordenadas. Um espaco
e, em geral, igual a D D U . Subtraindo estas duas Riemanniano que n~ao e plano e chamado de curvo. A
derivadas, temos a seguinte igualdade: D D U , \curvatura" de um espaco e uma propriedade intrnseca
D D U = R U , onde o tensor R , dado por dele e n~ao depende de um particular sistema de coor-
R = @ , ,@ , +, , ,, , , e conhecido denadas no qual a metrica possa ser expressa. A m
como tensor de curvatura ou de Riemann-Christoel . de n~ao queimar os neur^onios, n~ao devemos car imag-
Ele da uma indicac~ao da curvatura do espaco pois de- inando como e um espaco curvo. Um espaco curvo,
pende somente dos ,
e de suas derivadas. De fato, para o proposito dessas notas, e simplesmente aquele
se o espaco for plano, os componentes de g , sendo no qual o tensor R n~ao se anula em, pelo menos,
escritos em coordenadas retilneas, s~ao constantes, anu- um ponto do espaco em quest~ao. Pode-se mostrar que,
lando os ,
. Consequentemente, R = 0 em qual- num espaco curvo, e sempre possvel, nas vizinhancas
quer sistema de coordenadas. de um ponto P, encontrar um sistema de coordenadas
Atraves de uma contrac~ao em R , obtemos o ten- no qual o espaco seja localmente plano.
sor de Ricci : R = R = R = @ , , @ , + Para terminar essa secc~ao, vamos denir o seguinte
, , , , , . Por meio de uma outra contrac~ao, tensor, G = R , g R=2 , conhecido como tensor
resulta o escalar R = g R , conhecido como cur- de Einstein , que possui as seguintes propriedades:
vatura escalar ou invariante de curvatura . O nome cur- a) Tem um carater puramente geometrico pois depende
vatura provem do fato dele medir uma propriedade do somente de g de suas derivadas.
espaco que e analoga a curvatura de uma superfcie bidi- b) E um tensor simetrico de segunda ordem, G =
mensional. Isto e simples de vericar, analisando o caso G.
de uma superfcie esferica de raio a, na qual a metrica c) A sua derivada covariante e nula, D G = 0 .
e dada por g11 = a2 ; g22 = a2 sen2 #; g12 = g21 = 0 , Estas propriedades, como veremos na secc~ao 6, s~ao fun-
de onde vemos que g11 = a,2; g22 = (a sen#),2 damentais para a formulac~ao das equaco~es de campo da
e g = a4 sen2# . Assim usando a Eq. (4.1.1), ver- gravitac~ao.
icamos que os unicos ,
que n~ao se anulam s~ao
,122 = ,sen(2#)=2 e ,221 = ,212 = cotg# . Desse modo 4.2. Geodesica
temos os tensores de Ricci, R11 = ,1 e R22 = ,sen2 #
que geram a curvatura R = g11R11 +g22 R22 = ,2=a2 . Consideremos, num espaco Riemanniano, dois pon-
Ou seja, R e proporcional a curvatura Gaussiana de tos P1 e P2 pertencentes a uma curva
. O compri-
uma esfera de raio a, que e dada por 1=a2 . A analogia mento de arco s12 entre os pontos P1 e P2 e dado por
entre o tensor de curvatura e a curvatura Gaussiana e Z 2 Z 2 p
razoavel somente no caso de superfcies bidimensionais; s12 = ds = g dx dx ;
1 1
para espacos de maior dimens~ao a relaca~o entre eles e onde a integral e feita ao longo de
. Pelos pontos
remota. P1 e P2 podemos passar uma innidade de curvas; de-
Se, em um determinado espaco Riemanniano, for nominamos de geodesica a curva que extremiza a inte-
possvel encontrar um sistema de coordenadas, co- gral s12 , ou seja, tal que s12 = 0 . A m de deduzir
brindo todos os pontos desse espaco, no qual os g as equac~oes diferenciais de uma geodesica, levemos em
s~ao constantes, os , , os tensores R R e o es- conta que (ds2 ) = (g dx dx ) = 2 ds (ds) =
calar R se anulam. Se isto ocorrer, tal espaco se de- dx dx (@ g ) x + 2 g dx (dx ) . Usando este
nomina plano . Se o espaco for plano, o tensor de cur- resultado, e facil vermos que(3)
c
Z
s12 =
2
1 dx dx (@ g ) x + g dx (dx ) ds :
1 2 ds ds ds ds
34 M. Cattani
1 2 ds ds ds ds
dx
1 dx d dx
Como os x s~ao arbitrarios, camos com a igualdade, 2 ds ds @ g , ds g ds . Desenvolvendo o
segundo termo, teremos
d g dx = g d2 x + dx d (g ) = g dv + v (@ g ) v ;
ds ds ds2 ds ds ds
pontos sobre a curva e zero. Denindo por um par^ametro escalar n~ao nulo variando sobre a geodesica, ent~ao
dx dx
para essa especie de curva, e valida a equac~ao ds = g d d = 0 . Usando o par^amentro na integral que
2
deve ser variedade, podemos mostrar(14), de modo analogo ao anterior, que, para uma geodesica nula, as seguintes
equac~oes diferenciais s~ao obedecidas:
d2 x + , dx dx = 0 (; ; = 1; 2; : : :; N) :
d2 d d
d
Vejamos como interpretar uma geodesica nula num Adota-se tambem a hipotese da covari^ancia que ex-
espaco de Minkowski onde x (x4 ;~x ) = (ct;~x ) e pressa a ideia de n~ao existir um sistema de coordenadas
ds2 = (dx4)2 , (d~x)2 . Assim, se ds = 0 , teremos preferencial, deixando o observador livre para escolher
(d~x=dt)2 = v2 = c2 . Por outro lado, integrando as qualquer sistema de coordenadas. De acordo com o que
equac~oes da geodesica, obtemos linhas retas. Desses foi analisado na secc~ao 4, essa condic~ao esta satisfeita,
resultados, vemos que, num espaco de Minkowski, uma do ponto de vista matematico, escrevendo as leis fsicas
geodesica nula pode ser interpretada sicamente como usando tensores e equac~oes tensoriais, pois assim elas
a historia do movimento de um raio de luz. Esta mesma se transformam de modo covariante ao passar de um
interpretac~ao se mantem quando um foton se movi- sistema para outro.
menta em um campo gravitacional. Uma vez estabelecido que a gravitac~ao encurva o
espaco-tempo, e que esta curva e dada atraves de g ,
n~ao precisamos, de certo modo, nos preocupar com a
5. As hipoteses basicas da teoria da gravitac~ao interac~ao gravitacional. Podemos agora supor que as
Conforme vimos antes, o espaco dos eventos fsicos partculas se movem livremente num espaco curvo onde
da R.R., denominado de espaco de Minkowski, e os fen^omenos fsicos devidos a gravidade podem ser me-
um espaco Riemanniano quadridimensional plano com didos com regua e relogio.
uma metrica pseudo-Euclideana. Entretanto, como Nos domnios de validade da R.R., admitirmos que
mostramos na secc~ao 1, a geometria de Minkowski a trajetoria de uma partcula e uma geodesica im-
e alterada devido a presenca de um campo gravita- plica que ela seja livre. De fato, como neste caso e
cional. Einstein usou este fato como ponto de partida sempre possvel encontrar um sistema de coordenadas
para generalizar a teoria Newtoniana da gravitac~ao. Cartesianas no qual os coecientes , se anulem, da
Ele assumiu que o espaco-tempo, devido a interac~ao 2
gravitacional, fosse um espaco curvo quadridimen- Eq. (4.2.1) conclui-se que ddsx2 = dvds = 0 . Ou seja,
sional Riemanniano . Assim, um elemento se linha nesse sistema a acelerac~ao dvds e nula e, consequente-
desse espaco seria dado genericamente por ds2 = mente, a velocidade v = constante. Obviamente, num
g (x)dxdx (; = 1; 2; 3; 4) . Ha, porem, uma sistema de coordenadas curvilneas os , n~ao se an-
condic~ao subsidiaria a ser obedecida: se em um de- ulam e a partcula, apesar de n~ao estar sob a ac~ao de
terminado ponto desse espaco estabelecermos um sis- nenhuma interac~ao, possui acelerac~oes inerciais. Em
tema localmente plano, o elemento ds2 deve ser escrito, R.G., numa generalizac~ao obvia da R.R., postula-se
neste ponto, na forma ds2 = (dx4)2 , (d~x )2 . Em out- que uma partcula livre descreve uma geodesica. Como
ras palavras, o espaco-tempo devido a gravitac~ao deve Dv =Ds = Dv = 0 , temos, como consequ^encia, a
ser localmente redutvel ao de Minlowski. Este tipo de const^ancia absoluta da velocidade v . A hipotese de
espaco e denominado de quasi-Riemanniano. que partculas livres descrevem geodesicas e denomi-
36 M. Cattani
nada de princpio geodesico e corresponde a uma ex- a materia como sendo um
uido ideal. Na. R.R., o ten-
tens~ao do prncipio de inercia de Galileo. Assim, unif- sor energia-momento T para um
uido ideal e dado
icando inercia e gravitac~ao, eliminamos o conceito de por T = ( + p=c2 )v v , g p=c2 , onde e a den-
forca externa transformando a teoria da gravitac~ao em sidade escalar, p a press~ao escalar e o quadrivetor ve-
geometria pura. locidade v obedece a condic~ao g v v = v v = 1 .
Para terminar essa secc~ao, vale a pena notar que A equac~ao T; = @T =@x = 0 , que esta satisfeita
apesar de muitos anos de trabalho com a teoria da rel- para o tensor T , expressa as leis de conservaca~o de
atividade, cujo formalismomatematicoe muito bonito e energia e momento para o
udo. Na R.G., o ten-
elegante, sentimos grande diculdade com os conceitos sor T possui a mesma forma, porem, como os co-
relativsticos, tanto no nvel da intuic~ao como na lin- ecientes g da metrica n~ao s~ao mais constantes, ao
guagem usual. A familiarizac~ao com o formalismo, que inves de termos T; = 0 , a condic~ao que ele obedece
nos fez aprecia-lo, n~ao ajudou muito a nossa intuica~o. e D T = T; = 0 , que n~ao exprime nenhuma lei
N~ao possumos experi^encia sensorial direta do espaco- de conservac~ao(3;9). Nessas notas o tensor energia-
tempo quadridimensional ou de quaisquer outros con- momento T e encarado como o ente que engloba to-
ceitos usados pela teoria(1;2). das as propriedades fsicas da distribuic~ao de materia.
De alguma maneira as propriedades geometricas do
espaco-tempo devem ser deduzidas a partir das pro-
6. Gravitac~ao e materia priedades fsicas, dadas por T . Poderamos tentar
escrever a seguinte equaca~o tensorial: G = k T ,
Vimos na sec~ao 5 como uma parte das leis da onde o tensor G deve depender somente das pro-
gravitac~ao pode ser formulada postulando que o espaco- priedades geometricas do espaco quasi-Riemanniano e
tempo e uma variedade Riemanniana e que todas as k e uma constante a determinar. Alem disso, o tensor
aceleraco~es devidas a forcas gravitacionais e inerciais G deve obedecer as seguintes propriedades:
tem uma origem metrica. Agora vamos relacionar o (a) Ele deve ser simetrico em , pois T e simetrico.
campo gravitacional com a matetia que o gera. Quere- (b) D G = 0 , pois D T = 0 .
mos, novamente, chamar a atenca~o para o fato de que Ora, como vimos na secc~ao (4.1), so existe um ten-
os argumentos que usaremos para obter essas equaco~es, sor de segunda ordem que obedece a essas propriedades
como tambem os utilizados na secc~ao anterior, n~ao po- e que e linear nas derivadas de segunda ordem de
dem ser considerados rigorosos. Eles parecem ser os g . Esse tensor e o de Einstein, denido por G =
mais simples, e de certo modo os mais razoaveis, que R , Rg =2 . Deste modo, as equac~oes do campo de
sabemos formular. gravitac~ao seriam dadas por (Equac~oes de Einstein):
Indicando por o potencial escalar da teoria New-
toniana da gravitac~ao podemos dizer que: R , Rg =2 = kT :
(1) N~ao ha campo gravitacional presente quando = Resta agora determinar a constante k . Com o intu-
0. ito de determina-la, impomos que no limite de c ! 1
(2) Numa regi~ao em que ha materia presente, como a teoria de Einstein se reduza a de Newton. Precisamos
densidade , vale a equaca~o r2 = ,4G . mostrar que no limite de c ! 1 as equac~oes de Ein-
Vejamos como generalizar essas leis Newtonianas. stein, com uma escolha apropriada de k , se reduzem a
Ora, conforme discutimos antes, na aus^encia de equac~ao de Poisson r2 = ,4G . Ora, e facil ver-
gravitac~ao a curvatura do espaco-tempo deve se anular. mos quando c ! 1 a unica componente n~ao nula do
Pode-se mostrar, usando a geometria diferencial, que a T e T 44 ' c2 e que T = T ' c2 . Nestas mesmas
condic~ao necessaria e suciente para que isso ocorra e condic~oes, as componentes do tensor metrico, conforme
que o tensor de Riemann-Christoel se anule, R = Eq. (3.1), s~ao dados por g44 = 1 + 2=c2 ; g11 = ,1 ,
0 . Esta seria, ent~ao, a generalizac~ao da condica~o (1), de 2=c2 e g22 = g33 = ,1 . Calculando R em termos
= 0 . A m de obtermos a correspondente a condic~ao dos g , usando o que foi visto na secc~ao (4.1), obtemos
(2), vamos considerar, apenas para simplicar a analise, R44 = ,(1=4c2)r2 . Por outro lado, levando em conta
Revista Brasileira de Ensino de Fsica, vol. 20, no. 1, marco, 1998 37
que a equac~ao de Einstein pode ser escrita na forma por Lorentz e Hilbert, antes do proprio Einstein, con-
R = k(T , g T=2) , chegamos a seguinte igual-
forme ele mesmo cita em seu famoso artigo de 1916
dade, (1=4c2)r2 = k c2 , (1 + 2=c2)c2 =2 = (vide refer^encia 12, pag. 167).
kc2 =2 , k ' kc2 =2 , de onde deduzimos que a con- Para nalizar, vale a pena observar que, dentro do
stante k deve ser k = ,8G=c4 . esquema da R.G., sempre que existir materia, exis-
Com a determinac~ao da constante k completamos tira um campo gravitacional que se manifestara atraves
a \derivac~ao" da equac~ao de Einstein que e, ent~ao dada da curvatura do espaco circunvizinho aquela materia.
por N~ao devemos pensar, contudo, que o campo preenche
R , g R=2 = ,(8G=c2)T : (1) o espaco e o \curva", pois n~ao podemos diferenciar os
Esta equac~ao constitui, de fato, um sistema de equaco~es dois conceitos: o campo e o espaco curvo . O campo
de derivadas parciais de segunda ordem. S~ao dez gravitacional e a estrutura (a geometria) do espaco-
equac~oes de campo pois os tensores g e T s~ao tempo s~ao id^enticos, e s~ao representados na Eq. (6.1)
simetricos. Entretanto, como as coordenadas x po- por uma unica grandeza matematica. Na teoria de Ein-
dem ser submetidas a uma transformac~ao arbitraria, e stein, a materia n~ao pode ser separada de seu campo
possvel escolher arbitrariamente quatro das dez com- gravitacional e este n~ao pode ser separado do espaco
ponentes de g . Como as quatro componentes de curvo. Materia e espaco devem, pois, ser encarados
v , que comparecem em T , s~ao ligadas pela relac~ao como partes inseparaveis e interdependentes de um
g v v = v v = 1 , somente tr^es delas s~ao indepen- unico todo(4) .
dentes. Desse modo, as dez equac~oes do campo gravita-
cional s~ao efetivamente constitudas por dez grandezas References
desconhecidas: seis componentes de g , tr^es compo-
nentes de v e a densidade de materia (ou a press~ao 1) S. Chandrasekhar, Am. J. Phys. 40, 224 (1972).
p). Lembrando que temos de conhecer de antem~ao a 2) H. Yilmaz, \Introduction to the theory of relativity
equac~ao de estado da materia, que relaciona p e , pois and the principles of the modern physics", Blaisdell
essa n~ao pode ser determinada atraves da Eq. (6.1). Publishing Company (New York, Toronto, Lon-
Como as equac~oes denidas por (6.1) n~ao s~ao lin- don, 1965).
eares, o princpio da superposic~ao n~ao e valido para os 3) L.D. Landau e E. Lifschitz, \ Teoria dos campos",
campos gravitacionais (a n~ao ser para campos fracos), Hemus, Livraria Editora Ltda. (1974).
contrariamente ao que ocorre para os campos eletro- 4) F. Capra, \O tao da fsica", Editora Cultrix (S~ao
magneticos na R.R.. Paulo, 1983).
No caso do eletromagnetismo a distribuica~o e o 5) A.A. Logunov, \Gravitation and elementary parti-
movimento das cargas podem ser arbitrarias, desde que cle physics", Mir Publishers (Moscow, 1983).
a carga total se conserve. Uma dada distribuic~ao de 6) R.H. Dicke, \The theoretical signicance of experi-
cargas determina, atraves das equac~oes de Maxwell, o mental relativity", Gordon and Breach (New York,
campo que elas criam. No caso da gravitac~ao, a dis- London, 1965).
tribuic~ao e o movimento da materia que gera o campo 7) A. Sommerfeld, \Electrodynamics", Academic
n~ao podem ser tomados arbitrariamente, muito pelo Press (New York, 1952).
contrario, eles, ao mesmo tempo que o campo cri- 8) M. Cherki, La Recherche 28, 81 (1972).
ado pela materia, s~ao determinados por intermedio da 9) J.C. Hafele, Am. J. Phys. 40, 81 (1972).
Eq. (6.1), dadas as condic~oes iniciais. 10) G.C. McVittie, \General relativity and cosmol-
Apesar de muitas crticas(5) e de varias tentativas ogy", Chapman and Hall Ltd. (London, 1965).
para desenvolver uma teoria da gravitac~ao diferente da 11) C.M. Will, Phys. Rep. 113, 345 (1984).
de Einstein e esta que, ate o presente momento, melhor 12) A. Einstein, H.A. Lorentz, H. Weyl e H.
explica os resultados experimentais(11). Minkowsky, \The principle of relativity", Dover
Do ponto de vista historico, e importante notar que Publications, Inc. (1923).
resultados semelhantes ao de Einstein foram obtidas,