[論文レビュー] Separation of variables on a non-hyperelliptic curve

V. G. Marikhin, В. В. Соколов|ArXiv.org|Dec 27, 2004

Advanced Differential Equations and Dynamical Systems参考文献 3被引用数 6

ひとこと要約

本稿では、Yに関する6次多項式とξに関する有理関数で定義される非双曲的種数4代数曲線上に、可積分ハミルトニアン系のための新しい変数分離法を提示する。ハミルトン＝ジャコビ法を用いて、Kowalewskiのジャイロスタット、Clebschトップ、およびso(4) Schottky-Manakovトップといったモデルに適用可能な2つのパラメータに依存する明示的アクション公式を導出する。これにより、長年の課題であったこれらの系における「満足できる」変数分離法の確立が達成された。

ABSTRACT

In the paper we consider several dynamical systems that admit a separation of variables on the algebraic curve of genus 4. The main result of the paper is an explicit formula for the action of these systems. We find it directly from the Hamilton-Jacobi equation. We find the action and a separation of variables for the Kowalewski hyrostat, the Clebsch and the so(4) Schottky-Manakov spinning tops.

研究の動機と目的

• 非双曲的種数4代数曲線上での変数分離法の体系的かつ一般化された手法の開発、特に既知の双曲的曲線の結果の拡張を目的とする。
• KowalewskiのジャイロスタットやClebschトップのような可積分系における「満足できる」変数分離法を求める長年の課題の解決を目的とする。
• δ ≠ 0 の場合、曲線が非双曲的である場合に、ハミルトン＝ジャコビ方程式から明示的アクション公式を導出することを目的とする。
• 正準変換を用いて、Clebschの回転トップやso(4) Schottky-Manakovトップといった具体的な物理モデルへの適用を示すこと。
• 変数分離法とGibbons-Tsarev方程式の解との間の関係を確立すること、特にS(ξ) = -1の場合に注目する。

提案手法

• ハミルトン＝ジャコビ方程式を直接解くことで、パラメータδおよびS(ξ)を含む一般ハミルトニアンHの明示的アクション公式を導出する。S(ξ)は6次多項式である。
• 種数4の非双曲的曲線Φ(ξ, Y) = 0を定義し、Yはξおよび運動量の関数であり、その係数はS(ξ)、δ、およびパラメータα、e₁、e₂に依存する。
• uとvを含む方程式系(2.5)によるパラメータ化を導入し、これにより分離変数s₁およびs₂の時間微分を表現する。
• η = ξ² - δ²Y²で定義される楕円曲線上の二重被覆への変換を用いることで、特別な場合に楕円関数およびワイエルシュトラスの℘関数を用いることが可能になる。
• S(ξ) = -1の場合、曲線は種数1に退化し、ワイエルシュトラスの楕円関数を用いてパラメータ化され、tおよびτのメラモーフィック積分がz₁、z₂、z₃の関数として得られる。
• KowalewskiのジャイロスタットおよびClebschトップにこの手法を適用し、ハミルトニアンを分離変数s₁、s₂の形に表現し、対応する曲線およびアクションを導出する。

実験結果

リサーチクエスチョン

• RQ1 δ ≠ 0 の場合に、非双曲的種数4曲線上の可積分系に対して一貫性のある変数分離法を達成できるか。
• RQ2 標準的なStäckel法やLax法が失敗する場合でも、ハミルトン＝ジャコビ法がこのような系に対して明示的アクション公式を導けるか。
• RQ3 KowalewskiのジャイロスタットおよびClebschトップはこの枠組みにどのように適合するか。また、関連する代数曲線の構造は何か。
• RQ4 パラメータδが、δ = 0の双曲的（δ = 0）とδ ≠ 0の非双曲的（δ ≠ 0）の場合を区別する役割を果たす仕組みは何か。
• RQ5 この曲線上の変数分離法が、特にS(ξ) = -1の場合にGibbons-Tsarev方程式の解を生成できるか。

主な発見

• 本稿では、ハミルトン＝ジャコビ方程式を直接解くことにより、δ ≠ 0 かつS(ξ)が任意の6次多項式である場合に、ハミルトニアン(1.3)の明示的アクション公式を導出する。
• KowalewskiのジャイロスタットおよびClebschトップに対して、種数4の曲線Φ(ξ, Y) = 0上での変数分離法が得られ、s₆ = 0およびl(ξ)、k(ξ)は論文に規定された通りである。
• S(ξ) = -1の場合、曲線は種数1に退化し、ワイエルシュトラスの℘関数を用いてパラメータ化され、tおよびτのメラモーフィック積分がz₁、z₂、z₃の関数として表現される。
• δをiδに置き換えてもアクションが実数のままであることが示され、これはartanhをarctanに変換することで、虚数パラメータを有する物理的モデルへの応用を可能にする。
• 方程式(2.7)（Gibbons-Tsarev方程式に対応）は、特にS(ξ) = -1の場合に、変数分離法から得られる楕円関数解の族を有する。
• 本手法により、δ = 0のStäckelクラスがδ ≠ 0に一般化され、2自由度の可積分系における非双曲的曲線上の変数分離法の統一的枠組みが確立された。