茶年 · 中文维基百科

三体问题

Wikipedia · 2026-07-30 维基百科 👁 1 阅读

三体问题（）是天体力学中的基本力学模型。它是指三个质量、初始位置和初始速度都是任意的可视为质点的天体，在相互之间万有引力的作用下的运动规律问题。
内容
三体问题是多体问题的一个特例。对于一般多体问题而言，不存在一般的解析解，即难以预测所有三体问题的数学情景，但存在较为复杂的广义解析解：松德曼-汪秋栋级数解。现在更多是研究其特殊情况或使用数值方法求解。

例如太陽系中，考慮太陽、地球和月球的運動，它們彼此以万有引力相吸引，若假設三個星球都可設為質點，並且忽略其他星球的引力，太陽、地球和月球的運動即可以視為三体问题。

三体问题也被用于模拟经典力学或量子力学中三个粒子的运动状态。

在小说《三体》中三体人就生存在这样的星系中，所以才会有无法预测的灾难。

数学概述
三体问题可以用三个质量为m_i的相互作用的物体的矢量位置\mathbf{r_i} = (x_i, y_i, z_i)的牛顿运动方程数学表示：

\begin{cases}
\ddot\mathbf{r}_{\mathbf{1}} &= -G m_2 \frac{\mathbf{r_1} - \mathbf{r_2}}-\frac{G m_2 m_3} -\frac{G m_3 m_1} + \frac{\mathbf{p_1}^2}{2m_1} + \frac{\mathbf{p_2}^2}{2m_2} + \frac{\mathbf{p_3}^2}{2m_3}.

限制性三体问题
中椭圆轨道的有效近似，这里可以用两个主天体的引力以及它们旋转的离心效应而产生的电势组合实现可视化（科里奥利效应是动态的，此处未显示）。然后，可以将拉格朗日点视为合成表面上梯度为零的五个位置（用蓝线显示），表明此处处于平衡状态。]]

当所讨论的三个天体中﹐三体中其中两体的质量极大，以至于第三体的质量几乎不能对其造成任何扰动；或是有一个天体的质量与其他两体的质量相比小到可以忽略时，可将三体问题简化为二体问题的变型。这样的三体问题称为限制性三体问题。这一方法适用于海上确定经度导航，因此在17世纪20年代，此法变得尤为实用。实际上，约翰·哈里森发明的航海经线仪解决了确定经度的问题。但是，由于太阳和行星对月球绕地公转的扰动效应，月球理论的准确性很低。

亚美利哥·韦斯普奇和伽利略·伽利莱随后也提出了三体问题。伽利略确定所有天体的下落速度都是相同均匀的，但他并没有将其应用到行星运动。

1687年，当时艾萨克·牛顿发表了《自然哲学的数学原理》。在《原理》第一卷的第66号命题及其22个推论中，牛顿首次定义和研究了三个受相互扰动的重力吸引影响的巨大物体的运动问题。在第三册的第25至35条命题中，牛顿将他的66号命题结果用于月球在地球和太阳的引力影响下的运动。

让·勒朗·达朗贝尔和亚历克西·克洛德·克莱罗两个长期竞争者都试图找到该问题的某种通性。他们竞相在1747年向法国皇家科学研究院提交了他们的第一批三体问题分析。“三体问题”（法语：Problème des trois Corps）这个名字至此开始广泛使用。达朗贝尔于1761年发布的文章表明，该名称最早使用于1747年。

1887年，为了祝贺自己的60岁寿诞，瑞典国王奥斯卡二世赞助了一项现金奖励的竞赛，征求太阳系的稳定性问题的解答，这是三体问题的一个变型。

法國數學家亨利·庞加莱简化了问题，提出了限制性三体问题：即三体中其中两体的质量极大，以至于第三体的质量完全不能对其造成任何扰动。面对这个问题，庞加莱运用了他发明的相图理论，并且最终发现了混沌理论。虽然庞加莱没有成功给出一个完整的解答，不过他的工作令人印象深刻，因此他于1888年赢得了奖金。

