数码新声
8小时前来自 科学看点

邓煜如何攻克希尔伯特第六问题?

一、问题的历史与核心挑战

希尔伯特第六问题是1900年大数学家大卫·希尔伯特提出的23个问题之一,目标是实现物理学的公理化处理。其核心分支之一要求从微观粒子系统推导出宏观流体方程,即在微观世界(牛顿定律掌管的单个分子运动)与宏观世界(可观的气流、水流)之间搭建一座严格的数学桥梁。

根本难点在于牛顿力学具有时间可逆性,而描述大分子群行为的玻尔兹曼方程却是时间不可逆的。

过去的证明只能在一段很短的时间范围内成立,一旦时间延长,粒子之间的碰撞会形成极其复的关联,导致推导链断裂。

二、解题团队的形成与灵感

邓煜与其核心合作者扎希尔·哈尼、马骁组成三人团队,向这一堡垒发起冲。

邓煜与哈尼在2019年芝加哥大学的一次会上相遇,开始共同研究和准玻尔兹曼方程相关的“临界情形”,2021年春天完成“短时间”情形的证明,但距离完整目标仍差核心一步。

2021年秋在某韩式餐厅吃鸡时邓煜灵感闪现,发现一种奇妙的抵消机制——只要控制住某些量的增加,就能为系统建立长时间“时间箭”的方向。

2022年冬邓煜在纽约偶遇马骁,2023年4月果断拉马骁入伙,他后来评价:“如果没有他加盟,我们至少会多走很多弯”。

三、核心创新:控制粒子碰撞的“森林”

传统推导到一定时间后会遭遇“森林”般无的碰撞史树,粒子间的关联迅速膨胀,原有的证明框架失效。

邓煜团队提出的核心创新方向是放弃忽略这些关联,转而全程跟踪、量化它们。

他们引入“累积量”作为粒子间关联的量化工具,并构了“碰撞史分子图”——将复的碰撞网络拓扑约化为可分析的组合对象。

借此设计出精细的“切割算法”,在每一次碰撞团块合并时都确保损失与增益保持平衡,最终在任意长的时间尺度下使关联量的L1范数趋于零。

四、证明成果:打通三层物理框架

2025年,邓煜、哈尼和马骁发表一份长达200多页的论文,宣告完成全部证明。该证明从理想硬球气体模型(即稀薄气体)出发,以严格的数学逻辑打通了三层物理框架:

最底层:每颗粒子遵守牛顿定律的微观世界;

中间层:描述大粒子分布的玻尔兹曼方程(介观尺度);

最上层:可直接观测的温度、气压和流动(宏观流体方程,如欧拉与纳维-斯托克斯方程)。

在“任意给定的长时间内”,只要玻尔兹曼方程的正则解仍存在,真实粒子系统就能严格逼近玻尔兹曼方程,从而将整个推导链条在数学上封口。

五、问题现状:阶段性而非终局

邓煜团队未解决全部的希尔伯特第六问题。当前突破建立在两项前提假设下:

只考虑硬球散射系统(理想化的圆球粒子)

只考虑玻尔兹曼的动力学理论

尽管存在这些局限,该工作仍是“第一次在一个特殊情况下可以严格推导出纳维-斯托克斯方程”,填补了此前没有任何工作能从数学上严格推导出任何合理的流体方程的空白。

六、后续意义与应用方向

该项成果的理论价值在于统一了微观与宏观的物理框架,实质性地回复了一个根本问题:“为什么一个由无粒子组成的混世界,最终会呈现简单、稳定且可预测的宏观规律?”

长远来看,这项研究的应用方向包括:- 航空航天领域:高超音飞行器、航天器动计算可获更扎实的理论根基- 气象预测模型:减少对流体的经验公式套用,提升推演准度- 相关工程技术:使与流体、气体相关的模拟与优化拥有更严密的数学支撑