Lie derivative
gilt, wobei formula_4 die Lie-Ableitung, formula_5 die äußere Ableitung und formula_6 die Kontraktion einer Differentialform bezeichnet.