Arbitrary harmonic functions as Bose--Einstein condensates

Technische Samenvatting: Willekeurige harmonische functies als Bose–Einsteincondensaten

Probleemstelling
Het artikel onderzoekt de aard van Bose–Einsteincondensaten (BEC's) die kunnen ontstaan in de thermodynamische limiet van een ideaal Bose-gas wanneer de randvoorwaarden voor de Laplaciaan op de domeingrens vrij gekozen kunnen worden. Hoewel eerdere observaties (bijv. in [5]) aangaven dat oneindige volume-ideale Bose-gassen vele verschillende KMS-toestanden toelaten, gekenmerkt door willekeurige positieve sesquilineaire vormen in de tweepuntfunctie — wat overeenkomt met harmonische functies die condensaten beschrijven — bleef het een open vraag of dergelijke toestanden rigoureus verkregen konden worden via de standaard thermodynamische limietprocedure (het nemen van de limiet van Gibbs-toestanden van eindige volume-systemen). Bovendien was de mogelijkheid om condensaten te realiseren die beschreven worden door willekeurige harmonische functies, of meerdere condensaten tegelijkertijd, via specifieke randvoorwaarden, nog niet vastgesteld, hoewel niet-translatie-invariante KMS-toestanden met lineaire condensaten wel bekend waren [6].

Methodologie
De auteurs pakken dit probleem aan door een specifieke sequentie van positieve zelfadjuncte realisaties van de Laplaciaan te construeren, aangeduid als $-\Delta_{\Omega_j}^\Phi$, op een sequentie van begrensde domeinen $\Omega_j \subset \mathbb{R}^d$ die $\mathbb{R}^d$ uitputten.

1. Constructie van de Operator:
   De kern van de methodologie betreft het definiëren van de inverse van de Laplaciaan op een domein $\Omega$ via een perturbatie van de Dirichlet-Laplaciaan inverse. Gegeven een sequentie van harmonische functies $\Phi = \{\phi_k\}_k$ op $\mathbb{R}^d$ die voldoet aan $\sum_k |\phi_k(x)|^2 < \infty$, wordt de operator gedefinieerd als:
   $$(-\Delta_{\Omega}^\Phi)^{-1} := \left( (-\Delta_{\Omega}^0)^{-1} + \sum_k |\chi_\Omega \phi_k\rangle \langle \phi_k \chi_\Omega| \right)^{-1}$$
   waarbij $-\Delta_{\Omega}^0$ de Dirichlet-Laplaciaan is en $\chi_\Omega$ de karakteristieke functie van $\Omega$. Deze constructie waarborgt dat de nieuwe operator een positieve zelfadjuncte extensie is van de Laplaciaan op $C_0^\infty(\Omega)$.

2. Randvoorwaarden:
   De auteurs leiden de expliciete randvoorwaarden af die bij deze operator horen. Ze tonen aan dat functies in het domein van $-\Delta_{\Omega}^\Phi$ voldoen aan een gegeneraliseerde Robin-type randvoorwaarde die de Dirichlet-tot-Neumann operator $H_\Omega$ en een specifieke operator $r_\Omega^\Phi$ bevat die bepaald wordt door de harmonische functies $\phi_k$. Specifiek is de normale afgeleide $\partial_n f$ op de rand gerelateerd aan de randwaarden van $f$ en de projectie van $f$ op de span van de harmonische functies.

3. Convergentieanalyse:
   Om de thermodynamische limiet vast te stellen, bewijzen de auteurs een resultaat betreffende sterke resolventconvergentie (Theorema 2). Zij demonstreren dat voor elke sequentie van niet-negatieve zelfadjuncte extensies van de Laplaciaan op domeinen $\Omega_j$ die convergeren naar $\mathbb{R}^d$, de operatoren $F(-\Delta_{\Omega_j})$ sterk convergeren naar $F(-\Delta)$ op $L^2(\mathbb{R}^d)$ voor elke begrensde continue functie $F$. Dit algemene resultaat wordt vervolgens toegepast op de specifieke functie $F(x) = (e^{\beta x} - 1)^{-1} - (\beta x)^{-1}$, die gerelateerd is aan de tweepuntfunctie van het Bose-gas.

Belangrijkste Resultaten
Het hoofdbestanddeel wordt gepresenteerd in Theorema 1. De auteurs bewijzen dat voor elke sequentie van harmonische functies $\Phi = \{\phi_k\}_k$ (die voldoet aan de kwadratische sommatievoorwaarde), er een sequentie van randvoorwaarden bestaat zodanig dat de tweepuntfunctie van het ideale Bose-gas in de thermodynamische limiet convergeert naar:
$$\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)$$
Belangrijke kenmerken van dit resultaat zijn:

• Willekeurige Condensaten: Het systeem ondersteunt een willekeurig aantal (eindig of oneindig) Bose–Einsteincondensaten.
• Harmonische Profielen: Elk condensaat wordt beschreven door een willekeurige harmonische functie $\phi_k$. De dichtheid van de $k$-de condensat is proportioneel aan $|\phi_k(x)|^2$.
• Nul Chemisch Potentieel: Het resultaat geldt bij een chemisch potentieel van nul. De auteurs merken op dat het resultaat zich uitstrekt tot kleine negatieve chemische potentialen die voldoende snel naar nul gaan naarmate het volume toeneemt.
• Dimensionale Beperkingen: In dimensies $d \in \{1, 2\}$ vereist de convergentie de aanvullende aanname dat de Fourier-transformaties van de testfuncties nul zijn bij nul ($\hat{f}(0) = \hat{g}(0) = 0$) om de integreerbaarheid van de vrije gasterm bij lage impulsen te waarborgen.

Betekenis en Claims
Het artikel claimt de vraag te hebben opgelost of de diverse KMS-toestanden die in oneindig volume worden waargenomen, gerealiseerd kunnen worden als limieten van eindige volume Gibbs-toestanden. Door expliciet de randvoorwaarden te construeren, tonen de auteurs aan dat:

1. Het mogelijk is om een systeem te ontwerpen waarbij de condensatiewavefuncties niet beperkt zijn tot constanten of lineaire functies, maar elke willekeurige harmonische functie kunnen zijn.
2. Meerdere condensaten simultaan kunnen coëxisteren in de thermodynamische limiet, een fenomeen dat verschillend is van de "meerdere condensaten" waargenomen in eindige volumes met Dirichlet-randvoorwaarden (waar het effect verdwijnt in de limiet van de tweepuntfunctie).
3. De eigenwaarden van de geconstrueerde Laplaciaanse operatoren moeten afnemen als $(\int_\Omega |\phi_k|^2)^{-1}$ naarmate het domein expandeert, wat ervoor zorgt dat de spectrale projecties geassocieerd met deze kleine eigenwaarden eindige, niet-nul bijdragen leveren aan de condensatiedichtheid in de limiet.

De auteurs houden hun reikwijdte bescheiden en richten zich strikt op de wiskundige existentie van dergelijke toestanden binnen het kader van ideale Bose-gassen en de thermodynamische limiet, zonder experimentele realisaties voor te stellen of de resultaten uit te breiden naar interagerende systemen. Het werk steunt op de spectrale theorie van zelfadjuncte extensies en de convergentie van resolventen om de brug te slaan tussen eindige volume randwaardeproblemen en oneindige volume statistische mechanica.