测地线 - 概述

1. 公式
   观察依据

   x 的 μ 次方等于 x 的 μ 次方关于 λ 的函数：$x^μ = x^μ(λ)$

2. 声音
   观察依据

   讲解者指出，该曲线可用一个参数表示，我们用符号 lambda 表示该参数。

$\lambda$

用于描述测地线曲线的参数；当对所有 lambda 都有 $f(\lambda)=0$ 时，该参数进一步特化为仿射参数。

曲线的参数；视频中未明确说明其定义域。

1. 公式
   观察依据

   x 的 μ 次方等于 x 的 μ 次方关于 λ 的函数：$x^μ = x^μ(λ)$

2. 声音
   观察依据

   该曲线在时空中的每一个分量均可表示为 lambda 的函数。

$x^\mu$

该曲线在时空中的各个分量，每个均表示为参数 $\lambda$ 的函数。

时空中的曲线分量；视频未明确说明指标的取值范围。

1. 公式
   观察依据

   T 的上波浪线对 λ 的导数等于 $f(λ)$ 乘以 T 的上波浪线：dT̃/dλ = $f(λ)T$̃

2. 公式
   观察依据

   T 的上波浪号与 T 的上波浪号的点积恒等于 g 下标 i j 乘以 T 的上标 i 乘以 T 的上标 j，等于0

3. 声音
   观察依据

   其中 T~ 是测地线的切向量。

1. 幻灯片在导数方程中使用 $\tilde{T}$，但在范数表达式中却将分量写作 $T^i$ 和 $T^j$；视频未解释这一记号变化。

$\tilde{T}$

测地线的切向量。

沿测地线的切4-向量。

1. 公式
   观察依据

   T 的上波浪线对 λ 的导数等于 $f(λ)$ 乘以 T 的上波浪线：dT̃/dλ = $f(λ)T$̃

2. 公式
   观察依据

   $f(λ) = 0$ 对所有 λ 成立

3. 声音
   观察依据

   $f(\lambda)$ 是一个标量函数。

$f(\lambda)$

将切向量的变化率与切向量自身关联起来的标量比例函数。

关于曲线参数 $\lambda$ 的标量函数。

1. 公式
   观察依据

   $\tilde{T}\cdot\tilde{T} \equiv g$_{ij}T^iT^$j = 0$

2. 公式
   观察依据

   L 等于从 A 到 B 对根号下 g 下标 ij 乘以 x 点的 i 次方再乘以 x 点的 j 次方关于 λ 的积分：$L = \int$ₐᴮ √(gᵢⱼẋⁱẋʲ) dλ

3. 公式
   观察依据

   F 等于从 A 到 B 对 g 下标 ij 乘以 x 点的 i 次方再乘以 x 点的 j 次方关于 λ 的积分：$F = \int$ₐᴮ gᵢⱼẋⁱẋʲ dλ

4. 公式
   观察依据

   拉格朗日量 ℒ 等于 g 下标 ij 乘以 x 点的 i 次方再乘以 x 点的 j 次方：ℒ = gᵢⱼẋⁱẋʲ

1. 该视频未说明 g_{ij} 的对称性或符号约定。

g_{ij}

用于构造切向量的平方模以及长度和 F 的被积表达式的度规张量分量。

下标为 i、j 的张量分量。

1. 公式
   观察依据

   g 下标 ij 乘以 T 的 i 次方再乘以 T 的 j 次方：gᵢⱼTⁱTʲ

1. 展示了 $T^i$、$T^j$ 与 $\tilde{T}$ 的关系，但未作口头解释。

$T^i$,\ $T^j$

出现在缩并式 〔g_{ij}T^iT^j〕 中的切向量分量。

上标为 i、j 的向量分量。

1. 公式
   观察依据

   根号下 g 下标 ij 乘以 x 点的 i 次方再乘以 x 点的 j 次方：√(gᵢⱼẋⁱẋʲ)

2. 公式
   观察依据

   g 下标 i j 乘以 x 上标 i 的点乘再乘以 x 上标 j 的点乘

