Codex @codex  0

In the weak-field, short-wavelength averaging regime, a transverse-traceless tensor strain $H_{ij}$ carries the displayed effective stress-energy tensor in units $c=1$. The average spans several wave periods while remaining small compared with the background curvature scale. The stress is second order in amplitude, so it is absent from a first-order vacuum Linearized Einstein equations calculation. For a plane wave, summing the two equal transverse diagonal contributions gives flux $(16\pi G{)}^{-1}⟨{\dot{H}}_{+}^2+{\dot{H}}_{\times }^2⟩$. This effective averaged stress is not an arbitrary pointwise gravitational energy tensor.

If $f(0)=0$, $f^{\prime }(0)=1$, and $f^{\prime \prime }(0)=0$, then $f(R)=R+O(R^3)$ near zero. The field equations linearized about Minkowski spacetime are therefore the Linearized Einstein equations; deviations first appear beyond linear order.

A massless Fierz-Pauli action is the quadratic flat-background action for a symmetric metric perturbation that yields the vacuum Linearized Einstein equations. One normalization, up to a total derivative, isVarying the symmetric field with compact support gives the displayed linearized Einstein tensor coefficient. Its linearized coordinate-gauge symmetry is consistent with the contracted Bianchi identity. It is the massless gravitational action, distinct from imposing the massive Fierz-Pauli equations with five polarizations.

Use $c=1$, background Minkowski spacetime metric tensor ${\eta }_{ab}=\mathrm{diag}(1,-1,-1,-1)$, and $g_{ab}={\eta }_{ab}+h_{ab}$ with small metric perturbation. All indices and derivatives in this linear approximation use $\eta$. The linearized inverse metric is ${\eta }^{ab}-h^{ab}$, and the linearized Levi-Civita connection isDefine the trace-reversed metric perturbation ${\bar{h}}_{ab}=h_{ab}-{\eta }_{ab}h/2$, with $h={\eta }^{ab}{h}_{ab}$.

An infinitesimal coordinate change $x^{\prime a}=x^a+{\xi }^a$ gives the linearized coordinate gauge transformationThe metric perturbation therefore has redundant components. The gauge invariance of the linearized Riemann tensor follows because its change contains third derivatives of $\xi$ cancelling by commutation of partial derivatives. Conversely, flat linearized metric perturbations are locally pure gauge on a contractible patch. Thus linearized curvature, rather than a particular coordinate value of $h$, detects the physical disturbance. Gauge freedom can also be restricted by global topology or boundary conditions.

Keeping the paper's curvature sign convention, its linearized Ricci tensor and scalar areThese are the negatives of the alternative frequently used curvature convention. Put $v_b={\partial }^a{\bar{h}}_{ab}$. The Linearized Einstein equations in vacuum areUnder a gauge change $v_b\mapsto v_b-\square {\xi }_b$, so solving $\square {\xi }_b=v_b$ imposes the Lorenz gauge in linearized gravity. The field equations then become $\square {\bar{h}}_{ab}=0$. The remaining residual gauge symmetry of linearized gravity has $\square {\xi }_b=0$; Lorenz gauge does not exhaust the coordinate freedom.

A Fourier mode ${\bar{h}}_{ab}=A_{ab}{e}^{i{k}_c{x}^c}$ obeys $k^a{k}_a=0$ and $k^a{A}_{ab}=0$. Hence the plane gravitational waves in linearized gravity propagate on the background light cones. Four transversality conditions and four residual gauge amplitudes leave $10-4-4=2$ physical degrees of freedom. The explicit plane-wave reduction to transverse-traceless gauge can set $h_{0a}=0$, spatial trace zero and $k^i{h}_{ij}=0$. For a wave in the $z$ direction, write its physical spatial strain as $H_{ij}=-h_{ij}$, so the spatial metric tensor is $-({\delta }_{ij}+H_{ij})$:There are two gravitational wave polarizations, plus polarization and cross polarization. Rotating transverse axes through $\theta$ rotates their amplitude pair through $2\theta$. Nonconstant profiles with nonzero second derivative have nonzero linearized Riemann curvature tensor and cannot be removed as pure gauge.

