Photon surfaces extension in general spherical dust collapse

Resumen Técnico: Extensión de las Superficies de Fotones en el Colapso de Polvo Esférico General

Planteamiento del Problema
Este artículo extiende el análisis de las superficies de fotones en el colapso de polvo esférico desde el caso marginalmente ligado ($k(x) = 0$) hacia el caso general, no marginalmente ligado, donde la función de energía $k(x)$ del modelo de Lemaître–Tolman–Bondi (LTB) es distinta de cero. En el régimen marginalmente ligado, la ecuación de evolución LTB admite una solución elemental en forma cerrada, lo que facilita la derivación de la dinámica de la superficie de fotones. Sin embargo, para $k(x) \neq 0$, la ecuación de evolución produce únicamente soluciones implícitas o paramétricas, y las ecuaciones diferenciales de la superficie de fotones adquieren términos adicionales dependientes de $k(x)$ y su derivada. La cuestión central abordada es si el panorama cualitativo establecido en el caso marginalmente ligado —específicamente respecto a la naturaleza de la extensión de la superficie de fotones y su relación con la estructura causal de la singularidad central— permanece robusto cuando se relaja la suposición de energía de ligadura nula.

Metodología
Los autores emplean una formulación de sistemas dinámicos para analizar la condición de la superficie de fotones.

1. Formulación de Sistemas Dinámicos: Basándose en el trabajo previo (Artículo I), la condición geométrica para que una hipersuperficie de tipo tiempo sea una superficie de fotones se reformula como un sistema dinámico de primer orden no autónomo. Para la métrica LTB general con $k(x) \neq 0$, este sistema involucra una variable auxiliar $y(t)$ que representa la inclinación (tilt) de la hipersuperficie respecto a los observadores comóveles.
2. Análisis de Admisibilidad: Los autores investigan las condiciones iniciales requeridas para que la superficie de fotones se extienda continuamente desde la región exterior de Schwarzschild ($r=3M$) hacia la nube de polvo en colapso. Utilizan teoremas de comparación para ecuaciones diferenciales ordinarias (EDO) y las soluciones implícitas de la ecuación de evolución LTB para descartar extensiones físicamente inaceptables (específicamente, aquellas con una inclinación inicial $|y_0| < 1$).
3. Análisis de Geodésicas Nulas: Una vez identificada la única extensión físicamente aceptable como una hipersuperficie nula generada por geodésicas radiales nulas salientes, el problema se reduce al análisis del comportamiento de estas geodésicas cerca de la singularidad central. Los autores utilizan la clasificación de la estructura causal del modelo LTB general (basada en los parámetros $n$ y $a$ derivados de las expansiones de Taylor de los perfiles de masa y energía) y emplean argumentos de sub y supersoluciones de comparación.
4. Transformación de Coordenadas: En el análisis de singularidades desnudas, los autores utilizan coordenadas de radio de área $(r, x)$ para manejar la naturaleza implícita de la solución LTB, tratando el radio de área $r$ como una coordenada de tiempo invertida para establecer límites en las geodésicas nulas.

Contribuciones Clave y Resultados

• Unicidad de la Extensión Nula: El artículo demuestra que, independientemente de la energía de ligadura inicial no nula ($k(x) \neq 0$), la única extensión físicamente aceptable de la esfera de fotones exterior ($r=3M$) hacia la nube de polvo en colapso es una hipersuperficie nula generada por geodésicas radiales nulas salientes. Se demuestra que todas las extensiones de tipo tiempo con una inclinación inicial $|y_0| < 1$ son incompatibles con las condiciones de acoplamiento en el límite de la nube.
• Teorema 3.2 (Teorema de la Extensión Nula): El modelo de colapso de polvo esférico general admite una única extensión físicamente aceptable de la superficie de fotones exterior, la cual es estrictamente una hipersuperficie nula definida por la ecuación de la geodésica radial nula saliente.
• Teorema 4.1 (Alcanzabilidad de la Singularidad): El artículo establece una dicotomía estricta respecto al destino de la superficie de fotones:
  • Singularidad Cubierta (Agujero Negro): Si la singularidad central está cubierta (por ejemplo, $n \geq 4$ o $n=3$ con un coeficiente $a$ suficientemente pequeño), la superficie de fotones termina en el centro regular ($x=0$) en un tiempo estrictamente anterior a la formación de la singularidad ($t < t_s(0)$). No emanan geodésicas nulas radiales salientes de la singularidad.
  • Singularidad Desnuda: Si la singularidad central es desnuda (por ejemplo, $n \in \{1, 2\}$ o $n=3$ con un $a$ suficientemente grande), la superficie de fotones alcanza la singularidad central ($t \to t_s(0)$). Además, una familia infinita de geodésicas radiales nulas salientes emana de la singularidad desnuda y escapa al exterior, situándose estrictamente por debajo de la superficie de fotones.
• Robustez del Panorama Cualitativo: Los resultados demuestran que el comportamiento cualitativo de las superficies de fotones en el colapso LTB es independiente de la suposición de ligadura marginal. La dicotomía estructural entre los estados finales de agujero negro y singularidad desnuda persiste en el caso general.

Significancia y Reivindicaciones
El artículo sostiene que el vínculo entre la estructura global de la superficie de fotones y la naturaleza causal local de la singularidad central es una característica robusta del modelo LTB, y no un artefacto de la simplificación $k(x)=0$. Al extender el análisis al caso general no marginalmente ligado, los autores confirman que la superficie de fotones alcanza la singularidad central si y solo si la singularidad es desnuda.

Los autores sugieren que esta dicotomía estructural tiene implicaciones para las firmas observacionales del colapso gravitatorio. Específamente, la existencia de una familia infinita de geodésicas nulas salventes con corrimiento al rojo (redshift) arbitrariamente grande en el caso de la singularidad desnuda implica que la sombra temprana de una singularidad desnuda en formación debería diferir sustancialmente de la de un agujero negro en formación. Esta distinción podría ser detectada potencialmente por instrumentos observacionales de próxima generación, como el Telescopio del Horizonte de Eventos (Event Horizon Telescope), proporcionando una prueba para la conjetura de censura cósmica. El artículo concluye que estos hallazgos apoyan la visión de que la formación y las características de tiempo temprano de las sombras de agujeros negros están profundamente ligadas a la estructura causal del espaciotiempo subyacente.