Lee-Huang-Yang Energy for Dilute Bose Gases: an Upper Bound for General Potentials

技术摘要：稀薄玻色气体中的 Lee-Huang-Yang 能量：针对一般势能的上界

问题陈述
本文研究了热力学极限下稀薄玻色气体基态能量密度 $e(\rho)$ 的数学推导。具体而言，旨在建立一个能够捕捉低密度展开中二阶修正（即 Lee-Huang-Yang 项）的严格上界。该系统由位于具有周期性边界条件的盒子 $\Lambda$ 中的 $N$ 个玻色子组成，通过一个一般的排斥性短程势 $V: \mathbb{R}^3 \to [0, \infty]$ 进行相互作用。作者旨在证明，对于足够小的密度 $\rho$ 和散射长度 $a$，能量密度满足：
$$e(\rho) \leq 4\pi a \rho^2 \left( 1 + \frac{128}{15\sqrt{\pi}}(\rho a^3)^{1/2} + O((\rho a^3)^{1/2+\delta}) \right)$$
至关重要的是，本文将之前的研究结果扩展到了可能包含硬核（即当 $|x| \leq r$ 时 $V(x) = \infty$）且不一定满足可积性的势能。

方法论
为了证明该上界，作者在玻色子 Fock 空间 $\mathcal{F}$ 上构造了一个特定的试探态 $\Psi$。该构造遵循并推广了 [1] 中针对硬球模型引入的方法，并将其适配于一般的短程势。试探态定义为：
$$\Psi = \frac{1}{Z} J W(\rho_0) T \Omega$$
其中：

1. 相干态 ($W(\rho_0)$)： 生成在零动量态中具有密度 $\rho_0 \approx \rho$ 的玻色-爱因斯坦凝聚体的 Weyl 算符。
2. Jastrow 因子 ($J$)： 在短距离尺度（$|x| \leq \ell$）上作用的关联算符，用于处理硬核排斥和短程关联。它是通过散射问题能量泛函的截断极小值函数 $f_\ell$ 构建的。该因子确保试探态在势能为无穷大的区域内消失。
3. Bogoliubov 变换 ($T$)： 在较长距离尺度（$\ell \leq |x| \leq \ell_0$）上作用的幺正变换，用以捕捉实现 LHY 项所需的长程关联。该变换的系数源自有效势 $V_{\text{eff}} = 2\Delta f$，其中 $f$ 是散射能量泛函的极小值函数。

证明过程通过估计哈密顿量 $H = K + V$ 对 $\Psi$ 的期望值来进行。作者利用作用在试探态上的势能算符在五种不同项（$\phi_1$ 至 $\phi_5$）上的分解，将势能分解。通过以下方式严格估计这些项的贡献：

• 散射长度极小值 $f$ 及其截断形式 $f_\ell$ 的性质。
• Bogoliubov 核（$\sigma, \gamma, \nu$）的点值估计与 $L^p$ 估计。
• 基于 $J$ 和 $T$ 的结构所导出的关于试探态中局部粒子数和激发数的先验界限。

主要贡献与结果
主要结果是定理 1.1，它为任何可测、偶函数、紧支撑且具有排斥性的势 $V$（包括带有硬核的势）建立了上界 (1.6)。

关键技术成就包括：

• 向硬核模型的推广： 不同于以往要求 $V \in L^3(\mathbb{R}^3)$ 或排除硬核的上限证明，本工作处理了 $V(x) = \infty$ 当 $|x| \leq r$ 的势。这是通过利用散射问题的极小值函数精心构造 Jastrow 因子实现的，该函数在硬核区域自然消失。
• 放宽可积性要求： 本文移除了对势能必须是可积的这一要求，而这一条件在以往关于 LHY 项的严格推导中是存在的。
• 对 [1] 的扩展： 作者将 [1] 的分析（其仅限于硬球模型）扩展到了一般的短程相互作用。这需要对有效势 $V_{\text{eff}}$ 及其傅里叶变换进行新的估计，因为对于一般的 $V$，不存在硬球模型中那种显式的解析形式。具体而言，引理 2.1 和引理 2.3 提供了关于涉及一般势的 Bogoliubov 变换中核的衰减性和正则性的必要界限。
• 能量分解： 势能界的证明（命题 4.2）涉及将相互作用项详细分解为五个部分。作者证明了交叉项和高阶修正是微不足道的（阶数为 $\rho^{5/2+\epsilon}$），从而允许提取出精确的 LHY 系数。

意义
本文声称，通过将其上界（定理 1.1）与 [15] 中建立的现有下界（该下界适用于满足足够快衰减条件的、可测的、球对称的、排斥性势）相结合，可以得到Lee-Huang-Yang 公式在基态能量密度上的严格证明。

具体而言，对于所有紧支撑的、球对称的、排斥性相互作用，基态能量密度被证实为：
$$e(\rho) = 4\pi a \rho^2 \left( 1 + \frac{128}{15\sqrt{\pi}}(\rho a^3)^{1/2} + o((\rho a^3)^{1/2}) \right)$$
这一结果通过验证 LHY 预测在广泛的物理相关势（包括带硬核的势）下的有效性，填补了数学理解稀薄玻色气体方面的重大空白，且无需依赖可积性条件。这项工作依赖于系综等价性的论证，以遵循 [1] 的策略，从正则系综过渡到巨正则系综。