Erwartungswert des zeitabhängigen Hamiltonoperators

Ich versuche, ein Problem in QM mit einem erzwungenen Quantenoszillator zu lösen. Bei diesem Problem habe ich einen Quantenoszillator, der sich zunächst im Grundzustand befindet. Bei T = 0 , die Kraft F ( T ) = F 0 Sünde ( Ω T ) eingeschaltet ist und nach Zeit T wieder ausgeschaltet. ich muss finden H ^ zum Zeitpunkt T .

Ich begann mit diesem Hamiltonian:

H ^ = P ^ 2 2 M + 1 2 M ω 0 2 X ^ 2 X ^ F 0 Sünde ( Ω T )

Und dieses Problem möchte ich im Heisenberg-Bild lösen. Dann

H ^ = ψ ( T ) | H ^ S | ψ ( T ) = ψ ( 0 ) | H ^ H | ψ ( 0 ) ,

Wo H ^ H ist der Hamiltonoperator im Heisenberg-Bild und | ψ ( 0 ) ist der Grundzustand des harmonischen Oszillators.

Seit H ^ H = U ( T ) H ^ S U ( T ) , ich muss den Zeitentwicklungsoperator finden U . Ich habe zuvor eine Frage zu diesem Operator gestellt , sehe aber nicht, wie ich ihn auf dieses Problem anwenden soll.

Der Evolutionsoperator ist das zeitlich geordnete Exponential des Integrals, T exp H D T / ich . Für diesen Hamiltonoperator hängt das nur quadratisch ab X , P , ich denke, dass der Wert explizit berechnet werden kann, ich meine analytisch. Die Resonanz in der Nähe Ω = ω 0 sollte sich auch im Ergebnis sehen lassen. Ich weiß nicht, wie ich das Ergebnis jetzt auf den Kopf schreiben soll.

Antworten (2)

Mein Ansatz wäre: Erstmal die zeitliche Entwicklung bestimmen X ^ ( T ) Und P ^ ( T ) . Für X ^ du hast

D D T X ^ H ( T ) = ich [ H H , X ^ H ( T ) ] = ich 2 M [ P ^ H ( T ) 2 , X ^ H ( T ) ] = P H ( T ) ^ M
und für P Sie haben (vorausgesetzt 0 T T )
D D T P ^ H ( T ) = ich [ H H ( T ) , P ^ H ( T ) ] = M ω 0 2 X ^ H ( T ) + F 0 Sünde ( Ω T )
Das sind gekoppelte Differentialgleichungen, die Sie entkoppeln können, indem Sie sie noch einmal nach der Zeit differenzieren und eine Substitution vornehmen. Zum Beispiel,

D 2 D T 2 X ^ H ( T ) = 1 M D D T P ^ H = ω 0 2 X ^ H ( T ) + F 0 M Sünde ( Ω T )
wo ich ausgewechselt habe D D T P ^ H ( T ) durch seine früher gefundene Bewegungsgleichung. Sie können auch eine Gleichung wie diese für erhalten P ^ H ( T ) ( T ) , die ich für dich hinterlasse..

