等质量硬球的弹性碰撞
两球沿碰撞法向 的速度分量互换，切向分量不变；左侧画面每次碰撞都按这条规则计算。
邓煜 · 2026 Fields Medal · Hilbert 第六问题
从硬球到 Boltzmann
怎样从硬球碰撞的 Newton 力学，严格推出 Boltzmann 方程？ 气体足够稀薄时，可以不再追踪每颗球，只看位置和速度的分布，它服从 Boltzmann 方程。难点在回碰：两颗球再次相遇，会带回上次碰撞留下的相关性。邓煜和合作者严格控制了碰撞历史的增长，回碰也算在内，从 Newton 力学推出了这个方程。
左侧每颗硬球都按确定性的弹性碰撞运动；右上方只保留速率分布；右下方把一颗粒子过去的碰撞编成一张图。出现一次紫色回碰，原本只会分叉的历史就接成一个相关环路。
硬球数 88
碰撞频率0/s
回碰占比0.0%
追踪粒子#017 · 0 次碰撞
物理教程
从逐颗硬球到动理学方程
背景在微观层面，每次弹性碰撞都由粒子的位置和速度唯一决定。到了介观层面，我们不再区分哪颗是哪颗，只追踪位置—速度空间里的密度。
为什么值得理解难点不只是得到一个短时间近似。碰撞历史越来越长，还有回碰和相关性，把这些都控制住，统计描述才能在长时间里依然可靠。
先抓重点
- 核心问题
- 何时可以忘掉每颗粒子的完整轨迹，却仍然正确预测整体分布？
- 一句话直觉
- Boltzmann 方程没有取代 Newton 定律；它是在稀薄极限下，把海量确定性轨迹压缩之后得到的有效描述。
核心数学模型
Boltzmann 动理学方程
是单粒子分布函数，碰撞算子 给出所有二体碰撞对分布的净效果。
三维 Boltzmann–Grad 稀薄极限
粒子数 增大，直径 缩小，两者同步变化，平均碰撞频率始终保持在合适的尺度上。
常见难点
动画不是证明
容易误解粒子很多、直方图很平滑，就说明 Boltzmann 方程已经被严格推出。
正确理解有限模拟只能给人直觉。严格的定理必须控制极限过程的误差、坏的碰撞历史，以及解存在的时间区间。
回碰不是普通噪声
容易误解同一对粒子再次相遇，不过是多碰了一次，对统计独立性没有特别影响。
正确理解回碰会在碰撞历史里接成一个环，让早先交换过的信息再次相遇。长时间估计必须处理的，正是这种相关结构。
动手实验
- 01
同时看两种描述
保持“动理学尺度”，比较左侧逐颗粒子的运动和右上方的分布。暂停后也能看出：微观状态是一个具体的点，分布则是压缩后的整体轮廓。
你会看到： 粒子轨迹一直在变，统计曲线只在稳定的形状附近轻轻起伏。 - 02
追溯一颗粒子的碰撞历史
点击一颗硬球，看它的琥珀色轨迹和右下方的碰撞分子图，等紫色连线出现。
你会看到： 普通碰撞让历史不断分叉；同一对粒子再次相碰时，紫色连线标出一个回碰环路。 - 03
和拥挤气体对比
在“稀薄气体”和“拥挤对照”之间切换，比较碰撞频率和回碰占比。
你会看到： 拥挤系统积累复杂碰撞历史更快，离定理要求的稀薄情形也更远。
模型的局限
动画让人看到什么，定理又证明了什么
把问题的难点放大来看
动画展示确定的粒子轨迹、压缩后的单粒子分布、碰撞历史怎样增长，以及同一对粒子再次相遇形成的环路。它是一个有限的二维教学模型，为了看得清楚，故意画得夸张。
对长时间成立的严格结果
引用的论文证明：只要对应的 Boltzmann 解存在，并且满足论文的假设，三维稀薄硬球动力学在任意长的时间上都收敛到 Boltzmann 方程。配套的另一篇论文再从动理学推到流体方程。