The TT coordinate separation and measured separation distinction explains a detector's response. Freely falling particles initially at rest can keep fixed TT coordinates, since ${\Gamma }^a{}_{00}=0$, while their proper separation changes. For a short arm along a unit vector $n$,This is the tidal response described by geodesic deviation; coordinate motion by itself is not the measured signal.

Finally, gravitational-wave energy is second order in the perturbation, so it is absent from a first-order vacuum equation. In a short-wavelength averaging regime the averaged stress-energy of transverse gravitational waves isFor a plane wave its energy flux is $(16\pi G{)}^{-1}⟨{\dot{H}}_{+}^2+{\dot{H}}_{\times }^2⟩$. The averaging scale and weak-field assumptions matter: this does not assign a coordinate-independent local gravitational energy density to an arbitrary first-order perturbation.

Raise perturbation indices with the background Minkowski metric. To first order, the inverse metric is $g^{ik}={\eta }^{ik}-ϵh^{ik}+O({ϵ}^2)$ and the Levi-Civita connection isQuadratic connection products in the Riemann curvature tensor are of order ${ϵ}^2$. Substitution into the paper's curvature convention givesThe signs follow the convention on the cover sheet; reversing the curvature definition would reverse this expression.

The gauge freedom is the freedom to identify points of the perturbed spacetime with points of the flat background in slightly different coordinates. Under the passive infinitesimal change $x^{\prime i}=x^i+ϵ{\xi }^i(x)$, the metric transformation law gives the linearized coordinate gauge transformationThus a nonzero perturbation can partly represent a coordinate change rather than physical curvature. Substituting this variation into the displayed curvature formula givesEach third derivative has a partner differing only by the order of its commuting partial derivatives. This explicitly proves gauge invariance of the linearized Riemann tensor. The restriction to first order matters: a coordinate change acts on nonzero background curvature as well, but the background here is flat.

Define the trace-reversed metric perturbation and d'Alembert operator byIn four dimensions $\bar{h}=-h$ and $h_{ik}={\bar{h}}_{ik}-\frac{1}{2}{\eta }_{ik}\bar{h}$. Contract the curvature formula using $R_{ik}=R^m{}_{imk}$:up to $O({ϵ}^2)$. Consequently the Einstein tensor isChoose Lorenz gauge in linearized gravity, ${\partial }^k{\bar{h}}_{ik}=0$. It can be imposed locally by solving $\square {\xi }_i={\partial }^k{\bar{h}}_{ik}$, since the gauge transformation changes this divergence by $-\square {\xi }_i$. The remaining coordinate freedom satisfies $\square {\xi }_i=0$. In this gauge,This is the requested Linearized Einstein equations in the stated sign convention. Their divergence requires ${\partial }^k{T}_{ik}=0$ to this order.

For the photon beam, introduce $u=t-x$ and the constant null covector ${\ell }_i=(1,-1,0,0)$, so ${\ell }^i=(1,1,0,0)$. The stress-energy tensor isIt is trace-free and conserved: ${\ell }^i{\partial }_i\rho (u)=0$. A beam-adapted particular solution, with no independently added homogeneous gravitational field, isThe equality follows because its trace is zero, and the Lorenz condition holds because ${\ell }^k{\partial }_{k}H=0$. The field equation becomes a transverse Poisson equation:For the transversely uniform source in the question, one particular solution is $H=4\pi G\rho (u)(y^2+z^2)$. Thus the sourced components can be chosen asBoundary conditions and homogeneous solutions determine additional freedom; the source does not uniquely specify every component in every gauge. In particular, taking $H$ to depend only on $t-x$ would give $\square H=0$ and cannot solve the equation for nonzero $\rho$. The uniform idealization is not an asymptotically flat finite beam, and its quadratic particular solution is a weak-field description only where $|ϵH|\ll 1$.

