リー微分
The divergence can be defined in terms of the [[Lie derivative]] as