Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

How does Lie group help to solve ode's?

  1. Apr 19, 2012 #1
    Being not an expert, my question might sound naive to students of mahematics. My question is how on earth a Lie group helps to solve an ode. Can anyone explain me in simple terms?
     
  2. jcsd
  3. Apr 25, 2012 #2
    Suposedly if the ODE is somehow symmetric, the solutions are limited to representations of corresponding Lie group. I´ve seen this in Hall´s book on Lie groups, section "Why study representations", but I don´t understand it either.

    Also I find it wierd noone here understands it. (or why else there is no response?)
     
  4. Apr 26, 2012 #3
    Many thanks Alesak for your reply and the cited reference. It would be nice if someone could post a geometrical answer...
     
  5. May 2, 2012 #4

    Stephen Tashi

    User Avatar
    Science Advisor


    I've often wondered about it myself. I even have a modern book on the subject: "Solution of Ordinary Differential Equations by Continuous Groups", by Geore Emanuel, Champion and Hall/CRC. I've glanced at it from time to time, but never studied it throroughly.

    I'd be glad to discuss it here and that might motivate me to study it more. I think you need at least a facility with the calculus of several variables in order to understand the material. After introducing continouous gropus, Emanuel discusses "The Method Characteristics", so understanding the geometric interpretation of that technique is probably necessary.

    How big a non-expert are you? How serious are you about findng an answer?
     
  6. May 2, 2012 #5

    lavinia

    User Avatar
    Science Advisor

    I would love to have a discussion of this topic - which I know zero about.
     
  7. May 2, 2012 #6

    Stephen Tashi

    User Avatar
    Science Advisor

    Do you already know something about Lie goups?

    And I should have written "The Method Of Characteristics".
     
  8. May 3, 2012 #7

    lavinia

    User Avatar
    Science Advisor

    I have read most Chevalley's book.
     
  9. May 4, 2012 #8

    Stephen Tashi

    User Avatar
    Science Advisor

    Then you know more than I do about Lie groups.

    How shall we go about this? It might be boring to go through Emanuel's book in order. I'll jump to a crucial point and we can go back and pick up the background. Perhaps you can explain what a "once extended group" is.

    Summarizing the first section of Chaper 5 with some excerpts:

    (I don't know how to make LaTex leave more spaces between the equations and the numbers, which follow them.)

    That sounds like old-fashioned jargon. What would the "symbol" of the group be? Is it the so-called "infinitesimal transformation"? I'll explain what he says about it below.



    In a previous chapter he discusses "function invariance" under groups. Of "function invariance", he begins by saying:

    I have to go back another chapter to make sense of that notation. In the previous chapters he has defined the group element corresponding to the value of the parameter [itex] \alpha [/itex] as the transformation that sends [itex] (x,y) [/itex] to [itex] (x_1,y_1) [/itex] by the formulae:

    [itex] x_1 = \phi(x,y,\alpha) [/itex] (2.3)
    [itex] y_1 = \psi(x,y,\alpha) [/itex]

    Where [itex] \phi [/itex] and [itex]\psi [/itex] are known functions.

    In terms of those functions, he defines:

    [itex] \zeta = \frac{\partial \phi}{\partial \alpha}|_0 [/itex]
    [itex] \eta = \frac{\partial \psi}{\partial \alpha}|_0 [/itex]

    The differential operator [itex] U [/itex] is defined by
    [itex] U f = \zeta f_x + \eta f_y [/itex], which is (I think)
    [itex] U f = \zeta \frac{\partial f}{\partial x} + \eta \frac{\partial f}{\partial y} [/itex].

    Returning to his treatment of function invariance, he says

    I'll end this post with that note. To formulate the definition of invariance for [itex] f(x,y,y') [/itex] he has to introduce the notion of the "once extended" group.

    Anyone have any geometric insight about the above concepts?
     
  10. May 4, 2012 #9
    One idea is that if the ODE admits enough 1-parameter group of symmetries (that are transformations that take solutions to solutions, where solutions are the curves in the phase space) which are Lie groups, one by one you find change of coordinates that takes each of these transformations to their normal form (i.e they become translations along a coordinate [call this coordinate s], if you are in R^n with sufficient smoothness conditions such transformations always exist where basically 1-parameter curves become one of your coordinates) and this change of coordinates reduces the order of your equation by 1. Ofcourse the order in which you choose these symmetries is an important detail. Moreover for an nth order ODE you have to have atleast n symmetries. To avoid locality issues I assume this was done on R^n. I don't how this is generalized to ODE on manifolds. Geometrically this means that solutions in these new coordinates do not essentially depend on the redundant coordinate s but only on its derivatives. So in the new form your ODE lacks the variable s but depends on its derivatives, reducing the equation by one order.

    An accesible introduction (to a physics student) is Stephani ODE and Symmetries. However there are an immense amount of geometrical ideas hidden in that book (which are not explained for simplicity and mostly everything is introduced as a metodology) so it is very instructive to read or return back to that book after you had a proper course on differential geometry covering Lie groups and algebras.
     
    Last edited: May 4, 2012
  11. May 4, 2012 #10
    So really what you care about is the Lie group of transformations on the phase space which take solution curves to solution curves. Intiutively, existance of a symmetry may mean redundancy which can be used to lower the degree of the equation.
     
  12. May 4, 2012 #11

    Stephen Tashi

    User Avatar
    Science Advisor

    It will be interesting to square this with Emmauel's statements. The invariance I gave in my post is what he calls "function invariance". He defines another type of invariance (which he says is less important) called "curve invariance".

     
  13. May 5, 2012 #12
    Hi guys,

    I found this awesome book: http://www.physics.drexel.edu/~bob/LieGroups.html.

    It´s spiritual succesor of his earlier book (Lie Groups, Lie Algebras, and Some of Their Applications) and it seems to have the best motivation I´ve seen in a book about lie groups. Definitely worth checking out.
     
  14. May 5, 2012 #13
    A word of caution, Gilmore is not for the mathematically twitchy :p by meaning which you should be able to withstand some amount of informal arguements or should enjoy trying to make them rigorous. The contents of the book looks like a miracle which should also tell you that not everything is trated in as much detail as Knapp's Lie groups.

    It is also a nice reference book for lie groups and algebras but many properties are given without proof.
     
  15. May 6, 2012 #14
    I´m trying to go through Knapp for a school course, and I think he has the highest "proof/other text" ratio I´ve seen in a long time. The proofs seem form a dense set in his book even. It is really helpful to read about lie groups from other perspectives as well.

    One good companion seems Quantum Mechanics. Symmetries, too bad I don´t know any quantum mechanics!
     
  16. May 6, 2012 #15
    yea I meant gilmore's book when I said many properties are given without proof
     
  17. May 6, 2012 #16

    Stephen Tashi

    User Avatar
    Science Advisor

    My own interest in this is simply to obtain a geometric intuition for what's going on. I think that is in line with ayan849's original post.

    Let's start with a simple question. What is the geometric interpretation of the operator U?.

    As I recall, the convention in Lie groups is that when the parameter(s) are zero then the particular transformation they define is the identity. So, for a 1 parameter group, is U f(x,y) something like a directional derivative of f(x,y) taken along the direction that the group is moving the point (x,y)?

    I say "something like" since there have been other threads about whether a "direction derivative" must be taken with respect to a direction defined by a unit vector. It was mentioned that Apostol, in a book, defines a derivative of a function "with respect to a vector" without requiring that the vector be a unit vector. However, he does not call this a "directional derivative". Is it correct to say that U is a "derivative with respect to a vector" that may not be a unit vector?
     
  18. May 17, 2012 #17
    Can anybody care to give a geometrical interpretation? I can't understand a bit of what is going on here :(
     
  19. May 17, 2012 #18

    Stephen Tashi

    User Avatar
    Science Advisor

    While we wait to see if anybody cares, could you explain whether your mathematical background includes directional derivatives and differential operators?

    Currently, I can't answer the question ("In geometric terms, how does Lie theory helps solve differential equations?") and I only get a hazy idea from the post that said that it amounts to changing coordinates so every transformation amounts to a translation. I'll flatter myself by thinking that I am capable of getting geometric picture if I wade through some of the books that I have. (I like the Gilmore text.) However, I probably don't have the self discipline to do this without some motivation ( being a very busy person - retired, you know. It takes up all your time.) We might figure this out if you want to have a long discussion about it, which will keep me interested.

    If you were just asking a casual question and wanted a quick answer without getting into a lot of posts, I can't help you.
     
  20. May 26, 2012 #19
    Here is a geometric picture of how symmetries can aid in the solution of certain ODEs. I'll begin with some technical discussion and conclude with some qualitative remarks.

    Let [itex] M [/itex] denote the phase space. This is the manifold where solution curves to the ODE are contained. Let [itex]X:M\rightarrow TM[/itex] denote the vector field that defines the ODE. A geometric way of saying that this ODE possesses symmetry is [itex] M [/itex] admits a (left) Lie group action [itex]\Phi:G\times M\rightarrow M[/itex] that commutes with the flow map of [itex]X[/itex]. Recall that the flow map [itex]F_\lambda[/itex] of [itex]X[/itex] takes a point [itex]m\in M[/itex] and returns the point [itex]F_\lambda(m)[/itex] equal to where the initial condition [itex]m[/itex] ends up after moving [itex]\lambda[/itex] seconds according to the dynamics defined by the ODE. So, restated in symbols, the condition that the ODE possess a symmetry is
    [tex]\forall g\in G,\lambda\in\mathbb{R},~~\Phi_g\circ F_\lambda=F_\lambda\circ\Phi_g.[/tex]
    Provided the action [itex]\Phi[/itex] is sufficiently nice (e.g., free and proper), then it is possible to form the quotient manifold [itex]M/G[/itex], which is just the collection of group orbits (see http://en.wikipedia.org/wiki/Group_action for more discussion on group actions, particularly the section on continuous group actions). On this smaller manifold [itex]M/G[/itex], the original ODE induces a new ODE [itex]x:M/G\rightarrow T(M/G)[/itex] via the following construction.

    Let [itex]\pi:M\rightarrow M/G[/itex] denote the map that assigns to every point [itex]m\in M[/itex] the group orbit [itex]m[/itex] lives on. For each [itex]\lambda\in\mathbb{R}[/itex], define the mapping [itex]f_\lambda:M/G\rightarrow M/G[/itex] by [tex]f_\lambda(\pi(m))=\pi(F_\lambda(m)).[/tex]
    This is a well-defined mapping precisely because the symmetry condition holds. That is, if [itex]m^\prime=\Phi_g(m)[/itex] lives on the same group orbit as [itex]m[/itex], then
    [tex]
    f_\lambda(\pi(m^\prime))=\pi(F_\lambda(\Phi_g(m)))=\pi(F_\lambda(m))=f_\lambda(\pi(m)).
    [/tex]
    The key property this map possesses is that it defines a one-parameter subgroup of [itex]M/G[/itex], which in symbols means [itex]f_{a+b}=f_a\circ f_b[/itex] for any real numbers [itex]a,b[/itex]. Thus, [itex]f_\lambda[/itex] is the flow map of some vector field [itex]x[/itex] on [itex]M/G[/itex].

    The vector field [itex]x:M/G\rightarrow T(M/G)[/itex] contains all of the "essential" information contained in the original vector field [itex]X:M\rightarrow TM[/itex]. In fact, if it turns out to be possible to solve the ODE defined by [itex]x[/itex], then the solution to the original ODE can be explicitly reconstructed in terms of integrals of the solution to [itex]x[/itex] (I won't explain how this works here). Note that because [itex]x[/itex] is defined on a space with smaller dimension than [itex]M[/itex] (in fact [itex]\text{dim}G[/itex] dimensions smaller), it is reasonable to expect that [itex]x[/itex] is easier to solve than [itex]X[/itex].

    Finally, I'd like to point out that symmetry is even more useful when your ODE is Hamiltonian. In the Hamiltonian case, it is often possible to reduce the dimensionality of the system by TWICE the dimension of [itex]G[/itex]! This is because Hamiltonian symmetries also give rise to conserved momentum maps. An authoritative source for learning about Hamiltonian symmetries is Abraham and Marsden's Foundations of Mechanics.
     
  21. May 26, 2012 #20
    I believe symmetry can be use to explain many of the tricks from the chapter in Boyce on differential equations.

    [itex](x,y)\mapsto(x,y/x)[/itex], homogeneous change of variables.

    So we're to notice the lie group of symmetries along any y=mx. If we travel from [itex](x,y)[/itex] to [itex](x',y')[/itex], but stay on the line, ie y'=mx', then if y'=F(y/x), a certain symmetry arises.

    Since [itex]dy/dx(x,y)=f(x,y=F(y/x)=F(m)=F(y'/x')=f(x',y')=dy/dx(x',y')[/itex]

    So the theory of lie groups says the differential equation involving two variables splits into two of fewer variables if we use the new coordinates, instead of [itex](x,y)[/itex], we sort of use [itex](x,\tan(\theta))[/itex], so we move only radially and in [itex]x[/itex], and our shape simplifies.

    Other changes in path due to some type of symmetry,

    [itex](x,y)\mapsto(x,\mu(x)y)[/itex], the integrating factor. Splits the differential equation for a certain [itex]\mu(x)[/itex].

    [itex](x,y)\mapsto (x,x+y)[/itex], if [itex]y'=f(x,y)[/itex] has symmetry [itex]y'=F(x+y)[/itex]

    It would be an exercise to see what corresponds with what from an advanced text. Singer has a couple good books on symmetry and mechanics that are hiding some intuitions too. I haven't visited this topic in a while, so I just remember the parts that were relevant to me more often. Picking symmetries in calculus of variations is another related topic, giving nice "first integrals", which I think relates to energy conservation. Singer's correspondence between symmetries and conserved quantities in her book on Hydrogen makes it seem really simple, but it takes some mathematical buildup. The main idea was something like if an operator commutes with a transformation.

    I think these are all good things to try to take into account to create a nice picture of the topic.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: How does Lie group help to solve ode's?
  1. Lie Groups (Replies: 3)

  2. Lie Groups (Replies: 7)

Loading...