[論文レビュー] Haantjes Manifolds of Classical Integrable Systems

Piergiulio Tempesta, Giorgio Tondo|arXiv (Cornell University)|May 20, 2014

Hemoglobin structure and function参考文献 34被引用数 7

ひとこと要約

本稿は、古典的可積分系の幾何的基盤として、シンプレクティック＝ハントゥス多様体（$\omega\mathcal{H}$ 多様体）を導入し、適切なハントゥス構造の存在が、リウヴィル＝アルニート可積分性の必要十分条件であることを証明する。また、ハミルトニアン＝ヤコビ方程式における加法的変数分離を可能にするダーブォー＝ハントゥス座標を確立し、ガントマイヒャー系やドレーチ＝ホルト型系といった新規モデルを含め、古典的系への応用を示している。

ABSTRACT

A general theory of classical integrable systems is proposed, based on the geometry of the Haantjes tensor. We introduce the class of symplectic-Haantjes manifolds (or $\omega \mathcal{H}$ manifold), as the natural setting where the notion of integrability can be formulated. We prove that the existence of suitable Haantjes structures is a necessary and sufficient condition for a Hamiltonian system to be integrable in the Liouville-Arnold sense. We also prove theorems ensuring the existence of a large family of completely integrable systems, constructed starting from a prescribed Haantjes structure. Furthermore, we propose a novel approach to the theory of separation of variables, intimately related to the geometry of Haantjes manifolds. A special family of coordinates, that we shall call the Darboux-Haantjes coordinates, will be introduced. They are constructed from the Haantjes structure associated with an integrable system, and allow the additive separation of variables of the Hamilton-Jacobi equation. Our analysis is performed in $n$ degrees of freedom. We prove that some of the most classical examples of multidimensional Hamiltonian systems, as for instance the Gantmacher class, possess a natural Haantjes structure. Finally, we present an application of our approach to the study of some models, as a stationary reduction of the KdV hierarchy and a Drach-Holt type system; the separability properties of the latter were not known.

研究の動機と目的

• ハントゥステンソルに基づく古典的可積分系の幾何的枠組みの構築。
• リウヴィル＝アルニート可積分性の自然な設定として、シンプレクティック＝ハントゥス多様体を確立する。
• 与えられたハントゥス構造から完全可積分系を構成するための構成的メソッドを提供する。
• ハミルトニアン＝ヤコビ方程式における加法的変数分離を容易にするダーブォー＝ハントゥス座標を導入する。
• 既知のおよび未分類の可積分系、特にドレーチ＝ホルト型系への理論の適用性を示す。

提案手法

• 本稿は、シンプレクティック形式と特定の適合条件を満たすハントゥステンソルを組み合わせた幾何的構造として、シンプレクティック＝ハントゥス多様体を定義する。
• ハントゥステンソルの消滅および関連する線形作用素の可換性が、リウヴィル＝アルニート可積分性の必要十分条件であることを証明する。
• ハントゥステンソルの固有値的性質を活用することでダーブォー＝ハントゥス座標を構成し、ハミルトニアン＝ヤコビ方程式が加法的に変数分離可能な座標系を実現する。
• ハントゥステンソルの固有値分解を用いて、保存量の階層と可換なベクトル場を生成する。
• ガントマイヒャークラスの古典的系に本フレームワークを適用し、それらが自然にハントゥス構造を持つことを示す。
• 本アプローチを、非伝統的系、特にKdV階層の定常還元およびドレーチ＝ホルト型系に拡張し、その分離可能性を分析する。

実験結果

リサーチクエスチョン

• RQ1 古典的ハミルトニアン系がリウヴィル＝アルニートの意味で可積分である背後にある幾何的構造は何か？
• RQ2 ハントゥステンソルは、ハミルトニアン＝ヤコビ方程式における加法的変数分離を可能にする座標系をどのように構成できるか？
• RQ3 どの古典的多次元系が内在的なハントゥス構造を持つのか？また、その構造は可積分性とどのように関係するか？
• RQ4 ドレーチ＝ホルト型系のように、事前に分離性が分かっていない系に対しても、ハントゥスフレームワークを適用可能か？
• RQ5 ハントゥステンソルは、可積分性の幾何と変数分離の統合的役割を果たすか？

主な発見

• 適切に適合するハントゥス構造の存在は、ハミルトニアン系がリウヴィル＝アルニート可積分性を満たすために必要かつ十分である。
• ダーブォー＝ハントゥス座標はハントゥステンソルから明示的に構成可能であり、ハミルトニアン＝ヤコビ方程式における加法的変数分離を可能にする。
• ガントマイヒャークラスの系は自然にハントゥス構造を持つことが確認され、本幾何的視点から可積分性が裏付けられる。
• 本手法は、従来分離性が不明であったドレーチ＝ホルト型系に対しても、その分離可能性を的確に同定した。
• 本フレームワークは、古典的力学系にとどまらず、KdV階層の定常還元に対しても適用可能であり、その有効性を示している。