3. 声音
   观察依据

   其中导数是对参数 lambda 求导。

$\dot{x}^i$,\ $\dot{x}^j$

曲线分量对参数 $\lambda$ 的导数。

$x^\mu(\lambda)$ 的逐分量导数。

1. 公式
   观察依据

   L 等于从 A 到 B 对根号下 g 下标 i j 乘以 x 上标 i 的点乘再乘以 x 上标 j 的点乘 的积分，积分变量为 lambda

2. 声音
   观察依据

   两点 A 与 B 之间的最短距离可表示为……要求测地线曲线，我们只需最小化 L。

L

点 A 与点 B 之间的长度泛函，通过对其最小化可得到测地线曲线。

曲线的泛函。

1. 公式
   观察依据

   F 等于从 A 到 B 对 g 下标 i j 乘以 x 上标 i 的点乘再乘以 x 上标 j 的点乘 的积分，积分变量为 lambda

2. 声音
   观察依据

   最小化此处给出的 F 等价于最小化 L，且更为简便。

F

当参数 λ 为仿射参数时，该替代泛函的最小化等价于最小化 L。

曲线的泛函。

1. 公式
   观察依据

   拉格朗日量 script L 等于 g 下标 i j 乘以 x 上标 i 的点乘再乘以 x 上标 j 的点乘

2. 声音
   观察依据

   对于积分 F 的情形，拉格朗日量由该式给出。

$\mathscr{L}$

在积分 F 的欧拉-拉格朗日方程中所用的拉格朗日量。

关于 $x^k$ 与 $\dot{x}^k$ 的函数。

1. 公式
   观察依据

   克里斯托费尔符号上标 k 下标 i j

2. 声音
   观察依据

   此处我们引入了联络系数

1. 该视频未明确定义联络系数。

$\Gamma^k_{ij}$

出现在测地线方程中的联络系数。

由指标 i、j、k 标记的一组系数。

1. 公式
   观察依据

   两点之间的测地线是连接这两点的长度最短的曲线。

2. 声音
   观察依据

   我们先来定义测地线：两点之间的测地线是连接这两点的长度最短的曲线。

视频将测地线以操作性方式定义为连接两个指定点的最短长度曲线。讲解者还指出，存在其他等价定义，但本课采用的是这一版本。

1. 适用于连接两点的曲线。

2. 该定义被呈现为若干等价替代形式中的一种可用表述。

1. 公式
   观察依据

   x 上标 mu 是 lambda 的函数

2. 声音
   观察依据

   与任意曲线一样，我们可以用一个参数来表示测地线……该曲线的每个时空分量均可写为 λ 的函数。

将测地线视为时空中的曲线，并以分量形式表示为参数 λ 的函数。这为后续的切向量方程和变分公式奠定基础。

1. λ 是所选的曲线参数。

2. 每个时空分量 $x^μ$ 都表示为 λ 的函数。

1. 测地线的定义

1. 公式
   观察依据

   T 波浪线对 lambda 的导数等于 f 关于 lambda 的函数乘以 T 波浪线

2. 公式
   观察依据

   $f(λ)=0$ 对所有 λ 成立

3. 声音
   观察依据

   测地线切向量的变化率与其自身成正比……由此可定义仿射参数：即该比例函数对所有 λ 恒为零的参数。

对于测地线，其切向量满足一个带标量因子 $f(λ)$ 的比例律。仿射参数即为此比例函数恒等于零时所选取的特殊参数。

1. $\tilde{T}$ 是测地线的切向量。

2. $f(λ)$ 是参数的标量函数。

3. 仿射情形是子情形 $f(λ)=0$ 对所有 λ 成立。

1. 测地线的参数化

1. 公式
   观察依据

   测地线是类时的（类空的、零的），当且仅当它的切4-向量是类时的（类空的、零的）。

2. 声音
   观察依据

   测地线与四维向量一样，可分为类时、类空或零三种类型。一般规则是：若测地线的切四维向量为类时，则该测地线为类时；类空与零的情形依此类推。

