[论文解读] Recursion Operators for Multidimensional Integrable PDEs

Artur Sergyeyev|arXiv (Cornell University)|Oct 16, 2017

Nonlinear Waves and Solitons参考文献 23被引用 6

一句话总结

本文提出了一种新的、计算高效的构造方法，用于构建具有等谱 Lax 对的二阶标量多维可积偏微分方程（PDE）的递归算子。这些方程以关于谱参数 λ 的一阶微分算子线性形式表示。该方法基于 Lax 对展开和线性化技术，采用系统化程序，成功推导出已知方程的递归算子，并识别出两个新的递归算子，相较于以往方法展现出更广泛的适用性和更高的简洁性。

ABSTRACT

We present a novel construction of recursion operators for scalar second-order integrable multidimensional PDEs with isospectral Lax pairs written in terms of first-order scalar differential operators. Our approach is quite straightforward and can be readily applied using modern computer algebra software. It is illustrated by examples, two of which are new.

研究动机与目标

• 开发一种更简单且计算上更易处理的方法，用于构造多维可积 PDE 的递归算子。
• 解决现有方法的局限性，即过于复杂或适用范围受限。
• 提供一种适用于二阶 PDE 的系统化程序，其具有等谱 Lax 对且以一阶微分算子形式表示。
• 为已知可积方程生成新的递归算子，包括两个此前未发表的算子。
• 将该方法扩展至更高阶方程，保持相同的 Lax 对框架。

提出的方法

• 该方法从一个二阶 PDE（1）出发，其具有形式为（2）的等谱 Lax 对，其中算子关于谱参数 λ 线性。
• 假设 Lax 对的解 ψ 满足线性化方程 ℓ_F(ψ) = 0，意味着 ψ 是一个非局部对称。
• 将形式洛朗级数展开 ψ = Σ ψ_k λ^{-k} 代入 Lax 对，得到递推关系（4），用于由 ψ_k 定义 ψ_{k+1}。
• 通过将算子作用于对称 U 的表达式表示为方程组（5），构建递归算子，其中涉及由 Lax 对分量 X_i^{s,j} 衍生出的系数 f_i^j。
• 通过将递推关系与 Lax 对算子的结构相匹配，确定系数 f_i^j。
• 该方法通过系统化算法实现，可利用计算机代数系统轻松自动化。

实验结果

研究问题

• RQ1 能否为具有等谱 Lax 对的多维可积 PDE 构建一种更简单且更通用的递归算子构造方法？
• RQ2 使用该新方法是否能重现已知可积 PDE（如 Pavlov 方程和 Boyer–Finley 方程）的现有递归算子？
• RQ3 该方法能否为形式为（1）的可积 PDE 生成新的、此前未知的递归算子？
• RQ4 当扩展至具有类似 Lax 对结构的更高阶方程时，该方法是否仍保持适用性？
• RQ5 与现有方法相比，该方法在适用范围上是否存在根本性限制？

主要发现

• 该方法成功重现了已知可积 PDE 的递归算子，如 Pavlov 方程、六维天体方程以及满足 A+B+C=0 的 ABC 方程。
• 推导出两个新的递归算子：一个用于方程 D_z(u_y/u_x) - D_x(u_t/u_x) = 0，该方程此前未在文献中出现过。
• 另一个新递归算子用于方程 D_t(m) + αm D_x(n) - D_z(n) - αn D_x(m) = 0，其中 m = (u_y - u_z)/u_x 且 n = (u_z - u_t)/u_x。
• 该方法不仅适用于二阶 PDE，也适用于形式为 F(𝐱, u, u^{(k)}) = 0 的更高阶方程，前提是它们具有形式（2）的 Lax 对。
• 该方法计算效率高，且可借助现代计算机代数软件实现自动化，为更复杂现有方法提供实用替代方案。
• 未发现任何反例表明：对于形式为（1）的方程，其已知递归算子无法通过该方法重现，表明其具有广泛的适用性。