Ausdruck in geschlossener Form für den Dichteoperator für den harmonischen Oszillator im thermischen Gleichgewicht

Ich suche eine geschlossene Form des Dichteoperators des harmonischen Quantenoszillators im thermischen Gleichgewicht, vorzugsweise in Ortsdarstellung. Ich bin mir ziemlich sicher, dass es wie ein kohärenter Zustand aussieht, aber ich konnte es in keinem meiner Bücher oder Online-Quellen finden, die ich überflogen habe. Wenn ich mich gut erinnere, gibt es dafür auch eine Wigner-Funktion in geschlossener Form, also würde ich erwarten, dass es auch eine einfache reine Positionsdarstellung gibt. Aber bitte informieren Sie mich, wenn ich falsch liege, wenn es kein geschlossenes Formular gibt.

Eine kurze Ableitung ist auch willkommen.

BEARBEITEN

Ich habe aufgeschrieben, was ich geschafft habe. Der Dichteoperator für ein kanonisches Ensemble mit β = 1 k B T sollte sein ρ ^ = exp ( β H ^ ) .Mit der Identitätsauflösung können wir es schreiben als

ρ ^ = exp ( β H ^ ) N = 0 | N N | = N = 0 exp ( β E N ) | N N | = N = 0 exp ( β ( 1 2 ω ( N + 1 ) ) ) | N N |
Die Eigenfunktionen des harmonischen Oszillators sind
X | N = ϕ N ( X ) = 1 2 N N ! ( M ω π ) 1 4 exp ( M ω X 2 2 ) H N ( M ω X )

Die Positionsdarstellung des Dichteoperators ist dann

X | ρ ^ | X ' = N = 0 exp ( β ( 1 2 ω ( N + 1 ) ) ) X | N N | X ' = N = 0 exp ( β ( 1 2 ω ( N + 1 ) ) ) ϕ N ( X ) ϕ N ( X ' )
Kann diese Summe vereinfacht werden?

Was sind deine bisherigen Versuche? Wissen Sie, wie man den Dichteoperator für das kanonische Ensemble in Bezug auf die Eigenzustände des harmonischen Quantenoszillators schreibt? Dann könnte man die Ortsdarstellung des Dichteoperators leicht in Form der Ortsdarstellung der Eigenzustände des harmonischen Quantenoszillators schreiben. Es ist dann möglich, einen geschlossenen Ausdruck abzuleiten.
@Jakob Ich habe die Frage aktualisiert.
Sieht richtig aus (abgesehen von der Normalisierung des Dichteoperators, also dem Faktor 1 / Z wird vermisst. Dann können Sie die Gleichung verwenden, die @mike stone gegeben hat. Eine detaillierte Herleitung findet sich auch hier in Abschnitt 5.4.3.
Dieser Link war sehr hilfreich und enthielt alles, was ich wollte.

Antworten (2)

Wenn du schreiben willst exp { β H ^ } in geschlossener Form in der Ortsdarstellung kann man die Mehlersche Formel verwenden :

N = 0 S N φ N ( X ) φ N ( j ) = 1 π ( 1 S 2 ) exp { 4 X j S ( X 2 + j 2 ) ( 1 + S 2 ) 2 ( 1 S 2 ) } , 0 | S | < 1.
mit
S = e β ( N + 1 / 2 ) .
Hier
φ N ( X ) 1 2 N N ! π H N ( X ) e X 2 / 2
ist die normalisierte Wellenfunktion des harmonischen Oszillators. Ich habe die Frequenz der Einfachheit halber auf Eins gesetzt, aber es ist leicht, sie auf willkürlich zu verallgemeinern ω .

Der Vollständigkeit halber und zum späteren Nachschlagen füge ich hier das eigentliche Ergebnis hinzu. Die Ableitung erfordert neben der Auswertung der Summe auch eine ziemliche Menge an hyperbolischer trigonometrischer Funktionsmanipulation. Hier ist es,

ρ ( X , X ' ) X | ρ ^ | X ' = X | exp ( β H ^ ) | X ' Z = 1 N = 0 exp ( β E N ) N ϕ N ( X ) ϕ N ( X ' ) exp ( β E N ) = M ω π Tanh ( 1 2 β ω ) × exp ( M ω 4 ( ( X + X ' ) 2 Tanh ( 1 2 β ω ) + ( X X ' ) 2 coth ( 1 2 β ω ) ) )

Beachten Sie, dass dies ρ ^ unterscheidet sich von der Definition in meiner Frage und enthält jetzt die Partitionsfunktion, die in der ursprünglichen Frage fehlt.

Eine Quelle mit einigermaßen nachvollziehbarer Herleitung findet sich in

https://www.hep.phy.cam.ac.uk/theory/webber/tp2_06.pdf , Zugriff am 13.04.2021.

Das Endergebnis wird auch in einer Übung im Buch wiedergegeben

Quantenoptik im Phasenraum, Wolfgang P. Schleich, Erstausgabe, Seite 64, Aufgabe 2.6.