リー微分
The Lie derivative of a vector field.