# Deriving the Schwarzschild solution

The Schwarzschild solution is one of the simplest and most useful solutions of the Einstein field equations (see general relativity). It describes spacetime in the vicinity of a non-rotating massive spherically-symmetric object. It is worthwhile deriving this metric in some detail; the following is a reasonably rigorous derivation that is not always seen in the textbooks.

## Assumptions and notation

Working in a coordinate chart with coordinates $\left(r,\theta ,\phi ,t\right)$ labelled 1 to 4 respectively, we begin with the metric in its most general form (10 independent components, each of which is a smooth function of 4 variables). The solution is assumed to be spherically symmetric, static and vacuum. For the purposes of this article, these assumptions may be stated as follows (see the relevant links for precise definitions):

(2) A static spacetime is one in which all metric components are independent of the time coordinate $t$ (so that ${\frac {\partial g_{\mu \nu }}{\partial t}}=0$ ) and the geometry of the spacetime is unchanged under a time-reversal $t\rightarrow -t$ .

## Diagonalising the metric

The first simplification to be made is to diagonalise the metric. Under the coordinate transformation, $(r,\theta ,\phi ,t)\rightarrow (r,\theta ,\phi ,-t)$ , all metric components should remain the same. The metric components $g_{\mu 4}$ ($\mu \neq 4$ ) change under this transformation as:

