Existence, uniqueness and stability of steady vortex rings of small cross-section

小横截面定常涡环的存在性、唯一性与稳定性

作者: Daomin Cao, Guolin Qin, Weilin Yu, Weicheng Zhan, Changjun Zou

类别: math.AP, 76B47

发布日期: 2022-01-20

arXiv ID: 2201.08232v4

链接: http://arxiv.org/abs/2201.08232v4

详细分析

中文标题: 小横截面定常涡环的存在性、唯一性与稳定性

研究对象和背景:

本文研究的是理想流体中定常涡环（steady vortex rings）的数学结构，这类涡环是三维不可压缩欧拉方程（3D incompressible Euler equation）的轴对称全局解。流体的运动由以下欧拉方程描述：

$$ \partial_t \mathbf{v} + (\mathbf{v} \cdot \nabla) \mathbf{v} = -\nabla P, \quad \nabla \cdot \mathbf{v} = 0, $$

其中 $\mathbf{v}(x,t)$ 是速度场，$P(x,t)$ 是压强。与速度场对应的涡量定义为 $\boldsymbol{\omega} := \nabla \times \mathbf{v}$，其演化方程为：

$$ \partial_t \boldsymbol{\omega} + (\mathbf{v} \cdot \nabla) \boldsymbol{\omega} = (\boldsymbol{\omega} \cdot \nabla) \mathbf{v}, \quad \mathbf{v} = \nabla \times (-\Delta)^{-1} \boldsymbol{\omega}. $$

本文聚焦于无旋流（non-swirling）的轴对称情形，即速度场的角向分量 $v_\theta \equiv 0$，此时涡量仅有角向分量 $\omega_\theta$，并定义位势涡度（potential vorticity）为 $\zeta := \omega_\theta / r$。在该设定下，欧拉方程可简化为一个关于 $\zeta$ 的主动标量方程：

$$ \partial_t \zeta + \mathbf{v} \cdot \nabla \zeta = 0, \quad \mathbf{v} = \nabla \times (-\Delta)^{-1}(r \zeta), $$

其中 $\mathbf{v}$ 由 $\zeta$ 通过椭圆算子 $\nabla \times (-\Delta)^{-1}$ 唯一确定。

定常涡环被定义为满足 $\zeta(x,t) = \zeta(x + t W \mathbf{e}_z)$ 的解，即沿 $z$-轴以恒定速度 $W$ 平移且形状不变。代入上述方程，得到稳态方程：

$$ (W \mathbf{e}_z + \mathbf{v}) \cdot \nabla \zeta = 0, \quad \mathbf{v} = \nabla \times (-\Delta)^{-1}(r \zeta). $$

研究区域为整个 $\mathbb{R}^3$，且涡环的涡度集中在拓扑环面（topological torus）内部，外部为零。涡环的横截面半径为 $O(\varepsilon)$，其中 $\varepsilon \to 0^+$ 为小参数。位势涡度 $\zeta$ 在核心区域内为常数，边界处突变（不连续），因此属于尖锐涡片（sharp vortex patch）类型，这使得问题在数学上具有高度非线性与奇异性。

函数空间方面，研究对象 $\zeta$ 属于 $L^1 \cap L^\infty(\mathbb{R}^3)$，且满足轴对称性、非负性及有限冲量与动能条件。特别地，文中引入加权空间 $L^1_w(\mathbb{R}^3) := \{ \vartheta : \mathbb{R}^3 \to \mathbb{R} \text{ measurable} \mid r^2 \vartheta \in L^1(\mathbb{R}^3) \}$ 来处理无穷远处的衰减与 $z$-轴附近的奇异性。

主要定理或主要结果:

本文建立了三个核心定理，分别对应存在性、唯一性和稳定性。

