[論文レビュー] The strong inviscid limit of the isentropic compressible Navier-Stokes equations with Navier boundary conditions

Matthew Paddick|arXiv (Cornell University)|Oct 10, 2014

Navier-Stokes equation solutions参考文献 48被引用数 37

ひとこと要約

本稿は、半空間上における3次元圧縮性断熱ナビエ＝ストークス方程式のナビエ境界条件のもとで、強い解の存在を確立し、粘性係数に依存しない存在時間の均一性と、粘性係数が0に近づく際に$L^2$で大域的かつ強い収束が成り立つことを証明する。解析は、境界層の制御と、小さな粘性係数パラメータに対しても均一な正則性を保証するため、共形Sobolev空間とエネルギー推定に依拠している。

ABSTRACT

We obtain existence and conormal Sobolev regularity of strong solutions to the 3D compressible isentropic Navier-Stokes system on the half-space with a Navier boundary condition, over a time that is uniform with respect to the viscosity parameters when these are small. These solutions then converge globally and strongly in $L^2$ towards the solution of the compressible isentropic Euler system when the viscosity parameters go to zero.

研究の動機と目的

• 半空間上における3次元圧縮性断熱ナビエ＝ストークス系に、ナビエ境界条件を課したもとで、強い解の局所的時間存在を確立すること。
• 存在時間の均一性を、小さな粘性係数パラメータ$\varepsilon$に対して保証すること。
• 強い無粘性極限を証明する：$\varepsilon \to 0$のとき、ナビエ＝ストークス方程式の解が$L^2$で大域的にエーラー解に収束すること。
• 境界付近における解の挙動を分析し、特にスリップ条件が境界層を制御する役割を果たすことを特定すること。
• 粘性係数$\varepsilon$に依存しない、共形Sobolev空間における均一な正則性推定を提供すること。

提案手法

• 無粘性極限における境界付近の特異的挙動を取り扱うために、共形Sobolev空間を用いる。
• $\varepsilon$に依存する重みをもつ$L^2$ノルムに基づくエネルギー推定を採用する。
• 密度の下界と境界付近における速度勾配の制御のため、事前推定を適用する。
• スリップをモデル化し、ノースリップ制約を避けるために、ナビエ境界条件$[\mu \partial_z u_\tau]_{z=0} = 2a u_\tau|_{z=0}$を用いる。
• Sobolev埋め込みとたん生成推定を組み合わせたブートストラップ法により、エネルギー不等式を閉じる。
• $\|\partial_z u_3\|_{\infty}$と$\|\rho\|_{L^\infty}$の均一なバインディングを導出し、事前推定が$\varepsilon$に依存しない形で成立することを保証する。

実験結果

リサーチクエスチョン

• RQ1 ナビエ境界条件を課した3次元圧縮性断熱ナビエ＝ストークス方程式に対して、粘性係数パラメータ$\varepsilon$に依存しない存在時間を持つ強い解を構成可能か？
• RQ2 $\varepsilon \to 0$のとき、ナビエ＝ストークス系の解が$L^2$でエーラー系の解に大域的かつ強く収束するか？
• RQ3 ナビエ境界条件は、ディリクレ条件やノースリップ条件と比較して、境界付近における正則性と収束挙動にどのような影響を及ぼすか？
• RQ4 圧縮性と境界層が存在する中で、小さな$\varepsilon$に対しても、共形Sobolev正則性が均一に保たれるか？
• RQ5 密度の下界$\rho$が、均一な存在性と収束性を保証するために果たす役割は何か？

主な発見

• 強い解の存在時間は、粘性係数$\varepsilon$に依存せず、均一である。
• 密度は、すべての$t \leq T^*$に対して、$\rho(t,x) \geq c_0' > 0$と、$\varepsilon$に依存しない下界で有界である。
• 垂直速度勾配$\partial_z u_3$は、時間$T^*$まで$L^\infty$で均一に有界であり、境界付近での$u_3$の均一な小ささを保証する。
• $\varepsilon \to 0$のとき、解は$L^2$で大域的かつ強く圧縮性エーラー解に収束し、収束時間$T^*$は$\varepsilon$に依存しない。
• エネルギー推定は、$\varepsilon$が小さい項の寄与と共形Sobolevノルムの使用により、$\varepsilon$に依存しない形で閉じられる。
• ナビエ境界条件により、境界層が均一に制御され、ノースリップ条件に伴う無粘性極限における特異性を回避できる。