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}=n∑k=1∂Fi∂pk∂φj∂qk−∂Fi∂qk∂φj∂pk=ωjn∑k=1∂Fi∂pk(∂F1∂pk)−1−∂Fi∂qk(∂F1∂qk)−1=2ωj,
where the second equality is because of the Hamiltonian equations (with H=F1) and the fact that ∂φj∂t=ωj where the φj are the angle coordinates that are described by linear flow on Mf, and the third equality is because of ∂Fi∂F1=δ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