ナビエ–ストークス方程式の解の存在と滑らかさ

ナビエ–ストークス方程式の解の存在と滑らかさ（ナビエ–ストークスほうていしきのかいのそんざいとなめらかさ、Navier–Stokes existence and smoothness）問題は、（例えば乱流のような）流体力学の重要な柱の一つであるナビエ-ストークス方程式の解の数学的性質に関連している。
これらの方程式は空間の中の流体（つまり、液体や気体）の運動を記述する。ナビエ–ストークス方程式の解は、多くの実践的な応用で使われる。しかしながら、これらの方程式の理論的な理解は不完全である。特に、ナビエ–ストークス方程式の解は、乱流となることがあり、科学や工学に対し計り知れない重要性があるにもかかわらず、乱流は最も難しい物理学の未解決問題の一つとして残っている。
ナビエ–ストークス方程式の解の基本的（そして一見して直感的な）性質さえ、証明されていない。方程式の 3次元の系について初期条件が与えられたとき、滑らかな解が常に存在すること、あるいはその反例が存在することのいずれも証明されていない。この問題を、ナビエ–ストークス方程式の解の存在と滑らかさの問題という。
ナビエ–ストークス方程式の理解が、乱流のとらえどころのない現象の理解という第一段階と考えられているので、Clay Mathematics Institute（クレイ数学研究所）は2000年5月にこの問題を、数学の 7つのミレニアム懸賞問題の一つとした。最初にこの問題の解を与えたものに$1,000,000を賞金として進呈すると約束した。

**ナビエ-ストークス方程式**
数学では、ナビエ-ストークス方程式は、任意の大きさの抽象的なベクトル場の非線型偏微分方程式系である。物理学や工学では、連続体力学を使った非圧縮な気体、もしくは液体を主とした流体（つまり、粒子の平均自由行程が十分に短く、単なる粒子の集まりではない連続体として扱えるもの）の運動のモデル化した方程式の系である。date=June 2013 この方程式はニュートンの第二法則に対応し、力を粘性を持ったニュートン流体にかかる圧力、粘性応力および外力の寄与の和としてモデル化している。クレイ数学研究所によって提起されている問題の設定は、3次元の非圧縮で等質な流体に対してであり、以下のような条件についてのみ考えるものである。
を流体の速度の 3次元のベクトル場とし、 を流体の圧力の場とする。 ナビエ-ストークス方程式は、
 
である。ここに  は動粘性係数、 は外力項、 は勾配(gradient)作用素であり、 はラプラス作用素で  とも書く。この方程式は3次元ベクトル方程式であるので、3つのスカラー方程式を連立したものとして表現される。速度と外力の各成分を書き下すと、
 
となるので、各々の  に対し、対応する成分のナビエ-ストークス方程式
 
が存在する。
速度  と圧力  は未知数である。3次元では、3つの方程式と 4つの未知数（速度ベクトルの3つの成分と圧力）があるので、追加の方程式が必要である。この場合に加えるべき式は、流体の非圧縮性を記述する、次のような連続の方程式
 
