Register to reply 
Lie derivativeby Terilien
Tags: derivative 
Share this thread: 
#19
Apr1907, 01:50 PM

P: 28




#20
Apr2207, 10:21 PM

Sci Advisor
P: 2,340

Actually, I agree with Doodle Bob and explain, who made some good points deprecating the definition I quoted. The textbooks I cited use the general definition, of course, and then discuss circumstances under which the formula I used will work. I also agree with the value of motivating important theorems/definitions. Many "old school" textbook authors prefer to leave this to the instructor as a courtesy, which makes sense if one assumes the readers are in fact traditional students. But of course inquiring posters here are often not traditional students. In another thread I cited a textbook by Hatcher which is a good example of a textbook which tries very hard to motivate the definitions.



#21
Apr2407, 12:50 PM

Sci Advisor
HW Helper
P: 9,453

from reading briefly on the internet, it seems the lie derivative is a way of taking the derivative of one vector field with respect to another.
hence it seems believable that there are applications to fuild flows and "plasma", as one does find. detailed arguments about what order of derivative it is or other niceties, seem futile. now that i have read explains post, he makes it seem clear the definition is the only possible thing, and quite natural. his explanation also makes it seems clear that the lie derivTIVE OF V ALONG V IS ZERO, AND ALSO THE LIE DERIVATIVE OF ANY vector field along V is zero where V is zero. 


#22
Apr2407, 02:16 PM

Sci Advisor
HW Helper
P: 9,453

i fact explain ahs made it so clear, i am beginning tof eel i get it for te first time.
the role of the directional vector field is compkletekly different from that of the filed being diffrentiated. lie differentiation in the direction of V is done by using the flow of V to identify nearby tangent spaces. of course if V(p) = 0, the flow does not flow, so all derivatives in the direction of V are zero, iff V(p) = 0. now if V(p) is not zero there is a flow, or local one parameter family of diffeomorphisms, that identifies a nbhd of p with euclidean space, AND simultaneously identifies the vector field V to the constant vector field in the direction of e1 say. thus obviously DV,V(p) = 0 since under this identification V is constant. this apparently is the antisymmetric property of DV. However, once we have identified our amnifold with R^n and our vector field with e1, we can differentiate anything along V, as explain said. i.e. lie differentiation is an operation DV that can be performed on anything, not just another vector field, but on functions, vectors fields, tensor fields, anything at all. so lies construction is just a way of taking a given vector field and looking at it as the constant vector field in a given direction. then the lie derivative of anything in that direction becomes the dircvtional derivative in the direction of e1. i.e. we are asking how our object changes along V, in comparison to how V changes, i,.e. changing the same as V does, is being constANT. so one can take derivatives if one has coordinates, but to take a directional derivative one only needs one coordinate direction, and a vector field gives you that. oh by the way this is the fundamentalkt heorem of ode, that a non zero evc tor field is locally trivial, so people who wanted to know if they should study differentiale quations, the answer is yes, provided they always ask what is the geometry of the diff eq they are studying. thank you explain. i have never studied this subject before, but have perused formal definitions which meant nada to me. but with an explanation like yours, one can understand it in ones own terms, i.e. intuitively. thats what i call an explanation. you are well named. 


#23
Apr2507, 07:48 AM

P: 28

mathwonk
In your post there are many statements, but let me add just one word of correction: if V(p)=0 at one point, it doesn't mean that the flow does not flow. It just does not flow at this one point p, but it might flow already in an infinitesimal neighborhood. So the Lie derivative of some tensor with respect to V might still be nonzero. Thank you for your kind words. When I was a student I was eternally frustrated with formal definitions because it always took so much work to figure out what they really mean. I was always asking myself  why define this and not some other thing? "An operator L satisfies properties XYZ" ok, so why not define 50 more operators satisfying 150 other strange properties? The answer always is that the operator L is important for something and was introduced for good reasons, while the other 50 operators are useless, but this kind of information is not always found in books. For some people, these questions are not interesting and the only interesting questions are "how to calculate it" or "just give me the definition". For other people, nothing is clear  the memory resists  until they understand the reason for introducing a new concept. There are some books that are heavy on conceptual explanations. For example:M. Stone, Mathematics for physics (2 volumes). But most books aren't interested in that. Maybe this is because it's a lot easier to copy the definitions from other books than to come up with visual exlpanations and motivation for everything. I only came up with the idea about explaining the Lie derivative a few years ago; lots of people know what I wrote in my post above, but for some reason not many books say this. 


#24
Apr2507, 09:31 PM

Sci Advisor
HW Helper
P: 9,453

so if the vector field is zero at p, it does not mean the flow is contant at p?



#25
Apr2607, 10:41 AM

P: 28




#26
Apr2607, 12:52 PM

P: 255

let X be the vector field in question such that X(p)=0. By definition the flow is the unique path of local diffeomorphims f_t given pointwise in the domain of X by the differential equation (d/dt)(f_t (q))=X(q) when t=0 with initial condition that f_0(q)=q at all points q in the domain of X. Clearly, if X(p)=0, then f_t(p)=f_0(p)=p. This is the reason why I kept pointing out that the flow is a path of diffeomorphisms, not just one diffeo. For explain's attempted counterexample, the flow is simply the path of rotations about the origin on the plane, all of which of course fix the origin. 


#27
Apr2607, 07:03 PM

Sci Advisor
HW Helper
P: 9,453

explain seems to be arguing that even though the flow fixes the origin that it does not induce the identity on the tangent space there.



#28
Apr2707, 04:45 AM

P: 255

the flow of the v.f. X=(y,x) is easy to describe: f_t(x,y)=((cos t) x  (sin t) y, (sin t) x + (cos t) y). in fact, calculating flows is kind of fun, try it yourself: 1. In R^3, set X=(1, 0, y). Calculate the flow f_t 2. Set Y=(0, 1, x). Calculate the flow g_t 3. Calculate [X,Y] and compare that with the path of diffeomorphisms given by g_{t} circ f_{t} circ g_{t}circ f_{t} 


#29
Apr2907, 12:46 PM

Sci Advisor
HW Helper
P: 9,453

i am still a little behind, but the point i was missing is that a diffeomorphism defines a tangent bundle isomorphism, and at a fix point of the diffeomorphism, the tangent space map can be almost anything, not necessarily the identity.
indeed its behavior reflects the geometry of the vector field and flow near the point. its eigenvalues help describe the geometry of the flow, and in the case of the flow associated to the gradient say of a morse function, even the geometry of the manifold. 


#30
Apr3007, 04:52 AM

P: 255

your exposition regarding the use of the flows of a vectro field to describe the geometry of a given manifold is exactly right. 


#31
May207, 12:30 PM

Sci Advisor
HW Helper
P: 9,453

explain, this is one of the few times in all the years i have been posting here that i have learned something on a somewhat advanced topic in geometry from a new poster, who clearly understands it better than I do. your post has the authority of someone who understands what he is doing.
you not only are correct in your assertions, but they are elementary and intuitive. moreover you have no axe to grind. welcome to the forum. i think you have a lot to offer. if you are not yet a mathematician, you can be. indeed you seem to be one already. if not let me explicitly encourage you. 


#32
May807, 11:47 AM

P: 28

Indeed, in my post I only meant that the flow does not move at one point, i.e. the center is a fixed point for the flow, but of course the tangent space at that point is mapped nontrivially onto itself. But I would like to say that for me the Lie derivative meant nothing (I thought it was just an idle mathematician's game) until I saw that one can use it to calculate lots of things in general relativity. 


#33
May1007, 04:04 PM

Sci Advisor
HW Helper
P: 9,453

well i used to have a roommate who was a physicist and could explain thigns to me about lie groups and differential geometry, cazimir operators?
anyway i think when a physicist takes it upon himself to understand math concepts he has an advantage because of knowing how they are used and where they arose oftentimes. riemann apparently used physical intuition in his discoveries and of course ed witten is a physicist who is also one of the best mathematicians. it is very hard even for a mathematician to understand basic results like stokes theorem unless we try to grasp the idea of a flow, a divergence, a rotation, etc. i believe these theorems first occurred in the introduction to maxwell's electricity and magnetism. for me this approach was very hard, not having much physical intuition, and so i made them my own by proving topology results with them, like using green to prove the fundamental theorem of algebra, and gauss to prove there are no never zero vector fields tangent to a asphere. i later learned (from bott) these are standard arguments in the field of differential topology, but i was just trying to find some motivating ideas to teach from in my several variables class. also I am a pure mathematician, so to me it was not always acceptable to assume a drop of water is a geometric point, or that the wind moves along a smoothly differentiable curve. to me physics deals with discrete concepts, and it takes a certain knack to reason correctly from erroneous premises! finally in my old age i realized the mathematical versions of these ideas are merely idealizations of physical notions. but if you learn the ideal notion first it may be harder to grasp the real one. 


#34
May1107, 03:46 AM

P: 28

Also, once you go beyond a certain age, your memory is not so good and you <i>need</i> an intuitive picture before you can go on studying a new subject. So there are lots of older professors who never want to learn anything new, because new stuff appears so pointless and incomprehensible. These people probably don't remember that the stuff they learned when they were young also appeared largely pointless and incomprehensible, but they just memorized a large part of it because they could, and the rest somehow made sense. These professors can't teach in any different way either; they just heap their knowledge upon students' heads. This happens in physics as well as in maths. 


#35
May1107, 11:43 PM

Sci Advisor
HW Helper
P: 9,453

unfortunately it is difficult to avoid getting older. i have tried with only partial success. Watching spiderman seems to help, or perhaps this is called arrested development.



#36
Jun1310, 04:27 AM

P: 102




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 