Asymptotic Analysis and Radiation Theorems

Radiation becomes a theorem only after its asymptotic boundary, gauge, regularity, and norm have been fixed. This chapter begins with the geometry of null infinity, then distinguishes smooth peeling from polyhomogeneous behavior, derives the Bondi balance law and memory, constructs radiation fields, and ends by separating forward decay from the stronger claim of nonlinear asymptotic completeness.

Helpful background. Analysis for Mathematical Relativity supplies weighted and asymptotic estimates; exterior algebra and differential forms supplies orientations and fluxes; Causality and Global Structure supplies conformal boundaries; and Gravitational Radiation and Waveforms develops the physical observables.

From a boundary to a scattering map

The six pages form one chain of increasingly strong conclusions.

1. Conformal Null Infinity defines a conformal completion, its gauge freedom, cuts, generators, asymptotic simplicity, and affine completeness. It explains why drawing $\mathscr I$ in a Penrose diagram is not proof that the rescaled metric extends regularly.
2. Peeling and Polyhomogeneous Asymptotics derives the Weyl-curvature hierarchy from conformal regularity and shows how data or gauge-generated logarithms can weaken it.
3. Bondi Mass and Mass Loss identifies shear, news, and mass aspect in a declared convention, then integrates the null constraint to obtain a nonnegative outward flux.
4. Gravitational Memory Theorems integrates the same constraint in retarded time and inverts a sphere operator to turn gravitational and matter flux into electric-parity displacement memory.
5. Radiation Fields and Scattering compares an asymptotic trace, an energy-exhausting forward map, and a bijective scattering theory for Minkowski, fixed black-hole, and nonlinear Einstein regimes.
6. Asymptotic Completeness and Open Problems gives a dated theorem matrix and identifies what remains unresolved for physical $3+1$ asymptotically flat nonlinear gravity.

The order prevents a common logical shortcut. A smooth boundary can imply strong curvature expansions but does not by itself prove that every solution reaches the boundary. A Bondi flux law can hold in a class with weaker polyhomogeneous regularity. A radiation field can capture forward energy without every compatible field being attainable from infinity. Each arrow needs its own estimate.

One asymptotic hierarchy

With Bondi retarded time $u$, areal radius $r$, and unit-sphere metric $q_{AB}$, the angular metric has the schematic expansion below. In Minkowski space $u=t-r$; in a curved spacetime $u$ labels outgoing null hypersurfaces and generally includes a mass-dependent correction to that flat-space expression.

$$g_{AB}=r^2q_{AB}+rC_{AB}+O(1), \qquad N_{AB}=\partial_uC_{AB}.$$

The leading radiative Weyl component behaves as $r^{-1}$ in an adapted null tetrad, while $N_{AB}$ is the retarded-time derivative of the shear. The null Einstein constraint yields

$$\frac{dM_B}{du} =-\frac{1}{32\pi G}\int_{S^2}N_{AB}N^{AB}\,d\Omega$$

for vacuum asymptotically flat solutions in the convention used here. Integrating locally rather than first averaging over the sphere produces the memory equation for $\Delta C_{AB}=\int N_{AB}\,du$. Taking a further asymptotic trace and proving that no energy remains on late spacelike slices produces a forward radiation map. Finally, solving backward for arbitrary compatible small asymptotic data and proving uniqueness produces a scattering isomorphism. The displayed normalization is the one obtained from the Bondi–Sachs hierarchy in Mädler and Winicour 2016, eqs. (58), (60), and (61), pp. 14–16, after translating their news convention.

This hierarchy also locates failure modes. A term $r^{-j}[\log(r/r_0)]^k$, with fixed reference length $r_0$, can prevent smooth conformal extension while leaving the leading news finite. A horizon creates a second flux channel and a backward blue-shift. Long-range mass terms modify optical coordinates. Gauge changes act on the asymptotic coefficients, and BMS transformations move cuts, so charges and memory must be compared in a consistent frame. The conformal formulation and its regularity hierarchy are developed in Frauendiener 2004, §§2–4.

How to read the theorems

Before using any asymptotic result, record:

• spacetime dimension, cosmological constant, matter model, and topology;
• Cauchy, hyperboloidal, characteristic, or prescribed asymptotic data;
• smooth, finite-regularity, or polyhomogeneous completion;
• tetrad, conformal, harmonic, Bondi, or wave-map gauge;
• the boundary components included in the energy norm;
• whether the conclusion is existence, decay, trace regularity, injectivity, surjectivity, or a locally invertible scattering map.

These axes explain why a theorem near de Sitter space does not settle the asymptotically flat problem, why a higher-dimensional radiation-field isomorphism does not automatically cover physical dimension, and why forward Kerr stability—even with detailed asymptotics—is not identical to a two-sided nonlinear scattering construction.

Review the chapter

Suppose a vacuum theorem gives a complete future development, a regular $\mathscr I^+$, an integrable news tensor, and the Bondi mass-loss identity. Which of the following follow: classical peeling, memory, exhaustion of all initial energy by $\mathscr I^+$, or asymptotic completeness?

Solution

The integrable news defines $\Delta C_{AB}=\int N_{AB}du$, so a shear memory exists; obtaining its full source formula still requires the local mass-aspect constraint and endpoint control. Classical peeling needs higher conformal differentiability than mere regularity as stated. The Bondi identity accounts for energy through $\mathscr I^+$ but does not exclude a horizon, timelike remainder, or other end, so energy exhaustion is not automatic. Asymptotic completeness further requires a surjective inverse construction and uniqueness modulo gauge. Thus only the basic integrated memory follows directly, and even its observable interpretation needs the stated asymptotic frame.

Connections

The global stability chapter constructs the developments whose asymptotics are studied here. The black-hole stability chapter supplies horizon decay and recent nonlinear Kerr results. Bondi mass loss remains the canonical physical synthesis, while this chapter is responsible for hypotheses and proof structure. The Asymptotics and Matched Expansions record is a supporting lookup for expansion techniques; the geometric definitions, hypotheses, and theorem boundaries remain in this chapter. The next chapter, Inverse Problems and Geometric Reconstruction, asks which interior geometry can be recovered from boundary radiation or measurement operators, and which gauge equivalences remain invisible.

References

• Frauendiener, Jörg. “Conformal Infinity.” Living Reviews in Relativity 7 (2004): 1. DOI.
• Mädler, Thomas, and Jeffrey Winicour. “Bondi–Sachs Formalism.” Scholarpedia 11 (2016): 33528. DOI.