Jetzt können diese Gleichungen mit Ihrer bevorzugten Methode gelöst werden, vorausgesetzt, Sie geben ihnen geeignete Randbedingungen. Beachten Sie, dass Sie nur eine Randbedingung für benötigen X Und P (welches ist X H ( 0 ) = X ^ S Und P H ( 0 ) = P ^ S Es gibt Ihnen einen Ausdruck für X ^ H ( T ) Und P ^ H ( T ) bezüglich X ^ S Und P ^ S . Der Heisenberg-Hamiltonoperator wird dann leicht durch Einsetzen bestimmt X ^ H ( T ) Und P ^ H ( T ) .

Mit diesem Ausdruck in der Hand sollten Sie in der Lage sein, zu finden H ( T ) (Beachten Sie, dass Sie die Fälle berücksichtigen sollten, in denen T < 0 Und T > T separat).

EDIT: Der Beweis zu meiner Aussage unten: Im Schrödinger-Bild ist der Hamiltonian

H ^ S = P ^ S 2 2 M + 1 2 M ω 0 2 X ^ S 2 X ^ S F 0 Sünde ( Ω T )

und das Heisenberg-Bild ist gegeben durch H H = U ( T ) H S U ( T ) . Wenn Sie also zum Beispiel den ersten Term nehmen, erhalten Sie:

U ( T ) P ^ S 2 2 M U ( T ) = 1 2 M ( U ( T ) P ^ S U ( T ) ) ( U ( T ) P ^ S U ( T ) ) = 1 2 M P ^ H ( T ) 2

Dasselbe können Sie für die anderen Begriffe tun. Am Ende ersetzen Sie einfach effektiv P S P H ( T ) und das gleiche für X .

Ich denke, dass Sie in der ersten Gleichung einen Fehler haben. In der Heisenberg-Gleichung gibt es den Hamilton-Operator im Heisenberg-Bild. Tatsächlich hängt Hamiltonian explizit von der Zeit ab, also H S H H . Und wir kennen den Hamiltonian nicht H H , also können wir die Heisenberg-Gleichung nicht verwenden.
Weil H quadratisch ist, ist sein Heisenberg-Bild durch einfaches Ersetzen gegeben P P H ( T ) Und X X H ( T ) . Die Vertauschungsbeziehungen zwischen X Und P nicht für die gleiche Zeit ändern.
Vielen Dank für Ihren Kommentar, aber diese Aussage ist für mich nicht klar. Können Sie sie im Detail erläutern? Ich verstehe nämlich die zweite Gleichheit in deinem Beitrag nicht.
Welchen Teil genau verstehst du also nicht?
@Olaf Ich würde das Ersetzungsverfahren in Frage stellen. Die Lösung der Heisenberg-Gleichung von X ^ H ( T ) ist die Summe der homogenen und inhomogenen Lösung. Das Quadrat von X ^ H ( T ) , dh, X ^ H ( T ) 2 enthält dann im inhomogenen Teil einen quadratischen Term

Ich habe vor einigen Jahren versucht, den Evolutionsoperator in Ihrem Fall zu berechnen. Ich wollte zeigen, dass ein solcher Hamiltonoperator zu keinem Zeitpunkt einen Quantenzustand hat. Die Lösung, die ich gefunden habe, ist, dass ein solches Modell nur zu unendlichen Zeiten einen kohärenten Zustand hat. Ich weiß immer noch nichts über Zwischenzeiten, auch wenn Sie mit der folgenden Lösung zu jeder Zeit berechnen können, was Sie wollen. Eine Störungsmethode findet sich bei Landau (zur Quantenmechanik). Das folgende Ergebnis ist auch im Buch von Gardiner und Zoller über Quantenrauschen zu finden, wenn ich mich richtig erinnere. Schließlich ist die älteste Studie zu dieser Frage, die ich gefunden habe, eine Analyse von Carruthers und Nieto (1965); Sie verwenden die Green-Funktion, um zu zeigen, dass ein harmonischer Quantenoszillator zu unendlichen Zeiten durch einen kohärenten Zustand beschrieben wird.

Ich habe die sogenannte Lie-Algebraische Methode verwendet (siehe Wei und Norman 1963 für eine gute Übersicht; mein Arbeitsblatt ist, glaube ich, in sich geschlossen), weil es eine allgemeine Methode ist, mit der Sie den Evolutionsoperator ganz einfach für einfache Hamilton-Operatoren berechnen können. Diese Methode ist nicht so bekannt

Bevor ich weiter auf die Herleitung eingehe, lassen Sie mich die Referenzen angeben (falls eine fehlt, lassen Sie es mich bitte wissen), die ich verwendet habe

  • Carruthers, P. & Nieto, M. (1965). Kohärente Zustände und der erzwungene Quantenoszillator. American Journal of Physics, 33(7), 537. doi:10.1119/1.1971895
  • Wei, J., & Norman, E. (1963). Lügenalgebraische Lösung linearer Differentialgleichungen. Journal of Mathematical Physics, 4(4), 575. doi:10.1063/1.1703993
  • Lo, CF (1991). Erzeugen von verschobenen und gequetschten Zahlenzuständen durch einen allgemeinen getriebenen zeitabhängigen Oszillator. Physical Review A, 43(1), 404–409. doi:10.1103/PhysRevA.43.404

Nun meine LaTeX-Datei (ich habe nicht versucht, sie für die vorliegende Anzeige zu bearbeiten, daher kann es sein, dass einige Bemerkungen völlig dumm sind):

Nehmen wir dann an, wir behandeln den folgenden Hamiltonoperator

H = ω A ^ + A ^ + F ( T ) A ^ + + F ( T ) A ^
für jede gegebene Funktion F Und F je nach Zeit und mit A ^ Und A ^ + die Vernichtung und Schöpfung bosonische Frequenz ω Modusoperator. Die unitäre Zeitentwicklung dieses Hamiltonoperators kann gemäß der algebraischen Auflösungsmethode von Lie geschrieben werden H ( T F ) = U ^ + ( T F , T ich ) . H ( T ich ) . U ^ ( T F , T ich ) mit dem Propagator (siehe \cite{Wei1963} für die erste mathematische Behandlung und \cite{Lo1993} für das Beispiel des Quantenoszillators):
U ^ ( T F , T ich ) = e ich A ^ + A ^ ω ( T F T ich ) e A ^ + a ( T F , T ich ) e A ^ a ( T F , T ich ) e | a ( T F , T ich ) | 2 / 2 e γ ( T F , T ich )
mit
a ( T F , T ich ) = T ich T F F ( T ) e ich ω T D T ich  Und  γ ( T F , T ich ) = ich T ich T F Ich bin { a ( τ ) τ a ( τ ) } D τ
als zwei Parameter für die einheitliche Transformation wirken.

Beachten Sie nun den besonderen Fall, wenn beides der Fall ist T ich Und T F gegen unendlich streben, γ ( T F , T ich ) Durchschnitte auf Null und :

U ^ ( + , ) = e A ^ + a e A ^ a e | a | 2 / 2 = e A ^ + a A ^ a = D ^ ( a )
Wo a = F ( ω ) / ich ist der ω Komponente der Fourier-Transformation von F ( T ) , geteilt durch die Größe der Quantenbox . Die einheitliche Evolution eines von einer klassischen Kraft angetriebenen Quantensystems entspricht somit dem Verschiebungsoperator kohärenter Zustände, wie er in \cite{Carruthers1965} zu finden ist. Dann wandelt sich der harmonische Monomode-Quantenoszillator für eine ausreichend lange Wechselwirkungszeit in den quasi-klassischen Oszillator um.

Beweis mit der Methode der Lie-Algebra

Zuerst, schreiben Sie den Hamiltonian neu H als

H ( T ) = A 0 A ^ + A ^ + A + ( T ) A ^ + + A ( T ) A ^
Wo A 0 ist nicht zeitabhängig. Beachten Sie dann, dass die Operatoren 1 ^ , A ^ + A ^ , A ^ + Und A ^ bilden eine geschlossene Algebra im Lie sens, \emph{ie} bzgl. ihrer Kommutatoren :
[ A ^ + A ^ , A ^ + ] = A ^ +   ;   [ A ^ + A ^ , A ^ ] = A ^   ;   [ A ^ , A ^ + ] = 1 ^
Beachten Sie dann, dass die Schr\"{o}dinger-Gleichung
H ( T ) | Ψ ( T ) = ich T | Ψ ( T ) | Ψ ( T ) = U ^ ( T ) | Ψ ( 0 )
akzeptiere den unitären Operator U ^ ( T ) als zeitabhängige Lösung mit U ^ ( 0 ) = 1 ^ . Damit haben wir folgende Gleichung:
H ( T ) U ^ ( T ) = ich T U ^ ( T ) H ( T ) = ich U T U + ( T )
entspricht dem Schr\"{o}dinger. Der zweite Ausdruck ergibt sich aus dem ersten durch Multiplikation mit U + auf der rechten Seite. Nun, weil alle Operatoren in erscheinen H ( T ) bilden eine Lie-Algebra, die allgemeine Form von U ^ ( T ) Ist :
U ^ ( T ) = e a 0 ( T ) A ^ + A ^ e a + ( T ) A ^ + e a ( T ) A ^ e a ( T ) 1 ^
wo die Funktionen a ( T ) , a 0 ( T ) , a + ( T ) Und a ( T ) müssen gefunden werden. Seien Sie vorsichtig, diese a hat nichts damit zu tun a im Haupttext definiert. Dazu berechnen wir zunächst
U ^ T U ^ + = [ a 0 T A ^ + A ^ + a T ] + a 0 T e a 0 ( T ) A ^ + A ^ A ^ + e a 0 ( T ) A ^ + A ^ + a T e a 0 ( T ) A ^ + A ^ e a + ( T ) A ^ + A ^ e a + ( T ) A ^ + e a 0 ( T ) A ^ + A ^ = [ A ^ + A ^ a 0 T + a T + A ^ + a + T e a 0 ( T ) a + ( T ) a T + A ^ a T e a 0 ( T ) ]
mit Hilfe der folgenden Beziehungen:
e λ A ^ + A ^ A ^ = A ^ e λ A ^ + A ^ e λ   ;   e λ A ^ + A ^ A ^ + = A ^ + e λ A ^ + A ^ e λ  Und  e λ A ^ + A ^ = ( A ^ λ ) e λ A ^ +
plus die Definition des einheitlichen Operators U U + = 1 ^ . Wir können äquivalent das bekannte Hadamard-Lemma verwenden, das dies besagt
e S ^ A ^ e S ^ = A ^ + [ S ^ , A ^ ] + 1 2 ! [ S ^ , [ S ^ , A ^ ] ] + 1 3 ! [ S ^ , [ S ^ , [ S ^ , A ^ ] ] ] +
und die Vertauschungsbeziehungen. Normalerweise ist diese Methode für einfache Gruppen schneller, da die Reihe nach wenigen Iterationen nur Nullkomponenten enthält. Injektion der oben ( U ^ / T ) U + in die Schr\"{o}dinger-Gleichung H ( T ) = ich ( U ^ / T ) U + , wir haben :
{ ich a ˙ 0 = A 0 a ˙ a + ( T ) a ˙ = 0 ich a ˙ e a 0 ( T ) = A ( T ) ich a ˙ + e a 0 ( T ) = A + ( T ) { a 0 = A 0 ( T T ich ) / ich a ( T ) = T ich T A ( τ ) e A 0 τ D τ ich a + ( T ) = T ich T A + ( τ ) e A 0 τ D τ ich
Wo a ˙ 0 = a 0 / T , a ˙ = ... und jeden Operator auf jeder Seite der Schr\"{o}dinger-Gleichung mit sich selbst gleichzusetzen. Das haben wir angenommen T ich ist die anfängliche Zeit, wo a 0 ( T = T ich ) = 0 , a ( T ich ) = 0 , ... weil der unitäre Evolutionsoperator verifizieren muss U ^ ( T = 0 ) = U ^ ( T , T ) = 1 ^ , zum einmaligen Mal U ^ ( T ) oder die zwei mal U ^ ( T ich , T F ) Einheitlicher Evolutionsoperator. Lassen Sie uns nun den Phasenfaktor finden a ( τ ) . Aufgrund einer partiellen Integration gilt:
a ( T ) = T ich T a + ( τ ) a ˙ ( τ ) D τ = [ a + ( T ) a ( T ) ] T ich T T ich T a ˙ + ( τ ) a ( τ ) D τ = T ich T a + ( T ) a ˙ ( T ) a ˙ + ( T ) a ( T ) 2 D T + 1 2 [ a + ( T ) a ( T ) ] T ich T
für eine bequemere Form. Wenn diese letzte Form möglicherweise komplexer ist als die vorherigen, scheint sie in unserem Fall einfacher zu bewerten, weil a ( T ) = a + ( T ) (Dies gilt, solange das gewählte Hamiltonien hermitisch ist), so dass:
a ( T ) = ich T ich T Ich bin { a + ( τ ) a ˙ + ( τ ) } D τ 1 2 [ | a + ( τ ) | 2 ] T ich T
Dies ist die Form, die im Haupttext verwendet wird. Nun, weil T ich ist die Anfangszeit, a + ( T ich ) = 0 , und somit [ | a + ( τ ) | 2 ] T  ich T = | a + ( T ) | 2 . Beachten Sie, dass der vorherige Ausdruck nur eine von mehreren Ausdrucksmöglichkeiten ist a ( T ) . Wir haben im Allgemeinen
a ( T ) = a + D a + = a D a = a D a + | a | 2 = a + D a + | a + | 2
für diesen Phasenterm.

Vielen Dank für diese wundervolle Antwort, aber Olafs Antwort war näher an dem, was ich brauchte
@ Caloric Kein Problem. Die vollständige einheitliche Evolution kann für jemand anderen hilfreich sein. Danke für deine interessante Frage.