本视频根据测地线切4-向量的因果性质——即类时、类空或零——对测地线进行分类。这一规则在三种情形下统一表述。

1. 该分类取决于测地线的切4-向量。

2. 同一规则适用于类时、类空和零三种情形。

1. 测地线的参数化

1. 公式
   观察依据

   T 波浪线与 T 波浪线的点积恒等于 g 下标 i j 乘以 T 上标 i 再乘以 T 上标 j，结果为0

2. 声音
   观察依据

   换言之，零测地线即指该点积为零的测地线。

1. 视频未定义度规符号差，也未解释为何该二次型可用来判别零向量。

零测地线由切向量模长为零来刻画。所展示的公式将该模长写作缩并形式 g_{ij}T^iT^j，并令其等于零。

1. $\tilde{T}$ 是测地线的切向量。

2. g_{ij} 是度规分量。

3. 等于零的条件定义了类光情形。

1. 按切向量类型对测地线进行分类

1. 公式
   观察依据

   T 波浪线与 T 波浪线的点积恒等于 g 下标 i j 乘以 T 上标 i 再乘以 T 上标 j，结果不等于0

2. 声音
   观察依据

   而非类光测地线则是指该量不为零的情形。

视频中将类光情形的补集称为非类光情形：即切向量的模长不为零。

1. 记号与类光情形相同。

2. 非零模长区分了非类光类别。

1. 零测地线条件

1. 公式
   观察依据

   L 等于从 A 到 B 对根号下 g 下标 i j 乘以 x 上标 i 的点乘再乘以 x 上标 j 的点乘 的积分，积分变量为 lambda

2. 声音
   观察依据

   两点 A 与 B 之间的最短距离可写为……其中导数均对参数 lambda 求取。要求出测地线，只需将 L 最小化。

1. 视频并未从线元出发推导此公式，而是直接给出。

为了将最短路径的几何思想转化为计算问题，视频引入了端点 A 与 B 之间的长度泛函 L。测地线则通过最小化该泛函得到。

1. 端点为 A 和 B。

2. 〔$\dot{x}^i$〕 和 〔$\dot{x}^j$〕 表示对 〔$\lambda$〕 的导数。

3. 最小化 L 可得测地线。

1. 测地线的定义
2. 测地线的参数化

1. 公式
   观察依据

   若 〔$\lambda$〕 是仿射参数，则最小化下方的 F 等价于最小化 L：

2. 公式
   观察依据

   F 等于从 A 到 B 对 g 下标 i j 乘以 x 上标 i 的点乘再乘以 x 上标 j 的点乘 的积分，积分变量为 lambda

3. 声音
   观察依据

   然而，直接最小化 L 较为困难；但在 〔$\lambda$〕 为仿射参数的情形下，最小化此处给出的 F 等价于最小化 L，且容易得多。

1. 该等价性在本片段中未经证明即被断言。

由于最小化 L 被描述为较困难，视频引入了一个更简单的泛函 F；当 〔$\lambda$〕 为仿射参数时，声明最小化 F 等价于最小化 L。

1. 要求 〔$\lambda$〕 为仿射参数。

2. 在此条件下，F 被用作 L 的更易处理的替代泛函。

1. 仿射参数
2. 长度泛函 L

1. 公式
   观察依据

   对 λ 求导：$\frac{d}{d\lambda}\left(\frac{\partial\mathscr{L}}{\partial\dot{x}^k}\right) = \frac{\partial\mathscr{L}}{\partial x^k}$

2. 公式
   观察依据

   拉格朗日量为 $\mathscr{L} = g$_{ij}$\dot{x}^i\dot{x}^j$

3. 声音
   观察依据

   为最小化该积分，可使用此处给出的欧拉-拉格朗日方程；其中，对积分 F 而言，拉格朗日量由该式给出。

1. 本视频未证明欧拉-拉格朗日方程，而是将其作为标准工具直接引用。

