The TF limit for rapidly rotating bose gases in anharmonic traps

Starting from the full many body Hamiltonian we derive the leading order energy and density asymptotics for the ground state of a dilute, rotating Bose gas in an anharmonic trap 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.