[论文解读] On decomposition of the ABS lattice equations and related Bäcklund transformations

Danda Zhang, Da‐jun Zhang|arXiv (Cornell University)|May 2, 2017

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

一句话总结

本文重新考察了Adler-Bobenko-Suris（ABS）格点方程的分解，从其代数结构中推导出Bäcklund变换（BTs）和相容三元组。结果表明，这些BTs可生成新解、格点方程及弱Lax对，对H1、H2、H3(δ)、A1(δ)、A2、Q1(δ)、Q2、Q3(δ)和Q4方程给出了显式构造，通过一致分解与变换技术揭示了其深层可积性。

ABSTRACT

The Adler-Bobenko-Suris (ABS) list contains all scalar quadrilateral equations which are consistent around the cube. Each equation in the ABS list admits a beautiful decomposition. In this paper, we first revisit these decomposition formulas, by which we construct Bäcklund transformations (BTs) and consistent triplets. Some BTs are used to construct new solutions, lattice equations and weak Lax pairs.

研究动机与目标

• 系统性地重新考察并重新推导ABS格点方程列表的分解公式。
• 从这些分解中构造Bäcklund变换（BTs）和相容三元组。
• 利用推导出的BTs生成新解、格点方程及弱Lax对。
• 通过相容三元组和变换结构探索ABS方程的可积性。
• 阐明参数函数在分解中的作用及其对方程分类的影响。

提出的方法

• 使用包含函数s₀(p)、s₃(p)和h(u, ũ, p)的一般分解框架重新表述ABS方程。
• 应用围绕立方体的一致性（CAC）条件，推导出s₀(p)、s₃(p)和h(u, ũ, p)的约束条件。
• 利用BT结构Q(u, ũ, ū, ū̃; p, r) = 0和Q(u, ū, ū̃, ū̃̃; q, r) = 0，生成自-和非自-BT。
• 通过线性化BT并引入变换ū = g/f，构造弱Lax对。
• 采用基于ansatz的方法，以x的多项式解为基础，为N=1,2构造显式BT解。
• 通过多项式展开中的系数匹配分析，约束参数并推导出允许的解阶数（仅限N=1,2）。

实验结果

研究问题

• RQ1 如何系统性地重新考察ABS格点方程的分解，以揭示其底层可积性结构？
• RQ2 从分解中会产生哪些Bäcklund变换？它们如何生成新解和新方程？
• RQ3 哪些ABS方程可从一般分解框架中恢复？参数函数在其中起什么作用？
• RQ4 相容三元组和弱Lax对如何从BT结构中涌现？
• RQ5 BT ansatz中多项式解阶数的约束是什么？为何仅允许N=1和N=2？

主要发现

• 该分解框架通过参数选择成功复现了ABS列表中的所有方程，包括H1、H2、H3(δ)、A1(δ)、A2、Q1(δ)、Q2、Q3(δ)和Q4。
• 从相容立方体的侧边方程中导出的Bäcklund变换可生成新解和格点方程，线性化后可得到弱Lax对。
• 在BT ansatz中，仅允许阶数为N=1和N=2的多项式解，这是由于当N≥3时，x^{N-3}项的消失条件所致。
• 对N≥3，约束条件(a² - b²)(N² + 2N) = 0强制得出N=1或N=2，从而证明了解阶数的有限性。
• 方程(64)：(uũ - 1)(ûû̃ - 1) = (p²/q²)(uû - 1)(ũû̃ - 1)，在变换u → u^{(-1)^{n+m}}下等价于Q1(0; p², q²)。
• 参数函数s₀(p)和s₃(p)决定了方程类型：s₃(p)为常数时对应H3(δ)，s₀(p)为常数时对应A2，而s₀²(p) = c₁s₃²(p) + c₂（经缩放后）对应A2或H3(1)。