[論文レビュー] On integrability of Hirota-Kimura type discretizations. Experimental study of the discrete Clebsch system

Matteo Petrera, Andreas Pfadler+1 more|ArXiv.org|Aug 25, 2008

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

ひとこと要約

本稿では、Hirota-Kimura型離散化における可積分性を実験的に研究する手法を導入し、離散 Clebsch 系に適用している。4つの関数的に独立な運動積分の存在を証明し、すべての軌道が6次元位相空間内の4つの二次曲面の交線に存在することを示しており、この離散系における代数的完全可積分性を確認するとともに、二次系における可積分性の保存に関するより広範な予想を支持している。

ABSTRACT

R. Hirota and K. Kimura discovered integrable discretizations of the Euler and the Lagrange tops, given by birational maps. Their method is a specialization to the integrable context of a general discretization scheme introduced by W. Kahan and applicable to any vector field with a quadratic dependence on phase variables. According to a proposal by T. Ratiu, discretizations of the Hirota-Kimura type can be considered for numerous integrable systems of classical mechanics. Due to a remarkable and not well understood mechanism, such discretizations seem to inherit the integrability for all algebraically completely integrable systems. We introduce an experimental method for a rigorous study of integrability of such discretizations. Application of this method to the Hirota-Kimura type discretization of the Clebsch system leads to the discovery of four functionally independent integrals of motion of this discrete time system, which turn out to be much more complicated than the integrals of the continuous time system. Further, we prove that every orbit of the discrete time Clebsch system lies in an intersection of four quadrics in the six-dimensional phase space. Analogous results hold for the Hirota-Kimura type discretizations for all commuting flows of the Clebsch system, as well as for the $so(4)$ Euler top.

研究の動機と目的

• 代数的完全可積分系、特にClebsch系に対するHirota-Kimura型離散化の可積分性を調査すること。
• 記号計算に基づく実験的手法を開発・適用し、離散写像における保存量および幾何的制約を同定すること。
• Hirota-Kimura離散化が二次ベクトル場を持つ系で可積分性を保存するという仮説を検証すること。
• Clebsch系の可換な流れの離散写像が、連続系と類似した構造的性質を保持するかどうかを調査すること。
• 既知の例を超えたKahan型離散化における可積分性メカニズムの一般理論の基盤を築くこと。

提案手法

• 著者らは、MAPLE、SINGULAR、FORMを用いたコンピュータ支援の記号計算アプローチを採用し、保存量および代数的制約の導出と検証を行っている。
• 彼らは「Hirota-Kimura基底」という概念を導入した——これは、軌道上で恒等的にゼロとなる単項式関数の線形結合からなる集合であり、可積分性構造の検出に用いられる。
• 離散写像の力学から、反復計算を必要とせずに、2次不変量の係数を求めるための連立一次方程式系を解く手法を採用している。
• 数値実験とPSLQアルゴリズムを用いて、運動積分を定義する代数的恒等式を予想している。
• 軌道は、6次元位相空間内での4つの二次超曲面の交線に存在することを幾何学的に分析している。
• 運動方程式の直接的検証およびε → 0における極限解析を用いて、保存量の理論的裏付けを提供している。

実験結果

リサーチクエスチョン

• RQ1 Clebsch系のHirota-Kimura離散化は、4つの関数的に独立な運動積分の存在によって示されるように、代数的完全可積分性を保存するか？
• RQ2 離散 Clebsch 系の軌道は、6次元位相空間内での4つの二次超曲面の交線に存在すると特徴付けられるか？
• RQ3 二次ベクトル場を持つ系に対して、Hirota-Kimura型離散化が可積分性を保存するメカニズムは何か？
• RQ4 Clebsch 系の可換な流れの離散写像は、非可換な離散流れであるにもかかわらず、連続系と類似した構造的性質を保持するか？
• RQ5 このような離散化がさまざまな可積分系で可積分のままである理由を説明する、事例に依存しない一般メカニズムは存在するか？

主な発見

• 離散 Clebsch 系には、連続系の運動積分よりもはるかに複雑な4つの関数的に独立な運動積分が存在する。
• 離散 Clebsch 系のすべての軌道は、6次元位相空間内での4つの二次超曲面の交線に存在し、動的制約として幾何学的制約が確認された。
• 運動積分は記号計算により導出され、MAPLEを用いて検証されており、位相変数およびパラメータの明示的表現が与えられている。
• 変数 $ e_i $ を含む6つの一次方程式の集合を満たし、これにより保存量が得られている。
• 離散写像は、4次元の核空間を持つHirota-Kimura基底の存在によって示されるように、連続系の可積分性構造を保存している。
• 結果は、二次ベクトル場を持つすべての代数的完全可積分系に対して、Hirota-Kimura離散化が代数的完全可積分性を保存するというより広範な予想を支持している。