Astronomy:Kerr metric
General relativity 

The Kerr metric or Kerr geometry describes the geometry of empty spacetime around a rotating uncharged axiallysymmetric black hole with a quasispherical event horizon. The Kerr metric is an exact solution of the Einstein field equations of general relativity; these equations are highly nonlinear, which makes exact solutions very difficult to find.
Overview
The Kerr metric is a generalization to a rotating body of the Schwarzschild metric, discovered by Karl Schwarzschild in 1915, which described the geometry of spacetime around an uncharged, sphericallysymmetric, and nonrotating body. The corresponding solution for a charged, spherical, nonrotating body, the Reissner–Nordström metric, was discovered soon afterwards (1916–1918). However, the exact solution for an uncharged, rotating blackhole, the Kerr metric, remained unsolved until 1963, when it was discovered by Roy Kerr.^{[1]}^{[2]}^{:69–81} The natural extension to a charged, rotating blackhole, the Kerr–Newman metric, was discovered shortly thereafter in 1965. These four related solutions may be summarized by the following table:
Nonrotating (J = 0)  Rotating (J ≠ 0)  

Uncharged (Q = 0)  Schwarzschild  Kerr 
Charged (Q ≠ 0)  Reissner–Nordström  Kerr–Newman 
where Q represents the body's electric charge and J represents its spin angular momentum.
According to the Kerr metric, a rotating body should exhibit framedragging (also known as Lense–Thirring precession), a distinctive prediction of general relativity. The first measurement of this frame dragging effect was done in 2011 by the Gravity Probe B experiment. Roughly speaking, this effect predicts that objects coming close to a rotating mass will be entrained to participate in its rotation, not because of any applied force or torque that can be felt, but rather because of the swirling curvature of spacetime itself associated with rotating bodies. In the case of a rotating black hole, at close enough distances, all objects – even light – must rotate with the black hole; the region where this holds is called the ergosphere.
The light from distant sources can travel around the event horizon several times (if close enough); creating multiple images of the same object. To a distant viewer, the apparent perpendicular distance between images decreases at a factor of e^{2π} (about 500). However, fast spinning black holes have less distance between multiplicity images.^{[3]}^{[4]}
Rotating black holes have surfaces where the metric seems to have apparent singularities; the size and shape of these surfaces depends on the black hole's mass and angular momentum. The outer surface encloses the ergosphere and has a shape similar to a flattened sphere. The inner surface marks the event horizon; objects passing into the interior of this horizon can never again communicate with the world outside that horizon. However, neither surface is a true singularity, since their apparent singularity can be eliminated in a different coordinate system. Objects between these two surfaces must corotate with the rotating black hole, as noted above; this feature can in principle be used to extract energy from a rotating black hole, up to its invariant mass energy, Mc^{2}.
The LIGO experiment that first detected gravitational waves, announced in 2016, also provided the first direct observation of a pair of Kerr black holes.^{[5]}
Metric
The Kerr metric is commonly expressed in one of two forms, the Boyer–Lindquist form and the Kerr–Schild form. It can be readily derived from the Schwarzschild metric, using the Newman–Janis algorithm^{[6]} by Newman–Penrose formalism (also known as the spin–coefficient formalism),^{[7]} Ernst equation,^{[8]} or Ellipsoid coordinate transformation.^{[9]}
Boyer–Lindquist coordinates
The Kerr metric describes the geometry of spacetime in the vicinity of a mass [math]\displaystyle{ M }[/math] rotating with angular momentum [math]\displaystyle{ J }[/math].^{[10]} The metric (or equivalently its line element for proper time) in Boyer–Lindquist coordinates is^{[11]}^{[12]}

[math]\displaystyle{ \begin{align} ds^{2} &= c^{2} d\tau^{2} \\ &= \left( 1  \frac{r_{s} r}{\Sigma} \right) c^{2} dt^{2} + \frac{\Sigma}{\Delta} dr^{2} + \Sigma d\theta^{2} + \left(r^2+ a^2 + \frac{r_{s} r a^{2}}{\Sigma} \sin^{2}\theta \right) \sin^{2}\theta \ d\phi^{2}  \frac{2r_{s} ra \sin^{2} \theta}{\Sigma} c dt \, d\phi \end{align} }[/math]
(
)
where the coordinates [math]\displaystyle{ r, \theta, \phi }[/math] are standard oblate spheroidal coordinates, which are equivalent to the cartesian coordinates^{[13]}^{[14]}

[math]\displaystyle{ x = \sqrt{r^2 + a^2} \sin\theta\cos\phi }[/math]
(
)

[math]\displaystyle{ y = \sqrt{r^2 + a^2} \sin\theta\sin\phi }[/math]
(
)

[math]\displaystyle{ z = r \cos\theta, }[/math]
(
)
where [math]\displaystyle{ r_s }[/math] is the Schwarzschild radius

[math]\displaystyle{ r_{s} = \frac{2GM}{c^2}, }[/math]
(
)
and where for brevity, the lengthscales [math]\displaystyle{ a, \Sigma }[/math] and [math]\displaystyle{ \Delta }[/math] have been introduced as

[math]\displaystyle{ a = \frac{J}{Mc}, }[/math]
(
)

[math]\displaystyle{ \Sigma = r^{2} + a^{2} \cos^{2}\theta, }[/math]
(
)

[math]\displaystyle{ \Delta = r^{2}  r_{s} r + a^{2}. }[/math]
(
)
A key feature to note in the above metric is the cross product term [math]\displaystyle{ dt \, d\phi. }[/math] This implies that there is coupling between time and motion in the plane of rotation that disappears when the black hole's angular momentum goes to zero.
In the nonrelativistic limit where [math]\displaystyle{ M }[/math] (or, equivalently, [math]\displaystyle{ r_s }[/math]) goes to zero, the Kerr metric becomes the orthogonal metric for the oblate spheroidal coordinates

