Spherical Gravitational Collapse

Spherical symmetry removes rotation and gravitational radiation, but it does not make collapse trivial. Matter can disperse, cross itself, shock, focus, or become trapped; global causal boundaries can differ from quasi-local ones; and the same equations can support both stable and finely tuned outcomes in different data topologies. This chapter uses exact models, continuum equations, and validated numerical evidence to build a disciplined first account of black-hole formation.

Helpful background. Black-Hole Geometry and Mechanics supplies causal and quasi-local horizon definitions, Black-Hole Perturbation Theory supplies stability language, Formulations of General Relativity supplies initial-data and well-posedness language, The Einstein Equation supplies the field equation, and Relativistic Matter and Compact Objects supplies the material distinctions between dust, fluids, scalar fields, and null radiation.

Enter this chapter

The central geometric variable is the areal radius $R$: each orbit of spherical symmetry has area $4\pi R^2$. Its invariant mass $m$ is defined by

$$1-\frac{2Gm}{R}=g^{ab}\nabla_aR\nabla_bR.$$

This one relation provides a common normalization across every page. It identifies the Schwarzschild limit, gives the enclosed mass in dust and fluid models, and locates a round marginal sphere at $R=2Gm$ on a collapsing branch. It does not locate the event horizon, which depends on the complete causal future.

Spherical symmetry also enforces a crucial absence: there are no gravitational-wave degrees of freedom. Energy can still move through matter or scalar radiation, but a spherical model cannot test bar modes, angular-momentum transport, gravitational recoil, or generic nonspherical stability. Its value is control. Exact reductions make assumptions visible and turn many interpretive claims into calculations.

A route through the models

Read the pages in order; each changes one ingredient while retaining the mass and trapping diagnostics.

1. Oppenheimer–Snyder Dust Collapse begins with a homogeneous dust ball. Matching a closed Friedmann interior to Schwarzschild fixes the mass and separates event-horizon origin, surface crossing at $2GM$, and singularity formation Oppenheimer and Snyder 1939, pp. 455–459.
2. Lemaître–Tolman–Bondi Collapse permits radial inhomogeneity. Its two free profiles distinguish shell focusing from shell crossing and show why delayed trapping can make central null escape a profile-dependent question.
3. Einstein–Scalar Collapse replaces material shells by a field. A one-parameter family displays dispersal, black-hole formation, mass scaling, and discrete self-similarity; the page also states the convergence and reproducibility evidence needed for those computational claims.
4. Perfect-Fluid Collapse adds pressure, sound cones, sonic points, and shocks. The Misner–Sharp work law shows that pressure can support through its gradient while simultaneously contributing energy and active gravity.
5. Null Shells and Vaidya Collapse makes a changing mass function exact. Backward integration of an outgoing null generator shows explicitly how an event horizon can enter a flat region before a collapsing shell arrives.
6. Collapse Thresholds and Spherical End States compares the outcomes with a 12 August 2026 evidence cutoff. Its main conclusion is methodological: stability and genericity have no meaning until the data class, regularity, topology, matter model, and diagnostic are specified.

The sequence deliberately places the comparison last. A list of end states is useful only after one can tell a shell crossing from focusing, a marginal tube from an event horizon, a numerical threshold from a theorem, and instability in one topology from stability in another.

The shared diagnostic structure

Every spherical calculation should answer the same five questions.

What is the matter model? Dust has no pressure or communication between shells. A scalar field propagates causally but has no material surface. A perfect fluid requires an equation of state and may shock. Null dust represents directed radiation. Conclusions that survive one model need not survive another.

Are the data regular? At a smooth center, $m=O(R^3)$ and scalar densities remain finite. Comoving dust additionally requires $R'>0$ before focusing if shell crossing is to be excluded. A fluid solution must say whether weak shocks are admitted.

Which boundary is being located? The vanishing outgoing expansion gives a slice-dependent marginal sphere. The event horizon is the boundary of the causal past of the relevant future infinity and is normally found only after the future is known. Their agreement in a stationary exterior does not erase their dynamical distinction; Vaidya makes that distinction exact Booth 2005, §3.3, pp. 1084–1085.

