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

309

11.3 General black holes

and in exactly what formulation, the conjecture is true (Berger 2002, Crusciel´ 1991, Rendall 2005). One naked singularity seems inescapable in general relativity: the Big Bang of standard cosmology is naked to our view. If the universe re-collapses, there will similarly be a Big Crunch in the future of all our world lines. These issues are discussed in the next chapter.

Item (1) above is truly remarkable: a massive black hole, possibly formed from 1060 individual atoms and molecules – whose history as a gas may have included complex gas motions, shock waves, magnetic fields, nucleosynthesis, and all kinds of other complications – is described fully and exactly by just two numbers, its mass and spin. The horizon and the entire spacetime geometry outside it depend on just these two numbers. All the complication of the formation process is effaced, forgotten, reduced to two simple numbers. No other macroscopic body is so simple to describe. We might characterize a star by its mass, luminosity, and color, but these are just a start, just categories that contain an infinite potential variety within them. Stars can have magnetic fields, spots, winds, differential rotation, and many other large-scale features, to say nothing of the different motions of individual atoms and ions. While this variety may not be relevant in most circumstances, it is there. For a black hole, it is simply not there. There is nothing but mass and spin, no individual structure or variety revealed by microscopic examination of the horizon (see the reaction of Chandrasekhar to this fact, quoted in § 11.4 below). In fact, the horizon is not even a real surface, it is just a boundary in empty space between trapped and untrapped regions. The fact that no information can escape from inside the hole means that no information about what fell in is visible from the outside. The only quantities that remain are those that are conserved by the fundamental laws of physics: mass and angular momentum.

Kerr black hole

The Kerr black hole is axially symmetric but not spherically symmetric (that is rotationally symmetric about one axis only, which is the angular-momentum axis), and is characterized by two parameters, M and J. Since J has dimension m2, we conventionally define

 

 

 

 

 

a := J/M,

 

 

 

 

 

 

(11.70)

which then has the same dimensions as M. The line element is

 

 

 

 

ds2

= −

a2 sin2 θ

dt2

2a

2Mr sin2 θ

dt dφ

 

 

 

 

 

 

 

 

 

 

 

 

ρ2

 

 

ρ2

 

 

 

 

 

 

 

 

+

(r2 + a2)2 a2 sin2 θ

sin2 θ dφ2

+

ρ2

dr2

+

ρ2

dθ 2,

(11.71)

 

 

 

 

ρ2

 

 

 

 

 

 

 

 

 

 

where

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

:= r2 2Mr + a2,

 

 

 

 

 

 

 

 

 

ρ2 := r2 + a2 cos2 θ .

 

 

 

 

 

(11.72)

The coordinates are called Boyer–Lindquist coordinates; φ is the angle around the axis of symmetry, t is the time coordinate in which everything is stationary, and r and θ are similar

310

Schwarzschild geometry and black holes

to the spherically symmetric r and θ but are not so readily associated to any geometrical definition. In particular, since there are no metric two-spheres, the coordinate r cannot be defined as an ‘area’ coordinate as we did before. The following points are important:

(1)Surfaces t = const., r = const. do not have the metric of the two-sphere, Eq. (10.2).

(2)The metric for a = 0 is identically the Schwarzschild metric.

(3)There is an off-diagonal term in the metric, in contrast to Schwarzschild:

gtφ = −a

2Mr sin2 θ

 

ρ2 ,

(11.73)

which is 12 the coefficient of dt dφ in Eq. (11.71) because the line element contains two terms,

gtφ dt dφ + gφt dφ dt = 2gtφ dφ dt,

by the symmetry of the metric. Any axially symmetric, stationary metric has preferred coordinates t and φ, namely those which have the property gαβ,t = 0 = gαβ,φ . But the coordinates r and θ are more-or-less arbitrary, except that they may be chosen to be

(i) orthogonal to t and φ (grt = grφ = gθ t = gθ φ = 0) and (ii) orthogonal to each other (gθ r = 0). In general, we cannot choose t and φ orthogonal to each other (gtφ = 0). Thus Eq. (11.71) has the minimum number of nonzero gαβ (see Carter 1969).

Dragging of inertial frames

The presence of gtφ =0 in the metric introduces qualitatively new effects on particle trajectories. Because gαβ is independent of φ, a particle’s trajectory still conserves pφ . But now we have

pφ = gφα pα = gφφ pφ + gφtpt,

(11.74)

and similarly for the time components:

 

pt = gtα pα = gttpt + gtφ pφ .

(11.75)

Consider a zero angular-momentum particle, pφ = 0. Then, using the definitions (for nonzero rest mass)

pt = m dt/dτ , pφ = m dφ/dτ ,

(11.76)

we find that the particle’s trajectory has

dφ

 

pφ

 

gφt

 

 

=

 

=

 

:= ω(r, θ ).

(11.77)

dt

pt

gtt

This equation defines what we mean by ω, the angular velocity of a zero angularmomentum particle. We shall find ω explicitly for the Kerr metric when we obtain the contravariant components gφt and gtt below. But it is clear that this effect will be present in any metric for which gtφ =0, which in turn happens whenever the source is rotating (e.g. a rotating star as in Exer. 19, § 8.6). So we have the remarkable result that a particle

311

11.3 General black holes

