[論文レビュー] Lax pairs for additive difference Painlevé equations

Hidehito Nagao|arXiv (Cornell University)|Apr 9, 2016

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

ひとこと要約

本稿では、加法的差分Painlevé方程式 $E_7^{(1)}$ の明示的スカラーLax対をPadé補間法を用いて構成する。Lax対の整合性は係数の特徴付けを用いて証明され、$E_6^{(1)}$、$D_4^{(1)}$、$A_3^{(1)}$ の低タイプ方程式のLax対は、$E_7^{(1)}$ の退化によって得られ、加法的差分Painlevé方程式のスカラーLax表現をPadé問題を通じて統一的に構築する枠組みを確立する。

ABSTRACT

A Lax pair for the additive difference Painlevé equation of type $E_7^{(1)}$ is explicitly obtained as certain linear difference equations of scalar form. The compatibility of the Lax pair is proved by using certain characterization of the coefficients in the Lax equation. Some Lax pairs for types $E_6^{(1)}$, $D_4^{(1)}$ and $A_3^{(1)}$ are also given by the degeneration.

研究の動機と目的

• 加法的差分Painlevé方程式 $E_7^{(1)}$ のスカラーLax対を明示的に構成すること。
• 線形差分方程式における係数の特徴付けを用いて、構成したLax対の整合性を証明すること。
• $E_7^{(1)}$ の場合から退化を用いて、低タイプの加法的差分Painlevé方程式（$E_6^{(1)}$、$D_4^{(1)}$、$A_3^{(1)}$）のLax対を導出すること。
• 結果とPadé補間問題との関係を確立し、Lax対を導出する体系的な手法を示すこと。

提案手法

• Lax対は、未知関数 $y(x)$、そのシフト $y(x+\theta)$、$\overline{y}(x)$、$\overline{y}(x-\theta)$ を含む、スカラー形式の2つの線形3項差分方程式 $L_2(x) = 0$ および $L_3(x) = 0$ として定式化される。
• パラメータ $f, g, a_i, b_i, \delta$ を用いて定義され、$v = a_1 + a_4 - b_3$ であり、シフト作用素 $T$ は $a_i \to a_i - \delta$ を与える。
• Lax対の整合性は、$d$-$E_7^{(1)}$ 方程式 (1.3) と (1.4) が一貫性のための十分条件であることを示すことで確立され、$(f,g)$-座標法とは異なる係数特徴付けを用いる。
• $E_6^{(1)}$、$D_4^{(1)}$、$A_3^{(1)}$ のLax対は、パラメータの極限（例：$a_2 \to -1/\varepsilon$ および $t \to \varepsilon t$、$\varepsilon \to 0$）による $E_7^{(1)}$ システムの退化から得られる。
• この手法は、$x_s = s\delta$ における加法的グリッド上のPadé補間問題に根ざしており、各方程式タイプごとにPochhammer記号を用いて定義される補間列 $Y_s$ が導入される。
• 結果は先行研究に依存せず、同一の補間設定から、進化方程式、Lax対、および特別解を同時に得るPadéに基づく手法を用いて導出される。

実験結果

リサーチクエスチョン

• RQ1 加法的差分Painlevé方程式 $E_7^{(1)}$ のスカラーLax対をどのように明示的に構成できるか？
• RQ2 導出されたLax対方程式の整合性を保証する係数の特徴付けは何か？
• RQ3 $E_6^{(1)}$、$D_4^{(1)}$、$A_3^{(1)}$ のLax対は、$E_7^{(1)}$ システムの退化によってどのように導かれるか？
• RQ4 Padé補間問題はLax対およびPainlevé方程式を導出する上で果たす役割は何か？
• RQ5 提案手法は、$(f,g)$-座標特徴付けや行列Lax対を用いる先行手法とどのように異なり、関係するか？

主な発見

• スカラーLax対は、$d$-$E_7^{(1)}$ 方程式に対して、2つの線形3項差分方程式として明示的に構成される：$L_2(x) = (x-f)\overline{y}(x) - (x-g-v)y(x+\delta) + (x-g)y(x) = 0$ および $L_3(x) = w(x - \overline{f} - \delta)\cdots$（論文における完全な形）。
• Lax対の整合性は、$d$-$E_7^{(1)}$ 方程式 (1.3) と (1.4) が一貫性のための十分条件であることを示すことで証明され、$(f,g)$-座標法とは異なる係数特徴付けを用いる。
• $d$-$E_6^{(1)}$、$d$-$D_4^{(1)}$、$d$-$A_3^{(1)}$ のLax対は、$E_7^{(1)}$ システムの退化により導出され、各ケースについて明示的な方程式が提示される。
• 結果は、加法的グリッド上でのPadé補間問題に起因することが示され、補間列 $Y_s$ はPochhammer記号 $\prod_{i=1}^3 \frac{(b_i/\delta)_s}{(a_i/\delta)_s}$（$E_7^{(1)}$ の場合）および低タイプに対応する類似形で定義される。
• この手法は、Lax対と進化方程式に加え、Padé多項式 $P_m(x)$ と $Q_n(x)$ から得られる特別解まで同時に得る。これにより、補間問題から可積分系を統一的に導出する枠組みが示される。
• $d$-$A_3^{(1)}$ の導出されたLax対は、$y(x)$ の適切なゲージ変換を施すと [7] に提示されたスカラーLax方程式と等価であり、先行研究との一貫性が確認される。