先规定从哪一边看
把轨道平面画在纸上,让观测者位于横轴正向很远处,朝恒星看。纸面的纵向就是恒星图像上的横向。行星来到靠近观测者的一侧,才可能遮住恒星;转到恒星背后,则不是这类凌星。
计算中要分清两种坐标。质心坐标从三天体共同的质量中心量起;星心坐标则把恒星位置从行星位置里扣掉。积分使用前者,望远镜看到的投影使用后者。恒星虽只轻轻摇摆,这一步相减仍要保留。
对应阅读:Deck et al. · Lithwick
三个天体都要响应引力
对每个天体,把另外两个质量带来的加速度相加。位移向量指向吸引它的天体,除以距离的三次方之后,力的强度便按距离平方反比变化。这里不对引力做软化。
任意一对天体之间的力大小相等、方向相反,所以总动量守恒。力又沿两者连线,总角动量也守恒。把所有动能和成对势能加起来,得到孤立牛顿系统守恒的总能量;单颗行星的能量仍然可以与另一颗交换。
对应阅读:Deck et al. · Deck & Agol
孤立行星给出一个精确零例
先把外行星的引力质量设为零。恒星和内行星仍绕共同质心运动。两者加速度相减,相对轨道受到的引力参数包含两者质量之和;若轨道为圆,引力恰好提供转弯所需的加速度。
椭圆轨道也服从相同周期关系,只需把圆半径换成半长轴。偏心率改变沿途的速度和停留时间,却没有改变每圈回到同一观测方位这一事实。连续几何凌星应当落在严格线性的历表上。
对应阅读:Deck et al. · Lithwick
单位定好之后就不再换钟
选初始内行星半长轴作长度单位,恒星质量作质量单位,再令数值引力常数为一,时间单位就被固定下来。单位半长轴的内轨道绕一圈约需六点二八个时间单位,并不是一个。
教学恒星采用一个太阳质量,内行星质量比为百万分之三十,初始物理周期取十二天。这些选择对应约十分之一天文单位的初始半长轴。长时间积分始终使用初始周期标时,后来轨道周期受扰动时,不能顺便把已经过去的时间也重新定义。
对应阅读:Deck et al. · Greklek-McKeon et al.
完整做一次两体测时检验
把内行星放在靠观测者一侧的近心点出发。圆轨道中,这只是任选的起点。第一次未来凌星应当发生在一个周期以后;即使增加偏心率,每次返回的间隔仍相同。
令伴星质量为零,积分二百个初始周期。先别拟合钟表,逐次把内部凌星时刻与解析周期的整数倍比较。默认数值分辨率下,最大绝对时刻差小于十分之一秒;扣去拟合钟后,残差极差小于五十分之一秒。这些小量是围绕物理零值的数值残差。
末端事件要另作约定。根若恰在要求的结束时刻,浮点运算可能把它落在区间内,也可能落在区间外。独立基准只比较距离末端至少千分之一初始周期的根,并把这一约定保存下来。
| 采用的输入 | 数值 | 应当出现什么 |
|---|---|---|
| 内行星质量比 | 0.000030 | 恒星也运动 |
| 初始物理周期 | 十二天 | 数值周期有固定天数换算 |
| 伴星引力质量 | 零 | 几何遮星严格重复 |
| 数值积分基线 | 初始二百圈 | 必须检查累积测时漂移 |
对应阅读:Deck et al. · Lithwick
加上伴星,让变化自己出现
再赋予第二颗行星非零质量,仍积分同一条引力定律。一次次会合改变了内行星的位置和速度,测时起伏应当从这些位置穿过观测方向时自然出现。若直接往时刻上加一条正弦曲线,就跳过了这里要研究的物理。
默认伴星取二十地球质量,初始周期比二点零四,内行星起初为圆轨道。保存的二百圈记录中,内行星测时残差极差约二十九点五分钟。这个数属于上述合成初始条件;下一章会逐步说明怎样由遮星事件和拟合钟得到它。
对应阅读:Deck et al. · Deck & Agol