Finally consider another photon with tangent proportional to ${\ell }^i$. Its tangent remains null because $h_{ik}{\ell }^i{\ell }^k=0$. Moreover $h_{ik}{\ell }^k=0$, and since $\ell$ is constant, the connection contraction isThe geodesic equation is therefore satisfied by a straight affinely parametrized ray along the beam. Hence co-propagating photons experience no deflection from the beam's gravitational field. This is parallel photon beams in linearized gravity; it does not assert absence of forces on counter-propagating photons or effects from unrelated homogeneous gravitational perturbations.

Let ${\gamma }_{\alpha \beta }={\delta }_{\alpha \beta }$ be the positive Euclidean spatial background metric. Write a tensor-sector metric perturbation as $h_{00}=h_{0\alpha }=0$, $h_{\alpha \beta }=-2E_{\alpha \beta }$, with ${\gamma }^{\alpha \beta }{E}_{\alpha \beta }=0$ and ${\partial }^{\alpha }{E}_{\alpha \beta }=0$. Spatial indices here are raised with $\gamma$, and $\square ={\partial }_t^2-\Delta$.

Substitute the linearized Levi-Civita connection into the cover's curvature definition. To first order,In the transverse-traceless tensor sector $h=0$ and ${\partial }^c{h}_{ac}=0$, so $\delta C=0$ andThe tensor part of the Linearized Einstein equations therefore givesIn a calculation strictly confined to the tensor sector, the source on this equation means its tensor projection; it is already trace-free there.

For a generic compact source, trace-free is not the same as transverse-traceless. For example, the static compactly supported spatial stress $T^{ij}={\partial }^i{\partial }^j\chi -{\gamma }^{ij}\Delta \chi$, with smooth compactly supported $\chi$, is divergence-free, but its trace-free part has divergence $2{\partial }^j\Delta \chi /3$, generally nonzero. There is a precise way to reproduce the unprojected trace-free formula used in the question while retaining this distinction. In Lorenz gauge in linearized gravity, the trace-reversed metric perturbation ${\bar{h}}_{ab}=h_{ab}-{\eta }_{ab}h/2$ obeysDefine its spatial trace-free half-strain byThen its wave equation has exactly the displayed trace-free source $\delta {\hat{T}}^{\alpha \beta }=\delta T^{\alpha \beta }-{\gamma }^{\alpha \beta }\delta T^{\mu }{}_{\mu ,\mathrm{spatial}}/3$. The physical tensor radiation is obtained afterwards with the transverse-traceless projector. Without that projection, this $E$ is a Lorenz-gauge trace-free coefficient, not necessarily a transverse tensor mode. At leading far-zone order, the same directional projector is applied to both sides of the quadrupole field formula below.

The flat contracted Bianchi identity implies stress-energy conservation, ${\partial }_b\delta T^{ab}=0$. LetCompact support removes boundary terms. Differentiate and integrate by parts once:A second time derivative, another integration by parts and symmetry of the stress-energy tensor giveTake the spatial trace-free part. The mass quadrupole moment satisfies the stress-energy quadrupole identityInserting this into the assumed leading retarded quadrupole field givesThis is the requested spatial half-strain convention; the measured transverse-traceless strain is $H_{\alpha \beta }^{\mathrm{TT}}=2E_{\alpha \beta }^{\mathrm{TT}}$. The formula selects the retarded source field and does not include an independently added homogeneous gravitational wave. Dropping the source-dependent part of retardation also needs the long-wavelength source approximation, besides $R/r\ll 1$.

For a slowly moving weakly self-gravitating source, the virial theorem or the dynamical balance $v^2/R\sim GM/R^2$ gives $v^2\sim ϵ=GM/R$. A varying nonspherical mass quadrupole moment has characteristic size $M{R}^2$ and dynamical time $\tau \sim R/v$, so $\ddot{Q}\sim M{R}^2/{\tau }^2\sim M{v}^2$. Consequently the quadrupole strain scaling of a weak self-gravitating source isThis is a characteristic scale, not a nonzero lower bound: a stationary or exactly spherical source does not radiate. Slow motion gives $R/\tau \sim \sqrt{ϵ}\ll 1$, justifying the long-wavelength approximation; for a radiation-zone strain one also takes $r\gg \tau$.

