广义相对论-学习记录5-第三章-张量分析与黎曼几何2

第三章：张量分析与黎曼几何

3、测地线方程

测地线方程的导出

  在普通空间中，直线的定义为：线上任意相邻两点的切矢量都相互平行的曲线。测地线则是将该定义推广到$n$维仿射空间

  在$n$维空间中，曲线由$n$个参量式描述：$x^{\mu }=x^{\mu }(\lambda ),\mu =1,2,3,\dots ,n$，其中$\lambda$为标量型参量。曲线上任意一点的切矢量定义为：
$$A^{\mu }\equiv \frac{d{x}^{\mu }}{d\lambda }$$
  对于曲线上相邻两点$P(x^{\mu })$和$Q(x^{\mu }+d{x}^{\mu })$，分别对应切矢量$A^{\mu }(P)$和$A^{\mu }(Q)$，但这两个切矢量却无法直接比较的情况：先将$P$点的切矢量$A^{\mu }(P)$平移到$Q$点，得到$A^{\mu }(P\to Q)$，然后再定义测地线：
$$A^{\mu }(P\to Q)//A^{\mu }(Q)\leftrightarrow A^{\mu }(Q)=(1+f(\lambda )d\lambda )A^{\mu }(P\to Q)$$
  这里已对比例因子$d\lambda$进行了展开，并保留到了一阶小量

  测地线方程中，$A^{\mu }(Q)$的泰勒展开：
$$\begin{gathered} A^{\mu }(Q)=A^{\mu }(P)+d{A}^{\mu }(P) \\ =A^{\mu }(P)+\frac{d{A}^{\mu }(P)}{d\lambda }d\lambda \\ =\frac{d{x}^{\mu }}{d\lambda }+\frac{d^2{x}^{\mu }}{d{\lambda }^2}d\lambda \end{gathered}$$
  $(1+f(\lambda )d\lambda )A^{\mu }(P\to Q)$的变化：
$$\begin{gathered} (1+f(\lambda )d\lambda )A^{\mu }(P\to Q) \\ =(1+f(\lambda )d\lambda )[A^{\mu }(P)-{\Gamma }_{\alpha \beta }^{\mu }(P)A^{\alpha }(P)d{x}^{\beta }(P)] \\ =(1+f(\lambda )d\lambda )\left[\frac{d{x}^{\mu }}{d\lambda }-{\Gamma }_{\alpha \beta }^{\mu }\frac{d{x}^{\alpha }}{d\lambda }\frac{d{x}^{\beta }}{d\lambda }d\lambda \right] \end{gathered}$$
  由上述两式相等得到：
$$\frac{d^2{x}^{\mu }}{d{\lambda }^2}+{\Gamma }_{\alpha \beta }^{\mu }\frac{d{x}^{\alpha }}{d\lambda }\frac{d{x}^{\beta }}{d\lambda }=f(\lambda )\frac{d{x}^{\mu }}{d\lambda }$$
  此即测地线方程

仿射参量

  选择一组特殊的标量型参量$\sigma$，即$\lambda =\lambda (\sigma )$，使其满足方程：
$$\frac{d^2\sigma }{d{\lambda }^2}=f(\lambda )\frac{d\sigma }{d\lambda }\text{\hspace{1em}(1)}$$
  此$\sigma$称为仿射参量

  则此时测地线方程简化为：
$$\frac{d^2{x}^{\mu }}{d{\sigma }^2}+{\Gamma }_{\alpha \beta }^{\mu }\frac{d{x}^{\alpha }}{d\sigma }\frac{d{x}^{\beta }}{d\sigma }=0$$

仿射参量的性质

  （1）由上述定义可知，当采取仿射参量时，有$f(\sigma )=0$，即测地线条件变为：$A^{\mu }(Q)=A^{\mu }(P\to Q)$，这里$A^{\mu }\equiv \frac{d{x}^{\mu }}{d\sigma }$

  （2）仿射参量并不唯一，若$\sigma$和$\tilde{\sigma }$是两种不同的仿射参量，则由关系式（1）可知（取$\sigma =\sigma ,\lambda =\tilde{\sigma }$），其变换满足$\frac{d^2\sigma }{d{\tilde{\sigma }}^2}=0$，是线性变换

4、曲率张量

