Source-linked AI summary
Bondi-Sachs Formalism
Thomas Mädler, Jeffrey Winicour
TL;DR
The formalism addresses how to formulate Einstein’s equations and gravitational radiation using coordinates adapted to outgoing null geodesics. It constructs a hierarchical null-cone framework, whose asymptotic analysis yields Bondi mass loss and a geometrically defined news tensor, while finite-worldtube formulations support numerical evolution. The approach remains bounded by unresolved well-posedness and by limitations associated with certain worldtube and vertex settings.
Problem
A metric-based formulation was needed to describe outgoing gravitational radiation, its mass loss, and its asymptotic symmetries in general relativity.
Method
The formalism adapts coordinates to outgoing null hypersurfaces and uses hierarchical hypersurface and evolution equations with data supplied at a worldtube or at null infinity.
Results
If gravitational waves are emitted, the positive news contribution makes the Bondi mass decrease; the news tensor is geometrically defined and independent of the choice of u-foliation.
Takeaways & Limitations
The Bondi-Sachs framework provides a characteristic description of gravitational radiation and exposes the asymptotic structure associated with the Bondi-Metzner-Sachs group.
Takeaways & Limitations
The analytic well-posedness of the worldtube-null-cone initial-boundary problem remains unproved, and vertex regularity imposes rigid constraints on null data.
Abstract
from arXiv · showhide
The Bondi-Sachs formalism of General Relativity is a metric-based treatment of the Einstein equations in which the coordinates are adapted to the null geodesics of the spacetime. It provided the first convincing evidence that gravitational radiation is a nonlinear effect of general relativity and that the emission of gravitational waves from an isolated system is accompanied by a mass loss from the system. The asymptotic behaviour of the Bondi-Sachs metric revealed the existence of the symmetry group at null infinity, the Bondi-Metzner-Sachs group, which turned out to be larger than the Poincare group.
1 Introduction
Bondi developed a gravitational-wave formulation based on outgoing null rays, addressing gauge concerns surrounding linearized waves. The resulting characteristic approach uses null hypersurfaces to construct spacetime coordinates and complements the contemporary 3+1 treatment.
- Bondi’s 1960 approach studied gravitational waves along the outgoing null rays on which the waves traveled.The work was followed by the 1962 axisymmetric treatment of Bondi, Metzner, and van der Burg.
- Linearized gravitational waves obeyed a wave equation, but coordinate freedom raised doubts about their physical interpretation.The perturbations were defined relative to the Minkowski metric and harmonic Cartesian coordinates.
- Retarded and advanced times, u = t − r and v = t + r, define characteristic hypersurfaces along which wavefronts can travel.These hypersurfaces are associated with outgoing and incoming propagation, respectively.
- Null hypersurfaces have null normals that are also tangent to the hypersurfaces, whose integral curves are outgoing null geodesics called null rays.Bondi used families of these rays to build spacetime coordinates for outgoing gravitational waves.
- The characteristic approach complemented the contemporary 3+1 treatment of general relativity and was more physically relevant here than an analogous ingoing-null formulation.The ingoing version finds applications in cosmology but is less important for outgoing gravitational waves.
2 The Bondi–Sachs metric
The Bondi-Sachs metric adapts coordinates to outgoing null hypersurfaces, fixes the radial coordinate by an areal condition, and supports a hierarchical characteristic integration scheme. Its electromagnetic analogue illustrates the gauge choices, supplementary conditions, and evolution algorithm underlying the formulation.
- Coordinate construction: Bondi-Sachs coordinates (u, r, xA) follow outgoing null hypersurfaces, with angular coordinates constant along null rays and r chosen as an areal coordinate.The areal condition is det[gAB] = r4q, where q is the determinant of the unit-sphere metric.
- Metric degrees of freedom: The determinant condition leaves the conformal 2-metric hAB with two degrees of freedom, represented by γ and δ for the + and × gravitational-wave polarizations.The original axisymmetric metric sets δ = 0 and restricts γ to depend on u, r, and θ.
- Metric degrees of freedom: The original Bondi metric’s reflection symmetry φ → −φ makes it unsuitable for describing an axisymmetric rotating star.This limitation follows from the imposed symmetry, not merely from axisymmetry itself.
- Radial coordinate: The areal coordinate can become singular when the expansion Θ of the null hypersurface vanishes, whereas an affine parameter remains regular when Θ = 0.The two radial parameters satisfy ∂rλ = e2β, so r remains nonsingular provided β is finite.
- Electromagnetic analogue: In the electromagnetic analogue, the null gauge Ar = 0 parallels the Bondi-Sachs condition grr = grA = 0, with residual gauge freedom used to impose an additional boundary condition.The remaining freedom can set Au to zero on the worldtube or at infinity.
- Electromagnetic analogue: Maxwell’s equations separate into main hypersurface and evolution equations plus a supplementary condition whose validity propagates from one radial surface.If the main equations hold, the supplementary condition is satisfied everywhere when imposed at a specified r.
- Electromagnetic analogue: The electromagnetic equations yield a hierarchical evolution algorithm that integrates radial equations sequentially and advances the fields by finite differences in u.The procedure iterates to approximate the fields on successive null cones.
- Electromagnetic analogue: The charge aspect Q(u, xA) arises as a radial integration function, and integrating the supplementary condition gives the charge conservation law.The total charge is obtained by integrating the radial electric field over a large sphere.
3 Einstein equations and their Bondi-Sachs solution
The Bondi-Sachs formulation organizes Einstein’s equations into hypersurface, evolution, and supplementary equations within an asymptotic 1/r expansion. Its hierarchical integration determines the formal solution’s expansion coefficients and yields conservation laws, including Bondi mass loss, while exposing limitations of prescribing radiation data at infinity.
- Equation structure: The Einstein equations separate into hypersurface equations, evolution equations, and supplementary conditions in the Bondi-Sachs formulation.The hypersurface equations determine radial metric variables, while the supplementary equations govern asymptotic conservation laws.
- Equation structure: The evolution equations determine the retarded-time derivative of the two degrees of freedom in the conformal 2-metric hAB.A complex polarization dyad reduces the evolution equations to a complex equation for the radiative degrees of freedom.
- Conservation laws: The news tensor determines gravitational-radiation energy flux, and its positivity implies that emitting systems lose Bondi mass.When the news vanishes, the Bondi mass remains constant; the supplementary equations are interpreted as flux conservation laws.
- Hierarchical solution: The hierarchical integration uniquely determines the formal field-equation solution’s expansion coefficients, while supplementary equations determine the time derivatives of M and LA.The time evolution of LA is determined by the news tensor and initial values of LA, M, and cAB.
- Scope and limitations: The formal construction is not a well-posed evolution problem from the initial hypersurface because necessary data such as cAB(u, xC) lies in the future.Assigning the news function as boundary data at large distances is non-physical compared with determining it by evolving an interior system.
4 The Bondi-Metzner-Sachs (BMS) group
The BMS group describes the asymptotic symmetries of the Bondi-Sachs metric at null infinity. Its infinite-dimensional supertranslation subgroup extends ordinary translations and acts as gauge freedom on the radiation shear.
- Null infinity: Penrose compactification represents null infinity as a finite boundary of a smooth conformally related spacetime.The conformal factor vanishes at null infinity, whose topology is R × S2 under asymptotic flatness.
- Asymptotic structure: The Bondi-Sachs variables cAB, mass aspect M, and angular momentum aspect LA are leading-order coefficients at null infinity.In inertial coordinates, these quantities appear as leading terms in the expansion with respect to the preferred conformal factor.
- Radiation: The news tensor is a geometrically defined field on null infinity, independent of the conformal factor and the choice of u-foliation.Its intrinsic components are obtained by pulling back the conformal-space tensor to null infinity.
- BMS group: The BMS group is the asymptotic isometry group of the Bondi-Sachs metric, generated by sphere conformal transformations and supertranslations.The generators arise from the asymptotic Killing equation and are determined by conformal Killing vectors of the unit sphere.
- BMS group: Supertranslations form an infinite-dimensional invariant subgroup, while the α = 0 transformations are isomorphic to orthochronous Lorentz transformations.The l = 0 and l = 1 supertranslations form an invariant four-dimensional translation subgroup.
- Radiation: Supertranslations change only the electric component of the radiation shear, revealing its associated gauge freedom.This restriction follows because the supertranslation function α is real.
5 The worldtube-null-cone formulation
The worldtube-null-cone formulation supplies Bondi-Sachs boundary data on a finite timelike worldtube and evolves the exterior along outgoing null hypersurfaces. Numerical tests show stable convergence, but analytic well-posedness remains unproved.
- Worldtube data: The formulation provides hypersurface and evolution boundary conditions on a finite timelike worldtube Γ with topology R × S2.The worldtube has finite areal radius R and can receive data from an interior Cauchy evolution.
- Coordinate construction: Bondi-Sachs coordinates extend off Γ by letting u label outgoing null hypersurfaces, xA label null rays, and r be the areal coordinate with r = R on Γ.The resulting metric retains Bondi-Sachs form and induces a 2 + 1 metric on the worldtube.
- Evolution system: The Einstein equations reduce to hierarchical hypersurface and evolution equations once the worldtube data satisfy the supplementary conditions.The required mixed initial-boundary data include the initial null cone, the initial worldtube cross-section, and ∂uhAB|Γ for later retarded times.
- Evolution system: The evolution algorithm uses hierarchical hypersurface solves followed by finite-difference time integration.The prescribed initial-boundary data determine the quantities needed for the hypersurface and evolution equations.
- Status: Numerical testbeds using finite-difference and spectral spatial approximations are stable and converge to analytic solutions, but analytic well-posedness remains an open issue.The unresolved issue concerns proof for the analytic initial-boundary problem.
- Limitation: When the worldtube collapses to a worldline, vertex regularity imposes rigid constraints and complicates numerical evolution.Worldline-null-cone implementations have therefore been restricted to simple problems, while a wave-map formulation lacks a clear path toward numerical evolution.
6 Applications
Bondi-Sachs methods have broad applications in numerical relativity, asymptotic symmetry, gravitational memory, exact solutions, and relativistic systems. The formalism supports both null-cone evolution and waveform-extraction approaches, alongside studies of BMS charges and radiation.
- Scope: By July 2016, the seminal Bondi-Sachs works had accumulated more than 1500 citations, with more than 600 in the preceding decade.The formalism’s main application area is numerical relativity.
- Numerical relativity: Numerical-relativity applications include null-cone evolution schemes, waveform extraction, conformal compactification, and gauge-invariant wave extraction.The listed methods include axisymmetric simulations, Einstein-scalar-field evolutions, spectral methods, and extraction in physical space.
- BMS and memory: The BMS group supports research on energy-momentum and angular momentum, BMS algebras, conformal-field-theory correspondence, soft theorems, and radiation memory.These applications also include the black-hole information paradox.
- Solutions and systems: Other applications cover Newtonian approximations, linearized and master-equation approaches, boost-rotation symmetric solutions, black-hole physics, and relativistic stars.These topics are grouped under exact and approximate solutions and broader physical applications.