Arbitrary harmonic functions as Bose--Einstein condensates

Resumen Técnico: Funciones Armónicas Arbitrarias como Condensados de Bose–Einstein

Planteamiento del Problema
El artículo investiga la naturaleza de los condensados de Bose–Einstein (BEC, por sus siglas en inglés) que pueden surgir en el límite termodinámico de un gas de Bose ideal cuando las condiciones de contorno para el Laplaciano en el límite del dominio se eligen libremente. Mientras que observaciones previas (por ejemplo, en [5]) indicaron que los gases de Bose ideales de volumen infinito admiten muchos estados KMS diferentes caracterizados por formas sesquilineales positivas arbitrarias en la función de correlación de dos puntos —que corresponden a funciones armónicas que describen condensados—, seguía siendo una cuestión abierta si tales estados podían obtenerse rigurosamente mediante el procedimiento estándar del límite termodinámico (tomando el límite de los estados de Gibbs de sistemas de volumen finito). Además, aunque se conocían estados KMS no invariantes por traslación con condensados lineales [6], no se había establecido la posibilidad de realizar condensados descritos por funciones armónicas arbitrarias, o múltiples condensados simultáneamente, a través de condiciones de contorno específicas.

Metodología
Los autores abordan este problema construyendo una secuencia específica de realizaciones autoadherentes positivas del Laplaciano, denotadas como $-\Delta_{\Omega_j}^\Phi$, en una secuencia de dominios acotados $\Omega_j \subset \mathbb{R}^d$ que agotan $\mathbb{R}^d$.

1. Construcción del Operador:
   El núcleo de la metodología consiste en definir la inversa del Laplaciano en un dominio $\Omega$ mediante una perturbación de la inversa del Laplaciano de Dirichlet. Dada una secuencia de funciones armónicas $\Phi = \{\phi_k\}_k$ en $\mathbb{R}^d$ que satisfacen $\sum_k |\phi_k(x)|^2 < \infty$, el operador se define como:
   $$(-\Delta_{\Omega}^\Phi)^{-1} := \left( (-\Delta_{\Omega}^0)^{-1} + \sum_k |\chi_\Omega \phi_k\rangle \langle \phi_k \chi_\Omega| \right)^{-1}$$
   donde $-\Delta_{\Omega}^0$ es el Laplaciano de Dirichlet y $\chi_\Omega$ es la función característica de $\Omega$. Esta construcción asegura que el nuevo operador sea una extensión autoadherente positiva del Laplaciano en $C_0^\infty(\Omega)$.

2. Condiciones de Contorno:
   Los autores derivan las condiciones de contorno explícitas asociadas con este operador. Demuestran que las funciones en el dominio de $-\Delta_{\Omega}^\Phi$ satisfacen una condición de contorno de tipo Robin generalizada que involucra al operador de Dirichlet-a-Neumann $H_\Omega$ y un operador específico $r_\Omega^\Phi$ determinado por las funciones armónicas $\phi_k$. Específicamente, la derivada normal $\partial_n f$ en la frontera está relacionada con los valores de frontera de $f$ y la proyección de $f$ sobre el subespacio generado por las funciones armónicas.

3. Análisis de Convergencia:
   Para establecer el límite termodinámico, los autores demuestran un resultado de convergencia de resolventes fuertes (Teorema 2). Demuestran que para cualquier secuencia de extensiones autoadherentes no negativas del Laplaciano en dominios $\Omega_j$ que convergen a $\mathbb{R}^d$, los operadores $F(-\Delta_{\Omega_j})$ convergen fuertemente a $F(-\Delta)$ en $L^2(\mathbb{R}^d)$ para cualquier función continua acotada $F$. Este resultado general se aplica luego a la función específica $F(x) = (e^{\beta x} - 1)^{-1} - (\beta x)^{-1}$, que se relaciona con la función de correlación de dos puntos del gas de Bose.

Resultados Clave
El resultado principal se presenta en el Teorema 1. Los autores prueban que para cualquier secuencia de funciones armónicas $\Phi = \{\phi_k\}_k$ (que satisfacen la condición de sumabilidad cuadrática), existe una secuencia de condiciones de contorno tal que la función de correlación de dos puntos del gas de Bose ideal en el límite termodinámico 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)$$
Las características clave de este resultado incluyen:

• Condensados Arbitrarios: El sistema soporta un número arbitrario (finito o infinito) de condensados de Bose–Einstein.
• Perfiles Armónicos: Cada condensado está descrito por una función armónica arbitraria $\phi_k$. La densidad del $k$-ésimo condensado es proporcional a $|\phi_k(x)|^2$.
• Potencial Químico Cero: El resultado se mantiene a potencial químico cero. Los autores señalan que el resultado se extiende a potenciales químicos ligeramente negativos que se desvanecen suficientemente rápido a medida que el volumen aumenta.
• Restricciones Dimensionales: En dimensiones $d \in \{1, 2\}$, la convergencia requiere la suposición adicional de que las transformadas de Fourier de las funciones de prueba se anulan en cero ($\hat{f}(0) = \hat{g}(0) = 0$) para asegurar la integrabilidad del término del gas libre en momentos bajos.

Significado y Reivindicaciones
El artículo afirma resolver la cuestión de si los diversos estados KMS observados en volumen infinito pueden realizarse como límites de estados de Gibbs de volumen finito. Al construir explícitamente las condiciones de contorno, los autores muestran que:

1. Es posible diseñar un sistema donde las funciones de onda de los condensados no estén restringidas a constantes o funciones lineales, sino que puedan ser cualquier función armónica.
2. Múltiples condensados pueden coexistir en el límite termodinámico, un fenómeno distinto de los "múltiples condensados" observados en volúmenes finitos con condiciones de contorno de Dirichlet (donde el efecto desaparece en el límite de la función de correlación de dos puntos).
3. Los autovalores de los Laplacianos construidos deben disminuir como $(\int_\Omega |\phi_k|^2)^{-1}$ a medida que el dominio se expande, asegurando que las proyecciones espectrales asociadas con estos autovalores pequeños produzcan contribuciones finitas y no nulas a la densidad del condensado en el límite.

Los autores mantienen un alcance modesto, centrándose estrictamente en la existencia matemática de tales estados dentro del marco de los gases de Bose ideales y el límite termodinámico, sin proponer realizaciones experimentales ni extender sus resultados a sistemas interactuantes. El trabajo se apoya en la teoría espectral de extensiones autoadherentes y la convergencia de resolventes para cerrar la brecha entre los problemas de valores de frontera de volumen finito y la mecánica estadística de volumen infinito.