Difference between revisions of "Kerr black hole"

From Universe in Problems
Jump to: navigation, search
(Integrals of motion)
Line 135: Line 135:
  
 
==Limiting cases==
 
==Limiting cases==
<div id="label"></div>
+
<div id="BlackHole56"></div>
 
=== Problem 5: Schwarzshild limit ===
 
=== Problem 5: Schwarzshild limit ===
 
Show that in the limit $a\to 0$ the Kerr metric turns into Schwarzschild with $r_{g}=2\mu$.
 
Show that in the limit $a\to 0$ the Kerr metric turns into Schwarzschild with $r_{g}=2\mu$.
Line 146: Line 146:
 
</div>
 
</div>
  
<div id="label"></div>
+
<div id="BlackHole57"></div>
 
=== Problem 6: Minkowski limit ===
 
=== Problem 6: Minkowski limit ===
 
Show that in the limit $\mu\to 0$ the Kerr metric describes Minkowski space with the spatial part in coordinates that are related to Cartesian as
 
Show that in the limit $\mu\to 0$ the Kerr metric describes Minkowski space with the spatial part in coordinates that are related to Cartesian as
Line 186: Line 186:
 
</div>
 
</div>
  
<div id="label"></div>
+
<div id="BlackHole58"></div>
 
=== Problem 7: weak field rotation effect ===
 
=== Problem 7: weak field rotation effect ===
 
Write the Kerr metric in the limit $a/r \to 0$ up to linear terms.
 
Write the Kerr metric in the limit $a/r \to 0$ up to linear terms.
Line 210: Line 210:
 
\[n^{\mu}n_{\mu}=0.\]
 
\[n^{\mu}n_{\mu}=0.\]
 
This same notation means that $n^\mu$ belongs to the considered surface (which is not to be wondered at, as a null vector is always orthogonal to self). It can be shown further, that a null surface can be divided into a set of null geodesics. Thus the light cone touches it in each point: the future light cone turns out to be on one side of the surface and the past cone on the other side. This means that world lines of particles, directed in the future, can only cross the null surface in one direction, and the latter works as a one-way valve, -- "event horizon"
 
This same notation means that $n^\mu$ belongs to the considered surface (which is not to be wondered at, as a null vector is always orthogonal to self). It can be shown further, that a null surface can be divided into a set of null geodesics. Thus the light cone touches it in each point: the future light cone turns out to be on one side of the surface and the past cone on the other side. This means that world lines of particles, directed in the future, can only cross the null surface in one direction, and the latter works as a one-way valve, -- "event horizon"
<div id="label"></div>
+
<div id="BlackHole59"></div>
 
=== Problem 8: on null surfaces ===
 
=== Problem 8: on null surfaces ===
 
Show that if a surface is defined by equation $f(r)=0$, and on it $g^{rr}=0$, it is a null surface.
 
Show that if a surface is defined by equation $f(r)=0$, and on it $g^{rr}=0$, it is a null surface.
Line 226: Line 226:
 
</div>
 
</div>
  
<div id="label"></div>
+
<div id="BlackHole60"></div>
 
=== Problem 9: null surfaces in Kerr metric ===
 
=== Problem 9: null surfaces in Kerr metric ===
 
Find the surfaces $g^{rr}=0$ for the Kerr metric. Are they spheres?
 
Find the surfaces $g^{rr}=0$ for the Kerr metric. Are they spheres?
Line 255: Line 255:
 
</div>
 
</div>
  
<div id="label"></div>
+
<div id="BlackHole61"></div>
 
+
 
=== Problem 10: horizon area ===
 
=== Problem 10: horizon area ===
 
Calculate surface areas of the outer and inner horizons.
 
Calculate surface areas of the outer and inner horizons.
Line 275: Line 274:
 
</div>
 
</div>
  
<div id="label"></div>
+
<div id="BlackHole62"></div>
 
