[论文解读] Stability of Lamb dipoles

Ken Abe, Kyudong Choi|arXiv (Cornell University)|Nov 5, 2019

Advanced Mathematical Physics Problems参考文献 41被引用 9

一句话总结

本文通过受V. I. Arnold启发的基于涡度的变分法，建立了Lamb偶极子——二维欧拉方程中具有紧支集、符号相反涡度的经典行波解——的轨道稳定性。作者证明，L²范数下的小扰动会始终保持在该解沿平移的轨道附近，从而确认其在二维不可压缩流体中作为相干涡结构的长期稳定性。

ABSTRACT

The Lamb dipole is a traveling wave solution to the two-dimensional Euler equations introduced by S. A. Chaplygin (1903) and H. Lamb (1906) at the early 20th century. We prove orbital stability of this solution based on a vorticity method initiated by V. I. Arnold. Our method is a minimization of a penalized energy with multiple constraints that deduces existence and orbital stability for a family of traveling waves. As a typical case, orbital stability of the Lamb dipole is deduced by characterizing a set of minimizers as an orbit of the dipole by a uniqueness theorem in the variational setting.

研究动机与目标

• 解决Lamb偶极子数学稳定性的长期悬而未决问题，Lamb偶极子是二维欧拉方程中具有多符号涡度的典型行波解。
• 将V. I. Arnold的涡度方法扩展至处理此前未被解决的非对称、紧支集、符号相反的涡对。
• 通过在多重约束下表征惩罚能量泛函的极小化子，建立变分结构与动力学稳定性的联系，从而确立轨道稳定性。
• 证明极小化子集合恰好对应于Lamb偶极子在空间平移下的轨道，从而确认其稳定性。

提出的方法

• 将稳定性问题表述为包含涡度L²范数和动量约束的惩罚能量泛函的约束极小化问题。
• 基于Arnold框架采用涡度方法，利用流函数$ \tilde{\psi} $和基于贝塞尔函数的解$ \Psi_L $来描述Lamb偶极子。
• 施加总涡度和动量约束，以确保在合适函数空间中极小化子的存在性。
• 通过移动平面法使用对称性和单调性论证，证明极小化子是径向对称且递减的，从而得出Lamb偶极子形式的唯一性。
• 采用尺度变换论证，将一般情形约化为$ \nu = \lambda = 1 $的情形，简化分析。
• 应用椭圆问题$ -\Delta\Psi = \Psi $在$ \Omega $内，$ \Psi = 0 $在$ \partial\Omega \cup \partial\mathbb{R}^2_+ $上的唯一性定理，表明唯一符合Lamb偶极子形式的解是$ \Psi_L $。

实验结果

研究问题

• RQ1 Lamb偶极子——二维欧拉方程中具有紧支集、符号相反涡度的经典行波解——在小扰动下是否具有轨道稳定性？
• RQ2 V. I. Arnold的涡度方法能否扩展至处理如Lamb偶极子这类非对称、多符号的涡对？
• RQ3 在多重约束下惩罚能量泛函的极小化子集合是否恰好对应于Lamb偶极子在空间平移下的轨道？
• RQ4 对称性和单调性在将唯一极小化子表征为Lamb偶极子的过程中起什么作用？
• RQ5 该问题的尺度不变性如何帮助证明一般参数值下的稳定性？

主要发现

• Lamb偶极子在L²范数下具有轨道稳定性：对任意$ \varepsilon > 0 $，存在$ \delta > 0 $，使得若初始涡度在L²范数和动量上与Lamb偶极子的平移版本相差$ \delta $，则解在所有时间上均保持与轨道相差$ \varepsilon $以内。
• 在总涡度和动量约束下，惩罚能量泛函的极小化子集合恰好是Lamb偶极子在$ x_1 $-轴方向平移下的轨道。
• 椭圆问题$ -\Delta\Psi = \Psi $在$ \Omega $内，$ \Psi = 0 $在$ \partial\Omega \cup \partial\mathbb{R}^2_+ $上，且满足$ \Psi \sim -W(r - a^2/r)\sin\theta $在无穷远处的解$ \Psi_L $的唯一性，确认唯一满足该形式的解即为Lamb偶极子。
• 流函数$ \Psi_L $通过贝塞尔函数显式构造：当$ r \leq a $时，$ \Psi_L(r) = C_L J_1(\lambda^{1/2} r) \sin\theta $；当$ r > a $时，$ -W(r - a^2/r)\sin\theta $，其中$ a = c_0 \lambda^{-1/2} $，$ c_0 \approx 3.8317 $为$ J_1 $的第一个零点。
• Lamb偶极子的动量为$ \int_{\mathbb{R}^2_+} x_2 \omega_L \, dx = \frac{c_0^2 \pi W}{\lambda} $，该式将强度$ \lambda $与物理动量联系起来。
• 证明表明，对于固定$ \mu $（总涡度）的能量泛函的任意极小化子必为Lamb偶极子的平移，从而在变分框架下确认了解的唯一性。