Esteban Mato

Agujeros negros de Schwarzschild, Reissner-Nordstrm y Kerr.

Introduccin: En este trabajo se estudian tres soluciones exactas a la ecuacin de Einstein de tipo agujero negro. 1)Schwarzschild, corresponde a la solucin esfricamente simtrica en el vaco. 2)Reissner-Nordstrm: Solucin esfricamente simtrica con carga. 3)Kerr: Solucin con simetra axial en el vaco que representa un agujero negro en rotacin.

1. Solucin de Schwarzschild
Ecuacin de Einstein
1 R R g =T 2

Buscamos soluciones a un caso particular

Vaco: T = 0

R = 0

Simetra esfrica.

Teorema de Birkhoff Cualquier solucin esfricamente simtrica a la ecuacin de Einstein en el vaco debe ser esttica y asintticamente plana. La prueba consiste en tres pasos: 1) Los espacios esfricamente simtricos se pueden foliar con 2-esferas. 2) La mtrica en tales espacios se puede escribir:
dS = d ( a , b )+ r ( a ,b ) d ( , )
2 2 2 2

Siendo a y b coordenadas transversales a las esferas, y r una funcin de estas coordenadas. Mediante un cambio de coordenadas se obtiene: dS 2 = m ( r ,t ) dt 2 + n ( r ,t ) dr 2 + r 2 d 2 ( , )

3) Obtener una solucin utilizando la ecuacin de Einstein en el vaco Para mantener la signatura lorentziana:
dS =e
2 2 (t , r )

dt + e

2 ( t , r )

dr + r d ( , )

Las componentes del tensor de Ricci:

2 Rtt = e +(r ) r r + r r 2 2 2 R rr =r ( r ) + r r + r r 2 R = e [ r ( r r )1 ]+1 2 R = sen R
2 () 2 r 2

0= e

2 Rtt + R rr = ( r + r ) r =+ cte.
2 ()

Cambiando la escala del tiempo se puede ignorar la constante.

Luego,
R =0 e ( 2 r r +1 )=1 r ( r e 2 )=1 Rs 2 e =1 r Rs : Radio de Schwarzschild
2

Para que la ecuacin geodsica reproduzca la gravedad newtoniana en el lmite clsico:

g 00 = 1

2GM r

) ) ( )
1

R s = 2GM

Llegamos a la mtrica de Schwarzschild:

dS = 1
2

2GM 2 2GM dt + 1 r r

dr + r d

Esttica: Ninguno de los coeficientes de la mtrica depende de la coordenada tipo tiempo. El vector de Killing asociado a las traslaciones temporales es ortogonal a la familia de superficies de t=cte. Asintticamente plana: Cuando recuperamos el espacio de Minkowsky. Singularidades La componente rr de la mtrica:
2GM g rr = 1 r r ,

Diverge en el lmite r 2GM . Sin embargo, esto se debe al sistema de coordenadas que hemos elegido. Singularidad: Curvatura se hace infinita. A partir de la curvatura podemos formar varios escalares: g R , R R , R R , R R R , ...

Si alguno de ellos diverge en un punto, este es una singularidad. En r = 2GM ninguno de los escalares anteriores diverge.
2 2 48 G M R = Uno de estos escalares: R r6

r =0 es una singularidad.

Agujeros negros Conos de luz radiales en mtrica de Schwarzschild:

dS =0 = 1
2

