Aligned eccentric ring 2026-10-05
An aligned eccentric ring consists of nested Kepler orbits with nearly common longitude of periapsis. Its width and surface density of a disk depend on both the distribution of semi-major axis values and the radial gradient of forced eccentricity.
Apsidal precession 2026-09-28
Apsidal precession is the gradual rotation of an orbit's line of apsides, equivalently a change in its longitude of periapsis.
Argument of periapsis 2026-10-14
The argument of periapsis is the angle in the orbital plane from the ascending node to periapsis, measured in the direction of motion. It differs from the longitude of periapsis . For an inclined orbit this sum is a conventional longitude, not generally the azimuth of the projected periapsis. The argument is undefined for a circular orbit and the node-based description is singular when the orbit and reference plane coincide.
For two nearly circular Kepler orbits near a first-order period ratio, the slow resonant argument circulates on the displayed superperiod when longitude of periapsis precession is negligible. If , then . Within resonant-argument libration, this circulation formula is replaced by an amplitude-dependent libration period.
Put , , and . Here is the specific angular momentum, is the true anomaly and is the planar longitude of periapsis. Differentiating the Kepler orbit equation with gives
Resolve the velocity along the radial and tangential unit vectors, and . The identities and yield
This is the Kepler velocity hodograph: the velocity runs around a circle whose centre is displaced by the orbital eccentricity.
The centre of mass condition gives the star's barycentric position . Translating to the star without rotating the axes gives and . From Kepler's third law, , so
Consequently
The small displacement and the larger reflex velocity have different orders: , but the reflex speed divided by the circular speed is . These are the source of the astrocentric osculating-element oscillations.
For the coordinate ratio, the exact result is
For fixed , , so this is on any angular region with bounded away from zero. The printed coordinate claim is not uniform over a full orbit: at its ratio is undefined. The nonsingular statement is , assuming the pericentre distance remains much larger than the binary separation.
Squaring the two components of the velocity gives
At , and . Since
this reduces to the vis-viva equation, .
Now let the barycentric Kepler orbit be circular, write and , and put . The osculating orbital elements about the star use the gravitational parameter . To the required order, and . The specific orbital energy therefore implies
Here and under the stated hierarchy. Even at a phase where the leading cosine vanishes, the absolute error bound remains valid.
Finally, use the eccentricity vector . In radial and tangential components it is
The translation changes the radial basis only by , whereas and . Thus
For the original circular Kepler orbit, and are separately arbitrary; their sum is well defined. Using the eccentricity vector avoids introducing an undefined pericentre for that circular Kepler orbit.
Use and the exterior mean-motion resonance condition . Then the resonant semi-major axis is , neglecting the small planet-to-star mass correction. For the geometric construction, take , , , and start the particle at pericentre. Solve Kepler's equation with . Its coordinates in the rotating reference frame are
Four particle orbital periods correspond to five planetary orbital periods, so the curve closes. At a pericentre, the mean longitude and the true longitude both equal , and the resonant argument becomes . Thus the four pericentre directions are modulo . The figure chooses and marks the corresponding angle to the planet; other phases rotate this pattern. Its second panel shows an instantaneous conjunction at apocentre, where the angle from pericentre to the common longitude is directly : here both true and mean anomaly equal . The loops near pericentre reflect the fact that the particle can temporarily overtake the planet in angular speed, despite its lower mean motion.
Figure 1.
Exterior 5:4 resonance with eccentricity 0.2 and resonant phase pi
. Details.
For the evolution equations, must be the mean longitude. The PDF calls it true longitude, but differentiating the literal true longitude gives the rapidly varying , not . To first order , so the true longitude version of has an extra orbital ripple. The stated Lagrange planetary equations and slow complex eccentricity equation are interpreted consistently as orbit-averaged equations in mean longitude. The pericentre geometry of an exterior resonance above is unchanged by this distinction.
Let be perturbing forces, and let be the particle's mass. The angular momentum about the star satisfies
The central gravitational force and the radial perturbation have zero torque. If the displayed denotes acceleration instead, the identical formula applies to specific angular momentum.
For a weak kick, the specific orbital energy changes by . A planet leading the particle pulls it forwards, while a trailing planet pulls it backwards. For a nearly circular exterior Kepler orbit, a forward tangential kick raises angular momentum and semi-major axis, lowers mean motion, and makes the next conjunction occur sooner in the synodic cycle. Its longitude retreats relative to the unperturbed conjunction sequence. A backward kick produces the opposite shift. At exact alignment the leading force is radially inward: before pericentre, and an inward kick does positive work; after pericentre, and it does negative work. These likewise raise or lower semi-major axis. At an apsis, a purely radial infinitesimal kick has no first-order energy change but changes the eccentricity vector, so angular momentum alone does not determine every timing change.
The timing sign follows explicitly from the near-circular synodic period, . At the nominal resonance, successive conjunction longitudes agree modulo , since . A persistent small change gives
This is the accumulated mean timing shift; an actual impulsive encounter can also change the instantaneous orbital phase and longitude of periapsis.
Retaining the given first-order resonant orbital perturbations, eccentricity damping and leading Keplerian detuning,
Here Kepler's third law gives . The approximation discards higher-order resonant contributions to and fast orbital terms. Differentiate the rotating complex eccentricity :
Since ,
The apparent singularity in at disappears in this complex eccentricity equation.
Take , and the conventional positive resonant coefficient . At a fixed point, the two balance conditions and give
Substitution yields
Thus fixed points exist only if . With strict inequality, put and . Then
respectively. The locations must also satisfy for the detuning expansion to apply. At equality the phases merge at and . If is assigned the opposite sign, shift the phase convention by ; the invariant stability distinction is the sign of .
For locally constant , the stable equilibrium is the branch in the leading slow model. At fixed , increasing on that branch increases the positive resonant torque, because . The resulting increase in semi-major axis lowers and hence lowers : the subsequent conjunctions shift back, restoring the phase. On the branch the feedback has the opposite sign and drives the phase farther away. Eccentricity damping removes the oscillatory disturbance on the restoring branch.
One can verify that this feedback stabilizes the coupled variables rather than just the phase. Treat as locally constant, and write . Then , and . At a fixed point . The characteristic polynomial of the linear stability analysis is
For , all coefficients are positive and the cubic Routh-Hurwitz stability criterion holds, since
All three eigenvalues have negative real parts. For the constant term is negative, so the polynomial has a positive real root and that branch is unstable. The merged case has a zero eigenvalue. The unrestricted functions printed in the question do not imply this unconditional stability classification. If their derivatives are retained, has, at equilibrium, the derivative
The trace of the full three-variable linearization is . As a concrete counterexample, take and , choosing their values to satisfy the displayed fixed-point conditions on the negative-cosine branch. Its trace is , so at least one eigenvalue has positive real part. Both coefficients are smooth. Thus the restoring conjunction feedback identifies the stable branch of the usual locally constant model, but additional assumptions on coefficient variation are necessary to assert stability for every allowed function.
Specific orbital energy, orbital eccentricity and the distribution. Let , and . Choose positive to mean an outward radial kick. At release the tangential and radial velocities are and . The specific orbital energy and specific angular momentum are
Using and therefore gives
The denominator must be positive for an elliptic Kepler orbit. A vanishing denominator describes a parabolic Kepler orbit; negative is the signed semi-major axis of a hyperbolic Kepler orbit.
Differentiating the squared orbital eccentricity gives
In the small-kick regime , . Thus the minimum is at , with
The entire expression, including the term, lies under the square root in the PDF. This minimum is not a universal statement for arbitrary kick size. For example , reverses the circular velocity and gives a retrograde circular orbit with ; the displayed stationary value is then not the global minimum.
For , every kick direction gives a bound prograde Kepler orbit. The two endpoint maxima, one at each end of the accessible curve, are
The positive endpoint is the global maximum. There is one interior minimum, at the location just found. Uniform gives the kick-orbit distribution
Both signs of the radial kick occupy the same – curve; they have opposite apsidal orientations. The distribution is concentrated near its endpoints, with integrable square-root singularities. For larger kicks retain the parametric curve and its bound portion ; an unbound branch begins at , . In particular, a sketch of a wholly elliptic population presupposes the bound-kick restriction above.
Figure 1.
Eccentricity and semimajor-axis distribution for isotropic planar velocity kicks of magnitude 0.2 times the circular speed
. Details.
The eccentricity vector at release has radial component and tangential component . With the release radius chosen as zero longitude,
This also directly verifies the squared orbital eccentricity above and fixes the sign convention for the longitude of periapsis.
The 1:1 encounter window. Exact equality of orbital periods requires , hence . There are two kick directions with this cosine when . To quantify a finite window one must specify a return time: near exact commensurability, consider the particle's first complete return to its release point. During that time the source advances through . Its longitudinal miss distance is, to first order,
Thus gives the two-sided cosine window
Integrating over that window gives, to leading order for a narrow window away from ,
The printed fraction is half this value. It is obtained by retaining only one side of the semi-major axis window, or only one of the two kick-angle branches. Neither restriction is in the question. Thus the printed coefficient cannot be shown for the stated uniform population and a symmetric first-return distance criterion. This already exhibits the discrepancy under the usual longitudinal approximation; minimizing the distance over the encounter interval introduces a further velocity-direction correction, not a missing branch. With arbitrarily long observation times, noncommensurate bound trajectories can also return arbitrarily close to the common release point, so an eventual-encounter fraction is a different, time-dependent question.
Rotating-frame sketches. In the rotating reference frame of the source put radially outward, along the source's motion and , where . The linear Hill equations for a stellar Kepler orbit, with initial displacement zero, give the velocity-kick epicycle
These solve , and reproduce the initial kick. For , the particle starts forward, moves outward and drifts backward; the curve has a loop each orbital cycle, with net per cycle. For , both coordinates reverse: it moves inward and drifts forward by . For , the leading trajectory is a closed epicyclic ellipse,
It starts at the top of the ellipse moving radially outward and returns to the source after one period to this order. Its exact semi-major axis differs from at order , so exact closure is not implied. The local sketches require , in particular for the drifting cases.
Figure 2.
Particle trajectories after tangential prograde, tangential retrograde and outward radial kicks in the source rotating frame
. Details.
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 , , 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 , or in a reduced integer ratio. Exactly 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 ; this is an accumulated-phase approximation, not differentiation of a fictitious expression while discarding . With ,
Differentiating, using 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 . No derivatives of are included because they were specified as constants.
A full fixed point requires and . Hence or , with its corresponding detuned semi-major axis fixed by
At either point . 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 gives
For , is a center equilibrium and zero is a saddle equilibrium. For , is always a center equilibrium, while zero is a saddle equilibrium if
At 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 for either order.
The physical explanation is resonance protection. At equal mean longitudes, the conjunction direction relative to periapsis obeys modulo . For , places conjunction near periapsis, where the exterior particle comes closest to the planet; places it near apoapsis. For , zero includes both apsidal conjunctions, one of them near periapsis, whereas places the two conjunction branches near quadrature. The protected arrangements give restoring kicks in the positive- leading-harmonic model. This geometric explanation is conditional on its non-crossing, small-orbital eccentricity approximation; it does not override the low- term retained in the full stability calculation.
Small resonant-argument librations. Define the nominal resonant semi-major axis and the displaced center by
This follows by expanding and taking . It gives the requested initial semi-major axis to first order in the precession-induced detuning; and .
For the pendulum approximation of a mean-motion resonance, also require fractional changes in small across a libration, and precession terms small compared with . In particular for makes the extra full-equation curvature negligible; for , small fractional eccentricity changes require . Freeze in the leading restoring coefficient and set
Then obeys simple harmonic motion. Using , and integrating the remaining Lagrange planetary equations gives
The omitted apsidal modulation comes from higher perturbative orders and . All expressions are leading resonant approximations, valid while the omitted fractional changes remain small. The small-libration phase portrait is
with period . The semi-major axis half-width is and the orbital eccentricity half-width is .
Dividing the original and equations gives the exact invariant of their retained terms,
Thus the – plot is a segment of this increasing curve traversed back and forth, not a closed ellipse. Locally its slope is .
Finite amplitude and the separatrix. Keep the same weak-resonance approximation but allow to be finite. The leading angular equation is , or . Multiplication by gives
This 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 and its restoring coefficient vary: the term alone prevents that conclusion in general.
For the phase portrait has closed libration curves around , with
where is the complete elliptic integral of the first kind. The largest speed is and the leading semi-major axis half-width is . As , the energy approaches , the separatrix through the saddles at zero and ; the particle spends increasingly long intervals near those saddles. With ,
At exactly , , 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.
Figure 1.
Resonant pendulum libration curves, separatrix and circulation, with the eccentricity versus semimajor-axis invariant
. Details.
Eigenfrequencies and mode geometry. Write and . The characteristic polynomial is . Therefore the two distinct real eigenvalues are
The sign assumptions imply and ; they do not alone imply . A positive lower frequency additionally requires , as in the usual nondegenerate physical Laplace-Lagrange secular matrix.
Distinct eigenvalues give an eigenbasis, and each secular eigenmode evolves by multiplication by . Hence
with nonnegative amplitudes and initial phases. The second row of each eigenvalue equation gives . For the upper eigenvalue this ratio is negative, whereas for the lower one it is positive. Thus
The upper secular eigenmode has anti-aligned apsides, and the lower has aligned apsides. If one amplitude vanishes, its phase is immaterial.
The initial vector sums. The planet-1 modal vectors point at and . Their resultant at requires . The planet-2 vectors point at and ; their resultant at requires . These follow by resolving components perpendicular to each resultant. In particular the specified phases constrain the matrix: . They cannot be imposed on an arbitrary matrix satisfying only the sign assumptions.
Put and let . For a matrix compatible with those phases,
At zero the resultants have lengths and and precisely the specified longitudes of periapsis. The diagram uses , as a drawing normalization, not as an additional assumption on the physical planets.
Figure 1.
Initial secular eigenmode vectors and their resultants at apsidal longitudes 60 and 150 degrees
. Details.
Each modal vector rotates counterclockwise if its eigenvalue is positive; their sum executes a beat at frequency . For these phases,
The orbital eccentricities exchange their maxima and minima, with respective ranges to and to . The longitude of periapsis is the argument of each displayed vector sum; it does not in general advance uniformly at either individual eigenfrequency. The complex eccentricity trajectories are generally quasiperiodic; they close only for commensurate modal frequencies. This example has a dominating upper mode in planet 1 and a dominating lower mode in planet 2, so their apsidal phases have different winding rates.
Amplitude product and the angular-momentum convention. Since ,
Under the ratio supplied in the paper, this is approximately , to the same accuracy as that supplied ratio. There is a physical convention issue: with the usual planet labels and , conservation of quadratic angular momentum deficit requires , giving . This follows directly by differentiating . Thus the paper's stated angular-momentum ratio is reversed for the conventional column-vector equation . The exact algebraic product above is independent of that naming discrepancy.
Tidal dissipation and damping. Assume the tidal dissipation contributes only the specified linear eccentricity damping, without changing the conservative matrix or adding apsidal precession. Then
The plus sign in is crucial: multiplication by produces the negative real damping rate. Its exact eigenvalues are
The square-root branch is chosen to approach as . With , their first-order imaginary parts are
Both are positive because , so both secular eigenmodes decay as , although only planet 1 feels direct eccentricity damping. The coupling transmits that damping to planet 2. Their precession frequencies change only at second order; their eigenvectors acquire small complex corrections, so exact alignment or anti-alignment becomes a small apsidal phase lag. The more slowly damped mode eventually dominates, unless its initial coefficient vanishes: it is the lower aligned mode for and the upper anti-aligned mode for . At both leading damping rates equal .
The stated slow-secular condition presumes a nonzero positive . It need not imply near a nearly degenerate pair, so the exact square-root formula is the appropriate answer there. Exceptionally, the discriminant vanishes at , ; then a generalized eigenvector supplies a term. There is still decay. Indeed positive diagonal weights satisfying give
Nonzero off-diagonal coupling excludes a nondecaying mode supported solely on planet 2. This checks the damping signs without relying on the weak-damping expansion.
For one isolated perturbing planet, its Kepler orbit has fixed longitude of periapsis, so is constant and its secular forcing frequency is zero. A constant forced eccentricity satisfies . Since ,
This assumes . If an external process made the planet precess at frequency , the particular solution would instead be ; the stated formula relies on the isolated single-planet case.
To first order in orbital eccentricity, the semi-minor axis is , while the ellipse's center is displaced from the star by . Thus each orbit is a circle of radius about , in complex spatial coordinates.
Write at one secular epoch. The centers of the individual circles lie on a circle of radius about . Their union is the proper-eccentricity annulus
Its full radial width is and its center is displaced by toward the forced apoapsis direction. Relative to the star, if the forced longitude of periapsis is zero,
The middle panel of the preceding figure shows this construction. For fully sampled orbital phases and proper phases, the annulus is occupied throughout, but its density need not be uniform; turning points in the proper radial excursion give integrable edge enhancements. The construction requires and is an instantaneous secular geometry.
Choose the common initial longitude of the particle and as zero. Let the fixed inertial longitude of periapsis be , positive ahead of that ray. At release , but the mean anomaly is
Thereafter , , and the particle's longitude is . The reference ray has longitude .
In the rotating reference frame, the radial axis points outward along the star- ray and the axis points forward. Define . The exact positional relations are
Figure 1. . The stellar radius to G defines the rotating radial axis; the particle is separated from it by delta lambda. The pericentre direction is fixed in the inertial frame. The mean anomaly advances uniformly, while the true anomaly is measured from pericentre to the particle. Details.
The diagram shows a later instant; initially , so . Retaining the correction in is what will preserve that initial condition in the approximate trajectory.
Write and . The leading Keplerian shear is
The distinction between total mass and the individual planet's two-body central mass is order , below the retained order .
At one common reference epoch, the local Kepler orbit expansion takes the form
where is the initial mean longitude relative to the rotating reference ray. Comparing its sine and cosine coefficients with the free solution of Hill equations gives
The required orbital elements from Hill coordinates are therefore
These equalities have the first-order accuracy of the local approximation. If , the longitude of periapsis is undefined. The combination fixes the initial true longitude divided by . The special initial alignment imposed in part v would require , but the general two-planet solution need not impose it.
Substitution also verifies and : these are the unforced Hill equations. Close encounters add mutual-gravity forcing and can change the constants. Replacing by in the oscillation is consistent at leading order over local orbital times; accumulated phase differences must be retained when following much longer evolution.
At periapsis, the particle's mean longitude equals its longitude of periapsis: . Hence the pericentre geometry of an exterior resonance gives
The resonant argument therefore fixes the angular separation from the planet whenever the particle reaches periapsis. With and planetary radius , the actual separation is
Thus a restricted libration phase can prevent close encounters even when the radial ranges of the two orbits overlap: this is resonance protection.
The parent body's circular Kepler orbit has speed . Release without a velocity impulse therefore gives
The release point is the dust orbit's point of closest approach, where . Substituting in the orbit equation gives
The longitude of periapsis specifies the symmetry axis of the conic. With this signed repulsive-force convention, it points opposite the release direction, so the closest point is at .
At pericentre, mean longitude equals longitude of periapsis, so resonant argument becomes . The pericentre angle in the planet's rotating frame is modulo . For coprime , there are distinct pericentre directions before the trajectory closes. Resonant-argument libration restricts these directions and supplies resonance protection.