である。この性質のおかげで、ナビエ-ストークス方程式の解は、発散のない（つまり、湧出点も排出点もない）関数の集合の中に探し求めることができる。この等質な媒体の流れについて、密度と粘性は一定である。 
圧力  は、勾配のみが方程式中に出現するため、式の両辺の回転  を取ることによって消去することができる。この場合には、ナビエ-ストークス方程式は渦度輸送方程式（vorticity-transport equation）に簡約できる。
ナビエ-ストークス方程式は非線形であるため、単純な線形の関係を持っていない。つまり、この方程式は通常の線形方程式系におけるテクニックでは解くことができず、代わりにより高度な方法を用いなければならない。この非線形性こそが衝撃波の形成のような複雑な流れを含めた幅広い流体力学における現象の記述を可能としている。
ナビエ-ストークス方程式の非線形性について理解する方法の一つは、 という項について考察することである。この項は速度ベクトル  と勾配作用素  の積であり、流体の加速度について記述する。勾配作用素は線形作用素なので、項  は速度ベクトル  についての非線形項となっている。このことは、流体の加速度が速度ベクトルの大きさと向き、そして流体内の速度の空間分布に依存することを示している。
他にも、ナビエ-ストークス方程式の非線形性は圧力項  によっても齎される。流体の圧力は流体の密度と圧力勾配に依存して決定されるため、この項は圧力についての非線形性を持つ。
より明示的にこのことを示すには、密度  および流速  の一様流れのなかに半径  の円形の障害物を置いた場合について考えれば良い。 を位置  および時間  における流速とし、同様に  を位置  および時間  における圧力とする。
この場合のナビエ-ストークス方程式は次のようになる。
 
 
ここで  は流体の動粘性係数である。
この流れが定常状態（つまり、流速と圧力は時間変化しない）であると仮定すれば、時間微分項が消去できる。
 
 
いま、円形の障害物付近の流れについて考察する。この領域には障害物が存在するため、（流れが通ることのできる空間が狭まった結果として）周辺の流速は一様流れの流速  よりも速くなる。このことにより、ナビエ-ストークス方程式には流速に比例するような非線形項  が齎される。
同時に、障害物の存在は障害物に近いほど高く、離れれば低くなるような圧力勾配を生み出す。このことは、あらゆる面を通過する流体の質量が流れ全体で一定であることを要求する連続の式について考えれば理解できる。障害物付近では流速が速まるため、単位時間に通過する質量は障害物の近くの点のほうが、障害物の遠くの点よりも多くなってしまう。しかし、障害物に近いほど高く、離れれば低くなるような圧力勾配があれば、単位時間に通過する流体の質量が流れ全体で一定となるように補正できる。
これらの非線形効果の結果として、このような場合におけるナビエ-ストークス方程式を解析的に解くことが困難となっており、近似解法や数値解法によらなければ流れ場の流速分布や圧力分布を得ることができない。流速場  および圧力場  で表されるような矩形領域における2次元流れについて考察すると、有限要素法を用れば次のようなベクトル場のナビエ-ストークス方程式を解くことができる。
解析するために、矩形領域をより小さな要素の系列に分割し、ベクトル場を次のように表現する。
ここで  は要素数であり、  はそれぞれの要素に関連付けられた形状関数である。この表現をナビエ-ストークス方程式に置き換えて有限要素法を適用すれば、次のような常微分方程式系が得られる。
ここで  は領域を表しており、積分  はこの領域全体に亘って積分することを意味する。この常微分方程式系は有限要素法やスペクトル法のようなテクニックを使えば解くことができる。
ここでは、有限要素法を使う。これを解くには、時間間隔  を小さな時間ステップに分割し、それぞれの時間ステップで有限差分法を用いて微分を近似する。
ここで  は時間ステップの大きさであり、  と  は  と  の時間ステップ  における値である。
この近似を使えば、全ての時間ステップに亘って反復的に計算し、各時間ステップにおける  の値を求めることができる。例えば、時間ステップ  から始めて上述の近似を用いれば、時間ステップ  における  の値は以下の通り求まる。
この過程は開始時刻  から始めて、最終時刻  に達するまで繰り返すことができる。
他にも常微分方程式を解く様々な手法が存在し、それぞれ利点と欠点がある。どの手法が最も有効かは、解きたい方程式と求める解の精度と計算効率によって異なる。

**2つの設定：非有界空間と周期的な空間**
100万ドル賞であるナビエ-ストークス方程式の解の存在と滑らかさ問題には、2つの異なった設定がある。もともとの問題は、 の空間全体の中（の問題）であり、これには初期値と解の増大性の振る舞いに余剰な条件を必要とする。無限遠点での問題を度外視するために、ナビエ-ストークス方程式は周期的なフレームワークでの設定が可能であり、このことはもはや  の空間全体ではなく、3次元トーラス  の中での問題である。別々にわけて取り扱うことにする。

