リー微分
The Lie derivative is usually denoted by formula_75, where formula_48 is the vector field along whose congruence the Lie derivative is taken.