Uma Anlise sobre a Constante Cosmolgica

Marina von Steinkirch 26 de novembro de 2007

Resumo
A Relatividade Geral tem sido a teoria mais adequada para a descrio dos fenmenos gravitacionais em escala astrofsica. Ela aplicada com sucesso em uma vasta classe de situaes, desde a descrio de estrelas isoladas, at a cosmologia (que lida com as maiores distncias possveis observadas). Uma das questes mais importantes na cosmologia contempornea envolve a possvel existncia de uma constante cosmolgica nas equaes de Einstein. A constante cosmolgica () foi proposta por Albert Einstein como uma modicao da teoria original da Relatividade Geral para implementar um universo estacionrio (eterno e imutvel). Ela um termo que equilibra a fora de atrao da gravidade tomando a forma de uma fora gravitacional repulsiva. Foi adicionada quase como uma "constante de integrao"s equaes de Einstein. Aps a descoberta do deslocamento para o vermelho (redshift ), por Edwin Hubble em 1929, e a introduo do paradigma do universo em expanso, Einstein abandonou o conceito declarando que teria sido o pior erro de sua carreira. Hoje em dia, com a descoberta da expanso acelerada do universo, na dcada de 1990, implicando em uma diferente de zero, renovou-se o interesse na constante cosmolgica, de forma que ela aparece nas equaes de campo modicadas de Einstein como um fator que tem o mesmo efeito de um densidade de energia intrnseca do vcuo. Esse trabalho tem como objetivo introduzir os conceitos matemticos da Relatividade Geral, e em seguida, aplic-los no desenvolvimento das equaes de Einstein e na incluso da constante cosmolgica, ressaltando as implicaes nos modelos cosmolgicos vigentes.

Sumrio
1 Advertncia 2 Introduo Relatividade Geral
2.1 Relatividade Restrita . . . . . . . . . . . . . 2.1.1 As Transformaes de Lorentz . . . 2.1.2 Energia e Momento . . . . . . . . . 2.1.3 Densidades de Corrente e de Cargas 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2 3
3 3 4 5

2.1.4 Eletrodinmica . . . . . . . . . . . . . . . . . . . . . . . . 2.2 Tensor Energia-Momento . . . . . . . . . . . . . . . . . . . . . . 2.2.1 Spin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.3 Anlise Tensorial . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.3.1 Vetores e Tensores . . . . . . . . . . . . . . . . . . . . . . 2.3.2 A Conexo Am (Ane Connection) . . . . . . . . . . . . 2.3.3 Derivada Covariante . . . . . . . . . . . . . . . . . . . . . 2.3.4 Derivadas Covariantes: Gradiente, Rotacional e Divergente 2.4 O Princpio de Equivalncia . . . . . . . . . . . . . . . . . . . . . 2.4.1 A Formulao do Princpio de Equivalncia . . . . . . . . 2.4.2 Foras Gravitacionais . . . . . . . . . . . . . . . . . . . . 2.4.3 O Limite Newtoniano . . . . . . . . . . . . . . . . . . . . 2.5 Curvatura . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.5.1 Denio do Tensor de Curvatura . . . . . . . . . . . . . 2.5.2 Propriedades Algbricas de R . . . . . . . . . . . . . 2.5.3 As Identidades de Bianchi . . . . . . . . . . . . . . . . . .

6 7 10 10 10 11 12 13 14 14 15 16 18 18 19 20

3 As Equaes de Einstein
3.1 3.2 3.3 3.4 4.1 4.2 4.3 4.4 4.5 4.6 5.1 5.2 5.3 5.4 5.5 5.6

Derivao das Equaes de Campo Teoria de Brans-Dike . . . . . . . . Condies de Coordenadas . . . . . O Problema de Cauchy . . . . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . .

20

20 24 27 29

4 O Modelo Padro da Cosmologia

O Princpio Cosmolgico . . . . . . . . . . . . . . A Mtrica Robertson-Walker . . . . . . . . . . . O Redshift . . . . . . . . . . . . . . . . . . . . . . Contagem de nmeros de fontes no Universo . . . O Estado Cosmolgico Estacionrio . . . . . . . O Modelo Padro da Cosmologia e seus Dilemas

30

30 31 32 34 35 36 38 41 45 47 47 48

5 A Constante Cosmolgica

O Problema da Falta de Energia no Universo . . . . Modelos com uma Constante Cosmolgica . . . . . . Constante Cosmolgica Forte - Modelo de De Sitter Constante Cosmolgica Fraca . . . . . . . . . . . . . Outros Modelos: Lematre e Eddington-Lematre . . Qual o modelo (a equao de estado) do universo?

38

6 Concluso

48

Advertncia

O seguinte captulo, Introduo Relatividade Geral, (captulo 2), fornece a base instrumental para o estudo das Equaes de Einstein (captulo 3), do Modelo Padro da Cosmologia (captulo 4) e, nalmente, do desenvolvimento 2

sobre a Constante Cosmolgica e os modelos cosmolgicos, envolvendo vrias outras referncias.1

de Constante Cosmolgica (captulo 5), de forma que os tpicos escolhidos em 2 esto diretamente relacionados com as citaes e os raciocnios desenvolvidos em 3, 4 e 5. Todos esses quatros captulo so baseados em [1]. Finalmente, o captulo nal, Concluso, (captulo 6) tece uma ampla anlise

2
2.1

Introduo Relatividade Geral

Relatividade Restrita

2.1.1 As Transformaes de Lorentz

O princpio da relatividade restrita arma que as leis da natureza so invariantes sob um grupo de transformaes de coordenadas do espao-tempo, chamadas de transformaes de Lorentz. Essas caracterizam-se por uma mudana de um sistema de coordenadas do espao-tempo x para outro sistema x , tal que
x x + a

(1) (2)

onde a e so constantes, restritas s condies

com
= +1 = -1 = 0 = = 1, 2 ou 3 ==0 =

Os ndices gregos tomam valores de 1,2,3 (coordenadas cartesianas) e 0 (coordenada temporal) e, usando unidades naturais (tal que a velocidade da luz igual a um), tem-se que x tem dimenso de comprimento. Qualquer ndice que aparecer repetido na forma covariante (embaixo) e contravariante (em cima) entendido como uma soma (notao de Einstein). Como por exemplo, a equao (1) no contrada:
0 1 2 3 x = 0 x + 1 x + 2 x + 3 x + a

(3)

Uma outra importante propriedade a invarincia do tempo prprio d , denida por

d 2 dt2 dx2 = dx dx
1 Esse

(4)

Em um novo sistema de coordenadas x , as coordenadas diferenciais so

trabalho est no sistema natural de unidades, onde a velocidade da luz 1.

 dx dx

(5)

e o tempo prprio neste novo sistema

d 2 = dx dx = dx dx = dx dx

(6)

tem-se portanto
d 2 = d
2

(7)

Por m, a velocidade da luz constante em todos os referenciais inerciais, de forma que seu tempo prprio sempre zero.

2.1.2 Energia e Momento

Na forma quadrivetorial, pode-se denir o quadrivetor energia-momento como
p m dx d

(8)

De forma que a segunda lei de Newton ca

dp = f d

(9)

Mas da equao (4) tem-se que

d (dt2 dx2 ) 2 = (1 v ) 2 dt
1 1

(10) (11) (12)

onde v

dx dt

. Logo, as componentes espaciais de p so na forma do vetor

p = m v
A componente no tempo a prpria energia
p0 = E = m

Onde o fator de Lorentz dado por

1 dt = (1 v ) 2 d

(13)

Manipulando-se (11) e (12), elimina-se a velocidade, de forma que se obtm a relao entre energia e momento
E (p) = (p2 + m2 ) 2
1

(14)

A razo de (11) e (12) d a til relao para todas as partculas:

p =v E

(15)

Por m, para partculas sem massa, como o fton, tem-se (em unidades naturais) v 2 = 1 e m = 0, e (11) e (12) se tornam indeterminadas, mas valer a razo (15), tal que
E = |p|

(16)

2.1.3 Densidades de Corrente e de Cargas

Supondo-se um sistema de partculas com posio xn (t) e cargas en . As densidades de carga e de correntes so denidas por

J(x, t)
(x, t)

en 3 (x xn (t))

dxn (t) dt

(17) (18)

en 3 (x xn (t))

Onde 3 a funo delta de Dirac em trs dimenses. Une-se J e em um quadrivetor J fazendo

J0

(19)
dx n (t) dt

Ou seja,

J (x)

en 3 (x xn (t))

(20)

Uma propriedade importante a derivao da equao de continuidade,

.J(x, t) =
3 en x i (x xn (t)) dxi n (t) dt i dxn (t) n (t)) dt

