[论文解读] Integrability study of a four-dimensional eighth-order nonlinear wave equation

Sergei Sakovich|arXiv (Cornell University)|Jul 28, 2016

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

一句话总结

本文利用Painlevé分析研究了与例外仿射李代数 $\nabla_6^{(1)}$ 相关的四维八阶非线性波方程的可积性。尽管该方程具有多孤子解，但由于在共振 $n=14$ 处兼容性条件非零，其不通过Painlevé检验，表明其在Lax意义下不可积，尽管可能存在一个低阶可积约化。

ABSTRACT

We study the integrability of the four-dimensional eighth-order nonlinear wave equation of Kac and Wakimoto, associated with the exceptional affine Lie algebra ${\mathfrak e}_6^{(1)}$. Using the Painlevé analysis for partial differential equations, we show that this equation must be non-integrable in the Lax sense but very likely it possesses a lower-order integrable reduction.

研究动机与目标

• 评估与例外仿射李代数 $\nabla_6^{(1)}$ 相关的Kac–Wakimoto四维八阶非线性波方程的可积性。
• 在先前文献中已提出该方程具有多孤子解并可能可积的前提下，判断其是否具有Lax表示。
• 研究是否存在一个低维可积约化，从而解释尽管在四维中不可积，但其仍具有多孤子解结构的可能性。
• 对具有任意参数 $a$、$b$ 和 $c$ 的高阶、高维、非演化型PDE应用Painlevé分析。
• 探讨非可积性是否在方程的 $y$-、$z$- 和 $t$-无关约化中均保持不变。

提出的方法

• 将Kac–Wakimoto方程的Hirota双线性形式转化为场变量 $u = 2\tau_x / \tau$ 的非线性PDE。
• 对方程结果的非线性PDE应用Painlevé分析，假设在非特征超曲面 $\rho = x + \rho(y,z,t)$ 上具有Laurent型奇性展开。
• 识别出三种不同的奇性行为分支，其主导阶指数为 $\rho^{-1}$，系数分别为 $u_0 = 2$、$4$、$6$。
• 计算每个分支的共振位置，发现对于 $u_0 = 2$（通用分支），共振位置为 $r = -1,1,2,3,4,5,8,14$。
• 使用递推关系计算Laurent展开中的系数 $u_n$，并在共振位置检查兼容性条件。
• 发现在共振 $n=14$ 处存在非零兼容性条件，要求展开中引入对数项，这是不可积性的明确标志。

实验结果

研究问题

• RQ1 与 $\nabla_6^{(1)}$ 相关的四维八阶非线性波方程是否通过Painlevé可积性检验？
• RQ2 多孤子解的存在性能否与缺乏已知Lax对或Lax意义下的可积性相协调？
• RQ3 是否存在该方程的一个低维可积约化，可能解释其多孤子结构？
• RQ4 在共振位置 $n=14$ 的兼容性条件是否恒为零，还是对解空间施加了非平凡约束？
• RQ5 在 $n=14$ 处Laurent展开中出现对数分支是否能明确排除Lax可积性？

主要发现

• Painlevé分析表明，由于在共振 $n=14$ 处存在非零兼容性条件，Kac–Wakimoto方程不通过可积性检验。
• 在 $n=14$ 处的兼容性条件形式为 $u_8 = \frac{1}{u_3^2} P[u_1,u_2,u_3,u_4,u_5; a,b,c]$，其中 $P$ 为非平凡多项式，表明若不引入对数项，Laurent展开无效。
• 解展开中出现对数分支是Lax意义下不可积性的强烈且不可逆的指示。
• 该不可积性结果对所有参数 $a$、$b$ 和 $c$ 均成立，包括原始情形 $a = -280\bar{6}$、$b = 210$、$c = -240\bar{2}$，以及所有 $y$-、$z$- 和 $t$-无关约化。
• $z$-无关约化对应于 $\nabla_4^{(3)}$ 相关的方程，该方程同样不通过Painlevé检验，因此不可积。
• 尽管不可积，该方程可能具有一个低维可积约化，因为非平凡的兼容性条件仅固定了八个自由函数中的一个，其余七个仍依赖于三个变量自由。