Wenn wir die Schrödinger-Gleichung für den Zeitentwicklungsoperator lösen:
Wir haben drei Fälle, die getrennt behandelt werden müssen:
Fall 1. Der Hamilton-Operator ist zeitunabhängig:
Fall 2. Der Hamilton-Operator ist aber zeitabhängig zu unterschiedlichen Zeiten pendeln:
Fall 3. Der Hamilton-Operator ist zeitabhängig und zu unterschiedlichen Zeiten nicht pendeln:
Betrachten wir den Fall 1, so ist die folgende Aussage leicht zu beweisen:
Der Hamilton-Operator ist genau dann hermitesch, wenn der Zeitentwicklungsoperator ist einheitlich.
Aber wie beweist man diese Aussage für zeitabhängige Hamilton-Fälle?
Sie können dies beweisen, ohne einen der speziellen Fälle zu betrachten, indem Sie eine Störung erster Ordnung der Differentialgleichung durchführen, die den Zeitentwicklungsoperator definiert.
Wir beginnen mit
Oder einige Begriffe neu anordnen,
Zu einer Zeit , sagt uns die obige Gleichung, dass wir dies in erster Ordnung tun müssen wir haben
Wenn einheitlich ist, dann haben wir
Erweitern Sie dies und behalten Sie nur die Bedingungen der ersten Ordnung bei Erträge
Da wir das gefordert haben für alle Zeiten einheitlich ist, sollten wir auch haben Dies ersetzen und stornieren von beiden Seiten der Gleichung ergibt
Wir müssen also haben . Wir haben also gezeigt, dass wenn ist dann einheitlich muss hermitesch sein.
Für die andere Richtung kehren wir zu unserer Entwicklung erster Ordnung zurück:
Wenn ist also hermitesch
So ist für alle konstant . Seit ist die Identität, die wir haben müssen für alle . Damit haben wir bewiesen, dass wenn ist also hermitesch muss einheitlich sein.
Hermitizität von für alle drei Fälle zusammen kann direkt aus der Schrödinger-Gleichung gezeigt werden. Nehmen Sie dazu zunächst die Ableitung der Unitaritätsrelation gegenüber , was gibt
Ich denke, dass die Einheitlichkeit aller gibt dir nicht so viel. Die Einheitlichkeit ist tatsächlich in der (zwei Parameter umfassenden) Gruppeneigenschaft codiert, dh für alle (mit für alle ). Nehmen wir das an differenzierbar ist Und auf passende Domains für alle (die Domänen können zeitabhängig sein); und durch Differenzieren erhalten wir die Gleichungen
Wenn wir nun den Doppeladjoint nehmen, folgt daraus auch, dass jeder Operator muss geschlossen werden (weil wir bekommen , und dass jede Adjungierte dicht definiert ist).
Zusammenfassend sehen wir, dass wir eine dicht differenzierbare einheitliche Zwei-Papermeter-Gruppe der Evolution haben es ist notwendig, dass es eine Familie geschlossener (dicht definierter) Operatoren gibt die über die Gleichungen ( ). Dies ergibt jedoch nicht die Hermitizität der Generatoren.
hallo