[论文解读] Integrability and Symmetries of Difference Equations: the Adler-Bobenko-Suris Case

Pavlos Xenitidis|ArXiv.org|Feb 23, 2009

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

一句话总结

本文研究了由多维一致性特征所表征的Adler-Bobenko-Suris（ABS）差分方程的可积性与对称性性质。通过利用这种一致性，作者系统地构造了自-Bäcklund变换和Lax对，并通过递归算子显式推导出广义对称性的无限层级，证明了这些方程与连续可积系统共享核心可积性特征。

ABSTRACT

We consider the partial difference equations of the Adler-Bobenko-Suris classification, which are characterized as multidimensionally consistent. The latter property leads naturally to the construction of auto-B{ä}cklund transformations and Lax pairs for all the equations in this class. Their symmetry analysis is presented and infinite hierarchies of generalized symmetries are explicitly constructed.

研究动机与目标

• 确立由多维一致性分类的ABS方程展现出自-Bäcklund变换和Lax对等关键可积性特征。
• 证明ABS方程的多维一致性自然导出广义对称性的构造。
• 通过线性微分算子证明Q3和Q4子类方程存在广义对称性的无限层级。
• 表明高阶ABS类方程的递归算子可被显式构造，从而实现对称性的归纳生成。
• 通过展示ABS方程继承了与连续可积PDE（如KdV或sine-Gordon方程）中相似的对称结构，统一离散与连续可积系统。

提出的方法

• 将ABS方程的多维一致性作为基础性质，以算法方式推导出自-Bäcklund变换和Lax对。
• 在反散射方法框架下，通过已知的Bäcklund变换与Lax对之间的关系，从自-Bäcklund变换构造Lax对。
• 利用Lie点对称理论对差分方程进行对称性分析，其中无穷小生成元由特征R(n,m,u)定义。
• 使用线性微分算子递归构造广义对称性，这些算子作为Q3和Q4方程的递归算子。
• 分析ABS方程的多项式结构（H与Q列表），特别关注Q5主方程及其参数约化至H1–H3与Q1–Q4的情形。
• 对边与对角多项式（h_ij与G）施加对称性约束，强制其为双二次形式，以保持可积性。

实验结果

研究问题

• RQ1 ABS方程中的多维一致性如何导致自-Bäcklund变换和Lax对的构造？
• RQ2 ABS类中广义对称性的结构是什么？能否系统性地生成？
• RQ3 Q3和Q4方程是否具有生成对称性无限层级的递归算子？
• RQ4 ABS方程的对称性与KdV或sine-Gordon等连续可积PDE的对称性有何异同？
• RQ5 多项式对称性（h_ij, G）在保持整个晶格上可积性与一致性方面起什么作用？

主要发现

• ABS方程的多维一致性使得自-Bäcklund变换和Lax对能够被算法化推导。
• 所有ABS方程的Lax对均通过Bäcklund变换与Lax对之间已知的对应关系构造而成。
• 方程H1–H3与Q1–Q4作为Q5通用方程的特例，通过设定特定参数（如a1=a2=0）获得。
• 方程Q4被识别为ABS列表的主方程，其参数通过椭圆函数p(x) = 4x³ - g₂x - g₃定义。
• Q3与Q4方程均存在通过线性微分算子作为递归算子递归构造的广义对称性无限层级。
• ABS方程的对称结构被证明与连续可积系统一致，其无限守恒律与广义对称性源于相同的底层一致性。