测地线的驻值与曲率累积

作者： 张苏杭

摘要

本文整理黎曼几何中两个常被分开讲授的内容：测地线的变分驻值定义，以及曲率沿测地线的累积效应。科普表述常把费马原理简化为“光程最短”，严格表述应为“光程驻值”。本文说明这一区分的含义，并用测地线偏离方程（Jacobi 方程）说明：曲率改变的是驻值解的几何形态，不改变“解必须满足驻值条件”这一事实。本文不声称新定理，目标是提供一个清楚的对照框架。

关键词：测地线；变分驻值；Jacobi 方程；曲率累积

---

1 引言

几何光学中的费马原理常被通俗表述为“光线走最短路径”。严格地说，费马原理要求的是光程泛函的变分驻值：

\delta\int n\,ds=0

驻值条件包含极小、极大与鞍点三类稳态解。在平直空间中，驻值解恰好都是极小解，因此“最短”在平直情形下是成立的通俗说法。在一般弯曲空间中，驻值解不保证极小，“最短”不再普遍成立，但“驻值”仍然成立。

本文的目的不是推翻任何现有理论，而是把上述区分与曲率累积的机制放在同一个叙述里，使“驻值条件不因曲率而失效”这一点一次看清。

2 测地线的驻值定义

黎曼流形 (M,g) 中，测地线定义为弧长泛函的变分零点：

\delta\int_\gamma ds=0

这一定义直接给出：测地线满足驻值条件。这是定义层面的陈述，不需要额外证明。

平直空间与弯曲空间的差别在于驻值解的类型，而不在于是否满足驻值：

· 平直欧氏空间：曲率处处为零，全部驻值解都是极小解，直线是唯一全局极小。

· 一般黎曼流形：驻值解包含极小、极大与鞍点，测地线只保证驻值，不保证极小。

3 曲率累积：测地线偏离方程

两条邻近测地线的相对加速度由 Jacobi 方程描述：

\frac{D^2\xi^\mu}{d\lambda^2}

=

-R^\mu_{\ \nu\rho\sigma}u^\nu\xi^\rho u^\sigma

其中 \xi^\mu 是两测地线之间的偏离向量，u^\nu 是切向量，R^\mu_{\ \nu\rho\sigma} 是黎曼曲率张量。

这个方程说明的机制是分层的：

1. 曲率是局域逐点定义的几何量；

2. 每行进一段微元弧长，局域曲率产生微元偏折；

3. 无穷多微元偏折沿轨道连续累积，形成宏观的弯曲光路；

4. 整个累积过程始终在 \delta\int ds=0 的全局约束下进行。

换言之：曲率改变的是驻值解的形态，不是驻值条件本身。

4 一个对照框架

把上述内容放在一起，可以得到一个简单的对照：

层面 平直空间 弯曲空间

变分条件 \delta\int ds=0 \delta\int ds=0

驻值解类型 全部为极小 极小、极大、鞍点

曲率作用 无 改变驻值解形态

通俗表述 “最短”成立 “最短”不普遍成立，“驻值”成立

这个对照想说明的只有一件事：驻值条件是全局约束，曲率是局域塑形机制，两者不在同一层面，因此不构成矛盾。

5 结论

本文整理了测地线的驻值定义与曲率累积的 Jacobi 方程描述，并把两者放在同一个对照框架中。核心陈述是：测地线由驻值条件定义；曲率改变驻值解的几何形态，不改变驻值条件；科普层面的“光程最短”应理解为平直空间特例下的通俗简化。本文不声称新定理，目标是为教学提供一个清楚的表述顺序。

参考文献

[1] do Carmo, M. P. Riemannian Geometry. Birkhäuser, 1992.

[2] Weinberg, S. Gravitation and Cosmology. Wiley, 1972.

[3] Misner, C. W., Thorne, K. S., Wheeler, J. A. Gravitation. Freeman, 1973.

---