[论文解读] Discrete Lax pairs and hierarchies of integrable difference systems

Pavlos Kassotakis|arXiv (Cornell University)|Apr 29, 2021

Nonlinear Waves and Solitons参考文献 55被引用 4

一句话总结

本文引入了一类定义在除环上的离散Lax矩阵 $ L^{N,k} $，其阶数 $ N \in \mathbb{N} $，索引 $ k \in \{1, \ldots, N-1\} $，用于构建边变量与顶点变量中的可积非交换差分系统族。关键贡献在于提出一个统一框架，可将已知的系统族（如非交换格子-修改型和格子-施瓦茨希尔德-盖尔范德-季金系统）作为约化形式生成，同时揭示了 $ k=2 $ 时的新系统族，该族统一了前述两类系统。

ABSTRACT

We introduce a family of order $N\in \mathbb{N}$ Lax matrices that is indexed by the natural number $k\in \{1,\ldots,N-1\}.$ For each value of $k$ they serve as strong Lax matrices of a hierarchy of integrable difference systems in edge variables that in turn lead to hierarchies of integrable difference systems in vertex variables or in a combination of edge and vertex variables. Furthermore, the entries of the Lax matrices are considered as elements of a division ring, so we obtain hierarchies of discrete integrable systems extended in the non-commutative domain.

研究动机与目标

• 开发一种系统化框架，利用离散Lax对构造可积非交换差分系统。
• 通过除环上的Lax矩阵，将标量和交换型可积系统族推广至非交换域。
• 在单一Lax矩阵族 $ L^{N,k} $ 下统一已知的非交换系统族，如格子-修改型与格子-施瓦茨希尔德-盖尔范德-季金系统族。
• 识别新的可积系统族，特别是 $ k=2 $ 时的系统族，其包含先前系统族作为约化形式。

提出的方法

• 引入一组 $ N \times N $ 的Lax矩阵 $ L^{N,k} $，其元素属于除环，参数为 $ k \in \{1, \ldots, N-1\} $。
• 通过离散谱问题推导涉及 $ L^{N,k} $ 与 $ M^{N,k} $ 的线性问题，从而在边变量与顶点变量中生成可积系统族。
• 利用强Lax对条件确保可积性，并通过谱参数的递推关系构造系统族。
• 通过中心性假设，恢复非交换格子-修改型与格子-施瓦茨希尔德-盖尔范德-季金系统族在 $ k=1 $ 时的显式形式。
• 推导 $ k=2 $ 情况下的显式方程，表明其包含 $ k=1 $ 时的两类系统族作为约化形式。
• 提出广义线性问题 $ \Psi_2 = L^{N,k_1,a} \Psi $，$ \Psi_1 = M^{N,k_2,b} \Psi $，将框架扩展至更广泛的系统类别。

实验结果

研究问题

• RQ1 如何构造一族离散Lax矩阵 $ L^{N,k} $，以在非交换设置下生成可积系统族？
• RQ2 不同 $ k $ 值下由 $ L^{N,k} $ 生成的系统族之间存在何种关系？它们如何统一已知的可积系统？
• RQ3 $ k=2 $ 情况是否能产生一个新系统族，使其包含非交换格子-修改型与格子-施瓦茨希尔德-盖尔范德-季金系统族作为约化形式？
• RQ4 与 $ L^{N,k} $ 相关的离散系统族的连续极限是什么，特别是当 $ k>1 $ 时？
• RQ5 如何从 $ L^{N,k} $ Lax矩阵显式构造完整的杨-巴克斯映射族？

主要发现

• 当 $ k=1 $ 时，Lax矩阵 $ L^{N,1} $ 在边变量中生成非交换差分系统族，且在中心性假设下可约化为非交换格子-修改型与格子-施瓦茨希尔德-盖尔范德-季金系统族。
• 与 $ L^{N,1} $ 相关的杨-巴克斯映射族的前两个成员被显式构造：第一个是非交换域中 $ H_{III}^{A} $ 映射的四参数推广。
• 当 $ k=2 $ 时，推导出一组新的边变量与顶点变量差分系统族，其包含 $ k=1 $ 时的两类系统族作为约化形式，表明存在统一的结构。
• 通过涉及 $ x^{3,i}, y^{3,i}, x^{1,i}, y^{1,i} $ 等变量的六个方程组，给出了 $ k=3 $ 系统族在边变量中的显式形式，其解以势函数 $ \phi^i, \chi^i $ 表示。
• 线性问题 $ \Psi_2 = L^{N,k_1,a} \Psi $，$ \Psi_1 = M^{N,k_2,b} \Psi $ 对框架进行了推广，暗示存在更广泛的可积系统类别。
• 本文指出了若干开放问题，包括 $ k>1 $ 时 $ L^{N,k} $ 系统族的连续极限，以及 $ k \geq 2 $ 时杨-巴克斯与纠缠映射的显式构造。