[論文レビュー] A Bi-Hamiltonian Theory for Stationary KdV Flows and their Separability

Gregorio Falqui, Franco Magri+2 more|arXiv (Cornell University)|Mar 9, 2000

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

ひとこと要約

本稿では、無限次元のLax系から導かれる静的KdV流れのための新しい双ハミルトニアン枠組みを提示し、変数の分離を明示的に構成されたポissonペアを用いて確立する。主な貢献は、双ハミルトニアン構造を通じて分離変数を同定することであり、ハミルトニアンとスペクトル曲線の明示的公式がこれらの変数で表される。

ABSTRACT

We present a fairly new and comprehensive approach to the study of stationary flows of the Korteweg-de Vries hierarchy. They are obtained by means of a double restriction process from a dynamical system in an infinite number of variables. This process naturally provides us with a Lax representation of the flows, which is used to find their bi-Hamiltonian formulation. Then we prove the separability of these flows making use of their bi-Hamiltonian structure, and we show that the variables of separation are supplied by the Poisson pair.

研究の動機と目的

• 代数幾何的構成に依存しない、静的KdV流れに対する体系的な双ハミルトニアンアプローチの開発。
• 無限次元KdV階層からの二重制約プロセスを通じて、静的KdV流れのLax表現を導出すること。
• それ自身の双ハミルトニアン構造を用いて、これらの流れの分離性を証明すること。
• ポアソンペアの関数として明示的に分離変数を同定すること。
• 他のゲルファンド＝ディキ階層へのこの手法の一般化と、代数幾何的分離法との比較。

提案手法

• 無限次元KdV階層からの二重制約により静的KdV流れを導出し、$\mathcal{M}_5$ 上の5次元多様体上の有限次元力学系を獲得する。
• 保存量の同定を可能にするために、縮小系に対してLax行列表現 $\mathsf{V}^{(5)}$ を構成する。
• 位相空間 $\mathcal{M}_5$ 上にポアソンペア $P_\lambda = P_0 + \lambda P_1$ を定義し、$P_0$ と $P_1$ が互いに適合するポアソン構造であることを確認する。
• Lax行列の平方のトレースとして、$H(\lambda) = H_0 + H_1\lambda + H_2\lambda^2$ を計算し、スペクトル曲線を導出する。
• Nijenhuisテンソルとその最小多項式を用いて、$\lambda^2 - h_1\lambda + h_1^2 - h_3$ の根として分離座標 $\lambda_1, \lambda_2$ を定義する。
• ベクトル場 $Y = \partial / \partial h_4$ をCasimirに作用させることで、分離変数 $\mu_1, \mu_2$ を構成し、$\mu_i = h_2\lambda_i + h_4 - h_1 h_2$ を得る。

実験結果

リサーチクエスチョン

• RQ1 代数幾何的道具を事前に用いずに、静的KdV流れのための体系的な双ハミルトニアン枠組みを構築可能か？
• RQ2 双ハミルトニアンアプローチで得られる分離変数は、古典的な代数幾何的手法で得られるものとどのように関係するか？
• RQ3 ポアソンペアは、有限次元KdV還元のための分離変数を生成する上で、どのようにして果たす役割を果たすか？
• RQ4 KdV階層の双ハミルトニアン構造を体系的に還元することで、分離可能な静的流れが得られるか？
• RQ5 スペクトル曲線とハミルトニアンは、双ハミルトニアン分離手続きの下でどのように変換されるか？

主な発見

• 静的KdV流れ $\mathrm{KdV}_5$ は、$\mathcal{M}_5$ 上の5次元ハミルトニアン系として実現され、Lax表現から運動方程式が導出される。
• $\mathcal{M}_5$ 上のポアソンペア $P_\lambda$ は明示的に構成され、$P_0$ と $P_1$ は適合し、そのカシミール $H(\lambda)$ は $H_0 + H_1\lambda + H_2\lambda^2$ として計算される。
• $P_0$ のシンプレクティック葉は $H_2 = c$ の等値集合であり、各葉 $\mathcal{S}_c$ 上では、最後の行と列を削除することで、還元されたポアソンペアが得られる。
• 分離変数 $\lambda_1, \lambda_2$ は、Nijenhuisテンソルの最小多項式 $\lambda^2 - h_1\lambda + h_1^2 - h_3$ の根として定義される。
• 変数 $\mu_1, \mu_2$ は $\mu_i = h_2\lambda_i + h_4 - h_1 h_2$ として定義され、スペクトル曲線の関係 $-c\lambda_i^2 + \mu_i^2 - \lambda_i^5 = 0$ を満たす。
• $\mathcal{S}_c$ 上に制限されたハミルトニアン $\widehat{H}_0$ と $\widehat{H}_1$ が、変数 $(\lambda_1, \mu_1), (\lambda_2, \mu_2)$ で分離することが示され、系の分離性が確認される。