[論文レビュー] Linear almost Poisson structures and Hamilton-Jacobi equation. Applications to nonholonomic Mechanics

Manuel de León, Juan Carlos Marrero+1 more|ArXiv.org|Jan 28, 2008

Control and Dynamics of Mobile Robots参考文献 21被引用数 23

ひとこと要約

本稿は、非ホロノミック力学系のハミルトニアン＝ヤコビ方程式を一般化するための幾何学的枠組みを提示する。非ホロノミック制約はヤコビ恒等式の成立しない線形ほぼポisson構造として表現され、可逆なハミルトニアン関数を用いた双対バンドル上の力学系として定式化される。この枠組みにより、制約あり・なしの両システムを統一的に取り扱うことができ、対称性の簡約化や数値積分への応用が可能となる。

ABSTRACT

In this paper, we study the underlying geometry in the classical Hamilton-Jacobi equation. The proposed formalism is also valid for nonholonomic systems. We first introduce the essential geometric ingredients: a vector bundle, a linear almost Poisson structure and a Hamiltonian function, both on the dual bundle (a Hamiltonian system). From them, it is possible to formulate the Hamilton-Jacobi equation, obtaining as a particular case, the classical theory. The main application in this paper is to nonholonomic mechanical systems. For it, we first construct the linear almost Poisson structure on the dual space of the vector bundle of admissible directions, and then, apply the Hamilton-Jacobi theorem. Another important fact in our paper is the use of the orbit theorem to symplify the Hamilton-Jacobi equation, the introduction of the notion of morphisms preserving the Hamiltonian system; indeed, this concept will be very useful to treat with reduction procedures for systems with symmetries. Several detailed examples are given to illustrate the utility of these new developments.

研究の動機と目的

• 古典的ハミルトニアン＝ヤコビ方程式を、ヤコビ恒等式を満たさないほぼポアンソニ括弧から生じる非ホロノミック力学系に拡張すること。
• 非ホロノミック設定におけるハミルトニアン＝ヤコビ方程式を定式化するための最小限の幾何的構造として、許容方向のベクトルバンドルの双対バンドル上に存在する線形ほぼポアンソニ構造を同定すること。
• ハミルトニアン準同型と軌道定理を用いた対称性の簡約化を可能にする形式的枠組みを構築し、ハミルトニアン＝ヤコビ方程式の簡略化を実現すること。
• 歪対称アレブロイド構造とほぼ微分を用いて、非制約系と非ホロノミック系の両者を幾何学的に統一すること。
• 今後の時間依存系、アフィン制約、最適制御、および古典的場の理論への拡張の基盤を築くこと。

提案手法

• 許容方向のベクトルバンドル $D \to Q$ の双対バンドル $D^*$ 上に、$D$ 上の歪対称アレブロイド構造 $([\!\!\!,\!\!,\!], \rho_D)$ に対応する線形ほぼポアンソニ構造を構成する。
• 関数 $h: D^* \to \mathbb{R}$ を用いてハミルトニアン系を定義し、ほぼポアンソニテンソル $\Lambda_{D^*}$ に付随するハミルトニアンベクトル場 $\mathcal{H}_h^{\Lambda_{D^*}}$ によって力学を生成する。
• ハミルトニアン＝ヤコビ方程式を、$D^*$ 上の関数 $S$ に対して $\{S, h\}_{D^*} = 0$ として定式化し、古典的方程式をほぼポアンソニ設定に一般化する。
• 軌道定理を適用して、作用の軌道に沿った系の簡約化を実現し、特に対称系において有効である。
• ハミルトニアン準同型の概念を導入し、ハミルトニアン構造を保存する形で、対称性を持つ系の系統的簡約化を可能にする。
• ほぼポアンソニテンソル $\Lambda_{D^*}$、ほぼ微分 $d^D$、およびラグランジュ分布 $\mathcal{L}_{\alpha,D}$ の annihilator の局所座標表現を導出し、検証や具体例の計算に役立つツールを提供する。

実験結果

リサーチクエスチョン

• RQ1 ヤコビ恒等式を満たさない括弧から生じる非ホロノミック力学系において、古典的ハミルトニアン＝ヤコビ方程式をどのように一般化できるか？
• RQ2 非ホロノミック系におけるハミルトニアン＝ヤコビ方程式の背後にある幾何的構造は何か？また、標準的ポアンソニ系とはどのように異なるか？
• RQ3 軌道定理は、対称な非ホロノミック系において、どのようにハミルトニアン＝ヤコビ方程式を簡略化するか？
• RQ4 ハミルトニアン準同型は、対称性を持つ非ホロノミック系の簡約化において果たす役割は何か？
• RQ5 この形式的枠組みは、時間に依存する系、アフィン制約、最適制御問題へと拡張可能か？

主な発見

• 本稿は、$D^*$ 上の線形ほぼポアンソニ構造と $D$ 上の歪対称アレブロイド構造との間の一対一対応を確立し、非ホロノミック系の幾何的基盤を提供する。
• 非ホロノミック系のハミルトニアン＝ヤコビ方程式は、括弧 $\{\cdot, \cdot\}_{D^*}$ がヤコビ恒等式を満たさないため、非ハミルトニアン的性質を反映しており、$\{S, h\}_{D^*} = 0$ として定式化される。
• 軌道定理を用いることで、作用の軌道に沿った系の簡約化が可能となり、特に対称系において顕著に有効である。
• ハミルトニアン準同型の概念を導入し、ハミルトニアン構造を保存することを示し、対称性を持つ系の系統的簡約化を可能にする。
• $\Lambda_{D^*}$ と $d^D$ の局所座標表現を導出し、具体例における明示的計算と検証を可能にする。
• 本形式的枠組みは、$A = TQ$ および $\bar{A} = TQ/G$ の具体例に適用され、古典的非ホロノミック力学における有効性が示された。