Astronomy:Carter constant

Short description: Constant of motion in the Kerr-Newman spacetime

Template:General relativity The Carter constant is a conserved quantity for motion around black holes in the general relativistic formulation of gravity. Its SI base units are kg²⋅m⁴⋅s⁻². Carter's constant was derived for a spinning, charged black hole by Australian theoretical physicist Brandon Carter in 1968. Carter's constant along with the energy $p_t$, axial angular momentum $p_{\varphi }$, and particle rest mass $\sqrt{|p_{\mu }{p}^{\mu }|}$ provide the four conserved quantities necessary to uniquely determine all orbits in the Kerr–Newman spacetime (even those of charged particles).

Formulation

Carter noticed that the Hamiltonian for motion in Kerr spacetime was separable in Boyer–Lindquist coordinates, allowing the constants of such motion to be easily identified using Hamilton–Jacobi theory. The Carter constant can be written as follows:

$C=p_{\theta }^2+{\cos }^2\theta (a^2(m^2-E^2)+{\left(\frac{L_z}{\sin \theta }\right)}^2)$,

where $p_{\theta }$ is the latitudinal component of the particle's angular momentum, $E=p_t$ is the conserved energy of the particle, $L_z=p_{\varphi }$ is the particle's conserved axial angular momentum, $m=\sqrt{|p_{\mu }{p}^{\mu }|}$ is the rest mass of the particle, and $a$ is the spin parameter of the black hole which satisfies $0\le a\le M$. Note that here $p_{\mu }$ denotes the covariant components of the four-momentum in Boyer-Lindquist coordinates which may be calculated from the particle's position $X^{\mu }=(t,r,\theta ,\varphi )$ parameterized by the particle's proper time $\tau$ using its four-velocity $U^{\mu }=d{X}^{\mu }/d\tau$ as $p_{\mu }=g_{\mu \nu }{p}^{\nu }$ where $p^{\mu }=m{U}^{\mu }$ is the four-momentum and $g_{\mu \nu }$ is the Kerr metric. Thus, the conserved energy constant and angular momentum constant are not to be confused with the energy $U_{\mathrm{o}\mathrm{b}\mathrm{s}}^{\mu }{p}_{\mu }$ measured by an observer and the angular momentum $\mathbf{𝐋}=\mathit{x}\wedge \mathit{p}=r{p}_{\theta }\mathit{d}\mathit{r}\wedge \mathit{d}\mathit{\theta }+r{p}_{\varphi }\mathit{d}\mathit{r}\wedge \mathit{d}\mathit{\varphi }=mr{g}_{\theta \theta }\dot{\theta }\mathit{d}\mathit{r}\wedge \mathit{d}\mathit{\theta }+mr(g_{t\varphi }\dot{t}+g_{\varphi \varphi }\dot{\varphi })\mathit{d}\mathit{r}\wedge \mathit{d}\mathit{\varphi }$. The angular momentum component along $z$ is $L_{xy}$ which coincides with $p_{\varphi }$.

Because functions of conserved quantities are also conserved, any function of $C$ and the three other constants of the motion can be used as a fourth constant in place of $C$. This results in some confusion as to the form of Carter's constant. For example, it is sometimes more convenient to use:

$K=C+(L_z-aE{)}^2$

in place of $C$. The quantity $K$ is useful because it is always non-negative. In general any fourth conserved quantity for motion in the Kerr family of spacetimes may be referred to as "Carter's constant". In the $a=0$ limit, $C=L^2-L_z^2$ and $K=L^2$, where $L$ is the norm of the angular momentum vector, see Schwarzschild limit below. Note that while $C=L_x^2+L_y^2\ge 0$ and $K=L^2\ge 0$ in the Schwarzschild case, $C$ may be either positive or negative in the general case with $a>0$. For example, purely radially infalling or outgoing timelike geodesics have $L_z=p_{\theta }=0$ and a strictly negative $C$.

As generated by a Killing tensor

Noether's theorem states that each conserved quantity of a system generates a continuous symmetry of that system. Carter's constant is related to a higher order symmetry of the Kerr metric generated by a second order Killing tensor field $K$ (different $K$ than used above). In component form:

$C=K^{\mu \nu }{u}_{\mu }{u}_{\nu }$,

