[论文解读] Revisiting Legendre transformations in Finsler geometry

Ernesto Rodrigues, Iarley P. Lobo|arXiv (Cornell University)|Aug 24, 2022

Advanced Differential Geometry Research被引用 4

一句话总结

本文建立了一套严格、坐标无关的框架，用于描述哈密顿力学与芬斯勒几何之间的勒让德变换，证明了哈密顿超曲面在余切从丛上与切从丛上芬斯勒函数之间映射的必要且充分条件，使得它们的测地线轨迹完全一致。关键贡献在于，将相容的哈密顿量与一族芬斯勒函数之间建立了一一对应关系，通过闵可夫斯基泛函和浸入条件进行了显式刻画。

ABSTRACT

We discuss the conditions for mapping the geometric description of the kinematics of particles that probe a given Hamiltonian in phase space to a description in terms of Finsler geometry (and vice-versa).

研究动机与目标

• 阐明相空间中的哈密顿量通过勒让德变换映射为芬斯勒几何描述的数学条件。
• 识别出由给定哈密顿量诱导出的芬斯勒函数的必要且充分条件，确保其轨迹（测地线/轨迹）完全一致。
• 为连接哈密顿与芬斯勒结构的勒让德变换提供一种坐标无关、内在的微分几何处理方法。
• 刻画闵可夫斯基泛函及其诱导的超曲面（指示曲面）在建立哈密顿与芬斯勒形式对偶性中的作用。
• 在相关映射满足正则性与嵌入条件的前提下，确立由哈密顿量诱导出的芬斯勒函数的存在性与唯一性。

提出的方法

• 在无限维变分法中使用拉格朗日乘子法，推导余切从丛子流形上的极值曲线。
• 应用闵可夫斯基泛函理论，从切从丛中的超曲面定义芬斯勒函数，确保其齐次性与正定性。
• 引入一个从哈密顿量的指示曲面到切从丛单位球面的映射 φ，利用哈密顿量的微分定义一个向量场。
• 证明诱导出的芬斯勒函数 L 可通过 φ 作用于指示曲面的像集恢复，关系式为 |L(v)| = [P(v)·v]^2，其中 P 为从像集到切空间的投影映射。
• 证明当映射 φ 为嵌入时，勒让德变换是哈密顿量族与芬斯勒函数族之间的同构。
• 运用微分几​​何工具，如切空间、法向量与浸入理论，验证芬斯勒结构的定义良好性与唯一性（符号除外）。

实验结果

研究问题

• RQ1 在何种条件下，余切从丛上的哈密顿函数可通过勒让德变换转化为切从丛上的芬斯勒函数，使其测地线轨迹完全一致？
• RQ2 芬斯勒函数需具备何种几何与解析性质，才能由哈密顿量诱导，反之亦然？
• RQ3 如何以坐标无关、内在的方式表述哈密顿与芬斯勒结构之间的勒让德变换？
• RQ4 闵可夫斯基泛函及其关联的指示曲面在建立哈密顿与芬斯勒形式对偶性中起何种作用？
• RQ5 由给定哈密顿量导出的芬斯勒函数的存在性与唯一性的必要且充分条件是什么？

主要发现

• 当哈密顿量的指示曲面到切从丛的关联映射 φ 为嵌入时，哈密顿量若且唯若可诱导出芬斯勒函数，从而确保芬斯勒结构的定义良好且唯一。
• 芬斯勒函数 L 可通过 φ 作用于指示曲面的像集完全恢复，关系式为 |L(v)| = [P(v)·v]^2，其中 P 为从像集到切空间的投影。
• 哈密顿量的轨迹（由哈密顿-雅可比方程定义）与诱导出的芬斯勒度量的测地线完全一致，确立了物理等价性。
• 芬斯勒函数由哈密顿量唯一确定（符号除外），且所有此类芬斯勒函数构成一个以质量为参数的单参数族，与粒子轨迹一致。
• 该构造对所有 v ∈ Λ \− L⁻¹(0) 成立，该集合在切从丛中稠密，连续性保证了 L 在整个空间上的完整恢复。
• 通过沿指示曲面上的曲线 β 微分约束 L(β(t)) = ±1，证明了 v 在 w 处正交于像曲面 S* 的切空间，从而确认了变换的几何一致性。