[論文レビュー] Neumann system and hyperelliptic al functions

Shigeki Matsutani|ArXiv.org|Nov 21, 2004

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

ひとこと要約

本稿は、球面的制約を持つ二次ラグランジアンによって支配されるノイマン力学系が、完全にワイエルシュトラスの超楕円型アル関数によって記述可能であることを示している。主な結果は、系の各座標 $ q^i(t) $ が直接的に $ \mathfrak{al}_i(t) $ として表されることであり、これはハミルトニアンと制約がアル関数の恒等式によって明示的に保存されることを示し、ヤコビ楕円関数の恒等式の自然な超楕円型一般化を明らかにする。

ABSTRACT

This article shows that the Neumann dynamical system is described well in terms of the Weierestrass hyperelliptic al functions.

研究の動機と目的

• ノイマン力学系をワイエルシュトラスの超楕円型アル関数を用いて、より明示的かつ自然な記述を提供すること。
• 楕円系におけるヤコビ楕円関数（sn, cn, dn）の役割を、超楕円系におけるワイエルシュトラスのアル関数を用いて高 genus に一般化すること。
• ノイマン系の制約とハミルトニアンが、アル関数の恒等式から自然に導かれることを示し、証明を簡略化するとともに、より深い幾何的構造を明らかにすること。
• ノイマン系の解空間と、超楕円曲線のモジュライ空間との直接的な対応関係を、アル関数を介して確立すること。

提案手法

• ラグランジアン $ L = \frac{1}{2}\sum \dot{q}_i^2 - \frac{1}{2}\sum a_i q_i^2 $ および力学的制約 $ \sum q_i^2 = 1 $ を用いてノイマン系を定式化する。
• 超楕円曲線 $ y^2 = f(x) = A(x)Q(x) $ を定義する。ここで $ A(x) = \prod (x - a_i) $、$ Q(x) = \prod (x - c_i) $ であり、$ f(x) $ は次数 $ 2g+1 $ の多項式である。
• 対称積 $ \mathrm{Sym}^g(C_g) $ 上の関数 $ U $, $ V $, $ W $ を用いて、ワイエルシュトラスの超楕円型アル関数 $ \mathfrak{al}_i(u) $ を定義する。$ \mathfrak{al}_i(u) = \gamma_i \mathrm{al}_i(u) = \gamma_i \sqrt{U(a_i)} $ である。
• アーベル積分 $ u_i = \sum_{a=1}^g \int_\infty^{(x_a,y_a)} \frac{x^{i-1} dx}{2y} $ を用いて、ジャコビアン $ \mathcal{J}_g $ 上の正準座標 $ u = (u_1, \dots, u_g) $ を定義する。
• 制約 $ \sum q_i^2 = 1 $ を超楕円型の類似として表現する重要な恒等式 $ \sum_{i=1}^{g+1} \mathfrak{al}_i^{[g]}(u)^2 = \wp_{gg}(u) - \sum_{a=1}^g c_a $ を導出する。これは、$ \mathrm{sn}^2 u + \mathrm{cn}^2 u = 1 $ の恒等式の自然な一般化である。
• ハミルトニアン $ H = \sum \frac{1}{2} \dot{q}_i^2 + \frac{1}{2} a_i q_i^2 $ が定数であり、$ a_i $ と $ c_i $ を用いて表せることを、正則微分形式の留数計算を用いて証明する。

実験結果

リサーチクエスチョン

• RQ1 ノイマン系は、楕円系におけるヤコビ関数と同様に、ワイエルシュトラスの超楕円型アル関数を用いて自然に記述可能か？
• RQ2 アル関数はどのようにして系の制約 $ \sum q_i^2 = 1 $ を記述するのか？ また、$ \mathrm{sn}^2 u + \mathrm{cn}^2 u = 1 $ の超楕円型類似恒等式は何か？
• RQ3 $ \wp_{gg} $ 関数は、ノイマン系のハミルトニアンと保存量を表現する上で果たす役割は何か？
• RQ4 超楕円曲線上の正則微分形式の留数は、ノイマン系の保存量 $ m_i $ とどのように関係するか？

主な発見

• ノイマン系の配置座標は、超楕円曲線のジャコビアン上に定義されたワイエルシュトラスの超楕円型アル関数 $ \mathfrak{al}_i $ を用いて直接的に $ q^i(t) = \mathfrak{al}_i(t) $ と与えられる。
• 制約 $ \sum_{i=1}^{g+1} q_i^2 = 1 $ は、恒等式 $ \sum_{i=1}^{g+1} \mathfrak{al}_i^{[g]}(u)^2 = \wp_{gg}(u) - \sum_{a=1}^g c_a $ として実現され、これは $ \mathrm{sn}^2 u + \mathrm{cn}^2 u = 1 $ の自然な一般化である。
• ハミルトニアン $ H $ は明示的に定数であり、$ H = \sum_{i=1}^{g+1} a_i - \wp_{gg}(u) $ と表され、$ u_g $ に関する時間発展において不変であることが示される。
• 保存量 $ m_i $ は、$ \frac{Q(x)}{A(x)} dx $ および $ \frac{xQ(x)}{A(x)} dx $ の留数計算により導出され、$ m_i = q_i^2 + \sum_{j \neq i} \frac{(q_i \dot{q}_j - q_j \dot{q}_i)^2}{a_i - a_j} $ と表される。
• ノイマン系の解空間 $ \mathcal{S}_g $ は、$ c_i \in \mathbb{C} $ のとき、超楕円曲線 $ y^2 = A(x)Q(x) $ のモジュライ空間に対応する。ただし $ u_g \in \mathbb{R} $ かつ $ (\mathfrak{al}, \mathfrak{al}^{[g]}) \in \mathbb{R}^{2g+2} $ を満たす。
• 系は $ 2g $ 個の自由度を持ち、$ c_i $ から得られる $ g $ 個の独立した保存量を持つ。ハミルトニアンは $ \sum m_i = H $ の関係により線形独立ではない。