Photon surfaces extension in general spherical dust collapse

Technical Summary: Photon Surfaces Extension in General Spherical Dust Collapse

Problem Statement
This paper extends the analysis of photon surfaces in spherical dust collapse from the marginally bound case ($k(x) = 0$) to the general, non-marginally bound case where the energy function $k(x)$ of the Lemaître–Tolman–Bondi (LTB) model is non-zero. In the marginally bound regime, the LTB evolution equation admits a closed-form elementary solution, facilitating the derivation of photon surface dynamics. However, for $k(x) \neq 0$, the evolution equation yields only implicit or parametric solutions, and the photon surface differential equations acquire additional terms dependent on $k(x)$ and its derivative. The central question addressed is whether the qualitative picture established in the marginally bound case—specifically regarding the nature of the photon surface extension and its relationship to the causal structure of the central singularity—remains robust when the assumption of zero binding energy is relaxed.

Methodology
The authors employ a dynamical-systems formulation to analyze the photon surface condition.

1. Dynamical System Formulation: Building on previous work (Paper I), the geometric condition for a timelike hypersurface to be a photon surface is recast as a non-autonomous first-order dynamical system. For the general LTB metric with $k(x) \neq 0$, this system involves an auxiliary variable $y(t)$ representing the tilt of the hypersurface relative to comoving observers.
2. Admissibility Analysis: The authors investigate the initial conditions required for the photon surface to extend continuously from the exterior Schwarzschild region ($r=3M$) into the collapsing dust cloud. They utilize comparison theorems for ordinary differential equations (ODEs) and the implicit solutions of the LTB evolution equation to rule out physically unacceptable extensions (specifically, those with initial tilt $|y_0| < 1$).
3. Null Geodesic Analysis: Once the unique physically acceptable extension is identified as a null hypersurface generated by outgoing radial null geodesics, the problem reduces to analyzing the behavior of these geodesics near the central singularity. The authors utilize the causal structure classification of the general LTB model (based on parameters $n$ and $a$ derived from Taylor expansions of the mass and energy profiles) and employ sub- and supersolution comparison arguments.
4. Coordinate Transformation: In the analysis of naked singularities, the authors utilize area-radius coordinates $(r, x)$ to handle the implicit nature of the LTB solution, treating the areal radius $r$ as a reversed time coordinate to establish bounds on the null geodesics.

Key Contributions and Results

• Uniqueness of the Null Extension: The paper proves that regardless of the non-zero initial binding energy ($k(x) \neq 0$), the only physically acceptable extension of the exterior photon sphere ($r=3M$) into the collapsing dust cloud is a null hypersurface generated by outgoing radial null geodesics. All timelike extensions with an initial tilt $|y_0| < 1$ are shown to be incompatible with the matching conditions at the cloud boundary.
• Theorem 3.2 (Null Extension Theorem): The general spherical dust collapse model admits a unique physically acceptable extension of the exterior photon surface, which is strictly a null hypersurface defined by the outgoing radial null geodesic equation.
• Theorem 4.1 (Singularity Reachability): The paper establishes a strict dichotomy regarding the fate of the photon surface:
  • Covered Singularity (Black Hole): If the central singularity is covered (e.g., $n \geq 4$ or $n=3$ with a sufficiently small coefficient $a$), the photon surface terminates at the regular center ($x=0$) at a time strictly before the singularity forms ($t < t_s(0)$). No outgoing null geodesics emanate from the singularity.
  • Naked Singularity: If the central singularity is naked (e.g., $n \in \{1, 2\}$ or $n=3$ with a sufficiently large $a$), the photon surface reaches the central singularity ($t \to t_s(0)$). Furthermore, an infinite family of outgoing radial null geodesics emanates from the naked singularity and escapes to the exterior, lying strictly below the photon surface.
• Robustness of Qualitative Picture: The results demonstrate that the qualitative behavior of photon surfaces in LTB collapse is independent of the marginally bound assumption. The structural dichotomy between black hole and naked singularity end states persists in the general case.

Significance and Claims
The paper claims that the link between the global structure of the photon surface and the local causal nature of the central singularity is a robust feature of the LTB model, not an artifact of the $k(x)=0$ simplification. By extending the analysis to the general non-marginally bound case, the authors confirm that the photon surface reaches the central singularity if and only if the singularity is naked.

The authors suggest that this structural dichotomy has implications for the observational signatures of gravitational collapse. Specifically, the existence of an infinite family of escaping null geodesics with arbitrarily large redshift in the naked singularity case implies that the early-time shadow of a forming naked singularity should differ substantially from that of a forming black hole. This distinction could potentially be detected by next-generation observational instruments, such as the Event Horizon Telescope, providing a test for the cosmic censorship conjecture. The paper concludes that these findings support the view that the formation and early-time features of black hole shadows are deeply tied to the causal structure of the underlying spacetime.