[論文レビュー] Bi-Hamiltonian aspects of the separability of the Neumann system

Marco Pedroni|ArXiv.org|Feb 11, 2002

Nonlinear Waves and Solitons参考文献 16被引用数 4

ひとこと要約

本稿では、2次元球面上のネウマン系に対して、分離座標および運動積分を体系的に導出するための双ハミルトニアン的手法を提示する。ねじれのないテンソル場 $ L $ 及びその完全上昇 $ N $ を用いることで、球面放物座標が自然な分離変数として特定され、再帰的関係式を用いて運動積分が構成される。最終的に、元の系が $ T^*S^2 $ 上で双ハミルトニアンではなかったが、拡張された5次元位相空間において双ハミルトニアン構造が実現される。主な貢献は、双ハミルトニアン幾何学に基づく、座標に依存しない幾何的分離変数法である。

ABSTRACT

The Neumann system on the 2-dimensional sphere is used as a tool to convey some ideas on the bi-Hamiltonian point of view on separation of variables. It is shown that, from this standpoint, its separation coordinates and its integrals of motion can be found in a systematic way.

研究の動機と目的

• 可積分系における分離座標を特定する体系的で幾何的な手法を、双ハミルトニアン構造を用いて開発すること。
• ネウマン系の球面放物座標が、関数的に独立な固有値を持つねじれのないテンソル場 $ L $ から自然に生じることを示すこと。
• 双ハミルトニアン枠組みから導かれる再帰的関係式を用いて、系の運動積分を構成すること。
• 位相空間を $ T^*S^2 \times \mathbb{R} $ に拡張し、元の系が双ハミルトニアンではなかったが、拡張空間では完全な双ハミルトニアン構造が実現されることを示すこと。
• 分離変数問題を、双ラグランジュ的 foliation と適合するポアソン構造の幾何学と統一すること。

提案手法

• 配置空間 $ \mathcal{Q} $ 上のタイプ-(1,1)テンソル場 $ L $ を用いて座標系を幾何化し、$ L $ がニエンイズねじれをもたない場合、その固有値が分離座標を定義する。
• テンソル場 $ L $ を余接 bundle $ T^*\mathcal{Q} $ 上に完全上昇 $ N $ として持ち上げ、ねじれのなさを保ち、適合するポアソン構造を誘導する。
• 2形式 $ \omega_H = d(N^*dH) $ を定義し、$ d(N^*dH) = dp_1 \wedge dH $ という条件を課すことにより、ハミルトン・ジャコビ方程式の分離を保証する。
• 再帰的関係式 $ dH_k = N^*dH_{k-1} - p_{k-1}dH $ を用いて運動積分を再帰的に構成し、$ H_1 = H $ を出発点とし、$ H_n $ が $ N^*dH_n = p_n dH $ を満たすようにする。
• 位相空間を $ \mathcal{M} = T^*\mathcal{Q} \times \mathbb{R} $ に拡張し、新たな座標 $ c $ を導入し、拡張されたポアソン括弧を定義することで、レナード鎖と真の双ハミルトニアン構造を実現する。
• 拡張構造を用いて、ネウマンベクトル場が $ \{\hat{H}_1, \cdot\}_{\mathcal{M}} = \{\hat{H}_0, \cdot\}'_{\mathcal{M}} $ として再生されることを示し、$ \hat{H}_0 = c $、$ \hat{H}_1 = H - c p_1 $ である。

実験結果

リサーチクエスチョン

• RQ1 ネウマン系の分離座標を、座標の事前知識なしに体系的で幾何的な方法でどのように導出できるか？
• RQ2 ニエンイズテンソルおよびねじれのないテンソル場が、分離可能な系を特定する上で果たす役割は何か？
• RQ3 ネウマン系の運動積分は、再帰的双ハミルトニアン構造から再構成可能か？
• RQ4 元のネウマン系がなぜ $ T^*S^2 $ 上で双ハミルトニアンでないのか、そして位相空間の拡張によってこの問題はどのように是正されるか？
• RQ5 拡張空間における双ハミルトニアン形式は、古典的レナード鎖および準双ハミルトニアン構造とどのように関係するか？

主な発見

• ネウマン系の球面放物座標は、ねじれのないテンソル場 $ L $ の固有値として体系的に導出され、これにより座標の幾何的起源が明確化される。
• 条件 $ d(N^*dH) = dp_1 \wedge dH $ が、$ L $ で定義される座標においてハミルトン・ジャコビ方程式の分離を保証し、リーヴィ・チヴィタの分離可能性条件を一般化する。
• 運動積分 $ H_2, \dots, H_n $ は再帰的関係式 $ dH_k = N^*dH_{k-1} - p_{k-1}dH $ を用いて構成され、$ H_2 $ に対して閉形式の表現が得られ、既知のラクス行列定数と一致する。
• 元のネウマン系は $ T^*S^2 $ 上で双ハミルトニアンではないが、拡張された5次元位相空間 $ \mathcal{M} = T^*S^2 \times \mathbb{R} $ 上ではそうなる。ここでは関数のレナード鎖が双ハミルトニアン構造を実現する。
• ネウマンベクトル場は、$ \mathcal{M} $ 上の第一のポアソン構造に関して $ \hat{H}_1 $ のハミルトニアンベクトル場として再生され、第二の構造に関して $ \hat{H}_0 $ の双対ベクトル場としても得られ、双ハミルトニアン構造の正当性が確認される。
• 本手法は $ n $ 次元ネウマン系へと拡張可能であり、双ハミルトニアン的およびラクスに基づく可積分性のアプローチを比較するための枠組みを提供する。