积分 F 的最小化通过欧拉-拉格朗日方程实现；对该具体问题，取拉格朗日量为 $\mathscr{L}=g$_{ij}$\dot{x}^i\dot{x}^j$。

1. 应用于积分 F。

2. 以 λ 作为自变量参数。

3. 分量指标 k 标记每个坐标的欧拉-拉格朗日方程。

1. 仿射参数对应的等价泛函 F

1. 公式
   观察依据

   $\frac{d^2x^k}{d\lambda^2} + \Gamma^k_{ij}\frac{dx^i}{d\lambda}\frac{dx^j}{d\lambda} = 0$

2. 声音
   观察依据

   该方程的通解为此式，其中引入了联络系数……此方程称为测地线方程，它刻画了测地线。

1. 从欧拉-拉格朗日方程到所展示结果之间的中间推导过程在视频中被省略。

2. 联络系数被命名，但此处未给出定义。

应用欧拉-拉格朗日方程后，视频给出了曲线分量所满足的最终微分方程。该方程被认定为测地线方程，并称其可确定测地线。

1. 〔Γ〕^k_{ij} 是联络系数。

2. 该方程被表述为对 F 实施欧拉-拉格朗日步骤所得的一般解。

3. 它确定测地线。

1. 欧拉-拉格朗日方程应用于积分 F
2. 测地线的参数化

1. 声音
   观察依据

   我在此指出，还存在其他等价定义，但我们采用这一种。

1. 提到了其他等价定义，但未逐一列出。

测地线还有其他等价定义，尽管本视频采用的是‘最短长度曲线’这一定义。

1. 讨论背景是本视频所呈现的广义相对论框架。

关于其他定义的存在性断言；未给出进一步的量化细节。

1. 公式
   观察依据

   若 λ 是仿射参数，则最小化 F（如下所示）等价于最小化 L：

2. 声音
   观察依据

   在 λ 为仿射参数的情形下，最小化此处给出的 F 等价于最小化 L，且后者要容易得多。

1. 本片段未展示该等价性的证明。

若 λ 是仿射参数，则最小化 $F = \int _A^B g$_{ij}ẋ^iẋ^j dλ 等价于最小化 $L = \int _A^B$ √(g_{ij}ẋ^iẋ^j) dλ。

1. λ 是一个仿射参数。

2. 端点为 A 和 B。

3. F 和 L 是视频中展示的作用量泛函。

仿射参数情形下的条件语句。

1. 公式
   观察依据

   2阶导数 x 的 k 次方对 λ 的2次方，加上克里斯托费尔符号 Γ 的 k 下标 i j 乘以 x 的 i 次方对 λ 的导数、再乘以 x 的 j 次方对 λ 的导数，等于0

2. 声音
   观察依据

   该方程称为测地线方程，它刻画了测地线。

1. 视频未陈述与测地线确定相关的边界条件或唯一性结果。

方程 $\frac{d^2x^k}{d\lambda^2} + \Gamma^k_{ij}\frac{dx^i}{d\lambda}\frac{dx^j}{d\lambda} = 0$ 称为测地线方程，并规定了测地线。

1. Γᵏᵢⱼ 是联络系数。

2. xᵏ(λ) 是曲线的分量。

对分量指标 k 全局求和，如所示；不进一步说明量词细节。

1. 公式
   观察依据

   对 λ 求导，作用于拉格朗日量 ℒ 对 x 点的 k 次方的偏导数，等于 ℒ 对 x 的 k 次方的偏导数

2. 公式
   观察依据

   拉格朗日量 ℒ 等于度规张量 g 的 i j 分量乘以 x 点的 i 次方再乘以 x 点的 j 次方

3. 公式
   观察依据

   2阶导数 x 的 k 次方对 λ 的2次方，加上克里斯托费尔符号 Γ 的 k 下标 i j 乘以 x 的 i 次方对 λ 的导数、再乘以 x 的 j 次方对 λ 的导数，等于0

4. 声音
   观察依据

   为最小化该积分，可使用欧拉-拉格朗日方程……该方程的通解是这个……此方程称为测地线方程

