Beruflich Dokumente
Kultur Dokumente
ii
ndice general
Introduccin
VII
Fundamentos matemticos
1. Espacios vectoriales
1.1. Introduccin . . . . .
1.2. Espacios topolgicos
1.3. Espacios mtricos . .
1.4. Espacios vectoriales .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
3
3
3
7
9
2. Variedades
2.1. Variedades diferenciales . . . . . .
2.2. Espacio tangente . . . . . . . . .
2.3. Tensores . . . . . . . . . . . . . .
2.4. Transformaciones entre variedades
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
23
23
28
39
47
3. Clculo en variedades
3.1. Derivada exterior . . . . . . . .
3.2. Derivada de Lie . . . . . . . . .
3.3. Conexin y derivada covariante
3.4. Transporte paralelo . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
53
53
56
60
63
iii
.
.
.
.
iv
NDICE GENERAL
3.5. Tensor de Riemann .
3.6. Tensor mtrico . . .
3.6.1. Relacin entre
3.7. Campos de Killing .
II
. . . . . . . . . . .
. . . . . . . . . . .
conexin y mtrica
. . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Relatividad general
69
70
75
78
83
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
85
85
90
92
101
5. La solucin de Schwarzschild
105
5.1. Mtrica para simetra esfrica . . . . . . . . . . . . . . 105
5.2. Teorema de Birkho . . . . . . . . . . . . . . . . . . . 115
5.3. Propiedades de la mtrica . . . . . . . . . . . . . . . . 117
6. Pruebas de la relatividad general
121
6.1. Corrimiento del perihelio de Mercurio . . . . . . . . . . 121
6.2. Desviacin de la luz por el sol . . . . . . . . . . . . . . 130
III
Aplicaciones astrofsicas
137
7. Colapso gravitacional
139
7.1. El tensor momentum-energa . . . . . . . . . . . . . . . 140
7.2. Movimiento geodsico . . . . . . . . . . . . . . . . . . . 145
7.3. Mtrica interior de una masa esfrica . . . . . . . . . . 148
8. Agujeros negros
165
8.1. Agujero negro de Schwarzschild . . . . . . . . . . . . . 166
NDICE GENERAL
IV
Aplicaciones cosmolgicas
9. Cosmologa
9.1. Mtrica de Robertson-Walker . . . . . . . . . .
9.1.1. Geometra espacial de la mtrica de R-W
9.2. Propiedades de la mtrica de R-W . . . . . . . .
9.2.1. Horizonte de eventos . . . . . . . . . . .
9.2.2. Movimiento propio de partculas en R-W
9.2.3. Corrimiento al rojo . . . . . . . . . . . .
9.2.4. El problema de distancias en cosmologa
9.3. Ley de Hubble . . . . . . . . . . . . . . . . . . .
179
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
181
182
191
196
196
198
200
203
208
10.Modelos cosmolgicos
215
10.1. Ecuaciones de Friedmann-Lematre . . . . . . . . . . . 216
10.2. Historia trmica del universo . . . . . . . . . . . . . . . 222
markboth
vi
NDICE GENERAL
Introduccin
La teora de la relatividad (especial y general) es considerada como
uno de los logros ms grandes de la mente humana y forma parte de
lo que se puede llamar la cultura del hombre del siglo XX.
En 1916 Einstein publica la Teora General de la Relatividad, la
cual corresponde a la formulacin relativista de la ley de gravitacin universal de Newton. Este trabajo, a diferencia de sus primeras
publicaciones sobre la teora especial de la relatividad, requiri una
estructura matemtica muy compleja: la geometra diferencial y el
clculo tensorial. Dos predicciones fundamentales surgieron de esos
planteamientos: el corrimiento del perihelio de Mercurio, efecto que
ya haba sido observado mas no explicado por los astrnomos, y la
desviacin de la luz por el sol, cuya corroboracin se da en 1919,
aprovechando un eclipse total de sol que tuvo lugar el 29 de mayo.
Ms signicativo an para el desarrollo de la teora general de la
relatividad fue el descubrimiento de Hubble de la expansin del universo en 1929. Si bien Einstein no haba predicho este efecto, s estaba
contenido en sus ecuaciones de la relatividad general. En efecto, en
1916 Einstein soluciona sus ecuaciones de campo buscando describir
un universo esttico, el cual se consideraba que describa el universo
observado. El problema de describir un universo esttico era fundamental, pues se saba que la ley de gravitacin universal de Newton no
poda dar cuenta de un universo estacionario, dado que esta ley (invii
viii
INTRODUCCIN
ix
En este libro se presentar los fundamentos de la teora general de
la relatividad y sus principales aplicaciones en agujeros negros y en
cosmologa. El texto inicia con tres captulos dedicados a los fundamentos matemticos necesarios para formular la teora general de la
relatividad. La segunda parte contiene tres captulos dedicados a los
principios bsicos de la relatividad general, la solucin de Schwarzschild y las pruebas clsicas de la teora. La tercera parte se reere
a aplicaciones astrofsicas, con un captulo sobre el colapso gravitacional y otro sobre agujeros negros, y la ltima parte del texto aborda
los principios de la cosmologa, con un captulo dedicado al estudio
de la mtrica de Robertson-Walker y un captulo nal sobre modelos
cosmolgicos.
INTRODUCCIN
Parte I
Fundamentos matemticos
Captulo 1
Espacios vectoriales
1.1.
Introduccin
En este captulo se presentarn los elementos fundamentales del lgebra lineal. No pretende dar un desarrollo exhaustivo del tema, sino
tan slo de las principales deniciones y los resultados ms importantes
necesarios para introducir el concepto de variedad en el siguiente captulo.
1.2.
Espacios topolgicos
A continuacin se exponen algunas deniciones fundamentales sobre espacios topolgicos y espacios mtricos.
Denicin 1-1 Un espacio topolgico T es una pareja (T; A), con
T un conjunto y A una familia de subconjuntos de T , llamados los
abiertos, tales que:
T-1: ; T 2 A, es decir, el vaco y todo el conjunto T son abiertos.
T-2: Dada cualquier coleccin de abiertos a 2 A;con 2 I, siendo
3
2I a
2A
!R
(1.1)
!R
(1.2)
:R !T
(1.3)
continua.
As, todo homeomorsmo ' entre espacios topolgicos transforma
abiertos de un espacio topolgico en abiertos del otro espacio, y en este
caso se dice que los dos espacios topolgicos son homeomorfos. Los dos
ejemplos sigientes ilustran por qu los espacios topolgicos extremos,
el discreto y el trivial, no son de inters prctico. Dada una funcin
':T
!R
(1.4)
con R un espacio topolgico cualquiera y T el espacio topolgico discreto, entonces toda funcin ' es trivialmente continua, pues dado
cualquier abierto de R su imagen inversa es un subconjunto de T ,
que por denicin es un abierto, mientras que si T tiene la topologa
trivial, entonces ninguna funcin ' es continua, dado que los nicos
abiertos de T son el vaco y todo el espacio.
Denicin 1-4 Un espacio topolgico T se llama de Hausdorf o
separable, si para todo par de puntos p; q 2 T , con p 6= q, existen
abiertos U y V de T , con p 2 U y q 2 V tal que
U\V=
El espacio topolgico discreto es de Hausdor, as como los nmeros
reales con la topologa usual, mientras que un espacio topolgico con
la topologa trivial no es un espacio topolgico de Hausdor.
Denicin 1-5 Sea T un espacio topolgico y C T un subconjunto cualquiera de T . Un recubrimiento abierto de C es una coleccin
de abiertos a de T con
que
2I a
[ni=1 a
1.3.
Espacios mtricos
R
d(x; y)
(1.5)
tal que:
M-1: 8x; y 2 M , se tiene que
d(x; y)
0;
d(x; y) = 0 () x = y
(1.6)
(1.7)
d(x; y) + d(y; z)
(1.8)
Uno de los ejemplos ms importantes de espacio mtrico lo constituye Rn con la llamada mtrica usual o euclideana, denida como:
p
d(x; y) := (x1 y 1 )2 +
+ (xn y n )2
(1.9)
donde
x = (x1 ; :::; xn )
y = (y 1 ; :::; y n ):
(1.10)
(1.11)
(1.13)
(1.14)
(1.16)
(1.17)
implica que
Una funcin entre espacios mtricos continua con inversa continua se
llama un homeomorsmo.
Para conectar la estructura de espacio mtrico con la estructura
de espacio topolgico se introduce la siguiente:
Denicin 1-11 Sea A
M , con M un espacio mtrico. Entonces A es un subconjunto abierto de M si 8x 2 A existe una bola
abierta B(x; r) contenida en A:
d(x; y) = 0 si x = y;
d(x; y) = 1; 8x 6= y
1.4.
Espacios vectoriales
G G
! G
(g1 ; g2 ) 7 ! g = g1 g2
(1.20)
tal que
G-1: Exista un elemento e 2 G, llamado la identidad, con la
propiedad que para todo elemento g 2 G se cumpla que
(1.21)
e g=g e=g
G-2: Para todo elemento g 2 G exista un elemento g
llamado elemento inverso, tal que:
g g
=g
g=e
2 G,
(1.22)
10
(1.23)
(1.24)
(1.25)
+' )
(1.26)
11
e identicando R(0 )
R(360 ), los elementos del grupo R(120 ) y
R(240 ) son mutuamente inversos. Este ejemplo lo podemos generalizar al caso de las simetras de un polgono regular de n lados. En este
caso el grupo de simetras, rotaciones del polgono alrededor de un eje
que pasa por su centro, tiene n elementos:
G = fR(0 ); R(
360
360
); R(2
)
n
n
R((n
1)
360
)g
n
(1.27)
Consideremos ahora el caso lmite de un polgono regular de innitos lados, es decir, el crculo. En este caso el grupo de simetras
contiene un nmero innito no numerable de elementos y cada uno
de los elementos est representado por una funcin R( ) que indica
una rotacin en un ngulo , en donde
es un parmetro que toma
valores en el intervalo [0; 360] y de nuevo se ha hecho la identicacin
R(0 ) R(360 ).
Estos ejemplos de grupos considerados hasta ahora ilustran los
tipos de grupos ms comunes que encontramos en diversas aplicaciones: grupos con un nmero nito de elementos, como las rotaciones
de un polgono regular de n lados, o grupos con un nmero innito de
elementos, pero numerable, como los enteros con la suma, y grupos con
un nmero innito no numerable de elementos. Esta ltima clase de
grupos, caracterizados por un parmetro continuo (o varios parmetros continuos, como el grupo de rotaciones tridimensional) constituye
una clase particular llamada de Lie, la cual juega un papel muy importante en la matemtica y en especial en la fsica. Volveremos sobre
ella ms adelante.
Denicin 1-13 Un cuerpo o campo (G; +; ) es un conjunto de
elementos G sobre el cual estn denidas dos operaciones internas +,
y , llamadas suma y multiplicacin respectivamente, tal que (G; +)
forma un grupo abeliano, y la operacin
satisface las siguientes
propiedades:
12
C-1: Exista un elemento 1 2 G, llamado la identidad multiplicativa, con la propiedad que para todo elemento g 2 G se cumpla que
1 g = g 1 = g.
C-2: Para cualesquier tres elementos g1 ; g2 ; g3 2 G se cumple que
la multiplicacin se distribuye sobre la suma, i.e.,
g1
(g2 + g3 ) = g1
g2 + g1
(1.28)
g3
g2 = g2
(1.29)
g1
y
g1
(g2
g3 ) = (g1
g2 )
g3 = g1
g2
g3
(1.30)
13
x 2 V , tal que
x
x=0
K V
( ; g)
! V
7 ! h=
(1.31)
tal que:
V-5: Para todo par de vectores x; y 2 V y todo escalar
2K
(x + y) = x + y
V-6: Para todo vector x y todo par de escalares
( + )x = x + x
V-6: Para todo vector x y todo par de escalares
( x) = (
)x
14
V
v
! W
7 ! w = T (v)
(1.32)
tal que:
T ( v + u) = T (v) + T (u);
8v; u 2 V
8 ;
2<
(1.33)
linealg
(1.34)
(1.36)
(1.37)
i vi
=0
(1.38)
15
+ v n en
(1.39)
V
v
!
7 !
R
kvk
(1.40)
tal que:
N-1: kvk > 0, si v 6= 0 y kvk = 0 si v = 0
N-2: k vk =j j kvk
N-3: kv + wk kvk + kwk
Toda norma sobre un espacio vectorial induce una mtrica denida
por:
d(v; w) := kv wk
(1.41)
La ltima estructura de gran importancia que se puede denir sobre un espacio vectorial es el producto punto, llamado tambin producto escalar o interno:
Denicin 1-18 Sea V un espacio vectorial real. Denamos un
producto interno sobre V como una funcin
h; i
V V
v; w
!
7 !
R
hv; wi
(1.42)
16
tal que:
P-1: hv; vi > 0 si v 6= 0 y hv; vi = 0 si v = 0.
P-2: hv; wi = hw; vi
P-3: h v; wi = hv; wi
P-4: hv + w; zi = hv; zi + hw; zi
Las propiedades P-3 y P-4 signican que el producto punto es
lineal en su primera componente, y P-2 implica que tambin es lineal
en la segunda componente. Dado un producto punto sobre un espacio
vectorial real, entonces sobre l se induce una norma denida por:
p
kvk := hv; vi
(1.43)
y as se induce tambin una mtrica y por ende una topologa.
Con estas deniciones podemos introducir el concepto de base ortonormal fei g i = 1; 2; :::; n de un espacio vectorial, donde los vectores
de la base satisfacen la relacin:
hei ; ej i =
ij
(1.44)
kvkkwk
hv; wi
kvkkwk
(1.45)
entre dos vectores
(1.46)
lo que justica el nombre de base ortonormal, es decir, vectores mutuamente ortogonales y de norma unitaria.
17
Para nalizar esta introduccin veamos el concepto de espacio vectorial dual. Con este n, sea L(V,R) el conjunto de todas las transformaciones lineales del espacio vectorial sobre los reales, es decir:
L(V; <) := ff : V !< j f es linealg
(1.47)
(1.48)
( f )(v) := f (v)
(1.49)
n
X
i ei
(1.51)
i=1
donde los coecientes estn dados por las proyecciones del vector v
sobre los vectores de la base, es decir, j = hej ; vi, entonces si f es
18
i ei ) =
i=1
n
X
(1.52)
i f (ei )
i=1
k=1
n
X
k=1
k=1
n
n X
X
k=1 i=1
ek ;
n
X
i ei
i=1
i ki
n
X
n X
n
X
k=1 i=1
hek ; ei i
i=1
En resumen, dado cualquier espacio vectorial real V, existe el espacio vectorial dual V , el espacio de las transformaciones lineales de
V sobre los reales, con la misma dimensin, y dada cualquier base
fei gi=1;:::;n de V existe una nica base fej gj=1;:::;n , la base dual, denida por la relacin:
hek ; ei i = ki
(1.54)
Se puede probar que el dual del dual V de un espacio vectorial
V es isomorfo al espacio vectorial original y por lo tanto se hace la
identicacin V V .
Consideremos ahora el caso de un cambio de base. Para tratar
este problema introduciremos un cambio de notacin, el cual ser de
19
n
X
v E
(1.55)
=1
n
X
! E
(1.57)
=1
(1.58)
Los coecientes
de esta combinacin lineal constituyen la matriz de transformacin cambio de base. Ahora el objetivo es encontrar
cmo cambian las componentes de un vector v cuando se cambia de
base y cmo cambian las componentes de un vector dual !. Consideremos en primer lugar que sucede con el cambio de base dual.
20
E =
n
X
E ;
(1.60)
= 1; 2; :::; n
=1
E ;E
* n
X
E ;
=1
=
=
n
X
=1
n
X
=1
=1
n
n
XX
=1
n
X
. Para este fn es
hE ; E i
=1
n
X
(1.61)
=1
(1.62)
21
n
X
=1
n
X
v E =
v E
=1
n
X
=1
=1
n
n
XX
=1
n
X
E
(1.63)
v E
=1
=1
n
X
=1
n X
n
X
=1
=
=
n
X
=1
n
n
X
X
=1
n
X
=1
=1
v =v
v
!
v
(1.65)
=1
22
Captulo 2
Variedades
En este captulo expondremos los elementos bsicos de la teora
de variedades y daremos los principales resultados necesarios para la
formulacin de la teora general de la relatividad.
2.1.
Variedades diferenciales
Denotemos por Rn el espacio vectorial euclideano, es decir, al conjunto de n-plas (x1 ; x2 ; ; xn ) con la mtrica usual.
Denicin 2-1 Una funcin
':
Rn
x
!
7 !
Rm
x0 = '(x)
(2.1)
con A un subconjunto abierto de Rn , se llama de clase C r si las coordenadas x0 = (x01 ; x02 ; ; x0m ) del punto imagen '(x) son funciones
r-veces continuamente diferenciables. Si la funcin ' es de clase C r
para todo r 0, entonces se dice que ' es suave o de clase C 1 .
Denicin 2-2 Sea M un espacio topolgico. Denimos una carta
23
24
CAPTULO 2. VARIEDADES
!
Rn
7 ! x = ' (p)
(2.2)
A-ii- Si U \ U 6= , entonces
'
'
' (U \ U ) Rn
x = ' (p)
!
7 !
' (U \ U ) Rn
y = ' (p)
(2.4)
es un difeomorsmo de clase C r .
Las funciones ' ' 1 y su inversa ' ' 1 nos dan las ecuaciones
de transformacin entre las diferentes coordenadas.
Dos atlas A y B de clase C r sobre un espacio topolgico M se
llaman compatibles si la unin de los atlas es de nuevo un atlas de
clase C r ; as la unin de todos los atlas compatibles sobre un espacio topolgico forma una clase de equivalencia de atlas, o un atlas
maximal.
Denicin 2-4 Una C r variedad diferenciable M es un espacio
topolgico de Hausdor con un atlas maximal.
NOTA 1: Cada U es una vecindad coordenada local, lo cual implica que si p 2 U
M, entonces las coordenadas de p son las
coordenadas del punto imagen ' (p) 2 Rn ; as notaremos ' (p) =
(x1 ; x2 ; :::; xn ) con xi = xi (p):
25
La condicin A-ii exige que las vecindades coordenadas sean compatibles, es decir: si p 2 U \ U , entonces
(p) = (x1 ; x2 ; :::; xn )
y
(p) = (x01 ; x02 ; :::; x0n )
son dos coordenadas diferentes para el mismo punto, y que las cartas
( ; U ) y ( ; U ) estn relacionadas por:
1
(
(
0g
26
CAPTULO 2. VARIEDADES
+ (xn )2 = 1g
(2.5)
27
denido por las dos cartas ('1 ; U1 ) y ('2 ; U2 ), las dos proyecciones
estereogrcas de la n-esfera sobre este plano H, denidas por:
'1 :
'2 :
U1 = S n nfe0 g
x
!
7 !
U2 = S n nf e0 g
x
!
7 !
H Rn
0
'1 (x) = x1 xxoe0
H Rn
x0 e0
'2 (x) = x1+x
o
(2.6)
(2.7)
y
kyk
y 2 Rn y y 6= 0
(2.8)
es innitamente diferenciable.
No es difcil probar que la variedad S n , a diferencia de Rn , requiere
por lo menos dos cartas coordenadas para cubrir la variedad.
Denicin 2-5 Una variedad M se dice orientable si existe un
atlas
= f ;U g 2
tal que en toda interseccin no vaca U \ U de abiertos, el determinante de la matriz (@xi =@x0 j ) es positivo, donde (x1 ; x2 ; :::; xn ) y
(x01 ; x02 ; :::; x0n ) son coordenadas en U y U respectivamente.
Denicin 2-6 Un atlas = f ; U g 2 se dice localmente nito si todo punto p de la variedad M tiene una vecindad abierta que
intercepta slo un nmero nito de vecindades U : Una variedad M se
llama paracompacta si para todo atlas = f ; U g 2 existe un atlas
localmente nito = f ; V g 2 con cada V contenido en algn U :
En lo sucesivo, por variedad entenderemos una C r -variedad de
Hausdor paracompacta.
28
CAPTULO 2. VARIEDADES
N := f(p; q) j p 2 M; q 2 N g
(2.9)
V ;'
)g
(2.10)
donde
'
M
(p; q)
!
Rm Rn
7 ! (' (p); (q))
(2.11)
2.2.
Espacio tangente
29
f:
R
f (p)
(2.12)
una funcin de valor real denida sobre la variedad. Entonces la funcin f se dice de clase C k en un punto p 2 M si para toda vecindad
coordenada (U ; ' ) de p la funcin
f := f
'
' (U ) Rn
x = ' (q)
!
7 !
R
f (x) = f (q)
es de clase C k en el punto p 2 U
M.
Llamemos
F(M; R) := ff : M ! Rg
(2.13)
(2.14)
al conjunto de todas las funciones de valor real denidas sobre la variedad. Sobre este conjunto podemos construir una estructura de espacio
vectorial deniendo la suma de funciones y el producto de un nmero
real por una funcin en la forma:
(f + g)(p) := f (p) + g(p);
( f )(p) := f (p);
8f 2 F(M; R); 8p 2 M; 8 2 R
(2.15)
(2.16)
'
=f
'
('
' 1) = f
('
' 1)
(2.17)
30
CAPTULO 2. VARIEDADES
dado que las cartas son compatibles, esta relacin implica que si la funcin f es diferenciable con respecto a la carta (U ; ' ) entonces tambin lo es respecto a la carta (U ; ' ), y viceversa. Esta demostracin
de la independencia de las cartas es el ingrediente fundamental para
todas las deniciones u operaciones que se realicen sobre una variedad,
en las cuales se involucren las cartas coordenadas.
Denicin 2-8 Sea M una variedad suave y p 2 M . Un vector
tangente vp a la variedad M en el punto p es una funcin
vp :
F(M; R)
!
f
7 !
R
vp (f )
(2.18)
tal que:
T-1: vp es R lineal, i.e.,
vp (f + g) = vp (f ) + vp (g); 8f; g 2 F(M; R);
8 2R
8f 2 F(M; R)
8f 2 F(M; <); 8 2 R
(2.19)
(2.20)
31
: F(M; R) ! R
(2.25)
32
CAPTULO 2. VARIEDADES
(2.26)
33
La prueba de este lema es sencilla pues toda funcin lineal transforma el cero en cero, y as
0 = vp (0) = vp (f
g) = vp (f )
vp (g)
(2.28)
(2.29)
(2.30)
Rn
x
!
7 !
R
xi
(2.31)
para i = 1; 2; :::; n que a un punto de Rn le asocia su i-sima coordenada se llaman funciones proyeccin o funciones coordenadas, las cuales
son suaves. Entonces, dada una carta (U ; ' ) de una variedad M,
denimos las funciones coordenadas por
xi :
M
!
p 7 !
R
xi (p)
(2.32)
34
CAPTULO 2. VARIEDADES
@(xj )
@xj
('
(p))
=
=
@xi
@xi
j
i
(2.33)
@i jp = 0
(2.34)
n
X
i=1
vpi (xi ) @i jp
vpi
@
@xi
(2.35)
p
vpi
n
X
k=1
(xk
ak )Hk (x)
(2.36)
35
con
Hk (a) =
@F
@xk
(2.37)
x=a
n
X
(xk
' (q)
xk
(2.38)
k=1
Sea vp 2 Tp M; entonces, aplicando el vector tangente vp a la funcin f -usando el ltimo resultado-, la linealidad, la propiedad leibnitziana y la propiedad ii del Lema 5.3, obtenemos
vp (f ) = vp (f (p)) +
n
X
k=1
[ f(xk
' (q)
xk
' (p))g
q=p
vp (Hk
' )
' (p))]
(2.39)
k=1
@f
@xi
(2.40)
p
36
CAPTULO 2. VARIEDADES
R
t
!
7 !
M
(t)
(2.41)
R
t
!
7 !
Rn
(t) = '
(t)
(2.42)
sobre Rn es suave.
Sea un vector tangente vp 2 Tp M con componentes vpi = vp (xi ) en
la base coordenada (U ; ' ), i.e.,
vp = vpi @i
(2.43)
(2.44)
entonces esta curva pasa por el punto p 2 M (i.e., pasa por el punto
xi (p) = ' (p) 2 Rn ) para t = 0, y en este punto las componentes del
vector tangente son
dxi
vpi =
(2.45)
dt t=0
as, sobre la variedad M la curva pasa por p y tiene vector tangente
vp 2 Tp M. Sea f 2 F(M; R) una funcin de valor real sobre la variedad, entonces
vp (f ) = vpi @i f jp =
=
dxi ( (t))
dt
dxi
dt
t=o
t=o
@f
@xi
@f
@xi
=
p
(2.46)
p
@f
@t
37
v=v E
donde v son las componentes del vector en la base fE g. En particular, si uno escoge los vectores base coordenados @i jp , entonces las
componentes v i = v(xi ) son las derivadas de las funciones coordenadas
xi en la direccin del vector v. Denamos, ahora, el espacio vectorial
dual de Tp M.
Denicin 2-11 Sea M una variedad suave y Tp M el espacio
tangente en un punto p. Una 1-forma ! (vector covariante cuyo nombre se justicar ms adelante) en el punto p es una funcin lineal de
valor real sobre Tp M , i.e.,
!:
Tp M
!
v
7 !
R
!(v)
h!; vi
tal que:
i. h!; x + zi = h!; xi + h!; zi ; 8x; z 2 Tp M
ii. h!; xi = h!; xi ; 8x 2 Tp M y 8 2 R.
(2.48)
38
CAPTULO 2. VARIEDADES
= 1; 2; :::; n
= 1; 2; :::; n
(2.49)
(2.50)
x=x E
(2.51)
! E ;x E
= ! x
(2.52)
E ;E
= ! x
= ! x
Denicin 2-12 Cada funcin f 2 F (M ) dene una 1-forma df
en p dada por:
< df ; X >= Xf ; 8X 2 Tp M
2.3. TENSORES
39
@
@x1
;
p
@
@x2
; :::;
p
@
g
@xn p
@
>=
@xj
i
j
(2.53)
est formado por todos los vectores tangentes a las curvas que estn
en la supercie f = cte en el punto p. As df se puede pensar como
perpendicular o normal a la supercie f = cte en p:
2.3.
Tensores
s
r
de la sigui-
40
CAPTULO 2. VARIEDADES
s
r
:= Tp
|
Tp
Tp
{z
Tp
}
r veces
T
|p
Tp
Tp
{z
Tp
}
s veces
(2.56)
= f(
; :::;
; Y1 ; :::; Ys ) j
2 Tp ; Yj 2 Tp g
(2.57)
; :::;
s
r
!R
; Y1 ; :::; Ys ) ! T(
; :::;
; Y1 ; :::; Ys )
Tp
s
r
Tp
Tp
Tp
Tp
(2.58)
; :::;
; :::;
2 R como:
; Y1 ; :::; Ys ) := T(
; :::;
; Y1 ; :::; Ys )
(2.60)
2.3. TENSORES
41
Con estas reglas Tsr (p) forma un espacio vectorial real de dimensin
r + s.
Sean
Xi 2 Tp (i = 1; :::; r)
y
! j 2 Tp (j = 1; :::; s)
Denotemos por
X1
X2
!1
Xr
!s
!2
; :::;
; Y1 ; :::; Ys ) 2
r
s
en el nmero
Xr ! 1 ! 2
! s )( 1 ; :::; r ; Y1 ; :::; Ys )
< r ; Xr >< ! 1 ; Y1 > < ! s ; Ys >
(2.61)
(X1 X1
: =< 1 ; X1 >
S)(
: = R(
; :::;
; :::;
r+p
(2.62)
; Y1 ; :::; Ys+q )
; Y1 ; :::; Ys )S(
r+1
; :::;
r+p
E sg
(2.63)
42
con
CAPTULO 2. VARIEDADES
= 1; 2; :::n es una base de Tsr (p).
De esta forma, dado T 2 Tsr (p) escribimos:
i;
T=T
1
1
(2.64)
(2.65)
r
s
1
r
1
r
1
+S
r
1
(2.66)
como:
r+p
S)
= T 1
= T
s+q
=T
r
1
r+p
r+1
s+1
s+q
(2.67)
0
0
=
=
0
0
(2.68)
(2.69)
E
E
Donde 0 y
son matrices n n no singulares. Puesto que las
bases fE0 g y fE0 g son duales, entonces:
0
= < E ; E 0 >=<
=
=
0
0
0
0
E ;
< E ; E >=
0
0
E >
0
(2.70)
2.3. TENSORES
43
0
r
0
1
(2.71)
0
s
0
1
0
r
0
1
0
1
0
s
0
r
0
1
0
s
(2.72)
r
1 2
(2.73)
0
1
=T
0
2
0
2
0
2
0
2
2
r
r
0
r
E
s
E
s
s
r
2
0
2
r
0
1 2
0
2
2
0
s
E
0
1 2
0
s
T
s
0
1 2
r
0
1 2
r
0
1 2
0
s
0
1 2
0
2
0
r
T
s
2
2
s
0
s
r
0
1 2
0
s
0
r
2
0
1 2
0
2
0
2
0
r
E
= T
E
=
0
s
0
r
0
2
0
r
0
1
= C11 (T )
44
CAPTULO 2. VARIEDADES
S(T)(
1;
2)
+ T(
1;
2)
1 )g; 8 1 ;
2;
(2.74)
2 Tp
por T , entonces:
T ( ) = S(T)(E ; E )
1
fT(E ; E ) + T(E ; E )g
=
2!
1
=
T +T
2!
S(T)
(2.75)
s)
:=
1 X
T
s!
(
r
1
(2.76)
s)
1
T
3!
+T
+T
+T
+T
s,
+T
(2.77)
Un tensor se llama simtrico con respecto a ciertos ndices si l
coincide con su correspondiente parte simtrica, por ejemplo:
T
= T(
() T
=T
(2.78)
2.3. TENSORES
45
A(T)
:=
1
T
2!
(2.79)
r]
1
:=
1 X
( 1)p T
r!
(
r
1
(2.80)
r)
1
fT
3!
+T
+T
(2.81)
= T(
+ T[
(2.82)
B)
(2.83)
46
CAPTULO 2. VARIEDADES
(A ^ B)
p 1
:= A[
q]
(2.84)
= A[ B ]
1
=
fA B
2!
(2.85)
A B g
= B[ A ]
1
=
fB A
B A g
2!
= ( 1)1 1 (A ^ B)
(2.86)
En general:
(A ^ B) = ( 1)p q (B ^ A)
(2.87)
(p) = [ A(p)
(2.88)
p=0
^E
(2.89)
1 ::: p
E 1^
^E
(2.90)
47
2.4.
(U ) Rm !
Rn
(p)
7 ! ' ( (p))
(2.91)
1
Notemos que si m > n, entonces la funcin '
no es uno
a uno. As, en general, esta funcin no tiene inversa, y en caso de que
sta existiera, no ser de clase Cr . Por ejemplo, sean M = N = R
1
y sea (x) = x3 , entonces (x) 2 C 1 , y sin embargo
(x) no es
diferenciable en x = 0.
Denicin 2-21 Sea f 2 F (N ) y
: M ! N . Entonces la
funcin induce una funcin ~
~ : F(N ) ! F(M)
~f
f
7 !
(2.92)
48
CAPTULO 2. VARIEDADES
(2.93)
(p) N
(p) :=
X( ~ f ) jp = X(f
) jp
(2.94)
es lineal, pues:
( X + Y)(f )
=
=
As, si
@
( @t
)
@
@t
= ( X + Y)( ~ f ) jp
X( ~ f ) jp +Y( ~ f ) jp
(2.95)
(p)
X(f ) j
(p)
+ Y(f ) j
(p)
en p 2 M, entonces
:T
(p) N
! Tp M
49
Y; X >jp =< Y;
X >j
(2.96)
(p)
(df ) = d( f )
Demostracin:
Sean X 2Tp M y f 2 F(N ); entonces:
<
=
(p)
(2.98)
X( f ) jp =< d( f ); X >jp
(df ) = d( f )
La transformacin
puede ser extendida naturalmente a tensores
contravariantes de M a N por las reglas:
: T0r (p) ! T0r ( (p))
T !
(2.100)
denida por:
T(
:::
) := T(
:::
) jp ; 8
2T
(p) N
(2.101)
50
CAPTULO 2. VARIEDADES
De la misma manera
as:
(2.102)
denida por:
T(X1 :::Xs ) jp = T( X1 ::: Xs ) j
(p)
(2.103)
: (U)
!M
(2.104)
es de clase C r :
Por lo tanto, si es una inmersin de M en N , entonces m n.
Adems, por el teorema de la funcin implcita es una inmersin si
y slo si es inyectiva en todo punto p 2 M ; por lo tanto,
: Tp M ! (Tp M)
(p) N
(2.105)
(2.106)
51
(p) N
(2.107)
y
(
) : Tp M ! T
(p) N
(2.108)
(2.109)
por:
T(
:::
X1 ::: Xr )
(2.110)
52
CAPTULO 2. VARIEDADES
Captulo 3
Clculo en variedades
En este captulo veremos tres operaciones de derivadas, las cuales
juegan un papel fundamental para el clculo diferencial sobre variedades.
3.1.
Derivada exterior
^dx 1 ^
53
^ dx
(3.2)
r
dx
dx
da
(3.3)
54
Veamos que esta denicin de dA es independiente de la base escogida. Consideremos otra base fx0 g:
A = A0 1
donde las componentes A0 1
A0 1
dx0 1 ^
dx0
(3.4)
@x
@x0
1
1
@x r
A
@x0 r
(3.5)
es simtrico en
simtrico, por lo tanto:
1
1;
@2x r
dx0 1 ^dx0
@x0 1 @x0 r
(3.7)
=0
es anti-
(3.8)
55
Entonces:
@x
@x0
@x
=
@x0
@x
=
@x0
1
=
1
= dA
dA =
@x r
^ dx0 r
dA 1 r ^dx0 1 ^
0
r
1
@x
1
@x0 1
@x0 r
@x r
1
dA
^
^
^
dx r
dx
r
1
1
@x0 r
@x 1
@x r
1
@x0 1
@x r @x0 r
dA 1 r ^dx 1 ^
^ dx r
1 @x 1
@x0 r @x r
r
dA 1 r ^dx 1 ^
^ dx r
r
1
^
^ dx r
(3.9)
r ^dx
1
1
Ntese que esta denicin no sera independiente de las coordenadas si en vez de usar el producto exterior ^ se hiciera para el producto tensorial.
De la denicin se sigue que:
d(A ^ B) = dA ^ B + ( 1)r A ^ dB; 8A 2
r ; 8B
(3.10)
@f
dxi
@xi
(3.11)
entonces:
d(df ) =
@2f
dxj ^dxi
j @xi | {z }
@x
| {z }
(3.12)
antisimetrico
simetrico
d(dA) = 0
La demostracin se deja como problema.
(3.13)
56
3.2.
Derivada de Lie
xn (t))
(3.14)
p (t)
:M !M
p !
t (p)
el cual enva un punto p de la variedad al punto t (p); que est localizado a una distancia paramtrica t sobre la curva integral p (t).
Lema 3-3 t es un grupo local uniparamtrico de difeomorsmos,
es decir t satisface:
es la identidad:
57
0
= id : M ! M
= id : M ! M
(3.15)
t+s
(3.16)
(3.17)
es un
T2 ) = LX (T1 )
T2 + T1
(LX T2 )
58
LX (Tsr (M )) Tsr (M )
LX conmuta con la operacin de contraccin.
LX f = Xf =< df; X >
Deniendo el conmutador de dos campos vectoriales por
[X; Y](f ) := X(Yf )
Y(Xf )
@Y j
@xi
Yi
@X j @f
)
@xi @xj
(3.19)
YT
(3.22)
=LX T + LY T
9.
L[X;Y] = [LX ; LY ] = LX LY
LY
LX
(3.23)
59
(3.24)
@T
@xi
T
+
Ti
Xi
r 1i
r
s
@X 1
s @xi
@X r
+ T i 12
i
@x
@X i
1 i @x s
@X i
s @x 1
(3.25)
60
3.3.
(M) ! (M)
Y
7 ! rX Y
tal que:
c-1. rX Y es un tensor en el argumento X, i.e.:
rf X+gY Z = f rX Z + grY Z
8f; g 2 F(M);
(3.26)
8X; Y; Z 2 (M)
esto quiere decir que el operador rX (derivada) en p depende solamente de la direccin de X en el punto p.
c-2. rX Y es lineal en Y , es decir,
rX ( Y + Z) = rX Y + rX Z
8 2 R;
(3.27)
8X; Y; Z 2 (M)
c-3.
rX f Y = X(f )Y + f rX Y
8f 2 F(M);
(3.28)
8X; Y 2 (M)
Entonces decimos que rX Y es la derivada covariante del campo vectorial Y con respecto a la conexin r en la direccin del vector X en
el punto p.
61
(3.30)
= E ; rE E
o equivalentemente
rE =
(3.32)
(3.33)
Si tomamos una base dual coordenada f@ g y fdx g, las componentes de rY estn dadas por:
Y; =
@Y
+
@x
(3.34)
Y
0
62
E ;
E ;
rE
E +
E ;E
hE ; E i +
rE E
E ; rE E
(3.35)
@x0 @x @x
@2x
@x0 @x
+
@x @x0 @x0 @x0
@x @x0 @x0
(3.36)
S) = rT
S+T
rS
(3.37)
(3.38)
63
(3.39)
1
1
r
s;
@T
@x
r
T 11
:::
3.4.
1
1
2
1
r 1
1
T
s
s 1
+ ::: +
(3.40)
1
2
Transporte paralelo
r
1
@t
=T
r
1
s;
(3.42)
Consideremos el caso particular de un campo vectorial Y y escojamos una base coordenada, donde la curva tiene coordenadas x (t)
y X = dx =dt; entonces,
DY
@Y
=
+
@t
@t
dx
dt
(3.43)
64
@
@t
= rX X = 0
(3.45)
65
dx dx
=0
dt dt
(3.47)
(3.48)
(3.49)
donde (t) es la nica geodsica que pasa por el punto p y tiene vector
tangente X.
Como se puede demostrar, la transformacin exponencial siempre
existe y es uno a uno en alguna vecindad del punto p. Puesto que Tp M
66
(M)
(M) !
(M)
(X; Y)
7 ! T (X; Y)
denida por
T (X; Y) := rX Y
rY X
[X; Y]
(3.50)
(3.52)
rf X gY = f rX gY = f X(g)Y + f grX Y
(3.53)
[f X; gY] = Lf X gY
= f X(g)Y + gLf X Y
= f X(g)Y gLY f X
(3.54)
67
(3.55)
(3.56)
Para demostrar esta relacin consideremos las bases duales coordenadas f@=@x g y fdx g. De la denicin del tensor torsin tenemos
h!; T(X; Y)i = h!; rX Y
[X; Y]i
rY X
(3.57)
@Y
X +
@x
Y X
@
@x
(3.58)
rY X =
@X
Y +
@x
X Y
@
@x
(3.59)
[X; Y] = LX Y =
@Y
X
@x
@X
@x
@
@x
(3.60)
entonces
rX Y
rY X
[X; Y] =
X Y
@
@x
(3.61)
(3.62)
68
(3.64)
rY X
= T
s;
2
1
+T
X
r 1
s
1
1
2
1
X; r + T
r
X; s
s 1
X;
1
2
1
r
s
X;
+
(3.65)
dx ^dx ^dx ^
^dx
(3.67)
3.5.
69
Tensor de Riemann
Volvamos al concepto de transporte paralelo a lo largo de una curva. Consideremos una curva cerrada y supongamos que partimos
de un punto p y transportamos paralelamente al vector Xp a lo largo
de la curva regresando al punto inicial. Entonces obtendremos el vector X0p que en general ser diferente al vector inicial. Si consideramos
ahora otra curva (t) cerrada que pase tambin por el punto p y transportamos de nuevo al vector Xp a lo largo de esta nueva curva, obtendremos un vector X00p , que, en general, ser diferente a Xp y X0p . Esta
no integrabilidad del transporte paralelo corresponde al hecho que, en
general, las derivadas covariantes no conmutan. El tensor curvatura
de Riemann nos da una medidade esta no conmutatividad.
Denicin 3-11 Denamos la funcin curvatura por la relacin:
R:
(M)
(M)
(X; Y; Z)
denida por
R(X; Y; Z) := rX (rY Z)
(M)
!
(M)
7 ! R(X; Y; Z)
rY (rX Z)
r[X;Y] Z
(3.68)
Problema: A partir de esta denicin, mostrar que la funcin curvatura es lineal en las tres entradas X; Y y Z.
Denicin 3-12 Denamos el tensor de Riemann R 2 T31 por la
relacin:
R:
(M)
(M)
(M)
(M) !
R
(!; X; Y; Z)
7 ! R(!; X; Y; Z)
denido por
(3.69)
Problema: Eligiendo una base coordenada, mostrar que las componentes del tensor de Riemann estn dadas por
@
@
+
(3.70)
R =
@x
@x
70
Problema: A partir de la denicin, mostrar que el tensor de Riemann tiene las siguientes propiedades de simetra:
R
R[
() R
= 0 () R
+R
(3.71)
=0
+R
=0
(3.72)
+R
+R
=0
(3.74)
Una contraccin del tensor de Riemann nos conduce a otro tensor, el cual juega un papel importante, no solo en la geometra, sino
tambin en la fsica.
Denicin 3-13 Denimos el tensor de Ricci por:
R
:= R
(3.75)
3.6.
Tensor mtrico
71
(3.77)
A partir de esta denicin podemos introducir el concepto de ngulo entre vectores por la relacin (si no se presenta inconsistencia no
escribiremos el subndice g para referirse a la norma inducida por la
mtrica):
g(X; Y)
cos ] (X; Y) :=
(3.78)
[jg(X; X)j jg(Y; Y)j]1=2
la cual es vlida 8X; Y 2Tp M, con jXj =
6 0 y jYj =
6 0.
Teniendo en cuenta esta denicin llamaremos vectores ortogonales
a aquellos que cumplan la condicin g(X; Y) = 0.
Dadas las bases duales fE g y fE g, el tensor mtrico g en componentes toma la forma
g = g E
E
g
= g(E ; E )
(3.79)
(3.80)
Las magnitudes denidas por la mtrica en el espacio tangente estn relacionadas con las magnitudes sobre la variedad por la siguiente
denicin:
Denicin 3-15 La longitud del camino entre los puntos de la
variedad p = (a) y q = (b) situados sobre la curva (t), con vector
tangente @=@t, y tal que g(@=@t; @=@t) tiene el mismo signo sobre todos
los puntos a lo largo de la curva (t), est denida por la integral
Lab =
jg(@=@t; @=@t)j1=2 dt
(3.81)
72
(3.83)
es decir, la matriz g
formada con las componentes del tensor es
la inversa de la matriz (g ) formada con las componentes de g. Las
componentes g se llaman componentes contravariantes del tensor
mtrico, y esta denominacin queda justicada, pues la denicin 3.85
implica que podemos establecer un isomorsmo entre las componentes
covariantes y contravariantes de tensores de la siguiente forma:
Lema 3-5 Sea g una mtrica no degenerada en el punto p 2 Tp M ,
entonces la transformacin
Tp M !
Tp M
1
X 7 ! C1 (g X)
dene un isomorsmo.
73
Si g y X son las componentes del tensor mtrico g y del vector X, entonces las componentes de la 1-forma C11 (g X), que las
denotaremos por X , estn dadas por
(3.86)
X =g X
= g g X
=
X
= X
(3.87)
Esta transformacin y su inversa se conocen en la literatura como subir y bajar ndices. As, dada una mtrica no degenerada
podemos hablar de las componentes covariantes X y contravariantes
X de un vector X, las cuales estn relacionadas biunvocamente
por las ecuaciones 3.86 y 3.87. Esta operacin se puede extender para
subir o bajar cualquier ndice tensorial (o ndices por aplicacin sucesiva de la misma operacin). Por ejemplo, consideremos un tensor de
rango 3 del tipo T12 , con componentes T , entonces aplicando las
ecuaciones 3.86 y 3.87 podemos obtener los siguientes tensores:
T
=g T
=g T
= g g "T
"
(3.89)
= g "g T
"
(3.90)
T
T
(3.88)
=g T
(3.91)
=g g g T
(3.92)
74
(3.93)
=g g T
(3.94)
= g(E ; E ) =
estn denidos por
; 1)
}
75
= diag:(+1; 1; 1;
; 1)
(3.95)
3.6.1.
=0
(3.96)
76
@g
@x
(3.97)
si denimos
g
(3.98)
@g
@x
+
(3.99)
= 2
= 2g
(3.100)
y despejando los elementos de la conexin, llamados smbolos de Christoffer de segunda clase, obtenemos
1
= g
2
@g
@g
+
@x
@x
@g
@x
(3.101)
Con esta conexin mtrica el tensor de Riemann tiene las propiedades de simetra adicionales
R(
= 0 () R
(3.102)
77
R
=R
(3.103)
=R
(3.104)
1)=12
(3.105)
(3.106)
de estas componentes pueden estar dadas en trminos de las componentes independientes del tensor de Ricci.
Para los siguientes casos particulares tenemos:
Si n = 1 entonces R
=0
Si n = 2 entonces R
slo tiene una componente independiente,
la cual es proporcional al escalar curvatura R, denido por
R=g R
=R
(3.107)
78
3.7.
Campos de Killing
(p) M
j p = g( X; Y) j
= g( X; Y) j (p)
(p)
(3.108)
LK g = l m
t
g) = 0
(3.109)
pues
g=
= 2K(
; )
(3.110)
+K
=0
(3.111)
79
(3.112)
t+s
entonces
t
p = g jp +
Z t
= g jp
0
t0
d
ds
t0
LK g j
g
s=0
jp dt0
jp dt0
= g jp
d
(
dt
Y)
(3.113)
por lo tanto,
Teorema 3-6 K es un campo vectorial de Killing si y slo si
satisface la ecuacin diferencial de Killing.
En general, una variedad no tiene simetras y no admite campos
vectoriales de Killing. Sin embargo, una variedad especial puede admitir r campos vectoriales de Killing linealmente independientes Ki
80
(3.114)
81
Para demostrar este lema veamos en primer lugar que cada campo
de Killing dado K (si ste existe) est determinado unvocamente por
los valores de K jp y K ; jp en cualquier punto p 2 M. Para este n,
notemos que el conmutador de las segundas derivadas covariantes del
campo K est dado por:
K
; ;
; ;
(3.116)
Ahora, de la relacin
R[
=0
(3.119)
; j = 1; 2; :::; n
(3.120)
82
xj
xi ;
; i; j = 1; 2; :::; n
(3.121)
Parte II
Relatividad general
83
Captulo 4
Principios de relatividad
general
En este captulo daremos los postulados fundamentales en los cuales
se basa la teora general de la relatividad. En la primera parte mostraremos cmo el principio de equivalencia conduce a una geometrizacin
de la fuerza de gravedad, lo cual nos conducir a la formulacin de los
postulados.
4.1.
G
GmG
1 m2
r^ =
r2
85
F~2
(4.1)
86
G
donde mG
r1 y ~r2 los vectores
1 y m2 son las masas gravitacionales, ~
posicin de los cuerpos, ~r = ~r2 ~r1 , G una constante (la constante de
gravitacin universal G = 6;67259 10 11 m3 kg 1 s 2 ) y F~1 2 es la
fuerza que el cuerpo 2 ejerce sobre el 1. A partir de esta expresin, es
claro que no est en acuerdo con los principios de la teora especial de
la relatividad, pues la ley de fuerza es independiente del tiempo y por
lo tanto describe una interaccin instantnea. Esta situacin motiv a
Einstein a buscar la forma relativista de la ley de gravitacin universal.
Esta ley de gravitacin universal de Newton contiene dos postulados fundamentales, los cuales se constituirn en el punto de partida
para la formulacin de la teora general de la relatividad:
En primer lugar, esta interaccin gravitacional es universal, es decir, todos los objetos del universo tienen carga gravitacional (compare la situacin con la carga elctrica).
En segundo lugar, si consideramos la fuerza que un cuerpo dado,
e.g. la Tierra con masa gravitacional MTG , ejerce sobre otros, con masa
gravitacional mG , y aplicamos la segunda ley de Newton para estudiar
el movimiento de estas masas en presencia de la primera, tenemos que
GMTG mG
r^ = mI~a
r2
(4.2)
GMTG mG
r^
r 2 mI
(4.3)
87
88
al cual hay que darle energa para separar las partculas que lo conforman. As, de acuerdo con el PEE, el campo gravitacional se acopla
de la misma manera con todas las formas de energa y materia.
El PEE tiene consecuencias profundas sobre la estructura del espacio-tiempo. En relatividad especial, al igual que en cualquier teora
fsica que no involucre el campo gravitacional, se parte de la denicin
de sistema de referencia inercial, considerando una partcula libre, la
cual, por denicin, se encuentra no acelerada. Entonces, con respecto
a ella podemos denir el concepto de clase de sistemas de referencia
inerciales como aquellos para los cuales esta partcula se encuentra en
reposo o movimiento uniforme. La descripcin matemtica de estos
sistemas se hace a travs de un sistema de reglas y relojes, calibrados
adecuadamente, los cuales se extienden a todo el espacio y conducen a
describir el espacio-tiempo como una variedad 4-dimensional plana, es
decir, libre de conexin, y para la cual podemos elegir las coordenadas
naturales, denidas por las curvas integrales de los campos de Killing
(j)
K (x) = j ; ; j = 1; 2; :::; n.
El punto de partida bsico para la anterior construccin est en la
suposicin de considerar la existencia de una partcula libre de fuerzas,
con respecto a la cual podemos denir el movimiento acelerado. Dado
el carcter universal de la gravedad, todas las formas de materia interactan gravitacionalmente; no es posible disponer de una partcula
gravitacionalmente neutracon respecto a la cual podamos denir la
aceleracin debida a la gravedad. As, la aceleracin de la gravedad
no es un concepto que pueda ser denido independiente de la materia
y por lo tanto carece de signicado experimental, y remplazaremos
el concepto de movimiento libre (no acelerado) por el de sistema en
cada libre.
As, siguiendo los pasos para construir un sistema de referencia
inercial en fsica no gravitacional, iniciamos con una partcula en cada libre, es decir, sobre la cual no actan fuerzas (electromagnticas,
dbil, etc.). Notemos en este punto de la discusin que estamos traba-
89
90
4.2.
Postulados de la TGR
91
para los campos de materia: Sea p 2 U tal que toda curva no como de espacio a travs de p intercepta la supercie como de espacio
x0 = cte: dentro de U. Sea F el conjunto de puntos en la hipersupercie x0 = cte:, los cuales pueden ser alcanzados por curvas no como de
espacio en U a travs de p. Entonces, se exige que los valores de los
campos de materia en p deben estar unvocamente determinados por
los valores del campo y sus derivadas a un orden nito sobre F. O sea,
las ecuaciones de movimiento (ecuaciones diferenciales) que determinan los campos (leyes de la fsica) involucran derivadas hasta un orden
n nito (usualmente hasta orden 2), tienen solucin nica, la cual est
determinada por las condiciones de frontera, es decir, el valor de los
campos y sus primeras n 1 derivadas, dadas sobre la hipersupercie
interceptada por el cono de luz pasado del punto p.
Postulado 4-3 Conservacin local de la energa
Existe un tensor simtrico T = T ( i ; r i ; :::) = T que es
funcin de los campos de materia y sus derivadas, hasta un orden
nito, tal que:
i. T = 0 sobre U
M abierto, si y slo si i = 0 para todo i
sobre U .
ii. T ; = 0
La primera condicin expresa que todos los campos de materia
contribuyen a la energa. A partir de la segunda condicin, si la variedad espacio-tiempo admite un campo vectorial de Killing K, entonces
obtenemos una ley de conservacin, pues sea
p =T
(4.4)
=0
(4.5)
92
tiene que
@D
p d
p ; dv = 0
(4.6)
4.3.
X (1)
[a; b]
s
!
7 !
M
X (as)
X (as)
aX (s)
=
t=0
d(as) @
ds @as
= aX
(4.8)
s=0
aX (1)
X (a)
(4.9)
94
Tp M
! Vp
es un C r -difeomorsmo de V0 sobre Vp . La vecindad Vp se llama vecindad normal de p: Adems, podemos escoger Vp convexa, esto es, tal
que todo punto q 2 Vp puede ser unido a cualquier otro punto r 2 Vp
por una nica geodsica que parte del punto q y que est totalmente
contenida en Vp . En el interior de una vecindad normal convexa V
es posible escoger coordenadas (x1 ; x2 ; :::; xn ) con origen en cualquier
punto p 2 V, y tomando una base fE g de Tp M denimos las coordenadas de un punto r 2 V por la relacin r = exp(x E ), es decir,
se asigna al punto r las coordenadas del punto exp 1 r con respecto a
la base fE g de Tp M. Entonces, si E = @=@x jp de la ecuacin de
= 0. Estas coordenadas se llaman
las geodsicas se obtiene que
p
coordenadas normales centradas en el punto p. Este comportamiento
de las geodsicas en una vecindad normal no se da, en general, sobre
toda la variedad, pues es posible que dados dos puntos cualesquiera
de M no se puedan unir por una geodsica y, por otra parte, algunas
de las geodsicas a travs de un punto p 2 M pueden converger a un
foco en otro punto de M, por ejemplo las geodsicas sobre una 2esfera son crculos mximos que convergen siempre al punto antpoda
del cual partieron.
Consideremos de nuevo el postulado de causalidad. Este postulado sita a la mtrica g aparte de los otros campos de materia sobre
M, dado su carcter geomtrico especial. Si fx g son coordenadas
normales en una vecindad del punto p 2 U M y con origen en p,
entonces los puntos en U que pueden ser alcanzados a partir del punto
p por curvas no como de espacio en U, son aquellos cuyas coordenadas
(x1 )2
(x2 )2
(x3 )2
(4.10)
(4.12)
(g(X; X))2
2,
g(X; Y)
(4.13)
(4.14)
96
i.e., la razn de las magnitudes de un vector como de tiempo y uno como de espacio puede ser determinada. Ahora, si W; Z son dos vectores
no nulos en p, entonces
g(W; Z) =
1
(g(W + Z; W + Z)
2
(4.16)
=0
(4.17)
(4.18)
(4.19)
(4.21)
98
en la mtrica:
T
S
jg(x)j g
=p
(4.23)
1p
jg(x)j g
2
m2
(4.24)
(4.26)
1
g
2
+ m2
(4.27)
Otro ejemplo, de importancia en cosmologa, es el de uido perfecto. Un uido describe un sistema fsico de muchas partculas (1023
que en este lmite se puede considerar como un sistema continuo) a
travs de las cantidades que determinan el sistema, tales como densidad, presin, temperatura, viscosidad, etc. Aun cuando no hay una
denicin nica de uido perfecto, ste se puede denir como un sistema en el cual no hay conduccin trmica ni viscosidad, o como lo
describe equivalentemente Weinberg: como un uido tal que en su sistema en reposo es isotrpico. En estas condiciones un uido perfecto
es descrito por la funcin densidad de energa y la densidad de presin.
(4.28)
donde n es la densidad propia de partculas, i.e., la densidad de partculas medida en el sistema en reposo. Ahora, si todas las partculas tienen
la misma masa en reposo m, la densidad de energa propia est dada
por:
= nmc2
(4.29)
La densidad de energa caracteriza completamente al uido, pero
la anterior ecuacin es solamente vlida en el sistema en reposo del
uido; as, para encontrar la expresin covariante de la densidad de
energa (vlida para cualquier observador inercial), recordemos que
mc2 es la componente temporal del cuadrivector momentum de una
partcula en su sistema en reposo, p = (mc; 0; 0; 0) y para este sistema
N = nU = (nc; 0; 0; 0). Por lo tanto, la densidad de energa propia
corresponde a la componente 00 del tensor p N medida en su sistema
en reposo; denimos el tensor momentum-energa para el gas de polvo
como:
(4.30)
T = p N = nmU U = 2 U U
c
donde es denida como la densidad de energa en el sistema en
reposo. Para el caso ms general de un uido perfecto con presin,
asumiremos la denicin de Weinberg: el que es isotrpico en su sistema en reposo. Esto signica que T es diagonal, es decir, no hay
ujo neto de momentum en la direccin ortogonal. Adems, sus componentes espaciales deben ser todas iguales, por isotropa: T 11 = T 22 =
T 33 . Si llamamos T 00 = la densidad de energa, T ii = p la densidad de
100
= (p + )U U + p
(4.32)
donde
es el tensor mtrico de Minkowski.
La generalizacin para una variedad con mtrica g es directa,
T
= (p + )U U + pg
(4.33)
2 (1 + ")
(4.34)
(4.35)
101
4.4.
102
1
Rg
2
+ g
=0=
;
8 G
T
c4 ;
(4.37)
+ h ; jh j << 1
(4.38)
103
dx dx
t
d d
i
00
(4.40)
1
= h00;i
2
h0i;0
(4.41)
1~
rh00
2
(4.42)
~
r
(4.43)
tenemos que
h00 = 2 + cte:
(4.44)
2
c2
(4.45)
104
Captulo 5
La solucin de Schwarzschild
Karl Schwarzschild, tan slo dos meses despus de haberse publicado las ecuaciones de campo, encontr la primera solucin analtica de
las ecuaciones de campo, para el exterior de una distribucin de materia esttica y esfricamente simtrica. A partir de esta solucin calcul
el corrimiento del perihelio de mercurio y la desviacin de un rayo de
luz que pasa cerca del sol, conrmando los resultados previos obtenidos
por Einstein en la aproximacin posnewtoniana (aproximacin de campo dbil).
5.1.
dx
(5.1)
106
1
Rg
2
=0
(5.2)
(5.3)
x0 = ct
(5.4)
y
La solucin de este problema debe satisfacer las siguientes condiciones:
1. Esttica
2. Esfricamente simtrica
3. Asintticamente (lejos de la distribucin) se debe reducir a la
mtrica minkowskiana
Dada la simetra esfrica del problema es til trabajar en coordenadas espaciales esfricas
(r; ; ') = x1 ; x2 ; x3
(5.5)
x0
(5.6)
107
lo que implica que las componentes del tensor mtrico de la forma g0i
con i = 1; 2; 3 no deben aparecer. As, el tensor mtrico que estamos
buscando debe ser de la forma
dx0 + gij dxi
g = g00 dx0
dxj
i; j = 1; 2; 3
(5.7)
Introduciendo en forma explcita las coordenadas esfricas y la coordenada temporal x0 = ct, y debido a la simetra esfrica del problema, en el tensor mtrico no deben aparecer trminos espaciales de la
forma dr d , dr d' y d
d', y por lo tanto el tensor mtrico
toma la forma
g = g00 c2 dt dt+grr dr
dr +g r2 d
donde los coecientes mtricos g00 , grr , g y g'' son funciones solamente de la coordenada radial r. Veamos que las componentes mtricas
g y g'' deben ser iguales. Para este n supongamos que hacemos un
desplazamiento innitesimal
con = r a partir del polo norte
( = 0) con t; r y ' constantes; entonces
ds2 = g
(5.9)
Si realizamos ahora el mismo desplazamiento pero en el plano ecuatorial ( = =2) con idntico r, = rd', entonces
ds2 = g''
(5.10)
=d
d + sin2 d'
(5.11)
d'
(5.12)
108
g r2 = r~2
2~
rd~
r =
dr =
=)
dg
dr 2g rdr
r2
dr
r~
r dg
1+
g r
2g dr
=)
1
d~
r
(5.14)
As
grr dr
grr
r dg
=
1+
g
2g dr
2
= g~rr (~
r) d~
r
d~
r2
(5.15)
g~rr (~
r) d~
r2 r~2 d
grr dr2 r2 d 2
(5.16)
donde se ha redenido
r~ ! r
(5.17)
g~rr ! grr
(5.18)
y
en la ltima igualdad, para regresar a la notacin usual de la variable
radial. De esta forma el problema se ha reducido a slo dos funciones,
109
las cuales se determinan a partir de las ecuaciones de campo de Einstein y las condiciones de frontera adecuadas. Dada la signatura de la
mtrica, g00 > 0 y grr > 0, se puede reescribir el tensor mtrico en la
siguiente forma:
g = eh(r) c2 dt2
eg(r) dr2
r2 d
(5.19)
r!1
(5.20)
l m g(r) = 0
r!1
para obtener el lmite minkowskiano de la condicin 3. Las componentes del tensor mtrico deben satisfacer las ecuaciones de campo de
Einstein en el vaco 5.2. Antes de remplazar los coecientes mtricos
en este sistema de ecuaciones, veamos un teorema que nos permite
simplicar los clculos:
Teorema 5-1 Las ecuaciones de campo de Einstein en el vaco sin
constante cosmolgica son equivalentes a la anulacin de las componentes del tensor de Ricci, i.e.
R
1
Rg
2
=0
Demostracin:((=) Si R
(=)) Si
() R
=0
= 0; entonces R = 0
1
Rg = 0
2
subiendo el primer ndice covariante y contrayendo tenemos
R
0 = R
= R
=
R
1
g R
2
2R
(5.21)
110
@F
@ x_
@F
@x
; x_ =
dx
ds
(5.24)
eg(r) x_ 1
r2 x_ 2
r2 sin2
x_ 3
(5.25)
111
=)
(5.26)
0 =
0 3 3
_ x_
33 x
(5.27)
0
01
1
= h(r)
2
(5.28)
2eg(r) x_ 1
2g (r)eg(r) x_ 1
= h(r)eh(r) x_ 0
2r x_
2 2
2eg(r) x1
g (r)eg(r) x_ 1
2r sin2
x_
(5.29)
3 2
= 1 es
dx dx
d2 x1
+ 1
2
dt
dt dt
1
1 0 0
= x + 00 x_ x_ + 101 x_ 0 x_ 1 +
0 =
1 3 3
_ x_
33 x
(5.30)
112
1
h(r)eh(r) g(r)
2
1
=
g (r)
2
=
re g(r)
=
re g(r) sin2
=
2
33
3
13
3
23
1
r
sin cos '
1
3
31 =
r
3
32 = cot
2
21
(5.31)
y ' los sm-
(5.32)
(5.33)
obtenemos
R
0 si
6=
(5.34)
=0
1
2
hg + h = 0
2
r
(5.35)
2e
sin2
1
hg
2
1 + re
re
2
g=0
r
h+g 2
+
2
r
113
(5.36)
=0
(5.37)
(5.38)
1 =0
(5.39)
h + g = cte:
(5.40)
entonces
y de la condicin asinttica se tiene
(5.41)
h+g =0
re
=0
(5.43)
= K1
(5.44)
Antes de integrar esta ecuacin, veamos que las otras dos ecuaciones diferenciales 5.37 y 5.38 sean consistentes con lo encontrado
hasta ahora. De la ecuacin 5.37 se obtiene
re
2e
re
1 + re
g
2e
0 2
+
= 0
2 r
1 + 2e g = 0
= 1
re g
=)
=)
(5.45)
114
K2
r
dx
0 2
K2
r
dr2
r2 d
(5.47)
115
K2
r
(5.49)
entonces
g00 = 1 +
1
K2
= 1
r
2
=)
c2
2Gm
=)
rc2
2Gm
c2
De esta manera la mtrica de Schwarzschild est dada por
K2 =
g=
2Gm
c2 r
dx
0 2
2Gm
c2 r
(5.50)
dr2
r2 d
(5.51)
5.2.
Teorema de Birkho
En este punto es importante enfatizar en que el radio de la distribucin no debe aparecer en forma explcita en la solucin, debido
a la simetra esfrica del problema. Es decir, la solucin de Schwarzschild obtenida es vlida solo para r > R, donde R es el radio de la
116
distribucin, y de manera similar a la situacin que se presenta en electrosttica, el campo elctrico en el exterior de una distribucin esfrica
de carga, para puntos exteriores, se comporta como el campo de una
carga puntual, es decir como si toda la carga estuviera concentrada
en el centro, y la solucin no involucra, en forma explcita, el radio
de la distribucin. Esta situacin se puede ver mejor en el siguiente
resultado debido a Birkho, el cual establece que la solucin para el
exterior de una distribucin de masa esfrica es la de Schwarzschild, independientemente de que esta distribucin est variando radialmente,
es decir, si la distribucin est colapsando o expandindose. Para ver
esto, consideremos una situacin en la cual la distribucin esfrica de
masa total m est variando su radio en el tiempo, i.e., R = R(t), y
busquemos una solucin de las ecuaciones de campo de Einstein para
el exterior de esta distribucin, es decir, en el vaco. Dado que los elementos de simetra utilizados para construir la forma general de la
solucin buscada (ecuacin 5.19) no se ven afectados por el comportamiento del radio de la distribucin, podemos asumir que la mtrica
buscada tiene la forma general
g = eh(r;t) c2 dt2
eg(r;t) dr2
r2 d
(5.52)
pero ahora las funciones h(r; t) y g(r; t) deben depender del tiempo.
Si se procede como antes, es decir, si se introduce esta mtrica en las
ecuaciones de campo, se llega a una relacin similar a la ecuacin 5.39:
(5.53)
h+g =0
(t)
2Gm
c2 r
dx0
2Gm
c2 r
dr2
r2 d
(5.55)
117
e2
(t)
dt
(5.56)
5.3.
Propiedades de la mtrica
118
tenemos
rs =
10 11 m3 kg 1 s 2 5;9742
(2;99792458 108 m s 1 )2
10 3 m
6;67259
= 8: 870 8
1024 kg
(5.58)
(5.59)
119
eg(r) dr2
r2 d
(5.60)
(5.61)
g(r)
= e k eh(r) = 1
K2
r
(5.62)
g00 = ek
2
= cte:
c2
K2
1
r
=)
(5.63)
120
g = ek c2 dt2
dr2
r2 d
(5.64)
Captulo 6
Pruebas de la relatividad
general
En esta seccin se analizar el movimiento de partculas materiales
de prueba y de rayos de luz (fotones) en el campo de una distribucin
esfrica de masa, y nos concentraremos en dos efectos particulares: el
corrimiento del perihelio del planeta Mercurio y la desviacin de un
rayo de luz que pasa muy cerca de la supercie solar. Estos resultados
constituyen los paradigmas histricos de las pruebas observacionales
de la teora general de la relatividad.
6.1.
rs
r
x_ 0
rs
r
x_ 1
r2 x_ 2
r2 sin2
x_ 3
(6.1)
donde
x0 ; x1 ; x2 ; x3 = (ct; r; ; ')
(6.2)
y
x_ = dx =ds
Entonces las ecuaciones de Euler-Lagrange estn dadas por ( =
0; 1; 2; 3):
d @F
@F
(6.3)
=
ds @ x_
@x
Considrese primero la ecuacin para la coordenada x2 = , entonces
d
(6.4)
r2 _ = r2 sin cos '_ 2
ds
y por lo tanto, si las condiciones iniciales del movimiento son tales que
(0) = =2 y _ (0) = 0, entonces (t) = =2, es decir, si el cuerpo
se est moviendo inicialmente en el plano ecuatorial
= =2 con
_ (0) = 0, entonces el movimiento contina siempre en este plano. Por
esta razn, siempre se pueden elegir los ejes coordenados espaciales
con el eje z normal al plano del movimiento. De esta forma se asumir
que = =2 y por lo tanto la funcional F se reduce a
F = 1
rs 2 _2
ct
r
rs
r
r_ 2
r2 '_ 2
(6.5)
(6.6)
123
(6.7)
r2 '_ = L = cte:
(6.8)
rs _
t = E = cte:
(6.9)
r
Para encontrar la ecuacin para la coordenada radial, dividamos
(formalmente) el elemento de arco (distancia espacio-tiempo) por ds,
entonces
rs _2
rs 1 2
1= 1
t
1
r_
r2 '_ 2
(6.10)
r
r
al remplazar las ecuaciones 6.8 y 6.9 en la ecuacin anterior se obtiene
1
1= 1
rs
r
E2
rs
r
1+
rs
r
r_ 2
L2
r2
(6.11)
o equivalentemente
r_ 2 + 1
L2
r2
= E2
(6.12)
(6.13)
rs
r
1+
L2
r2
(6.14)
= ru g (u; )
= (g u ); u
= g u; u + g u ; u
g (ru u; ) + g (u; ru )
como la curva es una geodsica con vector tangente u, por denicin
ru u = 0, y por lo tanto
ru g (u; ) = g u ; u
= u u ;
1
=
u u ; +u u
2
ru g (u; ) =
+u u
125
rs dx0
r ds
rs _
t
r
(6.15)
= cte:
(6.16)
(6.18)
V (r)
1
r
=)
r=
u
u2
(6.19)
E2 1
rs
+ 2 u + rs u 3
2
L
L
(6.20)
2uu + 2uu
2u u + u
rs
u 3rs u2 u = 0
2
L
rs
3 2
rs u
= 0
2
2L
2
=)
(6.21)
u+u
3 2
rs u = 0
2
rs
2L2
(6.22)
Gm
=0
L2
(6.23)
donde
L = r2
d'
dt
(6.24)
127
2
2
(6.26)
e2 =
2L2
rs
(6.28)
K
1
K
2
1
K' sin '
2
1
K cos (2')
6
(6.31)
129
3rs3
rs
+
e cos '
2L2 4L4
(6.32)
10
(6.34)
3rs2
4L2
entonces
''
n2N
= 2 n;
1+
3rs2
4L2
(6.36)
(6.37)
2 n
1+
3rs2
4L2
(6.38)
' = 2
6.2.
(6.39)
1;0=siglo.
131
movimiento de los rayos de luz al plano = =2. Entonces las ecuaciones para las coordenadas t y ' estn dadas por
~
r2 '_ = cte: = h
(6.41)
rs _
~
t = cte: = L
(6.42)
r
La ecuacin para la coordenada r se obtiene a partir de la condicin
ds = 0 vlida para geodsicas nulas, as:
1
rs
r
~2
c2 L
rs
r
r_ 2
~2
h
=0
r2
(6.43)
~ 2 u2
h
~ 2 u2 (1
h
rs u) = 0
(6.44)
3rs 2
u
2
=0
(6.45)
3rs 2
u
2
(6.46)
(6.47)
(6.48)
(6.49)
()
(6.50)
La solucin a primer orden en teora de perturbaciones de la ecuacin 6.46 se puede escribir como
u = u(0) +
3rs
v
2
(6.51)
u(0)
()
1
v+v =
(1 + cos 2')
2r0
v+v =
(6.52)
cuya solucin es
v=
2
3r02
1
cos2 '
3r02
(6.53)
133
1
cos '
r0
rs
rs
2
cos
'
+
2r02
r02
(6.54)
rs
rs
cos2 '1 + 2 = 0
2
2r0
r0
2r0
cos2 '1
2 = 0
rs
entonces
cos '1
"
r0
=
1
rs
2r2
1 + 2s
r0
=)
(6.56)
(6.57)
r0
'
1
rs
rs
=
r0
rs2
r02
(6.58)
2rs
4Gm
= 2
r0
c r0
(6.59)
(6.60)
2Gm
c 2 r0
(6.61)
Einstein en 1911 repiti este clculo con gravedad euclideana, teniendo en cuenta la equivalencia masa-energa para las ondas electromagnticas, y obtuvo el mismo resultado que Mitchell. Ntese que la
prediccin clsica (newtoniana) es la mitad de la prediccin en relatividad general, lo cual es un hecho muy signicativo, pues determina un
efecto que no es tn slo una pequea correccin a los clculos clsicos
(como es el caso que se ver para rbitas planetarias) y maniesta en
forma explcita los efectos de curvatura del espacio.
135
4Gm
c 2 r0
Parte III
Aplicaciones astrofsicas
137
Captulo 7
Colapso gravitacional
En el captulo anterior, en la seccin sobre caractersticas de la
solucin de Schwarzschild, se vi que la aparente singunlaridad que
presenta la mtrica para r = rs no se consideraba signicativa, pues
esto implicaba densidades de materia extremadamente altas que no se
esperaba que se presentaran en el universo, como lo estableci Schwarzschild.
En este captulo se presentarn algunos resultados sobre el comportamiento de la mtrica en el interior de una distribucin esfrica de
materia y se analizarn sus consecuencias. En particular, se ver que
en relatividad general se predice que bajo ciertas condiciones (densidad crtica) el colapso es inevitable. Se estudiarn las propiedades ms
signicativas de los agujeros negros y se expondran los resultados ms
importantes sobre el comportamiento de una partcula de prueba en
el campo de un agujero negro.
139
140
7.1.
El tensor momentum-energa
Consideremos en primer lugar el modelo ms simple de uido (campo de materia) constituido por partculas no interactuantes y sobre las
cuales no acta fuerza externa y trabajemos inicialmente en el contexto de la teora especial de la relatividad. Describir fsicamente el uido,
signica conocer la trayectoria en funcin del tiempo de un elemento
de masa de este uido medida por algn observador inercial. En estas
condiciones, para una descripcin covariante del uido, ste se puede
describir por una funcin densidad de energa propia 0 (x) y un campo vectorial de cuadrivelocidad U (x). 0 (x) signica la densidad que
mide un observador inercial que se mueve con el uido, es decir,
0 (x)
= c2 dm0 =dV0
(7.1)
donde dm0 es la masa propia contenida en el elemento de volumen propio dV0 situado en el punto de coordenadas (x1 ; x2 ; x3 ) en el instante
t, i.e.
x = (ct; x1 ; x2 ; x3 ) = (x0 ; x1 ; x2 ; x3 )
(7.2)
y
U (x) =
dx
dx
=c
d
ds
(7.3)
U U = c2
es la cuadrivelocidad de este elemento de masa, donde
ds2 = dx0
dx1
dx2
dx3
(7.4)
141
1
c2
0 0
0U U =
dx0 dx0
0
ds ds
(7.6)
ds
dt
1=2
~u2
= (~u)
(7.7)
entonces
T 00 =
2
0
donde
(~u) = q
(~u)
(7.8)
(7.9)
~
u2
c2
T 0i =
0U
Ui
dx0 dxi
ds ds
dxi dt
(~u)
dt ds
ui
2
(~u)
c
2
0c
(7.10)
142
1
c2
0U
2u
Uj
i j
u
c2
(7.11)
(7.12)
=0
(7.13)
;
00
@T
@T 01
@T 02
@T 03
+
+
+
@x0
@x1
@x2
@x3
1 @
~ ( ~u)
=
+r
c @t
=
(7.14)
143
@T i0
@T i1
@T i2
@T i3
+
+
+
@x0
@x1
@x2
@x3
1 @ ( u i ) @ ( ux u i ) @ ( uy ui ) @ ( uz ui )
= 2
+
+
+
c
@t
@x
@y
@z
i
i
i
i
@ (u )
@ (u )
@ (u )
@ (u )
+ ux
+ uy
+ uz
= 2
+
c
@t
@x
@y
@z
ui @
@ ( ux ) @ ( uy ) @ ( uz )
+
+
+
(7.15)
2
c @t
@x
@y
@z
=
c2
@ (ui )
~ i
+ ~u ru
@t
(7.16)
(7.17)
144
6 0
T0 = 6
4 0
0
3
0 0 0
p0 0 0 7
7
0 p0 0 5
0 0 p0
(7.19)
6
6
=6
4
x
y
z
x
2
1 + ux (u2 1)
ux uy ( 1)
u2
ux uz ( 1)
u2
y
ux uy ( 1)
u2
u2y ( 1)
1 + u2
uy uz ( 1)
u2
z
ux uz ( 1)
u2
uy uz ( 1)
u2
u2z ( 1)
1 + u2
3
7
7
7
5
(7.21)
145
con
= (~u) y i = ui =c. Entonces las componentes del tensor
momentum-energa son
T
1
c2
0U
U + p0
1
U U
c2
(7.22)
0U
1
U U
c2
U + p0
(7.24)
=0
(7.25)
7.2.
Movimiento geodsico
Como postulados bsicos de la relatividad general estn las ecuaciones de campo de Einstein, las cuales determinan la mtrica a partir del tensor momentum-energa de la materia, y el postulado del
movimiento geodsico de una partcula de prueba libre de fuerzas, i.e.,
de una partcula en cada libre.
En esta seccin se ver cmo las ecuaciones de campo de Einstein
contienen el movimiento geodsico de las partculas de materia, las
cuales determinan a su vez el tensor mtrico. Esta situacin era de
146
1
c2
0 (x)U
(x)U (x)
(7.26)
8 G
T
c4
(7.27)
147
(7.28)
=0
0U
(7.29)
=0
= g U U
dx dx
g
=
d d
dx dx
= c2
g
ds ds
= c2
(7.30)
entonces tomando la derivada covariante de esta ecuacin y contrayendo con el cuadrivector U , tenemos
0 = (U U ); U
=
g U U
= g U U ; +g U
= 2U ; U U
(7.31)
=
=
( 0 U ); c2 = 0
(7.32)
148
(7.34)
=0
dx
dx
=c
d
ds
(7.35)
dx
dx
dx
+
ds
ds
ds
2
dx
dx dx
+
ds2
ds ds
=
= 0
(7.36)
7.3.
Considrese ahora la solucin de las ecuaciones de campo de Einstein para el interior de una distribucin esfrica de materia, donde se
asume que la materia est descrita por el tensor
T
1
p
U U + 2 (U U
2
c
c
g )
(7.37)
149
con
= (r) y
(7.38)
p = p(r)
y la ecuacin de estado
(7.39)
f ( ; p) = 0
(7.41)
= g00 c2 dt2
(7.42)
y como
c2 = U 2 = g U U = g00 U 0
(7.43)
(7.44)
150
1
0 0
0
0
B 0 g11 0
0 C
B
C
@ 0 0 g22 0 A(7.45)
0 0
0 g33
8 G
T
c4
(7.47)
8 G
c4
1
g T
2
(7.48)
donde
T =T
es la traza del tensor momentum-energa, la cual se obtiene fcilmente
a partir de la ecuacin 7.46:
T = g T
=
c2
3p
c2
(7.49)
151
1
g00 T
2
1
g00
2
3p
+ 2
c
3p
c2
p
1
grr + grr
2
c
2
p
1
grr
=
2
c2
3p
c2
g00
1
g00
2
T11
1
g11 T
2
T22
T33
1
g22 T
2
1
g33 T
2
(7.50)
(7.51)
p 2 1 2
r + r
c2
2
p
1 2
r
=
2
c2
3p
c2
(7.52)
p 2 2
1
r sin + r2 sin2
2
c
2
1 2 2
p
r sin
=
2
c2
3p
c2
(7.53)
Las componentes del tensor de Riemann no nulas ya fueron obtenidas cuando se trabaj la mtrica de Schwarzschild
R00 =
eh g
2
1 2 1
h + hg
2
2
1
1
R11 = h + h2
2
4
1
hg
4
2
h
r
1
g
r
(7.54)
(7.55)
152
R22 = e
1+
rh
2
rg
2
(7.56)
(7.57)
(7.58)
(7.59)
h2 hg
+
4
4
h
2
1
1
h + h2
2
4
g
h
1
+
r2 2r
h
r
1
hg
4
g
r
g
2r
1
=
r2
2
2
3p
2c2
p
2c2
p
2c2
(7.60)
(7.61)
(7.62)
h
r
g
r
p
c2
(7.63)
1
r2
e
g
r
1
h
+
2
r
r
1
=
r2
=
(7.64)
p
c2
(7.65)
153
1
1
h + h2
2
4
1
hg
4
g+h
2r
1
r2
1
=0
r2
(7.66)
=1
2Gm(r)
c2 r
(7.67)
m(r) =
donde
(7.68)
(7.69)
154
= 4
0
r
(r)r
2Gm(r)
c2 r
1=2
dr
(7.72)
155
=
=
=
p
c2
1
r2
h = reg
2Gm(r)
c2 r
1
r
1
1 8 Gpr
+
r
c4
1
r
2Gm(r)
c2 r 2
2Gm(r)
1
c2 r
3
2Gm(r)
+ 8 Gpr
c2
c4
r r 2Gm(r)
c2
8 Gpr
c4
(7.74)
2
+e
r3
hg
2
h
+ 3+ 2
r
r
r
g
r2
h
r
(7.75)
2
+e
r3
g+
2
h
+ 2
3
r
r
1 g
e h (g + h)
2r
gh
r
(7.76)
p
h
c2
(7.77)
156
p=
Gm(r)
c2
4 Gpr3
c4
r r
p
c2
c2
2Gm(r)
c2
(7.78)
p(r + dr)dA^
r + p(r)dA^
r=0
(7.80)
157
Gm(r)
(7.81)
r2
que representa la ecuacin newtoniana de equilibrio hidrosttico.
Si se considera el lmite no relativista de la ecuacin de TOV,
es decir para v << c, entonces se obtiene la ecuacin de equilibrio
newtoniana.
En resumen, para encontrar la mtrica en el interior de una distribucin esfricamente simtrica de materia y su conguracin de
equilibrio, donde el valor para la densidad central c y presin central
pc se jan arbitrariamente, se siguen estos pasos:
p(r) =
p = p( )
Gm(r)
c2
4 Gpr3
c4
r r
2Gm(r)
c2
p
c2
c2
(7.84)
158
h=
2Gm(r)
c2
r r
8 Gpr3
c4
2Gm(r)
c2
(7.85)
sujeta a la condicin de frontera que para r = R la mtrica interna se debe reducir a la mtrica externa dada por Schwarzschild.
An cuando la conguracin de equilibrio newtoniana es un caso
lmite de la relativista (ecuacin de TOV), surge una diferencia fundamental, en el sentido que la ecuacin newtoniana permite siempre una
conguracin de equilibrio para cualquier valor de la densidad y del
radio de la distribucin, mientras que la ecuacin relativista impone
un lmite mximo, a partir del cual no es posible una conguracin de
equilibrio, i.e. para un radio dado existe una masa dada, a partir de
la cual el colapso es inevitable.
Para ver cmo surge esta situacin, considrese un ejemplo donde
la densidad es uniforme:
=
r R
r>R
(7.86)
4 3
r
3
(7.87)
159
Gm(r)
dr
r2
R
r
r2
4
G 20
3
2 R
2
G 20 R2 r2
(7.88)
3
por lo tanto, la presin central en el caso newtoniano para una estrella
de densidad uniforme est dada por
2
G 20 R2
(7.89)
pc = p(0) =
3
Esta presin tambin se puede expresar en trminos de la masa
total M y la densidad, o la masa total y el radio de la estrella:
=
1=3
pc =
GM 2=3
4=3
0
(7.90)
3 M2
G 4
(7.91)
pc =
8
R
Ntese que la presin central siempre es nita para todos los valores
de densidad, masa y/o radio.
La ecuacin relativista de equilibrio se puede integrar en forma
exacta, obteniendo
q
q
8 G 0 2
8 G 0 2
1
R
1
r
3c2
3c2
2
q
(7.92)
p = 0c q
1 8 3cG2 0 r2 3 1 8 3cG2 0 R2
160
0c
2GM
c2 R
q
3 1
1
(7.95)
2GM
c2 R
2
0c
2 G
3
4 G 0 2
R
3c2
4 G 0 2
+ c2 R
2 2
0R
161
4Rc2
9G
(7.98)
162
~2 (3 2 )
p=
5me
n5=3
e
(7.100)
2
N
Ms
(7.102)
163
164
Captulo 8
Agujeros negros
Como vimos en el captulo anterior, el colapso gravitacional de
estrellas cuya masa supera el lmite de Chandrasekhar es inevitable,
pues, independientemente de la ecuacin de estado que rige para la
materia, no es posible alcanzar una conguracin de equilibrio. En
este punto surgen dos preguntas fundamentales: cul es el estado
nal de un objeto que colapsa? y cmo se describe la mtrica del
campo gravitacional de este objeto?
Teniendo en cuenta el teorema de Birkho (visto en el captulo
5), sabemos que la nica solucin para el exterior de una distribucin
esfrica de materia est dada por la mtrica de Schwarzschild. Esto
signica que el campo gravitacional en el exterior de un objeto bajo
colapso esfricamente simtrico est dado por la mtrica de Schwarzschild, lo cual respondera a la segunda pregunta. Por tanto, dedicaremos la primera seccin a complementar el estudio de las propiedades
de esta mtrica. Los resultados de esta seccin nos darn, de paso, una
respuesta a la primera pregunta: el resultado nal de una estrella que
colapsa es un estado de densidad innita y radio cero, denominada
una singularidad o agujero negro, que deja como nico parmetro observable la masa total. Evidentemente esta respuesta, ms que resolver
165
166
8.1.
2Gm
c2 r
dx0
2Gm
c2 r
dr2
r2 d
(8.1)
167
1
1
Schwarzschild rs . Por ejemplo, las componentes R212
= R313
estn
dadas por:
1
1
R212
= R313
1
=
r
2Gm
c2 r
d
dr
2Gm
c2 r
ln 1
1
r3
(8.3)
ds = c d
2Gm
c2 r
dx
0 2
2Gm
c2 r
dr2
(8.4)
r_ 2 + 1
= E2
(8.5)
rs
R
= E2
(8.6)
rs
r
rs
R
1=2
(8.7)
168
dr
dr
=
ds
cd
(8.8)
1
c
R
(1 + cos )
2
R3
4rs
(8.9)
1=2
( + sin )
(8.10)
169
dr
dt
(8.16)
dr
dt
+ 1
rs
r
= E2
(8.17)
r
rs
Kt
(8.19)
t=rs
(8.20)
170
8.2.
Coordenadas de Kruskal
c 1
2Gm
c2 r
(8.21)
du2 )
r2 (d
+ sin2 d'2 )
(8.22)
171
@ x~ @ x~
g~
@x @x
(8.24)
rs
r
= f2
"
@v
@r
@u
@r
@v @v
@u @u
0
@x @r @x0 @r
Deniendo una nueva coordenada radial, como en 8.14,
0=
r = r + rs ln
y la funcin
1
r
rs
(8.26)
(8.27)
(8.28)
rs
r
(8.29)
f2
donde se ha asumido que la funcin f slo depende de r. Entonces las
ecuaciones 8.25, 8.26 y 8.27 toman la forma
F (r ) =
F (r ) =
@v
@x0
@u
@x0
(8.30)
172
@v
@r
@u
@r
(8.31)
@u @u
@v @v
=
(8.32)
0
@x @r
@x0 @r
Sumando las dos primeras ecuaciones y sumando y restando dos
veces la tercera obtenemos
@v
@v
+
@x0 @r
@v
@x0
@v
@r
@u
@u
+
@x0 @r
@u
@x0
@u
@r
(8.33)
(8.34)
@2u
=0
@r 2
(8.37)
@2v
@2v
=0
@x02 @r 2
cuya solucin general (DAlembert) es de la forma
u = h(r + x0 )
g(r
x0 )
(8.38)
(8.39)
173
v = h(r + x0 ) + g(r
x0 )
(8.40)
x0 ) = F (r )
(8.41)
h(r + x0 )
h(r + x0 )
g (r
g (r
x0 )
x0 )
x0 )
x0 )
(8.42)
(8.43)
(8.44)
(8.45)
(8.46)
2 2 r
1
e
2
(r +x0 )
(8.47)
(8.48)
174
x0 ) =
g(r
x0 )
(r
(8.49)
(8.50)
de forma similar
v = h(r + x0 ) + g(r
x0 )
rs
r
= er
1
sinh( x0 )
rs
(8.51)
rs
r
(8.52)
f2
entonces
f
=
=
rs
r
2 e2 r
rs
e
2r
2 r
r
rs
1 2rs
(8.53)
175
(8.54)
2rs = 0
r
rs
1=2
er=2rs sinh(
ct
)
2rs
(8.56)
y la funcin f
f2 =
4rs3
e
r
r=rs
(8.57)
du2 )
r2 (u; v)(d
+ sin2 d'2 )
(8.58)
v2 =
r
rs
v
= tanh
u
1 er=rs
ct
2rs
(8.59)
(8.60)
176
u2 = 1
(8.62)
1 er=rs
(8.63)
177
r
rs
1=2
er=2rs sinh(
t
)
2rs
(8.64)
1=2
t
r
er=2rs cosh( )
(8.65)
rs
2rs
con esta transformacin la mtrica de Kruskal y la funcin f son las
mismas. As bajo esta transformacin la imagen de la regin 0 < r < rs
es la regin II en la gura. La transformacin inversa est dada por
v=
v2
u2 =
r
rs
er=rs
(8.66)
ct
u
= tanh
(8.67)
v
2rs
Si se escogen los signos de las funciones g y h negativos, entonces es
equivalente a la transformacin (u; v) ! ( u; v), lo que implica que
las regiones II y IV son isomtricas. Sobre la hiprbola v 2 u2 = 1
la mtrica es singular, pues all el tensor de Riemann diverge. Las
cuatro regiones de la gura, I, II, III y IV, constituyen la variedad
de Schwarzschild-Kruskal. Finalizaremos esta seccin enunciando (sin
demostracin) el teorema de Birkho generalizado:
Teorema 8-1 Toda solucin de clase C 2 de las ecuaciones de Einstein en el vaco la cual es esfricamente simtrica en un subconjunto
abierto U es localmente isomtrica a una porcin de la variedad de
Schwarzschild-Kruskal
178
Parte IV
Aplicaciones cosmolgicas
179
Captulo 9
Cosmologa
La hiptesis fundamental sobre la cual se basa el modelo estndar
de la cosmologa es el principio cosmolgico, el cual establece que a
gran escala el universo es homogneo e isotrpico. Esto signica que el
universo observado es el mismo para cualquier observador, sin importar el punto desde el cual se est observando o la direccin, es decir,
a gran escala la distribucin de materia en el universo (la densidad
de galaxias y su movimiento) es independiente de la direccin y el
lugar desde el cual se observe. La hiptesis cosmolgica se basa en la
observacin de la distribucin de galaxias y la radiacin csmica de
fondo.
Las ecuaciones de campo de Einstein permiten describir la geometra del espacio-tiempo, determinada por la distribucin de materia
en el universo. La forma ms sencilla para describir la distribucin
de materia en el universo que satisface el principio cosmolgico es el
modelo del uido perfecto, en el cual las galaxias son las partculas
que conforman el uido csmico. Al igual que en la dinmica de uidos, donde la materia est constituida por partculas, se asume que
las escalas de observacin son lo sucientemente grandes para que el
elemento de volumen contenga un nmero suciente de partculas y
181
182
CAPTULO 9. COSMOLOGA
9.1.
Mtrica de Robertson-Walker
Antes de entrar a resolver las ecuaciones de Einstein para este modelo de universo, los argumentos de simetra establecidos por el principio cosmolgico nos permiten avanzar en la forma general de la mtrica, independientemente de la forma explcita del tensor momentumenerga que describa la materia en el universo.
Para encontrar la forma ms general de la mtrica que satisface
el principio cosmolgico, estableceremos las siguientes hiptesis, como
punto de partida:
H-1. Postulado de Weil: Las lneas de universo de las galaxias forman un haz de geodsicas f g que no se interceptan y ortogonales a
una familia de hipersupercies f g como de espacio.
H-2. A cada hipersupercie le corresponde una coordenada temporal x0 .
H-3. Cada hipersupercie es locamente isotrpica.
H-4. Todos los puntos sobre cada hipersupercie
son equivalentes.
Los postulados H-1 y H-2 corresponden a la escogencia de un sistema de coordenadas gaussiano: Sea una hipersupercie de la familia
f g de H-1 y sea n un vector unitario normal a , entonces se debe
satisfacer que
g(n; n) = g n n > 0
(9.1)
Sea x~i = (~
x1 ; x~2 ; x~3 ) las coordenadas de un punto p~ 2
y la
geodsica que pasa por este punto p~ 2 con vector tangente n. Sobre
la geodsica denamos las coordenadas (x0 ; x1 ; x2 ; x3 ) de un punto
183
por:
x0 = longitud de arco p~p sobre
xi = x~i
(9.2)
(9.3)
(9.4)
(9.5)
(9.6)
(9.7)
sta es la razn por la cual las coordenadas elegidas se llaman comviles, pues a lo largo de cada una de las lneas de universo de las
galaxias, geodsicas , las coordenadas espaciales xi de las galaxias no
cambian, es decir, las galaxias permanecen en reposo respecto a estas
coordenadas.
184
CAPTULO 9. COSMOLOGA
= dx2 + dy 2 + dz 2
= dr2 + r2 d 2
(9.8)
(9.11)
eg(x ) eh(r) d
(9.12)
185
1
= g eg+h ;
2
1
01
1
22
r2
1
= g r2 eg+h ;
2
0
22
2
02
3
03
1
1
h+
2
r
0
33
1
= g;
2
1
33
1
11
r2
1
= g r2 eg+h sin2
2
1
= h
2
1
1
h+
2
r
sin2
1
1
2
3
sin cos ;
cot
= h+ ;
33 =
23 =
2
r
A partir de estos smbolos, las componentes no nulas del tensor de
Ricci estn dadas por (ejercicio):
2
12
3
13
3
3
R00 = g + g 2
2
4
1
R11 = h + h
r
R22 = r2
eg+h
1
31
1
h + h2 +
h
2
4
2r
(9.13)
1
3
g + g2
2
4
eg+h
1
3
g + g2
2
4
(9.14)
(9.15)
(9.16)
= diagonal 1; eg+h ;
1 g+h
e ;
r2
1
eg+h
r2 sin2
(9.17)
186
CAPTULO 9. COSMOLOGA
+ g
8 G
T
c2
(9.19)
g h
h+
g h
g h
h2 2h
+
4
r
3g 2
+
4
h2 h
+
4
r
h
h
+
2 2r
3g 2
+
4
3g 2
+
4
8 G 0
T
c2
=
=
(9.20)
8 G 1
T
c2
(9.21)
8 G 2
T
c2
8 G 3
T
c2
(9.22)
8 G
T ;
6=
(9.23)
c2
La forma del tensor momentum-energa tambin debe manifestar la
simetra exigida por el principio cosmolgico. As, por isotropa local,
las componentes espaciales del tensor momentum-energa T ij ,bajo una
transformacin ortogonal de las coordenadas espaciales, no cambian y
por lo tanto todos sus valores propios deben ser iguales. Esto signica
que las componentes T ij deben ser un mltiplo de la matriz unidad:
0=
T ji = A
i
j
(9.24)
187
(9.25)
h2 h
h
h
+
=
+
4
r
2 2r
1 2 1
h
h = 0
2
r
,
(9.26)
(9.27)
1
r02
(9.29)
(9.30)
donde k = 0; +1; 1 dependiendo si ab = 0, ab < 0 o ab > 0 respectivamente. Adems, dado que la constante b2 se puede absorber en la
188
CAPTULO 9. COSMOLOGA
ds = dx
0 2
eg(x
1+
0)
k r2
4 r02
i2 d
(9.31)
3g 2
+
4
8 G 1
T =
c2 1
8 G 2
T =
c2 2
8 G 3
T
c2 3
(9.33)
Dado que el lado izquierdo de estas ecuaciones no depende explcitamente de r, esto demuestra la homogeneidad del triespacio.
Antes de continuar con las ecuaciones de campo de Einstein, las
cuales sern el tema central del prximo captulo, reescribamos el elemento de lnea, ecuacin 9.31,
2
ds = c dt
g dr
+ r2 d 2 + r2 sin2 d'2
i2
h
2
1 + k4 rr2
(9.34)
189
k r2
F (r) = 1 +
= 1
4 r02
Denamos una nueva coordenada x por
r2
x2 = r2 F (r)
(9.36)
(9.37)
(9.38)
F (r)dr2 =
(9.39)
4 r
(1
r2 )3
(9.40)
entonces
F
= 4 rF 1=2
F
remplazando este resultado en la ecuacin 9.39 se obtiene
F (r)dr2 =
1
(1 + 2
2 dx
r2 F 1=2 )
(9.41)
(9.42)
1 + 2 r2 F 1=2 = 1 +
(9.43)
190
CAPTULO 9. COSMOLOGA
(9.46)
1
dx2
1 + 4 x2
(9.47)
eg
dx2
+ x2 d
1 + 4 x2
eg
dx2
2
2 + x d
1 k xr2
0
(9.48)
(9.49)
R2 (t)
dr2
+ r2 d
1 kr2
(9.50)
191
donde se ha absorbido una constante r0 en la funcin eg y se ha remplazado la funcin resultante por la funcin R2 (t), llamado el factor
de escala, por las razones que se vern ms adelante.
9.1.1.
d'r2 R2 sin = 4 r2 R2
(9.52)
sin embargo, la distancia fsica radial (el radio fsico del crculo y la
2-esfera) desde el origen de coordenadas a un punto de coordenada r
es
Z
Z r
dr
p
rf =
ds = R(t)
1 r2
t; ;'=cte:
0
= R arcsin r 6= rR
(9.53)
Este resultado ilustra la interpretacin fsica de la funcin R como
un factor de escala. Para sustentar ms claramente la interpretacin
geomtrica de la mtrica de Robertson-Walker, escribamos el elemento
de arco ds en la forma
ds2 = dx0
(9.54)
192
CAPTULO 9. COSMOLOGA
donde hij son las componentes espaciales del tensor mtrico. Las componentes del tensor de Riemann, de Ricci y el escalar curvatura para la
parte espacial (3-variedad espacial), las cuales denotaremos por 3 Rijkl ,
3
Rij y 3 R respectivamente, estn dadas por:
3
Rijkl =
3
k
(hik hjl
R2
Rij =
hil hkj )
2k
hij
R2
(9.55)
(9.56)
6k
(9.57)
R2
Notemos que para k = 0 se anulan y por lo tanto tenemos un
3-espacio euclideano (tensor de Riemann globalmente nulo). Por completez, escribamos las componentes del tensor de Ricci y del escalar
curvatura para la mtrica de Robertson-Walker (incluyendo los smbolos de Christoel no nulos):
3
i
jk
@hlj @hlk
+
@xk
@xj
1
= hil
2
0
ij
R=
R_
hij
R
R00 =
R_
R
R
R
R
R_ 2
2k
+2 2 + 2
R
R
R
Rij =
R=
i
0j
@hjk
@xl
i
j
(9.58)
(9.59)
(9.60)
R_ 2
R
k
+ 2+ 2
R R
R
gij
(9.61)
(9.62)
193
+ x2
+ x3
= R2
(9.63)
+ dx2
+ dx3
(9.64)
d~`2 = dx1
+ dx2
(9.65)
(9.66)
x2 = r~ sin ~
(9.67)
(9.68)
194
CAPTULO 9. COSMOLOGA
r~
R
(9.69)
dr2
2 ~2
+
r
d
1 r2
(9.70)
(9.71)
(9.72)
x3 = R cos
(9.73)
entonces
d~`2 = R2 d
+ sin2 d'2
(9.74)
donde h es el determinante del tensor mtrico hij , como era de esperarse. La esfera S 2 es homognea e isotrpica y todos los puntos son
equivalentes. No hay fronteras y el espacio no es acotado, aun cuando
su volumen es nito. Si el radio R de la esfera vara, se expande o se
195
dr2
2
+ r2 d~
2
1+r
(9.76)
o en la forma
d~`2 = R2 d
+ sinh2 d'2
(9.77)
dt
R(t)
(9.78)
entonces
ds2 = R2 ( ) d
dr2
1 kr2
r2 d
r2 sin2 d'2
(9.79)
196
CAPTULO 9. COSMOLOGA
se anule. El tensor de Weyl se dene como la parte sin traza del tensor
curvatura de Riemann, dado por
C
9.2.
=R
[
[
]
]
1
3
]
[
]R
(9.80)
La mtrica de Robertson-Walker se obtuvo a partir de consideraciones de simetra (principio cosmolgico) y est determinada salvo el
factor de escala R y la constante k que determina la geometra espacial.
Las formas precisas del factor de escala y de la constante k se
obtienen a partir de las ecuaciones de campo de Einstein, sobre la base
de un modelo para la distribucin de materia, i.e., el tensor energamomentum, lo cual ser el tema del siguiente captulo. Sin embargo,
independientemente del modelo adoptado para la materia, es posible
obtener varias propiedades fsicas a partir de la mtrica de RobertsonWalker. Esta seccin se dedica a estudiar algunas consecuencias de la
mtrica de Robertson-Walker.
9.2.1.
Horizonte de eventos
Un primer resultado importante que presenta la mtrica de Robertson-Walker lo constituye la pregunta sobre el contacto causal. Es
decir, sabemos que nuestro universo est en expansin, lo cual se reeja en la mtrica a travs del factor de escala y por lo tanto se plantea
la pregunta: para un observador como nosotros, qu parte del universo est en contacto causal con nosotros?, o en otros trminos: para
un observador comvil situado en las coordenadas (t; r0 ; 0 ; '0 ), para
cules valores de (r; ; ') una seal de luz emitida en este punto en
t = 0 alcanzara al observador en o antes del instante t?
197
R2 (t)
dr2
=0
1 kr2
(9.81)
(9.82)
198
CAPTULO 9. COSMOLOGA
9.2.2.
dx
=0
ds
(9.85)
donde
dx
(9.86)
d
Las componentes de la cuadrivelocidad estn relacionadas con la velocidad de la partcula v i = dxi =dt a travs de la relacin
U =
U = (U 0 ; U i ) = (c (v); (v)v i )
donde
(jvj) = q
1
1
dU 0
1
+ 2
ds
c
(9.88)
jvj2 =c2
jvj2 = hij v i v j
Consideremos la componente
geodsico para la partcula
(9.87)
(9.89)
= 0 de la ecuacin de movimiento
U U =0
(9.90)
199
(9.92)
Puesto que
c2 = g U U = U 0
hij U i U j = U 0
jUj2
(9.93)
implica que
U 0 dU 0 = jUj d jUj
(9.94)
(9.95)
(9.96)
1 d
R
R dt
(9.97)
200
CAPTULO 9. COSMOLOGA
(9.99)
(9.100)
Es decir, en un universo en expansin, si una partcula se est moviendo respecto a un observador comvil (tiene una velocidad peculiar),
entonces la partcula tiende al reposo a medida que el universo se
expande.
9.2.3.
Corrimiento al rojo
(9.102)
201
R(t1 )
R(t0 )
(9.103)
La interpretacin fsica de esta ecuacin es inmediata: si en el instante t1 se emite un rayo de luz de longitud de onda 1 , entonces un
tiempo despus t0 la longitud de onda del rayo ha cambiado de acuerdo
con la relacin 9.103; si el universo se est expandiendo la longitud de
onda aumenta proporcionalmente al factor de escala (corrimiento al
rojo); si el universo se est contrayendo la longitud de onda disminuye
(corrimiento al azul).
Este mismo resultado se puede obtener, y es ilustrativo de la metodologa empleada, considerando la propagacin de la luz como un
fenmeno tpicamente ondulatorio. Supongamos que en el instante t1
se emite un frente de ondas desde el punto de coordenadas r1 y de
longitud de onda 1 , el cual es detectado en el origen r0 = 0 en el
instante t0 . Dado que el frente de ondas sigue una geodsica nula ds2 ,
entonces la coordenada radial y la temporal estn relacionadas por
Z r1
Z t0
dr
cdt
p
= f (r1 )
(9.104)
=
1 kr2
0
t1 R(t)
Consideremos un segundo frente de ondas emitido en r1 en un
instante posterior t1 + t1 y detectado en r = 0 en el instante t0 + t0 ,
entonces este frente tambin sigue una geodsica nula y por lo tanto
se debe cumplir que
Z t0 + t0
Z r1
cdt
dr
p
=
= f (r1 )
(9.105)
1 kr2
t1 + t1 R(t)
0
dado que el lado derecho de las ecuaciones 9.104 y 9.105 es igual e
independiente del tiempo, entonces tenemos que
Z t0
Z t0 + t0
cdt
cdt
=
(9.106)
t1 R(t)
t1 + t1 R(t)
202
CAPTULO 9. COSMOLOGA
(9.108)
(9.109)
0
1
R(t0 )
R(t1 )
(9.110)
203
conocida como ley de Hubble, se puede obtener a partir de la mtrica de Robertson-Walker, sin necesidad de resolver las ecuaciones de
campo de Einstein para algn modelo concreto. Antes de entrar en la
deduccin de la ley de Hubble, deniremos el concepto fundamental
de distancia el cual juega un papel muy importante en cosmologa y
su relacin con la astronoma a gran escala.
9.2.4.
204
CAPTULO 9. COSMOLOGA
relacin entre el dimetro propio de un objeto y el dimetro angular observado. En el caso de un espacio euclideano esttico, las tres
distancias, dp , dL y dA , son equivalentes, como veremos. Pero cuando
el espacio no es euclideano y/o no es esttico, la relacin entre estas
distancias depende, en general, de la mtrica del espacio.
Distancia de luminosidad
Consideremos en primer lugar la distancia de luminosidad dL . Para
este n denamos en primer lugar la luminosidad aparente de una
fuente medida por un observador para el caso de un espacio euclideano esttico. Para denir la luminosidad aparente consideremos un
telescopio de espejo circular de rea A, con el origen de coordenadas en
el centro del espejo y la normal al espejo en su centro n
^ en la direccin
del objeto observado. Si la distancia euclideana de la fuente al espejo
la llamamos dL , entonces el ujo F que llega al espejo del telescopio (energa incidente por unidad de rea y por unidad de tiempo)
es igual a la energa por unidad de tiempo emitida por el objeto L
(su luminosidad propia o intrnseca) dividida entre el rea total de la
esfera de radio dL , es decir
F=
L
4 d2L
(9.112)
Para el caso general de un espacio no euclideano, denimos la distancia de luminosidad como la relacin entre la luminosidad propia
del objeto L y el ujo F medido por el observador, como
d2L =
L
4 F
(9.113)
205
R2 (t0 )r12 (1
+ z)2
(9.114)
206
CAPTULO 9. COSMOLOGA
r1
R(t1 )
(9.119)
D
R(t1 )r1
(9.121)
207
lo tanto, denimos la distancia diametral angular dA , en el caso general, de una fuente de dimetro propio D, como
dA =
(9.122)
(9.124)
dL
dA
R(t0 )r1
(9.125)
108 km
1013 km
208
CAPTULO 9. COSMOLOGA
1012 km
9.3.
Ley de Hubble
En esta seccin derivaremos la ley de Hubble como una consecuencia de la mtrica de Robertson-Walker. Hubble report en 1929 el resultado observacional ms importante de la astronoma en gran escala,
pues con este resultado se demostr que el universo no era esttico,
como se crea hasta entonces, y se dio origen al modelo estndar de la
cosmologa actual. Las observaciones de los espectros de varias galaxias distantes mostraban que ellas se estaban alejando de nosotros, pues
sus espectros presentaban un corrimiento al rojo, el cual dependa de
la distancia.
Para este n expresemos la distancia de luminosidad dl en trminos
de z, para lo cual debemos eliminar la dependencia explcita de r1 .
Deberamos disponer de una expresin explcita del factor de escala
R(t), lo cual requiere resolver las ecuaciones de campo de Einstein.
Sin embargo, aun sin conocer R(t) podemos expresar los resultados en
trminos del valor del factor de escala en la poca actual, i.e. R(t0 ).
En lo sucesivo, como es usual en cosmologa, t0 representa el tiempo
presente. Para este n expandiremos en serie de Taylor las expresiones
alrededor del tiempo presente, esto es, en potencias de (t t0 ).
209
Sea
f (t) =
R(t)
R(t0 )
t0 ) +
1 d2 f
2! dt2
(9.126)
entonces
f (t) = f (t0 ) +
df
dt
(t
t0
deniendo
H0 =
(t
t0 )2 +
(9.127)
t0
_ 0)
R(t
R(t0 )
(9.128)
0)
R(t
R(t0 ) =
R_ 2 (t0 )
0)
R(t
R(t0 )H02
(9.129)
t0 )
1
q0 H02 (t
2
t0 )2 +
(9.130)
(9.131)
1
1 + H0 (t
t0 )
1
q H 2 (t
2 0 0
t0 )2 +
(9.132)
1
t) + 1 + q0 H02 (t0
2
t)2 +
(9.133)
210
CAPTULO 9. COSMOLOGA
Para calcular la integral del lado izquierdo podemos utilizar la expansin 9.130, y reteniendo trminos hasta orden 2 en las expansiones
obtenemos:
Z t0
Z t0
cdt
c
dt
=
1
R(t)
R(t0 ) t 1 + H0 (t t0 ) 2 q0 H02 (t t0 )2 +
t
Z t0
c
1
=
1 H0 (t t0 ) + 1 + q0
R(t0 ) t
2
2
2
H0 (t t0 ) +
dt
(9.136)
1
c
=
(t0 t) + H0 t0 (t0 t)
H0 t20 t2 +
R(t0 )
2
1
c
=
(t0 t) + H0 (t0 t)2 +
(9.137)
R(t0 )
2
entonces, de la ecuacin 9.135, la coordenada r en primera aproximacin est dada por
r=
c
(t0
R(t0 )
1
t) + H0 (t0
2
t)2 +
(9.138)
211
Si remplazamos la ecuacin 9.134 para (t0 t) en la ecuacin anterior, obtenemos una relacin para r en trminos de z (reteniendo
trminos hasta z 2 ):
c
1
1
1 + q0 z 2 + H0 H0 2 (z
H0 1 z
R(t0 )
2
2
1
c
(1 + q0 ) z 2 +
=
z
R(t0 )H0
2
r =
)2 +
(9.139)
c
z
R(t0 )H0
c
1
z + (1
H0
2
1
(1 + q0 ) z 2 +
2
q0 ) z 2 +
(9.140)
(9.141)
212
CAPTULO 9. COSMOLOGA
H0 dL =
(9.143)
2z +
c
z+
H0
c
=
z
H0
1
c
z + (1
H0
2
1
(1 q0 ) z 2 2z 2 +
2
1
(3 + q0 ) z 2 +
3
q0 ) z 2 +
(9.144)
213
La expresin exacta para el modelo de universo dominado por materia est dada por
dA =
h
c
1
zq0 + (q0
H0 q02 (1 + z)2
1)
p
2q0 z + 1
(9.145)
r2
1
kr2
drd
(9.147)
214
CAPTULO 9. COSMOLOGA
c2
R2 (t0 )H02
1
2
z
2
k R2 (tc0 )H 2 z
0
(1 + q0 ) z 2 +
1
2
(1 + q0 ) z 2 +
c
[dz (1 + q0 ) zdz + ]
R(t0 )H0
c3
= nc (t) 3
z 2 (1 + q0 ) z 3 +
R (t0 )H03
c
1
z 2 (1 + q0 ) z 3 +
1+ k
2 R(t0 )H0
[dz (1 + q0 ) zdz + ]
nc (t)c3
=
z 2 2 (1 + q0 ) z 3 +
dz
3
3
R (t0 )H0
(9.148)
2 (1 + q0 ) z +
(9.149)
A partir de esta relacin es posible determinar el modelo cosmolgico (i.e. medir q0 ) contando el nmero de galaxias en un volumen dado
con corrimientos al rojo entre z y z + dz. Al igual que en los casos
anteriores, para un modelo de universo dominado por la materia la
funcin conteo de galaxias est dada por
p
zq0 + (q0 1) 2q0 z + 1
1 dNgal
nc (z)
p
= 3
z 2 dzd
R (t0 )H03 (1 + z)3 q04
1 +2q0 (1 + z)
(9.150)
expresin que de nuevo se reduce a la ecuacin 9.149 para z pequeo.
Captulo 10
Modelos cosmolgicos
En el captulo anterior encontramos la forma ms general de la
mtrica, la cual satisface el principio cosmolgico. La mtrica encontrada (de Robertson-Walker) qued determinada salvo la funcin R(t),
llamado factor de escala, la cual debe ser determinada a partir de las
ecuaciones de campo de Einstein. Para este n se hace necesario adoptar un modelo que describa el contenido de materia del universo, con
la condicin que este modelo satisfaga el principio cosmolgico.
Como se dijo en la introduccin al captulo anterior, el modelo
de materia ms sencillo que se puede considerar es el de un uido
perfecto caracterizado por una densidad de energa (t) y una densidad
de presin p(t), en general funciones del tiempo. En la ecuacin 7.24
encontramos la expresin general que describe un uido perfecto:
T
1
U U +p
c2
1
U U
c2
(10.1)
216
tenemos
T
1
g U U +p
c2
1
1
= 2 U U + p 2U U
c
c
= g T
1
g U U
c2
g g
(10.2)
10.1.
Ecuaciones de Friedmann-Lematre
El objetivo central de esta seccin es encontrar, a partir de la mtrica de Robertson-Walker y dada la ecuacin de estado f ( ; p) = 0 para
la materia, las ecuaciones que determinan el factor de escala R(t).
Para este n consideremos las ecuaciones de campo de Einstein con
constante cosmolgica:
R
1
Rg
2
+ g
8 G
T
c4
(10.4)
Rij =
R
R
R
R_ 2
2k
+2 2 + 2
R
R
R
(10.5)
!
gij
(10.6)
R_ 2
R
k
+ 2+ 2
R R
R
217
(10.7)
= g R , T 11 = T 22 = T 33 ,
Entonces, teniendo en cuenta que R
las ecuaciones de campo 10.4 conducen al siguiente sistema de dos
ecuaciones acopladas:
4 G
3p
( + 2)=
2
c
c
3R
c2 R 2
(10.8)
4 G
p
k
R_ 2 RR
(
+
)
=
+
(10.9)
c2
c2
R2
c2 R 2
A partir de la ecuacin para la conservacin local de la energamomentum
T ; =0
(10.10)
se obtiene la ecuacin
d 2 3
d
c %R + p
R3 = 0
dt
dt
(10.11)
Sin embargo, las tres ecuaciones 10.8, 10.9 y 10.11 no son independientes, pues cualesquiera dos implican la tercera, como se puede probar
fcilmente. Por ejemplo, derivando la ecuacin 10.8 con respecto a
t, remplazando la ecuacin 10.9 y reagrupando trminos obtenemos
10.11. Este sistema de ecuaciones se puede escribir en muchas otras
formas equivalentes encontradas en la literatura. Una forma usualmente utilizada es la siguiente:
=
R
c2
4 G
3p
( + 2 )R +
R
3
c
3
8 G 2 c2
R_ 2 =
R +
R2
3
3
c2 k
(10.12)
(10.13)
218
d 2 3
d
(10.14)
c %R + p
R3 = 0
dt
dt
Este sistema de ecuaciones se llama de Friedmann-Lematre y junto
con la ecuacin de estado f ( ; p) = 0 asumida para el modelo de
materia determinan el modelo cosmolgico, i.e. R(t), (t) y k. Como
se mencion, de las tres ecuaciones anteriores dos son independientes
y usualmente se toman las ecuaciones 10.13 y 10.14 como independientes.
La ecuacin 10.14 admite una interpretacin fsica directa, pues si
consideramos 4 %R3 =3 = M como la masa, entonces la ecuacin 10.14
se puede escribir en la forma
dE + pdV = 0
(10.15)
219
rad
(10.18)
10
34
gr=cm3
(10.20)
220
(10.22)
entonces
4
% d R3 + R3 d%rad = 0
3 rad
=)
%rad / R
(10.23)
1
+ n }!;
2
n = 0; 1; 2;
(10.24)
221
X1
!
}!
(10.25)
llamada la energa del vaco, es innita. Sin embargo esta divergencia que surge en la teora de campos se puede eliminar formalmente
teniendo en cuenta, como lo mostramos en el caso del oscilador armnico, que slo son observables las transiciones de un sistema, as la
energa total (renormalizada) ER de un campo de materia se dene
como
ER = E E0
(10.26)
dando como resultado cantidades nitas. En particular, la energa del
estado base renormalizada es E0R = E0 E0 = 0. Este mtodo, que
corresponde formalmente a restar una cantidad innita para obtener
222
10.2.
Bibliografa
[1] Adler R., Bazin M. and Schier M., Introduction to general relativity. MaGraw-Hill, 1975.
[2] Brner G., The early universe. Facts and ction. Springer-Verlag,
1993.
[3] Fock V., The theory of space, time and gravitation. Pergamon
Press, 1959.
[4] Heidmann J., Relativistic Cosmology. Springer-Verlag, 1980.
[5] Heller M., Theoretical foundations of cosmology. World Scientic,
1992.
[6] Kolb E. W. and Turner M. S., The early universe. AddisonWesley, 1994.
[7] Kopczynski W. and Trautman A., Spacetime and gravitation.
John Wiley & Sons, 1992.
[8] McVittie G. C., General relativity and cosmology. Chapman and
Hall Ltd., 1965.
[9] Misner C. W., Thorne K. S. and Wheeler J. A., Gravitation. W.
H. Freeman and Co., 1973.
223
224
BIBLIOGRAFA