庞加莱发现这个系统的演变经常是混沌的，即如果初始状态有一个小的扰动，例如个体的初始位置有一个小的变动，则后来的状态可能会有极大的不同。如果这一小变动不能被测量仪器所探测，那么我们将不能预测最终状态为何。

著名数学家兼竞赛裁判卡尔·魏尔施特拉斯说：“这个工作不能真正视为对所求的问题的完善解答，但是它的重要性使得它的出版将标志着天体力学的一个新时代的诞生。”

魏尔斯特拉斯并不知道他自己的预测有多准确。在庞加莱的论文中，他描述了例如（homoclinic points）之类的新思想。这些概念在1890年的瑞典备忘录中出版，後來該書在编辑途中被發現一个理論上的错误，然而该错误实际上导致了庞加莱一些进一步的发现，这些发现在现代视为混沌理论的开端。

19世纪末到20世纪初，科学家们研究使用短程二体吸力来解决三体问题的方法。19世纪后期，乔治·威廉·希尔在用金星和水星的运动来研究限制性三体问题，不久进一步延伸到四体问题以计算月球绕地球轨道和行星环绕恒星轨道。

1907年和1909年时，芬兰数学家分别发表两篇论文，证明三体问题存在一个的幂级数解，除初始状态是角动量为零的情况（这种情况极其罕见，只有当物体勒贝格测度为0时才会出现）外，对所有实数t始终收敛。松德曼的研究成果收录于1912年的瑞典《数学学报》上。

1930年，数学家大卫·贝洛里奇（David Beloriszky）指出，松德曼级数收敛极慢，如果将松德曼级数解用于天文观测，则计算有效项数将至少达到10项。

1970年，前苏联理论物理学家维塔利·尼古拉耶维奇·叶菲莫夫预测当三个相同的玻色子之间的对相互作用接近共振时，三体谱表现出无限的束缚态序列。这一预测于2006年证实，因此也称为。

20世纪70年代，和分别找到了一套特殊解族，这些特殊解族构成了同系列特殊解族: 布鲁克-赫农-哈德吉德梅特里奥解族（Broucke–Henon–Hadjidemetriou family）。

1979年，前苏联数学家L·K·巴巴德赞詹兹（LK Babadzanjanz）发表论文《Existence of the continuations in the N-body problem（多体问题连续性的存在性）》，
后又于1993年发表论文《On the global solution of the N-body problem（论多体问题全局解）》。

1985年，中国数学家汪秋栋发表论文《多体问题全局解的存在性》
，
后又于1991年发表论文《The global solution of the n-body problem（多体问题全局解）》。

1993年，圣塔菲研究所的美国物理学家构想了一种零角动量解，该解适用于三个相等质量物体做“8”字型运动。

此情形在2000年由数学家和理查德·蒙哥马利（Richard Montgomery）证明。

该解在数值上证明了对于质量和轨道参数小扰动的稳定性，这增加了在物理宇宙中可以观察到这种轨道的可能。但有人认为不太可能发生这种情况，因为其稳定的范围较小，因此不太可能发生这种情况。此外，双星散射事件会导致“8”字形轨道的出现概率估计不足1%。

2013年，贝尔格莱德物理研究所的物理学家米洛万·乌瓦科夫（Milovan Šuvakov）与维利科·德米特拉·伊诺维（Veljko Dmitrašinović）发现了等质量零角动量三体问题的13种新的解族。

2017年，中国计算机科学家李晓明和中国数学家廖世俊发现了669组等质量零角动量三体问题的新周期轨道。

2018年，不等质量的零动量系统又新增了1223组新解。

2018年，李晓明和廖世俊发布了234个不等质量“自由落体”三体问题的解。三体问题的自由落体公式从所有三个静止的物体开始。正因为如此，质量在一个自由落体配置不在一个闭合的“循环”轨道上运行，而是沿着一个开放的“轨道”向前和向后运行。

2019年，爱丁堡大学菲利普·布林（Philip Breen）等人训练了一种用于三体问题的快速神经网络。