描述空间性质的张量

  联络虽然是描述空间性质的重要参量，但却不是张量。因此，使用挠率张量和曲率张量来描述空间的性质

  挠率张量用于描述空间的扭曲程度：
$${\Gamma }_{[\mu \nu ]}^{\lambda }\equiv \frac{1}{2}[{\Gamma }_{\mu \nu }^{\lambda }-{\Gamma }_{\nu \mu }^{\lambda }]$$
  曲率张量用于描述空间的弯曲程度：
$$R_{\mu \nu \lambda }^{\rho }=-{\Gamma }_{\mu \nu ,\lambda }^{\rho }+{\Gamma }_{\mu \lambda ,\nu }^{\rho }+{\Gamma }_{\mu \lambda }^{\sigma }{\Gamma }_{\sigma \nu }^{\rho }-{\Gamma }_{\mu \nu }^{\sigma }{\Gamma }_{\sigma \lambda }^{\rho }$$

曲率张量的引入

  计算协变矢量场的二阶协变微分，最后可以整理成：
$$T_{\mu ;[\nu ;\lambda ]}\equiv \frac{1}{2}[T_{\mu ;\nu ;\lambda }-T_{\mu ;\lambda ;\nu }]\equiv \frac{1}{2}(M-H)$$

  其中：
$$\begin{array}{rl}M& \equiv T_{\mu ;\nu ;\lambda }=(T_{\mu ;\nu }{)}_{;\lambda }=T_{\mu ;\nu ,\lambda }-T_{\mu \lambda }^{\rho }{T}_{\rho ;\nu }-T_{\nu \lambda }^{\rho }{T}_{\mu ;\rho }\\ & =(T_{\mu ,\nu }-{\Gamma }_{\mu \nu }^{\sigma }{T}_{\sigma }{)}_{,\lambda }-{\Gamma }_{\mu \lambda }^{\rho }(T_{\rho ,\nu }-{\Gamma }_{\rho \nu }^{\sigma }{T}_{\sigma })-{\Gamma }_{\nu \lambda }^{\rho }{T}_{\mu ;\rho }\\ & =T_{\mu ,\nu ,\lambda }-{\Gamma }_{\mu \nu ,\lambda }^{\sigma }{T}_{\sigma }-{\Gamma }_{\mu \nu }^{\sigma }{T}_{\sigma ,\lambda }-{\Gamma }_{\mu \lambda }^{\rho }{T}_{\rho ,\nu }+{\Gamma }_{\mu \lambda }^{\rho }{\Gamma }_{\rho \nu }^{\sigma }{T}_{\sigma }-{\Gamma }_{\nu \lambda }^{\rho }{T}_{\mu ;\rho }\end{array}$$

$$\begin{array}{rl}H& \equiv T_{\mu ;\lambda ;\nu }\\ & =T_{\mu ,\lambda ,\nu }-{\Gamma }_{\mu \lambda ,\nu }^{\sigma }{T}_{\sigma }-{\Gamma }_{\mu \lambda }^{\sigma }{T}_{\sigma ,\nu }-{\Gamma }_{\mu \nu }^{\rho }{T}_{\rho ,\lambda }+{\Gamma }_{\mu \nu }^{\rho }{\Gamma }_{\rho \lambda }^{\sigma }{T}_{\sigma }-{\Gamma }_{\lambda \nu }^{\rho }{T}_{\mu ;\rho }\end{array}$$

  逐项相互抵消后，得到：
$$T_{\mu ;[\nu ;\lambda ]}=\frac{1}{2}(R_{\mu \nu \lambda }^{\rho }{T}_{\rho }-2{\Gamma }_{[\nu \lambda ]}^{\rho }{T}_{\mu ;\rho })$$
  $R_{\mu \nu \lambda }^{\rho }$即为曲率张量：
$$R_{\mu \nu \lambda }^{\rho }=-{\Gamma }_{\mu \nu ,\lambda }^{\rho }+{\Gamma }_{\mu \lambda ,\nu }^{\rho }+{\Gamma }_{\mu \lambda }^{\sigma }{\Gamma }_{\sigma \nu }^{\rho }-{\Gamma }_{\mu \nu }^{\sigma }{\Gamma }_{\sigma \lambda }^{\rho }$$

