Wednesday, 19 July 2017

differential geometry - Proof of constructing Action-Angle Coordinates on Hamiltonian System


By Liouville-Arnold Theorem, we know we can construct action-angle coordinates such that the Hamiltonian system, when described in these coordinates, will have a form that is integrable by quadratures. I am looking at a proof of the construction of these coordinates, and I am not certain of a certain part. In page 180 of Mathematical Aspects of Celestial Mechanics it says that the Poisson bracket {Fi,φj} is constant on Mf, the Lagrangian tori. I tried to prove it but I am not sure of the proof. Here is my attempt:


Choose Darboux coordinates {p,q} and by the coordinate representation of the Poisson bracket, we have



{Fi,φj}=nk=1FipkφjqkFiqkφjpk=ωjnk=1Fipk(F1pk)1Fiqk(F1qk)1=2ωj,


where the second equality is because of the Hamiltonian equations (with H=F1) and the fact that φjt=ωj where the φj are the angle coordinates that are described by linear flow on Mf, and the third equality is because of FiF1=δi1. However, I am not so sure of the third equality because it just feels odd to differentiate the Fi's by the F1's.


Any form of help will be appreciated as I am doing my thesis now and struggling :/




No comments:

Post a Comment

Understanding Stagnation point in pitot fluid

What is stagnation point in fluid mechanics. At the open end of the pitot tube the velocity of the fluid becomes zero.But that should result...