Lie Derivative (directional derivative proof)

Hi,

http://www.staff.science.uu.nl/~ban0...tes/lieder.pdf

I just need help understanding one line of the proof in this pdf. It's top of page 5, how does the chain rule lead us to the second line from the bottom (the line where the t=0 moves to the end) of the proof?

Why is the line not df/dp dp/dt? I thought that's what the chain rule was...

Re: Lie Derivative (directional derivative proof)

dmf is kind of df/dp

and d\phai /dt is kind of dp/dt

so you're right.

Re: Lie Derivative (directional derivative proof)

Thanks xxp9, but if dmf means df/dm, how does the first denominator, dm, cancel with the second numerator, dphai?

Re: Lie Derivative (directional derivative proof)

The chain rule doesn't need anything to be cancelled. The chain rule just states: The induced linear map of a composition is the composition of the induced linear maps.