Past exam of the mathematics course of the University of Cambridge / 2016 / iii / Paper 309 / 3 / b / i / Solution

The Lie derivative of a function is differentiation along the flow, while the Lie derivative of a vector field compares a vector with its pullback by that flow. Their index-free expressions areHere $X(f)$ is the directional derivative of the smooth function, and $[X,Y]$ is the Lie bracket of vector fields, characterized by $[X,Y](f)=X(Y(f))-Y(X(f))$. To see the second expression directly, if ${\varphi }_t$ is the local flow of $X$, differentiating $(d{\varphi }_t{)}^{-1}Y\circ {\varphi }_t$ at $t=0$ gives $dY(X)-dX(Y)=[X,Y]$. This uses the flow definition of the Lie derivative of a tensor field.