Agujero S Clasicos

Agujeros Negros Clasicos
Eduard Alexis Larraaga R.

28 de agosto de 2008
2
ndice general
1. Preliminares 7
1.1. Geodsicas y Parametrizacin Afn . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.1.1. Partculas con Masa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.1.2. Partculas sin Masa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.2. Campos Vectoriales de Killing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
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
3
4 NDICE GENERAL
3. Hipersupercies 41
3.1. Hipersupercies Nulas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
3.2. Horizontes de Killing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
3.2.1. Gravedad Supercial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
3.2.2. Esfra de Bifurcacin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
3.2.3. Horizontes de Aceleracin . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
3.2.4. Horizontes de Aceleracin y Gravedad Supercial . . . . . . . . . . . . . . 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. Supercie 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. Supercie 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 Coecientes 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
5.3.3. Coordenadas de Kruskal-Szekeres . . . . . . . . . . . . . . . . . . . . . . . 77
5.3.4. Diagrama de Kruskal. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
5.3.5. Diagrama de Carter-Penrose . . . . . . . . . . . . . . . . . . . . . . . . . . 80
5.3.6. Causalidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
5.3.7. Coordenadas Isotrpicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84
5.4. Caso 3 de Reissner-Nordstrm: M = |Q| . . . . . . . . . . . . . . . . . . . . . . . 85
5.4.2. Horizonte de Killing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
5.4.3. Diagrama de Kruskal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
6. Agujero Negro de Kerr 91
6.1. La familia de Kerr-Newman . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
6.2. Agujero Negro de Kerr . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
6.3. Caso 1 de Kerr: M < a . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
6.3.1. Coordenadas de Kerr-Schild . . . . . . . . . . . . . . . . . . . . . . . . . . 93
6.3.3. Estructura Causal cerca de la Singularidad . . . . . . . . . . . . . . . . . 97
6.4. Caso 2 de Kerr: M > a . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
6.4.2. Horizontes de Killing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
6.4.4. Velocidad Angular del Agujero Negro . . . . . . . . . . . . . . . . . . . . . 103
6.4.5. La Ergosfra . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104
6.4.6. Arrastre de Sistemas Inerciales . . . . . . . . . . . . . . . . . . . . . . . . 105
6.4.7. Cantidades Conservadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 106
6.4.8. El Proceso de Penrose . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
6.5. Caso 3 de Kerr: M = a . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 110
6.5.1. Horizonte de Killing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111
6 NDICE GENERAL
Captulo 1
Preliminares
1.1. Geodsicas y Parametrizacin Afn
1.1.1. 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
_
B
A
d. (1.1)
Ya que el tiempo propio esta relacionado con el elemento de lnea, podemos escribir
d =
_
ds
2
=
_
g
dx
dx
(1.2)
=
_
g
dx
d
dx
d
d, (1.3)
donde es un parmetro arbitrario para la curva C. De esta forma, la accin ser
S = m
_

B
A
_
g
dx
d
dx
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
x()
= 0. (1.5)
1.1.2. 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
8 CAPTULO 1. PRELIMINARES
S =
1
2
_

