Bosons in rapid rotation

Starting from the many body Hamiltonian the leading order energy and density asymptotics for the ground state of a dilute, rotating Bose gas in an anharmonic trap is derived in the 'Thomas Fermi' (TF) limit when the Gross-Pitaevskii coupling parameter and/or the rotation velocity tend to infinity. Although the many-body wave function is expected to have a complicated phase, the leading order contribution to the energy can be computed by minimizing a simple functional of the density alone. This is joint work with J.B. Bru, M. Correggi and P. Pickl.