[論文レビュー] Existence of discretely self-similar solutions to the Navier-Stokes equations for initial value in $ L^2_{ loc}(\Bbb R^{3})$

Dongho Chae, Joerg Wolf|arXiv (Cornell University)|Oct 5, 2016

Navier-Stokes equation solutions参考文献 9被引用数 3

ひとこと要約

本稿は、$L^2_{\text{loc}}(\mathbb{R}^3)$ 初期データに対して、3次元ナビエ＝ストークス方程式の前方離散的自己相似（DSS）解の存在を確立する。従来の $L^3_\text{weak}$ やモリィ空間よりも広いクラスである。射影圧力に基づく新規な局所レイリー解の枠組みを用いて、弱コンパクト性の議論と自己相似性の制約を組み合わせ、$L^2_{\text{loc}}$ 初期データに対してもグローバル存在を証明し、先行研究を拡張する。

ABSTRACT

We prove the existence of a forward discretely self-similar solutions to the Navier-Stokes equations in $ \Bbb R^{3} imes (0,+\infty)$ for a discretely self-similar initial velocity belonging to $ L^2_{ loc}(\Bbb R^{3})$.

研究の動機と目的

• 3次元ナビエ＝ストークス方程式の自己相似解の存在理論を、$L^3_\text{weak}$ やモリィ空間を越えて拡張すること。
• 非有界または緩やかに減衰するプロファイルを含む $L^2_{\text{loc}}(\mathbb{R}^3)$ 初期データに対して、前方離散的自己相似（DSS）解のグローバル存在を確立すること。
• グローバルエネルギー保存が成り立たない状況に対応するため、射影圧力を用いた局所エネルギー不等式を満たす新しい局所レイリー解の概念を導入すること。
• $L^2_{\text{loc}}$ において、従来の手法が不十分な減衰性や空間的可積分性の欠如により失敗する問題を克服すること。
• 初期データが離散的自己相似かつ $L^2_{\text{loc}}(\mathbb{R}^3)$ である場合に、解の時間的一意性と弱連続性を証明し、すべての $t \geq 0$ で解が適切に定義されることを保証すること。

提案手法

• 定常ストークス系から導かれる射影圧力項 $E^*_G$ を含む局所エネルギー不等式を満たす、新たな局所レイリー解のクラスを導入する。
• $L^{\frac{2}{\text{loc}}}$ における弱コンパクト性の議論を用いて、DSS対称性を持つ近似解列から極限解を抽出する。
• スケーリング $x \mapsto \lambda^k x$, $t \mapsto \lambda^{2k}t$ における変換公式を適用し、DSS構造を保ちながら解集合の時間正則性を証明する。
• 逐次収束と弱極限における調和関数の一意性を用いて、時間に関する弱連続性 $u \in C_w([0,\infty); L^2_{\text{loc}}(\mathbb{R}^3))$ を確立する。
• $L^2$ ノルムの下方連続性とエネルギー推定を用いて、解の時間的挙動をすべての時点で制御する。
• 射影圧力作用素 $E^*_G$ を用いて、局所エネルギー不等式における圧力項を制御し、可縮性構造と整合性を保証する。

実験結果

リサーチクエスチョン

• RQ1 $L^2_{\text{loc}}(\mathbb{R}^3)$ 初期データに対して、3次元ナビエ＝ストークス方程式の離散的自己相似解を構成可能か？ これは無限遠における減衰性を要件としない空間である。
• RQ2 $L^2_{\text{loc}}$ 初期データではグローバルエネルギー保存が成り立たないが、これによりDSS解の存在が妨げられるか、それとも修正されたエネルギー不等式によって存在が保証可能か？
• RQ3 射影圧力を用いた新しい局所レイリー解の枠組みは、可積分性の欠如とスケーリング下での自己相似性の維持を両立できるか？
• RQ4 初期データが離散的自己相似かつ $L^2_{\text{loc}}$ である場合、解は一意的かつ時間的弱連続的か？
• RQ5 $L^3_\text{weak}$ 初期データに用いられる手法を、より大きな空間 $L^2_{\text{loc}}$ に一般化可能か？ ただし、より強い減衰性や可積分性は要件としない。

主な発見

• 本稿は、任意の初期速度 $u_0 \in L^2_{\text{loc}}(\mathbb{R}^3)$ で $\nabla \cdot u_0 = 0$ を満たすものに対して、3次元ナビエ＝ストークス方程式のグローバル前方離散的自己相似解の存在を証明する。
• 解は射影圧力を含む局所エネルギー不等式を満たし、$C_w([0,\infty); L^2_{\text{loc}}(\mathbb{R}^3))$ に属するため、時間的弱連続性が保証される。
• 解が弱連続となる時刻の集合 $M(u)$ が $[0,\infty)$ 全体にわたることを示し、弱位相におけるグローバル正則性を確認する。
• 従来の手法が $L^2_{\text{loc}}$ で失敗する問題を、射影圧力フレームワークの導入と $L^2_{\text{loc}}$ における弱コンパクト性の使用によって克服する。
• 解はすべての $\lambda > 1$ およびほとんどすべての $(x,t) \in \mathbb{R}^3 \times (0,\infty)$ に対して、自己相似関係 $u(x,t) = \lambda^k u(\lambda^k x, \lambda^{2k}t)$ を満たすことが確認され、DSS構造が保証される。
• 調和関数の議論とエネルギー推定を用いて、$L^2_{\text{loc}}$ における弱極限の一意性が確立され、時間列全体にわたる一貫性が保証される。