[論文レビュー] Singularity formation for compressible Euler equations

Geng Chen, Ronghua Pan+1 more|arXiv (Cornell University)|Aug 28, 2014

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

ひとこと要約

本稿は、等エントロピーおよび断熱流れの両方における圧縮性Euler方程式における有限時間特異点形成の完全な分類を確立する。非線形圧縮の臨界強度を導入し、密度の減衰に対する鋭い境界を導出することで、特異点が有限時間内に形成されるのは、初期圧縮がこの臨界閾値を超える場合に限ることを証明し、大規模データにおける双曲型保存則の長年の未解決問題を解決する。

ABSTRACT

It is well-known that shock will form in finite time for hyperbolic conservation laws from initial nonlinear compression no matter how small and smooth the data are. Classical results, including Lax [14], Liu [22], Li-Zhou-Kong [16], confirm that when initial data are small smooth perturbations near constant states, blowup in gradient of solutions occurs in finite time if and only if intial data contain any compression in some truly nonlinear characteristic field. A natural puzzle is that: Will this picture keep true for large data problem of physical systems such as compressible Euler equations? One of the key issues is how to find an effective way to obtain sharp enough control on density lower bound. For isentropic flow, we offer a complete picture on the finite time shock formation from smooth initial data away from vacuum, which is consistent with small data theory. For adiabatic flow, we show a striking observation that initial weak compressions do not necessarily develop singularity in finite time, in a sharp contrast to the small data theory. Furthermore, we find the critical strength of nonlinear compression, and prove that if the compression is stronger than this critical value, then singularity develops in finite time, and otherwise there are a class of initial data admitting global smooth solutions with maximum strength of compression equals to this critical value.

研究の動機と目的

• 小規模データ理論の範囲外にある大規模初期データにおける圧縮性Euler方程式における有限時間特異点形成の未解決問題を解消すること。
• 大規模データの枠組みにおいて特異点形成を解析するために不可欠な、密度の下界を時間的に制御する鋭く効果的な手法を開発すること。
• 初期非線形圧縮の強度に基づいて、等エントロピーおよび断熱流れにおける特異点形成を分類すること。
• 有限時間内に特異点が形成されるかどうかの臨界閾値を確立し、それより上では特異点が形成され、それより下では大域的滑らかな解が存在することを示すこと。
• 古典的な小規模データ結果を、密度減衰および音速の振る舞いの厳密な特徴付けにより、大規模データの設定に拡張すること。

提案手法

• 音速の逆数とリーマン不変量を用いた密度下界減衰の新規特徴付けを導入し、長期間の挙動を制御可能にする。
• ラグランジュ座標におけるp系にラックスの手法を適用し、リーマン不変量およびその勾配の時間発展方程式を導出する。
• 非線形圧縮の臨界強度を、条件 $\int_0^\infty a(\tau(x(t),t))\,dt = \infty$ により定義する。ここで $a(\tau) = \frac{p_{\tau\tau}}{4(-p_\tau)^{5/4}}$ である。
• リーマン不変量を用いて、速度および内部エネルギーの一様 $L^\infty$ 界を確立し、初期データが圧縮を含まない場合には大域的解の存在を保証する。
• 不等式 $\frac{1}{a(\tau)} \leq K_2 + K_3 t$ を用いて、圧縮が臨界閾値を超過する場合には爆発を証明する。これは圧力則に関する仮定A.5に依拠する。
• 一般の圧力則にこの手法を適用し、$\gamma$-法 $p = K\tau^{-\gamma}$ を含む、ややきつい構造的条件を満たすものに適用する。また、大域的解が存在するための必要十分条件として $s_x(x,0) \geq 0$ および $r_x(x,0) \geq 0$ を示す。

実験結果

リサーチクエスチョン

• RQ1 小規模仮定がなくとも、大規模初期データにおける圧縮性Euler方程式で有限時間特異点が形成されるか？
• RQ2 大規模データ解において、密度の下界に対する鋭く効果的な制御が可能か？ これにより、無限大への減衰を防げるか？
• RQ3 断熱流れにおいて、大域的滑らかな解と有限時間爆発を分ける初期圧縮強度の臨界閾値が存在するか？
• RQ4 特異点形成の観点から、大規模データにおけるp系（等エントロピーの場合）の振る舞いは、小規模データ理論とどのように異なるか？
• RQ5 圧力則にどのような構造的条件を課すと、特異点が圧縮が臨界値を超える場合にのみ形成されるか？

主な発見

• 等エントロピー流れでは、有限時間特異点が形成されるのは、初期データに真に非線形な特徴値場における圧縮が含まれる場合に限る。これは小規模データの結果を大規模データに拡張するものである。
• 断熱流れでは、初期の弱い圧縮が有限時間爆発を引き起こすとは限らない。代わりに、特異点が形成されるための臨界圧縮強度が存在する。
• 最大圧縮強度が臨界値に等しい初期データのクラスに対して、大域的滑らかな解が存在することを示し、この閾値の鋭さを実証する。
• 本稿では、$\int_0^\infty a(\tau(x(t),t))\,dt = \infty$ が成り立つのは、初期圧縮が臨界閾値を超える場合に限ることを証明しており、これが爆発の鍵となる条件である。
• リーマン不変量と条件 $ (5+A)(p_{\tau\tau})^2 - 4p_\tau p_{\tau\tau\tau} \geq 0 $ を用いて、密度および音速の均一な界を確立し、長期間の挙動を制御可能にする。
• 仮定A.2–A.5を満たす一般の圧力則に対して、結果が成り立つ。特に $\gamma > 1$ における $\gamma$-法 $p = K\tau^{-\gamma}$ に対しても成り立ち、広範な適用可能性を確認する。