[論文レビュー] Systems of difference equations on a vector valued function that admit 3D space of scalar potentials

Pavlos Kassotakis, Maciej Nieszporski|arXiv (Cornell University)|Aug 5, 2019

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

ひとこと要約

本稿は、スカラー潜在関数の3次元空間を有する、ベクトル値関数上の差分方程式の可積分系を調査し、特定の対合写像に対して変数分離型の不変量を導出し、それらを用いて潜在関数と関連付ける。著者らは、エッジ上の結合系を頂点に基づくモデルに再定式化し、格子ポテンシャルKdV方程式を回復するとともに、潜在構造を用いて解ける非一価な差分関係を新たに発見する。

ABSTRACT

For some involutive maps $Φ:{\mathbb C}P^1 imes {\mathbb C}P^1 o {\mathbb C}P^1 imes {\mathbb C}P^1$ we find all invariants with separated variables. We investigate a link of the maps and their invariants with separated variables to discrete integrable systems. Maps correspond to integrable systems on edges (bond systems), while their invariants with separated variables yields potentials of the bond systems, that allows us to rewrite the integrable sytems as models on vertices. Among the latter ones one can find well known integrable difference equations as well as difference relations, which in contrast to the equations give non-single-valued evolution of the dependent variable. However, the non-single-valuedness can be resolved by the link with the bond system.

研究の動機と目的

• 複素射影直線の直積 $\mathbb{C}P^1 \times \mathbb{C}P^1$ 上の対合写像のクラスに対して、変数分離型のすべての不変量を特定すること。
• このような不変量とスカラー潜在関数との間の体系的関係を確立し、エッジ上の結合系（bond systems）を頂点に基づく系に変換すること。
• 得られた頂点方程式および関係、特に潜在構造を用いて解ける非一価な進化を分類・分析すること。
• 非自己同型のBäcklund変換が、ABSリストに属する異なる可積分方程式の解をどのように結びつけるかを調査すること。
• 考察対象の写像に対して、変数分離型の3次元アフィン空間の完全な特徴付けを提供すること。

提案手法

• 代数的および多項式的手法を用いて、$U = v + \frac{p-q}{u-v}$, $V = u + \frac{p-q}{u-v}$ の形の対合写像に対して、変数分離型のすべての交代的不変量を導出し、分類すること。
• 不変量 $I(U,V) = -I(u,v)$ を満たすスカラー潜在関数 $\psi_{m,n}$ を構成し、エッジベースの系を頂点ベースのモデルに変換可能にする。
• 元の結合系を格子ポテンシャルKdV方程式として再表現する：$(\psi_{m+1,n+1} - \psi_{m,n})(\psi_{m+1,n} - \psi_{m,n+1}) = p_{m_1} - q_{n_2}$。
• 異なるパラメータ選択から生じる多項式的（例：$A2$, $H3^{\pm1}$）および高次多項式的関係（例：$H2^*$, $G2$, $F1$）を含む、得られた頂点方程式を体系的に分析すること。
• 有理関数 $y_i = \frac{s^i(x,x_i)y + u^i(x,x_i)}{t^i(x,x_i)y + v^i(x,x_i)}$ の形をとる非自己同型Bäcklund変換を構築し、ある方程式（例：$A2$）の解を別のものに写像すること。
• 一様な立方体周りの性質と多二次・多四次関係を用いて、可積分性および家族全体にわたる構造的一致性を検証すること。

実験結果

リサーチクエスチョン

• RQ1 与えられた対合写像のクラスに対して、変数分離型の交代的不変量の完全な集合は何か？
• RQ2 変数分離型の不変量は、エッジベースの差分系を頂点ベースのモデルに再定式化するスカラー潜在関数をどのように構成できるか？
• RQ3 不変量族における異なるパラメータ選択から、どのような種類の頂点方程式および非一価な差分関係が生じるか？
• RQ4 非自己同型Bäcklund変換は、ABSリストに属する異なる可積分方程式の解をどのように結びつけるか？
• RQ5 非一価な進化を解消するためのスカラー潜在関数の3次元空間が果たす役割は何か？

主な発見

• 写像 $\Phi$ に対する変数分離型の交代的不変量は、定数 $a$, $b$, $c$, $d$ を用いた $I(u,v) = a(u-v) + b(u^2 + p - v^2 - q) + c(u^3 + 3pu - v^3 - 3qv) + d$ の形で完全にパラメータ化され、3次元アフィン空間を形成する。
• 不変量が $a=1$, $b=c=d=0$ に対応するとき、格子ポテンシャルKdV方程式が頂点モデルとして現れ、$u_{m_1,n_1+1} + u_{m_1,n_1} = v_{m_2+1,n_2} + v_{m_2,n_2}$ および $\psi$-ベースの進化が得られる。
• 特定のパラメータ選択（例：$b=1$, $a=c=d=0$）から非一価な差分関係が生じるが、それらの非一意性は下位の結合系と潜在構造によって解消される。
• 系 $I_I$ は3つの $A2$ 方程式で張られ、これらは3つのバージョンの多二次的 $A2^*$ 関係に分解され、深い代数的構造を示す。
• 系 $I_{II}$ と $I_{III}$ は、中性子・陽子系に類似したクォーク的構造を示し、$H3^{\pm1}$ と $H3^0$ 関係がその核を形成する。
• $I_{IV}$ および $I_V$ の下位モデルには、多二次的 $H2^*$、多四次的 $G2$、9次多項式的 $F1$ などの非線形関係が現れ、潜在空間の豊かさを示している。