5.2 三体结局分类学：分离、离子化与 Heggie 定律
5.2 三体结局分类学：分离、离子化与 Heggie 定律
本节摘要：混沌轨道折腾够了之后，长期归宿其实寥寥可数：分离（抛出一个单体、剩下两个结成双星，最常见的结局）、离子化（三体各自散伙，需要正能量预算）与短暂的捕获-再散伙。本节用能量簿记给结局立判据，用散射实验引入截面语言，并解释星团动力学的支柱结论——Heggie 定律：硬双星越结越硬，软双星越拆越软。
先给"结局"立规矩
谈结局之前要先定义"剧终"。三体系统的演化可能极其漫长，严格说多数初值的未来都谈不上"结束"；实践中的做法是让判据介入：当某个天体与另外两个的距离持续单调增长、且能量簿记确认它已携带正的单体能量，就认定"分离已成定局"。这个操作定义让统计成为可能——你可以跑一万条轨道、给每条盖一个结局章、数出概率。概率语言一旦可用，混沌的"不可预测"就转化为"可统计"，这正是本章主线的落点。
能量簿记：结局的会计判据
判结局只看一张账：总能量在"三对两两"之间怎么分。设三体总能量为 E（第 2.1 节的负势能约定），则：
分离结局：总能量为负时，系统的唯一出路是"双星加单星"——束缚能留在双星内，第三个天体带走剩余的正动能远走高飞。被抛出的多半是最轻的那个：倒手能量时，轻者同样动能对应更高速度，最先跑出逃逸走廊。第 4 章布劳问题（质量 3、4、5）的终局就是教科书样本：质量 3 单飞，4 与 5 结绑。
离子化结局：三个天体全部散伙，要求每个天体都携带非负能量——只有总能量为正（或恰好为零的临界情形）才付得起这笔预算。在封闭系统的散射实验里（双星加一颗来客），来客动能足够高时可以把双星当场打散，三人各奔前程。
捕获与再散伙：总能量为负的"双星加来客"系统里，来客可能被暂时俘获、与原双星成员互换，形成新的双星——但封闭三体的纯引力演化里，暂时捕获终将以某次分离收场（这正是统计实验给出的主旋律）。捕获要成为永久的，必须有第三方收走能量——星团里这个"第三方"就是全体其他恒星，这也解释了为什么真实星团能长期保有三体结构。
💡 记账口诀：负总能量必分家，正总能量可散伙，永久捕获要有外人买单。三句话覆盖全部结局的会计逻辑。
散射实验与截面语言
把结局做成定量科学的是散射实验的设计：制备一条标准双星，从远处发射一颗单星，扫过不同的入射动能与瞄准距离，统计各种结局出现的参数区域。这类实验的产出是截面——某结局发生概率的等效面积。结论的骨架是：低动能来客多半被弹开、双星完好（飞掠）；中等动能在"交换"区间晃荡——来客挤掉双星的一员、自己入赘；高动能才能撕开软双星实现离子化。二十世纪六十年代起，阿格基扬与阿诺索娃等人的封闭三体统计实验补齐了另一半图景：随机初始的封闭三体，绝大多数终局是分离——单飞者多为最轻者，双星由较重的两位留守。这个"多数结局"后来成为星团演化模拟的基石假设。
图 5-3 三种结局的漫画像
Heggie 定律：星团里的双向旋钮
1975 年赫吉指出的这条经验定律是三体散射统计最漂亮的产出：硬双星在交会中越变越硬，软双星越变越软。"硬"的定义是账面上的：双星的束缚能（负值取绝对值）高于场内恒星典型动能，就算硬。交会倒手能量时，硬双星倾向于从来客身上吸走动能、把束缚收得更紧；软双星则倾向把束缚能拆成来客的动能、把自己放松。久之，星团里的双星族群两极分化：一小撮越抱越紧的硬双星，和一批被拆散的软双星。
定律的深层意义在于它把微小的三体散射和宏观的星团演化接通了：球状星团核心收缩、双星加热、甚至 X 射线双星的富集，账本源头都是这条三体级的能量倒手规则。第 6 章的天文现场会回访这些场景。
动手实验：写一个结局自动判读器
实验背景：把本章的会计判据变成代码——输入任意末态，自动盖章分类。操作：对每个天体计算它与另外两个的"单体能量"（自身动能加它与二者势能的一半——按均摊惯例），据此判别谁携带正的单体能量；再结合两两距离的增长趋势输出结论。代码如下：
import math def classify(m, q, v): """m: 三个质量；q: 三个位置；v: 三个速度。返回结局标签""" n = 3 KE = [0.5 * m[k] * (v[2 * k] ** 2 + v[2 * k + 1] ** 2) for k in range(n)] def dist(i, j): return math.hypot(q[2 * j] - q[2 * i], q[2 * j + 1] - q[2 * i + 1]) U = [[0.0] * n for _ in range(n)] total = sum(KE) for i in range(n): for j in range(i + 1, n): u = -m[i] * m[j] / dist(i, j) U[i][j] = U[j][i] = u total += u # 单体能量：动能 + 与另两体势能各摊一半 solo = [] for k in range(n): others = [i for i in range(n) if i != k] u_half = sum(U[k][i] * 0.5 for i in others) solo.append(KE[k] + u_half) escapers = [k for k in range(n) if solo[k] > 0] if total < 0 and len(escapers) >= 1: lightest = min(escapers, key=lambda k: m[k]) return f"分离结局：天体{lightest + 1}（质量{m[lightest]}）携带正能量单飞" if total > 0 and len(escapers) == 3: return "离子化结局：三体全部携带非负能量，各自散伙" return "中间态：暂时束缚，判据尚不能定局" # 演示一：布劳问题终局的量级（人工构造的末态示意） print(classify([3.0, 4.0, 5.0], [40.0, 0.0, -1.0, 0.0, 1.2, 0.1], [1.5, 0.2, -0.1, 0.3, 0.05, -0.2])) # 演示二：正能量系统 print(classify([1.0, 1.0, 1.0], [0.0, 0.0, 5.0, 0.0, -5.0, 0.0], [0.4, 0.0, 0.0, 0.5, 0.0, -0.5]))
结果：演示一盖出"分离结局"章（最轻的单体已被推到远处并携带正能量）；演示二盖出"离子化结局"章。解读：判读器的核心是那行均摊惯例——势能是"两两共有"的，分给单体时各摊一半；不同摊法只在临界情形改变结论，统计意义上不影响大局。变式：把判读器接到 4.1 节的布劳积分器尾部，对不同步长跑出的末态自动盖章——你会发现步长足够小时章型稳定，步长放大后章型开始翻转，结局的"数值可靠性"与"物理结论"就此接上头。
本节要点回顾
- 操作定义：结局判据以"距离单调增长加能量簿记"为准，让统计成为可能——混沌的不可预测转化为可统计；
- 会计口诀：负总能量必分家（双星加单飞者，多为最轻），正总能量可散伙（离子化），永久捕获要有外人买单；
- 截面语言：双星加来客的散射实验把结局变成可测概率，交换反应盘踞中能区间；
- Heggie 定律：硬双星越硬、软双星越软，三体级的能量倒手支撑起星团演化的宏观账本；
- 判读器：势能均摊加单体能量判据，末态自动盖章——把它接到积分器尾部，数值可靠性与物理结论一次验收。
结局的统计图景有了，还剩最后一块拼图：规则与混沌的边界长什么样、为什么放大了看还有花纹。下一站走进分形的边界地带。