在微分几何中,李导数(Lie derivative)是一个以索甫斯·李命名的算子,作用在流形上的张量场,向量场或函数,将该张量沿着某个向量场的流做方向导数。因为该作用在坐标变换下保持不变,因此,该李导数在一般的流形上都是定义良好的。
所有李导数组成的向量空间对应于如下的李括号构成一个无限维李代数。
李导数用向量场表示,这些向量场可看作上的流(flow, 也就是时变微分同胚)的无穷小生成元。从另一角度看,上的微分同胚组成的群,有其对应的李导数的李代数结构,在某种意义上和李群理论直接相关。
李导数有几种等价的定义。在本节,为简便起见,我们用标量场和向量场的李导数的定义开始。李导数也可定义在一般的张量上,如后面的章节所述。
李导数的定义可以从函数的微分开始。这样,给定一个函数上的向量场 , 在点的微分。也就是,(在中的点)的微分和向量场(在点)的内积。
或者,可以先表明上的光滑向量场定义了一个上的单参数曲线族。也就是,可以表明存在曲线上使得
其中中的点成立。这个一阶常微分方程的解的存在性由皮卡-林德洛夫定理给出(更一般的,这种曲线的存在性是弗罗贝尼乌斯定理给出)。然后可以定义李导数为
第三个可能的定义可以通过先定义一对向量场的李括号给出。首先注意到切空间的基向量可以写为的李导数等于和的李括号,也就是,
根据上面任选的一个定义,其他的定义可被证明为其等价形式。例如,可以证明,对于一个可微函数,
并且
我们用在1-形式上的函数组成的代数。则
是一个在代数上的向量场的集合:
也可写为等价形式
其中张量积符号上的向量空间是李代数”的重要结果。
李导数和外导数密切相关,因此和埃里·嘉当的微分流形理论相关。两个都试图给出导数的思想,其差别几乎只是记号上的。这个区别可以通过引入反导数或等效的内积来消除。这之后,两者的关系就体现在一组恒等式上。
令为一个流形,为上一个向量场。令+1-形式。和ω的内积为
注意
以及上的函数,有
外导数和李导数的关系可以总结为以下这些。对于一般函数,李导数就是外导数和向量场的内积:
对于一般的微分流形,李导数类似于内积,加上的变化:
当ω为1-形式,上述恒等式经常写作
导数的乘积是可分配的
在微分几何中,如果我们有一个阶可微张量场(我们可以把它当作余切丛的光滑截面和切丛的截面的线性映射),使得对于任何函数有
而且如果进一步有一个可微向量场(也就是切丛的一个光滑截面),则线性映射
独立于联络∇;只要它是无挠率的,事实上,这个映射是一个张量。这个张量称为关于的李导数。
换句话说,如果你有一个张量场和一个由向量场给出的微分同胚的无穷小生成元,则就是在这个无穷小微分同胚下的无穷小变化。
或者,给定向向量场,令ψ为的积分曲线族,向上面那样。注意ψ是一个局部单参数局部微分同胚群。令为由ψ诱导的拉回(pullback)。则张量在点的李导数如下