research31 min studyLesson 831 in Physics

Linearized Einstein equations and gauge freedom

Separate weak metric perturbations, coordinate freedom, and radiative curvature using an explicit signature and trace-reversal convention.

Before you begin

Einstein’s equations and the Newtonian limit

On this page

The question for today

What you’ll understand

Trace-reverse a weak perturbation with the correct time-index sign.
State the Lorenz-gauge wave equation and its residual coordinate freedom.
Distinguish a nonzero metric component from a physical gravitational wave.

A small deviation of the metric from flat spacetime contains both gravitational information and a choice of coordinates. Linearized gravity makes that distinction calculable. Its field equations become wave equations after a useful gauge choice, but a moving or nonzero metric component is not automatically radiation. Physical conclusions must be tied to curvature or a specified detector observable. The approximation also requires weak perturbations in suitable coordinates; it cannot describe an entire black-hole spacetime as a globally small correction to Minkowski space.

Fix the background and the trace convention

Use signature minus plus plus plus, coordinates with x0 equal to ct, and retain explicit G and c. Write the metric as the Minkowski background plus a dimensionless perturbation whose components are small. At first order indices are raised with the background metric. Its time component contributes with the opposite sign to the trace, so treating that trace as an ordinary Euclidean matrix trace would corrupt the field equations.

Trace reversal subtracts half the background metric times the trace. In four spacetime dimensions this reverses the trace's sign, and applying the operation twice returns the original tensor. It is an algebraic reorganization rather than a gauge transformation or a removal of physical degrees of freedom. The stress tensor remains the source, with energy-density units when time is represented by ct. Conservation supplies consistency conditions on the linearized equation.

g_{\mu\nu}=\eta_{\mu\nu}+h_{\mu\nu},\quad \eta=\operatorname{diag}(-1,1,1,1),\qquad h=\eta^{\mu\nu}h_{\mu\nu},\qquad \overline h_{\mu\nu}=h_{\mu\nu}-\frac12\eta_{\mu\nu}h,\quad \overline h=-h

h and its trace reverse are dimensionless and small in the chosen approximately Cartesian coordinates. Greek indices run from 0 to 3 and x0=ct. These are four-dimensional identities; the trace-reversal coefficient has a different inverse relation in other dimensions.↔ Scroll wide equations horizontally.

A coordinate condition simplifies the equations

An infinitesimal passive coordinate change subtracts the symmetrized derivative of its displacement vector from the metric perturbation. This freedom can impose the Lorenz condition on the trace-reversed field, subject to suitable boundary and initial conditions. The linearized Einstein equation then becomes a sourced wave equation. In a vacuum region it has homogeneous propagating solutions, but constraints and residual gauge freedom still have to be handled before counting physical polarizations.

Transformations whose displacement vector satisfies the homogeneous wave equation preserve the Lorenz condition. A coordinate condition therefore does not by itself identify a unique physical field configuration. In a suitable vacuum radiation region one can further isolate a transverse-traceless representation. Near matter, constrained Newtonian-like fields coexist with radiation, and imposing a global transverse-traceless interpretation on every metric component would hide rather than solve that distinction.

h'_{\mu\nu}=h_{\mu\nu}-\partial_\mu\xi_\nu-\partial_\nu\xi_\mu,\qquad \partial^\mu\overline h_{\mu\nu}=0,\qquad \Box\overline h_{\mu\nu}=-\frac{16\pi G}{c^4}T_{\mu\nu},\quad \Box=\nabla^2-c^{-2}\partial_t^2

ξ has length units and is infinitesimal in its derivatives. The wave equation is first order in h and assumes the Lorenz coordinate condition. Residual transformations satisfy □ξμ=0. Retarded versus incoming homogeneous solutions are fixed by physical boundary conditions, not by this local equation alone.↔ Scroll wide equations horizontally.

Curvature distinguishes a gauge ripple from a wave

Adopt the Riemann sign convention in which R rho sigma mu nu begins with the mu derivative of Gamma rho nu sigma minus the nu derivative of Gamma rho mu sigma. The linearized Riemann tensor is invariant under the infinitesimal gauge transformation above. It controls measurable relative acceleration between freely falling bodies. A pure coordinate perturbation of flat spacetime has zero linearized curvature even if its components look time dependent.

