Lie derivative
where formula_12 is the Lie derivative.