[论文解读] Minimal geodesics on GL(n) for left-invariant, right-O(n)-invariant Riemannian metrics

Robert J. Martin, Patrizio Neff|arXiv (Cornell University)|Sep 27, 2014

Advanced Differential Geometry Research参考文献 13被引用 3

一句话总结

本文通过仅使用变分法和经典分析，提供了在 GL(n) 上左不变、右 O(n)-不变黎曼度量下测地线及其距离的自包含且易于理解的推导。关键结果是测地线的显式参数化，以及测地线距离的全局表征：即右柯西-格林张量矩阵对数的范数，该结果与非线性弹性力学中的 Hencky 应变能直接关联。

ABSTRACT

We provide an easy approach to the geodesic distance on the general linear group GL(n) for left-invariant Riemannian metrics which are also right-O(n)-invariant. The parametrization of geodesic curves and the global existence of length minimizing geodesics are deduced using simple methods based on the calculus of variations and classical analysis only. The geodesic distance is discussed for some special cases and applications towards the theory of nonlinear elasticity are indicated.

研究动机与目标

• 提供一种简化且易于理解的测地线曲线与距离在 GL(n) 上的推导，不依赖于高级微分几何。
• 建立 GL(n) 上左不变、右 O(n)-不变黎曼度量下长度最小化测地线的全局存在性与唯一性。
• 通过能量最小化导出的测地线方程的解，显式参数化测地线曲线。
• 将测地线距离与对数应变张量关联，并展示其在非线性弹性中的相关性。
• 为在特殊情形下计算测地线距离奠定基础，并识别 GL(n) 与 SO(n) 在此类度量下的几何中尚待解决的问题。

提出的方法

• 通过能量泛函上的变分法，推导 GL(n) 上一般左不变、右 O(n)-不变黎曼度量的测地线方程。
• 利用矩阵指数与对数，将测地线曲线参数化为对称正定矩阵与正交变换的形式。
• 应用极分解 $ F = R U $，其中 $ R o ext{SO}(n) $，$ U = ext{Sym}^+(n) $，并证明到 SO(n) 的测地线距离仅依赖于 $ ext{dev} ext{log}(U) $ 和 $ ext{tr} ext{log}(U) $。
• 将测地线距离表征为 $ ext{dist}_{ ext{geod}}(F, ext{SO}(n)) = ig\| ext{log} ig( ext{sym}(F^T F)^{1/2} ig) igig floor_{ ext{metric}} $，其中使用加权 Frobenius 范数。
• 利用经典分析和矩阵对数的性质，证明能量极小化器（即长度最小化测地线）的全局存在性与唯一性。
• 证明到 SO(n) 的测地线距离等于 Hencky 应变能，从而将黎曼几何与超弹性理论直接关联。

实验结果

研究问题

• RQ1 能否仅通过初等变分法，显式参数化左不变、右 O(n)-不变黎曼度量下 GL(n) 上的测地线曲线与距离？
• RQ2 在这些度量下，GL(n) 上长度最小化测地线的全局结构如何？它们是否始终存在？
• RQ3 到特殊正交群 SO(n) 的测地线距离如何与非线性弹性中的对数应变张量相关？
• RQ4 GL⁺(n) 中两个矩阵之间的测地线距离是否可显式求解？是否存在可显式计算的特殊情况？
• RQ5 在这些度量下，GL(n) 与 SO(n) 的几何性质如何？例如曲率或非局部距离行为？

主要发现

• 任意 $ F \to \text{SO}(n) $ 的测地线距离为 $ \big\big\rfloor \text{log} \big( \text{sym}(F^T F)^{1/2} \big) \big\big\rfloor_{\text{metric}} $，其中范数由参数 $ \nu, \nu_c, \nu $ 定义的各向同性内积确定。
• 到 SO(n) 的测地线距离与 Hencky 应变能 $ W(F) = \nu \big\rfloor \text{dev} \text{log} \big( \text{sym}(F^T F)^{1/2} \big) \big\rfloor^2 + \frac{\nu_c}{n} \big[ \text{tr} \text{log} \big( \text{sym}(F^T F)^{1/2} \big) \big]^2 $ 一致。
• 测地线曲线的参数化由测地线方程的解 $ U(t) $ 显式给出，其演化形式为 $ U(t) = \text{exp}(tM) $，其中 $ M \to \text{Sym}(n) $，且 $ M $ 由初始条件确定。
• 对于这些度量，长度最小化测地线在 GL⁺(n) 上全局存在，其存在性由能量泛函的凸性与紧致性论证保证。
• 该结果对所有 $ F \to \text{GL}^+(n) $ 全局成立，即使 $ \big\rfloor F - \boldsymbol{\text{1}} \big\rfloor $ 较大，确认测地线距离公式 (5.20) 无需局部限制即有效。
• 本文证明，到 SO(n) 的测地线距离与极分解 $ F = R U $ 中的旋转部分 $ R $ 无关，仅依赖于对称部分 $ U $。