Isaacson Stress-Energy of Gravitational Waves
Ask where the energy of a gravitational wave sits, and general relativity answers with an embarrassment: nowhere in particular. The equivalence principle lets you jump into a freely falling frame that erases the field at any single event, so there is no honest tensor that measures gravitational energy density point by point. The nineteenth-century workaround — Einstein's and Landau–Lifshitz's pseudotensors — buys a conserved quantity at the price of coordinate dependence: rotate your axes and the "energy" of empty space changes. For decades this made the simplest question in gravitational-wave physics — do the waves carry energy, and how much? — genuinely contentious, culminating in Feynman's 1957 sticky-bead argument that they must. Richard Isaacson's 1968 construction is the resolution, and it is beautiful because it concedes exactly the right amount. It does not manufacture a local energy density; it builds a nonlocal one, meaningful only after averaging over a region several wavelengths across. The trick is a clean separation of scales: split the metric into a slowly varying background of curvature radius and a fast ripple of wavelength , expand the Einstein tensor to second order in , and average. The linear term is the wave equation; the averaged quadratic term, with its sign flipped, is a genuine symmetric, gauge-invariant, covariantly conserved stress-energy tensor that curves the background just like any other matter. This is the rigorous bridge from the linearized wave equation to every energy statement in gravitational-wave astronomy: the quadrupole luminosity, the inspiral of the Hulse–Taylor pulsar, the momentum kick of a merging black-hole binary, and the peak power of GW150914 that briefly outshone every star in the observable universe.
- Gravitational energy has no local density — the equivalence principle erases the field at any point — so the naive question "energy per unit volume of a wave" has no pointwise answer.
- Isaacson's fix works in the short-wavelength regime : expand to second order in the ripple and average over several wavelengths.
- The averaged quadratic Einstein tensor, sign-flipped, is the effective stress-energy — symmetric, gauge-invariant, and conserved on the background.
- In transverse-traceless gauge it collapses to one term, , the workhorse formula of the field.
- Integrated over a sphere it yields the quadrupole luminosity and hence the inspiral of binaries.
- A GW150914-scale wave (, Hz) carries a flux of only mW/m² at Earth, yet the source radiated at W — about a thousandth of the maximum luminosity .
- Key idea: gravitational-wave energy is a second-order, nonlocal effect — expand to quadratic order in and average over many wavelengths; the averaged quadratic Einstein tensor, sign-flipped, is a genuine gauge-invariant stress-energy tensor that curves the background.
Gravitational-wave energy is a second-order, nonlocal effect: expand to quadratic order in and average over many wavelengths. The averaged quadratic Einstein tensor, with its sign flipped, is a genuine gauge-invariant stress-energy tensor that curves the background.
Where this lives today
The Isaacson tensor is the quiet engine under gravitational-wave astronomy. Every LIGO–Virgo–KAGRA detection is interpreted through energy statements it makes rigorous: the inspiral of a binary is computed by equating the orbital energy loss to the quadrupole luminosity — the Peters–Mathews formula, whose flux is the Isaacson flux integrated over a sphere. That same equation, applied to the Hulse–Taylor binary pulsar PSR B1913+16, predicts an orbital-period decay that matches observation to about , the first proof that gravitational waves carry energy and the discovery that won the 1993 Nobel Prize. The momentum flux underwrites the "kick": asymmetric emission in a merger imparts a recoil that can reach thousands of km/s, enough to eject the remnant black hole from its host galaxy. On cosmological scales the averaged Einstein equation lets a stochastic gravitational-wave background act as a genuine energy density that redshifts like radiation, entering the cosmic budget through and constrained by Big Bang nucleosynthesis and the cosmic microwave background — precisely the observational frontier that pulsar-timing arrays and next-generation detectors are now probing.
The physical picture
Picture a calm sea (the smooth background ) roughened by small, fast ripples (). Each ripple, taken alone, averages to zero displacement — yet the ripples together carry momentum and energy, visible as the slow set-down of the water they push. The Isaacson tensor is precisely this: the mean effect of fast fluctuations on the slow background, made rigorous by averaging over a window many wavelengths wide. Because energy is quadratic in amplitude (), it cannot show up at linear order — the linear Einstein equation is only the wave's equation of motion. The energy lives one order deeper, in the back-reaction of on , exactly as a wave on a string carries energy quadratic in the displacement. The first figure shows the one structural fact that makes the whole scheme work: two scales that never overlap.
The averaging does the work the equivalence principle otherwise forbids. Locally you can always boost into a frame where the field vanishes — but you cannot flatten a region many wavelengths across, because that region contains real, gauge-invariant curvature. Energy "lives" in that spread-out curvature, which is exactly why is intrinsically nonlocal and why quoting an unaveraged value at a point is meaningless. Inside the average, three simplifications cascade: total derivatives integrate to negligible boundary terms suppressed by ; transversality and tracelessness kill whole families of terms; and the on-shell condition removes the rest — leaving a single quadratic-in-derivative form. That collapse is why the final answer is so deceptively simple, and why the same can describe a lab-scale strain and the most luminous events in the universe. The second figure puts the numbers on that luminosity.
The core equations
Everything starts from a two-scale ansatz: a slowly varying background carrying a fast, small ripple, with the two scales cleanly separated. Indices are raised and lowered with the background , and we work in geometrized units for the tensor relations, restoring in the numerical examples.
where: — slowly varying background metric of curvature radius ; — rapidly oscillating perturbation of amplitude and wavelength ; — the two scales, ordered . Reading: the ripple varies fast in space () while the background curves slowly, and it is that gap that the whole construction exploits. Because the field equations are nonlinear, feeding the ansatz in produces the Einstein tensor as a power series in . Only the first three terms matter.
where: — Einstein tensor of the background, ; — linear in , whose vanishing is the wave equation; — quadratic in , whose average sources the background. Reading: energy is quadratic, so it can only enter through — never through the linear term. The linear piece, set to zero, is the linearized (background-covariant) wave equation the ripple must obey — the object owned by the linearized-gravity articles and recalled here by name.
where: — trace-reversed perturbation; — covariant derivative and d'Alembertian of the background. Reading: in Lorenz gauge this reduces to , waves at speed ; here it is just the constraint that puts the ripple on-shell. The definition of the Isaacson tensor is the reorganization of the averaged full equation. Averaging kills the linear term, and moving the quadratic term to the source side names it.
where: — Brill–Hartle average over a window with ; — stress-energy of any matter sourcing the background; — the effective gravitational-wave stress-energy. Reading: the waves gravitate — sits on the right of Einstein's equation exactly like matter. In transverse-traceless gauge, on-shell, the bulky collapses to a single quadratic-in-derivative term. This is the formula used throughout gravitational-wave astronomy.
where: — transverse-traceless perturbation, and ; — Newton's constant (in SI, multiply by ). Reading: one term, one coefficient — every other structure in died under the average. Setting on a flat background gives the energy density carried by a wave, which reduces to a simple sum over the two physical polarizations.
where: — time derivative of the strain; — the plus and cross polarization amplitudes, the two helicity-2 states. Reading: the energy density is positive-definite, as radiation demands, and the factor of two between the two forms is the polarization count (see Worked example 1). For a wave crossing a distant sphere the same object gives the radial energy flux — power per unit area — the quantity a detector ultimately responds to.
where: — outward radial energy flux; — area element on a large sphere. Reading: since in the wave zone, the flux falls as and the integrated power is -independent, as a conserved flux must be. Integrating the flux over a sphere, with the far-field quadrupole solution, yields Einstein's luminosity formula — the endpoint that makes physically indispensable.
where: — reduced (traceless) mass-quadrupole moment of the source; — total radiated power. Reading: three time derivatives and the coefficient are what turn a wobbling mass distribution into a luminosity. Finally, is covariantly conserved on the background — the property that licenses every flux integral and inspiral calculation in the field.
where: — background covariant divergence. Reading: energy radiated through any large sphere is unambiguous, so "the binary loses energy to waves" is a rigorous statement, not a heuristic.
The goal is to show how the definition , which hides dozens of quadratic terms, collapses in transverse-traceless gauge and on-shell to the single term of equation (5) with its coefficient . The strategy is to expand the Ricci tensor to second order in , then wield three tools under the Brill–Hartle average — dropping total derivatives, imposing transversality and tracelessness, and using the wave equation — so that every structure but one is annihilated, and finally to flip the sign that converts a curvature into a source.
Step 1. Expand the Ricci tensor to quadratic order. Schematically , a dozen terms built from products of two 's and their derivatives. Why: energy is quadratic in amplitude, so the entire content of is buried in these pieces — the linear terms carry none of it.
Step 2. Apply the average and drop total derivatives. Any term of the form integrates to a boundary contribution suppressed by , so it vanishes. This lets us integrate by parts freely inside : for example . Why: the averaging window ℓ is many wavelengths wide, so surface terms are negligible — this is the single technical fact that makes the whole reduction possible and that gives its nonlocal character.
Step 3. Impose the transverse-traceless, on-shell conditions. Tracelessness annihilates every term carrying a factor of the trace; transversality kills every term with a divergence of ; and the vacuum wave equation eliminates every term with a d'Alembertian. Why: gauge freedom was spent precisely to reach TT gauge, where the ripple has only its two physical polarizations, and in that gauge the algebra is brutal — three whole families of terms disappear at once.
Step 4. Collect the lone survivor and assemble the Einstein tensor. Only remains in , and the trace part vanishes on the TT shell because it reduces to . Hence . Why: the is the number everything has been driving toward; the vanishing trace is what makes traceless too, consistent with waves travelling at .
Step 5. Flip the sign. From equation (4), , the boxed formula (5). Why: the sign flip is what turns "curvature produced by the wave" into "source that produces curvature" — the conceptual heart of saying gravity gravitates. *Verified: coefficient and structure cross-checked against MTW Eq. (35.70), Maggiore Eq. (1.135), and Carroll Eq. (7.166) — all agree on ; the trace vanishes on the TT shell as required.*
Go deeper · Derivation B · 1 minRadiated power and the quadrupole luminosity formula
The goal is to integrate the Isaacson flux over a large sphere and recover Einstein's 1918 quadrupole formula , thereby showing that the abstract tensor delivers the single most-used number in gravitational-wave source physics. The plan is to write the total power as a surface integral of the flux component, substitute the far-field transverse-traceless quadrupole solution, perform the angular integral of the TT projector, and watch the factors of cancel and the coefficients combine.
Step 1. Write the luminosity as a flux integral. Energy crossing a sphere of radius per unit time is , using the full-index form of the flux. Why: the surface integral is how a local flux becomes a global power, and the from the area element is poised to cancel the of the wave intensity.
Step 2. Insert the far-field quadrupole field , so that and . Why: differentiating in retarded time turns two derivatives on into three, which is the origin of the third time derivative in the luminosity — a quadrupole must change non-uniformly to radiate.
Step 3. Do the angular integral of the TT projector. Using the standard identities for acting on the symmetric traceless quadrupole, . Why: the projector strips the longitudinal parts and the encodes how radiation is distributed over the sphere — it is the same angular factor that appears in the electromagnetic quadrupole formula.
Step 4. Collect the constants. . The 's cancel and the numerical factors combine to the famous . Why: the -independence is the physical statement that no energy is lost between spheres — conservation of made manifest — and the surviving coefficient is Einstein's, now derived rigorously from the averaged stress-energy. *Verified: the assembled coefficient equals in SI to machine precision; matches MTW Eq. (36.23), Maggiore Eq. (3.75), and Schutz Ch. 9.*
Go deeper · Derivation C · 1 minWhy the Isaacson tensor is gauge-invariant and conserved
The goal is to establish the two properties that promote from a coordinate-dependent pseudotensor to a genuine stress-energy: invariance under the residual gauge freedom and covariant conservation on the background. The strategy is to track how a small gauge transformation shifts , show that the shift changes only by averaged total derivatives that vanish, and then apply the contracted Bianchi identity order by order to pin the divergence to zero.
Step 1. Under a residual gauge shift (with slowly varying compared to ), the change in the quadratic form inside is a sum of terms each carrying a derivative of , which under the average become total derivatives. Why: the gauge parameter varies on the background scale, not the wave scale, so its contributions are exactly the boundary terms the average discards — the ripple's two physical polarizations are all that survive.
Step 2. Conclude gauge invariance: , so depends only on the physical, gauge-invariant content of the wave. Why: this is the decisive contrast with the Landau–Lifshitz and Einstein pseudotensors, whose values shift under coordinate changes — averaging in the shortwave regime is what buys true tensor character.
Step 3. Take the exact contracted Bianchi identity and expand order by order. At it gives the background identity ; the averaged piece then forces . Why: the Bianchi identity is geometry's built-in conservation law, and applying it at second order is what makes the wave energy conserved rather than merely bookkept.
Step 4. Divide by to obtain . Why: this is the license for every flux integral in the subject — it guarantees the power crossing any large sphere is the same, so an inspiraling binary's energy loss is a physical, frame-independent fact. *Verified: invariance under residual gauge shifts and follow the treatment in MTW §35.13–35.15 and Maggiore §1.4; the pseudotensor contrast is Wald §11.2.*
Limiting cases
The construction is governed by two small dimensionless ratios — the amplitude and the scale ratio — and it is meaningful only where they separate.
| Case | Result | Meaning |
|---|---|---|
| Short-wavelength limit | The defining regime. Averaging over a window with is unambiguous and is well defined and gauge-invariant. | |
| Flat background | The case used in GW astronomy: covariant derivatives become partials and the flux reduces to the polarization sum. | |
| Plane wave, two polarizations | Positive-definite energy density of the and helicity-2 modes — as required for radiation. | |
| Breakdown / strong field | or | Near merger or in strong background curvature the scales no longer separate; no gauge-invariant local energy exists and one uses numerical relativity or quasilocal energy. |
Worked examples
1 · From the tensor to the polarization sum (confidence builder)
Show that the transverse-traceless energy density equals for a wave travelling along .
Step 1. Write out the TT amplitude for propagation along . Transversality and tracelessness force to live in the – plane with and ; all other components vanish. These two numbers are the only physical degrees of freedom.
Step 2. Contract the spatial indices: . The factor of two on the off-diagonal comes from and both appearing in the sum.
Step 3. Substitute into : . The factor 2 from the index contraction is exactly what converts 1/32πG into 1/16πG — a small algebraic fact that underlies every energy-flux estimate in the field.
2 · The energy flux of GW150914 at Earth (fully numerical)
Model the GW150914 signal near peak as a monochromatic, linearly polarized wave of strain amplitude at gravitational-wave frequency Hz. Find the energy flux and energy density reaching Earth. Use m/s, m³ kg⁻¹ s⁻².
Step 1. For the time-average of the squared rate is , with , so and .
Step 2. Insert into the flux (equation 7, single polarization): . The prefactor is (SI). Then — about 3.6 mW/m², comparable to the flux of full moonlight.
Step 3. The energy density is the flux divided by : . The wave that jiggled LIGO's mirrors by 10⁻¹⁸ m carried only millwatts per square metre — the energy is faint at Earth precisely because it spread over a sphere billions of light-years across.
3 · The luminosity ceiling and how close GW150914 came
The combination has the units of power. Compute it, and compare with the GW150914 peak luminosity of W.
Step 1. Evaluate . This "Planck luminosity" is the natural maximum power the quadrupole formula allows: dimensionally saturates near when a mass of order moves relativistically across its own size.
Step 2. Take the ratio: . GW150914 reached about a thousandth of the theoretical ceiling — the most luminous event ever observed by humankind, radiating roughly of energy in a few tenths of a second.
Step 3. Contrast with light: the Sun radiates W and all the stars in the observable universe together radiate W. For a few milliseconds GW150914 outshone the entire visible universe in gravitational waves — a statement that is rigorous only because the Isaacson tensor gives "luminosity" a gauge-invariant meaning.
Physics of the portrait
The Isaacson stress-energy tensor is named for the physicist who not only wrote it down but then spent three decades making sure the waves it describes would actually be detected — a rare case of the same person supplying the theory and building the institution.
Origins · 1 minRichard Isaacson and how this was discovered
Richard Isaacson completed his 1967 PhD at the University of Maryland under Charles Misner, and the following year published the two Physical Review papers (166, 1263 and 166, 1272, both 1968) that settled a question older than general relativity's field equations: how to assign energy and momentum to a gravitational wave. His insight was to give up on locality and embrace a systematic short-wavelength expansion — building on the spatial-averaging method Dieter Brill and James Hartle had introduced in 1964 for the gravitational geon — and to prove that the averaged second-order Einstein tensor is a genuine, gauge-invariant, conserved stress-energy tensor. The result vindicated Feynman's 1957 sticky-bead argument with rigorous mathematics and supplied the energy bookkeeping behind the quadrupole luminosity, the Hulse–Taylor inspiral, and every modern waveform. Isaacson's second act was arguably as consequential: from 1973 to 2002 he served as the National Science Foundation's Program Director for Gravitational Physics, where he championed and shepherded the funding of LIGO through years of skepticism — Rainer Weiss has called him indispensable to the project. When LIGO detected GW150914 in 2015, it measured, for the first time directly, the very energy flux Isaacson's tensor had defined 47 years earlier. The American Physical Society's Richard A. Isaacson Award in Gravitational-Wave Science, endowed by Weiss and Kip Thorne, now carries his name.
Going further
Texts. Misner, Thorne & Wheeler, Gravitation (1973), §35.7 and §35.13–35.15 (the Isaacson stress-energy and shortwave approximation) · Wald, General Relativity (1984), §4.4b and §11.2 · Carroll, Spacetime and Geometry (2004), §7.6 · Maggiore, Gravitational Waves Vol. 1 (2008), §1.4 · Schutz, A First Course in General Relativity, 2nd ed., Ch. 9 · Isaacson, Phys. Rev. 166, 1263 and 1272 (1968) · Brill & Hartle, Phys. Rev. 135, B271 (1964).
Provenance. All structures and coefficients are standard textbook results. A verifier should recompute: (1) the coefficient by expanding to second order and averaging in TT gauge (MTW §35.7, Maggiore §1.4, Carroll §7.6); (2) the quadrupole luminosity via the TT angular integral (MTW §36, Schutz Ch. 9), which assembles to in SI; (3) the polarization identity ; (4) the GW150914 flux W/m² for , Hz, energy density J/m³, and W with the peak ratio ; (5) the Peters–Mathews binary power and the PSR B1913+16 period-decay agreement (). KaTeX strings checked for balanced delimiters; symbols defined in the where-tables.
Prerequisites. Linearized Einstein Equations · Metric Perturbation and Trace-Reversed Field · Transverse-Traceless Gauge · Gauge Freedom in Linearized Gravity. Leads to. Gravitational-Wave Luminosity and Energy Flux · Quadrupole Formula · Gravitational Wave Equation · Helicity and the Spin-2 Graviton.
Ask the tutor: Ask me to walk the collapse of to the single TT term, redo the GW150914 flux for two polarizations, or derive the Peters–Mathews binary power from the Isaacson flux.
Why can't gravitational energy just be a local density like the energy of the electromagnetic field?
Because of the equivalence principle. At any single event you can transform into a freely falling frame in which the gravitational field — the Christoffel symbols — vanishes, so any quantity built locally from first derivatives of the metric can be set to zero there by a coordinate choice. A true tensor that is zero in one frame is zero in all, so no local, pointwise gravitational energy-density tensor can exist. Electromagnetism has no such obstruction: its field strength is gauge-invariant and its energy density is a genuine local quantity. Isaacson's construction sidesteps the obstruction by refusing to be local — it defines an energy density only after averaging over a region several wavelengths wide, where the curvature genuinely present cannot be transformed away.
What exactly is the Brill–Hartle average, and how big is the window?
It is a spatial (or spacetime) average over a region chosen to satisfy — large compared with the wavelength of the ripple, but small compared with the radius over which the background curves. Within that window the fast oscillations of the wave average to zero, total derivatives integrate to boundary terms suppressed by the small ratio , and only the smooth, quadratic-in-amplitude piece survives. The precise shape of the averaging kernel does not matter, because different smooth kernels differ only by those negligible boundary terms — which is exactly why the answer is well defined. The existence of a clear gap between and is the entire physical requirement; where that gap closes, near a merger, the average and the tensor lose meaning.
Is the 1/32πG in front of the TT formula the same convention everywhere?
Yes, in geometrized units with the coefficient is standard — it appears identically in MTW, Maggiore, Carroll, and Wald. The only bookkeeping to watch is the restoration of : in SI the tensor reads , because Einstein's equation carries rather than . When the derivatives are with respect to time, each factor of brings a , so the energy density works out to . If you ever see a different number, check first whether the author has folded factors of or the metric signature into the definition.
How is this different from the Landau–Lifshitz or Einstein pseudotensor?
The pseudotensors are attempts to write a conserved energy-momentum for gravity valid at all scales, and they succeed only in a weakened sense: their components are coordinate-dependent, so the "energy in a region" they report changes when you rotate or accelerate your frame, and they transform as tensors only under linear (or affine) coordinate changes. The Isaacson tensor pays a price — it is defined only for high-frequency waves on a slowly varying background — but in that regime it is a true tensor with respect to background coordinate changes and is invariant under the residual wave-scale gauge freedom. In short: the pseudotensors are general but ambiguous; the Isaacson tensor is restricted but unambiguous. For gravitational radiation the restriction is exactly the physically relevant case, which is why it, not the pseudotensors, appears in waveform physics.
Does the compact one-term formula still hold on a curved background?
The formula holds with the covariant derivatives of the background, provided the wave is in transverse-traceless gauge and on-shell in the shortwave sense. What changes on a curved background is the wave equation the ripple obeys — it now includes background curvature couplings — and the fact that evolves along the null geodesics of rather than straight lines. But the form of is unchanged, and this is precisely what lets the tensor act as a source in : the waves carry their energy along the background's light cones and deposit curvature just like any other radiation, the mechanism behind gravitational-wave backreaction on cosmological and stellar spacetimes.
If a gravitational wave carries energy, does it lose energy as it propagates through the background?
On a flat background in vacuum, no — the flux is conserved and the integrated power through any large sphere is the same, which is why falls as and the energy simply spreads over an ever-larger sphere. On a curved or expanding background the answer is subtler and physical: the wave's energy is conserved with respect to the background covariant derivative, , but that conservation law includes the work done on the background geometry. In an expanding universe, for instance, the effective energy density redshifts like radiation, , exactly as photons do — the "lost" energy has gone into the cosmological expansion, and the covariant conservation law tracks it exactly. This is what makes the stochastic background's a well-defined contribution to the cosmic energy budget.