MathLabs

未解决问题,数学物理,1900年提出

希尔伯特第六问题

部分解决希尔伯特 #6

仿照几何学的方法,用公理化方式处理那些数学已发挥重要作用的物理学科——首先是概率论与力学——并从数学上严格发展诸如玻尔兹曼气体动理论之类的极限过程,使之从 NN 个碰撞粒子的原子论图景在 N→∞N \to \infty 时过渡到连续介质流体的运动定律。

研究前沿 截至2026年

截至2026年,希尔伯特第六问题已获部分解决:其概率论分支已由柯尔莫哥洛夫1933年的测度论公理完全解决,而其经典动理论分支——从原子论的牛顿力学推导连续介质流体力学——则在2024–2025年取得了里程碑式的突破。在兰福德1975年定理之后的五十年间,由于重碰撞历史呈阶乘级增长,在玻尔兹曼-格拉德极限 Nεd−1=1N\varepsilon^{d-1}=1 下从 NN 个硬球严格推导玻尔兹曼方程的结果一直被困在平均自由时间的一小部分之内。在2024年11月和2025年3月发布的预印本(arXiv:2503.01800)中,邓煜、扎赫·哈尼与马骁引入了分层集团展开与树剪枝方案,只要目标玻尔兹曼解保持光滑,就能在 T3\mathbb{T}^3 上任意宏观时间区间内控制重碰撞,并进一步结合流体力学标度极限,直接从牛顿定律推导出可压缩欧拉方程和不可压缩纳维-斯托克斯-傅里叶方程,从数学上阐明了宏观时间不可逆性如何从时间可逆的粒子碰撞中涌现。与此同时,将整个物理学(尤其是四维相互作用量子场论与量子引力)公理化的更宏大目标仍然悬而未决。

已知最佳结果

  • 基于 (Ω,F,P)(\Omega, \mathcal{F}, \mathbb{P}) 的概率论测度论公理化(柯尔莫哥洛夫,1933年)与量子力学的希尔伯特空间公理化(冯·诺依曼,1932年)。
  • 在玻尔兹曼-格拉德极限 Nεd−1=1N\varepsilon^{d-1} = 1 下从牛顿硬球短时间严格推导玻尔兹曼方程(兰福德,1975年)。
  • 从 T3\mathbb{T}^3 上的硬球系统长时间推导玻尔兹曼方程并取流体力学极限得到可压缩欧拉方程与不可压缩纳维-斯托克斯-傅里叶方程(邓–哈尼–马,2025年预印本,arXiv:2503.01800)。

使用的方法及其局限

方法取得的结果局限所在
测度论概率与算子代数为经典概率论(柯尔莫哥洛夫,1933年)以及非相对论量子力学与代数量子场论(冯·诺依曼、怀特曼、哈格-卡斯特勒)提供了清晰普适的公理化框架。写下公理本身并不能证明非平凡的四维相互作用模型(如四维杨-米尔斯理论)确实存在并满足这些公理。
BBGKY层级与杜哈梅级数(兰福德方法)通过碰撞树表示 kk 粒子边缘分布,并在玻尔兹曼-格拉德极限下证明短时间区间 t<t0t < t_0 内收敛到玻尔兹曼方程。深度为 nn 的碰撞树数量按 n!n! 增长,导致朴素的杜哈梅级数在大约五分之一个平均自由时间后发散——这一时间过短,无法进一步取流体力学极限得到流体方程。
分层集团展开与碰撞历史剪枝(邓–哈尼–马)将长时间区间分解为薄时间层,对层间关联作累积量展开,并控制不良重碰撞分子图,从而在 T3\mathbb{T}^3 上达到任意宏观时间并导出流体极限(2025年预印本)。要求周期边界条件(T3\mathbb{T}^3)、硬球碰撞以及极限玻尔兹曼/流体解保持光滑的区域;具有奇性的流体区域与一般的长程力情形仍未解决。

尚未解决的问题

  • 玻尔兹曼方程与流体方程的长时间推导能否从 T3\mathbb{T}^3 上的硬球系统推广到具有物理边界的区域以及一般的短程或长程相互作用势?
  • 四维相互作用量子场论与相对论引力能否建立在统一且数学上严格的公理化基础之上?

参考文献

  1. David Hilbert (1900). Mathematische Probleme
  2. Andrey N. Kolmogorov (1933). Grundbegriffe der Wahrscheinlichkeitsrechnung
  3. Oscar E. Lanford III (1975). Time evolution of large classical systems · DOI:10.1007/3-540-07171-7_1
  4. Yu Deng, Zaher Hani, Xiao Ma (2025). Hilbert's sixth problem: derivation of fluid equations via Boltzmann's kinetic theory · arXiv:2503.01800 [预印本,未经同行评审]