3 = en x i (x x n 3 (x xn (t)) = en t = t (x, t)

(21)

ou, eu uma linguagem quadri-dimensional

J (x) 0 x

(22)

como

J (x) satisfaz a lei de conservao dada por (22), pode-se escrever a carga total

Onde ca evidente a invarincia de Lorentz. Sempre que qualquer corrente

d3 xJ 0 (x)

(23)

E essa quantidade independente do tempo, j que, pelo teorema de Gauss, tem-se

dQ = dt d3 x 0 J (x) = x0 d3 x.J(x) = 0

(24)

O resultado zero porque tem-se que J 0 se |x| .

2.1.4 Eletrodinmica
As equaes de Maxwell no vcuo para os campos eltrico e magnticos, E e B, produzidos por uma dada densidade de carga e uma densidade de corrente J so (em S.I.):
. E = .B = 0 E= B= B t

(25) (26) (27) (28)

As propriedades das transformaes de Lorentz em E e B cam evidentes quando se introduz uma matriz F , denida por
F 12 F 23 F 31 F 01 F 02 F 03 F = B3 = B1 = B2 = E1 = E2 = E3 = - F

E +J t

Dessa maneira, as equaes (25) e (26) podem ser escritas como

F = J x

(29)

E, da mesma forma, as equaes (27) e (28) cam

F = 0 x

(30) (31)

onde F denido por

F F

e o smbolo de Levi-Civita dado por

 = +1 se permutao par de 0123 = -1 se permutao mpar de 0123 = 0 se outro caso

Como J um quadrivetor, conclui-se que F um tensor, tal que

F
= F

(32)

J que, se F soluo das equaes (29) e (30), ento (32) ser a soluo no sistema de coordenadas tranformado por Lorentz. Por m, a equao (30) permite representar F como o rotacional de um quadrivetor A , tal que
F = A A x x

(33)

Esse ltimo resultado muito til no eletromagnetismo.

2.2 Tensor Energia-Momento

Semelhantemente denio de densidade de carga eltrica, , e corrente de carga eltrica, J, tm-se as denies de densidade e corrente de um quadrivetor de energia-momento p . Considerando um sistema de partculas n, com quadrivetor p n (t), dene-se a densidade de p como
T 0 (x, t)
3 p n (t) (x xn (t))

(34)

A corrente dada por

T i (x, t) p n (t) dxi n (t) 3 (x xn (t)) dt

(35)

Essas duas denies so unidas em uma nica equao dada por

T (x) = p n dx n (t) 3 (x xn (t)) dt dx n dt

(36)

(onde x0 n t). Da relao (15) tem-se

p n = En

(37)

Assim, a equao (36) tambm pode ser escrita como

T (x) =
p n pn 3 (x xn (t)) En

(38)

de forma que ele tambm simtrico

T (x) = T (x)

(39)

(40) Por m, h uma lei de conservao para o tensor energia-momento tal que se as partculas so livres, ento p conservado: n constante e T
T
= T

E um tensor, tal que

T ( x) = 0 x

(41)

O mesmo ocorre para partculas interagindo apenas durante colises, estritamente localizadas no espao. Porm, o tensor energia-momento no ser conservado se as partculas esto sujeitas a foras que agem distncia. Assim, pensando-se nos efeitos da gravitao em qualquer sistema, generaliza-se que a densidade e a corrente de energia e do momento foram unidas no tensor simtrico T satisfazendo as equaes de conservao
T = G x

(42)

onde G a densidade de foras externas f atuando no sistema (para um sistema isolado, G = 0.) Dene-se T e G como tensores contravariantes que se reduzem a T e G na relatividade restrita na ausncia de gravidade. Assim, a forma geral da equao covariante que est em acordo com a equao (42) em um sistema localmente inercial
T; =G

(43)

Ainda, considerando-se um fator g , derivado da prpria mtrica (ver (87)) (que tambm familiar eletrodinmica, e surge do fato de que o volume invariante gd4 x),
1 T; ( gT ) + = T g x

(44)

Onde o smbolo de Christoel (ou coeciente de conexo am) e ser introduzido mellhor no prximo captulo, mas que denido, em um sistema de coordenadas localmente inercial, , como
x 2 x x

(45)

Obtm-se, ento,
1 ( gT ) = G T ( g ) x

(46)

Em contraste, o segundo termo da direita representa a densidade de fora gravitacional. Assim, como era esperado, essa fora depende do sistema em que age apenas o tensor de energia-momento. 8

Para um sistema de partculas na relatividade restrita, o tensor de energiamomento

T =
n

mn

dx n 4 dx n (x xn ) d

(47)

A integral tomada ao longo da trajetria da partcula. Seguindo raciocnio semelhante ao desenvolvido para J , conclue-se que o tensor contravariante que concorda com a equao acima na ausncia de gravidade
1 T = g mn
n

dx n 4 dx n (x xn ) d

(48)

Para um campo eletromagntico F , o tensor de energia-momento foi calculado na relatividade restrita como
1 T = F F F F 4

(49)

Na ausncia de gravidade, o tensor contravariante mais simples (poder-se-ia existir termos com a curvatura) em acordo com o acima
1 T = F F g Fk F k 4

(50)

Para um sistema constitudo de partculas e radiao, o tensor de energiamomento a soma de (48) e (50). Retornando para o tensor de energia-momento apenas da matria (48), chega-se em
T 0 g 1/2 d3 x =
n

mn

dx n d

(51)

com a soma abrangendo todas as partculas no volume de integrao (sugerindo, mais uma vez, que T 0 g 1/2 deve ser interpretado como a densidade espacial de energia e de momento). Em particular, dene-se a energia, o momento e o momento angular para um sistema arbitrrio por
P J T 0 g 1/2 d3 x

(52) (53)

(x T 0 x T 0 )g 1/2 d3 x

Entretanto, essas quantidades no so tensores contravariantes e no so 1/2 g ) no vai a conservadas, porque T g1/2 no conservado, isto , x (T zero, devido troca de energia e momento entre matria e gravitao.

2.2.1 Spin
Uma importante uso do tensor energia-momento para denir o spin e o momento angular. Considerando-se, primeiramente, um sistema isolado para o qual o tensor total energia-momento conservado (equao (41)), pode-se construir outro tensor M x T x T (54) Mas T conservado e simtrico, logo, M conservado:
M = T T = 0 x

(55)

E o momento angular total, que inclue o momento angular orbital (com respeito a algum centro de rotao) dado por
J = d3 xM 0 = J

(56)

Isolando-se a parte interna de J , pode-se denir um quadrivetor de spin

S 1 J U 2

(57)

onde tensor antissimtrico de Levi Civita (na sesso "Eletrodinmica")

U p (p p ) 2
1

(58)

quadrivelocidade so sistema.
2.3 Anlise Tensorial

2.3.1 Vetores e Tensores

O elemento mais simples de qualquer regra de transformao tensorial o escalar, que simplesmente no muda sob transformaes gerais de coordenadas. Exemplos de escalares so os nmeros reais ou o tempo prprio d (equaes (4), (96), (99)). Os prximos elementos mais simples so os vetores contravariantes, V , que sob uma transformao de coordenada x x se transformam com
V

=V

x x

(59)

E as regras de diferenciao parcial do

dx = x dx x

(60)

10

Logo, a coordenada diferencial um vetor contravariante. Para vetores covariantes, U , a tranformao semelhante
U = x U x

(61)

Pode-se, agora, generalizar-se para tensores, tal que, para a transformao de coordenada x x , tem-se:
T = x x x T x x x

(62)

O exemplo mais importante o tensor mtrico (100) para um sistema geral de coordenadas x :
g x x

Onde um sistema de coordenadas localmente inercial. Em outro sistema de coordenadas, x , o tensor mtrico
g = = x x

e assim,

x x x x x x x x x x

g = g

(63)

O inverso do tensor mtrico um tensor contravariante, tal que ambos so construdos sob a relao com o delta de Kronecker:
g g =

(64)

2.3.2 A Conexo Am (Ane Connection)

Juntamente com as propriedades da anlise tensorial nas denies das leis fsicas tm-se alguns elementos que so importantes e que no se apresentam como tensores, dando-se destaque Conexo Am, que j foi introduzida em (45) e para um sistema de coordenadas localmente inercial, denida como:
x 2 x x

(65)

A Conexo no um tensor e, passando x para outro referencial x , tem-se:

= = = =

x x x x x x

2 x x 2 x x x x x ( x x ) 2 x x x [ x x x x

(66)

2 x x x

x ]

11

Logo,
=

x x x x 2 x + x x x x x x

(67)

O termo da esquerda o que se esperaria se fosse um tensor, mas percebe-se um segundo termo no homogneo. Esse termo pode ser escrito de outra maneira, utilizando a identidade:
x x = x x

(68)

Diferenciando a equao acima com respeito a x :

x 2 x x x 2 x = x x x x x x x

(69)

A equao (67) pode ento ser escrita como:

=

x x 2 x x x x x x x x x x x

(70)

Essa equao tambm seria encontrada se fosse realizada primeiramente a . transformao inversa x e depois resolvido para

2.3.3 Derivada Covariante

Primeiramente, seja V um tensor contravariante, cuja lei de transformao :
V

x V x

(71)

Derivando-se em relao x tm-se:

V x x V 2 x x = + V x x x x x x x

(72)

Conseqentemente,
V

V x

no um tensor, porm, utilizando a equao (70): (73)

=[

x x x 2 x x x x ] V x x x x x x x x 2 x x x x V V x x x x x

Portanto:
V

(74)

Somando-se (72) com (74) a parte no homognea se cancela e obtm-se:

V + V x

x x V ( + V ) x x x

(75)

Segue ento a denio de derivada covariante: 12

V;

V + V x x x V x x ;

(76)

Por (75) verica-se que V; um tensor:

V; =

(77)

Da mesma maneira, seguindo passos anlogos, dene-se a derivada covariante de um vetor covariante:
V; V V x

(78)

2.3.4 Derivadas Covariantes: Gradiente, Rotacional e Divergente

H alguns casos especiais em que a derivada covariante assume formas simples. A mais simples a derivada covariante de um escalar, que simplesmente o

gradiente covariante

S; =

V x

(79)

Outro caso simples o rotacional covariante, denido como

V; V V x

(80)

e como simtrico em e , o rotacional covariante ca

V; V ; = V V x x

(81)

O ltimo caso de derivada covariante o divergente de um vetor contravariante: V V; + (82) V

x

A partir das equaes (65) e (100), a conexo pode ser escrita em funo da mtrica (tal que g = 0),
= 1 g g g g { + } 2 x x x = 1 g g 2 x

(83) (84)

Ou seja,

Lembrando-se da seguinte propriedade, para uma matriz arbitrria M ,

T r{M 1 M lnDetM }= x x

(85)

13

onde M = M (x). Utilizando essa propriedade (85) para a matriz g , obtmse para (84),
= 1 lng 2 x

(86)

ou seja
1 g = g x

(87)

Atravs da equao (82), a divergncia covariante escrita precisamente

1 ( gV ) V; = g x

(88)

De onde j se percebe a consequncia imediata na forma do Teorema de Gauss: se V for para 0 no innito, ento
d4 x gV; =0

(89)

Generaliza-se ento a divergncia covariante de um tensor, atravs da equao (87), T T; + + (90) T T

x

e, atravs de (87) tm-se

1 ( gT ) T; = + T g x

(91)

2.4

O Princpio de Equivalncia

O princpio de equivalncia arma que qualquer campo gravitacional pode ser cancelado pela ao de foras inerciais, para qualquer sistema, por mais complexo que esse o seja. Alm disso, o princpio de equivalncia em sua forma nal, depender da variao do campo gravitacional no espao-tempo.

2.4.1 A Formulao do Princpio de Equivalncia

O princpio de equilavncia foi utilizado por Einstein como fonte de inspirao fundamental para o desenvolvimento da Relatividade Geral, sendo que, basicamente, ele trata da igualdade entre a massa gravitacional e a massa inercial. Suponha dois observadores: um em repouso, O, que observa a queda livre de um elevador onde o observador O' est. Um sistema de partculas N que se move com velocidades no-relativsticas, est sujeito a aes da fora g e outras do tipo F (xN xM ) (de origem eletromagntica e/ou gravitacional). A equao do movimento dessas partculas ser:

14

mN

d2 xN = mN g + dt2

F(xN xM )
M

(92)

Ante uma transformao no-Galileana do espao e do tempo:

=x

Cancela-se g atravs de uma "fora"inercial:

mN d2 xN = dt2 F (xN xM )
M

1 2 gt 2

t=t

(93)

(94)

De maneira que as leis fsicas sero iguais (isto , equivalentes) nos dois referncias, a despeito do observador O dizer que sente um campo gravitacional g e O' dizer que no. O que o princpio de equivalncia diz que esse cancelamento da fora gravitacional por uma fora inercial ocorrer em qualquer sistema fsico em quedra-livre, mesmo que no se tenha uma descrio to simples como na (92) (mas, por enquanto, esse apenas os efeitos de um campo gravitacional esttico e homogneo, e a forma nal do princpio de equivalncia ainda no pde ser apresentada). O efeito de um campo gravitacional varivel pode ser ilustrado pelo movimento de dois corpos em queda-livre nas proximidades do planeta. Eles se aproximariam durante o movimento de descida, tendendo a se encontrar no centro de massa da Terra. Apesar do campo gravitacional no ser realmente anulado por foras inerciais, o efeito ainda pode ser observado considerando apenas uma parcela muito pequena do espao-tempo, to pequena que se pode consider-la como um referencial localmente inercial. Aqui interessante notar a proximidade do que foi dito sobre Relatividade Geral e a geometria no-Euclideana, proposta por Gauss. Segundo Gauss, para qualquer ponto em uma curva, pode-se encontrar um sistema de coordenadas cartesiano, onde as leis da geometria plana de Euclides so satisfeitas. E, segundo o princpio de equivalncia, em qualquer ponto do espao-tempo possvel de se encontrar um referencial localmente inercial, onde as leis de Newton so satisfeitas.

2.4.2 Foras Gravitacionais

Considera-se uma partcula movendo-se livremente sobre a inuncia de foras gravitacionais. De acordo com o Princpio de Equivalncia, h um sistema de coordenada em queda livre em que a equao de movimento uma linha reta no espao-tempo,
d2 =0 d 2

(95)

com d o tempo prprio (denido em (4))

d 2 = d d

(96)

15

Supondo-se, agora, que um outro sistema de coordenadas x , e a equao (95) se torna

0= = d d dx ( ) d dx d 2 dx dx d d2 x + dx d2 x x d d

Multiplicando por x / , tem-se a equao de movimento

dx dx d2 x + =0 2 d d d

(97)

O elemento o coeciente de conexo am, denido em (65). O tempo prprio (96) pode ser tambm expresso em um sistema de coordenadas arbitrrio,
d 2 = dx dx x x

(98)

ou ainda,
d 2 = g dx dx

(99)

onde g o tensor mtrico denido por

g x x

(100)

O tensor mtrico, ou mtrica, um tensor simtrico que usado para medir a distncia e descrever a geometria de um espao. Ou seja, ele transmite todas as informao sobre estrutura causal e geomtrica do espao-tempo. Usando a mtrica pode-se denir noes como distncias, volume, ngulos, passado, futuro e curvatura. Em outros termos, dada uma variedade plana, escolhe-se o tensor sobre os espaos tangentes variedade. Em um ponto dado sobre a variedade, este tensor leva um par de vetores no espao tangente ao ponto, e encontra um nmero real. Este conceito exatamente como um produto pontual ou produto interno. No primeiro tpico desse captulo, na denio de relatividade restrita, houve em (2) a introduo de um tensor mtrico especial: , chamado de tensor de Minkowski.

2.4.3 O Limite Newtoniano

Para estabelecer o contato com a teoria de Newton, considera-se o caso de uma partcula movendo-se vagarosamente em um campo gravitacional fraco estacionrio. A equao do movimento (97) era
0= d2 x dx dx + 2 d d d

16

Se a partcula sucientemente lenta, omite-se o termo dt , e pode-se escrever a d

dt 2 d2 x + ) =0 00 ( d 2 d

dx d

em comparao (101)

Como o campo estacionrio, todas as derivadas temporais de g desaparecem e, assim,

g 00 1 00 = g 2 x

Finalmente, sendo o campo fraco, adota-se coordenadas cartesianas, tal que

g = + h |h | 1

(102)

De maneira que, em primeira ordem de h ,

00 = 1 h00 2 x

Utilizando-se de tais resultados nas equaes de movimento, tem-se

1 dt d2 x = ( )2 h00 d 2 2 d d2 =0 d 2
dt igual a uma constante, ento divide-se Na soluo da segunda equao, d 2 d x dt 2 a equao para d 2 por ( d ) , e possvel encontrar

Finalmente, o resultado Newtoniano correspondente

d2 x = dt2

d2 x 1 = h00 2 dt 2

(103)

(104)

onde o potencial gravitacional que, a uma distncia r do centro de um corpo esfrico de massa M, toma a forma
= GM r

(105)

Comparando-se com as duas relaes anteriores, conlclui-se que (106) Alm disso, o sistema de coordenadas deve se tornar cartesiano a grandes distncias, ento h00 desaparece no innito e, denindo-se de modo a tambm desaparecer no innito, possvel concluir que a constante que resta nula, ento h00 = 2 e, por m, retornando-se mtrica g ,
h00 = 2 + constante g00 = (1 + 2)

(107)

17

2.5

Curvatura

2.5.1 Denio do Tensor de Curvatura

O objetivo construir um novo tensor com a mtrica (g ) e suas derivadas. Utilizando-se g e suas primeiras derivadas, no h como achar um novo tensor: para qualquer ponto, possvel de se encontrar um sistema de coordenadas em que as primeiras derivadas do tensor mtrico vo a zero e nesse sistema de coordenadas o tensor deve ser igual a algum que pode ser construdo apenas pelo tensor mtrico e, como trata-se de uma igualdade entre os tensores, deve ser verdade em todos os sistemas de coordenadas. A prxima possibilidade contruir um tensor com g e suas segundas derivadas. Lembrando-se das tranformaes para a conexo am (equao (67)):
= x 2 x x x x + x x x x x x

(108)

Isolando o termo inomogneo direita (e usando a comutatividade da diferenciao parcial):

2x x x x = x x x x x

(109)

Diferenciando-se com respeito a x , separando-se os termos similares e subtraindose a equao obtida por uma similar com o ndice trocado por , resulta-se que todos os termos envolvendo produtos de e vo embora, de forma a se ter, nalmente,
x ( ) + ) x x x x x x ( + ) x x x x x 0=

