Past exam of the mathematics course of the University of Cambridge / 2017 / iii / Paper 316 / 3

Use conventional mean longitudes $\lambda$ and take the positive integers $p,q$ in lowest terms. Rotational invariance requires the angular coefficients of a resonant argument to sum to zero. Since the inner planet has zero orbital eccentricity, the eccentricity-type term involving its undefined apsidal angle has zero amplitude. The surviving outer-eccentricity argument isIts leading disturbing function term is proportional to $e_c^q\cos {\varphi }_{bc}$. Near the period commensurability, $(p+q)n_c-p{n}_b$ is small, so the resonant argument is slow and repeated perturbations can add coherently. Trapping produces resonant-argument libration, rather than circulation, with $(p+q)n_c-p{n}_b-q{\dot{\varpi }}_c\simeq 0$.

A near-integer period ratio alone does not prove mean-motion resonance: the diagnostic is bounded resonant-argument libration. At $e_c=0$ this eccentric resonant term vanishes and ${\varpi }_c$ is undefined. If $p,q$ have a common factor, reduce the ratio first; the unreduced $q$ is not the actual lowest resonance order.

In the mean-conjunction approximation set ${\lambda }_b={\lambda }_c=\Lambda$. The resonant conjunction geometry is thenThere are $q$ phase directions spaced by $2\pi /q$. The integer $p$ determines their temporal order: at exact resonance the synodic period is $P_{\mathrm{syn}}=(p+q)P_b/q=p{P}_c/q$, and the conjunction longitude advances by $2\pi p/q$ per conjunction. For coprime $p,q$ this visits all $q$ branches; resonant-argument libration broadens each direction by about its libration amplitude of a resonant argument divided by $q$.

Mean conjunction and actual alignment are different for an eccentric orbit. If $\Lambda$ is the true common longitude, write $x=\Lambda -{\varpi }_c=f_c$ and $y=M_c(f_c)$, with $M_c$ the mean anomaly. Because ${\lambda }_c={\varpi }_c+y$ while the circular planet has ${\lambda }_b=\Lambda$, the exact geometric relation isThe displayed equally spaced directions use $y=x+O(e_c)$, hence are leading-small-eccentricity geometry. With appreciable $e_c$, use Kepler's equation to locate true conjunctions; equating true and mean longitudes silently is not exact.

In the weak, non-crossing, leading-eccentricity model the exterior resonant coefficient has positive sign: write its disturbing function as $R_{\mathrm{res}}=B_q{e}_c^q\cos {\varphi }_{bc}$, with $B_q>0$ for the orders considered. The physical feedback can be seen for first order. Before an outer conjunction near apoapsis, the faster inner planet pulls the outer one backwards; after passing it pulls forwards. On the outward side, the nearer, stronger earlier pull wins, reducing the outer semi-major axis and increasing its mean motion. Thus ${\varphi }_{bc}<\pi$ is driven upward. On the inward side, the later forward pull wins and drives ${\varphi }_{bc}>\pi$ downward. The paired impulses cancel at the symmetric centre.

For higher order, sum the feedback over all $q$ conjunction phases. The first surviving angular Fourier harmonic is $\sin {\varphi }_{bc}$; the lower Fourier harmonics cancel over the equally spaced directions. A local Hamiltonian reduction with canonical momentum $J$ hasThe negative curvature of the Kepler orbit Hamiltonian gives the displayed sign. Linear stability analysis at $\pi$ gives a restoring acceleration. The symmetric libration centres of an eccentricity resonance are thereforeThe corresponding conjunction phases relative to periapsis are $\{\pi \}$, $\{\pi /2,3\pi /2\}$ and $\{\pi /3,\pi ,5\pi /3\}$. They suppress repeatedly close passages and provide resonance protection.

These are expected centres of the specified leading-harmonic model, not centres fixed solely by the integer order for arbitrary orbital eccentricity and masses. Asymmetric resonant-argument libration can occur when higher Fourier harmonics matter. For example, if $R=A\cos \varphi +B\cos 2\varphi$, $A>0$, $B>A/4$, the symmetric $\pi$ equilibrium loses stability and stable centres satisfy $\cos \varphi =-A/(4B)$. Thus further dynamical information is needed beyond the PDF's unrestricted eccentric orbit to assert unique centres. Exterior asymmetric branches are documented by Winter and Murray, “Resonance and chaos. II. Exterior resonances and asymmetric libration”.

Now the eccentric planet $c$ is inside the circular perturber $d$. The interior eccentricity-type mean-motion resonance hasIn the mean-conjunction approximation, ${\varphi }_{cd}=n(\Lambda -{\varpi }_c)$, so ${\Lambda }_j={\varpi }_c+({\varphi }_{cd}+2\pi j)/n$. Successive conjunctions advance by $2\pi m/n$; coprime $m,n$ visit $n$ distinct phases.

The near-conjunction tangential pulls are reversed for an eccentric body inside its perturber. Just before conjunction the inner body is pulled forwards and afterwards backwards. Near periapsis, an inward-moving inner body experiences the stronger earlier forward pull; its semi-major axis grows, its mean motion falls, and ${\varphi }_{cd}$ increases because its coefficient of ${\lambda }_c$ is negative. On the outward side the feedback reverses, restoring the first-order centre zero. Higher-order feedback is strongest on the side closest to the external perturber, near apoapsis; the leading coefficient alternates in sign with order.

