リー微分
The Lie derivative also satisfies the relation