Beweisen Sie, dass der zeitabhängige Hamiltonian hermitesch ist, da der Zeitentwicklungsoperator einheitlich ist

Wenn wir die Schrödinger-Gleichung für den Zeitentwicklungsoperator lösen:

ich T U ( T , T 0 ) = H U ( T , T 0 ) ,

Wir haben drei Fälle, die getrennt behandelt werden müssen:

Fall 1. Der Hamilton-Operator H ist zeitunabhängig:

U ( T , T 0 ) = exp [ ich H ( T T 0 ) ] ;

Fall 2. Der Hamilton-Operator H ist aber zeitabhängig H ' S zu unterschiedlichen Zeiten pendeln:

U ( T , T 0 ) = exp [ ich T 0 T D T ' H ( T ' ) ] ;

Fall 3. Der Hamilton-Operator H ist zeitabhängig und H ' S zu unterschiedlichen Zeiten nicht pendeln:

U ( T , T 0 ) = 1 + N = 1 [ ( ich ) N T 0 T D T 1 T 0 T 1 D T 2 . . . T 0 T N 1 D T N H ( T 1 ) H ( T 2 ) . . . H ( T N ) ] = T { exp [ ich T 0 T D T ' H ( T ' ) ] }

Betrachten wir den Fall 1, so ist die folgende Aussage leicht zu beweisen:

Der Hamilton-Operator H ist genau dann hermitesch, wenn der Zeitentwicklungsoperator U ist einheitlich.

Aber wie beweist man diese Aussage für zeitabhängige Hamilton-Fälle?

Antworten (3)

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

ich T U ( T , T 0 ) = H U ( T , T 0 ) .

Oder einige Begriffe neu anordnen,

T U ( T , T 0 ) = ich H U ( T , T 0 ) .

Zu einer Zeit T + δ T , sagt uns die obige Gleichung, dass wir dies in erster Ordnung tun müssen δ T wir haben

U ( T + δ T , T 0 ) = U ( T , T 0 ) ich H U ( T , T 0 ) δ T .

Wenn U einheitlich ist, dann haben wir

ICH = U U ( T + δ T , T 0 ) = [ U ( T , T 0 ) + ich U ( T , T 0 ) H δ T ] [ U ( T , T 0 ) ich H U ( T , T 0 ) δ T ] .

Erweitern Sie dies und behalten Sie nur die Bedingungen der ersten Ordnung bei δ T Erträge

ICH = U U ( T , T 0 ) ich U ( T , T 0 ) H U ( T , T 0 ) δ T + ich U ( T , T 0 ) H U ( T , T 0 ) δ T .

Da wir das gefordert haben U für alle Zeiten einheitlich ist, sollten wir auch haben U U ( T , T 0 ) = ICH . Dies ersetzen und stornieren ICH von beiden Seiten der Gleichung ergibt

0 = ich U ( T , T 0 ) ( H H ) U ( T , T 0 ) δ T .

Wir müssen also haben H = H . Wir haben also gezeigt, dass wenn U ist dann einheitlich H muss hermitesch sein.

Für die andere Richtung kehren wir zu unserer Entwicklung erster Ordnung zurück:

U U ( T + δ T , T 0 ) = U U ( T , T 0 ) ich U ( T , T 0 ) H U ( T , T 0 ) δ T + ich U ( T , T 0 ) H U ( T , T 0 ) δ T .

Wenn H ist also hermitesch

U U ( T + δ T , T 0 ) = U U ( T , T 0 ) .

So U U ( T , T 0 ) ist für alle konstant T . Seit U ( T 0 , T 0 ) ist die Identität, die wir haben müssen U U ( T , T 0 ) = ICH für alle T . Damit haben wir bewiesen, dass wenn H ist also hermitesch U muss einheitlich sein.

Hermitizität von H 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 U ( T , T 0 ) U ( T , T 0 ) = ICH gegenüber T , was gibt

U ( T , T 0 ) [ T U ( T , T 0 ) ] = [ T U ( T , T 0 ) ] U ( T , T 0 ) .
Betrachten Sie dann das hermitische Konjugat von
H = ich [ T U ( T , T 0 ) ] U ( T , T 0 ) ,
was liest
H = ich U ( T , T 0 ) [ T U ( T , T 0 ) ] = ich [ T U ( T , T 0 ) ] U ( T , T 0 ) .
Deshalb, H = H , und daher H ist hermitesch.

Ich denke, dass die Einheitlichkeit aller ( U ( T , T 0 ) ) ( T , T 0 ) R 2 gibt dir nicht so viel. Die Einheitlichkeit ist tatsächlich in der (zwei Parameter umfassenden) Gruppeneigenschaft codiert, dh U ( T , T 0 ) U ( T 0 , T 1 ) = U ( T , T 1 ) für alle T , T 0 , T 1 R (mit U ( T , T ) = 1 für alle T ). Nehmen wir das an U ( T , T 0 ) differenzierbar ist T Und T 0 auf passende Domains für alle T , T 0 (die Domänen können zeitabhängig sein); und durch Differenzieren erhalten wir die Gleichungen

ich T U ( T , S ) = H ( T ) U ( T , S ) ich S U ( T , S ) = U ( T , S ) H ' ( S ) ;
für einige Familien ( H ( T ) ) T R Und ( H ' ( S ) ) S R von Betreibern. Nun, Einheitlichkeit impliziert dies U ( T , S ) = U ( S , T ) , daher erhalten wir das, indem wir den Adjungierten der ersten Gleichung nehmen
ich T U ( S , T ) = U ( S , T ) H ( T ) ,
und daher folgt das für alle T R , die "richtigen Generatoren" H ' ( T ) sind mit den "linken Generatoren" verwandt H ' ( T ) = H ( T ) . Mit anderen Worten, die beiden obigen Ableitungen lauten jetzt
( ) ich T U ( T , S ) = H ( T ) U ( T , S ) ich S U ( T , S ) = U ( T , S ) H ( S ) .

Wenn wir nun den Doppeladjoint nehmen, folgt daraus auch, dass jeder Operator H ( T ) muss geschlossen werden (weil wir bekommen H ( T ) = H ( T ) , und dass jede Adjungierte dicht definiert ist).

Zusammenfassend sehen wir, dass wir eine dicht differenzierbare einheitliche Zwei-Papermeter-Gruppe der Evolution haben ( U ( T , T 0 ) ) ( T , T 0 ) R 2 es ist notwendig, dass es eine Familie geschlossener (dicht definierter) Operatoren gibt ( H ( T ) ) T R die über die Gleichungen ( ). Dies ergibt jedoch nicht die Hermitizität der Generatoren.

Differenzieren U ( T , S ) U ( S , T ) = ICH gegenüber T und dann ein wenig neu anordnen gibt Ihnen T U ( T , S ) = U ( T , S ) T U ( S , T ) U ( T , S ) . Setzen Sie dies in die erste Gleichung von (*) ein und multiplizieren Sie dann beide Seiten mit U ( S , T ) sowohl links als auch rechts, und schließlich den Austausch der Variablen T Und S zeige, dass H ( S ) = H ( S ) .