[论文解读] High-frequency instabilities of small-amplitude solutions of Hamiltonian PDEs

Bernard Deconinck, Olga Trichtchenko|arXiv (Cornell University)|May 14, 2015

Nonlinear Waves and Solitons参考文献 33被引用 4

一句话总结

本文提出一个哈密顿框架，用于分析哈密顿PDE的小振幅周期解中的高频不稳定性，利用线性化系统的色散关系和克雷因符号。研究发现，不稳定性源于虚轴上特定点的克雷因碰撞，并通过Boussinesq-Whitham方程的实例加以证明：对于平均值为负的解，由于增长率无界，系统表现出不适定性。

ABSTRACT

Generalizing ideas of MacKay, and MacKay and Saffman, a necessary condition for the presence of high-frequency ( i.e., not modulational) instabilities of small-amplitude periodic solutions of Hamiltonian partial differential equations is presented, entirely in terms of the Hamiltonian of the linearized problem. With the exception of a Krein signature calculation, the theory is completely phrased in terms of the dispersion relation of the linear problem. The general theory changes as the Poisson structure of the Hamiltonian partial differential equation is changed. Two important cases of such Poisson structures are worked out in full generality. An example not fitting these two important cases is presented as well, using a candidate Boussinesq-Whitham equation.

研究动机与目标

• 推导哈密顿PDE的小振幅周期解中高频不稳定的必要条件，且不依赖于非线性动力学。
• 将不稳定性判据完全表达为线性化哈密顿量和色散关系的函数，避免直接进行谱分析。
• 研究泊松结构的变化如何影响不稳定性的发生，特别是通过克雷因符号的分析。
• 分析一个非标准情形——Boussinesq-Whitham方程，表明即使线性色散关系正确，对于平均值为负的解，仍可能产生不适定性。
• 澄清近似水波模型中谱稳定性与适定性之间的区别，特别是在非伽利略不变的公式下。

提出的方法

• 关于零振幅解线性化哈密顿PDE，仅保留二次项，形成控制线性化动力学的哈密顿量 $ H_c^0 $。
• 通过假设傅里叶模态解 $ \text{exp}(ikx - i\rho t) $，从线性化系统导出色散关系 $ F(\rho, k) = 0 $，得到 $ M $ 条分支 $ \rho_j(k) $。
• 识别非平凡周期解从零解分岔出现的分岔点，其条件为色散关系的雅可比行列式为零。
• 利用弗洛quet理论计算零振幅解的谱稳定性，表明 $ \rho_j(k) $ 的实分支对应纯虚谱（谱稳定性）。
• 应用克雷因符号理论，通过虚轴上特征值的碰撞检测潜在的不稳定性起始，指示不稳定模态的出现。
• 将Boussinesq-Whitham方程作为案例研究，比较其色散关系和稳定性谱与完整水波问题的差异，并评估负平均解的不适定性。

实验结果

研究问题

• RQ1 在何种条件下，哈密顿PDE的小振幅周期解中会出现高频不稳定性，且与调制不稳定性无关？
• RQ2 是否仅凭线性化哈密顿量和色散关系即可预测此类不稳定的起始，而无需求解完整的谱问题？
• RQ3 泊松结构的选择如何影响谱中高频不稳定的出现位置和性质？
• RQ4 近似模型如Boussinesq-Whitham方程在多大程度上继承了完整水波问题的不稳定性结构？
• RQ5 为何Boussinesq-Whitham模型中负平均解表现出不适定性，这对数值模拟有何影响？

主要发现

• 仅从线性化系统的色散关系和克雷因符号出发，推导出高频不稳定的必要条件，无需显式求解谱问题。
• 对于Boussinesq-Whitham方程，平均值为正的小振幅解的稳定性谱保持有界，而平均值为负的解则表现出无界的实部，表明系统不适定。
• Boussinesq-Whitham方程的不稳定谱在原点上方呈现水平线段，与克雷因碰撞理论一致，数值爆破结果也证实了虚轴附近的不稳定性。
• 尽管其线性色散关系与完整水波问题一致，Boussinesq-Whitham方程并非伽利略不变，导致负平均解出现虚假不稳定性。
• 本研究证实，即使线性色散相同，不同的泊松结构也可能导致不同的稳定性和适定性特性，凸显哈密顿结构在非线性动力学中的关键作用。
• 数值实验表明，负平均解的不适定性会因数值误差而加剧，但更高精度的模拟确认谱的实部随 $ |k| \to \infty $ 无界增长。