Arbitrary harmonic functions as Bose--Einstein condensates

Sintesi Tecnica: Funzioni Armoniche Arbitrarie come Condensati di Bose–Einstein

Enunciato del Problema
Il saggio investiga la natura dei condensati di Bose–Einstein (BEC) che possono originarsi nel limite termodinamico di un gas di Bose ideale quando le condizioni al contorno per il Laplaciano sul bordo del dominio sono scelte liberamente. Sebbene osservazioni precedenti (ad es. in [5]) avessero indicato che i gas di Bose ideali a volume infinito ammettono molti diversi stati KMS caratterizzati da forme sesquilinee positive nella funzione a due punti — corrispondenti a funzioni armoniche che descrivono i condensati — rimaneva aperto il quesito se tali stati potessero essere ottenuti rigorosamente tramite la procedura standard del limite termodinamico (prendendo il limite degli stati di Gibbs di sistemi a volume finito). Inoltre, mentre erano noti stati KMS non invarianti per traslazione con condensati lineari [6], la possibilità di realizzare condensati descritti da arbitrarie funzioni armoniche, o più condensati simultaneamente, attraverso specifiche condizioni al contorno non era stata stabilita.

Metodologia
Gli autori affrontano questo problema costruendo una specifica sequenza di realizzazioni auto-aggiunte positive del Laplaciano, denotata con $-\Delta_{\Omega_j}^\Phi$, su una sequenza di domini limitati $\Omega_j \subset \mathbb{R}^d$ che esauriscono $\mathbb{R}^d$.

1. Costruzione dell'Operatore:
   Il nucleo della metodologia consiste nel definire l'inverso del Laplaciano su un dominio $\Omega$ tramite una perturbazione dell'inverso del Laplaciano di Dirichlet:
   $$(-\Delta_{\Omega}^\Phi)^{-1} := \left( (-\Delta_{\Omega}^0)^{-1} + \sum_k |\chi_\Omega \phi_k\rangle \langle \phi_k \chi_\Omega| \right)^{-1}$$
   dove $-\Delta_{\Omega}^0$ è il Laplaciano di Dirichlet e $\chi_\Omega$ è la funzione caratteristica di $\Omega$. Questa costruzione assicura che il nuovo operatore sia un'estensione auto-aggiunta positiva del Laplaciano su $C_0^\infty(\Omega)$.

2. Condizioni al Contorno:
   Gli autori derivano le esplicite condizioni al contorno associate a questo operatore. Essi dimostrano che le funzioni nel dominio di $-\Delta_{\Omega}^\Phi$ soddisfano una condizione al contorno di tipo Robin generalizzata che coinvolge l'operatore di Dirichlet-to-Neumann $H_\Omega$ e un operatore specifico $r_\Omega^\Phi$ determinato dalle funzioni armoniche $\phi_k$. Nello specifico, la derivata normale $\partial_n f$ sul bordo è correlata ai valori al contorno di $f$ e alla proiezione di $f$ sullo span delle funzioni armoniche.

3. Analisi della Convergenza:
   Per stabilire il limite termodinamico, gli autori dimostrano un risultato di convergenza forte del risolvente (Teorema 2). Essi dimostrano che per ogni sequenza di estensioni auto-aggiunte non negative del Laplaciano su domini $\Omega_j$ che convergono a $\mathbb{R}^d$, gli operatori $F(-\Delta_{\Omega_j})$ convergono fortemente a $F(-\Delta)$ su $L^2(\mathbb{R}^d)$ per ogni funzione continua limitata $F$. Questo risultato generale viene poi applicato alla funzione specifica $F(x) = (e^{\beta x} - 1)^{-1} - (\beta x)^{-1}$, che si relaziona alla funzione a due punti del gas di Bose.

Risultati Chiave
Il risultato principale è presentato nel Teorema 1. Gli autori dimostrano che per ogni sequenza di funzioni armoniche $\Phi = \{\phi_k\}_k$ (soddisfacendo la condizione di sommabilità al quadrato), esiste una sequenza di condizioni al contorno tale che la funzione a due punti del gas di Bose ideale nel limite termodinamico converge a:
$$\lim_{j\to\infty} \left\langle f \left| \frac{1}{e^{-\beta \Delta_{\Omega_j}^\Phi} - 1} \right| g \right\rangle = \int_{\mathbb{R}^d} \frac{\hat{f}(p)\overline{\hat{g}(p)}}{e^{\beta|p|^2} - 1} dp + \frac{1}{\beta} \sum_k \left( \int_{\mathbb{R}^d} f \phi_k \right) \left( \int_{\mathbb{R}^d} \overline{g \phi_k} \right)$$
Le caratteristiche chiave di questo risultato includono:

• Condensati Arbitrari: Il sistema supporta un numero arbitrario (finito o infinito) di condensati di Bose–Einstein.
• Profili Armonici: Ogni condensato è descritto da una funzione armonica arbitraria $\phi_k$. La densità del $k$-esimo condensato è proporzionale a $|\phi_k(x)|^2$.
• Potenziale Chimico Zero: Il risultato è valido a potenziale chimico nullo. Gli autori osservano che il risultato si estende a piccoli potenziali chimici negativi che scompaiono sufficientemente velocemente all'aumentare del volume.
• Vincoli Dimensionali: Nelle dimensioni $d \in \{1, 2\}$, la convergenza richiede l'assunzione aggiuntiva che le trasformate di Fourier delle funzioni di test si annullino a zero ($\hat{f}(0) = \hat{g}(0) = 0$) per garantire l'integrabilità del termine del gas libero a bassi momenti.

Significatività e Rivendicazioni
Il saggio sostiene di risolvere la questione se i diversi stati KMS osservati in volume infinito possano essere realizzati come limiti di stati di Gibbs a volume finito. Costruendo esplicitamente le condizioni al contorno, gli autori mostrano che:

1. È possibile ingegnerizzare un sistema in cui le funzioni d'onda dei condensati non sono limitate a costanti o funzioni lineari, ma possono essere qualsiasi funzione armonica.
2. Più condensati possono coesistere nel limite termodinamico, un fenomeno distinto dai "multipli condensati" osservati in volumi finiti con condizioni al contorno di Dirichlet (dove l'effetto svanisce nel limite della funzione a due punti).
3. Gli autovalori dei Laplaciani costruiti devono decrescere come $(\int_\Omega |\phi_k|^2)^{-1}$ man mano che il dominio si espande, garantendo che le proiezioni spettrali associate a questi piccoli autovalori producano contributi finiti e non nulli alla densità del condensato nel limite.

Gli autori mantengono un ambito modesto, concentrandosi strettamente sull'esistenza matematica di tali stati all'interno del quadro dei gas di Bose ideali e del limite termodinamico, senza proporre realizzazioni sperimentali o estendere i risultati a sistemi interagenti. Il lavoro si basa sulla teoria spettrale delle estensioni auto-aggiunte e sulla convergenza dei risolventi per colmare il divario tra i problemi al contorno a volume finito e la meccanica statistica a volume infinito.