Register to reply 
Lie derivativeby Terilien
Tags: derivative 
Share this thread: 
#1
Apr1607, 08:19 PM

P: 140

i was curious as to what exactly this is and more importantly, what motivates it. what are its applications?



#2
Apr1707, 03:33 AM

P: 406

Vectors to a surface/manifold lie in the tangent spaces to the surface. Each tangent space is a vector space with the same dimension as the manifold(most of the time), and you can add and subtract vectors etc without leaving this tangent space.
However, what happens if you take the derivative of a vector field on the surface in a direction along the surface. In other words if [tex]\mathbf{v}[/tex] is teh vector field and [tex]\mathbf{w}[/tex] is the direction, then the rate of change of [tex]\mathbf{v}[/tex] in the direction of [tex]\mathbf{w}[/tex] is: [tex]\nabla_{\mathbf{w}} \mathbf{v}[/tex] The result of this operation is a vector, but in general, in fact nearly always, this vector will not lie in any tangent space to the manifold. You might say, so what. After all if the manifold is embedded in a higher dimensional space we can still consider such vectors as normal. However, for one reason or another in differential geometry, people prefer not to think of the manifold as being embedded in a higher dimensional space, and instead having intrinsic properties. This point of view runs straight into a problem when it turns out that in general, second derivatives lie "outside" the surface and are no intrinsic. The Lie derivative offers a way out of this dilemma. As it turns out if you compute [tex]\nabla_{\mathbf{w}} \mathbf{v}\nabla_{\mathbf{v}} \mathbf{w}[/tex] Then by a great stroke of luck, the final result is always in the tangent space to the manifold. Those terms that point the vector out of the tangent space and into higher dimensional space cancel out and you are left with a vector that lies soley in the tangent space. Hence you have a sort of "intrinsic second derivative" and can once again pretend that the higher dimensional space does not matter/exist (sometimes it in fact really may not exist at all!) To sum up, the Lie derivatibe is useful for the following two reasons: 1) It is a second derivative 2) It is always in the tangent space 


#3
Apr1707, 11:49 AM

P: 28

Sorry, but the Lie derivative is a first derivative rather than a second derivative.
Also, the covariant derivative is also always in the tangent space. I think the real reason the Lie derivative is useful is because it represents the action of the flow of a vector field. A vector field on a manifold generates a flow (a diffeomorphism) which transports points and thus also transports every vector and tensor. The Lie derivative [tex]\mathcal{L}_\mathbf{v}\mathbf{u}[/tex] measures the change in a given vector field [tex]\mathbf{u}[/tex] with respect to what this vector field would have been were it transported by the flow of [tex]\mathbf{v}[/tex]. 


#4
Apr1707, 12:16 PM

Sci Advisor
P: 2,340

Lie derivative
Unfortunately, OMF got many things wrong in his reply. Anyone interested would do well to consult a good textbook, such as the ones suggested here:
http://math.ucr.edu/home/baez/RelWWW....html#mathback See in particular Flanders, Differential Forms, with Applications to the Physical Sciences and John M. Lee, Introduction to Smooth Manifolds. The book by Nakahara, Geometry, Topology and Physics can also be useful for keeping all those definitions sorted. The Wikipedia can sometimes be useful for "advanced math" topics such as http://en.wikipedia.org/wiki/Lie_derivative but printed textbooks are far more reliable than anything you'll find on the web. Given the delicacy of mathematical reasoning, IMO a serious math student would be foolish to choose less reliable sources when better ones are as close as the local math library (or an online bookseller). 


#5
Apr1707, 04:58 PM

Emeritus
Sci Advisor
PF Gold
P: 16,091

(X and Y will denote tangent vector fields) I suppose the only mystery is why the Lie derivative of X w.r.t. Y should be [Y, X]; we already know what the derivative of a scalar is, and we can define the derivative of higher tensors with the product rule. (And with the metric, if we really want to differentiate cotangent vector fields, and tensors built from them) I suppose you could work it out from the notion that it should be a "directional derivative"  I'm lazy, and I will invoke the fact that derivatives are intimately tied to antisymmetry, and there is a natural antisymmetric product of vector fields: if I represent X and Y as differential operators, then [Y, X](f) = (YX  XY)(f). (Multiplication here is composition, as you might expect) And happily, the higher derivatives cancel, so that [Y, X] is a vector field. 


#6
Apr1707, 05:03 PM

P: 406

Apologies to all. I hadn't had my coffee before writing that post ! And I was working from (my poor) memory.
I've used the nabla symbol to mean the whole derivative in the embedding space, forgetting that in differential geometry, it is used to denote only the part derivative that is in the tangent space. And I should have clarified that the Lie derivative is a second derivative of "functions" on the manifold, not of vectors. It is a first derivate of vector fields, which are themselves first derivatives of functions. I'll fix the symbols in that post once I've confirmed what the symbol for the whole derivative is supposed to be. 


#7
Apr1707, 06:26 PM

