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.$$

424 questions
3
votes
0 answers

Lie Derivative computation

On $\mathbb{R}^{4}$ with coordinates $x_{1},y_{2},x_{2},y_{2}$ consider the 2-form $\omega=dx_{1}\wedge dy_{1}+dx_{2}\wedge dy_{2}$ . GIven a smooth $f$ on $\mathbb{R}^{4}$ , let $X$ be the vector field:…
MCS
  • 2,209
2
votes
0 answers

In $SO(3)$, what is the derivative at time $t$ of $R(t) = \exp([\omega]_\times t)$?

I cannot wrap my head around something that seems pretty basic. In "A micro Lie theory for state estimation in robotics", the authors derive the structure of the Lie algebra of $SO(3)$ by taking the time derivative of the group constraint. Then,…
2
votes
1 answer

How a composition of functions appears from taking directional derivatives

Let $X$ be a vector field and $F^t$ the corresponding locally defined flow on a smooth manifold $M$. Thus $F^t(p)$ is defined for small $t$ and the curve $t \mapsto F^t(p)$ is the integral curve for $X$ that goes through $p$ at $t=0$. If $f : M \to…
2
votes
0 answers

Lie derivative covector in coordinates

The lie derivative of the scalar field $f(x)$ under $x' =x + \varepsilon v(x)$ can be calculated by noting $$f(x') = f(x + \varepsilon v) = f(x) + \varepsilon v \partial f$$ giving $$\mathcal{L}_v(f) = \varepsilon v \partial f.$$ Trying the same…
1
vote
1 answer

A proof strategy for $L_XY=[X,Y]$

I'm trying to prove that $$L_XY=[X,Y]$$ I do realize that there are other proofs given of this assertion on stackexchange. However, I'm looking for ways to prove it using my strategy, as given below: Let $\phi(t)$ be the flow of the vector $X$ at…
1
vote
1 answer

Lie bracket in vector fields

How can I solve the following exercise? Let $\textrm{o}\left ( n \right )=\left \{ A\in M\left ( n,\mathbb{R} \right ); A^{t}=-A\right \}$. For each $A\in \textrm{o}\left ( n \right )$ define the vector field on $M\left ( n,\mathbb{R} \right )$…
1
vote
0 answers

Definition of the Lie derivative

Consider the Lie derivative of the vector field $\bf{Y}$ with respect to the vector field $\bf{X}$ on manifold $M^{n}(x)$ defined as $$\displaystyle{[\mathcal{L}_{\bf{X}}Y]_{x}:=\lim_{t\rightarrow 0}…
1
vote
0 answers

Lie derivative of a partial vector or matrix?

Consider an $n$-dimensional vector space $V$ with a metric given by: $$g_{ij}=\left({{v}\atop{\vec{u}_{i}}}~~{{\vec{u}^T_{j}}\atop{\hat{k}_{ij}}}\right)$$ where $i,j\in\{1,2,3,...,n\}$. For the sake of discussion, define the partial matrix $k_{ij}$…
Kagaratsch
  • 2,239
0
votes
0 answers

Lie derivative from covariant derivative

The directional derivative is $\nabla_{\mathbf{v}}{f}(\mathbf{x}) = \nabla f(\mathbf{x}) \cdot \mathbf{v}$ The directional derivative on a manifold is the covariant derivative $\begin{align} \nabla_\mathbf{v} \mathbf{u} &= \nabla_{v^j…
R. Emery
  • 599
0
votes
0 answers

Lie derivatives for a differential forms-[derivation of Lee-smooth manifold]

I have trouble of understanding Lee's textbook, Introduction to smooth manifold, about Lie derivatives for differential forms. First let me state the content in textbook. Let $A$ be a smooth contravariant $k$-tensor field on a smooth manifold…
phy_math
  • 6,448
0
votes
0 answers

How to show that $\frac{d}{dt}\int_{\phi_t(U)}\omega_t = \int_{\phi_t(U)}(\partial_t\omega_t + L_x\omega_t)$?

I am studying Lie derivatives and there is this question I cannot solve. The text says that is one transport equation. Anyone knows the reason for this name? Yet, I am searching for any identity that leaves me to conclude that…