希尔伯特第六问：物理学的公理化之路冷眼贱客
数学史上，总有一些问题超越了具体猜想的范畴，指向一门学科最根本的根基。希尔伯特第六问题（Hilbert‘s Sixth Problem）便是这样一个问题。它不像哥德巴赫猜想那样是一个“证明某个具体结论”的挑战，而是要求为整个物理学建立一套公理化的数学基础——从几条最基本的假设出发，用严格的逻辑推导出全部物理学定律。这个宏大的纲领在1900年被提出后，困扰了数学家125年之久。
2024年至2025年间，芝加哥大学邓煜教授与密歇根大学教授Zaher Hani、助理教授马骁合作，先后在预印本平台arXiv上发表了两篇论文。他们从服从牛顿定律的硬球粒子系统出发，首次在玻尔兹曼方程存在的完整时间区间内，严格推导出了玻尔兹曼方程，并以此为桥梁进一步推导出了可压缩欧拉方程和不可压缩Navier-Stokes-Fourier方程。这一工作为希尔伯特第六问题中“从原子论到连续介质运动定律”这一核心纲领提供了完整的数学证明。论文已被国际顶尖数学期刊《Annals of Mathematics》接收。邓煜也因此获得了2025年世界华人数学家大会金奖。
历史渊源：从几何公理化到物理公理化
希尔伯特第六问题的思想源头，可以追溯到19世纪数学公理化运动的浪潮。
19世纪中叶，非欧几何的发现动摇了人们对欧几里得几何“唯一真理”的信念。数学家们开始追问：几何学的根基到底是什么？什么是最基本的公理？德国数学家大卫·希尔伯特（David Hilbert，1862-1943）在1899年出版的《几何基础》中，给出了一个划时代的回答。他用一套包含21条公理的严密体系，将欧几里得几何完全公理化，彻底澄清了“点、线、面”这些基本概念的逻辑基础。
这一成功让希尔伯特看到了一种可能性：几何学可以公理化，物理学是否也可以？
1900年8月8日，在巴黎第二届国际数学家大会上，希尔伯特发表了题为《数学问题》的著名演讲，提出了23个他认为将深刻影响20世纪数学发展的重大问题。其中第六问题的题目是“物理学的公理化”（Axiomatization of Physics）。希尔伯特的原话是：“对于那些数学起重要作用的物理学领域，要按照数学的标准，将它们公理化。其中首先要解决的是概率论和力学。”
希尔伯特在后续的讨论中，将第六问题拆解为两个具体目标：其一，概率论的公理化基础（这个问题在20世纪上半叶由柯尔莫哥洛夫解决）；其二，从原子论到连续介质运动定律的数学极限过程。后者构成了希尔伯特第六问题中最核心、也最困难的部分。
这个目标可以进一步表述为两个极限的严格证明：
（i）动力学极限：在适当的极限（粒子数N → ∞、粒子直径→0的Boltzmann-Grad极限）下，从N个粒子系统的微观牛顿力学，推导出单粒子密度函数所满足的介观玻尔兹曼动力学方程。
（ii）流体力学极限：在碰撞频率趋于无穷大的极限下，从玻尔兹曼动力学方程推导出描述流体宏观运动的流体力学方程（欧拉方程、Navier-Stokes方程等）。
简而言之，希尔伯特第六问题的核心是：用纯数学的方式证明，宏观世界的流体力学规律，可以严格地从微观粒子的牛顿定律推导出来。
时间之矢：经典力学与热力学的紧张关系
希尔伯特第六问题的深层动机，与物理学中一个根本性的矛盾密切相关——时间的方向性问题。
牛顿力学具有时间反演对称性：如果你把一段粒子运动的录像倒放，它仍然满足牛顿定律。在一个时间倒流的宇宙里，经典力学的表述形式和我们所熟知的并无任何差异。然而，真实世界充满了不可逆现象：热量总是从高温物体流向低温物体，气体总是扩散而不自發聚集，茶杯总是摔碎而不自發复原。
这些现象由热力学第二定律所刻画：孤立系统的熵总是趋于增加。人类感知时间方向的方式，本质上就是对热力学第二定律的朴素经验。
19世纪中叶，麦克斯韦和玻尔兹曼开始用统计物理的方法，试图从微观粒子的运动来解释宏观的不可逆性。1872年，玻尔兹曼写下了著名的玻尔兹曼方程，并证明了系统的熵沿着该方程单调递增——为热力学第二定律提供了数学支撑。
然而，这一切都停留在形式推导的层面。从严格的数学角度出发，玻尔兹曼方程的推导并非无懈可击。希尔伯特在1900年正式提出：需要从数学上严格证明，在合适的尺度极限下，可以从微观牛顿粒子系统推导出介观玻尔兹曼方程，再推导出宏观流体方程。这就是希尔伯特第六问题的数学内核。
从某种意义上说，如果希尔伯特第六问题被完全解决，就相当于为牛顿力学“找回了时间的方向”——用微观的可逆定律，严格推导出宏观的不可逆现象。
证明历程：从Lanford到邓煜团队的接力
希尔伯特第六问题的证明历程，如同一场跨越125年的接力赛。
1975年：Lanford的里程碑
最早的重大突破来自美国数学家奥斯卡·兰福德（Oscar Lanford）。1975年，兰福德在稀薄气体硬球系统（把气体分子看作相互弹性碰撞的硬球）的Boltzmann-Grad极限下，证明了短时间内从牛顿动力学到玻尔兹曼方程的推导。
所谓“短时间内”，是指时间长度远小于粒子两次碰撞之间的平均自由时间。兰福德的定理是开创性的，但它有一个根本局限：它只能覆盖玻尔兹曼方程解存在的时间区间中非常短的一小段。对于更长的时间——也就是物理学家真正关心的、玻尔兹曼方程能够有效描述系统行为的时间尺度——兰福德的方法失效了。
Oscar Lanford
1975-2024年：持续但受限的进展
在随后的近半个世纪里，数学家们不断改进和推广兰福德的结果。Bodineau、Gallagher、Illner、Pulvirenti、Saint-Raymond、Simonella、Texier等学者在多个方向上推进了这一领域。然而，这些工作大多仍然局限在短时间内，或者只能处理从真空附近出发的特殊解。
一个具有一般性的长时间推导结果，始终是未解之谜。
2021年秋：邓煜的灵感浮现
转机出现在2021年秋天。当时，邓煜在一次散步中偶然获得了一个灵感：“我找到了一个大的递归框架，它能将复杂的长时间问题分解为一系列短时间问题。”
这个框架的核心思路是：长时间的问题之所以困难，是因为粒子之间的碰撞历史极其复杂。如果你能设计一种方法，把长时间演化“分层”切割成无数个短时间片段，并在每一个片段上控制误差的累积，就有可能把短时间的结果延拓到任意长的时间。
然而，邓煜坦言：“我们一开始甚至不知道这个框架的本质是什么，只是发现它有一种神奇的抵消性。”最初的思路甚至是错的。后来通过与动理学理论学者的深入交流，并基于自身在波动湍流领域的长期观察，研究才转向了正确的路径。
2024年8月：第一篇论文——动力学极限的证明
2024年8月，邓煜、Zaher Hani和马骁在arXiv上上传了第一篇论文《Long time derivation of Boltzmann equation from hard sphere dynamics》。这篇164页的论文首次解决了长时间情况下从硬球动力学到玻尔兹曼方程的严格数学推导。
他们的证明覆盖了玻尔兹曼方程存在的完整时间区间。这是对兰福德1975年里程碑式定理的全面推广。
2025年3月：第二篇论文——流体力学极限的证明
2025年3月3日，邓煜、Hani和马骁在arXiv上上传了第二篇论文《Hilbert‘s sixth problem: derivation of fluid equations via Boltzmann’s kinetic theory》。这篇48页的论文从硬球粒子系统出发，严格推导出了流体力学的基本偏微分方程，包括可压缩欧拉方程和不可压缩Navier-Stokes-Fourier方程。
这篇论文与此前的动力学极限工作相结合，完整地解决了希尔伯特第六问题中从牛顿定律经由玻尔兹曼动理学理论推导流体方程这一纲领。
两篇论文合计超过200页。邓煜说：“这篇论文多达200页，但它的关键之处其实就在那么几步，而且是简洁清晰的思路。”
核心思路：邓煜团队的突破性方法
邓煜团队的工作之所以能够突破长达半个世纪的瓶颈，关键在于他们引入了一套全新的数学工具。
问题本质：为何长时间推导如此困难？
要理解他们的突破，首先需要理解问题的本质困难。从N个牛顿粒子到玻尔兹曼方程，核心在于验证一个被称为“混沌传播假设”（propagation of chaos）的关键命题。
所谓混沌传播，是指这样一个性质：如果在初始时刻系统中所有粒子的物理状态（位置和速度）是相互独立的，那么随着时间演化，在任意时刻，任意有限个粒子的状态也保持相互独立。这个假设是玻尔兹曼“分子混沌”假说的数学表达，也是从微观到介观过渡的核心。
在短时间内，兰福德证明了混沌传播成立。但在长时间内，粒子之间经历了无数次碰撞，相关性可能随时间累积。如何控制这种累积、证明混沌在长时间内仍然“传播”——这正是邓煜团队攻克的难关。
四大核心工具
邓煜团队在普林斯顿大学的一次报告中，将他们的证明方法总结为四大核心工具：
（1）时间分层论证
这是整个证明的骨架。邓煜在2021年秋天散步时获得的灵感，正是这个递归框架。其核心思想是：将长时间区间0,T0,T切割成大量短时间区间。在每个短区间上，兰福德的短时间定理仍然成立。关键在于设计一种递归机制，使得前一个区间的误差不会在下一个区间中被放大，而是可以被控制住。这种“分层”策略使得短时间的结果可以被延拓到任意长的时间。
（2）累积量假设
这是邓煜团队最具原创性的贡献之一。传统的做法是直接追踪粒子之间的相关性，这在长时间内变得极其复杂。邓煜团队转而引入了一个“累积量”（cumulant）概念，用来编码粒子碰撞的完整历史。累积量可以理解为对粒子间相关性的一种“压缩表示”——它把大量的碰撞信息打包成一个可以追踪和控制的数学对象。这个方法的精妙之处在于：它不试图追踪每一次碰撞的细节，而是追踪碰撞历史的“累积效应”。
（3）碰撞历史积分分析
在累积量假设的基础上，邓煜团队构造了一个由粒子碰撞历史定义的积分对象。这个积分包含了从初始时刻到当前时刻所有可能的碰撞路径的信息。分析的难点在于：随着时间增长，可能的碰撞路径数量呈指数增长。邓煜团队证明了这个积分在长时间内仍然可控——其关键是一个“神奇的抵消性”。不同碰撞路径之间的贡献相互抵消，使得总体效应不会失控。
（4）精巧的组合算法
为了控制上述碰撞历史积分，邓煜团队设计了一套精心构造的组合算法。这个算法负责枚举和分类所有可能的碰撞路径，并对每一类路径给出精确的估计。算法的核心是一个递归结构：每一层递归对应一次额外的碰撞，而递归的终止条件由时间分层论证提供。这套组合工具使得极其复杂的碰撞历史变得可以数学处理。
从微观到宏观的三级跳
将上述工具综合起来，邓煜团队完成了一次“三级跳”：
微观层（牛顿力学） ：N个硬球粒子遵循牛顿定律运动，构成一个自由度极高的动力系统。
介观层（玻尔兹曼方程） ：在Boltzmann-Grad极限下，粒子的集体行为收敛到单粒子密度函数所满足的玻尔兹曼方程。
宏观层（流体方程） ：在流体力学极限下，玻尔兹曼方程的解收敛到流体力学方程（欧拉方程、Navier-Stokes方程等）的解。
邓煜用一个通俗的比喻解释了这一工作的本质：想象数万亿个如“台球”般永不停止、相互碰撞的微观粒子，每个都精确遵循牛顿定律，其运动复杂程度近乎无穷。他们不再追踪每个“台球”的轨迹，而是转向分析粒子群体的整体统计行为。当粒子数量趋于无穷时，这种集体行为会精确地收敛于玻尔兹曼方程所描述的规律。“这是一个化繁为简的过程。”邓煜说。
鉴于该成果的重要性，论文发表后迅速引起了国际数学界的广泛关注。
