リー微分
The Lie derivative may be defined in several equivalent ways. To keep things simple, we begin by defining the Lie derivative acting on scalar functions and vector fields, before moving on to the definition for general tensors.