He estado buscando en la web y muchas referencias sin mucho éxito. Mi pregunta es ¿cómo sabemos que, en la solución del agujero negro de Schwarzschild , la superficie con coordenadas (en el sistema de unidades geométricas) define un horizonte de sucesos, en el sentido de que toda curva temporal o nula que atraviese esa superficie -hacia el interior- terminará en la singularidad en ?
Recuerde que la definición de un horizonte de eventos es "el límite pasado del infinito futuro nulo". Lo que esto significa, en lenguaje común, es tomar todos los rayos de luz que escapan al infinito. Luego, encuentre el que apenas logra regresar al infinito. La superficie formada por estos rayos de luz es el horizonte de sucesos.
Ahora, mire el diagrama de Kruskal del espacio-tiempo de Schwarzschild (este es el espacio-tiempo de Schwarzschild escrito en coordenadas que no son singulares en el horizonte).
Las líneas diagonales negras sólidas que se cruzan en el medio corresponden a . Obviamente son las asíntotas de las curvas en la parte superior e inferior que representan , entonces es el horizonte de eventos del espacio-tiempo de Schwarzschild. (bueno, técnicamente, el triángulo superior formado por el superficies es el horizonte de eventos "futuro" del espacio-tiempo, y el triángulo inferior es el horizonte de eventos "pasado" del agujero blanco, pero probablemente no le importe esa pedantería).
En coordenadas de Schwarzschild, si miras el y partes de la métrica, voltean signos en . Por lo tanto para el la dirección es temporal y la la dirección es espacial. El cono de luz de tiempo futuro de cualquier evento dentro del horizonte apunta hacia valores más pequeños de .
Intentaré una respuesta desde una perspectiva diferente al resto.
La solución de Schwarzschild es la solución de vacío para un espacio-tiempo estático , esféricamente simétrico.
Las coordenadas de Schwarzschild son "agradables" para la solución por al menos dos razones:
(1) el elemento de línea lejos del origen espacial, en estas coordenadas, se acerca al elemento de línea del espacio-tiempo plano en coordenadas esféricas
(2) el área de superficie de una esfera en coordenadas radiales es
Sin embargo, resulta que las coordenadas no cubren todo el espacio-tiempo ya que el requisito de que el espacio-tiempo sea estático no puede satisfacerse para todo el espacio-tiempo.
Esta es esencialmente la razón por la que hay una singularidad coordinada en , el límite entre la región exterior, donde la geometría es estática, y la región interior donde la geometría es dinámica.
Hay una transformación de coordenadas de Schwarzschild. coordenadas a Kruskal-Szekeres coordenadas de la siguiente manera:
Para la región exterior,
y, para la región interior,
En estas coordenadas, el elemento de línea es
dónde se define implícitamente por
Por lo tanto, en estas coordenadas, no hay singularidad de coordenadas en . De hecho, tenemos
para
Pero, a partir del elemento de línea, vemos que cuando
el intervalo es nulo (como la luz), por lo tanto, las líneas del mundo con son como luz; la superficie es una superficie nula, es decir, se encuentra sobre un cono de luz. Sólo las entidades sin masa pueden permanecer en .
Existe una verdadera singularidad espaciotemporal para . En el diagrama, corresponde a la hipérbola
Las asíntotas son las cono de luz. Inmediatamente se sigue que la singularidad está en el futuro de cualquier línea de mundo en la región interior.
A continuación se muestra una imagen, de "Gravitación" de MTW, de una comparación de varias geodésicas del espacio-tiempo de Schwarzschild en coordenadas de Schwarzschild y coordenadas de Kruskal-Szekeres.
Esto es lo que demostraron Penrose y Hawking con los teoremas de singularidad de Penrose-Hawking . Específicamente, y cito del artículo vinculado:
Penrose concluyó que siempre que haya una esfera donde todos los rayos de luz salientes (y entrantes) convergen inicialmente, el límite del futuro de esa región terminará después de una extensión finita, porque todas las geodésicas nulas convergerán. Esto es significativo, porque los rayos de luz salientes de cualquier esfera dentro del horizonte de una solución de agujero negro están todos convergiendo.
Esto prueba que cualquier línea del mundo que cruce el horizonte de eventos debe terminar en la singularidad.
jerry schirmer
jose h