Agujeros Clasicos

Agujeros Negros Clasicos
Eduard Alexis Larraaga R.

28 de agosto de 2008
ndice general
1. Preliminares
1.1. Geodsicas y Parametrizacin Afn . . . . . . . . . . . . . . . . . . . . . . . . . .
1.1.1. Partculas con Masa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.1.2. Partculas sin Masa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2. Campos Vectoriales de Killing . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2.1. Lema del Vector de Killing . . . . . . . . . . . . . . . . . . . . . . . . . .
10
1.2.2. Cargas Conservadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
11
1.3. Simetras del Espacio-Tiempo . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
12
1.3.1. Espacio-Tiempo Estacionario . . . . . . . . . . . . . . . . . . . . . . . . .
12
1.3.2. Espacio-Tiempo Esttico . . . . . . . . . . . . . . . . . . . . . . . . . . . .
13
1.3.3. Espacio-Tiempo Axialmente Simtrico . . . . . . . . . . . . . . . . . . . .
13
1.3.4. Espacio-Tiempo Esfricamente Simtrico . . . . . . . . . . . . . . . . . . .
13
2. Agujero Negro de Schwarzschild
15
2.1. La Mtrica de Schwarzschild . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
15
2.1.1. Estructura Causal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
15
2.1.2. Vectores de Killing y Cantidades Conservadas
. . . . . . . . . . . . . . .
16
2.2. Coordenadas de Eddington-Finkelstein . . . . . . . . . . . . . . . . . . . . . . . .
17
2.2.1. Coordenadas de E-F entrantes
. . . . . . . . . . . . . . . . . . . . . . . .
18
2.2.2. Coordenadas de E-F salientes . . . . . . . . . . . . . . . . . . . . . . . . .
19
2.3. Coordenadas de Kruskal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
21
2.3.1. Vector de Killing como-de-tiempo en la Variedad de Kruskal . . . . . . . .
25
2.4. Coordenadas Isotrpicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
27
2.4.1. Agujeros de Gusano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
28
2.5. Espacio-Tiempo de Rindler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
29
2.6. Diagramas de Carter-Penrose . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
31
2.6.1. Espacio-Tiempo de Minkowski . . . . . . . . . . . . . . . . . . . . . . . .
31
2.6.2. Espacio-Tiempo de Rindler . . . . . . . . . . . . . . . . . . . . . . . . . .
36
2.6.3. Espacio-Tiempo de Kruskal . . . . . . . . . . . . . . . . . . . . . . . . . .
37
NDICE GENERAL
3. Hipersuperficies
41
3.1. Hipersuperficies Nulas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
42
3.2. Horizontes de Killing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
46
3.2.1. Gravedad Superficial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
46
3.2.2. Esfra de Bifurcacin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
48
3.2.3. Horizontes de Aceleracin . . . . . . . . . . . . . . . . . . . . . . . . . . .
51
3.2.4. Horizontes de Aceleracin y Gravedad Superficial . . . . . . . . . . . . . .
52
3.3. Horizontes de Eventos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
53
3.3.1. Espacio-tiempo Asintticamente Simple . . . . . . . . . . . . . . . . . . .
53
3.3.2. Espacio-tiempo Dbil Asintticamente Simple
. . . . . . . . . . . . . . .
53
3.3.3. Espacio-tiempo Asintticamente Vacio . . . . . . . . . . . . . . . . . . . .
53
3.3.4. Espacio-tiempo Asintticamente Plano . . . . . . . . . . . . . . . . . . . .
53
3.3.5. Curva Causal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
54
3.3.6. Pasado Causal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
54
3.3.7. Futuro Causal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
55
3.3.8. Horizonte de Eventos Futuro . . . . . . . . . . . . . . . . . . . . . . . . .
55
3.3.9. Horizonte de Eventos Pasado . . . . . . . . . . . . . . . . . . . . . . . . .
55
3.4. Horizontes de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
56
3.4.1. Superficie Parcial de Cauchy
. . . . . . . . . . . . . . . . . . . . . . . . .
56
3.4.2. Curva Causal Inextendible al Pasado . . . . . . . . . . . . . . . . . . . . .
56
3.4.3. Curva Causal Inextendible al Futuro . . . . . . . . . . . . . . . . . . . . .
56
3.4.4. Dominio Futuro de Dependencia . . . . . . . . . . . . . . . . . . . . . . .
57
3.4.5. Dominio Pasado de Dependencia . . . . . . . . . . . . . . . . . . . . . . .
57
3.4.6. Superficie de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
57
3.4.7. Globalidad Hiperblica . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
57
3.4.8. Horizonte de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
59
4. Formulacin de Ttradas
61
4.1. Componentes de Vectores y Tensores . . . . . . . . . . . . . . . . . . . . . . . . .
62
4.2. Derivada Intrnseca . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
63
4.3. Clculo de los Coeficientes de Rotacin de Ricci . . . . . . . . . . . . . . . . . . .
66
4.4. Tensor de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
67
5. Agujero Negro de Reissner-Nordstrm
69
5.1. Solucion de las Ecuaciones de Campo . . . . . . . . . . . . . . . . . . . . . . . . .
69
5.2. Casos 1 de Reissner-Nordstrm: M < |Q|
. . . . . . . . . . . . . . . . . . . . . .
72
5.3. Caso 2 de Reissner-Nordstrm: M > |Q| . . . . . . . . . . . . . . . . . . . . . . .
73
5.3.1. Coordenadas de Eddington-Finkelstein . . . . . . . . . . . . . . . . . . . .
74
5.3.2. Horizontes de Killing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
75
NDICE GENERAL
5.3.3. Coordenadas de Kruskal-Szekeres . . .
5.3.4. Diagrama de Kruskal. . . . . . . . . .
5.3.5. Diagrama de Carter-Penrose . . . . . .
5.3.6. Causalidad . . . . . . . . . . . . . . .
5.3.7. Coordenadas Isotrpicas . . . . . . . .
5.4. Caso 3 de Reissner-Nordstrm: M = |Q| . . .
5.4.1. Coordenadas de Eddington-Finkelstein
5.4.2. Horizonte de Killing . . . . . . . . . .
5.4.3. Diagrama de Kruskal . . . . . . . . . .
5.4.4. Diagrama de Carter-Penrose . . . . . .
5
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
6. Agujero Negro de Kerr

6.1. La familia de Kerr-Newman . . . . . . . . . . . . .
6.2. Agujero Negro de Kerr . . . . . . . . . . . . . . . .
6.3. Caso 1 de Kerr: M < a . . . . . . . . . . . . . . . .
6.3.1. Coordenadas de Kerr-Schild . . . . . . . . .
6.3.2. Diagrama de Carter-Penrose . . . . . . . . .
6.3.3. Estructura Causal cerca de la Singularidad
6.4. Caso 2 de Kerr: M > a . . . . . . . . . . . . . . . .
6.4.1. Coordenadas de Eddington-Finkelstein . . .
6.4.2. Horizontes de Killing . . . . . . . . . . . . .
6.4.4. Velocidad Angular del Agujero Negro . . . .
6.4.5. La Ergosfra . . . . . . . . . . . . . . . . .
6.4.6. Arrastre de Sistemas Inerciales . . . . . . .
6.4.7. Cantidades Conservadas . . . . . . . . . . .
6.4.8. El Proceso de Penrose . . . . . . . . . . . .
6.5. Caso 3 de Kerr: M = a . . . . . . . . . . . . . . . .
6.5.1. Horizonte de Killing . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
77
78
80
83
84
85
86
87
88
90
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
91
91
92
93
93
95
97
97
98
98
101
103
104
105
106
107
110
111
113
NDICE GENERAL
Captulo 1
Preliminares
1.1.
1.1.1.
Geodsicas y Parametrizacin Afn

Partculas con Masa
Considere una partcula con masa m que se mueve a lo largo de una curva como-de-tiempo
C con puntos extremos A y B. La accin que describe el movimiento de esta partcula est dada
en trminos de su tiempo propio mediante
S = m
d.
(1.1)
Ya que el tiempo propio esta relacionado con el elemento de lnea, podemos escribir
"
"
ds2 = g dx dx
#
dx dx
=
g
d,
d d
=
(1.2)
(1.3)
donde es un parmetro arbitrario para la curva C. De esta forma, la accin ser

S = m
dx dx
d,
d d
(1.4)
y la trayectoria de la partcula corresponde a lo que se denomina una geodsica y debe

satisfacer el principio variacional
S
= 0.
x ()
1.1.2.
(1.5)
Partculas sin Masa
La accin presentada en (1.4) no es adecuada para describir partculas sin masa ya que se
anula idnticamente. Sin embargo, es posble utilizar una accin equivalente,
7
CAPTULO 1. PRELIMINARES
1
S=
2
$
%
dx dx 1
2
g
e () m e () d,
d d
(1.6)
donde e () es una funcion arbitraria denominada einbein. Ntese que para describir particulas
sin masa se toma el lmite m 0 en esta accin. Podemos identificar la lagrangiana en (1.6)
como
$
%
1
dx dx 1
g
e () m2 e () .
2
d d
L=
(1.7)
Para probar que (1.6) es equivalente a la accin (1.4) debemos mostrar que el principio variacional
lleva a las mismas ecuaciones de movimiento. Sin embargo, en este caso se tienen dos cantidades
para realizar la variacin. Al realizar la variacin con respecto al einbein e () se tiene
S
1
=
e
2
$
%
dx dx 2
2
g
e () m d = 0,
d d
(1.8)
es decir
1
e=
m
dx dx
1 d
=
.
d d
e d
(1.9)
Por otro lado, al realizar una variacin en x se tiene
x x + x
g
g + x g ,
(1.10)
(1.11)
y por lo tanto la accion transformar de acuerdo con

$
%
!
1 B
d (x + x ) d (x + x ) 1
2
S
(g + x g )
e m e d
2 A
d
d
S S + S,
(1.12)
(1.13)
donde
S =
1
2
& B
A
de1
$
'
(
dx d (x ) d (x ) d (x )
g 2
+
d d
d
d
'
(%
dx dx
dx d (x )
+x g
+2
+ t.o.s.
d d
d d
(1.14)
(1.15)
1.2. CAMPOS VECTORIALES DE KILLING
Ejercicio
Mostrar que la condicin S = 0 implica
dx
d
donde
dx
'
'
dx
d
dx
d
= e1
de dx
,
d d
d2 x
dx dx
+
d2
d d
(1.16)
(1.17)
Nota: Se ha utilizando la relacin (1.9) para obtener (1.16).
Ahora bien, la libertad de escoger el parmetro se convierte aqui en la libertad para escoger
el einbein e. Si se desea una geodsica en parametrizacin afn se tomar e () = constante. Con
ello la ecuacin (1.16) se convierte en
d2 x
dx dx
+
= 0.
d2
d d
1.2.
(1.18)
Campos Vectoriales de Killing
Si se realiza la transformacin
x x + ,
(1.19)
el tensor mtrico transformar mediante

g g + x g = g + g .
(1.20)
De esta forma, la accin de la partcula transforma como

$
%
!
1 B
d (x + ) d (x + ) 1
2
S
(g + g )
e m e d
2 A
d
d
S S + S,
(1.21)
(1.22)
donde
S =
2
de
$
%
) *
dx d
d dx
dx dx
g
+ g
+ g
+ O 2 .
d d
d d
d d
Esta relacin se puede escribir como
(1.23)
10
S =
2
de
$
%
) *
dx d dx
d dx dx
dx dx
g
+ g
+ g
+ O 2 , (1.24)
d dx d
dx d d
d d
o renombrando algunos indices mudos,
S =
2
de
$
%
) *
d
d
dx dx
g + g + g
+ O 2 .
dx
dx
d d
(1.25)
La cantidad entre parntesis corresponde a la derivada de Lie del tensor mtrico a lo largo
del campo vectorial
d
d
+
g
.
(1.26)
dx
dx
Si se utiliza la conexin compatible con la mtrica, ( g = 0), la anterior expresin se puede
escribir de forma covariante como
g = g + g
g = 2( ) .
(1.27)
Por lo tanto, podemos asegurar que la accin de la partcula es invariante a primer orden
bajo la transformacin (1.19) si
g = 0
(1.28)
y en este caso, se denomina un campo vectorial de Killing. Ntese que la relacin (1.27)
implica que un vector de Killing satisface
( ) = 0.
(1.29)
As, la parte simtrica de la derivada covariante de un vector de Killing es cero, y por ello
podemos concluir que esta derivada es igual a su parte antisimtrica,
= [ ] .
1.2.1.
(1.30)
Lema del Vector de Killing
La definicin del tensor de Riemann implica que para cualquier vector A , en una variedad
sin torisn, se satisface
[ , ] A = A A = R A .
(1.31)
En particular, para un vector de Killing, se tiene

= R ,
(1.32)
1.2. CAMPOS VECTORIALES DE KILLING
11
o bajando el indice ,
R = .
(1.33)
Debido a la relacin (1.30) tenemos
R = [ ] [ ]
= ( ) ( )
= +
(1.34)
(1.35)
(1.36)
y utilizando de nuevo la definicin del tensor de Riemann en los dos ltimos trminos,
R = + R + R +
(1.37)
= + R + R + [ ]
(1.38)
= R + R + R + .
(1.40)
= [ , ] + R + R +
(1.39)
Es decir que
= R R
(1.41)
Debido a las simetras del tensor de Riemann tenemos

= R R ,
(1.42)
R + R + R = 0,
(1.43)
y utilizando la identidad
obtenemos finalmente la ecuacin

= R ,
(1.44)
conocida como Lema del Vector de Killing.
1.2.2.
Cargas Conservadas
Como es conocido, el Teorema de Noether nos asegura que cada simetra de la accin tiene
asociada una carga conservada. En este caso, la carga conservada corresponde a
12
Q = p
(1.45)
donde el 4-momentum p se puede encontrar en trminos de la lagrangiana dada por (1.7)

mediante
p =
L
) dx *
dx
g ,
d
o utilizando (1.9) para el caso de particulas con masa,
= e1
p = m
(1.46)
dx
g .
d
(1.47)
(1.48)
Ejercicio
Mostrar que las ecuaciones de Euler-Lagrange para la accin (1.6) implican la conservacin de
la carga Q, i.e.
dQ
= 0.
d
1.3.
(1.49)
Simetras del Espacio-Tiempo
Los diferentes espacios-tiempo que se trabajarn pueden clasificarse de acuerdo con sus propiedades de simetra. Primero definiremos que un espacio-tiempo asintticamente plano es aquel
que se vuelve progresivamente Minkowskiano cuando nos acercamos al infinito, r . Sin
embargo, una definicin ms rigurosa de esta propiedad se dar en un captulo posterior. Basndonos en esto, realizaremos las siguientes definiciones.
1.3.1.
Espacio-Tiempo Estacionario
Se dice que un espacio-tiempo asintticamente plano es estacionario si existe un campo vectorial de Killing , que sea como-de-tiempo cerca de . Adems, este vector puede ser normalizado
naturalmente en el infinito, de tal forma que 2 1 para r .
Si t es una coordenada temporal, el vector se puede escribir (fuera de un posible horizonte)
. As, la forma general para una mtrica estacionaria en estas coordenadas es

