Wie fügt man Langevin-Begriffe zum halbklassischen Bose-Hubbard-Modell hinzu?

Ich möchte Langevin-Terme zu den Hamilton-Bewegungsgleichungen des semiklassischen Bose-Hubbard-Modells hinzufügen.

Hier ist, was ich habe:

Ich beginne mit dem Standardbeispiel der Brownschen Bewegung, einem Teilchen in einem Potential. Seine Hamilton-Funktion lautet:

H = 1 2 M P 2 + v ( Q ) ,

Die entsprechenden Hamilton-Bewegungsgleichungen (EoM) lauten:

P ˙ = Q H = Q v ( Q )

Q ˙ = P v ( Q ) = P M

Man kann diese gekoppelten Differentialgleichungen erster Ordnung in eine einzige Differentialgleichung zweiter Ordnung überführen:

Q ¨ = 1 M Q v ( Q )

und schreiben Sie sie um als

M Q ¨ = Q v ( Q ) .

In dieser Form kann man Langevin-Begriffe hinzufügen (siehe Wikipedia-Eintrag zur Langevin-Dynamik ) und man erhält:

M Q ¨ = Q v ( Q ) γ M Q ˙ + 2 γ M k B T ξ ( T ) ,

Wo γ ist die Dämpfung (freier Parameter) und ξ ( T ) ein Delta-korrelierter stationärer Gaußscher Prozess mit Null-Mittelwert, der Folgendes erfüllt:

ξ ( T ich ) ξ ( T J ) = δ ( T ich T J ) .

Um dies numerisch mit einem SDE-Löser (z. B. Heun-Schema) zu lösen, müssen wir dies als System von zwei Differentialgleichungen erster Ordnung schreiben:

P ˙ = 1 M Q v ( Q ) γ Q ˙ + 2 γ M k B T ξ ( T )

Q ˙ = P M

Dasselbe können wir für die erreichen X j -Modell (das dem semiklassischen Bose-Hubbard-Modell, meinem Ziel-Hamiltonian, sehr ähnlich ist). Seine Hamilton-Funktion lautet

H xy = ich J J ich J cos ( θ ich θ J ) + 1 2 U δ N ich 2 ,

wobei die kanonisch konjugierten Variablen die Onsite-Phase sind θ ich und die Dichteschwankungen δ N ich .

Die entsprechenden EoM sind

θ ˙ ich = U δ N ich

δ N ˙ ich = J ( ich ) J ich J Sünde ( θ ich θ J ) .

Formal der Begriff 1 2 U δ N ich 2 ist wie eine kinetische Energie, mit U die Rolle einer inversen Masse spielen. Analog können wir also wie im vorherigen Beispiel Langevin-Terme zur zweiten Gleichung hinzufügen:

δ N ˙ ich = J ( ich ) J ich J Sünde ( θ ich θ J ) γ δ N ˙ ich + 2 γ k B T / U ξ ( T ) .

Was ich gerne hätte, ist ein ähnlicher Ausdruck für das halbklassische Bose-Hubbard-Modell.

Ich beginne mit dem semiklassischen (mit komplexen Zahlen statt Feldoperatoren) Bose-Hubbard-Hamiltonian in kohärenter Zustandsdarstellung,

H BHM ( ψ ich , ψ ich ) = ich J T ich J ( ψ ich ψ J + cc ) + 1 2 U N ich 2 Wo

N ich = ψ ich ψ ich ,

und wandeln Sie diese dann mithilfe von in eine Koordinaten-Impuls-Darstellung um

ψ ich = 1 2 ( Q ich + ich P ich )

ψ ich = 1 2 ( Q ich ich P ich ) ,

H BHM ( Q ich , P ich ) = ich J T ich J 1 2 ( Q ich P J + Q J P ich ) + 1 2 U 1 4 ( Q ich 2 + P ich 2 ) 2

mit EoM:

Q ˙ ich = J ( ich ) T ich J P J + 1 2 U ( Q ich 2 + P ich 2 ) P ich

P ˙ ich = + J ( ich ) T ich J Q J 1 2 U ( Q ich 2 + P ich 2 ) Q ich

Wie addiert man Langevin-Terme richtig?

Update (nach Ted Pudliks Kommentar):

Dem Vorschlag von Ted Pudlik folgend, schreibe ich den semiklassischen Bose-Hubbard-Hamiltonian in Dichte-Phasen-Notation:

H BHM ( N ich , θ ich ) = ich J ( T ich J N ich N J e ich ( θ J θ ich ) + cc ) + 1 2 U ich N ich 2

Die entsprechenden Hamilton-Bewegungsgleichungen lauten:

θ ˙ ich = N ich H BHM ( N ich , θ ich ) = U N ich J ( ich ) ( T ich J N J 2 N ich e ich ( θ J θ ich ) + cc )

N ich ˙ = θ ich H BHM ( N ich , θ ich ) = J ( ich ) ( ich T ich J N ich N J e ich ( θ J θ ich ) + cc )

Wie im XY-Modell füge ich der Ableitung der Dichte (nicht der Phase, wie zuvor angegeben - siehe Kommentar unten) die folgenden Terme hinzu:

γ N ich + 2 γ k B T / U ξ ( T )

wo ich wähle γ nach meinen Bedürfnissen (zB kleiner als kleinste Eigenfrequenz des Systems oder überdämpft).

Worüber ich mir noch Sorgen mache ist die 1 2 N ich Term in der Phasenableitung: Wenn die Onsite-Dichte im Vergleich zu ihrem Nachbarn sehr gering ist, divergiert dieser Term. Das ist beispielsweise in der thermischen Wolke eines ultrakalten Gases in einer harmonischen Falle der Fall.