B
A
_
g
dx
d
dx
d
e
1
() m
2
e ()
_
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 identicar la lagrangiana en (1.6)
como
L =
1
2
_
g
dx
d
dx
d
e
1
() m
2
e ()
_
. (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
e
=
1
2
_

B
A
_
g
dx
d
dx
d
e
2
() m
2
_
d = 0, (1.8)
es decir
e =
1
m
_
g
dx
d
dx
d
=
1
e
d
d
. (1.9)
Por otro lado, al realizar una variacin en x
se tiene
x
+ x
(1.10)
g
+ x
, (1.11)
y por lo tanto la accion transformar de acuerdo con
S
1
2
_

B
A
_
(g
+ x
)
d (x
+ x
)
d
d (x
+ x
)
d
e
1
m
2
e
_
d (1.12)
S S + S, (1.13)
donde
S =
1
2
_
A
de
1
_
g
_
2
dx
d
d (x
)
d
+
d (x
)
d
d (x
)
d
_
(1.14)
+x
_
dx
d
dx
d
+ 2
dx
d
d (x
)
d
__
+ t.o.s. (1.15)
1.2. CAMPOS VECTORIALES DE KILLING 9
Ejercicio
Mostrar que la condicin S = 0 implica
dx
_
dx
d
_
= e
1
de
d
dx
d
, (1.16)
donde
dx
_
dx
d
_
=
d
2
x
d
2
+
dx
d
dx
d
. (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
d
2
x
d
2
+
dx
d
dx
d
= 0. (1.18)
1.2. Campos Vectoriales de Killing
Si se realiza la transformacin
x
, (1.19)
el tensor mtrico transformar mediante
g
+ x
= g
. (1.20)
De esta forma, la accin de la partcula transforma como
S
1
2
_

B
A
_
(g
)
d (x
)
d
d (x
)
d
e
1
m
2
e
_
d (1.21)
S S + S, (1.22)
donde
S =

2
_

B
A
de
1
_
g
dx
d
d
d
+g
d
dx
d
+
dx
d
dx
d
_
+O
_
2
_
. (1.23)
Esta relacin se puede escribir como
S =

2
_

B
A
de
1
_
g
dx
d
d
dx
dx
d
+g
dx
dx
d
dx
d
+
dx
d
dx
d
_
+O
_
2
_
, (1.24)
o renombrando algunos indices mudos,
S =

2
_

B
A
de
1
_
g
dx
+g
dx
_
dx
d
dx
d
+O
_
2
_
. (1.25)
La cantidad entre parntesis corresponde a la derivada de Lie del tensor mtrico a lo largo
del campo vectorial
+g
dx
+g
dx
. (1.26)
Si se utiliza la conexin compatible con la mtrica, (
= 0), la anterior expresin se puede

escribir de forma covariante como
= 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
= 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.30)
1.2.1. Lema del Vector de Killing
La denicin del tensor de Riemann implica que para cualquier vector A
, en una variedad
sin torisn, se satisface
[
] A
= R
. (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 denicin del tensor de Riemann en los dos ltimos trminos,
R
+R
+R
(1.37)
=
+R
+R
]
(1.38)
= [
+R
+R
(1.39)
= R
+R
+R
. (1.40)
Es decir que
= R
(1.41)
Debido a las simetras del tensor de Riemann tenemos
= R
, (1.42)
y utilizando la identidad
R
+R
+R
= 0, (1.43)
obtenemos nalmente 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
Q =
(1.45)
donde el 4-momentum p
se puede encontrar en trminos de la lagrangiana dada por (1.7)

mediante
p
=
L
_
dx
d
_ (1.46)
= e
1
dx
d
g
, (1.47)
o utilizando (1.9) para el caso de particulas con masa,
p
= m
dx
d
g
. (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
d
= 0. (1.49)
1.3. Simetras del Espacio-Tiempo
Los diferentes espacios-tiempo que se trabajarn pueden clasicarse de acuerdo con sus pro-
piedades de simetra. Primero deniremos que un espacio-tiempo asintticamente plano es aquel
que se vuelve progresivamente Minkowskiano cuando nos acercamos al innito, r . Sin
embargo, una denicin ms rigurosa de esta propiedad se dar en un captulo posterior. Basn-
donos en esto, realizaremos las siguientes deniciones.
1.3.1. Espacio-Tiempo Estacionario
Se dice que un espacio-tiempo asintticamente plano es estacionario si existe un campo vecto-
rial de Killing , que sea como-de-tiempo cerca de . Adems, este vector puede ser normalizado
naturalmente en el innito, de tal forma que
2
1 para r .
Si t es una coordenada temporal, el vector se puede escribir (fuera de un posible horizonte)
como =

t
. As, la forma general para una mtrica estacionaria en estas coordenadas es
ds
2
= g
tt
(x) dt
2
+ 2g
ti
(x) dtdx
i
+g
ij
(x) dx
i
dx
j
. (1.50)
1.3. SIMETRAS DEL ESPACIO-TIEMPO 13
1.3.2. 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 g
ti
= 0, por lo que la mtrica general para un espacio-tiempo esttico, fuera de un posible
horizonte, es
ds
2
= g
tt
(x) dt
2
+g
ij
(x) dx
i
dx
j
. (1.51)
1.3.3. Espacio-Tiempo Axialmente Simtrico
Un espacio-tiempo asintticamente plano se denomina axialmente simtrico si existe un cam-
po 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 identique mdulo 2. Al igual que en el caso de los vectores de Killing
como-de-tiempo, los vectores como-de-espacio normalizarse en el , exigiendo que

2
r
2
1 para
r .
1.3.4. Espacio-Tiempo Esfricamente Simtrico
Un espacio-tiempo se denomina esfricamente simtrico si posee tres vectores de Killing
(k
1
, k
2
, k
3
) que satisfacen las relaciones de conmutacin del grupo de rotaciones en tres dimen-
siones SO(3), es decir
[k
1
, k
2
] = k
3
(1.53)
[k
2
, k
3
] = k
1
(1.54)
[k
3
, k
1
] = k
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
ds
2
= g
bb
(b, r) db
2
+ 2g
br
(b, r) dbdr +g
rr
(b, r) dr
2
+r
2
d
2
. (1.58)
Por ltimo, podemos realizar un cambio de las coordenadas (b, r) a las coordenadas (t, r) para
que no existan trminos cruzados, deniendo una funcin t (b, r). El diferencial de esta funcin
es
dt =
t
b
db +
t
r
dr (1.59)
y por ello
dt
2
=
_
t
b
_
2
db
2
+ 2
t
b
t
r
dbdr +
_
t
r
_
2
dr
2
. (1.60)
Con ello, el elemento de lnea se puede escribir en la forma ms simple
ds
2
= (t, r) dt
2
+ (t, r) dr
2
+r
2
d
2
, (1.61)
donde las funciones y estn denidas por las relaciones
_
t
b
_
2
= g
bb
(1.62)
t
b
t
r
= g
br
(1.63)
+
_
t
r
_
2
= g
rr
. (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),
ds
2
= (t, r) dt
2
+ (t, r) dr
2
+r
2
d
2
. (2.1)
Su elemento de linea puede escribirse como
ds
2
=
_
1
2M
r
_
dt
2
+
_
1
2M
r
_
1
dr
2
+r
2
d
2
, (2.2)
donde
d
2
= d
2
+ sind
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
dr
=
1
_
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 45
o
como en el espacio-tiempo de Minkowski (para
r ,
dt
dr
= 1). Por otro lado, al acercarnos a la supercie 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 supercie r = 2M de Schwarzschild.
una pendiente cada vez ms grande (para r 2M,
dt
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
=

t
(2.5)
y
=

(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 =
=
t
p
t
(2.8)
2.2. COORDENADAS DE EDDINGTON-FINKELSTEIN 17
= mg
tt
dt
d
(2.9)
= m
_
1
2M
r
_
dt
d
(2.10)
= m, (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 =
(2.12)
= mg
d
d
(2.13)
= mr
2
sin
2
d
d
(2.14)
= ml, (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 denidas por la condicin
dt
2
=
dr
2
_
1
2M
r
_
2
. (2.16)
Ahora bien, si se dene una nueva coordenada radial
dr
=
dr
2
_
1
2M
r
_
2
, (2.17)
las geodsicas radiales nulas estarn denidas 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
= r + 2M ln
r 2M
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
< .
2.2.1. Coordenadas de E-F entrantes
Debido a la denicin de las geodesicas radiales nulas mediante la ecuacin (2.18), es natural
denir 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
ds
2
=
_
1
2M
r
_
dv
2
+ 2dvdr +r
2
d
2
. (2.21)
Es importante notar que bajo este cambio de coordenadas, la supercie 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 = r
4
sin
2
. (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
2dvdr =
_
ds
2
_
1
2M
r
_
dv
2
+r
2
d
2
_
. (2.24)
2.2. COORDENADAS DE EDDINGTON-FINKELSTEIN 19
Figura 2.2: Conos de luz lejos y cerca de la supercie r = 2M en coordenadas de Eddington-
Finkelstein entrantes.
Para trayectorias como-de-luz o como-de-tiempo se tiene ds
2
0, es decir que
2dvdr 0. (2.25)
Debido a la denicin 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 supercie r = 2M actua entonces como un punto de no retorno, ya que cualquier partcula
que entre dentro de esta supercie no puede volver a salir. Ya que es imposible ver dentro de
este objeto, se le denomina usualmente como agujero negro y a su supercie se le llama horizonte
de eventos, ya que ningun evento que suceda dentro de l puede afectar la regin exterior. Una
denicin ms rigurosa de este tipo de supercies 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 supercie r = 2M,
mientras que las dirigidas al pasado no pueden. Por esta razn utilizaremos de nuevo la denicin
de las geodesicas radiales nulas (2.18), para denir 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
ds
2
=
_
1
2M
r
_
du
2
2dudr +r
2
d
2
. (2.27)
Figura 2.3: Conos de luz lejos y cerca de la supercie r = 2M en coordenadas de Eddington-
Finkelstein salientes.
De nuevo, la supercie 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
2
1
2M
r
. (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
2dudr = ds
2
_
1
2M
r
_
du
2
+r
2
d
2
. (2.29)
Si se consideran trayectorias como-de-luz o como-de-tiempo se tiene ds
2
0, es decir que
2dudr 0. (2.30)
Debido a la denicin 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 deniciones de las coordenadas de Eddington-Finkelstein, al mantener v cons-
tante 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 Eddington-
Finkelstein entrantes como salientes, podemos escribir la mtrica de Schwarzschild en las coor-
denadas (u, v, , ),
ds
2
=
_
1
2M
r
_
dvdu +r
2
d
2
(2.31)
donde r est denido implictamente mediante
1
2
(v u) = r
= r + 2M ln
2M r
2M
. (2.32)
En este caso, la supercie r = 2M esta de nuevo a una distancia innita, ya sea en v =
o en u = . Por esta razon se realizar un cambio de coordenadas que traiga esta supercie a
una distancia nita. Uno de los posibles cambios son la llamadas coordenadas de Kruskal,
V = e
v/4M
(2.33)
U = e
u/4M
(2.34)
o en trminos de nuestras coordenadas originales,
V =
_
r 2M
2M
_
1/2
e
(r+t)/4M
(2.35)
U =
_
r 2M
2M
_
1/2
e
(rt)/4M
. (2.36)
Figura 2.4: Diagrama de Kruskal.
Ejercicio
Mostrar que en el sistema de coordenadas (V, U, , ) el elemento de lnea de Schwarzschild es
ds
2
=
32M
3
r
e
r/2M
dV dU +r
2
d
2
(2.37)
donde r est denido implcitamente por
UV =
_
r 2M
2M
_
e
r/2M
. (2.38)
Debido a la denicin 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 45
o
.
Utilizando la ecuacin (2.38) se puede observar que las curvas con r constante corresponden
a las hiprbolas V U = constante, la superce r = 2M corresponde al conjunto UV = 0, es decir
{U = 0} {V = 0}, mientras que la singularidad r = 0 corresponde a las hiperbolas UV = 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
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 continua-
cin 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 supercie 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
U
= e
t/2M
, (2.39)
la cual permite denir las hipersupercies de t = constante, las cuales corresponden a lineas
rectas como se puede observar en la Figura 2.5. Estas hipersupercies permiten observar que la
variedad de Kruskal posee la isometra (U, V ) (U, V ), es decir que la regin IV corres-
ponde al inverso temporal de la regin I. Esta isometra posee un punto jo, o en este caso, una
hipersupercie ja dada por {U = 0} {V = 0}, es decir la hipersupercie 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 deniremos
T =
1
2
(V U) (2.40)
X =
1
2
(V +U) , (2.41)
o en trminos de las coordenadas originales,
T =
_
r 2M
2M
_
1/2
e
r/4M
cosh
_
t
4M
_
(2.42)
X =
_
r 2M
2M
_
1/2
e
r/4M
sinh
_
t
4M
_
. (2.43)
En las coordenas (T, X, , ) el elemento de linea es
ds
2
=
32M
3
r
e
r/2M
_
dT
2
+dX
2
+r
2
d
2
, (2.44)
X
2
T
2
=
_
r 2M
2M
_
e
r/2M
. (2.45)
En estas coordenadas, las curvas radiales nulas estn dadas por la relacin
T = X +cte, (2.46)
mientras que la supercie r = 2M correponde a
Figura 2.6: Diagrama de Kruskal en coordenadas T, X.
T = X. (2.47)
Ahora bien, las supercies de r constante corresponden a las hiperbolas
X
2
T
2
= cte, (2.48)
mientras que las supercies con t constante corresponden a lneas rectas,
X
T
= tanh
_
t
4M
_
. (2.49)
2.3.1. 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 Ue
k/4M
(2.51)
V V e
k/4M
. (2.52)
Ejercicio
Mostrar que la mtrica de Kruskal es invariante bajo esta translacin temporal.
Figura 2.7: Diagrama de Kruskal y vectores de Killing
La versin innitesimal de la translacin temporal corresponde a
U
k
4M
U (2.53)
V
k
4M
V, (2.54)
la cual puede verse como una transformacin generada por el vector de Killing
=
1
4M
_
V

V
U

U
_
. (2.55)
Ejercicio
Mostrar que la norma del vector de Killing es
2
=
_
1
2M
r
_
. (2.56)
El valor de
2
nos muestra queel vector es como-de-tiempo en las regiones I y IV, como-
de-espacio en las regiones II y III y es un vector nulo en la hipersupercie r = 2M, es decir en el
conjunto {U = 0} {V = 0}. Adems, se puede observar que {U = 0} y {V = 0}son conjuntos
jos de este vector de Killing, mientras que la 2-esfra {U = V = 0} es un punto jo 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 denida por
r =
_
1 +
M
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 Schwarzs-
child es
ds
2
=
_
1
M
2
_
2
_
1 +
M
2
_
2
dt +
_
1 +
M
2
_
4
_
d
2
+
2
d
2
. (2.60)
Notese que en coordenadas isotrpicas, las hipersupercies de t = constante son conforme-
mente planas, ya que la parte espacial
d
2
+
2
d
2
(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

M
2
4
, (2.62)
la cual tiene un punto jo 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
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 hipersupercies t = constante se obtienen 2-esfras de radios que disminuyen
hasta r = 2M ( =
M
2
), pero no menores. Por ello =
M
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 supercies 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 asint-
ticamente 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
Deniremos ahora una nueva coordenada espacial x mediante
r 2M =
x
2
8M
. (2.63)
Por lo tanto podemos hacer
dr
2
=
_
x
4M
_
2
dx
2
(2.64)
y cerca del horizonte de eventos (r = 2M ; x = 0) tenemos
1
2M
r
=
_
x
4M
_
2
1 +
_
x
4M
_
2

_
x
4M
_
2
. (2.65)
De esta manera la mtrica de Schwarzschild cerca del horizonte de eventos se puede escribir como
ds
2

_
x
4M
_
2
dt
2
+dx
2
+ (2M)
2
d
2
. (2.66)
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,
ds
2
R
=
_
x
4M
_
2
dt
2
+dx
2
. (2.67)
Esta mtrica posee una singularidad coordenada en x = 0, y por ello esta denida nicamente
para valores x > 0. Si se introduce un conjunto de coordenadas similares a las de Kruskal,
V
= xe
xt
(2.68)
U
= xe
xt
, (2.69)
la mtrica de Rindler se convierte en
ds
2
R
= dV
dU
, (2.70)
donde los rangos de las nuevas coordenadas son
V
> 0 (2.71)
U
< 0. (2.72)
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 denimos una nueva coordenada temporal T
y una espacial X
mediante
V
= T
+X
(2.73)
U
= T
, (2.74)
2.6. DIAGRAMAS DE CARTER-PENROSE 31
la mtrica de Rindler se convierte en
ds
2
R
= 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 =

t
es
=
1
4M
_
V
_
(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 innito 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 innito.
A este tipo de transformacin se le denomina compacticacin conforme y matemticamente
corresponde a realizar
ds
2
d s
2
=
2
(x
) ds
2
, (2.77)
donde la funcin (x
) = 0 se escoge de tal forma que todos los puntos del innito se ubiquen
a una distancia nita en la nueva mtrica. Esta condicin implica que debe satisfacer
0 (2.78)
cuando x
i
(innito espacial) o cuando x
0
= t (innito temporal). Para comprender
como funciona esta tcnica tomaremos como primer ejemplo la variedad de Minkowski y la de
Rindler, para luego realizar la compacticacin de Kruskal.
2.6.1. Espacio-Tiempo de Minkowski
El espacio de Minkowski en coordenadas polares se puede escribir como
ds
2
= dt
2
+dr
2
+r
2
d
2
, (2.79)
donde las coordenadas t y r tienen los rangos
< t < (2.80)
0 r < . (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
ds
2
= dvdu +
(u v)
2
4
d
2
. (2.84)
Los rangos de las nuevas coordenas son
< v < (2.85)
< u < , (2.86)
y adems u v, ya que r =
1
2
(v u) 0.
El siguiente paso para realizar la compacticacin conforme es un cambio de coordenadas
que traiga el innito a un valor nito en las nuevas coordenadas. La eleccin usual para este
cambio es
v = tanV (2.87)
u = tanU, (2.88)
ya que estas funciones hacen que los innitos 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
2
< V <

2
(2.89)
2
< U <

2
, (2.90)
Figura 2.13: Relacin entre las variables utilizadas para la compacticacin 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
ds
2
=
1
(2 cos V cos U)
2
_
4dV dU + sin
2
(V U) d
2
. (2.91)
Si escogemos la funcin
= 2 cos V cos U, (2.92)
se puede comprobar que
0 (2.93)
cuando |V |

2
o cuando |U|

2
, es decir cuando se va al innito en las coordenadas
originales (r, t, , ). Adems, ya que esta funcin multiplica al resto de factores, podemos denir
la mtrica compacticada mediante
d s
2
=
2
ds
2
= 4dV dU + sin
2
(V U) d
2
. (2.94)
De esta forma, el espacio de Minkowski ha quedado inmerso conformemente dentro del
espacio-tiempo denido por d s, el cual tiene una frontera denida por = 0. Finalmente pode-
mos realizar un ltimo cambio a una coordenada temporal y una coordenada radial denidas
por
Figura 2.14: Compacticacin conforme del espacio-tiempo de Minkowski.
= V +U (2.95)
= V U, (2.96)
cuyos rangos sern
< < (2.97)
0 < . (2.98)
El elemento de lnea es ahora
d s
2
=
2
ds
2
= d
2
+d
2
+ sin
2
d
2
, (2.99)
donde
= 2 cos V cos U = cos + cos . (2.100)
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 uido 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, denido 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
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 Carter-
Penrose que consiste en un triangulo que representa la variedad de Minkowski junto con los
puntos de su innito conforme (frontera del diagrama) y en el cual cada punto es de nuevo una
2-esfra.
El innito agregado al espacio de Minkowski mediante la compacticacin conforme puede
dividirse en cinco regiones, como se muestra en la siguiente tabla.
(, ) (V, U) (v, u) (t, r)
io
innito espacial
_
= 0
=
_
V =

2
U =
2
_
v
u
_
t nito
r
i
+
innito temporal futuro
_
=
= 0
_
V =

2
U =

2
_
v
u
_
t
r nito
i
innito temporal pasado

_
=
= 0
_
V =
2
U =
2
_
v
u
_
t
r nito
I
+
innito nulo futuro
_
=
0 < <
_
V =

2
2
< U <

2
_
v
u nito
_
_
t
r
r t nito
I
innito nulo pasado

_
= +
0 < <
_

2
< V <

2
U =
2
_
v nito
u
_
_
t
r
r +t nito
Es importante notar que i
o
, 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 supercies
nulas con topologa RS
2
. En el diagrama de Penrose las geodsicas radiales nulas estn a 45
o
.
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 45
o
. Por otro lado, todas las
geodsicas como-de-espacio comienzan y terminan en i
o
.
2.6.2. Espacio-Tiempo de Rindler
El espacio-tiempo de Rindler tiene el elemento de lnea dado en la ecuacin (2.70)
ds
2
R
= dV
dU
, (2.101)
donde las coordenadas V
y U
tienen los rangos

V
> 0 (2.102)
U
< 0. (2.103)
Para traer el innito a un valor nito de coordenadas realizamos una transformacin similar
a la realizada para Minkowski,
V
= tanV (2.104)
U
= tanU, (2.105)
donde el rango de las nuevas coordenadas puede ser extendido analticamente a
2
< V <

2
(2.106)
2
< U <

2
. (2.107)
El elemento de lnea es ahora
ds
2
R
=
1
(cos V cos U)
2
dV dU, (2.108)
de donde se puede identicar la funcin
= cos V cos U (2.109)
para construir la mtrica conformemente compacticada
Figura 2.16: Diagrama de Carter Penrose para el espacio-tiempo de Rindler.
d s
2
R
=
2
ds
2
R
= dV dU. (2.110)
La mtrica compacticada tiene la misma forma que la dada en (2.101) pero las nuevas coor-
denadas U, V tienen un rango nito. Al igual que en el caso de Minkowski, los puntos del innito
son aquellos para los cuales = 0, es decir los puntos con|V | =

2
o |U| =

2
. Al realizar el dia-
grama de Penrose (Figura 2.16) para esta mtrica tenemos una forma similar a la de Minkowski,
excepto que ahora el innito espacial i
o
tiene dos puntos, ya que por la continuacin analti-
ca existen dos posibilidades (notese que a diferencia de Minkowski, aqui no existe la condicin
U V ).
(V, U)
i
R
o
innito espacial derecha
_
V =

2
U =
2
i
L
o
innito espacial izquierda
_
V =
2
U =

2
2.6.3. Espacio-Tiempo de Kruskal
En coordenadas de Eddington-Finkelstein, (v, u, , ) , el elemento de lnea de Schwarzschild
es
ds
2
=
_
1
2M
r
_
dvdu +r
2
d
2
, (2.111)
donde las coordenadas v y u toman valores en los rangos
< v < (2.112)
< u < . (2.113)
Para realizar la compacticacin, realizaremos el cambio usual,
v = tanV (2.114)
u = tanU, (2.115)
donde las nuevas variables tomarn valores en los rangos
2
< V <

2
(2.116)
2
< U <

2
. (2.117)
De esta forma, el nuevo elemento de lnea es
ds
2
=
1
(2 cos V cos U)
2
_
4
_
1
2M
r
_
dV dU + 4r
2
cos
2
V cos
2
Ud
2
_
. (2.118)
Ahora bien, debido a (2.32), la coordenada de Regge-Wheeler satisface
r
=
1
2
(v u) =
sin(V U)
2 cos V cos U
, (2.119)
con lo que la mtrica se puede escribir como
ds
2
=
1
(2 cos V cos U)
2
_
4
_
1
2M
r
_
dV dU +
_
r
r
_
2
sin
2
(V U) d
2
_
. (2.120)
Con ello, la mtrica compacticada toma una forma similar a los casos anteriores,
d s
2
=
2
ds
2
= 4
_
1
2M
r
_
dV dU +
_
r
r
_
2
sin
2
(V U) d
2
, (2.121)
donde
= 2 cos V cos U. (2.122)
Para dibujar el diagrama de Penrose correspondiente es til notar que esta mtrica es asin-
tticamente plana, es decir que en el innito se convierte en el espacio de Minkowski. Por esta
razn, las fronteras del diagrama, i.e. i
o
y I
, son iguales a las del diagrama minkowskiano. Por

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.
Captulo 3
Hipersupercies
En el espacio-tiempo de 4 dimensiones de la Relatividad General, una hipersupercie 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 hipersupercies

mediante la condicin (x) = constante.
De esta manera, debemos notar que la derivada
va en direccin normal de la hipersu-

percie, ya que la nica direccin en la que cambia la funcin es ortogonalmente a . As, el
vector normal se puede denir en la base coordenada como
n = N (
= Ng
, (3.1)
donde N = N (x
) es una funcin arbitraria que permite volver unitario el vector normal (si la
hipersupercie no es nula en cuyo caso n
2
= 0). De esta manera, la norma de n puede tomar los
valores
n
2
= n
=
_
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 hipersupercie como-de-tiempo o
como-de-espacio se puede escribir como
n
|g
|
1/2
. (3.4)
Cul es el valor de la funcin N?
41
42 CAPTULO 3. HIPERSUPERFICIES
3.1. Hipersupercies Nulas
Si para una hipersupercie N el vector normal satisface
n
2
= 0, (3.5)
se dice que N es una hipersupercie nula. Ya que el vector normal n es ortogonal a s mismo
(n
= 0), entonces n tambin es un vector tangente, y por ello podemos escribirlo como
n
=
dx
d
, (3.6)
para alguna curva nula x
() perteneciente a N. Las curvas x
() son geodsicas, y para com-

probarlo calculamos
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
2
g
) (3.9)
= n
(lnN) n
+Ng
) . (3.10)
Debido a la simetra de de la conexin,
, tenemos
n
= n
(lnN) n
+Ng
) (3.11)
= n
(lnN) n
+Nn
_
N
1
n
_
(3.12)
= n
(lnN) n
+Nn
_
N
1
_
n
+n
(3.13)
= n
(lnN) n
+n
2
(lnN) +
1
2
n
2
. (3.14)
El primer trmino del lado derecho es proporcional a n
, mientras que segundo trmino

depende de n
2
, por lo que al evaluarlo en la hipersupercie nula se cancela, n
2
N
= 0,
n
|
N
= n
(lnN) 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
n
2
y esta no se anula necesariamente en la hipersupercie. Sin embargo, ya que n
2
es constante
sobre la hipersupercie, se cumple que
t
n
2
= 0, (3.16)
3.1. HIPERSUPERFICIES NULAS 43
para cualquier vector tangente t
. Debido a esto, concluimos que
n
2
debe ser proporcional a
t
, y debido a que el vector normal es tambin tangente, debe ser proporcional a n
n
2
n
. (3.17)
De esta forma, al evaluar la ecuacin (3.14) en la hipersupercie tendremos
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
= 0. (3.19)
As, la hipersupercie 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
g
vv
=
_
1
2M
r
_
(3.20)
g
vr
= g
rv
= 1 (3.21)
g
= r
2
(3.22)
g
= r
2
sin
2
. (3.23)
Denimos una familia de hipersupercies esfricas mediante la funcin = r 2M, por lo
cual, los vectores normales a estas hiperupercies son
n = Ng
(3.24)
= N
_
g
vr
r

v
_
(3.25)
= N
v
. (3.26)
La norma de este vector es
n
2
= g
(3.27)
= g
vv
NN (3.28)
=
_
1
2M
r
_
N
2
, (3.29)
con lo que se puede observar fcilmente que el horizonte, r = 2M, es una hipersupercie nula.
Ahora bien, an cuando n
2
se anula en r = 2M, el trmino
n
2
no es cero. Si suponemos que
la funcin N depende de la coordenadas v y r, tenemos
v
n
2
= g
v
n
2
= g
vr
r
n
2
+g
vv
v
n
2
(3.30)
=
2M
r
2
N
2
_
1
2M
r
_
r
N
2
+
_
1
2M
r
_
2
v
N
2
(3.31)
r
n
2
= g
r
n
2
= g
rv
v
n
2
(3.32)
=
_
1
2M
r
_
v
N
2
(3.33)
n
2
=
n
2
= 0. (3.34)
Al evaluar estas cantidades en la hipersupercie r = 2M la nica componente no nula es
v
n
2
=
1
2M
N
2
=
1
2M
Nn
v
. (3.35)
De esta forma, la ecuacin (3.15) toma la forma
n
|
N
= n
(lnN) n
|
N
+
1
2
n
2
N
(3.36)
= n
(lnN) n
|
N

1
4M
Nn
(3.37)
=
_
n
v
v
(lnN)
1
4M
N
_
n
(3.38)
=
_
v
(lnN)
1
4M
_
Nn
. (3.39)
Si escogemos la funcin N como
N = e
v/4M
= V, (3.40)
la ecuacin de la geodsica se convierte en
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 = e
v/4M
v
. (3.42)
Ejemplo. Variedad de Kruskal
Si consideramos ahora la variedad de Kruskal (coordenadas (V, U, , )), el tensor mtrico
tiene componentes
g
UV
=
16M
3
r
e
r/2M
(3.43)
g
= r
2
(3.44)
g
= r
2
sin
2
. (3.45)
Consideraremos las hipersupercies denidas por la funcin = U. La hipersupercie nula
r = 2M corresponde a = U = 0. El vector normal a estas hipersupercies esta denido por
n = Ng
U
(3.46)
= Ng
UV
V
(3.47)
= N
r
16M
3
e
r/2M
V
. (3.48)
En este caso, al evaluar el vector normal en la hipersupercie nula r = 2M se tiene
n = N
e
8M
2
V
. (3.49)
Por otro lado, la norma de este vector es
n
2
= g
= g
V V
n
V
n
V
= 0, (3.50)
y ya que es idnticamente igual a cero, entonces
n
2
= 0. As, la ecuacin (3.15) ser
n
|
N
= n
(lnN) n
|
N
, (3.51)
y al escoger una funcin N constante obtenemos la parametrizacin afn,
n
|
N
= 0. (3.52)
Podemos tomar la constante
N =
8M
2
e
, (3.53)
y con ello el vector normal ser simplemente
n =

V
. (3.54)
3.2. Horizontes de Killing
Denimos que una hipersupercie nula N se denomina horizonte de Killing si existe un vector
de Killing que sea normal a ella.
3.2.1. Gravedad Supercial
Si n es el vector normal a una horizonte de Killing N de un campo vectorial de Killing ,
podemos asegurar que sobre el horizonte
= fn, (3.55)
donde f es una funcin arbitraria no nula. Si el vector normal se elige de tal manera que
n
|
N
= 0, (3.56)
es decir se utiliza una paarametrizacin afn, entonces se tendr
|
N
=
, (3.57)
donde se denomina gravedad supercial.
Ejercicio
Muestre que la gravedad supercial se puede escribir como
=
lnf. (3.58)
Ahora bien, el teorema de Frobenius nos da una condicin suciente y necesaria para que un
campo vectorial sea ortogonal a una hipersupercie (ver secin 2.2.3 de (1) ). Al aplicarlo a un
campo vectorial de Killing , esta condicin es
N
= 0, (3.59)
es decir,
N
+
N
= 0. (3.60)
Utilizando la ecuacin (1.30) tenemos
|
N
+
|
N

|
N
= 0, (3.61)
y al multiplicar toda la ecuacin por
se obtiene
3.2. HORIZONTES DE KILLING 47
) (
)|
N
=
) (
)|
N

) (
)|
N
(3.62)
=
]
_
(
) (
)|
N
(3.63)
=
) (
) (
)|
N

) (
)|
N
. (3.64)
Renombrando algunos ndices mudos en el primer y segundo trminos del lado derecho,
) (
)|
N
=
) (
) (
)|
N

) (
)|
N
(3.65)
=
]
_
(
) (
)|
N
(3.66)
=
) (
)|
N

) (
)|
N
, (3.67)
es decir
) (
)|
N
= 2
) (
)|
N
. (3.68)
Utilizando (3.57) tenemos
) (
)|
N
= 2
)|
N
(3.69)
= 2
2
N
, (3.70)
de donde obtenemos que la gravedad supercial se puede expresar como
2
=
1
2
(
) (
)|
N
, (3.71)
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
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 hipersupercie. Por ello, si escogemos t = , tenemos
2
= (
)
_
N
, (3.74)
y debido a la antisimetra del tensor de Riemann en su primer par de ndices (R
= R
)
podemos asegurar que
= 0. (3.75)
Por lo tanto,
2
= 0, (3.76)
es decir que la cantidad
2
es constante en las orbitas del vector de Killing .
Sin embargo, la denicin de la gravedad supercial dada en (3.71) muestra que si se tiene
un horizonte de Killing N cuyo vector de Killing es y tiene asociada una gravedad supercial
, esa misma hipersupercie es un horizonte de Killing para el vector c y la gravedad supercal
asociada es c.
Por esta razn es til denir una normalizacin para el vector de Killing para asegurarnos
que la gravedad supercial asociada a N es nica. Ya que el vector de Killing se anula en la
hipersupercie, es decir
2
= 0 en N, no podemos denir la normalizacin all, pero lejos de
la hipersupercie es posible denir 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 innito espacial. Con esta condicin
no solamente se ja el vector de Killing del horizonte, sino que adems se ja el valor de la
gravedad supercial.
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
|
orbita
=
d
d
= fn, (3.79)
donde
f =
d
d
(3.80)
y el vector normal se puede escribir en el sistema coordenado como
n =

