[論文レビュー] On Landau's Solutions of the Navier-Stokes Equations

Vladimír Šverák|arXiv (Cornell University)|Apr 26, 2006

Fluid Dynamics and Turbulent Flows参考文献 13被引用数 5

ひとこと要約

この論文は、$\n\setminus\{0\}$ における定常ナビエ＝ストークス方程式のスケール不変解を分類し、3次元では、すべての滑らかな解がランダウの軸対称解であることを証明する。$n \geq 4$ の場合、非自明な $(-1)$-同次解は存在せず、そのクラスの有限エネルギー特異解が排除される。また、解は $S^{2}$ 上の共形幾何学と関連づけられ、外部領域における正則性および長距離挙動に影響を及える。

ABSTRACT

In 1944 L.D.Landau calculated a very interesting family of explicit solutions of the steady-state 3d Navier-Stokes equations. The solutions are derived under certain assumptions of symmetry, which reduce the Navier-Stokes equations to a system of ODEs. We investigate what happens when some of the symmetry conditions are dropped (and we have to deal with PDEs). Implications of these calculations for more general classes of solutions are also discussed. We also discuss the situation for general dimension.

研究の動機と目的

• スケーリング不変性の下で、$\mathbb{R}^n \setminus \{0\}$ における定常ナビエ＝ストークス方程式の滑らかな $(-1)$-同次解を分類すること。
• 有限エネルギー特異解をモデル化できる可能性がある、$n \geq 4$ における非自明な $(-1)$-同次解の存在を同定すること。
• 特に発散および弱形式の観点から、原点におけるナビエ＝ストークス方程式の分布的妥当性における原点の役割を明確にすること。
• $n=3$ における特に、スケール不変解と2次元球面の共形幾何学との関係を探索すること。
• $\mathrm{div}\,u = 0$ が原点で成り立つという追加制約の下で、$n=2$ における既知の解を再表現・分類し、回転に関して同値な解の族を可算個得ること。

提案手法

• 同次性と発散自由制約を用いて、$(-1)$-同次性の下でナビエ＝ストークス系を $S^{n-1}$ 上の常微分方程式系に還元する。
• 2次元球面 $S^2$ 上の共形幾何学を用いて、ランダウの解を直接常微分方程式を解かずに、球面の対称性を活用して幾何学的に導出する。
• 弱形式を用いて、原点におけるナビエ＝ストークス方程式の分布的妥当性を評価し、$n=2$、$n=3$、$n \geq 4$ における挙動の違いを区別する。
• 楕円関数論を用いて、原点で $\mathrm{div}\,u = 0$ を満たす条件の下で、$n=2$ における $(-1)$-同次解を分類する。
• $|\nabla u|^2$ の $L^2$-可積分性とエネルギー推定を用いて、$n \geq 4$ における有限エネルギー特異解の存在を分析する。特に $n=5$ を焦点に当てる。
• 文献[T]の証明を再現・明確化し、$S^{n-1}$ 上の還元系の構造に基づく背理法を用いて、$n \geq 4$ の場合、$\mathbb{R}^n \setminus \{0\}$ に非自明な $(-1)$-同次解が存在しないことを示す。

実験結果

リサーチクエスチョン

• RQ1 3次元において、$\mathbb{R}^3 \setminus \{0\}$ における定常ナビエ＝ストークス方程式の滑らかなスケール不変解は、すべて軸対称的でランダウの形をしているか？
• RQ2 $n \geq 4$ において、$\mathbb{R}^n \setminus \{0\}$ に非自明な $(-1)$-同次解が存在するか？ そのような解が有限エネルギー弱特異解を表す可能性はあるか？
• RQ3 異なる次元における $(-1)$-同次解の原点における $\mathrm{div}\,u$ の分布的挙動およびナビエ＝ストークス方程式の弱形式の挙動はいかなるものか？
• RQ4 $S^2$ の共形幾何学は、3次元におけるランダウの解の存在と構造をどのように説明するか？
• RQ5 $n=2$ における、原点で発散がゼロとなる $(-1)$-同次解の完全な分類は何か？ また、回転に関して同値な解の族として、いくつ存在するか？

主な発見

• 3次元では、$\mathbb{R}^3 \setminus \{0\}$ における定常ナビエ＝ストークス方程式の滑らかなスケール不変解は、すべてランダウの解、すなわち軸対称的で初等関数で表現可能な解に限られる。
• $n \geq 4$ では、$\mathbb{R}^n \setminus \{0\}$ で滑らかな非自明な $(-1)$-同次解は存在せず、そのクラスの有限エネルギー特異解が排除される。
• $n=2$ において、原点で $\mathrm{div}\,u = 0$ が成り立つ条件の下、回転に関して同値な解の族として可算個の $(-1)$-同次解が存在し、楕円関数を用いて分類される。
• 弱形式のナビエ＝ストークス方程式は、$(-1)$-同次解において、$n \geq 4$ の場合にのみ原点で妥当である。$n=3$ の場合、右辺がデルタ関数の可能性があり、$n=2$ の場合、定義されない可能性がある。
• ランダウの解の構造は、$S^2$ の共形幾何学から自然に生じ、常微分方程式を直接解かずに幾何学的に導出可能である。
• $(-1)$-同次解において、エネルギー積分 $\int_{|x|<r} |\nabla u|^2 \, dx$ が局所的に有限であるのは $n \geq 5$ の場合に限られ、次元が正則性および特異点解析において重要な役割を果たす。