曲率张量的性质

  （1）$R_{\mu \nu \lambda }^{\rho }=-R_{\mu \lambda \nu }^{\rho }$，指标$\nu$和$\lambda$反对称

  （2）曲率张量有两种缩并的方式：$A_{\mu \nu }\equiv R_{\lambda \mu \nu }^{\lambda }$和$R_{\mu \nu }\equiv R_{\mu \nu \lambda }^{\lambda }$

  （3）曲率和挠率共同刻画了空间弯曲的情况，若在空间某区域$V$内，曲率张量和挠率张量恒为零，则总能找到一个合适的坐标系$x^{\mu }$，使得${\Gamma }_{\mu \nu }^{\lambda }=0$，此时测地线方程变为$\frac{d^2{x}^{\mu }}{d{\sigma }^2}=0$，即直线，表明空间$V$平坦。曲率和挠率张量是否都为零，是空间是否平坦的标志

5、黎曼空间与度规张量

黎曼空间

  在仿射空间中引入度规和不变距离，则构成黎曼空间，定义空间相邻两点的距离$ds$：
$$d{s}^2=g_{\mu \nu }d{x}^{\mu }d{x}^{\nu }=g_{(\mu \nu )}d{x}^{\mu }d{x}^{\nu }+g_{[\mu \nu ]}d{x}^{\mu }d{x}^{\nu }\equiv -d{\tau }^2$$

  其中，$\tau$为四维时空的固有时

  规定：

  （1）$ds$是标量，与坐标选择无关$\to$$g_{\mu \nu }$是二阶协变张量，即度规张量

  （2）$g_{\mu \nu }$是对称张量，$g_{[\mu \nu ]}=0$。因为$g_{\mu \nu }$的反对称组合对$ds$无贡献，无法定义

  在仿射空间中确定了度规后，空间任意两点间的距离就有了意义，这样的空间称为黎曼空间

平坦的黎曼空间

  对于一个黎曼空间，如果能够适当地选取坐标系，使得度规张量具有如下形式：
