納維-斯托克斯存在性與光滑性

納維-斯托克斯存在性與光滑性（）是有關纳维－斯托克斯方程（、）其解的數學性質有關的數學問題，是美國克雷數學研究所在2000年提出的7個千禧年大獎難題中的一個問題。

納維－斯托克斯方程式是流體力學的重要方程式，可以描述空間中流體（液體或氣體）的運動。納維－斯托克斯方程式的解可以用到許多實務應用的領域中。不過對於納維－斯托克斯方程式解的理論研究仍然不足，尤其納維－斯托克斯方程式的解常會包括紊流。雖然紊流在科學及工程中非常的重要，不過紊流仍是未解決的物理學問題之一。

許多納維－斯托克斯方程式解的基本性質都尚未被證明。例如數學家就尚未證明在三維座標，特定的初始條件下，納維－斯托克斯方程式是否有符合光滑性的解。也尚未證明若这样的解存在時，其動能有其上下界，這就是「納維-斯托克斯存在性與光滑性」問題。

由於瞭解納維－斯托克斯方程式被視為是瞭解難以捉摸的紊流現象的第一步，克雷數學研究所在2000年5月提供了美金一百萬的獎金給第一個提供紊流現象相關資訊的人，而不是給第一個創建紊流理論的人。基於上述的想法，克雷數學研究所設定了以下具體的數學問題。

納維－斯托克斯方程

以數學的觀點來看，纳维－斯托克斯方程是一個針對任意維度向量場的非線性偏微分方程。在物理及工程的觀點，纳维－斯托克斯方程是一個用连续介质力学描述液體或非稀疏氣體運動的方程式組。此方程式是以牛頓第二運動定律為基礎，考慮一黏滯性牛頓流體的所有受力，包括壓強、黏滯力及外界的体积力。

由於克雷數學研究所提出的問題是以三維空間下，不可壓縮的勻質流體為準，以下也只考慮此條件下的纳维－斯托克斯方程。

令為描述流體速度的三維向量場，且為流體壓強。纳维－斯托克斯方程為：

 

其中
為動黏滯度
為外力
為梯度運算子
為拉普拉斯算子，也可寫為

上述方程是向量方程，可以分解為三個純量的方程，將速度及外力分解為三個座標下的分量：

 

則纳维－斯托克斯方程可寫成以下的形式，：

 

其中的未知數有速度及壓強。由於只考慮三維空間，因此有三個方程及四個未知數，分別是速度的三個分量及壓強，還需要一個方程才能解出所有的未知數。這個新增的方程是描述流體不可壓縮性的連續性方程式：

 

由於最後一個方程式，纳维－斯托克斯方程解的速度會是无散度的向量函數。對於在均勻介質中的无散度流，其密度及動黏滯度為定值。

二種條件：無邊界及週期性的空間
克雷數學研究所提出的納維-斯托克斯問題，有二種不同的條件。原始問題是在整個空間中，需要有關初始條件及解隨位置變化的額外資訊。為了不要考慮初始條件及解在無窮遠處的特性，納維-斯托克斯方程也可以設定在一個周期性的空間中，因此不需考慮方程在整個空間，只需考慮方程在一個3維環面下的特性。以下會分別處理這二種條件下的問題。

在整個空間下問題的說明

假設及無窮遠處特性

初始條件假設是光滑及无散度的函數，使得對於每一個多重指標及，存在一常數（此常數會依及K而變化）使得

 對於所有

外力假設也是一個光滑函數，滿足一個非常類似的不等式（此時多重指標也包括時間的導數）：

  對於所有 

考慮其實際的物理意義，此條件下的解需是光滑函數，當時不會快速增加。更精準地說，有以下的假設：

 
 存在一常數 使得 對於所有的 

條件1表示此函數為光滑、全局定義的函數，條件2表示此解的動能在全局中有上下界。

在整個空間中的千禧年大獎難題描述
(A) 在空間下納維-斯托克斯方程式解的存在性及光滑性

令。對於所有符合上述假設的初始條件，納維-斯托克斯方程式存在一光滑及全局定義的解，就是存在一速度向量及壓強滿足上述的條件1及2。

(B) 下納維-斯托克斯方程式解存在性的反證

存在一初始條件及外力使得納維-斯托克斯方程式不存在一解滿足上述條件1及2。

週期性問題的說明

假設

此處的函數需滿足對於位置變數的週期性，其週期為1。更精準地說，令為j方向的單位向量：

 

則對位置變數有週期性也就表示對於任何的，以下的式子均成立：

 

因此方程式不是在整個空間，而是在一商空間 ，也就是一個3維環面：

 

有上述的說明後，可以說明需要的假設。初始條件假設是一個光滑及无散度的函數，外力也是一個光滑函數。滿足以下的條件：

3. 

4. 存在一常數使得對於所有

和之前的條件類似，條件3表示函數是光滑及全局定義，條件4表示此解的動能在全局中有上下界。

週期性的千禧年大獎難題描述
(C)空間下納維-斯托克斯方程式解的存在性及光滑性

令，對於任何滿足上述假設的初始條件，納維-斯托克斯方程式存在一光滑及全局定義的解，就是存在一速度向量及壓強滿足上述的條件3及條件4。

(D)下納維-斯托克斯方程式解存在性的反證

存在一初始條件及外力使得納維-斯托克斯方程式不存在一解滿足上述條件3及條件4。

部分結果
 二維空間下的納維-斯托克斯問題已在1960年代得證：存在光滑及全局定義解的解。
 在初速相當小時此問題也已得證：存在光滑及全局定義解的解。
 若給定一初速，且存在一有限、依而變動的時間T，使得在的範圍內，納維-斯托克斯方程有平滑的解，還無法確定在時間超過T後，是否仍存在平滑的解。
數學家讓·勒雷在1934年時證明了所謂納維-斯托克斯問題弱解的存在，此解在平均值上滿足納維-斯托克斯問題，但無法在每一點上滿足。

腳註

參考資料

外部連結
 The Clay Mathematics Institute's Navier–Stokes equation prize
  Why global regularity for Navier–Stokes is hard  — Possible routes to resolution are scrutinized by Terence Tao.
  Fuzzy Fluid Mechanics
 Navier–Stokes existence and smoothness (Millennium Prize Problem) A lecture on the problem by Luis Caffarelli

偏微分方程
流体动力学
数学中未解决的问题
千禧年大奖难题