李导数
The divergence can be defined in terms of the [[Lie derivative]] as