The Schwarzschild Solution/The Schwarzschild Metric

Lesson 6.11,211 words

The Schwarzschild Metric

The first exact solution of Einstein's equation follows from two assumptions, staticity and spherical symmetry, imposed on the vacuum outside a mass. Solving the vacuum field equations fixes two metric functions and produces the Schwarzschild geometry, whose one length scale is the Schwarzschild radius rs=2GM/c2r_s = 2GM/c^2.

╌╌╌╌

The Einstein field equations are ten coupled nonlinear partial differential equations for the metric, and no general solution exists. Progress comes from symmetry: assuming enough symmetry reduces the equations to ordinary differential equations that can be integrated in closed form. The most consequential such case is the vacuum outside a static, spherically symmetric mass, worked out by Karl Schwarzschild within months of the theory's publication. The result describes the exterior of any non-rotating star or planet and, taken to its own limit, the simplest black hole. This lesson derives the metric, reads the meaning of its coordinates, and establishes the two theorems that make it the reference geometry for the solar-system tests.

The static spherically symmetric ansatz

Two symmetry assumptions constrain the metric before any field equation is solved.

  • Staticity: the geometry is time-independent and time-reversal symmetric. There is a timelike coordinate under which no metric component depends on , and no cross term mixes time with space (that would pick out a direction of time, as a rotating body does).
  • Spherical symmetry: the geometry is invariant under rotations. The metric is built from the rotationally invariant combinations, and the angular part is proportional to the metric of a unit 2-sphere, .

These reduce the metric to two unknown functions of the radial coordinate alone. Writing them as exponentials to keep the signature manifest,

The radial coordinate is defined geometrically, not as a distance from the center: a sphere at fixed and has area , exactly as in flat space, because the angular block is . This is the areal radius. The proper radial distance between two such spheres is , which is not once . Fixing the area rather than the distance is the choice that keeps the algebra tractable.

The static spherically symmetric setup: nested spheres of areal radius r surround the central mass M. Each sphere has area 4 pi r squared, but the proper distance between neighbouring spheres exceeds their coordinate difference.

The vacuum field equations

Outside all matter the stress–energy tensor vanishes, so the Einstein equation reduces to . Taking the trace shows the Ricci scalar vanishes, and the equation collapses to the vacuum equation

Computing the Christoffel symbols of the ansatz and contracting them into the Ricci tensor gives three independent nonzero components, , , and (the component repeats up to ). Two combinations do the work. The first is , which reduces to

The constant shifts by a rescaling of ; absorbing it fixes , so . The time and radial coefficients are reciprocals. The second equation is , which with becomes

Integrating gives for a constant , hence

The constant is not fixed by the field equations, which are local; it is fixed by matching to the physical situation far away. In the weak-field limit the time–time metric component reproduces the Newtonian potential through , derived in the Newtonian limit of the geodesic equation. With for a body of mass , matching to identifies .

The Schwarzschild metric

Assembling the pieces gives the Schwarzschild line element,

One combination of constants recurs and is given its own symbol, the Schwarzschild radius

so that and . For the Sun, ; for the Earth, . Both sit deep inside the body, where the vacuum solution does not apply, so no horizon exists for ordinary stars. The metric is exact everywhere in the vacuum exterior, not a weak-field approximation.

The coordinates carry specific meanings that repay stating precisely, because much of the physics of the geometry is the difference between coordinate quantities and locally measured ones.

  • is the time read by a clock at rest infinitely far from the mass, where the metric is flat. A static clock at finite reads proper time : it runs slow relative to , the gravitational time dilation.
  • is the areal radius, fixed by the sphere's area , not a proper distance from the center.
  • are ordinary polar angles on each sphere.
The metric coefficients against radius, in units of the Schwarzschild radius. The solid curve is the time part, , rising from zero at toward one far away; the dotted curve is the radial part, , diverging at and falling toward one. Both approach the flat value one at large .

The far field and the Newtonian limit

Far from the mass, , expand the coefficients in the small ratio :

with the Newtonian potential. A slowly moving particle in this geometry follows the geodesic equation, whose spatial part reduces to , Newton's law of gravity. The Schwarzschild metric contains Newtonian gravity as its weak-field slow-motion limit; the corrections that distinguish the two are of order , tiny in the solar system ( at the Sun's surface) and responsible for the small deviations the classical tests measure.

The spatial geometry and Flamm's paraboloid

The curvature of space alone, separate from the time dilation, shows in a slice of constant through the equatorial plane :

This two-dimensional geometry is curved: circles of circumference are separated by proper radial distances larger than . It can be visualized by embedding it as a surface in ordinary flat three-space, where the induced metric matches the slice when

Integrating gives Flamm's paraboloid,

a parabola of revolution. Far away it flattens to a plane (Euclidean space); near its slope becomes vertical, the geometric picture of diverging. The funnel is a picture of the spatial curvature only — it says nothing about the time dilation, which is the larger effect for slow orbits and is carried entirely by .

Flamm's paraboloid embeds the equatorial spatial slice of the Schwarzschild geometry. The throat at r-s flattens to a plane far from the mass; the vertical slope near r-s is the geometric form of g-rr diverging.

Birkhoff's theorem

The derivation assumed a static geometry, but that assumption can be dropped. If the metric is only required to be spherically symmetric, allowing the two functions to depend on both and , the vacuum equations force the -dependence to cancel: the solution is necessarily static and equals the Schwarzschild metric.

Two consequences follow.

  • A pulsating spherical star has a static exterior. A spherically symmetric star that oscillates or collapses radially produces exactly the same external field at all times, set by its total mass . It cannot emit spherically symmetric gravitational radiation, the gravitational analog of the fact that a spherically pulsating charge distribution emits no electromagnetic radiation.
  • The interior is shielded. Inside a spherical shell of matter the vacuum solution with no enclosed mass is the flat metric (, so ), the relativistic version of Newton's shell theorem: no gravitational field inside a spherical shell.
Birkhoff's theorem: a spherically symmetric star that pulsates or collapses (dashed radii) leaves its exterior field unchanged, fixed only by the total mass M. The exterior geometry is Schwarzschild at all times.

The uniqueness is what makes the Schwarzschild metric the reference solution for the solar system: to the accuracy at which the Sun is spherical and non-rotating, its external geometry is Schwarzschild with , and every planetary orbit and light ray is a geodesic of that one metric. The next lesson uses the two Killing symmetries of this metric, time-translation and rotation, to reduce geodesic motion to a one-dimensional problem in an effective potential.

╌╌ END ╌╌