Free Energies of Dilute Bose gases: upper bound

Abstract

We derive a upper bound on the free energy of a Bose gas system at density $ρ$ and temperature $T$. In combination with the lower bound derived previously by Seiringer \cite{RS1}, our result proves that in the low density limit, i.e., when $a^3ρ\ll 1$, where $a$ denotes the scattering length of the pair-interaction potential, the leading term of $Δf$ the free energy difference per volume between interacting and ideal Bose gases is equal to $4πa (2ρ^2-[ρ-\rhoc]^2_+)$. Here, $\rhoc(T)$ denotes the critical density for Bose-Einstein condensation (for the ideal gas), and $[\cdot ]_+$ $=$ $\max\{\cdot, 0\}$ denotes the positive part.

56 pages, no figures