Say $f$ is a function of point on $M$, we define $L_Xf$ to be $\lim_{h\rightarrow 0} \frac{f(\phi_h(p))-f(p)}{h}$, where $\phi_h(p)$ is like (but is not) '$p+h$': moving $p$ in manifold $M$ for a displacement 'proportional' to $h$ along vector field $X$. It's similar to differential $y'(x)$ of $y(x)$, except that at the same time we fix the path along which $h$ 'travels' to 0.
With such definition, we bypass the difficulty of defining differential of a function of a point on $M$, namely we can't divide the change of dependence variable by the difference $p-p'$ between two points $p, p'$ on a neighbourhood; the latter, when defined, will often approximate a vector which is not divisible, here it seems with $\phi_t$ we change the 'vector' $p-p'$ to a scalar.
- Is my intuiitive understanding of Lie derivative correct?
- What's the motivation behind such definition of differential? It seems some concepts in differential geometry originates from physics, is there any physical context here as well?
(BTW, compared with another way of defining derivative, where we simply eliminate the 'division': we define $df$ as a map from spaces of tangenct vectors (which locally approximate $p-p'$) of $f$'s domain to spaces of tangent vectors of $f$'s image.)