定理 1.1（存在性）：
设 $\kappa > 0$ 为环的环量（circulation），$W > 0$ 为平移速度。则存在 $\varepsilon_0 > 0$，使得对任意 $\varepsilon \in (0,\varepsilon_0)$，存在一个中心对称的定常涡环 $\zeta_\varepsilon$，满足：

  • (i) $\zeta_\varepsilon = \varepsilon^{-2} \mathbf{1}_{\Omega_\varepsilon}$，其中 $\Omega_\varepsilon \subset \mathbb{R}^3$ 为轴对称拓扑环面；
  • (ii) 存在常数 $0 < C_1 < C_2$，使得 $C_1 \varepsilon \leq \sigma(\Omega_\varepsilon) \leq C_2 \varepsilon$，其中 $\sigma(\cdot)$ 为横截面参数；
  • (iii) 当 $\varepsilon \to 0$ 时，$\mathrm{dist}_{C_{r^*}}(\Omega_\varepsilon) \to 0$，其中 $r^* = \kappa / 4\pi W$ 为涡环中心的渐近半径。

该涡环以速度 $W \ln \frac{1}{\varepsilon} \mathbf{e}_z$ 平移，且其环量为 $\kappa$。

定理 1.2（唯一性）：
设 $\zeta_\varepsilon^{(1)}$ 与 $\zeta_\varepsilon^{(2)}$ 是两族中心对称的定常涡环，具有相同的环量 $\kappa$ 和平移速度 $W \ln \frac{1}{\varepsilon} \mathbf{e}_z$，且满足：

  • (i) $\zeta_\varepsilon^{(i)} = \varepsilon^{-2} \mathbf{1}_{\Omega_\varepsilon^{(i)}}$，其中 $\Omega_\varepsilon^{(i)}$ 为轴对称拓扑环面；
  • (ii) 当 $\varepsilon \to 0$ 时，$\sigma(\Omega_\varepsilon^{(i)}) < L \varepsilon / 2$，$i=1,2$，对某常数 $L > 0$；
  • (iii) 存在 $\delta_0 > 0$，使得 $\Omega_\varepsilon^{(1)} \cup \Omega_\varepsilon^{(2)} \subset \{ x \in \mathbb{R}^3 \mid x_1^2 + x_2^2 \geq \delta_0 \}$ 对所有 $\varepsilon > 0$ 成立。

则存在 $\varepsilon_0 > 0$，使得对所有 $\varepsilon \in (0,\varepsilon_0)$，有 $\zeta_\varepsilon^{(1)} \equiv \zeta_\varepsilon^{(2)}$。

该结果首次证明了小横截面定常涡环在给定环量与速度下的全局唯一性。

定理 1.5（非线性轨道稳定性）：
设 $\zeta_\varepsilon$ 为定理 1.1 中构造的涡环。则对任意 $\eta > 0$，存在 $\delta > 0$，使得对任意非负轴对称初始数据 $\zeta_0$ 满足：

$$ \|\zeta_0 - \zeta_\varepsilon\|_{L^1 \cap L^2(\mathbb{R}^3)} + \|r^2(\zeta_0 - \zeta_\varepsilon)\|_{L^1(\mathbb{R}^3)} \leq \delta, $$

其对应的解 $\zeta(x,t)$ 满足：

$$ \inf_{\tau \in \mathbb{R}} \left( \|\zeta(\cdot - \tau \mathbf{e}_z, t) - \zeta_\varepsilon\|_{L^1 \cap L^2(\mathbb{R}^3)} + \|r^2(\zeta(\cdot - \tau \mathbf{e}_z, t) - \zeta_\varepsilon)\|_{L^1(\mathbb{R}^3)} \right) \leq \eta, \quad \forall t > 0. $$

即，解在 $z$-方向平移意义下轨道稳定。

研究方法、关键技术和核心工具:

