[论文解读] Jacobi fields in nonholonomic mechanics

Alexandre Anahory Simoes, Juan Carlos Marrero+1 more|arXiv (Cornell University)|Apr 22, 2020

Advanced Differential Geometry Research参考文献 30被引用 5

一句话总结

本文通过非完整测地线的无穷小变分，提出了非完整力学中雅可比场的严格几何定义，建立了非完整雅可比方程的两种等价形式：一种通过系统的完全提升，另一种利用非完整联络的曲率与挠率。主要贡献在于首次系统地建立了非完整系统中雅可比场的理论，将黎曼几何概念扩展至不可积约束情形。

ABSTRACT

In this paper, we define Jacobi fields for nonholonomic mechanics using a similar characterization than in Riemannian geometry. We give explicit conditions to find Jacobi fields and finally we find the nonholonomic Jacobi equations in two equivalent ways: the first one, using an appropriate complete lift of the nonholonomic system and, in the second one, using the curvature and torsion of the associated nonholonomic connection.

研究动机与目标

• 将雅可比场理论——黎曼几何中的核心概念——推广至具有不可积约束的非完整力学系统。
• 将非完整雅可比场定义为非完整测地线的无穷小变分，区别于约束分布的截面。
• 通过系统完全提升与非完整联络的曲率和挠率，以两种等价方式推导非完整雅可比方程。
• 为利用指数映射研究非完整测地线的共轭点与最小化性质奠定基础。
• 为未来对对称非完整系统的约化理论及子黎曼几何的推广铺平道路。

提出的方法

• 将非完整雅可比场定义为沿非完整轨迹的向量场，其来源于非完整测地线的一族单参数变分。
• 利用运动学非完整系统的完全提升，通过切丛上的提升动力学刻画雅可比场。
• 通过非完整联络推导非完整雅可比方程，引入其曲率张量与挠率张量。
• 利用约束分布及其正交补的正交投影算子，表达非完整协变导数。
• 利用切丛中的典范对合与垂直提升，建立提升系统与原始动力学之间的联系。
• 通过局部坐标计算验证两种形式的等价性，确保一致性。

实验结果

研究问题

• RQ1 鉴于非完整系统具有非变分性与不可积性，如何严格定义其雅可比场？
• RQ2 非完整雅可比方程的结构为何？其能否从几何原理出发推导？
• RQ3 非完整雅可比方程能否用非完整联络的曲率与挠率表示？
• RQ4 非完整系统的完全提升如何与雅可比场的动力学相关联？
• RQ5 该形式化对非完整测地线的共轭点与最小化性质有何影响？

主要发现

• 本文建立了非完整力学中雅可比场的几何定义，即作为非完整测地线的无穷小变分，其与约束分布的切向向量场相区别。
• 非完整雅可比方程以两种等价形式导出：一种基于系统完全提升，另一种基于非完整联络的曲率与挠率。
• 证明非完整联络与提升度量的Levi-Civita联络一致，确保在无约束极限下与黎曼几何保持一致。
• 在局部坐标下，雅可比方程被表达为包含Christoffel符号、挠率张量及势函数投影梯度的二阶微分方程。
• 该形式化使得可通过指数映射识别共轭点，并分析非完整测地线的最小化性质。
• 结果为理论向对称非完整系统及子黎曼几何的推广提供了基础。