Does anyone know an elegant proof of equality: ( is Lie derivative).
I know the following definition of Lie derivative:
( is the flow of vector filed X and ( is appropriate pushforward)
Using the fact that one may write Lie derivative accordingly:
( is the flow of Y)
Commutator may be written in form:
I'm stuck here.