6.8 Moving Sources and Gravitational Waves 

This means that the velocity of propagation [of gravity] is equal to that of light. It seems at first that this hypothesis ought to be rejected outright. Laplace showed in effect that the propagation is either instantaneous or much faster than that of light. However, Laplace examined the hypothesis of finite propagation velocity ceteris non mutatis; here, on the contrary, this hypothesis is conjoined with many others, and it may be that between them a more or less perfect compensation takes place. The application of the Lorentz transformation has already provided us with numerous examples of this. 
Poincare, 1905 

The preceding sections focused on the spherically symmetrical solution of Einstein's field equations represented by the Schwarzschild solution, combined with the geodesic hypothesis. Most of the directly observable effects of general relativity can be modeled and evaluated on this basis, i.e., in terms of the solution of the “onebody problem”, a single gravitating body that can be regarded as stationary. Having solved the field equations for this single body, we then determine the paths of test particles in its vicinity, based on the assumption that those particles do not significantly affect the field, and that they follow geodesics in the field of the gravitating body. This is obviously a very simplified and idealized case, but it happens to be fairly representative of a small planet (e.g., Mercury) orbiting the Sun, or a light pulse grazing the Sun. From one point of view, the geodesic assumption seems quite natural and unobjectionable. After all, it merely asserts Newton’s first law of motion in each small region of spacetime. Any sufficiently small region is essentially flat, and if we assume that free objects move at constant speed in straight lines in flat spacetime, then overall they follow geodesics. 

However, there are two reasons for possibly being dissatisfied with the geodesic assumption. First, just as with Newton’s law of inertia, the geodesic assumption can be regarded as giving a special privileged status to certain paths without a clear justification. Of course, in practice the principle of inertia has proven itself to be extremely robust, but in theory there has always been some epistemological uneasiness about the circularity in the definition of inertial paths. As Einstein commented, we say an object moves inertially if it is free of outside influences, but we infer that it is free of outside influences only by observing that it moves inertially. This concern can be answered, at least in part, by noting that inertia serves as an organizing principle, and its significance is due to the large number of disparate entities that can be coordinated simultaneously on the basis of this principle. The concept of (local) inertial coordinates would indeed be purely circular if it successfully reduced the motions of only a single body to a simple set of patterns (e.g., Newton’s laws), but when the same system of coordinates is found to reduce the motions of multiple (and seemingly independent) objects, we are justified in claiming that it has nontrivial physical significance. Nevertheless, one of Einstein’s objectives in developing the general theory was to eliminate the reliance on the principle of inertia, which is the principle of geodesic motion in curved spacetime. 

The second reason for dissatisfaction with the geodesic assumption is that all actual objects are not just passive inhabitants of the spacetime manifold, they are sources of gravitation in their own right (since all forms of mass and energy gravitate). This immediately raises the problem – also encountered in electrodynamics – of how to deal with the field produced by the moving entity itself. However, unlike Maxwell’s equations of the electrodynamic field, the field equations of general relativity are nonlinear, so we are not even justified in “subtracting out” the selffield of the moving object, because the result will not generally be a solution of the field equations. One possible way of addressing this problem would be to treat the moving objects as contributors to the stressenergy tensor T_{mn} in the field equations, in which case the vanishing of the covariant derivative (imposed by the field equations) implies that the objects follow geodesics. However, it isn’t clear, a priori, that this is a legitimate representation of matter. Einstein, for one, rejected this approach, saying that T_{mn} is merely “a formal condensation of all things whose comprehension in the sense of a field theory is still problematic”. Another approach is to treat particles of matter as isolated pointlike pole singularities in the field – indeed this was the basis for a paper written by Einstein, Infeld, and Hoffman (EIH) in 1938, in which they argued that (at least when the field equations are integrated to some finite order of approximation, and assuming a weak field and low accelerations) such singularities can exist only if they propagate along geodesics in spacetime. 

At first sight this is a somewhat puzzling proposition, because geodesics are defined only on smooth manifolds, so it isn’t obvious how a singularity of a manifold can be said to propagate along a geodesic of that manifold. However, against the background of nearly Minkowskian spacetime, it’s possible to define a workable notion of the “position” of an isolated singularity (though not without some ambiguity). Even if we accept all these caveats, it’s odd that Einstein would pursue this approach, considering that he usually expressed a disdain for singularities, declaring that they render a field theory invalid – much like an inconsistency in a formal system. In fact, one of his favorite ideas was that we might achieve a complete physically viable field theory precisely by requiring the absence of singularities. Indeed the EIH paper shows that geodesic motion is an example of a physical effect that can be deduced on this basis. 

Einstein, et al, discovered that when the field equations are integrated in the presence of two specified pointlike singularities in the field, a onedimensional locus of singularity extending from one of the original points to the other ordinarily appears in the solution. There is, however, a special set of conditions on the motions of the two original pointlike singularities such that no intervening singular locus appears, and it is precisely the conditions of geodesic motion. Thus EIH concluded that the field equations of general relativity, by themselves, without any separate “geodesic assumption” actually do require mass point singularities to follow geodesic paths. Einstein interpreted this result to mean that even the classical equations of motion are due entirely to the nonlinearity of the field equations. This is actually an example of how meaningful physics can come out of Einstein’s principle of “nosingularities”. Of course, the solution retains the two pointlike singularities, so one might question whether Einstein was being hypocritical in banning singularities in the rest of the manifold. In reply he wrote 

This objection would be justified if the equations of gravitation were to be considered as equations of the total field. But since this is not the case, one will have to say that the field of a material particle will differ the more from a pure gravitational field the closer one comes to the location of the particle. If one had the field equations of the total field, one would be compelled to demand that the particles themselves could be represented as solutions of the complete field equations that are free of irregularities everywhere. Only then would the general theory of relativity be a complete theory. 

This is closely related to Einstein’s dissatisfaction with the dualistic nature of physics, combining the partial differential equations of the field with the total differential equations of particles. His hope was that particlelike solutions would emerge from some suitable field theory, and one of the conditions he felt must be satisfied by any such complete field theory must be the complete absence of singularities. It’s easy to understand why Einstein felt the need for a “unified field theory” to encompass both gravity and electromagnetism, because in their present separate forms they are quite incongruous. In the case of electrodynamics, the field equations are linear, and possess only a single gauge freedom, so the equations of motion must be introduced as an independent assumption. In contrast, general relativity suggests that the equations of motion of a field theory ought to be implied by the field equations themselves, which must therefore be nonlinear. 

One of the limitations of Einstein’s work on the equations of motion was that it neglected the effect of radiation. This neglect is usually considered to be justified, provided the accelerations involved are not too great. Still, strictly speaking, accelerating masses ought to produce radiation. Indeed, this is necessary, even for slowly accelerated motions, in order to maintain strict momentum conservation along with the nearly complete absence of aberration in the apparent direction of the “force” of gravity in the twobody problem (as noted by Laplace). But radiation reaction also causes acceleration, so it can be argued that any meaningful treatment of the problem of motion cannot neglect the effects of gravitational waves. As one would expect from a relativistic theory, the full field equations of general relativity possess solutions in which metrical disturbances propagate as waves. For a simple example, consider a metric of the form 

_{} 

By the same procedure that we used in section 6.1 to derive the Schwarzschild metric, we find that the only nonzero Christoffel symbols for this metric are 

_{} 

where subscripts on a and b denote partial derivatives. From these we find that the only nonvanishing components of the Ricci tensor are 

_{} 

Setting these Ricci components to zero (for a vacuum solution of Einstein’s field equations), the quantities in parentheses must individually vanish, and we get the following conditions on the functions a(t,x) and b(t,x). 

_{} 

If a and b are both purely functions of u = kt – x for some constant k, then these six conditions are satisfied if and only if k^{2} = 1 (so the phase velocity is unity, i.e., the speed of light) and 

_{} 

where dots signify derivatives with respect to u. We can choose any function we like for a(u), and then solve this differential equation for the corresponding function b(u) to give a solution of the vacuum field equations. For example, if we set a(u) = cos(lu) for some constant l, then a solution is given by setting b(u) = cosh(lu). Thus we have the following wellknown “wavelike” solution of the vacuum field equations 

_{} 

It isn’t difficult to splice a region of this solution between two regions in which the metric coefficients are purely linear functions of u, so that we have a complete vacuum spacetime that is entirely flat on both sides of a propagating plane wave. This admittedly is not a wave that could be produced by any realistic physical process, but it at least illustrates the possibility of exact wavelike solutions of the full nonlinear field equations. It also shows that such waves would be expected to propagate at the speed of light. In addition, the absence of offdiagonal terms in the metric implies that the wave has two planes of polarization. One might wonder if this metric is actually physically distinct from flat Minkowski spacetime, but it can be shown that the wave carries energy (according to the energy pseudotensor). 

Many treatments of gravitational waves focus on a linearized model of general relativity, but this is open to the criticism that we can’t be sure linear solutions are representative of exact solutions. This is especially true in view of the fact that Einstein’s work on the equations of motion suggested that even the lowest order constraints on the paths were due to the nonlinearity of the field equations. 

