minimizers for the hartree-fock-bogoliubov theory of neutron stars ...
260 LENZMANN and LEWIN For the physical interpretation and some background from many-body quantum mechanics, we refer the reader to , . Our first main result is formulated in Theorem 1 below, which shows that I(λ) is attained for 0 λ
MINIMIZERS FOR THE HFB-THEORY 261 among particles. However, it seems to be a formidable task to find mathematical proof for this claim. Let us briefly comment on our existence proof. The relative compactness of minimizing sequences (and, in particular, the existence of minimizers) is the consequence of the validity of the binding inequality, I(λ)
MINIMIZERS FOR THE HFB-THEORY 311 a
MINIMIZERS FOR THE HFB-THEORY 313 a
MINIMIZERS FOR THE HFB-THEORY 315 [