1. 从 $\mathscr{L}=g$_{ij}$\dot{x}^i\dot{x}^j$ 到测地线方程的实际代数推导被省略。

2. Γᵏᵢⱼ 的定义未给出。

1. 公式

   $$\frac{d}{d\lambda}\left(\frac{\partial\mathscr{L}}{\partial\dot{x}^k}\right) = \frac{\partial\mathscr{L}}{\partial x^k}$$
   解释

   从欧拉-拉格朗日方程出发，该方程用于最小化所给积分。

   步骤依据

   讲解者明确指出，此方程用于最小化该积分。

   视频直接表达
2. 公式

   $$\mathscr{L} = g_{ij}\dot{x}^i\dot{x}^j$$
   解释

   将适用于泛函 F 的拉格朗日量代入。

   步骤依据

   幻灯片与讲解均指出，这是积分 F 对应的拉格朗日量。

   视频直接表达
3. 公式

   $$\frac{d^2x^k}{d\lambda^2} + \Gamma^k_{ij}\frac{dx^i}{d\lambda}\frac{dx^j}{d\lambda} = 0$$
   解释

   所得通解被表述为测地线方程。

   步骤依据

   视频说明，在引入联络系数后，此即为通解，但省略了中间推导过程。

   视频直接表达

测地线方程作为简化后的泛函 F 的欧拉-拉格朗日结果而得到，联络系数出现在最终形式中。

1. 公式
   观察依据

   T 顶的对 λ 的导数等于 f 在 λ 处的函数值乘以 T 顶

2. 公式
   观察依据

   f 在 λ 处的函数值等于0，对所有 λ 成立

3. 声音
   观察依据

   由此可定义仿射参数：即对所有 λ，比例函数恒为零的参数。

1. 公式

   $$\frac{d\tilde{T}}{d\lambda} = f(\lambda)\tilde{T}$$
   解释

   测地线的切向量按其自身成比例变化，比例因子为 $f(\lambda)$。

   步骤依据

   视频中直接陈述。

   视频直接表达
2. 公式

   $$f(\lambda)=0\ \forall\lambda$$
   解释

   选择参数，使得比例因子恒为零。

   步骤依据

   这正是视频对仿射参数的定义方式。

   视频直接表达

仿射参数是指能使切向量演化方程中的比例项消失的参数选取。

1. 动画
   观察依据

   视频由静态幻灯片构成，文字与公式依次呈现：标题、定义、测地线的参数化、类光与非类光测地线、求解测地线、感谢观看、所用软件。

2. 字幕依据
   观察依据

   若干幻灯片底部出现参考文献，包括Hobson等人、Sharan、《无穷维李群》以及StackExchange的一条引用。

1. 标题页

2. 定义页

3. 测地线的参数化页

4. 类光与非类光测地线页

5. 求解测地线页

6. 结束页

7. 软件使用页

1. 每页幻灯片上，公式依次逐个出现。

2. 章节标题依次从定义、参数化、分类过渡到计算。

3. 最后几页幻灯片从数学内容切换为致谢与软件署名。

1. 整场演示始终以文字和公式为主。

2. 未展示任何数值演算示例或几何图形示意图。

视觉结构与授课顺序一致：先定义测地线，再对其参数化，接着区分零类与非零类，最后通过变分法推导测地线方程。

1. 声音
   观察依据

   然而，这很棘手；但在 λ 为仿射参数的情形下，最小化此处给出的泛函 F 等价于最小化 L，且要容易得多。

人们或许会认为，测地线问题总应通过直接最小化带平方根的长度泛函 L 来求解。

视频警示此法颇为棘手，转而采用更简单的泛函 F（当 λ 为仿射参数时），并指出此时最小化 F 等价于最小化 L。

1. 声音
   观察依据

   这里我们引入了联络系数，相关内容在此不作详细展开。

观众可能期望屏幕上显示的测地线方程附带对〔$Γ^k$_ij〕的定义。

