[論文レビュー] The stability of simple plane-symmetric shock formation for 3D compressible Euler flow with vorticity and entropy

Jonathan Luk, Jared Speck|arXiv (Cornell University)|Jul 7, 2021

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

ひとこと要約

本稿は、平面対称性を破り、渦度とエントロピーを導入する小規模で compact な台を持つ摂動の下で、3次元圧縮性Euler流れにおける衝撃形成の非線形安定性を確立する。幾何的ベクトル場法を特徴づける音響的アイゾンタル関数に anchored した手法により、衝撃特異性—正確に逆葉層密度のゼロレベル集合上でのデカルト微分の爆発—が摂動のもとでも維持され、完全な爆発構造が保存されることを証明する。主な結果は、渦度とエントロピーを有する3次元圧縮性Euler流れにおける安定的衝撃形成の初の厳密な証明であり、非線形超臨界PDE分野における長年の未解決問題を解消する。

ABSTRACT

Consider a $1$D simple small-amplitude solution $( ho_{(bkg)}, v^1_{(bkg)})$ to the isentropic compressible Euler equations which has smooth initial data, coincides with a constant state outside a compact set, and forms a shock in finite time. Viewing $( ho_{(bkg)}, v^1_{(bkg)})$ as a plane-symmetric solution to the full compressible Euler equations in $3$D, we prove that the shock-formation mechanism for the solution $( ho_{(bkg)}, v^1_{(bkg)})$ is stable against all sufficiently small and compactly supported perturbations. In particular, these perturbations are allowed to break the symmetry and have non-trivial vorticity and variable entropy. Our approach reveals the full structure of the set of blowup-points at the first singular time: within the constant-time hypersurface of first blowup, the solution's first-order Cartesian coordinate partial derivatives blow up precisely on the zero level set of a function that measures the inverse foliation density of a family of characteristic hypersurfaces. Moreover, relative to a set of geometric coordinates constructed out of an acoustic eikonal function, the fluid solution and the inverse foliation density function remain smooth up to the shock; the blowup of the solution's Cartesian coordinate partial derivatives is caused by a degeneracy between the geometric and Cartesian coordinates, signified by the vanishing of the inverse foliation density (i.e., the intersection of the characteristics).

研究の動機と目的

• 小規模で台がコンパクトな摂動の下で、3次元圧縮性Euler流れにおける1次元単純平面対称衝撃形成の非線形安定性を確立すること。
• 対称性、渦度、エントロピーが摂動によって導入された場合の衝撃形成メカニズムの頑健性を分析すること。
• 最初の特異時刻における爆発集合の正確な幾何的構造を同定し、逆葉層密度のゼロレベル集合として特定すること。
• 流体解と幾何的量が衝撃に達するまで滑らかであり、爆発が座標の退化に起因することを示すこと。
• 先行研究で提起されたプログラムを完了し、渦度とエントロピーを有する3次元Euler系における衝撃形成の安定性を証明すること

提案手法

• 音響的アイゾンタル関数に基づく幾何的ベクトル場法を用いて、圧縮性Euler方程式を幾何的座標に再定式化すること。
• アイゾンタル関数によってfoliateされる特徴的超曲面の族を導入し、逆葉層密度がそれらの収束を測定すること。
• 逆葉層密度およびベクトル場を含む重み付きノルムを用いたトップオーダーエネルギー推定フレームワークを適用し、非線形相互作用を制御すること。
• 有限伝播速度と局在化に依存する事前推定を用いたブートストラップ法により、流体変数、渦度、エントロピー勾配、幾何的量の非線形性を制御すること。
• アイゾンタル関数とベクトル場の交換子を用いて明らかにされた方程式のノン構造—を用いて、グローヴァルとヤングの不等式により非線形項を制御すること。
• エネルギー不等式に対する縮約的議論を実施し、大きなパラメータの選択から得られる定数の小規模性条件を用いて非線形項を吸収すること

実験結果

リサーチクエスチョン

• RQ1 1次元単純平面対称圧縮性Euler流れにおける衝撃形成メカニズムは、対称性を破り、渦度とエントロピーを導入する小規模3次元摂動の下でも安定か？
• RQ2 摂動を加えた3次元流れにおける最初の特異時刻における爆発集合の正確な幾何的構造は何か？
• RQ3 流体変数のデカルト微分はどのように爆発するのか？ そして、この爆発を支配する幾何的量は何か？
• RQ4 流体解と幾何的量は、デカルト微分の爆発にもかかわらず、衝撃に達するまで滑らかに保たれるか？
• RQ5 方程式のノン構造は、摂動の下での衝撃形成メカニズムの安定化にどのような役割を果たすか？

主な発見

• 1次元単純平面対称解における衝撃形成メカニズムは、対称性を破り、渦度とエントロピーを導入するすべての十分に小さなコンパクト台付き摂動のもとで安定である。
• 1階デカルト偏微分の爆発は、正確に逆葉層密度関数のゼロレベル集合上に発生し、これは特徴的超曲面の収束を測定する。
• 流体解と逆葉層密度関数は、衝撃時刻まで滑らかに保たれ、爆発は幾何的座標とデカルト座標の退化に起因する。
• 摂動解の爆発時間は $ T^{\text{Sing}} = (\delta^*_{\text{bkg}})^{-1} $ で与えられ、背景解の爆発時間と一致し、特異時刻の安定性を確認する。
• 大きなパrameterから得られる定数の小規模性条件を用いた縮約的議論により、トップオーダーエネルギー推定が閉じられ、非線形項が制御されることを保証する。
• 低オーダーエネルギー推定は、ヤングの不等式とグローヴァルの不等式を用いて主要項を吸収することで確立され、時間積分ノルムと減衰重みの精密な制御がなされている。