[論文レビュー] Energy conserving nonholonomic integrators

Jorge Cortés|ArXiv.org|Sep 24, 2002

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

ひとこと要約

本稿では、非自励系への離散力学の拡張を通じて、ラグランジュ＝ド・アレムベール原理の離散版を用いて、エネルギー保存型非holonomic積分法を提案する。この手法により、シンプレクティック構造、非holonomic運動量、およびエネルギーを同時に保存する変分積分法が構築され、固定ステップでは達成できない理論的障壁を、可変時間ステップを許容することで克服する。

ABSTRACT

We address the problem of constructing numerical integrators for nonholonomic Lagrangian systems that enjoy appropriate discrete versions of the geometric properties of the continuous flow, including the preservation of energy. Building on previous work on time-dependent discrete mechanics, our approach is based on a discrete version of the Lagrange-d'Alembert principle for nonautonomous systems.

研究の動機と目的

• 連続的な流れの主要な幾何的性質を保存する非holonomicラグランジュ系の数値積分法を構築する挑戦に応える。
• 固定ステップの変分積分法では、エネルギー、シンプレクティック性、運動量を同時に保存できないという理論的障壁を克服する。
• 非自励非holonomic系に対するラグランジュ＝ド・アレムベール原理の離散的定式化を構築し、エネルギー保存を可能にする。
• 得られた積分法が、離散的なシンプレクティック構造の進化および非holonomic運動量保存の性質をそのまま継承することを保証する。
• 特に自励系において離散エネルギーが保存される条件を確立する。

提案手法

• 非自励非holonomic系に対して、拡張配置空間 $\overline{Q} = \mathbb{R} \times Q$ 上でラグランジュ＝ド・アレムベール原理の離散版を定式化する。
• 時間発展と制約を組み込んだ $\overline{Q} \times \overline{Q}$ 上の拡張離散ラグランジアン $L_d$ を定義する。
• 積分法のダイナミクスを支配する、拡張離散ラグランジュ＝ド・アレムベール（EDLA）方程式を変分原理から導出する。
• 固定ステップでのエネルギー・シンプレクティック性・運動量保存の理論的不可能性を回避するため、可変時間ステップを導入する。
• 対称性が存在する場合に、EDLA方程式に還元理論を適用し、還元された拡張離散ラグランジュ＝ド・アレムベール（REDLA）方程式を導出する。
• 局所接続形式 $\mathcal{A}_{\text{loc}}$ を用いてバンドル座標で力を表現し、対称的状況での計算を可能にする。

実験結果

リサーチクエスチョン

• RQ1 非holonomic系の離散積分法は、エネルギー、シンプレクティック構造、運動量を同時に保存できるか？
• RQ2 可変時間ステップは、非holonomic系の変分積分法におけるエネルギー保存を実現するために果たす役割は何か？
• RQ3 非自励系に非holonomic制約を含む場合、離散ラグランジュ＝ド・アレムベール原理をどのように拡張できるか？
• RQ4 得られた積分法が継承する幾何的性質は何か、特にシンプレクティック性および運動量写像に関して。
• RQ5 非holonomic設定において、離散エネルギーが保存される条件は何か？

主な発見

• 提案された拡張離散ラグランジュ＝ド・アレムベール（EDLA）積分法は、シンプレクティック形式および非holonomic運動量写像を保存し、幾何的忠実性を保証する。
• 離散ラグランジアンと制約が時間並進に対して不変である、すなわち自励系において、エネルギーが離散系で保存される。
• 離散エネルギー $E_{L_d}^+$ は、流れに沿って一定である：$E_{L_d}^+(t_k, q_k, t_{k+1}, q_{k+1}) = E_{L_d}^+(t_{k-1}, q_{k-1}, t_k, q_k)$、と命題4で示されている。
• 固定ステップでのエネルギー・シンプレクティック性・運動量保存の理論的障壁（定理1）を、可変時間ステップを許容することで克服し、三者の同時保存を実現する。
• 対称的系に対しては、還元EDLA方程式（REDLA）が導出され、力は局所接続形式 $\mathcal{A}_{\text{loc}}$ を用いて表現される。
• 積分法が還元方程式の解に射影されることを示しており、対称的配置において一貫性が保証される。