Sci Advisor
P: 2,340

Even worse, I think you are missing the point. To compute the Lie derivative in terms of a coordinate basis, traditionally one says something like this: set [itex]A = a \, \partial_x, \; B = b \, \partial_x[/itex] where [itex]a, \, b[/itex] are certain smooth functions, the "components" of the vector fields wrt [itex]\partial_x[/itex] (you can add more dimensions if desired) and compute the effect of [itex][A,B][/itex] on an arbitrary smooth function: [tex] [A, \, B] \, f = A \, B \, f  B \, A \, f = a \, \partial_x \left( b \, f_x \right)  b \, \partial_x \left(a \, f_x \right) [/tex] [tex] \hspace{2cm} = a \, b_x \, f_x + a \, b \, f_{xx}  b \, a_x \, f_x  a \, b \, f_{xx} = \left( a \, b_x  b \, a_x \right) f_x [/tex] But [tex]f[/tex] was arbitrary, so [tex] L_A \, B = \left[ A, \, B \right] = \left( a \, b_x  b \, a_x \right) \, \partial_x [/tex] (Some authors use the opposite sign in defining the Lie derivative.) That is, the component of [itex][A,B][/itex] wrt [itex]\partial_x[/itex] is [tex] a \, b_x  b \, a_x [/tex] In conventional tensor analysis, this is written [tex] [A, \, B] = \left( A^n \, {B^m}_{,n}  B^n \, {A^m}_{,n} \right) \; \partial_{x^m} [/tex] See for example Boothby, An Introduction to Differentiable Manifolds and Riemannian Geometry, 2nd ed., Academic Press, 1986. So like any other vector field, [itex]L_A \, B[/itex] is in fact a first order homogenous linear differential operator on functions. 


#8
Apr1707, 08:35 PM

P: 360



#9
Apr1707, 08:56 PM

P: 461

Why is Differential misspelled in the name of your website?



#10
Apr1807, 02:42 AM

P: 28




#11
Apr1807, 06:07 AM

P: 406

But, I'm not entirely solid with all the concepts in differential geometry so I won't labour this point. It made sense to me at the time to justify its construction in this way, because there didn't seem to be much use for it in and of itself, and it's use as a poisson bracket seems to only be of much use in 2n phase spaces. It seems to me to be more than just a simple first derivative, or a first derivative with some additional properties. As my appeal to authority for the day, In Mathematical Methods of Classical Physics, Arnold originally constructs the Lie Derivative as the second order ,mixed, partial derivative of a function on the manifold. He does later point out that it is a first order operator though, and goes on from this to point out that because of this Lie differentiation as an operator turns vector fields into a group. But what use all this is, I'm not sure. 


#12
Apr1807, 10:50 AM

Sci Advisor
P: 2,340

And while I don't have that book in front of me, I've read it and I'll bet that if you read whatever you glanced at more carefully, you'll find that he says that the real vector fields on M form a Lie algebra (not a Lie group!) under the bracket. 


#13
Apr1807, 05:52 PM

P: 406

If the Lie derivative is simply just another first order vector field, there seems to be little point to it beyond the usual opaqueness. I looked at it as a the "best worst choice" for an intrinsic second derivative, because it seemed to serve little other function besides notational convienience. This may be a matter of complete pedantics, but it makes sense to me to regard it as such. Edit: For some bizzare reason, I can't edit that second post anymore. In any case, it may not be such a dredful loss as the notation for the derivative of one vector in the direction of asnother turned out to be: [tex]\mathbf{w}(\mathbf{v})[/tex] 


#14
Apr1807, 09:06 PM

Emeritus
Sci Advisor
PF Gold
P: 16,091

In case it's relevant, I would like to point out that if X and Y are oncedifferentiable tangent vector fields, and f is a oncedifferentiable scalar field, then [X, Y](f)exists, even if f is not twicedifferentiable. 


#15
Apr1907, 04:14 AM

P: 406

[tex]f(x) = x^{\frac{3}{2}}[/tex]] [tex]f(x) =\frac{3}{2} x^{\frac{1}{2}}[/tex] [tex]f(x) = \frac{3}{4}x^{\frac{1}{2}}[/tex] Using the final derived formula [tex]\left( a \, b_x  b \, a_x \right) f_x[/tex] gives the Lie derivative to be zero at x=0. However, the derivation from the line above requires that we are able to evaluate and then find the difference of the two second derivative terms. We cannot do this at x=0 and so you can see that the final derived formula for the Lie derivative is not always correct. This is similar to the problem of not being able to evaluate the value of [tex]f(x)=\frac{x1}{x1}[/tex] at x=1, despite the fact that it seems to have the value 1 because of the cancellation of terms. You can get around this for many functions by introducing generalised functions, however, the very fact that you need to do this, when no problem exists for first derivatives, indicates that there is more to the Lie derivative than simply being another first derivative. I suppose you could also get around it by defining the Lie derivative to be the final formula, but if you do this I think the meaning will be irrevocably lost. 


