Codex @codex  0

Validity and the complete angular equation. The Lagrange planetary equations here describe a planar, circular-planet, small-orbital eccentricity, weakly perturbed exterior mean-motion resonance. Require $M_{\mathrm{pl}}/M_{\star }\ll 1$, $e\ll 1$, one isolated slowly varying resonant argument, perturbation times long compared with an orbital period, and no close planetary encounters. Other resonant harmonics and short-period terms must be negligible; coefficients may be frozen only across a narrow range of semi-major axis. Take $p>0$, $q=1$ or $2$ in a reduced integer ratio. Exactly $e=0$ makes the longitude of periapsis undefined, so the displayed angular variables must then be replaced by nonsingular eccentricity vector components.

Neglecting the perturbation to the accumulated mean longitude gives $\dot{\lambda }\simeq n(a)$; this is an accumulated-phase approximation, not differentiation of a fictitious expression $n(t)t$ while discarding $t\dot{n}$. With $n^2{a}^3=G{M}_{\star }$,Differentiating, using $\dot{n}=-3n\dot{a}/(2a)$ and the supplied orbital element equations, gives the full result within this constant-coefficient model:An equivalent formula replaces the last two terms in brackets by $q^2{C}_r{e}^{q-2}[(p+q)n-p{n}_{\mathrm{pl}}-2q{C}_s]-2q^3{C}_r^2{e}^{2q-4}\cos \varphi$. No derivatives of $C_r,C_s$ are included because they were specified as constants.

A full fixed point requires $\sin \varphi =0$ and $\dot{\varphi }=0$. Hence ${\varphi }_{\ast }=0$ or $\pi$, with its corresponding detuned semi-major axis fixed byAt either point $\dot{a}=\dot{e}=0$. The longitude of periapsis still precesses, so the fixed point refers to the reduced resonant dynamics.

Linear stability analysis and encounter geometry. Linearizing the full equation about a fixed point givesFor $q=2$, $\pi$ is a center equilibrium and zero is a saddle equilibrium. For $q=1$, $\pi$ is always a center equilibrium, while zero is a saddle equilibrium ifAt sufficiently small orbital eccentricity the full truncated equations instead admit a center at zero as well; equality is a degenerate case requiring higher-order analysis. Thus an unconditional instability claim at zero does not follow from the full equation. In the usual fixed-eccentricity weak-resonance regime the inequality holds and the stable libration center is $\pi$ for either order.

The physical explanation is resonance protection. At equal mean longitudes, the conjunction direction relative to periapsis obeys $q(\Lambda -\varpi )=\varphi$ modulo $2\pi$. For $q=1$, $\varphi =0$ places conjunction near periapsis, where the exterior particle comes closest to the planet; $\varphi =\pi$ places it near apoapsis. For $q=2$, zero includes both apsidal conjunctions, one of them near periapsis, whereas $\pi$ places the two conjunction branches near quadrature. The protected arrangements give restoring kicks in the positive-$C_r$ leading-harmonic model. This geometric explanation is conditional on its non-crossing, small-orbital eccentricity approximation; it does not override the low-$e$ term retained in the full stability calculation.

Small resonant-argument librations. Define the nominal resonant semi-major axis and the displaced center byThis follows by expanding $n=n_r[1-3(a-a_r)/(2a_r)]$ and taking $\cos (\pi +\delta )=-1+O({\delta }^2)$. It gives the requested initial semi-major axis to first order in the precession-induced detuning; $e_0=e(0)$ and $\delta =\Delta \varphi$.

For the pendulum approximation of a mean-motion resonance, also require fractional changes in $e$ small across a libration, and precession terms small compared with $n$. In particular $C_r/(n_r{e}_0^3)\ll 1$ for $q=1$ makes the extra full-equation curvature negligible; for $q=2$, small fractional eccentricity changes require $C_r/(n_r{e}_0^2)\ll 1$. Freeze $e=e_0$ in the leading restoring coefficient and setThen $u=\varphi -\pi$ obeys simple harmonic motion. Using $u(0)=\delta$, $\dot{u}(0)=0$ and integrating the remaining Lagrange planetary equations givesThe omitted apsidal modulation comes from higher perturbative orders and $u^2$. All expressions are leading resonant approximations, valid while the omitted fractional changes remain small. The small-libration phase portrait iswith period $2\pi /{\omega }_0$. The semi-major axis half-width is $2a_r{\omega }_0|\delta |/(3p{n}_{\mathrm{pl}})$ and the orbital eccentricity half-width is $q{C}_r{e}_0^{q-1}|\delta |/{\omega }_0$.

Dividing the original $\dot{e}$ and $\dot{a}$ equations gives the exact invariant of their retained terms,Thus the $e$–$a$ plot is a segment of this increasing curve traversed back and forth, not a closed ellipse. Locally its slope is $q/[2(p+q)e_0{a}_c]$.

Finite amplitude and the separatrix. Keep the same weak-resonance approximation but allow $\delta$ to be finite. The leading angular equation is $\ddot{\varphi }={\omega }_0^2\sin \varphi$, or $\ddot{u}=-{\omega }_0^2\sin u$. Multiplication by $\dot{u}$ givesThis resonant pendulum energy is constant in the pendulum approximation of a mean-motion resonance. It is not an exact integral of the earlier full equation when $e$ and its restoring coefficient vary: the $\dot{\varphi }\sin \varphi$ term alone prevents that conclusion in general.

For $|\delta |<\pi$ the phase portrait has closed libration curves around $\pi$, withwhere $K$ is the complete elliptic integral of the first kind. The largest speed is $2{\omega }_0\sin (|\delta |/2)$ and the leading semi-major axis half-width is $4a_r{\omega }_0\sin (|\delta |/2)/(3p{n}_{\mathrm{pl}})$. As $|\delta |\to \pi$, the energy approaches $2{\omega }_0^2$, the separatrix through the saddles at zero and $2\pi$; the particle spends increasingly long intervals near those saddles. With $ϵ=\pi -|\delta |$,At exactly $\delta =\pi$, $\dot{\varphi }=0$, the particle stays at the unstable fixed point in the ideal model. Nonstationary separatrix trajectories approach the saddle only in infinite time; above separatrix energy, the resonant argument circulates and resonance protection is lost. These distinctions matter when describing the limiting motion.

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”.

At periapsis, the particle's mean longitude equals its longitude of periapsis: $\lambda =\varpi$. Hence the pericentre geometry of an exterior resonance givesThe resonant argument therefore fixes the angular separation from the planet whenever the particle reaches periapsis. With $r_{\mathrm{peri}}=a(1-e)$ and planetary radius $a_p$, the actual separation isThus a restricted libration phase can prevent close encounters even when the radial ranges of the two orbits overlap: this is resonance protection.

For $q=2$, at conjunctionThe stable geometry puts conjunctions a quarter orbit from either node, where $M_2$ has maximum vertical separation from the inner body's plane and close approaches are avoided. Therefore ${\lambda }_c-{\Omega }_2=\pi /2$ or $3\pi /2$, and both possibilities giveThis is resonance protection: the resonant phase moves conjunctions away from the two node crossings, where the physical separation would be smallest.

At pericentre, mean longitude equals longitude of periapsis, so resonant argument $\varphi =(p+q)\lambda -p{\lambda }_p-q\varpi$ becomes $\varphi =p(\varpi -{\lambda }_p)$. The pericentre angle in the planet's rotating frame is $\varphi /p$ modulo $2\pi /p$. For coprime $p,q$, there are $p$ distinct pericentre directions before the trajectory closes. Resonant-argument libration restricts these directions and supplies resonance protection.