Lie derivative
現代的な見方では、場の変分として、同一座標値での差を取ったリー微分 formula_38 で記述すると都合がよい。