The Bogoliubov Free Energy Functional II: The Dilute Limit

We analyse the canonical Bogoliubov free energy functional in three dimensions at low temperatures in the dilute limit. We prove existence of a first-order phase transition and, in the limit , we determine the critical temperature to be to leading order. Here, is the critical temperature of the free Bose gas, rho is the density of the gas and a is the scattering length of the pair-interaction potential V. We also prove asymptotic expansions for the free energy. In particular, we recover the Lee-Huang-Yang formula in the limit integral V -> 8 pi a.