2GM 2 2GM dt + 1 r r

) (

dr

dt 2GM = 1 dr r

Cuando r 2GM , la pendiente se hace infinita.

Conos de luz de Schwarzschild

Fig. 1

Los conos de luz parecen ir cerrndose a medida que se acercan a r = 2GM . Nunca veramos al observador llegar a este radio. En realidad este s puede llegar, pero un observador que est lejos jams podra saberlo.

Fig. 2

Observador acercndose al agujero negro emite seales en intervalos 1 . Un observador en un r fijo las recibe en intervalos cada vez ms largos 2 . El progreso en la direccin r se vuelve cada vez ms lento con respecto a la coordenada t. Ahora buscamos coordenadas en las que esto no ocurra.

Se puede resolver la condicin de curvas radiales nulas para obtener:

t =r + cte r 1 Con r = r + 2GM ln 2GM
* *

En trminos de esta coordenada, la mtrica de Schwarzschild:

2GM (dt 2+ dr * 2 )+ r 2 d 2 dS = 1 r
2

Siendo r funcin de r*.

Fig. 3

Ahora los conos de luz no se cierran. Sin embargo, la superficie r=2GM ha sido arrastrada hasta el infinito. Definimos las coordenadas:
v =t + r * u =t r
*

En curvas radiales nulas entrantes, v=cte. En curvas radiales nulas salientes, u=cte.

La mtrica en las coordenadas (v,r):

2GM 2 2 2 dS = 1 dv +( dv dr + dr dv )+ r d r
2

El determinante de la mtrica es:

g =r sin
4 2

Es regular en r=2GM. Condicin de curvas nulas radiales:

dv = dr 2 1 2GM r

{(
0

( entrante )

( saliente )

Fig. 4

r=2GM bien comportado y en un valor finito de las coordenadas. Funciona como punto de no retorno. Se trata de una superficie nula.

Solucin de Schwarzschild mximamente extendida En el sistema de coordenadas (v,r), podemos cruzar el horizonte siguiendo caminos dirigidos hacia el futuro, pero no siguiendo caminos dirigidos hacia el pasado. Si elegimos las coordenadas (u,r), la mtrica cambia:
2GM ds = 1 du 2 ( du dr + dr du )+ r 2 d 2 r
2

Ahora podemos cruzar el horizonte en caminos dirigidos hacia el pasado.

Fig. 5

r 2GM u ,t v ,t

En las coordenadas (u,v), la mtrica:

1 2GM ds = 1 ( du dv + dv du )+ r 2 d 2 2 r
2

Con r definido por:

1 r ( v u )= r + 2GM ln 1 2 2GM

En estas coordenadas, la superficie r=2GM est infinitamente lejos ( v = , u = ) . Definimos:

v =e
' ' v 4GM u 4GM

u =e

En trminos de las variables originales:

v' =

r ' u= 1 2GM

( (

r 1 2GM

) )

1/ 2

e
1/2

( r +t ) 4GM ( r t ) 4GM

La mtrica en estas coordenadas:

2 16G M ds = e 2GM ( dv ' du ' + du' dv ' )+r 2 d 2 r 2 3 r

Ninguno de los coeficientes de la mtrica se anula ni diverge en r=2GM. Estas nuevas coordenadas son nulas. Cambiamos a una coordenada tipo tiempo y otra tipo espacio.
1 ' ' r T = ( v + u )= 1 2 2GM 1 ' ' r R = ( v u )= 1 2 2GM

( (

) )

1 /2

e e

r 4GM

sinh

1/2

r 4GM

t cosh 4GM

( ) ( )
t 4GM

(Coordenadas de Kruskal-Szekeres)
32 G M ds = e r
2 3 3 r 2GM

(dT 2+ dR 2 )+ r 2 d 2

Propiedades de estas coordenadas La coordenada r est definida por: r r 2 2 T R = 1 e 2GM 2GM

Curvas radiales nulas:

T = R+ cte

Horizonte (r=2GM):
T = R

Superficies de r=cte:
T 2 R2 =cte Hiprbolas en el plano R-T

Superficies de t=cte:
T t = tanh R 4GM

( )

Rectas que pasan por el origen

Diagrama de Kruskal

Fig. 6

Distinguimos cuatro zonas:

Fig. 7

Consideremos en el diagrama de Kruskal diferentes superficies tipo espacio de T=cte. Restauramos una coordenada angular.

Fig. 8

Fig. 9

Diagrama conforme del espacio de Schwarzschild En las coordenadas (u',v'), la mtrica tomaba la forma:
ds =
2

16G M e r

r 2GM

( dv du + du dv )+r d

'

'

'

'

Definiendo:
' v '' v = arctan 2GM

u =arctan

''

( ) ( )
u 2GM
'

Con rangos:
'' v 2 2 u ' ' 2 2 '' '' v +u 2 2

La mtrica queda conformemente relacionada al espacio esttico de Einstein. El diagrama conforme:

Fig. 10

i- e i+ son distintos de r=0 (Muchas curvas tipo tiempo no tocan la singularidad). El infinito conforme coincide con el del espacio de Minkowsky. (Espacio asintticamente plano)

2. Agujeros negros ms generales

Teorema No-Hair: Slo existe un pequeo nmero de soluciones estacionarias y asintticamente planas de agujero negro. stas estn completamente caracterizadas por los parmetros de masa, cargas elctrica y magntica, y momento angular. Carga elctrica
A partir de la corriente conservada F = J e , definimos Q como la carga que pasa sobre una hipersuperficie tipo espacio :

Q = d 3 x n J e

n Vector unitario normal. Determinante de la mtrica inducida

Integral de Komar
A partir de la corriente conservada J R = K R , con K vector de Killing asintticamente tipo tiempo, construimos una energa conservada:

1 3 d x n J R 4 G n Vector unitario tipo tiempo. E R=

Utilizando la identidad: K = K R Se puede escribir la corriente como una derivada total, obteniendo:
1 2 (2) d x n K 4 G Vector unitario tipo espacio. E R=

Momento angular de Komar De manera similar, a partir de la corriente R =( ) J = R R conservada con construimos el momento angular de Komar:
J = 1 2 (2) d x n R 8 G

Horizontes de eventos Agujeros negros: Se puede entrar pero no salir. Horizonte de eventos: Hipersuperficie nula que separa los puntos que estn conectados al infinito por caminos tipo tiempo de los que no lo estn. En espacios estacionarios: 1) Tenemos un vector de Killing t asintticamente tipo tiempo. Podemos hacer que la mtrica sea independiente del tiempo.

2) En superficies de t=cte, elegimos coordenadas ( r , , ) tales que la mtrica en el infinito sea la del espacio de Minkowsky en coordenadas esfricas. 3) Elegimos las coordenadas adecuadamente para que estas superficies sean tipo tiempo hasta un cierto r = r H , en el que la superficie es nula. Esto ser un horizonte de eventos. La norma del vector normal a las superficies de r=cte: rr g ( r )( r )= g
g rr =0 Corresponde al horizonte de eventos.

