45
$\begingroup$

A friend of mine is studying physics, and asks the following question which, I am sure, others could respond to better:

What is the difference between the covariant derivative of $X$ along the curve $(t)$ and a Lie derivative of $X$ along $y(t)?$ I know the technical stuff about not needing to define a connection with a Lie derivative, needing to define the fields $X$ and $Y$ over a greater neighborhood, etc.

I am looking for a more physical sense. If a Lie derivative gives the sense of the change of a vector field along the direction of another field, how does the covariant derivative differ?

$\endgroup$
  • 6
    $\begingroup$ I don't think the Lie derivative "gives the sense of the change of the vector field along the direction of another field". One primary difference is that $\nabla_Z$ is $C^\infty$-linear in $Z$, while $\mathcal{L}_Z$ is only $\mathbb{R}$-linear. Conceptually for the Lie derivative you flow the entire manifold/neighborhood along the vector field $Z$ (so in fact you cannot define the Lie derivative of a vector field $X$ along a curve $y(t)$; at the very least you need to have a congruence, instead of just a single curve). $\endgroup$ – Willie Wong Sep 12 '11 at 14:01
  • 7
    $\begingroup$ you'll find an extensive discussion, with many pointers to the literature at physicsforums.com/showthread.php?t=150200 $\endgroup$ – Carlo Beenakker Sep 12 '11 at 14:12
  • 5
    $\begingroup$ @CarloBeenakker great link: why don't you quote it as an answer? I makes a lot more sense for poor physicists like me than any of the current answers. $\endgroup$ – chris Dec 31 '14 at 11:01
  • $\begingroup$ "so in fact you cannot define the Lie derivative of a vector field XX along a curve y(t)y(t); at the very least you need to have a congruence, instead of just a single curve)." – @WillieWong That is completely incorrect. The Lie derivative of a vector field is defined on the level curve of another vector field. $\endgroup$ – user98740 Sep 20 '16 at 23:37
  • 1
    $\begingroup$ @guest I encourage you to learn some differential geometry, perhaps by doing the exercise Jack Lee mentioned in his comment. $\endgroup$ – Willie Wong Sep 21 '16 at 3:29
33
$\begingroup$

The Lie derivative of a vector field $X$ with respect to another vector field $Y$ is just the Lie bracket of the two vector fields. It is well-defined given only the smooth structure and does not require any connection. In other words, it is independent of changes of co-ordinates and is preserved under any diffeomorphism. Given how flexible diffeomorphisms are, it can't be a pointwise or even curvewise concept, since you can basically map any pair of nonzero vectors to any other pair and even any nonvanishing transversal vector field along a curve to any other nonvanishing transversal vector field along another curve.

But we know what the Lie derivative tells us. It tells us how "coherent" or "independent" the two vector fields are with respect to each other locally (on an open set and not just at a point). It measures to what extent the generated flows commute, i.e. what happens if you first travel along an integral curve of one and then along one of the other versus the opposite order.

Another way to think about this is, discussed in control theory, to think about the set you get if you flow first along one vector field, then the other, then the first one again, etc. If the Lie bracket vanishes, then you stay inside a 2-dimensional surface. If it doesn't, then the value of the Lie bracket (and its iterates) tells you the dimension of the set that you stay inside.

A connection allows you to define the concept of a "constant" vector along a curve, i.e. parallel translation along a curve. It is important to understand that defining parallel translation is an extra assumption or geometric structure added to the smooth manifold.

$\endgroup$
  • 3
    $\begingroup$ Another natural question is whether the Lie derivative and connection are related somehow. The answer is that for an arbitrary connection, they don't have to be related at all. But it turns out to be useful (and therefore natural?) to assume that they are related. Again, however, this is an additional assumption and not forced on you. $\endgroup$ – Deane Yang Sep 12 '11 at 15:19
11
$\begingroup$

First let me say that what is intuitive to a physicist may be not be so to a geometer and vice-versa. To many physicists a connection is the potential of a field satisfying a gauge invariance. For this point of view I refer to vol. 1, Chap. 6 sect 41 of the three volume book by Dubrovin-Fomenko-Novikov: Modern Geometry-Methods and applications.