We should note that gravitational waves have never yet been directly observed, so they don't, at present, constitute part of the experimentally validated body of general relativity. Nevertheless, there is indirect empirical confirmation of gravitational waves in the apparent energy loss of certain binary star systems, most notably the HulseTaylor system, which consists of a neutron star and a pulsar orbiting each other every 8 hours. Careful observations indicate that the two stars are spiraling toward each other at a rate of 2.7 parts per billion each year, precisely consistent with the prediction of general relativity for the rate at which the system should be radiating energy in the form of gravitational waves. The agreement is very impressive, and subsequent observations of other binary star systems have provided similar indirect support for the existence of gravitational waves, although in some cases it is necessary to postulate other (unseen) bodies in the system in order to yield results consistent with general relativity. 

The experimental picture may change as a result of the LIGO project, which is an attempt to use extremely sensitive interferometry techniques to directly detect gravitational waves. Two separate facilities are being prepared in the states of Louisiana and Washington, and their readings will be combined to achieve a very large baseline. The facility in Washington state is over a mile long. If this effort is successful in detecting gravitational waves, it will be a very remarkable achievement, possibly opening up a new "channel" for observing the universe. Of course, it's also conceivable that efforts to detect gravitational waves may yield inconclusive results, i.e., no waves may be definitely detected, but it may be unclear whether the test has been adequate to detect them even if they were present. 

If, on the other hand, the experimental efforts were to surprise us with an unambiguously null result (analogous to the aether drift experiments in the late 19th century), ruling out the presence of gravitational waves in a range where theory says they ought to be detectable, it would be quite perplexing. Oddly enough, Einstein became convinced for a short time in 1937 that gravity waves were impossible, but soon changed his mind again. As recently as 1980 there were disputes in scholarly publications as to the validity of the quadrupole solution. Part of the reason that people such as Einstein have occasionally doubted the reality of the wave solutions is that all gravitational waves imply a singularity (as does the Schwarzschild solution), albeit "merely" a coordinate singularity. Also, the phenomena of gravitational waves must be inherently nonlinear, because it consists of gravity "acting on itself", and we know that gravity itself doesn't show up in the source terms of the field equations, but only in the nonlinearity of the lefthand side of the field equations. The inherent nonlinearity of gravitational waves makes them difficult to treat mathematically. Most classical wave solutions are based on linearized models, so it isn't easy to be sure the resulting "solutions" are representative of realistic solutions of the full nonlinear field equations. Furthermore, there are no known physical situations that would produce any of the simple linearized plane wave situations that are usually discussed. For example, it is known that there are no uniform plane wave solutions to the nonlinear field equations. (The exact solution described above relies on one of the metric coefficients being cosh(tx), which goes to infinity in both directions from the center of the wave.) There are cylindrical solutions, but unfortunately no plausible sources for infinite cylindrical solutions are known, so the physical significance of these solutions is unclear. 

It might seem as though there ought to be spherically symmetrical "pulsating" solutions that radiate gravitational waves, but this is not the case, as is clear from Birkhoff's proof that the Schwarzschild solution is the unique (up to transformation of coordinates) spherically symmetrical solution of the field equations, even without the "static" assumption. In fact, we can’t even have a single oscillating mass (dipole) source, because, unlike the case of electromagnetism, any entity capable of causing a mass to oscillate must also have equal and opposite massenergy. As a result, there is no physically meaningful "dipole" source for gravitational waves in general relativity. The lowestorder solutions are necessarily given by quadrupole configurations, such as (in the simplest case) two masses oscillating back and forth connected by a spring. 

Consideration of gravitational waves is obviously important in efforts to “quantize” the theory of gravity. Just as Planck’s analysis of electromagnetic “black body” radiation led to the quantization of the electromagnetic field (to avoid the ultraviolet catastrophe), we can consider the spectrum of gravitational waves in equilibrium within an enclosed cavity. Naturally this requires us to evaluate the state of equilibrium between the gravitational waves and the walls of the cavity, and also how the gravitational waves interact with each other. Unlike electromagnetic waves, gravitational wave solutions cannot simply be superimposed, so this is an extremely difficult situation to model. Much effort has been put into trying to understand how general relativity could be reconciled with quantum theory, but no satisfactory synthesis has emerged. 