视频明确指出，本片段不会深入讲解联络系数。

1. 公式
   观察依据

   x 的 μ 次方是 λ 的函数

2. 声音
   观察依据

   如同任意曲线一样，我们可以用一个参数来表示测地线。

在定义了什么是测地线之后，视频通过曲线参数化将其解析地表达出来。

1. 公式
   观察依据

   T 顶的对 λ 的导数等于 f 在 λ 处的函数值乘以 T 顶

2. 公式
   观察依据

   $f(λ) = 0$，对所有 λ 成立

仿射参数是曲线一般参数 λ 的一种特殊选取，使得比例函数恒为零。

1. 公式
   观察依据

   T 顶与 T 顶的点积恒等于度规张量 g 的 i j 分量乘以 T 的 i 次方再乘以 T 的 j 次方，等于0

零性条件是测地线更广泛的类时/类空/零性分类中的一种。

1. 公式
   观察依据

   T 顶与 T 顶的点积恒等于度规张量 g 的 i j 分量乘以 T 的 i 次方再乘以 T 的 j 次方，不等于0

视频对比了零测地线（其切向量的范数为零）与非零测地线（其切向量的范数不为零）。

1. 公式
   观察依据

   弧长 L 等于从 A 到 B 对根号下度规张量 g 的 i j 分量乘以 x 点的 i 次方再乘以 x 点的 j 次方、关于 λ 的积分

2. 声音
   观察依据

   要求出测地线，我们只需最小化 L。

最短路径定义通过引入长度泛函 L 转化为一个变分问题。

1. 公式
   观察依据

   若 $\lambda$ 是仿射参数，则最小化下方的 F 等价于最小化 L：

最小化 F 与最小化 L 的等价性仅在 $\lambda$ 为仿射参数的假设下成立。

1. 声音
   观察依据

   为最小化该积分，我们可以使用此处给出的欧拉-拉格朗日方程；对于积分 F，其拉格朗日量由该式给出。

一旦用更易处理的泛函 F 替代 L，视频便应用欧拉-拉格朗日方法来最小化它。

1. 公式
   观察依据

   2阶导数 x 的 k 次方对 λ 的2次方，加上克里斯托费尔符号 Γ 的 k 下标 i j 乘以 x 的 i 次方对 λ 的导数、再乘以 x 的 j 次方对 λ 的导数，等于0

2. 声音
   观察依据

   该方程的通解为……此方程称为测地线方程。

测地线方程是针对所选拉格朗日量施行欧拉-拉格朗日程序后所得的结果。

1. 公式
   观察依据

   两点之间的测地线是连接这两点的最短长度曲线。

1. 测地线的定义

1. 公式
   观察依据

   $f(λ) = 0$，对所有 λ 成立

1. 仿射参数

1. 公式
   观察依据

   T 的上波浪线乘以 T 的上波浪线恒等于 g 下标 i j 乘以 T 的 i 次方乘以 T 的 j 次方，等于0

2. 公式
   观察依据

   T 的上波浪号与 T 的上波浪号的点积恒等于 g 下标 i j 乘以 T 的 i 次方乘以 T 的 j 次方，不等于0

1. 零测地线条件
2. 非类光测地线条件

1. 声音
   观察依据

   此处对 F 的最小化等价于对 L 的最小化，且更简便。

1. 仿射参数对应的等价泛函 F
2. 长度泛函 L

1. 公式
   观察依据

   拉格朗日量对 x 的 k 次分量的导数关于参数 λ 的导数，等于拉格朗日量对 x 的 k 次分量的偏导数

2. 公式
   观察依据

   $\frac{d^2x^k}{d\lambda^2} + \Gamma^k_{ij}\frac{dx^i}{d\lambda}\frac{dx^j}{d\lambda} = 0$

1. 中间代数步骤省略。

1. 欧拉-拉格朗日方程应用于积分 F
2. 测地线方程

1. 声音
   观察依据

   此处引入了联络系数，这部分细节我在此不作展开。

1. 测地线方程