リー微分
Now we can define the Lie derivative of formula_16 along formula_17 as,