邓煜 · 2026 Fields Medal · Hilbert 第六问题

从硬球到 Boltzmann

左侧每颗硬球都服从确定性的弹性碰撞；右上只保留速率分布；右下把一颗粒子的碰撞过去编织成图。一次紫色回碰，会把简单的分叉历史闭合成相关环路。

硬球数

N

碰撞频率0/s

回碰占比0.0%

追踪粒子#017 · 0 次碰撞

先抓重点

\mathbf v_i'=\mathbf v_i-\bigl((\mathbf v_i-\mathbf v_j)\cdot\mathbf n\bigr)\mathbf n

沿碰撞法向 $\mathbf n$ 的相对速度发生交换，切向分量保持不变；Lab 左侧逐次执行这一规则。

\left(\partial_t+\mathbf v\cdot\nabla_{\mathbf x}\right)f=Q(f,f)

$f(t,\mathbf x,\mathbf v)$ 记录单粒子统计分布，碰撞算子 $Q$ 汇总二体碰撞对分布的净影响。

N\varepsilon^2\longrightarrow 1,\qquad N\longrightarrow\infty,\ \varepsilon\longrightarrow0

粒子数 $N$ 增长、直径 $\varepsilon$ 缩小，同时保持平均碰撞频率在合适尺度上。

容易误解粒子很多、直方图很平滑，就说明 Boltzmann 方程已经被严格推出。

正确理解有限模拟只能提供直觉。严格定理必须控制极限误差、坏碰撞历史和解的存在区间。

容易误解同一对粒子再次相遇只是多一次随机碰撞，对统计独立性没有特别影响。

正确理解回碰会闭合碰撞历史中的环路，让先前交换过的信息重新相遇；这正是长时间估计必须处理的相关结构。

01
同时看两种语言
保持“动理学尺度”，比较左侧逐颗运动与右上分布。暂停后仍能看见：微观状态是一个具体点，分布却是压缩后的整体轮廓。
应该观察到： 粒子轨迹不断改变，统计曲线只做小幅呼吸。
02
追踪一次碰撞过去
点击一颗硬球，观察琥珀轨迹和右下碰撞分子图。等待紫色连接出现。
应该观察到： 普通碰撞扩展出分叉；同一粒子对再次碰撞时，紫色连接标出一个回碰环路。
03
用拥挤对照破坏稀薄直觉
在“稀薄气体”和“拥挤对照”之间切换，比较碰撞频率与回碰占比。
应该观察到： 拥挤系统更快积累复杂碰撞历史，也更不接近定理所需的稀薄情形。

模型边界

画面让什么可见，定理又真正证明了什么

这个有限 Lab

动画展示确定性轨迹、压缩后的单粒子分布、碰撞历史的增长，以及同一粒子对再次相遇形成的环路。它是二维、有限且为可读性而夸张的教学模型。

Deng–Hani–Ma

引用工作在对应 Boltzmann 解存在且满足论文假设的范围内，证明三维稀薄硬球动力学可在任意长时间上收敛到 Boltzmann 方程；后续论文再从动理学连接到流体方程。