Global Existence and Nonlinear Stability

Local well posedness says that controlled initial data determine a spacetime for a short time. Global nonlinear stability asks whether dispersive or redshift mechanisms keep the continuation quantities controlled forever and whether the resulting spacetime is complete and asymptotic to a named background. This chapter develops that proof architecture for Minkowski and expanding cosmological solutions, then marks the boundary where large-data dynamics remain open.

Helpful background. Analysis for Mathematical Relativity supplies weighted Sobolev and bootstrap estimates; The Einstein Equation supplies constraints and hyperbolic reductions; PDEs and Green Functions for Gravitation supplies wave energy; Causality and Global Structure supplies completeness and asymptotic concepts.

Enter global stability

A stability theorem must name five pieces:

• the exact background family and its modulation parameters;
• the constrained initial-data class and norm in which perturbations are small;
• the gauge or geometric foliation used in the proof;
• the global domain and continuation quantities;
• the norm and sense in which the evolved geometry approaches a limiting solution.

Without these, “stable” can mean anything from bounded linear modes to nonlinear future completeness. This chapter concerns nonlinear developments of the Einstein equations. Black-hole backgrounds require additional redshift, trapping, superradiance, and modulation analysis and are treated in the next chapter.

The recurring chain is

$$\begin{gathered} \text{energy estimates and null structure} \longrightarrow\text{decay},\\ \text{decay}\longrightarrow\text{controlled nonlinear errors} \longrightarrow\text{strict bootstrap improvement},\\ \text{continuation estimates and affine-length control} \longrightarrow\text{global completeness}. \end{gathered}$$

Some hierarchies permit a small power of energy growth rather than uniformly integrable errors at every order. Null structure determines whether that growth can be controlled. Gauge and constraint propagation determine whether the resulting global reduced solution is a geometric Einstein spacetime.

Under the hypotheses of small constrained asymptotically flat vacuum data in the specified weighted class, the wave-coordinate implementation closes this chain in Lindblad–Rodnianski 2010, Theorem 1.1.

For the linear scalar model, the far-region $r^p$ hierarchy converts weighted outgoing flux control and integrated local-energy decay into polynomial decay; see Dafermos–Rodnianski 2010, §§2–5. The nonlinear Einstein application must also control gauge, constraints, and the resulting error terms.

The six-page route

1. The Nonlinear Stability of Minkowski Space states a global vacuum theorem with constrained weighted data, causal completeness, decay, and gauge qualifications.
2. Vector-Field and Weighted-Energy Methods derives multiplier, commutator, Morawetz, Klainerman–Sobolev, and $r^p$ estimates.
3. Null Structure in the Einstein Equations compares classical null forms with the weak-null hierarchy of the wave-coordinate Einstein system.
4. Bootstrap and Geometric Continuation explains strict improvement, derivative hierarchies, gauge control, continuation criteria, and the final completeness step.
5. Stability of Expanding Cosmologies replaces radial dispersion by cosmological redshift and dilution in de Sitter-like and matter-filled backgrounds.
6. Large Data, Thresholds, and Open Regimes compares perturbative stability, trapped-surface theorems, symmetry-reduced collapse, critical numerical evidence, and unrestricted vacuum questions through the evidence cutoff 2026-08-12.

Two reading routes

For proof mechanisms, read pages 2–4, using page 1 as the target theorem. This route shows exactly how an energy estimate becomes pointwise decay and then a global geometric statement.

For dynamical regimes, read pages 1, 5, and 6. It compares asymptotically flat dispersion, expansion-driven damping, and the unresolved region between small-data stability and strong-field collapse.

The routes share a diagnostic: whenever a nonlinear error produces a time integral, ask whether its coefficient is integrable. If not, locate the missing decay, null cancellation, hierarchy, renormalization, or modulation equation.

What the chapter excludes

The scalar wave equation is used as an energy model, not as evidence that gravity has a local stress-energy tensor. Numerical discretization and convergence belong to Computational Relativity. Dated conjecture synthesis belongs to Research; the frontier page here states only the mathematical cells and cutoff needed to understand the open problem.

The chapter also does not identify global coordinate existence with completeness. Lapse and connection bounds must relate coordinate time to affine or proper time. Nor does it identify global boundedness with scattering: constructing a bijective radiation map requires additional asymptotic estimates.

Review the chapter

1. Find the missing step. Suppose high-order energies stay uniformly bounded for all coordinate times. Name two further facts needed before claiming nonlinear stability of Minkowski space.

Solution

One must at least prove that the gauge and constraint violations remain zero, so the reduced solution is an Einstein spacetime, and show causal geodesic completeness by comparing coordinate time with affine length. An asymptotic-stability claim additionally needs decay and convergence toward a named modulated background in a stated norm.

2. Test the null structure. Why is $t^{-1}$ pointwise decay often insufficient for a quadratic bootstrap, and what changes when one factor is a good null derivative?

Solution

A top-order energy inequality can contain a coefficient proportional to $t^{-1}$, whose time integral grows logarithmically. A derivative tangent to outgoing cones typically has an additional decay or null weight. Replacing one bad derivative by that good derivative can make the coefficient integrable, or reduce the loss to a small power that the hierarchy permits.

3. Transfer task. In de Sitter space a scalar tends to a nonzero spatial profile while its derivatives decay exponentially. Is that stable decay?

Solution

Yes, if the theorem defines stability through derivative energies or convergence to a modulated limiting profile. No, if it claimed convergence of the scalar itself to zero. The example shows why every stability statement must name both the controlled norm and the limiting family.

4. Diagnose a threshold claim. A one-parameter spherical scalar family has a numerically measured critical amplitude. Why does this not define a universal threshold for vacuum gravity?

Solution

The parameter depends on the chosen family and gauge; spherical scalar evolution changes both the matter model and the available degrees of freedom; and numerical evidence does not construct a codimension-one invariant critical manifold in the full vacuum constraint space. The result is important evidence within its cell, not a universal scalar boundary.

Continue to Black-Hole Stability, Decay, and Scattering for redshift, trapping, linearized gravity, nonlinear Kerr stability, and scattering maps.

References

• Dafermos, Mihalis, and Igor Rodnianski. “A New Physical-Space Approach to Decay for the Wave Equation with Applications to Black Hole Spacetimes.” In XVIth International Congress on Mathematical Physics, 421–432. World Scientific, 2010. arXiv:0910.4957.
• Lindblad, Hans, and Igor Rodnianski. “The Global Stability of Minkowski Space-Time in Harmonic Gauge.” Annals of Mathematics 171 (2010): 1401–1477. arXiv:math/0411109.

Further reading

• Christodoulou, Demetrios, and Sergiu Klainerman. The Global Nonlinear Stability of the Minkowski Space. Princeton Mathematical Series 41. Princeton University Press, 1993. DOI.