[论文解读] 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

一句话总结

本文通过追溯从经典力学到现代微分几何与控制理论的发展历程，全面综述了滚动问题——即两个黎曼流形无滑动、无自转地滚动——的研究。其核心贡献在于将状态空间识别为具有典型联络的主丛，并证明仅当目标流形具有常曲率时，滚动分布才具有仿射单值群结构，从而通过曲率不变量将几何与控制联系起来。

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.

研究动机与目标

• 追溯从恰普林对非完整系统早期研究到现代几何控制理论的滚动问题历史发展。
• 在目标流形具有常曲率时，建立滚动系统的几何结构为带联络的主丛。
• 研究滚动分布何时具有主丛结构，及其与目标流形曲率的关系。
• 探讨对称性与单值性在刻画滚动系统可控性与几何不变量中的作用。
• 将滚动模型推广至不同维数的流形，并与嘉当几何及次黎曼结构相联系。

提出的方法

• 利用内蕴黎曼几何与次黎曼几何，将滚动动力学建模为状态空间 $ Q = Q(M, \tilde{M}) $ 上的分布，其中 $ M $ 与 $ \tilde{M} $ 为黎曼流形。
• 应用É.嘉当的展开理论与仿射单值性理论，定义滚动联络并分析其几何性质。
• 在状态空间 $ Q $ 上引入滚动分布 $ D_{\text{R}} $，以编码无滑动与无自转的非完整约束。
• 将单值群 $ \tilde{\text{Hol}}_q(D_{\text{R}}) $ 定义为保持分布与纤维结构的变换集合，证明其在特定曲率条件下同构于 $ \tilde{M} $ 的等距群。
• 利用对称性李代数 $ \text{Sym}_0(D_{\text{R}}) $（即被投影 $ \tau: Q \to M $ 消去的向量场）刻画 $ \tilde{M} $ 上的基灵场。
• 建立一个逆定理：若在 $ Q $ 上存在以 $ D_{\text{R}} $ 为联络的主丛结构，则 $ \tilde{M} $ 必须具有常截面曲率。

实验结果

研究问题

• RQ1 在何种几何条件下，滚动系统可具有以滚动分布为联络的主丛结构？
• RQ2 滚动分布的单值群与目标流形的等距群之间有何关系？
• RQ3 目标流形的曲率张量在决定滚动系统的可控性与对称性结构中起何作用？
• RQ4 滚动模型能否推广至不同维数的流形或嘉当几何？其对可控性有何影响？
• RQ5 滚动分布的对称性在多大程度上反映了目标流形的内在几何？

主要发现

• 当滚动 $ M $ 于空间形式 $ \tilde{\boldsymbol{F}}^n_c $ 时，状态空间 $ Q $ 具有主 $ G_c(n) $-丛结构，且左作用保持滚动分布 $ D_{\text{R}} $。
• 在点 $ 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 $ 上存在以 $ D_{\text{R}} $ 为联络的主丛结构，则 $ \tilde{M} $ 必须为常曲率空间，至多相差李代数同构。
• 滚动系统可自然推广至嘉当几何，统一了不同维数流形及伪黎曼情形下的滚动，基于展开与联络理论形成统一框架。
• 在三维情形，滚动系统的轨道维数可为 3、6、7、8 或 9，表明其具有丰富的几何与可控性结构。