We consider an energy-functional describing rotating super fluids at a rota
ting velocity w, and prove similar results as for the Ginzburg-Landau funct
ional of superconductivity: mainly the existence of branches of solutions w
ith vortices, the existence of a critical w above which energy-minimizers h
ave vortices, evaluations of the minimal energy as a function of w, and the
derivation of a limiting free-boundary problem.