- •Contents
- •Preface to the second edition
- •Preface to the first edition
- •1 Special relativity
- •1.2 Definition of an inertial observer in SR
- •1.4 Spacetime diagrams
- •1.6 Invariance of the interval
- •1.8 Particularly important results
- •Time dilation
- •Lorentz contraction
- •Conventions
- •Failure of relativity?
- •1.9 The Lorentz transformation
- •1.11 Paradoxes and physical intuition
- •The problem
- •Brief solution
- •2 Vector analysis in special relativity
- •Transformation of basis vectors
- •Inverse transformations
- •2.3 The four-velocity
- •2.4 The four-momentum
- •Conservation of four-momentum
- •Scalar product of two vectors
- •Four-velocity and acceleration as derivatives
- •Energy and momentum
- •2.7 Photons
- •No four-velocity
- •Four-momentum
- •Zero rest-mass particles
- •3 Tensor analysis in special relativity
- •Components of a tensor
- •General properties
- •Notation for derivatives
- •Components
- •Symmetries
- •Circular reasoning?
- •Mixed components of metric
- •Metric and nonmetric vector algebras
- •3.10 Exercises
- •4 Perfect fluids in special relativity
- •The number density n
- •The flux across a surface
- •Number density as a timelike flux
- •The flux across the surface
- •4.4 Dust again: the stress–energy tensor
- •Energy density
- •4.5 General fluids
- •Definition of macroscopic quantities
- •First law of thermodynamics
- •The general stress–energy tensor
- •The spatial components of T, T ij
- •Conservation of energy–momentum
- •Conservation of particles
- •No heat conduction
- •No viscosity
- •Form of T
- •The conservation laws
- •4.8 Gauss’ law
- •4.10 Exercises
- •5 Preface to curvature
- •The gravitational redshift experiment
- •Nonexistence of a Lorentz frame at rest on Earth
- •The principle of equivalence
- •The redshift experiment again
- •Local inertial frames
- •Tidal forces
- •The role of curvature
- •Metric tensor
- •5.3 Tensor calculus in polar coordinates
- •Derivatives of basis vectors
- •Derivatives of general vectors
- •The covariant derivative
- •Divergence and Laplacian
- •5.4 Christoffel symbols and the metric
- •Calculating the Christoffel symbols from the metric
- •5.5 Noncoordinate bases
- •Polar coordinate basis
- •Polar unit basis
- •General remarks on noncoordinate bases
- •Noncoordinate bases in this book
- •5.8 Exercises
- •6 Curved manifolds
- •Differential structure
- •Proof of the local-flatness theorem
- •Geodesics
- •6.5 The curvature tensor
- •Geodesic deviation
- •The Ricci tensor
- •The Einstein tensor
- •6.7 Curvature in perspective
- •7 Physics in a curved spacetime
- •7.2 Physics in slightly curved spacetimes
- •7.3 Curved intuition
- •7.6 Exercises
- •8 The Einstein field equations
- •Geometrized units
- •8.2 Einstein’s equations
- •8.3 Einstein’s equations for weak gravitational fields
- •Nearly Lorentz coordinate systems
- •Gauge transformations
- •Riemann tensor
- •Weak-field Einstein equations
- •Newtonian limit
- •The far field of stationary relativistic sources
- •Definition of the mass of a relativistic body
- •8.5 Further reading
- •9 Gravitational radiation
- •The effect of waves on free particles
- •Measuring the stretching of space
- •Polarization of gravitational waves
- •An exact plane wave
- •9.2 The detection of gravitational waves
- •General considerations
- •Measuring distances with light
- •Beam detectors
- •Interferometer observations
- •9.3 The generation of gravitational waves
- •Simple estimates
- •Slow motion wave generation
- •Exact solution of the wave equation
- •Preview
- •Energy lost by a radiating system
- •Overview
- •Binary systems
- •Spinning neutron stars
- •9.6 Further reading
- •10 Spherical solutions for stars
- •The metric
- •Physical interpretation of metric terms
- •The Einstein tensor
- •Equation of state
- •Equations of motion
- •Einstein equations
- •Schwarzschild metric
- •Generality of the metric
- •10.5 The interior structure of the star
- •The structure of Newtonian stars
- •Buchdahl’s interior solution
- •10.7 Realistic stars and gravitational collapse
- •Buchdahl’s theorem
- •Quantum mechanical pressure
- •White dwarfs
- •Neutron stars
- •10.9 Exercises
- •11 Schwarzschild geometry and black holes
- •Black holes in Newtonian gravity
- •Conserved quantities
- •Perihelion shift
- •Post-Newtonian gravity
- •Gravitational deflection of light
- •Gravitational lensing
- •Coordinate singularities
- •Inside r = 2M
- •Coordinate systems
- •Kruskal–Szekeres coordinates
- •Formation of black holes in general
- •General properties of black holes
- •Kerr black hole
- •Dragging of inertial frames
- •Ergoregion
- •The Kerr horizon
- •Equatorial photon motion in the Kerr metric
- •The Penrose process
- •Supermassive black holes
- •Dynamical black holes
- •11.6 Further reading
- •12 Cosmology
- •The universe in the large
- •The cosmological arena
- •12.2 Cosmological kinematics: observing the expanding universe
- •Homogeneity and isotropy of the universe
- •Models of the universe: the cosmological principle
- •Cosmological metrics
- •Cosmological redshift as a distance measure
- •The universe is accelerating!
- •12.3 Cosmological dynamics: understanding the expanding universe
- •Critical density and the parameters of our universe
- •12.4 Physical cosmology: the evolution of the universe we observe
- •Dark matter and galaxy formation: the universe after decoupling
- •The early universe: fundamental physics meets cosmology
- •12.5 Further reading
- •Appendix A Summary of linear algebra
- •Vector space
- •References
- •Index
194 |
The Einstein field equations |
and so will still give a Lorentz gauge. Thus, the Lorentz gauge is really a class of gauges. In this gauge, Eq. (8.32) becomes (see Exer. 10, § 8.6)
|
= − |
2 |
¯ |
|
Gαβ |
|
1 |
hαβ . |
(8.41) |
Then the weak-field Einstein equations are
¯ |
= − |
|
hμν |
16 π Tμν . |
(8.42) |
These are called the field equations of ‘linearized theory’, since they result from keeping terms linear in hαβ .
8.4 N e w t o n i a n g ra v i t a t i o n a l fi e l d s
Newtonian limit
Newtonian gravity is known to be valid when gravitational fields are too weak to produce velocities near the speed of light: |φ| 1, |v| 1. In such situations, GR must make the same predictions as Newtonian gravity. The fact that velocities are small means that the components Tαβ typically obey the inequalities |T00| |T0i| |Tij|. We can only say ‘typically’ because in special cases T0i might vanish, say for a spherical star, and the second inequality would not hold. But in a strongly rotating Newtonian star, T0i would greatly exceed any of the components of Tij. Now, these inequalities should be expected to trans-
fer to ¯ |
αβ |
because of Eq. (8.42): |
|¯ |
| |¯ |
| |¯ | |
. Of course, we must again be careful |
h |
|
h00 |
h0i |
hij |
about making too broad a statement: we can add in any solution to the homogeneous form of Eq. (8.42), where the right-hand-side is set to zero. In such a solution, the sizes of the components would not be controlled by the sizes of the components of Tαβ . These homogeneous solutions are what we call gravitational waves, as we shall see in the next chapter.
¯
So the ordering given here on the components of hαβ holds only in the absence of significant gravitational radiation. Newtonian gravity, of course, has no gravitational waves, so the ordering is just what we need if we want to reproduce Newtonian gravity in general relativity. Thus, we can expect that the dominant ‘Newtonian’ gravitational field comes
from the dominant field equation |
= − |
|
¯ |
|
|
h00 |
16 πρ, |
(8.43) |
where we use the fact that T00 = ρ + 0(ρv2). For fields that change only because the sources move with velocity v, we have that ∂/∂t is of the same order as v ∂/∂x, so that
= 2 + 0(v2 2). |
(8.44) |
||
Thus, our equation is, to lowest order, |
¯ |
= − |
|
|
|
||
|
2h00 |
16πρ. |
(8.45) |
195 |
|
8.4 Newtonian gravitational fields |
|
||||
|
|
|
|
|
|
|
|
|
Comparing this with the Newtonian equation, Eq. (8.1), |
|
|||||
|
|
||||||
|
|
|
|
2φ = 4πρ |
|
||
|
(with G = 1), we see that we must identify |
|
|
|
|||
|
|
|
|
h00 |
= − |
|
|
|
|
|
|
¯ |
|
(8.46) |
|
|
|
|
|
4φ. |
|||
|
|
hαβ |
are negligible at this order, we have |
|
|||
|
Since all other components of ¯ |
|
|||||
|
|
|
= |
α = −¯ |
α = ¯ |
|
|
|
|
h |
|
hα |
hα |
h00, |
(8.47) |
|
and this implies |
|
|
|
|
|
|
|
|
h00 = −2φ, |
|
(8.48) |
|||
|
|
hxx = hyy = hzz = −2φ, |
(8.49) |
||||
|
or |
|
|
|
|
|
|
|
|
ds2 = −(1 + 2φ)dt2 + (1 − 2φ)(dx2 + dy2 + dz2). |
(8.50) |
This is identical to the metric given in Eq. (7.8). We saw there that this metric gives the correct Newtonian laws of motion, so the demonstration here that it follows from Einstein’s equations completes the proof that Newtonian gravity is a limiting case of GR. Importantly, it also confirms that the constant 8π in Einstein’s equations is the correct value of k.
Most astronomical systems are well-described by Newtonian gravity as a first approximation. But there are many systems for which it is important to compute the corrections beyond Newtonian theory. These are called post-Newtonian effects, and in Exers. 19 and 20, § 8.6, we encounter two of them. Post-Newtonian effects in the Solar System include the famous fundamental tests of general relativity, such as the precession of the perihelion of Mercury and the bending of light by the Sun; both of which we will meet in Ch. 11. Outside the Solar System the most important post-Newtonian effect is the shrinking of the orbit of the Binary Pulsar, which confirms general relativity’s predictions concerning gravitational radiation (see Ch. 9). Post-Newtonian effects therefore lead to important highprecision tests of general relativity, and the theory of these effects is very well developed. The approximation has been carried to very high orders (Blanchet 2006, Futamase and Itoh 2007).
The far field of stationary relativistic sources
For any source of the full Einstein equations, which is confined within a limited region of space (a ‘localized’ source), we can always go far enough away from it that its gravitational field becomes weak enough that linearized theory applies in that region. We say that such a spacetime is asymptotically flat: spacetime becomes flat asymptotically at large distances from the source. We might be tempted, then, to carry the discussion we have just gone through over to this case and say that Eq. (8.50) describes the far field of the source, with φ the Newtonian potential. This method would be wrong, for two related reasons. First, the derivation of Eq. (8.50) assumed that gravity was weak everywhere, including inside the source, because a crucial step was the identification of Eq. (8.45) with Eq. (8.1) inside
196 |
The Einstein field equations |
the source. In the present discussion we wish to make no assumptions about the weakness of gravity in the source. The second reason the method would be wrong is that we do not know how to define the Newtonian potential φ of a highly relativistic source anyway, so Eq. (8.50) would not make sense.
So we shall work from the linearized field equations directly. Since at first we assume the source of the field Tμν is stationary (i.e. independent of time), we can assume that far away from it hμν is independent of time. (Later we will relax this assumption.) Then Eq. (8.42) becomes
|
¯ |
= |
|
|
|
2hμν |
|
0, |
(8.51) |
far from the source. This has the solution
¯ |
= |
|
+ |
0(r−2), |
|
hμν |
|
Aμν /r |
|
(8.52) |
where Aμν is constant. In addition, we must demand that the gauge condition, Eq (8.33), be satisfied:
|
= ¯ |
,ν = ¯ |
,j = − |
j |
/r2 |
+ |
0(r−3), |
|
0 |
hμν |
hμj |
|
Aμjn |
|
(8.53) |
¯μν
where the sum on ν reduces to a sum on the spatial index j because h is time independent, and where nj is the unit radial normal,
nj = xj/r. |
(8.54) |
The consequence of Eq. (8.53) for all xi is |
|
Aμj = 0, |
(8.55) |
¯00
for all μ and j. This means that only h survives or, in other words, that, far from the source
|¯ |
| |¯ | |
|
|¯ |
| |¯ | |
|
|
h00 |
hij |
, |
h00 |
h0j |
. |
(8.56) |
These conditions guarantee that the gravitational field does indeed behave like a Newtonian field out there, so we can reverse the identification that led to Eq. (8.46) and define the ‘Newtonian potential’ for the far field of any stationary source to be
(φ) |
relativistic far field |
:= − |
1 |
h00) |
far field |
. |
(8.57) |
|
4 |
(¯ |
|
|
With this identification, Eq. (8.50) now does make sense for our problem, and it describes the far field of our source.
Definition of the mass of a relativistic body
Now, far from a Newtonian source, the potential is
(φ)Newtonian far field = −M/r + 0(r−2), |
(8.58) |
where M is the mass of the source (with G = 1). Thus, if in Eq. (8.52) we rename the constant A00 to be 4M, the identification, Eq. (8.57), says that
(φ)relativistic far field = −M/r. |
(8.59) |