[论文解读] Rolling balls over spheres in R^n

Božidar Jovanović|arXiv (Cornell University)|Apr 10, 2018

Control and Dynamics of Mobile Robots参考文献 41被引用 7

一句话总结

本文研究了在 R^n 中固定 (n−1)-球面上无滑动、无扭转的 Chaplygin 球体滚动问题，将三维非完整系统推广至高维。通过特定惯性算子下的 Chaplygin 约化乘子，证明了约化系统的哈密顿化，建立了在 SO(n)-对称设定下的可积性条件与不变测度。

ABSTRACT

We study the rolling of the Chaplygin ball in $\mathbb R^n$ over a fixed $(n-1)$--dimensional sphere without slipping and without slipping and twisting. The problems can be naturally considered within a framework of appropriate modifications of the L+R and LR systems -- well known systems on Lie groups groups with an invariant measure. In the case of the rolling without slipping and twisting, we describe the $SO(n)$-Chaplygin reduction to $S^{n-1}$ and prove the Hamiltonization of the reduced system for a special inertia operator.

研究动机与目标

• 将三维橡胶 Chaplygin 球体问题推广至 R^n，研究在固定 (n−1)-球面上无滑动、无扭转的滚动行为。
• 在李群上的修正 L+R 与 LR 系统框架内表述该系统，将已知的非完整动力学推广至高维。
• 证明在特定惯性算子条件下，滚动系统存在不变测度。
• 通过 Chaplygin 约化乘子证明约化系统在 T*S^{n−1} 上的哈密顿化。
• 确定约化系统可积的条件，特别是当 ε = −1 或 A 矩阵对称时。

提出的方法

• 利用 SO(n) 对称性与配置空间 SO(n) × S^{n−1} 建模滚动运动，通过微分同胚于 TSO(n) × S^{n−1} 的分布编码非完整约束。
• 引入 ε-修正的 L+R 系统，其中 ε = σ/(σ ± ρ)，关联滚动球体与固定球面的几何关系。
• 推导系统的不变测度，当惯性算子满足 I(E_i ∧ E_j) = (D a_i a_j)/(D − a_i a_j) E_i ∧ E_j 时形式得以简化，其中 D = mρ²。
• 应用 Chaplygin 约化消除 SO(n) 对称性，得到在余切丛 T*S^{n−1} 上的动力学。
• 通过 Chaplygin 乘子 ν = ε(Aγ, γ)^{1/(2ε)−1} 构造时间重参数化，将系统转化为 T*S^{n−1} 上的哈密顿流。
• 验证约化动力学在变换后的辛结构下满足哈密顿方程，从而确认特定惯性算子下的哈密顿化。

实验结果

研究问题

• RQ1 能否将 R^n 中固定 (n−1)-球面上无滑动、无扭转的 Chaplygin 球体滚动问题从三维推广至高维？
• RQ2 约化系统在 T*S^{n−1} 上是否具有不变测度？其在惯性算子下的条件为何？
• RQ3 在 R^n 中，对于特定惯性算子，约化非完整系统是否可通过 Chaplygin 约化乘子实现哈密顿化？
• RQ4 当 ε 与矩阵 A 取何值时，约化系统可积？何种对称性促成此性质？
• RQ5 惯性算子 I(E_i ∧ E_j) = (D a_i a_j)/(D − a_i a_j) E_i ∧ E_j 的选择如何影响动力学与测度结构？

主要发现

• 在 S^{n−1} 上无滑动、无扭转的滚动系统可描述为 ε-修正的 L+R 系统，其中 ε = σ/(σ ± ρ)，推广了三维情形。
• 系统存在不变测度，当惯性算子满足 I(E_i ∧ E_j) = (D a_i a_j)/(D − a_i a_j) E_i ∧ E_j 时，形式得以简化，其中 D = mρ²。
• 约化系统在 T*S^{n−1} 上可通过 Chaplygin 约化乘子 ν = ε(Aγ, γ)^{1/(2ε)−1} 实现哈密顿化，将非哈密顿流转化为哈密顿流。
• T*S^{n−1} 上的哈密顿向量场与原始非哈密顿向量场通过乘子 ν 成比例，证实了哈密顿化。
• 当 ε = −1 且 A 为任意对称矩阵，或当 ε ≠ −1 且 A 具有额外对称性时，约化系统完全可积。
• 系统在不变环面上的动力学表现为拟周期运动，形式为 ˙φ_i = ω_i / Φ(φ_1,…,φ_m)，其中 Φ > 0，与 Euler–Jacobi 可积性一致。