李导数
where formula_12 is the Lie derivative.