华人数学家死磕欧拉方程10年，用计算机找到了让它失效的“奇点” _数学家

文章插图

金磊发自凹非寺
量子位 | 公众号 QbitAI

专研长达10年，论文足足177页。
华人数学家通过计算机，找到了让著名欧拉方程失效的“奇点” 。

文章插图

△图源：Quanta Magazine
欧拉方程，是250年前（1755年）由瑞士数学家欧拉提出，属于无黏性流体动力学中最重要的基本方程。
它可以说是“鼻祖级”的方程，正如杜克大学数学家Tarek Elgindi的评价：

几乎所有的非线性流体方程都是从欧拉方程推导出来的。

即便如此，几百年来仍有许多“未解之谜”让数学家们困惑不已。
例如原则上，如果你已知流体中每个粒子的位置和速度，欧拉方程应该能够预测流体将如何一直演化下去。
但数学家们认为，欧拉方程在某个“奇点”上便会开始输出没有意义的数值，也就是无法再做精准预测。
而一旦达到这个点，人们就认为欧拉方程失效了，更戏剧化的说法，叫做产生了“爆破”（blow up）。
来自加州理工学院华人数学家Thomas Hou等人所做的研究工作，就是通过计算机对此做出了证明。

文章插图

马里兰大学数学家Tristan Buckmaster在看完这项工作后说：

这是一个惊人的结果。
此前从来没有过。

用计算机证明欧拉方程的“爆破”
早在2013年的时候，Thomas Hou和现在就职于香港恒生大学的Guo Luo就提出过一个假设：

欧拉方程会导致一个奇点。

为此，他们开发了一种计算机来模拟圆柱体中的流体：

文章插图

圆柱体内的液体，上半部分是顺时针旋转，而下半部分则是逆时针旋转。
这两股相反方向的水流在运动的过程中，产生了其它复杂的情况——出现上下循环的水流。
而在它们相遇的地方，流体的涡度（描述流体旋转情况的流体力学概念）以极快的速度增长，似乎随时就要“爆破” 。
但他们当时的研究只能说对于“奇点存在”是具备启示性，并没有真正意义的证据。
这是因为计算机不可能计算出无穷大的值，它可以算出的是非常接近奇点的近似值，但并非是精准的那种。
事实上，当用更强大的计算方法探测时，明显的奇点却已经消失了。
也正因如此，普林斯顿大学数学家Charlie Fefferman评价过去人们对这件事的研究为：

问题非常的微妙，以至于到处都是模拟研究的“残骸” 。

但Thomas Hou等人却不为所动，坚持“死磕”这一难题。
终于在9年后，他和他之前的研究生Jiajie Chen成功证明了附近奇点的存在。
他们先是仔细分析了2013年的研究，发现那个近似解似乎有一个特殊的结构：
随着时间的推移，这些方程的解会呈现出一种所谓的“自相似模式”（self-similar pattern），它的形状后来看起来很像它的早期形状，只是以一种特定的方式重新缩放。
因此，二人认为不需要去研究奇点的本身，相反，可以关注更早的时间点来间接对它做研究。
具体而言，就是通过正确的速率放大解的这部分（是由解的自相似结构决定的），可以模拟之后会发生什么。