- •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
11 Schwarzschild geometry and black holes
11.1 Tra j e c t o r i e s i n t h e S c h wa r z s c h i l d s p a ce t i m e
The ‘Schwarzschild geometry’ is the geometry of the vacuum spacetime outside a spherical star. It is determined by one parameter, the mass M, and has the line element
ds2 = − 1 − 2r |
dt2 + 1 − |
r |
− |
dr2 |
+ r2 |
d 2 |
(11.1) |
|
|
M |
|
2M |
|
1 |
|
|
|
in the coordinate system developed in the previous chapter. Its importance is not just that it is the gravitational field of a star: we shall see that it is also the geometry of the spherical black hole. A careful study of its timelike and null geodesics – the paths of freely moving particles and photons – is the key to understanding the physical importance of this metric.
Black holes in Newtonian gravity
Before we embark on the study of fully relativistic black holes, it is well to understand that the physics is not really exotic, and that speculations on analogous objects go back two centuries. It follows from the weak equivalence principle, which was part of Newtonian gravity, that trajectories in the gravitational field of any body depend only on the position and velocity of the particle, not its internal composition. The question of whether a particle can escape from the gravitational field of a body is, then, only an issue of velocity: does it have the right escape velocity for the location it starts from. For a spherical body like a star, the escape velocity depends only on how far one is from the center of the body.
Now, a star is visible to us because light escapes from its surface. As long ago as the late 1700’s, the British physicist John Michell and the French mathematician and physicist Pierre Laplace speculated (independently) on the possibility that stars might exist whose escape velocity was larger than the speed of light. At that period in history, it was popular to regard light as a particle traveling at a finite speed. Michell and Laplace both understood that if nature were able to make a star more compact than the Sun, but with the same mass, then it would have a larger escape velocity. It would therefore be possible in principle to make it compact enough for the escape velocity to be the velocity of light. The star would then be dark, invisible. For a spherical star, this is a simple computation. By conservation of energy, a particle launched from the surface of a star with mass M and radius R will
282 |
Schwarzschild geometry and black holes |
just barely escape if its gravitational potential energy balances its kinetic energy (using Newtonian language):
21 v2 = |
GM |
|
R . |
(11.2) |
Setting v = c in this relation gives the criterion for the size of a star that would be invisible:
R = |
2GM |
|
c2 . |
(11.3) |
Remarkably, as we shall see this is exactly the modern formula for the radius of a black hole in general relativity (§ 11.2). Now, both Michell and Laplace knew the mass of the Sun and the speed of light to enough accuracy to realize that this formula gives an absurdly small size, of order a few kilometers, so that to them the calculation was nothing more than an amusing speculation.
Today this is far more than an amusing speculation: objects of this size that trap light are being discovered all over the universe, with masses ranging from a few solar masses up to 109 or 1010 M . (We will discuss this in § 11.4 below.) The small size of a few kilometers is not as absurd as it once seemed. For a 1 M star, using modern values for c and G, the radius is about 3 km. We saw in the last chapter that neutron stars have radii perhaps three times as large, with comparable masses, and that they cannot support more than three solar masses, perhaps less. So when neutron stars accrete large amounts of material, or when neutron stars merge together (as the stars in the Hulse–Taylor binary must do in about 108 y), formation of something even more compact is inevitable. What is more, it takes even less exotic physics to form a more massive black hole. Consider the mean density of an object (again in Newtonian terms) with the size given by Eq. (11.3):
ρ¯ = |
M |
= |
|
3c6 |
|
|
|
|
|
. |
(11.4) |
||
34 π R3 |
32π G3M2 |
This scales as M−2, so that the density needed to form such an object goes down as its mass goes up. It is not hard to show that an object with a mass of 109 M would become a Newtonian ‘dark star’ when its density had risen only to the density of water! Astronomers believe that this is a typical mass for the black holes that are thought to power quasars (see
§11.4 below), so these objects would not necessarily require any exotic physics to form. Although there is a basic similarity between the old concept of a Newtonian dark star
and the modern black hole that we will explore in this chapter, there are big differences too. Most fundamentally, for Michell and Laplace the star was dark because light could not escape to infinity. The star was still there, shining light. The light would still leave the surface, but gravity would eventually pull it back, like a ball thrown upwards. In relativity, as we shall see, the light never leaves the ‘surface’ of a black hole; and this surface is itself not the edge of a massive body but just empty space, left behind by the inexorable collapse of the material that formed the hole.
283 |
11.1 Trajectories in the Schwarzschild spacetime |
Conserved quantities
We begin our study of relativistic black holes by examining the trajectories of particles. This will allow us eventually to see whether light rays are trapped or can escape.
We have seen (Eq. (7.29) and associated discussion) that when a spacetime has a certain symmetry, then there is an associated conserved momentum component for trajectories. Because our space has so many symmetries – time independence and spherical symmetry – the values of the conserved quantities turn out to determine the trajectory completely. We shall treat ‘particles’ with mass and ‘photons’ without mass in parallel.
Time independence of the metric means that the energy −p0 is constant on the trajectory. For massive particles with rest mass m =0, we define the energy per unit mass (specific
˜
energy) E, while for photons we use a similar notation just for the energy E:
particle : E˜ := −p0/m; photon : E = −p0. |
(11.5) |
Independence of the metric of the angle φ about the axis implies that the angular momen-
˜
tum pφ is constant. We again define the specific angular momentum L for massive particles and the ordinary angular momentum L for photons:
particle L˜ := pφ /m; photon L = pφ . |
(11.6) |
Because of spherical symmetry, motion is always confined to a single plane, and we can choose that plane to be the equatorial plane. Then θ is constant (θ = π/2) for the orbit, so dθ /dλ = 0, where λ is any parameter on the orbit. But pθ is proportional to this, so it also vanishes. The other components of momentum are:
particle : p0 |
= g00p0 = m 1 − 2r |
− |
E˜ |
, |
|||||
|
|
|
|
|
|
M |
1 |
|
|
pr = m dr/dτ , |
1 |
L˜ ; |
|
|
|
|
|||
|
|
|
|
|
|
||||
pφ |
= gφφ pφ = m |
|
|
|
|
|
|||
r2 |
|
|
|
|
|||||
photon : p0 = 1 − |
2r |
− |
1 |
E, |
|
|
|||
|
|
M |
|
|
|
|
|
|
pr = dr/dλ,
pφ = dφ/dλ = L/r2.
(11.7)
(11.8)
The equation for a photon’s pr should be regarded as defining the affine parameter λ. The equation p · p = −m2 implies
particle :
− m2E˜ 2 |
1 − |
r |
− |
+ m2 1 − |
r |
− |
|
dτ |
|
|
|||
|
|
|
2M |
|
1 |
2M |
|
1 |
|
dr |
|
2 |
|
|
m2L˜ 2 |
|
2 |
|
|
|
|
|
|
|
|
|
|
+ |
|
= −m |
; |
|
|
|
|
|
|
|
|
(11.9) |
|
r2 |
|
|
|
|
|
|
|
|
284 |
|
Schwarzschild geometry and black holes |
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
photon : |
|
|
|
|
− |
+ |
1 − r |
|
− |
|
dλ |
|
|
+ r2 |
= 0. |
||||||||
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
− E2 1 − r |
|
|
|
||||||||||||||||||||
|
|
|
|
|
2M |
|
|
1 |
|
|
2M |
1 |
|
|
dr |
|
2 |
|
L2 |
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(11.10) |
|
These can be solved to give the basic equations for orbits, |
|
|
|
|
|
|
; |
|
||||||||||||||||
|
|
particle : |
dτ |
= E˜ |
|
− 1 − |
|
r |
1 + r2 |
(11.11) |
|||||||||||||||
|
|
|
|
dr |
|
|
2 |
|
2 |
|
|
2M |
|
|
|
|
|
|
|
L˜ 2 |
|
|
|
||
|
|
photon : |
dλ |
= E2 |
− 1 − |
|
r |
r2 . |
|
|
|
|
|
(11.12) |
|||||||||||
|
|
|
|
dr |
|
2 |
|
|
|
|
2M |
|
|
L2 |
|
|
|
|
|
|
Types of orbi ts
Both equations have the same general form, and we define the effective potentials
particle : |
V˜ |
|
(r) = 1 − |
r |
1 + r2 |
; |
(11.13) |
||
|
|
2 |
|
2M |
|
L˜ |
2 |
|
|
photon : |
V2 |
(r) = 1 − |
r |
r2 . |
|
|
(11.14) |
||
|
|
|
|
2M |
L2 |
|
|
|
Their typical forms are plotted in Figs. 11.1 and 11.2, in which various points have been labeled and possible trajectories drawn (dotted lines).
Both Eq. (11.11) and Eq. (11.12) imply that, since the left side is positive or zero, the energy of a trajectory must not be less than the potential V. (Here and until Eq. (11.17)
˜ ˜
we will take E and V to refer to E and V as well, since the remarks for the two cases are
Figure 11.1
|
2(r) |
|
|
V |
|
|
|
|
|
F |
|
|
|
A |
|
|
EA2 |
|
|
|
1 |
G |
|
|
C |
D |
|
|
EB2 |
||
|
|
|
|
|
|
|
B |
|
0 |
|
|
|
2M |
r |
|
|
|
||
|
|
|
Typical effective potential for a massive particle of fixed specific angular momentum in the Schwarzschild metric.
285
Figure 11.2
11.1 Trajectories in the Schwarzschild spacetime
V2(r) |
|
|
|
|
F |
EA2 |
|
A |
|
|
G
0 |
r |
|
2M |
||
|
The same as Fig. 11.1 for a massless particle.
identical.) So for an orbit of given E, the radial range is restricted to those radii for which V is smaller than E. For instance, consider the trajectory which has the value of E indicated by point G (in either diagram). If it comes in from r = ∞, then it cannot reach smaller r than where the dotted line hits the V2 curve, at point G. Point G is called a turning point. At G, since E2 = V2 we must have (dr/dλ)2 = 0, from Eq. (11.12). Similar conclusions apply to Eq. (11.11). To see what happens here we differentiate Eqs. (11.11) and (11.12). For particles, differentiating the equation
|
|
dτ |
|
2 |
|
= E˜ 2 − V˜ 2(r) |
|
|||||||||||||||||||
|
|
|
|
dr |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
with respect to τ gives |
dτ dτ |
2 = − dV˜dr dτ , |
|
|||||||||||||||||||||||
2 |
|
|||||||||||||||||||||||||
|
|
dr |
|
d2r |
|
|
|
|
|
2(r) dr |
|
|||||||||||||||
or |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
d2r |
|
|
|
1 d |
|
|||||||||||
particles : |
|
|
|
|
|
|
|
= − |
|
|
|
|
|
|
|
V˜ 2(r). |
(11.15) |
|||||||||
|
|
|
|
|
dτ 2 |
2 |
dr |
|||||||||||||||||||
Similarly, the photon equation gives |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
d2r |
|
|
1 d |
|
|||||||||||||
photons : |
|
|
|
|
|
= − |
|
|
|
V2(r). |
(11.16) |
|||||||||||||||
|
|
|
|
dλ2 |
|
2 |
dr |
These are the analogs in relativity of the equation ma = − φ,
where φ is the potential for some force. If we now look again at point G, we see that the radial acceleration of the trajectory is outwards, so that the particle (or photon) comes in to the minimum radius, but is accelerated outward as it turns around, and so it returns to r = ∞. This is a ‘hyperbolic’ orbit – the analog of the orbits which are true hyperbolae in Newtonian gravity.
286
Figure 11.3
Schwarzschild geometry and black holes
It is clear from Eq. (11.15) or (Eq. (11.16) that a circular orbit (r = const.) is possible only at a minimum or maximum of V2. These occur at points A and B in the diagrams (there is no point B for photons). A maximum is, however, unstable, since any small change in r results in an acceleration away from the maximum, by Eqs. (11.15) and (11.16). So for
˜
particles, there is one stable (B) and one unstable circular orbit (A) for this value of L. For photons, there is only one unstable orbit for this L. We can be quantitative by evaluating
0 = dr % 1 − |
r |
|
1 + r2 & |
|
|
|
|
|||||||||||
|
|
d |
|
|
2M |
|
|
|
|
|
L˜ 2 |
|
|
|
|
|
|
|
and |
0 = dr $ 1 − |
2r |
r2 |
! . |
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|||||||||||||
|
|
|
|
d |
|
|
|
M |
|
L2 |
|
|
|
|
|
|
||
These give, respectively |
|
r = |
2˜M %1 ± 1 − |
|
|
|
|
|
& |
|
|
|||||||
particles : |
|
|
L2 |
|
1/2 |
; |
(11.17) |
|||||||||||
|
|
|
|
|
L2 |
|
|
|
|
|
˜ |
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
12M2 |
|
|
|
|
|
|||
photons : |
|
r = 3M. |
|
|
|
|
|
|
|
|
|
|
|
|
(11.18) |
˜ 2 2
For particles, there are two radii, as we expect, but only if L > 12M . The two radii are
˜ 2 = 2 ˜ 2 2
identical for L 12M and don’t exist at all for L < 12M . This indicates a qualitative
˜ 2 ˜ ˜ 2 = 2 change in the shape of the curve for V (r) for small L. The two cases, L 12M and
˜ 2 2 ˜ 2
L < 12M , are illustrated in Fig. 11.3. Since there is a minimum L for a circular particle
˜ 2 = 2
orbit, there is also a minimum r, obtained by taking L 12M in Eq. (11.17)
particle : rMIN = 6M. (11.19)
For photons, the unstable circular orbit is always at the same radius, r = 3M, regardless of L.
The last kind of orbit we need consider is the one whose energy is given by the line which passes through the point F in Figs. 11.1 and 11.2. Since this nowhere intersects the potential curve, this orbit plunges right through r = 2M and never returns. From Exer. 1,
|
|
|
|
L |
2 |
= 12M2 |
|
|
|
L |
2 |
< 12M2 |
|
V2 |
(r) |
V2(r) |
|||||||||||
|
|
|
|
|
|
1 |
|
|
|
Point of |
1 |
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
inflection |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
r |
|
|
|
|
|
r |
|
|
|
|
|
||||||
|
|
|
2M |
|
|
|
2M |
|||
|
|
|
|
(a) |
|
|
|
|
|
(b) |
As Fig. 11.1 for the indicated values of specific angular momentum.