[论文解读] An index theorem for the stability of periodic traveling waves of KdV type

Jared C. Bronski, Mathew A. Johnson+1 more|ArXiv.org|Jul 24, 2009

Advanced Mathematical Physics Problems参考文献 39被引用 26

一句话总结

本文建立了一个指标定理，通过将周期行波周围线性化算子的不稳定特征值计数与波形导数的零点数及守恒量与拉格朗日乘子之间映射的几何不变量联系起来，从而实现对KdV型方程周期行波的不稳定特征值进行计数。关键结果是基于该映射的雅可比行列式提出了一种谱稳定性判别准则，推广了斯图姆振荡定理，并将孤立波稳定性理论扩展至周期波情形。

ABSTRACT

We consider periodic solutions to equations of Korteweg-Devries type. While the stability theory for periodic waves has received much some attention the theory is much less developed than the analogous theory for solitary wave stability, and appears to be mathematically richer. We prove an index theorem giving an exact count of the number of unstable eigenvalues of the linearized operator in terms of the number of zeros of the derivative of the traveling wave profile together with geometric information about a certain map between the constants of integration of the ordinary differential equation and the conserved quantities of the partial differential equation. This index can be regarded as a generalization of both the Sturm oscillation theorem and the classical stability theory for solitary wave solutions for equations of Korteweg-de Vries type. In the case of a polynomial nonlinearity this index, together with a related one introduced earlier by Bronski and Johnson, can be expressed in terms of derivatives of period integrals on a Riemann surface. Since these period integrals satisfy a Picard-Fuchs equation these derivatives can be expressed in terms of the integrals themselves, leading to an expression in terms of various moments of the solution. We conclude with some illustrative examples.

研究动机与目标

• 为KdV型方程的周期行波解建立一个几何谱稳定性准则。
• 将斯图姆振荡定理与孤立波稳定性理论推广至周期波情形。
• 以底层常微分方程与偏微分方程结构的拓扑和几何不变量表达不稳定特征值的个数。
• 在多项式非线性情形下，将稳定性指标与阿贝尔积分及皮卡德-富克斯方程联系起来。
• 提供一个基于守恒量与作用量原理来区分周期波谱不稳定性问题的框架。

提出的方法

• 通过扰动KdV型方程并分析所得特征值问题，推导周期行波附近的线性化算子。
• 利用方程的哈密顿结构，将线性化稳定性问题表示为 $ \mathbf{J} \mathcal{L} \phi = \mu \phi $ 的形式，其中 $ \mathcal{L} $ 是具有周期系数的施图姆-刘维尔型算子。
• 将稳定性指标定义为位于右半平面的不稳定特征值个数，加上负克雷因符号的纯虚特征值个数。
• 通过泊松括号风格的记号，将该指标与从拉格朗日乘子 $ (a, c) $ 到守恒量 $ (T, M, P) $ 的映射的雅可比行列式联系起来。
• 在多项式非线性情形下，将雅可比行列式用黎曼曲面上周期积分的导数表示，这些导数满足皮卡德-富克斯方程。
• 利用所得代数结构，将指标表达为解的矩与守恒量的函数，从而实现显式计算。

实验结果

研究问题

• RQ1 如何通过几何方法计数周期行波附近线性化算子的不稳定特征值个数？
• RQ2 周期波形导数的零点个数与谱不稳定性之间存在何种关系？
• RQ3 稳定性指标能否用守恒量及其对拉格朗日乘子的依赖关系表示？
• RQ4 阿贝尔积分与皮卡德-富克斯方程如何在多项式非线性情形下促进稳定性指标的计算？
• RQ5 调制不稳定性指标是否是KdV型周期波谱不稳定的充分必要条件？

主要发现

• 位于右半平面的不稳定特征值个数，加上负克雷因符号的纯虚特征值个数，由一个指标决定，该指标依赖于 $ u_x $ 的零点个数以及从 $ (a, E, c) $ 到 $ (T, M, P) $ 的映射的雅可比行列式。
• 在 $ \{T, M, P\}_{a,E,c} > 0 $ 的区域，尽管存在谱不稳定性，系统在 $ L^2(\mathbb{T}_k) $ 中对大 $ k $ 仍为轨道稳定。
• 当 $ \{T, M, P\}_{a,E,c} < 0 $ 时，不稳定特征值个数满足 $ k_{\mathbb{I}}^{-} + k_{\mathbb{R}} + k_{\mathbb{C}} = 2k - 1 $，表明存在强谱不稳定性。
• 在多项式非线性情形下，可通过黎曼曲面上周期积分的导数计算稳定性指标，这些导数可表示为解的矩。
• 数值证据表明，谱不稳定性仅在调制不稳定性指标为负时发生，尽管此结论仍为一个猜想。
• 该方法可区分实特征值（表示不稳定性）与负克雷因符号的纯虚特征值，尽管仅模二成立。