[論文レビュー] 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

ひとこと要約

この論文は、アドラー＝ボーケン＝シュリス（ABS）格子方程式の分解を再検討し、その代数的構造からバクランド変換（BTs）と一貫性のある三重項を導出する。BTsが新たな解、格子方程式、弱いラクス対を生成することを示しており、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格子方程式のリストにおける分解式を体系的に再検討し、再導出すること。
• これらの分解からバクランド変換（BTs）と一貫性のある三重項を構成すること。
• 導出されたBTsを用いて、新たな解、格子方程式、弱いラクス対を生成すること。
• 一貫性のある三重項と変換構造を通じて、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を生成する。
• 変換 ū = g/f を用いたBTの線形化により、弱いラクス対を構成する。
• xに関する多項式解を仮定する手法を用い、N=1,2 に対して明示的なBT解を導出する。
• 多項式展開における係数一致を分析し、パラメータを制約し、許容される解の次数（N=1,2に限る）を導出する。

実験結果

リサーチクエスチョン

• RQ1 ABS格子方程式の分解を体系的に再検討することで、その背後にある可積分性構造をどのように明らかにできるか？
• RQ2 分解から生じるバクランド変換は何か？ そして、それらが新たな解や方程式をどのように生成するか？
• RQ3 一般化された分解枠組みからどのABS方程式を回復できるか？ また、パラメータ関数は果たす役割は何か？
• RQ4 一貫性のある三重項と弱いラクス対は、BT構造からどのように出現するか？
• RQ5 BTの仮定における多項式解の次数に課される制約は何か？ なぜN=1とN=2のみが許容されるのか？

主な発見

• 分解枠組みは、パラメータの選択により、H1、H2、H3(δ)、A1(δ)、A2、Q1(δ)、Q2、Q3(δ)、Q4をすべて再現できることを示した。
• 一貫性立方体の側面方程式から導かれたバクランド変換は、新たな解や格子方程式を生成し、線形化によって弱いラクス対をも生成する。
• BTの仮定における多項式解は、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) を与える。