Weak waves can propagate far from a strongly gravitating source because the wave amplitude at the observer may be small while the source geometry is not. Source generation then needs a separate controlled approximation or numerical solution. Similarly, a curved cosmological background requires a perturbation analysis around that background and propagation assumptions. The flat-background equations teach the local mechanism and gauge bookkeeping; their validity should not be stretched into a universal model of every stage from source to instrument.

Work it through

Trace reversal with a timelike minus sign

At one point a weak perturbation has diagonal entries h00=6×10⁻⁶, h11=2×10⁻⁶, h22=h33=1×10⁻⁶ and no off-diagonal components. Find its trace, trace-reversed diagonal entries, and the trace of the result.

Contract with the Minkowski inverse: h=(−6+2+1+1)×10⁻⁶=−2×10⁻⁶. The negative time contribution is essential; summing all four positive entries would not be the spacetime trace.
For the time entry, subtracting one half η00h gives 6×10⁻⁶−1×10⁻⁶=5×10⁻⁶. Each spatial entry instead increases by 1×10⁻⁶, giving 3,2,2 in the same units.
The reversed trace is (−5+3+2+2)×10⁻⁶=+2×10⁻⁶, equal to −h. Reversing again reconstructs the original entries, providing an independent algebraic check.

The result

The trace is −2×10⁻⁶ and the reversed diagonal is (5,3,2,2)×10⁻⁶. These pointwise data alone establish neither vacuum propagation nor radiation.

The living notebook

Explore the model

Interactive lab

Interactive lab · matrix

Coordinate descriptions can change

Reset and set both controls to Diagonal scale a=1 and Shear b=0; predict selected determinant 1. For a fresh comparison, Reset and set both controls to a=1 and b=0.10; the selected determinant remains 1 although the final grid is sheared. Geometry starts at identity after Reset and interpolates during playback; readouts describe the selected final matrix.

Interpolated geometryOriginal unit squareSelected final transform

Area scale · det A: 1.4
Singular values · σmax, σmin: 1.597, 0.876
Condition number · κ₂(A): 1.823

Diagonal scale a1.4Shear b0.6

t = 0 s

The selected matrix is A = [[a,b],[0,1]]. Playback interpolates geometry between the identity and A; readouts always describe A. Its determinant is a and its singular values come from AᵀA. Positive a makes every supported matrix invertible. This two-dimensional family is not a general eigensolver or a learned network. Parameter changes pause playback and recompute the model at the current elapsed time. Reset restores both parameters and returns time to zero. Playback starts paused. Adjust either parameter, then choose Play or Step.

Look forThis is a two-dimensional coordinate analogy. The matrix instrument has no spacetime metric, gauge condition, curvature or Einstein equation, and unchanged area is not a test for absence of gravitational radiation.

Pause & reason

Check your understanding

Interactive checks need JavaScript. You can still read the explanation.

Read the checkpoint explanation

Coordinate-generated perturbations of flat spacetime have zero linearized Riemann tensor. Component size or a coordinate condition alone does not identify radiative physical degrees of freedom.

Your turn

Try it yourself

Start from flat spacetime and make the infinitesimal passive coordinate change ξx=a x with a=10⁻⁶; set all other ξ components to zero. Find the induced hxx and decide whether this perturbation has gravitational-wave curvature.

Take a moment to make a prediction or work it out on paper. Open a hint when you need one.

Give me a hint

Use the two identical x derivatives in the gauge transformation. Then inspect the second derivatives entering linearized curvature.

Compare with the solution

The new component is hxx=−2a=−2×10⁻⁶, with all others zero at this order. It is constant, so every second derivative entering linearized Riemann vanishes. The geometry is still flat and no tidal gravitational wave has been created. The changed coordinate interval and changed metric compensate in physical lengths; interpreting hxx alone as an observable strain would confuse coordinate labeling with detector response.

Keep the idea

Take it with you

Trace reversal uses the Lorentzian metric and does not itself fix a gauge.
Lorenz-gauge wave equations retain residual coordinate freedom and boundary choices.
Radiative claims require curvature or detector observables within a controlled background approximation.

Read further

Original sources and deeper explanations to follow at your own pace.

Flanagan and Hughes, The basics of gravitational wave theory, section 2: linearized curvature, trace reversal and gauge freedom

Optional progress, saved in this browser when available. Revisit any lesson at any time.

Lesson not marked complete.