Esse resultado pode ser escrito como uma regra de transformao tal que
R =

x x x x R x x x x

(110)

onde

tensor de curvatura Riemann-Christoel. Uma importante propriedade que o tensor R expressa a presena ou ausncia de um campo gravitacional verdadeiro. Considerando a segunda derivada covariante de um vetor covariante V , que V; ; , tem-se que os termos envolvendo as primeiras e segundas derivadas so simtricos em e , mas os termos envolvendo V contm uma parte antissimtrica,
V; ; V;; = V R

+ (111) x x Pela equao (110) percebe-se que R um tensor, e este chamado de

R

(112)

18

E, da mesma maneira, pode-se mostrar que

V; ; V;; = V R

(113) (114)

E, para qualquer tensor,

T ; ; T;; = T R T R

Assim, se o tensor de curvatura vai a zero, as derivadas covariantes comutam, como se esperaria em um sistema de coordenadas que pode ser transformado em um sistema de coordenadas de Minkowiski.

2.5.2 Propriedades Algbricas de

A partir da importante transformao de equivalncia do tensor de curvatura

R g R

(115)

Juntamente com (111) e a relao entre a mtrica e a conexo am

= g g 1 g g [ + ] 2 x x x

(116)

aps algumas manipulaes e cancelamentos dos termos em , nalmente, resulta-se em

R = 2 g 2 g 2 g 1 2 g [ + ] 2 x x x x x x x x
+g [ ]

(117)

Essa equao possibilita a vericao de vrias propriedades do tensor de curvatura: (A) Simetria: R = R (B) Antissimetria: R = R (C) Ciclicidade: R + R + R = 0 Uma ltima denio importante o fato de que R pode ser contrado com a mtrica, dando o tensor de Ricci
R = g R

(118)

Tal que a propriedade de simetria (A) mostra tambm que o tensor de Ricci simtrico: R = R (119)

19

2.5.3 As Identidades de Bianchi

O tensor de curvatura obedece importantes identidades diferenciais. Dado um ponto x, adotando um sistema de coordenadas localmente inercial em que vai a zero em x, pela equao (115) tem-se
2 g 2 g 2 g 2 g 1 [ + ] 2 x x x x x x x x x Permuntando-se , e ciclicamente, obtem-se as identidades de R; = R ; + R ; + R; = 0

Bianchi
(120)

Essas equaes so em geral covariantes e, dessa forma, se elas so verdade em sistemas inercias, elas so verdade em todos os casos gerais. Como as derivadas covariantes de g so nulas, tem-se tambn que (contraindo com ):
R; R; + R ; = 0

(121) (122)

Contraindo-se novamente, resulta-se em

R; R ; + R ; = 0

ou ainda
1 (R R); = 0 2

(123)

E, em uma forma tambm til,

1 (R g R); = 0 2

(124)

3
3.1

As Equaes de Einstein
Derivao das Equaes de Campo

As equaes de campo para a gravitao so bem mais complicadas do que as para o eletromagnetismo. As equaes de Maxwell so lineares porque o campo eletromagntico no carrega carga em si, porm o campo gravitacional carrega energia e momento. Ou seja, as equaes de campo gravitacionais sero equaes diferenciais parciais no lineares e a no lineariedade representa o efeito da prpria gravitao. Previamente foi visto que possvel lidar com os efeitos no-lineares pelo Princpio de Equivalncia. Em qualquer ponto X em um campo gravitacional arbitrariamente forte, pode-se denir um sistema de coordenadas localmente inercial que respeite g (X ) = (125) 20

campo gravitacional fraco perto de X e s possvel descrev-lo por equaes diferenciais parciais lineares. E uma vez que sabido quem so essas equaes de campo-fraco, pode-se achar as equaes gerais do campo revertendo as transformaes de coordenadas que fazem o campo fraco. Infelizmente, h muito pouca informao emprica sobre as equaes de campo-fraco: a radiao gravitacional to fracamente gerada e absorvida pela matria que ainda no foi detectada. Em um campo esttico fraco produzido por uma densidade de massa norelativstica , a componente tempo-tempo do tensor mtrico aproximadamente dado por (106): g00 (1 + 2), onde o potencial Newtoniano, determinado pela equao de Poisson
2 = 4G

