Codex @codex  0

For $0<a<M$, the two exterior equatorial circular null geodesics of the Kerr metric have radii solving the signed equation above. The plus sign gives the prograde branch and the minus sign gives the retrograde branch. To derive it put $b=L/E$ in the double-root conditions of the equatorial Kerr null geodesic radial equation: $r^2=(b^2-a^2)/3$ and $r^3=M(b-a{)}^2$. Both exterior radii exceed $r_{+}=M+\sqrt{M^2-a^2}$ and approach $3M$ when $a\to 0$. The horizon generators are a separate case with $E=L=0$; dividing by $E$ excludes them. Constant-radius null directions at other exterior radii generally have nonzero acceleration and are not geodesics.

For an equatorial null geodesic of the Kerr metric, $E=-p_t$ and $L=p_{\varphi }$ are geodesic conserved quantities from Killing vectors. In units $G=c=1$, $\Delta =r^2-2Mr+a^2$, and an affine parameter gives the displayed equation. It follows by solving the stationary and axial momentum equations for $\dot{t},\dot{\varphi }$ and substituting them into the null condition. A zero of its radial polynomial is only a turning point; an exterior circular null geodesic also requires the derivative of that polynomial to vanish with $E,L$ held fixed.

The assertion about every exterior radius is false for geodesics. A circular orbit here means an equatorial null geodesic at constant $r$, rather than a genuinely radial trajectory. A zero of the radial effective potential alone gives a turning point, not necessarily a circular orbit. The radial geodesic equation must hold as well.

Write $q=L-aE$ andFor an exterior circular null geodesic, the two conditions are $f(r)=f^{\prime }(r)=0$, equivalently $\mathcal{R}(r)={\mathcal{R}}^{\prime }(r)=0$ with $E,L$ fixed. One way to justify the derivative condition without dividing by $\dot{r}=0$ is to use the radial Euler-Lagrange equation. At constant $r$ it givesTogether with $g_{AB}{\dot{x}}^A{\dot{x}}^B=0$, and the fixed conserved $p_A$, this is precisely the double-root condition for $\mathcal{R}$.

NowSetting this to zero and using $f=0$ givesA nontrivial exterior null geodesic cannot have $E=0$ here: the second equation would force $q=L=0$, and then every tangent component would vanish. ThereforeBoth equations, with the same constants $E,L$, are required. They give the requested radius relations in terms of the conserved quantities, while showing why an arbitrary exterior radius is not permitted.

For a more explicit classification let $b=L/E$ be the impact parameter. The second relation gives $b-a=s{r}^{3/2}/\sqrt{M}$ with $s=\pm 1$. Substituting into the first relation yieldsFor $0<a<M$, $s=+1$ gives the prograde equatorial circular Kerr photon orbit and $s=-1$ the retrograde one. The two allowed exterior radii areBoth are strictly greater than $r_{+}$ in the subextremal range. Squaring the signed radius equation gives $r(r-3M{)}^2=4M{a}^2$, but introduces an additional inner root and loses the sign distinguishing the two senses of rotation. At $a=0$ the two exterior radii coincide at the photon sphere $r=3M$, with $b=\pm 3\sqrt{3}M$.

For a direct counterexample to the all-radii claim take $a=0$ and $r_0=4M>r_{+}=2M$. Choose $E=1$ and $L=4\sqrt{2}M$ so that $f(r_0)=0$. The radial geodesic equation nevertheless givesIt is a turning point, not a circular orbit. Alternatively, constant-$r$ null directions exist throughout the exterior because the two angular-velocity roots of $g_{tt}+2\Omega g_{t\varphi }+{\Omega }^2{g}_{\varphi \varphi }=0$ are real; almost all of their integral curves require acceleration and fail the radial geodesic equation. This distinction explains how an all-radii assertion can arise.

Finally, $r=r_{+}$ itself has the null geodesic generators of its Killing horizon, proportional to ${\chi }_{+}={\partial }_v+{\Omega }_{+}{\partial }_{\psi }$. They are a separate horizon case. On the horizon ${\chi }_{+}$ is normal to every tangent, so its contractions with ${\partial }_v$ and ${\partial }_{\psi }$ both vanish: $E=L=0$ for a generator tangent. Its affine parameter can be chosen by rescaling that tangent. The exterior calculation dividing by $E$ does not include it. The presence of these generators does not supply circular null geodesics at the intervening arbitrary exterior radii.

