2D capillary liquid drops with constant vorticity: rotating waves existence and a conditional energetic stability result for rotating circles

本文研究了具有恒定涡度的二维毛细液滴，通过建立 Craig-Sulem 方程的哈密顿结构并分析其对称性与运动常数，证明了旋转波的解的存在性，并确立了在固定体积和质心条件下旋转圆解的条件能量稳定性。

要点

这篇论文探讨了一个非常迷人的物理问题：当一滴液体在表面张力的作用下自由漂浮，并且内部还在旋转时，它会变成什么形状？它稳定吗？

想象一下，你手里有一滴完美的水珠（就像太空中的水滴），它没有受到重力的拉扯，只受表面张力（让水滴想变成球形的力）控制。现在，我们给这滴水珠施加一个“魔法”：让它内部产生均匀的旋转（就像搅拌咖啡一样，但整个液滴都在转）。

作者 Giuseppe La Scala 在这篇论文中做了三件主要的事情，我们可以用生活中的比喻来理解：

1. 给液体滴建立“数学地图” (建模与方程)

首先，作者需要一套数学工具来描述这滴旋转的液体。

• 比喻：想象这滴水滴是一个会变形的橡皮泥球。如果它静止不动，它是个完美的圆球。但如果它旋转，它可能会变扁，或者表面出现波浪。
• 挑战：这滴水不仅会变形，内部还在旋转（有“涡度”）。这就像你在一个旋转的洗衣机里放一块橡皮泥，既要算它怎么转，又要算它怎么变形。
• 成果：作者把复杂的流体力学方程（欧拉方程）转化成了更简洁的“Craig-Sulem 方程”。这就像把一张复杂的城市交通图，简化成了只有主干道和关键路口的地铁线路图，让数学家更容易在上面计算和画图。他还发现这套方程背后隐藏着一个**“能量守恒”的规律**（哈密顿结构），这意味着系统的运动是有章可循的，不会乱跑。

2. 寻找“跳舞”的液滴 (旋转波的存在性)

作者想知道：除了完美的圆球，这滴水滴能不能保持某种特殊的形状，一边旋转一边“跳舞”？

• 比喻：想象一个旋转的陀螺。如果转速刚好，它可能会保持一个完美的圆。但如果转速稍微变化，或者内部旋转力（涡度）很强，它可能会变成像多边形（比如三角形、正方形）的形状，或者表面长出波浪，然后整个形状像旋转木马一样带着波浪一起转。
• 发现：作者证明了，在特定的条件下（比如旋转速度达到某个“共振点”），这种非圆形的、带着波浪的旋转形状是真实存在的。
  • 这就好比你在推秋千，推的节奏刚好和秋千摆动的节奏一致，秋千就会越荡越高。作者找到了让液滴“荡”出特殊形状（比如像正多边形）的精确节奏。
  • 他用了两种数学方法（一种像“分步走”，一种像“找最高点”）来证明这些奇怪的形状确实存在，而不是数学上的幻觉。

3. 检查液滴是否“站得稳” (稳定性分析)

这是论文最精彩的部分。既然找到了这些奇怪的形状，它们稳定吗？如果你轻轻推一下它，它会散架，还是会晃晃悠悠地回到原来的样子？

• 比喻：想象一个走钢丝的人。
  • 情况 A（无约束）：如果这滴水滴在太空中自由漂浮，没有任何限制，作者发现，如果内部的旋转太快（涡度太强），它可能会变得不稳定，稍微一碰就散架或变形失控。这就像走钢丝的人如果风太大，就站不稳。
  • 情况 B（有约束）：但是，作者发现了一个**“安全网”**。如果我们给这滴水滴加上两个限制条件：
    1. 体积不变（不能蒸发也不能吸水）。
    2. 重心不动（不能整体乱跑，必须固定在原点）。
  • 结论：只要加上这两个限制，无论内部转得多快，这滴水滴都是稳定的！
  • 通俗解释：这就像走钢丝的人，虽然风很大（涡度大），但他手里拿了一根长长的平衡杆（体积和重心的约束），并且被绑在安全绳上。只要他不乱跑（重心固定）且绳子长度不变（体积固定），他就永远不会掉下来。

总结

这篇论文的核心故事是：

