23
$\begingroup$

I would be glad if someone could explain in intuitive terms what these different derivatives are, and possibly give some practical, understandable examples of how they would produce different results.

To be clear, I would like to understand the geometrical or physical meaning of these operators more than the mathematical or topological subtleties that lead to them!

Thanks!

$\endgroup$
3
  • $\begingroup$ Have you read the relevant wikipedia articles? $\endgroup$ Jul 28 '10 at 22:32
  • 4
    $\begingroup$ Of course, and this question "sort of" stems from that reading :-) $\endgroup$
    – Sklivvz
    Jul 28 '10 at 22:38
  • $\begingroup$ related: mathoverflow.net/questions/75220/… $\endgroup$
    – user23238
    Oct 9 '12 at 0:52
18
$\begingroup$

The Lie derivative is a derivative of a vector field V along another vector field W. It is defined at a point p as follows: flow the point p along W for some time t and look at the value of V at this point. Then push this forward along the flow of W to a vector at p. Subtract $V_p$ from this, divide by t, and take the limit as $t \to 0$. So this is a measure of how V changes as it gets pushed around by the flow of W.

The covariant derivative is a derivative of a vector field V along a vector W. Unlike the Lie derivative, this does not come for free: we need a connection, which is a way of identifying tangent spaces. The reason we need this extra data is because if we wanted to take the directional derivative of V along the vector W how we do in Euclidean space, we would be taking something like $V_{p+tW} - V_p$, which is the difference of vectors living in different tangent spaces. If we have a metric, then we can impose reasonable conditions that give us a unique connection (the Levi-Civita connection).

I have no idea what a contravariant derivative is. I'd guess it has to do with applying a covariant derivative and lowering indices.

$\endgroup$
1
  • 3
    $\begingroup$ Although the Lie derivative of a vector field is the most intuitive one can use the Lie derivative for arbitrary tensor fields. $\endgroup$
    – gofvonx
    Sep 16 '13 at 10:44

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.