[論文レビュー] Convexity of Self-Similar Transonic Shocks and Free Boundaries for the Euler Equations for Potential Flow

Gui‐Qiang Chen, Mikhail Feldman+1 more|arXiv (Cornell University)|Mar 6, 2018

Computational Fluid Dynamics and Aerodynamics参考文献 36被引用数 5

ひとこと要約

本稿は、自己相似ポテンシャル流れに従うEuler方程式によって記述される2次元非圧縮流体における自己相似トランソンクス・ショックおよび自由境界の均一な強凸性を証明する一般枠組みを確立する。解および自由境界の非局所的性質を活用することで、楔によるショック反射・回折問題とプランドル＝マーレイ反射という2つの基本的ショック問題において、均一な強凸性を示し、圧縮流体および多次元保存則における長年の幾何的問題を解決する。

ABSTRACT

We are concerned with geometric properties of transonic shocks as free boundaries in two-dimensional self-similar coordinates for compressible fluid flows, which are not only important for the understanding of geometric structure and stability of fluid motions in continuum mechanics but also fundamental in the mathematical theory of multidimensional conservation laws. A transonic shock for the Euler equations for self-similar potential flow separates elliptic (subsonic) and hyperbolic (supersonic) phases of the self-similar solution of the corresponding nonlinear partial differential equation in a domain under consideration, in which the location of the transonic shock is apriori unknown. We first develop a general framework under which self-similar transonic shocks, as free boundaries, are proved to be uniformly convex, and then apply this framework to prove the uniform convexity of transonic shocks in the two longstanding fundamental shock problems -- the shock reflection-diffraction by wedges and the Prandtl-Meyer reflection for supersonic flows past solid ramps. To achieve this, our approach is to exploit underlying nonlocal properties of the solution and the free boundary for the potential flow equation.

研究の動機と目的

• 自己相似ポテンシャル流れにおけるトランソンクス・ショックを自由境界として有する幾何的性質を分析するための一般的数学的枠組みを確立すること。
• トランソンクス・ショックが基本的ショック配置において均一に凸であるかどうかという長年の未解決問題を解明すること。
• 凸性が局所的挙動ではなく、コーナー付き楔の効果などのグローバル相互作用に起因する非局所的性質であることを示すこと。
• この枠組みを、楔によるショック反射・回折および固体ラムプ上でのプランドル＝マーレイ反射という2つの代表的問題に適用すること。
• 物理的実験および数値シミュレーションで観察された凸ショック形状の厳密な正当化を提供すること。

提案手法

• 自己相似座標における非線形楕円型偏微分方程式の1相自由境界問題としてトランソンクス・ショック問題を定式化する。
• 局所的解析に依存するのではなく、解および自由境界の非局所的性質を活用するグローバルな手法を導入する。
• 領域がパラメータ $\rho \to 0$ に沿って一連の摂動領域 $\Omega_\rho$ で近似される摂動フレームワークを採用し、位相的および幾何的安定性を保証する。
• 距離推定および領域内でのチェーン接続性に基づいて、小さな $\rho$ に対して $\Omega_\rho$ のリプシッツ連続性と一様連結性を確立する。
• 領域内での最小および最大のチェーン構成を用いて、近傍の連結性を保証し、位相的正則性を満たす条件を満たす。
• 事前推定および境界正則性結果（例：補題 A.2 及び A.3）に依存して、摂動下での自由境界の挙動を制御する。

実験結果

リサーチクエスチョン

• RQ1 自己相似ポテンシャル流れにおけるトランソンクス・ショックの均一な強凸性を証明する一般枠組みを開発できるか？
• RQ2 ショック反射・回折およびプランドル＝マーレイ反射問題におけるトランソンクス・ショックの凸性は、局所的現象か、非局所的現象か？
• RQ3 コーナー付き楔の効果などのグローバル相互作用が、トランソンクス・ショックの幾何的形状に果たす役割は何か？
• RQ4 ポテンシャル流れにおけるEuler方程式の自由境界問題をどのように解析すれば、ショックが均一に凸であることを保証できるか？
• RQ5 非局所的解の性質が、ショックの幾何的構造をどの程度強制的に決定づけるか？

主な発見

• 楔によるショック反射・回折問題におけるトランソンクス・ショックは、楔が平板の場合にショックが平坦のままであるにもかかわらず、均一に凸である。これは、凸性がグローバル相互作用に起因することを示唆している。
• プランドル＝マーレイ反射のショックは均一に凸であり、物理的および数値的観測と整合的である。
• ショックの凸性は局所的性質ではない。それは、コーナー付き楔のような領域の幾何的形状とショックとの間の非局所的相互作用に起因する。
• この枠組みにより、摂動領域 $\Omega_\rho$ が単純連結であり、$\rho$ が小さいときには $B_r(E) \cap \Omega_\rho$ が連結であることが保証され、自由境界の正則性が支持される。
• 半径 $r_1 \leq r_0$ の最小または最大のボールのチェーンが存在することは、摂動下でも自由境界が均一に凸のままであることを保証する。
• 証明は一様推定に依存している：$\text{dist}(\partial\Omega_\rho, \partial\Omega) \leq C\rho$ であり、境界の正則性を制御し、凸性の結論を支持する。