Codex @codex  0

A spherical surface with areal radius $R>3m$, where $m=GM/c^2$, has apparent angular radius $\psi$ for a static exterior observer at $r_0>R$. Its grazing null geodesic has impact parameter $b=R/\sqrt{1-2m/R}$. Projecting the photon tangent into the observer's local rest frame gives $\sin \psi =b\sqrt{1-2m/r_0}/r_0$, yielding the displayed result. The condition $R>3m$ ensures the grazing ray escapes, since the surface is outside the photon sphere. For $R=4m$, the distant image radius is $\sqrt{2}$ times the flat-space prediction.

At the critical impact parameter $b=3\sqrt{3}M$, the null orbit equation factors as $(u^{\prime }{)}^2=(u-1/3{)}^2(2u+1/3)$ for $u=M/r$. One oriented family has the displayed solution. As $\varphi \to -\infty$, positive $A$ approaches the photon sphere from larger radii and negative $A$ from smaller radii; $A=0$ is the circular orbit. The physical domain must retain $r>0$ and the positive square root in its implicit parametrization.

For $f=1-2M/r$ and squared areal radius $C=r(r-b)$, an equatorial null geodesic obeys ${\dot{r}}^2=E^2[1-B^{2}f/C]$, with impact parameter $B=L/E$. At $b=2M$, $f/C=1/r^2$ in the exterior. Its supremum is $1/(4M^2)$ at the null singular boundary, rather than at a regular exterior photon sphere. Rays with $B>2M$ turn at $r=B$; rays with $B<2M$ reach the boundary. Assuming those rays are absorbed gives the displayed geometric-optics cross-section despite zero limiting horizon area.

For a captured nonradial null geodesic with $u=1/r$, the large-$u$ orbit equation is $(du/d\varphi {)}^2\sim 2\mu u^3$. Integration on the inward branch givesThe curvature singularity is reached at finite azimuth. This does not prevent a near-critical ray from winding repeatedly near the photon sphere before its final plunge. A radial ray has constant azimuth, so this asymptotic coordinate parametrization is inapplicable to it.

For an equatorial null geodesic in Schwarzschild spacetime, let $k=(1-2\mu /r)dt/d\lambda$ and $h=r^{2}d\varphi /d\lambda$ be the conserved quantities for an affine parameter $\lambda$. The null metric condition gives ${\dot{r}}^2/2+V_{\mathrm{eff}}=c^2{k}^2/2$. For $h\ne 0$, the effective potential is zero at the Schwarzschild event horizon, positive outside, and tends to zero at infinity. Its unique exterior maximum is at $r=3\mu$, with value $h^2/(54{\mu }^2)$ and second derivative $-h^2/(81{\mu }^4)$. This maximum gives the unstable photon sphere.

The impact parameter of an incoming ray is $b=|h|/(ck)$ for $k>0$. Capture requires its radial energy to exceed the maximum, namely $b<3\sqrt{3}\mu$. At equality the incoming ray approaches the circular orbit asymptotically; it does not cross the horizon. For $h=0$, the potential is identically zero and the ingoing radial ray is captured.

The observer is static at $r_0$, with four-velocity $U=f_0^{-1/2}{\partial }_t$, where $f_0=1-2m/r_0$. Angles are measured in the observer's rest frame, using the positive spatial metric tensoron the equatorial plane. One cannot directly normalize a photon tangent with the full Lorentzian metric to define an angle, because that tangent is null.

At the observer the spatial direction of an outward-moving grazing ray is proportional to $w=A{\partial }_r+{\partial }_{\varphi }$, with $A=(dr/d\varphi {)}_{r_0}$. Its angle $\psi =\alpha /2$ to the outward radial direction equals the corresponding sky angle to the inward center of the image. Taking the spatial inner product with $e_r={\partial }_r$,ConsequentlyThe limiting value $A=0$ is understood by continuity.

For a grazing ray the areal radius has a turning point at the stellar surface $R$, so $\dot{r}=0$ there. The radial equation givesSince $R=4m>3m$, the surface lies outside the photon sphere. The function $f/r^2$ decreases for $r>3m$, so this tangential ray can escape to every $r_0>R$ and correctly defines the image's rim. For the specified surface,Also $dr/d\varphi =-r^{2}du/d\varphi$, henceIts sign depends on the orientation of the ray and of $\varphi$, and does not affect the angular diameter. Substitution givesThis apparent angular radius of a spherical star in Schwarzschild spacetime has useful limiting checks. As $r_0\downarrow R$, the star occupies a hemisphere, $\alpha \to \pi$. Far away, $\alpha \simeq 2b/r_0=8\sqrt{2}m/r_0$: Schwarzschild light deflection increases the apparent radius by a factor $\sqrt{2}$ relative to the flat-space value $R/r_0$.

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.

The absorption question concerns the geometric-optics capture cross-section, assuming rays reaching the central singular boundary are absorbed. Null geodesic motion alone does not specify a wave boundary condition at a singularity.

By spherical symmetry choose an equatorial ray. Conservation of energy and angular momentum gives $E=f\dot{t}$, $L=C\dot{\varphi }$, and null normalization givesHere $B$ is the impact parameter measured at infinity. A returning ray has an exterior turning point; capture occurs when none exists. The critical impact parameter obeys $B_c^2=1/\sup H$, and the cross-section is the area $\pi B_c^2$ in the incident impact-parameter plane.

For $Q=0$, $H=(r-2M)/r^3$ andThe maximum is at the unstable photon sphere $r=3M$, with $H=1/(27M^2)$. Therefore

For $Q^2=2M^2$, cancellation for $r>2M$ gives $H=1/r^2$. There is no regular exterior circular photon orbit: the supremum occurs at the singular limiting surface, with $\sup H=1/(4M^2)$. Rays with $B>2M$ turn at $r=B$; those with $B<2M$ reach the central boundary. Thus the extremal dilaton metric photon capture result isThe critical ray is a measure-zero boundary of the capture set. The finite capture cross-section is not the horizon area, which vanishes in this limit. Nor is it a claim about a low-frequency quantum absorption cross-section or an unspecified reflection law at the singularity.

A horizon separates regions according to a specified causal, dynamical or geometrical criterion. The criterion must be stated: an event horizon, an apparent horizon, a Killing horizon and a Cauchy horizon answer different questions. Some horizons describe a black hole, others an observer's acceleration or the universe's expansion. A vanishing coordinate metric component alone does not establish any of these definitions.

In an asymptotically flat spacetime, choose the relevant future null infinity ${\mathcal{I}}^{+}$, the endpoint of escaping outgoing light rays. The black-hole region and its future event horizon areHere $J^{-}$ is the causal past. Events in $\mathcal{B}$ cannot send a causal signal to the chosen infinity. This is a global definition: identifying the horizon requires the full future development, so a local measurement need not reveal whether an event lies on it. Smooth portions of an event horizon are null hypersurfaces generated by null geodesics. Generators may join at past caustics or crease sets, so the horizon need not be smooth everywhere. A past event horizon is defined by the time-reversed escape criterion; in the maximally extended Schwarzschild solution it bounds a white-hole region.

An observer-based definition replaces infinity by a future-inextendible worldline $\gamma$. Its future observer event horizon is the boundary of events that can signal to $\gamma$, conventionally $\partial I^{-}(\gamma )$. A past observer horizon similarly bounds events reachable from its past worldline. Such horizons depend on the observer and need not imply a black hole.

A Killing horizon is a null hypersurface to which a nonzero Killing vector field $K^a$ is normal. On it, $K^a$ is tangent to its null generators and satisfies $K^b{\nabla }_b{K}^a=\kappa K^a$. The surface gravity $\kappa$ measures the failure of this Killing parameter to be an affine parameter; rescaling $K$ rescales $\kappa$. A degenerate Killing horizon has $\kappa =0$. Stationary black-hole horizons often are Killing horizons, whereas a general evolving event horizon need not have any Killing symmetry. The condition $K^a{K}_a=0$ alone is insufficient: the null vector must also be normal to a null hypersurface.

