[論文レビュー] Lower bound of density for Lipschitz continuous solutions in the isentropic gas dynamics

Geng Chen, Ronghua Pan+1 more|arXiv (Cornell University)|Oct 13, 2014

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

ひとこと要約

本稿は、$1 < \gamma < 3$ の条件下で、1次元の等エントロピーEuler方程式（p系）のリプシッツ連続解における密度の鋭い $O(1+t)^{-1}$ 下界を確立する。多角形スキーム近似とリーマン不変量の分析を用いて、圧縮領域であっても密度の減少が $O(1+t)^{-1}$ より速くはならないことを証明し、既存の推定値を改善するとともに、既知の例の最適性を確認する。

ABSTRACT

For the Euler equations of isentropic gas dynamics in one space dimension, also knowns as p-system in Lagrangian coordinate, it is known that the density can be arbitrarily close to zero as time goes to infinity, even when initial density is uniformly away from zero. In this paper, for uniform positive initial density, we prove the density in any Lipschitz continuous solutions for Cauchy problem has a sharp positive lower bound in the order of O(1/(1+t)), which is identified by explicit examples in [9](Courant and Friedrichs, Supersonic Flow and Shock Waves, 1948.).

研究の動機と目的

• 等エントロピーEuler方程式のリプシッツ連続解における密度の下界の時間的減衰率がどのように鋭いかを解明すること。
• 大データ解における真空中の形成と厳密な双曲的性の喪失という課題に取り組むこと。
• 従来の $O((1+t)^{-4/(3-\nu)})$ 下界を改善し、最適な $O((1+t)^{-1})$ 減衰率を確立すること。
• コーランの古典的膨張波例で観察された $O(1+t)^{-1}$ 減衰率の鋭さを確認すること。

提案手法

• ダフェルモスおよびディプロナのインスピレーションを受けて、p系に多角形スキーム近似を適用し、波の干渉をモデル化すること。
• リーマン不変量 $s$ と $r$ 及びそれらの空間微分を用いて、局所的解の挙動を膨張波と圧縮波に分類すること。
• $(x,t)$-平面上のブロックを横切る波の伝播を分析し、特性経路に沿った比体積 $v$ の変化を追跡すること。
• リーマン不変量の進化方程式 $s_t + c s_x = 0$, $r_t - c r_x = 0$ を用いて $v$ の変化に関する推定を導出すること。
• 時間ステップごとの帰納法を用いて、$v(x,t) \leq \max v(x,0) + L t$ という事前推定を導出し、一様な制御を保証すること。
• 弱解と強解の一意性を活用し、多角形スキームの極限を真のリプシッツ連続解に結びつけること。

実験結果

リサーチクエスチョン

• RQ1 リプシッツ連続解における等エントロピーEuler方程式の密度の下界の最適な時間的減衰率は何か、$1 < \gamma < 3$ の条件下で。
• RQ2 $O((1+t)^{-1})$ 下界は、単に膨張波に限らず、圧縮領域を含む解に対しても厳密に証明可能か。
• RQ3 多角形スキーム近似は波の干渉構造をどのように保持し、$v$ に対する一様な境界を可能にするか。
• RQ4 $O((1+t)^{-1})$ 減衰率は鋭いか、コーランの既知の明示的例と一致するか。
• RQ5 この境界は、初期圧縮を伴う古典的解の寿命推定値を改善するために利用可能か。

主な発見

• 等エントロピーEuler方程式の任意のリプシッツ連続解において、$1 < \gamma < 3$ の下で、ある $c_0 > 0$ が存在し、$x$ に関して一様に $v(x,t) \geq c_0 (1+t)^{-1}$ が成り立つ。
• $O((1+t)^{-1})$ 下界は鋭く、$\gamma = \frac{2N+1}{2N-1}$ の場合にコーランの研究で明示的な例によって確認されている。
• 波の分類を保持し、時間にわたる一様な制御を可能にする多角形スキーム近似を用いて、この境界が確立された。
• この結果は、従来の滑らかな解に適用可能だった $O((1+t)^{-4/(3-\gamma)})$ 下界を改善し、今やすべてのリプシッツ連続解に適用可能である。
• 初期圧縮を伴う古典的解の寿命は、$t = \frac{1}{L}\left\{\left(-\frac{4K_0}{\gamma+1} \frac{1}{G_0} + H_0^{\frac{\gamma+1}{4}}\right)^{\frac{4}{\gamma+1}} - H_0\right\}$ までに特異点が形成されることが、上界として与えられる。ここで、$y = \sqrt{c} s_x$ と $q = \sqrt{c} r_x$ の初期最小値に依存する。
• 証明により、圧縮領域であっても密度が $O((1+t)^{-1})$ より速く消失することは不可能であることが確認され、大データ理論における重要な問題が解決された。