[论文解读] The semi-classical limit of large fermionic systems

Jan Philip Solovej, Søren Fournais+1 more|arXiv (Cornell University)|Oct 5, 2015

Cold Atom Physics and Bose-Einstein Condensates参考文献 71被引用 4

一句话总结

本文在 $ N $ 个费米子系统、相互作用强度为 $ 1/N $ 的情况下，建立了半经典极限，利用相空间测度和 Wigner 函数证明了系统收敛到 Thomas-Fermi 极小化元。关键结果表明，在 $ N \to \infty $ 的极限下，且 $ \hbar = N^{-1/d} $ 时，基态能量和密度收敛到 Thomas-Fermi 泛函，且在外部势和相互作用的一般条件下成立。

ABSTRACT

We study a system of $N$ fermions in the regime where the intensity of the interaction scales as $1/N$ and with an effective semi-classical parameter $\hbar=N^{-1/d}$ where $d$ is the space dimension. For a large class of interaction potentials and of external electromagnetic fields, we prove the convergence to the Thomas-Fermi minimizers in the limit $N o\infty$. The limit is expressed using many-particle coherent states and Wigner functions. The method of proof is based on a fermionic de Finetti-Hewitt-Savage theorem in phase space and on a careful analysis of the possible lack of compactness at infinity.

研究动机与目标

• 在半经典 regime 下严格证明大费米子系统的平均场近似。
• 分析基态能量和密度在 $ N \to \infty $ 时收敛到 Thomas-Fermi 泛函的过程。
• 解决费米子反对称性以及相空间极限中无穷远处缺乏紧致性所带来的挑战。
• 通过费米子 de Finetti-Hewitt-Savage 定理，建立多体量子态与半经典测度之间的联系。
• 将 Thomas-Fermi 模型的有效性扩展到在 $ 1/N $-标度和 $ \hbar = N^{-1/d} $ 半经典极限下相互作用的费米子系统。

提出的方法

• 在相空间中使用费米子 de Finetti-Hewitt-Savage 定理，刻画多体量子态的极限。
• 利用 Wigner 函数和半经典测度 $ m_N(x,p) = \langle f^\hbar_{x,p}, \gamma_N f^\hbar_{x,p} \rangle $ 描述系统的相空间分布。
• 应用 Weyl 渐近展开式处理动能算符负部，推导能量泛函的半经典极限。
• 对密度 $ \rho_{\gamma_N}/N $ 施加一致有界性，以控制无穷远处缺乏紧致性的问题。
• 以 Thomas-Fermi 泛函的极小化元为参考，通过测度的弱极限和迹估计证明收敛性。
• 依赖逼近技术处理向量势 $ A $ 和 $ L^2 $-收敛性，将结果推广至非光滑情形。

实验结果

研究问题

• RQ1 在半经典极限下，具有 $ 1/N $-标度相互作用的大费米子系统的基态能量是否收敛到 Thomas-Fermi 能量？
• RQ2 在 $ N \to \infty $ 极限下，多体量子态是否收敛到由 Thomas-Fermi 极小化元描述的乘积态？
• RQ3 与玻色子情形相比，费米子反对称性及 Pauli 不相容原理如何影响半经典极限？
• RQ4 相空间测度在刻画费米子多体态极限中起到什么作用？
• RQ5 如何控制费米子系统半经典极限中无穷远处缺乏紧致性的问题？

主要发现

• 单位粒子基态能量收敛到 Thomas-Fermi 泛函的下确界：$ \lim_{N\to\infty} \frac{1}{N} \inf \sigma(H_{\hbar,N}) = \inf_{\|u\|_{L^2}=1} \mathcal{E}^{V,A}_{\text{Hartree}}(u) $。
• 半经典测度 $ m_N $ 弱收敛到指示函数 $ m(x,p) = \mathbf{1}(|p+A(x)|^2 - c_{\text{TF}} \rho(x) \leq 0) $，该函数刻画了 Thomas-Fermi 极小化元。
• 粒子密度 $ \rho_{\gamma_N}/N $ 在 $ L^1 \cap L^\infty $ 中弱收敛到 Thomas-Fermi 密度 $ \rho(x) $，确保了极限的一致性。
• 动能项满足 Weyl 渐近展开：$ \lim_{N\to\infty} -\frac{1}{N} \operatorname{Tr} \big( (-iN^{-1/d}\nabla + A)^2 - c_{\text{TF}} \rho \big)_- = -\frac{1}{(2\pi)^d} \int \big( |p+A(x)|^2 - c_{\text{TF}} \rho(x) \big)_- \, dp\,dx $。
• 真实密度矩阵 $ \gamma_N $ 与投影态 $ \widetilde{\gamma}_N $ 之间的迹差为 $ o(N) $，证实了在迹范数下收敛性，仅低阶项有差异。
• 该结果对一般外部势 $ V $、向量势 $ A $ 和相互作用势 $ w $ 均成立，包括通过逼近论证处理非光滑 $ A $ 的情形。