Instability of two-pulse periodic waves with long wavelength in some Hamiltonian PDEs

这是一份关于论文《Instability of two-pulse periodic waves with long wavelength in some Hamiltonian PDEs》（某些哈密顿偏微分方程中长波长双脉冲周期波的不稳定性）的详细技术总结。

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

本文主要研究一类哈密顿偏微分方程（PDEs）中长波长双脉冲周期波（two-pulse periodic waves）的谱不稳定性。

• 研究对象：
  • 包括 Korteweg-de Vries (KdV) 方程的拟线性推广。
  • 可压缩流体的欧拉方程的色散扰动（拉格朗日坐标或欧拉坐标）。
  • 非线性薛定谔方程（NLS）的水动力学形式。
• 波的特征：
  • 所研究的周期波在每个周期内包含两个脉冲（pulses）。
  • 当波长趋于无穷大（即周期 $X \to \infty$）时，这两个脉冲分别收敛于两个不同的孤子（soliton）：一个收敛于亮孤子（bright soliton），另一个收敛于暗孤子（dark soliton）。
  • 这两个孤子共享相同的渐近状态（endstate）。
• 核心问题：
  • 这类具有大周期的双脉冲周期波在谱意义下是否稳定？
  • 现有的稳定性判据（通常针对单孤子或谐波极限）是否适用于这种由两个不同孤子叠加而成的复杂结构？

2. 方法论 (Methodology)

作者结合了两种不同的数学方法来证明不稳定性，分别处理不同的参数区域：

方法一：作用量泛函的 Hessian 矩阵渐近展开 (Asymptotic expansion of the action Hessian)

• 理论基础：基于 [BMR16] 和 [BMR20] 的工作，利用哈密顿系统的对称性，通过计算约化作用量积分（abbreviated action integral）$\Theta$ 的 Hessian 矩阵 $\nabla^2 \Theta$ 的符号特征来判断稳定性。
• 具体操作：
  • 当周期 $X \to \infty$（即能量参数 $\mu \to \mu_s$）时，对作用量 $\Theta$ 及其导数进行渐近展开。
  • 计算 Hessian 矩阵 $\nabla^2_{(\mu, \lambda, c)} \Theta$ 的负惯性指数（negative signature）$n(\nabla^2 \Theta)$。
  • 利用定理：如果 $n(\nabla^2 \Theta) - N$ 为奇数（其中 $N$ 是系统维数），则波是谱不稳定的。
• 适用范围：主要用于处理两个极限孤子都是谱稳定的情况。

方法二：Evans 函数的谱收敛性分析 (Convergence of the Evans function)

• 理论基础：借鉴 [YZ19] 关于单脉冲孤子的分析方法，研究周期波的 Evans 函数在周期趋于无穷大时的收敛行为。
• 具体操作：
  • 定义周期波的 Evans 函数 $E_\varepsilon(z, \gamma)$。
  • 证明经过适当重缩放（renormalization）后的周期 Evans 函数，在指数速率下收敛于两个极限孤子 Evans 函数的乘积。
  • 即：$\tilde{D}_\varepsilon(z, \gamma) \to D^0_{\ell}(z) \cdot D^0_{r}(z)$。
• 适用范围：用于处理至少有一个极限孤子是谱不稳定的情况。如果极限孤子不稳定，其 Evans 函数在右半平面有零点，根据收敛性，大周期波也会产生不稳定的谱。

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

主要定理 (Theorem 2.3.3)

在满足特定假设（Assumption 1 & 2）下，对于充分大周期的双脉冲周期波，其谱不稳定性结论如下：

1. 情形一（两个孤子均稳定）：

   • 如果两个极限孤子的 Boussinesq 动量 $M$ 对速度 $c$ 的二阶导数之和为正，即 $d_c^2 M_\ell + d_c^2 M_r > 0$，则该双脉冲周期波是谱不稳定的。
   • 具体表现为：线性化算子存在一个具有 Floquet 指数 $\xi=0$ 的正实特征值。
   • 注：这推广了 [BMR20] 中关于单孤子极限的结果，表明即使两个孤子本身稳定，它们的“同步叠加”在大周期下也是不稳定的。

