Lie derivative
リー微分は通常、formula_60 と記される。ここに formula_38 はリー微分の取る(congruence)に沿ったベクトル場である。