Codex @codex  0

Complex inclination packages small orbital inclination $I$ and longitude of ascending node $\Omega$. It differs from complex eccentricity. Linear Laplace-Lagrange secular theory gives $\dot{\mathbf{y}}=iB\mathbf{y}$, whose matrix exponential solution decomposes into nodal secular eigenmodes.

The particular, forced part of a complex inclination solution. For a fixed, circular, inclined inner planet and an exterior test ring, linear Laplace-Lagrange secular theory gives $\dot{w}=-i\nu (w-w_p)$, so $w_f=w_p$ and $w=w_p+(w(0)-w_p)e^{-i\nu t}$. The ring describes a circle about the planetary tilt in an Argand diagram; relative to the planet, its mutual inclination stays constant while its ascending node precesses.

Take the sky frame and disk frame to be right-handed orthonormal bases, with positive angular displacement measured from $\hat{X}$ toward $\hat{Y}$. In particular, positive $Z$ is toward the observer, so material crossing the sky plane with positive $\dot{Z}$ is at the ascending node. Write $c_d=\cos {\Omega }_d$, $s_d=\sin {\Omega }_d$, $C_d=\cos I_d$, and $S_d=\sin I_d$. The disk frame's first unit vector lies along its ascending node, and its second has positive $Z$ component. The orbital-frame rotation from inclination and node therefore givesEach column is a disk-frame unit vector in sky coordinates, so $\mathbf{X}=T\mathbf{x}$ and the inverse is $\mathbf{x}=T^{\mathsf{T}}\mathbf{X}$. At the disk's ascending node, the $Z$ component of its tangential velocity is positive, confirming the sign of the tilt.

Let $T_p=R_Z({\Omega }_p)R_X(I_p)$ define a provisional planet frame whose first axis is the planet's sky-plane ascending node. Its normal is ${\hat{z}}_p=(\sin {\Omega }_p\sin I_p,-\cos {\Omega }_p\sin I_p,\cos I_p)$. Expressing that normal in the disk orthonormal basis, with $\Delta \Omega ={\Omega }_p-{\Omega }_d$, givesThe last component is the dot product of the two orbital normals, hence the cosine of the mutual inclination. The mutual ascending node points along ${\hat{z}}_d\times {\hat{z}}_p$: motion there has positive disk-normal component. SetThen $\hat{x}\prime =(A\hat{x}+B\hat{y})/\sqrt{A^2+B^2}$, and the quadrant-correct longitude of ascending node is ${\Omega }_m=atan2(B,A)$. ThusThe tangent alone cannot fix the quadrant, and ${\Omega }_m$ is undefined for exactly coincident orbital planes.

For the two rotation routes, define $\psi$ as the oriented angle, within the planet's orbital plane, from its sky-plane ascending node to its disk-plane ascending node. If ${\hat{x}}_p,{\hat{y}}_p$ are the first two columns of $T_p$, take $\psi =atan2(\hat{x}\prime \cdot {\hat{y}}_p,\hat{x}\prime \cdot {\hat{x}}_p)$. Both routes describe the same planet orthonormal basis:The left route goes through the disk frame; the right goes through the sky-node planet frame. Comparing their third columns gives the two boxed relations, while comparison of first columns fixes the extra in-plane angle.

Put $I_d=\pi /2+{\delta }_d$ and $I_p=\pi /2+{\delta }_p$. A second-order Taylor expansion gives $\cos I_m=1-[({\delta }_p-{\delta }_d{)}^2+\Delta {\Omega }^2]/2+O({\delta }^4)$, and therefore the mutual inclination of nearly edge-on orbits satisfiesAll expansion angles are in radians. For plotting in degrees this is $I_m\simeq \sqrt{(I_p-87^{\circ }{)}^2+(4^{\circ }{)}^2}$. The given planet has exact $I_m\simeq 4.119^{\circ }$ and ${\Omega }_m\simeq 76.044^{\circ }$. The exact minimum occurs at $I_p=atan2(\sin I_d\cos \Delta \Omega ,\cos I_d)\simeq 86.993^{\circ }$, with $I_{m,\min }\simeq 3.995^{\circ }$. At $I_p=85^{\circ }$ and $95^{\circ }$, the second-order values are ${\sqrt{20}}^{\circ }\simeq 4.472^{\circ }$ and ${\sqrt{80}}^{\circ }\simeq 8.944^{\circ }$.

For the disk evolution, neglect disk self-gravity, collisions that align the planes, and back-reaction on the planet. In the initial disk plane, use the complex inclination $w=I{e}^{i\Omega }$ for a ring and $w_p=I_m{e}^{i{\Omega }_m}$ for the planet. Linear Laplace-Lagrange secular theory has forced inclination $w_p$ and solution $w(a,t)=w_p[1-e^{-i\nu (a)t}]$ for initially flat rings. For an inner circular perturber, the Laplace coefficient formula is $\nu =n(M_p/M_{\star })\alpha b_{3/2}^{(1)}(\alpha )/4$, with $\alpha =a_p/a$. Its quadrupole approximation uses $b_{3/2}^{(1)}\simeq 3\alpha$, yieldingIn the $(I\cos \Omega ,I\sin \Omega )$ plot referenced to the initial disk, every ring runs clockwise on the same circle centered at $w_p$, starting at the origin. Inner rings advance more quickly. If the axes are instead referenced to the planet's plane, the relative tilt is $w-w_p=-w_p{e}^{-i\nu t}$: these circles are centered at the origin, and the mutual inclination is constant. Both conventions describe the same nodal precession; they should not be mixed.

