8.6: Sources in General Relativity (Part 3)
( \newcommand{\kernel}{\mathrm{null}\,}\)
Geodesic motion of test particles
Question 1 was: “Does a small enough physical object always have a world-line that is approximately a geodesic?” In other words, do Eötvös experiments give null results when carried out in laboratories using real-world apparatus of small enough size? We would like something of this type to be true, since general relativity is based on the equivalence principle, and the equivalence principle is motivated by the null results of Eötvös experiments. Nevertheless, it is fairly easy to show that the answer to the question is no, unless we make some more specific assumption, such as an energy condition, about the system being modeled.
Before we worry about energy conditions, let’s consider why the small size of the apparatus is relevant. Essentially this is because of gravitational radiation. In a gravitationally radiating system such as the Hulse-Taylor binary pulsar (section 6.2), the material bodies lose energy, and as with any radiation process, the radiated power depends on the square of the strength of the source. The world-line of a such a body therefore depends on its mass, and this shows that its world-line cannot be an exact geodesic, since the initially tangent world-lines of two different masses diverge from one another, and these two world-lines can’t both be geodesics.
Let’s proceed to give a rough argument for geodesic motion and then try to poke holes in it. When we test geodesic motion, we do an Eötvös experiment that is restricted to a certain small region of spacetime S. Our test-body’s world-line enters S with a certain energy-momentum vector p and exits with p'. If spacetime was flat, then Gauss’s theorem would hold exactly, and the vanishing divergence
Although this argument is almost right, it has some problems. First we have to ask whether “geodesic” means a geodesic of the full spacetime including the object’s own fields, or of the background spacetime B that would have existed without the object. The latter is the more sensible interpretation, since the question is basically asking whether a spacetime can really be defined geometrically, as the equivalence principle claims, based on the motion of test particles inserted into it. We also have to define words like “small enough” and “approximately;” to do this, we imagine a sequence of objects On that get smaller and smaller as n increases. We then form the following conjecture, which is meant to formulate question 1 more exactly: Given a vacuum background spacetime B, and a timelike world-line
Note
i.e., at any point P on
This is almost right but not quite, as shown by the following counterexample. Papapetrou10 has shown that a spinning body in a curved background spacetime deviates from a geodesic with an acceleration that is proportional to LR, where L is its angular momentum and R is the Riemann curvature. Let all the On have a fixed value of L, but let the spinning mass be concentrated into a smaller and smaller region as n increases, so as to satisfy (ii). As the radius r decreases, the motion of the particles composing an On eventually has to become ultrarelativistic, so that the main contribution to the gravitational field is from the particles’ kinetic energy rather than their rest mass. We then have L ∼ pr ∼ Er, so that in order to keep L constant, we must have E
Ehlers and Geroch11 have proved that it suffices to require an additional condition: (iv) The On satisfy the dominant energy condition. This rules out our counterexample.
The Newtonian limit
In units with c ≠ 1, a quantity like


Example 10: no gravitational shielding
Electric fields can be completely excluded from a Faraday cage, and magnetic fields can be very strongly blocked with high-permeability materials such as mu-metal. It would be fun if we could do the same with gravitational fields, so that we could have zero-gravity or near-zero-gravity parties in a specially shielded room. It would be a form of antigravity, but a different one than the “upsidasium” type. Unfortunately this is difficult to do, and the reason it’s difficult turns out to be related to the unavailability of materials that violate energy conditions.
First we need to define what we mean by shielding. We restrict ourselves to the Newtonian limit, and to one dimension, so that a gravitational field is specified by a function of one variable g(x). The best kind of shielding would be some substance that we could cut with shears and form into a box, and that would exclude gravitational fields from the interior of the box. This would be analogous to a Faraday cage; no matter what external field it was embedded in, it would spontaneously adjust itself so that the internal field was canceled out. A less desirable kind of shielding would be one that we could set up on an ad hoc basis to null out a specific, given, externally imposed field. Once we know what the external field is, we try to choose some arrangement of masses such that the field is nulled out. We will show that even this kind of shielding is unachievable, if nulling out the field is interpreted to mean this: at some point, which for convenience we take to be the origin, we wish to have a gravitational field such that g(0) = 0,
Since we’re only doing the Newtonian limit, the gravitational field is the sum of the fields made by all the sources, and we can take this as a sum over point sources. For a point source m placed at x0, the field g(x) is odd under reflection about x0. The derivative of the field g'(x) is even. Since g' is even, we can’t control its sign at x = 0 by choosing x0 > 0 or x0 < 0. The only way to control the sign of g' is by choosing the sign of m. Therefore if the sign of the externally imposed field’s derivative is wrong, we can never null it out. Figure 8.1.8 shows a special case of this theorem. The theorem does not apply to three dimensions, and it does not prove that all fields are impossible to null out, only that some are. For example, the field inside a hemispherical shell can be nulled by adding another hemispherical shell to complete the sphere. I thank P. Allen for helpful discussion of this topic.