[math]\displaystyle{ g \mathop\longrightarrow_{M \to 0}  c^{2} dt^{2} + \frac{\Sigma}{r^{2} + a^{2}} dr^{2} + \Sigma d\theta^{2} + \left(r^{2} + a^{2} \right) \sin^{2}\theta d\phi^{2} }[/math]
(
)
Kerr–Schild coordinates
The Kerr metric can be expressed in "Kerr–Schild" form, using a particular set of Cartesian coordinates as follows.^{[15]}^{[16]}^{[17]} These solutions were proposed by Kerr and Schild in 1965.

[math]\displaystyle{ g_{\mu \nu} = \eta_{\mu \nu} + fk_{\mu}k_{\nu} \! }[/math]
(
)

[math]\displaystyle{ f = \frac{2GMr^3}{r^4 + a^2z^2} }[/math]
(
)

[math]\displaystyle{ \mathbf{k} = ( k_{x} ,k_{y} ,k_{z} ) = \left( \frac{rx+ay}{r^2 + a^2} , \frac{ryax}{r^2 + a^2}, \frac{z}{r} \right) }[/math]
(
)

[math]\displaystyle{ k_{0} = 1. \! }[/math]
(
)
Notice that k is a unit 3vector, making the 4vector a null vector, with respect to both g and η.^{[18]} Here M is the constant mass of the spinning object, η is the Minkowski tensor, and a is a constant rotational parameter of the spinning object. It is understood that the vector [math]\displaystyle{ \vec{a} }[/math] is directed along the positive zaxis. The quantity r is not the radius, but rather is implicitly defined by

[math]\displaystyle{ \frac{x^2+y^2}{r^2 + a^2} + \frac{z^2}{r^2} = 1 }[/math]
(
)
Notice that the quantity r becomes the usual radius R
 [math]\displaystyle{ r \to R = \sqrt{x^2 + y^2 + z^2} }[/math]
when the rotational parameter a approaches zero. In this form of solution, units are selected so that the speed of light is unity (c = 1). At large distances from the source (R ≫ a), these equations reduce to the Eddington–Finkelstein form of the Schwarzschild metric.
In the Kerr–Schild form of the Kerr metric, the determinant of the metric tensor is everywhere equal to negative one, even near the source.^{[19]}
Soliton coordinates
As the Kerr metric (along with the KerrNUT metric) is axially symmetric, it can be cast into a form to which the Belinski–Zakharov transform can be applied. This implies that the Kerr black hole has the form of gravitational soliton.^{[20]}
Mass of rotational energy
If the complete rotational energy [math]\displaystyle{ E_{\rm rot} = c^2\left(M M_{\rm irr}\right) }[/math] of a black hole is extracted, for example with the Penrose process,^{[21]}^{[22]} the remaining mass cannot shrink below the irreducible mass. Therefore, if a black hole rotates with the spin [math]\displaystyle{ a=M }[/math], its total massequivalent [math]\displaystyle{ M }[/math] is higher by a factor of [math]\displaystyle{ \sqrt{2} }[/math] in comparison with a corresponding Schwarzschild black hole where [math]\displaystyle{ M }[/math] is equal to [math]\displaystyle{ M_{\rm irr} }[/math]. The reason for this is that in order to get a static body to spin, energy needs to be applied to the system. Because of the mass–energy equivalence this energy also has a massequivalent, which adds to the total mass–energy of the system, [math]\displaystyle{ M }[/math].
The total mass equivalent [math]\displaystyle{ M }[/math] (the gravitating mass) of the body (including its rotational energy) and its irreducible mass [math]\displaystyle{ M_{\rm irr} }[/math] are related by^{[23]}^{[24]}
 [math]\displaystyle{ 2 M_{\rm irr}^2 = M^2 + \sqrt{M^4  J^2 c^2 / G^2} \Longrightarrow M^2 = \frac{4 M_{\rm irr}^4}{4 M_{\rm irr}^2  a^2 c^4/G^2}. }[/math]
Wave operator
Since even a direct check on the Kerr metric involves cumbersome calculations, the contravariant components [math]\displaystyle{ g^{ik} }[/math] of the metric tensor in Boyer–Lindquist coordinates are shown below in the expression for the square of the fourgradient operator:^{[21]}
[math]\displaystyle{ g^{\mu\nu} \frac{\partial}{\partial x^\mu} \frac{\partial}{\partial x^\nu} =\frac{1}{c^{2}\Delta} \left(r^{2} + a^{2} + \frac{r_{s}ra^{2}}{\Sigma}\sin^{2}\theta\right) \left(\frac{\partial}{\partial t}\right)^{2} \frac{2r_{s}ra}{c\Sigma\Delta} \frac{\partial}{\partial\phi} \frac{\partial}{\partial{t}} +\frac{1}{\Delta\sin^{2}\theta} \left(1  \frac{r_{s}r}{\Sigma}\right) \left(\frac{\partial}{\partial\phi}\right)^{2} + \frac{\Delta}{\Sigma} \left(\frac{\partial}{\partial r}\right)^{2} + \frac{1}{\Sigma} \left(\frac{\partial}{\partial\theta}\right)^{2} }[/math] 