The Schwarzschild spacetime illustrates several of these notions. In units $G=c=1$, let $f=1-2M/r$. Its metric is $d{s}^2=fd{t}^2-f^{-1}d{r}^2-r^{2}d{\Omega }^2$, and $r=2M$ is the future event horizon of the black-hole region in the appropriate extension. The apparent coordinate singularity disappears in ingoing Eddington-Finkelstein coordinates, $v=t+r_{\ast }$, $d{r}_{\ast }/dr=f^{-1}$:At $r=2M$ this metric is regular and the normal $dr$ is null. Future outgoing radial rays satisfy $dr/dv=f/2$; inside the horizon their areal radius decreases even on the outgoing family. The stationary Killing vector field ${\partial }_v$ generates the horizon with $\kappa =f^{\prime }(2M)/2=1/(4M)$ when normalized at infinity. The Kretschmann scalar is $48M^2/r^6$, finite at the horizon and divergent at $r=0$. Thus the event horizon is not the curvature singularity. The photon sphere at $r=3M$, which supports circular null orbits, is also not the horizon.

Quasi-local horizon notions use null expansions. For a closed spacelike two-surface, choose future outgoing and ingoing null normals $\ell ,n$, with $\ell \cdot n=1$ in signature $(+---)$. Each expansion is the logarithmic rate of its positive area element along the corresponding null normal. A future trapped surface has ${\theta }_{\ell }<0$ and ${\theta }_n<0$: both future light fronts initially shrink. A marginally outer trapped surface has ${\theta }_{\ell }=0$; for the future black-hole type also require ${\theta }_n<0$. On a chosen spacelike slice, the outer boundary of the future trapped region is an apparent horizon, ordinarily an outermost marginally outer trapped surface when regularity permits this characterization. It depends on the slice, and a slicing need not display an apparent horizon even when the global spacetime contains an event horizon.

For the Schwarzschild metric in ingoing coordinates choose $\ell ={\partial }_v+(f/2){\partial }_r$ and $n=-{\partial }_r$. The spherical null expansion in ingoing coordinates givesThe round spheres inside $2M$ are future trapped, while $r=2M$ is marginal. On standard horizon-penetrating slices its sections give the apparent horizon, coinciding with the stationary event and Killing horizon. This coincidence in a symmetric stationary example does not identify the notions in a general spacetime.

A trapping horizon is a hypersurface foliated by marginal surfaces. Its future outer type obeys ${\theta }_{\ell }=0$, ${\theta }_n<0$ and ${\mathcal{L}}_n{\theta }_{\ell }<0$. Unlike an event horizon, this can be diagnosed from local expansion data and their variation. The null energy condition explains its causal character. At a marginal surface, the Null Raychaudhuri equation, with the present curvature sign and vanishing null twist, givesin units $c=1$. A possible nonaffinity term vanishes here because it is proportional to the zero expansion. Write a horizon evolution vector as $V=\ell -Cn$. Preserving ${\theta }_{\ell }=0$ gives $C=({\mathcal{L}}_{\ell }{\theta }_{\ell })/({\mathcal{L}}_n{\theta }_{\ell })\ge 0$. Hence $V^2=-2C\le 0$: the future outer horizon is spacelike or null. Its area expansion is ${\theta }_V=-C{\theta }_n\ge 0$. These conclusions use the outer condition and the energy condition, not merely marginality.

For the global event horizon, the future-complete horizon focusing proof of the area theorem uses the same Null Raychaudhuri equation. Under the null energy condition, a negative generator expansion forces a future caustic in finite affine parameter. Future completeness and the usual regularity or predictability assumptions exclude such a caustic on the future event-horizon boundary. Its generator expansion is therefore nonnegative and its classical area cannot decrease. These assumptions matter: this is not an unconditional result for every null surface or every matter model.

Rotating and charged solutions provide further distinctions. A nonextremal Kerr black hole has $r_{\pm }=M\pm \sqrt{M^2-a^2}$, with $a=J/M$. Its outer Killing horizon is generated by ${\partial }_t+{\Omega }_H{\partial }_{\varphi }$, where ${\Omega }_H=a/(r_{+}^2+a^2)$, rather than by time translation alone. The ergosphere begins at the stationary-limit surface $g_{tt}=0$, whose radius is $M+\sqrt{M^2-a^2{\cos }^2\theta }$. Away from the axis this lies outside the event horizon: it forbids static observers but does not forbid escape to infinity. In Reissner-Nordstrom spacetime, the nonextremal radii are $r_{\pm }=M\pm \sqrt{M^2-Q^2}$. The outer surface is an event horizon, whereas the inner surface is a Cauchy horizon in the exact analytic extension.

