La Solucin de Schwarzschild: Agujeros Negros no rotantes.

Eduardo Rodrguez S. Departamento de Fsica, Facultad de Ciencias Fsicas y Matemticas Universidad de Concepcin 6 de septiembre de 2002

Mtricas esfricamente simtricas

Una mtrica esfricamente simtrica es aquella que tiene las mismas simetras que una esfera. Estas simetras se caracterizan a travs de los vectores de Killing. Los vectores de Killing para la esfera satisfacen las relaciones de conmutacin del grupo de rotaciones en 3 dimensiones !" (3): [#1 $ #2 ] = #3 $ [#2 $ #3 ] = #1 $ [#3 $ #1 ] = #2 % (1) (2) (3)

El teorema de Frobenius asegura que si los conmutadores de los vectores de Killing se cierran entre s, entonces sus curvas integrales se unen para formar subvariedades dentro de la variedad en la cual estn denidos. En nuestro caso, las subvariedades formadas son esferas, por supuesto. Esto signica que un espacio esfricamente simtrico es uno que puede ser foliado con esferas. Esta estructura de foliacin sugiere que pongamos coordenadas en nuestra variedad de un modo que se adapte a la foliacin. En cada esfera ponemos coordenadas (&$ ') en las cuales la mtrica toma la forma (2 = (&2 + sin2 &('2 % (4)

Dado que consideramos un espacio-tiempo cuadridimensional, necesitamos dos coordenadas ms, las que llamamos ) y *. En trminos de ()$ *$ &$ ') la mtrica toma la forma (+2 = ,!! ()$ *) ()2 + ,!" ()$ *) (()(* + (*()) + ,"" ()$ *) (*2 + -2 ()$ *) (2 % (5) Nuestra hiptesis de simetra esfrica prohibe que los coecientes mtricos ,!! , ,!" , ,"" dependan de las coordenadas &$ ', ya que, si este fuera el caso, la mtrica cambiara a medida que nos movemos sobre una de las esferas, contradiciendo la hiptesis. Los trminos cruzados del tipo ()(&$ ()('$ (*(&$ (*(' 1

son eliminados asegurndonos que los vectores tangentes ./.) y ./.* sean ortogonales a las esferas. Aqu - = - ()$ *) es una funcin an no determinada a la que slo se la ha dado un nombre sugerente. Invirtiendo - ()$ *) podemos pasar de las coordenadas ()$ *$ &$ ') a las coordenadas ()$ -$ &$ '). La mtrica ser entonces (+2 = ,!! ()$ -) ()2 + ,!# ()$ -) (()(- + (-()) + ,## ()$ -) (-2 + -2 (2 % (6)

Buscamos ahora una funcin 0 = 0 ()$ -) tal que en el sistema coordenado (0$ -$ &$ ') no hayan trminos cruzados (0(- + (-(0. Esto es, deseamos escribir ,!! ()2 + ,!# (()(- + (-()) + ,## (-2 = 1(02 + 2(-2 $ en donde 1 y 2 son dos funciones y (0 = (02 .0 .0 () + (-$ .) . 2 2 .0 .0 .0 .0 2 (()(- + (-()) + = () + (-2 % .) .) .. 2 (8) (9) (7)

Esto es equivalente a los requerimientos 1 1 .0 .) = ,!! $ (10) (11) (12)

