Astronomy:Reissner–Nordström metric

Short description: Spherically symmetric metric with electric charge

In physics and astronomy, the Reissner–Nordström metric is a static solution to the Einstein–Maxwell field equations, which corresponds to the gravitational field of a charged, non-rotating, spherically symmetric body of mass M. The analogous solution for a charged, rotating body is given by the Kerr–Newman metric.

The metric was discovered between 1916 and 1921 by Hans Reissner, Hermann Weyl, Gunnar Nordström and George Barker Jeffery independently.

The metric

In spherical coordinates [math]\displaystyle{ (t, r, \theta, \varphi) }[/math], the Reissner–Nordström metric (i.e. the line element) is [math]\displaystyle{ ds^2=c^2\, d\tau^2 = \left( 1 - \frac{r_\text{s}}{r} + \frac{r_{\rm Q}^2}{r^2} \right) c^2\, dt^2 -\left( 1 - \frac{r_\text{s}}{r} + \frac{r_Q^2}{r^2} \right)^{-1} \, dr^2 - r^2 \, d\theta^2 - r^2\sin^2\theta \, d\varphi^2, }[/math] where [math]\displaystyle{ c }[/math] is the speed of light, [math]\displaystyle{ \tau }[/math] is the proper time, [math]\displaystyle{ t }[/math] is the time coordinate (measured by a stationary clock at infinity), [math]\displaystyle{ r }[/math] is the radial coordinate, [math]\displaystyle{ (\theta, \varphi) }[/math] are the spherical angles, and [math]\displaystyle{ r_\text{s} }[/math] is the Schwarzschild radius of the body given by [math]\displaystyle{ r_\text{s} = \frac{2GM}{c^2}, }[/math] and [math]\displaystyle{ r_Q }[/math] is a characteristic length scale given by [math]\displaystyle{ r_Q^2 = \frac{Q^2 G}{4\pi\varepsilon_0 c^4}. }[/math] Here, [math]\displaystyle{ \varepsilon_0 }[/math] is the electric constant.

The total mass of the central body and its irreducible mass are related by [math]\displaystyle{ M_{\rm irr}= \frac{c^2}{G} \sqrt{\frac{r_+^2}{2}} \ \to \ M=\frac{Q ^2}{16\pi\varepsilon_0 G M_{\rm irr}} + M_{\rm irr}. }[/math]

The difference between [math]\displaystyle{ M }[/math] and [math]\displaystyle{ M_{\rm irr} }[/math] is due to the equivalence of mass and energy, which makes the electric field energy also contribute to the total mass.

In the limit that the charge [math]\displaystyle{ Q }[/math] (or equivalently, the length scale [math]\displaystyle{ r_Q }[/math]) goes to zero, one recovers the Schwarzschild metric. The classical Newtonian theory of gravity may then be recovered in the limit as the ratio [math]\displaystyle{ r_\text{s}/r }[/math] goes to zero. In the limit that both [math]\displaystyle{ r_Q/r }[/math] and [math]\displaystyle{ r_\text{s}/r }[/math] go to zero, the metric becomes the Minkowski metric for special relativity.

In practice, the ratio [math]\displaystyle{ r_\text{s}/r }[/math] is often extremely small. For example, the Schwarzschild radius of the Earth is roughly 9 mm (3/8 inch), whereas a satellite in a geosynchronous orbit has an orbital radius [math]\displaystyle{ r }[/math] that is roughly four billion times larger, at 42,164 km (26,200 miles). Even at the surface of the Earth, the corrections to Newtonian gravity are only one part in a billion. The ratio only becomes large close to black holes and other ultra-dense objects such as neutron stars.

Charged black holes

Although charged black holes with r_Q ≪ r_s are similar to the Schwarzschild black hole, they have two horizons: the event horizon and an internal Cauchy horizon. As with the Schwarzschild metric, the event horizons for the spacetime are located where the metric component [math]\displaystyle{ g_{rr} }[/math] diverges; that is, where [math]\displaystyle{ 1 - \frac{r_{\rm s}}{r} + \frac{r_{\rm Q}^2}{r^2} = -\frac{1}{g_{rr}} = 0. }[/math]