como = t
ds2 = gtt ((x) dt2 + 2gti ((x) dtdxi + gij ((x) dxi dxj .
(1.50)
1.3. SIMETRAS DEL ESPACIO-TIEMPO
1.3.2.
13
Espacio-Tiempo Esttico
Un espacio-tiempo estacionario se denomina esttico si adems es invariante bajo inversin

temporal. Para que el elemento de lnea (1.50) sea invariante bajo la inversin temporal, se debe
tener gti = 0, por lo que la mtrica general para un espacio-tiempo esttico, fuera de un posible
horizonte, es
ds2 = gtt ((x) dt2 + gij ((x) dxi dxj .
1.3.3.
(1.51)
Espacio-Tiempo Axialmente Simtrico
Un espacio-tiempo asintticamente plano se denomina axialmente simtrico si existe un campo vectorial de Killing que sea como-de-espacio en el y tal que todas sus orbitas sean cerradas.
Escogiendo apropiadamente las coordenadas, este vector se puede escribir como
=
(1.52)
tal que la coordenada se identifique mdulo 2. Al igual que en el caso de los vectores de Killing
2
como-de-tiempo, los vectores como-de-espacio normalizarse en el , exigiendo que r2 1 para
r .
1.3.4.
Espacio-Tiempo Esfricamente Simtrico
Un espacio-tiempo se denomina esfricamente simtrico si posee tres vectores de Killing

(k1 , k2 , k3 ) que satisfacen las relaciones de conmutacin del grupo de rotaciones en tres dimensiones SO (3), es decir
[k1 , k2 ] = k3
(1.53)
[k2 , k3 ] = k1
(1.54)
[k3 , k1 ] = k
14
donde r es una funcin no nula de las coordenadas (b, a). Se utiliza este nombre sugestivo para
la funcin, ya que se puede realizar un cambio de las coordenadas (b, a) a las coordenadas (b, r)
para que el elemento de lnea tome la forma
ds2 = gbb (b, r) db2 + 2gbr (b, r) dbdr + grr (b, r) dr2 + r2 d2 .
(1.58)
Por ltimo, podemos realizar un cambio de las coordenadas (b, r) a las coordenadas (t, r) para
que no existan trminos cruzados, definiendo una funcin t (b, r). El diferencial de esta funcin
es
dt =
t
t
db +
dr
b
r
(1.59)
y por ello
dt =
2
'
t
b
(2
t t
db + 2
dbdr +
b r
2
'
t
r
(2
dr2 .
(1.60)
Con ello, el elemento de lnea se puede escribir en la forma ms simple

ds2 = (t, r) dt2 + (t, r) dr2 + r2 d2 ,
(1.61)
donde las funciones y estn definidas por las relaciones

'
(
t 2
= gbb
b
t t
= gbr
b r
' (2
t
+
= grr .
r
(1.62)
(1.63)
(1.64)
Captulo 2
Agujero Negro de Schwarzschild

2.1.
La Mtrica de Schwarzschild
La mtrica de Schwarzschild es, tal vez, la ms importante solucin de las ecuaciones de campo
de Einstein y representa el espacio-tiempo generado por una masa esfricamente simtrica en su
exterior. Ya que el espacio-tiempo debe ser esfricamente simtrico consideraremos un elemento
de lnea de la forma (1.61),
ds2 = (t, r) dt2 + (t, r) dr2 + r2 d2 .
(2.1)
Su elemento de linea puede escribirse como

'
2M
ds = 1
r
2
donde
'
2M
dt + 1
r
2
(1
d2 = d2 + sin d2
dr2 + r2 d2 ,
(2.2)
(2.3)
es la mtrica en la 2-esfera unitaria.
2.1.1.
Estructura Causal
Las geodsicas radiales nulas sirven para visualizar la estructura causal del espacio-tiempo
de Schwarzschild. Si tomamos ds = 0 y d = 0, se tiene
dt
1
*,
= )
dr
1 2M
r
(2.4)
lo cual corresponde a la inclinacin de los conos de luz. Como es de esperar, para valores de r
muy grandes los conos de luz se encuentran a 45o como en el espacio-tiempo de Minkowski (para
dt
r , dr
= 1). Por otro lado, al acercarnos a la superficie r = 2M , los conos de luz tienen
15
16
CAPTULO 2. AGUJERO NEGRO DE SCHWARZSCHILD
Figura 2.1: Conos de luz lejos y cerca de la superficie r = 2M de Schwarzschild.

dt
una pendiente cada vez ms grande (para r 2M , dr
= ). De esta forma, los conos de luz
se cierran al acercarnos a r = 2M , tal como se muestra en la Figura 2.1.
2.1.2.
Vectores de Killing y Cantidades Conservadas
Al observar la mtrica de Schwarzschild (2.2) se puede observar que el tensor mtrico es

independiente de las coordenadas t y . Por lo tanto, los vectores
=
(2.5)
(2.6)
son campos vectoriales de Killing.

Para encontrar las cantidades conservadas debido a la existencia de estos campos vectoriales
de Killing consideramos una partcula con masa m que se mueve en este espacio-tiempo. De
acuerdo con la ecuacin (1.48), el 4-momentum asociado con la partcula viene dado por
p = mg
dx
.
d
(2.7)
De esta forma, la cantidad conservada asociada con el vector es
E = p = t pt
(2.8)
2.2. COORDENADAS DE EDDINGTON-FINKELSTEIN

dt
= mgtt
d
'
(
2M dt
= m 1
r
d
= m,
17
(2.9)
(2.10)
(2.11)
donde es la energa por unidad de masa, y por ello la cantidad conservada corresponde a la
energa de la partcula.
Por otro lado, la cantidad conservada asociada con el vector es
L = p = p
d
= mg
d
d
= mr2 sin2
d
= ml,
(2.12)
(2.13)
(2.14)
(2.15)
donde la cantidad l tiene unidades de longitud al cuadrado por radian sobre tiempo. De esta
forma, la cantidad conservada esta vez es el momento angular de la partcula.
2.2.
Coordenadas de Eddington-Finkelstein
Si se consideran las geodsicas radiales nulas para el espacio-tiempo de Schwarzschild (ds = 0, d = 0),
estas quedan definidas por la condicin
dt2 = )
dr2
1
* .
2M 2
r
(2.16)
Ahora bien, si se define una nueva coordenada radial

dr = )
dr2
1
* ,
2M 2
r
(2.17)
las geodsicas radiales nulas estarn definidas por la relacin

d (t r ) = 0.
(2.18)
La nueva coordenada radial r es conocida como coordenada de Regge-Wheeler, y realizando

la integracin se puede escribir como
+
+
+ r 2M +
+
+.
r = r + 2M ln +
2M +
(2.19)
Notese que debido a que la coordenada radial r toma valores en el rango 2M < r < , la
coordenada de Regge-Wheeler tomar valores dentro del rango < r < .
18
2.2.1.
Coordenadas de E-F entrantes
Debido a la definicin de las geodesicas radiales nulas mediante la ecuacin (2.18), es natural
definir una nueva coordenada mediante
v = t + r ,
(2.20)
la cual tomar valores en el rango < v < . Al escribir el elemento de lnea para la
mtrica de Schwarzschild en las coordenadas de Eddington-Finkelstein entrantes (v, r, , ) se
obtiene
'
2M
ds = 1
r
2
dv 2 + 2dvdr + r2 d2 .
(2.21)
Es importante notar que bajo este cambio de coordenadas, la superficie r = 2M no es singular

y adems el inverso del tensor mtrico existe para este punto, ya que el determinante de la mtrica
no se anula en l,
g = r4 sin2 .
(2.22)
Por esta razn, se puede concluir que las coordenadas originales (t, r, ) no son buenas para
cubrir toda la variedad, mientras que las nuevas coordenadas (v, r, , ) permiten observar que al
disminuir r a lo largo de una trayectoria radial nula no existe ningun problema cruzando el punto
r = 2M , por lo que esta regin puede ser incluida dentro del espacio-tiempo. Se dice entonces
que es posible continuar analticamente la coordenada radial para tomar valores en todo el rango
r > 0.
Estructura Causal
Para comprender la estructura causal en las coordenadas de Eddington-Finkelstein entrantes,
consideramos las geodsicas entrantes nulas para obtener la pendiente de los conos de luz,
dv
dr
0
2
1 2M
r
(2.23)
Ntese que, en estas coordenas, an cuando los conos de luz no se cierran, se puede observar
que se inclinan hacia adentro, tal como se muestra en la Figura 2.2.
Esto hace que ninguna trayectoria como-de-luz o como-de-tiempo dirigida al futuro puede
alcanzar r > 2M comenzando en r 2M . Para mostrar esto, notese que para r 2M y a partir
de la ecuacin (2.21), se tiene
(
%
$
'
2M
2
2
2
2
dv + r d .
2dvdr = ds 1
r
(2.24)
2.2. COORDENADAS DE EDDINGTON-FINKELSTEIN
19
Figura 2.2: Conos de luz lejos y cerca de la superficie r = 2M en coordenadas de EddingtonFinkelstein entrantes.
Para trayectorias como-de-luz o como-de-tiempo se tiene ds2 0, es decir que
2dvdr 0.
(2.25)
Debido a la definicin de la coordenada v, las trayectorias dirigidas al futuro tienen dv > 0,

y por lo tanto para satisfacer (2.25), debe tenerse dr 0 (es decir que la trayectoria se dirige a
r = 0). La igualdad se consigue unicamente para trayectorias nulas con r = 2M y d = 0, es
decir geodesicas radiales nulas en r = 2M .
La superficie r = 2M actua entonces como un punto de no retorno, ya que cualquier partcula
que entre dentro de esta superficie no puede volver a salir. Ya que es imposible ver dentro de
este objeto, se le denomina usualmente como agujero negro y a su superficie se le llama horizonte
de eventos, ya que ningun evento que suceda dentro de l puede afectar la regin exterior. Una
definicin ms rigurosa de este tipo de superficies y sus propiedades se dar ms adelante.
2.2.2.
Coordenadas de E-F salientes
La existencia del horizonte de eventos deja ver una posible asimetra temporal en la solucin
de Schwarzschild ya que trayectorias dirigidas al futuro pueden cruzar la superficie r = 2M ,
mientras que las dirigidas al pasado no pueden. Por esta razn utilizaremos de nuevo la definicin
de las geodesicas radiales nulas (2.18), para definir otra coordenada nula de inters
u = t r ,
(2.26)
la cual tambin toma valores en el rango < u < . El elemento de lnea para la mtrica
de Schwarzschild en las coordenadas de Eddington-Finkelstein salientes (u, r, , ) es
'
2M
ds = 1
r
2
du2 2dudr + r2 d2 .
(2.27)
20
Figura 2.3: Conos de luz lejos y cerca de la superficie r = 2M en coordenadas de EddingtonFinkelstein salientes.
De nuevo, la superficie r = 2M no es singular y el inverso del tensor mtrico existe para
este punto ya que el determinante de la mtrica no se anula. Por esta razn, se puede realizar
otra vez una continuacin analtica para todo el rango r > 0. Sin embargo, en esta ocasin la
regin interna r < 2M no es la misma que la analizada anteriormente. Para comprobar esto
examinemos su estructura causal.
Estructura Causal
Para las coordenadas de Eddington-Finkelstein salientes, tenemos que las geodsicas nulas
satisfacen
du
dr
0
122M
(2.28)
En estas coordenas, los conos de luz se inclinan hacia afuera, tal como se muestra en la Figura
2.3. Es decir que en este caso se puede cruzar el horizonte, pero solamente siguiendo trayectorias
dirigidas al pasado, por lo que ninguna trayectoria como-de-luz o como-de-tiempo dirigida al
futuro puede alcanzar r < 2M comenzando en r 2M . Para r 2M se tiene ahora
'
2M
2dudr = ds 1
r
2
du2 + r2 d2 .
(2.29)
Si se consideran trayectorias como-de-luz o como-de-tiempo se tiene ds2 0, es decir que

2dudr 0.
(2.30)
Debido a la definicin de la coordenada u, las trayectorias dirigidas al futuro tienen du > 0, y

por lo tanto para satisfacer (2.30), debe tenerse dr 0. Esto quiere decir que cualquier partcula
en esta regin r < 2M inevitablemente se dirige a la regin exterior. A este tipo de objeto se le
2.3. COORDENADAS DE KRUSKAL
21
denomina agujero blanco, y puede ser considerado como el inverso temporal del agujero negro.
Los dos tipos de solucin estn permitidos por la Relatividad General, ya que esta teora es
invariante bajo inversin temporal. Sin embargo, la existencia de un agujero blanco necesita de
condiciones inciales muy especiales y poco probables, por lo que su existencia en la naturaleza
tiene una probabilidad muy baja.
Ntese que de las definiciones de las coordenadas de Eddington-Finkelstein, al mantener v constante y disminuir r, la coordenada temporal debe crecer (t ). Mientras que al mantener u
constante y disminuir r, la coordenada temporal debe disminuir (t ). Es decir que con estos
dos cambios de coordenadas hemos extendido la variedad espacio-temporal en dos direcciones:
hacia el futuro y hacia el pasado.
2.3.
Coordenadas de Kruskal
Ya que nuestra regin incial r > 2M se cubre tanto con las coordenadas de EddingtonFinkelstein entrantes como salientes, podemos escribir la mtrica de Schwarzschild en las coordenadas (u, v, , ),
'
(
2M
ds2 = 1
dvdu + r2 d2
r
(2.31)
donde r est definido implictamente mediante

+
+
+ 2M r +
1
+
+.
(v u) = r = r + 2M ln +
2
2M +
(2.32)
En este caso, la superficie r = 2M esta de nuevo a una distancia infinita, ya sea en v =

o en u = . Por esta razon se realizar un cambio de coordenadas que traiga esta superficie a
una distancia finita. Uno de los posibles cambios son la llamadas coordenadas de Kruskal,
V
U
= ev/4M
(2.33)
u/4M
= e
(2.34)
o en trminos de nuestras coordenadas originales,
V
U
=
=
$
$
r 2M
2M
r 2M
2M
%1/2
%1/2
e(r+t)/4M
(2.35)
e(rt)/4M .
(2.36)
22
Figura 2.4: Diagrama de Kruskal.

Ejercicio
Mostrar que en el sistema de coordenadas (V, U, , ) el elemento de lnea de Schwarzschild es
32M 3 r/2M
e
dV dU + r2 d2
r
donde r est definido implcitamente por
ds2 =
UV =
%
r 2M r/2M
e
.
2M
(2.37)
(2.38)
Debido a la definicin de las coordenadas de Krukal, la mtrica inicial para la cual r > 2M ,
hace que el rango de las nuevas coordenadas sea U < 0 y V > 0. Como se puede observar de
(2.37), no existe ningn problema con el tensor mtrico en r = 2M , y por lo tanto podemos
extender analticamente la variedad para incluir las regiones U > 0 y V < 0. De esta forma,
es posible realizar un diagrama de este espacio-tiempo y ya que U y V son coordenadas nulas
(geodsicas radiales nulas entrantes o salientes) es conveniente dibujarlas a 45o .
Utilizando la ecuacin (2.38) se puede observar que las curvas con r constante corresponden
a las hiprbolas V U = constante, la superfice r = 2M corresponde al conjunto U V = 0, es decir
{U = 0} {V = 0}, mientras que la singularidad r = 0 corresponde a las hiperbolas U V = 1.
En el diagrama de Kruskal de la Figura 2.4 se han suprimido las coordenadas , y por

lo tanto, cada punto es en realidad una 2-esfra. Como se puede observar, este diagrama posee
cuatro regiones. La regin I corresponde a la variedad de Schwarzschild inicial (r > 2M ), ya que
correponde a U < 0 y V > 0. La regin II se adiciona al realizar la continuacin analtica a
valores de U > 0 y corresponde a seguir las trayectorias nulas dirigidas al futuro, por lo que esta
23
Figura 2.5: Trayectorias con r = cte y t = cte en el diagrama de Kruskal.

cubierta por las coordenadas de E-F entrantes (v, r, , ). por lo que es el interior de agujero
negro. Ntese que una vez que se entra en la regin II es imposible volver a la regin I y el
punto de no retorno, U = 0 (r = 2M ), se denomina horizonte de eventos futuro. Adems, se
puede observar que cualquier trayectoria como-de-tiempo dirigida hacia el futuro que entre en
esta regin, termina chocando con la singularidad r = 0.
Por otro lado, en el diagrama de Kruskal aparecen dos regiones adicionales al realizar la continuacin analtica a valores de V < 0. La regin III corresponde al inverso temporal de la regin II y
es el denominado agujero blanco, ya que como se puede observar, cualquier objeto puede escapar
de esta regin a nuestra regin I, pero nosotros nunca podremos llegar all. Ya que se obtiene
al seguir las trayectorias nulas dirigidas al pasado, esta regin esta cubierta por las coordenadas
de E-F salientes (u, r, , ), y en su interior aparece una singularidad (r = 0) en el pasado, de la
cual todo parece provenir.
Por ltimo, la regin IV esta desconectada causalmente de I y corresponde a su inverso
temporal. Al igual que I, la regin IV es asintticamente plana y esta cubierta por las coordenas
de E-F salientes. La superficie V = 0 se denomina horizonte de eventos pasado y es los que nos
separa del interior del agujero blanco.
La variedad de Kruskal es simtrica temporalmente, por lo que representa lo que llamariamos un
agujero negro eterno, es decir un agujero que ha existido siempre y existir para siempre. Sabemos
que en la realidad, un agujero negro sera creado en un proceso de colapso gravitacional, y por
ello solamente las regiones I y II tendrn sentido fsico. Sin embargo es interesante analizar
lo que sucede en el agujero negro eterno, ya que sus propiedades de simetra temporal le dan
caractersticas muy interesantes. Por ejemplo, de las transformaciones (2.35) y (2.36) se tiene
V
= et/2M ,
U
(2.39)
24
la cual permite definir las hipersuperficies de t = constante, las cuales corresponden a lineas
rectas como se puede observar en la Figura 2.5. Estas hipersuperficies permiten observar que la
variedad de Kruskal posee la isometra (U, V ) (U, V ), es decir que la regin IV corresponde al inverso temporal de la regin I. Esta isometra posee un punto fijo, o en este caso, una
hipersuperficie fija dada por {U = 0} {V = 0}, es decir la hipersuperficie r = 2M .
El diagrama de Kruskal permite observar que se han adicionado por continuacin analtica
tres regiones a la regin original descrita por la mtrica de Schwarzschild. Ya que no es posible
adicionar mas regiones, se dice que Kruskal es la extensin analtica mximal de la solucin de
Schwarzschild.
Las coordenas U y V de Kruskal son coordenadas nulas y la descripcin de la variedad se

puede realizar fcilmente, pero en algunas ocasiones es ms conveniente trabajar con un sistema
de coordenadas en las cuales una de ellas sea como-de-tiempo y las demas sean como-de-espacio.
Por ello definiremos
1
(V U )
2
1
(V + U ) ,
2
X =
(2.40)
(2.41)
o en trminos de las coordenadas originales,
X =
r 2M
2M
r 2M
2M
%1/2
%1/2
r/4M
r/4M
cosh
sinh
'
'
t
4M
t
4M
(2.42)
.
(2.43)
En las coordenas (T, X, , ) el elemento de linea es

.
32M 3 r/2M e
dT 2 + dX 2 + r2 d2 ,
r
ds2 =
%
r 2M r/2M
X T =
e
.
2M
(2.45)
T = X + cte,
(2.46)
(2.44)
En estas coordenadas, las curvas radiales nulas estn dadas por la relacin
mientras que la superficie r = 2M correponde a
25
Figura 2.6: Diagrama de Kruskal en coordenadas T, X.
T = X.
(2.47)
Ahora bien, las superficies de r constante corresponden a las hiperbolas

X 2 T 2 = cte,
(2.48)
mientras que las superficies con t constante corresponden a lneas rectas,

X
= tanh
T
2.3.1.
'
t
4M
(2.49)
Vector de Killing como-de-tiempo en la Variedad de Kruskal
Del anlisis de la variedad de Schwarzschild concluimos que t

es un vector de Killing debido
a la simetra de la mtrica bajo translaciones temporales. Si ahora consideramos la variedad de
Kruskal y una translacin de la forma
t t + k,
(2.50)
donde k es una constante, las coordenadas U y V transformaran de acuerdo con
U
V
U ek/4M
V ek/4M .
Ejercicio
Mostrar que la mtrica de Kruskal es invariante bajo esta translacin temporal.
(2.51)
(2.52)
26
Figura 2.7: Diagrama de Kruskal y vectores de Killing

La versin infinitesimal de la translacin temporal corresponde a
k
U
4M
k
V,
4M
(2.53)
(2.54)
la cual puede verse como una transformacin generada por el vector de Killing
$
%
1
=
V
U
.
4M
V
U
(2.55)
Ejercicio
Mostrar que la norma del vector de Killing es
'
(
2M
2 = 1
.
r
(2.56)
El valor de 2 nos muestra queel vector es como-de-tiempo en las regiones I y IV, comode-espacio en las regiones II y III y es un vector nulo en la hipersuperficie r = 2M , es decir en el
conjunto {U = 0} {V = 0}. Adems, se puede observar que {U = 0} y {V = 0}son conjuntos
fijos de este vector de Killing, mientras que la 2-esfra {U = V = 0} es un punto fijo denominado
el eje de Boyer-Kruskal.
Por otro lado, en {U = 0} el vector de Killing se puede expresar como
=
,
v
(2.57)
2.4. COORDENADAS ISOTRPICAS
27
mientras que en {V = 0} se expresa como

=
.
u
(2.58)
Esto implica que v es un parmetro de grupo natural para el conjunto {U = 0} mientras que
u es el parmetro natural para {V = 0}. En la Figura 2.7 podemos ubicar cada una de estas
caractersticas del campo vectorial de Killing.
2.4.
Coordenadas Isotrpicas
Introduciremos ahora una nueva coordenada radial definida por

r=
'
M
1+
2
(2
(2.59)
la cual cubre las regiones I y II de la variedad de Kruskal (i.e. las regiones con r > 2M ).
Ejercicio
Mostrar que en el sistema de coordenadas isotrpicas (t, , , ) el elemento de lnea de Schwarzschild es
/
ds = /
2
1
1+
M
2
02
'
M
02 dt + 1 +
2
M
2
(4
- 2
.
d + 2 d2 .
(2.60)
Notese que en coordenadas isotrpicas, las hipersuperficies de t = constante son conformemente planas, ya que la parte espacial
d2 + 2 d2
(2.61)
corresponde a la mtrica usual del espacio tridimensional plano en coordenadas esfricas. Sin
embargo, en este caso para cada uno de los valores de la coordenada radial r se tienen dos
valores para la coordenada , tal como puede observarse de la ecuacin (2.59) y en la Figura2.8.
La ecuacin (2.59) permite comprobar adems que los dos valores de correspondientes a un
valor dado de r se encuentran relacionados mediante la isometra

M2
,
4
(2.62)
la cual tiene un punto fijo en = M

2 , el cual corresponde, precisamente, a la 2-esfra de radio
r = 2M . Como se observa de la Figura 2.9, esta isometra relaciona las regiones I y IV , y por ello
28
Figura 2.8: Relacin entre las coordenadas radiales r y .
Figura 2.9: Regin cubierta por las coordenas isotrpicas (t, , , ).

corresponde en realidad a la isometra (U, V ) (U, V ) de la variedad de Kruskal discutida
anteriormente.
2.4.1.
Agujeros de Gusano
De la Figura 2.9 puede observarse que al acercarse a = 2M desde cualquiera de las regiones
I o IV a lo largo de hipersuperficies t = constante se obtienen 2-esfras de radios que disminuyen
M
hasta r = 2M ( = M
2 ), pero no menores. Por ello = 2 es el radio de la 2-esfra minimal la
cual puede visualizarse como la garganta de un puente de Einstein-Rosen o agujero de gusano
que une dos regiones asintticamente planas (regiones I y IV).
Si se imagina una serie de cortes de la variedad de Kruskal en superficies como-de-espacio con
T = constante se obtienen las imgenes de la Figura 2.10. Al dibujar cada una de estos cortes y
recuperando una de las coordenadas angulares se obtiene la secuencia temporal que se observa
en la Figura 2.11. Esto nos muestra que la variedad de Kruskal representa dos regiones asintticamente planas (I y IV) que se acercan una a la otra, se unen mediante un agujero de gusano
por un instante y luego se separan. Sin embargo, este proceso se lleva a cabo tan rpidamente
2.5. ESPACIO-TIEMPO DE RINDLER
29
Figura 2.10: Cortes con T constante en el diagrama de Kruskal.
Figura 2.11: Cortes con T constante mostrando la dinmica del agujero de gusano.
que ningn observador como-de-tiempo alcanza a cruzar de una regin asintticamente plana a
la otra (recuerde que las regiones I y IV estn desconectadas causalmente).
2.5.
Espacio-Tiempo de Rindler
Definiremos ahora una nueva coordenada espacial x mediante

r 2M =
x2
.
8M
(2.63)
Por lo tanto podemos hacer

/ x 02
dx2
4M
y cerca del horizonte de eventos (r = 2M ; x = 0) tenemos
dr2 =
) x *2
/ x 02
2M
4M
1
=
.
) x *2
r
4M
1 + 4M
(2.64)
(2.65)
De esta manera la mtrica de Schwarzschild cerca del horizonte de eventos se puede escribir como
ds2
/ x 02
dt2 + dx2 + (2M )2 d2 .
4M
(2.66)
30
Figura 2.12: Regin Cubierta por las coordenadas de Rindler con x > 0.
Ntese que el ltimo trmino a la derecha corresponde a la mtrica de una 2-esfra de radio 2M ,
mientras que los dos primeros trminos corresponden al Espacio de Rindler bidimensional,
/ x 02
dt2 + dx2 .
(2.67)
4M
Esta mtrica posee una singularidad coordenada en x = 0, y por ello esta definida nicamente
para valores x > 0. Si se introduce un conjunto de coordenadas similares a las de Kruskal,
ds2R =
V # = xext
(2.68)
U # = xext ,
(2.69)
ds2R = dV # dU # ,
(2.70)
V# > 0
(2.71)
U # < 0.
(2.72)
la mtrica de Rindler se convierte en
donde los rangos de las nuevas coordenadas son
Es decir que la regin cubierta por la mtrica de Rindler corresponde a la regin I de Kruskal
(region sombreada en la Figura 2.12).
Si definimos una nueva coordenada temporal T # y una espacial X # mediante
V # = T # + X#
(2.73)
U # = T # X #,
(2.74)
2.6. DIAGRAMAS DE CARTER-PENROSE
31
la mtrica de Rindler se convierte en

ds2R = dT #2 + dX #2 .
(2.75)
Esto muestra que el espacio-tiempo de Rindler es simplemente el espacio de Minkowski en

unas coordenadas inusuales. De la forma del elemento de lnea (2.67) se observa que la mtrica
no depende explcitamente de la coordenada t, por lo que el vector = t

es un vector de Killing.
Ejercicio
Mostrar que en el sistema de coordenadas (V # , U # ), el vector de Killing =
1
=
4M
'
V
U#
#
V
U #
#
es
(2.76)
Las caractersticas similares entre Rindler y Schwarzschild nos permitirn ms adelantes

obtener propiedades que comparten ambas variedades.
2.6.
Diagramas de Carter-Penrose
Como se ha observado, las coordenadas de Kruskal permiten analizar una gran cantidad de
caractersticas de la solucin de Schwarzschild. Con esta transformacin se han agregado tres
regiones a la regin que cubre la mtrica original. Sin embargo, el infinito sigue estando fuera de
la variedad. Por ello, es til realizar una transformacin que traiga toda la variedad a una regin
compacta de tal forma que podamos verla completamente, adicionando los puntos del infinito.
A este tipo de transformacin se le denomina compactificacin conforme y matemticamente
corresponde a realizar
ds2 d
s2 = 2 (x ) ds2 ,
(2.77)
donde la funcin (x ) )= 0 se escoge de tal forma que todos los puntos del infinito se ubiquen
a una distancia finita en la nueva mtrica. Esta condicin implica que debe satisfacer
0
(2.78)
cuando xi (infinito espacial) o cuando x0 = t (infinito temporal). Para comprender

como funciona esta tcnica tomaremos como primer ejemplo la variedad de Minkowski y la de
Rindler, para luego realizar la compactificacin de Kruskal.
2.6.1.
Espacio-Tiempo de Minkowski
El espacio de Minkowski en coordenadas polares se puede escribir como
32
ds2 = dt2 + dr2 + r2 d2 ,
(2.79)
donde las coordenadas t y r tienen los rangos
< t <
0 r < .
(2.80)
(2.81)
Es importante notar que la singularidad en r = 0 es una singualridad coordenada como puede

comprobarse al pasar a otro sistema (por ejemplo a coordenadas cartesianas). Si realizamos un
cambio a coordenadas nulas,
v = t+r
(2.82)
u = t r,
(2.83)
el elemento de lnea se convierte en

ds2 = dvdu +
(u v)2 2
d .
4
(2.84)
Los rangos de las nuevas coordenas son
< v <
< u < ,
(2.85)
(2.86)
y adems u v, ya que r = 21 (v u) 0.
El siguiente paso para realizar la compactificacin conforme es un cambio de coordenadas
que traiga el infinito a un valor finito en las nuevas coordenadas. La eleccin usual para este
cambio es
v = tan V
(2.87)
u = tan U,
(2.88)
ya que estas funciones hacen que los infinitos de las coordenadas u, v queden ahora en los
valores 2 de las nuevas coordenas U, V , tal como se muestra en la Figura 2.13.
De esta forma, los rangos de las nuevas coordenadas sern
< V
2
< U
2
< ,
2
<
(2.89)
(2.90)
33
Figura 2.13: Relacin entre las variables utilizadas para la compactificacin conforme.
sujeto a la condicin U V .
Ejercicio
Realizar la transformacin para mostrar que el elemento de lnea en coordenadas (U, V, , ) se
puede escribir como
ds2 =
.
1
2
2
2 4dV dU + sin (V U ) d .
(2 cos V cos U )
(2.91)
Si escogemos la funcin
= 2 cos V cos U,
(2.92)
(2.93)
se puede comprobar que
cuando |V | 2 o cuando |U | 2 , es decir cuando se va al infinito en las coordenadas

originales (r, t, , ). Adems, ya que esta funcin multiplica al resto de factores, podemos definir
la mtrica compactificada mediante
d
s2 = 2 ds2 = 4dV dU + sin2 (V U ) d2 .
(2.94)
De esta forma, el espacio de Minkowski ha quedado inmerso conformemente dentro del

espacio-tiempo definido por d
s, el cual tiene una frontera definida por = 0. Finalmente podemos realizar un ltimo cambio a una coordenada temporal y una coordenada radial definidas
por
34
Figura 2.14: Compactificacin conforme del espacio-tiempo de Minkowski.
= V +U
(2.95)
= V U,
(2.96)
< <
(2.97)
d
s2 = 2 ds2 = d 2 + d2 + sin2 d2 ,
(2.99)
= 2 cos V cos U = cos + cos .
(2.100)
cuyos rangos sern
0 < .
(2.98)
El elemento de lnea es ahora
donde
La mtrica d
s describe una variedad R S 3 , donde la 3-esfra es esttica y maximalmente
simtrica, y corresponde al denominado Universo Esttico de Einstein. El cual es una solucin de
las ecuaciones de campo con un fluido perfecto y con constante cosmolgica. La diferencia entre
ste y Minkowski radica en que el Universo Esttico de Einstein posee una variable temporal
que toma valores en el rango < < y una variable angular que toma valores en el rango
< < . Por esta razn, la variedad de Minkowski es solamente un subespacio del Universo
Esttico de Einstein, definido por los rangos dados en (2.97) y (2.98).
Si suprimimos las coordenadas angulares, el Universo de Einstein se puede dibujar como un
cilindro, en el cual cada punto corresponde a una 2-esfra. En la Figura 2.14 podemos observar
35
Figura 2.15: Diagrama de Carter Penrose para el espacio-tiempo de Minkowski.

el Universo de Einstein y en l, la regin sombreada que representa el espacio de Minkowski. Si
se desenrrolla esta regin, como se observa en la Figura 2.15, se obtiene el Diagrama de CarterPenrose que consiste en un triangulo que representa la variedad de Minkowski junto con los
puntos de su infinito conforme (frontera del diagrama) y en el cual cada punto es de nuevo una
2-esfra.
El infinito agregado al espacio de Minkowski mediante la compactificacin conforme puede
dividirse en cinco regiones, como se muestra en la siguiente tabla.
io
infinito espacial
i+
infinito temporal futuro
i
infinito temporal pasado
I+
infinito nulo futuro
I
infinito nulo pasado
,
,
(, )
=0
=
=
=0
=
=0
=
0<<
= +
0<<
(V, U )
V = 2
U = 2
,
V = 2
U = 2
,
V = 2
U = 2
V =
2 < U <
2 < V <
U = 2
,
,
(v, u)
v
u
v
u
v
u
v
u finito
v finito
u
(t, r)
t finito
r
t
r finito
t
r finito
t
r
r t finito
t
r
r + t finito
36
Es importante notar que io , i+ e i no son 2-esfras sino puntos, ya que = 0 y =

corresponden a los polos sur y norte de las esferas S 3 , y por otro lado I+ y I son superficies
nulas con topologa R S 2 . En el diagrama de Penrose las geodsicas radiales nulas estn a 45o .
Todas las trayectorias como-de-tiempo comienzan en i y terminan en i+ ; mientras que todas
las geodsicas nulas comienzan en I y terminan en I+ viajando a 45o . Por otro lado, todas las
geodsicas como-de-espacio comienzan y terminan en io .
2.6.2.
Espacio-Tiempo de Rindler
El espacio-tiempo de Rindler tiene el elemento de lnea dado en la ecuacin (2.70)

ds2R = dV # dU # ,
(2.101)
donde las coordenadas V # y U # tienen los rangos
V# > 0
(2.102)
U # < 0.
(2.103)
Para traer el infinito a un valor finito de coordenadas realizamos una transformacin similar
a la realizada para Minkowski,
V # = tan V
(2.104)
U # = tan U,
(2.105)
donde el rango de las nuevas coordenadas puede ser extendido analticamente a
< V
2
< U
2
< .
2
<
(2.106)
(2.107)
El elemento de lnea es ahora

ds2R =
1
dV dU,
(cos V cos U )2
(2.108)
de donde se puede identificar la funcin

= cos V cos U
para construir la mtrica conformemente compactificada
(2.109)
37
Figura 2.16: Diagrama de Carter Penrose para el espacio-tiempo de Rindler.
d
s2R = 2 ds2R = dV dU.
(2.110)
La mtrica compactificada tiene la misma forma que la dada en (2.101) pero las nuevas coordenadas U, V tienen un rango finito. Al igual que en el caso de Minkowski, los puntos del infinito
son aquellos para los cuales = 0, es decir los puntos con|V | = 2 o |U | = 2 . Al realizar el diagrama de Penrose (Figura 2.16) para esta mtrica tenemos una forma similar a la de Minkowski,
excepto que ahora el infinito espacial io tiene dos puntos, ya que por la continuacin analtica existen dos posibilidades (notese que a diferencia de Minkowski, aqui no existe la condicin
U V ).
(V, U )
,
iR
o
infinito espacial derecha
iL
o
infinito espacial izquierda
2.6.3.
V = 2
U = 2
V = 2
U = 2
Espacio-Tiempo de Kruskal
En coordenadas de Eddington-Finkelstein, (v, u, , ) , el elemento de lnea de Schwarzschild

es
'
2M
ds = 1
r
2
dvdu + r2 d2 ,
(2.111)
38

donde las coordenadas v y u toman valores en los rangos
< v <
< u < .
(2.112)
(2.113)
Para realizar la compactificacin, realizaremos el cambio usual,
v = tan V
(2.114)
u = tan U,
(2.115)
donde las nuevas variables tomarn valores en los rangos
< V
2
< U
2
< .
2
<
(2.116)
(2.117)
De esta forma, el nuevo elemento de lnea es

$ '
(
%
1
2M
2
2
2
2
ds =
4 1
dV dU + 4r cos V cos U d .
r
(2 cos V cos U )2
2
(2.118)
Ahora bien, debido a (2.32), la coordenada de Regge-Wheeler satisface

1
sin (V U )
(v u) =
,
2
2 cos V cos U
con lo que la mtrica se puede escribir como
r =
$ '
(
%
/ r 02
1
2M
2
2
ds =
4 1
dV dU + sin (V U ) d .
r
r
(2 cos V cos U )2
2
(2.119)
(2.120)
Con ello, la mtrica compactificada toma una forma similar a los casos anteriores,
'
2M
d
s = ds = 4 1
r
2
donde
dV dU +
/ r 02
sin2 (V U ) d2 ,
r
= 2 cos V cos U.
(2.121)
(2.122)
Para dibujar el diagrama de Penrose correspondiente es til notar que esta mtrica es asintticamente plana, es decir que en el infinito se convierte en el espacio de Minkowski. Por esta
razn, las fronteras del diagrama, i.e. io y I , son iguales a las del diagrama minkowskiano. Por
39
Figura 2.17: Diagrama de Carter Penrose para el espacio-tiempo de Kruskal.

otro lado, cerca al horizonte de eventos, r = 2M , el diagrama de Kruskal nos muestra como es
la estructura del espacio tiempo. Por ello, en este diagrama de Penrose existen tambin cuatro
regiones (dos de las cuales son asintticamente planas y dos que poseen las singularidades r = 0),
tal como se puede observar de la Figura 2.17.
Es importante resaltar que los puntos i+ y i son diferentes de la singularidad y por ello
existen muchas trayectorias como-de-tiempo que terminan en i+ pero no en la singularidad.
40
Captulo 3
Hipersuperficies
En el espacio-tiempo de 4 dimensiones de la Relatividad General, una hipersuperficie es
una sub-variedad tridimensional que puede ser como-de-tiempo, como-de-espacio o nula. Si (x)
es una funcin suave de las coordenadas x , se puede construir una familia de hipersuperficies
mediante la condicin (x) = constante.
De esta manera, debemos notar que la derivada va en direccin normal de la hipersuperficie, ya que la nica direccin en la que cambia la funcin es ortogonalmente a . As, el
vector normal se puede definir en la base coordenada como
n = N ( ) = N g ,
(3.1)
donde N = N (x ) es una funcin arbitraria que permite volver unitario el vector normal (si la
hipersuperficie no es nula en cuyo caso n2 = 0). De esta manera, la norma de n puede tomar los
valores
n = n n =
2
1
1
si es como-de-tiempo
si es como-de-espacio.
(3.2)
Adems, se suele exigir que el vector normal apunte en la direccin que aumenta , esto es
n > 0.
(3.3)
Ejercicio
Mostrar que las componentes del vector normal unitario a una hipersuperficie como-de-tiempo o
como-de-espacio se puede escribir como
n =
|g |1/2
Cul es el valor de la funcin N ?
41
(3.4)
42
CAPTULO 3. HIPERSUPERFICIES
3.1.
Hipersuperficies Nulas
Si para una hipersuperficie N el vector normal satisface

n2 = 0,
(3.5)
se dice que N es una hipersuperficie nula. Ya que el vector normal n es ortogonal a s mismo
= 0), entonces n tambin es un vector tangente, y por ello podemos escribirlo como
(n n
dx
,
(3.6)
d
para alguna curva nula x () perteneciente a N . Las curvas x () son geodsicas, y para comprobarlo calculamos
n =
n n = N (N )
(3.7)
= N ( N ) ( ) + N 2 ( ) .
(3.8)
Si se trabaja con la conexin compatible con la mtrica, tenemos
n n = N ( N ) ( ) + N 2 g ( )
= n (ln N ) n + N g n ( ) .
(3.9)
(3.10)
Debido a la simetra de de la conexin, = , tenemos
n n = n (ln N ) n + N g n ( )
)
*
= n (ln N ) n + N n N 1 n
)
*
= n (ln N ) n + N n N 1 n + n n
1
= n (ln N ) n + n2 (ln N ) + n2 .
2
(3.11)
(3.12)
(3.13)
(3.14)
El primer trmino del lado derecho es proporcional a n , mientras que segundo trmino
+
depende de n2 , por lo que al evaluarlo en la hipersuperficie nula se cancela, n2 +N = 0,
n n |N = n (ln N ) n |N
+
1 2 ++
+ n + .
2
N
(3.15)
Por otro lado, el ltimo trmino de la derecha no es cero, ya que depende de la derivada n2
y esta no se anula necesariamente en la hipersuperficie. Sin embargo, ya que n2 es constante
sobre la hipersuperficie, se cumple que
t n2 = 0,
(3.16)
3.1. HIPERSUPERFICIES NULAS
43
para cualquier vector tangente t . Debido a esto, concluimos que n2 debe ser proporcional a
t , y debido a que el vector normal es tambin tangente, debe ser proporcional a n ,
n2 n .
(3.17)
De esta forma, al evaluar la ecuacin (3.14) en la hipersuperficie tendremos

n n |N n ,
(3.18)
lo cual implica que la curva x () es una geodsica con vector tangente n . En esta curva,
puede ser escogido como el parmetro afn, pero en este caso esta libertad corresponde a poder
escoger libremente la funcin N , de tal manera que la ecuacin de la geodsica se convierta en
n n |N = 0.
(3.19)
As, la hipersuperficie nula N es generada por geodsicas nulas y el vector n es tangente a

estos generadores.
Ejemplo. Scharwzschild en coordenadas de Eddington-Finkelstein
Consideramos el espacio-tiempo de Schwarzschild en coordenadas de Eddington-Finkelstein
entrantes (v, r, , ) cuyo elemento de lnea esta dado por (2.21). El tensor mtrico tiene las
componentes no nulas
gvv
gvr = grv
'
2M
= 1
r
= 1
(3.20)
(3.21)
g = r2
(3.22)
g = r2 sin2 .
(3.23)
Definimos una familia de hipersuperficies esfricas mediante la funcin = r 2M , por lo

cual, los vectores normales a estas hiperuperficies son
n = N g
$
%
vr
= N g
v
r
= N v .
La norma de este vector es
(3.24)
(3.25)
(3.26)
44
n2 = g n n
(3.27)
= gvv N N
'
(
2M
= 1
N 2,
r
(3.28)
(3.29)
con lo que se puede observar fcilmente que el horizonte, r = 2M , es una hipersuperficie nula.
Ahora bien, an cuando n2 se anula en r = 2M , el trmino n2 no es cero. Si suponemos que
la funcin N depende de la coordenadas v y r, tenemos
v n2 = g v n2 = g vr r n2 + g vv v n2
'
(
'
(
2M
2M
2M 2
= 2 N2 1
r N 2 + 1
v N 2
r
r
r
r n2 = g r n2 = g rv v n2
'
(
2M
= 1
v N 2
r
(3.30)
(3.31)
(3.32)
(3.33)
n2 = n2 = 0.
(3.34)
Al evaluar estas cantidades en la hipersuperficie r = 2M la nica componente no nula es

1
1
N2 =
N nv .
2M
2M
De esta forma, la ecuacin (3.15) toma la forma
v n2 =
n n |N
=
=
=
=
+
1 2 ++
n (ln N ) n |N + n +
2
N
1
n (ln N ) n |N
N n
4M
$
%
1
v
n v (ln N )
N n
4M
$
%
1
v (ln N )
N n .
4M
(3.35)
(3.36)
(3.37)
(3.38)
(3.39)
Si escogemos la funcin N como

N = ev/4M = V,
(3.40)
la ecuacin de la geodsica se convierte en

n n |N = 0,
(3.41)
es decir que esta eleccin de la funcin N corresponde a la elegir un parmetro afn. Con este
valor de N , el vector normal se convierte en
3.1. HIPERSUPERFICIES NULAS
45
n = ev/4M v .
(3.42)
Ejemplo. Variedad de Kruskal

Si consideramos ahora la variedad de Kruskal (coordenadas (V, U, , )), el tensor mtrico
tiene componentes
=
gU V
16M 3 r/2M
e
r
g = r2
(3.43)
(3.44)
g = r sin .
2
(3.45)
Consideraremos las hipersuperficies definidas por la funcin = U . La hipersuperficie nula

r = 2M corresponde a = U = 0. El vector normal a estas hipersuperficies esta definido por
n = N g U U
= N g U V V
r
= N
er/2M V .
16M 3
En este caso, al evaluar el vector normal en la hipersuperficie nula r = 2M se tiene
n = N
e
V .
8M 2
(3.46)
(3.47)
(3.48)
(3.49)
Por otro lado, la norma de este vector es
n2 = g n n = gV V nV nV = 0,
(3.50)
y ya que es idnticamente igual a cero, entonces n2 = 0. As, la ecuacin (3.15) ser

n n |N = n (ln N ) n |N ,
(3.51)
n n |N = 0.
(3.52)
y al escoger una funcin N constante obtenemos la parametrizacin afn,
Podemos tomar la constante
8M 2
,
e
(3.53)
.
V
(3.54)
N =
y con ello el vector normal ser simplemente
n=
46
3.2.
Horizontes de Killing
Definimos que una hipersuperficie nula N se denomina horizonte de Killing si existe un vector
de Killing que sea normal a ella.
3.2.1.
Gravedad Superficial
Si n es el vector normal a una horizonte de Killing N de un campo vectorial de Killing ,

podemos asegurar que sobre el horizonte
= f n,
(3.55)
donde f es una funcin arbitraria no nula. Si el vector normal se elige de tal manera que
n n |N = 0,
(3.56)
es decir se utiliza una paarametrizacin afn, entonces se tendr

|N = ,
(3.57)
donde se denomina gravedad superficial.

Ejercicio
Muestre que la gravedad superficial se puede escribir como
= ln f.
(3.58)
Ahora bien, el teorema de Frobenius nos da una condicin suficiente y necesaria para que un
campo vectorial sea ortogonal a una hipersuperficie (ver secin 2.2.3 de (1) ). Al aplicarlo a un
campo vectorial de Killing , esta condicin es
es decir,
+
[ ] +N = 0,
+
+
+
[ ] +N + [ ] +N [ ] +N = 0.
(3.59)
(3.60)
Utilizando la ecuacin (1.30) tenemos
|N + |N |N = 0,
y al multiplicar toda la ecuacin por se obtiene
(3.61)
3.2. HORIZONTES DE KILLING
( ) ( )|N
=
=
=
47
( ) ( )|N ( ) ( )|N
+
/
0
+
[ ] ( )+ ( ) ( )|N
N
(3.62)
(3.63)
( ) ( ) ( ) ( )|N ( ) ( )|N(3.64)
.

Renombrando algunos ndices mudos en el primer y segundo trminos del lado derecho,
( ) ( )|N
( ) ( ) ( ) ( )|N ( ) ( )|N
(3.65)
+
/
0
+
= [ ] ( )+ ( ) ( )|N
(3.66)
N
= ( ) ( )|N ( ) ( )|N ,
(3.67)
es decir
( ) ( )|N = 2 ( ) ( )|N .
(3.68)
Utilizando (3.57) tenemos
( ) ( )|N
= 2 ( )|N
+
= 2 2 +N ,
(3.69)
(3.70)
de donde obtenemos que la gravedad superficial se puede expresar como

1
(3.71)
2 = ( ) ( )|N ,
2
para puntos en los cuales el vector de Killing no es cero, )= 0. Sin embargo, todos puntos en
donde el vector de Killing se anula corresponden a puntos lmites de orbitas de no nulo, por lo
que esta ecuacin es vlida para todos los puntos.
Por otro lado, si consideramos un vector t tangente al horizonte de Killing N , la ecuacin
(3.71) permite escribir
t 2 = t 2 = t ( ) ( )|N ,
(3.72)
y utilizando el lemma de Killing (ecuacin (1.44)) se tiene

/
0+
+
t 2 = t ( ) R + .
N
(3.73)
Como ya se dijo antes, en un horizonte de Killing, el vector es normal y tambin tangente

a la hipersuperficie. Por ello, si escogemos t = , tenemos
/
0+
+
2 = ( ) R + ,
N
(3.74)
48
y debido a la antisimetra del tensor de Riemann en su primer par de ndices (R = R )

podemos asegurar que
R = 0.
(3.75)
2 = 0,
(3.76)
Por lo tanto,
es decir que la cantidad 2 es constante en las orbitas del vector de Killing .

Sin embargo, la definicin de la gravedad superficial dada en (3.71) muestra que si se tiene
un horizonte de Killing N cuyo vector de Killing es y tiene asociada una gravedad superficial
, esa misma hipersuperficie es un horizonte de Killing para el vector c y la gravedad superfical
asociada es c.
Por esta razn es til definir una normalizacin para el vector de Killing para asegurarnos
que la gravedad superficial asociada a N es nica. Ya que el vector de Killing se anula en la
hipersuperficie, es decir 2 = 0 en N , no podemos definir la normalizacin all, pero lejos de
la hipersuperficie es posible definir esta normalizacin. Por ejemplo, para el vector de Killing
asociado con la variedad de Kruskal se exige que
2 1 cuando r ,
(3.77)
es decir, que este vector de Killing sea como-de-tiempo en el infinito espacial. Con esta condicin
no solamente se fija el vector de Killing del horizonte, sino que adems se fija el valor de la
gravedad superficial.
3.2.2.
Esfra de Bifurcacin
Si sobre un horizonte de Killing se escoge un sistema de coordenadas tal que el vector de

Killing correspondiente se escriba en la forma
,
(3.78)
y adems se parametriza la coordenada en una rbita de mediante un parmetro afn , es

decir = (), entonces el vector de Killing sobre esa rbita se puede escribir como
=
d
|orbita =
= f n,
d
(3.79)
donde
d
d
y el vector normal se puede escribir en el sistema coordenado como
f=
(3.80)
49
dx
=
.
(3.81)
d
Ahora bien, la gravedad superficial se puede obtener de la ecuacin (3.58), que en el sistema de
coordenadas escogido ser
n=
ln f
.
(3.82)
Al evaluar esta expresin sobre una rbita de la gravedad superficial es constante y por ello si
)= 0, podemos integrar para obtener
=
f = fo e ,
(3.83)
donde fo es una constante arbitraria. Ya que

d
= fo e ,
d
podemos escoger fo = , y con ello tendremos
(3.84)
d
= e ,
d
(3.85)
= e + C,
(3.86)
o integrando,
donde C es una nueva constante que podemos escoger arbitrariamente como cero. Con esto,
cuando la coordenada barre el rango < < , estaremos cubriendo tanto los valores
> 0 como los valores < 0. Ahora bien, el punto = 0 es un punto fijo del campo vectorial
. Este se denomina 2-esfra de bifurcacin, y en el caso de la variedad de Kruskal corresponde
al eje de Boyer-Kruskal como se muestra en el siguiente ejemplo.
Ejemplo.
Consideraremos el espacio-tiempo de Kruskal y la hipersuperficie nula N = {U = 0} {V =
0}. Ya hemos mostrado que el vector de Killing de esta variedad es = t

, el cual se puede
escribir en las coordenadas de Kruskal como
$
%
1
=
V
U
.
4M
V
U
(3.87)
Este vector es normal a la hipersuperficie N , lo que hace que esta sea un horizonte de Killing.
Para comprobarlo, podemos notar que se puede escribir como
=
V
en {U = 0}
4M V
(3.88)
50
o como
U
en {V = 0} ,
(3.89)
4M U
lo cual muestra explcitamente que es ortogonal a N . Debido a esto, podemos escribir el vector
de Killing como
=
= f n,
(3.90)
definiendo
n=
y adems
f=
en {U = 0}
en {V = 0}
V
4M en {U = 0}
U
4M
en {V = 0}
(3.91)
(3.92)
Al escoger de esta forma la funcin f y el vector n, se satisface

n n = 0,
(3.93)
y por ello, la gravedad superficial se puede calcular fcilmente mediante la ecuacin (3.58),
= ln f,
(3.94)
con lo que obtenemos

=
1
4M en {U = 0}
1
4M
en {V = 0}
(3.95)
Es importante notar que el valor de la gravedad superficial es diferente en cada una de las
regiones, pero el valor
=
2
'
1
4M
(2
(3.96)
es constante en todo el horizonte de Killing, tal como se habia mostrado en la ecuacin (3.76).
Esto muestra tambin que las orbitas del vector de Killing yacen completamente en la regin
{U = 0}, en la regin {V = 0} o corresponden a puntos fijos. En este caso el punto fijo de estas
orbitas corresponde al eje de Boyer-Kruskal (U = V = 0), donde el vector de Killing se anula,
como se puede observar de la ecuacin (3.87). Ntese que la esfra de bifurcacin existe en la
variedad de Kruskal, pero no existe en el espacio-tiempo de Schwarzschild debido a que este
punto es agregado como parte de la continuacin analtica.
3.2.3.
51
Horizontes de Aceleracin
Para la mtrica de Rindler descrita en el captulo anterior existe una clase especial de horizonte. Para poder definirlo, notemos inicialmente que una partcula en una posicin x constante
del espacio-tiempo de Rindler posee una aceleracin propia constante a = x1 . Esto se puede comprobar recordando que una partcula que se mueve en una rbita X ( ) como-de-tiempo de un
vector de Killing poseer una 4-velocidad proporcianal al vector de Killing, u , y adems
quesu norma debe ser u2 = 1. Por ello podemos escribir
u = "
.
2
(3.97)
La 4-aceleracin propia se obtiene mediante

a =
d dX
u =
u = u u ,
d
d
(3.98)
donde utilizando la ecuacin (3.97) para la 4-velocidad,

)
*
2

a =
+
.
2
2 2
(3.99)
2 = 2 = 0
(3.100)
Sin embargo, el segundo trmino se puede escribir como
la cual se anula debido a la propiedad de los vectores de Killing (1.30). De esta forma, la 4aceleracin es
a =

.
2
(3.101)
Como se mostr antes, el vector de Killing del espacio-tiempo de Rindler en coordenadas

(V
es
#, U #)
1
=
4M
y por lo tanto
'
V
U#
#
V
U #
#
2 = g = 2gU " V "

=
y adems
V #U #
,
(4M )2
V #U #
(4M )2
(3.102)
(3.103)
(3.104)
52
"
"
"
"
"
"
"
"
U#
(4M )2
V#
=
.
(4M )2
"
= U U " U + V V " U =
"
= U U " V + V V " V
(3.105)
(3.106)
De esta manera, la 4-aceleracin es

1
1
+
.
U # V # V # U #
La magnitud de la aceleracin propia resulta ser
a =
a2 = g a a =
1
,
V #U #
(3.107)
(3.108)
y debido a las relaciones (2.68-2.69) se tiene V # U # = x2 . As, obtenemos la aceleracin

1
,
(3.109)
x
es decir que para partculas en orbitas del vector de Killing , (x = constante), a es constante.
Es importante notar que la aceleracin propia crece sin lmite cuando x 0. Por esta razn a
la superficie x = 0 se le denomina un Horizonte de Aceleracin.
a=
3.2.4.
Horizontes de Aceleracin y Gravedad Superficial
Ahora bien, an cuando la aceleracin propia diverge al acercarse al horizonte x = 0, la

aceleracin medida por otro observador permanece finita. Para comprobar esto, recuerde que
debido a (2.67), el tiempo propio satisface
d 2 =
/ x 02
dt2 = (x)2 dt2 ,
4M
(3.110)
1
para trayectorias con x = constante, y donde = 4M
. La aceleracin mdeida por un observador
cuyo tiempo propio sea t y que tambin se mueva en trayectorias de x constante ser
'
d
dt
a = (x)
1
= .
x
(3.111)
Notese que en este caso, la acelereacin medida por este observador es finita incluso cuando x
0. Ahora bien, como ya se habia discutido, la variedad de Rindler posee caracteristicas similares
a las de el espacio-tiempo de Schwarzschild, por lo cual podemos obtener una interpretacin muy
interesante a partir de ello. En el caso de Schwarzschild, los observadores cuyo tiempo propio
es t son los ubicados en la regin asintticamente plana, es decir en el infinito espacial. Esto
nos permite concluir que la gravedad superficial corresponde a la aceleracin de una partcula
esttica cerca del horizonte de eventos, medida por un observador en el infinito espacial.
3.3. HORIZONTES DE EVENTOS
3.3.
53
Horizontes de Eventos
Para definir lo que es un horizonte de eventos debemos realizar antes algunas definiciones que
tienen que ver con el comportamiento asinttico de las variedades.
3.3.1.
Espacio-tiempo Asintticamente Simple
/
0
g
con
Un variedad (M, g) se denomina asintticamente simple si existe una variedad M,
y existe una inmersin continua
frontera M
f : M M,
(3.112)
tal que satisface las condiciones

M
1. f (M) = M
que cumple:
2. Existe una funcin suave en la variedad M
a) toma valores positivos, > 0. en f (M) ,
b) se anula en la frontera, = 0 en M
c) d )= 0 en M
= 2g
d ) satisface g
3. Toda geodsica nula en M tiene dos puntos extremos en M
3.3.2.
Espacio-tiempo Dbil Asintticamente Simple
Un variedad (M, g) se denomina dbil asintticamente simple si existe un abierto U M

donde M
es la compactificacin conforme de
que sea isomtrico a una vecindad abierta de M
alguna variedad asintticamente simple.
3.3.3.
Espacio-tiempo Asintticamente Vacio
Una variedad se denomina asintticamente vacia si R = 0 en una vecindad abierta de M

es la compactificacin conforme de alguna variedad asintticamente simple.
donde M
3.3.4.
Espacio-tiempo Asintticamente Plano
Una variedad se denomina asintticamente plana si es dbil asintticamente simple y adems

es asintticamente vacia.
Esta definicin hace que los espacios asintticamente planos tienen en el infinito (I , i0 ), la
misma estructura del espacio-tiempo de Minkowski, es decir que la frontera del diagrama de
Carter-Penrose tiene la forma que se observa en la Figura 3.1.
54
Figura 3.1: Frontera del diagrama de Carter-Penrose para un espacio-tiempo asintticamente

plano.
Ejemplos
su compactificacin conforme, se
Si se toma M como la variedad de Minkowski y M
puede comprobar que se satisfacen las condiciones 1., 2. y 3. es decir que este espacio
es asintticamente simple. Sin embargo, la variedad de Minkowski adems es un dbil
asintticamente simple, vacia y asintticamente plana.
su compactificacin conforme, se puede
Si se toma M como la variedad de Kruskal y M
comprobar que no se satisface la condicin 3. ya que existen geodsicas nulas que terminan
Por esta razn, Kruskal no es un espacio asintticamente
en la singularidad y no en M.
simple. Sin embargo, esta variedad si es dbil asintticamente simple, y adems es vacia.
Por ello concluimos que Kruskal es un espacio asintticamente plano, tal como lo muestra
la frontera de su diagrama de Carter-Penrose.
Ahora bien, si consideramos una variedad M asintticamente plana definimos
3.3.5.
Curva Causal
Una curva causal C () es cualquier curva suave que no es como-de-espacio en ningn punto,
es decir que siempre es como-de-tiempo o nula.
3.3.6.
Pasado Causal
El pasado causal J (p) del punto p se define como el conjunto de todos los eventos que
preceden causalmente al punto p, es decir el conjunto de todos los puntos q para los cuales existe
al menos una curva causal dirigida al futuro desde q hasta p.
3.3. HORIZONTES DE EVENTOS
55
Esta definicin se puede extender al pasado causal J (U ) de un conjunto de puntos U M,

como el conjunto de todos los puntos que preceden causalmente al menos a un punto de U .
3.3.7.
Futuro Causal
El futuro causal J + (p) del punto p se define como el conjunto de todos los eventos que siguen
causalmente al punto p, es decir el conjunto de todos los puntos q para los cuales existe al menos
una curva causal dirigida al futuro desde p hasta q.
Esta definicin se puede extender al futuro causal J + (U ) de un conjunto de puntos U M,
como el conjunto de todos los puntos que siguen causalmente al menos a un punto de U .
Definimos adems J (U ) y J (U ) como la clausura topolgica del pasado causal y el futuro causal de U respectivamente. Por ltimo, j (U ) y j + (U ) corresponden a la frontera de
estas clausuras topolgicas, es decir
j (U ) = J
j + (U ) = J
3.3.8.
(U ) J (U )
(U ) J + (U ) .
(3.113)
(3.114)
Horizonte de Eventos Futuro
El horizonte de eventos futuro H+ se define como la frontera de la clausura del pasado causal
del infinito futuro nulo I + , es decir
) *
H+ = j I + .
3.3.9.
(3.115)
Horizonte de Eventos Pasado
De manera similar, se define el horizonte de eventos pasado H como la frontera de la clausura

del futuro causal del infinito pasado nulo I , es decir
) *
H = j + I .
(3.116)
Ejemplo
En la veriedad de Kruskal se pueden identificar fcilmente los horizontes de eventos pasado
y futuro. Estos corresponden a la superficie r = 2M , tal como se muestra en la Figura 3.2.
56
Figura 3.2: Horizontes de Eventos para la variedad de Kruskal.

En el estudio de agujeros negros, los horizontes de eventos futuros tienen una gran importancia
debido a que son producidos en los procesos de colapso gravitacional, mientras que los horizontes
de eventos pasados presentan un poco inters ya que estos deben tener un origen primordial, es
decir que deben postularse como parte de la estructura inicial del universo y no existe una buena
justificacin para utilizarlos.
3.4.
Horizontes de Cauchy
Otro de los conceptos importantes en el estudio de hipersuperficies asociadas con agujeros

negros es el de Horizonte de Cauchy. Para poder elaborar esta clase de horizonte, debemos
realizar algunas definiciones previas.
3.4.1.
Superficie Parcial de Cauchy
Una hipersuperficie se denomina superficie parcial de Cauchy para el espacio-tiempo M si

ninguna curva causal la atraviesa ms de una vez.
3.4.2.
Curva Causal Inextendible al Pasado
Una curva causal se dice inextendible al pasado si no posee puntos finales pasados dentro de
M.
3.4.3.
Curva Causal Inextendible al Futuro
Una curva causal se dice inextendible al futuro si no posee puntos finales futuros dentro de
M.
3.4. HORIZONTES DE CAUCHY
57
Figura 3.3: Superficies de Cauchy y causalidad.
3.4.4.
Dominio Futuro de Dependencia
El dominio futuro de dependencia D+ () de una superficie parcial de Cauchy , es el conjunto

de todos los puntos p para los cuales toda curva causal inextendible al pasado que pase por p
intersecta .
En la Figura 3.3 se puede observar una representacin del dominio futuro de dependencia. Es
importante notar que esta definicin implica que el comportamiento de las soluciones de cualquier
ecuacin diferencial hiperblica en los puntos pertenecientes a D+ () queda determinado por
las condiciones iniciales dadas en .
3.4.5.
Dominio Pasado de Dependencia
El dominio pasado de dependencia D () de , es el conjunto de todos los puntos p para

los cuales toda curva causal inextendible al futuro que pase por p intersecta .
3.4.6.
Superficie de Cauchy
Se dice que es una hipersuperficie de Cauchy de M si

D+ () D () = M.
3.4.7.
(3.117)
Globalidad Hiperblica
Si una variedad M posee una hipersuperficie de Cauchy, se dice que M es globalmente

hiperblica.
58
Figura 3.4: Superficie de Cauchy en la variedad de Minkowski.
Figura 3.5: Superficie de Cauchy en la variedad de Kruskal.

Ejemplos
La variedad de Minkowski es globalmente hiperblica. En la Figura 3.4 se observa el diagrama de Carter-Penrose y una superficie de Cauchy para este espacio-tiempo.
La variedad de Kruskal tambien es globalmente hiperblica. En la Figura 3.5 se puede

observar el correspondiente diagrama de Carter-Penrose y una de las posibles superficies
de Cauchy.
3.4. HORIZONTES DE CAUCHY
3.4.8.
59
Horizonte de Cauchy
Si una variedad M no es globalmente hiperblica, entonces D+ () o D () poseen una

frontera en M. A esta frontera se le da el nombre de Horizonte de Cauchy.
60
Captulo 4
Formulacin de Ttradas
La forma usual de resolver problemas en la Relatividad General es resolver las ecuaciones de
campo en una base coordenada local. Sin embargo, debido a la libertad en la escogencia de la
base utilizada para describir la fsica, es posible escoger un conjunto de cuatro campos vectoriales
linealmente independientes llamados ttradas, que simplifiquen las cantidades relevantes para un
cierto problema. De esta forma, se proyectan los objetos de inters (vectores, tensores, etc) para
realizar los clculos en la nueva base y luego es posible devolverse a la base coordenada original
con una nueva proyeccin. La escogencia de la base de ttradas depende de las simetras de la
variedad considerada.
Para comenzar con el formalismo, supongamos que tenemos una variedad (M, g) con una base
coordenada utilizada para definir las componentes de los vectores y tensores. Definiremos en
cada punto de la variedad el conjunto de vectores contravariantes
e(a) ,
(4.1)
en donde el ndice griego = 1, 2, 3, 4 representa las componentes del vector y el ndice latino
toma los valores a = 1, 2, 3, 4 y numera los cuatro vectores que se estn definiendo, por lo cual
est escrito dentro de parntesis. A lo largo de este captulo notaremos los ndices tensoriales con
letras griegas (, , , ...) y los ndices de las tetradas con letras latinas en parntesis (a, b, c, ...).
Ahora bien, los ndices tensoriales se pueden bajar utilizando el tensor mtrico g,
e(a) = g e(a) .
(4.2)
Notese que cada uno de los vectores se expresa en la base coordenada como
e(a) = e(a) ,
(4.3)
es decir que las componentes e(a) corresponden a la matriz que realiza el cambio de base. El
inverso de estas matrices se define mediante
61
62
CAPTULO 4. FORMULACIN DE TTRADAS
e(a) e(a) = ,
(4.4)
y adems podemos exigir que los cuatro vectores definidos sean ortonormales,
(b)
e(a) e(b) = (a) .
(4.5)
e(a) e(b) g = e(a) e(b) = (a)(b) ,
(4.6)
Por ltimo, exigiremos que
donde (a)(b) es una matriz simtrica que puede ser constante o no. Para nuestro desarrollo,
utilizaremos la formulacin usual de las tetradas, en la cual (a)(b) es constante. El inverso de
esta matriz se define mediante la relacin
(c)
(a)(b) (b)(c) = (a) .
(4.7)
Ahora bien, si se exige que las ttradas e(a) sean ortonormales, la matriz (a)(b) corresponde al
tensor mtrico de Minkowski.
Ejercicio
Mostrar la siguientes propiedades de las ttradas
(a)(b) e(b) = e(a)
(4.8)
e(b) =
(4.9)
(a)(b)
e(a) e(a)
e(a)
e(a) e(b) (a)(b)
= g .
(4.10)
En el resto de este captulo asumiremos que la base de ttradas elegida es ortonormal, y por
ello el tensor de Minkowski (a)(b) permite subir y bajar los ndices latinos. De esta manera la
base de tetradas esta definiendo localmente una base minkowskiana y por esta razn los clculos
con vectores y tensores se pueden realizar mucho ms fcilmente.
4.1.
Componentes de Vectores y Tensores
Las componentes de un vector A en la base de las ttradas se obtienen a partir de sus

componentes A mediante
A(a) = e(a) A = e(a) A
(4.11)
4.2. DERIVADA INTRNSECA
63
A(a) = (a)(b) A(b) = e(a) A = e(a) A .
(4.12)
De la misma forma, dadas las componentes en la base de las ttradas se pueden obtener las
componentes tensoriales mediante
A = e(a) A(a) = e(a) A(a)
(4.13)
A = e(a) A(a) = e(a) A(a) .
(4.14)
Estas definiciones se pueden generalizar de inmediato para tensores de cualquier rango. Por
ejemplo, para un tensor T tenemos
T(a)(b) = e(a) e(b) T = e(a) T(b)
T
= e(a) e(b) T(a)(b) = e(a) T(a) .
(4.15)
(4.16)
Como se puede observar, las tetradas nor permiten pasar libremente de ndices griegos a latinos
y viceversa, y adems, se pueden tener objetos con ndices mixtos ( es decir con ndices grigos y
latinos mezclados).
Ejercicio
Mostrar la contraccin de ndices es indepeniente de la base utilizada,
T(a)
4.2.
(a)
= T
(4.17)
Derivada Intrnseca
Debido a que cada una de las tetradas puede considerarse como un vector tangente, de acuerdo
con la relacin (4.3), es posible calcular la derivada de una funcin escalar f en direccin del
vector e(a) ,
f,(a) = e(a) f = e(a) f = e(a) f, .
(4.18)
Debido a la complejidad en la notacin dentro de este captulo es conveniente utilizar la coma

(, ) para indicar derivada parcial y el punto y coma (; ) para indicar derivada covariante. As, la
derivada parcial de un vector A(a) ser entonces
A(a),(b) = e(b) A(a) .
/
0
= e(b) e(a) A
(4.19)
(4.20)
64
Notese que el lado izquierdo de la expresin est calculado en la base local de tetradas y en ella
la derivada parcial equivale a la derivada covariante. Sin embargo, al lado derecho de la ecuacin
tenemos una derivada parcial de dos vectores. Para que esta expresin transforme adecuadamente,
la derivada parcial debe reemplazarse por la derivada covariante,
/
0
A(a),(b) = e(b) e(a) A
/
0
= e(b) e(a) A
,
(4.21)
(4.22)
es decir
/
A(a),(b) = e(b) e(a) A; + e(a)
; A
= e(b) e(a) A; + e(b) e(a)
; A
= e(b) e(a) A; + e(b) e(a)
; e(c)v A
(4.23)
(4.24)
(c)
(4.25)
Ya que la contraccin de indices conmuta con la derivada covariante, tenemos

A(a),(b) = e(b) e(a) A; + e(b) e(a); e(c) A(c) .
(4.26)
La ltima expresin nos muestra que las derivadas covariantes en las dos bases no son iguales
debido a un trmino de correcin que es proporcional a A(c) . Es usual escribir la derivada del
vector A(a) como
A(a),(b) = e(b) e(a) A; + (c)(a)(b) A(c) .
(4.27)
donde se han definido los smbolos (no tensores)

(c)(a)(b) = e(b) e(a); e(c) ,
(4.28)
denominados Coeficientes de Rotacin de Ricci. Multiplicando a ambos lados de la ecuacin por

las matrices inversas adecuadas se puede escribir
e(a); = e(b) (c)(a)(b) e(c) .
(4.29)
4.2. DERIVADA INTRNSECA
65
Ejercicio
Utilizar la identidad
para mostrar que
e(a) e(b)
= (a)(b); = 0
(c)(a)(b) = (a)(c)(b) .
(4.30)
(4.31)
De esta forma, la ecuacin (4.27) puede reescribirse como

e(b) e(a) A; = A(a),(b) (c)(a)(b) A(c) .
(4.32)
El lado derecho de esta ecuacin se define como derivada intrnseca del vector A(a) en direccin
de e(b) ,
A(a)|(b) = A(a),(b) (c)(a)(b) A(c) ,
(4.33)
Una forma equivalente de escribir esta derivada es

A(a)|(b) = A(a);(b) (c)(d) (c)(a)(b) A(d) ,
(4.34)
donde se ha reemplazado la derivada parcial por la covariante ya que en la base local de ttradas
estas coinciden.
Con estas definiciones es claro que las ttradas permiten pasar de la derivada covariante a la
intrnseca y vice-versa fcilmente,
A(a)|(b) = e(b) e(a) A;
(4.35)
A; = e(a) e(b) A(a)|(b) .
(4.36)
Para tensores la definicin de la derivada covariante se puede obtener de manera similar. Por
ejemplo, para el tensor T(a)(b) se tiene
/
0
T(a)(b),(c) = e(c) e(a) e(b) T
.
;
(4.37)
66

Ejercicio
Siguiendo el proceso descrito para el vector, muestre que la derivada intrnseca para un tensor
T(a)(b) es
.
T(a)(b)|(c) = T(a)(b);(c) (d)(e) (d)(a)(c) T(e)(b) + (d)(b)(c) T(a)(e) .
4.3.
(4.38)
Clculo de los Coeficientes de Rotacin de Ricci
De la definicin de los coeficientes de rotacin de Ricci

(c)(a)(b) = e(b) e(a); e(c) ,
(4.39)
es claro que es necesario obtener la derivada covariante de las ttradas y por lo tanto es necesario
calcular antes las conexiones. Sin embargo, es posible calcular los coeficientes de rotacin de una
manera mas sencilla definiendo antes los pre-coeficientes de rotacin,
5
6
(a)(b)(c) = e(b), e(a) e(c) e(a) e(c) .
(4.40)
(a)(b)(c) = (c)(b)(a) .
(4.41)
Esta definicin permite comprobar de inmediato que los pre-coeficientes de rotacin son antisimtricos en su primer y ltimo ndices,
Intercambiando indices mudos adecuadamente,los pre-coeficientes se pueden escribir como

.
(a)(b)(c) = e(b), e(b), e(a) e(c) .
(4.42)
Ahora bien, la derivada covariante de cualquier vector A est dada por
A;
= A, A
A; = A,
(4.43)
A ,
(4.44)
A; A; = A, A,
(4.45)
con lo que se tiene
debido a la simetra de las conexiones. En particular, para las ttradas tendremos

e(b); e(b); = e(b), e(b),
(4.46)
4.4. TENSOR DE RIEMANN
67
y por ello, los pre-coeficientes de rotacin se pueden escribir como

.
(a)(b)(c) = e(b); e(b); e(a) e(c) .
(4.47)
Utilizando la ecuacin (4.39) se obtiene
(a)(b)(c) = (a)(b)(c) (c)(b)(a) .
(4.48)
Ejercicio
Realizando una permutacin cclica de ndices en la ecuacin (4.48) muestre que
(a)(b)(c) =
4.4.
.
1(a)(b)(c) + (c)(a)(b) (b)(c)(a) .
2
(4.49)
Tensor de Riemann
La definicin del tensor de Riemann implica que al calcular el conmutador de derivadas

covariantes aplicado sobre un vector Z se tiene
[ , ] Z = Z Z = R
+ T
Z ,
(4.50)
es el tensor de torsin. Ahora bien, en universos sin

donde R es el tensor de Riemann y T
)
*
torsin T = 0 tenemos
R Z = Z Z .
(4.51)
Debido a la antisimetra del tensor de Riemann en su primer par de ndices podemos hacer
R Z
= Z Z
= Z;; Z;; .
(4.52)
(4.53)
Si aplicamos esta relacin para uno de las tetradas tendremos

R e(a) = e(a);; e(a);; .
(4.54)
Ahora bien, sabemos que las componentes del tensor de Riemann en el sistema de ttradas se
obtiene mediante
68
R(a)(b)(c)(d) = R e(a) e(b) e(c) e(d)

.
= e(a);; e(a);; e(b) e(c) e(d) .
(4.55)
(4.56)
Utilizando la relacin (4.39) se tiene
R(a)(b)(c)(d) =
$/
e(f ) (g)(a)(f ) e(g)
e(f ) (g)(a)(f ) e(g)
y expandiendo los trminos con derivadas covariantes tenemos
R(a)(b)(c)(d) =
0 %
;
e(b) e(c) e(d) ,
(4.57)
e(f ); (g)(a)(f ) e(g) + e(f ) (g)(a)(f ); e(g)
+e(f ) (g)(a)(f ) e(g); e(f ); (g)(a)(f ) e(g)
6
e(f ) (g)(a)(f ); e(g) e(f ) (g)(a)(f ) e(g); e(b) e(c) e(d) .
Utilizando de nuevo la ecuacin (4.39) se obtiene
R(a)(b)(c)(d) =
(f ) (g)(a)(f ) e(g) + e(f ) (g)(a)(f ); e(g)
+e(f ) (g)(a)(f ) (g) (f ) (g)(a)(f ) e(g)
6
e(f ) (g)(a)(f ); e(g) e(f ) (g)(a)(f ) (g) e(b) e(c) e(d) ,
de donde se tiene finalmente la expresin para el tensor de Riemann en trminos de los coeficientes
de rotacin,
R(a)(b)(c)(d) = (c)
(f )
(d) (b)(a)(f )
(d)
+ (b)(a)(c);(d) + (g)(a)(c) (b)
(f )
(c) (b)(a)(f )
(g)
(d)
(b)(a)(d);(c) (g)(a)(d) (b)
(g)
(c)
5
6
(f )
(f )
R(a)(b)(c)(d) = (b)(a)(c);(d) (b)(a)(d);(c) + (c) (d) (d) (c) (b)(a)(f )
+(f )(a)(c) (b)
(f )
(d)
(f )(a)(d) (b)
(f )
(c) .
Captulo 5
Agujero Negro de Reissner-Nordstrm

En este captulo comenzaremos el anlisis de los agujeros negros cargados elctricamente.
An cuando desde el punto de vista de la astrofsica es poco probable tener objetos estelares
con una carga elctrica neta, fsicamente es posible agregar carga a un agujero negro y estudiar
el comportamiento del espacio-tiempo en su exterior. Para obtener las ecuaciones de campo
correspondientes, tomamos la accin de Einstein-Hilbert,
SH
1
=
16
! "
|g|Rd4 x,
(5.1)
y agregamos la accin del campo electromagntico para obtener la accin total

S=
1
16
! "
|g| [R F F ] d4 x,
(5.2)
donde F es el tensor electromagntico. Al realizar la variacin de esta accin con respecto a

los campos, obtenemos el conjunto de ecuaciones de Einstein-Maxwell,
G
F
5.1.
= 8T
= 0.
$
%
1
= 2 F F g F F
4
(5.3)
(5.4)
Solucin de las Ecuaciones de Campo en presencia de Campo

Electromagntico
Para encontrar la mtrica del agujero negro con carga supondremos un tensor mtrico esfricamente simtrico que debe reducirse a Schwarzschild cuando la carga sea cero. Por ello,
proponemos la siguiente forma para el elemento de lnea,
ds2 = f (r) dt2 +
1
dr2 + r2 d2 .
f (r)
69
(5.5)
70
CAPTULO 5. AGUJERO NEGRO DE REISSNER-NORDSTRM
Sin embargo, la solucin de las ecuaciones de campo se puede realizar ms fcilmente en un

sistema de ttradas definido por
"
f
1
=
f
= r
e(t)t =
(5.6)
e(r)r
(5.7)
e()
(5.8)
e() = r sin
(5.9)
con lo que el tensor mtrico en esta base toma la forma Minkowskiana,
(a)(b) = diag (1, 1, 1, 1) .
(5.10)
Ejercicio
Muestre que en la base de tetradas definidas las componentes no-nulas del tensor de Einstein son
,
donde f # =
G(t)(t) = G(r)(r) =
G()() = G()() =
1+f +rf "

r2
f"
f ""
+
r
2 ,
(5.11)
df
dr .
Ahora bien, en este caso las ecuaciones de campo no se plantean en el vacio, sino que existir un tensor momento-energa para el campo electromagntico como muestra la ecuacin (5.3)
y estos campos deben satisfacer las ecuaciones de Maxwell (5.4). Nosotros estamos interesados
en una solucin que tenga simetra esfrica y que posea un campo elctrico. Por esta razn
consideraremos un campo radial de la forma
E=
Q
e ,
r2 (r)
(5.12)
donde la constante Q ser interpretada como la carga elctrica. Con esta suposicin, el tensor
electromagntico toma la forma
F(a)(b)
0
rQ2
0
0
Q
r2
0
0
0
0
0
0
0
0
0
0
0
(5.13)
5.1. SOLUCION DE LAS ECUACIONES DE CAMPO
71
Ejercicio
Muestre que el tensor momento-energa en la base de ttradas,
T
(a)(b)
$
%
1 (a)(b)
1
(a)
(b)(c)
(c)(d)
=
F (c) F

F(c)(d) F
,
4
4
(5.14)
posee las componentes no nulas
= T (r)(r) = Qr4
T (t)(t)
T ()() =
T ()() =
Q2
.
r4
(5.15)
De esta forma, a partir de (5.11) y (5.15), las ecuaciones de campo se reducen a

,
1+f +rf "

r2
f"
f ""
+
r
2
= Qr4
=
Q2
.
r4
(5.16)
La primera de estas ecuaciones da como resultado

Q2
r2
(5.17)
d
Q2
(rf ) = 1 2
dr
r
(5.18)
%
! $
Q2
rf =
1 2 dr
r
(5.19)
rf # + f = 1
Q2
+C
r
(5.20)
Q2 C
+ ,
r2
r
(5.21)
rf = r +
f =1+
donde C es la constante de integracin. Ntese que en el lmite Q = 0 la funcin se convierte en

f = 1 + Cr , y ya que en este lmite la mtrica debe corresponder a la solucin de Schwarzschild,
podemos concluir que la constante de integracin corresponde a C = 2M , con M la masa del
agujero. De esta forma, la funcin buscada es
f =1
2M
Q2
+ 2.
r
r
(5.22)
72

Ejercicio
Compruebe que la funcin f encontrada satisface tambin la segunda ecuacin de campo,
f # f ##
Q2
+
= 4.
r
2
r
(5.23)
Volviendo a la base coordenada original, el elemento de lnea se convierte en

'
(
'
(1
2M
Q2
2M
Q2
ds2 = 1
+ 2 dt2 + 1
+ 2
dr2 + r2 d2 ,
r
r
r
r
(5.24)
que puede re-escribirse en la forma usual conocida como mtrica de Reissner-Nordstrm,

ds2 =
2 r2 2
dt + dr + r2 d2 ,
r2
(5.25)
donde
= r2 2M r + Q2 ,
(5.26)
y el campo elctrico asociado con el agujero es

Q
r .
(5.27)
r2
A partir de la mtrica (5.25) se puede observar que existen tres singularidades. La primera
corresponde al punto r = 0 y es una singularidad no-removible similar al caso r = 0 en Schwarzschild. Las otras dos singualaridades se encuentran en los puntos donde = 0. Para ubicarlos
exactamente podemos escribir
E=
= (r r+ ) (r r ) ,
(5.28)
"
M 2 Q2 ,
(5.29)
donde
r = M
por lo cual los valores r no son necesariamente reales. De esta forma podemos distinguir tres
casos de interes.
5.2.
Casos 1 de Reissner-Nordstrm: M < |Q|
Cuando M < |Q| los valores de r no son reales. La funcion es siempre positiva y la mtrica
no posee singularidades en r = r . Debido a esto, la coordenada t siempre es como-de-tiempo
y la coordenada r siempre es como-de-espacio. Ya que no existen horizontes, la singularidad en
5.3. CASO 2 DE REISSNER-NORDSTRM: M > |Q|
73
Figura 5.1: Diagrama de Carter-Penrose para el caso M < |Q|.

r = 0 esta desnuda. De acuerdo con la conjetura del censor csmico, podemos considerar que
este caso no se presenta fsicamente.
Sin embargo, es posible dibujar el diagrama de Penrose para esta mtrica. Para ello es importante notar que asintticamente el espacio-tiempo es Minkowskiano y por ello la estructura
del infinito es igual al de la Figura 3.1. La singularidad r = 0 es como-de-tiempo y por ello el
diagrama de Penrose es el que se muestra en la Figura 5.1.
Notese que esta solucin no es globalmente hiperblica ya que no es posible definir una
hipersuperficie de Cauchy debido a la presencia de la singularidad r = 0.
5.3.
Caso 2 de Reissner-Nordstrm: M > |Q|
Cuando M > |Q| los valores de r son reales y la funcin se vuelve cero all. De esta forma,
es positiva para r > r+ y para r < r , y toma valores negativos para r < r < r+ . Por esta
razn, la singularidad r = 0 es como-de-tiempo al igual que en el CASO 1, pero esta vez existen
dos horizontes que la ocultan.
Ahora bien, las singularidades r = r se pueden remover mediante un cambio de coordenadas.
Para mostrar esto, definimos una coordenada radial de forma similar a la coordenada de ReggeWheeler de Schwarzschild,
dr =
r2
dr = /
1
2M
r
Q2
r2
0 dr.
(5.30)
74

Ejercicio
Integre la definicin de la coordenada radial r para obtener
1
r =r+
ln
2+
donde
'
|r r+ |
r+
1
ln
+
2
'
|r r |
r
+ constante,
r r
.
2
2r
(5.31)
(5.32)
Ntese que la coordenada r toma valores en el rango r+ < r < , y por ello la coordenada de
Regge-Wheeler toma valores en el rango < r < .
5.3.1.
Utilizando la coordenada radial r definiremos dos coordenadas nulas al estilo de EddingtonFinkelstein,
v = t + r
(5.33)
u = t r ,
(5.34)
las cuales toman valores en los rangos < v < y < u < . Para realizar el cambio a
las coordenadas entrantes (v, r, , ), hacemos
dt = dv dr ,
(5.35)
y utilizando la definicin (5.30) se tiene

r2
dr
r2
r4
= dv 2 2 dvdr + 2 dr2 .
dt = dv
dt2
(5.36)
(5.37)
Reemplazando en (5.25), el elemento de lnea de Reissner-Nordstrm se convierte en

ds2 =
2
dv + 2dvdr + r2 d2 .
r2
(5.38)
Como se puede observar, las singularidades en r = r ya no estn presentes y adems se identifica
de inmediato que = v
5.3.2.
75
Las hipersuperficies r = r son horizontes de Killing del campo vectorial = v

, el cual co
rresponde a t en la regin asintticamente plana. Para comprobar esto tomaremos las funciones
= r r que definen dos familias de hipersuperficies. Los valores = 0 definen las hipersuperficies de inters, r = r . Calcularemos ahora los vectores normales a estas hipersuperficies
mediante la expresin (3.1) , con lo que se obtiene
n = N g
= N [g rr r + g rv v ] .
(5.39)
(5.40)
A partir de la mtrica (5.38) se tiene que
g vr = 1
g rr =
r2
1
g =
r2
g =
(5.41)
(5.42)
(5.43)
1
,
r2 sin2
(5.44)
r + v .
r2
(5.45)
y por ello, el vector normal toma la forma

n = N
La magnitud de este vector es
n2 = g n n
=
gvv nv nv
(5.46)
+
2gvr nv nr
N + 2 2 N2
2
r
r
2
N ,
r2
(5.47)
(5.48)
(5.49)
y al evaluarla en las hipersuperficies r = r se tiene

+
n2 +r=r = 0,
(5.50)
con lo cual se muestra que estas hipersuperficies son nulas. Ahora bien, al evaluar el vector
normal en estas hipersuperficies tenemos
n |r=r = N v ,
(5.51)
76
y como ya sabemos, es posible escoger las funciones N de tal manera que n n = 0. De esta
forma, podemos escribir para el vector de Killing como
= N1 n ,
(5.52)
v
con lo cual demostramos que las hipersuperficies r = r son horizontes de Killing. La gravedad
superficial en estos horizontes puede ser calculada utilizando la expresin (3.57), para lo cual
necesitamos la derivada covariante del vector . As, se tiene
r = v v r + v rv
(5.53)
rvv
(5.55)
= rv
=
1
= g rr r gvv ,
2
(5.54)
(5.56)
y evaluando esta expresin en el horizonte,

r |r=r = 0.
(5.57)
Por otro lado,
v = v v v + v vv
(5.58)
= vv
(5.59)
= vvv
1
= g vr r gvv
2
$
%
1
1
=
2 3 + 2
2
r
r r
(5.60)
(5.61)
(5.62)
y evaluando en el horizonte,
|r=r
=
=
+
1 ++
2r2 r +r=r
(r r )
.
2
2r
(5.63)
(5.64)
Comparando con la expresin (3.57), |N = , y recordando que el vector co

rresponde a t
en la regin asintticamente plana (y por ello puede ser normaliazado mediante
2
1 para r ), podemos identificar la gravedad superficial de cada uno de los horizontes
como
77
(r r )
.
2
2r
(5.65)
=
Ejercicio
Muestre que
+
+
+
5.3.3.
r=r
= |r=r = 0.
(5.66)
Coordenadas de Kruskal-Szekeres
Al realizar el cambio a las coordenadas (v, u, , ) utilizando las ecuaciones (5.33) y (5.34),
el elemento de lnea de Reissner-Nordstrm se convierte en
dvdu + r2 d2 ,
r2
donde r esta definido implcitamente por la relacin
ds2 =
(5.67)
vu
(5.68)
2
y r viene dado por (5.31). Definiremos ahora un sistema de coordenadas similar al de KruskalSzekeres, sin embargo, en este caso tenemos dos horizontes y por lo tanto dos gravedades superficiales. Por ello definiremos dos conjuntos de coordenadas (signo + y signo ),
r =
V = e v
(5.69)
U = e u .
(5.70)
Para el conjunto de coordenadas con el signo + se tiene
dV + = + e v dv = + V + dv
(5.71)
dU + = + e+ u du = + U + du,
(5.72)
y por ello el elemento de lnea (5.67) toma la forma

ds2 =
dV + dU +
+ r2 d2 ,
r2 2+ V + U +
(5.73)
donde r esta definido implcitamente por la relacin
V + U + = e+ (vu) = e2+ r ,
(5.74)
78
Figura 5.2: Primera parte del diagrama de Kruskal para el caso M > |Q|.
o utilizando la ecuacin (5.31),
V U
= e
2+ r
'
r r+
r+
('
r r
r
( +
(5.75)
Reemplazando esta relacin en el elemento de lnea, se tiene

r+ r e2+ r
ds2 = 2
+ r 2
5.3.4.
'
r
r r
( + 1
dV + dU + + r2 d2 .
(5.76)
Diagrama de Kruskal.
Parte I
Para realizar el diagrama de Kruskal para la mtrica dada en (5.76) observemos inicialmente
que estas coordenadas no cubren la regin r < r ya que existe una singularidad en r = r .
Por lo tanto, el diagrama de Kruskal con estas coordendas es solo una parte del diagrama completo. Considerando la relacin (5.75) se observa que las hipersuperficies de r = constante son
hiprbolas. Adems, la hipersuperficie r = r+ corresponde al conjunto {V + = 0} {U + = 0}.
De esta manera, la mtrica (5.76) cubre cuatro regiones de la extensin analtica maximal de
Reissner-Nordstrm, como se muestra en la Figura 5.2.
Ntese que r = r es una superficie singular en este diagrama, pero esta singularidad no es
esencial y por ello solo aparece punteada.
79
Figura 5.3: Segunda parte del diagrama de Kruskal para el caso M > |Q|.
Ejercicio
Realice el cambio a las coordenadas (V , U ) para mostrar que el elemento de lnea se convierte
en
r+ r e2 r
ds = 2
r2
V U
'
r+
r+ r
2 r
= e
'
( 1
+
r r
r
('
dV dU + r2 d2 ,
(5.77)
(5.78)
r+ r
r+
Parte II
La segunda parte del diagrama de Kruskal para la extension analtica maximal de ReissnerNordstrm se encuentra utilizando la mtrica (5.77). Notese que existe una singularidad en r = r+
y otra en r = 0 , por lo cual las coordenadas (V , U ) cubren solamente la regin 0 < r < r+ . De
la ecuacin (5.78) se observa que las hipersuperficies de r = constante son de nuevo hiprbolas
y que la hipersuperficie r = r corresponde al conjunto {V = 0} {U = 0}. As, la mtrica
(5.77) cubre tambin cuatro regiones de la extensin analtica maximal de Reissner-Nordstrm,
como se muestra en la Figura 5.3.
Ntese que la regin II de este diagrama corresponde a la misma regin de la Figura 5.2,
cubierta por las coordenadas con signo +, y adems que la singularidad r = 0 es como-detiempo, y se encuentra ubicada en las regiones V y VI.
80
Figura 5.4: Tercera parte del diagrama de Kruskal para el caso M > |Q|.
Parte III
Como ya se mostr, las coordenadas (V + , U + ) cubren cuatro regiones (I, II, III, IV) de la
extensin analtica de Reissner-Nordstrm mientras que las coordenadas (V , U ) agregan otras
tres regiones (V, VI, III). Ahora bien, de la primera parte del diagrama se observa que la regin
interior II se conecta en el pasado con las regiones exteriores I y IV y adems con la regin III.
Ya que esta solucin es invariante bajo inversin temporal, es de esperar que la regin III deba
conectarse en su futuro con tres regiones isomtricas a I, II y IV. As, aparece una tercera parte
del diagrama de Kruskal como se muestra en la Figura 5.4.
Las regiones exteriores I y IV son isomtricas a I y IV y por ello son asintticamente planas
mientras que la regin interna II es isomtrica a la regin II.
Ahora bien, el anlisis realizado se puede repetir de nuevo para estas regiones para obtener
un cuarto diagrama. Por lo tanto, el diagrama de Kruskal completo para la extensin analtica
maximal de Reissner-Nordstrm se compone de una secuencia infinita de diagramas similares a
los tres mostrados.
5.3.5.
Diagrama de Carter-Penrose
Ya que el diagrama de Kruskal para esta mtrica tiene infinitas partes, el diagrama de CarterPenrose tambin ser una secuencia infinita. Por ello analizaremos cada una de las partes para
luego unirlas dentro de un solo diagrama.
81
Figura 5.5: Primera parte del diagrama de Carter-Penrose para el caso M > |Q|.
Figura 5.6: Segunda parte del diagrama de Carter-Penrose para el caso M > |Q|.
Parte I
Al traer todos los puntos del infinito mediante una transformacin conforme, las regiones
exteriores I y IV que son asintticamente planas tendrn una frontera exctamente igual a la de
Minkowski como se muestra en la Figura 5.5. Por otro lado, la regin II descrita por las coordenadas (V + , U + ) se compactifica y debe unirse con la misma regin descrita por las coordenadas
(V , U ).
Parte II
Al realizar la compactificacin de la regin interior del agujero, las regiones V y VI contienen la singularidad esencial r = 0 que se convierte en una linea recta, Figura 5.6. La regin II
corresponde a la misma descrita en la primera parte, mientras que la regin III se compactifica
conectandose con el siguiente diagrama en la secuencia. Ntese que esta regin no es asintticamente plana y por ello su frontera no tiene la estructura minkowskiana.
82
Figura 5.7: Diagrama de Carter-Penrose completo para la mtrica de Reissner-Nordstrm en el

caso M > |Q|.
83
Diagrama Completo
Finlmente, el diagrama completo de Carter-Penrose para la solucin de Reissner-Nordstrm
es la secuencia que se extiende infinitamente en ambas direcciones mostrado en la Figura 5.7.
Ahora bien, es conveniente aclarar que esta extensin analtica extendiendose indefinidamente
en ambas direcciones se realiza principalmente con el fin de asegurar que la variedad sea geodsicamente completa, es decir que todas las geodsicas que no terminen en la singularidad tengan
una longitud afn infinita tanto en la direccin del futuro como del pasado.
5.3.6.
Causalidad
Como se dijo antes, la singularidad r = 0 en Reissner-Nordstrm es como-de-tiempo, al

contrario de la singularidad de Schwarzschild que es como-de-espacio; lo cual trae interesantes
consecuencias. Considere por ejemplo un observador que cae desde la regin I hacia el horizonte
r = r+ a lo largo de la trayectoria que se observa en la Figura 5.7. Cuando este observador
cruza el horizonte, la coordenada temporal se vuelve como-de-espacio y la coordenada espacial
se vuelve como-de-tiempo, es decir que una vez en la regin II, el observador sigue cayendo
inevitablemente en direccin de r = 0.
Sin embargo, cuando el observador cruza el segundo horizonte, r = r , las coordenadas temporal y espacial vuelven a intercambiar su carcter y la caida hacia r = 0 puede evitarse. As,
nuestro observador puede moverse en direccin opuesta para salir, evitando la singularidad, y
cruzando de nuevo el horizonte r = r . Al cruzar esta superficie, la coordenada r es otra vez
como-de-tiempo y el observador es forzado a moverse, esta vez hacia afuera para cruzar finlmente el horizonte r = r+ y llegar a la regin exterior I, saliendo del agujero blanco III. De
esta manera, la solucin de Reissner-Nordstrm se puede interpretar como un infinito nmero de
regiones asintticamente planas conectadas por muchos agujeros de gusano.
Asegurar que este viaje sea posible no es cierto, ya que existen varios inconvenientes que
se pueden observar claramente a partir del diagrama de Carter-Penrose. Tal vez la razn ms
importante es que en su viaje, el observador debe cruzar un horizonte de Cauchy. En la Figura 5.8
se muestra como es posible definir una hipersuperficie de Cauchy en las regiones asintticamente
planas exteriores, pero debido a la presencia de la singularidad r = 0 en las regiones V y VI,
la superficie r = r es un horizonte de Cauchy, con lo cual se pierde la predictibilidad de las
ecuaciones de campo para las regiones interiores.
Adems, se nota que la historia completa (e infinitamente larga) de las regiones exteriores est
en el pasado causal del horizonte de Cauchy futuro. De esta manera, un observador en este punto
ve toda la infinita historia del universo en un tiempo finito, y por ello cualquier seal que llegue
a l estar infinitamente corrida al azul. Esto hace razonable creer que cualquier perturbacin,
84
Figura 5.8: Horizonte de Cauchy para la mtrica de Reissner-Nordstrm en el caso M > |Q|.
sin importar lo pequea que sea, provoque un cambio violento en la geometra del horizonte y de
las regiones interiores, por lo que no es posible asegurar que en la realidad existen las infinitas
regiones asintticamente planas descritas.
5.3.7.
Coordenadas Isotrpicas
An cuando es improbable la existencia de los agujeros de gusano que conectan las infinitas regiones asintticamente planas, es interesante analizar su geometra. Para ello se realizar
un cambio de coordenadas similar al utilizado para Schwarzschild. As, definimos una nueva
coordenada radial mediante
r =+M +
M 2 Q2
.
4
(5.79)
De esta manera tenemos
= r2 2M r + Q2
'
(2
'
(
M 2 Q2
M 2 Q2
=
+M +
. 2M + M +
. + Q2
4
4
'
(
2
M 2 Q2
M 2 Q2
= 2
+
2
4
$
%
2
M 2 Q2
=
.
4
Adems,
(5.80)
(5.81)
(5.82)
(5.83)
5.4. CASO 3 DE REISSNER-NORDSTRM: M = |Q|
85
Figura 5.9: Relacin entre las coordenadas radiales r y para la mtrica de Reissner-Nordstrm.
%
$
M 2 Q2
d
dr = 1
42
$
%
M 2 Q2 d
=
,
4
(5.84)
(5.85)
es decir
dr2 =
d2
.
2
(5.86)
As, el elemento de lnea (5.25) en coordenadas isotrpicas (t, , , ) es

ds2 =
.
2 r2 - 2
dt + 2 d + 2 d2 .
2
r
(5.87)
Al graficar r vs. de la ecuacin (5.79) se observa que para cada valor de r > r+ se tiene dos
valores de . Estos dos valores estn conectados por la isometra

M 2 Q2
,
4
(5.88)
la cual corresponde a la isometra entre las regiones I y IV del diagrama de Penrose. Adems, de
la Figura 5.9 se puede observar que existe un punto fijo correspondiente a
"
M 2 Q2
=
,
(5.89)
2
es decir a r = r+ . Este punto es la 2-esfra minimal que define la garganta del agujero de
gusano o puente de Einstein-Rosen formado, de manera similar a lo que ocurre para la mtrica
de Schwarzschild.
5.4.
Caso 3 de Reissner-Nordstrm: M = |Q|
En el caso extremo en el cual M = |Q| se tiene r+ = r = M . De esta forma, se tiene
86
= (r r+ ) (r r )
(5.90)
= (r M )2 ,
(5.91)
por lo cual la mtrica (5.25) se convierte en

'
M
ds = 1
r
2
(2
dt2 + )
dr2
1
*
M 2
r
+ r2 d2 .
(5.92)
Notese que existe una singularidad en r = M , pero esta puede ser eliminada con un cambio de
variable. Para ello se define la coordenada radial de Regge-Wheeler,
dr = )
dr
1
(5.93)
* .
M 2
r
Ejercicio
Integre la definicin de la coordenada radial r para obtener
r = r + 2M ln
'
|r M |
M
M2
,
rM
(5.94)
Ya que la coordenada r toma valores en el rango M < r < , la coordenada de Regge-Wheeler

toma nuevamente valores en el rango < r < .
5.4.1.
Definiendo coordenadas de Eddington-Finkelstein al igual que en el caso anterior,
v = t + r
(5.95)
u = t r ,
(5.96)
las cuales toman valores en los rangos < v < y < u < , se puede realizar el cambio
a las coordenadas entrantes (v, r, , ). Para ello hacemos
dt = dv dr ,
y utilizando (5.93),
(5.97)
dt = dv )
87
dr
1
dt2 = dv 2 2 )
(5.98)
*
M 2
r
1
* dvdr + )
M 2
r
dr2
1
* .
M 4
r
(5.99)
As, el elemento de lnea de Reissner-Nordstrm extremo se convierte en

'
(
M 2 2
ds2 = 1
dv + 2dvdr + r2 d2 .
(5.100)
r
Se puede observar que en estas coordenadas no existe singularidad en r = M y adems, que
= v
5.4.2.
Horizonte de Killing
La hipersuperficie r = M es un horizonte de Killing degenerado del campo vectorial = v

,
es decir que su gravedad superficial es = 0. Para probarlo, tomaremos la funcin = r M
para definir la familia de hipersuperficies. A partir del tensor mtrico (5.100) se encuentra que
g vr = 1
'
(
M 2
g rr =
1
r
1
g =
r2
1
g =
,
2
r sin2
y con ello el vector normal a las hipersuperficies es
n = N g
(5.101)
(5.102)
(5.103)
(5.104)
(5.105)
= N [g rr r + g rv v ]
='
>
(
M 2
= N
1
r + v .
r
(5.106)
(5.107)
Su magnitud viene dada por

n2 = g n n
(5.108)
= gvv n n + 2gvr n n
'
(
'
(
M 2
M 2
= 1
+2 1
r
r
'
(2
M
=
1
,
r
v v
v r
(5.109)
(5.110)
(5.111)
88

y al evaluarla en la hipersuperficie r = M , se tiene
+
n2 +r=M = 0,
(5.112)
es decir que esta hipersuperficie es nula. Por otro lado, el vector normal en r = M es
n|r=M = N v ,
(5.113)
y ya que v
es un vector de Killing, la hipersuperficie r = M es un horizonte de Killing de este
campo vectorial.
Ejercicio
Muestre que para =
se tiene
|r=M = 0,
(5.114)
es decir que la gravedad superficial para el horizonte r = M es cero ( = 0).
5.4.3.
Diagrama de Kruskal
Al pasar a las coordenadas (v, u, , ), el elemento de lnea se convierte en

'
M
ds = 1
r
2
(2
vu
r =
= r + 2M ln
2
Si definimos las coordenadas
'
dvdu + r2 d2 ,
|r M |
M
M2
.
rM
(5.115)
(5.116)
= ev/M
(5.117)
= eu/M ,
(5.118)
V
dv
M
U
= du,
M
(5.119)
se tiene
dV
dU
y por ello la mtrica se convierte en
(5.120)
89
Figura 5.10: Regin r > M en el diagrama de Kruskal para el caso M < |Q|.
Figura 5.11: Regin r < M en el diagrama de Kruskal para el caso M < |Q|.
ds =
2
con r definido por
'
M
1
r
(2
M 2 dV dU
+ r2 d2 ,
VU
V U = e
VU =
'
rM
M
vu
M
(4
(5.121)
(5.122)
2r
2M
e M e rM .
(5.123)
De esta ltima relacin se observa que tanto para la regin r > M como para la regin
r < M , se tiene V U < 0. Esto quiere decir que tendremos dos partes para el diagrama de
Kruskal. Ntese que la hipersuperficie r = M corresponde a la condicin U V = 0, es decir al
conjunto {U = 0}{V = 0}. Las hipersuperficies de r = constante corresponden a las hiperbolas
V U = constante. De esta forma, para r > M tenemos el diagrama que se muestra en la Figura
5.10.
Por ltimo, la singularidad r = 0 queda definida por la hiperbola V U = e2 . Es importante
notar que en este caso las coordenadas t y r siempre tienen un caracter temporal y espacial
respectivamente. Por esta razn, la singularidad r = 0 es como-de-tiempo y la regin r < M del
90
Figura 5.12: Diagrama de Carter-Penrose para el caso M < |Q|.

diagrama de Kruskal para el caso extremo de Reissner-Nordstrm resulta ser el que se observa
en la Figura 5.11.
5.4.4.
Como se puede observar del diagrama de Kruskal, el vector de Killing = v

es nulo en
la hipersuperficie r = M , pero es como-de-tiempo en cualquier otro punto. De esta forma, el
diagrama de Penrose para el caso extremo de Reissner-Nordstrm es similar al obtenido para
el Caso 2 analizado antes, pero la regin II de ese diagrama desaparece. Por ello, la regin
asintticamente plana exterior (regin I) se conecta directamente con la regin interior que
contiene la singularidad. De nuevo, es importante notar que la singularidad r = 0 es como-detiempo, y por ello el horizonte de eventos r = M es tambin un horizonte de Cauchy, tal como
se puede observar en la Figura 5.12.
Captulo 6
Agujero Negro de Kerr

6.1.
La familia de Kerr-Newman
Cualquier espacio-tiempo estacionario que sea solucin de las ecuaciones de campo de Einstein
y Maxwell y que represente un agujero negro debe pertenecer a la familia de Kerr-Newman
que se identifica por 3 parmetros (M, e, a). El elemento de lnea general para esta familia en
coordenadas de Boyer-Lindquist toma la forma
ds
' 2
(
a2 sin2 2
r + a2
=
dt
2a sin2 dtd
5
5
?)
@
*
2 + a2 2 a2 sin2
r
5 2
+ dr + 5d2 +
sin2 d2 ,
(6.1)
donde
= r2 2M r + a2 + e2
5 = r2 + a2 cos2 .
(6.2)
(6.3)
Los parmetros que identifican la familia son la masa M , el momento angular por unidad de
masa
J
,
M
con J el momento angular total, y el parmetro de carga
e=
a=
(6.4)
"
Q2 + P 2 ,
(6.5)
con Q la carga elctrica y P la carga de monopolo magntico. El 4-potencial correspondiente a

esta solucin toma la forma
91
92
CAPTULO 6. AGUJERO NEGRO DE KERR

.
)
* .
Qr dt a sin2 d P cos adt r2 + a2 d
A=
.
5
(6.6)
t t
(6.7)
Ntese que para a = 0 y P = 0, la solucin se reduce a la mtrica de Reissner-Nordstrm.

La solucin de Kerr-Newman posee la isometra
(6.8)
Por otro lado, si se cambia el signo de la coordenada angular (es decir ), el signo del
parmetro a cambia. Por esta razn, es posible tomar a 0 sin perdida de generalidad.
6.2.
Agujero Negro de Kerr
En el contexto astrofsico es conocido que la mayoria de los objetos estelares rotan pero no
tiene carga elctrica neta apreciable. El espacio-tiempo que describe el comportamiento exterior
de uno de estos objetos corresponde a la solucin de Kerr, la cual posee nicamente masa y
momento angular, es decir que tomamos e = 0. As, se tiene
= r2 2M r + a2
5 = r2 + a2 cos2 .
(6.9)
(6.10)
La mtrica de Kerr posee dos vectores de Killing, el vector asintticamente como-de-tiempo
,
t
(6.11)
y el vector asintticamente como-de-espacio

=
(6.12)
El elemento de lnea posee una singularidad escencial en 5 = 0, es decir
r=0 , =
(6.13)
y dos singularidades coordenadas en

= 0.
Esta ltima condicin se puede reescribir como
(6.14)
6.3. CASO 1 DE KERR: M < A
93
= (r r+ ) (r r ) = 0,
donde
r = M
"
M 2 a2 ,
(6.15)
(6.16)
lo cual nos permite considerar nuevamente tres casos de inters.
6.3.
Caso 1 de Kerr: M < a
En este caso los dos valores r son complejos, es decir que no tiene ceros reales y por ello
no existen las dos singularidades coordenadas. Sin embargo, la singularidad escencial 5 = 0 si
existe.
6.3.1.
Coordenadas de Kerr-Schild
Para estudiar el comportamiento de la singularidad escencial realizamos el cambio a las

)
*
coordenadas de Kerr-Schild t, x, y, z definidas por
%
! $
2 + a2
r
t =
dt +
dr r
R
a
x + iy = (r + ia) sin ei [d+ dr]
z = r cos .
(6.17)
(6.18)
(6.19)
Ejercicio
Muestre que la mtrica de Kerr en coordenadas de Kerr-Schild es
ds2 = dt2 + dx2 + dy 2 + dz 2

$
%2
2M r3
r (xdx + ydy) a (xdx ydy) zdz
2
+ 4
+
+ dt
.
r + a2 z 2
r2 + a2
r
(6.20)
A partir del elemento de lnea (6.20) se puede observar que para M = 0 la mtrica de Kerr
se reduce al espacio-tiempo de Minkowski. Ahora bien, la coordenada radial se puede escribir en
trminos de las coordenadas (x, y, z) al notar que a partir de la ecuacin (6.18) se tiene
x2 + y 2 =
*
r2 + a2 sin2 ,
(6.21)
94
Figura 6.1: Superficies de r = constante y la singularidad esencial 5 = 0 para la mtrica de Kerr.

mientras que utilizando (6.19)
z 2 = r2 cos2 = r2 r2 sin2
(6.22)
r2 sin2 = r2 z 2 .
(6.23)
Por lo tanto, combinando (6.21) y (6.23),
es decir
)
* )
*)
*
r2 x2 + y 2 = r2 + a2 r2 z 2 ,
(6.24)
)
*
r4 x2 + y 2 + z 2 a2 r2 a2 z 2 = 0.
(6.25)
Para valores de r = constante )= 0, la ecuacin (6.25) se puede reescribir como

'
(
a2 z 2
a2
x2 y 2
+
+
1
+
=
1
+
,
r2
r2
r2 r2
r2
(6.26)
la cual define elipsoides con focos en x = a. Estos elipsoides se degeneran para convertirse en
A
B
el disco z = 0, x2 + y 2 a2 para r = 0.
Singularidad 5 = 0
La singularidad esencial de la mtrica de Kerr se ubica en r = 0 y =
ecuacin (6.21) implica
2,
por lo cual la
6.3. CASO 1 DE KERR: M < A
95
x2 + y 2 = a2 .
(6.27)
Esto quiere decir que la singularidad 5 = 0 corresponde a un anillo de radio a, como se observa
en la Figura 6.1.
Ahora bien, la mtrica (6.20) no es singular en r = 0, y por ello el rango de la coordenada
radial puede extenderse analticamente a valores negativos
6.3.2.
En los diagramas de Carter-Penrose para las mtricas de Schwarzschild y Reissner-Nordstrm

cada punto representa una 2-esfra, pero en el caso de la mtrica de Kerr la simetra no es esfrica
sino axial y por ello el diagrama de Carter-Penrose no se puede visualizar en dos dimensiones.
Sin embargo, si se pueden realizar varios cortes para obtener una idea de la forma del diagrama
tridimensional completo.
Al realizar cortes angulares se nota que las subvariedades = 0 y = 2 son geodsicamente
completas, en el sentido de que cualquier geodsica que incialmente sea tangente a la subvariedad,
permanecer siempre tangente a ella.
Diagrama de la Subvariedad =
En la subvariedad que se obtiene al realizar el corte = 2 se encuentra la singularidad

esencial 5 = 0 (ubicada en r = 0), la cual tiene un caracter como-de-tiempo. Adems, la variedad
es asintticamente plana, por lo que la frontera del diagrama tiene la estructura del diagrama
de Minkowski, como se observa en la Figura 6.2. Ntese que en este diagrama, cada punto
corresponde a una 1-esfra (circulo correspondiente a 0 < 2). Ya que no existe ningn
horizonte, la singularidad 5 = 0 se encuentra desnuda y toda geodsica radial entrante termina
en ella.
Diagrama de la Subvariedad = 0
El corte = 0 corresponde al eje de simetra de la variedad. Esta subvariedad NO contiene
la singularidad 5 = 0, por lo que la coordenada radial puede ser extendida analticamente a
valores negativos (atravesando la singularidad en forma de anillo). Adems, la subvariedad es
asintticamente plana (tanto para valores r > 0 como r < 0) y por ello la forma del diagrama
de Carter-Penrose para este corte es el que se observa en la Figura 6.3. De nuevo, cada punto en
el diagrama corresponde a un crculo, y ya que r = 0 no es una singularidad, aparece como una
lnea punteada.
96
Figura 6.2: Corte ecuatorial =
y la singularidad esencial 5 = 0 para la mtrica de Kerr.
Figura 6.3: Corte axial = 0 para la mtrica de Kerr.
6.4. CASO 2 DE KERR: M > A
6.3.3.
97
Estructura Causal cerca de la Singularidad
An cuando la hipotesis del censor csmico permite desechar esta solucin por tener una
singularidad desnuda, existe una razn extra para no considerarla como fsicamente posible.
Ya que la mtrica de Kerr es axialmente simtrica, posee un vector de Killing asintticamente
como-de-espacio
=
(6.28)
con orbitas cerradas. Ahora bien, la norma de este vector es

2 = g = g .
(6.29)
Utilizando la mtrica (6.1) se tiene

=
2
?)
r2 + a2
*2
a2 sin2
5
sin2 ,
(6.30)
o reemplazando las ecuaciones (6.9) y (6.10),

'
r2
= a sin 1 + 2
a
2
M a2
+
r
2 sin4
1+
a2
r2
En la vecindad del anillo correspondiente a la singularidad,
cos2
r
a
(6.31)
= << 1 y = 2 , se tiene
) *
Ma
+ O 2 .
(6.32)
Ntese que para puntos muy cercanos a la singularidad, || <<< 1, pero en la regin de r
negativo, < 0, el vector de Killing tendra norma negativa,
2 = a2 +
2 < 0,
(6.33)
es decir que su caracter es como-de-tiempo. Ya que todas las orbitas de son cerradas, esta
relacin admite curvas cerradas como-de-tiempo cerca de la singularidad, lo cual produce una
violacin directa de la causalidad.
6.4.
Caso 2 de Kerr: M > a
En este caso, la singularidad esencial 5 = 0 con forma de anillo existe, pero adems, los
valores de r son reales y por lo tanto existen dos singularidades coordenadas en = 0. Se
puede observar que la funcin es positiva para r > r+ y para r < r , mientras que toma
valores negativos para r < r < r+ . Por esta razn, la singularidad r = 0 es como-de-tiempo al
igual que en el CASO 1.
98
6.4.1.
Para comprobar que r son singularidades coordenadas se realiza el cambio a coordenadas

de Eddington-Finkelstein. Para ello se definen las nuevas coordenadas temporal, v, y angular,,
mediante
)
*
r2 + a2
dv = dt +
dr
a
d = d + dr.
(6.34)
(6.35)
Ejercicio
Muestre que la mtrica de Kerr en coordenadas de Eddington-Finkelstein, (v, r, , ), es
ds
)
*
2a sin2 r2 + a2
a2 sin2 2
=
dv + 2dvdr
dvd
5
5
) 2
*2
r + a2 a2 sin2
2
2
2a sin drd + 5d +
sin2 d2 .
5
(6.36)
Como se puede observar, en las coordenadas (v, r, , ) no existen las singularidades = 0.
Adems, se puede observar que tanto v

como
son vectores de Killing.
6.4.2.
Las hipersuperficies r = r son horizontes de Killing de los campos vectoriales

'
(
=
+
,
(6.37)
2
2
v
r + a
/
0
el cual equivale al vector t

+ r2 +a
2
, en la regin asintticamente plana. Para comprobar
esto, tomaremos las funciones = r r que definen dos familias de hipersuperficies, ya que los
valores = 0 definen las hipersuperficies de inters, r = r . Calcularemos ahora los vectores
normales a estas hipersuperficies mediante la expresin (3.1) ,
n = N g
= N [g rr r + g rv v + g r ] .
A partir de la mtrica (6.36) se tiene
(6.38)
(6.39)
99
a2 sin2
.
g v = a.
g rr =
.
2
g = csc.
g vv =
g vr =
g r =
g =
a2 +r2
.
a
.
1
.
(6.40)
(
%
a2 + r2
a
= N
v +
5
5
)
*
.
N =
r + a2 + r2 v + a .
5
n2 = g n n
=
n2 =
2
N
2
.
gvv nv nv
r +
5
'
(6.41)
(6.42)
(6.43)
+
g n n
2gvr nv nr
2gv nv n
2gr nr n
= '
) 2
*2
(
*
r + a2 a2 sin2 2 2
a2 sin2 ) 2
2 2
a +r
+
a sin
5
5
>
)
*
2 sin2 r 2 + a2 )
) 2
*
*
2a
+2 a + r2
a2 + r2 2a2 sin2
5
(6.44)
(6.45)
y al evaluarla en las hipersuperficies r = r , es decir = 0, se tiene

+
n2 +r=r = 0,
(6.46)
con lo cual se muestra que estas hipersuperficies son nulas. Ahora bien, al evaluar el vector
normal en r = r se obtiene
n |r=r
-) 2
*
.
N
2
a + r
v + a
2
2
+ a cos
'
($
%
2
a2 + r
a
= N
v
2 + a2 cos2
2 ,
r
a2 + r
=
2
r
(6.47)
(6.48)
es decir
n |r=r = N
'
2
a2 + r
2 + a2 cos2
r
(6.49)
100
y como ya sabemos, es posible escoger las funciones N de tal manera que n n = 0. De esta
forma, se demostr que el vector normal es el vector de Killing y con ello, las hipersuperficies
r = r son horizontes de Killing.
La gravedad superficial en estos horizontes puede ser calculada utilizando la expresin (3.57),
para lo cual necesitamos la derivada covariante del vector . As, se tiene
a
v
2
a2 + r
.
a
= v v + vv + 2
v + v
2
a + r
- v v
.
a
= vvv v + vv + 2
v + v
2
a + r
'
(
'
(2
a
a
v
= vvv v + 2
+
v .
v
2
2
a2 + r
a2 + r
v = v v +
(6.50)
(6.51)
(6.52)
(6.53)
Al reemplazar las conexiones correspondientes y evaluando en la hipersuperficie r = r , se tiene

>
- 2
. =
.
2 + a2 cos (2)
a
+
2r
5
r
r
)
*
v |r=r =
(6.54)
2
52
4 a2 + r
r=r
- 2
.
%
2 + a2 cos (2) $
a + 2r
1
)
*
=
.
(6.55)
2
5 r r=r
4 a2 + r
Ahora bien, el numerador de esta expresin se puede escribir como
)
*
2
2
a2 + 2r
+ a2 cos (2) = a2 + 2r
+ a2 1 2 sin2
= 2a +
2
2
2r
2a sin
2
2
= 2a2 cos2 + 2r
= 2 5|r=r ,
por lo cual se tiene
v
|r=r
$
%
1
*
= ) 2
.
2
r r=r
2 a + r
(6.56)
(6.57)
(6.58)
(6.59)
(6.60)
Por otro lado, a partir de la funcin = (r r+ ) (r r ) se calcula la derivada
= 2r r+ r ,
r
(6.61)
y por ello, al evaluar en el horizonte,
De esta forma se tiene finalmente
+
++
= r r .
r +r=r
(6.62)
101
v |r=r =
r r
)
*.
2
2 a2 + r
(6.63)
Comparando con la expresin (3.57), |N = , podemos identificar la gravedad superficial de cada uno de los horizontes como
=
Ejercicio
Muestre que
r r
*.
)
2
2 a2 + r
+
+
r |r=r = +
|r=r =
r
6.4.3.
'
r=r
(6.64)
=0
(6.65)
(6.66)
a
2
2
a + r
Al igual que en el Caso I, en el agujero negro de Kerr con M > a existe la singularidad
esencial 5 = 0, la cual tiene forma de anillo, x2 + y 2 = a en coordenadas de Kerr-Schild, pero
esta vez aparecen los dos horizontes r = r que la ocultan. De igual manera, debido a la simetra
axial de la variedad, el diagrama de Penrose debe realizarse en cortes asintticamente planos. De
esta forma, la singularidad 5 = 0 aparece en el corte ecuatorial, = 2 , pero no existe en el corte
axial, = 0. Debido a ello, la variedad puede extenderse analticamente a valores de r < 0 como
en el Caso I. An cuando es posible comprobar que en este caso tambin existen curvas cerradas
como-de-tiempo en la cercania de la singularidad, lo cual viola la causalidad, los horizontes de
eventos ocultan su efecto sobre las regiones asintticamente planas.
Al unir los diagramas en una sola representacin, se obtiene la Figura 6.4, donde la lnea
punteada representa la singularidad 5 = 0 . Ntese que el diagrama se extiende infinitamente en
ambas direcciones, al igual que en el caso del agujero negro de Reissner-Nordstrm, y adems
la presencia del horizonte de Cauchy que hace que esta extensin analtica maximal no sea
globalmente hiperblica, en la Figura 6.5.
Finalmente, es importante notar que, al igual que para Reissner-Nordstrm, la existencia
de las infinitas regiones asintticamente planas es poco probable en la realidad y adems, la
existencia del horizonte de Cauchy no permite predecir lo que sucedera a un observador que
intente viajar entre ellas.
102
Figura 6.4: Diagrama de Carter-Penrose para la mtrica de Kerr con M > a. La lnea punteada
indica que la singularidad esencial 5 = 0 se encuentra ubicada en el corte ecuatorial = 2 pero
no en el corte axial = 0 . Cada punto del diagrama corresponde a una 1-esfra.
103
Figura 6.5: Diagrama de Carter-Penrose para la mtrica de Kerr con M > a. La lnea sombreada
corresponde al horizonte de Cauchy.
6.4.4.
Velocidad Angular del Agujero Negro
El vector de Killing + se puede escribir en las coordenadas de Boyer-Lindquist como
+ =
+ ,
t
(6.67)
a
2 .
a2 + r+
(6.68)
donde se ha definido
Si se utilizan las expresiones (6.4) y (6.16) se tiene
) J *2
M
'
J
M
(
C
) J *2 2
2
+ M+ M M
J
0.
2M M 2 + M 4 J 2
/
Ahora comprobaremos que es la velocidad angular del horizonte de eventos r = r+ .
(6.69)
(6.70)
104

Ejercicio
Compruebe que en las coordenadas de Boyer-Lindquist
+
[ t] = 0.
(6.71)
La ecuacin (6.71) define las orbitas del vector de Killing + , las cuales quedan determinadas
por
t = constante,
(6.72)
= t + constante.
(6.73)
es decir
Por lo tanto, las partculas que se mueven en orbitas de + se encuentran rotando con velocidad angular con respecto a un observador asintticos que se encuentren en reposo, es decir
observadores en orbitas del vector = t

. Es decir que estas partculas rotan con respecto a un
sistema estacionario en el . Ahora bien, ya que los generadores del horizonte se encuntran en
orbitas del vector de Killing + , podemos concluir que tanto el horizonte como el agujero negro
rota con velocidad angular .
6.4.5.
La Ergosfra
Como se demostr en la seccin anterior, las superficies r = r son horizontes de Killing de
los vectores , pero no del vector de Killing = t

ni de v
. Esto se debe a que estos dos
vectores no son nulos en la hipersuperficie. Por ejemplo, para se tiene
2 = g = gtt =
Al evaluar en los horizontes r = r , se tiene
+
2 +r=r =
'
a2 sin2
5
a2 sin2
2 + a2 cos2 )= 0,
r
(6.74)
(6.75)
lo cual muestra que el vector no es nulo sobre los horizontes, excepto en los polos, = 0 y
= . Algo similar ocurre con el vector v