2. 情形二（至少一个孤子不稳定）：

   • 如果两个极限孤子中至少有一个是谱不稳定的，那么对应的大周期双脉冲周期波也是谱不稳定的。
   • 具体表现为：线性化算子在复平面的右半平面（$\text{Re}(\lambda) > 0$）存在特征值。

关键发现

• 普遍不稳定性：除了极特殊的退化情况（两个孤子都稳定且 $d_c^2 M_\ell + d_c^2 M_r = 0$），所有大周期的双脉冲周期波都是谱不稳定的。
• 调制不稳定性（Modulational Instability）的排除：作者指出，当 $d_c^2 M_\ell + d_c^2 M_r < 0$ 时，虽然作用量 Hessian 矩阵是负定的（通常暗示调制系统双曲，即无调制不稳定性），但这并不意味着波是稳定的。通过 Evans 函数分析，作者证明了即使没有调制不稳定性，波依然会因为孤子本身的谱不稳定性或上述的“同步破坏”机制而失稳。
• 非线性不稳定性：对于半线性情况，谱不稳定性可推导出非线性轨道不稳定性。对于拟线性情况，虽然非线性稳定性仍是开放问题，但谱不稳定性是一个强有力的线性证据。

4. 技术细节与数学工具

• 哈密顿结构：利用方程的哈密顿形式 $\partial_t U = \partial_x (B \delta H[U])$，将行波解转化为二维哈密顿常微分方程组的轨道问题。
• 势函数分析：周期波对应于势函数 $W(v)$ 的能级 $\mu$ 略高于双稳态能量 $\mu_s$ 的轨道。势函数需具有特定的“双阱”或“双峰”结构，允许存在亮孤子和暗孤子。
• 渐近展开技术：
  • 在附录 A 中，详细推导了包含双重根（double root）的积分 $I(\phi) = \int \frac{\phi(v)}{\sqrt{\mu - W(v)}} dv$ 的渐近展开。
  • 得到了包含 $\ln(\varepsilon)$ 项和 $\varepsilon^k \ln(\varepsilon)$ 项的精细展开式，这对于计算 Hessian 矩阵的精确符号至关重要。
• Evans 函数构造：
  • 利用 Floquet-Bloch 理论处理周期波。
  • 通过变换矩阵 $P_\varepsilon$ 将变系数线性化算子转化为常系数算子，从而建立周期波与孤子之间的连接。
  • 证明了 Evans 函数的收敛速率是指数级的 $O(e^{-\tilde{\nu} X})$。

5. 意义与影响 (Significance)

1. 理论突破：

   • 填补了哈密顿 PDE 中关于“双脉冲”周期波稳定性理论的空白。之前的研究主要集中在单孤子极限或谐波极限，本文揭示了多孤子叠加结构在大周期下的内在不稳定性。
   • 证明了即使组成成分（孤子）本身是稳定的，它们的组合（周期波）在大周期下也可能是不稳定的。这挑战了直觉，即“稳定的部分组合起来应该也是稳定的”。

2. 方法论贡献：

   • 成功将 [YZ19] 的单孤子 Evans 函数收敛理论推广到双孤子情形，展示了如何处理多个分离的渐近区域。
   • 结合了变分法（作用量 Hessian）和谱理论（Evans 函数）两种强有力的工具，提供了完整的稳定性分类。

3. 物理应用：

   • 结果适用于流体动力学（欧拉 - Korteweg 系统）和非线性光学（NLS 方程）等领域。
   • 解释了在长波长极限下，看似稳定的周期性波列为何容易发生破裂或演化，这对理解可压缩流体中的波传播和非线性波包的演化具有重要意义。

4. 未来方向：

   • 论文指出了将谱不稳定性转化为非线性轨道不稳定性（对于拟线性方程）仍是一个开放问题。
   • 对于局部扰动下的空间调制稳定性（space-modulated stability）而非轨道稳定性，可能是更精确的稳定性概念。

总结：该论文通过严谨的渐近分析和谱理论，确立了哈密顿 PDE 中长波长双脉冲周期波的普遍不稳定性，无论其极限孤子是否稳定。这一结果深化了我们对非线性色散波在长波极限下行为的理解。