# Lie Derivative in Coordinates¶

Here we will study the coordinate dependent realization of the Lie derivative. Let be a scalar (zero-form), a vector field, and be a one-form, where  form the basis that span the space of vector fields, and are the basis elements for the space of one-forms.

Using Cartan’s magic formula the Lie derivative is given algebraically by

(1) In coordinate form the Lie derivative of a scalar, a one-form and a vector field become  To compute the Lie derivative of a one form we use    Combining the terms above we obtain the results for the Lie derivative of a one-form  The Lie derivative is a derivation and so it must satisfy a product rule over the pairing of forms and vector fields

(2) To see that the above expressions for the Lie derivative do indeed satisfy Eq. (2)   After a simple relabeling of the dummy indices it can be shown that Eq. (2) is indeed satisfied.

Thus, in two dimensions it can be shown that Given a two form it can be shown that Other quantities 