Reference: Moore, Thomas A., *A General Relativity Workbook*, University Science Books (2013) – Chapter 23; Problem 23.4.

The derivation of the Schwarzschild metric can be enhanced to include a source, such as a black hole, with a static electric charge . The resulting metric is known as the Reissner-Nordstöm solution. In order to include the effects of the charge, we have to realize that even if there is no mass outside the source, the electric field carries energy so its contribution to the stress-energy tensor must be included. We’ll begin with a quick review of the electromagnetic stress-energy tensor. The electromagnetic field tensor is

where and are the spatial components of the electric and magnetic fields. We can just as well write this in spherical coordinates as

The electromagnetic stress-energy tensor can be written in terms of (generalized to non-flat space with a metric ):

where to get the last line, we used the anti-symmetry of . The constant in more conventional notation.

The Einstein equation (with ) is:

so to work out the components of we need the scalar . For any metric we have from 3

The double contraction in the second line is (as can be seen by working it out in a local inertial frame where ), and in the third line we lowered the two indices of in the first term.

To proceed, we need to make a few assumptions. First, we’ll assume that a charged black hole gives rise to a spherically symmetric field tensor with only an electric field (the magnetic field is zero). We’ll also assume that the metric obeys Birkhoff’s theorem, so that it is independent of time. In that case, the only non-zero component of is the radial electric field, which is an unknown function of only. That is

Note that we’re looking at the components of with both indices lowered, so that the electric field is negative for and positive for . [I should add that the original derivation of this assumed flat space, so I’m a bit hazy on how we can make this assumption for non-flat space. I suppose, given that we’re not specifying at this point, we can make this assumption.]

At this stage, we’ll take the metric to be

with and to be determined. The components of with raised indices are then since the metric is diagonal,

Given and we can now work out the RHS of 7, remembering that from 11:

For the individual components, we get, using , and

We can now plug these into 7 to get the equations that must be solved to find and . We get

When we worked out the Ricci tensor in terms of the metric, we got the equations

Because of Birkhoff’s theorem, all time derivatives are zero, so these equations simplify to

Applying 33 we get

We can replace the partial derivatives by total derivatives since and depend only on . Multiplying through by we get

so . For very large , the metric must reduce to so both and . Thus the product everywhere, which means from 17 that and thus .

So far, we have established that but to get the two components separately, we need to use the fact that we’re dealing a charged black hole. Maxwell’s equations can be written in tensor form as

where the absolute gradient is defined in terms of Christoffel symbols as

Contracting with we get

In empty space, since there is no charge or current, so for we have

Unfortunately, this means working out a few Christoffel symbols, but we can use the worksheet to make things easier. The only non-zero components of are . Because , the last term is zero after the sums are done, so

In the notation of the worksheet, we have, using , and and a subscript 1 means ‘take the derivative with respect to ‘:

where is a constant of integration. If this is to reduce to the Coulomb field at large , then we require

where is a constant of integration. In order for this to reduce to the Schwarzschild metric component when , we must have , so

An event horizon occurs whenever . In this case, this gives rise to a quadratic equation in :

For real solutions, we must have

If the charge is large enough to violate this condition, there are no event horizons meaning that the singularity at becomes a naked singularity.