where $u$ is the four-velocity of the particle in motion. The components of the Killing tensor in Boyer–Lindquist coordinates are:

$K^{\mu \nu }=2\mathrm{\Sigma }{l}^{(\mu }{n}^{\nu )}+r^2{g}^{\mu \nu }$,

where $g^{\mu \nu }$ are the components of the metric tensor and $l^{\mu }$ and $n^{\nu }$ are the components of the principal null vectors:

$l^{\mu }=(\frac{r^2+a^2}{\mathrm{\Delta }},1,0,\frac{a}{\mathrm{\Delta }})$

$n^{\nu }=(\frac{r^2+a^2}{2\mathrm{\Sigma }},-\frac{\mathrm{\Delta }}{2\mathrm{\Sigma }},0,\frac{a}{2\mathrm{\Sigma }})$

with

$\mathrm{\Sigma }=r^2+a^2{\cos }^2\theta ,\mathrm{\Delta }=r^2-r_{s}r+a^2$.

The parentheses in $l^{(\mu }{n}^{\nu )}$ are notation for symmetrization:

$l^{(\mu }{n}^{\nu )}=\frac{1}{2}(l^{\mu }{n}^{\nu }+l^{\nu }{n}^{\mu })$

Asymptotics

Carter constant per unit mass squared may be expressed with the four-velocity as

$\frac{C}{m^2}=g_{\theta \theta }{\dot{\theta }}^2+{\cos }^2\theta (a^2(1-(g_{tt}\dot{t}+g_{t\varphi }\dot{\varphi }{)}^2)+{\left(\frac{g_{\varphi t}\dot{t}+g_{\varphi \varphi }\dot{\varphi }}{\sin \theta }\right)}^2)$

Asymptotically for large $r\gg M$, this tends to

$\frac{C}{m^2}=(r^2+a^2{\cos }^2\theta {)}^2{\dot{\theta }}^2+a^2{\cos }^2\theta [1-{[(1-\frac{2M}{r})\dot{t}+\frac{2Ma{\sin }^2\theta }{r}\dot{\varphi }]}^2]+{[(r^2+a^2)\dot{\varphi }-\frac{2Ma}{r}\dot{t}]}^2{\sin }^2\theta {\cos }^2\theta$

$C=m^2{\gamma }^2{r}^2(v_{\theta }^2+v_{\varphi }^2{\cos }^2\theta )-4m^{2}Ma{\gamma }^2{\cos }^2\theta \sin \theta v_{\varphi }+m^2{\gamma }^2{a}^2{\cos }^2\theta (v_{\theta }^2+v_{\varphi }^2-v_r^2)$

$=L^2-L_z^2-4\gamma \frac{mM}{r}a{\cos }^2\theta L_z+m^2{\gamma }^2{a}^2{\cos }^2\theta (v_{\theta }^2+v_{\varphi }^2-v_r^2)$

where $U^{\mu }=d{x}^{\mu }/d\tau$, $v^i=d{x}^i/dt$, $v_r=dr/dt$, $v_{\theta }=rd\theta /dt$, $v_{\varphi }=r\sin \theta d\varphi /dt$, $\gamma =dt/d\tau =(1-v^2{)}^{-1/2}$, $v=(v_i{v}^i{)}^{1/2}$, $\mathbf{𝐋}=\gamma m\mathbf{𝐱}\times \mathbf{𝐯}$, $L=\gamma mr\sqrt{v_{\theta }^2+v_{\varphi }^2}$, $L_z=\gamma mr\sin \theta v_{\varphi }$ valid asymptotically for $r\gg 2M$. Given that $C$ and $L_z$ are conserved this shows that $L^2$ is conserved only up to $a/r$ corrections. This is similar to the behavior of the angular momentum for a particle moving in the gravitational potential of an extended body of size $a$.

Schwarzschild limit

The spherical symmetry of the Schwarzschild metric for non-spinning black holes allows one to reduce the problem of finding the trajectories of particles to three dimensions. In this case one only needs $E$, $L_z$, and $m$ to determine the motion; however, the symmetry leading to Carter's constant still exists. Carter's constant for Schwarzschild space is:

$C=p_{\theta }^2+L_z^2{\cot }^2\theta$.

