[论文解读] Geometric conditions for the existence of an intrinsic rolling

Mauricio Godoy Molina, Erlend Grong|arXiv (Cornell University)|Nov 3, 2011

Advanced Differential Geometry Research参考文献 10被引用 6

一句话总结

本文建立了两个黎曼流形之间无滑动、无扭转的内在滚动运动存在的几何条件。证明了当且仅当流形中对应曲线的测地曲率一致时，此类滚动存在，并通过反发展（anti-developments）将该结论推广至绝对连续曲线。主要贡献在于利用内蕴微分几何对滚动存在的条件进行了完整刻画，其应用包括环路提升与配置空间拓扑。

ABSTRACT

We give a complete answer to the question of when two curves in two different Riemannian manifolds can be seen as trajectories of rolling one manifold on the other without twisting or slipping. We show that up to technical hypotheses, a rolling along these curves exists if and only if the geodesic curvatures of each curve coincide. By using the anti-developments of the curves, which we claim can seen of as a generalization of the geodesic curvatures, we are able to extend the result to arbitrary absolutely continuous curves. For a manifold of constant sectional curvature rolling on itself, two such curves can only differ by an isometry. In the case of surfaces, we give conditions for when loops in the manifolds lift to loops in the configuration space of the rolling.

研究动机与目标

• 确定两个不同黎曼流形中的曲线在何种必要且充分的几何条件下可被实现为无滑动或无扭转滚动运动的轨迹。
• 通过反发展（anti-development）概念，将经典测地曲率概念推广至一般绝对连续曲线。
• 刻画流形中一条闭合曲线（环路）在滚动运动的配置空间中何时可提升为一条闭合曲线，尤其针对曲面情形。
• 提供一种内在的、与坐标无关的滚动框架，避免依赖于在欧几里得空间中的外蕴嵌入。
• 基于弗雷内标架（Frenet frames）与曲率数据，为高维情形提供一种构造性滚动算法。

提出的方法

• 本文采用无坐标、内在的滚动映射表述，将滚动定义为保持度量与联络结构、无扭转或无滑动的运动。
• 引入曲线的反发展（anti-development）作为测地曲率的推广，使仅几乎处处可导的曲线也能被处理。
• 对于 $ C^n $-正则曲线，方法利用弗雷内标架与曲率函数 $ \kappa_1(t), \dots, \kappa_{n-1}(t) $，在模型流形 $ \widehat{M} $ 中构造目标曲线 $ \widehat{x}(t) $。
• 滚动变换 $ q(t) $ 通过平行移动与标架对齐定义，确保 $ q(t)v_j(t) = \widehat{v}_j(t) $，其中 $ v_j $ 与 $ \widehat{v}_j $ 为弗雷内向量场。
• 正交标架 $ a(t) \in \mathrm{SO}(n) $ 的演化由如下常微分方程组控制：$ \dot{a} = aK - \sum_s a_{s1} \widehat{\Gamma}_s a $，其中 $ K $ 为曲率的三对角反对称矩阵。
• 针对 $ \mathbb{R}^n $、$ S^n $ 与 $ \mathrm{SU}(2) $ 等模型空间，推导出显式解，由于对称性或常数克里斯托费尔符号，方程得以简化。

实验结果

研究问题

• RQ1 在何种几何条件下，两个不同黎曼流形中的曲线可被实现为无滑动或无扭转滚动运动的轨迹？
• RQ2 如何将测地曲率概念推广至可能不存在良好定义的弗雷内标架的绝对连续曲线？
• RQ3 在黎曼流形中，一条闭合曲线（环路）在滚动运动的配置空间中何时可被提升为一条闭合曲线？
• RQ4 如何对抽象黎曼流形之间的滚动映射进行内在刻画，且独立于其在欧几里得空间中的嵌入？
• RQ5 如何仅基于源流形中曲线与曲率数据，算法性地构造两个流形之间的滚动运动？

主要发现

• 在技术正则性假设下，两个黎曼流形之间的滚动运动存在，当且仅当对应曲线的测地曲率一致。
• 对于 $ C^n $ 类与 $ C^{n-1} $-正则的曲线，滚动存在的条件等价于在目标流形中存在一条具有匹配弗雷内曲率与初始标架方向的曲线。
• 曲线的反发展推广了测地曲率，使得滚动存在的条件可扩展至绝对连续曲线。
• 对于曲面，当且仅当环路的总全息（积分曲率）平凡时，即全息为初始标架的等距变换时，环路才可被提升为配置空间中的闭合曲线。
• 在常截面曲率流形自身滚动的情形下，两条曲线仅能通过等距变换相联系，反映了此类几何的刚性。
• 在 $ \mathbb{R}^n $、$ S^n $ 与 $ \mathrm{SU}(2) $ 中，推导出滚动运动的显式解，正交标架 $ a(t) $ 的演化由依赖于曲率矩阵 $ K(t) $ 与克里斯托费尔符号的常微分方程控制。