[論文レビュー] Reductions and real forms of Hamiltonian systems related to N-wave type equations

Vladimir S. Gerdjikov, Georgi G. Grahovski|ArXiv.org|Sep 16, 2000

Numerical methods for differential equations参考文献 2被引用数 4

ひとこと要約

本稿では、単純リー代数のワイル群の部分群として実現される還元群 $G_R$ を用いて、$N$-wave型方程式に関連するハミルトニアン系の還元および実形式を研究する。$ \mathbb{Z}_2$-還元が可換シンプレクティック形式および $r$-行列を保存することを確立し、実形式のハミルトニアン構造を可能にする。$ $ \mathfrak{sp}(4)$ および物理的 $4$-wave系に対する明示的結果が得られる。

ABSTRACT

Reductions of N-wave type equations related to simple Lie algebras and the hierarchy of their Hamiltonian structures are studied. The reduction group G_R is realized as a subgroup of the Weyl group of the corresponding algebra. Some of the reduced equations are of physical interest.

研究の動機と目的

• 逆散乱法（ISM）で解けるとされる $N$-wave型方程式の還元を、還元群 $G_R$ を用いて分類すること。
• 還元が単純リー代数 $\mathfrak{g}$ の実形式をどのように誘導するかを、特に可換カルタン自己同型を用いて分析すること。
• 特に、標準的シンプレクティック形式 $\Omega^{(0)}$ および $r$-行列が還元によってどのように保存されるかを調査すること。
• 還元群および複素 $\lambda$-依存性を有するラクス作用素のより一般的な還元群への枠組みの拡張。
• 明示的例（$\mathfrak{sp}(4)$ を含む）を提示し、それらを物理的 $4$-wave 系と関連付けること。

提案手法

• 還元群 $G_R$ を、リー代数 $\mathfrak{g}$ のワイル群 $W(\mathfrak{g})$ の部分群として実現し、ラクス対 $L(\lambda)$ および $M(\lambda)$ に自己同型として作用させる。
• $\Gamma_k(\lambda) = \eta_k \lambda^*$ および $C_k = \sigma \theta_k$ を用いた $\mathbb{Z}_2$-還元を定義し、$C_k(L(\Gamma_k(\lambda))) = L(\lambda)$ および $C_k(M(\Gamma_k(\lambda))) = M(\lambda)$ を満たす。
• カルタン自己同型 $\sigma$ を用いて $\mathfrak{g}$ の実形式を構成し、コンパクト／非コンパクト根に対して $\sigma(E_\alpha) = \pm E_\alpha$ となるようにする。
• 古典的 $r$-行列法を適用し、散乱行列 $T(\lambda)$ のポアソン括弧を導出する。その結果、$\{T(\lambda) \otimes T(\mu)\} = r_+(\lambda - \mu)T(\lambda) \otimes T(\mu) - T(\lambda) \otimes T(\mu)r_-(\lambda - \mu)$ が得られる。
• 還元制約がラクス表現と整合するように、$G_R \subset \mathrm{Aut}\, \mathfrak{g}$ および $G_R \subset \mathrm{Conf}\, \mathbb{C}$ を要求する。
• ゼロ境界条件の下で $r$-行列ポアソン括弧を統合し、標準的シンプレクティック形式 $\Omega^{(0)}$ およびハミルトニアン $H^{(k)}$ を導出する。

実験結果

リサーチクエスチョン

• RQ1 還元群 $G_R$ は、$N$-wave系の非同値な還元を分類するために、どのようにワイル群 $W(\mathfrak{g})$ に埋め込まれるか？
• RQ2 どの還元が標準的シンプレクティック形式 $\Omega^{(0)}$ および古典的 $r$-行列構造を保存するか？
• RQ3 $\Gamma(\lambda) = \lambda^*$ および $C_k(X) = A_k \theta_k(X) A_k^{-1}$ を用いた $\mathbb{Z}_2$-還元は、$\mathfrak{g}$ の実形式をどのように導くか？
• RQ4 シンプレクティック形式 $\Omega^{(0)}$ が退化する条件は何か？また、高次のハミルトニアン構造 $\Omega^{(2k+1)}$ はどのようにして非退化を保つのか？
• RQ5 $\mathfrak{sp}(4)$ の還元から生じる物理的 $N$-wave 系は何か？また、それらは既知のモデル（例：$4$-wave 帯動）とどのように関係するか？

主な発見

• 還元群 $G_R$ はワイル群 $W(\mathfrak{g})$ の部分群として実現され、$N$-wave 系の非同値な還元の分類が可能になる。
• $\Gamma(\lambda) = \eta_k \lambda^*$ および $C_k = \sigma \theta_k$ を用いた $\mathbb{Z}_2$-還元において、$C(J) \neq -J$ かつ $\Gamma(\lambda) \neq -\lambda$ のとき、標準的シンプレクティック形式 $\Omega^{(0)}$ および $r$-行列が保存される。
• $C(J) = -J$ かつ $\Gamma(\lambda) = -\lambda$ のとき $\Omega^{(0)}$ は退化するが、非退化なハミルトニアン構造 $\Omega^{(2k+1)}$ は依然として存在する。
• $\eta_1 = 1$, $s_1 = s_2 = 1$ のとき、$\mathfrak{sp}(4)$ から導かれる $4$-wave 系は、コンパクト実形式 $sp(4,0)$ に対応し、既知の $4$-wave 帯動モデルと一致する。
• $\eta_1 = -1$, $s_1 = s_2 = 1$ のとき、系はポンプ波、ストークス波、アンチストークス波、偏光波を含む物理的 $4$-wave モデルに還元され、[7] と整合的である。
• $\mathfrak{sp}(4)$ 系の相互作用ハミルトニアンは $H_{\rm int} = 4\kappa \int \left( s_1 s_2 (q_{11} q_1^* q_{10}^* + \eta_1 q_{11}^* q_1 q_{10}) - s_1^2 (q_{21} q_{11}^* q_{10}^* + \eta_1 q_{21}^* q_{11} q_{10}) \right) dx$ であり、$\kappa = a_1 b_2 - a_2 b_1$ である。