[论文解读] Some applications of differential geometry in the theory of mechanical systems

Mikhail P. Kharlamov|arXiv (Cornell University)|Jan 31, 2014

Advanced Theoretical and Applied Studies in Material Sciences and Geometry参考文献 2被引用 4

一句话总结

本文提出了一套用于具有科里奥利力的机械系统的不变微分几何框架，利用曲率形式与辛结构，将拉格朗日与哈密顿力学进行推广。结果表明，在轴对称条件下，简化后的刚体运动表现出的科里奥利力是动量常数、2-球面体积形式与一个正函数的乘积，其轨迹因受动量常数决定的符号相关曲率影响而偏离测地线。

ABSTRACT

In the paper, some concepts of modern differential geometry are used as a basis to develop an invariant theory of mechanical systems, including systems with gyroscopic forces. An interpretation of systems with gyroscopic forces in the form of flows of a given geodesic curvature is proposed. For illustration, the problem of the motion of a rigid body about a fixed point in an axially symmetric force field is examined. The form of gyroscopic forces of the reduced system is calculated. It is shown that this form is a product of the momentum constant, the volume form of the 2-sphere, and an explicitly written everywhere positive function on the sphere.

研究动机与目标

• 开发一种基于现代微分几何的不变、无坐标系的机械系统表述方法，超越传统的拉格朗日与哈密顿框架。
• 以全局一致的方式将机械系统理论推广至包含科里奥利力的情形，避免对局部坐标系的依赖。
• 将具有科里奥利力的系统解释为在曲面流形上具有恒定测地曲率的流动，特别是在对称构型下。
• 利用不变几何结构分析固定点处轴对称场中刚体的简化动力学。

提出的方法

• 本文将自然机械系统定义为三元组 (M, m, V)，其中 M 为配置流形，m 为黎曼度量，V 为势能函数，动能由度量导出。
• 引入拉格朗日 1-形式 θ 及其外微分 σ = dθ，为切丛 T(M) 赋予辛结构，从而实现哈密顿表述。
• 对于具有科里奥利力的系统，本文将其建模为四元组 (M, m, V, κ)，其中 κ 为表示科里奥利力场的闭合 2-形式。
• 通过对称性约化构造在 2-球面 S² 上的约化系统，其中度量 m̃ 与修正势能 Ṽ_k 由原系统的不变量导出。
• 利用 SO(3) 上的左不变 1-形式 ωᵢ 计算连接 J₀ 的曲率形式 g，其在水平子空间上的限制即为科里奥利力形式。
• 最终证明科里奥利力的形式与 S² 上的体积形式成正比，比例系数依赖于惯性主矩与动量常数 k。

实验结果

研究问题

• RQ1 如何利用微分几何，以全局不变、无坐标系的方式表述具有科里奥利力的机械系统？
• RQ2 能否将固定点处轴对称场中刚体的约化动力学描述为 S² 上具有科里奥利力的机械系统？
• RQ3 约化系统中科里奥利力的几何本质是什么？其与曲率和辛结构有何关联？
• RQ4 约化系统轨迹如何偏离测地线？这种偏离的方向由什么决定？

主要发现

• 在轴对称场中关于固定点的刚体约化系统是 S² 上具有科里奥利力的机械系统，其特征为共形等价度量 m̃ 与修正势能 Ṽ_k。
• 科里奥利力的形式被证明为 k·g̃ = k 乘以 S² 的体积形式，并乘以一个正函数，该函数显式地由惯性主矩与角动量分量构成的有理表达式给出。
• 体积形式前的系数在 S² 上符号恒定，这是由于惯性主矩满足三角不等式，从而确保科里奥利力在全局范围内定义良好且非退化。
• 在能量常数 h 下，约化系统的轨迹在度量 m̃_h 下无拐点，且相对于测地线路径向右（k > 0）或向左（k < 0）偏转。
• 曲率形式 g 限制在水平子空间上的表达式由 SO(3) 上的左不变 1-形式导出，其表达式涉及 αᵢ 的导数与 ωᵢ⁰，且利用约束条件 I₁α₁ω₁⁰ + I₂α₂ω₂⁰ + I₃α₃ω₃⁰ = 0 对最终表达式进行简化。
• 整个几何结构在对称群作用下保持不变，且该表述避免使用局部坐标，完全依赖于形式、联络与曲率等内在微分几何时空对象。