太阳系十万年稳定性的计算机辅助证明
地球与行星天体物理
2022-06-28 v1 动力系统
摘要
我们给出一项由计算机计算辅助的分析证明，表明八大行星与冥王星在未来100,000年内动力学稳定。这意味着行星的半长轴在此期间不会发生显著变化。同时轨道的偏心率与倾角将保持足够小。采用标准线性四步数值方法近似积分水星、金星、地球、火星、木星、土星、天王星、海王星与冥王星的轨道。以轨道要素表述，九大行星的动力学表现为一个54阶一阶常微分方程组。数值方法的步长——约六天，已被执行6,290,000次。我们估计了舍入误差的总累积、与天文数据中可能不确定性相关的偏差以及计算机计算的精度。
引用
@article{arxiv.2206.13467,
title = {A computer assisted proof for 100,000 years stability of the solar system},
author = {Angel Zhivkov and Ivaylo Tounchev},
journal= {arXiv preprint arXiv:2206.13467},
year = {2022}
}