This equation has two solutions: [math]\displaystyle{ r_\pm = \frac{1}{2}\left(r_{\rm s} \pm \sqrt{r_{\rm s}^2 - 4r_{\rm Q}^2}\right). }[/math]

These concentric event horizons become degenerate for 2r_Q = r_s, which corresponds to an extremal black hole. Black holes with 2r_Q > r_s cannot exist in nature because if the charge is greater than the mass there can be no physical event horizon (the term under the square root becomes negative). Objects with a charge greater than their mass can exist in nature, but they can not collapse down to a black hole, and if they could, they would display a naked singularity. Theories with supersymmetry usually guarantee that such "superextremal" black holes cannot exist.

The electromagnetic potential is [math]\displaystyle{ A_\alpha = (Q/r, 0, 0, 0). }[/math]

If magnetic monopoles are included in the theory, then a generalization to include magnetic charge P is obtained by replacing Q² by Q² + P² in the metric and including the term P cos θ dφ in the electromagnetic potential.

Gravitational time dilation

The gravitational time dilation in the vicinity of the central body is given by [math]\displaystyle{ \gamma = \sqrt{|g^{t t}|} = \sqrt{\frac{r^2}{Q^2+(r-2 M) r}} , }[/math] which relates to the local radial escape velocity of a neutral particle [math]\displaystyle{ v_{\rm esc}=\frac{\sqrt{\gamma^2-1}}{\gamma}. }[/math]

Christoffel symbols

The Christoffel symbols [math]\displaystyle{ \Gamma^i_{j k} = \sum_{s=0}^3 \ \frac{g^{is}}{2} \left(\frac{\partial g_{js}}{\partial x^k}+\frac{\partial g_{sk}}{\partial x^j}-\frac{\partial g_{jk}}{\partial x^s}\right) }[/math] with the indices [math]\displaystyle{ \{ 0, \ 1, \ 2, \ 3 \} \to \{ t, \ r, \ \theta, \ \varphi \} }[/math] give the nonvanishing expressions [math]\displaystyle{ \begin{align} \Gamma^t_{t r} & = \frac{M r-Q^2}{r ( Q^2 + r^2 - 2 M r ) } \\[6pt] \Gamma^r_{t t} & = \frac{(M r-Q^2) \left(r^2-2Mr+Q^2\right)}{r^5} \\[6pt] \Gamma^r_{r r} & = - \frac{Q^2-M r}{r (Q^2 -2 M r+r^2)} \\[6pt] \Gamma^r_{\theta \theta} & = -\frac{r^2-2Mr+Q^2}{r} \\[6pt] \Gamma^r_{\varphi \varphi} & = -\frac{\sin ^2 \theta \left(r^2-2Mr+Q^2\right)}{r} \\[6pt] \Gamma^\theta_{\theta r} & = \frac{1}{r} \\[6pt] \Gamma^\theta_{\varphi \varphi} & = - \sin \theta \cos \theta \\[6pt] \Gamma^\varphi_{\varphi r} & = \frac{1}{r} \\[6pt] \Gamma^\varphi_{\varphi \theta} & = \cot \theta \end{align} }[/math]

Given the Christoffel symbols, one can compute the geodesics of a test-particle.

Tetrad form

Instead of working in the holonomic basis, one can perform efficient calculations with a tetrad. Let [math]\displaystyle{ {\bf e}_I = e_{\mu I} }[/math] be a set of one-forms with internal Minkowski index [math]\displaystyle{ I \in\{0,1,2,3\} }[/math], such that [math]\displaystyle{ \eta^{IJ} e_{\mu I} e_{\nu J} = g_{\mu\nu} }[/math]. The Reissner metric can be described by the tetrad

[math]\displaystyle{ {\bf e}_0 = G^{1/2} \, dt }[/math],

[math]\displaystyle{ {\bf e}_1 = G^{-1/2} \, dr }[/math],

[math]\displaystyle{ {\bf e}_2 = r \, d\theta }[/math]

[math]\displaystyle{ {\bf e}_3 = r \sin \theta \, d\varphi }[/math]

