[论文解读] To square root the Lagrangian or not: an underlying geometrical analysis on classical and relativistic mechanical models

B. F. Rizzuti, G. F. Vasconcelos Júnior+1 more|arXiv (Cornell University)|May 1, 2019

Dynamics and Control of Mechanical Systems被引用 4

一句话总结

本文分析了经典力学与相对论力学中两种拉格朗日形式之间的基本几何差异：一种是最小化弧长（S₁ = ∫√g(V,V)dτ），另一种是极值化动能（S₂ = ∫½g(V,V)dτ）。尽管在固定速度约束下两者均导出相同的运动方程，但前者由于重参数化不变性而缺乏物理时间的解释，揭示了隐藏的约束结构。主要贡献在于通过几何证明表明，诸如赫兹无力力学中的辅助自由度可通过基灵矢量场分析一致地消除，从而解决了非唯一性与对称性破缺问题。

ABSTRACT

The geodesic has a fundamental role in physics and in mathematics: roughly speaking, it represents the curve that minimizes the arc length between two points on a manifold. We analyze a basic but misinterpreted difference between the Lagrangian that gives the arc length of a curve and the one that describes the motion of a free particle in curved space. Although they provide the same formal equations of motion, they are not equivalent. We explore this difference from a geometrical point of view, where we observe that the non-equivalence is nothing more than a matter of symmetry. As applications, some distinct models are studied. In particular, we explore the standard free relativistic particle, a couple of spinning particle models and also the forceless mechanics formulated by Hertz.

研究动机与目标

• 阐明在弯曲空间中，尽管运动方程相同，平方根拉格朗日量与非平方根拉格朗日量之间存在的非等价性。
• 识别重参数化不变性与第一类约束在区分物理自由度与非物理自由度中的作用。
• 通过基灵矢量场提供一种几何依据，以消除赫兹无力力学等模型中的辅助变量。
• 证明物理空间中的力在形式上虽为自由运动，却对应于扩展弯曲流形中的对称性破缺。

提出的方法

• 在(伪-)黎曼流形上使用微分几何方法，比较两个作用量泛函：S₁ = ∫√g(V,V)dτ 与 S₂ = ∫½g(V,V)dτ。
• 应用列维-奇维塔联络与测地线方程，从两个作用量推导出运动方程。
• 识别由于重参数化不变性导致平方根作用量中出现第一类约束，表明存在非物理自由度。
• 利用基灵矢量场分析赫兹形式中扩展流形的对称性，特别关注辅助变量 X。
• 证明当存在力时，∂X 不是基灵矢量场，意味着扩展空间中的对称性被破坏。
• 将解从扩展流形投影到物理空间，展示非唯一性，并为辅助自由度的移除提供依据。

实验结果

研究问题

• RQ1 在何种条件下，尽管存在几何与动力学上的差异，平方根拉格朗日量与非平方根拉格朗日量是等价的？
• RQ2 S₁ 中的重参数化不变性如何导致非物理自由度？这一问题在 S₂ 中如何解决？
• RQ3 为何赫兹无力力学中的辅助变量 X 不参与物理动力学？其几何依据为何？
• RQ4 基灵矢量场在识别扩展流形中的物理对称性以及消除非物理自由度方面起何作用？
• RQ5 原空间中物理力的存在如何在扩展的弯曲流形中表现为对称性破缺效应？

主要发现

• 平方根作用量 S₁ 具有重参数化不变性并包含第一类约束，表明存在非物理自由度；而 S₂ 破坏此对称性，并为演化参数赋予物理意义。
• 仅当施加约束 g(V,V) = const 时，两个作用量才导出相同的运动方程，证明其等价性是条件性的。
• 在赫兹形式中，辅助变量 X 并非物理量，因为矢量场 ∂X 不是基灵矢量场，表明其破坏了各向同性。
• 包含 X 方向的固定轴旋转并非扩展流形的等距变换，证实 ∂X 具有特殊地位，应从物理动力学中排除。
• 原系统中物理力的存在意味着即使粒子在扩展空间中为自由运动，∂X 也不是该空间的对称生成元。
• 建立了一项几何证明：X 的不同初始值投影到同一物理轨迹上，从而为通过投影移除辅助自由度提供合理依据。