Gibt es eine Möglichkeit, das EoM einschließlich der Langevin-Terme in umzuwandeln? ( Q , P ) -Vertretung bzw ( R e , ICH M ) -Vertretung, um dies zu vermeiden?

Ich denke, die Koordinaten-Impuls-Darstellung ist nicht der richtige Weg: Führen Sie stattdessen eine Amplituden-Phasen-Zerlegung durch ( ψ ich = N ich exp ( ϕ ich ) , mit N ich , ϕ ich real). Sie erhalten dann einen Hamilton-Operator wie beim xy-Modell und können auf die gleiche Weise Langevin-Terme hinzufügen. Die Amplituden-Phasen-Zerlegung ist ebenfalls kanonisch ( SE-Frage ).
Vielen Dank für Ihren Vorschlag. Es war sehr hilfreich. Ich habe meine Frage bearbeitet, weil es in der Dichtephasendarstellung beim Aufschreiben der Bewegungsgleichungen einen abweichenden Begriff gibt.
Sie fügen den Langevin-Term hinzu N ich ˙ , nicht auf die Phasenableitung θ ich ˙ , Rechts?
Die Divergenz der Phasenableitung als N ich 0 spiegelt die physikalische Tatsache wider, dass die Phase eines leeren Modus nicht wohldefiniert ist. Beachten Sie auch, dass die semiklassische Näherung nur im Grenzbereich großer Besetzungszahlen gültig ist: Wenn die Standortdichte sehr gering ist, ist dies nicht das richtige Modell!
Danke, das ist ein Punkt, an den ich nicht gedacht hatte. In einem typischen optischen Gitteraufbau, der eine harmonische Falle beinhaltet, scheinen die Dichten im Zentrum – dem Kondensatanteil – hoch genug zu sein, um die Verwendung eines halbklassischen Modells zu rechtfertigen, aber außerhalb in der thermischen Wolke sind sie nicht mehr so ​​hoch. Wenn die thermischen Schwankungen jedoch hoch genug sind, kann man hoffen, dass sie alle Quanteneffekte zerstören, die nicht vom Modell erfasst werden. Um numerische Probleme zu vermeiden, wäre es schön, keinen Term zu haben, der plötzlich sehr groß werden könnte.

Antworten (1)

Ich habe ein wenig in der Literatur gestöbert und festgestellt, dass diese Formulierung (halbklassische Dissipation nach Bose-Hubbard plus Langevin-Typ) schon einmal untersucht wurde. Hier ist die relevante Referenz: http://arxiv.org/abs/1304.5071 . Sie versuchen, ihre Gleichung (9) abzuleiten. Sie haben es wahrscheinlich übersehen, weil sie ihr Modell als diskrete nichtlineare Schrödinger-Gleichung bezeichnen, aber dies ist ein anderer Name für denselben Hamilton-Operator (wie z. B. in diesem Artikel erwähnt ) .

In Ihrer Notation lautet ihr Ergebnis (unter der Annahme aller Sprünge T ich J = T der Einfachheit halber),

ich D ψ ich D T = ( 1 + ich γ ) ( U | ψ ich | 2 ψ ich T ( ψ ich + 1 + ψ ich 1 ) ) + ich γ μ ψ ich + γ T ξ ich ( T )

Anhang A enthält eine Ableitung dieser Gleichung für einen beliebigen Hamilton-Operator. Ich habe es nicht genau genug gelesen, um zu garantieren, dass es korrekt ist, aber das Ergebnis sieht vernünftig aus.

Im Gegensatz zur Amplituden-Phasen-Formulierung sollte diese hier keine unangenehmen Abweichungen für fast leere Standorte liefern.

BEARBEITEN: Wie wir in den Kommentaren besprochen haben, bin ich mir bei den Minuszeichen in dieser Gleichung nicht sicher - so wie es aussieht, werden die Brunnenpopulationen positiv auseinander gehen γ ! Ich denke, die Gleichung sollte vielleicht lauten,

ich D ψ ich D T = ( 1 + ich γ ) ( U | ψ ich | 2 ψ ich T ( ψ ich + 1 + ψ ich 1 ) ) ich γ μ ψ ich + γ T ξ ich ( T )

Oder vielleicht ist das die Idee μ > 0 bedeutet, dass das Reservoir ein höheres chemisches Potential hat, sodass immer wieder Partikel in das System gelangen? Ich würde die Autoren per E-Mail nach diesen Zeichenproblemen fragen, ich kann mich nicht ganz damit befassen. Verzeihung!

Es kam mir gar nicht in den Sinn, nach dem NLSE zu suchen. Ich verbinde es irgendwie mit Photonik und kontinuierlichen Systemen (Gross-Pitaevskii-Gleichung). Die obige Gleichung scheint zu funktionieren (Integration ist stabil), nachdem die Anmeldung geändert wurde ( 1 + ich γ ) Zu ( 1 ich γ ) . Ich denke, das liegt daran, dass sie in der Zeitung nicht die Konvention akzeptieren, dass der Tunnelbegriff ein negatives Vorzeichen hat. Auch die Herleitung im Anhang ist sehr aufschlussreich. Vielen Dank für deine Hilfe!
Das Zeichen der ich γ μ ψ ich Term sollte vielleicht auch negativ sein. Im Allgemeinen ist die in diesem Artikel verwendete Vorzeichenkonvention für mich etwas verwirrend. (Sollte die Bewegungsgleichung nicht sein ich z ich ˙ = H / z ich ? Sie haben ein zusätzliches Minuszeichen.) Aber es ist eindeutig eine relevante Referenz! Ich empfehle Ihnen, eine E-Mail an die Autoren zu senden und zu fragen, ob Ihre Übersetzung ihrer Gleichung in Ihre Notation korrekt ist oder ob es Vorzeichenprobleme gibt.