リー微分
The Lie derivative of any tensor along a vector field can be expressed through the covariant derivatives of that tensor and vector field. The Lie derivative of a scalar is just the directional derivative: