1 Relatividade Geral
1.1 Conceitos Básicos
Na Física IV, pela limitação de tempo e a falta de recursos matemáticos necessários, não podemos estudar aqui a Teoria da Relatividade Geral (TRG) em detalhes. Entretanto é uma boa oportunidade para introduzirmos alguns conceitos fundamentais e suas consequências da TRG embora não seja nossa intenção fazer nenhum estudo profundo.
Uma característica importante da natureza da força gravitacional é que a aceleração produzida pela força gravitacional externa não depende da massa da partícula, como ficamos sabendo a partir da famosa experiência de Galileo na Torre de Pisa 1 . Em outras palavras, a massa gravitacional e a massa inercial são equivalentes.
Este é o chamado Princípio da Equivalência. A validade do Princípio da Equivalência leva à possibilidade de interpretarmos a origem da força gravitacional de uma forma bastante interessante, diferentemente das outras interações, tais como o eletromagnetismo. Hoje, a validade do Princípio de Equivalência é testado em altíssima precisão (Eötvös).
Devido ao Princípio da Equivalência, na equação de movimento de uma partícula num campo gravitacional externo, as massas se cancelam nos dois lados, desaparecendo completamente. Assim, a aceleração causada por um campo gravitacional sobre uma partícula não é dependente de qual era a partícula nem em termos de sua estrutura, nem de sua massa. Esta propriedade lembra, por exemplo, a força centrífuga. A aceleração devido à força centrífuga também não depende da massa da partícula, nem da sua estrutura. Então, será que a força gravitacional é um tipo de força análogo à força centrífuga? Vamos rever o que é a força centrífuga.
Considere uma partícula de massa m. Se não houver nenhuma força atuando sobre ela sua equação de movimento é dada, num sistema de coordenadas S inercial, por
d 2 r
dt 2 = 0, (1)
Vamos agora observar esta mesma partícula num outro sistema de coordenadas, digamos S 0 , o qual está em movimento não uniforme em relação ao sistema S. Para estabelecer a equação de movimento no sistema S 0 , temos que relacionar as coordenadas r 0 com r.
r = r(r 0 , t). (2)
Em termos de componentes,
dx k
dt = X
i
dx 0 i dt
∂x k
∂x 0 i + ∂x k
∂t (3)
e
d 2 x k dt 2 = X
i
d 2 x 0 i dt 2
∂x k
∂x 0 i + X
i
X
j
dx 0 i dt
dx 0 j dt
∂ 2 x k
∂x 0 j ∂x 0 i + 2 X
i
dx 0 i dt
∂ 2 x k
∂x 0 i ∂t + ∂ 2 x k
∂t 2 (4)
Desta forma, mesmo que a equação de movimento num sistema S seja a de uma partícula livre, num outro sistema de coodenadas, S 0 , esta equação não necessáriamente será de aceleração nula. Assim,
X
i
d 2 x 0 i dt 2
∂x k
∂x 0 i + X
i
X
j
dx 0 i dt
dx 0 j dt
∂ 2 x k
∂x 0 j ∂x 0 i + 2 X
i
dx 0 i dt
∂ 2 x k
∂x 0 i ∂t + ∂ 2 x k
∂t 2 = 0. (5)
Queremos colocar em evidência o termo d 2 x 0 i /dt 2 . Para isto, multiplicamos a Eq. (5) pelo inverso da matriz, M ki ≡
µ ∂x k
∂x 0 i
¶
, (6)
1
Na verdade, para provar esta propriedade da força gravitacional, Galileo não se baseou na experiência da Torre de Pisa. Dizem
até mesmo que esta experiência nunca ocorreu.
e temos
d 2 x 0 k
dt 2 + X
l
X
i
X
j
¡ M − 1 ¢
kl
dx 0 i dt
dx 0 j dt
∂ 2 x l
∂x 0 j ∂x 0 i (7)
+ 2 X
l
¡ M − 1 ¢
kl
( X
i
dx 0 i dt
∂ 2 x l
∂x 0 i ∂t + ∂ 2 x l
∂t 2 )
= 0 (8)
A Eq.(7) mostra que, mesmo que a relação (2) seja uma mera transformação de coordenadas sem ter dependência explicita em t,
r = r(r 0 ), a equação de movimento no sistema de coordenadas S 0 terá a forma,
d 2 x 0 k dt 2 + X
i
X
j
Γ ij k dx 0 i dt
dx 0 j
dt = 0, (9)
onde definimos o chamado de símbolo de Christoffel Γ como
Γ ij k ≡ X
j
¡ M − 1 ¢
kl
∂ 2 x l
∂x 0 j ∂x 0 i . (10)
Γ não seria nulo para uma transformação não linear de coordenadas. A Eq. (9) mostra que, num sistema de coordenadas curvilíneas, a trajetória de uma partícula livre se apresenta como se existisse uma força atuando sobre ela. É óbvio que esta força aparente é uma propriedade geométrica do sistema de coordenadas em uso.
Um ponto importante é que a aceleração criada por esta força aparente de natureza geométrica do sistema de coordenadas não depende de qual partícula está em movimento, ou seja, a aceleração é universal para qualquer tipo de partícula. É aí que entra a possibilidade de formularmos a força gravitacional como sendo uma propriedade geométrica do espaço-tempo.
A equação (9) continua representando o movimento da partícula livre, apesar dela ter um aspecto diferente da usual definição de uma partícula livre,
d 2 x dt 2 = 0.
Mas qual é a razão física para que um determinado sistema de coordenadas seja mais adequado para definir se a partícula é livre ou não? Por exemplo, porque razão, se existir alguma, o sistema de coordenadas Cartesiano é melhor que o sistema de coordenadas polar para dizer que o movimento de uma partícula é livre? Não deve haver nenhuma. A Natureza não quer saber que tipo de sistema de coordenadas nós usamos. Desta forma, a definição de partícula livre como aquela que tem acceleração nula não parece satisfatória. Devemos procurar uma outra definição que não dependa da escolha do sistema de coordenadas.
Existe alguma quantidade que seja preservada na mudança de um sistema de coordenadas para outro? Existe sim, e na geometria diferencial ela é conhecido como elemento de linha,
dl 2 = X
i,j
g ij dx i dx j ≡ g ij dx i dx j 2 (11) onde G = (g ij ) , chamado de tensor métrico, define a propriedade geométrica do sistema de coordenadas. Por exemplo, num sistema cartesiano,
G| Cartesiano =
1 0 0 0 1 0 0 0 1
(12)
2
Para simplificar a visualização, omitimos o símbolo de somatório sobre i e j. Foi Einstein que introduziu a convenção de que
sempre existe uma somatório sobre os índices repetidos numa expressão. Ele comentou, brincando, que esta é sua única contribuição
importante para a Matemática... .
e no sistema de coodenadas esféricas,
G| Esf´ erica =
1 0 0 0 r 2 0 0 0 r 2 sin 2 θ
(13)
onde escolhemos x 1 = r, x 2 = θ, e x 3 = φ. Para outro sistema de coordenadas qualquer, podemos calcular o tensor métrico G pela regra do produto matricial,
G| depois = Λ T G| antes Λ (14)
onde Λ é uma matriz cujo elemento é definido pela transformação de coordenadas, x antes → x depois por
¡ Λ i j ¢
=
à ∂x i depois
∂x j antes
!
(15) já que temos que ter
dl 2 = ( G| antes ) ij dx i antes dx j antes = ³ G| depos
´
ij dx i depois dx j depois (16)
Até aqui, tudo parece ser mera manipulação matemática. Mas isto muda conceitualmente se associarmos uma nova entidade matemática a G como um todo. Isto é, se consideramos que existe uma quantidade G independente da escolha do sistema de coordenadas e que cada matriz tal como G| Cartesiano , G| esf erico , G| antes e G| depois nada mais seja do que uma das representações da quantidade única G . Isto é equivalente a considerar, por exemplo, o vetor A como uma entidade abstrata que existe independentemente de sua representação definida em termos de seus componentes num sistema de coordenadas, tal como A → (A x , A y , A z ). Neste sentido, a regra (14) pode ser vista como a lei de transformação do tensor métrico. Assim, definimos um tensor como a quantidade que se transforma de acordo com (14).
No caso de um vetor, existem algumas quantidades associadas às propriedades intrínsecas deste vetor, tais como o seu tamanho. Do mesmo modo, para um tensor existem certas quantidades que representam suas pro- priedades intrínsecas. No caso do tensor métrico, podemos considerar que tal propriedade intrínseca seja jus- tamente a propriedade geométrica intrínseca do espaço. Por exemplo, a curvatura escalar. No caso do tensor métrico dado pela Eq.(12), a curvatura seria nula, pois o tensor métrica é do espaço chato. Uma vez que a curvatura é uma propriedade geométrica intrínseca, então, o seu cálculo por meio de qualquer uma das expressões
G| Cartesiano , G| esf erico , G| antes e G| depois forneceria o mesmo valor, ou seja, zero.
Naturalmente, dependendo das propriedades do espaço, o tensor métrico pode possuir curvatura não nula.
Por exemplo, o espaço bidimensional, definido numa superfície de uma esféra tridimensional tem curvatura não nula. Num espaço com curvatura não nula, a geometria Euclidiana não vale. Por exemplo, a soma dos ângulos internos de um triângulo na superfície de uma esfera não é igual a π. Desta forma, num espaço com curvatura não nula, conceitos geométricos básicos, tais como o de uma reta, devem ser alterados. Neste caso, não existem retas.
Num espaço curvo o conceito correspondente à reta é definido como geodésica, isto é, a trajetória que constitui a menor distância entre dois pontos dados.
Podemos agora formular o conceito de movimento de uma partícula livre. Num sistema de coordenadas Cartesianas, o movimento de partícula livre é dado por uma reta no espaço. Desta forma, podemos definir como trajetória, entre dois pontos no espaço, de uma partícula livre aquela que tem o menor comprimento entre todas as possíveis trajetórias. Em outras palavras, podemos formular o problema em termos do princípio variacional.
Queremos determinar uma trajetória,
x i = x i (s), (17)
onde s é um parâmetro, que minimize a distância entre dois pontos, δI ≡ δ
Z
dl = 0, (18)
ou, explicitamente,
δ Z q
g ij dx i dx j = δ Z r
g ij
dx i ds
dx j
ds ds = 0. (19)
Sendo I uma quantidade escalar, esta equação agora pode ser estendida para qualquer sistema de coordenadas.
A variação deve ser feita em relação à trajetória,
x i (s) → x i (s) + δx i (s) A equação de Euler-Lagrange para a Eq.(19) fica
d ds
à g ij
dx j dt /
r g lm
dx l ds
dx m ds
!
− ∂
∂x i Ãr
g lm
dx l ds
dx m ds
!
= 0, (20)
Como s é um parâmetro que pode ser ajustado livremente, e podemos escolher a própria distância percorrida, ou seja
ds = dl = r
g lm
dx l ds
dx m
ds ds (21)
obtemos, r
g lm dx l ds
dx m
ds = 1. (22)
Neste caso, podemos mostrar que a Eq.(23) resulta em d 2 x i
ds 2 + Γ i jk dx j ds
dx k
ds = 0 (23)
onde
Γ i jk ≡ 1 2 g − il 1
½ ∂g lj
∂x k + ∂g kl
∂x j − ∂g jk
∂x l
¾
(24) é o símbolo de Christoffel. Podemos verificar que a Eq.(24) é de fato equivalente à Eq.(9). Formulamos assim o conceito de partícula livre, independentemente do sistema de coordenadas, via Eq.(18).
O que foi descrito acima pode ser estendido para o espaço-tempo. Segundo a Teoria da Relatividade Restrita, qualquer lei física independe da escolha do sistema inercial. Um sistema de coordenadas espaço-temporal 3 , { x µ , µ = 0, 1, 2, 3 } está relacionada a outro sistema de coordenadas, { x 0 µ } por uma transformação de Lorentz,
x 0 µ = Λ µ ν x µ , (25)
onde a matriz de transformação de Lorentz deve satisfazer à invariância da distância própria,
s 2 = G µν x µ x ν , (26)
e G é o tensor métrico para o espaço Minkowskiano (onde vale a relatividade restrita),
(G µν ) =
1 0 0 0
0 − 1 0 0 0 0 − 1 0 0 0 0 − 1
(27)
Para estender isto ao sistema de coordenadas espaço-temporal curvilíneas, a transformação global de coorde- nadas Eq.(25) obviamente não é adequada, pois a transformação deve ser feita localmente. Em analogia ao caso 3-dimensional (Eqs.(11) ∼ (19)), vamos generalizar a TRR para uma transformação local,
dx 0 µ = Λ µ ν dx µ (28)
3
Usualmente x
0= ct, x
1= x, x
2= y, x
3= z.
onde
Λ µ ν = ∂x 0 µ
∂x µ , (29)
Esta transformação deve satisfazer à condição,
ds 2 = g µν dx µ dx ν = g µν 0 dx 0 µ dx 0 ν , (30) onde introduzimos o tensor métrico geral { g µν } para poder tratar os espaços não Minkowskianos. As leis da física então não devem depender da escolha do sistema de coordenadas 4 .
Vamos agora estudar o movimento de uma partícula livre. O cálculo é exatamente igual ao caso de 3-dimensões, apenas estendendo os índices. Temos
d 2 x µ
ds 2 + Γ µ λσ dx λ ds
dx σ
ds = 0, (31)
com
Γ µ λσ = 1 2 g µν − 1
½ ∂g νλ
∂x σ + ∂g σν
∂x λ − ∂g λσ
∂x ν
¾
(32)
≡ 1 2 g µν
½ ∂g νλ
∂x σ + ∂g σν
∂x λ − ∂g λσ
∂x ν
¾
. (33)
onde, para facilitar a notação, introduzimos a notação, g µν ≡ g µν − 1 .
A diferença básica entre a Eq.(31) e a Eq.(23) é que esta tem componente temporal. Para compreender o significado da Eq.(31), vamos considerar o limite não relativístico da Eq.(31). Para isto, em primeiro lugar, consideramos que o tensor métrico é quase igual àquele do espaço Minkowskiano e usarmos um sistema de coordenadas cartesiano,
g µν = η µν + h µν (x), (34)
onde
¡ η µν ¢
=
1 0 0 0
0 − 1 0 0 0 0 − 1 0 0 0 0 − 1
, (35)
e
| h µν | ¿ 1. (36)
Tomando o limite de ¯ ¯dx i /dx 0 ¯ ¯ = ¯ ¯v i /c ¯ ¯ ¿ 1 temos
ds ' cdt.
Neste limite, a parte espacial da Eq.(31) fica, d 2 x i
c 2 dt 2 + Γ i 00 ' 0. (37)
Da definição de Γ, temos que
Γ i 00 ' − 1 2
∂h 00
∂x j . (38)
4
Para uma transformação de coordenadas,
x → x
0= x
0(x)
é sempre possível obter Λ, mas o inverso não é verdade. Ou seja, para um dado Λ, não necessariamente é possível obter a forma
integrada da transformação acima.
Finalmente, a equação de movimento fica,
d 2 x i dt 2 = c 2
2
∂h 00
∂x j (39)
ou em forma mais familiar,
d 2 r dt 2 = −∇
µ
− c 2 2 h 00
¶
. (40)
Esta última forma pode ser vista como a equação de movimento de uma partícula dentro de um potencial gravitacional dado por
U Grav = − c 2
2 h 00 . (41)
Assim, a componente (00) do tensor métrico g 00 está associada com o potencial gravitacional, g 00 ' 1 − 2
c 2 U Grav (42)
no limite da aproximação não relativística.
A Eq.(42) mostra que o campo gravitacional está associado ao tensor métrico e, por sua vez, à estrutura geométrica do espaço-tempo. Por outro lado, uma simples transformação de sistema de coordenadas pode alterar o valor da componente do tensor métrico, inclusive g 00 . Isto significa que, escolhendo um sistema de coordenadas apropriado, é possível eliminar o efeito da aceleração gravitacional, pelo menos localmente. Por exemplo, para um campo gravitacional homogêneo escolhemos um sistema de coordenadas caindo junto com a partícula em queda livre. Neste caso, a equação de movimento da partícula vista neste sistema fica como se não existisse campo gravitacional. Assim, não é possível identificar se o campo gravitacional homogêneo é um verdadeiro campo gravitacional ou apenas um artifício causado pela escolha do sistema de coordenadas. Dizem que Newton descobriu a existência da gravitação da Terra, observando a queda de uma maçã. Sem desmerecer Newton, como ele poderia saber se o efeito da queda da maçã era gravitacional, ou devido ao movimento acelerado da superfície da Terra? Então, qual é o verdadeiro campo gravitacional? Como ele se distingue do efeito de aceleração devido à escolha do sistema de coordenadas? Para isto, precisamos calcular o tensor de curvatura. Se o tensor de curvatura for nulo, então não há campo gravitacional verdadeiro. A verdadeira gravidade não pode ser eliminada completamente por uma mera escolha do sistema de coordenadas, mesmo dependente do tempo. Por exemplo, no caso do campo gravitacional da Terra, o efeito da gravidade pode ser eliminado dentro de um pequeno elevador em queda livre, mas naturalmente isto não elimina o efeito no mundo inteiro.
1.2 Equação de Einstein
Até aqui, discutimos o movimento de um objeto dentro de um dado campo gravitacional. Por outro lado, sabe- mos que a existência de um objeto massivo gera um campo gravitacional. Vamos considerar o limite Newtoniano.
Neste caso, temos
∇ 2 U Grav = 4πGρ. (43)
Se usarmos a Eq.(40),
∇ 2 g 00 = 8π G
c 2 ρ. (44)
Na verdade, pela equivalência de massa e energia, a fonte do campo gravitacional deve ser a energia. Então o lado direito deve ser
8π G
c 4 , (45)
onde é a densidade da energia. Por outro lado, sabemos que a densidade de energia não é uma quantidade
escalar, mas sim, a componente (00) do tensor de energia-momento. Deste modo, para satisfazer o Princípio da
Relatividade, a equação para gravitação não pode ser apenas uma componente do tensor, mas deve haver equações para todas as componentes do tensor. Baseado nestas considerações, Einstein propos a sua famosa equação 5 ,
R µν − 1
2 g µν R + λg µν = 8π G
c 4 T µν ≡ κT µν (46)
Aqui, R µν é o tensor de Ricci, expresso em termos de derivadas do { g µν } (ver Apêndice). R é a curvatura-escalar, definida por
R = R µ µ = g µν R µν . (47)
O terceiro termo do lado direito, λg µν é chamado de termo cosmológico. Exceto para problemas cosmológicos, este termo usualmente é desprezado devido ao pequeno valor de λ. T µν é o tensor de energia-momento. A quantidade,
G µν ≡ R µν − 1
2 g µν R (48)
é chamada de tensor de Einstein. A equação de Einstein é uma equação tensorial e, portanto, um sistema de 4 × 4 = 16 equações simultâneas. Entretanto, elas não são todas independentes, especialmente quando há simetria no sistema.
1.3 Solução de Schwarzschild
Quem obteve, pela primeira vez, uma solução da Equação de Einstein sem aproximação foi K. Schwarzschild(1916).
Ele considerou o seguinte caso:
1. O tensor métrico é estático e esfericamente simétrico. Isto é, os componentes do tensor são constantes no tempo e função apenas da coordenada radial, r.
2. Não há matéria fora de um certo raio R.
Das duas condições acima, podemos provar que a forma mais geral possível do tensor métrico é dada por
(g αβ ) =
e ν 0 0 0
0 − e λ 0 0
0 0 r 2 0
0 0 0 r 2 sin θ
(49)
onde
ν = ν (r), λ = λ(r),
são as funções incógnitas que devem ser determinadas pela Equação de Einstein. As coordenadas aqui são x 0 = ct,
x 1 = r, x 2 = θ, x 3 = ψ.
5