先减去恒星与行星共同承受的加速度
用外轨向量表示伴星相对于中心恒星的位置,内轨向量表示行星的位置。中心恒星本身也在向伴星加速。在以它为原点、坐标轴不旋转的参考系里,要加入间接势,扣除这份共同加速度。
内轨距离远小于外轨距离时,可以展开伴星势。一次项恰好与间接势抵消,常数项不产生力,最先留下的是关于内轨位置的二次项,也就是四极潮汐势。
再沿圆外轨做平均。伴星方向在一个平面内均匀扫过,其投影平方的平均值,等于内轨位置在外轨平面内分量平方的一半。所得势函数绕外轨法向量轴对称。此时只平均了外轨时钟,内轨仍保留瞬时位置。
对应阅读:Tremaine & Yavetz, Why do Earth satellites stay up?, arXiv:1309.5244v1 · Liu, Muñoz & Lai, Short-range forces in triple systems, arXiv:1409.6717v2
沿椭圆积分时,要使用正确的时钟
在内轨平面选两个单位向量,一个指向近心点,另一个与它垂直。偏近点角可以用这两个向量参数化位置。不过,等间隔的偏近点角并不对应等长时间,平均测度中必须保留下面的时间权重。
以距离平方为例,把参数化位置代入后,奇数余弦项积分为零,余弦平方的平均为二分之一,最后会留下偏心率平方修正。对沿外轨轴的投影平方做同样计算,便得到第二个恒等式。
把两个积分代回外轨平均势,再除以 L1 定义的势尺度,整理后就得到无量纲哈密顿量。偏心率向量指向近心点,长度等于偏心率,因此还保存了椭圆朝向;仅用一个偏心率数值无法完整描述这种运动。
对应阅读:Tremaine & Yavetz, Why do Earth satellites stay up?, arXiv:1309.5244v1
用一个哈密顿量得到两条向量方程
角动量向量与偏心率向量描述同一条椭圆,不能任意独立取值:它们互相垂直,长度平方之和为一。轨道泊松括号给出下面的叉积演化规则;不能把这些受约束向量直接当成普通笛卡尔位置和动量。
对多项式哈密顿量求向量梯度,再代入叉积规则,并以世俗时间归一化,就得到后面两条显式方程。Lab 积分的正是这组方程。
把方程分别与原向量点乘,可以检验约束:向量与包含自己的叉积正交。同样的计算还表明轴向角动量不变,而不显含时间的哈密顿量保持其数值。数值程序保留原始积分向量,用这些关系检查误差,并不强行投影来掩盖漂移。
对应阅读:Tremaine & Yavetz, Why do Earth satellites stay up?, arXiv:1309.5244v1 · Liu, Muñoz & Lai, Short-range forces in triple systems, arXiv:1409.6717v2
找出临界倾角与最大偏心率
考虑初始轨道无限接近圆的极限。轴向角动量趋近于初始互倾角的余弦。在增长支上,偏心率达到最大时,近心点方向与交线相差九十度,此时偏心率向量的轴向分量等于偏心率乘以互倾角正弦。
用守恒的轴向角动量消去倾角,再令峰值时和初始时的哈密顿量相等,就得到下面的因式分解。顺行轨道要超过约三十九点二三度,才会出现非零增长支。
初始倾角为六十度时,最大偏心率约为零点七六三七六三,近心距约为半长轴的零点二三六二三七倍。这是初始近圆极限的解析例子。默认初始偏心率零点零五拥有略微不同的平均能量,因此在六十五度时达到约零点八三八九零九,而零种子极限给出零点八三八零四七。
严格为圆的向量状态在这组方程里会一直保持圆。所谓不稳定,是任意小的扰动能够增长,而增长所需时间也依赖种子大小。程序若偷偷加入偏心率,就改变了初值问题;本页明确显示并保存所用的有限初始偏心率。
对应阅读:Tremaine & Yavetz, Why do Earth satellites stay up?, arXiv:1309.5244v1
发生共振的是哪个慢角度
近心点幅角描述偏心率向量在内轨平面里相对于升交点的方向。升交点是行星穿过外轨平面、朝其法向量正侧运动的位置。采用这个约定,偏心率向量的轴向分量等于偏心率、互倾角正弦和近心点幅角正弦的乘积。
代回哈密顿量,就得到偏心率与幅角的表达式。固定能量的等值线规定慢变轨迹:有些幅角会循环经过全部方向,有些则绕九十或二百七十度往返摆动。后一种叫作振荡,角度围绕某个偏好值变化,而不是不断转过整圈,这就是通常所说的 Kozai–Lidov 共振行为。
仅凭偏心率大幅循环,还不能区分两者。这里的有限种子与初始近心点方向给出的默认平均轨迹属于幅角循环:十二个世俗时间内,展开后的幅角累计前进约四百零八度。导出的偏心率和角动量向量保留了重建幅角的信息。轨道接近圆时,角度容易失去定义,向量描述仍然可用。
对应阅读:Tremaine & Yavetz, Why do Earth satellites stay up?, arXiv:1309.5244v1 · Liu, Muñoz & Lai, Short-range forces in triple systems, arXiv:1409.6717v2
加入保守的相对论近心点进动
加入一个与角动量长度成反比的负势,就能产生最低阶轨道平均相对论进动。它不施加角动量力矩,而是在轨道平面内转动偏心率向量。高偏心率时,这种转动会加快,破坏此双平均模型里牛顿力矩的持续同相作用。
把默认轨道的无量纲相对论强度设为零点八,平均最大偏心率降至约零点六二九二七八。测试还独立求解了修正后的能量根,结果与向量积分一致。保存的直接轨迹仍采用牛顿引力;琥珀色曲线明确作为牛顿参照,不能读成相对论直接积分。
进动公式要求弱引力场和低速运动,近心点必须远离引力半径。计算会在声明的近星边界前,或引力半径达到近心距百分之一前停止。后一项是保守选定的适用边界,不代表物理突变。耗散潮汐和引力辐射均未加入。放宽双平均后,快变化与进动可以发生更复杂的相互作用,最后的原文导读会讨论这个范围。
对应阅读:Liu, Muñoz & Lai, Short-range forces in triple systems, arXiv:1409.6717v2 · Klein & Hamilton, Short-range forces beyond double averaging, arXiv:2606.19456v1