Lie derivative
其中formula_28代表formula_23的第一延长，按李导数的定义。