短语词组短語time varying Lie derivative 時變李導數lie derivative of vector field 曏量場的李導數lie derivative of differential form 微分形式的李導數 返回 lie derivative