On a model of rotating superfluids
We consider an energy-functional describing rotating superfluids at a rotating velocity , and prove similar results as for the Ginzburg-Landau functional of superconductivity: mainly the existence of branches of solutions with vortices, the existence of a critical above which energy-minimizers have vortices, evaluations of the minimal energy as a function of , and the derivation of a limiting free-boundary problem.