( ) 
Frame dragging
We may rewrite the Kerr metric (
) in the following form:
[math]\displaystyle{ c^{2} d\tau^{2} = \left( g_{tt}  \frac{g_{t\phi}^{2}}{g_{\phi\phi}} \right) dt^{2} + g_{rr} dr^{2} + g_{\theta\theta} d\theta^{2} + g_{\phi\phi} \left( d\phi + \frac{g_{t\phi}}{g_{\phi\phi}} dt \right)^{2}. }[/math]
(
)
This metric is equivalent to a corotating reference frame that is rotating with angular speed Ω that depends on both the radius r and the colatitude θ, where Ω is called the Killing horizon.

[math]\displaystyle{ \Omega = \frac{g_{t\phi}}{g_{\phi\phi}} = \frac{r_{s} r a c}{\Sigma \left( r^{2} + a^{2} \right) + r_{s} r a^{2} \sin^{2}\theta}. }[/math]
(
)
Thus, an inertial reference frame is entrained by the rotating central mass to participate in the latter's rotation; this is called framedragging, and has been tested experimentally.^{[25]} Qualitatively, framedragging can be viewed as the gravitational analog of electromagnetic induction. An "ice skater", in orbit over the equator and rotationally at rest with respect to the stars, extends her arms. The arm extended toward the black hole will be torqued spinward. The arm extended away from the black hole will be torqued antispinward. She will therefore be rotationally sped up, in a counterrotating sense to the black hole. This is the opposite of what happens in everyday experience. If she is already rotating at a certain speed when she extends her arms, inertial effects and framedragging effects will balance and her spin will not change. Due to the Principle of Equivalence gravitational effects are locally indistinguishable from inertial effects, so this rotation rate, at which when she extends her arms nothing happens, is her local reference for nonrotation. This frame is rotating with respect to the fixed stars and counterrotating with respect to the black hole. A useful metaphor is a planetary gear system with the black hole being the sun gear, the ice skater being a planetary gear and the outside universe being the ring gear. This can also be interpreted through Mach's principle.
Important surfaces
There are several important surfaces in the Kerr metric (event horizon similar to that observed in the Schwarzschild metric; this occurs where the purely radial component g_{rr} of the metric goes to infinity. Solving the quadratic equation ^{1}⁄_{grr} = 0 yields the solution:
). The inner surface corresponds to an [math]\displaystyle{ r_{\rm H}^{\pm} = \frac{r_{s} \pm \sqrt{r_{s}^{2}  4a^2}}{2} }[/math]
which in natural units (that give G = M = c = 1) simplifies to:
 [math]\displaystyle{ r_{\rm H}^{\pm} = 1 \pm \sqrt{1a^2} }[/math]
While in the Schwarzschild metric the event horizon is also the place where the purely temporal component g_{tt} of the metric changes sign from positive to negative, in Kerr metric that happens at a different distance. Again solving a quadratic equation g_{tt} = 0 yields the solution:
 [math]\displaystyle{ r_{\rm E}^{\pm} = \frac{r_{s} \pm \sqrt{r_{s}^{2}  4a^{2} \cos^{2}\theta}}{2} }[/math]
or in natural units:
 [math]\displaystyle{ r_{\rm E}^{\pm} = 1 \pm \sqrt{1a^2 \cos ^2\theta} }[/math]
Due to the cos^{2}θ term in the square root, this outer surface resembles a flattened sphere that touches the inner surface at the poles of the rotation axis, where the colatitude θ equals 0 or π; the space between these two surfaces is called the ergosphere. Within this volume, the purely temporal component g_{tt} is negative, i.e., acts like a purely spatial metric component. Consequently, particles within this ergosphere must corotate with the inner mass, if they are to retain their timelike character. A moving particle experiences a positive proper time along its worldline, its path through spacetime. However, this is impossible within the ergosphere, where g_{tt} is negative, unless the particle is corotating around the interior mass M with an angular speed at least of Ω. Thus, no particle can move in the direction opposite to central mass's rotation within the ergosphere.
As with the event horizon in the Schwarzschild metric, the apparent singularity at r_{H} is due to the choice of coordinates (i.e., it is a coordinate singularity). In fact, the spacetime can be smoothly continued through it by an appropriate choice of coordinates. In turn, the outer boundary of the ergosphere at r_{E} is not singular by itself even in Kerr coordinates due to nonzero [math]\displaystyle{ dt d\phi }[/math] term.
Ergosphere and the Penrose process
A black hole in general is surrounded by a surface, called the event horizon and situated at the Schwarzschild radius for a nonrotating black hole, where the escape velocity is equal to the velocity of light. Within this surface, no observer/particle can maintain itself at a constant radius. It is forced to fall inwards, and so this is sometimes called the static limit.
A rotating black hole has the same static limit at its event horizon but there is an additional surface outside the event horizon named the "ergosurface" given by
 [math]\displaystyle{ (rM)^{2} = M^{2}J^{2}\cos^{2}\theta }[/math]