$$g_{\mu \nu }=\{\begin{array}{rl}& \pm 1,\mu =\nu \\ & 0,\mu \ne \nu \end{array}\text{\hspace{1em}(2)}$$
  则这个空间是平坦的黎曼空间。欧氏空间和闵氏空间都是平坦的

  例如，在三维欧式空间中：
$$\begin{gathered} (x^1=x,x^2=y,x^3=z) \\ d{s}^2=d{x}^2+d{y}^2+d{z}^2 \\ {g}_{\mu \nu }=\left(\begin{array}{ccc}1& 0& 0\\ 0& 1& 0\\ 0& 0& 1\end{array}\right) \end{gathered}$$
  球坐标：
$$\begin{gathered} (x^1=r,x^2=\theta ,x^3=\phi ) \\ d{s}^2=d{r}^2+r^{2}d{\theta }^2+r^2{\sin }^2\theta d{\phi }^2 \\ {g}_{\mu \nu }=\left(\begin{array}{ccc}1& 0& 0\\ 0& r^2& 0\\ 0& 0& r^2{\sin }^2\theta \end{array}\right) \end{gathered}$$
  **定理：**对于常系数的二次型$d{s}^2=g_{\mu \nu }d{x}^{\mu }d{x}^{\nu }$，只要$\det |g_{\mu \nu }|\ne 0$，则必能找到坐标变换，把这个二次型化为坐标微分的平方和（差），即坐标变换后满足式（2）

  黎曼空间中，每一点都可以看做是平坦的。一般$g_{\mu \nu }$不是常数，但对于空间中任一$P$点，$g_{\mu \nu }$总是常数，因此在该点的度规$g_{\mu \nu }(P)$总是可以化成式（2）的形式

黎曼空间中张量指标的升降

  在黎曼空间中，有了度规$g_{\mu \nu }$，就可以用这个度规来升降张量的指标：

  （1）当$\det |g_{\mu \nu }|\ne 0$时，定义逆变的度规张量$g^{\mu \nu }$，满足$g^{\mu \nu }{g}_{\nu \lambda }={\delta }_{\lambda }^{\mu }$

  （2）用$g_{\mu \nu }$降指标，用$g^{\mu \nu }$升指标，例如：
$$T_{\mu }\equiv g_{\mu \nu }{T}^{\nu },T_{\mu \nu }\equiv g_{\mu \alpha }{T^{\alpha }}_{\nu },T^{\mu }\equiv g^{\mu \nu }{T}_{\nu },T^{\mu \nu }\equiv g^{\mu \alpha }{T_{\alpha }}^{\nu }$$
  黎曼空间的新特点就在于，可以利用度规张量，把任意张量形式的物理量或几何量，表示成逆变的、协变的、或者混合的形式

  举例：

  （1）定义矢量长度，$A^{\mu }\to$它的长度
$$长度的平方\leftarrow g_{\mu \nu }{T}^{\mu }{T}^{\nu }=T_{\mu }{T}^{\mu }=g^{\mu \nu }{T}_{\mu }{T}_{\nu }$$
  （2）
$$d{s}^2=g_{\mu \nu }d{x}^{\mu }d{x}^{\nu }=d{x}_{\nu }d{x}^{\nu }={\delta }_{\nu }^{\mu }d{x}_{\mu }d{x}^{\nu }=g^{\mu \nu }d{x}_{\mu }d{x}_{\nu }$$

6、Christoffel联络与黎曼空间中的测地线

Christoffel联络

  Christoffel联络的定义，是在仿射联络的基础上再加上两个条件：

  （1）要求在黎曼空间中，平移操作保证矢量的长度不变

  （2）采取对称联络${\Gamma }_{\mu \nu }^{\lambda }={\Gamma }_{\nu \mu }^{\lambda }$，即挠率为零。GR采用它，因此之后的讨论全部采用对称联络

  对于$P$点的逆变矢量$A^{\mu }(P)\to Q$点变成$A^{\mu }(P\to Q)$（借助联络平移）：
$$A^{\mu }(P\to Q)=A^{\mu }(P)-{\Gamma }_{\nu \lambda }^{\mu }(P)A^{\nu }(P)d{x}^{\lambda }$$
  矢量平移前后长度相等要求：
$$g_{\mu \nu }(Q)A^{\mu }(P\to Q)A^{\nu }(P\to Q)=g_{\mu \nu }(P)A^{\mu }(P)A^{\nu }(P)$$
  结合度规场的微分公式：
$$g_{\mu \nu }(Q)=g_{\mu \nu }(P)+g_{\mu \nu ,\lambda }(P)d{x}^{\lambda }$$
  可以得到能保持长度的联络所必须满足的方程：
$$g_{\mu \nu ,\lambda }-g_{\alpha \nu }{\Gamma }_{\mu \lambda }^{\alpha }-g_{\mu \alpha }{\Gamma }_{\nu \lambda }^{\alpha }=0$$
  可以用度规来表示克氏联络：
$$g_{\mu \nu ,\lambda }-g_{\alpha \nu }{\Gamma }_{\mu \lambda }^{\alpha }-g_{\mu \alpha }{\Gamma }_{\nu \lambda }^{\alpha }=0\to {\Gamma }_{\lambda \mu }^{\kappa }=\frac{1}{2}{g}^{\nu \kappa }(g_{\mu \nu ,\lambda }+g_{\nu \lambda ,\mu }-g_{\lambda \mu ,\nu })$$
证明：（可以用度规来表示克氏联络）
$$g_{\mu \nu ,\lambda }-g_{\alpha \nu }{\Gamma }_{\mu \lambda }^{\alpha }-g_{\mu \alpha }{\Gamma }_{\nu \lambda }^{\alpha }=0\text{\hspace{1em}(1)}$$
  进行下标轮换$\mu \to \nu ,\nu \to \lambda ,\lambda \to \mu$：
$$g_{\nu \lambda ,\mu }-g_{\alpha \lambda }{\Gamma }_{\nu \mu }^{\alpha }-g_{\nu \alpha }{\Gamma }_{\lambda \nu }^{\alpha }=0\text{\hspace{1em}(2)}$$
  继续进行下标轮换$\mu \to \nu ,\nu \to \lambda ,\lambda \to \mu$：
$$g_{\lambda \mu ,\nu }-g_{\alpha \mu }{\Gamma }_{\lambda \nu }^{\alpha }-g_{\lambda \alpha }{\Gamma }_{\mu \nu }^{\alpha }=0\text{\hspace{1em}(3)}$$
  （1）+（2）-（3），得到：
$$\begin{array}{rl}& (g_{\mu \nu ,\lambda }+g_{\nu \lambda ,\mu }-g_{\lambda \mu ,\nu })+(-g_{\alpha \nu }{\Gamma }_{\mu \lambda }^{\alpha }-g_{\mu \alpha }{\Gamma }_{\nu \lambda }^{\alpha }-g_{\alpha \lambda }{\Gamma }_{\nu \mu }^{\alpha }\\ & -g_{\nu \alpha }{\Gamma }_{\lambda \mu }^{\alpha }+g_{\alpha \mu }{\Gamma }_{\lambda \nu }^{\alpha }+g_{\lambda \alpha }{\Gamma }_{\mu \nu }^{\alpha })=0\end{array}$$
  最后得到：
$$\begin{gathered} g_{\alpha \nu }{\Gamma }_{\lambda \mu }^{\alpha }=\frac{1}{2}(g_{\mu \nu ,\lambda }+g_{\nu \lambda ,\mu }-g_{\lambda \mu ,\nu }) \\ {g}^{\nu \kappa }{g}_{\alpha \nu }{\Gamma }_{\lambda \mu }^{\alpha }=\frac{1}{2}(g_{\mu \nu ,\lambda }+g_{\nu \lambda ,\mu }-g_{\lambda \mu ,\nu })g^{\nu \kappa } \\ {\Gamma }_{\lambda \mu }^{\kappa }=\frac{1}{2}{g}^{\nu \kappa }(g_{\mu \nu ,\lambda }+g_{\nu \lambda ,\mu }-g_{\lambda \mu ,\nu }) \end{gathered}$$
QED.

  度规张量的协变微分：
$$g_{\mu \nu ;\lambda }=g_{\mu \nu ,\lambda }-g_{\alpha \nu }{\Gamma }_{\mu \lambda }^{\alpha }-g_{\mu \alpha }{\Gamma }_{\nu \lambda }^{\alpha }=0$$

GR中等效原理的数学基础

  对于在坐标$x^{\mu }$下$P$点的联络$({\Gamma }_{\mu \nu }^{\lambda }{)}_P$，总可以找到坐标变换$x^{\mu }\to {\tilde{x}}^{\mu }$，使得$({\tilde{\Gamma }}_{\mu \nu }^{\gamma }{)}_P=0$

证明：

  定义坐标变换，在$P$点的邻域内，使其满足：
$$x^{\mu }-x_P^{\mu }=({\tilde{x}}^{\mu }-{\tilde{x}}_P^{\mu })-\frac{1}{2}{\Gamma }_{\alpha \beta }^{\mu }({\tilde{x}}^{\alpha }-{\tilde{x}}_P^{\alpha })({\tilde{x}}^{\beta }-{\tilde{x}}_P^{\beta })$$
  令${\tilde{x}}_P^{\mu }=0$，则有：
$$x^{\mu }-x_P^{\mu }={\tilde{x}}^{\mu }-\frac{1}{2}{\Gamma }_{\alpha \beta }^{\mu }{\tilde{x}}^{\alpha }{\tilde{x}}^{\beta }$$

$${\left(\frac{\partial x^{\mu }}{\partial {\tilde{x}}^{\lambda }}\right)}_P={\delta }_{\lambda }^{\mu },{\left(\frac{\partial {\tilde{x}}^{\mu }}{\partial x^{\lambda }}\right)}_P={\delta }_{\lambda }^{\mu },{\left(\frac{{\partial }^2{x}^{\mu }}{\partial {\tilde{x}}^{\lambda }\partial {\tilde{x}}^{\nu }}\right)}_P=-{\Gamma }_{\lambda \nu }^{\mu }$$

  所以在坐标变换下，${\Gamma }_{\alpha \beta }^{\mu }$的变换关系为：
$$\begin{array}{rl}{\tilde{\Gamma }}_{\mu \nu }^{\lambda }& =\frac{{\partial }^2{x}^{\beta }}{\partial {\tilde{x}}^{\mu }\partial {\tilde{x}}^{\nu }}\frac{\partial {\tilde{x}}^{\mu }}{\partial x^{\beta }}+\frac{\partial x^{\alpha }}{\partial {\tilde{x}}^{\mu }}\frac{\partial {\tilde{x}}^{\lambda }}{\partial x^{\beta }}\frac{\partial x^{\sigma }}{\partial {\tilde{x}}^{\nu }}{\Gamma }_{\alpha \sigma }^{\beta }\\ & =-{\Gamma }_{\mu \nu }^{\beta }{\delta }_{\beta }^{\lambda }+{\Gamma }_{\alpha \sigma }^{\beta }{\delta }_{\mu }^{\alpha }{\delta }_{\nu }^{\sigma }{\delta }_{\beta }^{\lambda }\\ & =-{\Gamma }_{\mu \nu }^{\lambda }+{\Gamma }_{\mu \nu }^{\lambda }\\ & =0\end{array}$$
QED.

  忽略掉$p$阶导数时，$({\tilde{g}}_{\mu \nu ,\lambda }{)}_p=0\to {\tilde{g}}_{\mu \nu }=const$，平坦（等效原理）

黎曼空间中的测地线

  在仿射空间中，测地线方程为：
$$\frac{d^2{x}^{\mu }}{d{\lambda }^2}+{\Gamma }_{\alpha \beta }^{\mu }\frac{d{x}^{\alpha }}{d\lambda }\frac{d{x}^{\beta }}{d\lambda }=f(\lambda )\frac{d{x}^{\mu }}{d\lambda }$$

$$\frac{d^2{x}^{\mu }}{d{\sigma }^2}+{\Gamma }_{\alpha \beta }^{\mu }\frac{d{x}^{\alpha }}{d\sigma }\frac{d{x}^{\beta }}{d\sigma }=0$$

  在GR中，自由粒子在弯曲时空中走的是测地线

  在黎曼空间中，引入了线元$s$（原时$\tau$），即$d{s}^2=g_{\mu \nu }d{x}^{\mu }d{x}^{\nu }$，因此对任一曲线，可以引入一个标量积分$s={\int }_{P_0}^{P}ds$，其中$P_0$是某个固定点，$P$是任意点，则$s$是曲线上$P_0$到$P$的“固有长度”

  在黎曼空间中，$s$（等价的$\tau$）就是一个仿射参量（仅对有质量粒子而言，因为对于无质量粒子，$s=0$无意义）

证明：

  $s$（或$\tau$）作为标量型参量，则曲线$x^{\mu }(s)$的切矢量$U^{\mu }$：
$$U^{\mu }\equiv \frac{d{x}^{\mu }}{d\tau }$$

$$d{s}^2=g_{\mu \nu }d{x}^{\mu }d{x}^{\nu }=-d{\tau }^2$$

  上式两端同除$d{\tau }^2$：
$$g_{\mu \nu }\frac{d{x}^{\mu }}{d\tau }\frac{d{x}^{\nu }}{d\tau }=g_{\mu \nu }{U}^{\mu }{U}^{\nu }=-1$$
  对$\lambda$求微分：
$$g_{\mu \nu ;\lambda }{U}^{\mu }{U}^{\nu }+g_{\mu \nu }{U}_{;\lambda }^{\mu }{U}^{\nu }+g_{\mu \nu }{U}^{\mu }{U}_{;\lambda }^{\nu }=0$$
  其中，第一项为0，从而得到：
$$\begin{gathered} U_{\nu ;\lambda }{U}^{\nu }+U_{\nu }{U}_{;\lambda }^{\nu }=0 \\ {U}_{\nu }{U}_{;\lambda }^{\nu }=0 \end{gathered}$$
  在测地线方程两端乘上$U_{\mu }$，得到：
$$\begin{array}{rl}f(\tau )& =-U_{\mu }\left\{\frac{d{U}^{\mu }}{d\tau }+{\Gamma }_{\alpha \beta }^{\mu }{U}^{\alpha }{U}^{\beta }\right\}\\ & =-U_{\mu }\left\{\frac{d{U}^{\mu }}{d{x}^{\beta }}\frac{d{x}^{\beta }}{d\tau }+{\Gamma }_{\alpha \beta }^{\mu }{U}^{\alpha }{U}^{\beta }\right\}\\ & =-U_{\mu }(U_{,\beta }^{\mu }{U}^{\beta }+{\Gamma }_{\alpha \beta }^{\mu }{U}^{\alpha }{U}^{\beta })\\ & =-U_{\mu }{U}^{\beta }(U_{,\beta }^{\mu }+{\Gamma }_{\alpha \beta }^{\mu }{U}^{\alpha })\\ & =-U_{\mu }{U}_{;\beta }^{\mu }{U}^{\beta }\\ & =0\end{array}$$
  由此得到黎曼空间中的测地线方程：
$$\frac{d^2{x}^{\mu }}{d{\tau }^2}+{\Gamma }_{\alpha \beta }^{\mu }\frac{d{x}^{\alpha }}{d\tau }\frac{d{x}^{\beta }}{d\tau }=0$$
QED.

  此为有质量粒子的运动方程。对于无质量粒子，随便找一个仿射参量

测地线的另一重含义

  已知在仿射空间中，线上相邻两点的切矢量都相互平行的曲线为测地线。欧氏空间中，两点之间直线最短。可以证明：对黎曼空间中任意两点间的距离，测地线是最短或最长的

简单证明：

  测地线方程的变分为零：
$$\begin{array}{rl}\delta \int ds& =0\\ \delta \int (g_{\mu \nu }d{x}^{\mu }d{x}^{\nu }{)}^{\frac{1}{2}}& =0\\ \delta \int (g_{\mu \nu }{\dot{x}}^{\mu }{\dot{x}}^{\nu }{)}^{\frac{1}{2}}ds& =0\end{array}$$
  其中，${\dot{x}}^{\mu }\equiv \frac{d{x}^{\mu }}{ds}$

  拉氏量$\mathcal{L}=(g_{\mu \nu }{\dot{x}}^{\mu }{\dot{x}}^{\nu }{)}^{\frac{1}{2}}$，拉格朗日方程：
$$\begin{array}{rl}\frac{\partial \mathcal{L}}{\partial x^{\lambda }}-\frac{d}{ds}\frac{\partial \mathcal{L}}{\partial {\dot{x}}^{\lambda }}& =0\\ \frac{\partial g_{\mu \nu }}{\partial x^{\lambda }}{\dot{x}}^{\mu }{\dot{x}}^{\nu }-\frac{d}{ds}(g_{\mu \nu }{\dot{x}}^{\mu }+g_{\lambda \nu }{\dot{x}}^{\nu })& =0\\ \frac{d}{ds}(g_{\mu \lambda }{\dot{x}}^{\mu })& =\frac{1}{2}\frac{\partial g_{\mu \nu }}{\partial x^{\lambda }}{\dot{x}}^{\mu }{\dot{x}}^{\nu }\\ g_{\mu \lambda }\frac{d^2{x}^{\mu }}{d{s}^2}+\left(\frac{\partial g_{\mu \nu }}{\partial x^{\nu }}-\frac{1}{2}\frac{\partial g_{\mu \nu }}{\partial x^{\lambda }}\right)\frac{d{x}^{\nu }}{ds}\frac{d{x}^{\mu }}{ds}& =0\end{array}$$

  两端同乘$g^{\lambda \sigma }$：
$$\begin{array}{rl}\frac{d^2{x}^{\sigma }}{d{s}^2}+g^{\lambda \sigma }\left(\frac{\partial g_{\mu \lambda }}{\partial x^{\nu }}-\frac{1}{2}\frac{\partial g_{\mu \nu }}{\partial x^{\lambda }}\right)\frac{d{x}^{\nu }}{ds}\frac{d{x}^{\mu }}{ds}& =0\\ \frac{d^2{x}^{\sigma }}{d{s}^2}+\frac{1}{2}{g}^{\lambda \sigma }\left(2\frac{\partial g_{\mu \lambda }}{\partial x^{\nu }}-\frac{\partial g_{\mu \nu }}{\partial x^{\lambda }}\right)\frac{d{x}^{\nu }}{ds}\frac{d{x}^{\mu }}{ds}& =0\end{array}$$
  因为$\mu ,\nu$对标，所以：
$$\begin{array}{rl}\frac{d^2{x}^{\sigma }}{d{s}^2}+\frac{1}{2}{g}^{\lambda \sigma }\left(\frac{\partial g_{\mu \lambda }}{\partial x^{\nu }}+\frac{\partial g_{\nu \lambda }}{\partial x^{\mu }}-\frac{\partial g_{\mu \nu }}{\partial x^{\lambda }}\right)\frac{d{x}^{\nu }}{ds}\frac{d{x}^{\mu }}{ds}& =0\\ \frac{d^2{x}^{\sigma }}{d{s}^2}+{\Gamma }_{\mu \nu }^{\sigma }\frac{d{x}^{\nu }}{ds}\frac{d{x}^{\mu }}{ds}& =0\end{array}$$
  此即测地线方程

QED.