[論文レビュー] On the Lax pairs for the generalized Kowalewski and Goryachev-Chaplygin tops

В. В. Соколов, A. V. Tsiganov|ArXiv.org|Nov 15, 2001

Geometric Analysis and Curvature Flows参考文献 5被引用数 9

ひとこと要約

本稿では、パラメータ $c_1$, $c_2$, $a_1$ を用いた既存の Lax 表現の変形によって、一般化された Kowalewski トップおよび Goryachev-Chaplygin トップの新しい $5\times5$ および $3\times3$ 行列 Lax 対を提示する。主な貢献は、Kowalewski 曲線の多項式的変形と、パラメータが 0 に等しいとき既知のケースに還元される可積分な Lax 構造の確立であり、特定のシンプレクティック葉上で一般化された系の完全可積分性を確立する。

ABSTRACT

A polynomial deformation of the Kowalewski top is considered. This deformation includes as a degeneration a new integrable case for the Kirchhoff equations found recently by one of the authors. A $5 imes 5$ matrix Lax pair for the deformed Kowalewski top is proposed. Also deformations of the two-field Kowalewski gyrostat and the $so(p,q)$ Kowalewski top are found. All our Lax pairs are deformations of the corresponding Lax representations found by Reyman and Semenov-Tian {S}hansky. In addition, a similar deformation of the Goryachev-Chaplygin top and its $3 imes 3$ matrix Lax representation is constructed.

研究の動機と目的

• パラメータ $c_1$, $c_2$, $a_1$ を持つ多項式的変形 Kowalewski トップの $5\times5$ 行列 Lax 対を構成し、古典的 Kowalewski ジロスタットを一般化する。
• 既存の Lax 行列の変形を用いて、二場の Kowalewski ジロスタットおよび $so(p,q)$ Kowalewski モデルの Lax 表現を拡張する。
• レベル $I_2 = 0$ において有効な、一般化された Goryachev-Chaplygin トップの $3\times3$ 行列 Lax 対を確立し、$c_2 = 0$ のとき標準的ケースに還元されることを示す。
• ハミルトニアン $H$ と可換である四次多項式的第一積分 $I_4$ の存在を証明することで、変形された系が完全可積分のままであることを示す。

提案手法

• 元の Reyman と Semenov-Tian Shan よりの Lax 行列の摂動として構成される $L_1(\lambda)$ および $L_2(\lambda)$ を用いて、変形された Lax 行列 $L(\lambda, \mu) = L_1(\lambda) + \mu L_2(\lambda)$ を提案する。
• 動的変数 $J_i$ および $x_j$、パラメータ $c_1$, $c_2$, $a_1$ に依存する変形行列 $X$ および $Y$ を導入し、元の Lax 構造を一般化する。
• 代数的曲線が正しく定義され、時間発展に対して不変であることを保証するため、対称性 $L(-\lambda, -\mu) = -L^T(\lambda, \mu)$ および $L(-\lambda, \mu) = V^{-1}L(\lambda, \mu)V$ を用いる。
• スペクトル曲線 $\det(L(\lambda, \mu)) = 0$ を導出し、これは $\mu$ に関して四次、$\lambda^2$ に関して多項式的であることを示し、運動の第一積分を符号化していることを明らかにする。
• Lie-Poisson 括弧においてハミルトニアン $H$ と追加の積分 $I_4$ が可換であることを検証し、可積分性を確認する。
• 一般化された Goryachev-Chaplygin ハミルトニアンを標準形 (1.5) に簡略化するため、正準変換 $J_1 \to J_1 - 2c_2x_3$, $J_3 \to J_3 + 2c_2x_1$ を適用する。

実験結果

リサーチクエスチョン

• RQ1 パラメータ $c_1$, $c_2$, $a_1$ を持つ多項式的変形 Kowalewski トップに対して、$5\times5$ 行列 Lax 対を構成できるか？
• RQ2 変形された系は完全可積分性を保ち、ハミルトニアン $H$ と可換である四次多項式的第一積分 $I_4$ を明示的に構成できるか？
• RQ3 Goryachev-Chaplygin トップの Lax 表現をパラメータ $c_1$, $c_2$, $a_1$ を含む形に一般化できるか？また、$c_2 = 0$ のとき既知の $3\times3$ Lax 対に還元されるか？
• RQ4 変形された Lax 行列のスペクトル曲線は、系の時間発展に対して不変であり、すべての第一積分を符号化しているか？
• RQ5 Lax 行列の対称性、たとえば $L(-\lambda, \mu) = V^{-1}L(\lambda, \mu)V$ は、変形された系の構造にどのような制約を課えるか？

主な発見

• $H$ が (1.1) で与えられる一般化された Kowalewski トップに対して $5\times5$ 行列 Lax 対が構成され、$c_2 = a_1 = 0$ のとき古典的 Kowalewski 場合に還元され、$c_2 = 0$ のとき Kowalewski ジロスタットに一致する。
• スペクトル曲線 $\mathcal{C}: d_2(\lambda^2)\mu^4 + d_1(\lambda^2)\mu^2 + d_0(\lambda^2) = 0$ が導出され、ここで $d_2 = \lambda^2 + c_2^2 I_1$, $d_0 = \lambda^6 - H\lambda^4 + I_4\lambda^2 - c_1^2 I_2^2$, $d_1$ は $\lambda^2$ に関する二次式であり、第一積分を符号化している。
• 多項式 $I_4$ が明示的に計算され、直接計算によりハミルトニアン $H$ と可換であることが証明され、四次第一積分としての役割が確認された。
• 一般化された Goryachev-Chaplygin トップに対して、スペクトル曲線 $(\lambda^2 + c_2^2 I_1)\mu^3 - a_1\lambda^2\mu^2 + (4\lambda^4 - H\lambda^2 + c_1^2 I_1)\mu - I_4\lambda^2 = 0$ を持つ $3\times3$ Lax 行列が構成され、$I_2 = 0$ の制約下で有効であり、$c_2 = 0$ のとき既知のケースに還元される。
• Lax 行列は $L^*(-\lambda, \mu) = L(\lambda, \mu)$ および $L(-\lambda, \mu) = V L(\lambda, \mu) V^{-1}$（$V = \text{diag}(1, -1, 1)$）を満たし、可積分性に適切な対称性を保証する。
• 正準変換 $J_1 \to J_1 - 2c_2x_3$, $J_3 \to J_3 + 2c_2x_1$ を施した後、一般化された Goryachev-Chaplygin ハミルトニアンは形式 (1.5) と一致し、元の系と整合性が確認された。