[论文解读] Multiscale expansion of the lattice potential KdV equation on functions of infinite slow-varyness order

Rafael Hernández Heredero, D. Levi+2 more|arXiv (Cornell University)|Jun 7, 2007

Advanced Mathematical Physics Problems参考文献 8被引用 8

一句话总结

该论文将多尺度扰动分析扩展至格点势 KdV 方程，采用无穷阶慢变函数，引入了对所有阶次均成立的位移算子的正式多尺度展开。最低阶非共振条件导出一个以无穷阶差分算子表示的非线性格点 Schrödinger 方程，且仅在无穷阶极限下证明了可积性，此时通过 $Î$-算子出现 Lax 对形式。

ABSTRACT

We present a discrete multiscale expansion of the lattice potential Korteweg-de Vries (lpKdV) equation on functions of infinite order of slow-varyness. To do so we introduce a formal expansion of the shift operator on many lattices holding at all orders. The lowest secularity condition from the expansion of the lpKdV equation gives a nonlinear lattice equation, depending on shifts of all orders, of the form of the nonlinear Schrödinger (NLS) equation

研究动机与目标

• 将离散多尺度扰动技术推广至具有无穷阶慢变行为的函数。
• 推导出在所有慢变函数阶次下均有效的格点势 KdV 方程的一致多尺度展开。
• 确定所得到的约化方程可积的条件，特别是当慢变阶次趋于无穷时的情形。
• 通过形式算子展开，建立 lpKdV 方程多尺度约化与离散非线性 Schrödinger 方程之间的联系。

提出的方法

• 引入位移算子 $T_n$ 的形式展开，表示为 $Î$-微分算子的无穷级数，即 $T_n = e^{\delta_n} = \sum_{i=0}^\infty \frac{\delta_n^i}{i!}$，其中 $\delta_n = \ln(1 + \Delta_n)$。
• 将该展开应用于格点势 KdV 方程，采用多个慢变尺度 $n_1, n_2, \dots, n_K$ 进行多尺度分析。
• 推导最低阶非共振条件，得到一个以无穷阶差分算子表示的非线性格点 Schrödinger 型方程。
• 利用 $\delta$-算子构造约化方程的矩阵 Lax 对，其中含谱参数 $\eta$，并仅在慢变阶次 $\ell = \infty$ 时证明了可积性。
• 利用该形式体系，在 $\ell = 2$ 时恢复 [7, 9] 中的离散 NLS 方程作为特例，表明有限阶近似下高阶项消失。
• 分析 Lax 对的相容性，发现当 $\ell$ 有限时，由于差分算子不满足 Leibniz 法则，导致其不相容。

实验结果

研究问题

• RQ1 当函数具有无穷阶慢变行为时，格点势 KdV 方程的多尺度展开结构如何？
• RQ2 无穷阶慢变极限如何影响约化非线性方程的形式？
• RQ3 能否为约化方程构造 Lax 对形式？其相容性条件为何？
• RQ4 所得到的离散非线性 Schrödinger 方程是否可积？其可积性是否依赖于慢变行为的阶次？
• RQ5 位移算子展开在连接离散与连续可积系统中起何作用？

主要发现

• 多尺度展开的最低阶非共振条件导出一个以无穷阶差分算子表示的非线性格点 Schrödinger 方程。
• 仅当慢变行为阶次为无穷（即 $\ell = \infty$）时，约化方程才可积，此结论由 Lax 对的存在性证实。
• 对于任意有限 $\ell$，Lax 对退化为一组在慢变近似下不相容的差分方程，原因在于差分算子不满足 Leibniz 法则。
• 在 $\ell = 2$ 时，[7, 9] 中推导的离散 NLS 方程作为特例被恢复，与先前结果保持一致。
• 将位移算子 $T_n$ 展开为 $e^{\delta_n}$ 的形式，为跨所有阶次关联离散差分算子与微分算子提供了一种系统方法。
• 约化方程的矩阵 Lax 对以 $\delta$-算子和谱参数 $\eta$ 表示，其中系数 $\rho_1$ 和 $\rho_2$ 仅在 $\ell = \infty$ 极限下为实数。