[論文レビュー] The rolling problem: overview and challenges

Yacine Chitour, Mauricio Godoy Molina+1 more|arXiv (Cornell University)|Jan 27, 2013

Robotic Mechanisms and Dynamics参考文献 37被引用数 4

ひとこと要約

本稿は、滑らかに滑ることなく、回転する2つのリーマン多様体の問題—すなわち、滑りや回転のない転がり—を、古典的力学から現代の微分幾何学および制御理論へとその発展をたどることで、包括的な概説を提供する。主な貢献は、状態空間を標準接続を持つ主 bundle として特定し、転がり分布が、ターゲット多様体が一定曲率を持つ場合に限り、ホロノミー群構造を有することの証明であり、幾何学と制御の間を曲率不変量によって結ぶ。

ABSTRACT

In the present paper we give a historical account -ranging from classical to modern results- of the problem of rolling two Riemannian manifolds one on the other, with the restrictions that they cannot instantaneously slip or spin one with respect to the other. On the way we show how this problem has profited from the development of intrinsic Riemannian geometry, from geometric control theory and sub-Riemannian geometry. We also mention how other areas -such as robotics and interpolation theory- have employed the rolling model.

研究の動機と目的

• チャプリジンの非ホロノミック系に関する初期の研究から、現代の幾何的制御理論への転がり問題の歴史的発展をたどること。
• 特にターゲット多様体が一定曲率を持つ場合に、転がり系の幾何的構造を主 bundle と接続として確立すること。
• 転がり分布が主 bundle 構造を有する条件を調査し、それがターゲット多様体の曲率とどのように関係するかを明らかにすること。
• 対称性とホロノミーが、転がり系の可動性および幾何的不変量を特徴付ける役割をどのように果たすかを検討すること。
• 等次元でない多様体へと転がりモデルを一般化し、カルタン幾何と制御可能なサブリーマン構造とを結びつけること。

提案手法

• 状態空間 $ Q = Q(M, ilde{M}) $ 上の分布として転がり力学をモデル化するため、内在的なリーマン幾何学およびサブリーマン幾何学を用いる。ここで $ M $ と $ ilde{M} $ はリーマン多様体である。
• エリ・カルタンの発展理論およびアフィンホロノミー理論を適用し、転がり接続を定義し、その幾何的性質を分析する。
• 非ホロノミック制約（滑りなし・回転なし）を符号化する状態空間 $ Q $ 上の転がり分布 $ D_{ ext{R}} $ を導入する。
• 分布とファイバー構造を保存する変換の集合としてホロノミー群 $ ilde{ ext{Hol}}_q(D_{ ext{R}}) $ を定義し、特定の曲率条件下で $ ilde{M} $ の等長群と同型であることを示す。
• 射影 $ au: Q o M $ によって消えるベクトル場からなる、対称性のリー代数 $ ext{Sym}_0(D_{ ext{R}}) $ を用い、$ ilde{M} $ 上のキリング場を特徴付ける。
• 逆の結果を確立する：状態空間 $ Q $ に主 bundle 構造があり、$ D_{ ext{R}} $ がその接続であるならば、$ ilde{M} $ は一定曲率を有する必要がある。

実験結果

リサーチクエスチョン

• RQ1 どのような幾何的条件下で、転がり分布を接続とする主 bundle 構造が転がり系に存在するか。
• RQ2 転がり分布のホロノミー群は、ターゲット多様体の等長群とどのように関係するか。
• RQ3 ターゲット多様体の曲率テンソルが、転がり系の可動性および対称性構造を決定する上で果たす役割は何か。
• RQ4 転がりモデルは、次元が異なる多様体やカルタン幾何へと一般化可能か。その場合、可動性にどのような影響があるか。
• RQ5 転がり分布の対称性は、ターゲット多様体の内在的幾何にどの程度反映されるか。

主な発見

• 空間形式 $ ilde{oldsymbol{F}}^n_c $ に対して $ M $ を転がす状態空間 $ Q $ は、左作用によって転がり分布 $ D_{ ext{R}} $ を保存する主 $ G_c(n) $-bundle 構造を有する。
• 点 $ q \to x \to M $ におけるホロノミー群 $ \tilde{\text{Hol}}_q(D_{\text{R}}) $ は、転がり運動の同相型の固定群と同型であり、同じファイバー内での他の点におけるホロノミー群と共役である。
• 曲率作用素 $ R_x $ が開く稠密な部分集合上で可逆であり、かつ転がり写像 $ \tilde{\text{Rol}} $ が可逆であるならば、$ \text{Sym}_0(D_{\text{R}}) $ は $ \tilde{M} $ 上のキリング場のリー代数と同型であり、$ \tilde{M} $ が一定曲率を有することを示唆する。
• 状態空間 $ Q $ に主 bundle 構造があり、$ D_{\text{R}} $ がその接続であるならば、$ \tilde{M} $ は、リー代数の同型を除いて、一定曲率の空間でなければならない。
• 転がり系は、発展理論と接続理論に基づく統一的枠組みのもとで、次元が異なる多様体や擬リーマン幾何の設定においても自然にカルタン幾何へと一般化される。
• 3次元では、転がり系の軌道の次元は 3, 6, 7, 8, または 9 となり、豊かな幾何的および可動性構造を示している。