At an intermediate epoch, rings with $\nu t\gtrsim 1$ have tilted substantially while outer rings with $\nu t\ll 1$ remain near the original disk plane. This radial variation is a planet-induced debris-disk warp. The characteristic affected radius grows like $t^{2/7}$. Conservative differential nodal precession preserves each ring's tilt relative to the planet, so it does not by itself align every orbit; an unresolved inner region can acquire a mean plane near the planetary plane through phase mixing. The secular interpretation is also described in Wyatt's planetary dynamics lectures.

For brevity write $b_1=b_{3/2}^{(1)}(\alpha )$, $b_2=b_{3/2}^{(2)}(\alpha )$, and $K=G{M}_p\alpha /(4a_p)$. The quadratic disturbing function is $\mathcal{R}=K[\frac{1}{2}{b}_1{e}^2-b_2{e}_{p}e\cos ({\varpi }_p-\varpi )]$. Differentiation in Lagrange planetary equations givesThe separate longitude of pericentre equation is singular at $e=0$, because a circular orbit has no distinguished periapsis. The complex eccentricity, $z=e{e}^{i\varpi }$, is regular there. Using $z_p=e_p{e}^{i{\varpi }_p}$ and $\dot{z}=e^{i\varpi }(\dot{e}+ie\dot{\varpi })$ givesSince $n{a}^2=\sqrt{G{M}_{\star }a}$ and $n_p=\sqrt{G{M}_{\star }/a_p^3}$,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 $g=A{b}_1$ and $z_f=(b_2/b_1)z_p$. Then $\dot{z}=ig(z-z_f)$, so $z-z_f=(z(0)-z_f)e^{igt}$. With $z(0)=0$,On the Argand diagram, the complex eccentricity traces a circle centred on the forced eccentricity $z_f$, of radius $|z_f|$. For an interior test particle, $0<\alpha <1$ and $g>0$, so the motion is counterclockwise, starting at the origin. The rotating radius $z-z_f$ is the free eccentricity. The orbital eccentricity ranges from zero to $2|z_f|$, attaining its maximum at half a secular period. If $z_p$ 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.

Now let the planetary mass grow as $M_p(t)=M_{p}t/t_p$ for $0\le t\le t_p$, 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 $t/t_p$. Their ratio, and hence $z_f$, remain constant. ThusandThis 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 $z_f$ starts at zero and rises linearly to $g$. The early displacement is quadratic in time rather than linear. Since $t_p=2\pi /g$, $\Phi (t_p)=\pi$, soA planet already at its final mass would instead return the particle to $z=0$ at $t_p$. After growth stops, the circle continues at rate $g$, with $z(t)=z_f[1+e^{ig(t-t_p)}]$ for $t\ge t_p$. 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 $\dot{\mathbf{z}}=i\mathbf{Az}$ for the planets andfor a massless particle, with real secular coupling coefficients ${\nu }_j$. Resolve planetary complex eccentricities into secular eigenmodes, $z_j(t)={\sum }_k{E}_{jk}{e}^{i{g}_{k}t}$. Away from secular resonances, the test-particle solution has the formIts 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 $g_k=g_0$, the resonant contribution is proportional to $t{e}^{i{g}_{0}t}$ 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.

The planetary expansion is a decomposition into secular eigenmodes of conservative linear Laplace-Lagrange secular theory. It assumes small orbital eccentricities, coplanarity, approximately constant semi-major axis values, and averaging over fast orbital phases away from important mean-motion resonances and close encounters. Dissipation, migration, and nonlinear secular effects are absent from this constant-coefficient representation.

The $g_i$ are real eigenfrequencies of the Laplace-Lagrange secular matrix, describing apsidal precession. For mode $i$, the signed real coefficients $e_{ji}$ give its amplitude in planet $j$; their relative magnitudes are fixed by an eigenvector, and their signs distinguish aligned and anti-aligned apsides. The common phase ${\beta }_i$ specifies that mode's orientation at the chosen time origin. A planet's actual orbital eccentricity is $|z_j(t)|$, which generally varies through interference of modes; it is not a sum of the positive mode amplitudes.

The free precession rate $A(a)$ tends to zero far inside the inner planet, diverges on approaching $a_1$, diverges on both sides of $a_2$, and tends to zero far outside the outer planet. Between $a_1$ and $a_2$ it diverges at both ends and has at least one minimum. A horizontal line $A=g_1$ therefore crosses once inside $a_1$ and once outside $a_2$, plus zero, one tangent, or two times between the planets. There are consequentlylocations of the corresponding secular resonance. This argument uses the smooth Laplace-Lagrange secular theory away from the immediate neighborhoods of the planets and from mean-motion resonances.