Past exam of the general relativity course of the University of Oxford / 2011 / 3

Let $f(r)=1-2m/r$ and work in the exterior $r>2m$, with $G=c=1$. The affinely parametrized geodesic Lagrangian isIts polar-angle equation isThe initial data $\theta =\pi /2$, $\dot{\theta }=0$ therefore remain in that plane. Rotational symmetry allows the axes to be chosen so that any nonradial initial trajectory has those data: its conserved angular-momentum direction fixes an orbital plane through the centre. Radial trajectories can also be placed in an equatorial plane.

The coordinates $t,\varphi$ are cyclic in $L$, so their canonical momenta are constant:The corresponding Killing vector fields are ${\partial }_t$ and ${\partial }_{\varphi }$. With the displayed signature, $g({\partial }_t,\dot{x})=E$ and $g({\partial }_{\varphi },\dot{x})=-J$, explaining the sign in the second canonical momentum. Thus $E$ is conserved energy per unit rest mass for a massive particle parametrized by proper time, and $J$ is its axial angular momentum per unit rest mass. For a photon, affine rescaling rescales both constants; after the tangent is normalized to the physical four-momentum they represent its energy at infinity and axial angular momentum. Their ratio $b=J/E$ is the signed impact parameter.

In the equatorial plane, the photon satisfies the null geodesic constraintwhich givesFor $J\ne 0$, put $u=m/r$ and $\alpha =Em/J$. Thenand consequentlyThe $J=0$ radial case is not represented by $\varphi$ as an orbit parameter.

There is a circular photon orbit at $r=3m$, but it is unstable. The radial effective potential isA circular orbit requires $V^{\prime }(r)=0$ and $E^2=V(r)$, givingIts second derivative isIt is a maximum, rather than a minimum, so radial perturbations depart from the orbit. Equivalently the second-order orbit equation is $u^{\prime \prime }=3u^2-u$. Linearizing about $u_c=1/3$ gives $\delta u^{\prime \prime }=\delta u$, with modes $e^{\varphi }$ and $e^{-\varphi }$. The existence of a growing mode directly contradicts the printed stability claim. Exact initial data can remain circular, but that does not make the orbit stable.

The supplied implicit expression describes the critical-energy family with ${\alpha }^2=1/27$, as fixed by the circular orbit. DefineRationalizing once gives $F=(\sqrt{3}-s)/(2(\sqrt{3}+s))$ andDifferentiating $F(u)=A{e}^{\varphi }$ gives $F^{\prime }{u}^{\prime }=F$, soThis verifies the first-order equation for every allowed integration constant $A$ on its real branch. For $A=0$ the derivative argument is replaced by direct substitution: $u=1/3$ is constant and solves the critical equation. The displayed family does not solve the equation at an independently arbitrary value of $\alpha$.

For $A>0$, write $q=A{e}^{\varphi }$. On the physical exterior branch,As $\varphi \to -\infty$, $q\to 0^{+}$ andThus for $A=0$ the photon remains exactly on the circular orbit. For $A>0$ it approaches $r=3m$ from outside through indefinitely many revolutions in the negative-$\varphi$ limit. With increasing $\varphi$, this same branch peels away outward and reaches infinity when $q=1-\sqrt{3}/2$. Reversing the direction of motion gives an incoming critical ray asymptotically approaching the photon circle. These are separatrix trajectories, not evidence of stability.

The potential maximum and the outward-growing radial separation display the same instability in two complementary descriptions.