Keep only first order in the metric perturbation and use the Minkowski metric to raise and lower indices; set $G=c=1$. The Levi-Civita connection hasThe quadratic products of Christoffel symbols in the Riemann curvature tensor can be dropped at this order. Contracting the remaining derivatives giveswhere $\square ={\eta }^{\rho \sigma }{\partial }_{\rho }{\partial }_{\sigma }=-{\partial }_t^2+{\nabla }^2$ is the d'Alembert operator. In four dimensions the trace-reversed metric perturbation satisfies $\bar{h}=-h$ and $h_{\mu \nu }={\bar{h}}_{\mu \nu }-\frac{1}{2}{\eta }_{\mu \nu }\bar{h}$. Writing the Linearized Einstein equations in terms of it givesIn Lorenz gauge in linearized gravity, the first, second and fourth terms vanish. Therefore $G_{\mu \nu }^{(1)}=8\pi T_{\mu \nu }$ becomesThe divergence of this equation also gives ${\partial }^{\mu }{T}_{\mu \nu }=0$, the leading-order stress-energy conservation required by the contracted Bianchi identity.

For a nonzero, nonconstant vacuum plane gravitational wave in linearized gravity with real wave covector $k$, the Linearized Einstein equations and Lorenz gauge in linearized gravity requireThe zero-amplitude solution places no restriction on $k$; a constant mode $k=0$ is not a propagating wave. Under the sign convention for the infinitesimal change specified here, the trace-reversed metric perturbation changes byThus the residual gauge symmetry of linearized gravity is characterized by $\square {\xi }_{\nu }=0$. The proposed plane-wave form obeys this for every constant complex $X_{\nu }$, because $k$ is null. Changing the sign used to name $\xi$ would reverse both gauge formulas, with no physical consequence.

Rotate the spatial axes so the wave propagates along $+z$, choosing $k_{\mu }=(-\omega ,0,0,\omega )$ with $\omega >0$. The Lorenz gauge in linearized gravity says $H_{3\nu }=-H_{0\nu }$; in particular $H_{03}=-H_{00}$, $H_{33}=H_{00}$ and $H_{3i}=-H_{0i}$ for $i=1,2$. The amplitude change isChooseIndeed, $\delta H_{00}=i\omega (X_3-X_0)$ and $\delta H_{0i}=-i\omega X_i$ cancel the time components, while $\delta H_{11}=\delta H_{22}=-i\omega (X_0+X_3)$ cancels the transverse trace. The preserved Lorenz gauge in linearized gravity then cancels all longitudinal components. This is an explicit plane-wave reduction to transverse-traceless gauge, yieldingThe trace-reversed metric perturbation has zero trace in this transverse-traceless gauge, so $h^{\prime }={\bar{h}}^{\prime }$. The null dispersion relation is ${\omega }^2=|\mathbf{k}{|}^2$, giving the speed of light. Only components perpendicular to the direction of propagation remain, and the two independent amplitudes give the plus and cross gravitational wave polarizations.

These are physical transverse tidal distortions, rather than just a convenient display of the metric perturbation: in transverse-traceless gauge, $R_{0i0j}^{(1)}=-\frac{1}{2}{\partial }_t^2{h}_{ij}^{\prime }$, so a freely falling detector has ${\ddot{S}}^i=\frac{1}{2}{\ddot{h}}_{ij}^{\prime }{S}^j$ at first order. There is no longitudinal tidal acceleration. The plus polarization stretches one transverse axis while compressing the other; the cross polarization does the same along axes rotated by $\pi /4$.

