bose gas, Gross-Pitaevskii functional, ground state energy