where [math]\displaystyle{ G(r) = 1 - r_sr^{-1} + r_Q^2r^{-2} }[/math]. The parallel transport of the tetrad is captured by the connection one-forms [math]\displaystyle{ \boldsymbol \omega_{IJ} = - \boldsymbol \omega_{JI} = \omega_{\mu IJ} = e_{I}^\nu \nabla_\mu e_{J\nu} }[/math]. These have only 24 independent components compared to the 40 components of [math]\displaystyle{ \Gamma_{\mu\nu}^\lambda }[/math]. The connections can be solved for by inspection from Cartan's equation [math]\displaystyle{ d{\bf e}_I = {\bf e}^J \wedge \boldsymbol \omega_{IJ} }[/math], where the left hand side is the exterior derivative of the tetrad, and the right hand side is a wedge product.

[math]\displaystyle{ \boldsymbol \omega_{10} = \frac12 \partial_r G \, dt }[/math]

[math]\displaystyle{ \boldsymbol \omega_{20} = \boldsymbol \omega_{30} = 0 }[/math]

[math]\displaystyle{ \boldsymbol \omega_{21} = - G^{1/2} \, d\theta }[/math]

[math]\displaystyle{ \boldsymbol \omega_{31} = - \sin \theta G^{1/2} d \varphi }[/math]

[math]\displaystyle{ \boldsymbol \omega_{32} = - \cos \theta \, d\varphi }[/math]

The Riemann tensor [math]\displaystyle{ {\bf R}_{IJ} = R_{\mu\nu IJ} }[/math] can be constructed as a collection of two-forms by the second Cartan equation [math]\displaystyle{ {\bf R}_{IJ} = d \boldsymbol \omega_{IJ} + \boldsymbol \omega_{IK} \wedge \boldsymbol \omega^K{}_J, }[/math] which again makes use of the exterior derivative and wedge product. This approach is significantly faster than the traditional computation with [math]\displaystyle{ \Gamma_{\mu\nu}^\lambda }[/math]; note that there are only four nonzero [math]\displaystyle{ \boldsymbol \omega_{IJ} }[/math] compared with nine nonzero components of [math]\displaystyle{ \Gamma_{\mu\nu}^\lambda }[/math].

Equations of motion

Because of the spherical symmetry of the metric, the coordinate system can always be aligned in a way that the motion of a test-particle is confined to a plane, so for brevity and without restriction of generality we use θ instead of φ. In dimensionless natural units of G = M = c = K = 1 the motion of an electrically charged particle with the charge q is given by [math]\displaystyle{ \ddot x^i = - \sum_{j=0}^3 \ \sum_{k=0}^3 \ \Gamma^i_{j k} \ {\dot x^j} \ {\dot x^k} + q \ {F^{i k}} \ {\dot x_k} }[/math] which yields [math]\displaystyle{ \ddot t = \frac{ \ 2 (Q^2-Mr) }{r(r^2 -2Mr +Q ^2)}\dot{r}\dot{t}+\frac{qQ}{(r^2-2mr+Q^2)} \ \dot{r} }[/math] [math]\displaystyle{ \ddot r = \frac{(r^2-2Mr+Q^2)(Q^2-Mr) \ \dot{t}^2}{r^5}+\frac{(Mr-Q^2) \dot{r}^2}{r(r^2-2Mr+Q^2)}+\frac{(r^2-2Mr+Q^2) \ \dot{\theta}^2}{r} + \frac{qQ(r^2-2mr+Q^2)}{r^4} \ \dot{t} }[/math] [math]\displaystyle{ \ddot \theta = -\frac{2 \ \dot\theta \ \dot{r}}{r} . }[/math]

All total derivatives are with respect to proper time [math]\displaystyle{ \dot a=\frac{da}{d\tau} }[/math].

Constants of the motion are provided by solutions [math]\displaystyle{ S (t,\dot t,r,\dot r,\theta,\dot\theta,\varphi,\dot\varphi) }[/math] to the partial differential equation [math]\displaystyle{ 0=\dot t\dfrac{\partial S}{\partial t}+\dot r\frac{\partial S}{\partial r}+\dot\theta\frac{\partial S}{\partial\theta}+\ddot t \frac{\partial S}{\partial \dot t} +\ddot r \frac{\partial S}{\partial \dot r} + \ddot\theta \frac{\partial S}{\partial \dot\theta} }[/math] after substitution of the second derivatives given above. The metric itself is a solution when written as a differential equation [math]\displaystyle{ S_1=1 = \left( 1 - \frac{r_s}{r} + \frac{r_{\rm Q}^2}{r^2} \right) c^2\, {\dot t}^2 -\left( 1 - \frac{r_s}{r} + \frac{r_Q^2}{r^2} \right)^{-1} \, {\dot r}^2 - r^2 \, {\dot \theta}^2 . }[/math]

