[論文レビュー] Higher order Painlevé equations of type $A^{(1)}_l$

Masatoshi Noumi, Yasuhiko Yamada|ArXiv.org|Aug 3, 1998

Nonlinear Waves and Solitons被引用数 95

ひとこと要約

本稿は、型 $A^{(1)}_l$ のアフィン・ウェイル群の対称性をもつ高階非線形微分方程式の族を導入し、Painlevé 方程式 $P_{\text{IV}}$ および $P_{\text{V}}$ を一般化する。正準座標を用いてハミルトニアン構造を確立し、Bäcklund 変換の下で乗法的に変換する $\tau$-関数を構成することで、離散的動的系の枠組みと整合性があることを示す。

ABSTRACT

A series of systems of nonlinear equations with affine Weyl group symmetry of type $A^{(1)}_l$ is studied. This series gives a generalization of Painlevé equations $P_{IV}$ and $P_{V}$ to higher orders.

研究の動機と目的

• 型 $A^{(1)}_l$ の対称性をもつ $P_{\text{IV}}$ および $P_{\text{V}}$ の高階系への一般化を図ること。
• 正準座標を用いて提案された非線形微分系のハミルトニアン形式を確立すること。
• $\tau$-関数を定義・解析し、Bäcklund 変換および離散的動的系の枠組みと整合することを示すこと。
• 導関数 $d/dt$ と可換な拡張アフィン・ウェイリ群 $\widetilde{W}$ の表現が、この系に存在することを示すこと。

提案手法

• パラメータ $\alpha_0, \ldots, \alpha_l$ をもつ関数 $f_0, \ldots, f_l$ に対する $l+1$ 個の非線形常微分方程式系を提示し、$l$ が偶数か奇数かによって定義を異なる形に設定する。
• 変換 $s_i$ および $\pi$ を $f_j$ および $\alpha_j$ に作用させ、型 $A^{(1)}_l$ の拡張アフィン・ウェイリ群 $\widetilde{W}$ の表現を構成する。
• 体 $\mathbb{C}(\alpha; f)$ 上にポisson構造を定義し、正準座標を構成することで、多項式ハミルトニアンをもつハミルトニアン系としての記述を得る。
• Demazure 演算子 $\Delta_i$ を用いて Bäcklund 変換の作用を計算し、導関数 $d/dt$ と可換であることを検証する。
• $l=2,3,4,5$ の小さな $l$ に対して $f_0'$, $h_0$, $H$ の明示的公式を導出し、構造と対称性を説明する。
• $f_j$ 変数が $\tau$-関数およびその Bäcklund 変換像の有理関数として乗法的に表現されることを示し、離散系と整合していることを確認する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして $P_{\text{IV}}$ および $P_{\text{V}}$ の Painlevé 方程式を $l \geq 2$ に対して型 $A^{(1)}_l$ の対称性をもつ高階系に一般化できるか？
• RQ2 これらの高階系のハミルトニアン構造は何か？多項式ハミルトニアンを用いて記述可能か？
• RQ3 Bäcklund 変換はこの系にどのように作用するか？また、時間微分 $d/dt$ と可換か？
• RQ4 $\tau$-関数はダイナミクスをどのように符号化するか？また、Bäcklund 対称性の下でどのように変換されるか？
• RQ5 これらの系は、先行研究で定義された型 $A^{(1)}_l$ の離散的動的系の枠組みと整合的か？

主な発見

• $l=2$ の場合、系は Painlevé 方程式 $P_{\text{IV}}$ と同値であり、$l=3$ の場合 $P_{\text{V}}$ と同値であるため、一般化が正当化される。
• 拡張アフィン・ウェイリ群 $\widetilde{W} = \langle s_0, \ldots, s_l, \pi \rangle$ が $d/dt$ と可換な Bäcklund 変換として作用し、系の対称性群をなす。
• 正準座標を用いたハミルトニアン形式を構成し、$l=2,3,4,5$ に対して明示的に計算された多項式ハミルトニアン $h_0$ を得た。
• $f_j$ 変数は $\tau$-関数およびその Bäcklund 変換像の有理関数として表現され、乗法的構造を示している。
• $\tau$-関数は離散的動的系で知られている変換則を満たし、連続的階層におけるその役割が裏付けられる。
• $l=2,3,4,5$ に対して $f_0'$, $h_0$, $H$ の明示的公式が導出され、系の構造とパラメータ依存性が明らかになった。