=== Problem 11: black holes and naked singularities ===
 
=== Problem 11: black holes and naked singularities ===
 
What values of $a$ lead to existence of horizons?
 
What values of $a$ lead to existence of horizons?
Line 288: Line 287:
 
On calculating curvature invariants, one can see they are regular on the horizons and diverge only at $\rho^2 \to 0$. Thus only the latter surface is a genuine singularity.
 
On calculating curvature invariants, one can see they are regular on the horizons and diverge only at $\rho^2 \to 0$. Thus only the latter surface is a genuine singularity.
  
<div id="label"></div>
+
<div id="BlackHole63"></div>
 
=== Problem 12: surface $r=0$. ===
 
=== Problem 12: surface $r=0$. ===
 
Derive the internal metric of the surface $r=0$ in Kerr solution.
 
Derive the internal metric of the surface $r=0$ in Kerr solution.
Line 311: Line 310:
 
</div>
 
</div>
  
<div id="label"></div>
+
<div id="BlackHole64"></div>
 
+
 
=== Problem 13: circular singularity ===
 
=== Problem 13: circular singularity ===
 
Show that the set of points $\rho=0$ is a circle. How it it situated relative to the inner horizon?
 
Show that the set of points $\rho=0$ is a circle. How it it situated relative to the inner horizon?
Line 328: Line 326:
 
