[论文解读] Nonholonomic systems via moving frames: Cartan equivalence and Chaplygin Hamiltonization

Kurt Ehlers, Jair Koiller+2 more|arXiv (Cornell University)|Aug 2, 2004

Control and Dynamics of Mobile RobotsEngineering被引用 20

一句话总结

本文提出一种基于活动标架的非完整系统方法，利用嘉当等价法推导非完整联络的几何不变量，并确立通过时间重参数化使 Chaplygin 系统实现哈密顿化的条件。关键贡献在于识别出哈密顿化的充要条件——存在不变体积形式——并证明即使在约化至 $T^*S^2$ 后，'橡胶' Chaplygin 球仍可实现哈密顿化，而 '弹珠' 版本则不可。该框架统一了非完整系统中几何力学、微分不变量与辛约化的方法。

ABSTRACT

A nonholonomic system consists of a configuration space Q, a Lagrangian L, and an nonintegrable constraint distribution H, with dynamics governed by Lagrange-d'Alembert's principle. We present two studies both using adapted moving frames. In the first study we apply Cartan's method of equivalence to investigate the geometry underlying a nonholonomic system. As an example we compute the differential invariants for a nonholonomic system on a four-dimensional configuration manifold endowed with a rank two (Engel) distribution. In the second part we study G-Chaplygin systems. These are systems where the constraint distribution is given by a connection on a principal fiber bundle with total space Q and base space S=Q/G, and with a G-equivariant Lagrangian. These systems compress to an almost Hamiltonian system on $T^{*}S$. Under an $s \in S$ dependent time reparameterization a number of compressed systems become Hamiltonian. A necessary condition for Hamiltonization is the existence of an invariant measure on the original system. Assuming an invariant measure we describe the obstruction to Hamiltonization. Chaplygin's "rubber" sphere, a ball with unequal inertia coefficients rolling without slipping or spinning (about the vertical axis) on a plane is Hamiltonizable when compressed to $T^{*}SO(3)$. Finally we discuss reduction of internal symmetries. Chaplygin's "marble" (where spinning is allowed) is not Hamiltonizable when compressed to $T^{*}SO(3)$; we conjecture that it is also not Hamiltonizable when reduced to $T^{*}S^{2}$.

研究动机与目标

• 开发一种基于活动标架与嘉当等价法的非完整系统几何框架。
• 通过仿射联络分析 Engel (2-4) 分布这一非强非完整情形的非完整几何。
• 确定 $G$-Chaplygin 系统通过时间重参数化实现哈密顿化的条件。
• 研究不变体积形式在压缩非完整系统实现哈密顿化中的作用。
• 探讨 Chaplygin 系统中内禀对称性的约化，特别是弹珠与橡胶球模型。

提出的方法

• 应用嘉当等价法计算非完整联络的局部几何不变量，将 NH-轨线视为非度量联络 $\nabla_{NH}$ 的测地线。
• 使用自适应活动标架（拟坐标）以结构系数 $\gamma^i_{kj}$ 表达拉格朗日量与动力学，从而推导联络形式。
• 将压缩动力学表述为 $T^*S = T^*(Q/G)$ 上的近似哈密顿系统，其形式为非闭的 $\Omega_{NH} = \Omega_{\text{can}} + (J \cdot K)$，其中 $J$ 为动量映射，$K$ 为曲率形式。
• 引入依赖于 $s \in S$ 的时间重参数化因子，以判断 $\Omega_{NH}$ 是否成为共形辛形式，即 $\Omega_{NH} = \rho \cdot \Omega_{\text{can}}$，其中 $\rho$ 为某密度函数。
• 利用原系统中不变体积形式的存在性构造候选共形因子 $\rho$，并推导哈密顿化障碍为 $d(J \cdot K)$ 的上同调条件。
• 将该框架应用于具体系统：Veselova 系统及 Chaplygin 的橡胶球与弹珠球，分析其在不同约化层级下的可压缩性与哈密顿化特性。

实验结果

研究问题

• RQ1 在何种几何条件下，非完整联络 $\nabla_{NH}$ 与黎曼度量的 Levi-Civita 联络共形等价？
• RQ2 压缩后的非完整系统在 $T^*S$ 上何时为哈密顿系统，即在时间重参数化后 $\Omega_{NH}$ 是否成为辛形式？
• RQ3 不变体积形式在实现 $G$-Chaplygin 系统哈密顿化中起何作用？
• RQ4 为何 '橡胶' Chaplygin 球可实现哈密顿化，而 '弹珠' 版本即使在约化至 $T^*SO(3)$ 后仍不可？
• RQ5 嘉当等价法所得的几何不变量是否可与 $G$-Chaplygin 系统中哈密顿化障碍建立联系？

主要发现

• 对于自然拉格朗日量，非完整联络 $\nabla_{NH}$ 被证明可模拟 Levi-Civita 联络，其几何不变量通过嘉当等价法对 Engel (2-4) 分布进行计算。
• 对于 $G$-Chaplygin 系统，$T^*S$ 上的压缩动力学由一个近似哈密顿系统控制，其形式为非闭的 $\Omega_{NH} = \Omega_{\text{can}} + (J \cdot K)$，其中一般有 $d(J \cdot K) \neq 0$。
• 哈密顿化的必要条件是原系统中存在不变体积形式；其密度可提供时间重参数化下的候选共形因子 $\rho$。
• '橡胶' Chaplygin 球（惯性系数不等且无竖直转动）在压缩至 $T^*SO(3)$ 后可实现哈密顿化，因为其在不变体积下 $d(J \cdot K)$ 恒为零。
• Chaplygin 的 '弹珠'（允许竖直转动）在 $T^*SO(3)$ 层次上不可哈密顿化，作者推测其在约化至 $T^*S^2$ 后仍保持非哈密顿化，原因在于 $d(J \cdot K)$ 不为零。
• 本文建立了嘉当不变量与哈密顿化障碍之间的几何联系，暗示非完整系统中等价不变量与辛约化之间存在更深层次的关联。