[论文解读] A systematic approach to reductions of type-Q ABS equations

Mike Hay, Phil Howes+2 more|arXiv (Cornell University)|Jul 12, 2013

Nonlinear Waves and Solitons参考文献 24被引用 3

一句话总结

本文提出了一种系统化方法，通过Möbius型周期性约束对类型-Q的ABS方程（Q1、Q2、Q3）进行约化，表明大多数约化通过初始值空间几何结构导出的有理变换可转化为可线性化的映射。关键贡献在于，通过对Q3方程进行去自洽化约化，发现了一类在$A_1^{(1)}$曲面上的$q$-Painlevé方程，该结果通过奇点约束和度增长分析得到验证。

ABSTRACT

We present a class of reductions of Möbius type for the lattice equations known as Q1, Q2, and Q3 from the ABS list. The deautonomised form of one particular reduction of Q3 is shown to exist on the $A_1^{(1)}$ surface which belongs to the multiplicative type of rational surfaces in Sakai's classification of Painlevé systems. Using the growth of degrees of iterates, all other mappings that result from the class of reductions considered here are shown to be linearisable. Any possible linearisations are calculated explicitly by constructing a birational transformation defined by invariant curves in the blown up space of initial values for each reduction.

研究动机与目标

• 开发一种系统框架，利用Möbius型约束对ABS列表中的Q1、Q2和Q3方程进行周期性约化。
• 确定哪些约化会产生可积映射，特别关注通过代数熵和初始值空间分析实现的可线性化性质。
• 识别并显式构造表现出线性度增长的约化所对应的线性化有理变换。
• 探索不可线性化约化的存在性，特别是针对Q3的情况，并分析其奇点结构。
• 通过奇点约束实现去自洽化，证明在$A_1^{(1)}$曲面上存在一个$q$-Painlevé方程。

提出的方法

• 对Q1、Q2和Q3方程应用形如$u(k,l+1) = m(u(k+1,l))$的约化，其中$m$为Möbius变换。
• 利用代数熵（迭代的度增长）对可积性进行分类：线性增长意味着可线性化。
• 通过在基点处对$\mathbb{P}^2$进行爆破构造初始值空间，从而实现对映射的几何分析。
• 对于可线性化的情形，推导显式有理变换，将系统转化为级联的Riccati映射。
• 对于不可线性化的Q3约化，应用奇点约束实现去自洽化，并识别Painlevé曲面。
• 通过映射在Picard群上的作用计算度增长，确认不可线性化情形中奇点的非封闭性。

实验结果

研究问题

• RQ1 哪些Möbius型约化可使Q1、Q2和Q3 ABS方程产生可线性化映射？
• RQ2 初始值空间能否用于显式构造这些约化的线性化变换？
• RQ3 不可线性化约化中的奇点结构性质如何，特别是针对Q3？
• RQ4 Q3的去自洽化约化是否产生Sakai分类中已知的离散Painlevé方程？
• RQ5 Sakai分类中$A_1^{(1)}$曲面能否作为由ABS方程导出的$q$-Painlevé方程的几何基础？

主要发现

• 所有具有Möbius型约束的Q1和Q2方程约化均为可线性化，表现为线性度增长。
• 显式构造了有理变换，将约化转化为级联Riccati映射，从而实现算法求解。
• 对于Q3，发现三种约化为可线性化，而一种特定周期性约化表现出二次度增长。
• Q3的二次度增长约化通过奇点约束实现去自洽化，得到一个$q$-Painlevé方程。
• 所得$q$-Painlevé方程在Sakai分类的$A_1^{(1)}$曲面上得到几何实现。
• 该映射表现出非封闭奇点，需无限次爆破，其Picard群作用显示例外除子系数的无界增长，从而得到验证。