physics, mathematical physics, philosophy of physics
theory (physics), model (physics)
experiment, measurement, computable physics
Axiomatizations
Tools
Structural phenomena
Types of quantum field thories
The Kerr spacetime is the unique stationary axially symmetric asymptotically flat? vacuum (family of) solution(s) to the Einstein field equations. Informally, it describes an eternal, rotating black hole inside an otherwise empty universe. It is thought to closely approximate the gravitational field outside of compact rotating objects, to the point that astrophysical black holes are often described as “Kerr”.
These balck holes are characterized by their mass and their angular momentum.
The definition states the components of the metric tensor in a specific coordinate system, the Boyer-Lindquist coordinates, and compares those to the Minkowski and Schwartzschild metrics. Some properties can be read off directly from the metric tensor, which is done in the properties paragraph.
Spacetimes in the Kerr family are distinguished by two (real) parameters, $m$ and $a$, respectively interpreted as the hole’s mass and angular momentum per unit mass. Indeed as $a \to 0$ the geometry approaches that of a mass $m$ “nonrotating” Schwartzchild spacetime?.
As in the Schwartzchild spacetime, the observations of distant observers can be described using spherical coordinates $r, \phi, \theta$ on the “space” $\mathbb{R}^3$ and a time coordinate $t \in \mathbb{R}$. These coordinates are called Boyer-Lindquist coordinates in the context of the Kerr geometry. They limit to Schwartzchild coordinates with $a \to 0$.
We define two functions mainly as an abbreviation:
The following table lists the components of the metric of Minkowski, Schwartzschild and Kerr spacetimes respectivly using the canonical coordinates and the Boyer-Lindquist coordinates for the Kerr spacetime:
metric | Minkowski | Schwartzschild | Kerr |
---|---|---|---|
$g_{tt}$ | -1 | $-1 + 2 \frac{m}{r}$ | $-1 + 2 \frac{mr}{\rho^2}$ |
$g_{rr}$ | +1 | $\frac{r}{r - 2m}$ | $\frac{\rho^2}{\triangle}$ |
$g_{\theta\theta}$ | $r^2$ | $r^2$ | $\rho^2$ |
$g_{\phi\phi}$ | $r^2 \sin^2(\theta)$ | $r^2 \sin^2(\theta)$ | $(r^2 + a^2 + \frac{2 m r a^2 \sin^2(\theta)}{\rho^2}) \sin^2{\theta}$ |
$g_{ij}$ $i \neq j$ | all zero | all zero | all zero except $g_{t \phi} = g_{\phi t} = - \frac{2 m r a \sin^2(\theta)}{\rho^2}$ |
One gets the Kerr-Newman metric? for an electrically charged source with charge $e$ by replacing the definition of $\triangle$ with
The family of Kerr spacetimes is classified by the relation of the parameters $a$ and $m$:
$0 = a$ gives Schwartzschild spacetime
$0 \lt a^2 \lt m^2$ gives slowly rotating Kerr spacetime (slow Kerr)
$a^2 = m^2$ gives extreme Kerr spacetime and
$m^2 \lt a^2$ gives rapidly rotating Kerr spacetime (fast Kerr)
There are several coordinate singularities, inlcuding the z-axis (where $\sin(\theta) = 0$) and where $\rho = 0$ and $\triangle = 0$. Points where $\triangle = 0$ define the horizons of Kerr spacetime.
Both $\partial_t$ and $\partial_{\phi}$ are Killing vector fields, expressing the time invariance and the axial symmetry of the model respectively. Combining the sign changes $t \to -t, \phi \to -\phi$ gives an isometry: Letting time running backwards reverses the rotation.
Kerr spacetime is asymptotically flat, that is the Kerr metric approximates the Minkowski metric for large $r$.
The Boyer-Lindquist coordinates are defined on a subset of $\mathbb{R}^2 \times \mathcal{S}^2$ with $t, r$ defined on a copy of $\mathbb{R}$ respectively (actually $r$ is not supposed to take negative values, this definition is for convenience only). There are three subsets where the coordinates fail:
The horizon H where $\triangle = 0$.
The ring singularity $\Sigma$ where $\rho^2 = 0$
The axis A where $\sin(\theta) = 0$.
The Boyer-Lindquist blocks I, II, III are the following open subsets of $\mathbb{R}^2 \times \mathcal{S}^2 - \Sigma$:
Block I is also called the Kerr exterior and can be visualized as close to the Newtonian concept of space and time with a central force field.
Causality of I and II The Boyer-Lindquist blocks I and II are causal.
For a definition of causality see spacetime.
Noncausality of III The Boyer-Lindquist block III is vicious, that is for any two events $p, q$ in III there is a timelike future-pointing curve in III from p to q.
The maximum angular momentum $J$ of a black hole with mass $M$ is $J = M^2$.
One considers the quotient $q \coloneqq J/M^2$. Spinning black holes exist for $q \lt 1$.
the following uses material taken from this PhysicsSE comment
High angular momentum presents a barrier preventing collapse to a black hole (at least until this angular momentum is radiated away).
The parameter on which the formation of black hole depends is the ratio $q$ of angular momentum ($J$) to the square of mass ($M$). If $q=J/M^2 \lt 1$ (in relativistic units with $G=1$, $c=1$), then the black hole (non-extremal Kerr black hole, to be precise) can be formed. If $q\gt 1$ then the black hole cannot be formed from all the matter without some mechanism for losing angular momentum (this means of course that some of the mass also has to be lost in the process).
For example, currently for the Sun this parameter is slightly more than 1. (Of course solar mass is too small to ever form a black hole, angular momentum or not).
If we are talking stellar collapse (see for instance HFWLH 02), during the late time evolution of the star it loses considerable portion of its outer shell. Since the outer layers carry most of angular momentum, it is quite possible than as the result of this process the rotation of the actual collapsing object would be slow enough to form the black hole outright.
Alternatively, if the rotation speed of the collapsing star is high enough, during the collapse the part of an angular momentum is retained in the accretion disk which is formed around the newly created black hole. The matter from such disk could then fall inside, potentially increasing the ratio $q$, but still it will never reach the limiting value of 1.
Note, that accretion disk (depending on the actual configuration) also can produce the opposite effect Blandford–Znajek process can slow the rotation of a black hole by extracting rotational energy.
Another possibility is that if the rotation is fast enough the black hole is never formed: for instance numerical simulations in (DSY 04) found that for $q\gt 1$ the collapsing neutron star forms a torus which then fragments into nonaxisymmetric clumps (without ever producing horizon).
The Kerr spactime admits an extra Killing tensor and Killing-Yano tensor (…) See for instance (JL).
black hole spacetimes | vanishing angular momentum | positive angular momentum |
---|---|---|
vanishing charge | Schwarzschild spacetime | Kerr spacetime |
positive charge | Reissner-Nordstrom spacetime | Kerr-Newman spacetime |
Most textbooks about General Relativity have chapter about the Kerr spacetime, here is a monograph that specializes on the topic:
A good survey is also in
See also
The Killing-Yano tensors of the Kerr spacetime are discussed in
Formation of spinning black holes is discussed in
Heger, A., Fryer, C. L., Woosley, S. E., Langer, N., & Hartmann, D. H. (2003). How massive single stars end their life. The Astrophysical Journal, 591(1), 288. arXiv:astro-ph/0212469.
Duez, M. D., Shapiro, S. L., & Yo, H. J. (2004). Relativistic hydrodynamic evolutions with black hole excision. Physical Review D, 69(10), 104016. arXiv:gr-qc/040107.
Kerr-type solutions in dimension $\gt 4$ were first given in
In higher dimensions the uniqueness theorem of 4d breaks down, and there are solutions with non-spherical topology, such as black rings. This plays a role notably in the discussion of black holes in string theory.