$L^p$ Stability of Vortex Patches in Two Dimensional Domains

技术摘要：二维区域内涡斑的 $L^p$ 稳定性

问题陈述
本文研究了在固定区域 $\Omega \subseteq \mathbb{R}^2_+$ 上受二维不可压缩欧拉方程支配的涡斑（vortex patches）的轨道稳定性。涡度 $\omega$ 的演化遵循 $\partial_t \omega + u \cdot \nabla \omega = 0$，并满足滑移边界条件。虽然二维欧拉方程的一般解可能会表现出不稳定性（例如，涡度梯度的双指数增长），但对于特定类别的初始数据，可以通过变分法建立稳定性。

本文解决的具体挑战在于，目前缺乏一种能够在没有对涡度施加先验 $L^1$ 或 $L^p$ 界的条件下，在一般二维区域上运行的统一 $L^p$ 稳定性理论。以往的工作受到特定约束的限制：

• Abe 和 Choi [1] 建立了半平面中 Lamb 双极子的稳定性，但需要 $L^1$ 界。
• Abe、Choi 和 Jeong [2] 移除了 $L^1$ 约束，但被限制在 $L^2$ 设定中。
• Dong 和 Luo [9] 将结果扩展到条带（strips）和弱有限体积区域，但保留了 $L^1$ 约束，并局限于 $L^2$ 稳定性。

方法论
作者采用了惩罚能量变分框架。他们定义了惩罚能量泛函：
$$E_{p,\lambda}[\omega] = E[\omega] - \frac{1}{p}\lambda \|\omega\|_p^p$$
其中 $E[\omega]$ 是动能，$\lambda > 0$ 是一个参数。研究聚焦于如下极小化问题：
$$I_{\mu,\lambda}(p) = \inf_{\omega \in K_\mu} \{-E_{p,\lambda}[\omega]\}$$
其中容许空间 $K_\mu$ 由具有固定一阶矩（冲量）$\int_\Omega x_2 \omega \, dx = \mu$ 的非负涡度组成，但至关重要的是，并未施加 $L^1$ 或 $L^p$ 上界。

其核心方法论包含三个主要技术组成部分：

1. 能量估计与参数范围： 利用 Hölder 不等式和 Young 不等式建立极小化序列的一致 $L^p$ 界，确定 $p$ 的临界阈值（特别是 $p > 4/3$）以及确保下确界为负值的 $\lambda$ 条件。
2. 极小值存在性： 证明极小值的存在性及其紧性。这需要克服在一般区域中空间缩放（scaling）和平移不变性的丧失问题。
   • 对于半平面 ($\mathbb{R}^2_+$)： 使用缩放论证将问题简化为标准形式。
   • 对于条带 ($S$)： 开发了一种精细的 Steiner 对称化（Steiner symmetrization）方法。他们利用 Steiner 对称化来证明能量泛函的严格次可加性，从而排除了 Lions 紧性原理中的“分裂”（dichotomy）情形。
   • 对于弱有限体积区域 ($D$)： 他们通过利用区域几何结构的固有衰减率 $q$（具体为体积条件 $\int_{D_l} x_2^q dx < \infty$）来直接强制实现紧性，从而绕过了对严格次可加性的需求。
3. 轨道稳定性： 证明极小值集在欧拉动力学下的轨道稳定性。这依赖于沿粒子轨迹的 $L^p$ 范数和一阶矩的守恒，并结合极小化序列的一般收敛定理。

主要贡献与结果
本文为三种特定类型的区域建立了统一的 $L^p$ 稳定性理论：半平面、任意宽度的条带以及满足弱有限体积条件的区域。

• 存在性与紧性 (定理 1.4)： 作者证明了对于合适的参数 $p, \mu, \lambda$，惩罚能量泛函存在极小值。每个极小化序列都存在一个子序列，在 $L^p$ 和 $L^1$（对于加权矩）意义下强收敛于一个极小值 $\omega$。
  • 对于 $\mathbb{R}^2_+$：对 $p > 4/3$ 有效。
  • 对于条带：对 $p > 2$ 且任意 $\lambda > 0$ 有效；或者当 $p = 2$ 且 $\lambda > 2\pi^4/L^2$ 时有效。
  • 对于弱有限体积区域：若 $q \in [0, 2]$，则对 $p > 4/3$ 有效；若 $q \in (2, 4)$，则对 $4/3 < p \le q/(q-1)$ 有效。
• 结构性质： 极小值满足椭圆方程 $\omega^{p-1} = \lambda(\psi - Wx_2)_+$，其中 $\psi$ 是流函数，$W$ 是一个严格正常数。极小值被证明具有紧支集并拥有特定的正则性（$C^{m,\alpha}$）。
• 轨道稳定性 (定理 1.5)： 极小值集 $S_{\mu,\lambda}$ 是轨道稳定的。对于任何 $\epsilon > 0$，存在 $\delta > 0$，使得如果初始数据在 $L^p$ 距离和加权 $L^1$ 距离意义下处于极小值集的 $\delta$ 邻域内，则解在所有时间内都保持在 $\epsilon$ 邻域内。
• 带有 $L^1$ 约束的扩展 (定理 1.7)： 作为补充，本文为弱有限体积区域 $D$ 在施加 $L^1$ 上界于容许空间的情况下，提供了涵盖所有 $q \ge 0$ 和 $p > 1$ 的稳定性结果。

意义
本文声称将 Abe 和 Choi [1]、Abe 等人 [2] 以及 Dong 和 Luo [9] 的方法综合并扩展到了一个全面的框架中。其主要意义在于：

1. 移除约束： 它成功地在半平面和条带情形下移除了先验 $L^1$ 界的限制，并在没有此类界的情况下将 $L^2$ 结果扩展到了一般的 $L^p$ ($p > 4/3$)。
2. 统一框架： 它提供了一个统一的理论，涵盖了此前被分别处理或带有局限性的三种不同几何设置（半平面、条带和一般的弱有限体积区域）。
3. 新颖策略： 该工作引入了处理缩放和平移不变性丧失的新颖策略。具体而言，利用区域衰减率在弱有限体积区域中强制实现紧性的策略，以及针对条带优化的 Steiner 对称化论证，代表了相对于以往应用紧性原理（concentration-compactness）的方法论上的重大进展。

作者指出，尽管研究结果显著扩大了可证明稳定涡结构的范围，但仍存在局限性，特别是关于临界阈值 $p=4/3$ 以及在某些参数范围内对一般区域仍需 $L^1$ 界的问题。文章最后指出了关于最优几何条件、自由边界问题、以及极小值唯一性和更精细结构的开放性问题。