计算机证明 "炸毁 "了几百年前的液体方程式

几个世纪以来,数学家们一直试图了解和模拟流体的运动。描述池塘表面波纹的方程式也帮助研究人员预测天气,设计更好的飞机,以及描述血液如何在循环系统中流动。如果用正确的数学语言来写,这些方程是非常简单的。然而,它们的解决方案是如此复杂,以至于即使是关于它们的基本问题,也会变得非常困难。

也许这些方程中最古老和最突出的方程是由莱昂哈德-欧拉在250多年前制定的,描述了一种理想的不可压缩流体的流动:一种没有粘性或内部摩擦力的流体,不能被强迫进入一个更小的体积。"杜克大学的数学家Tarek Elgindi说:"几乎所有的非线性流体方程都来自欧拉方程。"他们是第一批,你可以说"。

然而,关于欧拉方程仍有许多未知数--包括它们是否总是理想流体流动的准确模型。流体动力学的核心问题之一是要弄清楚方程是否曾经失败,输出无意义的数值,使其无法预测流体的未来状态。

数学家们早就怀疑存在导致方程失效的初始条件。但他们还没有能够证明这一点。

计算机证明 "炸毁 "了几百年前的液体方程式

发表评论

您的电子邮箱地址不会被公开。 必填项已用*标注