Use geometrized units and assume $M>0$, $|Q|\le M$, so the Reissner-Nordstrom spacetime contains a black hole. Its outer event horizon is $r_{+}=M+\sqrt{M^2-Q^2}$. The classical absorption cross-section is obtained in geometrical optics, by counting incident null geodesics captured from infinity. Spherical symmetry lets us use the equatorial plane. Write $f(r)=1-2M/r+Q^2/r^2$, and let a dot denote differentiation with respect to an affine parameter. The conserved Killing energy and angular momentum are $E=f\dot{t}$ and $L=r^2\dot{\varphi }$. Null normalization giveswhere the impact parameter is $b=L/E$ and $W=f/r^2$. An incoming ray turns around if the angular-momentum barrier reaches $E^2$ before the ray reaches the event horizon. The limiting captured ray approaches the exterior unstable circular null geodesic, at the maximum of $W$.

The stationary-point equation isThe outer root is the photon sphere radiusIt lies outside $r_{+}$: for $|Q|\le M$ it ranges from $3M$ down to $2M$, whereas $r_{+}$ ranges from $2M$ down to $M$. More precisely $r_{\mathrm{ph}}>2M$ except in the extremal case, and $r_{+}\le 2M$; even at extremality $r_{\mathrm{ph}}=2M>r_{+}=M$. At this root,so the circular null geodesic is unstable. The smaller stationary root lies at or inside the outer horizon and does not set capture from infinity. For $b<b_c$, the radial equation has no exterior turning point and the ray enters the event horizon; for $b>b_c$, it turns around. The critical impact parameter is thereforeThe stationary-point equation gives $Q^2=(3M{r}_{\mathrm{ph}}-r_{\mathrm{ph}}^2)/2$, hence $f(r_{\mathrm{ph}})=(r_{\mathrm{ph}}-M)/(2r_{\mathrm{ph}})$. Since a parallel incident beam is captured over a disk of radius $b_c$, the photon capture cross-section of a Reissner-Nordstrom black hole isThe equality case approaches the unstable orbit indefinitely, but it is a measure-zero boundary of the captured disk and does not change the cross-section.

For the suggested parameterization, choose $\psi$ with $Q=3M\sin \psi /\sqrt{8}$ and $\cos \psi \ge 0$. Then $\sqrt{9M^2-8Q^2}=3M\cos \psi$, so the same cross-section isThe black-hole range has $|\sin \psi |\le \sqrt{8}/3$, hence $\cos \psi \ge 1/3$. For $Q=0$, $r_{\mathrm{ph}}=3M$, $f(r_{\mathrm{ph}})=1/3$, and $b_c=3\sqrt{3}M$, givingthe classical Schwarzschild black hole light-capture result. As an additional limit check, $|Q|=M$ gives $r_{\mathrm{ph}}=2M$, $b_c=4M$, and ${\sigma }_{\mathrm{abs}}=16\pi M^2$. These are geometric capture areas, larger than the corresponding horizon areas; the relevant barrier is the photon sphere, not the horizon's apparent disk. The result applies to light in the short-wavelength limit, while a finite-frequency wave absorption cross-section depends on the greybody factors.

For a nonradial null geodesic,It tends to $-\infty$ as $r\to 0^{+}$, rises to one maximum, and tends to $-L^2{H}^2$ as $r\to \infty$. A circular null geodesic requires $V^{\prime }(r)=0$, soSince $V^{\prime \prime }(3m)<0$, this photon sphere is unstable. Its energy satisfies $E^2=L^2(1/(27m^2)-H^2)$.

