Arbitrary harmonic functions as Bose--Einstein condensates

技术摘要：作为玻色-爱因斯坦凝聚体的任意调和函数

问题陈述
本文研究了在当拉普拉斯算子在边界上的边界条件可以自由选择时，理想玻色气体在热力学极限下可能产生的玻色-爱因斯坦凝聚（BEC）的本质。虽然先前的观察（例如文献 [5]）表明，无限体积的理想玻色气体允许存在许多不同的 KMS 态，这些态由两点函数的任意正半正定 sesquilinear 型（对应于描述凝聚体的调和函数）来表征，但这些态是否可以通过标准的有限体积 Gibbs 态热力学极限程序（取极限过程）得到严格实现，仍然是一个悬而未决的问题。此外，虽然已知存在具有线性凝聚体的非平移不变 KMS 态 [6]，但通过特定的边界条件来实现由“任意”调和函数或多个凝聚体同时描述的凝聚体的可能性尚未得到确立。

方法论
作者通过在逐次逼近 $\mathbb{R}^d$ 的有界区域 $\Omega_j \subset \mathbb{R}^d$ 上构造一系列正自伴算子 $-\Delta_{\Omega_j}^\Phi$ 来解决这一问题。

1. 算子的构造：
   该方法的核心在于通过对 Dirichlet 拉普拉斯逆算子的扰动，定义区域 $\Omega$ 上拉普拉斯算子的逆。给定一组满足 $\sum_k |\phi_k(x)|^2 < \infty$ 的 $\mathbb{R}^d$ 上的调和函数序列 $\Phi = \{\phi_k\}_k$，该算子定义为：
   $$(-\Delta_{\Omega}^\Phi)^{-1} := \left( (-\Delta_{\Omega}^0)^{-1} + \sum_k |\chi_\Omega \phi_k\rangle \langle \phi_k \chi_\Omega| \right)^{-1}$$
   其中 $-\Delta_{\Omega}^0$ 是 Dirichlet 拉普拉斯算子，$\chi_\Omega$ 是 $\Omega$ 的特征函数。这种构造确保了新的算子是 $\mathbb{R}^d$ 上 $C_0^\infty(\Omega)$ 上拉普拉斯算子的一个正自伴扩张。

2. 边界条件：
   作者推导了与该算子相关的显式边界条件。他们证明了该算子定义域内的函数满足一种涉及 Dirichlet-to-Neumann 算子 $H_\Omega$ 和由调和函数 $\phi_k$ 确定的特定算子 $r_\Omega^\Phi$ 的广义 Robin 型边界条件。具体而言，函数在边界上的法向导数 $\partial_n f$ 与 $f$ 的边界值以及 $f$ 在调和函数生成的张空间上的投影相关联。

3. 收敛性分析：
   为了建立热力学极限，作者证明了一个强解析度收敛结果（定理 2）。他们证明，对于在区域 $\Omega_j$ 上趋于 $\mathbb{R}^d$ 的任何非负自伴拉普拉斯算子序列，对于任何有界连续函数 $F$，算子 $F(-\Delta_{\Omega_j})$ 强收敛于 $L^2(\mathbb{R}^d)$ 上的 $F(-\Delta)$。随后，这一一般性结果被应用于特定函数 $F(x) = (e^{\beta x} - 1)^{-1} - (\beta x)^{-1}$，该函数与玻色气体的两点函数相关。

主要结果
主要结果呈现在定理 1 中。作者证明，对于任何满足平方可和条件的调和函数序列 $\Phi = \{\phi_k\}_k$，存在一系列边界条件，使得理想玻色气体在热力学极限下的两点函数收敛于：
$$\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)$$
该结果的关键特征包括：

• 任意凝聚体： 该系统支持任意数量（有限或无限）的玻色-爱因斯坦凝聚。
• 调和轮廓： 每个凝聚体由一个任意的调和函数 $\phi_k$ 描述。第 $k$ 个凝聚体的密度与 $|\phi_k(x)|^2$ 成正比。
• 零化学势： 该结果在零化学势下成立。作者指出，该结果也适用于随体积增加而以足够快速度趋于零的微小负化学势。
• 维度限制： 在维度 $d \in \{1, 2\}$ 中，收敛要求测试函数的傅里叶变换在零点处消失（即 $\hat{f}(0) = \hat{g}(0) = 0$），以确保低动量处的自由气体项是可积的。

意义与主张
本文声称解决了在无限体积下观察到的多样化 KMS 态是否可以作为有限体积 Gibbs 态极限实现的问题。通过显式构造边界条件，作者展示了：

1. 可以设计出一个系统，其凝聚波函数不限于常数或线性函数，而是可以是任何调和函数。
2. 多个凝聚体可以在热力学极限下共存，这一现象不同于在有限体积下使用 Dirichlet 边界条件时观察到的“多重凝聚”（在这种情况下，该效应在两点函数的极限中会消失）。
3. 所构造的拉普拉斯算子的特征值必须随着 $(\int_\Omega |\phi_k|^2)^{-1}$ 而减小，从而确保与这些小特征值相关的谱投影在极限下能产生有限且非零的凝聚密度贡献。

作者保持了适度的研究范围，严格专注于理想玻色气体框架内及热力学极限内此类态的数学存在性，并未提出实验实现方案或将其结果扩展到相互作用系统。这项工作依赖于自伴扩张的谱理论以及解析度向解析度的收敛，以架起有限体积边界值问题与无限体积统计力学之间的桥梁。