To see how this is related to the angular momentum two-form $L_{ij}=x_i\wedge p_j$ in spherical coordinates where $\mathit{x}=r\mathit{d}\mathit{r}$ and $\mathit{p}=p_r\mathit{d}\mathit{r}+p_{\theta }\mathit{d}\mathit{\theta }+p_{\varphi }\mathit{d}\mathit{\varphi }$, where $(p_r,p_{\theta },p_{\varphi })=(g_{rr}{p}^r,g_{\theta \theta }{p}^{\theta },g_{\varphi \varphi }{p}^{\varphi })=m((1-2M/r{)}^{-1}\dot{r},r^2\dot{\theta },r^2{\sin }^2\theta \dot{\varphi })$, and where $\dot{\varphi }=d\varphi /d\tau$ and similarly for $\dot{\theta }$, we have

$\mathbf{𝐋}=\mathit{x}\wedge \mathit{p}=r{p}_{\theta }\mathit{d}\mathit{r}\wedge \mathit{d}\mathit{\theta }+r{p}_{\varphi }\mathit{d}\mathit{r}\wedge \mathit{d}\mathit{\varphi }=m{r}^3\dot{\theta }\mathit{d}\mathit{r}\wedge \mathit{d}\mathit{\theta }+m{r}^3{\sin }^2\theta \dot{\varphi }\mathit{d}\mathit{r}\wedge \mathit{d}\mathit{\varphi }$.

Since $\hat{\mathit{\theta }}=r\mathit{d}\mathit{\theta }$ and $\hat{\mathit{\varphi }}=r\sin \theta \mathit{d}\mathit{\varphi }$ represent an orthonormal basis, the Hodge dual of $\mathbf{𝐋}$ is the one form

${\mathit{L}}^{\mathit{*}}=m{r}^2\dot{\theta }\hat{\mathit{\varphi }}+m{r}^2\sin \theta \dot{\varphi }\hat{\mathit{\theta }}$

consistent with $\overrightarrow{\mathit{r}}\times m\overrightarrow{\mathit{v}}$ although here $\dot{\theta }$ and $\dot{\varphi }$ are with respect to proper time. Its norm is

$L^2=g^{\theta \theta }{r}^2{p}_{\theta }^2+g^{\varphi \varphi }{r}^2{p}_{\varphi }^2=g_{\theta \theta }{r}^2(p^{\theta }{)}^2+g_{\varphi \varphi }{r}^2(p^{\varphi }{)}^2=m^2{r}^4{\dot{\theta }}^2+m^2{r}^4{\sin }^2\theta {\dot{\varphi }}^2$.

Further since $p_{\theta }=g_{\theta \theta }{p}^{\theta }=m{r}^2\dot{\theta }$ and $L_z=p_{\varphi }=g_{\varphi \varphi }{p}^{\varphi }=m{r}^2{\sin }^2\theta \dot{\varphi }$, upon substitution we get

$C=m^2{r}^4{\dot{\theta }}^2+m^2{r}^4{\sin }^2\theta {\cos }^2\theta {\dot{\varphi }}^2=m^2{r}^4{\dot{\theta }}^2+m^2{r}^4{\sin }^2\theta {\dot{\varphi }}^2-m^2{r}^4{\sin }^4\theta {\dot{\varphi }}^2=L^2-L_z^2$.

In the Schwarzschild case, all components of the angular momentum vector are conserved, so both $L^2$ and $L_z^2$ are conserved, hence $C$ is clearly conserved. For Kerr, $L_z=p_{\varphi }$ is conserved but $p_{\theta }$ and $L^2$ are not, nevertheless $C$ is conserved.

The other form of Carter's constant is the always non-negative conserved quantity

$K=C+(L_z-aE{)}^2=(L^2-L_z^2)+(L_z-aE{)}^2=L^2$

since here $a=0$. This is also clearly conserved. In the Schwarzschild case both $C\ge 0$ and $K\ge 0$, where $K=0$ are radial orbits and $C=0$ with $K>0$ corresponds to orbits confined to the equatorial plane of the coordinate system, i.e. $\theta =\pi /2$ for all times.

See also

• Kerr metric
• Kerr–Newman metric
• Boyer–Lindquist coordinates
• Hamilton–Jacobi equation
• Euler's three-body problem