1. 旋转的液滴很复杂，但我们可以用简化的数学地图来描述它。
2. 液滴可以“跳舞”：在特定的旋转速度下，它会从圆球变成带有波浪的、像多边形一样的旋转形状。
3. 液滴很“皮实”：虽然内部旋转可能让它看起来摇摇欲坠，但只要它的体积和中心位置被固定住，它就能稳稳地保持住这些复杂的形状，不会散架。

这项研究不仅解释了自然界中液滴的行为，也为理解更复杂的流体系统（比如天体物理中的旋转星体或工业中的液滴制造）提供了重要的数学基础。它告诉我们，即使在混乱的旋转中，只要抓住几个关键的“守恒量”（如体积和动量），秩序依然存在。

技术摘要

这是一份关于 Giuseppe La Scala 论文《具有恒定涡度的二维毛细液滴：旋转波的存在性与旋转圆的条件能量稳定性》的详细技术总结。

1. 研究背景与问题 (Problem)

本文研究的是**二维纯毛细液滴（pure capillary liquid drops）的自由边界问题，特别关注液滴内部具有恒定涡度（constant vorticity）**的情况。

• 物理模型：液滴由不可压缩、无粘性的欧拉方程描述，受表面张力（毛细力）作用，且内部涡度 $\alpha_0$ 为常数。
• 核心挑战：
  1. 在恒定涡度下，液滴的动力学方程比无涡度（irrotational）情况更复杂，其哈密顿结构（Hamiltonian structure）需要重新构建。
  2. 需要证明在旋转圆（rotating circles）附近是否存在**旋转波（rotating waves）**解，即相对于旋转参考系静止的非平凡液滴形状。
  3. 需要分析旋转圆解的非线性稳定性。由于存在负特征值（与修正邦德数有关），直接的能量稳定性分析面临困难，需要寻找合适的约束条件。

2. 方法论 (Methodology)

作者采用了一套结合几何分析、变分法和分岔理论的严谨数学框架：

• 方程重构与哈密顿结构：

  • 将自由边界问题转化为 Craig-Sulem 方程组，并进一步映射到平坦环面（flat torus $T^1$）上。
  • 推导了系统的哈密顿结构。由于涡度的存在，总能量（动能 + 表面能）并非直接的哈密顿量，必须引入一个与液滴面积相关的惩罚项。
  • 通过引入Wahlén 坐标变换（一种特定的坐标变换），将原本非标准的辛结构转化为标准的辛结构，使得系统可以在相空间 $H^s \times \dot{H}^s$ 上严格地写成哈密顿形式。

• 对称性与守恒量：

  • 利用系统的旋转对称性、平移对称性和反射对称性，导出了守恒量：体积（Volume）、总角动量（Angular Momentum）和质心速度（Barycenter velocity）。
  • 这些守恒量是后续分岔分析和稳定性证明的关键。

• 分岔理论（Bifurcation Theory）：

  • 线性化分析：在旋转圆解附近线性化方程，计算特征值谱。发现特征值在特定频率下发生共振，导致核空间（Kernel）维数为 2 或 4。
  • Lyapunov-Schmidt 分解：将无限维问题分解为有限维的分岔方程和无限维的补空间方程。
  • 存在性证明：
    • 对于二重特征值（multiplicity 2），利用 Crandall-Rabinowitz 横截性条件证明旋转波的存在。
    • 对于四重特征值（multiplicity 4），结合Moser-Weinstein 定理（利用角动量守恒进行参数化）和临界点理论（Minimax 原理、Conley 块），证明了非平凡旋转波的存在性。

• 条件能量稳定性分析：

  • 计算哈密顿量在旋转圆处的 Hessian 算子谱。
  • 发现存在一个负特征值（对应于 $(0,0)$ 模态，与修正邦德数 $C = \sigma_0/\alpha_0^2$ 有关）和两个零特征值（对应于 $(1, \pm 1)$ 模态，与平移有关）。
  • 通过固定体积、质心位置和质心速度作为约束，消除这些不稳定或退化的方向，从而证明在特定约束下的条件能量稳定性。

3. 主要贡献与结果 (Key Contributions & Results)

A. 哈密顿结构的建立