I find this point of view less intuitive only because I was trained as a mathematician.

The notion of covariant derivative appears naturally when one tries to solve the following problem. Suppose that $E\to M$ is a smooth vector bundle over a smooth manifold $M$. For example, $E$ could be the tangent bundle of $M$. We seek a notion of parallel transport that will allow us to compare vectors situated in different fibers of the bundle. More precisely, this is a correspondence that associates to each smooth path

$$\gamma: [a,b]\to M$$

a linear map $T_\gamma$ from the fiber of $E$ at the initial point of $\gamma$ to the fiber of $E$ over the final point of $\gamma$

$$T_\gamma: E_{\gamma(a)}\to E_{\gamma(b)}.$$

The map $T_\gamma$ is called the parallel transport along the path $\gamma$.The assignment $\gamma\mapsto T_\gamma$ should satisfy two natural conditions.

(a) $T_\gamma$ should depend smoothly on $\gamma$. (The precise meaning of this smoothness is a bit technical to formulate, but in the end it means what your intuition tells you it should mean.)

(b) If $\gamma_0: [a,b]\to M$ and $\gamma_1:[b,c]\to M$ are two smooth paths such that the initial point of $\gamma_1$ coincides with the final point, then we obtain by concatenation a path $\gamma:[a,c]\to M$ and we require that

$$T_\gamma= T_{\gamma_1}\circ T_{\gamma_0}. $$

Suppose we have a concept of parallel transport. Given a smooth path $\gamma:[0,1]\to M$ and a section $\boldsymbol{u}(t)\in E_{\gamma(t)}$, $t\in [0,1]$ of $E$ over $\gamma$, then we can define a concept of derivative of $\boldsymbol{u}$ along $\gamma$. More precisely

$$ \nabla_{\dot{\gamma}} \boldsymbol{u}|_{t=t_0}=\lim_{\varepsilon \to 0} \frac{1}{\varepsilon} \left( T^{t_0,t_0+\varepsilon}_\gamma \boldsymbol{u}(t_0+\varepsilon)- \boldsymbol{u}(t_0)\right), $$

where $ T^{t_0,t_0+\varepsilon}_\gamma$ denotes the parallel transport along $\gamma$ from the fiber of $E$ over $\gamma(t_0+\varepsilon)$ to the fiber of $E$ over $\gamma(t_0)$. The left-hand-side of the above equality is called the covariant derivative of $\boldsymbol{u}$ along the vector field $\dot{\gamma}$ determined by the parallel transport. Thus, a choice of parallel transport leads to a concept of covariant derivative.

Conversely, a covariant derivative $\nabla$ leads to a parallel transport. Given a smooth path $\gamma:[0,1]\to M$ the parallel transport

$$T_{\gamma}: E_{\gamma(0)}\to E_{\gamma(1)} $$

is defined as follows. Fix $u_0\in E_{\gamma(0)}$. Then there exists a unique section $\boldsymbol{u}(t)$ of $E$ over $\gamma$ satisfying

$$ \boldsymbol{u}(0)=u_0,\;\;\nabla_{\dot{\gamma}}\boldsymbol{u}(t)=0,\;\;\forall t\in [0,1].$$

We then set $\newcommand{\bu}{\boldsymbol{u}}$

$$T_\gamma \bu_0:= \boldsymbol{u}(1).$$

This construction allows us to define the covariant derivative $\nabla_X\bu$ of a section $\bu$ of $E$ along a vector field $X$ of $M$. It satisfies the rescaling property

$$ \nabla_{fX}\bu=f\big(\nabla_X\bu\big),\;\;\forall f\in C^\infty(M). $$

A connection on $TM$ will then satisfy

$$\nabla_{fX} Y=f\big(\nabla_X Y),$$

for any vector fields $X,$ and any smooth function $f$. On the other hand the Lie derivative satisfies $$ L_{fX} Y= fL_XY-(Xf) Y, $$ so it cannot be a covariant derivative.

$\endgroup$
5
$\begingroup$