=
dx
. (3.81)
Ahora bien, la gravedad supercial se puede obtener de la ecuacin (3.58), que en el sistema de
coordenadas escogido ser
=
lnf
. (3.82)
Al evaluar esta expresin sobre una rbita de la gravedad supercial es constante y por ello si
= 0, podemos integrar para obtener
f = f
o
e
, (3.83)
donde f
o
es una constante arbitraria. Ya que
d
d
= f
o
e
, (3.84)
podemos escoger f
o
= , y con ello tendremos
d
d
= e
, (3.85)
o integrando,
= e
+C, (3.86)
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 jo 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 hipersupercie 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
4M
_
V

V
U

U
_
. (3.87)
Este vector es normal a la hipersupercie N, lo que hace que esta sea un horizonte de Killing.
Para comprobarlo, podemos notar que se puede escribir como
=
V
4M
V
en {U = 0} (3.88)
o como
=
U
4M
U
en {V = 0} , (3.89)
lo cual muestra explcitamente que es ortogonal a N . Debido a esto, podemos escribir el vector
de Killing como
= fn, (3.90)
deniendo
n =
_

V
en {U = 0}
U
en {V = 0}
(3.91)
y adems
f =
_
V
4M
en {U = 0}
U
4M
en {V = 0}
. (3.92)
Al escoger de esta forma la funcin f y el vector n, se satisface
n
= 0, (3.93)
y por ello, la gravedad supercial se puede calcular fcilmente mediante la ecuacin (3.58),
=
lnf, (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 supercial 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 jos. En este caso el punto jo 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. Horizontes de Aceleracin
Para la mtrica de Rindler descrita en el captulo anterior existe una clase especial de hori-
zonte. Para poder denirlo, notemos inicialmente que una partcula en una posicin x constante
del espacio-tiempo de Rindler posee una aceleracin propia constante a =
1
x
. Esto se puede com-
probar 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 u
2
= 1. Por ello podemos escribir
u
2
. (3.97)
La 4-aceleracin propia se obtiene mediante
a
=
d
d
u
=
dX
= u
, (3.98)
donde utilizando la ecuacin (3.97) para la 4-velocidad,
a
2
+
_
2
_
2
2
. (3.99)
Sin embargo, el segundo trmino se puede escribir como
2
= 2
= 0 (3.100)
la cual se anula debido a la propiedad de los vectores de Killing (1.30). De esta forma, la 4-
aceleracin es
a
2
. (3.101)
Como se mostr antes, el vector de Killing del espacio-tiempo de Rindler en coordenadas
(V
, U
) es
=
1
4M
_
V
_
, (3.102)
y por lo tanto
2
= g
= 2g
U
V

V
(4M)
2
(3.103)
=
V
(4M)
2
, (3.104)
y adems
=
U
U

U
+
V

V

U
=
U
(4M)
2
(3.105)
V

=
U
U

V

+
V

V

V

=
V
(4M)
2
. (3.106)
De esta manera, la 4-aceleracin es
a
=
1
U
+
1
V
. (3.107)
La magnitud de la aceleracin propia resulta ser
a
2
= g
=
1
V
, (3.108)
y debido a las relaciones (2.68-2.69) se tiene V
= x
2
. As, obtenemos la aceleracin
a =
1
x
, (3.109)
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 supercie x = 0 se le denomina un Horizonte de Aceleracin.
3.2.4. Horizontes de Aceleracin y Gravedad Supercial
Ahora bien, an cuando la aceleracin propia diverge al acercarse al horizonte x = 0, la
aceleracin medida por otro observador permanece nita. Para comprobar esto, recuerde que
debido a (2.67), el tiempo propio satisface
d
2
=
_
x
4M
_
2
dt
2
= (x)
2
dt
2
, (3.110)
para trayectorias con x = constante, y donde =
1
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 nita 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 innito espacial. Esto
nos permite concluir que la gravedad supercial corresponde a la aceleracin de una partcula
esttica cerca del horizonte de eventos, medida por un observador en el innito espacial.
3.3. HORIZONTES DE EVENTOS 53
3.3. Horizontes de Eventos
Para denir lo que es un horizonte de eventos debemos realizar antes algunas deniciones que
tienen que ver con el comportamiento asinttico de las variedades.
3.3.1. Espacio-tiempo Asintticamente Simple
Un variedad (M, g) se denomina asintticamente simple si existe una variedad
_

M, g
_
con
frontera

M y existe una inmersin continua
f : M

M, (3.112)
tal que satisface las condiciones
1. f (M) =

M

M
2. Existe una funcin suave en la variedad

M que cumple:
a) toma valores positivos, > 0. en f (M) ,
b) se anula en la frontera, = 0 en

