arXiv:1904.06164
The energy of dilute Bose gases
Søren Fournais, Jan Philip Solovej
Abstract
For a dilute system of non-relativistic bosons interacting through a positive $L^1$ potential $v$ with scattering length $a$ we prove that the ground state energy density satisfies the bound $e(ρ) \geq 4πa ρ^2 (1+ \frac{128}{15\sqrtπ} \sqrt{ρa^3} +o(\sqrt{ρa^3}\,))$, thereby proving the Lee-Huang-Yang formula for the energy density.