Vacuum Gravitational-Wave Collapse

Vacuum collapse has no material density to drive Raychaudhuri focusing: $R_{\mu\nu}k^\mu k^\nu=0$. The nonlinear mechanism is instead the shear of a null congruence. Incoming gravitational radiation creates shear through the Weyl curvature, and the positive quantity $\lvert\widehat\chi\rvert^2$ then decreases the outgoing expansion. Rigorous formation theorems control this transfer using scale-sensitive curvature fluxes, null transport equations, and elliptic estimates on the two-sphere.

Required background. Analysis for Mathematical Relativity supplies geometric energy and bootstrap estimates; timelike congruences and spatial projection supplies optical scalars; and the Einstein equation identifies the vacuum Ricci tensor.

Helpful background. Causality and Global Structure places trapped surfaces in the global spacetime, while PDEs and Green Functions for Gravitation supplies hyperbolic energy methods.

Weyl curvature as the incoming field

Fix a double-null frame $(e_3,e_4,e_A)$ with $g(e_3,e_4)=-2$, where $e_A$ is orthonormal on each sphere. Define $\chi_{AB}=g(\nabla_{e_A}e_4,e_B)$ and $\nabla_{e_4}e_4=-2\omega e_4$. The extreme outgoing Weyl component and its neighboring component are

$$\alpha_{AB}=R(e_A,e_4,e_B,e_4), \qquad \beta_A=\frac12R(e_A,e_4,e_3,e_4).$$

Together with $\rho$, $\sigma$, $\underline\beta$, and $\underline\alpha$, these components satisfy the null Bianchi equations. The shear equation and Raychaudhuri equation contain the essential cascade,

$$\nabla_4\widehat\chi +\operatorname{tr}\chi\,\widehat\chi =-\alpha+\text{connection terms},$$ $$\nabla_4\operatorname{tr}\chi +\frac12(\operatorname{tr}\chi)^2 =-\lvert\widehat\chi\rvert^2 -2\omega\operatorname{tr}\chi.$$

Curvature first generates shear; shear then focuses the congruence. This is how the Weyl tensor performs work that material Ricci curvature performs in the scalar model, while the spacetime remains exactly vacuum.

A representative outgoing curvature energy is schematically

$$\mathcal R(H_u)^2 =\int_{H_u} \left( \lvert\alpha\rvert^2+ \lvert\beta\rvert^2+ \lvert\rho\rvert^2+ \lvert\sigma\rvert^2+ \lvert\underline\beta\rvert^2 \right)d\mu_{H_u},$$

with different pulse weights and derivative counts attached to the components in an actual theorem. Calling only this unweighted expression “the norm” would hide the argument: $\alpha$ is anomalously large in the short-pulse scaling, while its support in the incoming parameter is correspondingly short.

A vacuum trapped-surface theorem

The finite characteristic theorem can be stated without pretending that its technical norm is optional.

The quantitative An–Luk statement gives an explicit seven-angular-derivative bound, generator-wise flux threshold, and final trapped sphere. The paragraph below describes the shared proof structure of such theorems; it is not a replacement for those inequalities or for the source’s gauge and norm definitions.

Vacuum short-pulse proof structure. Let smooth vacuum characteristic data be prescribed on intersecting null hypersurfaces $H_0\cup\underline H_0$, with regular Minkowski-type data on $\underline H_0$. On $H_0$, prescribe a shear pulse supported in an interval of length $\delta$. Assume the full finite hierarchy of weighted angular and null derivative norms is bounded independently of sufficiently small $\delta$, and assume a positive lower bound for the integrated shear energy needed by the chosen uniform or anisotropic criterion. Then the vacuum development exists through a double-null region containing a smooth closed future-trapped surface.

Christodoulou proves the global short-pulse architecture and a uniform generator-wise criterion Christodoulou 2009, Chs. 1–17 and the main formation theorem. Klainerman and Rodnianski give a finite version with relaxed propagation estimates and one rather than two controlled curvature derivatives Klainerman–Rodnianski 2012, Theorem 2.7 and §§3–15. The conclusion is stable under the open inequalities in the stated data norm; it is not a genericity theorem for all large asymptotically flat Cauchy data.

