[論文レビュー] Nonholonomic systems on Lie algebroids

Jorge Cortés, Manuel de León+2 more|ArXiv.org|Apr 24, 2008

Control and Dynamics of Mobile Robots参考文献 27被引用数 3

ひとこと要約

この論文は、非ホロノミック系のための幾何学的枠組みを Lie アルベイド上に構築し、古典的非ホロノミック力学をより広範な幾何的構造へ一般化する。ラグランジュ形式および変分原理を Lie アルベイドの文脈へ拡張することで、非ホロノミック運動方程式を導出し、制約分布へのラグランジュ力学の射影によってその一貫性を証明する。これにより、Lie アルベイド上での非ホロノミック力学の幾何学的に一貫した定式化が得られる。

ABSTRACT

This paper is a revised version of a previously posted paper in arxiv. The authors posted it as a new submission by mistake. The latest version of the paper can be found at arXiv:math-ph/0512003v2

研究の動機と目的

• 標準的な多様体からより一般な Lie アルベイドの設定へ非ホロノミック力学を一般化すること。
• 非ホロノミック系のための、基礎となる幾何的構造を尊重する一貫した変分枠組みを構築すること。
• 制約分布へのラグランジュ力学の射影を用いて、Lie アルベイド上での非ホロノミック系の運動方程式を導出すること。
• Lie アルベイド構造および非ホロノミック制約と整合するように、得られた力学の幾何学的一貫性を確立すること。

提案手法

• Lie アルベイド上の全空間に定義されたラグランジュ関数を導入することで、Lie アルベイド上での非ホロノミック問題を定式化する。
• 制約分布を Lie アルベイドの部分バンドルとして定義し、許容される速度を制限する。
• ラグランジュ乗数を用いて制約を課えることで、制約付きのオイラー＝ラグランジュ方程式を導出するため、ラグランジュ関数に変分原理を適用する。
• Lie アルベイド構造および誘導された接続を用いて、非制約のオイラー＝ラグランジュ方程式を制約分布へ射影する。
• アンカー写像および Lie アルベイド括弧を用いて、力学を基底多様体および Lie アルベイド構造の観点から記述する。
• 得られた方程式が Lie アルベイド構造の幾何学的性質と整合しており、非ホロノミック制約を満たしていることを検証する。

実験結果

リサーチクエスチョン

• RQ1 非ホロノミック制約は、どのように Lie アルベイドの幾何的枠組み内で一貫して定式化できるか？
• RQ2 Lie アルベイド上での非ホロノミック系に適した変分原理は何か？
• RQ3 ラグランジュ力学を制約分布へ射影することで、Lie アルベイド上での一貫した運動方程式がどのように得られるか？
• RQ4 Lie アルベイド構造は、非ホロノミック力学の幾何学的一致性を保つために果たす役割は何か？
• RQ5 Lie アルベイドが配置多様体の接 bundle に還元される場合、標準的な非ホロノミック方程式が特殊ケースとして回復できるか？

主な発見

• 本論文は、制約部分バンドル上での一貫した変分原理を用いることで、非ホロノミック力学を Lie アルベイドへ成功裏に一般化した。
• 導出された運動方程式は幾何学的に一貫しており、アンカー写像および Lie 括弧と整合する構造的性質を保っている。
• 非ホロノミック力学は、Lie アルベイドの幾何的データを用いて、非制約のオイラー＝ラグランジュ方程式を制約分布へ射影することで得られる。
• Lie アルベイドが配置多様体の接 bundle にとられる場合、この定式化は古典的非ホロノミック力学に還元される。
• この方法は、系の本質的な幾何学的性質を保ち、接 bundle を超えるより広範な幾何的設定への非ホロノミック力学の自然な拡張を提供する。