リー微分
The Lie derivative of a tensor field.