Lie derivative
这里 formula_8 是沿着向量场 "X" 的李导数。在局部坐标中，我们得到