The Lie Derivative on Forms
We’ve defined the Lie derivative 
of one vector field 
by another, 
. This worked by using the flow of to compare nearby points, and used the derivative of the flow to translate vectors.
Well now we know how to translate 
-forms by pulling back, and thus we can define another Lie derivative:
What happens if 
is a 
-form — a function 
? We check
&=\lim\limits_{t\to0}\frac{1}{t}\left(\left[(\Phi_t)^*(f)\right](p)-f(p)\right)\\&=\lim\limits_{t\to0}\frac{1}{t}\left(f\left(\Phi_t(p)\right)-f(p)\right)\\&=X_p(f)=Xf(p)\end{aligned}](https://s0.wp.com/latex.php?latex=%5Cdisplaystyle%5Cbegin%7Baligned%7D%5Cleft%5BL_Xf%5Cright%5D%28p%29%26%3D%5Clim%5Climits_%7Bt%5Cto0%7D%5Cfrac%7B1%7D%7Bt%7D%5Cleft%28%5Cleft%5B%28%5CPhi_t%29%5E%2A%28f%29%5Cright%5D%28p%29-f%28p%29%5Cright%29%5C%5C%26%3D%5Clim%5Climits_%7Bt%5Cto0%7D%5Cfrac%7B1%7D%7Bt%7D%5Cleft%28f%5Cleft%28%5CPhi_t%28p%29%5Cright%29-f%28p%29%5Cright%29%5C%5C%26%3DX_p%28f%29%3DXf%28p%29%5Cend%7Baligned%7D&bg=e6e6e6&fg=333333&s=0 "\displaystyle\begin{aligned}\left[L_Xf\right](p)&=\lim\limits_{t\to0}\frac{1}{t}\left(\left[(\Phi_t)^*(f)\right](p)-f(p)\right)\\&=\lim\limits_{t\to0}\frac{1}{t}\left(f\left(\Phi_t(p)\right)-f(p)\right)\\&=X_p(f)=Xf(p)\end{aligned}")
That is, the Lie derivative by acts on 
exactly the same as the vector field does itself.
I also say that the Lie derivative by is a degree-zero derivation of the algebra 
. That is, it’s a real-linear transformation, and it satisfies the Leibniz rule:
for any -form 
and 
-form 
. Linearity is straightforward, and given linearity the Leibniz rule follows if we can show
for 
-forms 
. Indeed, we can write and as linear combinations of such - and -fold wedges, and then the Leibniz rule is obvious.
So, let us calculate:
So we see how we can peel off one of the -forms. A simple induction gives us the general case.
Like this:
Like Loading...
Related
July 13, 2011 -
Posted by John Armstrong |
Differential Topology, Topology
[…] Lie derivative looks sort of familiar as a derivative, but we have another sort of derivative on the algebra of […]
Pingback by The Exterior Derivative « The Unapologetic Mathematician | July 15, 2011 |
[…] . But since it takes -forms and sends them to -forms, it has degree one instead of zero like the Lie derivative. As a consequence, the Leibniz rule looks a little different. If is a -form and is an -form, I […]
Pingback by The Exterior Derivative is a Derivation « The Unapologetic Mathematician | July 16, 2011 |
[…] It turns out that there is a fantastic relationship between the interior product, the exterior derivative, and the Lie derivative. […]
Pingback by Cartan’s Formula « The Unapologetic Mathematician | July 26, 2011 |
[…] Cartan’s formula in hand we can show that the Lie derivative is a chain map . That is, it commutes with the exterior derivative. And indeed, it’s easy to […]
Pingback by The Lie Derivative on Cohomology « The Unapologetic Mathematician | July 28, 2011 |
[…] Armstrong: The algebra of differential forms, Pulling back forms, The Lie derivative on forms, The exterior derivative is a derivative, The exterior derivative is nilpotent, De Rham Cohomology, […]
Pingback by Tenth Linkfest | July 30, 2011 |