y por ello los horizontes de Killing estudiados se
toman con respecto a los vectores .
Ahora bien, reemplazando (6.9) y (6.10) en la expresin (6.74) se tiene
'
2M r
= 1 2
r + a2 cos2
2
(6.76)
105
Figura 6.6: Ergosfera y Horizonte de eventos exterior para la metrica de Kerr con M > a.
con lo que se puede observar que la norma de puede ser positiva, negativa o cero. De esta
forma, es como de tiempo para
1>
r2
2M r
+ a2 cos2
r2 2M r + a2 cos2 > 0,
(6.77)
(6.78)
es decir para valores de r que cumplan

r>M+
"
M 2 a2 cos2 .
(6.79)
"
M 2 a2 cos2 .
(6.80)
De esta forma, el vector es nulo en la hipersuperficie denominada ergosfra, la cual est

definida definida por
r=M+
Esta superficie coincide con el horizonte r = r+ nicamente en los polos = 0 y = , como

se puede observar de la Figura 6.6. La regin comprendida entre la ergosfra y el horizonte se
denomina ergoregin, y tiene una gran importancia en el Proceso de Penrose, que se estudiar
ms adelante.
6.4.6.
Arrastre de Sistemas Inerciales
Ya que el agujero negro de Kerr se encuentra rotando, su movimiento produce un arrastre

