9.1: The Speed of Gravity
- Page ID
- 11619
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)In Newtonian gravity, gravitational effects are assumed to propagate at infinite speed, so that for example the lunar tides correspond at any time to the position of the moon at the same instant. This clearly can’t be true in relativity, since simultaneity isn’t something that different observers even agree on. Not only should the “speed of gravity” be finite, but it seems implausible that it would be greater than c; in section 2.2, we argued based on empirically well established principles that there must be a maximum speed of cause and effect. Although the argument was only applicable to special relativity, i.e., to a flat spacetime, it seems likely to apply to general relativity as well, at least for low-amplitude waves on a flat background. As early as 1913, before Einstein had even developed the full theory of general relativity, he had carried out calculations in the weak-field limit showing that gravitational effects should propagate at c. We will work out an argument to this effect (using a different technique than Einstein’s) in section 9.2. This seems eminently reasonable, since (a) it is likely to be consistent with causality, and (b) G and c are the only constants with units that appear in the field equations (obscured by our choice of units, in which G = 1 and c = 1), and the only velocity-scale that can be constructed from these two constants is c itself.1
Note
High-amplitude waves need not propagate at c. For example, general relativity predicts that a gravitational-wave pulse propagating on a background of curved spacetime develops a trailing edge that propagates at less than c (Misner, Thorne, and Wheeler, p. 957). This effect is weak when the amplitude is small or the wavelength is short compared to the scale of the background curvature.
As shown by the following timeline, Einstein’s prediction was surprisingly difficult to verify.
1913 | Einstein predicts gravitational waves traveling at c. |
1982 | Hulse-Taylor pulsar (sections 6.2, 9.2) seen to lose energy at the rate predicted by general relativity’s prediction of gravitational radiation. |
2016-2017 | Direct detection of gravitational waves and verification that they propagate at c. |
Why did this process take over a century? Naive arguments suggest that it should have been much easier. Workers as early as Newton and Laplace had investigated the consequences of a gravitational force that propagated at some finite speed. It is easy to show that, if nonrelativistic ideas about spacetime are retained, the predicted results are dramatic and not consistent with observation. For example, the earth and moon orbit about their common center of mass, which is inside the earth but offset from the earth’s center. Suppose that we retain Newton’s ideas about spacetime, but modify Newton’s law of gravity to incorporate a time delay, with changes in the gravitational field propagating at some speed u. The force acting on the moon would then point toward the earth’s location at a slightly earlier time, and this force would therefore have a component parallel to the moon’s direction of motion. The force would do positive work on the moon and also exert a positive torque, the result being that the moon would spiral away. This is not consistent with the fact that the earth-moon system has remained fairly stable for billions of years, unless we take u to be very large. From the stability of orbits in the solar system, Laplace estimated u \(\gtrsim\) 1015 m/s, many orders of magnitude greater than c. This seemed to support the Newtonian picture, in which gravity acts instantaneously at a distance. A time delay in Newtonian spacetime would also have been easily detected by twentieth-century measurements using space probes and radio astronomy.2
The trouble with such arguments is that when we substitute relativistic spacetime for Newtonian spacetime, it is no longer expected that a time-delayed field will point toward the retarded position of the source. For example, if an electric charge moves inertially, and is observed in a frame in which it is moving, then Lorentz invariance requires that its electric field lines be straight, and converge on the charge’s present position in that frame.3 The speed of gravity therefore turns out to be much harder to measure than Laplace had believed.
References
2 For an example of an erroneous 2003 claim to have performed such a test, see Fomalont and Kopeikin, http://arxiv.org/abs/astro-ph/0302294. Their claims were debunked by Samuel, http://arxiv.org/abs/astro-ph/0304006, and Will, http://arxiv.org/abs/astro-ph/0301145.
3 Crowell, Special Relativity, section 10.4