来自纳维-斯托克斯方程的故事

纳维-斯托克斯存在性与光滑性是有关纳维-斯托克斯方程其解的数学性质有关的数学问题。方程可以描述空间中流体（液体或气体）的运动。纳维尔－斯托克斯方程式的解可以用到许多实际应用的领域中。不过对于纳维－斯托克斯方程式解的理论研究仍然不足，尤其纳维－斯托克斯方程式的解常会包括紊流。虽然紊流在科学及工程中非常的重要，不过紊流仍是未解决的物理学问题之一。

许多纳维尔－斯托克斯方程式解的基本性质都尚未被证明。例如数学家就尚未证明在三维座标，特定的初始条件下，纳维尔－斯托克斯方程式是否有符合光滑性的解。也尚未证明若这样的解存在时，其动能有其上下界，这就是“纳维-斯托克斯存在性与光滑性”问题。

由于了解纳维尔－斯托克斯方程式被视为是了解难以捉摸的紊流现象的第一步，克雷数学研究所在2000年5月提供了一百万美元的奖金给第一个证明该方程的人。这也是美国克雷数学研究所 (Clay Mathematics Institute) 在2000年提出的7个千禧年大奖难题中的问题之一。克雷数学研究所设定了该问题具体的数学描述：

证明或反证下的叙述：
在三维的空间及时间下，给定一起始的速度场，存在一向量的速度场及纯量的压强场，为纳维－斯托克斯方程式的解，其中速度场及压强场需满足光滑及全局定义的特性。
我们不妨看看该问题具体的描述（以下方程的描述来自维基百科）：

以数学的观点来看，纳维尔－斯托克斯方程是一个针对任意维度向量场的非线性偏微分方程；从物理及工程的观点来看，纳维－斯托克斯方程是一个用连续介质力学描述液体或非稀疏气体运动的方程式组。此方程式是以牛顿第二运动定律为基础，考虑一黏滞性牛顿流体的所有受力，包括压强、黏滞力及外界的体积力。

由于克雷数学研究所提出的问题是在三维空间下，不可压缩的匀质流体为准，以下也只考虑此条件下的纳维－斯托克斯方程。

令v(x,t)为描述流体速度的三维向量场，且p(x,t)为流体压强。纳维尔－斯托克斯方程为：



其中：

v>0为动黏滞度；

f(x,t)为外力；

▽为梯度运算子；

Δ为拉普拉斯算子，也可写为▽·▽。

上述方程是向量方程，可以分解为三个纯量的方程，将速度及外力分解为三个座标下的分量：



则纳维－斯托克斯方程可写成以下的形式，i=1,2,3：



其中的未知数有速度v(x,t)及压强p(x,t)。由于只考虑三维空间，因此有三个方程及四个未知数，分别是速度的三个分量及压强，还需要一个方程才能解出所有的未知数。这个新增的方程是描述流体不可压缩性的连续性方程式：



所以纳维－斯托克斯方程解的速度会是无散度的向量函数。对于在均匀介质中的无散度流，其密度及动黏滞度为定值。具体方程的展开这里不再说明。

目前纳维尔-斯托克斯方程的证明进展如下：

二维空间下的纳维尔-斯托克斯问题已在1960年代已经被证明：存在光滑及全局定义解的解。

在初速v(x,t)相当小时此问题也已得证：存在光滑及全局定义解的解。

若给定一初速v0(x)，且存在一有限、依v0(x)而变动的时间T，使得在R³×(0,T)的范围内，纳维-斯托克斯方程有平滑的解，还无法确定在时间超过T后，是否仍存在平滑的解。

数学家让·勒雷在1934年时证明了所谓纳维-斯托克斯问题弱解的存在，此解在平均值上满足纳维-斯托克斯问题，但无法在每一点上满足。

当然，虽然说纳维尔-斯托克斯方程描述了流体领域的大部分条件，不过也有其适用范围，该方程只适用于牛顿流体，什么是牛顿流体呢？简单说就是：任一点上的剪应力都同剪切变形速率呈线性函数关系的流体。一般高黏度的流体是不满足这种关系的，说明牛顿流体和非牛顿流体有个简单的例子就是大家熟知的虹吸现象。在低黏度下，虹吸要进行下去，吸取口必须在页面以下，但非牛顿流体的高黏度流体下，吸取口哪怕高于液面，其虹吸依然能够进行，因为黏度太大了，这个还是很容易想象到的。

那么，可能有人要问了，居然有不适用纳维尔-斯托克斯方程的流体，那么该方程是不是就不完备了。是的，方程是不完备，不能一统流体世界的天下，不过对于工程应用来说，大部分情况还是处理牛顿流体，或者可以近似为牛顿流体，这样纳维尔-斯托克斯方程基本就是流体世界的王者了。



低黏度下的虹吸现象（吸取口低于液面）



高黏度下的虹吸现象（吸取口高于液面）

说到这里，或许可以告一段落了，但或许有人也有点困惑，有些人会想：虽然我数学没那么厉害，但感觉纳维尔-斯托克斯方程的证明对于数学家来说应该不难吧，这么几百年过去了难道都没有一个数学家站出来证明他吗。我们已经征服了描述时空的相对论，让我们翱翔到宇宙深处；我们也已经很大程度上征服了量子力学所描述的微观世界，让我们体验到神奇的量子世界，那里有宇宙大爆炸，有浪漫的平行宇宙。可是，对于一个函数来说，其解的存在性和光滑性（可以看做高中数学中函数的连续性）都不能被证明，实在匪夷所思啊。

有些数学问题看似简单，但对数学家来说，要证明其绝对的正确性，却并不一定是个易事，比如前面提到的美国克雷数学研究所提出的7个千禧年难题，其起草者之一安德鲁·怀尔斯 (Andrew Wiles)，他在1993证明了难倒数学界300多年的费马大定理 (Fermat's Last Theorem)，而费马大定理本身看似也是非常的简单，其问题描述如下：

当整数n >2时，关于x, y, z的方程 xⁿ+ yⁿ = zⁿ 没有正整数解

就是这样一个人人都能看懂的问题，却耗费了数学界300多年才得以解决，可想而知，对于数学证明来说，远没有我们想象的简单。

希望，在我们这个时代，纳维尔-斯托克斯方程 (Navier-Stokes Equations) 可以得到证明，为我们打开自然界的奥秘！