[論文レビュー] Poisson Pencils, Integrability, and Separation of Variables

Gregorio Falqui|ArXiv.org|Oct 21, 2003

Nonlinear Waves and Solitons参考文献 31被引用数 6

ひとこと要約

本稿は、ポissonペアリングとバイハミルトニアン構造を用いて、分離変数法によるハミルトニアン・ジャコビ方程式の解法のための幾何的枠組みを提案する。Darboux-Nijenhuis座標における、内在的でテンソル的な分離可能性の条件を確立し、一般化された4粒子Toda格子系に対して可積分性を証明するとともに、追加の運動積分を構成する。

ABSTRACT

In this paper we will review a recently introduced method for solving the Hamilton-Jacobi equations by the method of Separation of Variables. This method is based on the notion of pencil of Poisson brackets and on the bihamiltonian approach to integrable systems. We will discuss how separability conditions can be intrinsically characterized within such a geometrical set-up, the definition of the separation coordinates being encompassed in the \bih structure itself. We finally discuss these constructions studying in details a particular example, based on a generalization of the classical Toda Lattice.

研究の動機と目的

• バイハミルトニアン構造を用いたハミルトニアン系における分離可能性の内在的で幾何的な特徴付けを提供すること。
• 分離変数を幾何的枠組みに埋め込むことで、古典的および現代的分離変数法のアプローチを統一すること。
• 事前に座標を知らなくても、分離関係の構築と可積分性の検証が可能な手法を開発すること。
• Nijenhuisテンソルの固有値性質を用いて、低次元系における追加の運動積分の存在を証明すること。
• 一般化された4粒子Toda格子に対してその手法を適用し、完全可積分性を示し、高次積分の明示的構成を行うこと。

提案手法

• 相性のとれたポアソン括弧のペアを用いて、シンプレクティック多様体上にバイハミルトニアン構造を定義する。
• バイハミルトニアン構造から内在的に導かれるDarboux-Nijenhuis（DN）座標を用いて、位相空間をパラメトライズする。
• 分離可能性の条件を、Nijenhuisテンソルとポアソン構造を含むテンソル方程式として導出し、各分離関係が1組の正準変数にのみ依存することを保証する。
• 一般化されたToda格子にその手法を適用するには、バイハミルトニアン構造を部分多様体に制限し、縮約系を得る。
• 行列 $\mathcal{G}_0$ のスペクトル解析を用いて、固有値 $\lambda_4$ と $\mu_4$ を特定し、これらを追加の運動積分として用いる。
• 導出された分離関係を用いて、四則演算による積分（ quadratures ）によりハミルトニアン・ジャコビ方程式の分離解を構成する。

実験結果

リサーチクエスチョン

• RQ1 ハミルトニアン系の分離可能性は、バイハミルトニアン枠組み内での内在的幾何的条件によって特徴付けられるか？
• RQ2 分離変数は、その背後にあるバイハミルトニアン構造から体系的に導出可能か？
• RQ3 Nijenhuisテンソルの固有値性質は、追加の運動積分の同定にどのような役割を果たすか？
• RQ4 この手法は、オープンToda $^4_3$ 格子のような低次元系の積分を構築するために適用可能か？
• RQ5 バイハミルトニアン的アプローチは、古典的分離変数法と現代のLax表現理論をどのように統一するか？

主な発見

• 一般化されたToda $^4_3$ 系は、バイハミルトニアン構造から導かれる3つの主要なハミルトニアン $h_1, h_2, h_3$ を有し、これらは関数的に独立で、ポisson括弧に関して可換である。
• 系は部分多様体 $M_0$ 上で完全可積分であり、行列 $\mathcal{G}^0_{22}$ の行列式の根 $\lambda_4$ によって与えられる第4の運動積分が存在する。この $\lambda_4$ は $Q_0 d\lambda_4 = \lambda_4 P_0 d\lambda_4$ を満たす。
• 第5の独立な運動積分 $\mu_4$ が明示的に構成され、$\lambda_4$ および $h_i$ とは関数的に独立であることが確認され、高次元可積分性が裏付けられる。
• $\mathcal{G}_0$ は、3次因子 $\mathcal{G}^0_{11}$ と1次因子 $\mathcal{G}^0_{22}$ を持つブロック下三角形の形をしており、その根はそれぞれ $\lambda_4$ と $\mu_4$ を与える。
• 本手法は、分離変数の事前知識がなくても、バイハミルトニアン幾何学に内在的に埋め込まれた形で可積分性を証明し、四則演算による積分で分離解を構成する。
• 分離関係 $\Phi_i(q_i, p_i; H_1, \dots, H_n) = 0$ はバイハミルトニアン構造から導出され、ハミルトニアン・ジャコビ方程式の完全で分離可能な解の構成が可能になる。