M
c) d = 0 en

M
d) satisface g =
2
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
que sea isomtrico a una vecindad abierta de

M donde

M es la compacticacin conforme de
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
donde

M es la compacticacin conforme de alguna variedad asintticamente simple.
3.3.4. Espacio-tiempo Asintticamente Plano
Una variedad se denomina asintticamente plana si es dbil asintticamente simple y adems
es asintticamente vacia.
Esta denicin hace que los espacios asintticamente planos tienen en el innito (I
, i
0
), 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.
Figura 3.1: Frontera del diagrama de Carter-Penrose para un espacio-tiempo asintticamente
plano.
Ejemplos
Si se toma M como la variedad de Minkowski y

M su compacticacin conforme, se
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.
Si se toma M como la variedad de Kruskal y

M su compacticacin conforme, se puede
comprobar que no se satisface la condicin 3. ya que existen geodsicas nulas que terminan
en la singularidad y no en

M. Por esta razn, Kruskal no es un espacio asintticamente
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 denimos
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 dene 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 denicin 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 dene 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 denicin 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.
Denimos adems J
(U) y J
+
(U) como la clausura topolgica del pasado causal y el fu-
turo causal de U respectivamente. Por ltimo, j
(U) y j
+
(U) corresponden a la frontera de
estas clausuras topolgicas, es decir
j
(U) = J
(U) J
(U) (3.113)
j
+
(U) = J
+
(U) J
+
(U) . (3.114)
3.3.8. Horizonte de Eventos Futuro
El horizonte de eventos futuro H
+
se dene como la frontera de la clausura del pasado causal
del innito futuro nulo I
+
, es decir
H
+
= j
_
I
+
_
. (3.115)
3.3.9. Horizonte de Eventos Pasado
De manera similar, se dene el horizonte de eventos pasado H
como la frontera de la clausura