g (x) )x=X = 0 (126) x Para um x perto de X, o tensor da mtrica g pode se diferenciar de apenas por termos quadrticos em x X . Neste sistema de coordenadas, o (

(127)

A densidade de energia T00 para matria no-relativstica igual a sua densidade de massa, T00 (128) Somando as equaes (127) e (128) tem-se
2 g00 = 8GT00

(129)

Essa equao de campo serve apenas para campos estticos fracos gerados pela matria no-relativstica, e nem sequer invariante de Lorentz. Porm (129) mostra que as equaes de campo-fraco para uma distribuio geral T de energia e momento tomam a forma de
G = 8GT

(130)

Onde G uma combinao linear da mtrica e suas primeiras derivadas. Segue-se do princpio de equivalncia que as equaes que governam os campos gravitacionais de uma fora arbritria devem ter a forma
G = 8GT

(131)

onde G um tensor que se reduz a G para campos fracos. Em geral, h uma variedade de tensores G que podem ser formados dos tensores mtricos e seus derivados, e que reduzem-se ao limite campo-fraco para um dado G . Exapandindo-se G em uma soma de produtos de derivadas da mtrica, pode-se classicar cada termo de acordo com o nmero total N de derivadas das componentes da mtrica (por exemplo, um termo com N=3 poderia ser linear na terceira derivada da mtrica, ou um produto de trs primeiras derivadas). Assim, G deve ter dimenses de uma segunda derivada, e cada termo do tipo N = 2 aparece multiplicado com uma constante de dimenso de comprimento na potncia N - 2. Esses termos sero negligenciveis para campos 21

gravitacionais de escalas de espao-tempo sucientemente grandes ou pequenos, se N > 2 ou N < 2, respectivamente. Assim, para remover a ambigidade em G , assume-se que as equaes do campo gravitacional so uniformes na escala, e, assim, apenas termos com N = 2 so permitidos. Finalmente, as propriedades necessrias para achar G so tais que: (A) um tensor (por denio). (B) tem apenas termos com N = 2 derivadas da mtrica. (C) como T simtrico, ento G tambm . (D) como T conservado, ento G tambm (G ; = 0). (E) para um campo fraco estacionrio produzido por matria no relativstica, a componente de (131) deve se reduzir para (129), e tambm no limite:
G00 = 2 g00

(132)

J foi exposto, no captulo anterior, que a maneira mais geral de construir . um campo que satisfaa (A) e (B) pela contrao do tensor de curvatura R A propriedade de anti-simetria de R diz que s h dois tensores que podem ser formados pela contrao de R , que so o tensor de Ricci(118) e o escalar ). E, dessa forma, (A) e (B) fazem com que G tenha a de curvatura (R = R forma
G = C1 R + C2 g R

(133)

onde C1 e C2 so constantes. Usando a identidade de Bianchi (equao (123)) encontra-se a divergncia covariante de G como
G ; = ( C1 + C2 )R; 2

(134)

1 e (D) permite duas possibilidades: ou C2 = C 2 ou R; vai a zero em qualquer lugar. Rejeita-se a segunda possibilidade, j que (133) e (131) do

G = (C1 + 4C2 )R = 8GT

T x

(135)

R tambm deve ir a zero (que o E se R; x vai a zero, ento prprio caso da presena de matria no-relativstica inomognea). Conclue-se 1 que C2 = C 2 , e (133) se torna

1 G = C1 (R g R) (136) 2 Finalmente, usa-se (E) para xar C1 . Um sistema no-relativstico sempre tem |Tij | |T00 |, ento, usando (136), tem-se

22

Rij

Com um campo fraco tem-se g

R

1 gij R (137) 2 e o escalar de curvatura dado por 3 R R00 2

Rkk Roo R

(138) (139)

ou, ainda,
2R00

Usando (139), (125) e (136), acha-se (140) Para calcular R00 de um campo fraco, usa-se a parte linear de R dada pela equao (117). Porm, quando o campo esttico, todas as derivadas temporais vo a zero, e tm-se
G00 2C1 R00 R0000 Ri0j 0 0
2

(141) (142)

1 g00 2 xi xj

E a equao (140) resulta em (143) e comparando com (132), tem-se que (E) satisfeito apenas se C1 = 1. Fazendo C1 = 1 em (136) completa-se o clculo de G , o tensor de Einstein:
G00 2C1 (Ri0i0 R0000 ) C1 2 g00 1 G R g R 2

(144)

Tomando (144) junto a (131), tem-se, nalmente, as equaes de campo de Einstein R 1 2 g R = 8GT (145) (146) (147) (148) Uma forma alternativa de (145) fazer a contrao com g , que d
R 2R = 8GT

ou

R = 8GT

Substituindo em (145), tem-se

1 R = 8G(T g T ) 2

que uma forma equivalente de (145). Por m, ao analisar-se o caso no vcuo, T vai a zero e por (148), deduz-se as equaes de campo de Einstein em um espao vazio: 23

R = 0

(149)

Em um espao-tempo de 2 ou 3 dimenses, g no dinmico, portanto, apenas em 4 ou mais dimenses que o verdadeiro campo gravitacional pode existir no espao vazio.

A primeira Apario da Constante Cosmolgica

Relaxando-se a condio (B), permite-se que G contenha termos com menos que duas derivadas da mtrica. Como foi visto em "Curvatura", a liberdade para usar as primeiras derivadas no permite nenhum termo novo de G . Porm, se possvel utilizar o tensor mtrico, ento um novo termo possvel, igual a g vezes uma constante , e as novas equaes de campo sero
1 R g R g = 8GT 2

(150)

Onde o termo g foi originalmente introduzido por Einstein para manter o universo estacionrio e chamado de constante cosmolgica. Esse termo satisfaz a (A), (C) e (D), mas no a (E), logo, dever ser bastante pequena para no interferir com a teoria de gravitao de Newton.
3.2 Teoria de Brans-Dike

A teoria formulada por Brans e Dike inspirada nas idias de Mach, de que a inrcia de um corpo poderia mudar de acordo com a distribuio de matria no universo, como efeito de um certo campo csmico. A partir da, pode-se obter a inuncia desse campo escalar nas equaes de Einstein e estudar seu efeito em algumas predies da Relatividade Geral usual. Segundo essa idia, a massa inercial de vrias partculas elementares poderia representar a interao com esse campo. Entretanto, suas massas tambm podem ser medidas pelas aceleraes relativas Gm/r2 , que nada tm a ver com a densidade ou distribuio de matria no universo. A concluso que se chega a de que a constante gravitacional G deve ter alguma relao com o valor mdio do campo . A equao de campo mais simples possvel para da forma
2 = 4TM

(151)

onde 2 = g ;; o d'Alembertiano invariante, uma constante de acoplamento e TM o tensor de energia-momento da matria no universo. Usando valores da densidade e do raio do universo como 1029 gcm3 e R 1028 cm, respectivamente, possvel fazer uma estimativa do valor mdio de
< > R2 1027 g cm1

(152)

24

que um resultado muito prximo do valor normalizando ,

<> 1 G

1 G

= 1, 35 1028 g cm1 . Ento,

(153)

importante notar que deve ser uma grandeza adimensional, no muito diferente de 1, e adotando uma postura mais realista , Brans e Dike cogitaram a possibilidade de que as equaes de campo gravitacional corretas deveriam ser obtidas substituindo G por 1/ e incluindo o tensor de energia-momento T para a nova fonte de gravidade, o campo :
8 1 [T + T ] R g R = 2 M

(154)

Porm, seguindo essa idia, perde-se resultados muitos bons obtidos pelo Princpio de Equilavncia, como, por exemplo, a igualdade das massas gravitacional e inercial. Para no abrir mo disso, Brans e Dike colocaram a restrio de que apenas g e no deve entrar nas equaes de movimento de partculas e ftons. Assim, a equao que descreve a troca de energia entre matria de gravitao permanece a mesma da teoria de Einstein:
TM ;

TM + TM x

TM

=0

(155)

O lado esquerdo da equao (154) desaparece pela divergncia covariante e, usando as identidades de Bianchi (122), ento multiplicando por e tomando a divergncia covariante (88), tem-se
1 (R R); = 8T (156) ; 2 Com isso, determina-se completamente o tensor T . O tensor simtrico

mais simples que pode ser construdo com termos que envolvem uma ou duas derivadas do campo e do prprio
T = A(); ; + B () ; ; + C (); ; + D () 2

(157)

Que resulta em
T ; + + +

= [A () + B ()] ; ; ; [A() + D ()]; 2 [A() + 2B () + C ()] ; ; ; D()( 2 ); + C () 2 (; )

(158)

O primeiro termo da equao (156) determinada pela equao (113) como

; R = ; ;; ; ; ; = ( 2

);

(; )

(159)

25

E tomando o trao da (154) e usando a (151), encontra-se

R= 8 1 { 4
2

+ (A() + 4B ()) ; ; (C () + 4D ())

(160)

e, ento, o lado esquerdo da (156)

(R 1 2 R); =

2 ); 2 (; ) 1 4 ; {( 4 + C () +

4D())

+ (A() + 4B ()) ; ; } e ; ; e

(161)

Comparando-se os coecientes de ( 2 ); e 2 (; ) e ; ; ; ; nas equaes (159) e (161), tem-se que a (156) exige
1 = 8D() 1 = 8C ()

4 1 { + C () + 4D()} = 8 (A() + D ()) 4 4 (A() + 4B ()) = 8 (A () + B ()) 0 = A() + 2B () + C ()

A nica soluo
A() = ; 8 1 ; 8 B () = ; 16 1 . 8

C () =

D() =

onde uma constante adimensional conveniente dada por

=

ou
=

1 3 2 2 3 + 2

(162)

As equaes de campo (151) e (154) agora cam como

2

8 T 3 + 2 M

(163)
2

1 8 1 1 R g R = TM 2 (; ; g ; ; ) (;; g 2 2

) (164)

26

Como se quer que seja da ordem da unidade, espera-se, tambm, que tambm o seja. Mas se muito maior que isso, ento a (163) d 2 = 0(1/ ), e assim
1 1 1 =< > +0( ) = + 0( ) G

(165)

e por isso a (164) d

1 1 R g R = 8GTM + 0( ) 2

(166)

Assim a teoria de Brans-Dike recai na de Einstein para tendendo a innito.

3.3 Condies de Coordenadas

O tensor de Einstein G tem 10 componentes independentes, logo, as equaes de campo de Einstein (145) tm 10 equaes algebricamente independentes. O tensor mtrico desconhecido tem ainda 10 componentes independentes, e as equaes de Einstein no so sucientes para determinar g univocamente. Apesar de algebricamente independentes, as 10 G so relacionadas por 4 identidades diferenciais, as identidades de Bianchi G ; = 0 (equao (123)). Assim, no h 10 equaes independentes, mas apenas 10 - 4 = 6, deixando quatro graus de liberdade em 10 valores desconhecidos de g . Esses graus de liberdades correspondem ao fato de que se g uma soluo da equao de Einstein, ento g tambm , onde g determinado de g por uma transformao geral de coordenadas x x . E essa transformao de coordenadas envolve quatro funes arbritrias x (x), dando as solues de (145) apenas como graus de liberdade. A falha das equaes de Einstein para a determinao de g univocamente quase como o caso das equaes de Maxwell em determinar o potencial vetor A univocamente. Quando escrita em termos do potencial vetor, as equaes de Maxwell, a partir de (29) e (33), do
2

2 A = J x x

(167)

H quatro equaes para quatro variveis, mas elas no determinam A univocamente, porque o lado esquerdo das igualdades so relacionados por uma identidade diferencial semelhante s identidades de Bianchi,
( x
2

2 A ) 0 x x

(168)

Ou seja, h apenas um grau de liberdade na soluo para os quatro A e esse grau de liberdade corresponde invarincia de gauge (dada qualquer soluo A , pode-se achar outra soluo A A + /x ) com um arbitrrio. As ambigidades nas solues das equaes de Maxwell e Einstein podem ser removidas usando "fora bruta". No caso das equaes de Maxwell, escolhe-se um gauge em particular, como o gauge de Lorentz. Da mesma forma, pode-se 27

eliminar a ambigidade no tensor mtrico adotanto algum sistema de coordenadas em particular. A escolha de um sistema de coordenadas pode ser expresso em quatro condies de coordenadas que, quando adicionadas s seis equaes independentes de Einstein, determinam uma equao sem qualquer ambigidade. Uma escolha particularmente conveniente de um sistema de coordenadas representado por condies de coordenadas harmnicas, (169) Para ver que sempre possvel escolher um sistema de coordenadas em que isso verdade, aplica-se as transformaes das equaes (70) e contrai-se com g , de forma a achar
g = 0 =

2x x g x x x

(170)

Se no vai a zero, pode-se sempre deifnir um novo sistema de coordenadas x resolvendo as equaes diferenciais parciais de segunda-ordem, dando = 0 no sistema x'.
g 2x x = x x x

As quatro condies em (169) no so geralmente covariantes, desde que suas funes so remover a ambigidade no tensor mtrico da covarincia geral das equaes de Einstein. Porm, ainda assim, pode-se escrev-las de forma mais elegante expressando as (70) em termos do tensor mtrico:
= 1 g g g g g ( + ) 2 x x x g g g = g x x

Mas,

e ainda (de forma equivalente a (44)):

1 g g = g 1/2 g 1/2 2 x x

Ento, resulta-se que

= g 1/2 (g 1/2 g ) x

(171)

As condies de coordenadas harmnicas do

(g 1/2 g ) = 0 x

(172)

E, nalmente, a funo dita harmnica se 2 vai a zero, onde 2 o d'Alembertiano invariante 2 (g ; ); . Utilizando-se de (79),(88) e (171) 28

= g

2 x x x

(173)

Se = 0, as coordenadas so, elas prprias, funes harmnicas e tem-se, claramente, que 2 x =0 (174) Na falta de campos gravitacionais, o sistema de coordenadas harmnicas mais bvio o de Minkowiski, no qual g = e g = 1, e tem-se que (172) satisfeita trivialmente. Na presena de campos gravitacionais fracos, o sistema de coordenadas harmnico tambm pode ser aproximado a um Minkowiskiano.
3.4 O Problema de Cauchy

Nesta sesso ser apresentado o problema de valor inicial de Cauchy com as equaes de Einstein. Se conhece-se g e g /x0 em todos os pontos do plano x0 = t, pode-se tentar extrair das equaes de campo uma frmula para 2 g / (x0 )2 em todos os lugares onde x0 = t. Pode-se, ento, computar g e g / (x0 ) para tempos x0 = t + t, podendo continuar o processo para obter g para todos os xi e x0 . A princpio parece praticvel, porque h 10 segundas derivadas e 10 equaes de campo. Mas observando o lado esquerdo da expresso G R 1 2g R das equaes de campo, as identidades de Bianchi (124) mostram que
0 G i Gi G G x0 x

(175)

O lado direito no contm derivadas temporais superiores a 2 / (x0 )2 , ento o lado esquerdo tambm no deve conter e, portanto, G0 no contm derivadas temporais maiores que /x0 . Dessa maneira, no h nada a dizer sobre a evoluo temporal do campo gravitacional das quatro equaes
G0 = 8GT 0

(176)

Antes, essas equaes devem ser impostas como condies iniciais, o que deixa apenas 6 equaes
Gij = 8GT ij

(177)

Quando se resolve essas equaes com as 10 segundas derivadas 2 g / (x0 )2 , encontra-se quatro ambigidades, as quais no so possveis de se eliminar j que sempre possvel fazer transformaes de coordenadas que no alteram g e g /x0 em x0 = t mas que alteram g em todos os outros pontos. Mais especicamente, o que se encontra que (177) determina as seis 2 g ij / (x0 )2 , mas deixa as outras quatro derivadas 2 g 0 / (x0 )2 indeterminadas. Essa ambigidade pode ser removida pela imposio de quatro condies de coordenadas que consertam o sistema de coordenadas. Por exemplo, adotando-se o sistema

29

de coordenadas harmnico discutido na sesso anterior, a segunda derivada de 0 gg pode ser determinada derivando a (172) com respeito ao tempo:
2 0 2 ( gg ) = 0 i gg i 0 2 (x ) x x

(178)

e as 10 equaes (177) e (178) so sucientes pra determinar todas as segundas derivadas temporais de g . Quando o problema de valor inicial resolvido dessa forma, as condies (176) precisam ser impostas uma vez. As identidades de Bianchi e a conservao da energia e do momento mostram que sendo ou no satisfeitas, as equaes de Einstein devem apresentar
(G + 8GT ); = 0

(179)

Aplicando-se isso em x0 = t, impondo-se (176) e determinando-se as segundas derivadas de (177), a quantidade entre parnteses ser nula para todo x0 = t. Dessa maneira, tem-se
(G0 + 8GT 0 ) = 0 x0

(180)

e os campos calculados nos instantes posteriores x0 = t + dt iro automaticamente satisfazer as condies (176).

4
4.1

O Modelo Padro da Cosmologia

O Princpio Cosmolgico

A cincia moderna comea com a descoberta de que a Terra no est no centro do universo. O anti-antropocentrismo foi incorporado na mentalidade cientca, de forma que, agora, no haveria mais quem sugerisse que a Terra, ou o sistema solar, ou a galxia, ou o grupo local de galxias, ocupassem qualquer posio privilegiada no cosmos. Grande parte da teoria cosmolgica construda sobre o Princpio Cosmolgico : a hiptese de que qualquer posio no universo essencialmente equilavente, ou seja, em grandes escalas, o universo considerado Homogneo e Isotrpico. Ambos princpios so, certamente, uma conseqncia da uniformidade em que a matria e a radiao esto distribudas no universo. Um espao isotrpico tal que todas as direes so equivalentes para qualquer lei fundamental da fsica como, por exemplo, a inrcia de um corpo (que independente das direes de movimento) ou o poder de atrao de uma carga eltrica. Naturalmente, a homogeneidade do universo deve ser compreendida da mesma forma como a homogeneidade de um gs: isso no de aplica ao universo em detalhe, mas apenas a pores do universo de dimenses tpicas de 108 ou 109 anos luz, que so grandes o suciente para comportar diversos aglomerados de galxias. 30

Um espao homogneo aquele em que todas as regies so equivalentes, i.e. que todas as leis da fsica so a mesma em todas as partes dos cosmo. Matematicamente representa-se esse princpio pela covarincia por translao dos eixos. Alm disso, aparentemente, o universo tem simetria esfrica e, pelo Princpio Cosmolgico, o universo particionado anisotrpico em torno de todo ponto. A questo sobre o porqu da simetria esfrica do universo e de sua homogeneidade em todo o tempo ainda permanece e, talvez, esse seja apenas um estado temporrio na sua histria. Existe a sugesto de que o universo poderia ter sido altamente anisotrpico no comeo, mas essas anisotropias foram sendo suavizadas pela ao da viscosidade de neutrinos e outros efeitos dissipativos. Entretanto, mesmo nesse tipo de teoria, o universo foi altamente isotrpico e homogneo em toda sua histria acessvel observaes astronmicas. A verdadeira razo para o uso do Princpio Cosmolgico no a de que ele esteja inteiramente correto, mas que ele permite fazer uso das informaes extremamente limitadas que se tem da observao astronmica. Se os dados no corresponderem s espectativas, pode-se, ao menos, concluir que tanto o Princpio de Equivalncia quanto o Princpio Cosmolgico estariam errados. Uma extenso desse princpio utilizado na teoria do estado estacionrio, chamado Princpio Cosmolgico Perfeito (descrito em captulo adiante), que arma que todos os observadores vem a mesma estrutura do cosmo em todos os tempos. O dados observacionais refutam essa ltima teoria.
4.2 A Mtrica Robertson-Walker

A mtrica de Robertson-Walker dada por

d 2
2 dr 2 2 2 2 = dt2 R2 (t){ 1 kr 2 + r d + r sin }
2

(181)

onde R(t) uma funo desconhecida do tempo, e k uma constante que, por uma escolha conveniente de unidades para r, pode ter o valor de +1, 0 ou -1 (espao nito-fechado, innito-plano e innito-aberto, respectivamente). Uma viso mais clara acerca do comportamento da matria sob a mtrica de Robertson-Walker obtida pela aplicao do Princpio Cosmolgico nos tensores que descrevem o estado mdio da matria csmica, como o tensor de (denida de maneira compleenergia-momento T , e a corrente de galxias JG tamente anloga corrente eltrica). Todos esses tensores devem ter sua forma invariante ante mudanas de coordenadas. Essas isometrias so puramente est i paciais, transformando JG e T tt em 3-escalares, JG e T it em 3-vetores e T ij em 3-tensores. Isto , devem seguir as identidades abaixo:
t i JG = nG (t) JG =0

(182) (183)

Ttt = (t) Tit = 0 Tij = gij p(t)

31

onde nG , e p so quantidades desconhecidas que podem depender de t, mas no das outras coordenadas. Pode-se escrever esses resultados de maneira mais elegante com
JG = nG U

(184) (185) (186)

T = ( + p)U U + pg

onde U uma quadrivelocidade (como em (58)), tal que

Ut 1 Ui 0

A equao (186) mostra que o contedo do universo, em mdia, est em repouso no sistema de coordenadas (r, , ). A equao (185) mostra que o tensor energia-momento do universo tem a forma de um uido perfeito j que o tensor energia momento de um uido perfeito dado por
T

= p + (p + )U U

(187)

Por m, sabe-se que o tensor de energia-momento do universo obedece a lei de conservao (equao (43)):
0 = = T; p 1/2 + g 1/2 x ( + p)U U } + {g (p + )U U x g

(188)

Para = r, , , a equao satisfeita de forma trivial, enquanto que para = t tem-se

R3 (t) d dp(t) = {R3 (t)[(t) + p(t)]} dt dt

(189)

E, se a presso da matria csmica negigencivel (e ela !), ento (189) dar R3 (t)(t) = constante (190)
4.3 O

O redshift ocorre quando a radiao eletromagntica que emitida ou reetida por algum objeto no universo deslocada para um comprimento de onda () menor (que, pela equao de Planck, E = h , menos energtica), como pode ser visto na gura (1). observado emitido (191) z=
emitido

Redshift

Um exemplo simples de redshift observvel devido ao efeito Doppler Relativstico, que ocorre quando a luz se move em um referencial com velocidade diferente ( ) de outro referencial onde est o observador e deve respeitar as transformaes de Lorentz (que denem , equao (13)), 32

Figura 1: direita: absoro de linhas no espectro ptico de um aglomerado de galxias distantes. esquerda: comparao com as linhas de espectro do sol [18].
) 1 c

