ナビエ-ストークス方程式
詳細は「 ナビエ-ストークス方程式 」を参照
数学では、ナビエ-ストークス方程式は、任意の大きさの抽象的なベクトル場の非線型偏微分方程式系である。物理学や工学では、連続体力学を使った非圧縮な気体、もしくは液体の運動のモデル化した方程式の系である。[ 要説明 ] 方程式はニュートンの第二法則のステートメントであり、圧力や粘性ストレスや外の物体からの力の寄与の和として、粘性を持ったニュートン流体の中のこれらの場に沿ってモデル化された力を持っている。クレイ数学研究所によって提起されている問題の設定は、3次元の非圧縮で等質な液体に対してであり、以下で考える場合についてである。
を流体の速度の 3次元のベクトル場とし、
を流体の圧力の場とする。 ナビエ-ストークス方程式は、

である。ここに
は力学的粘性、
は外の力、
は勾配(gradient)作用素であり、
はラプラス作用素で
とも書く。これは、ベクトル方程式、すなわち、3つのスカラー方程式である。速度と外力の座標を書き下すと、

となるので、各々の
に対し、対応するスカラーのナビエ-ストークス方程式

が存在する。
速度
と圧力
は未知数である。3次元では、3つの方程式と 4つの未知数(3つのスカラー速度と圧力)があるので、補助的な方程式が必要である。この余剰な方程式は、次の流体の非圧縮性を記述する連続の方程式

である。この性質のおかげで、ナビエ-ストークス方程式の解は、「発散のない」函数の集合の中に探し求めることができる。この等質な媒体の流れについて、密度と粘性は定数である。
圧力 p は、ナビエ-ストークス方程式の両辺の rot 作用ととる(変わりに curl という記号もある)ことにより省略できる。この場合には、ナビエ-ストークス方程式は 渦方程式 ( 英語版 )(vorticity-transport equation)へ還元できる。2次元(2D)の場合、これらの方程式は良く知られている [6, p. 321]。(渦度・流れ関数法も参照)
2つの設定:非有界空間と周期的な空間
100万ドル賞であるナビエ-ストークス方程式の解の存在と滑らかさ問題には、2つの異なった設定がある。もともとの問題は、
の空間全体の中(の問題)であり、これには初期値と解の増大性の振る舞いに余剰な条件を必要とする。無限遠点での問題を度外視するために、ナビエ-ストークス方程式は周期的なフレームワークでの設定が可能であり、このことはもはや
の空間全体ではなく、3次元トーラス
の中での問題である。別々にわけて取り扱うことにする。
全体の空間での問題
前提条件と増大条件
初期条件
は滑らかであり、発散のない函数( 滑らかな函数 を参照)であり、任意の多重指数
(多重指数を参照)と
に対して、定数
が存在して(すなわち、この「定数」は
と K に依存する)、
- 全ての
に対し、
であることを前提とする。
外力
は同様に滑らかであることを前提とし、次の似たような不等式を満たす(ここでは、多重指数は同様に時間微分を意味する)。
- 全ての
に対し、
となる。
物理的に合理的条件のため、期待される解のタイプは
ほどは増大度を持たない滑らかな函数とする。詳しくは、次の前提を設定する。
![\mathbf{v}(x,t)\in\left[C^\infty(\mathbb{R}^3\times[0,\infty))\right]^3\,,\qquad p(x,t)\in C^\infty(\mathbb{R}^3\times[0,\infty))](https://wikimedia.org/api/rest_v1/media/math/render/svg/99a2fe879ed2762701e5dcbeba2ea2400f8110b3)
- ある定数
が存在し、全ての
に対し
となる。
条件 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)ではない、いわゆるナビエ–ストークス方程式の弱解の存在を証明した。
- 2014年2月テレンス・タオ(Terence Tao)は、3次元ナビエ-ストークス方程式の通常のバージョンに対する有限時間のブローアップの結果を公開した。彼は、結果は真のナビエ-ストークスの方程式の大域的な正規化問題は、ある「超臨界的な障壁」("supercriticality barrier")と定式化することができ、真の方程式のブローアップが確立することのできる道筋のヒントを与える事実を証明したと主張している。