リー微分
Relation to Lie derivative.