What is the endpoint diagnostic? Curvature blow-up, geodesic incompleteness, local outgoing null escape, arrival at infinity, and failure of the matter description are inequivalent. A causal claim must integrate or control null geodesics, not infer visibility from a delayed apparent horizon alone.

What supports the claim? Exact solutions require matching, limiting, and invariant checks. Computational results require constraints, at least three discriminating resolutions or tolerances, boundary checks, invariant observables, and an error estimate. Frontier claims require a date and a criterion that would change the conclusion.

Results that survive the idealizations

Several lessons are robust within their stated scope. Finite proper-time collapse is compatible with an exterior time coordinate that diverges at the horizon. The Misner–Sharp compactness organizes trapping across different spherical matter models. Event horizons are global and can grow through locally weak or flat regions. Matter closure changes the phase portrait: pressure and sonic structure are not small cosmetic corrections to dust. Critical exponents are properties of a continuum model and universality class, not of all gravitational collapse Gundlach and Martín-García 2007, §§2–4, pp. 4–30.

The strongest limitation is equally robust: spherical examples do not decide generic four-dimensional collapse. Exact dust profiles with visible singularities refute unconditional coverage statements Joshi and Malafarina 2011, §§4.2–4.4, while covered Oppenheimer–Snyder collapse refutes unconditional visibility. Neither result alone settles weak cosmic censorship. The comparison must preserve the data topology and regularity, especially after the 2026 same-regularity Hölder stability result for a restricted self-similar scalar family Zheng 2026, Theorems 1.1 and 1.3, pp. 2–3.

The next chapter, Rotating and Nonspherical Collapse, adds angular momentum and shape modes. It retains geometric horizon diagnostics but must also close angular-momentum and radiation budgets. The Misner–Sharp mass is tied to spherical symmetry, so general collapse needs appropriate asymptotic and quasi-local replacements rather than the same enclosed-mass formula.

For a first pass, compute the two null expansions in the dust model, reproduce the shell’s event-horizon starting time in Vaidya, and recover hydrostatic balance from the fluid equation. These three calculations establish the geometry, causal distinction, and pressure mechanism used later. Return to the endpoint comparison after those tools are in place.

Review the chapter

A spherical code evolves smooth matter and reports a curvature spike at the center, no apparent horizon on its final slice, and a coordinate lapse approaching zero. List the minimum additional evidence needed before calling the outcome a globally visible singularity.

Solution

First establish continuum behavior: demonstrate constraint and curvature convergence with at least three discriminating resolutions, control the outer boundary, and show that the lapse behavior is not merely gauge collapse. Verify center regularity until the limiting event and state whether the matter model shocks or otherwise leaves its validity regime. Search for marginal surfaces with multiple initial guesses and slicing checks, since failure of one finder on one slice is not nonexistence.

Then solve or trace future-directed outgoing null geodesics from the limiting region. Local emergence is only local visibility; to claim global visibility, show that a generator reaches the declared asymptotic region or future null infinity in the completed spacetime. Finally state the initial-data family, symmetry, differentiability, perturbation topology, and error budget. Without these steps, the observations support only “the chosen evolution developed an unresolved strong-field region without a found marginal surface.”

References

• Booth, Ivan. “Black Hole Boundaries.” Canadian Journal of Physics 83 (2005): 1073–1099. doi:10.1139/p05-063.
• Gundlach, Carsten, and José M. Martín-García. “Critical Phenomena in Gravitational Collapse.” Living Reviews in Relativity 10 (2007): 5. doi:10.12942/lrr-2007-5.
• Joshi, Pankaj S., and Daniele Malafarina. “Recent Developments in Gravitational Collapse and Spacetime Singularities.” International Journal of Modern Physics D 20 (2011): 2641–2729. doi:10.1142/S0218271811020792.
• Oppenheimer, J. Robert, and Hartland Snyder. “On Continued Gravitational Contraction.” Physical Review 56 (1939): 455–459. doi:10.1103/PhysRev.56.455.
• Zheng, Weihao. “Nonlinear Stability of Continuously Self-Similar Naked Singularities for the Einstein–Scalar Field Equations I: Main Results.” arXiv:2605.16235v1 (15 May 2026). arXiv.