- •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
102 |
Perfect fluids in special relativity |
particles have no random motion at all. Pressure arises in the random velocities of the particles. Even a gas so dilute as to be virtually collisionless has pressure. This is because pressure is the flux of momentum; whether this comes from forces or from particles crossing a boundary is immaterial.
The conservation laws
Eq. (4.34) gives us |
|
Tαβ ,β = "(ρ + p)Uα Uβ + pηαβ #,β = 0. |
(4.39) |
This gives us our first real practice with tensor calculus. There are four equations in Eq. (4.39), one for each α. First, let us also assume
|
|
(nUβ ),β = 0 |
|
|
|
|
(4.40) |
|||
and write the first term in Eq. (4.39) as |
#,β = |
$ |
|
|
|
!,β |
|
|||
" |
+ |
|
n |
|
|
|
||||
(ρ |
|
p)Uα Uβ |
|
|
ρ + p |
Uα nUβ |
|
|
||
|
|
|
|
,β |
|
|||||
|
|
|
= |
|
|
|
n |
|
||
|
|
|
|
nUβ |
ρ + p |
Uα . |
(4.41) |
|||
|
|
|
|
|
||||||
Moreover, ηαβ is a constant matrix, so ηαβ ,γ = 0. This also implies, by the way, that |
||||||||||
|
|
Uα ,β Uα = 0. |
|
|
|
|
(4.42) |
|||
The proof of Eq. (4.42) is |
|
|
|
|
|
|
|
|
|
|
|
Uα Uα = −1 (Uα Uα ),β = 0 |
|
(4.43) |
|||||||
or |
|
|
|
|
|
|
|
|
|
|
(Uα Uγ ηαγ ),β = (Uα Uγ ),β ηαγ = 2Uα ,β Uγ ηαγ . |
(4.44) |
|||||||||
The last step follows from |
the symmetry of ηαβ , which |
means |
that Uα ,β Uγ ηαγ = |
Uα Uγ ,β ηαγ . Finally, the last expression in Eq. (4.44) converts to
2Uα ,β Uα,
which is zero by Eq. (4.43). This proves Eq. (4.42). We can make use of Eq. (4.42) in the following way. The original equation now reads, after use of Eq. (4.41),
|
n |
,β |
+ |
|
,β |
|
= |
|
|
|
nUβ |
ρ + p |
Uα |
|
|
p |
|
ηαβ |
|
0. |
(4.45) |
|
|
|
|
|
From the four equations here, we can obtain a particularly useful one. Multiply by Uα and sum on α. This gives the time component of Eq. (4.45) in the MCRF:
|
α |
n |
,β |
+ |
|
,β |
|
α = |
|
|
|
nUβ U |
|
ρ + p |
Uα |
|
|
p |
|
ηαβ U |
|
0. |
(4.46) |
|
|
|
|
|
|
103 |
4.6 Perfect fluids |
The last term is just
p,β Uβ ,
which we know to be the derivative of p along the world line of the fluid element, dp/dτ . The first term gives zero when the β derivative operates on Uα (by Eq. 4.42), so we obtain (using Uα Uα = −1)
%− |
|
|
n |
|
|
|
,β + |
|
,β & |
= |
|
|
|||||||||
Uβ |
|
|
ρ + p |
|
|
|
|
|
p |
|
|
|
0. |
(4.47) |
|||||||
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
A little algebra converts this to |
|
|
$ |
|
|
|
|
|
|
|
|
|
|
|
,β ! = |
|
|
|
|||
− |
|
|
|
,β − |
|
|
n |
|
|
|
|
||||||||||
|
Uβ |
ρ |
|
|
ρ + p |
n |
|
|
|
0. |
(4.48) |
||||||||||
Written another way, |
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
dρ |
|
− |
ρ + p |
|
dn |
|
= |
0. |
|
|
|
(4.49) |
|||||||
|
|
dτ |
|
|
dτ |
|
|
|
|||||||||||||
|
|
n |
|
|
|
|
|
|
|
|
|||||||||||
This is to be compared with Eq. (4.25). It means |
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
Uα S,α = |
dS |
|
|
|
|
|
|
|
||||||||||
|
|
|
|
= 0. |
|
|
|
(4.50) |
|||||||||||||
|
|
|
dτ |
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Thus, the flow of a particle-conserving perfect fluid conserves specific entropy. This is called adiabatic. Because entropy is constant in a fluid element as it flows, we shall not normally need to consider it. Nevertheless, it is important to remember that the law of conservation of energy in thermodynamics is embodied in the component of the conservation equations, Eq. (4.39), parallel to Uα .
The remaining three components of Eq. (4.39) are derivable in the following way. We write, again, Eq. (4.45):
|
n |
,β |
+ |
|
,β |
|
= |
|
|
nUβ |
ρ + p |
Uα |
|
|
p |
|
ηαβ |
|
0 |
|
|
|
|
|
and go to the MCRF, where Ui = 0 but Ui,β =0. In the MCRF, the zero component of this equation is the same as its contraction with Uα , which we have just examined. So we only need the i components:
|
n |
,β |
+ |
|
,β |
|
= |
|
|
|
nUβ |
ρ + p |
Ui |
|
|
p |
|
ηiβ |
|
0. |
(4.51) |
|
|
|
|
|
Since Ui = 0, the β derivative of (ρ + p)/n contributes nothing, and we get |
|
(ρ + p)Ui,β Uβ = p,β ηiβ = 0. |
(4.52) |
Lowering the index i makes this easier to read (and changes nothing). Since ηiβ = δiβ we get
(ρ + p)Ui,β Uβ + p,i = 0. |
(4.53) |
104 |
Perfect fluids in special relativity |
Finally, we recall that Ui,β Uβ is the definition of the four-acceleration ai:
(ρ + p)ai + p,i = 0. |
(4.54) |
Those familiar with nonrelativistic fluid dynamics will recognize this as the generalization of
ρa + p = 0, |
(4.55) |
where |
|
a = v˙ + (v · )v. |
(4.56) |
The only difference is the use of (ρ + p) instead of ρ. In relativity, (ρ + p) plays the role of ‘inertial mass density’, in that, from Eq. (4.54), the larger (ρ + p), the harder it is to accelerate the object. Eq. (4.54) is essentially F = ma, with −p,i being the force per unit volume on a fluid element. Roughly speaking, p is the force a fluid element exerts on its neighbor, so −p is the force on the element. But the neighbor on the opposite side of the element is pushing the other way, so only if there is a change in p across the fluid element will there be a net force causing it to accelerate. That is why − p gives the force.
4.7 I m p o r t a n ce f o r g e n e ra l re l a t i v i t y
General relativity is a relativistic theory of gravity. We weren’t able to plunge into it immediately because we lacked a good enough understanding of tensors, of fluids in SR, and of curved spaces. We have yet to study curvature (that comes next), but at this point we can look ahead and discern the vague outlines of the theory we shall study.
The first comment is on the supreme importance of T in GR. Newton’s theory has as a source of the field the density ρ. This was understood to be the mass density, and so is closest to our ρ0. But a theory that uses rest mass only as its source would be peculiar from a relativistic viewpoint, since rest mass and energy are interconvertible. In fact, we can show that such a theory would violate some very high-precision experiments (to be discussed later). So the source of the field should be all energies, the density of total mass energy T00. But to have as the source of the field only one component of a tensor would give a noninvariant theory of gravity: we would need to choose a preferred frame in order to calculate T00. Therefore Einstein guessed that the source of the field ought to be T: all stresses and pressures and momenta must also act as sources. Combining this with his insight into curved spaces led him to GR.
The second comment is about pressure, which plays a more fundamental role in GR than in Newtonian theory: first, because it is a source of the field; and, second, because of its appearance in the (ρ + p) term in Eq. (4.54). Consider a dense star, whose strong gravitational field requires a large pressure gradient. How large is measured by the acceleration the fluid element would have, ai, in the absence of pressure. Given the field, and
105 |
4.8 Gauss’ law |
hence given ai, the required pressure gradient is just that which would cause the opposite acceleration without gravity:
−ai = |
p,i |
|
|
. |
|
ρ + p |
This gives the pressure gradient p,i. Since (ρ + p) is greater than ρ, the gradient must be larger in relativity than in Newtonian theory. Moreover, since all components of T are sources of the gravitational field, this larger pressure adds to the gravitational field, causing even larger pressures (compared to Newtonian stars) to be required to hold the star up. For stars where p ρ (see below), this doesn’t make much difference. But when p becomes comparable to ρ, we find that increasing the pressure is self-defeating: no pressure gradient will hold the star up, and gravitational collapse must occur. This description, of course, glosses over much detailed calculation, but it shows that even by studying fluids in SR we can begin to appreciate some of the fundamental changes GR brings to gravitation.
Let us just remind ourselves of the relative sizes of p and ρ. We saw in Exer. 1, § 1.14, that p ρ in ordinary situations. In fact, we only get p ≈ ρ for very dense material (neutron star) or material so hot that the particles move at close to the speed of light (a ‘relativistic’ gas).
4.8 G a u s s ’ l a w
Our final topic on fluids is the integral form of the conservation laws, which are expressed in differential form in Eqs. (4.34) and (4.35). As in three-dimensional vector calculus, the conversion of a volume integral of a divergence into a surface integral is called Gauss’ law. The proof of the theorem is exactly the same as in three dimensions, so we shall not derive it in detail:
' |
( |
|
Vα ,α d4x = |
Vα nα d3 S, |
(4.57) |
|
|
|
where n˜ is the unit-normal one-form discussed in § 4.3, and d3 S denotes the three-volume of the three-dimensional hypersurface bounding the four-dimensional volume of integration. The sense of the normal is that it is outward pointing, of course, just as in three dimensions. In Fig. 4.9 a simple volume is drawn, in order to illustrate the meaning of Eq. (4.57). The volume is bounded by four pairs of hypersurfaces, for constant t, x, y, and z; only two pairs are shown, since we can only draw two dimensions easily. The normal
d t. The normal on the t |
1 |
surface is |
d t, since ‘outward’ is clearly |
on the t2 surface is ˜ |
|
−˜ |
106 |
|
|
Perfect fluids in special |
relativity |
|
||
|
|
|
|
|
|
|
|
|
|
t |
|
|
|||
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
3-surface |
t2 |
|
||
|
|
|
|
|
|
|
|
|
|
|
|
4-volume |
|
|
|
|
|
|
|
|
|
t1 |
|
|
|
|
x1 |
|
|||
|
|
|
x2 |
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|||
Figure 4.9 |
The boundary of a region of spacetime. |
|
|||||
|
|
|
dx, and on x |
|
is |
dx. So the surface integral in |
|
|
|
backwards in time. The normal on x2 is ˜ |
1 |
|
−˜ |
|
|
|
|
Eq. (4.57) is |
|
|
|
|
|
|
|
't2 V0 dx dy dz + 't1 (−V0) dx dy dz |
|
|
|
|
|
' |
' |
|
|
|
|
||
|
|
+ x2 Vxdt dy dz + x1 (−Vx) dt dy dz |
|
|
|||
|
|
+ similar terms for the other surfaces in the boundary. |
|
||||
|
|
We can rewrite this as |
' V0(t2) − V0(t1) dx dy dz |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+ ' "Vx(x2) − Vx(x1)# dt dy dz + · · · . |
(4.58) |
α =
If we let V be N, then N ,α 0 means that the above expression vanishes, which has the interpretation that change in the number of particles in the three-volume (first integral) is due to the flux across its boundaries (second and subsequent terms). If we are talking about energy conservation, we replace Nα with T0α , and use T0α ,α = 0. Then, obviously, a similar interpretation of Eq. (4.58) applies. Gauss’ law gives an integral version of energy conservation.
4.9 F u r t h e r re a d i n g
Continuum mechanics and conservation laws are treated in most texts on GR, such as Misner et al. (1973). Students whose background in thermodynamics or fluid mechanics is weak are referred to the classic works of Fermi (1956) and Landau and Lifshitz (1959)