[论文解读] 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

一句话总结

本文建立了一般性框架，用于证明自相似跨音速激波及二维势流中自由边界在欧拉方程控制下的均匀强凸性。通过利用解和自由边界的非局部性质，作者在两个基本激波特问题中证明了均匀凸性——即由尖劈引起的激波反射-绕射和普朗特-迈耶反射，从而解决了可压缩流与多维守恒律中长期存在的几何问题。

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.

研究动机与目标

• 建立一个通用的数学框架，用于分析自相似势流中作为自由边界的跨音速激波的几何性质。
• 解决长期悬而未决的开放问题：在基本激波构型中，跨音速激波是否具有均匀凸性。
• 证明凸性并非局部性质，而是源于全局相互作用（如尖角楔形效应）的结果，而非局部行为。
• 将该框架应用于两个典型问题：由尖劈引起的激波反射-绕射和在固体斜坡上的普朗特-迈耶反射。
• 为物理实验和数值模拟中观察到的凸形激波提供严格的理论解释。

提出的方法

• 将自相似坐标系下的跨音速激波问题表述为非线性椭圆型偏微分方程的一类自由边界问题。
• 提出一种全局方法，利用解和自由边界的非局部性质，而非依赖于局部分析。
• 采用扰动框架，其中区域被逼近为一族扰动区域 $\Omega_\rho$，且满足 $\rho \to 0$，以保证拓扑与几何稳定性。
• 利用小 $\rho$ 下 $\Omega_\rho$ 的利普希茨正则性与一致连通性，通过距离估计与区域内的链连通性建立。
• 在区域中应用最小与最大链构造，以确保邻域的连通性，并满足拓扑正则性的条件。
• 依赖先验估计与边界正则性结果（例如引理 A.2 和 A.3），以控制扰动下自由边界的性质。

实验结果

研究问题

• RQ1 能否发展一个通用框架，用于证明自相似势流中跨音速激波的均匀凸性？
• RQ2 在激波反射-绕射与普朗特-迈耶反射问题中，跨音速激波的凸性是局部现象还是非局部现象？
• RQ3 全局相互作用（如尖角楔形效应）在塑造跨音速激波几何形状中起何种作用？
• RQ4 如何分析势流中欧拉方程的自由边界问题，以确保激波具有均匀凸性？
• 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$，该估计控制边界正则性并支持凸性结论。