Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
FirstCourseGR.pdf
Скачиваний:
38
Добавлен:
07.03.2016
Размер:
7.41 Mб
Скачать

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 M2, 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.

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]