del futuro causal del innito pasado nulo I
, es decir
H
= j
+
_
I
_
. (3.116)
Ejemplo
En la veriedad de Kruskal se pueden identicar fcilmente los horizontes de eventos pasado
y futuro. Estos corresponden a la supercie r = 2M, tal como se muestra en la Figura 3.2.
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
justicacin para utilizarlos.
3.4. Horizontes de Cauchy
Otro de los conceptos importantes en el estudio de hipersupercies asociadas con agujeros
negros es el de Horizonte de Cauchy. Para poder elaborar esta clase de horizonte, debemos
realizar algunas deniciones previas.
3.4.1. Supercie Parcial de Cauchy
Una hipersupercie se denomina supercie 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 nales pasados dentro de
M.
3.4.3. Curva Causal Inextendible al Futuro
Una curva causal se dice inextendible al futuro si no posee puntos nales futuros dentro de
M.
3.4. HORIZONTES DE CAUCHY 57
Figura 3.3: Supercies de Cauchy y causalidad.
3.4.4. Dominio Futuro de Dependencia
El dominio futuro de dependencia D
+
() de una supercie 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 denicin 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. Supercie de Cauchy
Se dice que es una hipersupercie de Cauchy de M si
D
+
() D
() = M. (3.117)
3.4.7. Globalidad Hiperblica
Si una variedad M posee una hipersupercie de Cauchy, se dice que M es globalmente
hiperblica.
Figura 3.4: Supercie de Cauchy en la variedad de Minkowski.
Figura 3.5: Supercie de Cauchy en la variedad de Kruskal.
Ejemplos
La variedad de Minkowski es globalmente hiperblica. En la Figura 3.4 se observa el dia-
grama de Carter-Penrose y una supercie 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 supercies
de Cauchy.
3.4. HORIZONTES DE CAUCHY 59
3.4.8. 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.
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 simpliquen 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 denir las componentes de los vectores y tensores. Deniremos 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 deniendo, 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 dene mediante
61
62 CAPTULO 4. FORMULACIN DE TTRADAS
e

(a)
e
(a)
, (4.4)
y adems podemos exigir que los cuatro vectores denidos sean ortonormales,
e

(a)
e
(b)
=
(b)
(a)
. (4.5)
Por ltimo, exigiremos que
e

(a)
e

(b)
g
= e

(a)
e
(b)
=
(a)(b)
, (4.6)
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 dene mediante la relacin
(a)(b)
(b)(c)
=
(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)
(a)(b)
e
(b)
= e
(a)
(4.9)
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 deniendo 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)
= 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 deniciones 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)
(4.15)
T
= e
(a)
e
(b)
T
(a)(b)
= e
(a)
T
(a)
. (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)
(a)
= T

. (4.17)
4.2. 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)
. (4.19)
= e

(b)

_
e

(a)
A
_
(4.20)
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,
A
(a),(b)
= e

(b)

_
e

(a)
A
_
(4.21)
= e

(b)
_
e

(a)
A
_
;
, (4.22)
es decir
A
(a),(b)
= e

(b)
_
e

(a)
A
;
+e

(a) ;
A
_
(4.23)
= e

(b)
e

(a)
A
;
+e

(b)
e

(a) ;
A
(4.24)
= e

(b)
e

(a)
A
;
+e

(b)
e

(a) ;
e
(c)v
A
(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 denido los smbolos (no tensores)
(c)(a)(b)
= e

(b)
e
(a);
e

(c)
, (4.28)
denominados Coecientes 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
_
e
(a)
e

(b)
_
;
=
(a)(b);
= 0 (4.30)
para mostrar que
(c)(a)(b)
=
(a)(c)(b)
. (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 dene 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 deniciones 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 denicin de la derivada covariante se puede obtener de manera similar. Por
ejemplo, para el tensor T
(a)(b)
se tiene
T
(a)(b),(c)
= e

(c)
_
e

(a)
e

(b)
T
_
;
. (4.37)
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.38)
4.3. Clculo de los Coecientes de Rotacin de Ricci
De la denicin de los coecientes 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 coecientes de rotacin de una
manera mas sencilla deniendo antes los pre-coecientes de rotacin,
(a)(b)(c)
= e
(b),
_
e

(a)
e

(c)
e

(a)
e

(c)
_
. (4.40)
Esta denicin permite comprobar de inmediato que los pre-coecientes de rotacin son antisi-
mtricos en su primer y ltimo ndices,
(a)(b)(c)
=
(c)(b)(a)
. (4.41)
Intercambiando indices mudos adecuadamente,los pre-coecientes 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
,

(4.43)
A
;
= A
,
, (4.44)
con lo que se tiene
A
;
A
;
= A
,
A
,
(4.45)
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-coecientes 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)
=
1
2
_
(a)(b)(c)
+
(c)(a)(b)
(b)(c)(a)
. (4.49)
4.4. Tensor de Riemann
La denicin del tensor de Riemann implica que al calcular el conmutador de derivadas
covariantes aplicado sobre un vector Z se tiene
[
] Z
= R
+T
, (4.50)
donde R
es el tensor de Riemann y T
es el tensor de torsin. Ahora bien, en universos sin

torsin
_
T
= 0
_
tenemos
R
. (4.51)
Debido a la antisimetra del tensor de Riemann en su primer par de ndices podemos hacer
R
(4.52)
= Z
;;
Z
;;
. (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
R
(a)(b)(c)(d)
= R
e

(a)
e

(b)
e

(c)
e

(d)
(4.55)
=
_
e
(a);;
e
(a);;
e

(b)
e

(c)
e

(d)
. (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)
_
;
_
e

(b)
e

(c)
e

(d)
, (4.57)
y expandiendo los trminos con derivadas covariantes tenemos
R
(a)(b)(c)(d)
=
_
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)
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)
e
(f)
(g)(a)(f);
e
(g)
e
(f)
(g)(a)(f)
(g)

_
e

(b)
e

(c)
e