Singularity Theorems
An important example of the use of the energy conditions is that Hawking and Ellis have proved that under the assumption of the strong energy condition, any body that becomes sufficiently compact will end up forming a singularity. We might imagine that the formation of a black hole would be a delicate thing, requiring perfectly symmetric initial conditions in order to end up with the perfectly symmetric Schwarzschild metric. Many early relativists thought so, for good reasons. If we look around the universe at various scales, we find that collisions between astronomical bodies are extremely rare. This is partly because the distances are vast compared to the sizes of the objects, but also because conservation of angular momentum has a tendency to make objects swing past one another rather than colliding head-on. Starting with a cloud of objects, e.g., a globular cluster, Newton’s laws make it extremely difficult, regardless of the attractive nature of gravity, to pick initial conditions that will make them all collide the future. For one thing, they would have to have exactly zero total angular momentum.
Most relativists now believe that this is not the case. General relativity describes gravity in terms of the tipping of light cones. When the field is strong enough, there is a tendency for the light cones to tip over so far that the entire future light-cone points at the source of the field. If this occurs on an entire surface surrounding the source, it is referred to as a trapped surface.
To make this notion of light cones “pointing at the source” more rigorous, we need to define the volume expansion
When a trapped surface forms, any lumpiness or rotation in the initial conditions becomes irrelevant, because every particle’s entire future world-line lies inward rather than outward. A possible loophole in this argument is the question of whether the light cones will really tip over far enough. We could imagine that under extreme conditions of high density and temperature, matter might demonstrate unusual behavior, perhaps including a negative energy density, which would then give rise to a gravitational repulsion. Gravitational repulsion would tend to make the light cones tip outward rather than inward, possibly preventing the collapse to a singularity. We can close this loophole by assuming an appropriate energy condition. Penrose and Hawking have formalized the above argument in the form of a pair of theorems, known as the singularity theorems. One of these applies to the formation of black holes, and another one to cosmological singularities such as the Big Bang.
In a cosmological model, it is natural to foliate using worldlines that are at rest relative to the Hubble flow (or, equivalently, the world-lines of observers who see a vanishing dipole moment in the cosmic microwave background). The
Current status
The current status of the energy conditions is shaky. Although it is clear that all of them hold in a variety of situations, there are strong reasons to believe that they are violated at both microscopic and cosmological scales, for reasons both classical and quantummechanical.12 We will see such a violation in the following section.
The Cosmological Constant
Having included the source term in the Einstein field equations, our most important application will be to cosmology. Some of the relevant ideas originate long before Einstein. Once Newton had formulated a theory of gravity as a universal attractive force, he realized that there would be a tendency for the universe to collapse. He resolved this difficulty by assuming that the universe was infinite in spatial extent, so that it would have no center of symmetry, and therefore no preferred point to collapse toward. The trouble with this argument is that the equilibrium it describes is unstable. Any perturbation of the uniform density of matter breaks the symmetry, leading to the collapse of some pocket of the universe. If the radius of such a collapsing region is r, then its gravitational is proportional to r3, and its gravitational field is proportional to
Einstein confronted similar issues, but in a more acute form. Newton’s symmetry argument, which failed only because of its instability, fails even more badly in relativity: the entire spacetime can simply contract uniformly over time, without singling out any particular point as a center. Furthermore, it is not obvious that angular momentum prevents total collapse in relativity in the same way that it does classically, and even if it did, how would that apply to the universe as a whole? Einstein’s Machian orientation would have led him to reject the idea that the universe as a whole could be in a state of rotation, and in any case it was sensible to start the study of relativistic cosmology with the simplest and most symmetric possible models, which would have no preferred axis of rotation.
Because of these issues, Einstein decided to try to patch up his field equation so that it would allow a static universe. Looking back over the considerations that led us to this form of the equation, we see that it is very nearly uniquely determined by the following criteria:
- It should be consistent with experimental evidence for local conservation of energy-momentum.
- It should satisfy the equivalence principle.
- It should be coordinate-independent.
- It should be equivalent to Newtonian gravity or “plain” general relativity in the appropriate limit.
- It should not be overdetermined.
This is not meant to be a rigorous proof, just a general observation that it’s not easy to tinker with the theory without breaking it.
Example 11: A failed attempt at tinkering
As an example of the lack of “wiggle room” in the structure of the field equations, suppose we construct the scalar Taa, the trace of the stress-energy tensor, and try to insert it into the field equations as a further source term. The first problem is that the field equation involves rank-2 tensors, so we can’t just add a scalar. To get around this, suppose we multiply by the metric. We then have something like Gab = c1Tab + c2gabTcc, where the two constants c1 and c2 would be constrained by the requirement that the theory agree with Newtonian gravity in the classical limit.
To see why this attempt fails, note that the stress-energy tensor of an electromagnetic field is traceless, Tcc = 0. Therefore the beam of light’s coupling to gravity in the c2 term is zero. As discussed earlier, empirical tests of conservation of momentum would therefore constrain c2 to be
One way in which we can change the field equation without violating any of these requirements is to add a term
which is what we will refer to as the Einstein field equation.13 As we’ll see in example 12, this is consistent with conservation of energy-momentum (requirement 1 above) if and only if
Note
In books that use a − + + + metric rather then our + − − −, the sign of the cosmological constant term is reversed relative to ours.
We could also choose to absorb the
Einstein originally introduced a positive cosmological constant because he wanted relativity to be able to describe a static universe. To see why it would have this effect, compare its behavior with that of an ordinary fluid. When an ordinary fluid, such as the exploding air-gas mixture in a car’s cylinder, expands, it does work on its environment, and therefore by conservation of energy its own internal energy is reduced. A positive cosmological constant, however, acts like a certain amount of mass-energy built into every cubic meter of vacuum. Thus when it expands, it releases energy. Its pressure is negative.
Now consider the following semi-relativistic argument. Although we’ve already seen (section 6.2) that there is no useful way to separate the roles of kinetic and potential energy in general relativity, suppose that there are some quantities analogous to them in the description of the universe as a whole. (We’ll see below that the universe’s contraction and expansion is indeed described by a set of differential equations that can be interpreted in essentially this way.) If the universe contracts, a cubic meter of space becomes less than a cubic meter. The cosmological-constant energy associated with that volume is reduced, so some energy has been consumed. The kinetic energy of the collapsing matter goes down, and the collapse is decelerated.
Example 12: Cosmological constant must be constant
If
Example 13: Cosmological constant is cosmological
The addition of the
Example 14: Energy conditions
Since the right-hand side of the field equation is 8
References
10 Proc. Royal Soc. London A 209 (1951) 248. The relevant result is summarized in Misner, Thorne, and Wheeler, Gravitation, p. 1121.
11 arxiv.org/abs/gr-qc/0309074v1
12 Barcelo and Visser, “Twilight for the energy conditions?,” http://arxiv.org/abs/gr-qc/0205066v1.