Lie derivative is based on a Lie group (or Lie algebra) which acts on the manifold. This derivative cannot be defined just at one point because the action cannot be defined at a point even if you give explicitly the direction at that point. On the other hand, using connection, covariant derivative can be defined pointwise. I think this is the main technical difference between them.

$\endgroup$
  • $\begingroup$ I'm not sure what you mean by "defined pointwise". With either type of derivative, you need to know something about the vectors involved at more than one point. So you need to be more precise about what the distinction is. $\endgroup$ – Deane Yang Sep 12 '11 at 19:53
  • 2
    $\begingroup$ Covariant derivative is the analogue of directional derivative in R^n case. So if we fix a connection and assign a direction to a point, the covariant derivative at that point is well-defined. But for Lie derivative, one direction is not enough. We have to point out the vector field. L_X(f) might not equal to L_Y(f) even if X(p)=Y(p). $\endgroup$ – Xiao Xinli Sep 12 '11 at 20:20
  • $\begingroup$ Yes, that's a good clarification of what you wrote. $\endgroup$ – Deane Yang Sep 12 '11 at 20:30
  • $\begingroup$ I suppose you mean the action of the Lie algebra of the diffeomorphism group, which is the Lie algebra $\mathfrak{X}(M)$ of vector fields on $M$, right? How does it clarify the picture about the Lie derivative? $\endgroup$ – Qfwfq Sep 12 '11 at 21:50
5
$\begingroup$

Here's an example from Lee's Riemannian Geometry

Problem 4-3: b) There exists a vector field on $\mathbb R^2$ that vanishes along the x-axis, but whose Lie derivative with respect to $\partial_1$ does not vanish on the x-axis. [This shows that Lie differentiation does not give a well-defined way to take directional derivatives of vector fields along curves.]

We can for instance take the vector field to be $V = \exp(-\frac{1}{x_2} + x_1)$ for $x_2 > 0$ and 0 otherwise.

$\endgroup$
  • 6
    $\begingroup$ Note that this problem was incorrectly stated in my book. In my correction list, it's restated correctly as follows: "Show that there are vector fields $V$ and $W$ on $\mathbb R^2$ such that $V = W = \partial_1$ along the $x^1$-axis, but the Lie derivatives $\mathscr L_V (\partial_2)$ and $\mathscr L_W (\partial_2)$ are not equal on the $x^1$-axis.” $\endgroup$ – Jack Lee Sep 15 '15 at 16:48
5
$\begingroup$

I like to think about the Lie derivative in the following way. You are standing on a bridge over a river. Open a box of matches and throw them into the river. At time $t=0$ the matches define a vector field $X$, the velocity field of the river is a vector field $Y$. Fix your eyes at a point $p$ (immobile with respect to the bridge) and watch how the directions of the matches flowing through point $p$ are changing. The speed of this change is the Lie derivative $\mathcal{L}_Y(X)(p)$. This picture is not very exact, because the matches do not change their lengths. A truly elastic match can be stretched or shrunk by the flow.

To understand the Levi-Civita covariant derivative one has to understand geodesics. If you are driving on uneven terrain, then your car will move along the geodesic if the left and the right wheel rotate with the same speed. If $X$ is a vector field on the terrain, and your speed at the moment is $Y$, then $\nabla_YX$ is the rate of change of the vector field $X$ in the coordinate system bound to your car.

In particular, one sees that $\nabla_YX(p)$ depends only on the value of $Y$ at the point $p$, while $\mathcal{L}_Y(X)(p)$ depends on the values of $Y$ in a neighborhood of $p$.

$\endgroup$
4
$\begingroup$

I know I'm really late in the game here, but I'm teaching a differentiable manifolds class for the first time this semester and I have been thinking a bit about this question. At least for the case of a torsion-free connection, there is a certain intuitive picture of the relation between the Lie and covariant derivatives that I find appealing.

Let $X$ be a smooth vector field and let $\nabla$ be a torsion-free affine connection. Then $\nabla X$ defines a $C^\infty(M)$-linear endomorphism of vector fields: $Y \mapsto \nabla_Y X$. Therefore functorially $\nabla X$ induces $C^\infty(M)$-linear endomorphisms of tensor fields, that is, sections of $TM^{\otimes s} \otimes T^*M^{\otimes r}$.