.0 .0 (()(- + (-()) = ,!# $ .) . 2 .0 1 + 2 = ,## % .-

Estas son tres ecuaciones diferenciales para las tres incgnitas 0 ()$ -), 1 ()$ -) y 2 ()$ -), de modo que pueden resolverse (en principio). Por lo tanto, podemos poner nuestra mtrica en la forma (+2 = 1 (0$ -) (02 + 2 (0$ -) (-2 + -2 (2 % (13)

Nuestro espacio-tiempo es lorentziano, esto es, tiene signatura ($ +$ +$ +). Motivados por la mtrica del espacio de Minkowski, escogemos 1 negativa y 2 positiva. Para resaltar este hecho, escribimos la mtrica en trminos de dos funciones 3 y 4 como (+2 = 52$(%&#) (02 + 52'(%&#) (-2 + -2 (2 % (14)

Esta es la mtrica ms general posible para un espacio-tiempo esfricamente simtrico. Para continuar avanzando, necesitamos considerar las ecuaciones de Einstein.

La Solucin de Schwarzschild

Buscamos una solucin con simetra esfrica de las ecuaciones de Einstein en el vaco, es decir, para un tensor de momntum-energa nulo. Ellas son 1 (15) 6() 6,() = 0% 2 Tomando la traza (esto es, multiplicando por , () ) encontramos inmediatamente que 6 = 0. Luego, las ecuaciones de Einstein en el vaco pueden escribirse como 6() = 0% Nuestras deniciones para los tensores de Ricci y de Riemann son 6() 6+ ,() en donde + () = 6* $ (*) = .( + .) + + ), (, + * (* ), + * $ )* (, (17) (18) (16)

son los smbolos de Christoel de segunda especie: + = ()

1 +, , (.( ,), + .) ,,( ., ,() ) % (19) 2 Un clculo directo nos da .3 .3 .4 2('$) $ % = $ % = 5 % = $ %% %# ## .0 ..0 .3 2($') .4 .4 # = 5 $ # = $ $ # = %% %# ## ..0 .# = -52' $ # = - sin2 &52' $ -.. 1 $ .. = sin & cos &$ #- = 1 cos & . = $ . = $ #. -. sin & # " # " 2 2 .23 .24 .4 .3 .4 .3 .3 .4 $ + + 6%#%# = 52('$) .02 .0 .0 .0 .-2 ..- .6%-%6%-#6%.%. 6%.#. 6#-#6#.#. 6-.-. .3 $ ..4 = -52$ $ .0 = -52' = - sin2 &52' = = = = .3 $ ..4 - sin2 &52$ $ .0 .4 $ -52' ..4 $ - sin2 &52' .- sin2 & 1 52' $ 3

6%% 6%# 6## 6-6..

= 5 =

2($')

"

.23 + .-2

.3 .-

2 2

# " # 2 .24 .4 .3 .4 2 .3 .3 .4 + (20) $ + .- .- ..02 .0 .0 .0 # " 2 (21) # .3 .4 2 .4 (22) $ .- .- .(23) (24)

.23 .24 .4 .3 .4 + + .02 .0 .0 .0 .-2 .3 .4 1 $ = 1 + 52' ..= 52('$) = sin2 &6-- %

2 .4 $ - .0 "

.3 .-

Introduciendo (21) en las ecuaciones de Einstein 6() = 0 vemos que .4/.0 = 0, de donde 4 = 4 (-) % (25) Si tomamos la derivada temporal de 6-- y usamos .4/.0 = 0 encontramos .23 = 0$ .0.de donde es evidente que 3 (0$ -) = 7 (-) + , (0) % Nuestra mtrica ha tomado la forma (+2 = 52/ (#) 520(%) (02 + 52'(#) (-2 + -2 (2 % Reescalando la coordenada temporal de acuerdo a (0 ! 50(%) (0 encontramos que (+2 = 52/ (#) (02 + 52'(#) (-2 + -2 (2 % (28) Como vemos, todos los coecientes mtricos son independientes de la coordenada temporal 0; por lo tanto, hemos mostrado que cualquier mtrica esfricamente simtrica para el vaco posee un vector de Killing tipo tiempo. Dado que 6%% = 0 y 6## = 0, la combinacin 52('$) 6%% + 6## tambin se anular: 2 .3 .4 + = 0% (29) 52('$) 6%% + 6## = - ..Dado que 3 y 4 son ahora funciones slo de -, esto implica que 3+4 = constante. Reescalando convenientemente nuestras coordenadas podemos deshacernos de la constante y poner 3 (-) = 4 (-) % (30) Reemplazando en 6-- = 0 hallamos (3 = 1% 52$ 1 + 2(4 (27) (26)

(31)

Esto es completamente equivalente a ( 2$ -5 = 1% (52$ = 1 + (32)

8 $ (33) donde 8 es una constante de integracin. Nuestra mtrica ha llegado a ser 8 2 8 1 2 (+2 = 1 + (0 + 1 + (- + -2 (2 % (34)

La solucin de esto es

Puede comprobarse que esta forma para la mtrica efectivamente satisface todas las ecuaciones 6() = 0, para cualquier valor de 8. Comparando con el lmite newtoniano (- ! 1) encontramos que 8 puede ser interpretada como 8 = 29 , en donde 9 representa la masa newtoniana que mediramos estudiando rbitas a grandes distancias de la fuente gravitacional. El resultado nal del clculo es la mtrica de Schwarzschild: 1 29 29 2 2 (+ = 1 (0 + 1 (-2 + -2 (2 % (35) Esta mtrica es vlida, por ejemplo, en el exterior de un objeto esfrico masivo como una estrella o un planeta. Tambin es la mtrica apropiada para describir un agujero negro, donde su validez se extiende en todo el rango de la variable radial, 0 : - : 1.

Singularidades en la mtrica de Schwarzschild

Al observar el elemento de lnea 1 29 29 (02 + 1 (-2 + -2 (2 (+2 = 1 -

(36)

nos percatamos de que ,%% ! 1 cuando - ! 0 y que j,## j ! 1 cuando - ! 29 , sealando la ocurrencia de algo extrao en estos radios. Sin embargo, los coecientes mtricos son dependientes de la eleccin del sistema coordenado, y no son por lo tanto cantidades fsicamente relevantes. Sin embargo, si calculamos el invariante de curvatura 6()+, 6()+, = 489 2 $ -6 (37)

vemos inmediatamente que diverge para - ! 0, convencindonos que este radio representa una legtima singularidad fsica. Esto era de algn modo esperable, ya que hemos considerado una masa puntual 9 ubicada en el origen de coordenadas.

Interesantemente, ningn invariante de curvatura se hace innito para - = 29 , lo cual nos induce a pensar que no es realmente singular, sino que hemos simplemente escogido un mal sistema coordenado. Ms adelante llevaremos a cabo un estudio de las geodsicas de la geometra de Schwarzschild, y mostraremos que un observador en una geodsica radial puede cruzar - = 29 en un intervalo nito de su tiempo propio. Finalmente, construiremos un sistema de coordenadas en el cual no hay ninguna singularidad en - = 29 , y el cual permite exhibir de modo transparente la estructura causal de la geometra.

Geodsicas en la geometra de Schwarzschild

(;+ (;, (2 ;( =0 + ( +, (< (< (<2

Para considerar la ecuacin de las geodsicas (38)

necesitamos evaluar los smbolos de Christoel para la mtrica de Schwarzschild. Estos son % %# # -.. = 9 $ - (- 29 ) # = %% (- 29 ) 9 $ -3 # = ## 9 $ - (- 29 ) 1 - = $ #(39)

= (- 29 ) $ = sin & cos &$

# = (- 29 ) sin2 &$ .. . = #. 1 $ . = -. cos & % sin &

As, las geodsicas ;( = ;( (<) quedan descritas por las cuatro ecuaciones (0 (29 (2 0 = 0$ + (<2 - (- 29) (< (< 0 = 2 2 ((- 29 ) 9 (0 (2 9 + + 2 3 (< - (- 29 ) (< (< " 2 # 2 (' (& 2 $ + sin & (- 29) (< (< 2 (2 & (' 2 (- (& sin & cos & + - (< (< (< (<2 2 ( ' 2 (- (' cos & (& (' +2 + - (< (< sin & (< (< (<2 (40)

(41)

= 0$ = 0%

(42) (43)

La compleja tarea de resolver estas ecuaciones se ve inmensamente simplicada por el alto grado de simetra de la mtrica de Schwarzschild. Conocemos de la existencia de cuatro vectores de Killing; tres asociados con la simetra esfrica 6

(los generadores de rotaciones de !" (3)) y uno con la invariancia bajo traslaciones temporales. Con cada uno de estos hay asociada una cantidad conservada a lo largo de las geodsicas; esto es, si ;( = ;( (<) es una geodsica y =( es un vector de Killing, entonces (;) (;( r) =( = 0% (44) (< (< Esta ecuacin nos dice que la cantidad =( (;( /(< es constante a lo largo de la geodsica ;( = ;( (<). Adems, existe otra constante del movimiento que siempre tenemos para geodsicas. La cantidad > = ,() (;( (;) (< (< (45)

es constante, gracias a la compatibilidad mtrica, sobre la geodsica ;( = ;( (<). Los vectores de Killing para la mtrica de Schwarzschild son = ?1 ?2 ?3 = . $ .0

sin ' . . + $ .& tan & .' cos ' . . + $ = sin ' .& tan & .' . % = .' = cos '

En el espacio-tiempo plano, estos vectores conducen a la conservacin de la energa y de las tres componentes del momntum angular. En particular, la conservacin de la direccin del momntum angular implica que la partcula se mover en un plano. Por lo tanto, intentamos la solucin &= @ % 2 (46)

Esta condicin inmediatamente producee ?1 = ?2 = 0. Los vectores de Killing restantes tienen componentes covariantes dadas por 29 =( = 1 A% $ (47) ( (?3 )( = -2 sin2 &A . $ ( (48) de modo que las cantidades conservadas sobre la geodsica ;( = ;( (<) asociadas a ellos son 29 (0 (;( = 1 = B$ (49) =( (< (< (;( (' (?3 )( = -2 = ?$ (50) (< (< 7

en donde hemos usado sin & = 1. De (45), 2 1 2 2 (0 29 ((' 29 2 1 + 1 += >% (< (< (< Reemplazando (49) y (50) hallamos B 2 + Deniendo # (-) = = 2 1 29 ? 1 +> $ 2 -2 ?2 > >9 9 ?2 + 2 3 $ 2 22 ((< 2 2 ? 29 + 1 + > = 0% -2 (52) (51)

(53)

podemos escribir (52) en la forma 1 2 ((< + # (-) = 1 2 B % 2 (54)

Esta ecuacin corresponde precisamente a la de una partcula clsica de masa unitaria y energa 1 B 2 movindose en un potencial unidimensional # (-). 2 La forma del potencial # (-) queda determinada por el valor de ?; para cada caso, el comportamiento de la rbita se determina comparando 1 B 2 con # (-). 2 Para partculas sin masa (> = 0), el potencial presenta una barrera (excepto para ? = 0) que puede ser traspasada por fotones sucientemente energticos. Si la energa 1 B 2 del fotn coincide con el peak de la barrera, tendremos 2 rbitas circulares. Estas ocurren para los radios (obtenidos a partir de (# /(- = 0): - = 39% (55) Sin embargo, estas rbitas son inestables, ya que corresponden a un mximo del potencial. Para partculas masivas (> = 1) tambin existen rbitas circulares: sus radios estn dados por 2 3 s 2 2 - ? 29 5 41 1 3 % (56) = 29 29 ?

Como vemos, la existencia de rbitas circulares para partculas masivas est p condicionada a la regin ?/29 3. La estabilidad de estas rbitas se determina evaluando el signo de (2 # /(-2 en cada uno de estos radios. El resultado es que la rbita con - = - es siempre inestable, en tanto que la rbita con - = -+ 8

p es siempre estable, para cualquier valor ?/29 3 del momntum angular. En el lmite ? 29 , estos radios quedan dados por las expresiones asintticas - = 39$ -+ = ?2 % 9 (57)

Como vemos, la rbita estable se aleja cada vez ms a medida que aumentamos ?, en tanto que la rbita inestable se acerca al valor 39 correspondiente al caso sin masa.

En la gura se presentan los radios -+ y - de las rbitas circulares para partculas masivas como funcin del momntum angular ?. El valor ms pequeo de ? p para el cual existen rbitas circulares para partculas masivas es ?/29 = 3: en este caso ambos radios coinciden en el valor -1 = 69% (58) Este radio es tambin el menor radio para el cual existen rbitas circulares estables en la geometra de Schwarzschild.

En la gura vemos el potencial efectivo # (-) como funcin del radio para un valor de ? = 49 del momntum angular. Aqu los radios de las rbitas circulares son - /29 = 2 y -+ /29 = 6. 9

Existen rbitas no acotadas, que vienen del innito y dan la vuelta, as como rbitas acotadas pero no circulares que oscilan alrededor del radio estable -+ . Finalmente, hay tambin rbitas que vienen desde innito y siguen hasta - = 0; esto puede ocurrir si la partcula tiene una energa superior a la de la barrera, p o si ?/29 : 3, en cuyo caso la barrera no existe. Resumiendo, podemos decir que la mtrica de Schwarzschild posee rbitas circulares estables para - C 69 y rbitas circulares inestables para 39 : - : 69 . Es posible encontrar una expresin analtica cerrada para una geodsica radial; esto es, una que cumpla con & = @/2 y ' = 0. En este caso, poniendo ? = 0 en (52) hallamos ((D 2 29 $ =B 1 2

(59)

en donde hemos reemplazado el parmetro afn < por el tiempo propio D . Para jar ideas, pongamos B = 1; entonces r (29 = % (60) (D Para una geodsica radial que viene de - = -0 a - = 0 tendremos (-/(D : 0; la solucin de (60) en este caso es 49 -0 322 - 322 D= $ (61) 3 29 29 en donde hemos utilizado la condicin inicial - (D = 0) = -0 . Tambin es posible escribir esta trayectoria en funcin del tiempo coordenado 0. Para ello consideramos la velocidad ordinaria r ((-/(D 29 29 = = 1 % (62) (0 (0/(D La solucin es r r 49 -0 322 - 322 -0 0 = 3 + +3 3 29 29 29 29 ! p p p p - + 29 -0 29 p p % +29 ln p p -0 + 29 - 29

(63)

De estas expresiones es posible deducir que el observador que cae radialmente alcanza - = 0 en un intervalo nito de su tiempo propio, en tanto que es necesario un lapso innitamente largo de tiempo coordenado para que este mismo alcance el radio de Schwarzschild - = 29. Sin embargo, una imagen vale ms que

10

mil palabras.
4 3.5

2.5

r 2M

1.5

r = r (t )

0.5

r = r ( )
0 2 4

2M

10

12

14

t 2M

Si un observador en una geodsica radial puede alcanzar - = 29 en un intervalo nito de su tiempo propio, entonces es legtimo preguntarnos qu clase de geometra mide a medida que cae. La curvatura es medida por las componentes del tensor de Riemann en el marco de referencia local del viajero. Para calcular estas componentes, procedemos en dos pasos. Primero calculamos las componentes en la ttrada ortonormal esttica E
%

E# EE.

122 29 = 1 (0$ 122 29 = 1 (-$ = -(&$ = - sin &('$

(64) (65) (66) (67) (68)

localizada en el punto del espacio-tiempo por el cual l est pasando. El resultado es 6%#%# 6-.-. = = 29 $ -3 29 $ -3 6%-%- = 6%.%. = 6#-#- = 6#.#. 9 $ -3 9 = 3% (69) (70)

2 2 (+2 = E % + (E # )2 + E - + (E . )2 $

A continuacin calculamos las componentes en el marco de referencia del viajero aplicando un boost en la direccin - a las componentes del marco esttico, con velocidad 122 p ,## ((-/(0 29 = = % (71) F=p 1 29/,%% (0 El resultado es que todas las componentes del tensor de Riemann quedan inalteradas por la transformacin: si 5+ es el vector base radial del viajero, y 53 = G

11

es su vector base temporal, entonces 63 +3 + 6-.-. = = 29 $ -3 29 $ -3 63 -3 - = 63 .3 . = 6+-+- = 6+.+. 9 $ -3 9 = 3% (72) (73)

La conclusin de este clculo es que ninguna de las componentes del tensor de Riemann se hace innita en el marco de referencia local del viajero, implicando que ste no mide una curvatura innita al cruzar - = 29. Por lo tanto, nos vemos forzados a aceptar la no singularidad del radio de Schwarzschild.

Las coordenadas de Kruskal-Szekeres

Kruskal y Szekeres usan una coordenada radial adimensional G y una coordenada temporal adimensional F relacionadas con las coordenadas de Schwarzschild - y 0 por ) G = (-/29 1)122 5#244 cosh (0/49) cuando - C 29$ (74) F = (-/29 1)122 5#244 sinh (0/49 ) ) G = (1 -/29 )122 5#244 sinh (0/49 ) cuando - : 29% (75) F = (1 -/29 )122 5#244 cosh (0/49) El elemento de lnea en estas coordenadas toma la forma (+2 = 329 3 #224 2 5 (G (F 2 + -2 (2 $ (76)

Las coordenadas de Kruskal tienen un nmero de propiedades importantes. En primer lugar, observamos que la singularidad - = 0 corresponde a F2 G2 = 1, de modo que ahora hay dos singularidades, y no una: ellas estn dadas por 122 122 F = + 1 + G2 $ F = 1 + G2 % (78) Asimismo, la regin exterior - 29 es determinada por G2 F 2 , de modo que hay ahora dos regiones exteriores: G + jFj $ G jFj % (79)

en donde - = - (G$ F) es una funcin de G y F denida implcitamente por 1 5#224 = G2 F 2 % (77) 29

As, vemos que las coordenadas de Kruskal han extendido analticamente la solucin de Schwarzschild para llegar a cubrir toda la variedad. De (77), las curvas - constante son las hiprbolas G2 F2 = constante$ 12

en tanto que las curvas 0 constante son lneas rectas que pasan por el origen del plano (G$ F). Esto puede ser visto de las ecuaciones de transformacin inversas 1 5#224 = G2 F 2 en I, II, III y IV$ 29 0 2 arctanh (F/G) en I y III, = 2 arctanh (G/F) en II y IV. 29 1 0 F = G tanh en I y III, 2 29 1 0 en II y IV. G = F tanh 2 29 Por otro lado, las geodsicas radiales nulas (& = (' = (+ = 0 satisfacen (G2 = (F 2 $ de donde (G = 1% (F (81) (82) (80)

Esto signica que los conos de luz radiales en el diagrama de Kruskal tienen la misma forma que en un diagrama espacio-tiempo de relatividad especial.

13

Diagrama de Kruskal 2

1.5

0.5

-0.5

-1

-1.5

-2 -2

-1.5

-1

-0.5

0 u

0.5

1.5