z = (1 +

(192)

Outra causa diferente para o redshift a prpria expanso do universo (do fator de escala do universo R(t)), ou, mais genericamente, do substrato onde est o universo) que explica o fato observacional de que os redshifts de galxias, quasares e nuvens intergalticas, todas muito distantes, aumentam proporcionalmente s suas distncias (lei de Hubble). Esse mecanismo a chave do modelo do Big Bang. Esse redshift dado por
z= R(t0 ) 1 R(t1 )

(193)

(onde t0 signica o tempo atual no universo). Por ltimo, h redshifts gravitacionais, que so observados se o receptor est localizado em um potencial gravitacional muito maior do que a fonte. A causa desse fenmeno dilatao temporal que ocorre perto de objetos massivos, de acordo com a Relatividade Geral (a derivao terica um efeito que derivado da soluo da mtrica de Schwarzschild para as equaes de Einstein e que est fora do escopo desse trabalho). 33

4.4

Contagem de nmeros de fontes no Universo

As contagens nmrica de fontes de rdio e pticas so, de forma observacional, dadas em funo da luminosidade aparente ou do redshift (como no programa Hubble, por exemplo). Com isso possvel comparar com predies tericas e inferir parmetros cosmolgicos. De maneira geral, assume-se que no instante t1 existem n(L, t1 ) dL fontes por unidade de volume com luminosidade absoluta entre L e L + dL. O elemento de volume
dV gdr1 d1 d1 = 3 2 1/2 2 = R (t1 )(1 kr1 ) r1 dr1 sin 1 d1 d1

