[論文レビュー] The Navier-Stokes equations for Incompressible Flows: solution properties at potential blow-up times

Jens Lorenz, Paulo R. Zingano|arXiv (Cornell University)|Mar 5, 2015

Navier-Stokes equation solutions参考文献 44被引用数 6

ひとこと要約

本稿は、3次元非圧縮性ナビエ＝ストークス方程式の古典的解が有限時間 blow-up 時刻 $T_f$ に近づく際の挙動を調査する。$T_f < \infty$ を仮定し、特異積分理論およびヘルムホルツ射影を用いて、さまざまなノルムの blow-up 速度や発散する関数の比較に関する一元的な解析を提供し、blow-up 速度の鋭い下界を確立する。

ABSTRACT

In this paper we consider the Cauchy problem for the 3D Navier-Stokes equations for incompressible flows. The initial data are assumed to be smooth and rapidly decaying at infinity. A famous open problem is whether classical solutions can develop singularities in finite time. Assuming the maximum interval of existence to be finite, we give a unified discussion of various known solution properties as time approaches the blow-up time.

研究の動機と目的

• 時間 $T_f$ に近づく際の3次元非圧縮性ナビエ＝ストークス方程式の古典的解の漸近的挙動を分析すること。
• もし $T_f$ が有限であれば成立しなければならない主要な解の性質を統合し、完全な証明を提供すること。ここには調和解析の基本的結果を用いる。
• 特に、$T_f$ に近づく際の異なる関数の成長を比較することを含め、さまざまな解のノルムの blow-up 速度に対する鋭い下界を導出すること。
• ヘルムホルツ射影 $P_H$ が速度場を分解し、blow-up 近傍における正則性および減衰性の解析に果たす役割を確立すること。
• 最近の高度な発展に依存せず、最小限だが強力な解析的道具を用いて、blow-up 情報を扱う自立的でアクセス可能なフレームワークを提供すること。

提案手法

• 速度場の発散自由成分と勾配成分に分離するため、ヘルムホルツ分解 $u = P_H u + \nabla \phi$ を用いる。
• カルデロン＝ジグムントの特異積分理論を適用し、核 $K_{ij}(x-y) = D_i D_j (|x-y|^{-1})$ を用いてヘルムホルツ射影 $P_H$ を定義・分析する。
• 核 $K_{ij}(z)$ の可積分でない特異性を処理するため、主値積分を用い、$D_j \phi(x) = \frac{1}{4\pi} \sum_i \lim_{\varepsilon \to 0} \int_{|x-y| \geq \varepsilon} K_{ij}(x-y) v_i(y) dy$ によって圧力勾配が適切に定義されることを保証する。
• 定理7.2により $L^q$ 有界性を確立：$\|P_H v\|_{L^q} \leq C_q \|v\|_{L^q}$（$1 < q < \infty$）。これにより $P_H$ が $L^q$ 関数へ拡張可能であることが保証される。
• $w = P_H v$ および $\phi$ に対する減衰推定を導出し、$|w(x)| + |\phi(x)| \to 0$（$|x| \to \infty$）を示し、可積分性および滑らかさを保証する。
• 部分積分および積分の微分の交換を用いて、$v \in C_0^\infty(\mathbb{R}^3)$ ならば $P_H v \in C^\infty(\mathbb{R}^3)$ を証明し、射影された場の正則性を確認する。

実験結果

リサーチクエスチョン

• RQ1 最大存在時刻 $T_f$ が有限であれば、$t \to T_f$ の際に解が満たさねばならない性質は何か？
• RQ2 $T_f$ に近づく際、$\|u(\cdot,t)\|_{L^q}$ や $\|u(\cdot,t)\|_{\infty}$ といった速度場の異なる関数の blow-up 速度はどのように比較できるか？
• RQ3 $t \to T_f^-$ の際、$\|u(\cdot,t)\|_{L^q}$ の blow-up 速度に対する鋭い下界は何か？
• RQ4 特異積分理論を用いて、$P_H$ を $L^q$ 空間に厳密に定義し、拡張する方法は何か？
• RQ5 $v \in C_0^\infty(\mathbb{R}^3)$ のとき、$P_H v$ は $v$ からどのような正則性および減衰性を引き継ぎ、blow-up 近傍の解析にどのように寄与するか？

主な発見

• もし $T_f < \infty$ であれば、$q > 3$ に対して $\|u(\cdot,t)\|_{L^q} \to \infty$ となるが、$\|u(\cdot,t)\|_{L^2}$ は有界のままである。これは $L^2$ ノルムの制御では blow-up を防げないことを示唆する。
• ヘルムホルツ射影 $P_H$ は $C_0^\infty(\mathbb{R}^3)$ を $C^\infty(\mathbb{R}^3) \cap L^q(\mathbb{R}^3)$（$1 < q \leq \infty$）に写像し、発散自由成分の滑らかさおよび可積分性を保証する。
• カルデロン＝ジグムント理論を用いて $P_H$ の $L^q$ 有界性を確立し、$\|P_H v\|_{L^q} \leq C_q \|v\|_{L^q}$（$1 < q < \infty$）を得た。これにより $P_H$ が $L^q$ 空間に拡張可能であることが保証される。
• 圧力勾配 $\nabla \phi$ は、同次型で次数 $-3$ の核 $K_{ij}(x-y)$ を含む主値積分によって定義され、特異性にもかかわらず適切に定義される。
• $v \in C_0^\infty(\mathbb{R}^3)$ に対して、射影場 $w = P_H v$ は $|w(x)| \leq C(1 + |x|^3)^{-1}$ を満たし、$1 < q \leq \infty$ に対して $w \in L^q(\mathbb{R}^3)$ であることが示される。
• 初期データ $f$ に対する滑らかさおよび減衰性の仮定のもと、$p(x,t) \to 0$（$|x| \to \infty$）という正規化のもとで、解 $u$ および圧力 $p$ は一意的であり、$t < T_f$ では $u$ は $C^\infty$ である。