note-math

cf. #link(<metric.typ>)[]

geodesic_(tag)

测地线作为可能的 "最小长度路径". 作用量

\begin{matrix} \int 𝑑 𝑙 & = & \int 𝑑 𝑡 | \dot{𝑥} | = \int 𝑑 𝑡 | {𝑔 (\dot{𝑥})}^{2} |^{\frac{1}{2}} \\ or & = & \int 𝑑 𝑡 | 𝑔_{𝑖 𝑖^{'}} \cdot {\dot{𝑥}}^{𝑖} \cdot {\dot{𝑥}}^{𝑖^{'}} |^{\frac{1}{2}} \\ or & = & \int 𝑑 𝑡 | {\dot{𝑥}}^{⊺} 𝑔 \dot{𝑥} |^{\frac{1}{2}} \end{matrix}

ODE 初值 $𝑥 (0), \dot{𝑥} (0)$ . 测地线的定义不依赖于坐标选取

$𝑑 𝑙$ 是 metric-volume-form $𝑑 Vol = | 𝑔 | 𝑑 𝑥 = | det 𝑔 |^{\frac{1}{2}} 𝑑 𝑥$ 限制在 1 dimension path. $det 𝑔 = det (𝑔_{𝑖 𝑗})$ 是 induced quadratic-form ${𝑔 (𝑑 𝑥^{1} \land \dots \land 𝑑 𝑥^{𝑛})}^{2} = det (\begin{matrix} 𝑔 (𝑑 𝑥^{1}, 𝑑 𝑥^{1}) & \dots & 𝑔 (𝑑 𝑥^{1}, 𝑑 𝑥^{𝑛}) \\ ⋮ & ⋱ & ⋮ \\ 𝑔 (𝑑 𝑥^{𝑛}, 𝑑 𝑥^{1}) & \dots & 𝑔 (𝑑 𝑥^{𝑛}, 𝑑 𝑥^{𝑛}) \end{matrix})$

Lagrange 方程是

