 Solution

Expand $T=T^{\mu }{}_{\nu }{\partial }_{\mu }\otimes d{x}^{\nu }$. Using the tensor Lie derivative of functions, vectors and covectors and its Leibniz rule givesThe contravariant slot has a minus sign and the covariant slot a plus sign.

For the commutator identity for Lie derivatives, put $D=[{\mathcal{L}}_X,{\mathcal{L}}_Y]-{\mathcal{L}}_{[X,Y]}$. The commutator of two tensor derivations is itself a tensor derivation, and $D$ commutes with tensor contractions. On a function, $Df=XYf-YXf-[X,Y]f=0$. On a vector field $Z$,by the Jacobi identity, which follows here by expanding the commutators of the operators $X,Y,Z$ acting on functions. For a type $(1,1)$ tensor, $T(Z)$ is a vector field, and contraction compatibility givesAs this holds for every $Z$, $DT=0$. ThereforeThe derivation argument also establishes the identity for arbitrary tensor types by applying it to covector–vector pairings and then to tensor products.