[論文レビュー] Steady 3D viscous compressible flows with adiabatic exponent $γ\in (1,\infty)$

П. И. Плотников, W. Weigant|arXiv (Cornell University)|Dec 20, 2013

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

ひとこと要約

本稿は、任意の多変化指数 $\gamma > 1$ に対して、滑らかでない境界条件下での3次元定常圧縮性ナビエ＝ストークス方程式に対して弱解の存在を確立する。正則化された圧力則 $p_\epsilon(\varrho) = \varrho^\gamma + \epsilon\varrho^4$ を用いて、エネルギーの均一なバウンドと元の問題を満たす解への弱収束を証明し、以前の結果が要求していた $\gamma > 4/3$ よりも広い範囲に一般化する。主な貢献は、古典的な滑らかでない境界問題に対して $\gamma > 4/3$ の制限を $\gamma > 1$ に緩和したことである。

ABSTRACT

The Navier-Stokes equations for compressible barotropic flow in the stationary three dimensional case are considered. It is assumed that a fluid occupies a bounded domain and satisfies the no-slip boundary condition. The existence of a weak solution under the assumption that the adiabatic exponent satisfies $γ>1$ is proved. These results cover the cases of monoatomic, diatomic, and polyatomic gases.

研究の動機と目的

• 任意の多変化指数 $\gamma > 1$ に対して、滑らかでない境界条件下での3次元定常圧縮性ナビエ＝ストークス方程式の弱解の存在を確立すること。
• 従来の $\gamma > 4/3$ の閾値を超えて、古典的な滑らかでない境界問題の数学的理論を拡張すること。
• 単原子気体、二原子気体、多原子気体を含む、一般の $\gamma > 1$ の圧縮性粘性流れの存在理論におけるギャップを埋めること。
• 慎重に構築された人工圧力則を用いて、エネルギーの均一有界性と正則化解の収束を証明すること。

提案手法

• 低密度における圧力の特異性に対処するため、正則化された圧力則 $p_\epsilon(\varrho) = \varrho^\gamma + \epsilon\varrho^4$ が導入される。
• ソボレフ空間およびルベーグ空間における事前推定を用いて、正則化問題の解の存在が確立される。
• $\epsilon$ に依存しない、速度の $W^{1,2}_0(\Omega)$ における、密度の $L^{q\gamma}(\Omega)$ における、および運動エネルギーの $L^s(\Omega)$ における均一バウンドが得られる。
• $\epsilon \to 0$ のとき、正則化解 $(\mathbf{u}_\epsilon, \varrho_\epsilon)$ の弱収束が証明される。
• コンパクトネスの議論と、振動欠損測度の概念の使用により、非線形項における極限への移行が行われる。
• 重要な技術的ステップとして、ホルダー型不等式と境界における幾何的推定を用いて、ベクトル場 $\boldsymbol{\xi}$ の勾配の均一可積分性と減衰推定が示される。

実験結果

リサーチクエスチョン

• RQ1 滑らかでない境界条件下で、任意の $\gamma > 1$ に対して、3次元定常圧縮性ナビエ＝ストークス方程式の弱解の存在は確立可能か？
• RQ2 どの正則化圧力則が、均一なエネルギーバウンドと元の問題の解への収束を保証するか？
• RQ3 $\gamma \in (1, 4/3)$ のとき、速度、密度、運動エネルギーに対する均一推定をどのように得られるか？
• RQ4 人工圧力項 $\epsilon\varrho^4$ は、解列の安定化とコンパクトネスの実現にどのように寄与するか？
• RQ5 振動欠損測度と境界における幾何的推定は、極限過程における非線形項の制御にどのように利用できるか？

主な発見

• 本稿は、任意の $\gamma > 1$ に対して、3次元定常圧縮性ナビエ＝ストークス方程式に対して少なくとも1つの弱解 $(\mathbf{u}, \varrho) \in W^{1,2}_0(\Omega) \times L^{\gamma}(\Omega)$ の存在を証明する。
• 均一バウンドが確立される：$\|\mathbf{u}\|_{W^{1,2}_0} + \|\varrho\|_{L^{q\gamma}} + \|\varrho|\mathbf{u}|^2\|_{L^s} \leq c$ であり、$q > 1$, $s > 1$, $c$ は $\Omega$, $\mathbf{f}$, $\gamma$, $M$, $\mu$, $\nu$ のみに依存する。
• 解は、すべてのテスト関数 $\boldsymbol{\xi} \in C^\infty_0(\Omega)$ および $\zeta \in C^\infty(\Omega)$ に対して、積分恒等式 (1.2) と (1.3) を満たし、弱形式の正当性が確認される。
• この結果は、$\gamma > 4/3$ を超える既知の存在理論を拡張し、単原子気体（$\gamma = 5/3$）、二原子気体（$\gamma \approx 1.4$）、多原子気体（$\gamma \in (1, 4/3)$）を含む、すべての物理的に妥当な気体をカバーする。
• 証明は、均一なエネルギーバウンドとコンパクトネスを保証するための、新しい方法で正則化圧力 $p_\epsilon = \varrho^\gamma + \epsilon\varrho^4$ を用いることに依存する。
• 重要な技術的成果として、$\Delta_{-}^{-2\alpha}$ および $\Delta_{+}^{-2\alpha}$ を含む推定を用いて、ベクトル場 $\boldsymbol{\xi}$ の勾配の均一制御が行われ、領域全体にわたって均一可積分であることが示された。