[論文レビュー] Integrable nonholonomic geodesic flows on compact Lie groups

Yuri N. Fedorov, Boÿzidar Jovanovic|ArXiv.org|Aug 24, 2004

Control and Dynamics of Mobile Robots参考文献 34被引用数 8

ひとこと要約

本稿は、コンパクトなリー群上における可積分な非holonomic測地線流を統一的に扱う枠組みを提示する。左不変（LL）、左-右不変（L+R）、および不変測度を伴う左-右不変（LR）系に焦点を当て、Euler–Jacobi定理を用いて十分な独立な第一積分と不変測度を同定することで可積分性を確立する。これは、チャプリンの球体やヴェゼローヴァの問題といった古典的系を一般化するものである。

ABSTRACT

This paper is a review of recent results on integrable nonholonomic geodesic flows of left--invariant metrics and left- and right--invariant constraint distributions on compact Lie groups.

研究の動機と目的

• 最近のコンパクトなリー群上における可積分な非holonomic系に関する結果を統一・拡張すること。
• 非holonomic系が不変測度を有する条件を同定し、Euler–Jacobi定理を用いて可積分性を達成すること。
• チャプリンの球体やヴェゼローヴァの剛体問題といった古典的可積分系をリー群の枠組み内で一般化すること。
• L+R系の極限的挙動を探索し、パrameter ε → ∞ のときLR系に収束することを示すこと。
• リー群上の幾何学的・代数的構造を通じて、新たな可積分な非holonomic系の例を提供すること。

提案手法

• 非可積分な分布を有するリーマン多様体上における誘導接続のアプローチを用いて、非holonomic測地線流を定式化する。
• 制約を満たすためにラグランジュ乗数を導入するため、Lagrange–d’Alembertの原理を適用して運動方程式を導出する。
• 非holonomic系におけるノイターの定理を用い、群作用の対称性から第一積分を同定する。
• L+R系の不変測度を、修正された慣性テンソルの行列式を用いて導出し、演算子Γの言語で表現する。
• 元の特異な方程式を正則化形式（4.18）に変換し、ε → ∞ の極限を解析する。
• Euler–Jacobi定理を適用するため、レベル集合上で十分な独立な第一積分と不変測度の存在を確認する。

実験結果

リサーチクエスチョン

• RQ1 コンパクトなリー群上における非holonomic測地線流が不変測度を有するのはどのような条件下か？
• RQ2 Euler–Jacobi定理は非ハミルトニアン系にどのように適用され、可積分性を達成できるか？
• RQ3 右不変計量パrameter ε → ∞ の極限において、L+R系とLR系の関係は何か？
• RQ4 チャプリンの球体やヴェゼローヴァの問題といった古典的可積分系は、この枠組み内でどのように特殊ケースとして現れるか？
• RQ5 幾何学的積分（例：単位ベクトル、直交性）は、これらの系の可積分性において果たす役割は何か？

主な発見

• SO(3)上のL+R系が与えられた方程式（4.19）は、極限ε → ∞ においてヴェゼローヴァの剛体問題に収束する。
• 独立な第一積分が4つ存在する：(K,K)、(K,α)、(K,β)、(K,γ)、ここでK = (I + Γ)ω。
• 密度μ = √det(I + Γ) で与えられる不変測度が存在し、定数a, b, cおよび慣性テンソルを用いて明示的に計算可能である。
• 追加の幾何学的積分が存在する：||α||² = ||β||² = ||γ||² = 1 および (α,β) = (α,γ) = (β,γ) = 0。
• 運動エネルギー積分は ½(ω, (I + Γ)ω) で与えられ、保存量であり、第一積分構造に寄与する。
• L+R系の不変測度の極限（ε → ∞）は、定数倍を除いて既知のLR系の不変測度に一致する。