Stationary limit is a surface that delimits areas in which particles can be stationary and those in which they cannot. An infinite redshift surface is a surface such that a phonon emitted on it escapes to infinity with frequency tending to zero (and thus its redshift tends to infinity). The event horizon of the Schwarzschild solution is both a stationary limit and an infinite redshift surface (see [[Schwarzschild_black_hole#Blackness_of_black_holes| the problems on blackness of Schwarzshild black hole]]). In the general case the two do not necessarily have to coincide.
 
Stationary limit is a surface that delimits areas in which particles can be stationary and those in which they cannot. An infinite redshift surface is a surface such that a phonon emitted on it escapes to infinity with frequency tending to zero (and thus its redshift tends to infinity). The event horizon of the Schwarzschild solution is both a stationary limit and an infinite redshift surface (see [[Schwarzschild_black_hole#Blackness_of_black_holes| the problems on blackness of Schwarzshild black hole]]). In the general case the two do not necessarily have to coincide.
  
<div id="label"></div>
+
<div id="BlackHole65"></div>
 
=== Problem 14: geometry of the stationary limit surfaces in Kerr ===
 
=== Problem 14: geometry of the stationary limit surfaces in Kerr ===
 
Find the equations of surfaces $g_{tt}=0$ for the Kerr metric. How are they situated relative to the horizons? Are they spheres?
 
Find the equations of surfaces $g_{tt}=0$ for the Kerr metric. How are they situated relative to the horizons? Are they spheres?
Line 368: Line 366:
 
</div>
 
</div>
  
<div id="label"></div>
+
<div id="BlackHole66"></div>
 
+
 
=== Problem 15: natural angular velocities ===
 
=== Problem 15: natural angular velocities ===
 
Calculate the coordinate angular velocity of a massless particle moving along $\varphi$ in the general axially symmetric metric  (\ref{AxiSimmMetric}). There should be two solutions, corresponding to light traveling in two opposite directions. Show that both solutions have the same sign on the surface $g_{tt}=0$. What does it mean? Show that on the horizon $g^{rr}=0$ the two solutions merge into one. Which one?
 
Calculate the coordinate angular velocity of a massless particle moving along $\varphi$ in the general axially symmetric metric  (\ref{AxiSimmMetric}). There should be two solutions, corresponding to light traveling in two opposite directions. Show that both solutions have the same sign on the surface $g_{tt}=0$. What does it mean? Show that on the horizon $g^{rr}=0$ the two solutions merge into one. Which one?
Line 403: Line 400:
 
</div>
 
</div>
  
<div id="label"></div>
+
<div id="BlackHole67"></div>
 
=== Problem 16: angular velocities for massive particles and rigidity of horizon's rotation ===
 
=== Problem 16: angular velocities for massive particles and rigidity of horizon's rotation ===
 
What values of angular velocity can be realized for a massive particle? In what region angular velocity cannot be zero? What can it be equal to near the horizon?
 
What values of angular velocity can be realized for a massive particle? In what region angular velocity cannot be zero? What can it be equal to near the horizon?
Line 422: Line 419:
 
</div>
 
</div>
  
<div id="label"></div>
+
<div id="BlackHole68"></div>
 
=== Problem 17: redshift ===
 
=== Problem 17: redshift ===
 
A stationary source radiates light of frequency $\omega_{em}$. What frequency will a stationary detector register? What happens if the source is close to the surface $g_{tt}=0$? What happens if the detector is close to this surface?
 
A stationary source radiates light of frequency $\omega_{em}$. What frequency will a stationary detector register? What happens if the source is close to the surface $g_{tt}=0$? What happens if the detector is close to this surface?
Line 483: Line 480:
  
 
<div id="BlackHole70"></div>
 
<div id="BlackHole70"></div>
 
 
=== Problem 19: negative energy ===
 
=== Problem 19: negative energy ===
 
Under what condition a particle can have $u_{t}<0$? In what area can it be fulfilled? Can such a particle escape to infinity?
 
Under what condition a particle can have $u_{t}<0$? In what area can it be fulfilled? Can such a particle escape to infinity?
Line 665: Line 661:
  
 
<div id="BlackHole75"></div>
 
<div id="BlackHole75"></div>
 
 
=== Problem 24: general case ===
 
=== Problem 24: general case ===
 
Derive the integrals of motion for particles with arbitrary $4$-velocity $u^{\mu}$. What is the allowed interval of angular velocities $\Omega=d\varphi/dt$? Show that for any particle $(E-\tilde{\Omega} L )>0$ for any $\tilde{\Omega}\in(\Omega_{-},\Omega_{+})$.
 
Derive the integrals of motion for particles with arbitrary $4$-velocity $u^{\mu}$. What is the allowed interval of angular velocities $\Omega=d\varphi/dt$? Show that for any particle $(E-\tilde{\Omega} L )>0$ for any $\tilde{\Omega}\in(\Omega_{-},\Omega_{+})$.

Revision as of 16:14, 21 July 2012

Kerr solution$^{*}$ is the solution of Einstein's equations in vacuum that describes a rotating black hole (or the metric outside of a rotating axially symmetric body) . In the Boyer-Lindquist coordinates$^{**}$ it takes the form \begin{align}\label{Kerr} &&ds^2=\bigg(1-\frac{2\mu r}{\rho^2}\bigg)dt^2 +\frac{4\mu a \,r\;\sin^{2}\theta}{\rho^2} \;dt\,d\varphi -\frac{\rho^2}{\Delta}\;dr^2-\rho^2\, d\theta^2 +\qquad\nonumber\\ &&-\bigg( r^2+a^2+\frac{2\mu r\,a^2 \,\sin^{2}\theta}{\rho^2} \bigg) \sin^2 \theta\;d\varphi^2;\\ \label{Kerr-RhoDelta} &&\text{where}\quad \rho^2=r^2+a^2 \cos^2 \theta,\qquad \Delta=r^2-2\mu r+a^2. \end{align} Here $\mu$ is the black hole's mass, $J$ its angular momentum, $a=J/\mu$; $t$ and $\varphi$ are time and usual azimuth angle, while $r$ and $\theta$ are some coordinates that become the other two coordinates of the spherical coordinate system at $r\to\infty$.

$^{*}$ R.P. Kerr, Gravitational field of a spinning mass as an example of algebraically special metrics. Phys. Rev. Lett. 11 (5), 237 (1963).

$^{**}$ R.H. Boyer, R.W. Lindquist. Maximal Analytic Extension of the Kerr Metric. J. Math. Phys 8, 265–281 (1967).

General axially symmetric metric

A number of properties of the Kerr solution can be understood qualitatively without use of its specific form. In this problem we consider the axially symmetric metric of quite general kind \begin{equation}\label{AxiSimmMetric} ds^2=A dt^2-B(d\varphi-\omega dt)^{2}- C\,dr^2-D\,d\theta^{2},\end{equation} where functions $A,B,C,D,\omega$ depend only on $r$ and $\theta$.

Problem 1: preliminary algebra

Find the components of metric tensor $g_{\mu\nu}$ and its inverse $g^{\mu\nu}$.

Problem 2: integrals of motion

Write down the integrals of motion corresponding to Killing vectors $\boldsymbol{\xi}_{t}=\partial_t$ and $\boldsymbol{\xi}_{\varphi}=\partial_\varphi$.

Problem 3: Zero Angular Momentum Observer/particle

Find the coordinate angular velocity $\Omega=\tfrac{d\varphi}{dt}$ of a particle with zero angular momentum $u_{\mu}(\partial_{\varphi})^{\mu}=0$.

Problem 4: some more simple algebra

Calculate $A,B,C,D,\omega$ for the Kerr metric.

Limiting cases

Problem 5: Schwarzshild limit

Show that in the limit $a\to 0$ the Kerr metric turns into Schwarzschild with $r_{g}=2\mu$.

Problem 6: Minkowski limit

Show that in the limit $\mu\to 0$ the Kerr metric describes Minkowski space with the spatial part in coordinates that are related to Cartesian as \begin{align*} &x=\sqrt{r^2+a^2}\;\sin\theta\cos\varphi, \nonumber\\ &y=\sqrt{r^2+a^2}\;\sin\theta\sin\varphi,\\ &z=r\;\cos\theta\nonumber,\\ &\text{where}\quad r\in[0,\infty),\quad \theta\in[0,\pi],\quad \varphi\in[0,2\pi).\nonumber \end{align*} Find equations of surfaces $r=const$ and $\theta=const$ in coordinates $(x,y,z)$. What is the surface $r=0$?

Problem 7: weak field rotation effect

Write the Kerr metric in the limit $a/r \to 0$ up to linear terms.

Horizons and singularity

Event horizon is a closed null surface. A null surface is a surface with null normal vector $n^\mu$: \[n^{\mu}n_{\mu}=0.\] This same notation means that $n^\mu$ belongs to the considered surface (which is not to be wondered at, as a null vector is always orthogonal to self). It can be shown further, that a null surface can be divided into a set of null geodesics. Thus the light cone touches it in each point: the future light cone turns out to be on one side of the surface and the past cone on the other side. This means that world lines of particles, directed in the future, can only cross the null surface in one direction, and the latter works as a one-way valve, -- "event horizon"

Problem 8: on null surfaces

Show that if a surface is defined by equation $f(r)=0$, and on it $g^{rr}=0$, it is a null surface.

Problem 9: null surfaces in Kerr metric

Find the surfaces $g^{rr}=0$ for the Kerr metric. Are they spheres?

Problem 10: horizon area

Calculate surface areas of the outer and inner horizons.

Problem 11: black holes and naked singularities

What values of $a$ lead to existence of horizons?

On calculating curvature invariants, one can see they are regular on the horizons and diverge only at $\rho^2 \to 0$. Thus only the latter surface is a genuine singularity.

Problem 12: surface $r=0$.

Derive the internal metric of the surface $r=0$ in Kerr solution.

Problem 13: circular singularity

Show that the set of points $\rho=0$ is a circle. How it it situated relative to the inner horizon?

Stationary limit

Stationary limit is a surface that delimits areas in which particles can be stationary and those in which they cannot. An infinite redshift surface is a surface such that a phonon emitted on it escapes to infinity with frequency tending to zero (and thus its redshift tends to infinity). The event horizon of the Schwarzschild solution is both a stationary limit and an infinite redshift surface (see the problems on blackness of Schwarzshild black hole). In the general case the two do not necessarily have to coincide.

Problem 14: geometry of the stationary limit surfaces in Kerr

Find the equations of surfaces $g_{tt}=0$ for the Kerr metric. How are they situated relative to the horizons? Are they spheres?

Problem 15: natural angular velocities

Calculate the coordinate angular velocity of a massless particle moving along $\varphi$ in the general axially symmetric metric (\ref{AxiSimmMetric}). There should be two solutions, corresponding to light traveling in two opposite directions. Show that both solutions have the same sign on the surface $g_{tt}=0$. What does it mean? Show that on the horizon $g^{rr}=0$ the two solutions merge into one. Which one?

Problem 16: angular velocities for massive particles and rigidity of horizon's rotation

What values of angular velocity can be realized for a massive particle? In what region angular velocity cannot be zero? What can it be equal to near the horizon?

Problem 17: redshift

A stationary source radiates light of frequency $\omega_{em}$. What frequency will a stationary detector register? What happens if the source is close to the surface $g_{tt}=0$? What happens if the detector is close to this surface?

Ergosphere and the Penrose process

Ergosphere is the area between the outer stationary limit and the outer horizon. As it lies before the horizon, a particle can enter it and escape back to infinity, but $g_{tt}<0$ there. This leads to the possibility of a particle's energy in ergosphere to be also negative, which leads in turn to interesting effects.

All we need to know of the Kerr solution in this problem is that it \emph{has an ergosphere}, i.e. the outer horizon lies beyond the outer static limit, and that on the external side of the horizon all the parameters $A,B,C,D,\omega$ are positive (you can check!). Otherwise, it is enough to consider the axially symmetric metric of general form.

Problem 18: bounds on particle's energy

Let a massive particle move along the azimuth angle $\varphi$, with fixed $r$ and $\theta$. Express the first integral of motion $u_t$ through the second one $u_{\varphi}$ (tip: use the normalizing condition $u^\mu u_{\mu}=1$).

${}^{*}$ Note: relations ((7)) and ((8)) do not hold, as they were derived in assumption that $g_{00}>0$.

Problem 19: negative energy

Under what condition a particle can have $u_{t}<0$? In what area can it be fulfilled? Can such a particle escape to infinity?

Problem 20: unambiguity of negativeness

What is the meaning of negative energy? Why in this case (and in GR in general) energy is not defined up to an additive constant?

Problem 21: profit!

Let a particle $A$ fall into the ergosphere, decay into two particles $B$ and $C$ there, and particle $C$ escape to infinity. Suppose $C$'s energy turns out to be greater than $A$'s. Find the bounds on energy and angular momentum carried by the particle $B$.

Integrals of motion

Problem 22: massless particles on circular orbits

Find the integrals of motion for a massless particle moving along the azimuth angle $\varphi$ (i.e. $dr=d\theta=0$). What signs of energy $E$ and angular momentum $L$ are possible for particles in the exterior region and in ergosphere?

Problem 23: massive particles on circular orbits

Calculate the same integrals for massive particles. Derive the condition for negativity of energy in terms of its angular velocity $d\varphi/dt$. In what region can it be fulfilled? Show that it is equivalent to the condition on angular momentum found in problem \ref{BlackHole70}.

Problem 24: general case

Derive the integrals of motion for particles with arbitrary $4$-velocity $u^{\mu}$. What is the allowed interval of angular velocities $\Omega=d\varphi/dt$? Show that for any particle $(E-\tilde{\Omega} L )>0$ for any $\tilde{\Omega}\in(\Omega_{-},\Omega_{+})$.

The laws of mechanics of black holes

Particles' motion in the equatorial plane