in Boyer–Lindquist coordinates, which can be intuitively characterized as the sphere where "the rotational velocity of the surrounding space" is dragged along with the velocity of light. Within this sphere the dragging is greater than the speed of light, and any observer/particle is forced to corotate.
The region outside the event horizon but inside the surface where the rotational velocity is the speed of light, is called the ergosphere (from Greek ergon meaning work). Particles falling within the ergosphere are forced to rotate faster and thereby gain energy. Because they are still outside the event horizon, they may escape the black hole. The net process is that the rotating black hole emits energetic particles at the cost of its own total energy. The possibility of extracting spin energy from a rotating black hole was first proposed by the mathematician Roger Penrose in 1969 and is thus called the Penrose process. Rotating black holes in astrophysics are a potential source of large amounts of energy and are used to explain energetic phenomena, such as gammaray bursts.
Features of the Kerr geometry
The Kerr geometry exhibits many noteworthy features: the maximal analytic extension includes a sequence of asymptotically flat exterior regions, each associated with an ergosphere, stationary limit surfaces, event horizons, Cauchy horizons, closed timelike curves, and a ringshaped curvature singularity. The geodesic equation can be solved exactly in closed form. In addition to two Killing vector fields (corresponding to time translation and axisymmetry), the Kerr geometry admits a remarkable Killing tensor. There is a pair of principal null congruences (one ingoing and one outgoing). The Weyl tensor is algebraically special, in fact it has Petrov type D. The global structure is known. Topologically, the homotopy type of the Kerr spacetime can be simply characterized as a line with circles attached at each integer point.
Note that the inner Kerr geometry is unstable with regard to perturbations in the interior region. This instability means that although the Kerr metric is axissymmetric, a black hole created through gravitational collapse may not be so.^{[13]} This instability also implies that many of the features of the Kerr geometry described above may not be present inside such a black hole.^{[27]}^{[28]}
A surface on which light can orbit a black hole is called a photon sphere. The Kerr solution has infinitely many photon spheres, lying between an inner one and an outer one. In the nonrotating, Schwarzschild solution, with a = 0, the inner and outer photon spheres degenerate, so that there is only one photon sphere at a single radius. The greater the spin of a black hole, the farther from each other the inner and outer photon spheres move. A beam of light traveling in a direction opposite to the spin of the black hole will circularly orbit the hole at the outer photon sphere. A beam of light traveling in the same direction as the black hole's spin will circularly orbit at the inner photon sphere. Orbiting geodesics with some angular momentum perpendicular to the axis of rotation of the black hole will orbit on photon spheres between these two extremes. Because the spacetime is rotating, such orbits exhibit a precession, since there is a shift in the [math]\displaystyle{ \phi \, }[/math] variable after completing one period in the [math]\displaystyle{ \theta \, }[/math] variable.
Trajectory equations
The equations of motion for test particles in the Kerr spacetime are governed by four constants of motion.^{[29]} The first is the invariant mass [math]\displaystyle{ \mu }[/math] of the test particle, defined by the relation [math]\displaystyle{ \mu^2 = p^\alpha g_{\alpha\beta}p^\beta, }[/math] where [math]\displaystyle{ p^\alpha }[/math] is the fourmomentum of the particle. Furthermore, there are two constants of motion given by the time translation and rotation symmetries of Kerr spacetime, the energy [math]\displaystyle{ E }[/math], and the component of the orbital angular momentum parallel to the spin of the black hole [math]\displaystyle{ L_z }[/math].^{[21]}^{[30]}
[math]\displaystyle{ E = p_t, }[/math] and [math]\displaystyle{ L_z = p_\phi }[/math]
Using Hamilton–Jacobi theory, Brandon Carter showed that there exists a fourth constant of motion, [math]\displaystyle{ Q }[/math],^{[29]} now referred to as the Carter constant. It is related to the total angular momentum of the particle and is given by [math]\displaystyle{ Q = p_{\theta}^{2} + \cos^{2}\theta \left(a^{2}\left(\mu^{2}  E^{2}\right) + \left(\frac{L_z}{\sin\theta} \right)^{2} \right). }[/math]
Since there are four (independent) constants of motion for degrees of freedom the equations of motion for a test particle in Kerr spacetime are integrable.
Using these constants of motion, the trajectory equations for a test particle can be written (using natural units of G = M = c = 1),^{[29]} [math]\displaystyle{ \begin{align} \Sigma\frac{dr}{d\lambda} &= \pm\sqrt{R(r)} \\ \Sigma\frac{d\theta}{d\lambda} &= \pm\sqrt{\Theta(\theta)} \\ \Sigma\frac{d\phi}{d\lambda} &= \left(aE  \frac{L_z}{\sin^2\theta}\right) + \frac{a}{\Delta}P(r) \\ \Sigma\frac{dt}{d\lambda} &= a\left(aE\sin^2\theta  L_z\right) + \frac{r^2 + a^2}{\Delta}P(r) \end{align} }[/math] with
 [math]\displaystyle{ \Theta(\theta) = Q  \cos^2\theta\left(a^2\left(\mu^2  E^2\right) + \frac{L_z^2}{\sin^2\theta}\right) }[/math]
 [math]\displaystyle{ P(r) = E\left(r^2 + a^2\right)  aL_z }[/math]
 [math]\displaystyle{ R(r) = P(r)^2  \Delta\left(\mu^2 r^2 + (L_z  aE)^2 + Q\right) }[/math]
