Talk:Lie derivative

From Wikipedia, the free encyclopedia

WikiProject Mathematics
This article is within the scope of WikiProject Mathematics, which collaborates on articles related to mathematics.
Mathematics rating: B Class Mid Priority  Field: Geometry

Sorry, but this article was obviously written by mathemeticians.... It describes exactly what a Lie derivative is, but gives no clue whatsoever why it was defined or its uses. I've been seeing references to Lie derivatives in differential geometry and thought I could get an idea of why I should care to learn about them from Wikipedia, but instead got this dry definition more suitable for computers than humans. Could someone who knows more about the subject add sections on the history of the Lie derivative, its reasons for being singled out for definition by Lie, etc.

I believe this topic has something to do with the intersection between algebra and differential geometry, am I correct?



It seems that in the intro Lie derivate is used both for L and for elements of the range of [-,-]. -MarSch 14:19, 27 Apr 2005 (UTC)

Contents

[edit] Where is the sign = ? where is the true ?

(sorry for my very bad english)

- : [A,B] := \mathcal{L}_A B = - \mathcal{L}_B A

+ : [A,B] := \mathcal{L}_A B - \mathcal{L}_B A

The first equation is correct. The second is not. 69.129.194.27 05:23, 22 July 2006 (UTC)

[edit] using math sections etc.

Hello,

I just edited a bit of the "Lie derivative of tensor fields" section. I made a few clarifications in the first (and very long) sentence, and I converted the math to math-markup. I know this might be controversial, but in this case there is a really long tensorial equation at heart that is somewhat tedious to read as HTML and gains a lot of clarity in the TeXed version. Hope that's OK.

- Thomas, 131.111.231.27

[edit] omega

it seems linas that you have used omega for a 1-form here. This clashes with the supposed standard use of omega as the volume form. Perhaps we should start using vol for the volume form. I think it is less confusing. -MarSch 15:56, 27 Apr 2005 (UTC)

I dunno, ω is used for many things; often it is a representative member of Ωk which is the set of smooth sections of Λk. I'm not too worried; which is which is should always be clear from context. There's not enough letters in the greek alphabet. If its not clear from context, look for the phrase "where ω is a ...". I've never seen vol used for the volume form, that seems like a rather non-standard notation. BTW, add your book reference to the article on laplacian. linas 00:33, 29 Apr 2005 (UTC)
I will readd it. Why did you remove it? It is from there that my use of the notation stems. It may not be standard, but it is certainly clearer. -MarSch 13:36, 2 May 2005 (UTC)

[edit] fix links to derivation

Has somebody a bot who could fix all links to derivation by adding (abstract algebra)? MFH: Talk 22:20, 10 May 2005 (UTC)

ask User:Oleg Alexandrov, he has a bot. -MarSch 14:43, 11 May 2005 (UTC)
To fix redirects with a bot is easy. The hard problem is that not all the pages linking to derivation need to link to derivation (abstract algebra). In some cases the link should certainly be changed, in some cases, like the article dual numbers I am not sure. Could anybody knowing these things make a list of articles linking to derivation which should not be changed? Then I will run the bot on the ones which should be changed, which are a majority. Thanks. Oleg Alexandrov 20:17, 11 May 2005 (UTC)
I was very modestly thinking only of "all" the links on this page. MFH: Talk 21:48, 11 May 2005 (UTC)
Now I am really confused. There are just a couple of links to derivation (abstract algebra) on Lie derivative, and a couple on Talk:Lie derivative. I don't see any links to derivation. Also, if there were any, they would not be more than one or two, so can be fixed by hand. Am I misunderstanding something? Oleg Alexandrov 21:59, 11 May 2005 (UTC)

[edit] Proposals/suggestions

I'm currently rewriting the mathematics of general relativity article and am writing stuff on the Lie derivative in that article. I have links to this (Lie derivative) article, but can I suggest that there should be more information here regarding the concept of Lie dragging a function along a congruence, as this leads nicely into the definition of a Lie derivative (perhaps as a section further in the article, not necessarily in the intro.). Another suggestion is to have component expressions for the Lie derivative of a tensor field and explain why (or at least state) that the Lie derivative does not need a connection for its definition (as is indicated by the fact that the covariant derivatives can be replaced by partials). Comments appreciated. Thanks. ---Mpatel (talk) 07:05, 29 September 2005 (UTC)

I don't have any books that mention Lie dragging, so I wouldn't know how to write that up. If its placed in its own section, that would be fine to me. This article already mentions three different definitions for a Lie derivative; having a fourth one is fine, as long as this definition is not presented as the first or primary definition.
The section on Lie derivatives of tensor fields is total garbage, and needs to be completely re-written. The connection should be banished. Somewhere in this article we should make clear that the connection is not required for any of this stuff; and explain why; since I think the interplay of a connection is a stumbling block for mastering these concepts. linas 14:06, 29 September 2005 (UTC)
Yep, it needs to go. I can recommend two possible approaches. The first is to define the Lie derivative as a derivation on the full tensor bundle of a differentiable manifold. This has the advantage of fitting into the overall algebraic tone of the article. The second is to define it by means of pullback under the one-parameter group of diffeomorphisms generated by a vector field: the vector flow. This has the advantage of saying what the Lie derivative actually means. Both approaches should have a place in the article. Silly rabbit 06:09, 8 November 2005 (UTC)
Now that I've read it, I think the whole article should be scrapped. Even the Lie derivative of a function is hopelessly confused! (For those of you readers who don't know what the Lie derivative of a function is, it's just the ordinary directional derivative. It's when you get to vector fields, differential forms, and tensor fields that things become interesting.) Silly rabbit 06:22, 8 November 2005 (UTC)
No reference whatsoever to the Picard-Lindelof or Frobenius theorem is required. Please see the definition of tangent space. It doesn't matter whether you get a particular flow through the point in question, only that there exists one with the required first order behavior. Those who know about such things (myself included) are aware of these theorems, but they add needless clutter to the article. Simply things as far as possible, and no further. Silly rabbit 06:45, 8 November 2005 (UTC)
Silly Rabbit, do note that the general consensus is that WP is a reference rather than a tutorial. To learn a new topic, a reader should read a book on the topic. In general, WP articles usually assume that the reader already has some general familiarity with the topic, possibly even a rather good understanding, but thier knowledge is incomplete, or they are searching for something related that was once known, but forgotten (e.g. the Picard-Lindelof or Frobenius theorem) -- thus links and mentions like this are not "clutter" but are actually useful. Similarly, references to books or other online "tutorial" sources are important. There is a fairly strong feeling within WP that it is not a book or a tutorial, but a reference, although who knows what the future may bring. You are invited to debate issues of style and content at Wikipedia talk:WikiProject Mathematics. linas 14:50, 8 November 2005 (UTC)
I'm not sure that's right. The prejudice is against getting confused between WP and a textbook. Various tutorial techniques are perfectly OK. One person's helpful aside is another's buzzword generator, so I doubt that there is any absolute criterion of what to include. But the main thing is to aim at a comprehensive treatment of a topic. Well, that's in the Wikipedia charter; of course little in mathematics can actually be treated that thoroughly. Charles Matthews 15:45, 8 November 2005 (UTC)
Ok, I retract my anti-buzzword prejudice. But I still believe that the article could use some clarification and simplification. The algebraic methods are quite useful in practice, but they don't provide much insight into the meaning of the Lie derivative. Silly rabbit 02:07, 9 November 2005 (UTC)
Dear Linas, Alrighty then. I have extensively revised the article. In my opinion, it is now clearer, more complete, better organized, and contains fewer errors. I hope that my revisions satisfy you and the rest of the wikipedia math community. Best, Silly rabbit 06:10, 11 November 2005 (UTC) (P.S., I left the offending buzzwords intact, although I still believe that they ought to be removed or exported to an article like tangent bundle or vector field.)
I made some major revisions to Lie derivatives of tensor fields. There was some good stuff in there which I had to delete involving Lie derivatives of tensor densities. I have preserved it below in this talk page. Silly rabbit 03:00, 11 November 2005 (UTC)

A short question from a reader of this page: The definition of the Lie derivative given here makes it look like it eats vector fields (in both slots), but the function f that is introduced later on in the definition of the Lie derivative, and which the Lie derivative eats, is a function from M to R. Shouldn't this be a function from M to R^n, where n is the dimension of the manifold?

The definition is extended so that it eats also functions. A function from M to R^n would still be a function and NOT a tangent vector. --MarSch 13:17, 31 October 2005 (UTC)


Some suggestions about the list of axioms for Lie derivative of tensor fields.

  • Axiom 1 should not have \nabla_Y f. This is correct if a connection is defined. However the Lie derivative is defined even if the connection is not defined.
  • Axiom 3: I propose replacing axiom 3 with two more "primitive axioms":

\mathcal{L}_X(\xi)(Y) = X(\xi(Y)) - \xi([X,Y]) for a co-vector ξ

and

\mathcal{L}_X(\alpha\wedge\beta)=(\mathcal{L}_X\alpha)\wedge\beta+\alpha\wedge(\mathcal{L}_X\beta)

Mungbean 13:17, 15 December 2005 (UTC)

[edit] Removal or major edit of section "The Lie derivative of differential forms"

Second suggestion that we remove the definition and results concerning the interior product. These result are in the section interior product (Or should be) and should not be reproduced here. The section whould now become:

The Lie derivative can also be defined on differential forms. In this context, it is closely related to the exterior derivative and the interior product.

The relationship between exterior derivatives and Lie derivatives can then be summarized as follows. For an ordinary function f, the Lie derivative is just the contraction of the exterior derivative with the vector field X:

\mathcal{L}_Xf = i_X df

For a general differential form, the Lie derivative is likewise a contraction, taking into account the variation in X:

\mathcal{L}_X\omega = i_Xd\omega + d(i_X \omega).

The derivative of products is distributed:

\mathcal{L}_{fX}\omega = 
f\mathcal{L}_X\omega + df \wedge i_X \omega

Mungbean 12:36, 16 December 2005 (UTC)

Disagree. Note that different authors and different texts define the Lie derivative in different ways. Thus, all of these ways of approaching the defintion should be described. No one particular defintion should be elevated as "more right" than the others. A second important point is that many novices in the field find themselves rather confused by all the different derivates, (Lie, exterior, partial and covarient) and have trouble sorting out the relationships between them. It is important for this article to succinctly state what these relationships are. That some of this info is also duplicated in other articles is acceptable. linas 21:33, 16 December 2005 (UTC)

[edit] Lie derivatives of tensor densities

In differential geometry, if we have a differentiable tensor field T of rank (p,q) (which we consider as a differentiable linear map of smooth sections α, β, … of the cotangent bundle T * M and of sections X, Y, … of the tangent bundle TM, written T(α, β, …, X, Y, …), such that for any collection of smooth functions f1, …, fp, fp + 1, …, fp + q we have

T(f_1\alpha,f_2\beta,\ldots,f_{p+1}X,f_{p+2}Y,\ldots) = f_1 f_2 \cdots f_{p+1} f_{p+2} \cdots f_{p+q} T(\alpha,\beta,\ldots,X,Y,\ldots),

and if further we have a differentiable vector field (i.e. a smooth section of the tangent bundle) A, then the linear map

(\mathcal{L}_{A}T)(\alpha, \beta, \ldots, X, Y, \ldots) \equiv \nabla_A T(\alpha,\beta,\ldots,X,Y,\ldots) - \nabla_{T(\cdot, \beta, \ldots, X, Y, \ldots)} \alpha(A) - \ldots + T(\alpha, \beta, \ldots, \nabla_X A, Y, \ldots) + \ldots

is independent of the connection ∇ used; as long as it is torsion-free, and in fact, is a tensor. This tensor is called the Lie derivative of T with respect to A.

In other words, if you have a tensor field T and an infinitesimal generator of a diffeomorphism given by a vector field U, then \mathcal{L}_{U} T is nothing other than the infinitesimal change in T under the infinitesimal diffeomorphism.

More generally, if we have a differentiable tensor density field T of rank (p,q) and density s, then

(\mathcal{L}_{A}T)(\alpha, \beta, \ldots, X, Y, \ldots) \equiv \nabla_A T(\alpha,\beta,\ldots,X,Y,\ldots) - \nabla_{T(\cdot, \beta, \ldots, X, Y, \ldots)} \alpha(A) - \ldots + T(\alpha, \beta, \ldots, \nabla_X A, Y, \ldots) + \ldots + s (\nabla\cdot A) T(\alpha, \beta, \ldots, X, Y, \ldots)

where \nabla\cdot A is the divergence.

Alternately, given the vector field U, let ψ be the family of integral curves of U, as given above. Note that ψ is a local 1-parameter group of local diffeomorphisms. Let ψ * be the pullback induced by ψ. Then the Lie derivative of the tensor field T at the point p is given by

\mathcal{L}_U T = \frac{d}{dt}\left(\psi^*_t T\right) \vert_{\psi(t)=p}.

[edit] Definition is confusing

I see that several forms of the definition are mentioned. I think it would be less confusing to say something like: The definition in the case of tensor densities (or field) is the following ... In the following particular cases this boils down to simpler expressions: (i) Functions (that is, (0,0)-tensors):... (ii) Vector fields (that is (1,0)-tensors): ... And so on. 140.180.171.121 23:44, 23 September 2007 (UTC)