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
Principi di grande deviazione per la misura di Gibbs di Gross Pitaevskii a bassa temperatura
Questo articolo dimostra il principio di grande deviazione per le misure di Gibbs condizionate associate all'equazione di Gross-Pitaevskii focalizzante nel limite di bassa temperatura. La misura condizionata è di tipo misto, canonica nell'energia e microcanonica nel numero di particelle. In particolare, i nostri risultati estendono il principio di grande deviazione per gli ensemble misti studiato da Ellis, Jordan, Otto e Turkington a un contesto più singolare, dove il potenziale di interazione è illimitato e l'evento condizionato coinvolge costanti di rinormalizzazione divergenti. Come conseguenza del principio di grande deviazione, la misura di Gibbs si concentra lungo la varietà dei solitoni nel limite di bassa temperatura.
Importanza dell'Equazione di Gross-Pitaevskii: L'equazione di Gross-Pitaevskii è il modello fondamentale per descrivere la condensazione di Bose-Einstein ed ha grande significato fisico. L'equazione assume la forma:
i∂tψ+∂x2ψ−∣x∣2ψ−λ∣ψ∣2ψ=0
dove sono presenti il potenziale armonico ∣x∣2 e l'interazione focalizzante λ∣ψ∣2ψ.
Sfide nella Costruzione della Misura di Gibbs: Nel caso focalizzante (λ>0), l'ensemble canonico standard non è normalizzabile poiché la funzione di partizione diverge. Pertanto è necessario adottare un ensemble misto, cioè una misura di probabilità condizionata che è canonica nell'energia e microcanonica nel numero di particelle.
Difficoltà Tecniche: Poiché la misura gaussiana dell'oscillatore armonico non è supportata su L2(R), ma su H−η(R)∩Lp(R) (p > 2), ciò comporta che la massa in L2 è quasi ovunque infinita, richiedendo rinormalizzazione di Wick.
Estensione della Teoria Esistente: Il lavoro di Ellis e altri affrontava solo potenziali di interazione limitati e condizioni non singolari. Questo articolo estende il risultato a interazioni quartiche illimitate e a condizioni singolari che coinvolgono costanti di rinormalizzazione infinite.
Significato Fisico: Comprendere il comportamento macroscopico del sistema nel limite di bassa temperatura, in particolare come la misura si concentra vicino alla varietà dei solitoni, è di grande importanza per comprendere il comportamento della dinamica a lungo termine della condensazione di Bose-Einstein.
Stabilimento del Principio di Grande Deviazione: Viene stabilito il principio di grande deviazione per l'ensemble di Gibbs misto in un contesto singolare, dove il potenziale di interazione è illimitato e l'evento condizionato coinvolge costanti di rinormalizzazione divergenti.
Dimostrazione del Fenomeno di Concentrazione della Misura: Si dimostra che nel limite di bassa temperatura, la misura di Gibbs si concentra con velocità esponenziale vicino alla varietà dei solitoni, cioè l'onda solitaria dello stato fondamentale è lo stato macroscopico più probabile.
Gestione degli Effetti di Rinormalizzazione: Il contributo tecnico chiave è la dimostrazione che le costanti di rinormalizzazione divergenti a livello di misura scompaiono a livello della funzione di tasso di grande deviazione, cosicché il comportamento macroscopico è determinato dal problema variazionale senza effetti di rinormalizzazione.
Estensione del Quadro Teorico: La teoria della grande deviazione viene estesa da potenziali limitati a potenziali illimitati, da condizioni non singolari a condizioni singolari.
Studio del comportamento di grande deviazione della misura di Gibbs mista:
dρε,rD(ϕ)=ρε,A{ϕ∈B∣Mw(ϕ)∈[D−r,D+r]}
dove Mw(ϕ)=∫R:∣ϕ∣2:dx è la massa in L2 rinormalizzata secondo Wick.
Ensemble Gran-Canonico: Innanzitutto si costruisce la misura di Gibbs gran-canonica
dρε,A(ϕ)=Zε,A−1exp{−ε1HG(ϕ)}με(dϕ)
dove HG è l'hamiltoniana gran-canonica che include il potenziale chimico A.
Probabilità Condizionata: L'ensemble misto viene definito tramite la probabilità condizionata sotto il vincolo della massa rinormalizzata di Wick.
Utilizzo della teoria della convergenza Gamma per affrontare il limite dei problemi variazionali:
FV+f,ε(u)→FV+f,0(u)
dove il termine di rinormalizzazione scompare nel processo limite.
Utilizzo della formula variazionale di Boué-Dupuis per rappresentare la trasformata di Laplace della misura di Gibbs come problema di controllo stocastico:
−εlogEμ[e−ε1F(εϕ)]=infu∈HaE[F(ε1/2W+Z(u))+21∫01∥u(t)∥L22dt]
Teorema 1.2 (Principio di Grande Deviazione): Esiste D∗>0 tale che per ogni D≥D∗, l'ensemble misto ρε,rD soddisfa il principio di grande deviazione:
Stabilimento del Principio di Grande Deviazione: Viene dimostrato con successo il principio di grande deviazione per l'ensemble di Gibbs misto in un contesto singolare, con funzione di tasso JD(ϕ) e velocità ε>0.
Scomparsa degli Effetti di Rinormalizzazione: Si dimostra che sebbene a livello di misura esistano costanti di rinormalizzazione divergenti, questi effetti scompaiono a livello della funzione di tasso di grande deviazione, e il comportamento macroscopico è determinato dal problema variazionale pulito infM(ϕ)=DH(ϕ).
Fenomeno di Concentrazione Esponenziale: Si dimostra che la misura si concentra con velocità esponenziale e−c(δ)/ε vicino alla varietà dei solitoni MD, dove MD è la famiglia dei minimizzatori dell'hamiltoniana H sotto il vincolo M(ϕ)=D.
Applicazione della Convergenza Gamma: Applicazione con successo del metodo della convergenza Gamma al caso di potenziali illimitati, affrontando le difficoltà tecniche.
Controllo del Limite Termodinamico: Controllo preciso dell'ordine dei due limiti ε→0 e r→0, con dimostrazione del comportamento asintotico delle funzioni termodinamiche.
Equivalenza dei Problemi Variazionali: Dimostrazione dell'equivalenza nel senso limite tra il complesso problema di controllo stocastico e il classico problema variazionale.
Ellis-Jordan-Otto-Turkington (2004): Stabilimento del principio di grande deviazione per gli ensemble misti nel caso di potenziale limitato, ma richiedendo ∑λk1<∞, non applicabile al caso dell'oscillatore armonico.
Burq-Thomann-Tzvetkov (2013): Costruzione della misura di Gibbs per l'equazione di Gross-Pitaevskii focalizzante e dimostrazione della sua invarianza sotto il flusso deterministico.
Bourgain (1994, 1997): Lavori pionieristici iniziali sulle misure invarianti per equazioni di Schrödinger non lineari.
Lebowitz-Rose-Speer (1988): Lavoro fondamentale sulla meccanica statistica dell'equazione di Schrödinger non lineare.
Principio di Grande Deviazione: Nel limite di bassa temperatura, la misura di Gibbs mista soddisfa il principio di grande deviazione, con funzione di tasso data dal problema variazionale vincolato.
Significato Fisico: L'onda solitaria dello stato fondamentale è lo stato macroscopico più probabile, e la probabilità di altre configurazioni decade con velocità esponenziale.
Implicazioni Dinamiche: Poiché la misura di Gibbs è invariante sotto il flusso di Gross-Pitaevskii, il fenomeno di concentrazione implica che il comportamento della dinamica a lungo termine può essere approssimato dall'onda solitaria dello stato fondamentale più piccole fluttuazioni.
Condizione di Grande Massa: È richiesto D≥D∗ per garantire che l'energia minima sia negativa; il trattamento del caso di piccola massa rimane un problema aperto.
Restrizione Unidimensionale: I risultati si applicano solo al caso unidimensionale; la generalizzazione a dimensioni superiori affronta difficoltà aggiuntive.
Dipendenza dal Potenziale Armonico: L'esistenza del potenziale armonico è cruciale per i risultati; nel caso invariante per traslazione la misura diventa banale δ0.