李导数
where formula_39 is the Lie derivative along the vector field formula_40.