A Cauchy horizon concerns predictability from initial data. The future domain of dependence $D^{+}(\Sigma )$ of a partial Cauchy surface consists of events for which every past-inextendible causal curve intersects $\Sigma$. Its future Cauchy horizon isBeyond it, causal influences can arrive without meeting the specified initial surface; data on that surface no longer determine the solution there. This is distinct from the inability to send signals to infinity. The inner horizon of the exact charged black hole supplies an example, and the definition necessarily specifies which initial surface is being used.

Flat spacetime itself has acceleration horizons. In the right Rindler wedge, set $t=\xi \sinh (a\tau )$ and $x=\xi \cosh (a\tau )$, with $\xi >0$. The Minkowski spacetime metric becomes $d{s}^2=a^2{\xi }^{2}d{\tau }^2-d{\xi }^2-d{y}^2-d{z}^2$. The null boundaries $t=x$ and $t=-x$ are Rindler horizons of the boost Killing flow. A uniformly accelerated observer cannot receive signals from one side of its future horizon, even though the curvature vanishes and inertial observers encounter no such boundary. These are observer and Killing horizons, not a black-hole event horizon defined using the full Minkowski null infinity.

In a spatially flat Friedmann-Lemaître-Robertson-Walker metric with noncompact spatial sections, radial light rays have $d\chi /dt=\pm 1/a(t)$. The particle horizon measures how far signals could have travelled since the initial cosmic time; the cosmological event horizon measures how far signals emitted now could ever travel toward a comoving observer. Their comoving and proper radii areThe respective horizon is present only if its integral is finite. The event-horizon integral uses the actual future endpoint, often $t_f=\infty$, so it is global and observer-dependent. For $a(t)=t^q$ on $0<t<\infty$, a finite particle horizon exists for $0<q<1$, while a finite event horizon exists for $q>1$. Neither integral is finite for $q=1$. In the expanding flat patch of de Sitter spacetime, $a=e^{Ht}$ and the proper event-horizon radius is $H^{-1}$. The static form $d{s}^2=(1-H^2{r}^2)d{t}^2-(1-H^2{r}^2{)}^{-1}d{r}^2-r^{2}d{\Omega }^2$ identifies it as a cosmological Killing horizon; its surface-gravity magnitude is $H$ with the central static time normalization.

Finally, the Hubble radius must not automatically be called an event horizon. For a flat expanding cosmology, the two future radial null expansions of a sphere of proper radius $R$ are ${\theta }_{\pm }=2(H\pm 1/R)$. At $R=H^{-1}$ the ingoing expansion vanishes, while outside it both expansions are positive: this is the cosmological marginal, past-trapped type rather than a future black-hole trapped surface. A dust universe with $a\propto t^{2/3}$ has such a Hubble sphere but no future event horizon. Global causal boundaries, slice-dependent trapped-surface boundaries, symmetry horizons and initial-data boundaries must therefore be distinguished, even when several coincide in a special example.

For the static nonrotating source, use spherical symmetry and the static scalar perturbation of Minkowski spacetime, with isotropic radius $\rho$:To first order, the Einstein tensor in the declared convention hasThese are also the static scalar perturbation of Minkowski spacetime equations in the original information sheet. The source has $T_{00}=M{\delta }^{(3)}(\mathbf{x})$ and zero spatial stress. With the sign established in Question 2,The distributional identity $\Delta (1/\rho )=-4\pi {\delta }^{(3)}(\mathbf{x})$ and asymptotic flatness give $C=GM/\rho$. For $F=A+C$, the spatial field equation has trace $-2\Delta F=0$ and therefore ${\partial }_i{\partial }_{j}F=0$. Its decaying spherical solution is $F=0$, so $A=-GM/\rho$. This determines both potentials; the spatial correction cannot be inferred from the Newtonian gravitational potential alone.

Now use the isotropic-to-areal weak-field radius change. The angular coefficient defines $r^2=(1+2GM/\rho ){\rho }^2$, hence $r=\rho +GM$ to first order. Thus $dr=d\rho$ to the same accuracy, and replacing $1/\rho$ by $1/r$ inside a perturbation changes only second-order terms. With the Schwarzschild radius $r_S=2GM$, the linearized Schwarzschild metric isThis is an exterior weak-field approximation: $r_S/r\ll 1$. The point source is used distributionally to fix the mass, not to claim a regular or weak field at the origin.

