リー微分
where formula_39 is the Lie derivative along the vector field formula_40.