Where, [math]\displaystyle{ \lambda }[/math] is an affine parameter such that [math]\displaystyle{ \frac{dx^\alpha}{d\lambda} = p^\alpha }[/math]. In particular, when [math]\displaystyle{ \mu\gt 0 }[/math] the affine parameter [math]\displaystyle{ \lambda }[/math], is related to the proper time [math]\displaystyle{ \tau }[/math] through [math]\displaystyle{ \lambda = \tau/\mu }[/math].
Because of the framedraggingeffect, a zeroangularmomentum observer (ZAMO) is corotating with the angular velocity [math]\displaystyle{ \Omega }[/math] which is defined with respect to the bookkeeper's coordinate time [math]\displaystyle{ t }[/math].^{[31]} The local velocity [math]\displaystyle{ v }[/math] of the testparticle is measured relative to a probe corotating with [math]\displaystyle{ \Omega }[/math]. The gravitational timedilation between a ZAMO at fixed [math]\displaystyle{ r }[/math] and a stationary observer far away from the mass is [math]\displaystyle{ \frac{t}{\tau} = \sqrt{{\frac{\left(a^2 + r^2\right)^2  a^2 \Delta \sin^2\theta}{\Delta\ \Sigma}}}. }[/math] In Cartesian KerrSchild coordinates, the equations for a photon are^{[32]}
[math]\displaystyle{ \ddot{x}+i\ddot{y}=4iMa\frac{r}{\Sigma^2}W\left [\dot{x}+i\dot{y}\frac{x+iy}{r}\dot{r}\right ]  M(x+iy) \left ( \frac{4r^2}{\Sigma}1\right )\frac{Ca^2 W^2}{r\Sigma^2} }[/math] [math]\displaystyle{ \ddot{z}=Mz\left(\frac{4r^2}{\Sigma}1\right)\frac{C}{r\Sigma^2} }[/math] where [math]\displaystyle{ C }[/math] is analogous to Carter's constant and [math]\displaystyle{ W }[/math] is a useful quantity [math]\displaystyle{ C=p_{\theta}^2+\left(aE\sin{\theta}\frac{L_z}{\sin{\theta}}\right)^2 }[/math] [math]\displaystyle{ W=\dot{t}a \sin^2{\theta}\dot{\phi} }[/math]
If we set [math]\displaystyle{ a=0 }[/math], the Schwarzschild geodesics are restored.
Symmetries
The group of isometries of the Kerr metric is the subgroup of the tendimensional Poincaré group which takes the twodimensional locus of the singularity to itself. It retains the time translations (one dimension) and rotations around its axis of rotation (one dimension). Thus it has two dimensions. Like the Poincaré group, it has four connected components: the component of the identity; the component which reverses time and longitude; the component which reflects through the equatorial plane; and the component that does both.
In physics, symmetries are typically associated with conserved constants of motion, in accordance with Noether's theorem. As shown above, the geodesic equations have four conserved quantities: one of which comes from the definition of a geodesic, and two of which arise from the time translation and rotation symmetry of the Kerr geometry. The fourth conserved quantity does not arise from a symmetry in the standard sense and is commonly referred to as a hidden symmetry.
Overextreme Kerr solutions
The location of the event horizon is determined by the larger root of [math]\displaystyle{ \Delta=0 }[/math]. When [math]\displaystyle{ r_s /2 \lt a }[/math] (i.e. [math]\displaystyle{ G M^2 \lt J c }[/math]), there are no (real valued) solutions to this equation, and there is no event horizon. With no event horizons to hide it from the rest of the universe, the black hole ceases to be a black hole and will instead be a naked singularity.^{[33]}
Kerr black holes as wormholes
Although the Kerr solution appears to be singular at the roots of Δ = 0, these are actually coordinate singularities, and, with an appropriate choice of new coordinates, the Kerr solution can be smoothly extended through the values of [math]\displaystyle{ r }[/math] corresponding to these roots. The larger of these roots determines the location of the event horizon, and the smaller determines the location of a Cauchy horizon. A (futuredirected, timelike) curve can start in the exterior and pass through the event horizon. Once having passed through the event horizon, the [math]\displaystyle{ r }[/math] coordinate now behaves like a time coordinate, so it must decrease until the curve passes through the Cauchy horizon.^{[34]}
The region beyond the Cauchy horizon has several surprising features. The [math]\displaystyle{ r }[/math] coordinate again behaves like a spatial coordinate and can vary freely. The interior region has a reflection symmetry, so that a (futuredirected timelike) curve may continue along a symmetric path, which continues through a second Cauchy horizon, through a second event horizon, and out into a new exterior region which is isometric to the original exterior region of the Kerr solution. The curve could then escape to infinity in the new region or enter the future event horizon of the new exterior region and repeat the process. This second exterior is sometimes thought of as another universe. On the other hand, in the Kerr solution, the singularity is a ring, and the curve may pass through the center of this ring. The region beyond permits closed timelike curves. Since the trajectory of observers and particles in general relativity are described by timelike curves, it is possible for observers in this region to return to their past.^{[27]}^{[28]} This interior solution is not likely to be physical and considered as a purely mathematical artefact.^{[35]}
While it is expected that the exterior region of the Kerr solution is stable, and that all rotating black holes will eventually approach a Kerr metric, the interior region of the solution appears to be unstable, much like a pencil balanced on its point.^{[36]}^{[13]} This is related to the idea of cosmic censorship.
Relation to other exact solutions
The Kerr geometry is a particular example of a stationary axially symmetric vacuum solution to the Einstein field equation. The family of all stationary axially symmetric vacuum solutions to the Einstein field equation are the Ernst vacuums.
The Kerr solution is also related to various nonvacuum solutions which model black holes. For example, the Kerr–Newman electrovacuum models a (rotating) black hole endowed with an electric charge, while the Kerr–Vaidya null dust models a (rotating) hole with infalling electromagnetic radiation.
The special case [math]\displaystyle{ a = 0 }[/math] of the Kerr metric yields the Schwarzschild metric, which models a nonrotating black hole which is static and spherically symmetric, in the Schwarzschild coordinates. (In this case, every Geroch moment but the mass vanishes.)
The interior of the Kerr geometry, or rather a portion of it, is locally isometric to the Chandrasekhar–Ferrari CPW vacuum, an example of a colliding plane wave model. This is particularly interesting, because the global structure of this CPW solution is quite different from that of the Kerr geometry, and in principle, an experimenter could hope to study the geometry of (the outer portion of) the Kerr interior by arranging the collision of two suitable gravitational plane waves.
Multipole moments
Each asymptotically flat Ernst vacuum can be characterized by giving the infinite sequence of relativistic multipole moments, the first two of which can be interpreted as the mass and angular momentum of the source of the field. There are alternative formulations of relativistic multipole moments due to Hansen, Thorne, and Geroch, which turn out to agree with each other. The relativistic multipole moments of the Kerr geometry were computed by Hansen; they turn out to be
 [math]\displaystyle{ M_n = M [i a]^n }[/math]
