リー微分
Nijenhuis–Lie derivative.