Beweis.
[Beweis]
Wir rechnen im folgenden im Heisenbergbild, so daß von eventueller
expliziter Zeitabhängigkeit abgesehen nur die Observablen-Operatoren
zeitabhängig sind, die Zustände sind zeitunabhängig. Die Eigenzustände
des Hamiltonoperators

sind allerdings zeitabhängig
durch die vermöge (
2.1) eingebrachte explizite Zeitabhängigkeit des
externen Parameters

. Die Eigenwertgleichung für den
Hamiltonoperator schreiben wir wie folgt:
 |
(2.2) |
Die Bewegungsgleichung im Heisenbergbild ist
 |
(2.3) |
woraus sich die Schrödingergleichung in der Energiedarstellung
 |
(2.4) |
ergibt. Unter Verwendung des Operators
 |
(2.5) |
finden wir
 |
(2.6) |
mit dem Matrixelement
 |
(2.7) |
Definieren wir jetzt
![$\displaystyle \braket{\alpha,\chi}{\psi}=\exp \left [ - \i \int_0^t \d t'E_{\alpha}(\chi(t')) \right ] \phi_{\alpha}(t)$](img560.png) |
(2.8) |
und substituieren dies in (
2.6) unter Verwendung von
 |
(2.9) |
ergibt nach einigen einfachen Umformungen
![$\displaystyle \i \frac{\d \phi_{\alpha(t)}}{\d t}=- \frac{\chi_2-\chi_1}{\tau} ...
... \int_{\chi_1}^{\chi(t)} \d \chi [E_{\alpha}(\chi)- E_{\alpha'}(\chi)] \right].$](img562.png) |
(2.10) |
Nun definieren wir die Phase der Energieeigenvektoren wie folgt um:
![$\displaystyle \ket{\alpha', \chi} = \exp[\i \sigma_{\alpha}(\chi)] \ket{\alpha,\chi}.$](img563.png) |
(2.11) |
Dann wird

gemäß (
2.5) zu
 |
(2.12) |
also
 |
(2.13) |
Das bedeutet, daß wir durch geeignete Wahl der Phasen

die Diagonalelemente von

zum Verschwinden bringen können. Wir
nehmen o.B.d.A. im folgenden an, dies sei bereits für

der Fall.
Integrieren wir (2.10) bzgl. der Zeit, erhalten wir
![$\displaystyle \i [\phi_{\alpha}(\tau)-\phi_{\alpha}(0)] = -\frac{\chi_2-\chi_1}...
...\chi_1} \int_{\chi_1}^{\chi(t)} \d \chi [E_{\alpha}(\chi)-E_{\alpha'}] \right].$](img568.png) |
(2.14) |
Wegen unserer Phasenwahl ist

für alle

und
folglich tauchen in (
2.10) nur nichtverschwindende Energiedifferenzen
auf, weil wir angenommen haben, der Hamiltonoperator besitze ein nicht
ausgeartetes Spektrum. Das Integral im Argument der Exponentialfunktion
oszilliert also für

immer mehr, während alle
übrigen Funktionen sich nur wenig mit der Zeit ändern. Die Integration
über

mittelt also die Summe komplett weg, so daß wir die folgende
Asymptotik haben:
 |
(2.15) |
Sei nun

eine Konstante der Bewegung bzgl. des
parameterabhängigen Hamiltonoperators

. Dann ist dieser
Operator in der Eigenbasis des Hamiltonoperators diagonal:
 |
(2.16) |
und aus (
2.15) folgt, daß die adiabatische Änderung des Parameters

mit der Zeit ,,deformiert''

, welches eine Konstante der
Bewegung bzgl.

ist, zu einer Konstante der Bewegung

bzgl.

.