del espacio-tiempo a su alrededor. Para comprender como ocurre esto, consideraremos un fotn
106
que es emitido a una distancia r en el plano ecuatorial, = 2 , y en la direccin . El elemento

de lnea general que describe el comportamiento de este fotn es
ds2 = 0 = gtt dt2 + 2gt dtd + g d2 ,
(6.81)
que se puede escribir como la ecuacin diferencial

g
'
d
dt
(2
+ 2gt
'
d
dt
+ gtt = 0.
(6.82)
Con ello se obtiene la velocidad del fotn en direccin ,

gt
d
=
dt
g
D'
gt
g
(2
gtt
.
g
Si se considera un fotn que inicialmente est en la ergosfra, re = M +

se toma la mtrica de Kerr (6.1), se tiene
gtt |r=re
gt |r=re
g |r=re
= 0
(6.83)
M 2 a2 cos2 , y
(6.84)
= a sin
.
= 2 sin2 M re + a2 sin2 ,
2
(6.85)
(6.86)
y con ello, la velocidad del fotn resulta ser
,
+
d ++
=
dt +r=re
a
M re +a2 sin2
(6.87)
La primera solucin corresponde a un fotn que se mueve inicialmente en la misma direccin

de la rotacin del agujero (ya que tiene el mismo signo de a), mientras que la segunda solucin
corresponde a un fotn que inicialmente se mueve en la direccin opuesta, y como se puede
observar, este fotn no se mueve. Por esta razn podemos concluir que ninguna partcula con
masa puede escapar de la rotacin del agujero negro a partir de la ergosfra y por lo tanto es
obligada a moverse en la misma direccin. A este efecto se le denomina arrastre de los sistemas
inerciales.
6.4.7.
Cantidades Conservadas
Como ya se dijo, en la variedad de Kerr existen dos vectores de Killing, y , y por lo tanto
existirn dos cantidades conservadas. Para encontrar estas cantiades, recordamos que para una
particula masiva, el 4-momentum viene dado por (1.48),
p = m
dx
g .
d
(6.88)

Al tomar el vector de Killing =
por unidad de masa,
107
t ,
la cantidad conservada asociada corresponde a la energa
E = p = t pt = m
dx
gt .
d
(6.89)
Utilizando la metrica de Kerr, (6.1), se tiene

E = m
E=
'
a2 sin2
5
dt
d
gtt m gt
d
d
=
)
*>
2a sin2 r2 + a2
d
dt
m
m
+
d
5
d
(6.90)
(6.91)
Ejercicio
Muestre que al tomar el vector de Killing, la cantidad conservada asociada es el momento angular
por unidad masa,
=)
>
)
*>
*
2a sin2 r2 + a2
r2 + a2 a2 sin2
dt
d
L=
m
+
sin2 m .
5
d
5
d
=
6.4.8.
(6.92)
El Proceso de Penrose
En la definicin de la energa en la ecuacin (6.89) se utiliza un signo menos debido a que en

