[論文レビュー] Discrete Lax pairs and hierarchies of integrable difference systems

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

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

ひとこと要約

本稿では、除法環上に、$ N \in \mathbb{N} $ を次数とする、$ k \in \{1, \ldots, N-1\} $ でインデックス付けられた離散Lax行列 $ L^{N,k} $ の族を導入し、辺変数および頂点変数における非可換差分系の階層を構築する。主な貢献は、非可換格子修飾および非可換格子シュバルツィアンゲルファント＝ディキ系といった既知の階層を還元として生成する統一的な枠組みを提供することであり、特に $ 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\} $ でパラメータ化する。
• Lax行列 $ 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 $ L^{N,k} $ が生成する階層の間の関係は何か？ また、それらは既知の可積分系をどのように統一するか？
• RQ3 $ k=2 $ の場合に、非可換格子修飾および非可換格子シュバルツィアンゲルファント＝ディキ系の両方を還元として含む新しい階層が得られるか？
• RQ4 $ L^{N,k} $ に関連する離散階層の連続極限は何か、特に $ k>1 $ の場合にどうなるか？
• RQ5 $ L^{N,k} $ Lax行列から、Yang-Baxter写像の完全な階層をどのように明示的に構成できるか？

主な発見

• $ k=1 $ の場合、Lax行列 $ L^{N,1} $ は辺変数における非可換差分系の階層を生成し、中心性の仮定の下で非可換格子修飾および非可換格子シュバルツィアンゲルファント＝ディキ系に還元される。
• $ L^{N,1} $ に関連するYang-Baxter写像階層の最初の2つのメンバーを明示的に構成した：最初のものは非可換領域における $ H_{III}^{A} $ 写像の4パラメータ拡張である。
• $ k=2 $ の場合、辺変数および頂点変数における差分系の新しい階層が導出され、$ k=1 $ の両方の階層を還元として含むことから、統合的な構造が示された。
• $ k=3 $ の階層の明示的形は、$ x^{3,i}, y^{3,i}, x^{1,i}, y^{1,i} $ などの変数を含む6つの方程式の系として与えられ、解はポテンシャル関数 $ \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 $ のYang-Baxter写像およびエンティニング写像の明示的構成といった未解決問題を同定している。