Minimizers for the Hartree-Fock-Bogoliubov theory of neutron stars and white dwarfs (Q968952)

The main result of this paper is that the infimum \(I(\lambda)\) of the Hartree-Fock-Bogoliubov (HFB) functional, with attractive two-body interactions given by Newtonian gravity, is attained when the ``expected value of the number of particles'' \(\lambda\) is less than a quantity \(\lambda^{\text{HFB}}(\kappa)\), where \(\kappa\) is a coupling constant. The method relies on ``concentration-compactness'' arguments.