la regin asintticamente plana, tanto el vector de Killing como el 4-momentum son vectores
como-de-tiempo y por ello su producto interno es negativo. Sin embargo, ya se ha demostrado
que dentro de la ergosfra el vector cambia su carcter para convertirse den un vector comode-espacio. De esta forma, en la ergoregin se tiene una energa negativa,
E = p < 0.
(6.93)
Este cambio de signo en E permite definir un proceso de extraccin de energa del agujero
negro de Kerr, el cual se denomina proceso de Penrose. Para comprenderlo, consideremos un
sistema compuesto de dos partculas que se dirigen hacia el agujero negro partiendo de la regin
exterior de la ergosfra. Si p es el 4-momentum inicial del sistema, la energa inicial es positiva
y viene dada por
E o = po .
(6.94)
Cuando el sistema esta cerca de la ergosfra, las dos partculas se separan, de tal manera
que una de ellas cae a la ergoregin mientras que la otra escapa al infinito. La conservacin del
4-momentum da como resultado
108
Figura 6.7: Proceso de Penrose para la extraccin de energa a partir de un agujero negro de
Kerr.
po = p1 + p2 ,
(6.95)
donde p1 es el 4-momentum de la partcula que entra en la ergoregin mientras que p2 es el

4-momentum de la partcula que escapa. Contrayendo esta ecuacin con el vector de Killing se
obtiene
Eo = E1 + E2,
(6.96)
donde la energa de la partcula que entra es negativa, E 1 < 0. Por ello, podemos concluir que
la energa de la partcula que escapa es mayor que la energa inicial del sistema,
E2 > Eo,
es decir que se ha extraido energa del agujero negro.
Origen de la Energa Extraida
La energa obtenida a partir del proceso de Penrose proviene del momento angular del agujero
negro. Para comprobarlo, consideramos el vector de Killing
+ = + ,
(6.97)
el cual es nulo (dirigido al futuro) en el horizonte de eventos r = r+ , el cual est ubicado dentro
de la ergosfra. En este horizonte, el 4-momentum de la partcula que entra es como-de-tiempo
o nulo (dirigido al futuro), y por ello el producto interno +