#16
Apr1907, 05:02 AM

P: 255

First of all, the usual method definition that is causing this onceortwicedifferentiability problem, is actually the "wrong" definition. The "correct" definition was mentioned (somewhat wrongly  flows are a *path* of local diffeomorphisms) by explain: it's the instantaneous rate of change of the second vector field along the flow of the first vector field. Using this definition, one sees that L_X Y is welldefined for C^1 vector fields. One also sees that this is indeed a dynamics object. Intuitively, it measures how the flows of the two vector fields interact at any given point. It'll be zero at a point, if the two flows commute "instantaneously" at that point. The importance of [,] comes from Frobenius' Theorem, which tells us when a given distribution of vector fields in a manifold can be "integrated" to form the tangent bundle of a submanifold. This is a really, really, really important theorem. But, depending on the text you're reading, that importance is not always evident. 


#17
Apr1907, 07:07 AM

P: 28

As far as I understand, the Lie derivative is useful mainly because it represents the infinitesimal action of the flow of a vector field. A vector field on a manifold generates a flow (a diffeomorphism) which transports points along the flow lines. Since vectors are "arrows between nearby points" and tensors are defined through vectors, the flow also transports every vector and tensor. This is a very natural construction, defined independently of any metric on the manifold. Now suppose we are given a vector field [tex]\mathbf{v}[/tex] and we want to compute its derivative in a direction given by a vector [tex]\mathbf{u}[/tex] at some point [tex]p[/tex]. The vector [tex]\mathbf{u}[/tex] is an arrow from the point [tex]p[/tex] towards a neighbor point [tex]p'[/tex]. But we can't simply compute the derivative as [tex]\mathbf{v}(p')\mathbf{v}(p)[/tex], because the vectors [tex]\mathbf{v}(p)[/tex] and [tex]\mathbf{v}(p')[/tex] are in tangent spaces at different points. Somehow we need to transport [tex]\mathbf{v}(p')[/tex] into the tangent space at [tex]p[/tex]. Let us transport it using the flow of [tex]\mathbf{u}[/tex]. Note that we need to use an entire vector field [tex]\mathbf{u}[/tex], not just its value at the point [tex]p[/tex]. The result is the Lie derivative [tex]\mathcal{L}_\mathbf{u} \mathbf{v}[/tex]. So the Lie derivative is the "flow derivative" in this sense. The Lie derivative is useful in many computations, if one tries to avoid using index notation and tries to concentrate on the geometric meaning of every object in a computation. For instance, I can list the following good uses of the Lie derivative in general relativity: 1) A formula for the LeviCivita connection can be written through the Lie derivative, the exterior differential, and the metric. In this way, one has an explicit representation of the covariant derivative through the metric combined with the metricfree operations (exterior differential and the Lie derivative). [tex]g(\nabla _x v, y)=\frac{1}{2} (d \hat{g} v) (x,y) + \frac{1}{2} (\mathcal{L}_v g)(x,y).[/tex] Here [tex]\hat{g}v[/tex] is the 1form corresponding to the vector [tex]v[/tex] through the metric [tex]g[/tex]. This formula is easier to derive than the standard Koszul formula. Then one can easily analyze various cases (integrable or geodesic Killing vectors, etc.) 2) The equation of motion for a particle in curved spacetime can be derived quickly using the Lie derivative. (No Christoffel symbols needed!) 3) The Raychaudhury equation in general relativity is about the rate of change of volume under a diffeomorphism. The Lie derivative is a natural starting point for the derivation. 4) Killing vectors can be computed in tetrad formalism easily if one uses the Cartan homotopy formula, [tex]\mathcal {L}_v = \iota_v d + d \iota_v [/tex] 5) An infinitesimal gauge transformation in GR (i.e. infinitesimal change of coordinates) can be easily written through the Lie derivative. Calculations with gauge transformations are then also simplified. These are just the examples that I can find now. Unfortunately, the style of many books in mathematics is that "here are some definitions and constructions  first learn them all and then we'll talk". It is assumed that the reader will figure out what these definitions mean and why these constructions are useful. "Lie derivative is the operator L satisfying the following properties... The reader will prove in an exercise that the operator L is unique." This is similar to telling students at grade school that "Numerical fractions, such as 8/3, are equivalence classes on pairs of integers, with the following axioms... Now let us prove that every fraction has a unique canonical form." Understandably, this style leads to frustration for many students. 


#18
Apr1907, 12:58 PM

P: 255




Register to reply 
Related Discussions  
Don't understand material derivative and and advective derivative  General Physics  5  
Replacing total derivative with partial derivative in Griffiths' book  Advanced Physics Homework  3  
Intuitively what's the difference between Lie Derivative and Covariant Derivative?  Differential Geometry  3  
Total derivative > partial derivative  Differential Equations  6  
Is the derivative equal to one over the derivative of the inverse?  Calculus  1 