**全体の空間での問題**

**前提条件と増大条件**
初期条件  は滑らかであり、発散のない函数（滑らかな函数を参照）であり、任意の多重指数 （多重指数を参照）と  に対して、定数  が存在して（すなわち、この「定数」は  と K に依存する）、
 全ての  に対し、 であることを前提とする。
外力  は同様に滑らかであることを前提とし、次の似たような不等式を満たす（ここでは、多重指数は同様に時間微分を意味する）。
 全ての  に対し、 となる。
物理的に合理的条件のため、期待される解のタイプは  ほどは増大度を持たない滑らかな函数とする。詳しくは、次の前提を設定する。
# 
# ある定数  が存在し、全ての  に対し  となる。
条件 1 は函数が滑らかで大域的定義されていることを意味し、条件 2 は解の運動エネルギーが大域的に有界であることを意味する。

**空間全体での予想**
(A)  でのナビエ-ストークス方程式の解の存在と滑らかさ
とする。上に述べた前提を満たす初期条件  に対し、滑らかで大域的に定義されたナビエ-ストークス方程式の解が存在する。すなわち、速度ベクトル  と圧力  が存在し、上の条件 1 と 2 を満たす。
(B)  でナビエ-ストークス方程式を解けないこと
上の条件 1 と 2 を満たす解  と  が存在しないような初期条件  と外力  が存在する。

**周期的条件の問題**

**前提条件**
ここでは、問題の函数を周期 1 の空間変数の周期性を持っているとする。さらに詳しくは、次のように  を i-方向の単位ベクトルとする。
 
は、全ての  に対して、次が成立する場合、周期的である。
 全ての  に対し、 となる。
座標を mod 1で考えることに注意する。これは空間全体  ではうまくいかないが、3次元トーラスである次の商空間上ではうまくいく。
 
ここで初めて、前提条件を取り出して記述することができる。初期条件  は滑らかで発散のない函数であることを前提とし、外力  も同様に滑らかであることを前提とする。物理的に適切な解のタイプは、次の条件を満たす解である。
3. 
4. ある定数  が存在し、全ての  に対し、 となる。
前の場合と全く同様に、条件 3 は函数が滑らかで大域的に定義されていることを意味し、条件 4 は解の運動方程式が大域的に有界であることを意味する。

**周期的な場合の問題**
(C)  でのナビエ–ストークス方程式の解の存在と滑らかさ
とする。上でのべた前提条件を満たす初期条件  に対し、滑らかで大域的に定義されたナビエ–ストークス方程式の解が存在する、つまり、速度ベクトル  と圧力  が存在し、上の条件 3 と 4 を満たす。
(D)  でナビエ–ストークス方程式が解けないこと
上の条件 3 と 4 を満たす解  と  が存在しないような初期条件  と外力  が存在する。

**部分的結果**
# 1960年以来、2次元のナビエ–ストークスの問題は既に解けている。滑らかな大域的に定義された解は存在する。
# 初期速度  が充分小さい場合は、予想は正しい。ナビエ–ストークス方程式には滑らかで大域的に定義された解が存在する。
# 初期速度  が与えられると、 に依存した有限時刻 T が存在し、 上のナビエ–ストークス方程式は、滑らかな解  と  を持つ。「爆発時刻」T を超えての解が存在するか否かはしられていない。
# 1934年、ジャン・ルレイは、平均値で方程式を満たすがpointwise(pointwise)ではない、いわゆるナビエ–ストークス方程式の弱解の存在を証明した。
# 2016年、テレンス・タオは平均化された三次元ナビエ–ストークス方程式における有限時間爆発解を発表した。彼は、この結果によりナビエ–ストークス方程式の大域的正則性問題の "supercriticality barrier" が定式化できること、およびこの証明手法がナビエ–ストークス方程式の爆発解を構成する為の手がかりとなることを主張した。

**脚注**

**注釈**

**参考文献**

**外部リンク**
 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.