[論文レビュー] Expansion of a compressible gas in vacuum

Denis Serre|arXiv (Cornell University)|Apr 7, 2015

Navier-Stokes equation solutions参考文献 18被引用数 22

ひとこと要約

本稿は、真空中に拡張する圧縮性断熱ガスの流れの力学を調査し、音速におけるホルダー特異性（リウによって「物理的解」として定義）が自由境界（フロント）の加速を引き起こすかどうかに注目する。主な結果として、奇数次元では、非加速フロントを有する永遠の解は存在せず、偶数次元では、そのような解が時間的に全域で持続可能である。1次元における物理的解の定義を精緻化した結果、過去と未来の挙動に深い時間的対称性が生じることが明らかになった。

ABSTRACT

Tai-Ping Liu \cite{Liu\_JJ} introduced the notion of "physical solution' of the isentropic Euler system when the gas is surrounded by vacuum. This notion can be interpreted by saying that the front is driven by a force resulting from a Hölder singularity of the sound speed. We address the question of when this acceleration appears or when the front just move at constant velocity. We know from \cite{Gra,SerAIF} that smooth isentropic flows with a non-accelerated front exist globally in time, for suitable initial data. In even space dimension, these solutions may persist for all $t\in\R$ ; we say that they are {\em eternal}. We derive a sufficient condition in terms of the initial data, under which the boundary singularity must appear. As a consequence, we show that, in contrast to the even-dimensional case, eternal flows with a non-accelerated front don't exist in odd space dimension. In one space dimension, we give a refined definition of physical solutions. We show that for a shock-free flow, their asymptotics as both ends $t ightarrow\pm\infty$ are intimately related to each other.

研究の動機と目的

• 圧縮性ガスが真空中に拡張する際、自由境界が音速におけるホルダー特異性によって加速する条件を明確化すること。
• 奇数次元と偶数次元において、滑らかで非加速な流れ（永遠の解）が時間的に全域で存在可能かどうかを特定すること。
• 特に衝撃が存在しない状況における1次元断熱流れにおける「物理的解」の定義を精緻化すること。
• このような流れの $t \to \pm\infty$ における漸近的挙動を調査し、過去と未来の力学の間の関係を確立すること。

提案手法

• 多項的状態方程式 $p = A\rho^\gamma$ を用いた断熱Euler系を用い、音速が $c \propto \rho^{(\gamma-1)/2}$ と比例することを導出する。
• 真空中特異性を除去するために、正規化音速 $\bar{c} = c / \kappa$ を用いて、系を準線形対称形式に再定式化する。
• 境界の正則性と物理的特異性の発生を分析するために、2特性（速度場の積分曲線）の挙動を研究する。
• 初期データに依存する臨界閾値 $\beta^*$ を導入し、特性曲線に沿ったリッカティ型方程式を用いて、永遠の解と有限時間解を分離する。
• 径数関数 $r = u = \partial_x \beta$ に関する比較原理と単調性議論を用い、$r|_{\beta^*}$ が $\Omega^+$ 上で最大値を達成することを示す。
• 背理法を用いて $\sup_{\Omega^+} r = r|_{\beta^*} = q_+$ を証明し、同様の議論を $\Omega^-$ に適用することで、$p_- = q_+$ が導かれる。

実験結果

リサーチクエスチョン

• RQ1 圧縮性ガスの自由境界が、定常速度で移動するのではなく、音速における物理的特異性（すなわちホルダー特異性）を発生させる条件は何か？
• RQ2 断熱Euler系と真空中における、奇数次元空間で永遠の非加速解が存在可能か？
• RQ3 1次元空間において、衝撃のない物理的解の漸近的挙動は、$t \to \pm\infty$ においてどのように関連しているか？
• RQ4 初期データの構造が、フロントの加速または真空中まで滑らかに進展するかを決定する上で果たす役割は何か？
• RQ5 $d \geq 2$ 次元における衝撃のない流れで物理的特異性を有する場合、領域 $\Omega(t)$ は時間的に自己相似的になるか？

主な発見

• 奇数次元では、非加速フロントを有する永遠の解は存在しない。このような流れは有限時間内に物理的特異性を発生する。
• 偶数次元では、適切な初期データに対して、滑らかで非加速な流れ（永遠の解）が時間的に全域で存在可能である。
• 1次元では、物理的解の $t \to \infty$ における漸近的挙動は、$t \to -\infty$ における挙動と密接に結びついており、$\sup_{\Omega^+} r = q_+$ かつ $\sup_{\Omega^-} r = p_-$ が成り立ち、$p_- = q_+$ を示唆する。
• 臨界特性 $\beta^*$ は、永遠の解と有限時間解を分離するものであり、$r|_{\beta^*}$ は $\Omega^+$ 上での $r = u$ の最大値を達成する。
• 物理的特異性の存在は、初期データに関する十分条件によって決定され、特性曲線に沿ったリッカティ方程式の挙動を用いて表現可能である。
• 1次元の衝撃のない流れにおいて、フロントの運動は時間的に対称的である。$t \to \infty$ における解の構造は $t \to -\infty$ における構造に依存し、逆も同様である。