Equivariant critical point theory and bifurcation of $3d$ gravity-capillary Stokes waves

这是一份关于论文《Equivariant critical point theory and bifurcation of 3d gravity-capillary Stokes waves》（等变临界点理论与 3D 重力 - 毛细 Stokes 波的分岔）的详细技术总结。

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

核心问题：
研究在重力（gravity）和表面张力（capillarity）共同作用下，三维（3D）周期性格点（lattice $\Gamma$）上的重力 - 毛细 Stokes 波的存在性与多重性。

具体挑战：

• 3D 波的复杂性： 相比于二维（2D）Stokes 波，真正的 3D 波（即在所有方向上都不恒定的波）的数学理论尚不完善。
• 共振情形（Resonant Case）： 当多个线性波矢对应同一个共振速度 $c^*$ 时，传统的分岔理论（如 Crandall-Rabinowitz 定理）往往失效或只能处理非共振情形。
• 动量约束的奇异性： 在寻找具有特定动量 $a$ 的 3D 波时，如果动量 $a$ 与某个共振波矢共线（collinear），传统的变分方法会遇到奇异性困难，因为此时 2D 波解总是存在，且会“淹没”潜在的 3D 波解。
• 现有局限： 之前的工作（如 Craig-Nicholls）主要处理动量不与任何共振波矢共线的情况。本文旨在解决动量与共振波矢共线这一长期未被注意到的情形，并证明在此情形下依然存在多个几何上不同的真正 3D 波。

2. 方法论 (Methodology)

作者采用了一套结合变分法、拓扑学和等变临界点理论的复杂方法：

A. 变分 Lyapunov-Schmidt 约化 (Variational Lyapunov-Schmidt Reduction)

• 分解： 将无穷维相空间分解为共振核空间 $V = \ker(L_{c^*})$ 和其辛正交补空间 $W$。
• 求解范围方程： 利用隐函数定理，在 $W$ 上求解方程，将问题约化为在有限维核空间 $V$ 上寻找临界点。
• 构造速度函数 $c(v)$： 这是一个关键步骤。由于在 2D 波超平面（$V_{2d}$）附近问题变得奇异，作者利用 $T^2_\Gamma \times \mathbb{Z}_2$ 对称性，构造了一个定义在整个邻域内的速度函数 $c(v)$，解决了以往方法在接近 2D 波时无法定义速度的问题。

B. 动量的“拉直” (Straightening of Momentum)

• 利用 Moser 技巧，构造一个等变同胚 $\zeta$，将非线性的约化动量 $I(v)$ 局部转化为二次型的动量 $\tilde{I}(v)$。
• 这一转化使得水平集（level sets）$M_a = \{v \mid I(v) = a\}$ 的拓扑结构变得清晰可辨。

C. 等变临界点理论与 Conley 指数 (Equivariant Critical Point Theory)

• 拓扑结构分析： 证明了在动量 $a$ 与共振波矢共线时，水平集 $M_a$ 的拓扑结构同胚于两个球面的乘积与一个圆的拓扑连接积（Join product）：
  $$M_a \cong (S^{2d_- -1} \times S^{2d_+ -1}) \star S^1$$
  其中 $S^1$ 对应非共振的 2D 波轨道，而 $S^{2d_\pm -1}$ 对应 3D 波部分。
• 等变 Morse-Conley 理论： 由于 $M_a$ 不是流形（在 2D 波处有奇点），作者发展了一套基于局部上同调（local cohomology）和零化子（annihilator）的等变 Lusternik-Schnirelmann 理论。
• 杯长度（Cup-length）下界： 通过计算等变上同调的杯长度，给出了临界点（即 Stokes 波）数量的下界。

3. 主要结果 (Key Results)

定理 1.1：共线情形下的多重性 (Multiplicity in the Collinear Case)

• 条件： 假设共振波矢数量 $\#V \ge 3$，且动量 $a$ 位于由共振波矢生成的凸锥 $C$ 的内部，并且 $a$ 与唯一的共振波矢 $j_0$ 共线。
• 结论： 除了唯一的 2D Stokes 波轨道外，至少存在 $N = \#V - 2$ 个几何上不同的真正 3D Stokes 波，它们具有相同的动量 $a$。
• 意义： 揭示了 Stokes 波的一种“聚集现象”（clustering phenomenon），即在物理流体中观察到的现象，即多个不同形状的 3D 波可以拥有相同的动量。

定理 1.2：非共线情形的改进 (Improvement in Non-collinear Case)

• 改进了 Craig-Nicholls 的结果，证明了在非共线情形下，存在至少 $\#V - 1$ 个几何不同的 3D 波，并且该结果在 $a$ 接近共振波矢时依然一致成立（无需 $a$ 趋于 0）。

定理 1.3：存在性与非存在性 (Existence and Non-existence)

• 必要性： 只有当动量 $a$ 属于凸锥 $C$ 时，Stokes 波才可能存在。
• 维度判定：
  • 若 $a \in \partial C$（边界），则所有 Stokes 波均为 2D。
  • 若 $a \in \text{int}(C)$ 且不与任何共振波矢共线，则所有 Stokes 波均为 3D。
  • 若 $a \in \text{int}(C)$ 且与共振波矢共线，则存在 2D 波和多个 3D 波。

4. 技术难点与突破 (Technical Difficulties & Breakthroughs)

1. 奇异性处理： 传统的 Lyapunov-Schmidt 约化在 $V_{2d}$（2D 波子空间）附近是奇异的。作者通过深入挖掘 $T^2_\Gamma$ 对称性，构造了全局定义的解析速度函数 $c(v)$，成功绕过了这一奇点。
2. 非流形空间上的变分理论： 水平集 $M_a$ 在 2D 波处不是光滑流形（它是 2D 波轨道与 3D 波流形的连接积）。作者没有依赖传统的流形上的 Morse 理论，而是构建了基于等变 Conley 指数和局部上同调零化子的理论框架，证明了在奇异空间上临界点数量的下界。
3. 拓扑连接积的计算： 精确计算了 $(S^{2d_- -1} \times S^{2d_+ -1}) \star S^1$ 的等变上同调结构，这是得出多重性结论的关键。

5. 意义与影响 (Significance)

• 理论突破： 首次严格证明了在动量与共振波矢共线的情况下，3D 重力 - 毛细 Stokes 波的多重性存在。这填补了水波理论中的一个重要空白。
• 物理洞察： 解释了物理流体中观察到的 Stokes 波“聚集”现象，表明这种多解性是水波方程哈密顿结构、对称群作用以及拓扑性质的必然结果，而非数值误差或特定参数下的偶然现象。
• 方法论推广： 文中第一部分（Part I）系统建立了适用于度量空间的等变临界点理论，特别是针对具有奇异拓扑结构的空间。这套工具不仅适用于水波问题，预期也可推广到其他具有对称性的哈密顿偏微分方程（Hamiltonian PDEs）的分岔问题中。
• 完备的分岔图景： 结合定理 1.1、1.2 和 1.3，作者给出了 3D 重力 - 毛细 Stokes 波关于动量和速度的完整分岔图景。

总结

这篇论文通过结合精细的变分分析、对称性利用和深刻的拓扑学工具（等变上同调与 Conley 理论），解决了 3D 水波分岔中一个极具挑战性的共线共振问题，证明了在特定动量下存在多个几何不同的 3D 波，为理解非线性水波的复杂行为提供了坚实的数学基础。