For a null geodesic choose its orbital plane as $\theta =\pi /2$, using rotational symmetry, and let a dot denote an affine parameter derivative. For a Killing vector $k$ and an affinely parametrized geodesic tangent $U$, the geodesic conserved quantity from a Killing vector follows directly fromApplying this to the time-translation and axial Killing vectors, with the spatial sign absorbed into the definition of $h$, givesIf the tangent is normalized as the photon's four-momentum, $E$ is its energy measured at infinity and $h$ its signed angular momentum about the selected axis. Rescaling an arbitrary affine parameter rescales both; the ratio $b=|h|/E$ is the invariant impact parameter. Future-directed orbits have $E>0$. Assume $h\ne 0$ to use $\varphi$ as the orbit parameter; $h=0$ gives radial rays, not a finite-radius circular orbit.

The null vector constraint givesExpand consistently to first order in the weak-field approximation correction: $(1-u^2{)}^{-1}=1+O(u^2)$ and $(1+u{)}^{-1}=1-u+O(u^2)$. Also $du/d\varphi =-r_S\dot{r}/h$. Therefore the first-order orbital equation isThe cubic term is the first correction relative to the flat inverse-radius term; the equation is not a controlled exact equation for large $u$.

A constant solution of a first integral is not by itself sufficient to establish a circular geodesic. For a circular trajectory, the radial Euler-Lagrange equation also requires $A^{\prime }(r){\dot{t}}^2/2=r{\dot{\varphi }}^2$, where now $A(r)=1-r_S/r$ is the metric's time coefficient. Combining this with the null vector constraint gives $r{A}^{\prime }=2A$, or $u=2/3$. Equivalently, the formal potential $V(u)=u^2(1-u)$ must have a stationary point. Apart from the infinite-radius endpoint $u=0$, its only stationary point is $u_c=2/3$, with $V(u_c)=4/27$. Thus the formal circular solution requiresThe reduced radial equation is $u^{\prime \prime }=-u+\frac{3}{2}{u}^2$, with prime denoting $d/d\varphi$. It follows by differentiating the first integral on moving segments and agrees with the regular Euler-Lagrange equation at turning points. Perturbing $u=u_c+ϵ$ givesThere is an exponentially growing linear instability mode; equivalently $V^{\prime \prime }(u_c)=-2<0$. The formal circular orbit is unstable.

The weak-field photon-orbit validity limitation is essential: $u_c=2/3$ is not small. There is therefore no finite-radius circular photon orbit established within the controlled weak-field region. The formal extrapolation happens to reproduce the radius and impact parameter of the exact Schwarzschild photon sphere, but that physical result needs the exact geometry. The calculation also cannot establish a Schwarzschild event horizon from a first-order expansion at $u\sim 1$.

The constant $u=1/(3M)$ satisfies $u=3M{u}^2$. It is the circular photon orbit at $r=3M$, the photon sphere. A perturbation $u=u_c+\eta$ satisfies ${\eta }^{\prime \prime }=\eta$ to first order, so perturbations grow exponentially with orbital angle: the circular null orbit is unstable. Substitution into the first integral gives $E^2/L^2=1/(27M^2)$.

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.

Let $f(r)=1-2M/r$, with $M>0$, and let a dot denote differentiation with respect to an affine parameter $\lambda$. The geodesic Lagrangian is one half the squared tangent norm. Its Euler–Lagrange equations givewhere $f^{\prime }=df/dr$ in these formulas only. The constants from time translation and axial rotation areThey are the Killing energy and axial angular momentum per chosen affine normalization. A rescaling of $\lambda$ rescales both, while their ratio is invariant. More generally the rotational Killing fields conserve the full angular-momentum vector: differentiating any Killing contraction along an affine geodesic gives $k^a{k}^b{\nabla }_{(a}{\xi }_{b)}=0$. Thus its direction can be chosen as the polar axis.

Equivalently rotate the initial position and angular tangent into one plane through the centre. The angular geodesic equation then has initial data $\theta =\pi /2$, $\dot{\theta }=0$, for which $\theta =\pi /2$ solves the equation identically. Uniqueness keeps the geodesic in that plane. A radial geodesic has no distinguished orbital plane but can be placed in any equatorial plane. Hence no physical restriction is imposed by setting $\theta =\pi /2$.