Ejemplo: Espacio de Schwarzschild

2GM g = 1 =0 r
rr

r H = 2GM

Horizontes de Killing
Si un campo vectorial de Killing es nulo sobre una hipersuperficie nula , decimos que es un horizonte de Killing para .

Bajo ciertas condiciones: Todo horizonte de eventos en un espacio estacionario asintticamente plano es un horizonte de Killing para algn campo vectorial .
Si el espacio tiempo es esttico, ser el vector K =( t ) representando las traslaciones temporales en el infinito.

Si el espacio es estacionario pero no esttico, ser axisimtrico con un vector de Killing rotacional R =( ) y ser una combinacion lineal K + H R para alguna constante H .

Singularidades Una singularidad desnuda es una que no est detrs de ningn horizonte. Hiptesis de censura csmica: No se pueden formar singularidades desnudas en un colapso gravitacional de estados iniciales genricos no singulares en un espacio asintticamente plano que obedezca la condicin de energa dominante. Superficie de gravedad
Si tenemos un campo vectorial de Killing con horizonte , la superficie de gravedad:

1 = ( ) 2 (Evaluado en el horizonte)
2

Observador esttico: K =V ( x ) U
U U =1 V = K K

V vale cero en el horizonte, y uno en el infinito (normalizacion de K). Es el factor de redshift. La aceleracin:
a =U U

En trminos de V:
a= ln V

La magnitud:
a = a a = V V V Diverge en el horizonte.
1

Se puede verificar que:

=V a = V V

Coincide con la expresin anterior para . Esta es la aceleracin medida por un observador lejano.

Ejemplo: Espacio de Schwarzschild.

K =( 1,0,0,0 )

2GM U = 1 r

