Lie derivative
ここに formula_13 はベクトル場 "X" にそったリー微分で、"d" は外微分で、"i" は内積である。