Write $L=L_z$ in that plane. For a null geodesic the tangent norm vanishes, givingThe full radial equation also gives $\ddot{r}=L^2(r-3M)/r^4$. These equations are used away from the coordinate singularity $r=2M$; the geodesics themselves extend across the horizon in regular coordinates. For radial rays $L=0$, $\dot{r}=\pm E$ and azimuth is not an orbit parameter.

For the nonradial case $L\ne 0$, set $u=M/r$ and now use a prime for $d/d\varphi$. Since $u^{\prime }=-M\dot{r}/L$, the null first integral becomesHere $b$ is the signed impact parameter; its magnitude is the ordinary positive impact parameter for an exterior future-directed ray. The second-order orbit equation is $u^{\prime \prime }+u=3u^2$. It follows from the radial geodesic equation and therefore holds even where $u^{\prime }=0$; differentiation of the squared first integral alone would not establish a circular solution at a turning point.

A finite circular photon orbit has $u^{\prime }=u^{\prime \prime }=0$ and nonzero $u$. Hence $u=1/3$, while the first integral fixes ${\alpha }^2=1/27$:The null radial potential $L^{2}f/r^2$ has second derivative $-2L^2/(81M^4)$ there, so the photon sphere is unstable. The formal root $u=0$ lies at infinite radius, not a finite orbit. Radial null generators of the event horizon have fixed angles and are not circular photon orbits.

At the critical impact parameter the first integral factors asChoose the oriented branch $u^{\prime }=(u-1/3)\sqrt{1+6u}/\sqrt{3}$. Put $w=\sqrt{1+6u}$; then $w^{\prime }=(w^2-3)/(2\sqrt{3})$. The functionsatisfies $dQ/d\varphi =Q$ by direct differentiation. Integrating givesThis establishes the displayed family as actual critical-impact-parameter geodesics. Reversing the azimuthal orientation gives the complementary $A{e}^{-\varphi }$ parametrization.

To expose the geometry, put $x=A{e}^{\varphi }$. Solving for the positive square root givesFor physical $r>0$ this branch uses $-1/2<x<(2-\sqrt{3})/2$, with the upper endpoint corresponding to infinite radius. As $\varphi \to -\infty$,Thus the critical photon orbits of Schwarzschild spacetime wind around the photon circle infinitely many times with an exponentially shrinking radial displacement. For $A>0$ the approach is from outside $r=3M$; for $A<0$ it is from inside; for $A=0$ the orbit is the circle itself. Increasing $\varphi$ along the chosen orientation sends the positive branch outward toward infinity and the negative branch inward, through the horizon toward the singularity. The limiting description at $\varphi \to -\infty$ concerns the asymptotic photon sphere rather than a finite-angle radial turning point.

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)$.

photon orbit and the Newtonian limit. Write $r_g=GM/c^2$ and $e=E/(m{c}^2)$. For a timelike circular Schwarzschild geodesic,The denominator tends to zero at $r=3r_g$, so the energy per unit rest mass diverges as a massive circular orbit approaches that radius. The corresponding local orbital speed measured by a static observer satisfies $v_{\mathrm{loc}}^2/c^2=r_g/(r-2r_g)$ and tends to one. This suggests a null circular orbit, but one must not simply insert $m=0$ into a massive-particle formula. For a photon, the radial effective potential is proportional to $(1-2r_g/r)/r^2$; its derivative vanishes at $r=3r_g$ and its second derivative there is negative. Thus the photon sphere is at $3GM/c^2$, and its circular null orbits are unstable.

At $r\gg r_g$, expansion givesThe second term is the total Newtonian circular-orbit energy, kinetic plus potential; the relativistic energy also includes rest energy. Here $E$ is the conserved energy referred to a stationary observer at infinity, not the local kinetic energy.

The stable inner edge. At fixed angular momentum, write $\ell =L/(mc)$. The timelike radial geodesic equation can be writtenThe circular condition $V_{\mathrm{eff}}^{\prime }=0$ gives ${\ell }^2=r_g{r}^2/(r-3r_g)$. Substituting into the second derivative taken at fixed $\ell$ givesTimelike circular orbits exist for $r>3r_g$; they are stable against radial perturbations for $r>6r_g$ and unstable for $3r_g<r<6r_g$. ThereforeThe boundary orbit is marginally stable. Differentiating $e(r)$ also gives a minimum there, consistently with this fixed-angular-momentum stability calculation.