The Lee-Huang-Yang Formula in the Hard-Core Simplified Approach to the Bose gas

技術的要約：硬コア簡略化アプローチにおけるリー–ファン・フレンケル–ヤン（LHY）公式

問題提起
本論文は、硬コア相互作用を持つ希薄ボース気体の基底状態に関する数学的記述を扱う。簡略化されたアプローチ（Liebによって1963年に導入されたもの）は、可積分なソフトコアポテンシャルに対しては厳密に確立されているが、現実的な原子ボースガスにおいて物理的に重要であり、かつポテンシャルの勾配が無限大となるために数学的に困難な、硬コアポテンシャルへの適用については未証明であった。具体的には、著者らは、簡略化されたアプローチを硬コアポテンシャルに適応させた場合、低密度極限（$\rho \to 0$）において、粒子あたりの基底状態エネルギー（$e$）および凝縮体分率（$\eta$）を正しく予測するかどうかを検証しようとしている。その目的は、これらの予測が、エネルギーに関する著名なリー–ファン・フレンケル–ヤン（LHY）公式および凝縮体分率に関するボゴリューボフ理論と一致することを検証することにある。

手法
著者らは、$\mathbb{R}^3$ 上の積分微分方程式であり、硬コア半径（1に設定）における境界条件を持つ「硬コア・シンプル方程式（Hard-Core Simple Equation）」を中心とした、厳密な解析的枠組みを用いている。彼らの手法の核心は、硬コアポテンシャルを、高さ $m$ を増大させた一連のソフトコアポテンシャル $v_m(x) = m \mathbb{1}_{\{|x|\le 1\}}$ によって近似する極限議論である。

主な手法ステップは以下の通りである：

1. 反復構成： 著者らは、ソフトコアおよび硬コア方程式の両方の解を単調反復スキームを用いて構成する。硬コアの場合、数列 $\tau_n$ を定義し、それが一意な解 $\tau$ に収束することを証明する。
2. 中間反復： 密度とポテンシャル高さの間で相反する単調性により、ソフトコアの反復と硬コアの反復を直接比較することを困難にするため、著者らは2つの補助的な反復数列 $\gamma_n$ および $\omega_n$ を導入する。これらは上限および下限として機能し、ソフトコアの解 $\sigma_m$ を硬コアの解 $\tau$ に対して比較することを可能にするエンベロープ（包絡線）を作成する。
3. 一様推定： ソフトコア方程式における誤差項の低密度展開が、ポテンシャルの高さ $m$ に対して一様であることを確立することが、重要な技術的成果である。これにより、極限 $m \to \infty$ においても漸近挙動が維持されることが保証される。
4. 固定エネルギー・フレームワーク： 証明は、固定されたエネルギー $e$ において行われ、密度 $\rho$ を $e$ の関数として計算する。著者らは、小さな $e$ に対して写像 $e \mapsto \rho$ が可逆であり、比較可能であることを示し、最終的な結果を小さな密度パラメータ $\rho$ を用いて再表現することを可能にする。

主要な貢献と結果
本論文は、以下の主要な結果を確立している：

• 存在と一意性： 著者らは、硬コア・シンプル方程式の解（制限付きの意味で $0 \le \tau \le 1$）の存在と一意性を証明する。
• ソフトコアから硬コアへの収束： ソフトコアポテンシャルの高さ $m \to \infty$ となるにつれ、解 $\sigma_m$ およびその密度 $\bar{\rho}_m$ が、硬コアの解 $\tau$ および密度 $\rho_{hc}$ に $L^1$ ノルムで収束することを実証する。決定的なことに、収束率が $O(m^{-1/2})$ であることを確立する。
• エネルギーに関するリー–ファン・フレンケル–ヤン公式： 硬コア・シンプル方程式の粒子あたりの基底状態エネルギー $e$ は、以下のLHY公式に従うことが示される：
  $$e = 2\pi\rho_{hc} \left( 1 + \frac{128}{15\sqrt{\pi}} \sqrt{\rho_{hc}} + o(\sqrt{\rho_{hc}}) \right)$$
  ここで、硬球ポテンシャルの散乱長 $a_0$ は1である。これは、簡略化されたアプローチが、多体硬球ボースガスの正しい漸近エネルギーを回収することを裏付けている。
• 凝縮体分率： 硬コア方程式によって予測される凝縮体分率 $\eta$ は、以下を満たすことが示される：
  $$\eta = 1 - \frac{8}{3\sqrt{\pi}} \sqrt{\rho_{hc}} + o(\sqrt{\rho_{hc}})$$
  この結果は、ボゴリューボフ理論と一致している。

意義
本論文は、簡略化されたアプローチの厳密な数学的理論を、ソフトコアから硬コアポテンシャルへと拡張するものである。硬コア・シンプル方程式が、エネルギーに関する正しいリー–ファン・フレンケル–ヤン展開および正しい凝縮体分率を与えることを証明することにより、著者らは、硬コア斥力を持つ現実的な相互作用ボースガスの基底状態に対する、簡略化されたアプローチが正確な有効理論であることを検証した。本研究は、現象論的な理論と、特定の観測量に関する第一原理からの導出との間の溝を埋めるものであり、ポテンシャルが特異な領域におけるシンプル方程式の使用に対して、数学的に健全な基礎を提供する。また、Carlen, Jauslin, および Lieb による先行研究を、物理的に極めて重要な硬コアの場合へと一般化するものである。