Large deviation principles for the Gross Pitaevskii Gibbs measure at low temperature
Packer, Seong, Sosoe
We prove the large deviation principle for the conditional Gibbs measure associated with the focusing Gross Pitaevskii equation in the low temperature regime. This conditional measure is of mixed type, being canonical in energy and microcanonical in particle number. In particular, our result extends the large deviation principle for the mixed ensemble studied by Ellis, Jordan, Otto, and Turkington to a more singular setting, where the interaction potential is unbounded and the conditional event involves diverging renormalization constants. As a consequence of the large deviation principle, the Gibbs measure concentrates along the soliton manifold in the low temperature limit.
academic
Große Abweichungsprinzipien für das Gross-Pitaevskii-Gibbs-Maß bei niedriger Temperatur
Dieses Papier beweist das Große-Abweichungs-Prinzip für bedingte Gibbs-Maße, die mit der fokussierenden Gross-Pitaevskii-Gleichung verbunden sind, im Grenzwert niedriger Temperatur. Das bedingte Maß ist gemischter Art, kanonisch in der Energie und mikrokanonisch in der Teilchenzahl. Insbesondere erweitern unsere Ergebnisse das Große-Abweichungs-Prinzip für gemischte Ensembles, das von Ellis, Jordan, Otto und Turkington untersucht wurde, auf eine singularere Einstellung, in der das Wechselwirkungspotential unbegrenzt ist und die bedingten Ereignisse divergierende Renormalisierungskonstanten beinhalten. Als Folge des Große-Abweichungs-Prinzips konzentriert sich das Gibbs-Maß im Grenzwert niedriger Temperatur entlang der Soliton-Mannigfaltigkeit.
Bedeutung der Gross-Pitaevskii-Gleichung: Die Gross-Pitaevskii-Gleichung ist das Kernmodell zur Beschreibung von Bose-Einstein-Kondensaten und hat große physikalische Bedeutung. Die Gleichung hat die Form:
i∂tψ+∂x2ψ−∣x∣2ψ−λ∣ψ∣2ψ=0
mit harmonischem Potential ∣x∣2 und fokussierender Wechselwirkung λ∣ψ∣2ψ.
Konstruktionsschwierigkeiten des Gibbs-Maßes: Im fokussierenden Fall (λ>0) ist das Standard-kanonische Gibbs-Ensemble nicht normalisierbar, da die Partitionsfunktion divergiert. Daher muss ein gemischtes Ensemble verwendet werden, d.h. ein bedingtes Wahrscheinlichkeitsmaß, das kanonisch in der Energie und mikrokanonisch in der Teilchenzahl ist.
Technische Schwierigkeiten: Da das Gauß-Maß des harmonischen Oszillators nicht auf L2(R) konzentriert ist, sondern auf H−η(R)∩Lp(R) (p > 2), ist die L2-Masse fast überall unendlich und erfordert Wick-Renormalisierung.
Erweiterung bestehender Theorien: Die Arbeiten von Ellis et al. behandeln nur begrenzte Wechselwirkungspotentiale und nicht-singuläre Bedingungen. Dieses Papier erweitert dies auf unbegrenzte quartische Wechselwirkungen und singuläre Bedingungen mit unendlichen Renormalisierungskonstanten.
Physikalische Bedeutung: Das Verständnis des makroskopischen Verhaltens des Systems im Grenzwert niedriger Temperatur, insbesondere wie sich das Maß in der Nähe der Soliton-Mannigfaltigkeit konzentriert, ist für das Verständnis der Langzeit-Dynamik von Bose-Einstein-Kondensaten von großer Bedeutung.
Etablierung des Große-Abweichungs-Prinzips: Etablierung eines Große-Abweichungs-Prinzips für gemischte Gibbs-Ensembles in singulären Einstellungen, in denen das Wechselwirkungspotential unbegrenzt ist und bedingte Ereignisse divergierende Renormalisierungskonstanten beinhalten.
Beweis des Konzentrationphänomens: Beweis, dass sich das Gibbs-Maß im Grenzwert niedriger Temperatur mit exponentieller Geschwindigkeit in der Nähe der Soliton-Mannigfaltigkeit konzentriert, d.h. die Grundzustands-Solitonenwelle ist der wahrscheinlichste makroskopische Zustand.
Behandlung von Renormalisierungseffekten: Der Schlüsseltechnische Beitrag ist der Beweis, dass die divergierenden Renormalisierungskonstanten auf der Ebene der Große-Abweichungs-Ratenfunktion verschwinden, so dass das makroskopische Verhalten durch ein sauberes Variationsproblem ohne Renormalisierungseffekte bestimmt wird.
Erweiterung des theoretischen Rahmens: Erweiterung der Große-Abweichungs-Theorie von begrenzten Potentialen auf unbegrenzte Potentiale und von nicht-singulären Bedingungen auf singuläre Bedingungen.
Untersuchung des Große-Abweichungs-Verhaltens des gemischten Gibbs-Maßes:
dρε,rD(ϕ)=ρε,A{ϕ∈B∣Mw(ϕ)∈[D−r,D+r]}
wobei Mw(ϕ)=∫R:∣ϕ∣2:dx die Wick-renormalisierte L2-Masse ist.
Großkanonisches Ensemble: Zunächst wird das großkanonische Gibbs-Maß konstruiert
dρε,A(ϕ)=Zε,A−1exp{−ε1HG(ϕ)}με(dϕ)
wobei HG die großkanonische Hamiltonfunktion mit chemischem Potential A ist.
Bedingte Wahrscheinlichkeit: Definition des gemischten Ensembles durch bedingte Wahrscheinlichkeit unter der Wick-renormalisierten Massenbeschränkung.
Verwendung der Gamma-Konvergenz-Theorie zur Behandlung des Grenzwerts von Variationsproblemen:
FV+f,ε(u)→FV+f,0(u)
wobei der Renormalisierungsterm im Grenzprozess verschwindet.
Verwendung der Boué-Dupuis-Variationsformel zur Darstellung der Laplace-Transformation des Gibbs-Maßes als stochastisches Kontrollproblem:
−εlogEμ[e−ε1F(εϕ)]=infu∈HaE[F(ε1/2W+Z(u))+21∫01∥u(t)∥L22dt]
Etablierung des Große-Abweichungs-Prinzips: Erfolgreicher Beweis des Große-Abweichungs-Prinzips für gemischte Gibbs-Ensembles in singulären Einstellungen mit Ratenfunktion JD(ϕ) und Geschwindigkeit ε>0.
Verschwinden von Renormalisierungseffekten: Beweis, dass obwohl auf der Maßebene divergierende Renormalisierungskonstanten existieren, diese auf der Ebene der Große-Abweichungs-Ratenfunktion verschwinden und das makroskopische Verhalten durch das saubere Variationsproblem infM(ϕ)=DH(ϕ) bestimmt wird.
Exponentielles Konzentrationphänomen: Beweis, dass sich das Maß mit exponentieller Geschwindigkeit e−c(δ)/ε in der Nähe der Soliton-Mannigfaltigkeit MD konzentriert, wobei MD die Familie der Minimierer der Hamiltonfunktion H unter der Beschränkung M(ϕ)=D ist.
Anwendung der Gamma-Konvergenz: Erfolgreiche Anwendung der Gamma-Konvergenz-Methode auf den Fall unbegrenzter Potentiale mit Überwindung technischer Schwierigkeiten.
Kontrolle des thermodynamischen Grenzwerts: Präzise Kontrolle der Reihenfolge der beiden Grenzwerte ε→0 und r→0 mit Beweis des asymptotischen Verhaltens thermodynamischer Funktionen.
Äquivalenz von Variationsproblemen: Beweis der Äquivalenz des komplexen stochastischen Kontrollproblems mit dem klassischen Variationsproblem im Grenzwert-Sinne.
Ellis-Jordan-Otto-Turkington (2004): Etablierung des Große-Abweichungs-Prinzips für gemischte Ensembles im Fall begrenzter Potentiale, erfordert aber ∑λk1<∞, nicht anwendbar auf den harmonischen Oszillator.
Burq-Thomann-Tzvetkov (2013): Konstruktion des Gibbs-Maßes für die fokussierende Gross-Pitaevskii-Gleichung und Beweis seiner Invarianz unter dem deterministischen Fluss.
Bourgain (1994, 1997): Bahnbrechende frühe Arbeiten zu invarianten Maßen für nichtlineare Schrödinger-Gleichungen.
Lebowitz-Rose-Speer (1988): Grundlegende Arbeiten zur statistischen Mechanik nichtlinearer Schrödinger-Gleichungen.
Große-Abweichungs-Prinzip: Im Grenzwert niedriger Temperatur erfüllt das gemischte Gibbs-Maß das Große-Abweichungs-Prinzip mit Ratenfunktion aus dem beschränkten Variationsproblem.
Physikalische Bedeutung: Die Grundzustands-Solitonenwelle ist der wahrscheinlichste makroskopische Zustand, wobei andere Konfigurationen mit exponentieller Geschwindigkeit an Wahrscheinlichkeit verlieren.
Dynamische Implikationen: Da das Gibbs-Maß unter dem Gross-Pitaevskii-Fluss invariant ist, bedeutet das Konzentrationphänomen, dass das Langzeit-Dynamik-Verhalten durch die Grundzustands-Solitonenwelle plus kleine Fluktuationen approximiert werden kann.
Großmassen-Bedingung: Anforderung D≥D∗ zur Sicherung negativer minimaler Energie; die Behandlung kleiner Massen bleibt ein offenes Problem.
Eindimensionale Beschränkung: Ergebnisse gelten nur für den eindimensionalen Fall; die Verallgemeinerung auf höhere Dimensionen stößt auf zusätzliche Schwierigkeiten.
Abhängigkeit vom harmonischen Potential: Das Vorhandensein des harmonischen Potentials ist für die Ergebnisse wesentlich; im translationsinvarianten Fall wird das Maß trivial zu δ0.
Technische Innovation: Erfolgreiche Erweiterung der Große-Abweichungs-Theorie auf neue singuläre Einstellungen mit fortgeschrittenen technischen Methoden.
Mathematische Strenge: Vollständige und strenge Beweise mit Überwindung mehrerer technischer Schwierigkeiten.
Physikalische Relevanz: Ergebnisse sind für das Verständnis von Bose-Einstein-Kondensaten von großer physikalischer Bedeutung.
Methodische Universalität: Die entwickelten Techniken könnten auf andere ähnliche singuläre Wahrscheinlichkeitsmaße anwendbar sein.