The Bogoliubov free energy functional I. Existence of minimizers and phase diagram

The Bogoliubov free energy functional is analysed. The functional serves as a model of a translation invariant Bose gas at positive temperature. We prove the existence of minimizers in the case of repulsive interactions given by a sufficiently regular two-body potential. Furthermore, we prove existence of a phase transition in this model and provide its phase diagram.