Key points are not available for this paper at this time.
For a dilute system of non-relativistic bosons interacting through a positive, compactly supported, L¹-potential v with scattering length a we prove that the ground state energy density satisfies the bound e () 4 a ² (1 + 12815 a³ + o (a³) ), thereby proving the Lee-Huang-Yang formula for the energy density.
Fournais et al. (Sun,) studied this question.