a) 核心分析学工具：

  • Lyapunov-Schmidt 约化：用于构造解。将无限维问题约化为一维问题，通过分解流函数 $\psi$ 为 Rankine 涡的基准解与扰动项之和，利用零点条件消除退化方向（对应涡环中心位置）。
  • 变分方法：结合 Arnol’d 的对偶变分原理，证明涡环是动能与冲量组合泛函 $E[\zeta] - W \ln \frac{1}{\varepsilon} P[\zeta]$ 的极大值点，从而导出稳定性。
  • Pohozaev 恒等式：通过构造修正的 Pohozaev 恒等式（Appendix C），精确估计 Taylor 展开中关键系数，特别是二阶项系数 $c_{2,\varepsilon}$ 与 $c_{2,W}$，用于唯一性证明。
  • Taylor 展开与渐近分析：将流函数 $\psi$ 在缩放后的 Rankine 涡（极限函数）附近展开，得到关键展开式（1.7），并利用 Green 函数分解估计展开系数。
  • 加权 $L^\infty$ 范数与紧性恢复：为处理 $\mathbb{R}^3$ 上的非紧性与 $z$-轴奇异性，引入加权范数，并结合 Ascoli-Arzelà 定理恢复紧性。
  • 移动平面法（Method of Moving Planes）：证明解关于 $z$-轴的偶性（Appendix A），从而简化展开结构。

b) 技术性难题的解决技巧：

  • 非均匀椭圆算子处理：算子 $L = -\frac{1}{r} \partial_r \left( \frac{1}{r} \partial_r \right) - \frac{1}{r^2} \partial_{zz}$ 非标准拉普拉斯，作者通过积分等价形式与加权范数克服其退化性。
  • Heaviside 非线性处理：涡度在边界处不连续（$\zeta = \varepsilon^{-2} \mathbf{1}_{\Omega_\varepsilon}$），作者通过渐近展开与测度型估计（measure-type estimates）精细控制边界行为。
  • 退化方向消除：由于平移对称性导致 Lyapunov-Schmidt 约化中存在退化方向，作者发现一阶展开系数 $c_1$ 的零点恰好对应涡环中心位置（即 Kelvin–Hicks 公式），从而自然消除退化。
  • 唯一性证明中的反证法：假设存在两个不同涡环，利用修正 Pohozaev 恒等式导出其二阶系数必须为零，与 $c_{2,\varepsilon} > 0$（由能量最大化性质保证）矛盾，从而证唯一性。

与之前工作的比较:

a) 突破与改进：

  • 首次证明小横截面涡环的唯一性：尽管 Fraenkel–Berger（1974）与 Norbury（1972）已证明存在性，但唯一性长期未解决。本文首次严格证明：在给定环量与速度下，小横截面定常涡环是唯一的（定理 1.2），解决了自 1974 年以来的开放问题。
  • 突破对涡度分布的限制：Amick–Fraenkel（1986）仅证明了 Hill 球形涡（$r^* \sim \text{const}$）的唯一性，且依赖于球对称性。本文方法适用于拓扑环面支持的涡环，且不要求涡度光滑，仅需常数涡度核心（最困难的 $\gamma=0$ 情形），适用范围更广。
  • 稳定性结论的实质性推进：Choi（2023）证明了 Hill 球形涡的轨道稳定性，但其支持区域为球体。本文首次证明拓扑环面支持的涡环（即“细环”）的非线性轨道稳定性（定理 1.5），填补了该领域空白。
  • 更精确的 Kelvin–Hicks 公式：通过精细估计，得到比 Fraenkel（1970）更精确的渐近速度公式（Proposition 3.2），并揭示其与展开系数 $c_1 = 0$ 的直接联系。
  • 方法普适性提升：作者指出其方法可推广至 $\gamma \in (0,1) \cup (1,\infty)$ 的一般位势涡度情形（Remark 1.3），而传统方法（如移动平面法）严重依赖于特定几何对称性，本方法基于流函数展开与能量泛函极值，更具普适性。

综上，本文不仅解决了长期悬而未决的唯一性问题，还首次建立了拓扑环面涡环的稳定性理论，为三维涡动力学提供了统一的分析框架。