(194)

e, ento, o nmero de fontes entre r1 e r1 + dr1 com luminosidade absoluta entre L e L + dL

2 1/2 2 dN = 4R3 (t1 )(1 kr1 ) r1 n(t1 , L)|dr1 |dL

(195) (196)

As coordenadas r1 e t1 esto relacionadas como

r1 = r(t1 )

onde r(t) uma funo denida como

t0 t

dt R(t)

r (t)

(1 kr2 )1/2 dr
0

(197)

Que derivando resultar

2 1/2 dr1 = (1 kr1 )

dt1 R(t1 )

(198)

e a (194) pode ser escrita como

dN = 4R2 (t1 )r2 (t1 )n(t1 , L)dt1 dL

(199)

A maior informao sobre o fator de escala do universo (R(t)) dado pela observao de desvios na frequncia de luz emitida por fontes distantes. O redshift (z, da equao (193)) e a luminosidade aparente (l) de uma fonte de luminosidade absoluta L em r1 , t1 so dadas por
z= R(t0 ) 1 R(t1 )

l=

LR2 (t1 ) 2 R4 (t ) 4r1 0

(200)

Assim, o nmero de fontes, com redshift menor do que Z e luminosidade maior do que l, dado pela integral de (199) em todo L e em um dominio nito de t1 . 34

t0

N (< z, l >) =
0

dL
max(tz ,t1 (L))

4R2 (t1 )r2 (t1 )n(t1 , L)dt1

(201)

onde os limites inferiores, dados pelas condies no redshift e na luminosidade aparente, so denidos por
R(tz ) R(t0 ) (1 + z )

(202) (203)

r2 (tl ) L 2 R (tl ) 4lR4 (t0 )

Se os redshifts no so observados, ento a quantidade de interesse o nmero N(>l) de fontes com luminosidade aparente maior que l, que podem ser calculados com o limite inferior em (201) a ser exatamente tl (L). Se a luminosidade aparente no observada, ento a quantidade de interesse o nmero N(<z) de fontes com redshift menor que z, que podem ser calculadas tomando o limite inferior em (201) para ser apenas tz .
4.5 O Estado Cosmolgico Estacionrio

O trabalho desenvolvido at ento teve como base o Princpio Cosmolgico, de que o universo homogneo e simetricamente esfrico. Hermann Bondi e Thomas Gold foram um passo alm, propondo que o universo obedece a um Princpio Cosmolgico Perfeito, ou seja, permanece o mesmo no s em todos os pontos e em todas as direes, como tambm em todos os tempos. Essa proposta leva ao modelo de Estado Estacionrio do Universo (Steady State). A constante de Hubble (H0 ) em funo do fator de escala (R(t)) um parmetro observvel e, dessa maneira, deve ser independente do tempo atual (t0 ) no modelo em questo. Com H denotando o valor permanente da constante de Hubble, tem-se
(t) R =H R(t)

(204)

e, assim,
R(t) = R(t0 )eH (tt0 )

(205) (206)

Em geral, o parmetro de desacelerao do universo dado por

(t0 ) R(t0 ) q0 R 2 (t0 ) R

Nesse modelo, o parmetro de desacelerao assume o valor permanente q

q RR = 1 2 R

(207)

35

