[論文レビュー] Well-posedness of the Stokes-transport system in bounded domains and in the infinite strip

Antoine Leblond|arXiv (Cornell University)|Mar 30, 2021

Navier-Stokes equation solutions参考文献 20被引用数 19

ひとこと要約

この論文は、R²およびR³の有界領域、および無限ストリップ R×(0,1) において、初期密度 ρ₀ ∈ L∞ のもとでストークス-輸送系のグローバルな適切性を確立する。全空間の証明で用いられるワッサーシュタイン距離の代わりに負のソボレフノルムを用い、エネルギー推定と楕円型正則性を活用することで、速度にディリクレ境界条件が課されたもとでの解の存在、一意性、安定性を証明している。これは、類似の初期データのもとで非圧縮性多孔質媒体方程式が適切でない（ill-posed）ことと対照的である。

ABSTRACT

We consider the Stokes-transport system, a model for the evolution of an incompressible viscous fluid with inhomogeneous density. This equation was already known to be globally well-posed for any $L^1\\cap L^\\infty$ initial density with finite first moment in $\\mathbb{R}^3$. We show that similar results hold on different domain types. We prove that the system is globally well-posed for $L^\\infty$ initial data in bounded domains of $\\mathbb{R}^2$ and $\\mathbb{R}^3$ as well as in the infinite strip $\\mathbb{R}\ imes(0,1)$. These results contrast with the ill-posedness of a similar problem, the incompressible porous medium equation, for which uniqueness is known to fail for such a density regularity.

研究の動機と目的

• R³ におけるストークス-輸送系のグローバルな適切性結果を、R²およびR³の有界領域、および無限ストリップ R×(0,1) に拡張すること。
• 有界領域におけるグリーン関数が明示的でないという課題に対処するため、ワッサーシュタイン距離の代わりに負のソボレフノルムを用いること。
• 速度にディリクレ境界条件が課されたもとでの解の存在、一意性、安定性を確立すること。
• 同様の初期データ条件下で、ストークス-輸送系の適切性と非圧縮性多孔質媒体方程式の非適切性を対比すること。

提案手法

• ピカール反復スキームを採用し、逐次的にストークス方程式と輸送方程式を解く。
• 有界領域における速度場の制御のため、ストークス方程式のエネルギー推定と負のソボレフノルム（例：W^{-m,q}）を用いる。
• 局所化とパーティション・オブ・ユニテイを用いて、局所ノルム（例：H^{-1}_{uloc}）を定義し、グローバル推定を達成する。
• 輸送方程式の安定性推定を、ワッサーシュタイン距離の代わりに負のソボレフノルムを用いて行う。
• 楕円型正則性と L² 推定を用いて、有界領域におけるストークス方程式の解を制御する。
• L∞ および W^{1,∞} ノルムにおける一様な有界性と安定性推定を用いて、反復スキームの収束を証明する。

実験結果

リサーチクエスチョン

• RQ1 初期密度が L∞ である場合、R²およびR³の有界領域におけるストークス-輸送系はグローバルに適切か？
• RQ2 適切性結果は無限ストリップ R×(0,1) に拡張可能か？
• RQ3 有界領域では明示的なグリーン関数が存在しないが、これにより全空間の場合と比べて証明戦略にどのような影響を与えるか？
• RQ4 なぜ初期データの正則性が同じでも、ストークス-輸送系は適切である一方、非圧縮性多孔質媒体方程式は一意な解を持たないのか？
• RQ5 有界領域におけるストークス-輸送系の安定性推定において、負のソボレフノルムがワッサーシュタイン距離に置き換え可能か？

主な発見

• 任意の初期密度 ρ₀ ∈ L∞(Ω) に対して、R²およびR³の有界 C² 領域におけるストークス-輸送系はグローバルに適切である。
• 初期データ ρ₀ ∈ L∞(R×(0,1)) に対して、無限ストリップ R×(0,1) においてもストークス-輸送系はグローバルに適切である。
• 有界領域および無限ストリップにおいて、解は (ρ, u) ∈ L∞(R+; L∞(Ω)) × L∞(R+; W1,∞(Ω)) を満たす。
• 証明では、全空間解析で用いられるワッサーシュタイン距離の代わりに、有界領域における非局所的流れ結合を扱うために負のソボレフノルムを用いている。
• この手法は、ストークス方程式のエネルギー推定と、輸送方程式の負のソボレフノルムにおける安定性推定に依存している。
• 同じ初期データ正則性のもとで、非圧縮性多孔質媒体方程式が非適切であるのに対し、ストークス-輸送系は適切であるという点で顕著な対比が示されている。