Thus, the special case of the Schwarzschild vacuum (a = 0) gives the "monopole point source" of general relativity.^{[loweralpha 1]}
Weyl multipole moments arise from treating a certain metric function (formally corresponding to Newtonian gravitational potential) which appears the WeylPapapetrou chart for the Ernst family of all stationary axisymmetric vacuum solutions using the standard euclidean scalar multipole moments. They are distinct from the moments computed by Hansen, above. In a sense, the Weyl moments only (indirectly) characterize the "mass distribution" of an isolated source, and they turn out to depend only on the even order relativistic moments. In the case of solutions symmetric across the equatorial plane the odd order Weyl moments vanish. For the Kerr vacuum solutions, the first few Weyl moments are given by
 [math]\displaystyle{ a_0 = M, \qquad a_1 = 0, \qquad a_2 = M \left( \frac{M^2}{3}  a^2 \right) }[/math]
In particular, we see that the Schwarzschild vacuum has nonzero second order Weyl moment, corresponding to the fact that the "Weyl monopole" is the Chazy–Curzon vacuum solution, not the Schwarzschild vacuum solution, which arises from the Newtonian potential of a certain finite length uniform density thin rod.
In weak field general relativity, it is convenient to treat isolated sources using another type of multipole, which generalize the Weyl moments to mass multipole moments and momentum multipole moments, characterizing respectively the distribution of mass and of momentum of the source. These are multiindexed quantities whose suitably symmetrized and antisymmetrized parts can be related to the real and imaginary parts of the relativistic moments for the full nonlinear theory in a rather complicated manner.
Perez and Moreschi have given an alternative notion of "monopole solutions" by expanding the standard NP tetrad of the Ernst vacuums in powers of r (the radial coordinate in the WeylPapapetrou chart). According to this formulation:
 the isolated mass monopole source with zero angular momentum is the Schwarzschild vacuum family (one parameter),
 the isolated mass monopole source with radial angular momentum is the Taub–NUT vacuum family (two parameters; not quite asymptotically flat),
 the isolated mass monopole source with axial angular momentum is the Kerr vacuum family (two parameters).
In this sense, the Kerr vacuums are the simplest stationary axisymmetric asymptotically flat vacuum solutions in general relativity.
Open problems
The Kerr geometry is often used as a model of a rotating black hole but if the solution is held to be valid only outside some compact region (subject to certain restrictions), in principle, it should be able to be used as an exterior solution to model the gravitational field around a rotating massive object other than a black hole such as a neutron star, or the Earth. This works out very nicely for the nonrotating case, where the Schwarzschild vacuum exterior can be matched to a Schwarzschild fluid interior, and indeed to more general static spherically symmetric perfect fluid solutions. However, the problem of finding a rotating perfectfluid interior which can be matched to a Kerr exterior, or indeed to any asymptotically flat vacuum exterior solution, has proven very difficult. In particular, the Wahlquist fluid, which was once thought to be a candidate for matching to a Kerr exterior, is now known not to admit any such matching. At present, it seems that only approximate solutions modeling slowly rotating fluid balls are known (These are the relativistic analog of oblate spheroidal balls with nonzero mass and angular momentum but vanishing higher multipole moments). However, the exterior of the Neugebauer–Meinel disk, an exact dust solution which models a rotating thin disk, approaches in a limiting case the [math]\displaystyle{ GM^2 = cJ }[/math] Kerr geometry. Physical thindisk solutions obtained by identifying parts of the Kerr spacetime are also known.^{[37]}
See also
 Schwarzschild metric
 Kerr–Newman metric
 Reissner–Nordström metric
 Hartle–Thorne metric
 Spinflip
 Kerr–Schild spacetime
 Rotating black hole
Footnotes
 ↑ Warning: Do not confuse the relativistic multipole moments computed by Hansen with the Weyl multipole moments discussed below.
References
 ↑ Kerr, Roy P. (1963). "Gravitational Field of a Spinning Mass as an Example of Algebraically Special Metrics". Physical Review Letters 11 (5): 237–238. doi:10.1103/PhysRevLett.11.237. Bibcode: 1963PhRvL..11..237K.
 ↑ Melia, Fulvio (2009). "Cracking the Einstein code: relativity and the birth of black hole physics, with an Afterword by Roy Kerr", Princeton University Press, Princeton, ISBN:9780226519517
 ↑ Sneppen, Albert (December 2021). "Divergent reflections around the photon sphere of a black hole". Scientific Reports (Cosmic Dawn Center) 11 (1): 14247. doi:10.1038/s4159802193595w. PMID 34244573. Bibcode: 2021NatSR..1114247S.
 ↑ Sutter, Paul (22 July 2021). "Black holes warp the universe into a grotesque hall of mirrors" (in en). https://www.livescience.com/blackholemirrorcopies.html.
 ↑ Abbot, B.P. (11 February 2016). "Observation of Gravitational Waves from a Binary Black Hole Merger". Physical Review Letters 116 (6): 061102. doi:10.1103/PhysRevLett.116.061102. PMID 26918975. Bibcode: 2016PhRvL.116f1102A.
 ↑ Newman, E. T.; Janis, A. I. (19650601). "Note on the Kerr Spinning‐Particle Metric". Journal of Mathematical Physics 6 (6): 915–917. doi:10.1063/1.1704350. ISSN 00222488. Bibcode: 1965JMP.....6..915N. https://aip.scitation.org/doi/10.1063/1.1704350.
 ↑ Newman, Ezra; Adamo, Tim (2014). "KerrNewman metric" (in en). Scholarpedia 9 (10): 31791. doi:10.4249/scholarpedia.31791. ISSN 19416016. Bibcode: 2014SchpJ...931791N. http://www.scholarpedia.org/article/KerrNewman_metric.
 ↑ Harrison, B. Kent (19781030). "Bäcklund Transformation for the Ernst Equation of General Relativity" (in en). Physical Review Letters 41 (18): 1197–1200. doi:10.1103/PhysRevLett.41.1197. ISSN 00319007. Bibcode: 1978PhRvL..41.1197H. https://link.aps.org/doi/10.1103/PhysRevLett.41.1197.
 ↑ Chou, YuChing (January 2020). "A radiating Kerr black hole and Hawking radiation" (in en). Heliyon 6 (1): e03336. doi:10.1016/j.heliyon.2020.e03336. PMID 32051884.
 ↑ Landau, L. D.; Lifshitz, E. M. (1975). The Classical Theory of Fields. Course of Theoretical Physics. 2 (Revised 4th English ed.). New York: Pergamon Press. pp. 321–330. ISBN 9780080181769.
 ↑ Rezzolla, Luciano; Zanotti, Olindo (2013). Relativistic Hydrodynamics. Oxford University Press. pp. 55–57 [eqns. 1.249 to 1.265]. ISBN 9780198528906. https://books.google.com/books?id=aS1oAgAAQBAJ&pg=PA57.
 ↑ Christopher M. Hirata: Lecture XXVI: Kerr black holes: I. Metric structure and regularity of particle orbits, p. 1, Eq. 1
 ↑ ^{13.0} ^{13.1} ^{13.2} ^{13.3} Visser, Matt (2007). "The Kerr spacetime: A brief introduction". p. 15, Eq. 6061, p. 24, p. 35. arXiv:0706.0622v3 [grqc].
 ↑ Boyer, Robert H.; Lindquist, Richard W. (1967). "Maximal Analytic Extension of the Kerr Metric". J. Math. Phys. 8 (2): 265–281. doi:10.1063/1.1705193. Bibcode: 1967JMP.....8..265B.
 ↑ Debney, G. C.; Kerr, R. P.; Schild, A. (1969). "Solutions of the Einstein and Einstein‐Maxwell Equations". Journal of Mathematical Physics 10 (10): 1842–1854. doi:10.1063/1.1664769. Bibcode: 1969JMP....10.1842D. Especially see equations (7.10), (7.11) and (7.14).
 ↑ Balasin, Herbert; Nachbagauer, Herbert (1994). "Distributional energy–momentum tensor of the Kerr–Newman spacetime family". Classical and Quantum Gravity 11 (6): 1453–1461. doi:10.1088/02649381/11/6/010. Bibcode: 1994CQGra..11.1453B.
 ↑ Berman, Marcelo. "Energy of Black Holes and Hawking's Universe" in Trends in Black Hole Research, page 148 (Kreitler ed., Nova Publishers 2006).
 ↑ Visser, Matt (14 January 2008). "The Kerr spacetime: A brief introduction". p. 12. arXiv:0706.0622 [grqc].
 ↑ Stephani, Hans et al. Exact Solutions of Einstein's Field Equations (Cambridge University Press 2003). See page 485 regarding determinant of metric tensor. See page 325 regarding generalizations.
 ↑ Belinski, V.; Verdaguer, E. (2001). Gravitational Solitons. Cambridge Monographs on Mathematical Physics. Cambridge University Press. ISBN 9780521805865. PDF
 ↑ ^{21.0} ^{21.1} ^{21.2} Misner, Thorne & Wheeler: Gravitation, pages 899, 900, 908
 ↑ Bhat, Manjiri; Dhurandhar, Sanjeev; Dadhich, Naresh (1985). "Energetics of the KerrNewman black hole by the penrose process". Journal of Astrophysics and Astronomy 6 (2): 85–100. doi:10.1007/BF02715080. Bibcode: 1985JApA....6...85B.
 ↑ Thibault Damour: Black Holes: Energetics and Thermodynamics, page 11
 ↑ Stijn van Tongeren: Rotating Black Holes, page 42
 ↑ Will, Clifford M. (May 2011). "Finally, results from Gravity Probe B". Physics 4: 43. doi:10.1103/Physics.4.43. Bibcode: 2011PhyOJ...4...43W.
 ↑ de Vries, Andreas. "Shadows of rotating black holes". p. 8. http://haegar.fhswf.de/publikationen/pascal.pdf#page=8.
 ↑ ^{27.0} ^{27.1} Paul Davies: About Time: Einstein's Unfinished Revolution
 ↑ ^{28.0} ^{28.1} The LIGO Scientific Collaboration; the Virgo Collaboration (2007). "The Kerr spacetime: A brief introduction". p. 13, below eq. 52. arXiv:0706.0622v3 [grqc].
 ↑ ^{29.0} ^{29.1} ^{29.2} Carter, Brandon (1968). "Global structure of the Kerr family of gravitational fields". Physical Review 174 (5): 1559–1571. doi:10.1103/PhysRev.174.1559. Bibcode: 1968PhRv..174.1559C. https://pdfs.semanticscholar.org/dd72/c4b894cd582604e7c4b58bfa2120bfae8375.pdf.
 ↑ Bardeen, James M.; Press, William H.; Teukolsky, Saul A. (1972). "Rotating Black Holes: Locally Nonrotating Frames, Energy Extraction, and Scalar Synchrotron Radiation". The Astrophysical Journal 178: 347. doi:10.1086/151796. Bibcode: 1972ApJ...178..347B.
 ↑ Frolov, Andrei V.; Frolov, Valeri P. (2014). "Rigidly rotating zeroangularmomentum observer surfaces in the Kerr spacetime". Physical Review D 90 (12): 124010. doi:10.1103/PhysRevD.90.124010. Bibcode: 2014PhRvD..90l4010F.)
 ↑ Riazuelo, Alain (December 2020). "Seeing Relativity  III. Journeying within the Kerr metric toward the negative gravity region". International Journal of Modern Physics D 29 (16): 2050109–2050202. doi:10.1142/S0218271820501096. ISSN 02182718. Bibcode: 2020IJMPD..2950109R. http://arxiv.org/abs/2008.04384.
 ↑ Chandrasekhar, S. (1983). The Mathematical Theory of Black Holes. International Series of Monographs on Physics. 69. pp. 375.
 ↑ Andrew Hamilton: Black hole Penrose diagrams (JILA Colorado)
 ↑ Roy Kerr (Crafoord Prize Symposium in Astronomy): Spinning Black Holes. (YouTube, Timestamp 26m)
 ↑ Penrose 1968
 ↑ Bičák, Jří; Ledvinka, Tomáš (1993). "Relativistic disks as sources of the Kerr metric". Physical Review Letters 71 (11): 1669–1672. doi:10.1103/physrevlett.71.1669. PMID 10054468. Bibcode: 1993PhRvL..71.1669B.
