Lie derivative
这里 formula_28 表示沿着向量场 "X" 的李导数。此外，我们可以验证有恒等式：