短语词组短语time varying Lie derivative 时变李导数lie derivative of vector field 向量场的李导数lie derivative of differential form 微分形式的李导数 返回 lie derivative