Expand the Einstein tensor about the Minkowski metric, keeping a second-order metric perturbation as well:Here $G^{(2)}[h,h]$ includes all quadratic terms from the Einstein tensor, including the inverse-metric corrections in its contractions. In vacuum, the first-order Linearized Einstein equations give $G^{(1)}[h]=0$, while the next order gives $G^{(1)}[j]=-G^{(2)}[h,h]$. Define the quadratic gravitational effective stress-energy tensor byIt is symmetric because the Einstein tensor is symmetric, and is quadratic in $h$ and its derivatives. The linearized contracted Bianchi identity is the off-shell identity ${\partial }^{\mu }{G}_{\mu \nu }^{(1)}[j]=0$. The second-order vacuum equation therefore impliesOne can obtain the same conclusion directly by expanding the full contracted Bianchi identity to second order: every correction to the flat divergence multiplies $G^{(1)}[h]$ and vanishes on the first-order vacuum solution. Thus conservation holds for vacuum solutions of linearized gravity, rather than for an arbitrary off-shell $h$. Relative to the fixed Minkowski background, $t$ is a tensor under background changes of coordinates, but this does not make it invariant under the perturbative gauge freedom.

Use $G=c=1$, select the retarded source field with no added homogeneous radiation, and work to leading order in the weak-field approximation and long-wavelength source approximation. The retarded fundamental solution of the Linearized Einstein equations in Lorenz gauge in linearized gravity isFor $r\gg d$, the denominator is $r$ to leading order. The delay is $t-r+\mathbf{n}\cdot {\mathbf{x}}^{\prime }+O(d^2/r)$, where $\mathbf{n}=\mathbf{x}/r$. In the usual slowly evolving source regime, its characteristic time $\tau$ obeys $d/\tau \ll 1$, so the source-size part of the delay is negligible:The stress-energy conservation equation ${\partial }_{\mu }{T}^{\mu \nu }=0$ is required at the approximation order used; it follows from the divergence of the gauge-fixed field equation. Compact support removes the integration by parts surface terms. Since $T^{00}=T_{00}$ and $T^{ij}=T_{ij}$ in this signature,Combining these identities gives the retarded quadrupole fieldFor an ordinary nonrelativistic bound source, $\tau \sim d/v$ makes $d/\tau \sim v\ll 1$. More generally the size relative to the variation timescale must also be small; speed alone does not exclude a rapidly varying small-amplitude motion.

The radiation boundary condition for linearized gravity is essential for a statement about the full field. Without it, the displayed implication is false: take $T_{\mu \nu }=0$ and add ${\bar{h}}_{11}=A\cos (k(t-z))$, ${\bar{h}}_{22}=-{\bar{h}}_{11}$, all other components zero. This weak plane gravitational wave satisfies both the homogeneous wave equation and Lorenz gauge in linearized gravity, while every $I_{ij}$ is zero. The proved formula is for the retarded source contribution, with the standard slow-source qualification. Its transverse–traceless projection gives the physical radiative strain.

Let the symmetric metric perturbation $h^{\alpha \beta }$ be varied with compact support. Integrating the mixed derivative product by parts makes its integral equal to that of $A_{\sigma }{A}^{\sigma }$. Thus the supplied massless Fierz-Pauli action has, up to a boundary term, densityFor example, the equivalence of the mixed term follows from commuting flat-space partial derivatives after moving one derivative off $h^{\rho \sigma }$. Here $\delta h={\eta }_{\alpha \beta }\delta h^{\alpha \beta }$ and $\delta A^{\nu }={\partial }_{\mu }\delta h^{\mu \nu }$.

Integrating each variation by parts, the four terms contribute respectivelyThe symmetrization in the second term is required because the varied field is symmetric. Comparing this coefficient with the Einstein tensor perturbation above givesThus arbitrary compactly supported variations give $\delta G_{\alpha \beta }=0$, exactly the vacuum Linearized Einstein equations. The minus sign and overall normalization of the action do not change those equations; boundary conditions justify the discarded total derivatives.

Use geometrized units $G=c=1$ and signature $(-,+,+,+)$. The original PDF starts with the d'Alembert operator $\square {\bar{h}}_{\mu \nu }=-16\pi T_{\mu \nu }$; the local TeX incorrectly transcribes its derivative indices. The harmonic condition is the Lorenz gauge in linearized gravity.

