[論文レビュー] Non-integrability Criterium for Normal Variational Equations around an integrable Subsystem and an example: The Wilbeforce spring-pendulum

Primitivo B. Acosta-Humánez, Martha Álvarez–Ramírez+2 more|arXiv (Cornell University)|Apr 2, 2011

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

ひとこと要約

本稿は、モラレス＝ラミス理論を用いて、ウィルバーフォースのばね・振り子系の非可積分性を確立している。これは、その正規変分方程式の微分ガロア群が準アーベル的でないことを証明することで達成される。著者らはハミルトニアン代数化を適用して変分方程式をヒーン方程式に変換し、コヴァチッチのアルゴリズムを用いて非可積分性を確認した。

ABSTRACT

In this paper we analyze the non-integrability of the Wilbeforce pendulum by means of Morales-Ramis theory in where is enough to prove that the Galois group of the variational equation is not virtually abelian. We obtain these non-integrability results due to the algebrization of the variational equation falls into a Heun differential equation with four singularities and then we apply Kovacic's algorithm to determine its non-integrability.

研究の動機と目的

• ウィルバーフォースのばね・振り子ハミルトニアン系にメロモルフィックな第一積分が存在するかどうかを特定すること。
• 正規変分方程式のガロア群の構造を分析することで、モラレス＝ラミス理論を応用し、非可積分性を評価すること。
• 変分方程式の微分ガロア群が準アーベル的でないことを示すこと。これは可積分性の必要条件である。
• ハミルトニアン代数化を用いて、変分方程式を四つの正則特異点をもつヒーン型微分方程式に還元すること。
• 代数化された方程式にコヴァチッチのアルゴリズムを適用し、非可積分性を確認すること

提案手法

• ハミルトニアン系の可積分性とその正規変分方程式のガロア群構造との関連をモラレス＝ラミス理論を用いて確立する。
• ハミルトニアン代数化を適用して、元の変分方程式を係数がℂ(z)に属する線形微分方程式に変換し、四つの正則特異点をもつヒーン方程式に還元する。
• 変数変換z = z(x)をハミルトニアン的に行い、元の系をコヴァチッチのアルゴリズムに適した形に変換する。
• 微分ガロア群の構造を用いて非可積分性を決定する：群が準アーベル的でない場合、系は非可積分である。
• 代数化されたヒーン方程式にコヴァチッチのアルゴリズムを適用し、リウヴィル的解が存在しないことを確認することで、非可積分性を裏付ける。
• ハミルトニアン変換の下で、元の系の微分ガロア群と代数化系の微分ガロア群が等価であることに依存する

実験結果

リサーチクエスチョン

• RQ1 ウィルバーフォースのばね・振り子系は、可積分性を示すメロモルフィック第一積分を有するか？
• RQ2 可積分な部分系の周囲における正規変分方程式の微分ガロア群が、準アーベル的でないことを示すことができるか？
• RQ3 変分方程式の代数化により、四つの正則特異点をもつヒーン型方程式が得られるか？
• RQ4 代数化された方程式にコヴァチッチのアルゴリズムを適用し、リウヴィル的解の不在を確認できるか？
• RQ5 ハミルトニアン代数化手順は、非可積分性解析のための変分方程式の複雑さを十分に低減できるか？

主な発見

• ウィルバーフォースのばね・振り子系の正規変分方程式は、四つの正則特異点をもつヒーン微分方程式に代数化された。
• コヴァチッチのアルゴリズムを適用することで、代数化された方程式の微分ガロア群が準アーベル的でないことが確認された。
• ガロア群の非準アーベル的構造は、元のハミルトニアン系がメロモルフィック第一積分の意味で非可積分であることを示唆する。
• ハミルトニアン代数化の適用により、ℂ(z)上での有理係数微分方程式に系がうまく変換され、アルゴリズム的解析が可能になった。
• 明示的な積分を必要とせず、微分ガロア理論からの代数的・群論的基準に依拠することで、非可積分性が確認された。
• 結果として、代数化とコヴァチッチのアルゴリズムを用いたアプローチが、複雑なハミルトニアン系における非可積分性の証明に有効であることが裏付けられた。