Views
3 years ago

minimizers for the hartree-fock-bogoliubov theory of neutron stars ...

minimizers for the hartree-fock-bogoliubov theory of neutron stars ...

284 LENZMANN and LEWIN

284 LENZMANN and LEWIN Proof The proof in the case α = 0 (HF case) is standard and deserves no further discussion. Hence we assume that α ≠ 0 from now on. We start by expanding the energy around the minimizer Ɣ up to second order. We make use of Bogoliubov transformations of the form e iɛH with ( ) h k H = k ∗ , h ∗ = h, k T =−k, −h where h ∈ S 1 and k ∈ S 2 . From [2] we recall that, for every ɛ ∈ R, wehavethat Ɣ ɛ = e iɛH Ɣe −iɛH is an HFB state. Expanding up to second order, we find where Ɣ ɛ = Ɣ + ɛƔ 1 + ɛ 2 Ɣ 2 + O(ɛ 3 ), Ɣ 1 = i[H,Ɣ], Ɣ 2 = HƔH − 1 2 H 2 Ɣ − 1 2 ƔH 2 . Next, we take h = 0 and k =−ia with a =−a T ∈ S 2 to be chosen below; that is, ( ) 0 −ia H = ia ∗ . 0 An elementary calculation yields ( ) 0 a Ɣ 1 = a ∗ + 0 with ( ) γ1 α 1 α1 ∗ , Ɣ −γ 2 = 1 ( ) ( ) aa ∗ 0 γ2 α 0 −a ∗ + 2 a α2 ∗ −γ 2 γ 1 = aα ∗ + αa ∗ , α 1 =−γa− aγ, γ 2 =−aγa ∗ − 1 2 aa∗ γ − 1 2 γaa∗ , α 2 =−aα ∗ a − 1 2 aa∗ α − 1 2 αa∗ a. Calculating the energy and using that [F Ɣ − μN, Ɣ] = 0, wefind E(Ɣ ɛ ) = E(Ɣ) + ɛμTr(γ 1 ) + ɛ 2 Q(a,a) + O(ɛ 3 ), where Q(a,a) = Tr ( T (a ∗ a + γ 2 ) ) − κD(ρ γ ,ρ a ∗ a+γ 2 ) + κRX(γ,a ∗ a + γ 2 ) − κRX(α, α 2 ) − κ 2 D(ρ γ 1 ,ρ γ1 ) + κ 2 X(γ 1,γ 1 ) − κ 2 X(a + α 1,a+ α 1 ).

MINIMIZERS FOR THE HFB-THEORY 285 Here we use the convenient notation ∫∫ X(a,b) = We now claim the following fact. R 3 ×R 3 a(x,y)b(x,y) |x − y| dx dy. (5.7) LEMMA 5.2 There exists a =−a T with Tr(Ka ∗ a) < ∞ such that Tr(γ 1 ) < 0 and Q(a,a) < (β − m)Tr(γ 2 ). Assuming Lemma 5.2 for the moment, we have Tr(γ ɛ ) < Tr(γ ) = λ for ɛ>0 small. Furthermore, with the help of Proposition 4.2, we deduce E(Ɣ ɛ ) I ( Tr(γ ɛ ) ) I(λ) − I ( λ − Tr(γ ɛ ) ) I(λ) − (β − m) ( λ − Tr(γ ɛ ) ) Collecting these estimates, we obtain = I(λ) + (β − m) ( ɛTr(γ 1 ) + ɛ 2 Tr(γ 2 ) + O(ɛ 3 ) ) . (β − m − μ)Tr(γ 1 ) ɛ ( Q(a,a) − (β − m)Tr(γ 2 ) ) + O(ɛ 2 ), whence the desired estimate on μ follows, by taking ɛ>0 sufficiently small. This concludes the proof of Lemma 5.1, provided that Lemma 5.2 holds, which we show next. Proof of Lemma 5.2 We begin with a preliminary observation. Assume that we have constructed an a with a T =−a and Tr(Ka ∗ a) < ∞, such that Q(a,a)−(β −m)Tr(γ 2 ) < 0.IfTr(γ 1 ) > 0, it suffices to replace a by −a to conclude the proof. If Tr(γ 1 ) = 0, then we can replace a by a ′ = a−ηα. We then have (with an obvious notation) Tr(γ ′ 1 ) =−2ηTr(αα∗ ) < 0 and Q(a ′ ,a ′ ) − (β − m)Tr(γ ′ 2 ) = Q(a,a) − (β − m)Tr(γ 2) + O(η). Hence we can make the last term < 0, by choosing η>0 sufficiently small. As a conclusion, we only have to construct a such that Q(a,a) < (β − m)Tr(γ 2 ) without considering the constraint Tr(γ 1 ) < 0. To construct a, we use trial states in the spirit of Appendix C below. Here, let us for simplicity assume that we have q = 1 spin degrees of freedom (since the proof for q 2 is analogous). That is, we choose a R,L (x,y) = χ L ( R(x − 3L⃗v) ) f (Rx − Ry)χL ( R(y − 3L⃗v) ) , where R ∈ SO(3) is a rotation and ⃗v ∈ R 3 is a fixed normalized vector, and f ∈ H 1/2 (R 3 ) is the normalized ground state solution to (K − κ/2|x|)f = βf , with

Hartree-Fock-Bogoliubov theory of polarized Fermi systems
Symmetry Restoration in Hartree-Fock-Bogoliubov Based Theories
Application of the gradient method to Hartree-Fock-Bogoliubov theory
Hartree-Fock-Bogoliubov (HFB) Theory This Lecture closely follows ...
I ) Direct minimization in Hartree Fock and DFT - II) Converence of ...
Experimental, Hartree-Fock, and Density Functional Theory ...
Hartree-Fock theory of nuclear deformations and high spin states
DENSITY LOWER BOUND ESTIMATES FOR LOCAL MINIMIZERS ...
Theory of Nuclear Matter for Neutron Stars and ... - Graduate Physics
Theory of radiation transfer in neutron star atmospheres - MPE
Stability of critical shapes for the drag minimization problem in ...
Stochastic and Belated Integrals for the Full Fock Space - Imperial ...
Disintegration theory for von Neumann algebras
An approximation theory of matrix rank minimization and its ...
Partial Regularity for Minimizers of Degenerate Polyconvex Energies
A dispersive estimate for the Schrödinger operator in star-shaped ...
REGULARITY OF QUASI-MINIMIZERS ON METRIC SPACES Juha ...
Iterative Reweighted Minimization Methods for lp Regularized ...
Minimizing Fusion Frame Potential - Department of Mathematics
I Integral Equations and Operator Theory
Microscopic Derivation of Ginzburg-Landau Theory
ON THE K-THEORY OF HIGHER RANK GRAPH C∗-ALGEBRAS. 1 ...
Estimating the number of negative eigenvalues of Schrodinger ...
I Integral Equations and Operator Theory
Normal form theory for the NLS equation: A preliminary report.
theory of linear elasticity in the half-space - Université de Pau et des ...
Spectral theory of elliptic differential operators - Oulu