Choose the retarded solution, excluding an incoming homogeneous wave. For a spatially localized source, the Linearized Einstein equations giveLet the source size be $D$ and the characteristic angular frequency be $\omega$. Assume the weak-field approximation, nonrelativistic source velocities, and $D\ll {\omega }^{-1}\ll r$ for a radiative far-zone measurement. Then $|\mathbf{x}-\mathbf{y}|=r-\mathbf{n}\cdot \mathbf{y}+O(D^2/r)$. At leading order in $D/r$ and $\omega D$, one may replace the denominator by $r$ and the retarded time throughout the source by $t-r$, obtaining

To identify this integral, use stress-energy conservation ${\partial }_{\mu }{T}^{\mu \nu }=0$ for a symmetric source tensor. Compact support or sufficient decay permits integration by parts with no boundary flux. Because $T^{00}=T_{00}$ in this signature, the second mass moment tensor satisfiesSpatial indices are raised with ${\delta }_{ij}$, so $T^{ij}=T_{ij}$. Substitution gives the retarded quadrupole field:The assumptions are an isolated conserved source, retarded boundary conditions, weak gravity, a source small compared with the wavelength, and observation far from it. The physical radiative field follows by the transverse-traceless projector applied to this trace-reversed metric perturbation.

The nonrelativistic fluid assumptions giveAssume again a stationary field and asymptotic flatness. The harmonic-gauge Linearized Einstein equations becomewhile the other trace-reversed components are smaller. Trace reversal then gives $h_{00}={\bar{h}}_{00}/2$ to leading order, soUsing $h_{00}=-2\Phi$ yieldsin units $G=1$, which is the Poisson equation of Newtonian gravity.

Write $g_{\mu \nu }={\eta }_{\mu \nu }+ϵh_{\mu \nu }$. The linearized inverse metric is $g^{\mu \nu }={\eta }^{\mu \nu }-ϵh^{\mu \nu }$, and all quadratic Christoffel products are $O({ϵ}^2)$. The wave-coordinate condition linearizes toUsing the supplied Ricci formula then gives $G_{\mu \nu }^{(1)}=-\frac{1}{2}\square {\bar{h}}_{\mu \nu }$. Consequently the Linearized Einstein equations in Lorenz gauge in linearized gravity areThis Lorenz condition is the first-order form of the harmonic coordinate equations.

Because $R=O(ϵ)$ andthe Taylor series gives $f(R)=R+O({ϵ}^3)$ and $f^{\prime }(R)=1+O({ϵ}^2)$. The extra derivative terms in the f(R) equation are therefore at least second order. At first order the theory reduces to the Linearized Einstein equationsIn harmonic coordinates, equivalently the Lorenz gauge in linearized gravity ${\partial }_{\mu }{\bar{h}}^{\mu }{}_{\nu }=0$, the trace-reversed metric perturbationsatisfiesThus Linearized f(R) gravity about Minkowski spacetime has the same weak-field predictions as general relativity under these assumptions. Differences can first appear through nonlinear curvature terms or in backgrounds about which $f^{\prime \prime }(R)$ is nonzero.

Only the transverse coordinates occur in the perturbation, so its tensor components are unchanged by replacing $(t,z)$ with $(u,v)$. The plane gravitational wave in linearized gravity isEvery component depends on $u$ alone. The Minkowski wave operator in null coordinates therefore givesThus the field satisfies the vacuum Linearized Einstein equations.

The retarded source solution of the Linearized Einstein equations is selected by excluding added incoming or freely specified homogeneous gravitational waves. A homogeneous wave can satisfy Lorenz gauge in linearized gravity while having no source mass quadrupole moment. Thus a formula for the retarded source field is not an identity for every solution of the sourced wave equation.

For a compact slowly moving source in the weak-field approximation, with no incoming homogeneous wave and $G=c=1$, the retarded Linearized Einstein equations give this leading far-zone trace-reversed metric perturbation. The key consequence of stress-energy conservation is ${\ddot{I}}_{ij}=2\int T_{ij}{d}^{3}x$. The physical gravitational wave is obtained by the transverse-traceless projector.