[論文レビュー] Non-holonomic Lagrangian systems on Lie algebroids

Jorge Cortés, Manuel de León+2 more|ArXiv.org|Dec 1, 2005

Control and Dynamics of Mobile Robots参考文献 28被引用数 13

ひとこと要約

本稿は、リー代数的束上の非ホロノミックラグランジュ系の幾何的枠組みを構築し、古典的接 bundle 力学を一般化する。正則性条件、射影に基づく力学、非ホロノミック括弧を導入することで、対称性、還元、非線形制約を併せ持つ制約付き系の統一的取り扱いを可能にし、非ホロノミック力学における準座標と運動量写像の新たな洞察を提供する。

ABSTRACT

This paper presents a geometric description on Lie algebroids of Lagrangian systems subject to nonholonomic constraints. The Lie algebroid framework provides a natural generalization of classical tangent bundle geometry. We define the notion of nonholonomically constrained system, and characterize regularity conditions that guarantee the dynamics of the system can be obtained as a suitable projection of the unconstrained dynamics. The proposed novel formalism provides new insights into the geometry of nonholonomic systems, and allows us to treat in a unified way a variety of situations, including systems with symmetry, morphisms and reduction, and nonlinearly constrained systems. Various examples illustrate the results.

研究の動機と目的

• リー代数的束形式を用いて非ホロノミックラグランジュ系の統一的幾何的枠組みを提供し、古典的接 bundle 力学を一般化すること。
• リー代数的束上での線形的および非線形的制約付き系に対して一意な解が保証される正則性条件を同定すること。
• 延長されたリー代数的束の二つの分解を用いて、非制約力学から制約力学を射影する手法を構築すること。
• 段階的還元理論を非ホロノミック系に拡張し、運動量写像の進化を保存すること。
• 制約部分多様体上での観測量の時間発展を記述するための非ホロノミック括弧を定義・分析すること。

提案手法

• 局所座標におけるラグランジュ＝ド・アレムベールの原理を用いて、リー代数的束上での非ホロノミックラグランジュ系を形式化する。
• 非制約力学を制約部分多様体上に射影するために、リー代数的束の延長の二つの分解を定義する。
• 観測量の制約部分多様体上での進化を測るためのほぼポアソン構造として非ホロノミック括弧を導入する。
• 運動量方程式を用いて、対称性還元下での運動量写像の進化を追跡する。
• 自己同型と還元技術を用いて、半直積や右作用リー代数的束を含む対称性を持つ系を扱う。
• チャプリギン系、LR系、回転するテーブル上を転がる球といった具体例を通じて、形式主義を提示し、明示的な力学および括弧計算を示す。

実験結果

リサーチクエスチョン

• RQ1 線形制約付き非ホロノミックラグランジュ系は、リー代数的束上でどのように一貫して定式化可能であり、一意な力学を保証する正則性条件は何か？
• RQ2 リー代数的束の設定において、非制約力学を制約部分多様体上に射影する幾何的メカニズムは何か？
• RQ3 非ホロノミック括弧は、非ホロノミック系における観測量の標準ポアソン括弧をどのように一般化するか？
• RQ4 段階的還元は非ホロノミック系にどのように適用可能であり、運動量写像はこのプロセスでどのように保存されるか？
• RQ5 準座標と擬座標はリー代数的束の枠組みにおいて果たす役割は何か？形式主義はそれらの幾何的起源をどのように明確にするか？

主な発見

• 本稿は、制約分布およびラグランジアンに幾何的正則性条件を同定し、リー代数的束上での線形制約付き系に対して解の存在および一意性を保証する。
• 制約付き力学は、延長されたリー代数的束の二つの異なる分解を用いて非制約力学から射影されることにより、一貫した幾何的構成が得られる。
• 非ホロノミック括弧は制約部分多様体上で定義され、補正項を除いてジャコビ恒等式を満たし、ハミルトニアンに類似した方程式により観測量の進化を計算可能となる。
• 回転するテーブル上を転がる球の例において、非ゼロの基本的非ホロノミック括弧を明示的に計算し、{x′,π′₁}ₙₕ = r および {π′₁,π′₂}ₙₕ = π′₃ を得る。
• 運動量写像は還元下でも一貫して進化し、その力学は還元された制約部分多様体上での射影ベクトル場 (ρ′)¹(Rₗ′) によって支配される。
• 形式主義は、半直積や右作用リー代数的束を含む対称性を持つ系を自然に扱い、チャプリギン型系とLR系を統一的に取り扱うことができる。