2022年，廖世俊、杨宇和李晓明在上提出了一个获得“三体问题”周期解的路线图。

2023年，伊万·赫里斯托夫（Ivan Hristov）、拉多斯拉娃·赫里斯托娃（Radoslava Hristova）、维利科·德米特拉希诺维奇（Veljko Dmitrašinović）和谷川清隆（Kiyotaka Tanikawa）发表了一篇关于等质量三体系统的周期轨道研究，发现了12409个不同轨道。

解法
一般性解法
构成的引力系统是混沌系统，不过由三个物体弹性相互作用构成的系统则不然。]]

三体序列的收敛半径由到最近奇点的距离决定。因此，必须要考虑三体问题的可能奇点。三体问题中的唯二奇点是二元碰撞（两个天体间的瞬时碰撞）和三元碰撞（三个天体间的瞬时碰撞），下面对此类状态进行简单讨论。

实际上多体间不太可能发生碰撞（包括二体和三体），因为此前已证明碰撞状态对应勒贝格测度为0的一组初始状态。然而，由于没有对这一初始状态进行研究，以避免相应解出现碰撞奇点。因此，松德曼的求解思路包含以下几大要点:
#通过适当的变量替换，用正则化去分析二元碰撞以外的解。
#用的思路证明只有在角动量L=0时才会发生三元碰撞。将初始状态限制为L ≠ 0，从三体问题的变换方程中去除所有实奇点。
#证明如果L≠0，则不仅不存在三元碰撞，而且系统严格有界远离三元碰撞。通过对微分方程使用柯西存在性定理，证明在以实轴为中心的复平面（符合的阴影）中，证明存在一带状区域（与L取值有关），其中不包含复奇点。
#构造保角变换h(z)=e^\frac{\pi \omega}{2\Omega}，把这一带状区域映射到单位圆盘。他证明了如果（正则化后的新变量），且，则映射可由下面两式得出：

\begin{cases}
\omega=\frac{2\Omega}{\pi}log{1+\tau \over 1-\tau},\\
\tau= \frac{e^\frac{\pi \omega}{2\Omega} - 1}{e^\frac{\pi \omega}{2\Omega} + 1}.
\end{cases}

由此，松德曼证明，l和Ω一旦确定，就可以通过对τ的连续微分计算各项发展，从而证明了三体问题存在收敛级数解。

1985年，中国数学家汪秋栋发表论文《多体问题全局解的存在性》

1967年，和弗雷德里克·彼得斯（C. Frederick Peters）利用数值积分理论建立了这个问题的最终逃逸模型，同时找到了附近的周期解。

20世纪70年代，米歇尔·赫农和罗杰A.布鲁克分别找到了一套特殊解族，这些特殊解族构成了同系列特殊解族: 布鲁克-赫农-哈德吉德梅特里奥解族。在这一解族中，这三个物体都具有相同的质量，可以表现出逆行和直行两种形式。在布鲁克的一些解中，两个物体延相同的轨道运行。

2019年，布林等人训练了一种用于三体问题的快速神经网络，该神经网络使用数字积分器进行训练。因此，目前还需要用数值积分形式的数值分析方法求取近似解，或在某些特殊情况下，使用经典三角级数近似（参见多体模拟）。原子系统，例如原子、离子和分子，可以用量子多体问题来处理。在经典力学系统中，多体系统通常是指一个星系或星系团；行星系统，如恒星、行星及其卫星等也可视为多体系统。一部分可以用扰动理论简化处理，其中系统被视为二体系统加上一个假定导致偏离无扰动双体轨迹的额外力。

文化领域
中国作家刘慈欣围绕三体问题展开创作了《三体》三部曲中的第一部作品《三体》，向公众科普了三体问题。

另見
*N体问题
*多体问题
*混沌理论
*三体 (小说)
*
參考資料
延伸阅读
*
*
*
*
*
*
*
*
*
*

外链
*

#经典力学 #天体力学 #数学物理 #混沌理论 #动力系统 #轨道

评论 (0)

  • 还没有评论，来抢沙发吧。