dropped ‘straight in’ (pφ = 0) from infinity is ‘dragged’ just by the influence of gravity so that it acquires an angular velocity in the same sense as that of the source of the metric (we’ll see below that, for the Kerr metric, ω has the same sign as a). This effect weakens with distance (roughly as 1/r3; see Eq. (11.90) below for the Kerr metric), and it makes the angular momentum of the source measurable in principle, although in most situations the effect is small, as we have seen in Exer. 19, § 8.6. This effect is often called the dragging of inertial frames.

This effect has a close analogy with magnetism. Newtonian gravity is, of course, very similar to electrostatics, with the sign change that ensures that ‘charges’ of the same sign attract one another. In electromagnetism, a spinning charge creates additional effects which we call magnetism. Here we have the gravitational analog, the gravitational effects due to a spinning mass. For that reason these effects are called gravitomagnetism. The analogy between gravitomagnetism and standard magnetism is perhaps easier to see in the Lense– Thirring effect: a gyroscope placed in orbit around a rotating star will precess by a small amount that is proportional to the angular momentum of the star, just as a spinning electron precesses if it orbits through a magnetic field.

Small as it is, the Lense–Thirring effect created by the spin of the Earth has been measured. Detailed studies of the orbits of two geodesy satellites have so far been able to verify that the effect is as predicted by general relativity, with an accuracy at the 20% level (Ciufolini et al., 2006). An order of magnitude improvement could be made with an additional satellite in a specially chosen orbit. In addition, a satellite experiment called Gravity Probe B (GP-B), which has measured the precession of on-board gyroscopes, is currently (2008) analyzing its data and is expected to report soon, hopefully with errors below the 10% level. GP-B is one of the most sensitive and high-precision experiments ever performed in orbit. Gravitomagnetic effects are regularly taken into account in modeling the details of the emission of X-rays near black holes (e.g. Brenneman and Reynolds 2006), and they may also soon be seen in the double pulsar system PSR J0737-3039 referred to earlier in this chapter.

Ergoregion

Consider photons emitted in the equatorial plane (θ = π/2) at some given r. In particular, consider those initially going in the ±φ-direction, that is tangent to a circle of constant r. Then they generally have only dt and dφ nonzero on the path at first and since ds2 = 0, we have

0 = gtt dt2 + 2gtφ dt dφ + gφφ dφ2

dt

= − gφφ ± % gφφ

 

gφφ &

.

 

dφ

 

gτ φ

 

gtφ

2

 

gtt

1/2

Now, a remarkable thing happens if gtt = 0: the two solutions are

dφ

= 0 and

dφ

= −

2gtφ

 

 

 

.

dt

dt

gφφ

(11.78)

(11.79)

312

Schwarzschild geometry and black holes

We will see below that for the Kerr metric the second solution gives dφ/dt the same sign as the parameter a, and so represents the photon sent off in the same direction as the hole’s rotating. The other solution means that the other photon – the one sent ‘backwards’– initially doesn’t move at all. The dragging of orbits has become so strong that this photon cannot move in the direction opposite the rotation. Clearly, any particle, which must move slower than a photon, will therefore have to rotate with the hole, even if it has an angular momentum arbitrarily large in the opposite sense to the hole’s!

We shall see that the surface where gtt = 0 lies outside the horizon; it is called the ergosphere. It is sometimes also called the ‘static limit’, since inside it no particle can remain at fixed r, θ , φ. From Eq. (11.71) we conclude that it occurs at

r0 := rergosphere = M + (M2 a2 cos2 θ ).

(11.80)

Inside this radius, since gtt > 0, all particles and photons must rotate with the hole. Again, this effect can occur in other situations. Models for certain rotating stars are

known where there are toroidal regions of space in which gtt > 0 (Butterworth and Ipser 1976). These will have these super-strong frame-dragging effects. They are called ergoregions, and their boundaries are ergotoroids. They can exist in solutions which have no horizon at all. But the stars are extremely compact (relativistic) and very rapidly rotating. It seems unlikely that real neutron stars would have ergoregions.

The Kerr horizon

In the Schwarzschild solution, the horizon was the place where gtt = 0 and grr = ∞. In the Kerr solution, the ergosphere occurs at gtt = 0 and the horizon is at grr = ∞, i.e. where

= 0:

 

r+ := rhorizon = M + (M2 a2).

(11.81)

It is clear that the Kerr ergosphere lies outside the horizon except at the poles, where it is tangent to it. The full proof that this is the horizon is beyond our scope here: we need to verify that no null lines can escape from inside r+. We shall simply take it as given (see the next section below for a partial justification). Since the area of the horizon is important (Hawking’s area theorem), we shall calculate it.

The horizon is a surface of constant r and t, by Eq. (11.81) and the fact that the metric is stationary. Any surface of constant r and t has an intrinsic metric whose line element comes from Eq. (11.71) with dt = dr = 0:

dl2

=

 

(r2 + a2)2 a2

sin2

θ dφ2

+

ρ2

dθ 2.

(11.82)

 

 

 

ρ2

 

 

 

 

The proper area of this surface is given by integrating the square root of the determinant of this metric over all θ and φ:

A(r) = ' 2π dφ ' π dθ [(r2 + a2)2 a2 ] sin θ .

(11.83)

0 0

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