The separable equation [math]\displaystyle{ \frac{\partial S}{\partial r}-\frac{2}{r}\dot\theta\frac{\partial S}{\partial \dot\theta}=0 }[/math] immediately yields the constant relativistic specific angular momentum [math]\displaystyle{ S_2=L=r^2\dot\theta; }[/math] a third constant obtained from [math]\displaystyle{ \frac{\partial S}{\partial r}-\frac{2(Mr-Q^2)}{r(r^2-2Mr+Q^2)}\dot t\frac{\partial S}{\partial \dot t}=0 }[/math] is the specific energy (energy per unit rest mass) [math]\displaystyle{ S_3=E=\frac{\dot t(r^2-2Mr+Q^2)}{r^2} + \frac{qQ}{r} . }[/math]

Substituting [math]\displaystyle{ S_2 }[/math] and [math]\displaystyle{ S_3 }[/math] into [math]\displaystyle{ S_1 }[/math] yields the radial equation [math]\displaystyle{ c\int d\,\tau =\int \frac{r^2\,dr}{ \sqrt{r^4(E-1)+2Mr^3-(Q^2+L^2)r^2+2ML^2r-Q^2L^2 } } . }[/math]

Multiplying under the integral sign by [math]\displaystyle{ S_2 }[/math] yields the orbital equation [math]\displaystyle{ c\int Lr^2\,d\theta =\int \frac{L\,dr}{ \sqrt{r^4(E-1)+2Mr^3-(Q^2+L^2)r^2+2ML^2r-Q^2L^2 } }. }[/math]

The total time dilation between the test-particle and an observer at infinity is [math]\displaystyle{ \gamma= \frac{q \ Q \ r^3 + E \ r^4}{r^2 \ (r^2-2 r+Q^2)} . }[/math]

The first derivatives [math]\displaystyle{ \dot x^i }[/math] and the contravariant components of the local 3-velocity [math]\displaystyle{ v^i }[/math] are related by [math]\displaystyle{ \dot x^i = \frac{v^i}{\sqrt{(1-v^2) \ |g_{i i}|}}, }[/math] which gives the initial conditions [math]\displaystyle{ \dot r = \frac{v_\parallel \sqrt{r^2-2M+Q^2}}{r \sqrt{(1-v^2)}} }[/math] [math]\displaystyle{ \dot \theta = \frac{v_\perp}{r \sqrt{(1-v^2)}} . }[/math]

The specific orbital energy [math]\displaystyle{ E=\frac{\sqrt{Q^2-2rM+r^2}}{r \sqrt{1-v^2}}+\frac{qQ}{r} }[/math] and the specific relative angular momentum [math]\displaystyle{ L=\frac{v_\perp \ r}{\sqrt{1-v^2}} }[/math] of the test-particle are conserved quantities of motion. [math]\displaystyle{ v_{\parallel} }[/math] and [math]\displaystyle{ v_{\perp} }[/math] are the radial and transverse components of the local velocity-vector. The local velocity is therefore [math]\displaystyle{ v = \sqrt{v_\perp^2+v_\parallel^2} = \sqrt{\frac{(E^2-1)r^2-Q^2-r^2+2rM}{E^2 r^2}}. }[/math]

Alternative formulation of metric

The metric can be expressed in Kerr–Schild form like this: [math]\displaystyle{ \begin{align} g_{\mu \nu} & = \eta_{\mu \nu} + fk_\mu k_\nu \\[5pt] f & = \frac{G}{r^2}\left[2Mr - Q^2 \right] \\[5pt] \mathbf{k} & = ( k_x ,k_y ,k_z ) = \left( \frac{x}{r} , \frac{y}{r}, \frac{z}{r} \right) \\[5pt] k_0 & = 1. \end{align} }[/math]