\begin{matrix} \frac{𝑑}{𝑑 𝑡} (\frac{𝑔 \dot{𝑥}}{| {𝑔 (\dot{𝑥})}^{2} |^{\frac{1}{2}}}) & = & \frac{1}{2} \frac{{\dot{𝑥}}^{⊺} (\partial 𝑔) \dot{𝑥}}{| {𝑔 (\dot{𝑥})}^{2} |^{\frac{1}{2}}} & where \partial 𝑔 ≃ (\begin{matrix} \partial_{1} 𝑔 \\ ⋮ \\ \partial_{𝑛} 𝑔 \end{matrix}) \\ or \frac{𝑑}{𝑑 𝑡} (\frac{𝑔_{𝑗 𝑖^{'}} 𝑥^{𝑖^{'}}}{| 𝑔_{𝑖 𝑖^{'}} {\dot{𝑥}}^{𝑖} {\dot{𝑥}}^{𝑖^{'}} |^{\frac{1}{2}}}) & = & \frac{1}{2} \frac{(\partial_{𝑗} 𝑔_{𝑖 𝑖^{'}}) {\dot{𝑥}}^{𝑖} {\dot{𝑥}}^{𝑖^{'}}}{| 𝑔_{𝑖 𝑖^{'}} {\dot{𝑥}}^{𝑖} {\dot{𝑥}}^{𝑖^{'}} |^{\frac{1}{2}}} \end{matrix}

对于路径的单位长度参数, $| \dot{𝑥} | = | {𝑔 (\dot{𝑥})}^{2} |^{\frac{1}{2}} = 1$ , 方程变成

\begin{matrix} \frac{𝑑}{𝑑 𝑡} (𝑔 \dot{𝑥}) & = & \frac{1}{2} {\dot{𝑥}}^{⊺} (\partial 𝑔) \dot{𝑥} \\ or \frac{𝑑}{𝑑 𝑡} (𝑔_{𝑗 𝑖^{'}} 𝑥^{𝑖^{'}}) & = & \frac{1}{2} (\partial_{𝑗} 𝑔_{𝑖 𝑖^{'}}) {\dot{𝑥}}^{𝑖} {\dot{𝑥}}^{𝑖^{'}} \end{matrix}

product-rule 展开 $\frac{𝑑}{𝑑 𝑡} (𝑔 \dot{𝑥}) = (\partial (\dot{𝑥}) 𝑔) \dot{𝑥} + 𝑔 \ddot{𝑥}$ , where $\partial (\dot{𝑥}) 𝑔 = \frac{\partial}{\partial \dot{𝑥}} 𝑔 = \frac{𝑑}{𝑑 𝑡} 𝑔 (𝑥 (𝑡))$ . 移项并使用 $𝑔^{- 1}$ , 方程变成

\ddot{𝑥} = 𝑔^{- 1} (\frac{1}{2} {\dot{𝑥}}^{⊺} (\partial 𝑔) \dot{𝑥} - (\partial (\dot{𝑥}) 𝑔) \dot{𝑥})

或者写为

\begin{matrix} \ddot{𝑥} + {\dot{𝑥}}^{⊺} Γ \dot{𝑥} & = & 0 \\ or {\ddot{𝑥}}^{𝑗} + Γ_{𝑖 𝑖^{'}}^{𝑗} \cdot {\dot{𝑥}}^{𝑖} \cdot {\dot{𝑥}}^{𝑖^{'}} & = & 0 \end{matrix}

其中 $Γ$ 是 metric-connection_(tag) alias Levi-Civita-connection_(tag) alias Christoffel-symbols_(tag)

\begin{matrix} 𝑣^{⊺} Γ 𝑣 & = & 𝑔^{- 1} ((\partial (𝑣) 𝑔) 𝑣 - \frac{1}{2} 𝑣^{⊺} (\partial 𝑔) 𝑣) \in ℝ^{𝑝, 𝑞} \\ or & 𝑣^{' ⊺} Γ 𝑣 & = & \frac{1}{2} 𝑔^{- 1} ((\partial (𝑣^{'}) 𝑔) 𝑣 + (\partial (𝑣) 𝑔) 𝑣^{'} - 𝑣^{' ⊺} (\partial 𝑔) 𝑣) & (cf. #link(<difference-symmetric-tensor>)[difference]) \\ or & Γ_{𝑖 𝑖^{'}}^{𝑗} & = & \frac{1}{2} \sum_{𝑖^{″}} 𝑔^{𝑗 𝑖^{″}} (\partial_{𝑖} 𝑔_{𝑖^{'} 𝑖^{″}} + \partial_{𝑖^{'}} 𝑔_{𝑖 𝑖^{″}} - \partial_{𝑖^{″}} 𝑔_{𝑖 𝑖^{'}}) \end{matrix}

metric-connection 不是 tensor. metric-connection 的变换方式 connection-transformations_(tag)

Γ (𝑦) = \frac{\partial 𝑦}{\partial 𝑥} \cdot Γ (𝑥) \cdot \frac{\partial 𝑥}{\partial 𝑦} + \frac{\partial 𝑦}{\partial 𝑥} \cdot \frac{\partial}{\partial 𝑦} (\frac{\partial 𝑥}{\partial 𝑦})

by $Γ$ 的定义中的 metric $𝑔$ 的变换方式

$𝑔 (𝑦) = \frac{\partial 𝑥}{\partial 𝑦}^{⊺} \cdot 𝑔 (𝑥) \cdot \frac{\partial 𝑥}{\partial 𝑦}$
$𝑔^{- 1} (𝑦) = \frac{\partial 𝑦}{\partial 𝑥} \cdot 𝑔^{- 1} (𝑥) \cdot \frac{\partial 𝑦}{\partial 𝑥}^{⊺}$

geodesic-exponential_(tag) …

geodesic-coordinate_(tag)

测地线 $𝑡 ⇝ 𝑣 𝑡$ or $exp (𝑣 𝑡)$ with $𝑡 = 1$ 给出坐标 $𝑣 \to exp (𝑣)$

它是局部微分同胚 by $\partial exp = 𝟙$ at $𝑝$ , by

ODE 的解解析地依赖于初值 $𝑝, 𝑣$
$\frac{\partial}{\partial 𝑣} exp = \frac{\partial}{\partial 𝑡} (𝑡 = 0) 𝑥 (𝑡, 𝑝, 𝑣) = 𝑣$

在测地线坐标, 测地线方程是 $\ddot{𝑥} = 0$ . Proof 测地线是 $𝑡 ⇝ 𝑣 𝑡$

在 $𝑝$ 点测地线坐标, $𝑝$ 点联络是零, $Γ (𝑝) = 0$

Proof

ODE $\ddot{𝑥} + {\dot{𝑥}}^{⊺} Γ \dot{𝑥} = 0$

初值 $\ddot{𝑥} = 0$ and $\dot{𝑥} = 𝑣$

将 ODE 的解 $𝑡 𝑣$ 代入 ODE 得到 $𝑣^{⊺} Γ 𝑣 = 0$

从而在 $𝑝$ 点对所有方向 $𝑣$ , $𝑣^{⊺} Γ 𝑣 = 0$ ==> $Γ = 0$ at $𝑝$

Taylor-expansion-of-metric-in-geodesic-coordinate_(tag)

在测地线坐标, metric 的 Taylor 展开 $𝑔 (𝑝 + 𝑣) = \sum \frac{1}{𝑛!} (\partial^{𝑛} 𝑔) (𝑝) (𝑣^{𝑛})$

零阶项是标准 metric $𝜂$
一阶项是零 i.e. 一阶微分是零

结合两者, $𝑔 (𝑝 + 𝑣) = 𝜂 + 𝑜 (𝑣)$

Proof

在 $𝑝$ 点测地线坐标

0th. 对测地线坐标, 在 $𝑝$ 点 $\partial exp = 𝟙$ , 将测地线坐标里的原点的正交规范基 $𝑒_{1}, \dots, 𝑒_{𝑛}$ 复制地映射到 $𝑝$ 点切空间 coordinate-frame $\partial_{1}, \dots, \partial_{𝑛}$
1st.

differenial-of-metric-vs-connection_(tag) Prop $𝑣^{⊺} (\partial (𝑣^{″}) 𝑔) 𝑣^{'} = 𝑣^{' ⊺} 𝑔 (𝑣^{″ ⊺} Γ 𝑣) + 𝑣^{' ⊺} 𝑔 (𝑣^{″ ⊺} Γ 𝑣)$ Proof 直接把 $Γ$ 的 #link(<metric-connection>)[定义] 代入式子

然后用 $Γ (𝑝) = 0$ 得到 $𝑝$ 点 $\partial 𝑔 (𝑝) = 0$

在坐标中 $\partial_{𝑖^{″}} 𝑔_{𝑖 𝑖^{'}} = Γ_{𝑖^{″} 𝑖 𝑖^{'}} + Γ_{𝑖^{″} 𝑖^{'} 𝑖} = 𝑔_{𝑖^{'} 𝑗} Γ_{𝑖^{″} 𝑖}^{𝑗} + 𝑔_{𝑖 𝑗} Γ_{𝑖^{″} 𝑖^{'}}^{𝑗}$

也可以写为 $(\partial (𝑣^{″}) 𝑔) (𝑣, 𝑣^{'}) = 𝑔 (Γ (𝑣^{″}, 𝑣), 𝑣^{'}) + 𝑔 (𝑣, Γ (𝑣^{″}, 𝑣^{'}))$

对于逆矩阵, 有类似的

differenial-of-metric-inverse-vs-connection_(tag) Prop $𝛼^{⊺} (\partial (𝛼^{″}) 𝑔^{- 1}) 𝛼^{'} = - (𝛼^{' ⊺} 𝑔^{- 1} (𝛼^{″ ⊺} Γ 𝛼) + 𝛼^{' ⊺} 𝑔^{- 1} (𝛼^{″ ⊺} Γ 𝛼))$

Proof 使用 $𝑔 𝑔^{- 1} = 𝟙 ⟹ \partial (𝑔 𝑔^{- 1}) = 0 ⟹ \partial (𝑔^{- 1}) = - 𝑔^{- 1} (\partial 𝑔) 𝑔^{- 1}$ 以及 $𝑔 = 𝑔 𝑔^{- 1} 𝑔$

在坐标中 $\partial_{𝑖^{″}} 𝑔^{𝑖 𝑖^{'}} = - Γ_{𝑖^{″}}^{𝑖 𝑖^{'}} - Γ_{𝑖^{″}}^{𝑖^{'} 𝑖} = - 𝑔^{𝑖 𝑗} Γ_{𝑖^{″} 𝑗}^{𝑖^{'}} - 𝑔^{𝑖^{'} 𝑗} Γ_{𝑖^{″} 𝑗}^{𝑖}$

也可以写为 $(\partial (𝛼^{″}) 𝑔^{- 1}) (𝛼, 𝛼^{'}) = 𝑔^{- 1} (- Γ (𝛼^{″}, 𝛼), 𝛼^{'}) + 𝑔^{- 1} (𝛼, - Γ (𝛼^{″}, 𝛼^{'}))$