(d)
,
de donde se tiene nalmente la expresin para el tensor de Riemann en trminos de los coecientes
de rotacin,
R
(a)(b)(c)(d)
=
(f)
(c) (d)
(b)(a)(f)
+
(b)(a)(c);(d)
+
(g)(a)(c)
(g)
(b) (d)
(f)
(d) (c)
(b)(a)(f)
(b)(a)(d);(c)
(g)(a)(d)
(g)
(b) (c)
R
(a)(b)(c)(d)
=
(b)(a)(c);(d)
(b)(a)(d);(c)
+
_
(f)
(c) (d)
(f)
(d) (c)
_
(b)(a)(f)
+
(f)(a)(c)
(f)
(b) (d)
(f)(a)(d)
(f)
(b) (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,
S
H
=
1
16
_
_
|g|Rd
4
x, (5.1)
y agregamos la accin del campo electromagntico para obtener la accin total
S =
1
16
_
_
|g| [R F
] d
4
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
= 8T
= 2
_
F

1
4
g
_
(5.3)
= 0. (5.4)
5.1. Solucin de las Ecuaciones de Campo en presencia de Campo
Electromagntico
Para encontrar la mtrica del agujero negro con carga supondremos un tensor mtrico es-
fricamente simtrico que debe reducirse a Schwarzschild cuando la carga sea cero. Por ello,
proponemos la siguiente forma para el elemento de lnea,
ds
2
= f (r) dt
2
+
1
f (r)
dr
2
+r
2
d
2
. (5.5)
69
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 denido por
e
(t)t
=
_
f (5.6)
e
(r)r
=
1
f
(5.7)
e
()
= r (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 denidas las componentes no-nulas del tensor de Einstein son
_
G
(t)(t)
= G
(r)(r)
=
1+f+rf
r
2
G
()()
= G
()()
=
f
r
+
f
2
,
(5.11)
donde f
=
df
dr
.
Ahora bien, en este caso las ecuaciones de campo no se plantean en el vacio, sino que existi-
r 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
r
2
e
(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
Q
r
2
0 0
Q
r
2
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
4
_
F
(a)
(c)
F
(b)(c)
1
4
(a)(b)
F
(c)(d)
F
(c)(d)
_
, (5.14)
posee las componentes no nulas
_
T
(t)(t)
= T
(r)(r)
=
Q
2
r
4
T
()()
= T
()()
=
Q
2
r
4
.
(5.15)
De esta forma, a partir de (5.11) y (5.15), las ecuaciones de campo se reducen a
_
1+f+rf
r
2
=
Q
2
r
4
f
r
+
f
2
=
Q
2
r
4
.
(5.16)
La primera de estas ecuaciones da como resultado
rf
+f = 1
Q
2
r
2
(5.17)
d
dr
(rf) = 1
Q
2
r
2
(5.18)
rf =
_ _
1
Q
2
r
2
_
dr (5.19)
rf = r +
Q
2
r
+C (5.20)
f = 1 +
Q
2
r
2
+
C
r
, (5.21)
donde C es la constante de integracin. Ntese que en el lmite Q = 0 la funcin se convierte en
f = 1 +
C
r
, 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
r
+
Q
2
r
2
. (5.22)
Ejercicio
Compruebe que la funcin f encontrada satisface tambin la segunda ecuacin de campo,
f
r
+
f
2
=
Q
2
r
4
. (5.23)
Volviendo a la base coordenada original, el elemento de lnea se convierte en
ds
2
=
_
1
2M
r
+
Q
2
r
2
_
dt
2
+
_
1
2M
r
+
Q
2
r
2
_
1
dr
2
+r
2
d
2
, (5.24)
que puede re-escribirse en la forma usual conocida como mtrica de Reissner-Nordstrm,
ds
2
=
r
2
dt
2
+
r
2
dr
2
+r
2
d
2
, (5.25)
donde
= r
2
2Mr +Q
2
, (5.26)
y el campo elctrico asociado con el agujero es
E =
Q
r
2
r
. (5.27)
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 Schwarzs-
child. Las otras dos singualaridades se encuentran en los puntos donde = 0. Para ubicarlos
exactamente podemos escribir
= (r r
+
) (r r
) , (5.28)
donde
r
= M
_
M
2
Q
2
, (5.29)
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 im-
portante notar que asintticamente el espacio-tiempo es Minkowskiano y por ello la estructura
del innito 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 denir una
hipersupercie 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, denimos una coordenada radial de forma similar a la coordenada de Regge-
Wheeler de Schwarzschild,
dr
=
r
2
dr =
1
_
1
2M
r
+
Q
2
r
2
_dr. (5.30)
Ejercicio
Integre la denicin de la coordenada radial r
para obtener
r
= r +
1
2
+
ln
_
|r r
+
|
r
+
_
+
1
2
ln
_
|r r
|
r
_
+ constante, (5.31)
donde
=
r
2r
2
. (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. Coordenadas de Eddington-Finkelstein
Utilizando la coordenada radial r
deniremos dos coordenadas nulas al estilo de Eddington-

Finkelstein,
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 denicin (5.30) se tiene
dt = dv
r
2
dr (5.36)
dt
2
= dv
2
2
r
2
dvdr +
r
4
2
dr
2
. (5.37)
Reemplazando en (5.25), el elemento de lnea de Reissner-Nordstrm se convierte en
ds
2
=
r
2
dv
2
+ 2dvdr +r
2
d
2
. (5.38)
Como se puede observar, las singularidades en r = r
ya no estn presentes y adems se identica

de inmediato que =

v
5.3.2. Horizontes de Killing
Las hipersupercies 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 denen dos familias de hipersupercies. Los valores
= 0 denen las hiper-

supercies de inters, r = r
. Calcularemos ahora los vectores normales a estas hipersupercies

mediante la expresin (3.1) , con lo que se obtiene
n
= N
(5.39)
= N
[g
rr
r
+g
rv
v
] . (5.40)
A partir de la mtrica (5.38) se tiene que
g
vr
= 1 (5.41)
g
rr
=

r
2
(5.42)
g
=
1
r
2
(5.43)
g
=
1
r
2
sin
2
, (5.44)
y por ello, el vector normal toma la forma
n
= N
r
2
r
+
v
_
. (5.45)
La magnitud de este vector es
n
2
= g
(5.46)
= g
vv
n
v
n
v
+ 2g
vr
n
v
n
r
(5.47)
=
r
2
N
2
+ 2
r
2
N
2
(5.48)
=

r
2
N
2
, (5.49)
y al evaluarla en las hipersupercies r = r
se tiene
n
2
r=r
= 0, (5.50)
con lo cual se muestra que estas hipersupercies son nulas. Ahora bien, al evaluar el vector
normal en estas hipersupercies tenemos
n
|
r=r
= N
v
, (5.51)
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
v
= N
1
, (5.52)
con lo cual demostramos que las hipersupercies r = r
son horizontes de Killing. La gravedad

supercial 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
r
+
v
r
v
(5.53)
=
r
v
(5.54)
=
r
vv
(5.55)
=
1
2
g
rr
r
g
vv
, (5.56)
y evaluando esta expresin en el horizonte,

r
|
r=r
= 0. (5.57)
Por otro lado,

v
=
v
v
+
v
v
v
(5.58)
=
v
v
(5.59)
=
v
vv
(5.60)
=
1
2
g
vr
r
g
vv
(5.61)
=
1
2
_
2
r
3
+
1
r
2
_
(5.62)
y evaluando en el horizonte,

v
|
r=r
=
1
2r
2
r=r
(5.63)
=
(r
)
2r
2
. (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 identicar la gravedad supercial de cada uno de los horizontes
como
=
(r
)
2r
2
. (5.65)
Ejercicio
Muestre que

r=r
|
r=r
= 0. (5.66)
5.3.3. 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
ds
2
=
r
2
dvdu +r
2
d
2
, (5.67)
donde r esta denido implcitamente por la relacin
r
=
v u
2
(5.68)
y r
viene dado por (5.31). Deniremos ahora un sistema de coordenadas similar al de Kruskal-
Szekeres, sin embargo, en este caso tenemos dos horizontes y por lo tanto dos gravedades super-
ciales. Por ello deniremos dos conjuntos de coordenadas (signo + y signo ),
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
ds
2
=

r
2
dV
+
dU
+
2
+
V
+
U
+
+r
2
d
2
, (5.73)
donde r esta denido implcitamente por la relacin
V
+
U
+
= e
+
(vu)
= e
2
+
r
, (5.74)
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
. (5.75)
Reemplazando esta relacin en el elemento de lnea, se tiene
ds
2
=
r
+
r
2
+
e
2
+
r
r
2
_
r
r r
1
dV
+
dU
+
+r
2
d
2
. (5.76)
5.3.4. 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 com-
pleto. Considerando la relacin (5.75) se observa que las hipersupercies de r = constante son
hiprbolas. Adems, la hipersupercie 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 supercie singular en este diagrama, pero esta singularidad no es

esencial y por ello solo aparece punteada.
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
ds
2
=
r
+
r
e
2
r
r
2
_
r
+
r
+
r
_
+
1
dV
dU
+r
2
d
2
, (5.77)
V
= e
2
r
_
r
r
r
__
r
+
r
r
+
_
+
. (5.78)
Parte II
La segunda parte del diagrama de Kruskal para la extension analtica maximal de Reissner-
Nordstrm 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 hipersupercies de r = constante son de nuevo hiprbolas
y que la hipersupercie 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-de-
tiempo, y se encuentra ubicada en las regiones V y VI.
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 innita de diagramas similares a
los tres mostrados.
5.3.5. Diagrama de Carter-Penrose
Ya que el diagrama de Kruskal para esta mtrica tiene innitas partes, el diagrama de Carter-
Penrose tambin ser una secuencia innita. Por ello analizaremos cada una de las partes para
luego unirlas dentro de un solo diagrama.
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 innito 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 coorde-
nadas (V
+
, U
+
) se compactica y debe unirse con la misma regin descrita por las coordenadas
(V
, U
).
Parte II
Al realizar la compacticacin de la regin interior del agujero, las regiones V y VI contie-
nen 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 compactica
conectandose con el siguiente diagrama en la secuencia. Ntese que esta regin no es asinttica-
mente plana y por ello su frontera no tiene la estructura minkowskiana.
Figura 5.7: Diagrama de Carter-Penrose completo para la mtrica de Reissner-Nordstrm en el
caso M > |Q|.
Diagrama Completo
Finlmente, el diagrama completo de Carter-Penrose para la solucin de Reissner-Nordstrm
es la secuencia que se extiende innitamente en ambas direcciones mostrado en la Figura 5.7.
Ahora bien, es conveniente aclarar que esta extensin analtica extendiendose indenidamente
en ambas direcciones se realiza principalmente con el n de asegurar que la variedad sea geod-
sicamente completa, es decir que todas las geodsicas que no terminen en la singularidad tengan
una longitud afn innita 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 tem-

poral 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 supercie, la coordenada r es otra vez

como-de-tiempo y el observador es forzado a moverse, esta vez hacia afuera para cruzar nl-
mente 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 innito 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 denir una hipersupercie 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 supercie 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 innitamente 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 innita historia del universo en un tiempo nito, y por ello cualquier seal que llegue
a l estar innitamente corrida al azul. Esto hace razonable creer que cualquier perturbacin,
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 innitas
regiones asintticamente planas descritas.
5.3.7. Coordenadas Isotrpicas
An cuando es improbable la existencia de los agujeros de gusano que conectan las inni-
tas regiones asintticamente planas, es interesante analizar su geometra. Para ello se realizar
un cambio de coordenadas similar al utilizado para Schwarzschild. As, denimos una nueva
coordenada radial mediante
r = +M +
M
2
Q
2
4
. (5.79)
De esta manera tenemos
= r
2
2Mr +Q
2
(5.80)
=
_
+M +
M
2
Q
2
4
.
_
2
2M
_
+M +
M
2
Q
2
4
.
_
+Q
2
(5.81)
=
2
M
2
Q
2
2
+
_
M
2
Q
2
4
_
2
(5.82)
=
_

M
2
Q
2
4
_
2
. (5.83)
Adems,
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.
dr =
_
1
M
2
Q
2
4
2
_
d (5.84)
=
_

M
2
Q
2
4
_
d
, (5.85)
es decir
dr
2
=
d
2
2
. (5.86)
As, el elemento de lnea (5.25) en coordenadas isotrpicas (t, , , ) es
ds
2
=
r
2
dt
2
+
r
2
2
_
d
2
+
2
d
2
. (5.87)
Al gracar 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
Q
2
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 jo correspondiente a
=
_
M
2
Q
2
2
, (5.89)
es decir a r = r
+
. Este punto es la 2-esfra minimal que dene 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

= (r r
+
) (r r
) (5.90)
= (r M)
2
, (5.91)
por lo cual la mtrica (5.25) se convierte en
ds
2
=
_
1
M
r
_
2
dt
2
+
dr
2
_
1
M
r
_
2
+r
2
d
2
. (5.92)
Notese que existe una singularidad en r = M, pero esta puede ser eliminada con un cambio de
variable. Para ello se dene la coordenada radial de Regge-Wheeler,
dr
=
dr
_
1
M
r
_
2
. (5.93)
Ejercicio
Integre la denicin de la coordenada radial r
para obtener
r
= r + 2M ln
_
|r M|
M
_
M
2
r M
, (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
< .
Deniendo 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
, (5.97)
y utilizando (5.93),
dt = dv
dr
_
1
M
r
_
2
(5.98)
dt
2
= dv
2
2
1
_
1
M
r
_
2
dvdr +
dr
2
_
1
M
r
_
4
. (5.99)
As, el elemento de lnea de Reissner-Nordstrm extremo se convierte en
ds
2
=
_
1
M
r
_
2
dv
2
+ 2dvdr +r
2
d
2
. (5.100)
Se puede observar que en estas coordenadas no existe singularidad en r = M y adems, que
=

v
5.4.2. Horizonte de Killing
La hipersupercie r = M es un horizonte de Killing degenerado del campo vectorial =

v
,
es decir que su gravedad supercial es = 0. Para probarlo, tomaremos la funcin = r M
para denir la familia de hipersupercies. A partir del tensor mtrico (5.100) se encuentra que
g
vr
= 1 (5.101)
g
rr
=
_
1
M
r
_
2
(5.102)
g
=
1
r
2
(5.103)
g
=
1
r
2
sin
2
, (5.104)
y con ello el vector normal a las hipersupercies es
n = Ng
(5.105)
= N [g
rr
r
+g
rv
v
] (5.106)
= N
_
_
1
M
r
_
2
r
+
v
_
. (5.107)
Su magnitud viene dada por
n
2
= g
(5.108)
= g
vv
n
v
n
v
+ 2g
vr
n
v
n
r
(5.109)
=
_
1
M
r
_
2
+ 2
_
1
M
r
_
2
(5.110)
=
_
1
M
r
_
2
, (5.111)
y al evaluarla en la hipersupercie r = M, se tiene
n
2
r=M
= 0, (5.112)
es decir que esta hipersupercie 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 hipersupercie r = M es un horizonte de Killing de este
campo vectorial.
Ejercicio
Muestre que para =

v
se tiene
|
r=M
= 0, (5.114)
es decir que la gravedad supercial 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
ds
2
=
_
1
M
r
_
2
dvdu +r
2
d
2
, (5.115)
r
=
v u
2
= r + 2M ln
_
|r M|
M
_
M
2
r M
. (5.116)
Si denimos las coordenadas
V = e
v/M
(5.117)
U = e
u/M
, (5.118)
se tiene
dV =
V
M
dv (5.119)
dU =
U
M
du, (5.120)
y por ello la mtrica se convierte en
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
=
_
1
M
r
_
2
M
2
dV dU
V U
+r
2
d
2
, (5.121)
con r denido por
V U = e
vu
M
(5.122)
V U =
_
r M
M
_
4
e
2r
M
e
2M
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 hipersupercie r = M corresponde a la condicin UV = 0, es decir al
conjunto {U = 0}{V = 0}. Las hipersupercies 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 denida por la hiperbola V U = e
2
. 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
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.
Como se puede observar del diagrama de Kruskal, el vector de Killing =

v
es nulo en
la hipersupercie 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-de-
tiempo, 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 identica por 3 parmetros (M, e, a). El elemento de lnea general para esta familia en
coordenadas de Boyer-Lindquist toma la forma
ds
2
=
a
2
sin
2
dt
2
_
r
2
+a
2
_
2a sin
2
dtd
+

dr
2
+ d
2
+
_
_
r
2
+a
2
_
2
a
2
sin
2
_
sin
2
d
2
, (6.1)
donde
= r
2
2Mr +a
2
+e
2
(6.2)
= r
2
+a
2
cos
2
. (6.3)
Los parmetros que identican la familia son la masa M, el momento angular por unidad de
masa
a =
J
M
, (6.4)
con J el momento angular total, y el parmetro de carga
e =
_
Q
2
+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
A =
Qr
_
dt a sin
2
d
P cos
_
adt
_
r
2
+a
2
_
d
. (6.6)
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
t t (6.7)
. (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
= r
2
2Mr +a
2
(6.9)
= r
2
+a
2
cos
2
. (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 = 0, es decir
r = 0 , =

2
(6.13)
y dos singularidades coordenadas en
= 0. (6.14)
Esta ltima condicin se puede reescribir como
6.3. CASO 1 DE KERR: M < A 93
= (r r
+
) (r r
) = 0, (6.15)
donde
r
= M
_
M
2
a
2
, (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 = 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
_
denidas por
t =
_ _
dt +
r
2
+a
2
dr
_
r (6.17)
x +iy = (r +ia) sine
i
R
[d+
a
dr]
(6.18)
z = r cos . (6.19)
Ejercicio
Muestre que la mtrica de Kerr en coordenadas de Kerr-Schild es
ds
2
= d
t
2
+dx
2
+dy
2
+dz
2
+
2Mr
3
r
4
+a
2
z
2
_
r (xdx +ydy) a (xdx ydy)
r
2
+a
2
+
zdz
r
+d
t
2
_
2
. (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
x
2
+y
2
=
_
r
2
+a
2
_
sin
2
, (6.21)
Figura 6.1: Supercies de r = constante y la singularidad esencial = 0 para la mtrica de Kerr.
mientras que utilizando (6.19)
z
2
= r
2
cos
2
= r
2
r
2
sin
2
(6.22)
r
2
sin
2
= r
2
z
2
. (6.23)
Por lo tanto, combinando (6.21) y (6.23),
r
2
_
x
2
+y
2
_
=
_
r
2
+a
2
_ _
r
2
z
2
_
, (6.24)
es decir
r
4
_
x
2
+y
2
+z
2
a
2
_
r
2
a
2
z
2
= 0. (6.25)
Para valores de r = constante = 0, la ecuacin (6.25) se puede reescribir como
x
2
r
2
+
y
2
r
2
+
_
1 +
a
2
r
2
_
z
2
r
2
= 1 +
a
2
r
2
, (6.26)
la cual dene elipsoides con focos en x = a. Estos elipsoides se degeneran para convertirse en
el disco
_
z = 0, x
2
+y
2
a
2
_
para r = 0.
Singularidad = 0
La singularidad esencial de la mtrica de Kerr se ubica en r = 0 y =

2
, por lo cual la
ecuacin (6.21) implica
6.3. CASO 1 DE KERR: M < A 95
x
2
+y
2
= a
2
. (6.27)
Esto quiere decir que la singularidad = 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
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 =

2
En la subvariedad que se obtiene al realizar el corte =

2
se encuentra la singularidad
esencial = 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 = 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 = 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.
Figura 6.2: Corte ecuatorial =

2
y la singularidad esencial = 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 97
6.3.3. 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
=
_
_
r
2
+a
2
_
2
a
2
sin
2
_
sin
2
, (6.30)
o reemplazando las ecuaciones (6.9) y (6.10),
2
= a
2
sin
2
_
1 +
r
2
a
2
_
+
Ma
2
r
_
2 sin
4
1 +
a
2
r
2
cos
2
_
. (6.31)
En la vecindad del anillo correspondiente a la singularidad,
r
a
= << 1 y =

2
, se tiene
2
= a
2
+
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
< 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 = 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.
Para comprobar que r
son singularidades coordenadas se realiza el cambio a coordenadas

de Eddington-Finkelstein. Para ello se denen las nuevas coordenadas temporal, v, y angular,,
mediante
dv = dt +
_
r
2
+a
2
_
dr (6.34)
d = d +
a
dr. (6.35)
Ejercicio
Muestre que la mtrica de Kerr en coordenadas de Eddington-Finkelstein, (v, r, , ), es
ds
2
=
a
2
sin
2
dv
2
+ 2dvdr
2a sin
2
_
r
2
+a
2
dvd
2a sin
2
drd + d
2
+
_
r
2
+a
2
_
2
a
2
sin
2
sin
2
d
2
. (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. Horizontes de Killing
Las hipersupercies r = r
son horizontes de Killing de los campos vectoriales
=

v
+
_
a
r
2
+a
2
_

, (6.37)
el cual equivale al vector

t
+
_
a
r
2
+a
2
_

, en la regin asintticamente plana. Para comprobar

esto, tomaremos las funciones
= rr
que denen dos familias de hipersupercies, ya que los

valores
= 0 denen las hipersupercies de inters, r = r
. Calcularemos ahora los vectores

normales a estas hipersupercies mediante la expresin (3.1) ,
n
= N
(6.38)
= N
[g
rr
r
+g
rv
v
+g
r
] . (6.39)
A partir de la mtrica (6.36) se tiene
g
vv
=
a
2
sin
2
g
vr
=
a
2
+r
2
g
v
=
a
g
r
=
a
g
rr
=

=
1
=
csc
2
(6.40)
n
= N

r
+
_
a
2
+r
2
v
+
a
_
(6.41)
=
N
r
+
_
a
2
+r
2
_
v
+a
. (6.42)
n
2
= g
(6.43)
= g
vv
n
v
n
v
+g
+ 2g
vr
n
v
n
r
+ 2g
v
n
v
+ 2g
r
n
r
(6.44)
n
2
=
N
2
2
_
_
a
2
sin
2
_
_
a
2
+r
2
_
2
+
_
r
2
+a
2
_
2
a
2
sin
2
a
2
sin
2
+2
_
a
2
+r
2
_
2a
2
sin
2
_
r
2
+a
2
_
a
2
+r
2
_
2a
2
sin
2
_
(6.45)
y al evaluarla en las hipersupercies r = r
, es decir = 0, se tiene
n
2
r=r
= 0, (6.46)
con lo cual se muestra que estas hipersupercies son nulas. Ahora bien, al evaluar el vector
normal en r = r
se obtiene
n
|
r=r
=
N
r
2
+a
2
cos
2
__
a
2
+r
2
v
+a
(6.47)
= N
_
a
2
+r
2
r
2
+a
2
cos
2
__
v
+
a
a
2
+r
2
_
, (6.48)
es decir
n
|
r=r
= N
_
a
2
+r
2
r
2
+a
2
cos
2
(6.49)
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 hipersupercies
r = r
son horizontes de Killing.

La gravedad supercial en estos horizontes puede ser calculada utilizando la expresin (3.57),
para lo cual necesitamos la derivada covariante del vector
. As, se tiene

v
=
v
v
+
a
a
2
+r
2
v
(6.50)
=
v
v
+
v
v
+
a
a
2
+r
2
v
+
v
(6.51)
=
v
vv
v
+
v
v
+
a
a
2
+r
2
v
v
v
+
v
(6.52)
=
v
vv
v
+ 2
_
a
a
2
+r
2
v
v
+
_
a
a
2
+r
2
_
2
. (6.53)
Al reemplazar las conexiones correspondientes y evaluando en la hipersupercie r = r
, se tiene

v
|
r=r
=
_
a
2
+ 2r
2
+a
2
cos (2)
4
_
a
2
+r
2
_
_
2
_
r=r
(6.54)
=
_
a
2
+ 2r
2
+a
2
cos (2)
4
_
a
2
+r
2
_
_
1
r
_
r=r
. (6.55)
Ahora bien, el numerador de esta expresin se puede escribir como
a
2
+ 2r
2
+a
2
cos (2) = a
2
+ 2r
2
+a
2
_
1 2 sin
2
_
(6.56)
= 2a
2
+ 2r
2
2a
2
sin
2
(6.57)
= 2a
2
cos
2
+ 2r
2
(6.58)
= 2 |
r=r
, (6.59)
por lo cual se tiene

v
|
r=r
=
1
2
_
a
2
+r
2
_
_
r
_
r=r
. (6.60)
Por otro lado, a partir de la funcin = (r r
+
) (r r
) se calcula la derivada
r
= 2r r
+
r
, (6.61)
y por ello, al evaluar en el horizonte,
r=r
= r
. (6.62)
De esta forma se tiene nalmente

v
|
r=r
=
r
2
_
a
2
+r
2
_. (6.63)
Comparando con la expresin (3.57),
|
N
=
, podemos identicar la gravedad su-

percial de cada uno de los horizontes como
=
r
2
_
a
2
+r
2
_. (6.64)
Ejercicio
Muestre que

r
|
r=r
r=r
= 0 (6.65)
y

r
|
r=r
_
a
a
2
+r
2
_
. (6.66)
Al igual que en el Caso I, en el agujero negro de Kerr con M > a existe la singularidad
esencial = 0, la cual tiene forma de anillo, x
2
+ 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 = 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 = 0 . Ntese que el diagrama se extiende innitamente 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 innitas 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.
Figura 6.4: Diagrama de Carter-Penrose para la mtrica de Kerr con M > a. La lnea punteada
indica que la singularidad esencial = 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.
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)
donde se ha denido
=
a
a
2
+r
2
+
. (6.68)
Si se utilizan las expresiones (6.4) y (6.16) se tiene
=
J
M
_
J
M
_
2
+
_
M +
_
M
2
_
J
M
_
2
_
2
(6.69)
=
J
2M
_
M
2
+
M
4
J
2
_. (6.70)
Ahora comprobaremos que es la velocidad angular del horizonte de eventos r = r
+
.
Ejercicio
Compruebe que en las coordenadas de Boyer-Lindquist
[ t] = 0. (6.71)
La ecuacin (6.71) dene las orbitas del vector de Killing
+
, las cuales quedan determinadas
por
t = constante, (6.72)
es decir
= t + constante. (6.73)
Por lo tanto, las partculas que se mueven en orbitas de
+
se encuentran rotando con veloci-
dad 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 supercies 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 hipersupercie. Por ejemplo, para se tiene
2
= g
= g
tt
=
_
a
2
sin
2
_
. (6.74)
Al evaluar en los horizontes r = r
, se tiene
r=r
=
a
2
sin
2
r
2
+a
2
cos
2
= 0, (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
2
=
_
1
2Mr
r
2
+a
2
cos
2
_
, (6.76)
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 >
2Mr
r
2
+a
2
cos
2
(6.77)
r
2
2Mr +a
2
cos
2
> 0, (6.78)
es decir para valores de r que cumplan
r > M +
_
M
2
a
2
cos
2
. (6.79)
De esta forma, el vector es nulo en la hipersupercie denominada ergosfra, la cual est
denida denida por
r = M +
_
M
2
a
2
cos
2
. (6.80)
Esta supercie 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
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
ds
2
= 0 = g
tt
dt
2
+ 2g
t
dtd +g
d
2
, (6.81)
que se puede escribir como la ecuacin diferencial
g
_
d
dt
_
2
+ 2g
t
_
d
dt
_
+g
tt
= 0. (6.82)
Con ello se obtiene la velocidad del fotn en direccin ,
d
dt
=
g
t
g
_
g
t
g
_
2
g
tt
g
. (6.83)
Si se considera un fotn que inicialmente est en la ergosfra, r
e
= M +
M
2
a
2
cos
2
, y
se toma la mtrica de Kerr (6.1), se tiene
g
tt
|
r=re
= 0 (6.84)
g
t
|
r=re
= a sin
2
(6.85)
g
|
r=re
= 2 sin
2
_
Mr
e
+a
2
sin
2
, (6.86)
y con ello, la velocidad del fotn resulta ser
d
dt
r=re
=
_
a
Mre+a
2
sin
2
0
. (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
d
g
. (6.88)
Al tomar el vector de Killing =

t
, la cantidad conservada asociada corresponde a la energa
por unidad de masa,
E =
=
t
p
t
= m
dx
d
g
t
. (6.89)
Utilizando la metrica de Kerr, (6.1), se tiene
E = m
dt
d
g
tt
m
d
d
g
t
(6.90)
E =
_
a
2
sin
2
_
m
dt
d
+
_
2a sin
2
_
r
2
+a
2
_
m
d
d
(6.91)
Ejercicio
Muestre que al tomar el vector de Killing, la cantidad conservada asociada es el momento angular
por unidad masa,
L =
_
2a sin
2
_
r
2
+a
2
_
m
dt
d
+
_
_
r
2
+a
2
_
a
2
sin
2
_
sin
2
m
d
d
. (6.92)
6.4.8. El Proceso de Penrose
En la denicin 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 como-
de-espacio. De esta forma, en la ergoregin se tiene una energa negativa,
E =
< 0. (6.93)
Este cambio de signo en E permite denir 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
=
p
o
. (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 innito. La conservacin del
4-momentum da como resultado
Figura 6.7: Proceso de Penrose para la extraccin de energa a partir de un agujero negro de
Kerr.
p
o
= p
1
+p
2
, (6.95)
donde p
1
es el 4-momentum de la partcula que entra en la ergoregin mientras que p

2
es el
4-momentum de la partcula que escapa. Contrayendo esta ecuacin con el vector de Killing se
obtiene
E
o
= E
1
+E
2
, (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,
E
2
> E
o
,
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)
Reemplazando el vector
+
y realizando la contraccin se obtiene la condicin
E L 0, (6.99)
es decir
L
E
. (6.100)
Para la partcula que entra en la ergoregin se tiene entonces
L
1
E
1
, (6.101)
y debido a que E
1
< 0 , podemos concluir que su momento angular debe ser negativo,
L
1
< 0. (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 = E
1
(6.103)
J = L
1
. (6.104)
De esta forma, la ecuacin (6.101) ser
J
M
. (6.105)
Utilizando la ecuacin (6.70) para la velocidad angular del agujero, se obtiene
J
2M
_
M
2
+
M
4
J
2
_
M
J
. (6.106)
Ejercicio
Compruebe que la ecuacin (6.106) es equivalente a la condicin
_
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.
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|d
n
x, (6.108)
donde g es el determinante de la mtrica y n es la dimensin de la variedad. Si se considera una
hipersupercie 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 =
_

0
_
2
0
_
_
|g
|
_
r=r
+
dd (6.109)
A =
_

0
_
2
0
_
r
2
+
+a
2
_
sindd (6.110)
A = 4
_
r
2
+
+a
2
_
. (6.111)
Utilizando el valor de r
+
se obtiene nalmente el rea del horizonte de eventos,
A = 8
_
M
2
+
_
M
4
J
2
_
. (6.112)
De esta forma, la ecuacin (6.107), que limita la extraccin de energa se puede rescribir como
A 0, (6.113)
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 n de estudiar la estructura de esta variedad, se denen las coordenadas de Eddington-
Finkelstein,
6.5. CASO 3 DE KERR: M = A 111
dv = dt +
_
r
2
+M
2
_
(r M)
2
dr (6.115)
d = d +
M
(r M)
2
dr. (6.116)
Ejercicio
Compruebe que la mtrica extrema de Kerr en coordenadas de Eddington-Finkelstein (v, , , )
es
ds
2
=
r
2
2Mr +M
2
cos
2
dv
2
+ 2dvdr
4M
2
r sin
2
dvd
2M sin
2
drd + d
2
+
_
r
2
+M
2
_
2
(r M)
2
M
2
sin
2
sin
2
d
2
. (6.117)
De esta expresin se observa que los vectores =

v
y =

son vectores de Killing.

6.5.1. Horizonte de Killing
La hipersupercie 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
2M
2
=
1
2M
. (6.119)
Para comprobarlo consideramos la familia de hipersupercies = r M, cuyo vector normal
est dado por
n = Ng
(6.120)
= N [g
rr
r
+g
rv
v
+g
r
] . (6.121)
A partir de la mtrica (6.117) se tiene que
g
vv
=
M
2
sin
2
g
vr
=
M
2
+r
2
g
v
=
M
g
r
=
M
g
rr
=
(rM)
2
=
1
=
csc
2
(6.122)
n = N
_
(r M)
2

r
+
_
r
2
+M
2
v
+
M
_
(6.123)
=
N
_
(r M)
2
r
+
_
r
2
+M
2
_
v
+M
_
. (6.124)
n
2
= g
(6.125)
= g
vv
n
v
n
v
+g
+ 2g
vr
n
v
n
r
+ 2g
v
n
v
n
+ 2g
r
n
r
n
(6.126)
n
2
=
N
2
2
_
_
r
2
2Mr +M
2
cos
2
_
_
r
2
+M
2
_
2
+
_
r
2
+M
2
_
2
(r M)
2
M
2
sin
2
M
2
sin
2
+2 (r M)
2
_
r
2
+M
2
_
4M
2
r sin
2
_
r
2
+M
2
_
M 2M
2
(r M)
2
sin
2
_
(6.127)
y al evaluarla en la hipersupercie r = M , es decir = 0, se tiene
n
2
r=M
= 0, (6.128)
con lo cual se muestra que esta hipersupercie es nula. Ahora bien, al evaluar el vector normal
en r = M se obtiene
n|
r=M
=
N
M
2
+a
2
cos
2
_
2M
2
v
+M
(6.129)
= N
_
2M
2
M
2
+a
2
cos
2
__
v
+
1
2M
_
, (6.130)
es decir
n|
r=M
= N
_
2M
2
M
2
+a
2
cos
2
_
(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 hipersupercies
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 supercial para el horizonte r = M es cero ( = 0).
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 = 0, la cual tiene forma de anillo,
x
2
+ y
2
= a en coordenadas de Kerr-Schild. De esta forma, la singularidad = 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 = 0 . Ntese que el
diagrama se extiende innitamente en ambas direcciones.
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.uni-
muenchen.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

Agujero S Clasicos

Caricato da

Informazioni sul documento

Titolo originale

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Agujero S Clasicos

Caricato da

Copyright:

Formati disponibili

Agujeros Negros Clasicos

Eduard Alexis Larraaga R.

= 0), la anterior expresin se puede

se denomina un campo vectorial de Killing. Ntese que la relacin (1.27)

se puede encontrar en trminos de la lagrangiana dada por (1.7)

es conocida como coordenada de Regge-Wheeler, y realizando

innito temporal pasado

innito nulo pasado

no son 2-esfras sino puntos, ya que = 0 y =

tienen los rangos

, son iguales a las del diagrama minkowskiano. Por

son diferentes de la singularidad y por ello

, se puede construir una familia de hipersupercies

va en direccin normal de la hipersu-

() perteneciente a N. Las curvas x

() son geodsicas, y para com-

, mientras que segundo trmino

. Debido a esto, concluimos que

, y debido a que el vector normal es tambin tangente, debe ser proporcional a n

() es una geodsica con vector tangente n

= 0 en una vecindad abierta de

(U) de un conjunto de puntos U M,

como la frontera de la clausura

() de , es el conjunto de todos los puntos p para

utilizada para denir las componentes de los vectores y tensores. Deniremos en

est dada por

es el tensor de torsin. Ahora bien, en universos sin

es el tensor electromagntico. Al realizar la variacin de esta accin con respecto a

no son necesariamente reales. De esta forma podemos distinguir tres

no son reales. La funcion es siempre positiva y la mtrica

. Debido a esto, la coordenada t siempre es como-de-tiempo

son reales y la funcin se vuelve cero all. De esta forma,

, y toma valores negativos para r

se pueden remover mediante un cambio de coordenadas.

deniremos dos coordenadas nulas al estilo de Eddington-

ya no estn presentes y adems se identica

son horizontes de Killing del campo vectorial =

que denen dos familias de hipersupercies. Los valores

= 0 denen las hiper-

. Calcularemos ahora los vectores normales a estas hipersupercies

de tal manera que n

son horizontes de Killing. La gravedad

, y recordando que el vector co-

ya que existe una singularidad en r = r

es una supercie singular en este diagrama, pero esta singularidad no es

) para mostrar que el elemento de lnea se convierte

) cubren solamente la regin 0 < r < r

= 0}. As, la mtrica

, las coordenadas tem-

. Al cruzar esta supercie, la coordenada r es otra vez

es un horizonte de Cauchy, con lo cual se pierde la predictibilidad de las

= M. De esta forma, se tiene

son complejos, es decir que no tiene ceros reales y por ello

son reales y por lo tanto existen dos singularidades coordenadas en = 0. Se

, mientras que toma

son singularidades coordenadas se realiza el cambio a coordenadas

son vectores de Killing.

son horizontes de Killing de los campos vectoriales

, en la regin asintticamente plana. Para comprobar

que denen dos familias de hipersupercies, ya que los

= 0 denen las hipersupercies de inters, r = r

. Calcularemos ahora los vectores

de tal manera que n