[论文解读] Curvature: a variational approach

Andrei Agrachev, Davide Barilari+1 more|arXiv (Cornell University)|Jun 22, 2013

Advanced Differential Geometry Research参考文献 39被引用 15

一句话总结

本文通过分析最优控制代价函数的渐近行为，提出了一种统一的变分曲率定义，适用于黎曼几何、次黎曼几何、芬斯勒几何及次芬斯勒几何。该曲率源于测地线代价函数的二阶变分，并通过雅可比曲线导出的曲率算子编码，推广了黎曼截面曲率，提供了一种直接的、类似黎曼的构造方法，即使在非光滑或次黎曼情形下也成立。

ABSTRACT

The curvature discussed in this paper is a rather far going generalization of the Riemannian sectional curvature. We define it for a wide class of optimal control problems: a unified framework including geometric structures such as Riemannian, sub-Riemannian, Finsler and sub-Finsler structures; a special attention is paid to the sub-Riemannian (or Carnot-Caratheodory) metric spaces. Our construction of the curvature is direct and naive, and it is similar to the original approach of Riemann. Surprisingly, it works in a very general setting and, in particular, for all sub-Riemannian spaces.

研究动机与目标

• 将黎曼截面曲率推广至由最优控制问题产生的广泛几何结构类别。
• 通过测地线代价函数在参考测地线附近的渐近行为，内在地定义曲率。
• 为次黎曼、芬斯勒及线性二次控制系建立统一的框架。
• 通过代价函数的二阶微分与雅可比曲线，提供曲率的几何解释。
• 证明曲率算子在状态反馈变换下不变，并在次黎曼伸缩变换下齐次。

提出的方法

• 定义测地线代价函数 $ c_t(x) = -\frac{1}{2t} \mathsf{d}^2(x, \gamma(t)) $，其中 $ \gamma(t) $ 为测地线，并研究其在 $ t \to 0 $ 时的渐近展开。
• 计算 $ c_t $ 在 $ x_0 $ 处的二阶微分，得到编码曲率信息的二次型。
• 将雅可比曲线构造为拉格朗日格拉斯曼流形中的曲线，表示沿测地线的二阶变分演化。
• 利用哈密顿内积，从雅可比曲线的谱性质定义规范标架与曲率算子 $ \mathcal{I}_\lambda $。
• 应用庞特里亚金最大值原理与等正则测地线理论，确保构造的正则性与不变性。
• 通过特权坐标中的渐近展开，建立曲率算子与测地线代价函数的次拉普拉斯算子之间的联系。

实验结果

研究问题

• RQ1 是否可以为所有由最优控制问题产生的测地线几何结构定义统一的曲率概念？
• RQ2 次黎曼流形的曲率如何从测地线代价函数的渐近行为中涌现？
• RQ3 代价函数的二阶变差在雅可比曲线及其谱性质方面的几何意义是什么？
• RQ4 曲率算子与次黎曼几何中经典不变量（如切点与共轭点轨迹）有何关系？
• RQ5 曲率算子在状态反馈变换下是否不变，且在次黎曼伸缩变换下是否齐次？

主要发现

• 曲率算子 $ \mathcal{I}_\lambda $ 对于等正则测地线是良定义的，且在状态反馈变换下不变。
• 在海森堡群中，曲率算子为常数且可显式计算，得出非零曲率，推广了黎曼截面曲率。
• 测地线代价函数的渐近展开揭示了一个二次项，其黑塞矩阵与曲率算子 $ \mathcal{I}_\lambda $ 直接相关。
• 曲率算子在次黎曼伸缩变换下为 -1 次齐次，反映了几何的内在缩放特性。
• 在三维接触次黎曼结构中，曲率算子完全由增长向量与规范标架决定，且与已知的度量不变量一致。
• 在 $ x_0 $ 处，测地线代价函数的二阶微分为 $ \frac{1}{2} \| W_{x_0,\gamma(t)}^t - W_{x,\gamma(t)}^t \|^2 $（至多相差一个常数），为曲率提供了物理解释：即在相遇点处相对速度发散的度量。