Академический Документы
Профессиональный Документы
Культура Документы
DEPARTAMENTO DE FÍSICA
Feira de Santana
2009
EDINELSON PEREIRA DOS SANTOS
Feira de Santana
2009
EDINELSON PEREIRA DOS SANTOS
BANCA EXAMINADORA
———————————————————————–
Prof. Dr. Alexandre Manoel de Morais Carvalho
Departamento de Fı́sica - UEFS
———————————————————————–
Prof. Dr. Carlos Alberto de Lima Ribeiro
Departamento de Fı́sica - UEFS
———————————————————————–
Prof. Dr. Josevi de Souza Carvalho
Departamento de Fı́sica - UEFS
Dedico este trabalho a meu pai Luiz, minha
mãe Edinalva e aos meus irmãos, Val,
Luciano, Ney, Iana e Patrı́cia e minha
esposa Lane, que sempre apoiaram todas as
decisões, confortaram-me nos momentos
difı́ceis e proporcionaram momentos de
muita alegria e aprendizado ao vosso lado.
Agradecimentos
In general, the parallel transport of vectors in curved space-time might result in angle
défict between the initial and final vector direction. In this work our starting point was
to discuss the dynamical behavior and the geometric framework of Cosmological Models
more common that describe the universe, specially the Friedmann and Einstein de Sitter’s
and the Friedmann-Lemaitre’s. All the models are based on the relativistic cosmology
theory. Once we described the respective models, all were analyzed in agreement with
its hypothesis, to be possible from there to deduce what better indicates the accelerated
expansion of the Universe, the cosmic background radiation and the Standard Theory.
Next, we applied parallel transport of vectors around circular orbits in the FRW’s space-
time, where we found a very interesting result. We observed that in the FRW’s space-time
the parallel carried vector acquire a angle défict after n entire turns in the equatorial plane,
except for orbits with determinate radius called critic radius. This kind of quantization
is also known as invariant band of holonomy.
Sumário
1 Introdução geral 12
3 Modelos Cosmológicos 24
3.1 Modelos de Friedmann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
3.2 Modelo de Einstein-de Sitter . . . . . . . . . . . . . . . . . . . . . . . . . . 27
3.3 Modelo de de-Sitter . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
3.4 Modelo de Lemaı̂tre. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
6 Conclusões 52
Referências
Lista de Tabelas
1 Valores de ω quando feito o transporte paralelo do vetor em órbitas equatoriais
constante com tempo para os devidos valores de k. . . . . . . . . . . . . . . . 46
2 Valores de ω quando feito o transporte paralelo do vetor em órbitas equatoriais
para os devidos valores de k, considerando o Universo não-estático. . . . . . . . 49
Lista de Figuras
1 Evolução do Universo para o modelo de Friedmann Fechado, R × t. . . . . . . . 27
2 Evolução do Universo para o modelo de Friedmann Aberto, R × t. . . . . . . . . 27
3 Evolução do Universo para o modelo de Einstein-de Sitter, R × t. . . . . . . . . 28
4 Evolução do Universo para o modelo de de Sitter, R × t. . . . . . . . . . . . . 30
5 Evolução do Universo para o modelo de Lemaı̂tre. . . . . . . . . . . . . . . . . 31
6 Um triângulo esférico APB. . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
7 Triângulo construı́do em linhas curvas em um espaço plano. . . . . . . . . . . . 33
8 Transporte paralelo sobre um triângulo esférico. . . . . . . . . . . . . . . . . . 33
9 O vetor paralelo de xa + δ̄xa em Q. . . . . . . . . . . . . . . . . . . . . . . . 34
10 Transporte de V a no caminho infinitesimal fechado. . . . . . . . . . . . . . . . 36
12
1 Introdução geral
e não ao tempo, já que, por exemplo, homogeneidade temporal implicaria um Universo
estacionário no tempo, sem inı́cio ou evolução alguma, e assim em conflito com as ob-
servações. Como veremos, os cosmólogos Robertson e Walker foram os responsáveis de
mostrar que a forma das equações de Friedmann é única se o Princı́pio Cosmológico
é sastifeito e a Relatividade Generalizada descreve a gravitação, estabelecendo assim a
chamada Cosmologia Padrão de Friedmann-Robertson-Walker (FRW) [1]. Em sı́ntese a
cosmologia de FRW se baseia em três tópicos. A saber: o Principiio Cosmológico, A
Relatividade Geral e a idealização do Universo como um fluido perfeito.
g αγ Rαβγδ = Rβδ
= K(3gβδ − gβδ )
onde Rβδ é conhecido como tensor de Ricci [7]. Considere agora um espaço 3-dimensional,
e que este seja isotrópico em torno de cada ponto. Logo teremos uma simetria esférica
em torno de cada ponto. Isto resulta no elemento de linha que é da forma [9]:
onde λ(r) é uma função de r, pois para um sistema isotrópico e homogêneo, podemos
escrever as coordenadas em um sistema esférico e considerar somente a coodenada radial
[4]. O que precisamos agora é encontrar a forma de eλ . Pela equação (3), temos que os
tensores métricos são:
Note que pela equação (2), a relação entre Rβδ e gβδ pode nos dar informação a respeito
de eλ . Sendo assim, faremos os cálculos para as componentes dos tensores de Ricci [7],
que é dado pela equação:
onde os elementos “ Γαµν ” são conhecidos como sı́mbolos de Christoffel. Para calcular o
tensor de Ricci é preciso calcular, antes, os sı́mbolos de Christoffel que pode ser escrito
em termos das componentes do tensor métrico do espaço-tempo como [7]:
1
Γαβγ = g αν (∂β gνγ + ∂γ gνβ − ∂ν gβγ ), (7)
2
onde este tem uma relação de simetria, nos dois ı́ndices inferiores, tal que: Γαβγ = Γαγβ .
Assim pelas equações (4) e (5) temos10 :
1 1 1
Γ111 = g 11 (∂1 g11 + ∂1 g11 − ∂1 g11 ) = e−λ(r) [∂1 (eλ(r) )] ⇒ Γ111 = λ̇(r).
2 2 2
Pelo mesmo procedimento encotramos:
1
Γ111 = λ̇(r); (8a)
2
Γ112 = Γ121 = Γ123 = Γ132 = Γ113 = Γ131 = Γ213 = Γ211 = Γ222 = Γ231 = Γ223 = Γ232 = 0; (8b)
+ Γ111 Γ111 + Γ211 Γ121 + Γ311 Γ131 + Γ111 Γ212 + Γ211 Γ222 + Γ311 Γ232 +
+ Γ111 Γ313 + Γ211 Γ323 + Γ311 Γ333 − Γ111 Γ111 − Γ211 Γ121 − Γ311 Γ131 −
− Γ112 Γ211 − Γ212 Γ221 − Γ312 Γ231 − Γ113 Γ311 − Γ213 Γ321 − Γ313 Γ331
λ̇
R11 = .
r
Pelo mesmo procedimento encontramos:
λ̇
R11 = 2Kg11 ⇒ = 2Keλ(r) . (10a)
r
1
R22 = 2Kg22 ⇒ rλ̇e−λ − e−λ + 1 = 2Kr2 . (10b)
2
e−λ λ̇
Com as equações (10) temos: r = 2K
. Substiduindo em R22 :
1 e−λ λ̇ e−λ λ̇ 2
( )λ̇e−λ − e−λ + 1 = 2K( )
2 2K 2K
e−2λ λ˙2 −λ 2e−2λ λ˙2
−e +1=
4K 4K
e−2λ λ˙2 2e−2λ λ˙2
− + 1 = e−λ
4K 4K
e−2λ λ˙2
1− = e−λ . (11)
4K
Logo, com o uso da equação (11) chegamos na forma de eλ , que é :
1
eλ = . (12)
1 − Kr2
Substituindo a (12) na (3) nos obtemos, para um espaço 3-dimensional de curvatura
constante, o elemento de linha:
dr2
dl2 = + r2 (dθ2 + sin2 (θ)dφ2 ). (13)
1 − Kr2
19
com hij = R(t)2 gij , onde R(t) é conhecido como fator de escala e hij é a métrica que
evolui com gij por um fator R(t)2 , igual para toda hipersuperfı́cie, com {i, j = 1, 2, 3}
[7]. No instante inicial t0 temos R(t0 ) = 1. Pela condição de ortogonalidade (em que as
geodésicas são ortogonais à famı́lia de hipersuperfı́cies), pode-se mostrar que a métrica
geral para o espaço-tempo, nessas condições, terá elemento de linha dado por12 :
combinando a equação (15) com o resultado da (13), pode ser mostrado que a métrica
que atende à cosmologia no espaço-tempo, para um Universo homogêneo e isotrópico13
possui elemento de linha dado por:
dr2
ds2 = dt2 − R(t)2 − R(t)2 r2 (dθ2 + sin2 (θ)dφ2 ). (16)
1 − kr2
Agora será analisado qual a previsão que a equação de campo de Einstein, pode fazer a
respeito do comportamento do universo de Friedmann-Robertson-Walker(FRW). Sabemos
que na Relatividade Geral de Einstein, geometria e matéria estão acopladas através das
equações de Einstein (já introduzida a constante cosmológica):
onde Gµν é o chamado tensor de Einstein, onde este é simétrico sob troca de ı́ndices, Λ é
a constante cosmológica, gµν é o tensor métrico e Tµν o tensor energia-momentum. O lado
esquerdo da equação está relacionado com a geometria e o lado direito à matéria imersa
no espaço tempo, através do tensor energia-momentum, que para um fluido perfeito, como
idealizamos anteriormente, é dado por:
onde ρ(t) e p(t) são a densidade total de energia e pressão totais (matéria mais radiação) e
uµ é a quadrivelocidade do fluido [9]. Para um meio isotrópico e homogêneo, a densidade
e pressão são funções dependente com o tempo t.
Agora vamos resolver a equação de Einstein para a métrica FRW, o que nos conduzirá
as equações de Friedmann. Para isto, é interessante observar antes que a equação de
Einstein (17) também pode ser escrita em termo do tensor de Ricci Rµν como:
1
Rµν − gµν R = Λgµν + 8πTµν , (19)
2
onde R é o escalar de Ricci dado pela contração R = g µν Rµν . Para a métrica de FRW
21
g00 = 1; (20a)
2
R
g11 = − ; (20b)
1 − kr2
g22 = −R2 r2 ; (20c)
R̈
R00 = −3 ; (23a)
R
R̈R + 2Ṙ2 + 2k
R11 = ; (23b)
1 − kr2
R22 = R̈Rr2 + 2Ṙ2 r2 + 2kr2 ; (23c)
R33 = R̈Rr2 sin2 (θ) + 2Ṙ2 r2 sin2 (θ) + 2kr2 sin2 (θ), (23d)
dR
onde usamos Ṙ = dt
. Por outro lado o escalar de Ricci pode ser expresso como:
que aplicada ao lado esquerdo da equação de Einstein (19), em conjunto com as equações
(23) e a (24), obtêm-se:
Ṙ2 k
G00 = 3 2
+ 3 2; (25a)
R R
−2RR̈ − Ṙ2 − k
G11 = ; (25b)
1 − kr2
G22 = −2R̈Rr2 − Ṙ2 r2 − kr2 ; (25c)
G33 = −2R̈Rr2 sin2 (θ) − Ṙ2 r2 sin2 (θ) − kr2 sin2 (θ). (25d)
2R̈R + Ṙ2 + k
− + Λ = 8πp, (26)
R2
e
Ṙ2 + k
3 − Λ = 8πρ, (27)
R2
onde foi usada a unidade relativı́stica. Finalmente, através da equação (27), temos o
seguinte resultado: Ã !2
Ṙ 8 1 k
= πρ + Λ − 2 . (28)
R 3 3 R
Esta é a chamada equação de Friedmann, com o fator de escala variando com o tempo
na ausência de pressão. A equação de Friedmann (28) será a base na costrução dos
modelos cosmológicos que abordaremos. Na equação (26) a pressão p engloba todo tipo
de pressão, tais como as originadas do movimento aleatório das estrelas e galáxias, pressão
de radiação dentre outras. Contudo, observações revela que na época presente a pressão
é muito pequena em comparação com a densidade de energia ρ. A razão entre estas
duas quantidade é da ordem de 10−5 à 10−6 . Consequentemente, de acordo com essas
observações do Universo presente, podemos tomar p ∼ 0 (predominância de matéria).
onde H(t) = Ṙ(t)/R(t) é o parâmetro de Hubble. Esta lei afirma que a velocidade
relativa entre os observadores fundamentais é proporcional à distância entre eles. Em
um Universo em expansão H > 0 os observadores fundamentais estão se afastando, por
isso tal velocidade é denominada velocidade de recessão. A velocidade de recessão entre
dois observadores comóveis indica como varia com o tempo a distãncia própria entre eles.
Mas como não é uma velocidade cinemática, não existe contradição com o princı́pio da
relatividade mesmo quando excede a velocidade da luz no vácuo [12].
Se considerarmos t = t0 (o tempo presente), a equação (30) fica:
onde H0 (t0 ) é a constante de Hubble. Seu valor medido experimentalmente [14], segundo
dados medidos através do satélite da NASA, Wilkinson Microwave Anisotropy Probe
(WMAP), é atualmente cerca de H0 (t0 ) = 71 ± 4Km · s−1 · M pc−1 .
Para a construção dos modelos cosmológicos, é interessante definirmos um parâmetro
que possa ser medido diretamente, nos dando informações a repeito da geometria do
24
k = (Ω − 1)Ṙ2 . (33)
Como veremos mais adiante, a equação (33) nos indica que, se Ω > 1, a energia do Universo
será suficiente para colapsá-lo, ou caso Ω = 1, o Universo terá seção espacial euclideana.
Medições mais recentes, feitas pelo satélite WMAP [15], nos dá Ω = 1, 02 ± 0.02, ou seja,
a seção espacial do Universo atual é basicamente euclideana, ou plana [14]. A equação
(33) é de grande utilidade nas descrições das propriedades geométricas do Universo.
3 Modelos Cosmológicos
Nesta seção será feito uma classificação de alguns modelos do Universo, partindo de
certas hipóteses. Os modelos que serão investigados são baseados na teoria do Big Bang
ou, tecnicamente, Teoria Padrão do Universo [8]. A teoria do Big Bang leva em conta que,
se as galáxias estão se afastando umas das outras, como observado por Edwin Hubble em
1929, no passado, elas deveriam estar cada vez mais próximas e, num passado remoto, 10
a 15 bilhões de anos atrás, deveriam estar todas num mesmo ponto, muito quente. Uma
singularidade espaço-tempo, que se expandiu no Big Bang [1]. O Big Bang, ou Grande
Explosão, criou não somente a matéria e a radiação, mas também o próprio espaço e o
tempo [4]. Esse seria o inı́cio do Universo observável.
25
8πρR3
Ṙ2 = − k. (34)
3R
M
Tomando R3 ∼ V , podemos fazer ρ ≈ R3
. Substituindo na (34), temos o seguinte
resultado:
C
Ṙ2 = − k, (35)
R
8πM
onde C = 3
é uma constante. Agora a nossa tarefa é resolver a equação (35), para daı́
descrever os modelos proposto por Friedmann.
Para um Universo em que a densidade de matéria é maior que a densidade crı́tica, ou
seja, ρ > ρc , o que implica que o parâmetro de densidade Ω > 1 e tomando k = +1, a
equação (35) torna-se:
C
Ṙ2 = − 1. (36)
R
Neste caso será conveniente introduzir uma nova variável temporal η, onde:
dt
= R, (37)
dη
26
R2 Ṙ2 = RC − R2
dt dR 2
( ) = RC − R2
dη dt
dR
( )2 = RC − R2
dη
2
d R dR dR dR
2 2 =C − 2R
dη dη dη dη
d2 R C
= − R, (38)
dη 2 2
C
chamando R = Aepη + 2
temos:
C
R = Aepη + ;
2
dR
= Apepη ;
dη
2
dR
2
= Ap2 epη ,
dη
substituindo na equação (38) podemos ver que p = ±i. Assim a solução geral da equação
diferencial (38) pode ser expressa por:
C
R(η) = Aeηi + Be−ηi + ;
2
c
R(η) = (A + B) cos(η) + i(A − B) sin(η) + .
2
Tomando a parte real e fazendo R(0) = 0 quando η → 0, temos que A + B = − C2 . Assim:
C
R(η) = (1 − cos(η)). (39)
2
Substituindo na equação (37) e integrando, admitindo η0 = 0 quando t0 = 0, podemos
chegar facilmente na:
C
t= (η − sin(η)). (40)
2
As equações (39) e (40) formam uma equação parametrizada de uma ciclóide. Este
modelo é chamado de Modelo de Friedmann Fechado. Neste modelo o Universo é
finito e possui geometria semelhante a de uma superfı́cie esférica.
O gráfico da figura 1 mostra o comportamento de R(t) com o tempo t para as equações
parametrizadas (39) e (40). Observe que o Universo se expande e em um tempo futuro
colapsa (big crunch) e novamente se expande, continuando tudo novamente. Este modelo
também é chamado de oscilatório devido a este comportamento[6]. Veja a figura 1. De
27
R(t)
R(t)
R(t)
Ct
grande velocidade inicial. Até há poucos anos, os teóricos aceitavam esta previsão como
verdadeira, e apenas se dividiam em duas preferências principais: uma corrente, ligada aos
astrofı́sicos, que acreditava numa baixa densidade de matéria, algo como trinta porcento
da densidade crı́tica, e que portanto o modelo apropriado era o de Friedmann aberto;
outra, principalmente dos fı́sicos trabalhando na teoria dos campos, preferia a de Einstein-
de Sitter. No entanto, recentemente apareceu um novo resultado que ninguém o esperava.
Da análise conjunta dos dados da radiação cósmica de fundo das observações de estrelas
supernovas distantes, dois grupos independentes, liderados por A. G. Riess e S. Perlmutter,
chegaram à conclusão que: não só o Universo está em expansão, mas a taxa à qual se
expande está crescendo com o tempo, ou seja, o Universo está acelerando [8].
No modelo de de-Sitter o Universo não contém matéria mas apenas a cosntante cos-
mológica Λ. Sua estrutura geométrica é plana [7], ou seja, k = 0. Assim, assumindo que
p = ρ = 0 a equação (27) nos fornece:
Ṙ2
3 − Λ = 0;
R2 r
Ṙ Λ
= ;
R r3
dR Λ
=R . (43)
dt 3
Integrando a eq. (43) encontramos a relação do fator de escala com o tempo dada por:
√Λ
t
R(t) = Ae 3 , (44)
R(t)
R(t)
t
t
surgiu o chamado cenário inflacionário do Universo primordial, onde afirma que em uma
época muito curta, logo após o nascimento do Universo, este se expandiu de forma muito
rápida, como no modelo de Sitter. Isso antes de começar a fase de expansão “normal”, que
é descrita pelos modelos de Friedmann e seus sucessores [8]. Considerando que o estado
inflacionário elimina qualquer curvatura que o Universo pudesse ter [8], de tal forma que
após a inflação, o Universo teria curvatura nula (k = 0). Assim, podemos afirmar que o
modelo de de Sitter descreve mutio bem o cenário inflacionário.
C 1
Ṙ2 = + ΛR2 . (46)
R 3
Esta é a equação diferencial à qual sua solução nos conduzirá ao modelo do cosmo proposto
2Λ 3
por Lemaı̂tre. Para isto vamos introduzir uma nova variável x dada por x = 3C
R .
Derivando x em função do tempo temos:
dx 2Λ 2 dR
= R , (47)
dt C dt
elevando os dois lados da equação (47) ao quadrado e substituindo na equação (46) obte-
31
mos:
dx
= 3Λ(2x + x2 ),
dt
que integrando para um modelo de Big Bang em que x0 = 0 quando t0 = 0, chegamos a:
Z x Z t
dx
√ = 3Λdt = 3Λt,
0 2x + x2 o
2Λ 3
como cosh(z) = (x + 1) = ( 3C R + 1) = cosh(3tΛ), então finalmente chegamos a solução
da equação diferencial (46) que é dada por [7]:
r
3C
R(t) = (cosh(3tΛ) − 1). (50)
2Λ
Plotamos o gráfico da equação (50) e o resultado está na figura 5. Observe que a curva
R(t)
R(t)
t t
Aqui, discutiremos a respeito de uma ferramenta matemática muito útil para analisar
curvaturas, onde tal ferramenta é denominada de transporte paralelo. Uma noção intuitiva
de transporte paralelo consiste em deslocar um vetor ao longo de uma curva e verificar a
mudança na orientação do vetor após o transporte, isso nos informará se tal região a qual a
curva pertence possui curvatura ou não. Para ilustrar, considere a Figura 6, em que duas
linhas próximas, perpendiculares ao equador, partem dos pontos A e B paralelamente
uma da outra. Quando contı́nuas essas linhas, localmente retas, descrevem um arco de
um grande cı́rculo, e as duas linhas se encontram no pólo P . Linhas paralelas, quando
contı́nuas, se não permanecem paralelas dizemos que o espaço é não plano[9].
rastando paralelamente este vetor até P e de P até B, é fácil perceber que quando chegar
em B, este novo vetor estará perpendicular ao equador. Finalmente, feito o transporte
paralelo de B até A, observamos que o campo vetorial foi, por construção, rotacionado
em 90◦ . Essa construção feita na esfera é justamente o que chamamos de transporte
paralelo[9].
Para uma definição matemática mais precisa, consideremos um campo vetorial X a (x)
avaliado no ponto Q, com coordenada xa + δxa próximo ao ponto P , com coordenada xa .
Expandindo em série de Taylor, em torno de x, temos que:
Veja que δX a (x) é uma quantidade não tensorial, pois não se transforma como um tensor,
uma vez que envolve diferença de tensores avaliados em pontos distintos.
Agora vamos construir a definição de derivada covariante a partir do transporte de
vetores, introduzindo um vetor em Q que é “paralelo” a X a em P ( Veja figura 9). Desde
34
que xa + δxa seja fechado em xa , podemos assumir que o vetor paralelo difere de X a (x)
somente por uma pequena quantidade que aqui vamos chamar de δ̄X a (x) , como mostra a
Figura 9. Observe que δ̄X a não é uma tensor, pois também envolve diferença de tensores
criando assim um vetor diferença que é um tensorial [7], já que está sendo avaliado no
mesmo ponto x. É fácil observar que δ̄X a (x) será nulo quando X a (x) ou δxa também o
ser. Então por uma simples definição podemos assumir δ̄X a (x) linear com X a (x) e δxa ,
o que significa que existe um fator mutiplicativo Γabc onde:
O sinal de menos é introduzido por convenção. A equação define a lei geral de transporte
de um vetor X a definido em x para o vetor X a + δX a no ponto x + δx. A quantidade Γabc
é chamada de conexão afim ou simplesmente conexão. Agora feito o transporte do vetor
ao longo do caminho do ponto P até o ponto Q, podemos definir a derivada covariante
de um vetor, que chamaremos de:
∇c X a , (55)
1
∇c X a = lim c
{X a (x + δx) − [X a (x) + δ̄X a (x)]}.
cδx →0 δx
35
1
∇c X a = lim [X a (x) + δxb ∂b X a − X a (x) + Γabc X b δxc ];
δx →0 δxc
c
1
∇c X a = lim {δxb ∂b X a + Γabc X b δxc };
δxc →0 δxc
∇c X a = ∂c X a + Γabc X b . (56)
DV b (λ) dxa
= X a ∇a V b = (∂a V b + Γbca V c ) = 0, (57)
dλ dλ
esta é uma equação diferencial de primeira ordem para V b , em que fornecendo um valor
inicial para V b , a saber V b (P ), a equação (57) determina um vetor ao longo da curva, que é
transportado paralelamente a V b (P ). Usando esta notação, uma geodésica afim é definida
como uma curva privilegiada em que o vetor tangente ao longo da curva é propagado
paralelamente a si mesmo[7]. Em outras palavras, um vetor propagado paralelamente é
paralelo em todo ponto da curva, de modo que é proporcional ao vetor tangente no ponto,
ou seja:
X a ∇a X b = q(λ)X ( b), (58)
onde q(λ) é uma função arbitrária de λ . Usando a equação (56) na (58), temos:
dxa dxb
(∂a X b + Γbca X c ) = q ;
dλ dλ
dxa ∂ dxb dxb
( a( ) + Γbca X c ) = q ;
dλ ∂x dλ dλ
d2 xb c
b dx dx
a
dxb
+ Γca =q . (59)
dλ2 dλ dλ dλ
Se a curva é parametrizada de tal maneira que q desapareça (isto pode ser feito trans-
dxa
portando paralelamente o próprio vetor tangente a curva X a = dλ
), então o parâmetro é
36
d2 xb c
b dx dx
a
+ Γ ca = 0. (60)
ds2 ds ds
A equação (60) é chamada de geodésica afim [7], ou seja, uma curva privilegiada em que
o vetor tangente é propagado paralelamente a si mesmo. Um parâmetro afim é somente
definido por uma transformação afim do tipo s → as + b, onde a e b são constantes. A
equação (60) define precisamente as linhas geodésicas no espaço afim.
No espaço euclidiano podemos caracterizar uma linha reta pelo fato de que um vetor
arbitrário tangente a tal reta permaneça paralelo a ela quando deslocado ao longo da
mesma. A equação (60) traduz esta caracterização para uma situação geral em que o
espaço-tempo é curvo. Esta “linha reta” generalizada é chamada de geodésica.
Vejamos agora um resultado interessante: considere um caminho infinitesimal fechado
em uma variedade qualquer, que conecte xa com xa + δxa + dxa . Vamos fazer o transporte
paralelo do vetor V a de xa até xa + δxa + dxa por dois caminhos diferentes, primeiro via
xa + δxa e depois via xa + dxa (Veja a Figura 10).
Fazendo a expansão em série de Taylor para Γabc (x + δx) avaliado em torno de x, temos
[7]:
Γabc (x + δx) = Γabc (x) + ∂c Γabc δxc .
V a (x + δx + dx) = V a − Γabc V b δxc − Γabc V a dxc + Γabc Γbef V e δxf dxc − ∂d Γabc δxd V b dxc , (63)
onde desprezamos o último termo de terceira ordem δxd δxf dxc . Da mesma forma en-
contramos resultado equivalente para o caminho que conecta xa até xa + δxa + dxa , via
xa + dxa . Bastar substituir δxa por dxa na equação (63), onde:
V a (x + dx + δx) = V a − Γabc V b dxc − Γabc V a δxc + Γabc Γbef V e dxf δxc − ∂d Γabc dxd V b δxc . (64)
Daı́ tomando a diferença entre os dois vetores achados para cada caminho tomado, temos:
∆V a = V a (x + δx + dx) − V a (x + dx + δx).
∆V a = Γabc Γbef V e δxf dxc − Γabc Γbef V e dxf δxc − ∂d Γabc V b δxd dxc + ∂d Γabc V b dxd δxc .
∆V a = Γaed Γebc V b δxc dxd − Γaec Γebd V b dxd δxc − ∂c Γabd V b δxc dxd + ∂d Γabc V b dxd δxc ;
∆V a = (∂d Γbc
a
− ∂c Γabd + Γaed Γebc − Γaec Γebd )V b δxc dxd ;
∆V a = Rbdc
a
δxc dxd , (65)
onde,
a
Rbdc = ∂d Γabc − ∂c Γabd + Γaed Γebc − Γaec Γebd , (66)
∆V a = −Rbcd
a
δxc dxd ,
o que indica a anti-simetria do tensor de Riemann nos dois últimos ı́ndices inferiores.
15
Georg Friedrich Bernhard Riemann, matemático alemão (1826-1866)[4]
38
Após estudado transporte paralelo de vetores, usamos esta técnica para investigar a
curvatura na geometria de FRW. O transporte paralelo será realizado ao longo de curvas
fechadas, onde trataremos os simples casos para órbitas circulares e órbitas circulares
com tempo constante. Mas antes, a nı́vel de exemplo e para uma melhor compreensão,
iniciaremos fazendo o transporte paralelo do vetor arbitrário V µ = (Aθ , Aφ ) ao longo de
curvas equatoriais, ou seja, com θ = π/2, na superfı́cie de uma esfera ordinária 2-esfera.
onde as componentes não nulas do tensor métrico são: g11 = a2 , g22 = a2 sin2 (θ), g 11 = a−2
e g 22 = a−2 sin−2 (θ). Assim as conexões podem ser calculadas por:
1
Γαβγ = g αν (∂β gνγ + ∂γ gνβ − ∂ν gβγ );
2
1
Γ22 = g 11 (∂2 g12 + ∂2 g12 − ∂1 g22 );
1
(68a)
2
1
1
Γ22 = g 11 (−∂1 g22 ); (68b)
2
Γ122 = − cos(θ) sin(θ). (68c)
cos(θ)
Γ212 = Γ221 = ; (69a)
sin(θ)
Γ122 = − cos(θ) sin(θ); (69b)
Abrindo a soma em ν = 1, 2,
µ ¶ µ ¶
dx1 ∂V β β µ dx2 ∂V β β µ
+ Γµ1 V + + Γµ2 V = 0. (71)
dλ ∂x1 dλ ∂x2
Para β = 1 temos:
µ ¶ µ ¶
dx1 ∂V 1 1 1 1 2 dx2 ∂V 1 1 1 1 2
+ Γ11 V + Γ21 V + + Γ12 V + Γ22 V = 0. (72)
dλ ∂x1 dλ ∂x2
Para β = 2 temos:
µ ¶ µ ¶
dx1 ∂V 2 2 1 2 2 dx2 ∂V 2 2 1 2 2
+ Γ11 V + Γ21 V + + Γ12 V + Γ22 V = 0. (73)
dλ ∂x1 dλ ∂x2
∂V β
Sendo ∂xν
= δνβ , as derivadas parciais que não se anulam é quando β = ν, e daı́ podemos
fazer:
dxν ∂V β dV β
= .
dλ ∂xν dλ
Usando as equações (68) e (69) chegamos aos seguintes resultados,
dV 1 dx2
+ (Γ122 V 2 ) = 0, (74a)
dλ dλ
dV 2 dx2 dx1
+ (Γ212 V 1 ) + (Γ221 V 2 ) = 0, (74b)
dλ dλ dλ
tomando órbitas na direção de φ, ou seja λ = φ, chegamos as seguintes equações diferen-
cias:
dV 1
− cos(θ) sin(θ)V 2 = 0; (75a)
dφ
dV 2 cos(θ) 1
+ V = 0. (75b)
dφ sin(θ)
Observe que diferenciando a equação (75a) com respeito a φ e substituindo a equação (75b)
no resultado obtido, chegamos facilmente por integração direta nas seguintes componetes
do vetor transportado paralelamente:
V 1 (0) = β;
α
V 2 (0) = .
sin(θ)
40
dr2
ds2 = dt2 − R(t)2 − R(t)2 r2 (dθ2 + sin2 (θ)dφ2 ),
1 − kr2
Vamos inicialmente considerar o caso em que o universo de FRW é aberto, ou seja, k = −1.
A métrica que descreve este universo (Equação (16)) é dada por:
dr2
ds2 = dt2 − R(t)2 − R(t)2 r2 (dθ2 + sin2 (θ)dφ2 ). (78)
1 + r2
41
1
dr = cosh(χ)dχ = (1 + r2 ) 2 dχ, (79)
onde usamos o fato em que cosh2 (χ) − sinh2 (χ) = 1. Essa transformação, permite reescr-
ever o elemento de linha (78) como:
ds2 = dt2 − R(t)2 dχ2 − R(t)2 sinh2 (χ)dθ2 − R2 (t) sinh2 (χ) sin2 (θ)dφ2 , (80)
g00 = 1, (81a)
Ṙ
Γ101 = Γ202 = Γ303 = , (82a)
R
1
Γ212 = Γ313 = , (82b)
sinh(χ)
ṘR
Γ011 = , (82c)
1 + sinh2 (χ)
Γ022 = ṘR sinh2 (χ), (82d)
Feito estes cálculos, aplicamos a equação para transporte paralelo vetorial que é fornecida
pela equação (70), ou seja:
dxν ∂V β
( + Γβµν V µ ) = 0.
dλ ∂xν
Abrindo a soma em ν, temos:
µ ¶ µ ¶
dx0 ∂V β β µ dx1 ∂V β β µ
+ Γµ0 V + + Γµ1 V +
dλ ∂x0 dλ ∂x1
µ ¶ µ ¶
dx2 ∂V β β µ dx3 ∂V β β µ
+ Γµ2 V + + Γµ3 V = 0. (83)
dλ ∂x2 dλ ∂x3
dV 0 dr dθ
+ Γ011 V 1 + Γ022 V 2 + Γ033 V 3 = 0. (84)
dλ dλ dλ
dV 1 dt dr dr dθ dφ
+ Γ110 V 1 + Γ101 V 0 + Γ111 V 1 + Γ122 V 2 + Γ133 V 3 = 0, (85a)
dλ dλ dλ dλ dλ dλ
dV 2 dt dr dθ dθ dφ
+ Γ220 V 2 + Γ221 V 2 + Γ202 V 0 + Γ212 V 1 + Γ233 V 3 = 0, (85b)
dλ dλ dλ dλ dλ dλ
dV 3 dt dr dθ dφ dφ dφ
+ Γ330 V 3 + Γ331 V 3 + Γ332 V 3 + Γ303 V 0 + Γ313 V 1 + Γ323 V 2 = 0. (85c)
dλ dλ dλ dλ dλ dλ dλ
As equações diferenciais (84), (85a), (85b) e a (85c) , quando resolvidas, nos fornece
as componentes do vetor V µ transportado paralelamente ao longo da curva xµ (λ). Es-
colhendo uma curva tal que λ = φ, temos das equações (84), (85a), (85b) e a (85c) o
conjunto de quatro equações diferenciais, a saber16 :
dV t
+ ṘR sinh2 (χ) sin2 (θ)V φ = 0, (86a)
dφ
dV r
− cosh2 (χ) sinh(χ) sin2 (θ)V φ = 0, (86b)
dφ
dV θ
− sin(θ) cos(θ)V φ = 0, (86c)
dφ
φ
dV Ṙ 1 cos(θ) θ
+ Vt+ Vr + V = 0. (86d)
dφ R sinh(χ) sin(θ)
onde α e β são constantes de integração. Combinando este resultado nas outras equações
(86a), (86b) e a (86c), chegamos facilmente por integração direta nas componentes do
vetor transportado paralelamente ao longo da curva λ = φ, tal que:
Assim, podemos ver que as constantes de integração não são independentes. A relação
entre elas pode ser expressa pela equação (93). Mais a frente discutiremos melhor esses
resultados.
com,
ω 2 = 1 − Ṙ2 r2 sin2 (θ), (96)
e à ! µ ¶ µ ¶
Ṙ 1 cos(θ)
c1 + c2 + c3 = 0. (97)
R r sin(θ)
Veja que as constantes de integração c1 , c2 e c3 , também, são dependentes uma da outra
e só difere do caso anterior por um fator associado a constante c2 .
Para um Universo fechado, ou seja, k = +1, a métrica de FRW será reescrita como:
dr2
ds2 = dt2 − R(t)2 2
− R(t)2 r2 (dθ2 + sin2 (θ)dφ2 ).
1−r
Observe que neste caso temos uma singularidade quando r → 1. Introduzindo uma nova
coordenada χ tal que,
r = sin(χ),
1
dr = cos(χ)dχ = (1 − r2 ) 2 dχ,
ds2 = dt2 − R(t)2 dχ2 − R(t)2 sin2 (χ)dθ2 − R2 (t) sin2 (χ) sin2 (θ)dφ2 . (98)
45
Que também adotando procedimentos semelhantes ao que fizemos para encontrar as com-
ponentes do vetor transportado no caso k = −1, obtivemos as seguintes coordenadas:
com,
ω 2 = cos2 (χ) sin2 (θ) + cos2 (θ) − Ṙ2 sin2 (χ) sin2 (θ), (100)
e à ! µ ¶ µ ¶
Ṙ 1 cos(θ)
c1 + c2 + c3 = 0. (101)
R sinh(χ) sin(θ)
As equações (99) nos dá as componentes de um vetor arbitrário, transportado paralela-
mente ao longo de uma curva parametrizada por λ = φ em um Universo fechado. E a
equação (101) mostra a relação de dependência entre as constantes de integração. Na
próxima seção será feito o transporte paralelos dos vetores em órbitas circulares com
tempo constante e em órbitas ciculares com tempo variável, onde veremos com mais de-
talhes suas implicações.
k = −1 k=0 k = +1
ω cosh(χ) 1 cos(χ)
V φ (0) = β, (102a)
V t (0) = c1 , (102b)
V θ (0) = c3 . (102d)
O fato de termos V t (0) = c1 e V θ (0) = c3 , reflete a constância do tempo (uma vez que
R é uma função do tempo) e de θ. Depois de uma volta completa φ = 2π temos,
V t (2π) = c1 (103b)
V θ (2π) = c3 . (103d)
Logo podemos observar que o vetor V µ depois de uma volta completa não sofre alteração
em sua orientação sob transporte paralelo. Isto também pode ser estendido para n voltas
e mesmo assim o vetor não muda sua orientação, desde que n seja um inteiro.
V t (2π) = c1 , (104b)
V θ (2π) = c3 . (104d)
meio das equações (95) e (96), que depois de n voltas inteiras as componentes tornam-se:
∆V t (2πn) = 0, (105b)
Isto nos mostra claramente que a invariância do vetor sob transporte paralelo para k = 0,
independe da órbita se é circular ou não, e de θ se fixo ou não. Novamente lembrando, isto
só é válido para n inteiro. Esta espécie de “quantização”, Rothmann, Ellis e Murugan
denominaram de banda de invariâcia de holonomia.17 Em um recente artigo em que
ele, juntamente com , investigaram propriedades da geometria de Schwarzschild-Droste,
utilizando cálculo de holonomia para transporte paralelo (spinorial) e transporte paralelo
vetorial para determinadas classes de órbitas e curvas abertas no espaço-tempo[2]. Pela
µ
equação (65) temos que ∆V µ = Rβνγ δxγ dxν = 0, logo o tensor de curvatura é nulo
µ
Rβνγ = 0, uma vez que δxγ e dxν são arbitrários. Daı́ podemos concluı́ que para uma dada
hipersuperfı́cie com tempo constante, temos uma geometria plana, já que não há mudança
nas componentes do vetor quando transportado paralelamente, justificando assim o porque
de ser chamado de Universo plano.
Para o Universo fechado, onde k = +1, as equações que nos fornece a diferença entre as
componentes do vetor transportado paralelamente depois de n voltas inteiras, em acordo
com as equações (99) e (100), são dadas por:
∆V t (2πn) = 0, (106b)
∆V θ (2πn) = 0. (106d)
As equações (106) nos mostra claramente que na geometria FRW, com k = +1, teremos
mudança na orientação do vetor depois de n voltas sob transporte paralelo, com θ = π2 ,
exceto para os casos em que n cos(χ) é um inteiro. Daı́, para que o transporte paralelo
17
Holonomias são objetos matemáticos, que em gravitação nos fornece informação global sobre o campo
gravitacional de interesse. Estes objetos estão associados ao transporte paralelo vetorial, em torno de
caminhos fechados ou entre dois pontos distintos via diferentes caminhos em uma determinada variedade.
48
∆V t (2πn) = 0, (110b)
∆V θ (2πn) = 0. (110d)
Notamos também, que para o Universo de FRW o transporte paralelo vetorial, depois de
n voltas no plano equatorial, modifica as componentes do vetor, com exceção para órbitas
de raio r determinado por: r
m2
r= − 1, (111)
n2
m
onde n
> 1, pois o raio é uma quantidade positiva não-nula. Assim a invariância da
direção do vetor sob transporte paralelo depende do raio da órbita. Como estudado por
Rothmann et al, a banda de invariâcia de holonomia ocorre para um raio crı́tico onde
a holonomia é trivial[3]. As equações (109) e (111) nos fornece o raio crı́tico para as
situações k = +1 e k − 1, respectivamente.
49
Agora temos um Universo não-estático e então devemos ter o fator de escala variando
com o tempo, ou seja, R(t). Isto implica que devemos considerar a contribuição de R
na quantidade ω quando fazermos o transporte paralelo do vetor. Novamente, fazemos o
transporte paralelo vetorial em caminhos fechados no plano equatorial (θ = π2 ) e os valores
encontrados para ω através das equações (89), (96) e (100) para esta situação estar na
Tabela 2:
k = −1 k=0 k = +1
1 1 1
ω [cosh2 (χ) − Ṙ2 sinh2 (χ)] 2 [1 − Ṙ2 r2 ] 2 [cos2 (χ) − Ṙ2 sin2 (χ)] 2
Tabela 2: Valores de ω quando feito o transporte paralelo do vetor em órbitas equatoriais para
os devidos valores de k, considerando o Universo não-estático.
Assim, nestas condições temos que para o Universo de FRW com k = 0, as equações
que nos dá a diferença entre as componentes do vetor depois de n voltas, são dadas pela
equação (96) e a Tabela 2, onde obtivemos:
Note que a diferença entre as componentes depois de n voltas sob transporte paralelo
na direção de θ não muda. No entanto as demais componentes do vetor variam sob
transporte paralelo, exceto para órbitas em que o raio obedeça a condição que já foi
discutida anteriormente, ou seja, nω deve ser um inteiro para que tenhamos invariância
na orientação do vetor depois de n voltas sob transporte paralelo. Assim o raio que
obedece a essa condição de “quantização” é encontrado através da Tabela 2, onde:
q
2
1− m n2
r= , (113)
Ṙ
50
m
sendo que devemos ter 0 < n
< 1. Se fixado um valor de m, teremos um mı́nimo para n.
Para m = 2, por exemplo, depois de 3 voltas o raio da órbita para o qual as componentes
√
do vetor não varie será r = √5 . Para n = 2 terı́amos a condição 0 < m
< 1 violada.
Ṙ 9 n
∆V θ (2πn) = 0, (114d)
e o raio das órbtas as quais o vetor não sofre efeito sob transporte paralelo, usando as
equações (114) e considerando o fato de que usamos r = sinh(χ), é;
s
2
1− m n2
r= (115)
1 + Ṙ2
Para o Universo aberto, onde a constante de curvatura é k − 1, podemos usar a equação
(92) e a tabela 2 para determinar as seguintes equações que determina as componentes
do vetor depois de n voltas sob transporte paralelo, onde temos:
∆V θ (2πn) = 0. (116d)
semelhantemente aos casos anteriores, temos que o raio das órbtas nas quais o vetor não
varia sua orientação sob transporte paralelo é, pela Tabela 2 e as equações (116):
s
m2
n2
−1
r= , (117)
(1 − Ṙ2 )
51
m2
onde que n2
> 1 ⇒ m > n. Usamos o fato de que r = sinh(χ). O transporte paralelo de
vetores, para o universo aberto e fechado, nos fornece a informação de que o universo de
FRW tem curvatura não-nula para as duas situações, exceto para os raios crı́ticos[2].
52
6 Conclusões
raio r2 , ligeiramente afastada de r1 , espera-se que o vetor deva ter sua orientação afetada
depois de transportado paralelamente, uma vez que o espaço entre as duas órbitas é
curvo[2].
Intuitivamente poderı́amos pensar que se a métrica de FRW foi obtida considerando
a simetria esférica, então para órbitas no plano equatorial o vetor não deveria ter sua
orientação afetada sob transporte paralelo depois de n ciclos inteiros. Isso pode ser ex-
traı́do por analogia com a 2-esfera que apresentamos como exemplo no inı́cio da seção 5.
No entanto, esta intuição é falı́vel, como foi mostrado através do transporte paralelo de
vetores. Assim o transporte paralelo de vetores pode ser uma ótima ferramenta para se
estudar curvaturas em determinados espaço-tempo.
Referências
[1] HORVATH, Jorge Ernesto et al. Cosmologia fı́sica: do micro ao macro cosmos e
vice-versa. São Paulo: Livraria da Fı́sica, 2007.
[2] ROTHMAN, Tony; Ellis, George F. R.; Murugan, Jeff. Holonomy in the
Schwarzschild-Droste Geometry. Classical And Quantum Gravity, v.18; 1217-
1233, 2008.
[4] OLIVEIRA FILHO, Kepler de Souza; OLIVEIRA SARAIVA, Maria de Fátima. As-
tronomia e Astrofı́sica. 2. ed. São Paulo: Livraria da Fı́sica, 2004.
[5] SOUZA, Ronaldo Eustáquio de. Intradução à Cosmologia, São Paulo: Ed. da
Universidade de São Paulo, 2004.
[9] SCHUTZ, Bernade F.; A first course in general relativity. Cambridge: Cam-
bridge Universidade Press, 1990.
[11] ROOS, Matts; Introduction to Cosmology. 3. ed. London: John Wiley & Sons,
Ltd 2003.
[13] LIDDLE, Andrew R.; Acceleration of the Universe. Astronomy Centre, Univer-
sity of Sussex, Brighton BN1 9QJ, United Kingdom.
[14] CARNEIRO, Bruno C.; Introdução à Relatividade Geral. Notas de aulas. Uni-
versidade Federal de Pernambuco.
[15] D. N., Spergel et al. [WMAP, Collaboration] First Year Wilkinson Microwave
Anisotropy Probe (WMAP) Observations: Determination of Cosmologi-
cal Parameters, Astrophys. J. Suppl. 148, 175 (2003) [arXiv:astro-ph/0302209].
[16] AMBJORN, J.; JURKIEWICZ, J.; LOLL, R.; The Self-Organized de Sitter
Universe. The Niels Bohr Institute, Copenhagen University Blegdamsvej 17, DK-
2100 Copenhagen Ø, Denmark: 2008.