Return to Question

I am currently working on understanding the intrinsic differential geometry underpinning General Relativity, and I think I could benefit from a more intuitive grasp of the process of taking the Lie derivative of a vector field with respect to another vector field.

I ask this question for this reason. Pictorially, I understand what happens to tangent vectors when we parallel transport them along curves when taking covariant derivatives. Therefore, I seek to understand what happens to tangent vectors when we "Lie transport" them along integral curves of vector fields when taking Lie derivatives of vector fields.

To illustrate my point further, consider the following example.

Let $V$ and $W$ be smooth vector fields on a (say smooth) manifold $M$. Let $\gamma_w$ denote an integral curve of $W$ and let $q = \gamma_w (s)$ be an arbitrary point in the image of $\gamma_w$.

Let $\phi^{x}$ be an element of the local one-parameter group of $W$, that is, $\phi^{x}$ is the flow of the vector field $W$ by parameter $x$ along $\gamma_w$.

We then compute the Lie derivative of $V$ with respect to $W$ at $q$, $\mathcal{L}_W V(q)$ (so $\mathcal{L}_W V$ is a vector field on $M$), as follows.

We first let the tangent vector $V(\gamma_w(s+\epsilon)$) "flow" back from $\gamma_w(s+\epsilon)$ to $q$. The resulting tangent vector at $q$ is given by $d\phi^{-\epsilon}(V(\gamma_w(s+\epsilon))$ (here $d\phi^{-\epsilon}$ is the differential of $\phi^{-\epsilon}$). We then subtract $V(q)$ from this tangent vector (this subtraction operation is now well-defined), and divide the result by $\epsilon$. We then take the limit as $\epsilon \rightarrow 0$ to get a genuine derivative of the vector field $V$ along an integral curve of $W$.

That is,

\begin{equation} \mathcal{L}_W V(q) = \lim_{\epsilon \to 0} \frac{d\phi^{-\epsilon}(V(\gamma_w(s+\epsilon))- V(q)}{\epsilon} =\frac{d}{dt} ((d\phi^{-t} \circ V \circ \phi^t) (q))\rvert_{t = 0} \end{equation}

Now, my question is the following. Geometrically/pictorially, what happens to $V(\gamma_w(s+\epsilon)$) when it "flows" from $\gamma_w(s+\epsilon)$ to $q$, and why does the differential $d\phi^{-\epsilon}$ output this Lie transported tangent vector?

Thanks in advance.

Notes

This is a modified version of a couple (now deleted) questions I posted to this site and Math StackExchange. Also, as stated above, I am looking for an intuitive answer, not an algebraic or computational one. As such, I am totally okay with an answer that treats these vector fields as little arrows scattered across the manifold.

I should also say that I have looked at many questions regarding the intuition behind the Lie derivative, specifically how it differs from the covariant derivative. However, I could not find a satisfying answer that answers the above question from a geometrical/intuitive point of view. I guess that I am looking for a physicist's perspective here.

I am currently working on understanding the (intrinsic) differential geometry underpinning General Relativity, and I think I could benefit from a more intuitive grasp of the process of taking the Lie derivative of a vector field with respect to another vector field.

I ask this question for this reason. Pictorially, I understand what happens to tangent vectors when we parallel transport them along curves when taking covariant derivatives. Therefore, I seek to understand what happens to tangent vectors when we "Lie transport" them along integral curves of vector fields when taking Lie derivatives of vector fields.

To illustrate my point further, consider the following example.

Let $V$ and $W$ be smooth vector fields on a (say smooth) manifold $M$. Let $\gamma_w$ denote an integral curve of $W$ and let $q = \gamma_w (s)$ be an arbitrary point in the image of $\gamma_w$.

Let $\phi^{x}$ be an element of the local one-parameter group of $W$, that is, $\phi^{x}$ is the flow of the vector field $W$ by parameter $x$ along $\gamma_w$.

We then compute the Lie derivative of $V$ with respect to $W$ at $q$, $\mathcal{L}_W V(q)$ (so $\mathcal{L}_W V$ is a vector field on $M$), as follows.

We first let the tangent vector $V(\gamma_w(s+\epsilon)$) "flow" back from $\gamma_w(s+\epsilon)$ to $q$. The resulting tangent vector at $q$ is given by $d\phi^{-\epsilon}(V(\gamma_w(s+\epsilon))$ (here $d\phi^{-\epsilon}$ is the differential of $\phi^{-\epsilon}$). We then subtract $V(q)$ from this tangent vector (this subtraction operation is now well-defined), and divide the result by $\epsilon$. We then take the limit as $\epsilon \rightarrow 0$ to get a genuine derivative of the vector field $V$ along an integral curve of $W$.

That is,

\begin{equation} \mathcal{L}_W V(q) = \lim_{\epsilon \to 0} \frac{d\phi^{-\epsilon}(V(\gamma_w(s+\epsilon))- V(q)}{\epsilon} =\frac{d}{dt} ((d\phi^{-t} \circ V \circ \phi^t) (q))\rvert_{t = 0} \end{equation}

Now, my question is the following. Geometrically/pictorially, what happens to $V(\gamma_w(s+\epsilon)$) when it "flows" from $\gamma_w(s+\epsilon)$ to $q$, and why does the differential $d\phi^{-\epsilon}$ output this Lie transported tangent vector?

Thanks in advance.

Notes

This is a modified version of a couple (now deleted) questions I posted to this site and Math StackExchange. Also, as stated above, I am looking for an intuitive answer, not an algebraic or computational one. As such, I am totally okay with an answer that treats these vector fields as little arrows scattered across the manifold.

I should also say that I have looked at many questions regarding the intuition behind the Lie derivative, specifically how it differs from the covariant derivative. However, I could not find a satisfying answer that answers the above question from a geometrical/intuitive point of view. I guess that I am looking for a physicist's perspective here.

I am currently working on understanding the intrinsic differential geometry underpinning General Relativity, and I think I could benefit from a more intuitive grasp of the process of taking the Lie derivative of a vector field with respect to a second vector field.

I ask this question for this reason. Pictorially, I understand what happens to tangent vectors when we parallel transport them along curves when taking covariant derivatives. Therefore, I seek to understand what happens to tangent vectors when we "Lie transport" them along integral curves of vector fields when taking Lie derivatives of vector fields.

To illustrate my point further, consider the following example.

Let $V$ and $W$ be smooth vector fields on a (say smooth) manifold $M$. Let $\gamma_w$ denote an integral curve of $W$ and let $q = \gamma_w (s)$ be an arbitrary point in the image of $\gamma_w$.

Let $\phi^{x}$ be an element of the local one-parameter group of $W$, that is, $\phi^{x}$ is the flow of the vector field $W$ by parameter $x$ along $\gamma_w$.

We then compute the Lie derivative of $V$ with respect to $W$ at $q$, $\mathcal{L}_W V(q)$ (so $\mathcal{L}_W V$ is a vector field on $M$), as follows.

We first let the tangent vector $V(\gamma_w(s+\epsilon)$) "flow" back from $\gamma_w(s+\epsilon)$ to $q$. The resulting tangent vector at $q$ is given by $d\phi^{-\epsilon}(V(\gamma_w(s+\epsilon))$ (here $d\phi^{-\epsilon}$ is the differential of $\phi^{-\epsilon}$). We then subtract $V(q)$ from this tangent vector (this subtraction operation is now well-defined), and divide the result by $\epsilon$. We then take the limit as $\epsilon \rightarrow 0$ to get a genuine derivative of the vector field $V$ along an integral curve of $W$.

That is,

\begin{equation} \mathcal{L}_W V(q) = \lim_{\epsilon \to 0} \frac{d\phi^{-\epsilon}(V(\gamma_w(s+\epsilon))- V(q)}{\epsilon} =\frac{d}{dt} ((d\phi^{-t} \circ V \circ \phi^t) (q))\rvert_{t = 0} \end{equation}

Now, my question is the following. Geometrically/pictorially, what happens to $V(\gamma_w(s+\epsilon)$) when it "flows" from $\gamma_w(s+\epsilon)$ to $q$, and why does the differential $d\phi^{-\epsilon}$ output this Lie transported tangent vector?

Thanks in advance.

Notes

This is a modified version of a couple (now deleted) questions I posted to this site and Math StackExchange. Also, as stated above, I am looking for an intuitive answer, not an algebraic or computational one. As such, I am totally okay with an answer that treats these vector fields as little arrows scattered across the manifold.

I should also say that I have looked at many questions regarding the intuition behind the Lie derivative, specifically how it differs from the covariant derivative. However, I could not find a satisfying answer that answers the above question from a geometrical/intuitive point of view. I guess that I am looking for a physicist's perspective here.

I am currently working on understanding the intrinsic differential geometry underpinning General Relativity, and I think I could benefit from a more intuitive grasp of the process of taking the Lie derivative of a vector field with respect to another vector field.

I ask this question for this reason. Pictorially, I understand what happens to tangent vectors when we parallel transport them along curves when taking covariant derivatives. Therefore, I seek to understand what happens to tangent vectors when we "Lie transport" them along integral curves of vector fields when taking Lie derivatives of vector fields.

To illustrate my point further, consider the following example.

Let $V$ and $W$ be smooth vector fields on a (say smooth) manifold $M$. Let $\gamma_w$ denote an integral curve of $W$ and let $q = \gamma_w (s)$ be an arbitrary point in the image of $\gamma_w$.

Let $\phi^{x}$ be an element of the local one-parameter group of $W$, that is, $\phi^{x}$ is the flow of the vector field $W$ by parameter $x$ along $\gamma_w$.

We then compute the Lie derivative of $V$ with respect to $W$ at $q$, $\mathcal{L}_W V(q)$ (so $\mathcal{L}_W V$ is a vector field on $M$), as follows.

We first let the tangent vector $V(\gamma_w(s+\epsilon)$) "flow" back from $\gamma_w(s+\epsilon)$ to $q$. The resulting tangent vector at $q$ is given by $d\phi^{-\epsilon}(V(\gamma_w(s+\epsilon))$ (here $d\phi^{-\epsilon}$ is the differential of $\phi^{-\epsilon}$). We then subtract $V(q)$ from this tangent vector (this subtraction operation is now well-defined), and divide the result by $\epsilon$. We then take the limit as $\epsilon \rightarrow 0$ to get a genuine derivative of the vector field $V$ along an integral curve of $W$.

That is,

\begin{equation} \mathcal{L}_W V(q) = \lim_{\epsilon \to 0} \frac{d\phi^{-\epsilon}(V(\gamma_w(s+\epsilon))- V(q)}{\epsilon} =\frac{d}{dt} ((d\phi^{-t} \circ V \circ \phi^t) (q))\rvert_{t = 0} \end{equation}

Now, my question is the following. Geometrically/pictorially, what happens to $V(\gamma_w(s+\epsilon)$) when it "flows" from $\gamma_w(s+\epsilon)$ to $q$, and why does the differential $d\phi^{-\epsilon}$ output this Lie transported tangent vector?

Thanks in advance.

Notes

This is a modified version of a couple (now deleted) questions I posted to this site and Math StackExchange. Also, as stated above, I am looking for an intuitive answer, not an algebraic or computational one. As such, I am totally okay with an answer that treats these vector fields as little arrows scattered across the manifold.

I should also say that I have looked at many questions regarding the intuition behind the Lie derivative, specifically how it differs from the covariant derivative. However, I could not find a satisfying answer that answers the above question from a geometrical/intuitive point of view. I guess that I am looking for a physicist's perspective here.

I am currently working on understanding the intrinsic differential geometry underpinning General Relativity, and I think I could benefit from a more intuitive grasp of the process of taking the Lie derivative of a vector field with respect to a second vector field.

I ask this question for the following reason. Pictorially, I understand what happens to tangent vectors when we parallel transport them along curves when taking covariant derivatives. Therefore, I seek to understand what happens to tangent vectors when we "Lie transport" them along integral curves of vector fields when taking Lie derivatives of vector fields.

To illustrate my point further, consider the following example.

Let $V$ and $W$ be smooth vector fields on a (say smooth) manifold $M$. Let $\gamma_w$ denote an integral curve of $W$ and let $q = \gamma_w (s)$ be an arbitrary point in the image of $\gamma_w$.

Let $\phi^{x}$ be an element of the local one-parameter group of $W$, that is, $\phi^{x}$ is the flow of the vector field $W$ by parameter $x$ along $\gamma_w$.

We then compute the Lie derivative of $V$ with respect to $W$ at $q$, $\mathcal{L}_W V(q)$ (so $\mathcal{L}_W V$ is a vector field on $M$), as follows.

We first let the tangent vector $V(\gamma_w(s+\epsilon)$) "flow" back from $\gamma_w(s+\epsilon)$ to $q$. The resulting tangent vector at $q$ is given by $d\phi^{-\epsilon}(V(\gamma_w(s+\epsilon))$ (here $d\phi^{-\epsilon}$ is the differential of $\phi^{-\epsilon}$). We then subtract $V(q)$ from this tangent vector (this subtraction operation is now well-defined), and divide the result by $\epsilon$. We then take the limit as $\epsilon \rightarrow 0$ to get a genuine derivative of the vector field $V$ along an integral curve of $W$.

That is,

\begin{equation} \mathcal{L}_W V(q) = \lim_{\epsilon \to 0} \frac{d\phi^{-\epsilon}(V(\gamma_w(s+\epsilon))- V(q)}{\epsilon} =\frac{d}{dt} ((d\phi^{-t} \circ V \circ \phi^t) (q))\rvert_{t = 0} \end{equation}

Now, my question is the following. Geometrically/pictorially, what happens to $V(\gamma_w(s+\epsilon)$) when it "flows" from $\gamma_w(s+\epsilon)$ to $q$, and why does the differential $d\phi^{-\epsilon}$ output this Lie transported tangent vector?

Thanks in advance.

Notes

This is a modified version of a couple (now deleted) questions I posted to this site and Math StackExchange. Also, as stated above, I am looking for an intuitive answer, not an algebraic or computational one. As such, I am totally okay with an answer that treats these vector fields as little arrows scattered across the manifold.

I should also say that I have looked at many questions regarding the intuition behind the Lie derivative, specifically how it differs from the covariant derivative. However, I could not find a satisfying answer that answers the above question from a geometrical/intuitive point of view. I guess that I am looking for a physicist's perspective here.

I am currently working on understanding the intrinsic differential geometry underpinning General Relativity, and I think I could benefit from a more intuitive grasp of the process of taking the Lie derivative of a vector field with respect to a second vector field.

I ask this question for this reason. Pictorially, I understand what happens to tangent vectors when we parallel transport them along curves when taking covariant derivatives. Therefore, I seek to understand what happens to tangent vectors when we "Lie transport" them along integral curves of vector fields when taking Lie derivatives of vector fields.

To illustrate my point further, consider the following example.

Let $V$ and $W$ be smooth vector fields on a (say smooth) manifold $M$. Let $\gamma_w$ denote an integral curve of $W$ and let $q = \gamma_w (s)$ be an arbitrary point in the image of $\gamma_w$.

Let $\phi^{x}$ be an element of the local one-parameter group of $W$, that is, $\phi^{x}$ is the flow of the vector field $W$ by parameter $x$ along $\gamma_w$.

We then compute the Lie derivative of $V$ with respect to $W$ at $q$, $\mathcal{L}_W V(q)$ (so $\mathcal{L}_W V$ is a vector field on $M$), as follows.

We first let the tangent vector $V(\gamma_w(s+\epsilon)$) "flow" back from $\gamma_w(s+\epsilon)$ to $q$. The resulting tangent vector at $q$ is given by $d\phi^{-\epsilon}(V(\gamma_w(s+\epsilon))$ (here $d\phi^{-\epsilon}$ is the differential of $\phi^{-\epsilon}$). We then subtract $V(q)$ from this tangent vector (this subtraction operation is now well-defined), and divide the result by $\epsilon$. We then take the limit as $\epsilon \rightarrow 0$ to get a genuine derivative of the vector field $V$ along an integral curve of $W$.

That is,

\begin{equation} \mathcal{L}_W V(q) = \lim_{\epsilon \to 0} \frac{d\phi^{-\epsilon}(V(\gamma_w(s+\epsilon))- V(q)}{\epsilon} =\frac{d}{dt} ((d\phi^{-t} \circ V \circ \phi^t) (q))\rvert_{t = 0} \end{equation}

Now, my question is the following. Geometrically/pictorially, what happens to $V(\gamma_w(s+\epsilon)$) when it "flows" from $\gamma_w(s+\epsilon)$ to $q$, and why does the differential $d\phi^{-\epsilon}$ output this Lie transported tangent vector?

Thanks in advance.

Notes

This is a modified version of a couple (now deleted) questions I posted to this site and Math StackExchange. Also, as stated above, I am looking for an intuitive answer, not an algebraic or computational one. As such, I am totally okay with an answer that treats these vector fields as little arrows scattered across the manifold.

I should also say that I have looked at many questions regarding the intuition behind the Lie derivative, specifically how it differs from the covariant derivative. However, I could not find a satisfying answer that answers the above question from a geometrical/intuitive point of view. I guess that I am looking for a physicist's perspective here.