Closely related to the subject of gravitational waves is the question of how the force of gravity "propagates". It's not too surprising that the considerations of gravity in the 17th century led to the notion of instantaneous action at a distance, because it’s an empirical fact that the gravitational acceleration of a small body orbiting at a distance r from a gravitating source is directed, at each instant, very precisely toward the position of the source at that instant. (When we refer to "instants" in this section, we mean with respect to the asymptotic inertial rest coordinates of the center of mass of the system.) Laplace noted that the stability of planetary orbits implies the absence of any appreciable aberration in the direction of the force of gravity, which led him to infer that the force of gravity must be conveyed a million times faster than light on the assumption that gravity is a purely central force between pairs of material entities. The same reasoning would apply to the electric force between two charges, because the force of electromagnetism also exhibits no firstorder aberration. However, by around 1905 Lorentz and Poincare showed that in any relativistic field theory the forces between charges or masses are not generally central, because the field itself is a dynamical element, with energy and momentum, just as are the charges or masses. The force exerted by the field on a particle at any given location and time depends not only on the past position of the source particle but also on its state of motion, due to the dynamic flows of energy and momentum that are induced in the field. This can be seen most clearly in Lorentz’s 1904 axiomatic explanation of the null result of the TroutonNoble experiment, and Laue’s later clarification in terms of the flows of energy and momentum of the field itself. The absence of firstorder aberration in the direction of the force is seen to be a direct consequence of the local conservation of energy and momentum at every point. 

This lack of aberration is obviously a necessary feature of any relativistic theory, as can be seen from examining simple interactions from different frames of reference. For example, we know the electrostatic force exerted on a uniformly moving test particle by a "stationary" charge always points directly toward the source, because the field is spherically symmetrical about the source. But we can just as well regard the test particle as "stationary", in which case the source is moving uniformly. If the force point toward the retarded position in this circumstance (i.e., with a moving source), this would signify that the laws governing electromagnetic force are different, depending on whether the source or the test particle is considered to be at rest. Empirically we find that the force exerted on the test particle always points directly toward the source at the present instant (in terms of any system of inertial coordinates). With a stationary source this is as we intuitive expect, but it may seem surprising for a moving source, because we know changes in the field propagate at the speed of light, rather than instantaneously. How does the test particle "know" where the source is at the present instant, if it can only be influenced by the source at some finite time in the past, allowing for the finite speed of propagation of the field? The answer is that the electromagnetic force function depends not only on the source's relative position, but also on the derivative of the position (i.e., the velocity). The condition of Lorentz invariance of the force law is precisely the condition that the velocity effect cancels out the lag in position, but of course this applies only as long as the source and the test particle continue to move uniformly. If either of them is accelerated, the "knowledge" of this propagates from one to the other at the speed of light. 

An even more impressive example of the positionlag cancellation effects involves the "force of gravity" on a massive test particle orbiting a much more massive source of gravity, such as the Earth orbiting the Sun. In the case of Einstein's gravitational field equations the field interaction depends not only on the position and velocity but also on the acceleration, so the aberration cancels out not only to the firstorder (as in electromagnetism) but also to the secondorder. Thus the "force of gravity" on an orbiting body points almost exactly in the direction of the gravitating source at the present instant, even though the source (e.g., the Sun) is actually undergoing nonuniform motion. In the twobody problem, both objects actually orbit around the common center of mass, so the Sun (for example) actually proceeds in a circle, but the "force of gravity" exerted on the Earth effectively anticipates this motion (to the second order). 

The reason the phase cancellation extends one order higher for gravity than for electromagnetism is the same reason that Maxwell's equations predict dipole waves, whereas Einstein's equations only support quadrupole (or higher) waves. Waves will necessarily appear in the same order at which phase cancellation no longer applies. For electrically charged particles we can generate waves by any kind of acceleration, because electromagnetism exists within the spacetime metric provided by the field equations, and we can accelerate a charged object by interaction with neutral objects. In contrast, we can't produce gravitational waves by the simplest kind of "acceleration" of a mass, because there is no background reference to unambiguously define dipole acceleration, and any manipulation of a mass must be performed by some other mass. The Einstein field equations have an extra degree of freedom (so to speak) that prevents simple dipole acceleration from having any "traction". It is necessary to apply quadrupole acceleration, so that the two dipoles can act on each other to yield a propagating effect. 

A twobody system such as the Sun and the Earth produces very little gravitational radiation, and accordingly has nearly perfect compensation for the positionlag, so the Earth's gravitational acceleration always points directly toward the Sun's position at the present instant, rather than (say) the Sun's position eight minutes ago. Of course, if the Sun were to suddenly split into two parts that recoiled from each other, the effect of such a disturbance in the Sun’s gravitational field would propagate at the speed of light. Thus the fact that the Earth's gravitational acceleration always points directly at the Sun's present position does not imply that the "force of gravity" is transmitted instantaneously. It merely implies that there are velocity and acceleration terms in the interaction (corresponding to the dynamics of the gravitational field) that effectively cancel out the position lag in a simple periodic pattern of motion. 