Para determinar k (contante que dene o formato do universo), usa-se a relao geral entre R(t) e a luminosidade-distncia versus funo red-shift dL (z )
[eH (t0 t) 1]
1 d 1 k 1 1 d2 (z )] 2 [ [1 2 dL (z )]dz 1+z R (t0 ) (1 + z )2 L dz 1 + z

t0 t =
0

Como dL (z ) um observvel, ele deve agora ser independente de t0 . Assim, para que a integral dependa apenas de t t0 , no de t ou t0 separadamente, necessrio que
k=0

(208) (209)

E essa mtrica, que um caso especial de Robert-Walker, nalmente, resulta

d 2 = dt2 R2 (t0 )e2H (tt0 ) {dr2 + r2 d2 + r2 sin2 d2 }

4.6

O Modelo Padro da Cosmologia e seus Dilemas

O modelo padro da cosmologia baseado no Princpio Cosmolgico e nas Equaes de Einstein. O comportamento do modelo derivado da mtrica de Robertson-Walker (181) prediz o futuro do universo, que depende criticamente de sua curvatura (k). Se o universo for aberto (k = 1), expandir-se para sempre e se for fechado (com volume nito, k = +1), em algum momento se contrair. Alm disso, a curvatura depende da relao entre a densidade de energia presente, 0 , e a densidade de energia crtica 2 ,
c = 3H 2 8G

(210)

Sendo que c 1.9 1029 gcm3 , e o universo considerado aberto se 0 < c e fechado se 0 > c . Inicialmente, 0 deveria ser dado pela massa de repouso da matria comum barinica (b ). Se fosse assim, o universo seria aberto se o fator de desacelerao, q0 (equao (206)), fosse menor que 1 2 , ou fechado se ele fosse maior. Porm, as constataes observacionais garantem que q0 1, criando um dilema com a densidade de massa observada nas galxias, que consideravelmente menor do que c . Fazendo-se que a densidade de massa atual do Universo seja escrita como [20],
0 = 1.9 1029 h0 gcm3
2 Essas
duzidos no prximo captulo.

onde

h0 = H0 /100

(211)

so solues generalizadas dos modelos de Friedmann-Lematre, que sero intro-

36

Figura 2: Universo fechado ou aberto [18]. Onde indica a contribuio de todas as formas de matria e energia do universo, e atribuindo-se as seguintes siglas: b = matria barinica e dm = matria escura (dark matter ), tem-se
= 0 c

(212) A partir de observaes, verica-se que a matria visvel no Universo, na forma de galxias e seus constituintes (estrelas, gs, poeira) correspondem a somente = 0.05 (gura 3 do prximo captulo). Entretanto, h muita evidncia da existncia de matria escura (dm ), principalmente atravs de efeitos gravitacionais, que mostram, por exemplo:
= b + dm + desconhecido

(1) que as galxias espirais nas suas partes externas giram mais rapidamente do que o esperado se a matria que as constituem fosse somente a visvel; (2) que as galxias dentro dos aglomerados tambm tm velocidades orbitais maiores do que a esperada se a massa total do aglomerado fosse somente a visvel; (3) que aglomerados de galxias se comportam como lentes gravitacionais com massa muito maior do que a estimada a partir da luz visvel. Assim, estima-se que a matria escura corresponda a dm = 0.35. Para = 1, ainda estariam faltando 0.6, o que poderia ser devido a uma constante cosmolgica no nula, ou "energia escura", representado por de , ou ainda uma "quintessncia", cuja contribuio seria representada por L , enquanto que a contribuio da matria representada por m . Outro dilema importante que surge com o modelo padro que qualquer universo isotrpico, homogneo e governado pelas equaes de Einstein, deve ter se iniciado de uma singulariedade de densidade innita. Datando-se dessa 37

1 singulariedade, a idade do universo deve ser menor que H0 (tempo de Hubble), 2 1 1 e menor que 3 H0 se q0 > 2 . Porm, medidas com datao radioativa e a teoria 2 1 de evoluo estelar no admitem idades muito menores que 3 H0 . Uma terceira questo se deve ao fato de que se sabido que o universo composto predominantemente de brions, ao invs de antibrions. Pode-se fazer uma analogia da conservao do nmero barinico com a conservao da carga eltrica e, sendo assim, o universo deveria ter um nmero igual de brions e antibrions, assim como tem de cargas positivas e negativas. Porm, conhece-se uma lei para a conservao de carga eltrica (a primeira lei de Maxwell, equao (25)), mas no h nada que garanta e arme algo semelhante para o nmero barinico. Assim, de alguma forma, brions e antibrions devem ter se separado em algum momento no passado, sem que se possa explicar tal fato com exatido pelo modelo padro. Olhando por outro lado, um dos maiores triunfos do modelo padro uma relquia do universo primitivo e quente: a radiao csmica de fundo, prevista em 1950 e observada em 1965, que tem um comportamento perfeitamente isotrpico no universo, como um espectro de corpo-negro de Planck. Outra previso que corresponde com a observao abundncia csmica de He4 . A concluso que o modelo padro da cosmologia pode estar parcialmente ou totalmente errado, abrindo espao para outros modelos, como aquele que inclui a constante cosmolgica, por exemplo, que se segue no prximo captulo.

5
5.1

A Constante Cosmolgica
O Problema da Falta de Energia no Universo

Tanto a anlise numrica da formao de galxias quanto uma srie de observaes (da frao de brions em aglomerados de galxias, do nmero de aglomerados em funo do redshift e da dinmica das galxias) indicam que a matria aglomerativa (brions mais matria escura) soma 30% 10% da energia crtica [6, 7, 8]. Ou seja, se a densidade de energia total do universo a crtica, ento, em torno de 70% dessa energia est numa forma "escura"que no afeta a dinmica de galxias e de aglomerados de galxias. Este o assim chamado problema da falta de energia. O problema da falta de energia se tornou mais evidente quando dois grupos independentes mediram as curvas de luminosidade de supernovas do tipo Ia [9]. Os resultados dos dois grupos indicam que o universo est atualmente se expandindo a uma taxa acelerada. Isso signica que o universo no hoje dominado por matria "normal", e sim por algum tipo de energia escura (de ) cuja presso negativa (na equao de estado, (245), p = -) acelera a expanso do universo [10]. No universo recente, as observaes de supernovas mostram que +0.1 = 1 0.1 , [22], logo, a densidade muito perto de uma constante cosmolgica (gura 4). Os argumentos a favor de uma componente de energia escura se tornaram ainda mais persuasivos com as ltimas observaes da radiao csmica de 38

Figura 3: Atual composio do universo, deixando claro o problema da falta de energia

[19].

fundo em microondas (RCF)[11, 12]. A localizao do pico do espectro das

anisotropias da RCF, medido com uma preciso de 10%, implica que a geometria do universo aproximadamente plana [13] (gura 5). Ou seja, existem trs conjuntos de observaes independentes que, combinados, constituem forte evidncia da existncia de energia escura: - as observaes de galxias e aglomerados indicam que a matria escura (dm ) mais a barinica(b ) s respondem por 40% ou menos da densidade de energia crtica; - as supernovas do tipo Ia indicam que mais de 50% da densidade de energia escura; - as anisotropias da RCF indicam que a densidade de energia total aproximadamente igual densidade crtica (signicando um universo plano, de forma que necessria mais alguma forma de energia-matria para tornar k = 0 e = 1). Essas observaes implicam, portanto, que a densidade total do universo quase idntica densidade crtica, = /c = 1.05 0.1, onde um tero da densidade de energia corresponde a matria normal ou escura, e dois teros correspondem energia escura. A candidata mais tradicional para o posto de energia escura a constante 39

Figura 4: O diagrama mostra a provvel evoluo das componentes do universo desde

o seu surgimento, no Big Bang, indicando que a fora de repulso (inverso atrao gravitacional) da energia escura aumenta com a evoluo do tempo do universo. [23].

cosmolgica, ou energia de vcuo. Uma constante cosmolgica , cuja presso p = = /(8G) causa a acelerao da expanso do universo, poderia dar
conta dos 70% da densidade de energia faltantes, sem interferir com a formao de galxias (j que se trata de uma constante cosmolgica, ela no possui nem induz inomogeneidades nos outros campos de matria). Entretanto, a constante cosmolgica padece de graves diculdades [14, 15]: - o problema do ajuste no: a escala de energia de vcuo dezenas de ordens (120!!!) de magnitude menor que as escalas conhecidas em fsica de partculas elementares. - o problema da coincidncia: por que a constante cosmolgica estaria se tornando dominante justamente nesta poca (nos ltimos cinco bilhes de anos) e no em qualquer outra? Se ela dominasse qualquer outra poca, no se formariam estruturas [3] no universo. 40

Figura 5: O diagrama mostra como deveria ser o fundo de microondas do universo

nos trs casos possveis, o primeiro, correspondente a um universo plano (conrmado pelas observaes), de forma que o universo tem a densidade crtica. Caso a massa do universo fosse muito maior, ou muito menor, o tamanho das regies de diferentes temperaturas, que aparecem em azul e amarelo pareceria maior ou menor, respectivamente. [21].

5.2

Modelos com uma Constante Cosmolgica

Quando Einstein formulou a teoria da Relatividade Geral, em 1916, acreditava que o universo era esttico. Considerando suas equaes em uma mtrica para um universo isotrpico e homogneo, ou seja, a forma dada pela mtrica de Robertson-Walker (181):
gtt = 1, git = 0, gkj = R2 (t) gij (x)

(213)

Onde t uma coordenada csmica de tempo, i e j so as coordenadas espaciais comveis (r, e ), e g ij a mtrica para o espao maximalmente simtrico:
g rr g g g ij = (1 kr2 )1 = r2 = r2 sen2 = 0, para i = j

(214)

com k igual a +1, -1 ou 0. Os nicos elementos que no vo a zero para essa mtrica so
t ij i tj i jk g = RR ij i R = R j 1 1 il g = 2 ( g ) ( xlj k +

(215)
g lk xj

g jk ) xl

i jk

Seus tensores de Ricci (equao (118))tm os elementos

41

R Rtt = 3R Rti = 0 ij (RR + 2R 2 ) Rij = R gij

(216)

ij o tensor de Ricci espacial calculado da mtrica g onde R ij k l k l ij = ki ij + (217) R li kj ij kl j x xk ij diretamente (o que daria Para no haver a necessidade de se calcular R muito trabalho), basta lembrar que g ij uma mtrica de um espao maximal-

mente simtrico e, dessa forma, o tensor de Ricci toma a forma de:

R = 1 g R N

(218)

E assim tem-se:
ij = 2k g R ij

(219)

Juntamente com (216), tem-se as componentes do espao - espao de um tensor espao - tempo de Ricci,
+ 2R 2 + 2k ) Rij = (RR gij

(220)

Mas o tensor energia-momento deve ter, como foi visto em (187), a forma de um uido perfeito T = pg + (p + )U U (221) Onde p e so funes de t, e U dado por (186). O termo que representa uma fonte nas equaes de Einstein , ento,
1 S T g T 2 S = 1 ( p)g + (p + )U U 2

(222)

E (213), (186) e (222) resultam em

Stt = 1 ( + 3p) 2

(223) (224) (225)

Sit = 0 Sij = 1 ( p)R2 g ij 2

Finalmente, com as equaes de Einstein (de (145)),

R = 8GS

42

e juntando as equaes (216), (220), (223), (224) e (225), a componente tempotempo resulta em
= 4G( + 3p)R 3R

(226) (227)

E a componente espao-espao,
+ 2R 2 + 2k = 4G( p)R2 RR

Por m, a componente espao-tempo resulta em 0. de (226) e (227), e acha-se a equao diferencial de Pode-se eliminar R primeira ordem em R(t): 2 + k = 8G R2 R (228)
3

Alm disso, lembrando-se da equao de conservao de energia (189),

pR 3= d 3 (R [ + p]) dt

Ou, de forma equivalente,

d (R3 ) = 3pR2 dR

(229)

Tem-se uma equao de estado para p = p(), e pode-se determinar em funo de R. Se a densidade de energia do universo dominado por matria no-relativstica com presso quase nula, ento (229) d
R 3 para p

(230)

e se a densidade de energia dominada pelas partculas relativsticas, como os ftons, ou seja, radiao, ento p = /3 e (229) dar
R4 para p = 3

(231)

Assim, retornando teoria formulada por Einstein de um universo esttico, de acordo com (226) e (227), o fator de escala R(t) pode ser constante apenas se
= 3p = 3k 8GR2

O que exige que ou a densidade de energia ou a presso p devam ser negativas. Para evitar um resultado que no tivesse signicado fsico, Einstein modicou suas equaes adicionando uma constante cosmolgica , como j foi visto em (150), de forma que ainda preservasse a estrutura em que T igual a um tensor que contrudo a partir de g e sua primeira e segunda derivadas, e linear na segunda derivada de g :
1 R g R g = 8GT 2

(232)

43

Mas, para o sentido cosmolgico atual, ca mais conveniente trocar g de lado nas equaes, movendo-o para o lado direito de (232). E, dessa forma, escreve-se
1 R g R = 8GT 2 um tensor energia-momento modicado onde T T g T 8G

(233)

(234)

tambm Se T tem a forma de um uido perfeito (como em (221)), ento T tem = p T g + ( p+ )U U (235)

Com uma densidade e presso ento modicada, denidas por

p = p 8G = + 8G

(236)

E toda a teoria previamente desenvolvida pode ser utilizada com a constante cosmolgica, apenas substituindo as quantidades p e por p e . Em particular, para um universo esttico, tem-se,
p = 3 p= 3k 8GR2

(237)

E considerando que o universo fosse preenchido com "poeira", ou seja, matria barinica (b ) que no exerce presso, tem-se p = 0, e ento
k = R2 = 4G

(238) (239)

Mas, para ser positiva, v-se em (239) que deve ser positivo, e (238) diz que
k = +1

(240) (241)

1 R=

O universo esttico de Einstein era tambm nito, com uma curvatura positiva e uma densidade que eram xas pelas constantes G e . Porm, como j foi exposto, a partir dos anos 1920, foram descobertas sistemticas relaes entre o redshift e as distncias dos elementos do universo, de forma que o universo esttico no foi mais considerado realista. Foi apenas recentemente que, com a descoberta de outros fatores de presso e densidade no universo, que a 44

constante cosmolgica se tornou uma possibilidade lgica para a dinmica do universo. Pensando em modelos com presso zero, tem-se que (229) resulta em R3 constante, e conveniente expressar essa constante em termos do valor que se teria em um universo Esttico de Einstein:
R3 = 4G

(242)

E a equao dinmica (228), com substituida pela densidade modicada resulta em

3 2 = 1 [ R kR + 2 ] R R 3 3

(243)

Assim, o comportamento de R(t) nessa ltima equao (gura 6) depende de vrias maneiras do fator do lado direito, e h trs casos de interesse:

do tempo, em vrios cenrios. Com H=H0 em t=t0 (tempo atual), com k = +1 o universo seria fechado e nito (e colapsaria em algum futuro), com k=-1, o universo seria aberto e innito, e com k=0, plano e innito. O universo de de Sitter um cenrio exponencial com uma grande [2].

Figura 6: Escala de R(t) (distncia mdia entre as galxias, por exemplo), dependente

5.3

Constante Cosmolgica Forte - Modelo de De Sitter

Incluindo nas equaes (226) e (228) (que so as equaes de Friedmann) o termo da constante cosmolgica, tem-se 45

onde, para p = 3 , pode-se escrever

R 4G = ( + 3p) + R 3 3

(244)

R 4G = (1 + ) + R 3 3

(245)

E, a segunda equao,
H2 ( R 8G k )2 = 2 + R 3 R 3 R )2 = R 3

(246)

Supondo-se = k = 0 (universo plano e sem matria), tem-se que

