[論文レビュー] On a nonlinear integrable difference equation on the square 3D-inconsistent

D. Levi, R. I. Yamilov|ArXiv.org|Feb 12, 2009

Nonlinear Waves and Solitons参考文献 15被引用数 5

ひとこと要約

本稿では、修正ボルテラ方程式とボルテラ微分差分方程式間のミウラ変換から導かれる、正方形格子上の非線形可積分偏差分方程式を提案する。3次元整合性を満たさず、$i \leftrightarrow j$ 交換に対して対称性を欠くため、ABS分類に含まれないが、構築されたラクス対により可積分性が証明され、3次元整合性を持つ系に埋め込めることが示され、離散可積分方程式と連続的階層の間の新たな関係が明らかになった。

ABSTRACT

We present a nonlinear partial difference equation defined on a square which is obtained by combining the Miura transformations between the Volterra and the modified Volterra differential-difference equations. This equation is not symmetric with respect to the exchange of the two discrete variables and does not satisfy the 3D-consistency condition necessary to belong to the Adler-Bobenko-Suris classification. Its integrability is proved by constructing its Lax pair.

研究の動機と目的

• 修正ボルテラ方程式とボルテラ方程式間のミウラ変換を用いて、正方形格子上に新たな非線形可積分偏差分方程式を構成すること。
• 3次元整合性の欠如および $i$-$j$ 対称性の欠如により、ABS分類に含まれないにもかかわらず、その可積分性を示すこと。
• スペクトル法的手法を用いて、方程式の可積分性を裏付けるラクス対を確立すること。
• 本離散方程式と既知の可積分階層（特に離散ボルテラ–カック–ヴァン・モアルベーケ方程式）との関係を明らかにすること。
• 方程式が3次元整合性を持つ系に埋め込めることが示され、標準的なABS制約を超えた可積分性フレームワークが拡張されることを示すこと。

提案手法

• 修正ボルテラ方程式とボルテラ方程式の解間のミウラ変換を合成することで、差分方程式 (5) を導出する：$(u_{i+1,j}+1)(u_{i,j}-1) = (u_{i+1,j+1}-1)(u_{i,j+1}+1)$。
• 修正ボルテラ方程式とボルテラ方程式のスペクトル問題を関連付けるダーブォー行列 $E^{(+)}_i$ と $E^{(-)}_i$ を用いて、方程式のラクス対を構築する。
• スペクトルパラメータ $\lambda$ と場の変数 $w_{i,j} = \frac{u_{i,j}+1}{u_{i,j+1}-1}$ を用いて定義される $L_{i,j}$ と $N_{i,j}$ を用いて、ラクス方程式 $N_{i+1,j}L_{i,j} = L_{i,j+1}N_{i,j}$ を導出する。
• 記号計算を用いて、立方体上の写像の三重合成が閉じないことを確認し、方程式の3次元整合性の欠如を検証する。
• 標準的なABS制約を超えてラクス対フレームワークを拡張することで、方程式が3次元整合性を持つ系に埋め込めることが示される。
• 離散方程式の変換により、離散ボルテラ–カック–ヴァン・モアルベーケ方程式との関係を確立する。

実験結果

リサーチクエスチョン

• RQ1 ミウラ変換によって導かれる修正ボルテラ方程式とボルテラ方程式の間の非線形可積分差分方程式は、3次元整合性を欠いても構築可能か？
• RQ2 導かれた方程式が3次元整合性を満たさない理由は何か？これは離散可積分系の分類にどのような意味を持つのか？
• RQ3 標準的な3次元整合性条件を満たさない系の可積分性は、どのようにして確立できるのか？
• RQ4 方程式が $i \leftrightarrow j$ 交換に対して対称でない場合、ラクス対は可積分性を確認するために果たす役割は何か？
• RQ5 このような3次元整合性の欠如する可積分方程式は、より大きな3次元整合性を持つ系に埋め込めるか？これにより、それらの構造的関係にどのような意味が生じるのか？

主な発見

• 方程式 $(u_{i+1,j}+1)(u_{i,j}-1) = (u_{i+1,j+1}-1)(u_{i,j+1}+1)$ は、修正ボルテラ方程式とボルテラ方程式間のバッケンドル変換の離散版として導出された。
• 方程式は $i$ と $j$ の交換に対して不変ではなく、記号計算により明示的に3次元整合性の欠如が示された。
• 3次元整合性に欠けるにもかかわらず、ラクス対を有し、スペクトル法的手法により可積分性が確認された。
• ラクス対は、修正ボルテラ方程式とボルテラ方程式のスペクトル問題を関連付けるダーブォー行列 $E^{(+)}_i$ と $E^{(-)}_i$ を用いて構築された。
• 標準的なABS制約を超えてラクス対フレームワークを拡張することで、方程式が3次元整合性を持つ系に埋め込めることが示された。
• 関連する方程式 $(1+u_{i,j}u_{i+1,j})(\mu u_{i+1,j+1}+\mu^{-1}u_{i,j+1}) = (1+u_{i,j+1}u_{i+1,j+1})(\mu u_{i,j}+\mu^{-1}u_{i+1,j})$ は、$\mu^4 = 1$ でない限り3次元整合性を満たさないが、この場合、退化する。