p debe ser negativo o nulo,
+
p 0.
(6.98)
109
Reemplazando el vector + y realizando la contraccin se obtiene la condicin

E L 0,
es decir
(6.99)
E
.
Para la partcula que entra en la ergoregin se tiene entonces
(6.100)
E1
,
y debido a que E 1 < 0 , podemos concluir que su momento angular debe ser negativo,
L1
L1 < 0.
(6.101)
(6.102)
Por esta razn, cuando la partcula entra, el momento angular total del agujero negro disminuye,
de tal forma que se provee la energa extraida en el proceso de Penrose.
Ahora bien, una vez se extrae una cantidad de energa E 1 , el agujero negro alcanza un nuevo
estado de equilibrio en el cual su masa es M + M y su momento angular ser J + J, donde
M
= E1
(6.103)
= L1 .
(6.104)
De esta forma, la ecuacin (6.101) ser

M
.
Utilizando la ecuacin (6.70) para la velocidad angular del agujero, se obtiene

J
5
6
2M M 2 + M 4 J 2 M
J
(6.105)
(6.106)
Ejercicio
Compruebe que la ecuacin (6.106) es equivalente a la condicin
5
6
"
M 2 + M 4 J 2 0.
(6.107)
La ecuacin (6.107) muestra que la extraccin de energa por el proceso de Penrose solo es
posible mientras que la cantidad M 2 + M 4 J 2 no disminuya. Ahora bien, esta cantidad esta
relacionada con el horizonte de eventos, como se comprueba mas adelante.
110
rea del horizonte de eventos

