[論文レビュー] A Liouville Type Theorem for Steady-State Navier-Stokes Equations

G. Serëgin|arXiv (Cornell University)|Nov 4, 2016

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

ひとこと要約

本稿では、弱Lebesgue空間における漂流場の可積分性条件とLorentz空間における速度の可積分性条件を導入することで、定常状態のストークス系に漂流項を含む場合のLiouville型定理を確立する。これらの条件下で、無限遠で減衰する唯一の解は自明解（ゼロ解）であることが証明され、速度場に対する可積分性仮定を弱めるという既存の結果の拡張がなされる。

ABSTRACT

A Liouville type theorem is proven for the steady-state Navier-Stokes equations. It follows from the corresponding theorem on the Stokes equations with the drift. The drift is supposed to belong to a certain Morrey space.

研究の動機と目的

• 定常状態のストークス系に発散なしの漂流場を含む場合のLiouville型結果を確立すること。
• 速度場に対する強い可積分性条件を、より弱いLorentz空間ノルムに置き換えることで、既存のLiouville定理を一般化すること。
• 弱Lebesgue空間におけるモリィ型条件を用いて漂流場を解析に組み込むこと。
• これらの条件下で、無限遠で減衰する唯一の解が自明解であることを証明すること。
• 古典的な$L^p$または$BMO^{-1}$条件が適用できない場合にも、Liouville型定理の適用範囲を拡張すること。

提案手法

• 切断関数および調和拡張を含む重み付きテスト関数を用いて導出されたCaccioppoli型不等式を用いる。
• 補間およびHardy-Littlewood-Sobolev不等式を適用して、速度勾配の$L^{2q',2}$ノルムを制御する。
• Lorentz空間におけるHölderの不等式を用いて、漂流および速度場を含む項を推定する。
• 速度場を平均ゼロ部分と平均部分に分解することで、振動を制御する。
• ナビエ＝ストークス方程式のスケーリングおよび平行移動不変性を用いて、局所的推定を全空間に拡張する。
• 小さなパラメータを用いたYoungの不等式を用いて高階項を吸収し、一様な境界を得る。

実験結果

リサーチクエスチョン

• RQ1 漂流および速度場にどのような条件下で、漂流付き定常ストークス系の唯一の解が恒等的に消えるか？
• RQ2 速度場に対する可積分性条件を$L^{9/2}$または$BMO^{-1}$からLorentz空間条件に弱めることができるか？
• RQ3 漂流場に対するモリィ型条件がLiouville型結論に与える影響は何か？
• RQ4 標準的なLebesgue空間または$BMO$空間に属さないが、減衰および可積分性仮定を満たす場合に、解の消滅を証明することは可能か？
• RQ5 弱Lebesgue空間$L^{q,∞}$が、このようなLiouville定理における漂流場の特徴づけに果たす役割は何か？

主な発見

• 漂流$u$が$3/2 < q \leq 3$に対して$\text{ess}\text{sup}_{R>0} R^{1-3/q} \|u\|_{L^{q,\infty}(B(R))} < \infty$を満たし、速度$v$が$2 \leq s \leq 6$に対して$\text{ess}\text{sup}_{R>0} R^{1/2-3/s} \|v\|_{L^{s}(B(R))} < \infty$を満たすならば、$v \equiv 0$が$\mathbb{R}^3$で成り立つ。
• 本結果は、速度が$L^{9/2}$や$BMO^{-1}$に属するという仮定を弱め、$L^6 \cap BMO^{-1}$というより広いクラスに拡張できる。この拡張はLorentz空間ノルムの使用に依存する。
• 証明により$\int_{\mathbb{R}^3} |\nabla v|^2 dx < \infty$が示され、これは$v \equiv 0$に至る重要なステップである。
• 速度場が無限遠でゆっくり減衰しても、漂流が弱い$L^{q,\infty}$条件を満たしていれば、定理は成り立つ。
• 例として、$u(x) \lesssim \frac{1}{|x'|+1} \frac{1}{(|x_3|+1)^{2/9}}$となる関数が構成され、これは$q \neq 2$に対して$L^{q,\infty}$条件を満たすが、$L^{9/2}$条件を破る。
• 本手法は、小さなパラメータを含むCaccioppoli型不等式に依存しており、これによりYoungの不等式を用いて誤差項を吸収し、$v$の勾配が消えることの結論が得られる。