Closing the curvature estimates

The proof does more than integrate Raychaudhuri. Its estimates have four interlocking layers.

Bel–Robinson or null-Bianchi energies. Multiplying the Bianchi equations by curvature components and integrating over the double-null region gives flux identities. Error terms couple curvature to Ricci coefficients. The short-pulse weights are selected so that the large components always gain either a short integration interval or a small companion factor.

Transport estimates. The null structure equations propagate $\operatorname{tr}\chi$, $\widehat\chi$, torsion, lapse coefficients, and their incoming analogues. Transport alone does not recover all angular derivatives.

Elliptic recovery on spheres. Codazzi and Gauss equations form Hodge systems on $S_{u,\underline u}$. Elliptic estimates exchange divergence and curl control for angular derivatives, while the evolving Gauss curvature and Sobolev constants must themselves remain controlled.

Renormalized quantities. Direct estimates of some Bianchi/structure pairs would lose a derivative or multiply two anomalously large fields. Subtracting the appropriate quadratic connection term from a curvature component exposes a cancellation. This is a proof-level use of the vacuum equations, not a notational convenience.

After the hierarchy closes, the evolved flux differs from its initial value by an error small compared with the prescribed lower-bound margin. Raychaudhuri then yields pointwise negativity of $\operatorname{tr}\chi$ on the final sphere; $\operatorname{tr}\underline\chi$ remains negative by its transport equation.

Anisotropic concentration

A uniform flux lower bound in every angular direction is sufficient but not necessary. Klainerman, Luk, and Rodnianski allow the initial radiation to be concentrated in a small angular patch and deform the final sphere to a graph inside the incoming null hypersurface. The expansion of that graph acquires an elliptic term. A suitable positive supersolution balances strong local focusing against weakly illuminated directions, producing a closed trapped surface Klainerman–Luk–Rodnianski 2014, Theorem 1 and §§2–4.

An and Luk enlarge the existence region and obtain formation for radiation large only in a scaling-critical norm An–Luk 2017, Theorems 1.3–1.4 and §§2–5. Neither result says that total energy at one angle is sufficient without geometric control elsewhere. The surface deformation, its regularity, and the elliptic inequality are part of the hypotheses and proof.

The principal limitation remains: these theorems use deliberately structured null data and follow the solution only far enough to certify a trapped surface. They do not classify the singular boundary, prove Kerr relaxation, or locate a universal threshold. The current-results page compares the larger data and matter classes now known.

Check vacuum focusing

If $R_{44}=0$, why does Raychaudhuri still allow $\operatorname{tr}\chi$ to become negative? What would happen for a shear-free outgoing congruence with $\omega=0$ and initially positive expansion?

Solution

Vacuum removes the Ricci term but not $-\lvert\widehat\chi\rvert^2$. Weyl curvature creates nonzero shear through $\nabla_4\widehat\chi+\operatorname{tr}\chi\widehat\chi=-\alpha+\cdots$; its square then drives the expansion downward. If instead $\widehat\chi=0=\omega$, Raychaudhuri reduces to $\nabla_4\theta=-\theta^2/2$. Positive initial $\theta$ stays positive and decays like $2/(\lambda+C)$, so that congruence does not become trapped. The nonlinear transfer from Weyl curvature to shear is indispensable.

References

• An, Xinliang, and Jonathan Luk. “Trapped Surfaces in Vacuum Arising Dynamically from Mild Incoming Radiation.” Advances in Theoretical and Mathematical Physics 21 (2017): 1–120. arXiv.
• Christodoulou, Demetrios. The Formation of Black Holes in General Relativity. EMS Monographs in Mathematics. Zürich: European Mathematical Society, 2009. DOI.
• Klainerman, Sergiu, and Igor Rodnianski. “On the Formation of Trapped Surfaces.” Acta Mathematica 208 (2012): 211–333. arXiv.
• Klainerman, Sergiu, Jonathan Luk, and Igor Rodnianski. “A Fully Anisotropic Mechanism for Formation of Trapped Surfaces in Vacuum.” Inventiones Mathematicae 198 (2014): 1–26. arXiv.