Further reading
 The Kerr Spacetime: Rotating Black Holes in General Relativity. Cambridge: Cambridge University Press. 2009. ISBN 9780521885126.
 Stephani, Hans; Kramer, Dietrich; MacCallum, Malcolm; Hoenselaers, Cornelius; Herlt, Eduard (2003). Exact Solutions of Einstein's Field Equations. Cambridge: Cambridge University Press. ISBN 9780521461368.
 Meinel, Reinhard; Ansorg, Marcus; Kleinwachter, Andreas; Neugebauer, Gernot; Petroff, David (2008). Relativistic Figures of Equilibrium. Cambridge: Cambridge University Press. ISBN 9780521863834. http://www.cambridge.org/9780521863834.
 O'Neill, Barrett (1995). The Geometry of Kerr Black Holes. Wellesley, Massachusetts: A. K. Peters. ISBN 9781568810195.
 D'Inverno, Ray (1992). Introducing Einstein's Relativity. Oxford: Clarendon Press. ISBN 9780198596868. https://archive.org/details/introducingeinst0000dinv. See chapter 19 for a readable introduction at the advanced undergraduate level.
 Chandrasekhar, S. (1992). The Mathematical Theory of Black Holes. Oxford: Clarendon Press. ISBN 9780198503705. See chapters 610 for a very thorough study at the advanced graduate level.
 Griffiths, J. B. (1991). Colliding Plane Waves in General Relativity. Oxford: Oxford University Press. ISBN 9780198532095. See chapter 13 for the Chandrasekhar/Ferrari CPW model.
 Adler, Ronald; Bazin, Maurice; Schiffer, Menahem (1975). Introduction to General Relativity (Second ed.). New York: McGrawHill. ISBN 9780070004238. https://archive.org/details/introductiontoge0000adle. See chapter 7.
 Penrose, R. (1968). ed C. de Witt and J. Wheeler. ed. Battelle Rencontres. W. A. Benjamin, New York. p. 222.
 Perez, Alejandro; Moreschi, Osvaldo M. (2000). "Characterizing exact solutions from asymptotic physical concepts". arXiv:grqc/0012100v1. Characterization of three standard families of vacuum solutions as noted above.
 Sotiriou, Thomas P.; Apostolatos, Theocharis A. (2004). "Corrections and Comments on the Multipole Moments of Axisymmetric Electrovacuum Spacetimes". Class. Quantum Grav. 21 (24): 5727–5733. doi:10.1088/02649381/21/24/003. Bibcode: 2004CQGra..21.5727S. Gives the relativistic multipole moments for the Ernst vacuums (plus the electromagnetic and gravitational relativistic multipole moments for the charged generalization).
 Carter, B. (1971). "Axisymmetric Black Hole Has Only Two Degrees of Freedom". Physical Review Letters 26 (6): 331–333. doi:10.1103/PhysRevLett.26.331. Bibcode: 1971PhRvL..26..331C.
 Wald, R. M. (1984). General Relativity. Chicago: The University of Chicago Press. pp. 312–324. ISBN 9780226870328. https://archive.org/details/generalrelativit0000wald.
 Kerr, R. P.; Schild, A. (2009). "Republication of: A new class of vacuum solutions of the Einstein field equations". General Relativity and Gravitation 41 (10): 2485–2499. doi:10.1007/s107140090857z. Bibcode: 2009GReGr..41.2485K.
 Krasiński, Andrzej; Verdaguer, Enric; Kerr, Roy Patrick (2009). "Editorial note to: R. P. Kerr and A. Schild, A new class of vacuum solutions of the Einstein field equations". General Relativity and Gravitation 41 (10): 2469–2484. doi:10.1007/s1071400908560. Bibcode: 2009GReGr..41.2469K. "... This note is meant to be a guide for those readers who wish to verify all the details [of the derivation of the Kerr solution]..."
fr:Trou noir de Kerr#Métrique de Kerr
Original source: https://en.wikipedia.org/wiki/Kerr metric.
Read more 