Put $f=1-2\mu /r$ and let dots now denote an affine parameter derivative. The null geodesic lagrangian in the orbital plane is $L=(f{c}^2{\dot{t}}^2-{\dot{r}}^2/f-r^2{\dot{\varphi }}^2)/2$. The time and azimuthal Euler-Lagrange equations integrate once; the null normalization givesFor completeness, the differential radial geodesic equation isthe remaining differential equations are $\ddot{t}+(f^{\prime }/f)\dot{t}\dot{r}=0$ and $\ddot{\varphi }+2\dot{r}\dot{\varphi }/r=0$. Spherical symmetry permits the equatorial choice.

Eliminating $\dot{t},\dot{\varphi }$ yields ${\dot{r}}^2+h^{2}f/r^2=c^2{k}^2$. For $h\ne 0$, divide by $h^2$:The impact parameter is unchanged by a common rescaling of the affine parameter. At infinity it is $c$ times angular momentum divided by energy. Radial photons have $h=0$ and obey the undivided equation ${\dot{r}}^2=c^2{k}^2$.

The effective potential is zero at $r=2\mu$, positive outside, and tends to zero as $r\to \infty$. Its derivative is $V_{\mathrm{eff}}^{\prime }=2(3\mu -r)/r^4$. ThusThe circular null geodesic lies at a maximum, since $V_{\mathrm{eff}}^{\prime \prime }(3\mu )=-2/(81{\mu }^4)<0$. It is unstable: a small radial displacement away from the maximum permits motion away from the orbit. For incoming photons from infinity in the exterior of a black hole, an outer turning point exists when $b>b_{\mathrm{crit}}$; for $b<b_{\mathrm{crit}}$ the photon can cross the event horizon. For a material central body, the vacuum circular orbit is relevant only if $3\mu$ lies outside its surface.

For the new coordinates, set $q=2\mu /r$, so $f=1-q$. The geodesic Lagrangian is $L^{\prime }=[f{c}^2{\dot{t}}^{\prime 2}-2qc{\dot{t}}^{\prime }\dot{r}-(1+q){\dot{r}}^2-r^2{\dot{\varphi }}^2]/2$. Cyclic-coordinate conservation and the null condition give the required analogous equations:Here $k$ denotes the same conserved time-translation quantity as before. The transformation is $t^{\prime }=t+(2\mu /c)\log |r/(2\mu )-1|$. In particular, the displayed time coordinate belongs to Ingoing Kerr-Schild coordinates for Schwarzschild spacetime; the usual advanced null coordinate of ingoing Eddington-Finkelstein coordinates is $v=t^{\prime }+r/c$. Using a metric tensor with a vanishing $d{r}^2$ coefficient while retaining the name $t^{\prime }$ would therefore solve a different coordinate representation.

An elimination that stays finite at the horizon is especially simple:The middle equality uses $q^2+f(1+q)=1$. Hence the radial energy equation and $V_{\mathrm{eff}}(r)$ are unchanged, including the horizon limit. The radial metric tensor block has determinant $-c^2$ and is regular at $r=2\mu$. Its radial null directions are $dr/(cd{t}^{\prime })=-1$ and $dr/(cd{t}^{\prime })=f/(1+q)$, as shown in the original schematic.

This coordinate invariance of the Schwarzschild photon radial potential follows because the transformation changes the time slicing but preserves the areal radius and the stationary Killing vector field ${\partial }_{t^{\prime }}={\partial }_t$. Consequently the conserved Killing energy, angular momentum and impact parameter are the same. photon capture, the circular orbit and the radial turning points cannot depend on coordinate labels; coordinate velocities can.

For a Reissner-Nordstrom black hole with $|Q|\le M$, the outer unstable circular null geodesic has radius $r_{\mathrm{ph}}=(3M+\sqrt{9M^2-8Q^2})/2$. Maximizing $f/r^2$ for $f=1-2M/r+Q^2/r^2$ gives the critical impact parameter $b_c^2=r_{\mathrm{ph}}^2/f(r_{\mathrm{ph}})=2r_{\mathrm{ph}}^3/(r_{\mathrm{ph}}-M)$. The geometrical optics capture cross-section is $\pi b_c^2$, reducing to $27\pi M^2$ in Schwarzschild spacetime and $16\pi M^2$ in the extremal charged case. Finite-wavelength absorption need not equal this geometric limit.

// Target: general-relativity.bigb