[論文レビュー] Global Well-Posedness of Classical Solutions to the Cauchy problem of Two-Dimensional Baratropic Compressible Navier-Stokes System with Vacuum and Large Initial Data

Xiangdi Huang, Jing Li|arXiv (Cornell University)|Jul 16, 2012

Navier-Stokes equation solutions参考文献 17被引用数 38

ひとこと要約

本稿は、無限遠における真空および大規模な初期データを伴う全空間上での2次元圧縮性ナビエ＝ストークス方程式の古典的解の全球的存在および一意性を確立する。定数の剪切粘性係数と、$\lambda = \rho^\beta$ としてスケーリングされる体積粘性係数を仮定し、$\beta > 4/3$ の条件下で、初期データのサイズ制限なしに長時間の存在と正則性を証明する。これは、多次元粘性ガス力学における長年の未解決問題を解消する。

ABSTRACT

For smooth initial data, we establish the global existence and uniqueness of strong and classical solutions to the Cauchy problem for the barotropic compressible Navier-Stokes equations in two spatial dimensions with vacuum state as far field and with no restrictions on the size of initial data provided the shear viscosity is a positive constant and the bulk one is $λ= ρ^β$ with $β>4/3$.

研究の動機と目的

• 全空間 $\mathbb{R}^2$ 上で無限遠における真空および大規模な初期データを伴う2次元圧縮性ナビエ＝ストークス方程式の全球的古典的可解性という未解決問題を解消すること。
• 過去に制限されていた初期データサイズの制限（小エネルギーまたは小振動の領域に限られる）を除去すること。
• 従来の $\beta > 3$ を要件としていた結果を、臨界的閾値 $\beta > 4/3$ まで拡張し、許容可能な粘性則の範囲を向上させること。
• 時間に依存しない密度および速度の一様なバインディングを確立し、長時間の正則性および一意性を保証すること。
• 初期データが開集合で消失する可能性がある無限大領域におけるコーシー問題のための厳密なフレームワークを提供すること。

提案手法

• 無限遠における減衰と可積分性を制御するため、重み $\bar{x}^a = (e + |x|^2)^{1/2} \log^{1+\eta_0}(e + |x|^2)$ を用いた重み付きソボレフ空間を用いる。ここで $\eta_0 = \frac{3}{8} - \frac{1}{2\beta} > 0$ である。
• 近似初期データ $\rho_0^\delta$, $u_0^\delta$ を構築するため、滑らか化および正則化手続きを用いる。これらは必要な正則性および減衰条件を満たす。
• 局所的存在理論（補題2.1）を適用し、正則化問題に対して局所的強い解を得る。その後、$\delta$ に依存しない一様な事前推定を導出する。
• 密度 $\rho$、速度 $u$、およびそれらの微分のエネルギーおよび高階推定を導出する。$\|\nabla u\|_{L^2}$、$\|\rho\|_{L^\infty}$、$\|\bar{x}^a \rho\|_{L^1 \cap H^1}$ のバインディングを含む。
• コンパクト性の議論と、Lebesgue空間およびソボレフ空間における弱収束・強収束を用いて、$\delta \to 0$ の極限に移行し、全球解を回復する。
• Li-Liang (2013) の手法に類似したエネルギー推定および比較議論を用いて、重み付きかつ非有界領域の設定に適応させ、一意性を確立する。

実験結果

リサーチクエスチョン

• RQ1 無限遠における真空および初期データサイズの制限なしに、2次元圧縮性ナビエ＝ストークス方程式の全球的古典的解が存在しうるか？
• RQ2 体積粘性係数 $\lambda(\rho) = \rho^\beta$ に対して、全空間上での全球的存在および正則性を保証するための最小要件は何か？
• RQ3 初期データが大規模かつ退化（すなわち、真空を許容）する場合に、密度および速度の時間に依存しない一様バインディングを確立できるか？
• RQ4 有界領域または周期的設定で成立していた全球的可解性理論を、真空を許容する全空間 $\mathbb{R}^2$ に拡張することは可能か？
• RQ5 重み付きノルム $\bar{x}^a$ および対数的重みが、空間的無限遠における挙動を制御するためにどのように寄与するか？

主な発見

• 著者らは、無限遠における真空および大規模な初期データを伴う2次元圧縮性ナビエ＝ストークス方程式の、$\mathbb{R}^2$ 上での古典的解の全球的存在および一意性を証明する。
• 体積粘性係数 $\lambda = \rho^\beta$ に対して、$\beta > 4/3$ の条件下で成立し、これは Vaigant-Kazhikhov (1997) が示した以前の閾値 $\beta > 3$ よりも改善されている。
• 解は時間に依存しない一様バインディングを満たす：任意の $t \geq 0$ に対して $\|\rho(t)\|_{L^\infty} \leq C$ および $\|\nabla u(t)\|_{L^2} \leq C$ が成り立ち、$C$ は時間に依存しない。
• 初期データは大規模であり、開集合で消失してもよく、特にコンパクトに台を持つ密度を含む。条件は $\bar{x}^a \rho_0 \in L^1 \cap H^1 \cap W^{1,q}$（$q > 2$ および $a \in (1,2)$）を満たす必要がある。
• 解は強いつよさを持ち、古典的である。任意の $T > 0$ に対して $\rho \in C([0,T]; L^1 \cap H^1 \cap W^{1,q})$ および $\bar{x}^a \rho \in L^\infty(0,T; L^1 \cap H^1)$ が成り立ち、正則性および減衰を保証する。
• 証明は正則化およびコンパクト性の議論に依拠し、正則化初期データから極限に移行する。収束は、ソボレフ空間における強いおよび弱い位相で確立される。