Para calcular el rea del horiozonte de eventos debemos recordar que el elemento de volumen
generalizado se se obtiene mediante
dV =
"
|g|dn x,
(6.108)
donde g es el determinante de la mtrica y n es la dimensin de la variedad. Si se considera una

hipersuperficie de la variedad de Kerr, en coordenadas de Boyer-Lindquist, con t = constante y
r = r+ , el volumen generalizado depende nicamente de las coordenadas y , y corresponde al
rea del horizonte de eventos,
A=
A=
$C
%
|g g |
dd
(6.109)
r=r+
*
2
r+
+ a2 sin dd
) 2
*
A = 4 r+
+ a2 .
(6.110)
(6.111)
Utilizando el valor de r+ se obtiene finalmente el rea del horizonte de eventos,

5
6
"
A = 8 M 2 + M 4 J 2 .
(6.112)
A 0,
(6.113)
De esta forma, la ecuacin (6.107), que limita la extraccin de energa se puede rescribir como
es decir que el proceso de Penrose solo permite obtener energa mientras que el rea del horizonte
de eventos del agujero negro no disminuya. Como se comprobar ms adelante, la ecuacin (6.113)
es un caso especial de la segunda ley de la mecnica de agujeros negros.
6.5.
Caso 3 de Kerr: M = a
Para la mtrica de Kerr extrema, M = a, se tiene r+ = r = M y por ello

