リー微分
where formula_12 is the Lie derivative.