The intuitive picture is that the covariant derivative is pointwise a sort of affine transformation, with the Lie derivative $L_X$ playing the part of the translation and $\nabla X$ playing the part of the linear transformation. For example, on vector fields, $$ \nabla_X Y = L_X Y + (\nabla X)(Y) = [X,Y] + \nabla_Y X $$ which is the torsion-free condition. This is more general than just vector fields, of course. If $T$ is any tensor, then $$ \nabla_X T = L_X T + (\nabla X)(T), $$ where $\nabla X$ acts on $T$ in the natural way.

$\endgroup$
1
$\begingroup$

Let $T$ be a tensor field on the manifold $M$, $\nabla$ a connection, $v$ a tangent vector at $x\in M$, and $V$ a vector field such that $V(x)=v$.

Then the intuition is as follows:

The covariant derivative $\nabla_v T$ is the derivative of $T$ along a geodesic arc $\gamma$ for $\nabla$ which has direction $v$ at $x=\gamma(0)$. The derivation is computed in the finite dimensional tangent space $T_xM$, as nearby values $T(y)$, $y\in M$, are compared via parallel transport.

(Remark: here "geodesic arc" should be made more precise, as geodesics emanating from $x$ are determined as parametrized curves and it may happen that the geodesic in the direction $v$ doesn't have velocity $v$)


The (value at the point $x$ of the) Lie derivative $\mathcal{L}_VT$ is the derivative of $T$ along the flowline of $V$ (passing through $x$). The derivation is computed in the finite dimensional tangent space $T_xM$, as nearby values $T(y)$, $y\in M$, are compared via pullback along the local flow of $V$.

$\endgroup$
  • 7
    $\begingroup$ I don't see any reason why a covariant derivative has to be computed using a geodesic. You get the same answer using any curve with tangent vector $V$. $\endgroup$ – Deane Yang Sep 12 '11 at 16:18
  • 6
    $\begingroup$ And the explanation of Lie derivative is quite misleading, because it makes it seem like the Lie derivative depends only on $T$ along the flow line of $V$. In fact, it depends on how both $T$ and $V$ behave in a neighborhood of the flowline. If you really want to use only data along the flow line, then you need to know their first order jets along the curve. $\endgroup$ – Deane Yang Sep 12 '11 at 17:27
  • $\begingroup$ @DeanYang: of course I agree the connection only depends on $v$, but he asked for an intuitive explanation, and I think the most intuitive meaning I can attach to the covariant derivative along a direction is: "directional derivative along the stright line (with respect to the connection, or metric if the connection is metric)". I agree you don't have to compute it along a geodesic, but it's what is it morally supposed to mean. $\endgroup$ – Qfwfq Sep 12 '11 at 21:38
  • $\begingroup$ @DeanYang: your second remark make me think my interpretation of the Lie derivative is not quite correct as stated. Is there a way (given $T$ and $V$ in a neighborhood of $x$) to compute the Lie derivative $\mathcal{L}_VT$ within a fixed finite dimensional vector space (depending on $x$)? $\endgroup$ – Qfwfq Sep 12 '11 at 21:45
  • 3
    $\begingroup$ "I agree you don't have to compute it along a geodesic, but it's what is it morally supposed to mean": I don't really agree with the second half. It's just a directional derivative associated with the tangent vector. A geodesic works, but in this case plays no special role. So mentioning it is misleading. It is true that when you first learn about directional derivatives on $R^n$, you tend to define them in terms of straight lines. However, it is rather important in differential geometry to understand that straight lines are not special when computing or defining a directional derivative. $\endgroup$ – Deane Yang Sep 13 '11 at 9:49
0
$\begingroup$

Lie derivate is the variation of the a tensor field at a point after deforming the space by the integral curve of a vector field.

Covariant derivative is a generalization of the directional derivative applied to the tensors of the any range in such a way that its result is a tensor and is expressed in the same form for any arbitrary coordinate system, for which it is necessary to define additional functions of connection, demanding that they be transformed in a certain way with respect to coordinate changes.

Exterior derivative is applied for antisymmetric covariant tensor or diferencial forms.

$\endgroup$

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.