= (r M )2 .
(6.114)
Con el fin de estudiar la estructura de esta variedad, se definen las coordenadas de EddingtonFinkelstein,
6.5. CASO 3 DE KERR: M = A
111
dv = dt +
r2 + M 2
(6.115)
dr
(r M )2
M
d = d +
dr.
(r M )2
(6.116)
Ejercicio
Compruebe que la mtrica extrema de Kerr en coordenadas de Eddington-Finkelstein (v, , , )
es
r2 2M r + M 2 cos2 2
4M 2 r sin2
dv + 2dvdr
dvd
5
5
) 2
*2
r + M 2 (r M )2 M 2 sin2
2
2
2M sin drd + 5d +
sin2 d2 . (6.117)
5
ds2 =
De esta expresin se observa que los vectores =
6.5.1.
y=
son vectores de Killing.
Horizonte de Killing
La hipersuperficie r = M en la mtrica de Kerr extrema es un horizonte de Killing degenerado,

= 0, correspondiente al vector
= + ,
(6.118)
donde la velocidad angular es esta vez

=
a
1
=
.
2
2M
2M
(6.119)
Para comprobarlo consideramos la familia de hipersuperficies = r M , cuyo vector normal

est dado por
n = N g
= N [g rr r + g rv v + g r ] .
A partir de la mtrica (6.117) se tiene que
(6.120)
(6.121)
112
M 2 sin2
.
g v = M
.
)2
g rr = (rM
.
2
g = csc.
g vv =
g vr =
g r =
g =
M 2 +r2
.
M
.
1
.
(6.122)

=
>
' 2
(
(r M )2
r + M2
M
n = N
r +
v +
5
5
5
6
)
*
N5
=
(r M )2 r + r2 + M 2 v + M .
5
(6.123)
(6.124)
n2 = g n n
(6.125)
= gvv nv nv + g n n + 2gvr nv nr + 2gv nv n + 2gr nr n
n2 =
N2
.2
(6.126)
= '
) 2
*2
(
*
r + M 2 (r M )2 M 2 sin2 2 2
r2 2M r + M 2 cos2 ) 2
2 2
r +M
+
M sin
5
5
%
* 4M 2 r sin2 ) 2
*
2) 2
2
2
2
2
2
+2 (r M ) r + M
r + M M 2M (r M ) sin
(6.127)
5
y al evaluarla en la hipersuperficie r = M , es decir = 0, se tiene

+
n2 +r=M = 0,
(6.128)
con lo cual se muestra que esta hipersuperficie es nula. Ahora bien, al evaluar el vector normal
en r = M se obtiene
n|r=M
.
N
2M 2 v + M
2
2
+ a cos
'
($
%
2M 2
1
= N
v +
,
M 2 + a2 cos2
2M
=
M2
(6.129)
(6.130)
es decir
n|r=M = N
'
2M 2
M 2 + a2 cos2
(6.131)
y como ya sabemos, es posible escoger la funcin N de tal manera que n n = 0. De esta

forma, se demostr que el vector normal es el vector de Killing y con ello, las hipersuperficies
6.5. CASO 3 DE KERR: M = A
113
r = M son horizontes de Killing.

Ejercicio
Muestre que para el vector de Killing = + se tiene
|r=M = 0,
(6.132)
es decir que la gravedad superficial para el horizonte r = M es cero ( = 0).
6.5.2.
El diagrama de Carter-Penrose para el caso extremo de Kerr es similar al obtenido para el

Caso 2 analizado antes, pero la regin II de ese diagrama desaparece ya que solamente existe un
horizonte. Por ello, la regin asintticamente plana exterior (regin I) se conecta directamente
con la regin interior que contiene la singularidad esencial 5 = 0, la cual tiene forma de anillo,
x2 + y 2 = a en coordenadas de Kerr-Schild. De esta forma, la singularidad 5 = 0 aparece en
el corte ecuatorial, = 2 , pero no existe en el corte axial, = 0. Es importante notar que
esta singularidad es como-de-tiempo, por lo cual el horizonte de eventos r = M es tambin
un horizonte de Cauchy y por lo tanto esta extensin analtica maximal no sea globalmente
hiperblica..
Al unir los diagramas correspondeintes a cada corte angular en una sola representacin, se
obtiene la Figura 6.8, donde la lnea punteada representa la singularidad 5 = 0 . Ntese que el
diagrama se extiende infinitamente en ambas direcciones.
114
Figura 6.8: Diagrama de Carter-Penrose para la variedad de Kerr con M = a.
ndice alfabtico
carga conservada, 11
Lema del Vector de Killing, 11
Reissner-Nordstrm, 69
vector de Killing, 10
115
116
NDICE ALFABTICO
Bibliografa
[1] S. Winitzki. Advanced General Relativity. Disponible en http://www.theorie.physik.unimuenchen.de/~serge/T7/
[2] C. Misner, K. Thorne and J. Wheeler. Gravitation. W.H. Freeman and Co. San Francisco.1973
[3] P.K. Townsend. Black Holes. Lecture Notes. Cambridge University. U.K. 1997.
117

Agujeros Clasicos

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Agujeros Clasicos

Cargado por

Copyright:

Formatos disponibles

Agujeros Negros Clasicos

Eduard Alexis Larraaga R.

1.1. Geodsicas y Parametrizacin Afn . . . . . . . . . . . . . . . . . . . . . . . . . .

1.1.1. Partculas con Masa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.1.2. Partculas sin Masa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.2. Campos Vectoriales de Killing . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.2.1. Lema del Vector de Killing . . . . . . . . . . . . . . . . . . . . . . . . . .

1.2.2. Cargas Conservadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.3. Simetras del Espacio-Tiempo . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.3.1. Espacio-Tiempo Estacionario . . . . . . . . . . . . . . . . . . . . . . . . .

1.3.2. Espacio-Tiempo Esttico . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.3.3. Espacio-Tiempo Axialmente Simtrico . . . . . . . . . . . . . . . . . . . .

1.3.4. Espacio-Tiempo Esfricamente Simtrico . . . . . . . . . . . . . . . . . . .

2. Agujero Negro de Schwarzschild

2.1. La Mtrica de Schwarzschild . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.1.1. Estructura Causal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.1.2. Vectores de Killing y Cantidades Conservadas

2.2. Coordenadas de Eddington-Finkelstein . . . . . . . . . . . . . . . . . . . . . . . .

2.2.1. Coordenadas de E-F entrantes

2.2.2. Coordenadas de E-F salientes . . . . . . . . . . . . . . . . . . . . . . . . .

2.3. Coordenadas de Kruskal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.3.1. Vector de Killing como-de-tiempo en la Variedad de Kruskal . . . . . . . .

2.4. Coordenadas Isotrpicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.4.1. Agujeros de Gusano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.5. Espacio-Tiempo de Rindler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.6. Diagramas de Carter-Penrose . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.6.1. Espacio-Tiempo de Minkowski . . . . . . . . . . . . . . . . . . . . . . . .

2.6.2. Espacio-Tiempo de Rindler . . . . . . . . . . . . . . . . . . . . . . . . . .

2.6.3. Espacio-Tiempo de Kruskal . . . . . . . . . . . . . . . . . . . . . . . . . .

3.1. Hipersuperficies Nulas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

3.2. Horizontes de Killing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

3.2.1. Gravedad Superficial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

3.2.2. Esfra de Bifurcacin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

3.2.3. Horizontes de Aceleracin . . . . . . . . . . . . . . . . . . . . . . . . . . .

3.2.4. Horizontes de Aceleracin y Gravedad Superficial . . . . . . . . . . . . . .

3.3. Horizontes de Eventos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

3.3.1. Espacio-tiempo Asintticamente Simple . . . . . . . . . . . . . . . . . . .

3.3.2. Espacio-tiempo Dbil Asintticamente Simple

3.3.3. Espacio-tiempo Asintticamente Vacio . . . . . . . . . . . . . . . . . . . .

3.3.4. Espacio-tiempo Asintticamente Plano . . . . . . . . . . . . . . . . . . . .

3.3.5. Curva Causal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

3.3.6. Pasado Causal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

3.3.7. Futuro Causal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

3.3.8. Horizonte de Eventos Futuro . . . . . . . . . . . . . . . . . . . . . . . . .

3.3.9. Horizonte de Eventos Pasado . . . . . . . . . . . . . . . . . . . . . . . . .

3.4. Horizontes de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

3.4.1. Superficie Parcial de Cauchy

3.4.2. Curva Causal Inextendible al Pasado . . . . . . . . . . . . . . . . . . . . .

3.4.3. Curva Causal Inextendible al Futuro . . . . . . . . . . . . . . . . . . . . .

3.4.4. Dominio Futuro de Dependencia . . . . . . . . . . . . . . . . . . . . . . .

3.4.5. Dominio Pasado de Dependencia . . . . . . . . . . . . . . . . . . . . . . .

3.4.6. Superficie de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

3.4.7. Globalidad Hiperblica . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

3.4.8. Horizonte de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

4.1. Componentes de Vectores y Tensores . . . . . . . . . . . . . . . . . . . . . . . . .

4.2. Derivada Intrnseca . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

4.3. Clculo de los Coeficientes de Rotacin de Ricci . . . . . . . . . . . . . . . . . . .

4.4. Tensor de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

5. Agujero Negro de Reissner-Nordstrm

5.1. Solucion de las Ecuaciones de Campo . . . . . . . . . . . . . . . . . . . . . . . . .

5.2. Casos 1 de Reissner-Nordstrm: M < |Q|

5.3. Caso 2 de Reissner-Nordstrm: M > |Q| . . . . . . . . . . . . . . . . . . . . . . .

5.3.1. Coordenadas de Eddington-Finkelstein . . . . . . . . . . . . . . . . . . . .

5.3.2. Horizontes de Killing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .