1. Not finding help here? Sign up for a free 30min tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Show condition for canonical transformation

  1. Oct 1, 2012 #1
    1. The problem statement, all variables and given/known data
    Consider the transformation from the variables (q,p) to (Q,P) by virtue of q = q(Q,P), p = p(Q,P) and H(q,p,t) = H(Q,P,t). Show that the equations of motion for Q,P are:
    [itex]\partial[/itex]H/[itex]\partial[/itex]Q = -JDdP/dt
    [itex]\partial[/itex]H/[itex]\partial[/itex]P = JDdQ/dt
    where JD is the Jacobian determinant det([itex]\partial[/itex](q,p)/[itex]\partial[/itex](Q,P))
    this shows the transformation is canonical only if JD=1.


    2. Relevant equations



    3. The attempt at a solution
    I have tried to write some equations which might help me. They can be found on the attached picture. I would like to know which these can get me on track of the solution. Also I would like to know if my expression for the Jaciobian determinant is correct.
    As a side question I would like to know why you can assume the two variables to have same hamiltonian. Is this because the transformation is not time dependent?
     

    Attached Files:

  2. jcsd
  3. Oct 1, 2012 #2
    I think you should start from the equations of motion in the original coordinates and, using the chain rule, express everything in the new coordinates. Then after some algebra you should get the result.
     
  4. Oct 1, 2012 #3
    I tried going that way but didn't really get anything pretty. What I got is attached - does it in any way resemble any of your steps?
     

    Attached Files:

  5. Oct 1, 2012 #4
    It is just a start. Now solve that for the time derivatives of Q and P. You will get at some stage expressions of the kind (dq/dQ dP/dq + dp/dQ dP/dp) (where "d" is the partial derivative symbol). Note that this is just dP/dQ = 0. Likewise, dq/dQ dQ/dq + dp/dQ dQ/dp = dQ/dQ = 1.
     
  6. Oct 2, 2012 #5
    This is where I could get to. But then the expressions get ugly and I get really see a way to get dH/dQ.
     

    Attached Files:

  7. Oct 2, 2012 #6
    Collect the terms at the time derivative of Q, and the partial derivatives of H, and simplify. That's what this is really all about.
     
  8. Oct 2, 2012 #7
    okay I think I got it now.

    But another question. Since this approach is very messy:
    Is it not possible to use the symplectic condition for a canonical transformation and prove it from there:

    I.e. show that MJMT = J if and only if JD=0.
    Here M is the jacobian matrix and J the sympletic matrix, which you probably know.
     
    Last edited: Oct 2, 2012
  9. Oct 2, 2012 #8
    By the way, you could simplify your life somewhat by introducing
    A = dQ/dq, B = dQ/dp, C = dP/dq, D = dP/dp
    a = dq/dQ, b = dq/dP, c = dp/dQ, d = dp/dP
    X = dH/dQ Y = dH/dP
     
  10. Oct 2, 2012 #9
    I managed to show it. Although for some reason I get a 2 in front of my dH/dP such that:

    2[itex]\partial[/itex]H/[itex]\partial[/itex]p =JDdQ/dt

    did you get that too?

    I have attached an explanation of where I get it (also note that I corrected the mistake I made on the last picture - if you noticed that)

    Also: Would the symplectic approach described above work?
     

    Attached Files:

    Last edited: Oct 2, 2012
  11. Oct 2, 2012 #10
    I don't understand that explanation.

    I am not sure about he symplectic approach. If I remember correctly, the symplectic matrix is a basis transformation matrix in the cotangent space, so it should itself be the Jacobian in this case.
     
  12. Oct 2, 2012 #11
    Did you not have the same calculations? All my point was that I get a dH/dP term from two terms in the sum: namely dp/dP(dH/dP*dP/dp) + dq/dP(dH/dP*dP/dq) = 2dH/dP
    did you not get these two?
    note all d's are partials
     
  13. Oct 2, 2012 #12
    Because they are partial. dp/dP * dP/dp do NOT cancel each other. However, as I remarked above, dp/dP * dP/dp + dq/dP *dP/dq = dP/dP = 1.
     
  14. Oct 2, 2012 #13
    ahh yes! I get it now. Thanks so much voko, you're always very helpful ;)
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Show condition for canonical transformation
Loading...