Complex inclination 2026-10-05
Complex inclination packages small orbital inclination and longitude of ascending node . It differs from complex eccentricity. Linear Laplace-Lagrange secular theory gives , whose matrix exponential solution decomposes into nodal secular eigenmodes.
For a cold coplanar disk with complex eccentricity , the first-order radial shape is . Infinitesimally neighboring orbits first cross when . Under secular forcing by a distant outer planet, , and , so the secular phase gradient gives . The finite-neighbor version requires the accumulated phase difference to remain small when replacing a difference by a derivative.
Lagrange planetary equations Created 2026-10-05 Updated 2026-10-14
The Lagrange planetary equations express changes of osculating orbital elements in terms of derivatives of a disturbing function. Their small-eccentricity secular limit becomes a linear equation for complex eccentricity.
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.
At each fixed semimajor axis, let and . The planet's longitude of pericentre is the zero of longitude. The secular perturbation equation becomes . Integrating it with the initial condition gives
The forced eccentricity vector is the constant real ; the free eccentricity vector is . Consequently the complex eccentricity follows a circle in the Argand plane centered at , with radius , starting at the origin and moving counterclockwise. Its initial velocity is downward, . The secular period is , and
The longitude of pericentre is undefined at the origin, but the complex eccentricity passes smoothly through it. At , and the orbit is maximally eccentric and aligned with the planet.
Figure 1.
Forced and free eccentricity vectors tracing a secular circle in the Argand plane
. Details.
Using the small- Laplace coefficient expansion gives
Also to leading order in the planet-to-star mass ratio. The secular forcing by a distant outer planet is therefore
A relative correction to can accumulate a phase error at very long times; the leading-frequency formula is not a uniform-in-time expansion.
If with , then and . The outer planetesimal therefore has a slightly larger forced eccentricity circle and a shorter secular period. Its accumulated secular phase lead is . Initially both circles start at the origin, but their eccentricity vectors progressively lose alignment. Linearizing the exponential in additionally requires .
The orbit crossing is caused by this accumulating differential secular phase, even though individual orbital eccentricities remain small. To first order in orbital eccentricity, the radius of an orbit at fixed inertial longitude is
For an infinitesimally neighboring orbit,
This derivative is evaluated within the first-order orbital-shape model; derivatives of the neglected quadratic terms give relative corrections near crossing. The least separation over longitude is consequently . The differential secular orbit-crossing criterion is . Since and ,
The first term stays bounded by , whereas the second grows in proportion to time. To leading order in , crossing begins when . Thus
More precisely, in this first-order orbital-shape approximation the exact first crossing lies within a fractional window of this value, since the magnitude differs from by at most . Higher-order Laplace coefficients give additional corrections. The local derivation takes the neighboring-orbit limit before the long-time limit; for a finite separation it requires near crossing. A broad continuous disk contains such neighboring orbits. The crossings first appear in directions selected by the phase of , not simultaneously at every longitude.
For the collision energy estimate adopt the phase-averaged mean orbital eccentricity . The specified velocity estimate gives
Using the projectile kinetic energy per target mass convention for specific impact energy, equal-size and equal-density bodies have equal masses and . A catastrophic planetesimal collision requires , so
The numerical coefficient is only illustrative because the collision speed was specified only to order of magnitude. If the disruption threshold is instead defined using the centre of mass kinetic energy per combined mass, equal masses give and the coefficient becomes for a threshold expressed in that convention. The robust result is a lower bound of order .
Within the inner-disk approximation, catastrophic collisions require sufficiently large , not arbitrarily small radii. Although the Keplerian speed rises inward, the secularly induced orbital eccentricity falls faster: . The lower bound must be much smaller than one to leave a domain compatible with . A small planet orbital eccentricity, a large disruption threshold, or a distant planet can eliminate that domain. The planet mass controls the time to crossing but cancels from the eventual forced eccentricity amplitude and this collision-energy criterion. The threshold alone does not ensure that crossing has occurred within the disk's available lifetime.
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 brevity write , , and . The quadratic disturbing function is . Differentiation in Lagrange planetary equations gives
The separate longitude of pericentre equation is singular at , because a circular orbit has no distinguished periapsis. The complex eccentricity, , is regular there. Using and gives
Since and ,
The approximations are planar, small-orbital eccentricity, first order in the planet-to-star mass ratio, and secular averaging away from important mean-motion resonances. The semimajor axis values remain constant at this order.
For a planet with fixed orbit, set and . Then , so . With ,
On the Argand diagram, the complex eccentricity traces a circle centred on the forced eccentricity , of radius . For an interior test particle, and , so the motion is counterclockwise, starting at the origin. The rotating radius is the free eccentricity. The orbital eccentricity ranges from zero to , attaining its maximum at half a secular period. If is placed on the positive real axis, the initial tangent points downward, which is consistent with counterclockwise motion from the leftmost point of this circle.
Figure 1.
The same forced-eccentricity circle sampled at equal times: a fixed-mass planet completes one circuit while a linearly growing planet completes half a circuit by its growth time
. Details.
Now let the planetary mass grow as for , while the planet's orbital elements and the test particle's semimajor axis remain fixed. Both the precession and forcing coefficients acquire the same factor . Their ratio, and hence , remain constant. Thus
and
This is the secular phase integral for proportional mass growth. The Argand diagram circle and the free eccentricity amplitude are unchanged; only the rate of traversal changes. The angular speed about starts at zero and rises linearly to . The early displacement is quadratic in time rather than linear. Since , , so
A planet already at its final mass would instead return the particle to at . After growth stops, the circle continues at rate , with for . Slow mass growth does not damp the free eccentricity here: the fixed centre of the circle and the conservative equation preserve its amplitude.
For several planets with fixed masses, Laplace-Lagrange secular theory gives for the planets and
for a massless particle, with real secular coupling coefficients . Resolve planetary complex eccentricities into secular eigenmodes, . Away from secular resonances, the test-particle solution has the form
Its Argand diagram trajectory is a superposition of rotations: generally a quasiperiodic curve with beats, rather than a circle with one fixed centre. Even if the planetary orbits are artificially held fixed, their combined forcing shifts the centre to the sum of the individual forced eccentricities. At , the resonant contribution is proportional to in linear theory; its growing amplitude eventually invalidates the small-orbital eccentricity approximation.
If one planetary mass changes, the Laplace-Lagrange secular matrix, its eigenvalues, its eigenvectors, and the particle's forced response generally change with time. Planetary modes need not remain independent. Frequencies drift and a secular resonance can sweep across the particle, changing or exciting its free eccentricity. Very slow evolution away from resonances permits an approximate adiabatic mode description; rapid evolution or a resonance passage can mix modes. The simple substitution of a phase integral works only in the special proportional-growth case above, where the entire particle equation is multiplied by one scalar and its forced centre stays fixed. It does not apply to a general many-planet system.
Put . For , the solution of the linear secular forcing of a test particle equation is
The initial condition gives and . The proper eccentricity is the constant amplitude of the homogeneous response; its proper longitude of periapsis is . The forced eccentricity is the driven vector , not necessarily a constant magnitude.
On an Argand diagram, describes a circle of radius . Its center can itself move under the planetary modes, so need not trace one fixed circle in the inertial complex plane. At a secular resonance , that mode instead produces , and the undamped linear response grows until the approximation fails.
Figure 1. . Left: proper eccentricity around the forced vector. Middle: the annulus generated by a common semimajor axis and random proper phases. Right: a family of aligned orbits with constant forced eccentricity and a range of semimajor axes. Details.
Differentiating the disturbing function in Lagrange planetary equations gives
For the complex eccentricity ,
Use . Each planetary term becomes , so
Unlike the polar orbital element equations, this linear equation is nonsingular at .
Diagonalize the real Laplace-Lagrange secular matrix . Its eigenvalues are
and choose corresponding real eigenvectors . If , the initial complex eccentricity vector determines complex mode coefficients
The matrix exponential solution is
Thus
where a negative eigenvector component may equivalently be made positive by adding to its phase. The are secular precession frequencies, each eigenvector fixes the planets' eccentricity ratio and relative apsidal orientation, and fixes the phase selected by the initial conditions.
Proper eccentricity Created 2026-10-05 Updated 2026-10-06
The proper eccentricity is the magnitude of the homogeneous part of the complex eccentricity in linear secular perturbation theory. It remains constant in conservative theory, while its proper longitude of periapsis advances at the free precession frequency.
For a test particle interior to a distant eccentric planet, write . The leading Laplace coefficients are and . Thus its forced eccentricity is and its secular frequency is . More distant inner particles have larger forced orbital eccentricities and faster secular precession, producing a growing gradient of complex eccentricity.