李导数
The Lie derivative also satisfies the relation