• 成功构建了具有恒定涡度的二维毛细液滴方程的哈密顿形式。
• 证明了通过 Wahlén 坐标变换，可以将系统转化为标准哈密顿系统，其哈密顿量为修正后的总能量，辛算子为标准的反对称矩阵。

B. 旋转波的存在性

• 线性稳定性：证明了旋转圆解在涡度存在的情况下仍然是线性稳定的（所有特征值均为纯虚数）。
• 非线性存在性：
  • 证明了在特定的共振频率下，从旋转圆解分岔出具有 $k$-重对称性（$k$-fold symmetry）的旋转波。
  • 这些波对应于刚体旋转的液滴轮廓，其形状类似于正 $k$ 边形。
  • 针对核空间维数为 2 和 4 的两种情况，分别给出了存在性证明。特别是对于四重特征值的情况，利用角动量守恒和拓扑方法克服了传统分岔理论的困难。

C. 条件能量稳定性

• 主要发现：旋转圆解在无条件下可能是不稳定的（当修正邦德数 $C > 1/4$ 时，存在负特征值）。
• 稳定性定理：证明了在固定体积（Volume）、质心位置（Barycenter position）和质心速度（Barycenter velocity）的约束下，旋转圆解是**条件能量稳定（conditionally energetically stable）**的。
• 物理意义：这意味着只要液滴的体积不变，且其质心保持在原点且没有平动速度，液滴就能抵抗小扰动而保持稳定。这一结果推广了 Rayleigh 关于无涡度毛细射流稳定性的经典结论。

4. 数学细节与关键公式

• Craig-Sulem 方程（环面上）：
  $$\partial_t \xi = e^{-2\xi}[\bar{G}(\xi)\chi + \frac{\alpha_0}{2} e^{2\xi}\xi']$$
  $$\partial_t \chi = e^{-2\xi}[\dots] + \alpha_0 \bar{K}(\xi)\chi + \sigma_0 - \frac{\alpha_0^2}{8}$$
  其中 $\xi$ 描述液滴边界形状，$\chi$ 与速度势相关，$\bar{G}$ 和 $\bar{K}$ 是环面上的 Dirichlet-Neumann 算子和迹算子。

• 哈密顿量：
  $$H = \frac{1}{2} \int_{T^1} \chi \bar{G}(\xi)\chi d\vartheta + \sigma_0 \int_{T^1} e^\xi \sqrt{1+\xi'^2} d\vartheta - \left(\sigma_0 - \frac{\alpha_0^2}{8}\right) \frac{1}{2} \int_{T^1} e^{2\xi} d\vartheta + \dots$$

• 共振条件（旋转波存在的频率）：
  $$\omega = \frac{\alpha_0}{2} - \frac{\alpha_0}{2\kappa\ell} \pm \sqrt{\left(\frac{\alpha_0}{2\kappa\ell}\right)^2 + 4\sigma_0((\kappa\ell)^2 - 1) - \frac{\alpha_0^2}{4\kappa\ell}}$$
  其中 $\kappa$ 是对称阶数，$\ell$ 是傅里叶模态。

5. 意义与影响 (Significance)

1. 理论推进：本文将 Rayleigh 经典的毛细射流稳定性理论推广到了具有恒定涡度的二维液滴情形，填补了该领域在非线性稳定性分析方面的空白。
2. 方法创新：展示了如何结合 Wahlén 坐标、分岔理论和临界点理论来处理具有复杂辛结构的自由边界问题，特别是处理多重特征值分岔的情况。
3. 物理启示：揭示了涡度对液滴稳定性的双重影响：虽然涡度引入了新的不稳定性模式（负特征值），但通过物理上合理的约束（固定体积和质心），液滴依然可以保持稳定的旋转状态。这为理解旋转液滴、液滴破碎以及相关流体动力学现象提供了坚实的理论基础。
4. 文献关联：结果与 Rayleigh [25] 关于无涡度射流的分析一致，并推广了 Wahlén [31] 关于具有恒定涡度的水波哈密顿结构的工作。

综上所述，该论文在数学流体力学领域做出了重要贡献，不仅证明了复杂涡度下旋转波的存在性，还给出了严格的条件稳定性判据，为相关物理现象的数值模拟和实验研究提供了理论指导。