Writing $R_{\mathrm{res}}=B_n{e}_c^n\cos {\varphi }_{cd}$ gives $B_n<0$ for odd $n$ and $B_n>0$ for even $n$ in the leading non-crossing model. The same negative-curvature Hamiltonian argument therefore givesConjunction phases relative to periapsis are $\{0\}$, $\{\pi /2,3\pi /2\}$ and $\{0,2\pi /3,4\pi /3\}$, respectively, as shown in the lower row of the figure. As before, these are small-eccentricity symmetric predictions; additional resonant Fourier harmonics and coupled secular dynamics can change the stable branches.

For actual alignment of the eccentric body at true longitude $\Lambda$, the exact phase relation is instead ${\varphi }_{cd}=(m+n)x-my$, where $x=\Lambda -{\varpi }_c$ and $y=M_c(x)$. The simple equally spaced angles replace $y$ by $x$ at leading order.

A simultaneous transit in a resonant chain requires both conjunction patterns to admit the observer's longitude at the same time. In the leading mean-conjunction geometry put $x=\Lambda -{\varpi }_c$. The necessary phase compatibility at symmetric centres isLet $d=\gcd (q,n)$. Eliminating $x$, and using that $q\ell -nk$ ranges over multiples of $d$, gives the exact modular compatibility criterionHere $\gcd$ denotes the greatest common divisor. For the orders $q,n\in \{1,2,3\}$ above, the two phase sets intersect only whenThe common directions are the two quadratures relative to periapsis. In reduced resonances this requires $p$ and $m$ odd; otherwise the apparent second-order ratios reduce to different resonance orders. There is no additional restriction on those odd values from angular compatibility alone. A shared direction and suitable temporal phase can be chosen, and the rational period ratios allow its recurrence.

This is a potential low-amplitude configuration, not a guarantee of an observed triple exoplanet transit. The observer must lie in the common orbital plane and near an allowed direction. Finite stellar radii, nonzero libration amplitudes of a resonant argument, apsidal motion and asymmetric centres broaden or change the possibilities. At finite $e_c$, true simultaneous alignment obeys the more precise equations $(p+q)y-px={\varphi }_{bc}$ and $(m+n)x-my={\varphi }_{cd}$, with $y=M_c(x)$. Thus the order-only conclusion is not a universal necessary condition for every eccentric resonant chain.

First adopt the uniform-angular-motion approximation implicit in the requested formula. Set the line of sight to longitude zero, the $b$ exoplanet transit to $t=0$, and the next $c$ exoplanet transit to $t=\tau$, with $0\le \tau <P_c$. Write $n_b=2\pi /P_b$, $n_c=2\pi /P_c$, with $P_c>P_b$. The next conjunction satisfiesThe common longitude is $n_{b}t$ modulo $2\pi$. Subtracting one $2\pi$ gives the conjunction longitude from a transit time lagSubstitution of the period ratio yieldsIt is exact in this uniform-angle model; no first-order expansion in $\delta$ is necessary here. For other choices of which exoplanet transit is used, choose the appropriate whole-turn branch.

For the finite-eccentricity orbit specified earlier, this is an approximation. Let $f_L$ and $M_L$ be the true anomaly and mean anomaly at the line of sight. The eccentric planet has $M_c(t)=M_L+n_c(t-\tau )$ and true angular advance $n_c(t-\tau )+{\Delta }_e(t)$, whereTrue conjunction therefore requires $(n_b-n_c)t+n_c\tau -{\Delta }_e(t)=2\pi$. The PDF omits this term, which is generally $O(e_c)$.

For a concrete counterexample take $p=q=1$, $\delta =0$, $e_c=1/5$, $\tau =P_b/4$, and a line of sight along $c$'s periapsis. The uniform model predicts $t=7P_b/4$ and longitude $3\pi /2$. At that time $M_c=3\pi /2$, but Kepler's equation gives $f_c\ne 3\pi /2$, so the planets are not truly aligned. Accurate finite-eccentricity conjunctions must be found from the corrected equation.

For constant mean motions, consecutive mean conjunctions are separated by $P_{\mathrm{syn}}=P_b{P}_c/(P_c-P_b)$ and advance in longitude by $\Delta \Lambda =2\pi /(P_c/P_b-1)$. To follow one of the $q$ branches, compare conjunctions $q$ steps apart. At exact resonance that advance is $2\pi p$; subtract it to measure the slow drift. Hence conjunction-pattern precession near a mean-motion resonance isThe printed expression is its leading small-offset term:Positive $\delta$ gives retrograde drift and negative $\delta$ prograde drift. The tracked-branch rotation time is about $q{P}_b/(p|\delta |)$; the full set of $q$ interchangeable directions repeats after a rotation $2\pi /q$, giving the usual mean-pattern super-period $P_b(1+\delta )/(p|\delta |)$. The slow, continuously tracked branch interpretation assumes the resonance neighbourhood $|\delta |(p+q)\ll q$; merely $|\delta |\ll 1$ need not give a slow pattern for an arbitrarily large integer ratio $p/q$. At $\delta =0$ there is no offset-driven drift.

The allowed directions can consequently move through the observer's line of sight. Triple exoplanet transits require the $bc$ and $cd$ patterns, together with their timing phases, to overlap that line of sight within the finite exoplanet transit windows; differing drift rates can open and close such windows. A small offset neither guarantees a triple event nor prohibits it permanently.

Moreover, in a true mean-motion resonance, bounded ${\varphi }_{bc}$ can coexist with a period offset because $(p+q)n_c-p{n}_b=q{\dot{\varpi }}_c+{\dot{\varphi }}_{bc}$. The mean conjunction pattern then follows apsidal precession plus the resonant-argument libration correction. For appreciable orbital eccentricity, the true-conjunction geometry has the periodic corrections identified above; the drift calculation is a mean-phase result.