$g_{\mu 4}'={\frac {\partial x^{\alpha }}{\partial x^{'\mu }}}{\frac {\partial x^{\beta }}{\partial x^{'4}}}g_{\alpha \beta }=-g_{\mu 4}$ ($\mu \neq 4$ )

But, as we expect $g'_{\mu 4}=g_{\mu 4}$ (metric components remain the same), this means that:

$g_{\mu 4}=\,0$ ($\mu \neq 4$ )
$g_{\mu 3}=\,0$ ($\mu \neq 3$ )
$g_{\mu 2}=\,0$ ($\mu \neq 2$ )

Putting all these together gives:

$g_{\mu \nu }=\,0$ ($\mu \neq \nu$ )

and hence the metric must be of the form:

$ds^{2}=\,g_{11}\,dr^{2}+g_{22}\,d\theta ^{2}+g_{33}\,d\phi ^{2}+g_{44}\,dt^{2}$ where the four metric components are independent of the time coordinate $t$ (by the static assumption).

## Simplifying the components

$g_{11}=A\left(r\right)$ $g_{44}=B\left(r\right)$ On the hypersurfaces of constant $t$ and constant $r$ , it is required that the metric be that of a 2-sphere:

$dl^{2}=r_{0}^{2}(d\theta ^{2}+\sin ^{2}\theta \,d\phi ^{2})$ Choosing one of these hypersurfaces (the one with radius $r_{0}$ , say), the metric components restricted to this hypersurface (which we denote by ${\tilde {g}}_{22}$ and ${\tilde {g}}_{33}$ ) should be unchanged under rotations through $\theta$ and $\phi$ (again, by spherical symmetry). Comparing the forms of the metric on this hypersurface gives:

${\tilde {g}}_{22}\left(d\theta ^{2}+{\frac {{\tilde {g}}_{33}}{{\tilde {g}}_{22}}}\,d\phi ^{2}\right)=r_{0}^{2}(d\theta ^{2}+\sin ^{2}\theta \,d\phi ^{2})$ which immediately yields:

${\tilde {g}}_{22}=r_{0}^{2}$ and ${\tilde {g}}_{33}=r_{0}^{2}\sin ^{2}\theta$ But this is required to hold on each hypersurface; hence,

$g_{22}=\,r^{2}$ and $g_{33}=\,r^{2}\sin ^{2}\theta$ Thus, the metric can be put in the form:

$ds^{2}=A\left(r\right)dr^{2}+r^{2}\,d\theta ^{2}+r^{2}\sin ^{2}\theta \,d\phi ^{2}+B\left(r\right)dt^{2}$ ## Calculating the Christoffel symbols

Using the metric above, we find the Christoffel symbols, where the indices are $(0,1,2,3)=(r,\theta ,\phi ,t)$ . The sign $'$ denotes a total derivative of a function.

$\Gamma _{ik}^{0}={\begin{bmatrix}A'/\left(2A\right)&0&0&0\\0&-r/A&0&0\\0&0&-r\sin ^{2}\theta /A&0\\0&0&0&-B'/\left(2A\right)\end{bmatrix}}$ $\Gamma _{ik}^{1}={\begin{bmatrix}0&1/r&0&0\\1/r&0&0&0\\0&0&-\sin \theta \cos \theta &0\\0&0&0&0\end{bmatrix}}$ $\Gamma _{ik}^{2}={\begin{bmatrix}0&0&1/r&0\\0&0&\cot \theta &0\\1/r&\cot \theta &0&0\\0&0&0&0\end{bmatrix}}$ $\Gamma _{ik}^{3}={\begin{bmatrix}0&0&0&B'/\left(2B\right)\\0&0&0&0\\0&0&0&0\\B'/\left(2B\right)&0&0&0\end{bmatrix}}$ ## Using the field equations to find $A(r)$ and $B(r)$ $R_{ab}=\,0$ Only four of these equations are nontrivial and upon simplification become:

(The fourth equation is just $\sin ^{2}\theta$ times the second equation)

where the dot means the r derivative of the functions.

Subtracting the first and third equations produces:

where $K$ is a non-zero real constant. Substituting $A(r)B(r)\,=K$ into the second equation and tidying up gives:

which has general solution:

for some non-zero real constant $S$ . Hence, the metric for a static, spherically symmetric vacuum solution is now of the form:

Note that the spacetime represented by the above metric is asymptotically flat, i.e. as $r\rightarrow \infty$ , the metric approaches that of the Minkowski metric and the spacetime manifold resembles that of Minkowski space.

## Using the Weak-Field Approximation to find $K$ and $S$  This diagram gives the route to find the Schwarzschild solution by using weak field approximation. The equality on the second row gives g44 = -c2 + 2GM/r, assuming the desired solution degenerates to Minkowski metric when the motion happens far away from the blackhole (r approaches to positive infinity).

The geodesics of the metric (obtained where $ds$ is extremised) must, in some limit (e.g., toward infinite speed of light), agree with the solutions of Newtonian motion (e.g., obtained by Lagrange equations). (The metric must also limit to Minkowski space when the mass it represents vanishes.)

(where $KE$ is the kinetic energy and $PE_{g}$ is the Potential Energy due to gravity) The constants $K$ and $S$ are fully determined by some variant of this approach; from the weak-field approximation one arrives at the result:

Hence:

So, the Schwarzschild metric may finally be written in the form:

Note that:

is the definition of the Schwarzschild radius for an object of mass $m$ , so the Schwarzschild metric may be rewritten in the alternative form:

which shows that the metric becomes singular approaching the event horizon (that is, $r\rightarrow r_{s}$ ). The metric singularity is not a physical one (although there is a real physical singularity at $r=0$ ), as can be shown by using a suitable coordinate transformation (e.g. the Kruskal–Szekeres coordinate system).

## Alternative form in isotropic coordinates

The metric then becomes, in isotropic rectangular coordinates:

## Dispensing with the static assumption - Birkhoff's theorem

In deriving the Schwarzschild metric, it was assumed that the metric was vacuum, spherically symmetric and static. In fact, the static assumption is stronger than required, as Birkhoff's theorem states that any spherically symmetric vacuum solution of Einstein's field equations is stationary; then one obtains the Schwarzschild solution. Birkhoff's theorem has the consequence that any pulsating star which remains spherically symmetric cannot generate gravitational waves (as the region exterior to the star must remain static).