希尔伯特第六猜想和邓煜、马骁

这是一场跨越120年的数学接力赛,终点线在2024年底被一群年轻的中国数学家撞线了。 如果你想在酒吧里跟人吹嘘...

这是一场跨越120年的数学接力赛,终点线在2024年底被一群年轻的中国数学家撞线了。 如果你想在酒吧里跟人吹嘘这件事有多牛,你可以这么说:“知道天气预报为什么不准吗?因为以前我们不知道怎么从微观严格推导宏观流体方程。现在,几个中国小伙子把这条路从数学上彻底修通了。” 这就是最近由邓煜(深圳大学)、马骁(密歇根大学博士生)及其合作者在希尔伯特第六问题上取得的颠覆性突破。 为了让你明白他们到底干了什么,我们得先回到微观世界,看一场台球赛。

微观台球与宏观水流:无法跨越的鸿沟

想象一个装满空气的盒子。在物理学家眼里,这里面根本没有“风”或者“气压”,只有无数个像台球一样的分子在疯狂乱撞。这就是微观世界,规则极其简单:牛顿定律。球A撞球B,动量守恒,能量守恒,弹开,再撞下一个。一切都是确定的,甚至是可以倒带的。 现在,把视角拉远。你感受到的不再是单个分子的撞击,而是“温度”、“压力”、“风速”。这就是宏观世界。描述这个世界的,是著名的流体方程(比如纳维-斯托克斯方程和玻尔兹曼方程)。这些方程不考虑单个分子,而是把气体看作连续的流体。 问题来了:微观的“台球”和宏观的“水流”,真的是一回事吗? 直觉上当然是。但数学家不认直觉,只认逻辑。希尔伯特第六问题就是要求:你能不能从最底层的牛顿碰撞公理出发,用纯粹的数学推导,一步步走到宏观的流体方程?中间绝不能靠物理学家那种“差不多就行”的近似和直觉来糊弄。 这听起来简单,但实际上是一个地狱级的数学噩梦。

为什么卡了120年?

难点有两个,每一个都能让数学家掉头发。 第一个难点:不可逆性悖论。 牛顿力学是“可逆”的。你把两颗台球碰撞的录像倒放,看起来完全合理。但宏观流体方程是“不可逆”的。你把一滴墨水滴进水里,它会扩散;你绝不可能看到一杯浑浊的水自动聚集成一滴纯墨水。怎么可能从“可逆”的底层规则,严格推导出“不可逆”的宏观方程?这在物理学史上甚至引发过长达百年的争论。 第二个难点:维数灾难与混沌。 哪怕只有一茶匙气体,也有 10^{23} 个分子。你如果要追踪它们,你需要一个 10^{23} 维的方程组。更要命的是,这些分子的碰撞不是一次性的,而是错综复杂的网状关联。球A碰球B,改变了B的轨迹去碰球C,C又去碰A……在数学上,当你试图去取极限(把分子数量推向无穷大),这些复杂的关联项就像脱缰的野马,导致方程出现奇点,直接崩溃。 上世纪70年代,数学界大神兰福德(Oscar Lanford)曾在这个问题上迈出关键一步。但他只在“极短时间”内(大约分子碰撞两三次的时间)完成了推导。时间一长,数学就彻底失效了。此后50年,几乎无人能突破这道墙。

中国数学家的“神级操作”

邓煜和马骁等人是怎么把墙炸开的呢?他们没有靠蛮力,而是用了一种极其精妙的数学“轻功”。 以前的人试图追踪分子碰撞的所有历史轨迹,结果被复杂度淹死了。邓煜他们换了个思路:不纠缠过去,只控制未来。 他们引入了一种叫做“非线性涨落”的数学工具,并极其聪明地处理了分子碰撞的“记忆效应”。打个比方,这就好比你要预测一条拥堵的公路上的车流。你不需要知道每辆车过去去过哪里,你只需要精确地设定好每辆车当前的“脾气”和“视野范围”,只要这些微观的统计特征控制得当,当车辆无限多时,宏观的交通流方程就会自然而然、严丝合缝地浮现出来。 他们在微观粒子之间找到了一种微妙的“解耦”机制,硬生生地把那些会导致方程崩溃的发散项给“抵消”掉了。 结果是什么?他们证明了:只要微观粒子遵循牛顿碰撞规律,当时间足够长、粒子数量趋于无穷大时,系统必然演化出玻尔兹曼方程;进一步,还能推导出描述流体运动的纳维-斯托克斯方程。 微观的台球,在纯粹的数学逻辑下,确凿无疑地变成了宏观的流体。

这事儿为什么大?

首先,这是对希尔伯特第六问题核心子目标的“致命一击”。它不仅是一项技术胜利,更是数学观念的胜利——它彻底解决了“可逆与不可逆”的悖论,证明了宏观的不可逆性完全可以、而且只能从微观的可逆性中通过取极限自然产生。 其次,这群数学家太年轻了。邓煜是85后,马骁甚至还是个在读博士生。这说明中国本土培养的年轻数学家,已经在最硬核的基础科学前沿与国际顶尖水平掰手腕,并且赢了。 数学家是一群有着可怕强迫症的人。物理学家用实验告诉我们“世界是这样运行的”,而数学家用一笔一纸向我们证明“世界只能这样运行,绝无其他可能”。 这一次,中国数学家把物理学最常用的几块宏观基石,彻底焊死在了微观牛顿力学的地基上。这并不是一个结束,而是为未来更宏大的物理学公理化大厦,打下了一根最深、最稳的桩。

发表回复

人生梦想 - 关注前沿的计算机技术 acejoy.com 🐾 步子哥の博客 🐾 背多分论坛 🐾 借一步网 🐾 智柴网 沪ICP备2024052574号-1