玻尔兹曼方程——时间为什么不能倒流的数学证明

玻尔兹曼的出招：只数人头，不管身份

1872年，路德维希·玻尔兹曼面对一团乱麻：一团气体里有10²³个分子，每个的位置和速度都不同。想精确跟踪每个分子的轨迹？不可能，也不必要。

他的想法很巧妙：把装气体的空间切成小格子。每个格子对于宏观来说小到可以当一个点，但对于微观来说又大到包含无数分子。然后他不问每个分子具体在干什么，只问：这个格子里，速度落在某个范围的分子有多少？

这个统计结果被记作 f(t, x, v)——t 时刻、在 x 位置附近、速度为 v 的分子密度。

有了这个 f，宏观量就能算出来：粒子密度、温度（分子动能越大越快越热）、压强（分子撞击容器壁的冲击力总和）。连理想气体状态方程都能从这个 f 推导。

玻尔兹曼写出一个方程——左边描述粒子不碰撞时的自由飞行，右边描述碰撞带来的速度改变。简单说就是在统计粒子的"进账"和"出账"：多少粒子从别处漂移过来，多少因为撞上别人改了速度而离开。

H 定理和它的名字：熵

有了方程，就能推演演化方向。玻尔兹曼定义了一个量 H：

H = ∫ f·log f d (所有速度和位置)

他发现，只要碰撞发生，H 就一定会下降。无论碰撞的方向怎么走——快的撞慢的，还是慢的撞快的——算下来 H 只会减少，不会增加。

取个负号，这个量就是信息论里的信息熵。H 下降等于在说：系统在向更混乱、更均匀的状态跑。一缸热水不会自动排成一半烫一半冰——不是因为物理不允许，而是因为 10²³ 个分子的组合数太可怕了，均匀分布的状态远远多于不均匀的状态。抛100枚公平硬币，正反各50的概率远大于全正面——这是同一个道理放大到天文数字。

洛施密特的刁难：你把速度反过来试试

1876年，洛施密特（Loschmidt）抛出一个思想实验：气体充满容器后，把所有分子的速度瞬间取反。

每个分子的运动方向全变了，但牛顿定律对此毫无意见——把一部台球录像倒放，每一帧碰撞依然符合物理。所以从这一刻开始，系统会沿着原路退回，气体重新缩回左半边。熵就会减少，H 就会升高。

这和玻尔兹曼的 H 定理直接冲突。既然速度反向的粒子状态是物理上合法存在的，那 H 定理的证明就一定在某个地方藏了一个额外的假设，偷偷排除了这种回退的可能性。

分子混沌——一个不起眼的关键假设

玻尔兹曼的回答有点狡猾："那好啊，你去把 10²³ 个分子的速度全反过来试试。"确实，要做到这件事，你得把所有分子的速度精度调到匪夷所思的程度。几光年外1克物质挪动产生的引力扰动，就足以破坏这种精巧安排。

但真正的问题出在 H 定理证明中的一步。玻尔兹曼假设了两个碰撞粒子的速度之间没有特殊关联。也就是说，一个速度为 v₁ 的粒子撞上一个速度为 v₂ 的粒子，这件事的概率就是各自概率直接相乘。这个假设叫分子混沌（Molecular Chaos，也叫 Stosszahlansatz）。

为什么要这个假设？因为有相关性的话情况完全不同。一群粒子速度都指向同一个中心——碰撞后全往中心汇聚，最后除了一个带着所有动量飞出去的"独苗"粒子，其余都静止下来。反过来，这个独苗粒子冲出去精确炸开一堆规整排列——这种巧合在 10²³ 个粒子中根本就不可能自然出现。

回到洛施密特的实验：气体刚充满容器的那个瞬间，分子之间确实存在微妙的关联——很多分子还带着"刚从左边冲过来"的记忆。往后正常发展，这些关联不影响熵增。但往回调，关联就显现出来，系统沿着精心设计的路径往回退。

问题是：玻尔兹曼只是断言了分子混沌有效，没有从数学上证明它。希尔伯特在1900年提出的第六个问题，就是要人把这个"断言"变成数学定理。

兰福德的半步：只走了亿分之一秒

从牛顿力学推出玻尔兹曼方程这条路卡了整整一个世纪。

1958年，美国数学家格拉德（Harold Grad）提出了一个路子：让粒子数量趋于无穷，同时让粒子半径趋于零，但要保持一个微妙的平衡，使得气体总体保持稀薄。每个粒子平均只会撞上常数个同伴。这被称为稀薄气体极限或玻尔兹曼-格拉德极限。

1975年，美国数学家兰福德（Oscar Lanford III）在这个框架下迈出第一步。他从硬球牛顿力学出发，真的推出了玻尔兹曼方程——但只在极短时间范围内管用。大约是平均碰撞时间间隔的几分之一，换算成真实时间，只有10^-10 秒。

兰福德的工具是碰撞图（collision diagram）。把粒子的飞行轨迹画成线——时间轴往上走，每次碰撞就是一个节点，四条线汇合。如果一张图里没有环——那么所有概率都可以拆成独立乘积，分子混沌成立。每一棵树对应玻尔兹曼方程展开的一项，把所有树加起来就是方程本身。

但麻烦就在环。当 A 撞过的粒子经过一系列碰撞回头又撞上 A，这两个粒子就不再是萍水相逢的关系。A 自己种下的因回头成了果。兰福德证明了在稀薄极限下这些环的概率趋近于零。但这本质上是等比数列求和，要求公比的绝对值小于1。这意味着他的证明只能在短时间成立——时间一长，环大量涌现，数列就不再收敛。

剪网算法：拆掉关联，只追主干

之后50年，没有人能把兰福德的"短时间内成立"扩展到任意长时间。碰撞的时间越久，粒子之间的关联越多越复杂。

2025年，邓煜、Zaher Hani 和马骁三个人跨过了这道屏障。

他们的核心思路听起来很自然但实现极为精巧：把整个时间轴切成很多层。每到一个新时间层，把那些已经可以独立计算的部分"剪"掉——这些主干已经非常接近玻尔兹曼方程的解了，不需要再向过去追溯。只有那些仍然带着关联的部分，才继续往过去查：它们的上一层是怎么形成的？更上一层又牵扯了哪些粒子？

论文算清楚了这件事：要重新撞上一个半径只有 ε 的目标粒子，概率要乘以 ε^γ 这么小的一个因子。碰撞图中环状结构的贡献会以 log(ε)^C × ε^γ 的速度趋近于零——任何对数的增长都打不过一个正幂次的衰减。环虽然多，但它们要求的几何巧合更严格。

于是，在稀薄硬球气体和光滑解的经典框架下，从牛顿力学到玻尔兹曼方程的证明终于走通了。而且只要玻尔兹曼方程本身的光滑解能维持多久，这条推导链就能维持多久。t 可以是任意事先给定的有限时间，不再是只能跑 10^-10 秒。

一条125年的路

1900年希尔伯特在巴黎画出的三步路线图——牛顿力学 → 玻尔兹曼方程 → 流体方程——在三个不同时代被各自走通。

• 第二步（玻尔兹曼方程 → 流体方程）最早完工。希尔伯特本人1912年开了头，Chapman 和 Enskog 在一战期间各自改进展开方式，到1980年代之后才由一批数学家完成严格证明。
• 第一步（牛顿力学 → 玻尔兹曼方程），从兰福德1975年迈出半步，到邓煜团队2025年走完全程，正好50年。

从一个遵循可逆定律的小球，到一杯水、一阵风和一个不可逆的宏观世界——中间没有魔法，只有概率、几何、组合和分析搭起来的一座桥。