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