ナビエ–ストークス方程式の解の存在と滑らかさ
ナビエ–ストークス方程式の解の存在と滑らかさ(ナビエ–ストークスほうていしきのかいのそんざいとなめらかさ、英:Navier–Stokes existence and smoothness)問題は、(例えば乱流のような)流体力学の重要な柱の一つであるナビエ-ストークス方程式の解の数学的性質に関連している。これらの方程式は空間の中の流体(つまり、液体や気体)の運動を記述する。ナビエ–ストークス方程式の解は、多くの実践的な応用で使われる。しかしながら、これらの方程式の理論的な理解は不完全である。特に、ナビエ–ストークス方程式の解は、乱流となることがあり、科学や工学に対し計り知れない重要性があるにもかかわらず、乱流は最も難しい物理学の未解決問題の一つとして残っている。
ナビエ–ストークス方程式の解の基本的性質さえ、証明されていない。方程式の 3次元の系について初期条件が与えられたとき、滑らかな解が常に存在すること、もし存在するとしたらその解が質量当たり有界なエネルギーを持っているかということを、数学的にはいまだに証明されていない。この問題を解の存在と滑らかさの問題という。
ナビエ–ストークス方程式の理解が、乱流のとらえどころのない現象の理解という第一段階と考えられているので、Clay Mathematics Institute(クレイ数学研究所)は2000年5月にこの問題を、数学の 7つのミレニアム懸賞問題の一つとした。最初にこの問題の解を与えたものに$1,000,000を賞金として進呈すると約束した。[1]
次のステートメントを証明、もしくは反例を挙げよ:
3次元空間と(1次元の)時間の中で、初期速度を与えると、ナビエ–ストークス方程式の解となる速度ベクトル場と圧力のスカラー場が存在して、双方とも滑らかで大域的に定義される。
Contents
ナビエ-ストークス方程式
数学では、ナビエ-ストークス方程式は、任意の大きさの抽象的なベクトル場の非線型偏微分方程式系である。物理学や工学では、連続体力学を使った非圧縮な気体、もしくは液体の運動のモデル化した方程式の系である。テンプレート:Clarify 方程式はニュートンの第二法則のステートメントであり、圧力や粘性ストレスや外の物体からの力の寄与の和として、粘性を持ったニュートン流体の中のこれらの場に沿ってモデル化された力を持っている。クレイ数学研究所によって提起されている問題の設定は、3次元の非圧縮で等質な液体に対してであり、以下で考える場合についてである。
[math]\mathbf{v}(\boldsymbol{x},t)[/math] を流体の速度の 3次元のベクトル場とし、[math]p(\boldsymbol{x},t)[/math] を流体の圧力の場とする。[note 1] ナビエ-ストークス方程式は、
- [math]\frac{\partial \mathbf{v}}{\partial t} + ( \mathbf{v}\cdot\nabla ) \mathbf{v} = -\nabla p + \nu\Delta \mathbf{v} +\mathbf{f}(\boldsymbol{x},t)[/math]
である。ここに [math]\nu\gt 0[/math] は力学的粘性、[math]\mathbf{f}(\boldsymbol{x},t)[/math] は外の力、[math]\nabla[/math] は勾配(gradient)作用素であり、[math]\displaystyle \Delta[/math] はラプラス作用素で [math]\nabla\cdot\nabla[/math] とも書く。これは、ベクトル方程式、すなわち、3つのスカラー方程式である。速度と外力の座標を書き下すと、
- [math]\mathbf{v}(\boldsymbol{x},t)=\big(\,v_1(\boldsymbol{x},t),\,v_2(\boldsymbol{x},t),\,v_3(\boldsymbol{x},t)\,\big)\,,\qquad \mathbf{f}(\boldsymbol{x},t)=\big(\,f_1(\boldsymbol{x},t),\,f_2(\boldsymbol{x},t),\,f_3(\boldsymbol{x},t)\,\big)[/math]
となるので、各々の [math]i=1,2,3[/math] に対し、対応するスカラーのナビエ-ストークス方程式
- [math]\frac{\partial v_i}{\partial t} +\sum_{j=1}^{3}v_j\frac{\partial v_i}{\partial x_j}= -\frac{\partial p}{\partial x_i} + \nu\sum_{j=1}^{3}\frac{\partial^2 v_i}{\partial x_j^2} +f_i(\boldsymbol{x},t)[/math]
が存在する。
速度 [math]\mathbf{v}(\boldsymbol{x},t)[/math] と圧力 [math]p(\boldsymbol{x},t)[/math] は未知数である。3次元では、3つの方程式と 4つの未知数(3つのスカラー速度と圧力)があるので、補助的な方程式が必要である。この余剰な方程式は、次の流体の非圧縮性を記述する連続の方程式
- [math] \nabla\cdot \mathbf{v} = 0.[/math]
である。この性質のおかげで、ナビエ-ストークス方程式の解は、「発散のない」函数の集合の中に探し求めることができる。この等質な媒体の流れについて、密度と粘性は定数である。
圧力 p は、ナビエ-ストークス方程式の両辺の rot 作用ととる(変わりに curl という記号もある)ことにより省略できる。この場合には、ナビエ-ストークス方程式は渦方程式(vorticity-transport equation)へ還元できる。2次元(2D)の場合、これらの方程式は良く知られている [6, p. 321]。(渦度・流れ関数法も参照)
2つの設定:非有界空間と周期的な空間
100万ドル賞であるナビエ-ストークス方程式の解の存在と滑らかさ問題には、2つの異なった設定がある。もともとの問題は、[math]\mathbb{R}^3[/math] の空間全体の中(の問題)であり、これには初期値と解の増大性の振る舞いに余剰な条件を必要とする。無限遠点での問題を度外視するために、ナビエ-ストークス方程式は周期的なフレームワークでの設定が可能であり、このことはもはや [math]\mathbb{R}^3[/math] の空間全体ではなく、3次元トーラス [math]\mathbb{T}^3=\mathbb{R}^3/\mathbb{Z}^3[/math] の中での問題である。別々にわけて取り扱うことにする。
全体の空間での問題
前提条件と増大条件
初期条件 [math]\mathbf{v}_0(x)[/math] は滑らかであり、発散のない函数(滑らかな函数を参照)であり、任意の多重指数 [math]\alpha[/math](多重指数を参照)と [math]K\gt 0[/math] に対して、定数 [math]C=C(\alpha,K)\gt 0[/math] が存在して(すなわち、この「定数」は [math]\alpha[/math] と K に依存する)、
- 全ての [math]\qquad x\in\mathbb{R}^3[/math] に対し、[math]\vert \partial^\alpha \mathbf{v_0}(x)\vert\le \frac{C}{(1+\vert x\vert)^K}\qquad[/math] であることを前提とする。
外力 [math]\mathbf{f}(x,t)[/math] は同様に滑らかであることを前提とし、次の似たような不等式を満たす(ここでは、多重指数は同様に時間微分を意味する)。
- 全ての [math]\qquad (x,t)\in\mathbb{R}^3\times[0,\infty)[/math] に対し、[math]\vert \partial^\alpha \mathbf{f}(x)\vert\le \frac{C}{(1+\vert x\vert + t)^K}\qquad[/math] となる。
物理的に合理的条件のため、期待される解のタイプは [math]\vert x\vert\to\infty[/math] ほどは増大度を持たない滑らかな函数とする。詳しくは、次の前提を設定する。
- [math]\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))[/math]
- ある定数 [math]E\in (0,\infty)[/math] が存在し、全ての [math]t\ge 0[/math] に対し [math]\int_{\mathbb{R}^3} \vert \mathbf{v}(x,t)\vert^2 dx \lt E[/math] となる。
条件 1 は函数が滑らかで大域的定義されていることを意味し、条件 2 は解の運動エネルギーが大域的に有界であることを意味する。
空間全体での予想
(A) [math]\mathbb{R}^3[/math] でのナビエ-ストークス方程式の解の存在と滑らかさ
[math]\mathbf{f}(x,t)\equiv 0[/math] とする。上に述べた前提を満たす初期条件 [math]\mathbf{v}_0(x)[/math] に対し、滑らかで大域的に定義されたナビエ-ストークス方程式の解が存在する。すなわち、速度ベクトル [math]\mathbf{v}(x,t)[/math] と圧力 [math]p(x,t)[/math] が存在し、上の条件 1 と 2 を満たす。
(B) [math]\mathbb{R}^3[/math] でナビエ-ストークス方程式を解けないこと
上の条件 1 と 2 を満たす解 [math]\mathbf{v}(x,t)[/math] と [math]p(x,t)[/math] が存在しないような初期条件 [math]\mathbf{v}_0(x)[/math] と外力 [math]\mathbf{f}(x,t)[/math] が存在する。
周期的条件の問題
前提条件
ここでは、問題の函数を周期 1 の空間変数の周期性を持っているとする。さらに詳しくは、次のように [math]e_i[/math] を i-方向の単位ベクトルとする。
- [math]e_1=(1,0,0)\,,\qquad e_2=(0,1,0)\,,\qquad e_3=(0,0,1).[/math]
[math]\mathbf{v}(x,t)[/math] は、全ての [math]i=1,2,3[/math] に対して、次が成立する場合、周期的である。
- 全ての [math](x,t) \in \mathbb{R}^3\times[0,\infty)[/math] に対し、[math]\mathbf{v}(x+e_i,t)=\mathbf{v}(x,t)[/math] となる。
座標を mod 1で考えることに注意する。これは空間全体 [math]\mathbb{R}^3[/math] ではうまくいかないが、3次元トーラスである次の商空間上ではうまくいく。
- [math]\mathbb{T}^3=\{(\theta_1,\theta_2,\theta_3): 0\le \theta_i\lt 2\pi\,,\quad i=1,2,3\}.[/math]
ここで初めて、前提条件を取り出して記述することができる。初期条件 [math]\mathbf{v}_0(x)[/math] は滑らかで発散のない函数であることを前提とし、外力 [math]\mathbf{f}(x,t)[/math] も同様に滑らかであることを前提とする。物理的に適切な解のタイプは、次の条件を満たす解である。
3. [math]\mathbf{v}(x,t)\in\left[C^\infty(\mathbb{T}^3\times[0,\infty))\right]^3\,,\qquad p(x,t)\in C^\infty(\mathbb{T}^3\times[0,\infty))[/math]
4. ある定数 [math]E\in (0,\infty)[/math] が存在し、全ての [math]t\ge 0[/math] に対し、[math]\int_{\mathbb{T}^3} \vert \mathbf{v}(x,t)\vert^2 dx \lt E[/math] となる。
前の場合と全く同様に、条件 3 は函数が滑らかで大域的に定義されていることを意味し、条件 4 は解の運動方程式が大域的に有界であることを意味する。
周期的な場合の問題
(C) [math]\mathbb{T}^3[/math] でのナビエ–ストークス方程式の解の存在と滑らかさ
[math]\mathbf{f}(x,t)\equiv 0[/math] とする。上でのべた前提条件を満たす初期条件 [math]\mathbf{v}_0(x)[/math] に対し、滑らかで大域的に定義されたナビエ–ストークス方程式の解が存在する、つまり、速度ベクトル [math]\mathbf{v}(x,t)[/math] と圧力 [math]p(x,t)[/math] が存在し、上の条件 3 と 4 を満たす。
(D) [math]\mathbb{T}^3[/math] でナビエ–ストークス方程式が解けないこと
上の条件 3 と 4 を満たす解 [math]\mathbf{v}(x,t)[/math] と [math]p(x,t)[/math] が存在しないような初期条件 [math]\mathbf{v}_0(x)[/math] と外力 [math]\mathbf{f}(x,t)[/math] が存在する。
部分的結果
- 1960年以来、2次元のナビエ–ストークスの問題は既に解けている。滑らかな大域的に定義された解は存在する。[2]
- 初期速度 [math]\mathbf{v}(x,t)[/math] が充分小さい場合は、予想は正しい。ナビエ–ストークス方程式には滑らかで大域的に定義された解が存在する。[1]
- 初期速度 [math]\mathbf{v}_0(x)[/math] が与えられると、[math]\mathbf{v}_0(x)[/math] に依存した有限時間 T が存在し、[math]\mathbb{R}^3\times(0,T)[/math] 上のナビエ–ストークス方程式は、滑らかな解 [math]\mathbf{v}(x,t)[/math] と [math]p(x,t)[/math] を持つ。「ブローアップ時間」T を超えての解が存在するか否かはしられていない。[1]
- 1934年、ジャン・ルレイは、平均値で方程式を満たすがポイントワイズ(pointwise)ではない、いわゆるナビエ–ストークス方程式の弱解の存在を証明した。[3]
- 2014年2月テレンス・タオ(Terence Tao)は、3次元ナビエ-ストークス方程式の通常のバージョンに対する有限時間のブローアップの結果を公開した。彼は、結果は真のナビエ-ストークスの方程式の大域的な正規化問題は、ある「超臨界的な障壁」("supercriticality barrier")と定式化することができ、真の方程式のブローアップが確立することのできる道筋のヒントを与える事実を証明したと主張している。[4]
脚注
参考文献
- ↑ 1.0 1.1 1.2 Official statement of the problem, Clay Mathematics Institute.
- ↑ Ladyzhenskaya, O. (1969), The Mathematical Theory of Viscous Incompressible Flows (2nd ed.), New York: Gordon and Breach.
- ↑ Leray, J. (1934), “Sur le mouvement d'un liquide visqueux emplissant l'espace”, Acta Mathematica 63: 193–248, doi:10.1007/BF02547354
- ↑ Finite time blowup for an averaged three-dimensional Navier-Stokes equation Blog post by Terence Tao, with link to Arxiv preprint of paper.
外部リンク
- 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.