Geometric Structures of Pseudo-Sonic Curves in Self-Similar Solutions of the Euler Equations for Potential Flow

技术摘要：欧拉方程势流自相似解中伪声速曲线的几何结构

问题陈述
本文研究了二维欧拉方程势流自相似解中伪声速曲线（pseudo-sonic curves）的几何结构。本研究专门针对非均匀超声速入射态的情形，这是对以往研究的一个重要推广，以往的研究主要集中在均匀入射流上。在数学上，控制方程是一个二阶非线性混合双曲-椭圆型偏微分方程，其类型退化恰好发生在伪声速曲线（即伪速度量级等于局部声速的轨迹）处。核心挑战在于，在不预先假设该曲线具有特定形状（例如圆形）的情况下，刻画该曲线的几何性质以及解在该曲线两侧的正则性。

研究方法
作者开发了严谨的分析方法来刻画伪声速曲线 $\Gamma_{sonic}$。研究方法通过以下几个不同的阶段进行：

1. 声速点分类： 作者引入了伪声速曲线上“异常”（exceptional）点的概念。如果某一点处的伪速度矢量垂直于曲线，则定义该点为异常点。
2. 基于速度方向的案例分析：
   • 法向速度情形： 作者证明，如果伪速度在每一点都垂直于曲线，则该曲线必须是圆弧。
   • 切向速度情形： 他们分析了伪速度与曲线切向平行的情形。根据声速的法向导数 ($\partial_n c$)，他们证明该曲线要么是直线，要么从伪超声速区域看是严格凸的。
3. 流线结构： 分析了伪声速曲线邻域内流线的几何性质，确立了流线在声速点处是凸的或曲率为零的条件。
4. 正则性与矛盾论证： 为了在一般设定下确定速度必须垂直于曲线，作者引入了一个新的辅助函数 $\psi_Q$（势函数与具有恒定速度的参考势函数之差）。通过分析 $\psi_Q$ 在声速曲线两侧的二阶导数，并利用屏障函数（barrier functions）和极大值原理，他们推导出了使伪速度必须垂直于曲线的充分条件。这包括证明：如果速度不垂直于曲线，将会导致关于解在曲线附近的正则性或行为的矛盾。

主要贡献与结果
本文通过建立若干定理，为伪声速曲线的几何形状提供了精确的刻画：

• 定理 2.1： 证明如果所有伪声速点都是异常的（速度垂直于曲线），则伪声速曲线位于半径恒定的圆上，且声速沿曲线为常数。
• 定理 2.2–2.3： 刻画了速度为切向时的几何性质。如果声速的法向导数为零，则曲线是直线；如果导数不为零，则曲线从超声速侧看是严格凸的。
• 定理 2.5–2.6： 提供了确保伪声速点是异常的（速度垂直于曲线）的充分条件。这些定理依赖于对解局部行为的自然假设（特别是关于函数 $\psi_Q$ 的界限）。至关重要的是，这些结果并未预先假设速度是法向或切向的；相反，它们是通过解的局部估计推导出法向性的。
• 正则性结果： 本文证明，在速度不垂直于曲线且 $\partial_\perp c = 0$ 的条件下，解在声速曲线处是 $C^2$ 连续的。反之，如果解是均匀流解的一个小扰动，则声速点被证明是异常的。
• 对激波反射-衍射的应用： 通过将开发的理论应用于非均匀入射流下的激波反射-衍射问题，作者证明，如果解是均匀入射流构造解（如文献 [9] 中所述）的一个 $C^2$ 小扰动，则伪声速曲线必须是圆弧。此外，在该弧上，密度和速度是常数，分别对应于该圆弧的半径和圆心。研究表明，在伪亚声速区域（排除点 $P_1$）内，解关于声速弧具有 $C^{2,\alpha}$ 正则性。

意义与主张
作者声称，这项工作提供了第一个在不预先假设曲线为圆弧的情况下，描述伪声速曲线形状及解在附近行为的严谨结果。虽然以往的工作（如 [1, 2, 5–7, 9, 11, 16, 17]）已经确定了在均匀入射流下声速弧是圆形的，但对于非均匀态的几何结构尚不明确，存在圆形结构发生破缺的可能性。

本文证明，在解是均匀入射态的小扰动这一重要情形下，圆形结构得以保持。本文开发的技术和思想，特别是辅助函数 $\psi_Q$ 的使用以及对混合型退化问题的分析，被认为适用于其他涉及类似退化现象的非线性问题。这些结果为自相似设定下伪声速曲线的几何形状和横截流（transonic flows）的正则性提供了精确的刻画。