协变导数的含义

最新推荐文章于 2022-10-07 17:10:34 发布

yueoho

最新推荐文章于 2022-10-07 17:10:34 发布

阅读量1.8k

点赞数

分类专栏：微分几何

本文链接：https://blog.csdn.net/qq_34617015/article/details/105001155

版权

微分几何专栏收录该内容

4 篇文章 1 订阅

订阅专栏

协变导数的含义

考虑有一不变量 $V$ ，它在某坐标系下的表达为 $v^{i}g_{i}$ 。设 $V$ 在坐标 $x$ 处为 $v^{i}g_{i}$ ，在 $(x+dx)$ 处为 $v^{'i}g_{'i}$ ，那么有

$dV=v^{'i}g_{'i}-v^{i}g_{i}=\frac{\partial V}{\partial x^{j}}dx^{j}=\frac{\partial }{\partial x^{j}}(v^{i}g_{i})dx^{j}=[\frac{\partial v^{i}}{\partial x^{j}}g_{i}+v^{i}\frac{\partial }{\partial x^{j}}(g_{i})]dx^{j}$

在文章https://blog.csdn.net/qq_34617015/article/details/104985086中，根据基矢量的协变导数为0，得到下式

$\frac{\partial }{\partial x^{j}}(\frac{\partial }{\partial x^{i}})=\Gamma _{ij}^{k}\frac{\partial }{\partial x^{k}}$

也即

$\frac{\partial }{\partial x^{j}}(g_{i})=\Gamma _{ij}^{k}g_{k}$

代入到 $dV$ 的表达式中，得到

$v^{'i}g_{'i}-v^{i}g_{i}=(\frac{\partial v^{i}}{\partial x^{j}}g_{i}+v^{i}\Gamma _{ij}^{k}g_{k})dx^{j}=(\frac{\partial v^{i}}{\partial x^{j}}g_{i}+v^{k}\Gamma _{kj}^{i}g_{i})dx^{j}$

也就是

$v^{'i}g_{'i}-v^{i}g_{i}=(\frac{\partial v^{i}}{\partial x^{j}}dx^{j}+v^{k}\Gamma _{kj}^{i}dx^{j})g_{i}$

这个式子的意义很明显，左边是 $(x+dx)$ 处的 $V$ 与 $x$ 处的 $V$ 的差，右边是这个差在 $g_{i}$ （ $x$ 处的基矢）上的分量乘以 $g_{i}$ ，也就是把这个差放到 $x$ 处为就是 $(\frac{\partial v^{i}}{\partial x^{j}}dx^{j}+v^{k}\Gamma _{kj}^{i}dx^{j})g_{i}$ ，换句话说，在 $x$ 处 $v^{'i}g_{'i}$ 就是 $v^{i}g_{i}+(\frac{\partial v^{i}}{\partial x^{j}}dx^{j}+v^{k}\Gamma _{kj}^{i}dx^{j})g_{i}=(v^{i}+\frac{\partial v^{i}}{\partial x^{j}}dx^{j}+v^{k}\Gamma _{kj}^{i}dx^{j})g_{i}$

总而言之， $(x+dx)$ 处的 $v^{'i}g_{'i}$ 被拉到了 $x$ 处，建立了 $x$ 处的 $v^{i}g_{i}$ 和 $(x+dx)$ 处的 $v^{'i}g_{'i}$ 的联系，它们本来在不同的两点，但现在可以把它们放在同一点处比较。这就是协变导数的作用。

可以看到，是 $\frac{\partial }{\partial x^{j}}(g_{i})=\Gamma _{ij}^{k}g_{k}$ 建立了两不同点处的联系，或者改写为

$d(g_{i})=\frac{\partial }{\partial x^{j}}(g_{i})dx^{j}=\Gamma _{ij}^{k}g_{k}dx^{j}=(\Gamma _{ij}^{k}dx^{j})g_{k}$

即

$d(g_{i})=(\Gamma _{ij}^{k}dx^{j})g_{k}$

显然，这个式子意思就是把 $g_{'i}$ 与 $g_{i}$ 的差 $d(g_{i})$ 拉到 $g_{i}$ 处表达为 $(\Gamma _{ij}^{k}dx^{j})g_{k}$ ，从而实现 $g_{'i}$ 在 $g_{i}$ 处的表达，这样就可以比较不同点处的矢量了。

联络

更一般的，在流形上每一点都有切空间，本来这些切空间是没有联系的，但为了比较不同的切空间中的量，就需要建立不同点的切空间之间的联系，这种联系称为联络， $d(g_{i})=(\Gamma _{ij}^{k}dx^{j})g_{k}$ 就是一种联络，若流形是黎曼流形，且 $\Gamma _{ij}^{k}$ 是Christoffel符号，那么这个联络叫做Levi-Civita联络，根据 $\Gamma _{ij}^{k}$ 的推导过程，可知Levi-Civita联络保持黎曼度量（两点间的距离）不变。