[(

1/ 2

, 0,0,0

El factor de redshift es:

V = 1

2GM r

La aceleracin:
a = GM
2 1/2

2GM r 1 r GM a= 1/ 2 2GM 2 r 1 r La superficie de gravedad:

GM V a= 2 r

1 = 4GM r = 2GM

3. Agujero negro cargado (Reissner-Nordstrm)

An tenemos simetra esfrica por lo que la mtrica ser de la forma: dS 2 =e2 (t , r ) dt 2 + e2 ( t , r ) dr 2 + r 2 d 2 ( , ) Pero ya no estamos en el vaco. El tensor energa momento del electromagnetismo:
1 T = F F g F F 4

Dada la simetra esfrica, el tensor electromagntico ms general tendr componentes:

F tr = f ( r ,t )= F rt F = g ( r , t ) sin = F Correspondiendo estas a las componentes radiales de los campos elctrico y magntico.

E r = F rt B r =
01

F =

F r sin
2

Las ecuaciones de campo: Ecuacin de Einstein y ecuaciones de Maxwell.

g F =0 [ F ]= 0

Resultado: Mtrica de Reissner-Nordstrm d s 2= dt 2+1 dr 2 + r 2 d 2

2GM G ( Q + P ) Con =1 + r 2 M: Se interpreta como la masa del agujero negro. Q: Carga elctrica P: Carga magntica
R se puede Calculando el escalar R verificar que la mtrica tiene una singularidad en r=0. 2 2

La localizacin del horizonte de eventos:

2 2 2GM G ( Q + P ) g =( r )=1 + =0 2 r r rr

r=GM G M G ( Q + P )
2 2 2 2

Hay tres casos posibles:

Fig. 11

Diagrama conforme espacio de ReissnerNordstrm, caso 2:

Fig. 12

Diagrama conforme espacio de ReissnerNordstrm, caso 3:

Fig. 13

4. Agujeros negros en rotacin (Kerr)

Ahora nuestra solucin no tiene simetra esfrica, sino simetra axial. Est dada por la mtrica de Kerr:
2GMr 2GM ar sin 2 2 ds = 1 dt ( dt d + 2 2 sin 2 2 2 2 2 2 2 2 + d dt ) + dr + 2 [ ( r + a ) a sin ] d

Con ( r )= r 2 2GM r + a 2 2 2 2 2 ( r , )= r + a cos M es la integral de Komar, mientras que a es el momento angular por unidad de masa:
a= J M

Esta mtrica es estacionaria, no esttica. No es invariante bajo inversiones temporales pues eso invertira el momento angular del agujero negro. Hay dos vectores de Killing manifiestos:
K =( t ) R =( )

La mtrica de Kerr ademas posee un tensor de Killing: = 2 2 l ( n ) + r 2 g Con l y n:

1 2 2 l = ( r + a , , 0 , a) 1 2 2 n = 2 ( r + a , , 0 , a )

Ambos vectores satisfacen

l l =0

n n = 0

l n =1

Las races de g rr :
= 0 = 0 2 2 2 r 2GMr + a =0

Como en el caso de Reissner-Nordstrm, hay tres posibilidades: GM > a GM = a GM < a En el ltimo caso hay una singularidad desnuda, y el caso extremo es inestable, nos quedamos con el primer caso. Los radios para los cuales g rr se anula son: r=GM G M a
2 2 2

Ambos corresponden a superficies nulas. Son horizontes de eventos pero no son horizontes de K =( ) Killing para el vector . t La norma de ste:
1 2 2 K K = ( a sin )

No se anula en los horizontes. Excepto en los polos, ya es tipo espacio. La superficie donde se anula (Superficie lmite estacionaria): K K =0 =a 2 sin 2 ( r GM )2=G 2 M 2 a2 cos 2 Mientras que el horizonte exterior est dado por: ( r+GM )2=G 2 M 2 a 2

La regin entre estas dos superficies se conoce como la ergoesfera. Dentro de la ergoesfera es inevitable moverse en la direccin de rotacin del agujero negro. La coordenada r no es tipo tiempo por lo que uno puede moverse hacia el horizonte o en la direccin opuesta, e incluso salir de la ergoesfera.

Vista lateral de un agujero de Kerr:

Fig. 14

La singularidad no est en r=0 sino en =0 . Esto r = 0 , = implica: 2 . La rotacin ha suavizado la singularidad y la convirti en un anillo.

Diagrama conforme espacio de Kerr

Fig. 15

Velocidad angular del agujero negro Consideremos un fotn que es emitido en la direccin , en un cierto radio r, en el plano ecuatorial. En el instante en el que es emitido su momento no tiene componentes en las direcciones r ni . La condicin de trayectoria nula:
d s =0 = g tt dt + g t ( dt d + d dt )+ g d gt gt g tt d = dt g g g
2 2 2

Evaluando en la superficie lmite estacionaria:

d =0 , dt d a = 2 2 2 dt 2G M + a

Solucin no nula: Mismo signo que a. Fotn siendo arrastrado en la direccin de rotacin del agujero negro.

Solucin nula: Fotn dirigido en contra de la direccin de rotacin del agujero negro no se mueve en este sistema de coordenadas. Partculas masivas se mueven ms lento que los fotones Son arrastradas en la direccin de rotacin del agujero negro. Este arrastre contina hasta el horizonte. La velocidad angular en el horizonte (definida como vel. ang. mnima de una partcula en el mismo):
d a H = ( r+ )= 2 2 dt ( r ++ a )

( )

El horizonte de eventos exterior es un horizonte de = K + R Killing para: H

5. Conclusin
Encontramos la solucin ms general a la ecuacin de Einstein en el vaco con simetra esfrica. Analizamos la estructura del espacio de Schwarzschild. Distinguimos un agujero negro, una regin separada del resto del espacio por un horizonte de eventos. Definimos conceptos como Horizonte de Killing y superficie de gravedad, y enunciamos el teorema No-Hair, tiles para un tratamiento ms general de los agujeros negros. Abordamos los casos particulares de los agujeros negros de Reissner-Nordstrm y Kerr. Estudiamos sus singularidades y sus estructuras de horizontes, discutiendo segn los valores de sus parmetros de masa, carga o momento angular.