章节摘要:本章跟着一份猎物清单走——通解的大门在十九世纪被锁死之后,猎人们转而在相空间里寻找规则运动的孤岛。从拉格朗日的五座灯塔,到八字轨道的惊鸿一瞥,再到计算机扫出的上千族周期解与自由下落的奇异物件,本章逐一复盘每种猎物的发现路径、数学身份与稳定成色。
第 2 章的结论是一张"通缉令的反面":全面围猎三体已无可能,但可积性破产宣布的只是"海面大都是深渊",并没有禁止海面上有岛屿。事实上,孤岛不但有,而且一代比一代多:十八世纪用对称性捞到五个平衡点;二十世纪末用计算机捞到等质量的八字轨道;二十一世纪用参数扫描捞到上千族周期解。本章就是一份清点库存的清单——每节认领一种猎物,交代它的发现方式、初值数据与稳定成色。
清点的顺序暗合猎具的进化。先看灯塔:它们是纸笔时代的产物,靠对称性与旋转系几何定位,今天撑起了整个航天工程的泊位系统。再看八字:它的发现靠计算机试出来的直觉,身份靠变分法的一纸证明,是"数值发现加数学确权"这一现代流程的首个范本。然后是大家族:当扫描代替猜想,解的繁衍速度超过了给它们起名的速度。最后是自由下落与多体奇点:最靠近奇点的地方,藏着这个学科最锋利的未解问题。
第一站「拉格朗日的五座灯塔」走进圆型限制性三体的旋转坐标系:在有效势的等高线地形上找出五个平衡点,推导共线三点的位置方程与三角两点的稳定判据,并用特洛伊小行星验证"数学珍玩挂在天上"的百年预言。这一站的产出最直接——第 6 章的航天泊位全部由它供货。
第二站「八字轨道」复盘一场漂亮的协作:摩尔在 1993 年用计算机撞见等质量三体沿 8 字形追逐的周期轨道,尚晨与蒙哥马利在 2000 年用变分法证明它存在且线性稳定。本站给出可直接运行的初值数据,让你亲手把 8 字跑出来,并检查它对扰动的抵抗力。
第三站「周期解大家族」把镜头拉远:等质量平面三体的初值空间利用对称性后只剩两个自由参数,扫描加上牛顿精修,先有苏瓦科夫与德米特拉希诺维奇的十三族,再有李晓明与廖世俊团队的数百族到上千族。本站解释"一族解"的确切含义,以及为什么这些解被起了蝴蝶、蝌蚪、月琴这样的名字。
第四站「自由下落与五体奇点」抵达猎场最深处:初速全零的下落问题、双星之间上下穿行的 Sitnikov 振荡,以及夏志宏在 1992 年解决潘勒韦猜想时构造的五体非碰撞奇点——有限时间内有质点被甩向无穷远。奇点问题是这条清单上唯一还开着的悬案。
本章的认知转折发生在第二站与第三站之间:周期解不是靠灵感猜出来的,而是靠流程"生产"出来的。八字之后,发现特殊解的瓶颈从数学洞察转移到了计算流程——参数化、扫描、判据、精修,四道工序一经定型,解的产量就从"三百年五座灯塔"跳到"十年上千族"。猎具的进化第一次跑在了理论前面。
章末的落点是一个风险提示:孤岛再多,在混沌海面上的测度依然是零。特殊解的价值不在"覆盖多大面积",而在三件事上——它们是稳定性的标本(可以严格证明稳定或不稳定)、是验证积分器的标尺(规则轨道算错比混沌轨道更容易察觉)、是工程可直接利用的资产(泊位就设在灯塔上)。
清点完猎物,该造猎具了。下一章的数值实验台从最小可用的三体积分器搭起,把本章用来发现猎物的流程一件件拆开给你看:辛积分器为何能守住能量、庞加莱截面如何把混沌拍成照片、参数扫描流水线如何用一行判据决定一个初值的生死。第 3 章的猎物,下一章全部变成实验对象。