H2 = (

(247) (248)

e tambm,

Nesse caso, as duas equaes (que representam a velocidade e a acelerao do fator de escala R(t)) tm o mesmo termo nos seus respectivos lados direitos e, ainda, a acelerao positiva. Para descobrir que tipo de densidade daria o mesmo resultado, faz-se k = 0 apenas,
H2 = ( R 8G )2 = R 3

R = R 3

(249)

R 8G = (250) R 3 que verdade apenas para = 3 ou p = . Da equao de conservao = 3H ( + p), isso s acontece se = constante. Ou seja, uma densidade constante com a equao de estado p = age exatamente a uma Constante

Cosmolgica. A soluo automaticamente uma inao exponencial, chamada de modelo de de Sitter. Nesse modelo, o espao vazio e plano, tal que k = = 0, e > 0 (na verdade, alm disso, a constante cosmolgica deve ter um valor muito grande, tal que 1, e chama-se de Constante Cosmolgica Forte ). A soluo de (243) simplesmente
R eHt H = ( )1/2 3

(251) (252)

A mtrica aqui a mesma que em um modelo de estado estacionrio com a diferena que, ao invs da matria ser criada continuamente, apenas no h matria. Assim, esse modelo no pode ser encarado como um modelo realista do universo, apesar de que, em ltima instncia, todos os outros modelos cosmolgicos tendem ao modelo de de Sitter para R tendendo ao innito. 46

5.4

Constante Cosmolgica Fraca

Em contrapartida ao modelo anterior, pode-se tambm haver densidades que do uma acelerao positiva (i.e. inao) mas no do a mesma velocidade e acelerao nos lados direitos de (246) e (245). A acelerao garantida se < 1, o que d p < 1/3. Ou seja, presso negativa resulta em inao, porm, a inao devido a < 1 no ser exponencial, mas um pouco mais fraca, e esse modelo chama-se de Constante Cosmolgica Fraca. Essa constante mais legtima a ser a constante cosmolgica real, j que, diferentemente da Forte, ela pode variar, ou seja, = 8Gvacuo , pode variar.
5.5 Outros Modelos: Lematre e Eddington-Lematre

No modelo de Lematre, o espao positivamente curvado, positivo e h mais matria presente do que em um modelo esttico de Einstein. Tem-se que k = +1, e > 1. De acordo com a equao (243), o fator de escala R se expande a partir de t = 0 com t2/3 , mas a expanso, ento, vai lentamente, atingindo uma razo tem seu mnimo. Durante esse perodo, a mnima em R = 1/3 / em que R equao diferencial (243) com k= +1 toma a seguinte aproximao
2 R 2/3 1 + ( R 1/3 )2

E a soluo
1/3 R = [1 + (1 2/3 )1/2 sinh( (t tm ))] (253) chega ao seu mnimo. Se quase igual a o tempo em que R

onde tm 1, ento R ser quase igual ao valor do universo esttico de Einstein para um tempo grande, na ordem de
t = 1/2 [ln(1 2/3 )]

(254)

O modelo de Eddington-Lematre o caso limite dos modelos de Lematre. Tem a mesma curvatura e massa do modelo esttico de Einstein (k= +1 e = 1), e se comporta como um modelo de Lematre com um perodo innitamente longo. Assim, se em t = 0, tem-se R = 0, ento R se aproxima assintticamente ao valor de Einstein 1/ para t . Por outro lado, se em t = 0 se tem R = 1/ , ento R crescer monotonicamente aproximando-se, no nal, ao crescimento exponencial de de Sitter (251), causando um modelo de Einstein instvel, j que se ele est sujeito a uma expanso ou contrao innitesimal, ento R deve expandir ou contrair, com uma dependncia no tempo dada pelo modelo de Eddington-Lematre.

47

5.6

Qual o modelo (a equao de estado) do universo?

O modelo de de Sitter s seria real se o universo no fosse preenchido por matria, e sua importncia, na verdade, d-se para estgios muito novos da formao do universo. A chamada poca da Inao Cosmolgica, quando o universo aumentou exponencialmente seu fator de escala em apenas alguns minutos de existncia. Por muitos anos, os dados observacionais dos redshifts de quasares em torno de z 2 despertaram interesse nos modelos de Friedman-Lematre, j que parecia que havia um grande nmero desses quasares com valores do fator de escala R R0 /3, como se esperaria nesse modelo (j que os raios tm o valor particular de 1/3 / ). Porm, h cerca de 10 anos, com as descobertas observacionais das supernovas do tipo Ia (descoberta de que o universo est em expanso acelerada, hoje conrmada pelos dados do WMAP (Wilkinson Microwave Anisotropy Probe, [25])) e o fato de que as anisotropias da RCF indicam que a densidade de energia total aproximadamente igual densidade crtica; provalvelmente h ainda um termo que corresponde presso negativa. Na gura 7, que uma extenso atualizada da gura 6, as curvas mostram um universo fechado ( = 2), um universo com densidade crtica ( = 1), um universo vazio ( = 0), um universo pelo Modelo Estacionrio (steady state model) e, nalmente, os dados do WMAP ([25]) baseados no modelo com m = 0.27 e de = 0.73 . Os dados mostram que o que mais se encaixa um universo acelerado com baixos redshifts e desacelerado a altos redshifts, consistente com um modelo com uma constante cosmolgica e uma quantidade signicativa de matria escura. Finalmente, olhando-se apenas para qual modelos os dados tam melhor, o modelo de universo plano com energia e matria escura (CDM), tal que = -1, parece o mais adequado. Como a constante cosmolgica hoje, se ela existir, deve ser positiva e pequena, necessrio compreender porque ela diminiu tanto nestes 13.7 bilhes de anos do universo. Alm disso, h o problema da coincidncia: a densidade de matria e a densidade de energia escura, hoje, so praticamente iguais e no h razo nenhuma para isso. Assim, no existe nenhum teoria que explique todos esses fatos sobre a constante cosmolgica, de forma que a questo da equao de estado do universo e da existncia ou no da constante cosmolgica ainda est em aberto, sendo uma das reas atuais de estudos mais quentes na Fsica.

Concluso

A evidncia observacional de uma variedade de fontes freqentemente apontam para um universo que (pelo menos, aproximandamente) espacialmente plano, com (m , de ) (0.3, 0.7). As condies de nucleossntese (formao dos ncleos atmicos nos primeiros instantes do universo) implicam que (b ) (0.04) e, assim, a grande parte da matria do universo est na forma no-barinica. Em tempos remotos, a constante cosmolgica deveria ser um termo negli48

Figura 7: Vrios grupos esto medindo as distncias das supernovas com o objetivo de determinar se o universo aberto ou fechado, medindo curvas no diagrama de Hubble. Nessa gura, observa-se a velocidade radial das supernovas vezes as suas distncias. As linhas pontilhadas so modelos alternativos, como o modelo de Einstein-de Sitter, um modelo CDM fechado e um modelo envolvendo supernovas [24]. gencivel, enquanto em tempos posteriores, a densidade de matria deveria ser aproximadamente zero e o universo vazio. Assim, a poca atual uma era bastante breve, cosmologicamente falando, tal que ambos, matria e vcuo, so de magnitudes comparveis. Na componente de matria, h aparentemente contribuies de fontes barinicas e no-barinicas, ambas tambm comparveis (j que suas razes independem do tempo). Neste contexto, o que urge determinar a equao de estado da energia escura, de forma a determinar se essa deve variar com o tempo ou no (conrmando ou rejeitando a constante cosmolgica em relao ao campo escalar de uma quintessncia). Mas tambm resta descobrir se h realmente alguma equao de estado efetiva de algum componente da energia escura no tensor energia momento ou essa uma equao de estado forada obtida pelos ajustes de dados de algum modelo de gravitao. Alm disso, novos tipos de experincias devem ser feitas, como por exemplo, achar que parmetros da energia escura so necessrios para a existncia da constante cosmolgica, e test-los nas equaes de estados de forma a determinar 49

um modelo dinmico decisivo para os modelos da energia escura. Um outro ngulo do problema devido ao fato que, como foi visto, a Relatividade Geral prediz que o contedo de energia e massa do universo cria uma curvatura no espao-tempo. Porm, se o espao-tempo tem curvatura na ausncia de fontes de massa e energia, e essa curvatura no devida a energia de vcuo, ento resta saber o que a gera. Considerando-se a constante cosmolgica, o espao-tempo tem uma curvatura intrnsica constante. Assim, um dos grandes desaos cientcos da era atual justamente conrmar (ou refutar) e explicar esse cenrio to extico, tornando, atualmente, a cosmologia uma rea de pesquisa extremamente estimulante.

Referncias
[1] S. Weinberg, Gravitation and Cosmology (1972). [2] M. Roos, An Introduction to Cosmology (2003). [3] J. Horvath et al., Cosmologia Fsica (2006) [4] J. W. Norbury, General Relativity and Cosmology for Undergraduates (2006) [5] Mustapha Ishak, Remarks on the formulation of the cosmological constant/dark energy problem, astro-ph/0504416v2. [6] S. White and M. Rees, Mon. Not. R. Astron. Soc. 183:311 (1978); C. Frenk, S. White and M. Davis, Nature 317: 595 (1985); 2dFGRS Team (Will J. Percival et al.), astro-ph/0206256. [7] J. Ostriker and P. Steinhardt, Nature 377: 600 (1995). [8] N. Bahcall, J. Ostriker, S. Perlmutter and P. Steinhardt, Science 284: 1481 (1999); L. Wang, R. Caldwell, J. Ostriker and P. Steinhardt, Astrophys. J. 530: 17 (2000). [9] S. Perlmutter et al, Nature 391: 51 (1998); A. Riess et al, Astron. J. 116: 1009 (1998). [10] I. Waga and J. Friemann, Phys. Rev. D62: 043521 (2000);A. Balbi et al., Astrophys. J. 547: L89-L92 (2001). [11] P. de Bernardis et al., Nature 404: 955 (2000); C. Nettereld et al., astroph/0104460. [12] S. Hanany et al., Astrophys. J. 545: 5 (2000). [13] A. Jae et al., Phys. Rev. Lett. 86: 3475-3479 (2001). [14] S. Weinberg, Rev. Mod. Phys. 61:1 (1989). 50

[15] S. Carroll, Living Rev. Rel. 4: 1 (2001), astro-ph/0004075. [16] Pgina disponvel em http://fma.if.usp.br/ steinkirch/lectures/ProjetoMestrado.pdf. [17] Pgina disponvel em http://relativity.livingreviews.org/Articles/lrr-2001-1/index.html, ltimo acesso em 18/11/2007. [18] Pgina disponvel em http://en.wikipedia.org/wiki/Cosmological-constant, ltimo acesso em 18/11/2007. [19] Pgina disponvel em http://www.lsst.org/Science, ltimo acesso em 10/11/2007. [20] Pgina disponvel em http://www.astro.queensu.ca/ dursi, ltimo acesso em 10/11/2007. [21] Pgina disponvel em http://www.if.ufrgs.br/ thaisa/s2003/darkenergy/darkenergy.html, ltimo acesso em 19/11/2007. [22] Pgina disponvel em http://cosmicvariance.com/2006/11/16/dark-energy-has-long-been-darkenergy-like/, ltimo acesso em 19/11/2007. [23] Pgina disponvel em http://hubblesite.org/newscenter/archive/releases/2006/52/image/d/, ltimo acesso em 19/11/2007. [24] Pgina disponvel em http://arxiv.org/abs/astro-ph/0611572 , ltimo acesso em 19/11/2007. [25] Pgina disponvel em http://map.gsfc.nasa.gov/, ltimo acesso em 19/11/2007.

51