R - Institut für Theoretische Weltraum- und Astrophysik der Universität
R - Institut für Theoretische Weltraum- und Astrophysik der Universität
R - Institut für Theoretische Weltraum- und Astrophysik der Universität
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
5 Hamilton-Mechanik<br />
Damit erhalten wir mit (5.147) mit den Rechenregeln <strong>für</strong> Determinanten (2 Summanden,<br />
Faktoren in einer Spalte herausziehen)<br />
�<br />
� ∂ (qi, pi) � � � ∂qi ∂<br />
� ∂u k<br />
= �<br />
∂(u, v) �<br />
i<br />
i<br />
2F2(q,P,t) �<br />
∂Pk ∂<br />
∂qi∂Pk ∂u + k<br />
2F2(q,P,t) ∂qk<br />
∂qi∂qk ∂u<br />
� ∂qi ∂<br />
∂v k<br />
2F2(q,P,t) �<br />
∂Pk ∂<br />
∂qi∂Pk ∂v + k<br />
2 �<br />
�<br />
�<br />
F2(q,P,t) � ∂qk �<br />
∂qi∂qk ∂v<br />
= � � ∂<br />
i k<br />
2 � �<br />
F2 (q, P, t) � ∂qi ∂Pk �<br />
� ∂u ∂u �<br />
∂qi∂Pk<br />
� ∂qi ∂Pk �<br />
∂v ∂v<br />
+ � � ∂2 � �<br />
F2 (q, P, t) � ∂qi ∂qk �<br />
� ∂u ∂u �<br />
∂qi∂qk<br />
� � .<br />
i<br />
k<br />
Die Terme <strong>der</strong> zweiten Reihe sind antisymmetrisch bezüglich <strong>der</strong> Vertauschung <strong>der</strong> Indizes i<br />
<strong>und</strong> k, da dabei die zwei Spalten <strong>der</strong> Determinante vertauscht werden. Der Wert <strong>der</strong> Summe<br />
darf aber nicht durch Vertauschen <strong>der</strong> Indizes beeinflusst werden; demnach muss die zweite<br />
Reihe identisch verschwinden. Wir dürfen an ihre Stelle eine ähnlich konstruierte Reihe setzen,<br />
<strong>der</strong>en Summe ebenfalls Null ist:<br />
�<br />
i<br />
∂ (qi, pi)<br />
∂(u, v)<br />
∂qi<br />
∂v<br />
� � ∂<br />
=<br />
i k<br />
2 �<br />
F2 (q, P, t) �<br />
�<br />
∂qi∂Pk<br />
�<br />
+ � � ∂2 �<br />
F2 (q, P, t) �<br />
�<br />
∂Pi∂Pk<br />
�<br />
i<br />
k<br />
Die Operation <strong>der</strong> Entwicklung <strong>der</strong> Determinantensumme kann nun umgekehrt werden, allerdings<br />
soll in <strong>der</strong> Determinante jetzt die Summe über i <strong>und</strong> nicht über k gebildet werden.<br />
Z.B. in <strong>der</strong> 1. Spalte <strong>der</strong> Determinante tritt die Summe auf:<br />
� ∂2F2 (q, P, t) ∂qi<br />
� ∂<br />
+<br />
∂qi∂Pk ∂u 2F2 (q, P, t) ∂pi<br />
∂Pi∂Pk ∂u<br />
i<br />
i<br />
∂qk<br />
∂v<br />
∂qi<br />
∂u<br />
∂qi<br />
∂v<br />
= ∂<br />
∂u<br />
∂pi<br />
∂u<br />
∂pi<br />
∂v<br />
∂Pk<br />
∂u<br />
∂Pk<br />
∂v<br />
�<br />
�<br />
�<br />
�<br />
∂Pk<br />
∂u<br />
∂Pk<br />
∂v<br />
� �<br />
∂F2<br />
∂Pk<br />
�<br />
�<br />
�<br />
� .<br />
= ∂Qk<br />
∂u ,<br />
wobei wir im letzten Schritt Gleichung (5.64) benutzt haben. Damit reduziert sich die Determinantensumme<br />
auf<br />
�<br />
�<br />
� ∂ (qi, pi) � � ∂Qk ∂Pk � �<br />
= � ∂u ∂u �<br />
∂ (Qk, Pk)<br />
∂(u, v) �<br />
� =<br />
∂(u, v)<br />
i<br />
k<br />
∂Qk<br />
∂v<br />
Q.E.D.<br />
Auf ähnliche Weise – <strong>der</strong> Beweis ist jedoch komplizierter – kann man die Invarianz von<br />
� � � �<br />
�<br />
J2 =<br />
dqidpidqkdpk<br />
S<br />
bei kanonischer Transformation zeigen, wobei S eine beliebige vierdimensionale Fläche des<br />
2n-dimensionalen Phasenraums ist. Diese Kette von Integralinvarianten kann schließlich erweitert<br />
werden auf die Invarianz von<br />
� �<br />
Jn = · · · dq1 . . . dqndpi . . . dpn ,<br />
196<br />
i,k<br />
∂Pk<br />
∂v<br />
k