Questions tagged [lie-derivative]

The Lie derivative gives a way to define the derivative of a tensor field in the direction of a vector field.

Let $A$ be a tensor field on a smooth manifold $M$, and let $V$ be a smooth vector field on $M$. Then the Lie derivative of $A$ with respect to $V$ is the tensor field given by

$$\mathcal{L}_VA = \left.\frac{d}{dt}\phi_t^*A\right|_{t=0}$$

where $\phi_t$ is the flow of $V$. In the case of a vector field $X$, we have $\mathcal{L}_VX = [V, X]$.

If $A$ is a $k$-contravariant, $l$-covariant tensor field, $X_1, \dots, X_k$ are smooth vector fields, and $\omega^1, \dots, \omega^l$ are smooth one-forms, then an equivalent definition of $\mathcal{L}_VA$ is

\begin{align*} &(\mathcal{L}_VA)(X_1, \dots, X_k, \omega^1, \dots, \omega^l)\\ =&\ V(A(X_1, \dots, X_k, \omega^1, \dots, \omega^l)) - \sum_{i=1}^kA(X_1, \dots, X_{i-1}, \mathcal{L}_VX_i, X_{i+1}, \dots, X_k, \omega^1, \dots, \omega^l)\\ &\ - \sum_{j=1}^lA(X_1, \dots, X_k, \omega^1, \dots, \omega^{j-1}, \mathcal{L}_V\omega^j, \omega^{j+1}, \dots, \omega^l)\\ =&\ V(A(X_1, \dots, X_k, \omega^1, \dots, \omega^l)) - \sum_{i=1}^kA(X_1, \dots, X_{i-1}, [V, X_i], X_{i+1}, \dots, X_k, \omega^1, \dots, \omega^l)\\ &\ - \sum_{j=1}^lA(X_1, \dots, X_k, \omega^1, \dots, \omega^{j-1}, \mathcal{L}_V\omega^j, \omega^{j+1}, \dots, \omega^l). \end{align*}

Acting on differential forms (skew contravariant tensor fields), the Lie derivative is related to interior multiplication and the exterior derivative via Cartan's magic formula:

$$\mathcal{L}_V = i_V\circ d + d\circ i_V.$$

453 questions
35
votes
2 answers

Geometric intuition behind the Lie bracket of vector fields

I understand the definition of the Lie bracket and I know how to compute it in local coordinates. But is there a way to "guess" what is the Lie bracket of two vector fields ? What is the geometric intuition ? For instance, if we take $U = x…
28
votes
1 answer

Proving Cartan's magic formula using homotopy

On page 198 of Arnold's Mathematical Methods of Classical Mechanics, he asks the reader to prove Cartan's formula $$\tag{1}L_X=\mathrm{d}i_X+i_X\mathrm{d}$$ where $L_X$ is the Lie derivative wrt. $X$, $\mathrm{d}$ is the exterior derivative, and…
24
votes
1 answer

Intuitive explanation of covariant, contravariant and Lie derivatives

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…
Sklivvz
  • 1,011
17
votes
2 answers

In the Lie bracket $\mathcal L_X Y\equiv[X,Y]$ of vector fields, which integral curves are used?

On page 159 of "A Comprehensive Introduction To Differential Geometry Vol.1" by Spivak has written: We thus see that the bracket $[X,Y]$ measures, in some sense, the extent to which the integral curves of $X$ and $Y$ can be used to form the…
16
votes
2 answers

Concrete example of the Lie derivative of a one-form

Let $\alpha$ be a one-form and $X$ a vector field. For example take: \begin{align*} \alpha &= y^2 dx + x^2 dy\\ &\\ X &= \frac{\partial}{\partial x}+xy \frac{\partial}{\partial y}. \end{align*} I'm trying to understand how the Lie derivative works…
14
votes
1 answer

The origin of the name homological equation

Let $$\dot{y} = Ay + \cdots \, ,$$ where the dots represent higher order terms in $y$. Make the change of variables $y \mapsto x - h(y)$, where $h$ is a vector valued polynomial of order $r$ in $y$. If the eigenvalues of $A$ are non-resonant, that…
14
votes
1 answer

Lie derivative w.r.t. time-dependent field

Some time ago, I asked this question. CvZ answered, and with my additional answer I thought I had solved the problem. Yesterday evening, I copied those calculations into my thesis, and having $t$ and $s$ exchanged, I found myself in trouble as to…
11
votes
2 answers

Why do we need a Lie derivative of a vector field?

Lie derivative of a smooth vector field $Y$ in the direction of a smooth vector field $X$ is defined (at least in our geometry course) as $L_X Y = \frac{d}{dt}\mid_{t=0} (\psi_\star Y)$ where $({\psi_t}_{t \in I})$ is the local flow of $X$ and…
11
votes
2 answers

Reynolds transport theorem: link with the Lie derivative?

In this Wikipedia article (see "Higher dimensions") there seems to be a connection between the Reynolds transport theorem (here) and the Lie derivative: $$\frac{d}{dt}\int_{\Omega(t)}\omega=\int_{\Omega(t)} i_{\vec{\textbf…
11
votes
1 answer

How to prove this formula for Lie derivative for differential forms

The professor gave this formula without providing a proof. I would like to know how this can be derived. Let $X$ be a vector field, $w$ be a $p$-form. Then, $$L_X w(v_1,v_2,\ldots,v_p)=X(w(v_1,v_2,\ldots,v_p))-\sum_{i=1}^p…
11
votes
2 answers

Does the Lie derivative commute with $\partial$?

It is well-known that on a smooth manifold $M$, the Lie derivative commutes with the exterior derivative, i.e. $${\cal L}_Xd\alpha=d{\cal L}_X\alpha$$ for any vector field $X$ and differential form $\alpha$. If $M$ is a complex manifold, is there a…
11
votes
1 answer

Confused about intuition behind Lie derivative

I'm trying to fix my intuition behind $\mathcal L_X T$, where $T$ is any tensor field. I'd prefer explanations that are not along the lines of $\mathcal L_XY=[X,Y]$ (I'm not sure how this extends to the case where $Y$ is an arbitrary tensor…
10
votes
2 answers

Time derivative of a pullback of a time-dependent 2-form

I've been reading McDuff's Introduction to symplectic topology book and I couldn't figure out how to justify the last line in this image(p108): Specifically, the identity $$\frac{d}{dt}\psi^*_t \omega_t = \psi^*_t (\frac{d}{dt}\omega_t +…
9
votes
2 answers

How to use the Lie derivative to "perform" a parallel transport along a curve

Setup Consider a metric, for example that of a sphere with fixed radius $R$, i.e. $$ds^2 = R^2 d\theta^2 + R^2\sin^2\theta^2d\varphi^2,$$ and a curve on that sphere $\gamma = (\theta_0, \varphi)$, where $\theta_0 = const.$ and $\varphi\in[0,2\pi)$,…
9
votes
1 answer

Complexification of compact connected Lie groups: do these curves have the same tangent vector?

I'm trying to understand the complexification of Lie groups from page $207$ here and I'm having trouble with a computation. Assume $A, B$ are hermitian metrices, and $k$ is a unitary matrix. I want to show that the two paths $\alpha(t):=…
1
2 3
30 31