Notice that k is a unit vector. Here M is the constant mass of the object, Q is the constant charge of the object, and η is the Minkowski tensor.

Quantum gravitational corrections to the metric

In certain approaches to quantum gravity, the classical Reissner–Nordström metric receives quantum corrections. An example of this is given by the effective field theory approach pioneered by Barvinsky and Vilkovisky. At second order in curvature, the classical Einstein-Hilbert action is supplemented by local and non-local terms:

[math]\displaystyle{ \Gamma=\int d^4x\, \sqrt{-g}\,\bigg(\frac{R}{16\pi G_N}+c_1(\mu)R^2 +c_2(\mu)R_{\mu\nu}R^{\mu\nu} +c_3(\mu)R_{\mu\nu\rho\sigma}R^{\mu\nu\rho\sigma}\bigg)-\int d^4 x \sqrt{-g}\bigg[\alpha R\ln\left(\frac{\Box}{\mu^2}\right)R +\beta R_{\mu\nu}\ln\left(\frac{\Box}{\mu^2}\right)R^{\mu\nu} + \gamma R_{\mu\nu\rho\sigma}\ln\left(\frac{\Box}{\mu^2}\right)R^{\mu\nu\rho\sigma}\bigg], }[/math]

([math]\displaystyle{ R_{\mu\nu\rho\sigma} }[/math] cancels with [math]\displaystyle{ R^{\mu\nu\rho\sigma} }[/math] and [math]\displaystyle{ R_{\mu\nu} }[/math] cancels out with [math]\displaystyle{ R^{\mu\nu} }[/math].)

where [math]\displaystyle{ \mu }[/math] is an energy scale. The exact values of the coefficients [math]\displaystyle{ c_1,c_2,c_3 }[/math] are unknown, as they depend on the nature of the ultra-violet theory of quantum gravity. On the other hand, the coefficients [math]\displaystyle{ \alpha, \beta, \gamma }[/math] are calculable. The operator [math]\displaystyle{ \ln\left(\Box/\mu^2\right) }[/math] has the integral representation

[math]\displaystyle{ \ln\left(\frac{\Box}{\mu^2}\right)=\int_0^{+\infty}ds\, \left(\frac{1}{\mu^2+s}-\frac{1}{\Box+s}\right). }[/math]

The new additional terms in the action imply a modification of the classical solution. The quantum corrected Reissner–Nordström metric, up to order [math]\displaystyle{ \mathcal{O}(G^2) }[/math], was found by Campos Delgado:

[math]\displaystyle{ ds^2=-f(r)dt^2+\frac{1}{g(r)}dr^2+r^2d\theta^2+r^2\sin^2\theta d\phi^2, }[/math]

where

[math]\displaystyle{ f(r)=1-\frac{2G M}{r}+\frac{G Q^2}{r^2}-\frac{32\pi G^2 Q^2}{r^4} \bigg[c_2+4c_3+2\left(\beta+4\gamma\right)\left(\ln\left(\mu r\right)+\gamma_E-\frac{3}{2}\right)\bigg], }[/math]

[math]\displaystyle{ g(r)=1-\frac{2G M}{r}+\frac{G Q^2}{r^2}-\frac{64\pi G^2 Q^2}{r^4}\Big[c_2+4c_3+2\left(\beta+4\gamma\right)\left(\ln\left(\mu r\right)+\gamma_E-2\right)\Big]. }[/math]

See also

• Black hole electron

References

• Adler, R.; Bazin, M.; Schiffer, M. (1965). Introduction to General Relativity. New York: McGraw-Hill Book Company. pp. 395–401. ISBN 978-0-07-000420-7. https://archive.org/details/introductiontoge0000adle. 
• Wald, Robert M. (1984). General Relativity. Chicago: The University of Chicago Press. pp. 158, 312–324. ISBN 978-0-226-87032-8. http://press.uchicago.edu/ucp/books/book/chicago/G/bo5952261.html. Retrieved 27 April 2013. 

External links

• spacetime diagrams including Finkelstein diagram and Penrose diagram, by Andrew J. S. Hamilton
• "Particle Moving Around Two Extreme Black Holes" by Enrique Zeleny, The Wolfram Demonstrations Project.