Access the full text.
Sign up today, get DeepDyve free for 14 days.
Mathieu Lewin, P. Nam, N. Rougerie (2014)
The mean-field approximation and the non-linear Schrödinger functional for trapped Bose gasesTransactions of the American Mathematical Society, 368
T. Cazenave, A. Haraux, Y. Martel (1999)
An Introduction to Semilinear Evolution Equations
M. Reed, B. Simon (1975)
Methods of Modern Mathematical Physics. 2. Fourier Analysis, Self-adjointness
Tosio Kato (1973)
Linear evolution equations of ``hyperbolic'' type, IIJournal of The Mathematical Society of Japan, 25
Y. Choe (1981)
Linear evolution equations of hyperbolic type in a locally convex space
Mathieu Lewin (2015)
Mean-field limit of Bose systems: rigorous resultsarXiv: Mathematical Physics
Benedikter, Jérémy Vithya, Jan Philip (2018)
The Dirac–Frenkel Principle for Reduced Density Matrices, and the Bogoliubov–de Gennes Equations
L. Landau (1927)
Das Dämpfungsproblem in der WellenmechanikZeitschrift für Physik, 45
M. Reed, B. Simon (1979)
Methods of modern mathematical physics. III. Scattering theory
R. Jackiw, A. Kerman (1979)
Time-dependent variational principle and the effective actionPhysics Letters A, 71
M Grillakis, M Machedon (2013)
Pair excitations and the mean field approximation of interacting bosonsI. Commun. Math. Phys., 324
Mathieu Lewin, P. Nam, B. Schlein (2013)
Fluctuations around Hartree states in the mean-field regimeAmerican Journal of Mathematics, 137
Edward Nelson (1972)
Time-ordered operator products of sharp-time quadratic formsJournal of Functional Analysis, 11
(2017)
On the Bogolubov-de
A. Gottlieb, N. Mauser (2006)
PROPERTIES OF NONFREENESS: AN ENTROPY MEASURE OF ELECTRON CORRELATIONInternational Journal of Quantum Information, 05
M. Grillakis, M. Machedon (2012)
Pair Excitations and the Mean Field Approximation of Interacting Bosons, ICommunications in Mathematical Physics, 324
R. Dodd, M. Edwards, C. Clark, K. Burnett (1997)
Collective excitations of Bose-Einstein condensed gases at finite temperaturesPhysical Review A, 57
I. Segal (1963)
Non-Linear Semi-GroupsAnnals of Mathematics, 78
J. Blaizot, G. Ripka (1985)
Quantum Theory of Finite Systems
S. Zagatti (1992)
The Cauchy problem for Hartree-Fock time-dependent equationsAnnales De L Institut Henri Poincare-physique Theorique, 56
D. Robinson (1965)
The ground state of the Bose gasCommunications in Mathematical Physics, 1
A. Bove, G. Prato, G. Fano (1974)
An existence proof for the Hartree-Fock time-dependent problem with bounded two-body interactionCommunications in Mathematical Physics, 37
M. Grillakis, M. Machedon (2013)
Beyond mean field: On the role of pair excitations in the evolution of condensatesJournal of Fixed Point Theory and Applications, 14
R. Critchley, A. Solomon (1976)
A variational approach to superfluidityJournal of Statistical Physics, 14
S. Gustafson, I. Sigal (2006)
Mathematical Concepts of Quantum MechanicsUniversitext
R. Horn, Charles Johnson (1985)
Matrix analysis
M. Merkli, M. Mück, I. Sigal (2006)
Theory of Non-Equilibrium Stationary States as a Theory of ResonancesAnnales Henri Poincaré, 8
A. Bove, G. Prato, G. Fano (1976)
On the Hartree-Fock time-dependent problemCommunications in Mathematical Physics, 49
F. Berezin (1966)
Method of Second Quantization
A. Parkins, D. Walls (1998)
The physics of trapped dilute-gas Bose–Einstein condensatesPhysics Reports, 303
V. Bach, S. Breteaux, Hans Knörr, Edmund Menge (2014)
Generalization of Lieb's variational principle to Bogoliubov-Hartree-Fock theoryJournal of Mathematical Physics, 55
V. Bach, S. Breteaux, H. Knorr, Edmund Menge (2013)
Generalized One-Particle Density Matrices and Quasifree StatesarXiv: Mathematical Physics
Marcin Napiórkowski, Robin Reuvers, J. Solovej (2015)
The Bogoliubov Free Energy Functional I: Existence of Minimizers and Phase DiagramArchive for Rational Mechanics and Analysis, 229
D. Haar, N. Mermin (1971)
Men of Physics: L. D. Landau, Vol. 2: Thermodynamics, Plasma Physics and Quantum MechanicsPhysics Today, 24
O. Bratteli (1979)
Operator Algebras And Quantum Statistical Mechanics
V. Bach, J. Bru (2016)
Diagonalizing Quadratic Bosonic Operators by Non-Autonomous Flow EquationarXiv: Mathematical Physics
Mathieu Lewin, P. Nam, N. Rougerie (2015)
A note on 2D focusing many-boson systemsarXiv: Mathematical Physics
J. Chadam, R. Glassey (1975)
Global existence of solutions to the Cauchy problem for time‐dependent Hartree equationsJournal of Mathematical Physics, 16
V. Bach, E. Lieb, J. Solovej (1993)
Generalized Hartree-Fock theory and the Hubbard modelJournal of Statistical Physics, 76
Z. Ammari, S. Breteaux (2009)
Propagation of chaos for many-boson systems in one dimension with a point pair-interactionAsymptot. Anal., 76
A. Griffin (1996)
Conserving and gapless approximations for an inhomogeneous Bose gas at finite temperatures.Physical review. B, Condensed matter, 53 14
G. Noakes (1962)
Men of PhysicsNature, 195
SJ Gustafson, IM Sigal (2011)
10.1007/978-3-642-21866-8Mathematical concepts of quantum mechanics
Marcin Napiórkowski, Robin Reuvers, J. Solovej (2015)
The Bogoliubov Free Energy Functional II: The Dilute LimitCommunications in Mathematical Physics, 360
F. Bloch, I N, R. Zacharias, B. Lasarew, L. Schubnikow, Sov, C. Gorter, L. Broer, E. Purcell, H. Torrey, R. Pound, Phys, I. Bloch, W. Hansen, M. Packard (2011)
Nuclear Induction
(1928)
Probleme der modernen Physik
H. Araki, Masafumi Shiraishi (1971)
On Quasifree States of the Canonical Commutation Relations (II)Publications of The Research Institute for Mathematical Sciences, 7
P. Nam, M. Napiórkowski, J. Solovej (2015)
Diagonalization of bosonic quadratic Hamiltonians by Bogoliubov transformationsarXiv: Mathematical Physics
P. Nam, M. Napiórkowski (2015)
Bogoliubov correction to the mean-field dynamics of interacting bosonsAdvances in Theoretical and Mathematical Physics, 21
Charlie Harper (2005)
Partial Differential EquationsMultivariable Calculus with Mathematica
J. Neumann
Wahrscheinlichkeitstheoretischer Aufbau der Quantenmechanik, 1927
D. Shale (1962)
LINEAR SYMMETRIES OF FREE BOSON FIELDS(Transactions of the American Mathematical Society, 103
S Zagatti (1992)
The Cauchy problem for Hartree-Fock time-dependent equationsAnn. Inst. H. Poincaré Phys. Théor., 56
大矢 雅則, D. Petz (1993)
Quantum Entropy and Its Use
J. Chadam (1976)
The time-dependent Hartree-Fock equations with Coulomb two-body interactionCommunications in Mathematical Physics, 46
J. Evol. Equ. (2022) 22:46 © 2022 The Author(s) Journal of Evolution 1424-3199/22/020001-43, published online May 17, 2022 Equations https://doi.org/10.1007/s00028-022-00799-2 Volker Bach, Sebastien Breteaux, Thomas Chen, Jürg Fröhlich and Israel Michael Sigal Abstract. We introduce the map of dynamics of quantum Bose gases into dynamics of quasifree states, which we call the “nonlinear quasifree approximation”. We use this map to derive the time-dependent Hartree–Fock–Bogoliubov (HFB) equations describing the dynamics of quantum fluctuations around a Bose–Einstein condensate. We prove global well-posedness of the HFB equations for pair potentials satis- fying suitable regularity conditions, and we establish important conservation laws. We show that the space of solutions of the HFB equations has a symplectic structure reminiscent of a Hamiltonian system. This is then used to relate the HFB equations to the HFB eigenvalue equations discussed in the physics literature. We also construct Gibbs equilibrium states at positive temperature associated with the HFB equations, and we establish criteria for the appearance of Bose–Einstein condensation. 1. Introduction In this paper, we derive the time-dependent Hartree–Fock–Bogoliubov (HFB) equa- tions describing quantum fluctuations of a non-relativistic Bose gas around a Bose– Einstein condensate and study their properties. 1.1. Quantum many-body problem The starting point of our analysis is a second-quantized description of a quantum- mechanical many-body system of Bose point particles (bosonic atoms). We first con- sider systems of finitely many particles. The Hilbert space of pure state vectors is given by the bosonic Fock space: (n) F := F , (1) n=0 (n) ⊗ n sym where F := h ,for n ≥ 1, is the n-fold symmetric tensor product of the one-particle Hilbert space 2 d h := L (R ), (0) accounting for the Bose–Einstein statistics of the particles, and F := C · is the one-dimensional vacuum sector spanned by the normalized vacuum vector . 46 Page 2 of 43 V. Bach et al. J. Evol. Equ. Building blocks of operator calculus on F are annihilation and creation operator- valued distributions ψ( f ) and ψ ( f ), f ∈ h, which are adjoints of each other and satisfy the canonical commutation relations (CCR): ∗ ∗ ∗ ψ( f ), ψ ( f ) = f | f , ψ( f ), ψ ( f ) = ψ ( f ), ψ ( f ) = 0 ,(2) 1 2 1 2 h 1 2 1 2 and ψ( f ) = 0, for all f , f ∈ h, see, e.g., [13]. We will write ψ (x ) for their 1 1 2 ∗ ∗ ∗ formal distribution kernels ψ (x ) and ψ(x ), i.e., ψ ( f ) = f (x)ψ (x ) dx, ψ( f ) = f (x)ψ(x ) dx, and the CCR read ∗ ∗ ∗ ψ(x ), ψ ( y) = δ(x − y), ψ(x ), ψ ( y) = ψ (x ), ψ ( y) = 0 . (3) The time evolution of the system is generated by the quantum Hamiltonian: ∗ ∗ ∗ H = d ψ (x ) h ψ(x ) + dx d y v(x − y)ψ (x)ψ ( y)ψ(x)ψ( y), (4) where, in the position-space representation, the operator h is given by h := − + V (x ), x ∈ R , d = 1, 2, 3,... , with the Laplacian acting on h. We always impose the following conditions: (a) The external potential V is infinitesimally bounded with respect to the Laplacian − . (5) (b) The pair potential v is even,v(x ) = v(−x ), and relatively bounded with respect to . (6) These conditions imply that H is self-adjoint on the domain of the operator H := dx ψ (x )(−)ψ (x ) (7) (see Appendix A). We note that these conditions allow both V and v to have Coulomb singularities. p,r d d Let W (R ) denote the standard Sobolev space over R . In Sect. 4, we will use a stronger condition on v: (b ) The pair potential v is even,v(x ) = v(−x ), p,1 and satisfies v ∈ W , for some p > d. (8) States of the system are normalized positive linear (‘expectation’) functionals, ω, on the Weyl algebra W over Schwartz space S(R ), which is generated by Weyl operators, iφ( f ) ∗ W ( f ) := e , with φ( f ) := ψ ( f ) + ψ( f ), J. Evol. Equ. The time-dependent Hartree–Fock–Bogoliubov Page 3 of 43 46 (see [13], Section 5.2.3). The set of states ω is denoted by S, and S(R ) f → ω[W ( f )]∈ C can be viewed as its infinite-dimensional Fourier transform or charac- teristic function, i.e., the generating functional of all correlations functions, see below. States correspond either to a finite number of Bose particles, as in the case of BEC experiments in traps, or to an infinitely extended gas at a nonzero particle density and some fixed temperature. States ω ∈ S of finitely many particles are given by density operators on Fock space F, i.e., there exists a positive, trace-class operator D on F of unit trace such that ω(A) = Tr(A D ), for all bounded operators A on F (and in particular for all elements A ∈ W). It will be convenient to consider states defined on arbitrary products: ψ ( f )...ψ ( f ), 1 n of creation- and annihilation operators. Expectations of such products in a state ω, henceforth called correlation functions, can be defined by applying partial derivatives, ∂ , to expectation values ω W (s f ) ··· W (s f ) 1 1 n n of Weyl operators. We will only consider states with the property that these derivatives, and hence, the corresponding correlation functions, exist, for arbitrary n; such states are called regular states. Of particular interest to us are correlation functions with n ≤ 4. Their existence is guaranteed by assuming, e.g., that ω(N )< ∞, where N is the particle number operator, N := dx ψ (x )ψ (x ). This assumption implies, in particular, that ω is given by a density operator on F. (We remark, however, that existence of correlation functions follows from considerably weaker assumptions, e.g., from an appropriate version of the assumption that the particle density in the gas is finite.) The multilinear functionals ω ψ ( f ) ··· ψ ( f ) ,for f ,..., f ∈ S(R ),are 1 n 1 n given by tempered distributions (this is the nuclear theorem), which we formally write as: ω ψ (x ) ··· ψ (x ) . 1 n By an “observable”, we refer either to an element of the Weyl algebra W or to a # # linear combination of operators of the form ψ ( f )...ψ ( f ). (We remark that the 1 n # # term “observable” is, however, usually reserved for products ψ ( f )...ψ ( f ) that 1 n i θ ∗ are gauge-invariant, i.e., invariant under phase transformations, ψ → e ψ, ψ → −i θ ∗ e ψ .) The time evolution of regular states is given by the von Neumann–Landau equation [29,48](seealso[10,43], and [26]) for some history) i ∂ ω (A) = ω ([A, H]), (9) t t t for arbitrary observables A, which extends the standard von Neumann–Landau equa- tion to general C −algebras (see, e.g., [13,35]). 46 Page 4 of 43 V. Bach et al. J. Evol. Equ. 1.2. Quasifree states and truncated expectations Since the evolution Eq. (9) is extremely complicated to analyze, one is interested in manageable approximations to it. Our approximation consists of restricting the dynamics given by (9)to quasifree states, the simplest—yet sufficiently rich—class of states generalizing the Hartree and Hartree–Fock ones, on the one hand, and the Gaussian random processes, on the other, as has been first realized and used in [6]. Quasifree states are defined in terms of truncated expectations, which we define next. th We use the short-hand notation ψ := ψ (x ).The n order truncated expectations j j (correlation functions), ω (ψ ,...,ψ ), of a state ω are defined recursively through 1 n ω(ψ ··· ψ ) = ω (ψ ,...,ψ ), (10) 1 n i i 1 | J | P J ∈ P n n where the P are partitions of the ordered set {1, ..., n} into ordered subsets, J.The simplest examples of truncated (or connected) correlations are ω (ψ (x )) = ω(ψ(x )) , ω (ψ ,ψ ) = ω(ψ ψ ) − ω(ψ )ω(ψ ). (11) 1 2 1 2 1 2 A state ω is called quasifree if truncated n-point expectations vanish for n > 2, i.e., ω (ψ ,...,ψ ) = 0, ∀n > 2, (12) 1 n We denote quasifree states by ω and the set of quasifree states by Q ⊂ S. q 1 n It follows from the definition that all n-point expectations, ω (ψ ··· ψ ), with i k q q q n > 2, in a quasifree state ω can be expressed in terms of ω (ψ ) and ω (ψ ψ ), i j k with i, j, k ∈{1,..., n}. The explicit formula is called Wick’s formula, or Wick’s theorem;see [13]. Examples for small orders are given in Appendix B. Given an arbitrary, not necessarily quasifree state ω ∈ S, with ω(N)< ∞, there exists a unique quasifree state, denoted q[ω]∈ Q, such that expectations 1 1 1 2 1 2 ω(ψ ) = q[ω](ψ ) and ω(ψ ψ ) = q[ω](ψ ψ ) (13) 1 1 1 2 1 2 of quadratic or lower order agree (see Sect. 1.4). We call the state q[ω] the quasifree reduction of ω. The map q : S → Q is idempotent, q ◦q = q, and acts as a projection of the convex space S of all states onto the space of quasifree states Q. 1.3. Quasifree dynamics As mentioned above, detailed properties of the dynamics of a many-body system described by the von Neumann–Landau equation (9) are difficult to unravel, and approximations are therefore needed to extract interesting qualitative features. The notion of quasifree states was introduced in [45]; see [13] and references therein. This notion was introduced in [2] (see below). For a related notion in the context the gauge invariant twice differentiable states, see [41]. For the definition of the gauge invariant states, see Sect. 1.3 below. J. Evol. Equ. The time-dependent Hartree–Fock–Bogoliubov Page 5 of 43 46 The main idea is to restrict the dynamics to quasifree states. However, the property of being quasifree is not preserved by the dynamics given by (9), and the main question here is how to map the true quantum evolution onto the class of quasifree states. The effective dynamics we propose replaces Eq. (9), with an initial condition ω ∈ S, by the equation q q q i ∂ ω (A) = ω [A, H] , with ω = q[ω ] , (14) t 0 t t t =0 for all observables A that are at most quadratic in creation- and annihilation operators. For the Hamiltonian H given by (4), the commutator [A, H] contains products of at most four creation- and annihilation operators; their expectation in ω is then evaluated by using Wick’s theorem for the quasifree state ω . In contrast to the von Neumann–Landau equation (9), the quasifree dynamics (14) is nonlinear. Of course, one expects the effective evolution to be close the original one only if ω is close to q[ω ] in an appropriate sense. We emphasize that, in general, 0 0 ω = q[ω ], even if the initial state ω = q[ω ]∈ Q is quasifree. That is, the trajectory of quasifree 0 0 states ω determined by (14)is not the projection, q, of the trajectory ω of states evolving according to the full dynamics in (9) onto the space Q of quasifree states. We call (14)the nonlinear quasifree approximation (it was called the quasifree reduction in [3].) The deviation of a state ω ∈ S from its quasifree reduction q[ω]∈ Q can be quanti- fied in terms of their relative entropy S (ω, q[ω]) := Tr D ln[ D ]− ln[ D ] , rel ω ω q[ω] provided ω and hence q[ω] are given by density operators D and D , respec- ω q[ω] tively [20]. In fact, S (ω, q[ω]) may be viewed as the distance of ω to Q, since rel S (ω, ω ) ≥ 0 with equality if, and only if, ω = ω and rel S (ω, q[ω]) = inf S (ω, q). (15) rel rel q∈Q It has been shown in [7] that for pure states the quasifree dynamics as defined above ([3]) is a consequence of the Dirac–Frenkel principle, in which the right side of the von Neumann–Landau equation (9) is projected onto a selected class of states. We will show that Eq. (14) is equivalent to the nonlinear, self-consistent evolution equation q q q i ∂ ω (A) = ω [A, H (ω )] , (16) t hfb t t t for all observables A, where H (ω ) is an explicit quadratic Hamiltonian given in hfb Eq. (44), which depends on a quasifree state ω ; see Theorem 2.3. The equivalence holds for observables linear or quadratic in creation- and annihilation operators. Equation (14), with the Hamiltonian H given by (4), is equivalent to the HFB Eqs. (20)–(22) derived from it below. 46 Page 6 of 43 V. Bach et al. J. Evol. Equ. A state ω ∈ S is called U (1)-gauge invariant, if it satisfies ω ψ (x ) ··· ψ (x ) = ω ψ (x ) ··· ψ (x ) , 1 n 1 n θ θ 3 i θ for all θ ∈ R and all x ,..., x ∈ R , where ψ (x ) := e ψ(x ). A quasifree state 1 n θ q q ω is U (1)-gauge invariant iff φ q and σ q are vanishing. Indeed, ω ψ(x ) = ω ω q i θ q q ω ψ (x ) = e ω ψ(x ) , for all θ, implies ω ψ(x ) = 0. A similar argument applies to ω ψ(x )ψ ( y) . If the initial state ω is a U (1)-gauge invariant quasifree q q state, H is given by (4), and ω is the solution of Eq. (14), then ω is also a U (1)-gauge t t invariant quasifree state. Then, one can show that the self-consistent Eq. (16) and the HFB Eqs. (39)–(43), reduce to the bosonic Hartree–Fock equation, i.e., to the HFB equations with φ = 0, σ = 0, and γ being the only dynamical quantity. t t t 1.4. HFB equations for truncated expectations As was mentioned above, a quasifree state ω ∈ Q determines, and is determined by, the truncated expectations up to second order in the following sense: 1. ω → : Given a (not necessarily quasifree) state ω ∈ S and its expectations φ(x ) := ω[ψ(x )], ∗ ∗ (17) γ(x ; y) := ω[ψ ( y)ψ(x )]− ω[ψ ( y)] ω[ψ(x )], σ(x , y) := ω[ψ(x)ψ( y)]− ω[ψ(x )] ω[ψ( y)] , up to second order, and denoting by γ and σ the operators with integral kernels given by γ(x , y) and σ(x , y), respectively, we have that (see (51) below) γσ = ≥ 0 , (18) σ ¯ 1 +¯ γ where A := C σ C, with C denoting complex conjugation in the position-space representation, (i.e., complex conjugation of wave functions of spatial variables). Note in passing that this implies, in particular, that ∗ ∗ γ = γ ≥ 0 and σ =¯ σ. (19) γσ q ∗ ∗ 2. → ω : Conversely, given γ = γ ≥ 0 and σ =¯ σ such that := ≥ σ ¯ 1+¯ γ 2 d q 0 obeys (18) and φ ∈ L (R ), there exists a unique quasifree state ω ∈ Q such that (17) holds true with ω replacing ω. 2 d Actually, the condition that φ ∈ L (R ) is too restrictive and can be relaxed, depending on the context. 3. ω → q[ω]: Given a state ω ∈ S and going through 1. and 2. above yields the quasifree reduction q[ω]:= ω of ω. J. Evol. Equ. The time-dependent Hartree–Fock–Bogoliubov Page 7 of 43 46 The matrix operator in (18) is called “generalized one-particle density matrix”. The positivity condition on in (18) can be expressed directly in terms of γ and σ;see [4], [3]. The steps 1. and 2., whose composition yields the quasifree reduction q,were first carried out in [2, Lemmata 3.2-3.5]. We will use (18) in proving the global existence for the HFB equations (see Propo- sition 3.1(4) and the paragraph after Eq. (90)). (2) Evaluating (14) for monomials A ∈ A , where (2) ∗ A := ψ(x ), ψ (x )ψ ( y), ψ (x )ψ ( y) , yields a system of coupled nonlinear PDE’s for (φ ,γ ,σ ),the Hartree–Fock–Bogo- t t t liubov (HFB) equations, i ∂ φ = h + v ∗ d(γ ) + v γ φ + v σ φ , (20) t t t t t t φ φ φ φ ∗ t t t ∗ t i ∂ γ = h + v ∗ d(γ ) + v γ ,γ + v σ σ − σ v σ , (21) t t t t t t t t t φ φ φ φ t t t t i ∂ σ = h + v ∗ d(γ ) + v γ ,σ + v σ ,γ + v σ , (22) t t t t t t t t + + T T T φ φ where [ A , A ] = A A + A A , A := A , γ := γ +|φφ|, σ := σ +|φφ|. 1 2 + 1 2 2 1 Moreover, d(α)(x ) := α(x , x ), and v ∗ d(γ ) is multiplication by the convolution of v with the one-particle density corresponding to γ , and the Schwartz integral kernel v α(x , y) := v(x , y)α(x , y) results from the product of v(x − y) with the integral kernel of α. The HFB equations are presented again in Eqs. (39)–(43), below. Since quasifree states are characterized by their truncated expectations φ, γ and σ , this system of equations is equivalent to Eq. (14). For comparison of the HFB Eqs. (39)–(43) with the physics literature, we formally assume the pair interaction potential v to be a delta distribution, v(x − y) = g δ(x − y), (23) where g ≥ 0 is a coupling constant. The HFB Eqs. (20)–(22) then assume the simpler form: φ φ t t 2 i ∂ φ = h (γ )φ + gd(σ )φ − 2g|φ | φ , (24) t t gδ t t t t t t φ φ φ t t ∗ t i ∂ γ =[h (γ ), γ ]+ gd(σ )σ − gσ d(σ ), (25) t t gδ t t t t t t φ φ φ t t t i ∂ σ =[h (γ ), σ ] + g[d(σ ), γ ] + d(σ ), (26) t t gδ t + t + t t t where h (γ ) := h + 2gd(γ ) , with h as in 4. (27) gδ (Note that here and in what follows, we denote multiplication operators and functions by which they multiply by the same symbols. The meaning is always clear from context.) In our results (see Theorem 2.2) and proofs, we always assume that the two-body potential is smooth. 46 Page 8 of 43 V. Bach et al. J. Evol. Equ. The physical interpretation of the truncated expectations of ω is as follows: The function φ is the quantum-mechanical one-particle wave function of the Bose–Einstein condensate, while γ and σ describe the dynamics of sound waves in the quasifree t t approximation; in particular, d(γ ) determines the density of the “thermal cloud” of atoms. (In the physics literature, n = d(γ ) and m = d(σ ) are called the non- condensate density and anomalous density, respectively.) The HFB Eqs. (24), (25) and (26) provide a time-dependent extension of the standard stationary Hartree–Fock–Bogoliubov equations for a Bose gas found in the physics literature; see, e.g., [9,19,21,42]. Related equations (with φ = 0) appear in super- conductivity. These so-called Bogoliubov-de Gennes equations are equivalent to the BCS effective Hamiltonian description. 1.5. Summary of main results The formulation of the nonlinear quasifree approximation in the form of Eq. (14), and the derivation of its equivalent formulations as self-consistent Eq. (16)for ω and the HFB Eqs. (39)–(43)) for the truncated expectations φ, γ , σ , are among the main results presented in this paper; (see Theorems 2.2 and 2.3). We also initiate a mathematical study of solutions of the HFB equations. In particu- lar, if the initial state ω is s.t. the operator γ is trace-class (i.e., the number of atoms 0 0 is finite) and σ is Hilbert-Schmidt—for precise hypotheses see Sect. 2—wehavethe following results: • Conservation of the total number of atoms in the gas: N (φ ,γ ,σ ) := ω (N), (28) t t t where N is the particle-number operator; (see Corollary 2.5). • Existence and conservation of the total energy (under suitable conditions on the two-body potential v and on the initial state ω ): q q E (φ ,γ ,σ ) := ω (H) = ω (H), (29) t t t i.e., E (φ ,γ ,σ ) is independent of t; see Corollary 2.5 and Theorem 2.6,or t t t Prop 3.12. γσ • Positivity preservation property:If = ≥ 0at t = 0, then this σ ¯ 1 +¯ γ holds for all times. • Global well-posedness (Theorem 4.1) of the HFB equations. It is in the proof of the local existence part of the last statement (Lemma 4.5(i)) that an error was made in [3]. In Lemma 4.5 (i) in Sect. 4 we prove the corresponding estimate under a more restrictive condition on the pair potential v - Condition (b’) above. In [7], the program outlined in [3] and this paper has been pursued for equations analogous to the HFB equations valid for fermions, namely the Bogoliubov-de Gennes equations; see also [17]. For references to related work see [7,17]. J. Evol. Equ. The time-dependent Hartree–Fock–Bogoliubov Page 9 of 43 46 We will show that any observable conserved by the von Neumann–Landau dynamics which is linear or quadratic in the creation- and annihilation operators is also conserved by the quasifree dynamics; see Theorem 2.4. In the special case of the observable N, this yields the statement above. Energy conservation follows from Eq. (14), with q q A = H (ω ), the quadratic nature of H (ω ), and Eq. (16). hfb hfb t t Note that conservation of the total number of atoms in the gas is a consequence of (global) U (1)-gauge invariance, i.e., invariance of the Hamiltonian H under the transformations i θ ∗ −i θ ∗ d ψ(x ) → e ψ(x ), ψ (x ) → e ψ (x ), ∀θ ∈ R, ∀x ∈ R . The total particle number, N (φ,γ,σ ) := ω (N), and energy, E(φ,γ,σ ) := ω (H), as functions of (φ,γ,σ ), can be evaluated explicitly: N (φ,γ,σ ) = γ(x ; x ) +|φ(x )| dx . (30) The energy E(φ,γ,σ ) is given explicitly in Eq. (47). For a delta-function pair potential, v = gδ, it takes the form E(φ,γ,σ ) = Tr[h(γ +|φφ|)] 2 2 2 + g 2n(x )|φ(x )| + n(x ) + |w(x )| dx . (31) q q q q (In terms of H (ω ), we have that E(φ,γ,σ ) := ω (H) = ω (H (ω )) + scalar.) hfb hfb As usual, if γ is trace-class and σ is Hilbert–Schmidt the energy functional E can be used to give a variational characterization of stationary Gibbs states: • Gibbs states minimize the energy E(φ,γ,σ ) under the constraint of constant entropy and for a fixed value of the expected particle number. Equation (16) suggests to define HFB stationary states as the quasifree states sat- isfying the equation q q ω [A, H (ω )] = 0 , (32) hfb for all observables A. (If ω is given by a density matrix, we can rewrite this equation as an explicit fixed point equation, see (33) below.) The most interesting ones among such states are the ground states and Gibbs states. These states are defined as: q q ω := lim ω , β,μ L L→∞ where ω is the quasifree ground state or Gibbs state of a Bose gas confined to a d d d torus, = R /2L Z , i.e., to the box [−L , L] with periodic boundary conditions. It satisfies the fixed point equation q q q q (ω ) = ω , with (ω )(A) := Tr[A exp(−β(H (ω ) − μN))]/, β,μ β,μ hfb L L L L (33) 46 Page 10 of 43 V. Bach et al. J. Evol. Equ. where β> 0 is the inverse temperature, μ is the chemical potential, and the expo- nential of the negative pressure = Tr[exp(−β(H (ω )) − μN)] is the partition hfb function of the gas. The quasifree state ω fulfilling (33) is a solution to Eq. (32)(or a stationary solution of Eq. (16)) for a gas confined to the box . With regard to the thermodynamic limit, L →∞, we note that if the external potential V vanishes (i.e., for a translation-invariant Hamiltonian), q q q q ω [H (ω ), A] := lim ω [H (ω ), A] = 0, hfb hfb L L L→∞ for any observable A localized in a compact region of position space. Furthermore, if the external potential V vanishes (the translation-invariant case), one should replace the total energy and the particle number by the energy density and particle density, respectively, in order to study the approach to the thermodynamic limit, L →∞. If V = 0 and γ and σ are translation-invariant, then the integrand in the energy functional E(φ,γ,σ ) (see (47)) is the energy density functional introduced in [18] and further studied in [38,39]. It is shown in the latter papers that this functional has minimizers under the constraint of constant entropy- and particle densities. In [38,39] it is also shown that a condensate appears in the corresponding minimizers. (To complete the picture one should show that the states thus obtained are stationary solutions to Eq. (16).) In this paper, we do not consider the general problem of existence of static solu- tions. However, for V = 0, we present a result concerning existence of the positive- temperature, U (1)-gauge- and translation-invariant HFB Gibbs states, and we show that Bose–Einstein condensation (BEC) occurs above a critical density; see Theo- rem 5.3. As mentioned above, for U (1)-gauge-invariant quasifree states, φ = 0 and σ = 0; and hence HFB Gibbs states with these properties are, in fact, stationary solutions of the bosonic Hartree–Fock equation. Moreover, as the results of [38,39]show, in the BEC regime, these states are not minimizers of the full HFB energy density, at fixed values of the entropy- and particle density. However, the existence of such states exhibiting Bose–Einstein condensation suggests that there are also U (1)-symmetry breaking HFB Gibbs states with φ = 0 and σ = 0. 1.6. Fixed point equation Let U (t, s) denote the unitary propagator on bosonic Fock space F,see (1), solving i ∂ U q (t, s) = H (ω ) U q (t, s), with U q (s, s) = 1 , ∀s . (34) t ω hf b ω ω In terms of this propagator, we can rewrite Eq. (16), with initial condition ω = ω , as a fixed point problem, q q q q q q ω = (ω ), with (ω )(A) := ω (U (t, 0) AU (t, 0)), (35) t t ω ω (·) (·) 0 J. Evol. Equ. The time-dependent Hartree–Fock–Bogoliubov Page 11 of 43 46 for all times t ∈ R. Since the propagators U (t, s) are generated by families of qua- dratic Hamiltonians, we have that ω (U q (t, 0) AU q (t, 0)) is a quasifree state, for ω ω any time t. This formulation opens the possibility to prove existence of the quasifree dynamics directly, using a Brouwer–Schauder-type fixed-point theorem, without pass- ing to the truncated expectations φ, γ and σ . In this paper, we do not study whether the quasifree effective dynamics (16)(the HFB equations) provide an accurate approximation to the many-body dynamics (9), for finite times. There is a large literature concerning the derivation of the simpler Hartree- and Hartree–Fock equations from many-body dynamics in a limiting (mean- field) regime. Recently, evolution equations that include linear fluctuations around solutions of the Hartree equation (i.e., equations arising from linearization of the HFB equation in γ and σ ) have been derived in [22,23,31–33,36]; see [30]for a recent review, and [27] for an early contribution. Independently and in a different framework, equations equivalent to (39)–(41) are derived for pure states along with the conservation of particle number and energy in [22] and re-derived in a different way 2 ∗ in [24]. For pure quasifree states, the relation γ + γ = σσ holds, and Eqs. (39)–(41) turn out to be Hamiltonian evolution equations. 1.7. Organization of the paper In Sect. 2, we first present the HFB equations, which we derive in Appendix 6. We then show that certain conservation laws for the many-body problem imply cor- responding conservation laws for the HFB equation. In Sect. 3, we show that the space of solutions of the HFB equations has a symplectic structure, and that these equations have similarities with Hamiltonian equations of motion. In Sect. 3, we explain how the symplectic version of the HFB equations is related to the HFB eigenvalue equations found in the physics literature. In Sect. 4, we prove that the Cauchy problem for the HFB equations is globally well- posed in the “energy space”, provided that the pair interaction potential is assumed to have suitable regularity properties. Our proof of global well-posedness is inspired in part by previous work on the Hartree-Fock equation [11,12,15,16,49]. We note that global existence for the related time-dependent Bogolubov-de Gennes equations for fermion systems has recently been established in [7], using a similar proof strategy. In Sect. 5, we prove Bose–Einstein condensation for stationary states. A brief summary of the theory of quasifree states and proofs of various technical lemmata is collected in Appendices. 2. The HFB equations and their basic properties In this section, we formulate the HFB equations for a general pair potential v and prove the associated conservation laws. The derivation of the HFB equations is done in Appendix 6 by applying the quasifree reduction as in the introduction. 46 Page 12 of 43 V. Bach et al. J. Evol. Equ. Definition of spaces. Let M := ∇ = 1 − , with being the Laplacian in d x x x 1 2 dimensions. We denote by L and L the spaces of trace-class and Hilbert–Schmidt 2 d operators on L (R ) endowed with the trace norms · and · , resp. For j ∈ N 1 2 L L we define the spaces j j j j j j j X = H ⊕ H ⊕ H = (φ,γ,σ ) ∈ H × H × H , (36) γ σ γ σ j j d − j 1 − j with H being the Sobolev space H (R ), H := M L M being the space of j j 2 trace-class operators γ such that M γ M is also trace-class, and H := {σ ∈ L : j j M σ +σ M < ∞} which may be viewed as the space of square-integrable 2 2 L L 3 3 j j functions σ on R × R such that both ∇ σ and ∇ σ are square-integrable, too. x y Defining the norms j j j j j φ := M φ , γ := M γ M , σ := M σ +σ M , j 2 j 1 j 2 2 H L L L L H H γ σ (37) j j j j on H , H , and H , respectively, we endow the spaces X with the norms γ σ (φ,γ,σ ) j =φ j +γ j +σ j X H H H γ σ 0 3 1 1 Furthermore, we let X := C ([0, T ); X ) ∩ C ([0, T ); X ) and we denote by X qf qf st and X the spaces of quasifree states and families of quasifree states with the 1 and nd j 2 order truncated expectations from the spaces X and X , respectively. Remark 2.1. For systems with infinite number of particles and finite density, one could d d d d replace R by the torus T := R /(L Z) and then pass to the thermodynamic limit. In what follows, we assume Conditions (a) and (b) stated in the Introduction [see Eqs. (5) and (6)]. q qf Theorem 2.2. The family of quasifree states ω ∈ X satisfies q q (2) i ∂ ω (A) = ω ([A, H]), ∀ A ∈ A , (38) t t with the Hamiltonian H defined in (4), if and only if the triple (φ ,γ ,σ ) ∈ X t t t T st nd of the 1 and 2 order truncated expectations of ω satisfies the time-dependent Hartree–Fock–Bogoliubov equations i ∂ φ = h(γ )φ + k(σ )φ , (39) t t t t t φ φ φ t t ∗ t ∗ i ∂ γ =[h(γ ), γ ]+ k(σ )σ − σ k(σ ) , (40) t t t t t t t t φ φ φ t t t i ∂ σ =[h(γ ), σ ] +[k(σ ), γ ] + k(σ ), (41) t t t + t + t t t T T φ φ where [ A , A ] = A A + A A , γ := γ +|φφ| and σ := σ +|φφ|, and 1 2 + 1 2 2 1 h(γ ) = h + b[γ ] , b[γ ]:= v ∗ d(γ ) + k(γ ) , (42) J. Evol. Equ. The time-dependent Hartree–Fock–Bogoliubov Page 13 of 43 46 where d(γ )(x ) := γ(x , x), k(σ ) := v σ , and v σ(x , y) := v(x − y)σ (x , y). (43) If v = gδ, then h(γ ) agrees with h (γ ), and k(σ ) agrees with the multiplication gδ operator by gd(σ )(x ), respectively, in (24)–(26). Due to the fact that h(γ ) is −bounded, for each t > 0, the r.h.s. of (39)–(41) belongs to the space X . The proof of Theorem 2.2 is given in Appendix 6. We now show that Eqs. (14)(or (39)to(41)) and (16) describing the quasifree dynamics are equivalent. q st nd For a quasifree state ω with 1 and 2 order truncated expectations (φ,γ,σ ) ∈ X , we define the quadratic Hamiltonian parametrized by (φ,γ,σ ) as: q ∗ H (ω ) = ψ (x )h (γ )ψ (x ) dx hf b v − ψ (x )b |φφ| φ(x ) dx + h.c. ∗ ∗ + ψ (x ) k[σ ](x , y)ψ ( y) dx d y + h.c.. (44) Theorem 2.3. Equation (14) is equivalent to the nonlinear, self-consistent evolution equation q q q i ∂ ω (A) = ω ([A, H (ω )]), (45) t hf b t t t defined for all observables A. The equivalence holds for observables linear or qua- dratic in creation- and annihilation operators. Moreover, truncated expectations (φ ,γ ,σ ) ∈ X satisfy the HFB Eqs. (39) to (41) t t t T q qf if and only if the corresponding quasifree state ω ∈ X satisfies (45). t T The proof of Theorem 2.3 is given in Appendix C. We now prove the conservation laws for the number of particles (or more generally, for any observable commuting with the Hamiltonian H which is quadratic with respect to creation and annihilation operators), and for the energy. (2) Theorem 2.4. Assume that an observable A ∈ A satisfies [H, A]= 0. Then, ω (A) is conserved: q q ω (A) = ω (A) ∀ t ∈ R . (46) t 0 Proof. This follows from (38)for A of order up to two, with [A, H]= 0. To draw some consequences from this result, we need to define additional spaces. q qf Corollary 2.5. Let ω ∈ X solve (38) (or (45)). Then, the number of particles q q N (φ ,γ ,σ ) = ω (N) and the energy ω (H) are conserved. t t t t t 46 Page 14 of 43 V. Bach et al. J. Evol. Equ. q qf q Theorem 2.6. Let ω ∈ X . Then, the energy ω (H) = E(φ,γ,σ ) is given explicitly as: E(φ,γ,σ ) = Tr[h(γ +|φφ|)]+ Tr[b[|φφ|]γ ] 1 1 + Tr[b[γ ]γ ]+ v(x − y)|σ(x , y) + φ(x )φ ( y)| dx dy . (47) 2 2 Proof. We use q ∗ ω (A) := ω (W AW ), (48) where the Weyl operators are defined through W = exp ψ (φ) − ψ(φ) and satisfy W ψ(x )W = ψ(x ) + φ(x). (49) q q Note that the state ω is quasifree because ω is quasifree. By construction ω (ψ (x )) Ct C q q = 0 and thus using (10) and the quasifreeness of ω , one sees that ω vanishes C C on monomials of odd order in the creation and annihilation operators. Note that E(φ,γ,σ ) = ω (W HW ), hence using the vanishing on monomials of odd order C φ in the creation and annihilation operators ∗ ∗ E(φ,γ,σ ) = ω v(x − y)ψ (x )ψ ( y)ψ (x )ψ ( y)dxd y C,t ∗ ∗ + v(x − y)φ (x )φ ( y)ψ (x )ψ ( y)dxd y + h.c. t t + h + b[|φφ |] (x ; y)ψ (x )ψ ( y)dxd y + |φ(x )φ ( y)| v(x − y)dxd y +φ, hφ . Then, using that ω is a quasifree state with expectations (0,γ,σ ) yields 1 1 E(φ,γ,σ ) = Tr[b[γ ]γ ]+ σ(x , y)v(x − y)σ (x , y)dxd y) 2 2 + σ(x , y)v(x − y)φ (x )φ ( y)dxd y + Tr[(h + b[|φφ|])γ ]+ |φ(x )φ ( y)| v(x − y)dxd y +φ, hφ which gives the expression of the energy in terms of φ, γ and σ . 3. Generalized one-particle density matrix and Bogoliubov transforms In this section, we consider the HFB Eqs. (40)–(41)for γ and σ and reformulate t t γ σ t t them in terms the generalized one-particle density matrix = .Weshow σ¯ 1+¯ γ t t J. Evol. Equ. The time-dependent Hartree–Fock–Bogoliubov Page 15 of 43 46 that the diagonalizing maps for are symplectomorphisms (see below for the defini- tion) and that the resulting equation for is equivalent to the evolution equation for these symplectomorphisms. The latter will allow us to (a) give another proof of the conservation of energy without using the second quantization framework and (b) con- nect the time-dependent HFB Eqs. (40)–(41) to the time-independent HFB equations used in the physics literature. See Sect. 3. γσ We begin by relating properties of = to those of γ and σ . σ ¯ 1+¯ γ Proposition 3.1. The generalized one-particle density matrix, , is nonnegative, γσ = ≥ 0 , (50) σ ¯ 1 +¯ γ iff the following four conditions 1. – 4. are fulfilled, 1. The operator γ ≥ 0 is positive semidefinite. 2. The expectation σ(x , y) = σ( y, x ) is symmetric. −1 ∗ 3. The inequality σ(1 +¯ γ) σ ≤ γ holds true in the sense of quadratic forms. 1 2 4. The bound σ ≤γ 1 (1 + Tr[γ ]) holds true. 2 H (Statement (4) follows from (1) and (3) and is given here for later convenience of references.) Proof. We remark that the truncated expectations γ and σ are the expectations of the state ω (A) := ω(W AW ) C φ ∗ ∗ where W = exp ψ (φ) − ψ(φ) are the Weyl operators. W satisfy W ψ(x )W = φ φ φ ψ(x ) − φ(x ). The generalized one particle density matrix of ω is non-negative, since, for all f, g in L , f γσ f ∗ ∗ , = ω (ψ ( f ) + ψ(g ¯))(ψ ( f ) + ψ (g ¯)) ≥ 0 . (51) g σ ¯ 1 +¯ γ g Statements (1) and (2) are obvious. The inequality in Point (3) follows from the Schur complement argument: −1 −1 1 −σ(1 +¯ γ) γσ 1 −σ(1 +¯ γ) 0 ≤ 01 σ 1 +¯ γ 01 −1 ∗ γ − σ(1 +¯ γ) σ 0 = . 01 +¯ γ Finally, we observe that (1) and (3) and the inequality γ ≤ Tr[γ ]1 imply the following bound on σσ , −1 ∗ −1 ∗ (1 + Tr[γ ]) σσ ≤ σ(1 +¯ γ) σ ≤ γ. Inserting M = 1 − on both sides and taking the trace yields (4). x 46 Page 16 of 43 V. Bach et al. J. Evol. Equ. Notations. With the spaces and norms defined in (36)–(37) and for j ∈ N we define the spaces j j j Y = K ⊕ K , (52) γ σ with the norms on Y given by (γ , σ ) j =γ j +σ j . K K γ σ 0 3 1 1 We also use the spaces Y := C ([0, T ); Y ) ∩ C ([0, T ); Y ) and Y := the space T T of generalized one-particle density matrices, , with entries in Y . 0 3 In what follows we fix a number T > 0 and a family φ ∈ C ([0, T ); H ) ∩ 1 1 C ([0, T ); H ) (not necessarily a solution of (39)) and do not display it in our notation. A simple computation yields the first result of this section: Proposition 3.2. (γ ,σ ) ∈ Y is a solution to the HFB Eqs. (40)–(41) iff = t t T t γ σ t t ∈ Y solves the equation σ¯ 1+¯ γ t t i ∂ = S( ) − ( )S , (53) t t t t t t φ φ h(γ ) k(σ ) with ( ) = , where, recall, h(γ ) and k(σ ) are defined in (42) and (43), φ φ k(σ ) h(γ ) and S = . 0 −1 To formulate the next result, we introduce some definitions. Definition 3.3. Let h denote a complex Hilbert space. A bounded linear operator u v U = on h ⊕ h with the property that v ¯ u ¯ ∗ ∗ U SU = S and USU = S , (54) where S = , is called a symplectomorphism. 0 −1 If, moreover, there exists a unitary transformation U on Fock space, sometimes called implementation of U, such that ∗ ∗ ∗ ∀ f, g ∈ h , U[ψ ( f ) + ψ(g ¯)]U = ψ (uf + vg) + ψ(v f + u g ¯), then the symplectomorphism U is said to be implementable. Remark 3.4. The operator U is a symplectomorphism in the sense that it preserves the symplectic form Im· , S · on h ⊕ h (i.e., is a canonical map). (In fact, U preserves · , S ·.) Remark 3.5. The operator U is a symplectomorphism if and only if the operator f → uf + v f is a symplectomorphism on (h, Im·, ·) in the usual sense (i.e., it preserves the symplectic form Im·, ·) Remark 3.6. The conditions in (54) are equivalent to satisfying the four equations ∗ ∗ ∗ T ∗ T T T uu − vv = 1 , u u − v v ¯ = 1 , u v = v u ¯ , uv = vu . (55) J. Evol. Equ. The time-dependent Hartree–Fock–Bogoliubov Page 17 of 43 46 Remark 3.7. The transformation ∗ ∗ ∗ ¯ ¯ ¯ ∀ f, g ∈ h,(ψ ( f ), ψ ( f )) → (ψ (uf ) + ψ(v f ), ψ (v f ) + ψ(u f )) (56) is called a Bogoliubov transformation. It is easy to check that it preserves the CCR iff u v the operator U = satisfies (54). v ¯ u ¯ If v is Hilbert–Schmidt, then the Bogoliubov transformation (56) is implementable. This condition is referred to as the Shale condition; see [47]. For later use, we introduce the Banach space ab ∞,2 1 −1 2 −1 H = a ∈ B( H ) MB(h) M , b ∈ ML M , b a ¯ where B( E ) denotes the (Banach) space of bounded operators on a Banach space E. ab ∞,2 H is endowed with the norm =a 1 +b 2 −1,using the ∞,2 ¯ B( H ) ML M b a ¯ same identification between operators and kernels as before. We begin with an auxiliary result: γσ Proposition 3.8. Let = ∈ Y and ≥ 0. Then, there exist an imple- σ ¯ 1+¯ γ ∞,2 mentable symplectomorphism U ∈ H such that γ 0 = U U , 01 + γ where 0 ≤ γ ≤ γ . The operator γ is unique up to conjugation by a unitary operator. This result is related to Theorem 1 of [37], which is stronger. See also [5,8]. As the relation between the two results is not obvious, we give a direct proof of Proposition 3.8 after the proof of Proposition 3.9. The next result relates the evolution of to the evolution of implementable sym- ∞,2 plectomorphisms U ∈ H that diagonalize . t t Proposition 3.9. (i) For any ∈ Y and any implementable symplectomorphism t T ∞,2 U ∈ H , the initial value problem ∗ ∗ i ∂ U = S( )U , U = U , (57) t t t =0 0 t t ∞,2 has a unique solution in H , which is a symplectomorphism for every t . ˜ ˜ (ii) Let ∈ Y solve Eq. (53), with an initial condition ∈ Y , s.t. ≥ 0. Let t T 0 0 U be an implementable symplectomorphism diagonalizing , 0 0 γ 0 ∗ 0 = U U , = . 0 0 0 0 0 01 + γ ∞,2 Then, the continuous family of implementable symplectomorphisms U in H (h × h) satisfying (57), with the above U , diagonalizes : 0 t = U U ≥ 0 . (58) t t t 0 46 Page 18 of 43 V. Bach et al. J. Evol. Equ. Proof of Prop. 3.9. The operator ( ) can be decomposed as ( ) = + t t 1 2,t with h 0 b[γ +|φ φ |] k[σ + φ ⊗ φ ] t t t t t t = , = . 1 2,t 0 h k[σ + φ ⊗ φ ] b[γ +|φ φ |] t t t t t t ∞,2 The first operator, , is the generator of a continuous one-parameter group in H . As for the second one, using the continuity of t → ∈ Y and Lemma 4.5, we get ∞,2 the continuity of t → ∈ H . We can thus use classical results of functional 2,t analysis (see, e.g., [28]) to obtain the existence and uniqueness of U and its regularity. The same arguments as in the next lemma prove that U is a symplectomorphism. Finally, and U U satisfy the same differential equation, and the uniqueness t 0 t of a solution to (57) proves the last equality. Proof of existence in Prop. 3.8 We split the proof into two lemmata, Lemmata 3.10, establishing local existence, and 3.11, proving global existence, below. The strategy is to construct and symplectomorphisms U such that U U = , for all t, and t t t t 0 in the limit t →∞, has the desired form. The key step will be to use a differential equation for implying σ 0. t t a b t t ∞,2 Lemma 3.10. (i) Let T > 0 and t → = ∈ C ([0, T ); H ). Then, the b a ¯ t t ordinary differential equation ∗ ∗ i ∂ U = S U , (59) t t t t ∗ 1 ∞,2 with initial data U = , has a unique global solution U ∈ C ([0, T ); H ), 0 01 and U is a symplectomorphism for all time. 1 1 1 1 (ii) Moreover, if γ ∈ C ([0, T ); H ), σ ∈ C ([0, T ); H ) satisfy t t γ σ i ∂ γ = a γ − b σ¯ − γ a + σ b , (60) t t t t t t t t t t i ∂ σ = a σ − b (1 +¯ γ ) − γ b + σ a ¯ , (61) t t t t t t t t t t with initial data σ = σ , γ = γ given in Prop 3.9(i), then, for all time t ∈[0, T ), 0 0 U U = . (62) t t 0 Proof. The existence and uniqueness of U follows from the theory of time-dependent 1 1 linear ordinary differential equations once one observes that H and H are continu- γ σ 1 2 2 −1 ∗ ously embedded in B( H ) and ML (L ) M .At t = 0, U SU = S and ∗ ∗ i ∂ (U SU ) = U − SS + SS U = 0 , t t t t t t t ∗ ∗ thus U SU = S for all time, and, to prove U SU = S, one observes that t t t t ∗ ∗ ∗ i ∂ (U SU ) =−(U SU ) S + S (U SU ), t t t t t t t t t J. Evol. Equ. The time-dependent Hartree–Fock–Bogoliubov Page 19 of 43 46 which is a linear time-dependent ordinary differential equation for U SU which also admits the constant solution S. By uniqueness of the solution, one gets that U SU = S. Hence, U is a symplectomorphism for all time. Similarly, the derivative i ∂ U U vanishes because, using (60) and (61), t t t i ∂ = S − S . t t t t t t ∗ ∗ Thus U U = U U = for all times. t t 0 0 0 We choose a and b in (60) and (61) such that σ vanishes in the limit t →∞. t t t 1 2 Let L (h) and L (h) denote the spaces of trace-class and Hilbert–Schmidt operators, resp., on the space h. Lemma 3.11. (i) The ordinary differential equation ∂ γ =−2σ σ¯ , (63) t t t t ∂ σ =−(σ + σ γ¯ + γ σ ), (64) t t t t t t t with initial data σ = σ , γ = γ given in Prop. 3.9(i), has a unique global 0 0 1 1 2 solution (γ ,σ ) ∈ C [0, ∞); L (h) × L (h) . t t 1 1 2 (ii) Given the solution (γ ,σ ) ∈ C [0, ∞); L (h) × L (h) from (i), let = t t t u v γ σ 0 i σ t t t t , U = and = be as in Lemma 3.10. Then, U t t t v ¯ u ¯ σ ¯ 1+¯ γ −i σ ¯ 0 t t t t ∞,2 converges in H to a symplectomorphism U and γ 0 ∗ ∗ = U U = U U , 0 ∞ ∞ ∞ ∞ ∞ 01 +¯ γ with 0 ≤ γ ≤ γ . ∞ 0 Proof. The existence of maximal solutions to (63)–(64) follows from the Picard– Lindelöf theorem. Now using the U constructed in Lemma (3.10), one gets that −1 ∗ −1 (U ) (U ) = , which implies that ≥ 0 and thus γ ≥ 0. It then follows t 0 t t t from (63) that γ is decreasing in the sense of quadratic forms and γ 1 ≤γ 1 . t t 0 H H γ γ 2 ∗ One first obtains an estimate on σ = Tr[σ σ ],using (64): t 2 t 2 ∗ ∗ ∗ ∗ ∂ σ = Tr − (σ + σ γ¯ + γσ )σ − σ (σ +¯ γ σ + σ γ ) t t 2 t t t t t t t t t t t ∗ 2 ≤− 2Tr σ σ =−2σ . t t 2 This implies that σ ≤σ exp(−t ). Using again (64) and the fact that γ ≥ 0 2 2 t 0 t L L one finds that 2 ∗ 2 ∗ ∗ ∗ 2 ∂ σ = Tr − (σ + σ γ¯ + γ σ )σ M − σ (σ +¯ γ σ + σ γ ) M t t t t t t t t t t t t t t 2 ∗ 2 ∗ 2 ≤−2σ − Tr[γ σ σ M ]− Tr[σ σ γ M ] t t t t t t t 1/2 1/2 We remark that |Tr[ M γ σ σ M ]| ≤ γ γ σ σ 1 and t t t t B(h) t 1 t H H σ 1/2 1/2 1/2 −t γ σ ≤γ σ ≤γ σ e , 2 2 2 t B(h) t 0 0 t t L L L Tr 46 Page 20 of 43 V. Bach et al. J. Evol. Equ. hence √ √ 2 2 −t 2 −2t ∂ σ ≤−2σ + 2Ce 2σ 1 ≤−σ + Ce t t 1 t 1 t t 1 H H σ H σ σ σ 2 −t 2 1 1 which yields σ ≤ Ce σ . The pair (γ ,σ ) is thus bounded in H ⊕ H t 0 t t 1 1 γ σ H H σ σ and the maximal time of the solution is T =∞. We also get that γ → γ in H as t ∞ t →∞ as γ is decreasing and bounded below, and σ → 0. t t Integrating the derivative of U and taking the norm of both sides yields ∗ ∗ ∗ U ≤U + σ U ds . (65) ∞,2 ∞,2 1 ∞,2 t H 0 H H s H The Grönwall lemma, combined with U ∞,2 = 1 and the estimate on σ 1 H H provide U ∞,2 ≤ exp σ 1 ds ≤ exp C σ 1 . s 0 H H H σ σ Thus, the integral S U ds is absolutely convergent and 0 s ∗ ∗ ∗ ∗ U − −− → U − i S U ds =: U t 0 s ∞ t →∞ ∞,2 ∗ in H , and the limit U is still an implementable symplectomorphism. Hence, ∗ ∗ ∗ − U U = U U − U U → 0 0 ∞ ∞ t t ∞ ∞ ∞ t ∞ γ 0 as t →∞, where = , and the convergence takes place in the space of 01+¯ γ 1 1 block operators with diagonal elements in H and off-diagonal elements in H .This γ σ proves the last point. This completes the proof of existence. Proof of uniqueness in Prop. 3.8 Indeed, let us consider γ and γ satisfying the conditions of Prop. 3.8. Then, there exists a symplectomorphism U such that γ 0 γ 0 ∗ ∗ = U U.As U SU = S, this is equivalent to 0 γ +1 0 γ +1 γ + 1/20 γ + 1/20 = U U (66) 0 γ + 1/2 0 γ + 1/2 , and we want to prove that γ and γ are unitarily equivalent in L . The off-diagonal ∗ T entries in (66) yield u (γ + 1/2)v + v (γ + 1/2)u ¯ = 0 and as U is a symplecto- −1 ∗−1 T morphism, we get from (55) that u is invertible and vu ¯ = u v . Thus, 1 1 −1 −1 (γ + )vu ¯ + vu ¯ (γ + ) = 0 . 2 2 J. Evol. Equ. The time-dependent Hartree–Fock–Bogoliubov Page 21 of 43 46 We can now use a known method to solve the Lyapunov (or Sylvester) equations: d 1 1 −1 −t (γ + ) −1 −t (γ + ) 2 2 vu ¯ =− e vu ¯ e dt dt 1 1 1 1 −t (γ + ) −1 −1 −t (γ + ) 2 2 = e γ + vu ¯ + vu ¯ γ + e dt = 0 , 2 2 whereweusedthat γ +1/2 ≥ 1/2, so that there is no problem in handling the integrals. Hence v = 0, and, using (55)again, u is a unitary operator. And thus γ = u γ u which proves the result. We now write the HFB equations in a form that is reminiscent of a Hamiltonian structure, and use it to give a direct proof of the conservation of the energy. u v 1 ∞,2 1 Notation: For φ ∈ H , U = ∈ H a symplectomorphism, and γ ∈ H v ¯ u ¯ non-negative. We set ∗ T H (φ, u,v) := φ, hφ+ Tr[(u γ u + v (1 +¯ γ )v) ¯ (h + b[|φφ|])] γ 0 0 ∗ T ∗ T + Tr[(u γ u + v (1 +¯ γ )v) ¯ b[u γ u + v (1 +¯ γ )v ¯]] 0 0 0 0 ∗ T ∗ T ¯ ¯ + Tr[k[u γ v + v (1 +¯ γ )u ¯ +|φφ|](v γ u + u (1 +¯ γ )v ¯ +|φφ|)] . 0 0 0 0 In the next proposition and its proof we use the abbreviations h(t ) ≡ h(γ ) and φ φ k(t ) ≡ k(σ ), where, recall, γ := γ +|φφ| and σ := σ + φ ⊗ φ, and h(γ ) and k(σ ) are defined in (42) and (43). 0 3 1 1 Proposition 3.12. Let ρ = (φ ,γ ,σ ) ∈ C ([0, T ); X ) ∩ C ([0, T ); X ) be a t t t t solution to the HFB Eqs. (39)–(41) in the classical sense, on an interval [0, T ), with T > 0. Let U and γ be as in Proposition 3.9. Then, E (φ ,γ ,σ ) = H (φ , u ,v ) and the derivatives of H and of (φ , u v ) t t t t t t t t, t γ γ 0 0 are linked through the equations ∂H (φ , u ,v ) = i ∂ φ , (67) t t t t t ∂φ ∂H γ 1 (φ , u ,v ) = γ i ∂ u + v k(t), (68) t t t t t t ∂ u 2 ∂H γ 1 (φ , u ,v ) =−γ i ∂ v + v h(t ) + u k(t). (69) t t t t t t t ∂v 2 The conservation of the energy E (φ ,γ ,σ ) follows. t t t Proof. Equation (58) is equivalent to ∗ T γ = u γ u + v (1 +¯ γ )v ¯ , t t t t 0 t 0 ∗ T σ = u γ v + v (1 +¯ γ )u ¯ . t t t t 0 t 0 46 Page 22 of 43 V. Bach et al. J. Evol. Equ. Hence, we can rewrite the expression of the energy in terms of φ , u , and v as t t t E (φ ,γ ,σ ) = H (φ , u ,v ). We then compute the derivatives of H : t t t t t t γ γ 0 0 ∂H 0 ∗ T (φ, u,v) = hφ + b[u γ u + v (1 +¯ γ )v ¯]φ + k[σ + φ ⊗ φ]|φ , 0 0 ∂φ ∂H 0 ∗ T (φ, u,v) = γ u(h + b[|φφ|] + b[u γ u + v (1 +¯ γ )v ¯]) 0 0 0 ∂ u ∗ T + ( + γ )vk[v γ u + u (1 +¯ γ )v ¯ +|φφ|] , 0 0 0 ∂H 0 T ∗ ¯ ¯ ¯ (φ, u,v) = (1 + γ )v(h + b[|φφ|] + b[u γ¯ u ¯ + v (1 + γ )v]) 0 0 0 ∂v ∗ T + ( + γ )uk[u γ v + v (1 +¯ γ )u ¯ +|φφ|] . 0 0 0 Replacing (φ, u,v) by (φ , u ,v ) yields t t t ∂H (φ , u ,v ) = hφ + b[γ ]φ + k(t )φ , t t t t t t t ∂φ ∂H γ 1 (φ , u ,v ) = γ u h(t ) + ( + γ )v k(t), t t t t t 0 0 ∂ u 2 ∂H γ 1 (φ , u ,v ) = (1 + γ )v h(t ) + ( + γ )u k(t), t t t t t 0 0 ∂v 2 which are in fact (67), (68), (69) using the HFB equations. Hence, using first the chain rule, then (67), (68), and (69), ∂H ∂H d γ γ 0 0 H (φ , u ,v ) =∂ φ | (φ , u ,v ) + (φ , u ,v )|∂ φ t t t t t t t t t t t t t dt ∂φ| ∂|φ ∂H ∂H γ γ ∗ 0 0 + Tr[∂ u (φ , u ,v )]+ Tr[∂ u (φ , u ,v )] t t t t t t t t t ∂ u ∂ u ∂H ∂H γ γ ∗ 0 0 + Tr[∂ v (φ , u ,v )]+ Tr[∂ v (φ , u ,v )] t t t t t t t t t ∂v ∂v ∗ ∗ = Re Tr[∂ u v k(t ) + ∂ v (v h(t ) + u k(t ))] . t t t t t t t We can now use that the evolution Eq. (57)on U is equivalent to i ∂ u = u h(t ) + v k(t), (70) t t t t i ∂ v =−u k(t ) − v h(t), (71) t t t t along with Tr[ A ]= Tr[ A] and the cyclicity of trace to group all the terms as in T ∗ ∗ H (φ , u ,v ) = Im Tr[k(t )h(t )(v u ¯ − u v ) − k(t )k(t )v v t t t t t t t t t dt T T T T +k(t )h(t )v u ¯ + 2h(t )h(t )v v ¯ + k(t )k(t )u u ¯ + h(t )k(t )u v ¯ ] t t t t t t t t J. Evol. Equ. The time-dependent Hartree–Fock–Bogoliubov Page 23 of 43 46 Table 1. Correspondence between the notations of this article and some notations common in the physics literature [21] This article φ(x)γ(x ; x)σ(x , x ) h k N V gδ gδ j [21] (r) n ˜ (r) m ˜ (r) L gm(r) N ( E ) U − μ 0 j ex t T ∗ which then vanishes since v u ¯ = u v for a symplectomorphism (see (55)), and the t t t t ∗ T T T T terms k(t )k(t )v v , h(t )h(t )v v ¯ , k(t )k(t )u u ¯ , and k(t )h(t )v u ¯ + h(t )k(t )u v ¯ t t t t t t t t t t give real traces. Relation to the HFB eigenvalue equations. Now, we link our work with the HFB eigenvalue equations often encountered in the physics literature [19,21,42]. To be explicit, we give, in Table 1, the correspondence between the notations of this article and those of an article of Griffin [21]. We note that the setting in [21] is not exactly the same as ours, since the class of external potentials V that we consider excludes trapping potentials, and the solutions (r) considered in [21] are time-independent. Moreover, we note that in this paper, we give rigorous proofs in the case of a two-body interaction potential v such that v is relatively form-bounded with respect to the Laplacian, which excludes potentials as singular as gδ; hence, the correspondence we establish in this section is only formal. Nevertheless, we believe that pointing out this relationship is useful. Moreover, we note that in the physics literature (see, e.g., [21, (23)]), the HFB eigen- value equations are often investigated using a generalized eigenbasis decomposition (using vectors often denoted by u , v which play the same role as below), which j j we can relate to our approach in the following manner, based on our discussion from Sect. 3. u v t t Let U = , and let γ ≥ 0 be a trace class operator as in Prop. 3.9, with the u ¯ v ¯ 0 t t orthonormal decomposition γ = N |ζ ζ |.Let j j j 0 j ≥0 ∗ ∗ u := u ζ and v := −v ζ . j,t j j,t j t t Then, (58) yields γ = N |u u |+ (1 + N ) |¯ v v ¯ | , t j j,t j,t j j,t j,t j ≥0 σ = N |u v |+ (1 + N ) |¯ v u ¯ | . t j j,t j,t j j,t j,t j ≥0 which yield [21, (25)] by evaluation on the diagonal: 2 2 γ (x ; x ) = N |u (x )| + (1 + N ) |v (x )| , (72) t j j,t j j,t j ≥0 σ (x , x ) = u (x )v ¯ (x )(1 + 2 N ). (73) t j,t j,t j j ≥0 46 Page 24 of 43 V. Bach et al. J. Evol. Equ. We now consider a pair interaction potential v = gδ. We assume that φ is indepen- dent of time and u , v have the simple form: j,t j,t −it E −it E j j u = e u ,v = e v . (74) j,t j,0 j,t j,0 We also distinguish the quantities corresponding to v = gδ by the index gδ. Then, (57) formally yields the HFB eigenvalue equations: h u − k v = E u , gδ j gδ j j j h v − k u =− E v , gδ j gδ j j j as presented in the work of Griffin [21, Eq. (23)]. Note that (72), (73), and (74)imply that γ (x ; x ) and σ (x ; x ) are time independent, since the phases simplify. t t We conclude that the HFB eigenvalue equations are the stationary version of our Eq. (57). It amounts to finding eigenvalues and eigenvectors for the matrix S in (57), which is a nonlinear problem since depends on γ and σ (that is, on u, v and γ ). Furthermore, the decomposition in functions u and v corresponds to a j j “diagonalization” of the generalized one-particle density matrix in the sense of Proposition 3.8. 4. Existence and uniqueness of solutions to the HFB equations We prove the global in time existence and uniqueness of mild solutions to the time-dependent Hartree–Fock–Bogoliubov equations in the H -setting. We recall that, given a Banach space X, f ∈ C ( X ), a continuous function on X, and −iA the infinitesimal generator of a strongly continuous semigroup G(t ) on X,a continuous function ρ :[0, T ) → X is called a mild solution of the problem i ∂ ρ = Aρ + f (ρ) , (75) ρ(0) = ρ ∈ X , if ρ solves the fixed point equation in integral form (with the integral in Bochner’s sense) ρ = G(t )ρ − i G(t − s) f (ρ ) ds. (76) t 0 s In what follows we use the notation A B to stand for an inequality of the form A ≤ CB, for some constant where C > 0. The main result of this section is the following Theorem 4.1. Let d ≤ 3 and ρ = (φ ,γ ,σ ) ∈ X . Assume that the potentials V 0 0 0 0 and v satisfy Conditions (a) and (b’) of Sect. 1.1. Then the following hold: J. Evol. Equ. The time-dependent Hartree–Fock–Bogoliubov Page 25 of 43 46 (i) Existence and uniqueness of a local mild solution: There exists a unique maximal solution 0 1 (ρ ) = (φ ,γ ,σ ) ∈ C ([0, T ); X ) t t ∈[0,T ) t t t t ∈[0,T ) to the HBF Eqs. (39) to (41) in the mild sense, for some 0 < T ≤∞. (ii) Existence and uniqueness of a local classical solution: If ρ ∈ X , then 0 3 1 1 (ρ ) ∈ C ([0, T ); X ) ∩ C ([0, T ); X ) t t ∈[0,T ) and ρ satisfies the HBF Eqs. (39) to (41) in the classical sense. (iii) Conservation laws: The number of particles Tr[γ ] and the energy (47) are constants. (iv) Positivity preservation property: γσ If = ≥ 0 at t = 0, then this holds for all times. σ ¯ 1 +¯ γ (v) Existence of a global solution: If additionally ≥ 0, then the solution ρ is global, i.e., T =∞. 0 t Proof of Theorem 4.1(i) [Local Mild Solutions] We use the notations introduced at the beginning of Sect. 2. The proof is based on a standard fixed point argument (through an application of the Cauchy–Lipschitz and Picard–Lindelöf theorem). Separating the linear part Aρ and nonlinear part f (ρ), we can write the HFB Eqs. (39)to(41)inthe form: i ∂ ρ = Aρ + f (ρ) , (77) where ρ := (φ,γ,σ ) ∈ X . Then, the linear part in the HFB equations is given by Aρ = hφ, [h,γ ] , [h,σ ] + k[σ ] , (78) with the domain D( A) = X , and the nonlinear part f := ( f , f , f ) by 1 2 3 ⊗2 f (ρ) = b[γ ]φ + k[σ + φ ]φ, (79) ⊗2 ⊗2 f (ρ) =[b[γ +|φφ|],γ ]+ k[σ + φ ]¯ σ − σ k[σ + φ ] , (80) ⊗2 f (ρ) =[b[γ +|φφ|],σ ] +[k[σ + φ ],γ ] . (81) 3 + + From Lemma 4.3, below, we obtain that f is continuously Fréchet differentiable in X and therefore is locally Lipschitz, and from Lemma 4.2, we obtain that G(t ) = exp(it A) defines a strongly continuous uniformly bounded semigroup on X . Consequently, we can rewrite the HFB Eqs. (39)–(41) as a fixed point problem ρ = G(t )ρ − i G(t − s) f ρ ds . t 0 s 0 46 Page 26 of 43 V. Bach et al. J. Evol. Equ. and use the Banach contraction theorem to show that (39)–(41) have the unique local mild solution to in X for the given initial data. (For the details for this standard argument, see [34, Sect. 9.2e, Thm 3].) We will now prove our main Lemmata on G(t ) = exp(it A) and f . First, we recall the norms (37). Moreover, if we denote the integral kernel of an operator σ by σ ˜ , then the norm σ is equivalent to the norm 2 2 j/2 σ j σ˜ j := ( M ⊗ 1 + 1 ⊗ M ) σ) ˜ 2 2d . H L (R ) Lemma 4.2. The operator A generates a strongly continuous semigroup, G(t ) = exp(it A),on X , uniformly bounded as G(t ) 1 ≤ 1. B( X ) Proof. Let h(σ ) := [h,σ ] + k[σ ]. We define G(t ) = exp(it A) on ρ := (φ,γ,σ ) ∈ X as G(t )ρ := (exp(−ith)φ, exp(−ith)γ exp(ith), exp(−it h)(σ )). (82) We use that − is h-bounded, and h is −-bounded and that M is translationally invariant. For (φ,γ,σ ) ∈ X and C < ∞ chosen s.t. M ≤ h + C, exp(−ith)φ 1 =(h + C ) exp(−ith)φ 2 =(h + C )φ φ 1 . H L 2 H Similarly exp(−ith)γ exp(ith) 1 γ 1 . H H γ γ 2 2d ˜ ˆ ˜ Finally, we define the operator h acting on L (R ) by the condition h(σ ) = hσ ˜ . Then, we have h = h + h + v(x − y), since the pair potential v be infinitesimally x y bounded with respect to −, the operator h = h + h + v(x − y) is self-adjoint and x y h and − − are mutually relatively bounded. Hence, using (82) and choosing c x y s.t. M + M ≤ h + c, x y exp(−it ([h,σ ] + k[σ ]))σ 1 exp(−it h)σ ˜ 1 H H ˜ ˜ (h + c) exp(−it h)σ ˜ 2 ˜ σ 1 σ 1 . L H H The strong continuity of G(t ) follows from the strong continuity of exp(−ith) and exp(−it h). The following lemma allows us to control the nonlinear term f in the HFB equations. Lemma 4.3. The vector of nonlinear terms f = ( f , f , f ) defined in Eq. (79)−(81) 1 2 3 1 1 1 1 maps X into itself and is continuously Fréchet differentiable in X (f ∈ C ( X )). Proof of Lemma 4.3. For the first statement, it is sufficient to prove that, for the qua- dratic and cubic parts of f are bounded as: b[γ ]φ + k[σ ]φ, [b[γ ],γ ]+ k[σ ]¯ σ − σ k[σ ] , [b[γ ],σ ] +[k[σ ],γ ] + + 1 ρ , (83) ⊗2 ⊗2 ¯ ⊗2 k[φ ]φ, [b[|φφ|],γ ]+ k[φ ]¯ σ − σ k[φ ] , ⊗2 3 [b[|φφ|],σ ] +[k[φ ],γ ] ρ . (84) + + 1 1 X X J. Evol. Equ. The time-dependent Hartree–Fock–Bogoliubov Page 27 of 43 46 All the cubic estimates can be deduced from their quadratic counterparts using 2 2 |φφ| 1 ≤φ and φ ⊗ φ 1 ≤φ . 1 1 H H H H We thus only consider the quadratic terms. Using Lemma 4.5 (i), we estimate b[γ ]φ γ φ ρ . 1 1 1 H H H For k[σ ]φ, we use Lemma 4.5 (ii) to find ¯ ¯ k[σ ]φ 1 ≤Mk[σ ] φ 2 σ 1 φ 2 . H L H L We estimate [b[γ ],γ ] using Lemma 4.5 (i), −1 [b[γ ],γ ] ≤ 2Mb[γ ] M M γ M 1 1 H L 2 2 ≤ 2b[γ ] 1 γ 1 γ ρ . 1 1 H H H X γ γ For k[σ ]¯ σ (and similarly σ k[σ ]), the inequality k[σ ]¯ σ =Mk[σ ]¯ σ M ≤Mk[σ ] ¯ σ M , 1 1 2 2 H L L L Lemma 4.5 (ii) (see estimate (95)) and ¯ σ M 2 ≤σ 1 (which follows from the definition of σ 1)givethe L H H σ σ estimate k[σ ]¯ σ 1 σ . (85) For b[γ ]σ (or similarly σ b[γ ]), using Lemma 4.5 (i), we obtain −1 b[γ ]σ 1 ≤Mb[γ ] M M σ M 2 γ 1 σ 1 . H L H H σ γ σ And finally k[σ]¯ γ (and similarly γ k[σ ]), using Lemma 4.5 (ii) (see estimate (95)), we arrive at k[σ]¯ γ 1 ≤Mk[σ ] 2¯ γ M σ 1 γ 1 , H L H H σ σ γ which completes the proof of (83) and therefore of (84). To prove that f is Fréchet differentiable, we observe that each f is a linear com- bination of multi-linear maps and therefore df (ρ)ξ is of the same form as f (ρ) and can be estimated as above. Proof of Theorem 4.1(ii) [Local Classical Solutions] The existence of classical solu- tions to the HFB equations for initial data in X then follows from: Lemma 4.4 (See [46, Lemma 3.1]).If −i A is the generator of a continuous one- parameter semi-group in the Banach space X , and if f is continuously differentiable on X , then a mild solution of Eq. (75) has its values in the domain D( A) of A throughout its interval of existence provided this is the case initially. In other words, ρ , if it exists at all, then satisfies the differential Eq. (75) in the obvious sense. 46 Page 28 of 43 V. Bach et al. J. Evol. Equ. Proof of Theorem 4.1(iii) [Conservation Laws] For classical solutions, the conservation of the number particle and of the energy were proven as a consequence of the same conservation laws for the many-body system in Theorem 2.6 and 2.4. Another proof of the conservation law for the energy using only the HFB equations (independently from the many body problem) was given in Prop. 3.12, and the conservation of the particle number could also be proven directly from (40). We can now use those results since we proved the local existence of a classical solution. The conservation laws then extend to mild solutions by approximation. Proof of Theorem 4.1(iv) [Positivity preservation property] This follows from relation (62). Indirectly, it follows from the equivalence of the HFB Eqs. (39)to(41) the self-consistent Eq. (45) (see Theorem 2.3). Proof of Theorem 4.1(v) [Global Solution] We recall that for a maximal solution ρ of the mild problem (76) defined on an interval [0, T ), we have that either T =∞ or sup ρ 1 =∞ (see, e.g., [14, Thm 4.3.4]). It is thus enough to prove that t ∈[0,T ) X sup φ 1 , γ 1 , σ 1 < ∞ t t t H H H γ σ t ∈[0,T ) to show that the solutions are global. Let T := dxd y ψ (x )(−)ψ ( y), (86) Because V is infinitesimally form bounded with respect to the Laplacian, dx ψ (x )ψ (x )V (x ) ≥− T − cN (87) holds. And, because the pair potential v is bounded, we have ∗ ∗ 2 V := dxd y v(x − y)ψ (x )ψ ( y)ψ (x )ψ ( y) ≥−C N − C N . (88) Hence, from the definition of H,(87) and (88) we get T ≤ 2H + C N + C N . (89) q q q We now take the expectation value of ω and use that ω is quasifree to bound ω (N ) t t t by C (ω (N) + 1) and the conservation of the particle number and of the energy to obtain Tr[−(γ +|φ φ |)]≤ C (E (φ ,γ ,σ ) + N (φ ,γ ,σ ) ) t t t t t t t t t k=0 ≤ C (E (φ ,γ ,σ ) + N (φ ,γ ,σ ) ). (90) 0 0 0 0 0 0 k=0 J. Evol. Equ. The time-dependent Hartree–Fock–Bogoliubov Page 29 of 43 46 Combined with the conservation of the particle number, this estimate provides bounds on γ and φ that are uniform in t. Moreover, uniform bounds on σ 1 1 1 t t t H H H γ σ are then obtained from Proposition 3.1. It thus follows that the solution is global, as claimed. p,r d d Recall that W (R ) denotes the standard Sobolev space over R . p,1 Lemma 4.5. Assume that v ∈ W with p > d . Then, the operators b and k defined in (42) and (43) possess the following properties: 1 1 −1 (i) b is continuous from H to B( H ) MB M . 1 −1 2 (ii) k is continuous from H to M L . Proof. For the detailed proof of statement (i), we refer to [12]. For the reader’s con- venience, we recall here the main arguments. We first consider the direct term, i.e., the first term in the definition of b. It is sufficient to prove that v ∗ n (with functions n(x ) = γ(x ; x )) and ∇v ∗ n uniformly bounded by γ . As those two bounds are very similar, we focus on the more difficult one, ∇v ∗ n. p,1 d Denote by γ˜ the (generalized) integral kernel of an operator γ . Since v ∈ W (R ) with p > d, the function v is bounded. Since ∇ v(x − y)γ ( y; y)d y = v(x − x d d R R y) ∇ γ( y; y)d y,wehave ∇ v(x − y)γ ( y; y)d y ≤ v |∇ γ( y; y)|d y (91) x y ∞ ∞ d d R R Furthermore, |∇ γ( y; y)|d y ≤γ , which can proved by using the decompo- d y sition γ = λ |ϕ ϕ | with λ ≥ 0of γ , combined with the Cauchy–Schwarz j j j j j =1 inequality: |∇ γ( y; y)|d y ≤ λ |ϕ ( y)∇ϕ ( y)|d y (92) y j j j d d R R j =1 ≤ λ ϕ 2 ∇ϕ 2 (93) j j j L L j =1 ≤ λ M ϕ ≤γ 1 (94) j j 2 L γ j =1 The last two estimates imply the desired result, ∇v ∗ n ≤γ . The estimates for the exchange term (the second term in the definition of B) are similar. Point (ii) is equivalent to the estimate Mk[σ ] 2 σ 1 , (95) L H whichwenow prove. Denote by σ ˜ the (generalized) integral kernel of an operator σ . Clearly, σ j ˜ σ . Denote by a(x , y) = v(x − y)σ( ˜ x , y), the integral kernel of k[σ ].Wehave H 46 Page 30 of 43 V. Bach et al. J. Evol. Equ. that 2 2 2 Mk = | M a(x , y)| dxd y ≤a . (96) 2 x 1 L H Since a(x , y) = v(x − y)σ( ˜ x , y) and a 1 ≤a 2 +∂ a 2 +∂ a 2 , x y H L L L we use the Leibniz rule, ∂ a(x , y) = (∂v(x − y))σ( ˜ x , y) + v(x − y)∂ σ( ˜ x , y),to x x find that −1 −1 a 1 ≤ v +∂ v M 2 +∂ v M 2 ˜ σ 1 , (97) L x y H B(L ) B(L ) H x y 2 2 d d where L := L (R × R ). The Schwartz and Sobolev inequalities imply that x y p s ∂ v f 2 ≤∂ v f v p,1 Mf 2 , x L x L L W L 1 1 1 for arbitrary s and p satisfying + = and p > d. Thus, p s 2 −1 ∂ v M v , p,1 x W −1 and, similarly, ∂ v M v .Itfollows that p,1 y W a v ˜ σ . (98) 1 p,1 1 H W H This, together with (96) and ˜ σ σ , yields (95). 1 1 H H 5. Gibbs states and Bose–Einstein condensation In this section, we determine translation- and U (1) gauge-invariant Gibbs states for the HFB equations without an external potential, and with an interaction potential gδ, and discuss the emergence of a Bose–Einstein condensate at positive temperature. (Recall from the introduction that U (1) gauge-invariant Gibbs states for the HFB equations are, in fact, Gibbs states for the Hartree-Fock equations.) d d d We consider the system on a torus, = R /2L Z , i.e., [−L , L] with periodic ∗ π d boundary conditions. Accordingly, we denote := Z the lattice reciprocal to L L 2L Z . We will eventually take the thermodynamic limit, L →∞, and discuss the emergence of a Bose-Einstein condensate. The Hamiltonian H of the Bose gas is U (1) gauge-invariant (that is, invariant under i θ the transformation ψ → (e ψ) ), and, as we consider the case with no external potential, translation invariant. On a compact torus, where the volume is finite, these symmetries are also present in the Gibbs states of system (the notion of translation invariance should be, of course, appropriately modified). We are interested in quasifree J. Evol. Equ. The time-dependent Hartree–Fock–Bogoliubov Page 31 of 43 46 states ω which, on the one hand, satisfy both the U (1) gauge invariance and the trans- lation invariance, and, on the other hand, satisfy a fixed point equation corresponding to the consistency condition (45) in the dynamical case: q q q q (ω ) = ω with (ω )(A) := Tr[A exp(−β(H (ω ) − μN))/] (99) HF B L L L L where β> 0 is the inverse temperature, μ is the chemical potential, and = q q Tr[exp(−β(H (ω )) − μN)].The U (1) gauge-invariance of ω then implies that HF B L L q q the truncated expectations φ and σ vanish. Indeed, if one of them was nonzero, ω ω L L then the HFB Hamiltonian H would include terms which would break U (1) gauge HF B ∗ ∗ invariance, such as dxm(x)ψ (x )ψ (x )+h.c. . The quasifree states we consider are thus characterized by their truncated expectation γ , and we will replace the variable ω by γ in the sequel of this section. We use the expression of the HFB Hamiltonian (44) with v = gδ (and φ = 0, σ = 0), although this expression was derived for more regular interaction potentials v’s: H (ω ) = dxd y ψ (x )ψ ( y)(− + gn)(x ; y), (100) HF B with n = n(x ) = γ (x ; x ). The translation invariance implies that the kernel γ (x ; y) L L is a function of x − y, that we still denote by γ , and therefore n = n(x ) = γ (x ; x ) L L is independent of x. Applying the fixed point Eq. (99) with A = ψ ( y)ψ (x ), one can express it equiv- alently in the variable γ : γ = , (101) exp(β( − + gn1 − μ1)) − 1 for n ∈[0, ∞). The operator γ is a pseudodifferential operator with symbol −ix ·k γˆ (k) := γ (x )e dx = (102) L L exp(β(k + gn − μ)) − 1 of γ . Thus, n = γ (0) = γˆ (k). (103) L L | | k∈ As the Fourier coefficients of γ depend only of the number n, we obtain from (101), (102) and (103)a nonlinear fixed point equation for n: 1 1 n = . (104) | | exp(β(k + gn − μ)) − 1 k∈ Note that the knowledge of n satisfying (104), or of γ satisfying (101)orof ω satisfying (99) are equivalent. From a physical point of view, it is natural to fix the density n, which can be tuned in an experiment and to compute μ.So n is a parameter and we solve (104) with the unknown μ. 46 Page 32 of 43 V. Bach et al. J. Evol. Equ. Lemma 5.1. Let g,β, n > 0, and, for d ≥ 3. Let n be the critical density d d ζ( ) ( ) d 1 dk 2 2 n := = β , (105) d d β k (2π) (2π) e − 1 −x x −1 −t where ζ(x ) = n and (x ) = t e dt . n≥1 We define S : (−∞, gn) → R and S : (−∞, gn]→ R through L ∞ 1 1 S (μ) := , | | exp(β(k + gn − μ)) − 1 k∈ 1 dk S (μ) := . d 2 (2π) d exp(β(k + gn − μ)) − 1 Then: • There exists a unique μ (n)< gn such that (104) holds, i.e., n = S (μ (n)) . (106) L L • If n < n , there exists a unique μ (n)< gn such that c ∞ n = S (μ (n)) . (107) ∞ ∞ We extend the function μ to (0, ∞) by setting μ (n) = gn for n ≥ n . ∞ ∞ c Remark 5.2. The critical density n can be explicitly computed. Proof. In the discrete case, the existence follows from the intermediate value theorem because the map S is continuous with limits 0 at −∞ and ∞ at gn.The map S is L L strictly increasing and thus there exists a unique μ (n) such that n = S (μ (n)). L L L In the continuous case, we first prove the existence of μ (n), for a given n > 0, the map (0, gn] μ → S (μ) is well-defined, continuous, lim S (μ) = 0, ∞ μ→−∞ ∞ S (gn) = n , and thus the intermediate value theorem yields the existence of a μ ∞ c ∞ satisfying (107). Since S is strictly increasing, the uniqueness follows. In Theorem 5.3, we prove that the thermodynamic limit γ of the self-consistent Eq. (101)for γ is well-defined and exhibits the so-called Bose–Einstein condensation. Theorem 5.3. Let g,β, n > 0 and d ≥ 3. Let γ ,n , μ and μ as defined in (101) L c L ∞ and Lemmata 5.1. Then, μ (n) −− −→ μ (n) and γ −− −→ γ , (108) L ∞ L ∞ L→∞ L→∞ where γˆ (k) = max{0, n − n } δ(k) + . (109) ∞ C exp β(k + gn − μ (n)) − 1 ∞ J. Evol. Equ. The time-dependent Hartree–Fock–Bogoliubov Page 33 of 43 46 Remark 5.4. The presence of the δ(k) term is interpreted as the existence of Bose– Einstein condensation, because there is an accumulation of particles in the zero mode. d/2 It occurs when β n ≥ C with C a constant depending only on the dimension. d d Proof of Theorem 5.3. First we prove the convergence of μ (n) towards a μ (n). L ∞ We first remark that μ (n) ≥−C for some constant C > 0 independent of L. (Otherwise one could extract a subsequence such that n = S (μ (n)) → 0 < n.) L L j j Thus, the accumulation points of μ (n) are contained in [−C, gn].Let μ (n) denote L L an extracted sequence converging to an accumulation point μ . In the case n < n :If μ = gn, then for j large enough μ (n) ≥ (μ (n) + gn)/2, c L ∞ thus gn + μ (n) gn + μ (n) ∞ ∞ n = S (μ (n)) ≥ S → S > S (μ (n)) = n L L L ∞ ∞ ∞ j j j 2 2 and which would lead to a contradiction. Note that it is crucial that μ (n)< gn gn+μ (n) for n < n to get the convergence to the integral S . It thus follows that c ∞ μ < gn. Then S (μ (n)) converges to n, because by definition of μ (n) this sum L L L j j is equal to n, and also to S (μ ). (One has to control the dependency in μ (n) in the ∞ L Riemann sums.) Hence, μ = μ (n) and the unique accumulation point is μ (n). ∞ ∞ We thus proved the convergence of μ (n) to μ (n). L ∞ In the case n ≥ n , we sketch an argument similar to the one above. If an accumu- lation point μ was such that μ < gn, then the sums S (μ (n)) would converge L L j j to integrals with a value strictly smaller than n and thus strictly smaller than n.This would lead to a contradiction. Thus, the only possible accumulation point is gn and μ (n) → gn = μ (n). L ∞ ∞ d We now prove the convergence of γ towards γ .Let ϕ ∈ C (R ).For L large L ∞ enough the support of ϕ is included in , and γ ϕ = γˆ (k)ϕ( ˆ k). (110) L L | | k∈ On the other hand, γ ,ϕ =γ ,ϕ =γˆ , ϕ ˆ (Note that in the normaliza- ∞ D ∞ S ∞ S tion we choose, the Fourier coefficients of ϕ on and the Fourier transform coincide, there is thus no need to specify the hat notation.) The convergence of γ to γ is thus L ∞ equivalent to −d 1 (2π) ϕ( ˆ k)dk γˆ (k)ϕ( ˆ k) → max{0, n − n }ˆ ϕ(0) + . (111) L c β(k +gn−μ (n)) d ∞ | | L R e − 1 k∈ for all ϕ. In the case n < n the convergence is thus just a convergence of Riemann sums of the integral (with the small additional difficulty that μ (n) depends on L in the sum) 2 −1 because there is no singularity in the function k → (exp(β(k + gn − μ (n))) −1) . ∞ 46 Page 34 of 43 V. Bach et al. J. Evol. Equ. In the case n ≥ n :Let ε> 0. First note that, for any fixed η> 0 −d 1 ϕ( ˆ k) (2π) ϕ( ˆ k)dk → , β k | | exp(β(k + gn − μ (n))) − 1 L L e − 1 |k|>η k∈ |k|>η as L →∞. We choose η> 0 small enough so that −d ε (2π) ϕ( ˆ 0)dk ε |k|≤ η ⇒|ϕ( ˆ k) −ˆ ϕ(0)|≤ and ≤ . β k 4n 4 e − 1 |k|≤η The first condition on η yields 1 ϕ( ˆ k) −ˆ ϕ(0) ε ≤ , | | exp(β(k + gn − μ (n))) − 1 4 L L k∈ |k|≤η then, the second condition on η implies 1 ϕ( ˆ 0) ε lim sup − (n − n )ϕ( ˆ 0) ≤ . | | exp(β(k + gn − μ (n))) − 1 4 L L L→∞ k∈ |k|≤η Hence 1 ϕ( ˆ k) lim sup | | exp(β(k + gn − μ (n))) − 1 L L L→∞ k∈ −d (2π) ϕ( ˆ k)dk −(n − n )ϕ( ˆ k) − ≤ ε, β k e − 1 and as this holds for any ε> 0, we get the result. 6. Derivation of the Bosonic HFB equations In this section, we prove Theorem 2.2. The derivations below are done in a some- what informal way commonly used in dealing with operators on Fock spaces (see, e.g., [8,13,25]). For instance, the commutator [ A, H ],for A = ψ(x ) and A = ψ(x )ψ ( y), contains the terms ψ(x ) and ψ(x ) ψ( y). The formal computation x y q q q q gives ω ( ψ(x )) = ω (ψ (x )) and ω (ψ (x ) ψ( y)) = ω (ψ (x )ψ ( y)), x x y y which are well-defined by our assumptions and are equal to φ(x ) and σ(x , y), x y respectively. To do this more carefully, one uses, instead of operator functions ψ (x ), the op- erator functionals ψ ( f ), for some nice f . E.g., instead [ψ(x ), H ], we consider the commutator [ψ( f ), H ], for any nice f , and concentrate on the term ψ( f ) it con- q q tains. Clearly, ω is well-defined on ψ( f ) and can be written as ω (ψ ( f )) = f (x )ω (ψ (x )) = f (x )φ (x ) = f (x )φ (x ). Thus, we obtain the same result as above but in a weak form. J. Evol. Equ. The time-dependent Hartree–Fock–Bogoliubov Page 35 of 43 46 Proof of Theorem 2.2. We first observe that the three following conditions are equiv- alent: 1. A quasifree state ω satisfies q q i ∂ ω A = ω [A, H] , (112) t t for any operator A of order ≤ 2 in the fields. 2. A quasifree state ω satisfies q q i ∂ ω ψ(x ) = ω [ψ(x ), H] , (113) t t q q ∗ ∗ i ∂ ω ψ ( y)ψ (x ) = ω [ψ ( y)ψ (x ), H] , (114) t t q q i ∂ ω ψ(x )ψ ( y) = ω [ψ(x )ψ ( y), H] . (115) t t 3. A quasifree state ω with truncated expectations φ , γ and σ satisfies t t t i ∂ φ (x ) = ω ([ψ(x ), H]), (116) t t i ∂ γ (x ; y) = ω ([ψ ( y)ψ (x ), H]) − i ∂ φ (x )φ( y) , (117) t t t t i ∂ σ (x , y) = ω ([ψ(x )ψ ( y), H]) − i ∂ φ (x )φ ( y) . (118) t t t t We now suppose ω satisfies (116)–(118). Using the definition of the Hamiltonian, we obtain i ∂ φ (x ) = ω ψ(x ), ψ ( y)h( y; y )ψ ( y ) d yd y t t t ∗ ∗ + ψ(x ), v( y − y )ψ ( y)ψ ( y )ψ ( y )ψ ( y) d yd y (119) = ω h(x ; y )ψ ( y ) d y + v(x − y)ψ ( y)ψ ( y)ψ (x ) d y , (120) where we used the CCR (3) to get ∗ ∗ ψ(x ), ψ ( y)ψ ( y )ψ ( y )ψ ( y) ∗ ∗ = δ(x − y)ψ ( y )ψ ( y )ψ ( y) + δ(x − y )ψ ( y)ψ ( y)ψ ( y ). (121) As ω is a quasifree state (see Appendix B) ω ψ ( y)ψ ( y)ψ (x ) =|φ ( y)| φ (x ) + σ( y; x )φ ( y) + φ (x )γ ( y; y) + φ ( y)γ (x ; y). (122) t t t t t We thus deduce that i ∂ φ (x ) = h(x ; y )φ ( y ) d y t t t + v( y − x )φ (x )γ ( y; y) d y + v( y − x )φ ( y)γ (x ; y) d y t t t t ¯ ¯ + v(x − y)σ ( y, x )φ ( y) d y + v( y − x )φ ( y)φ (x )φ ( y) d y t t t t t = (h + b[γ ])φ (x ) + k(σ )φ (x ) t t t t 46 Page 36 of 43 V. Bach et al. J. Evol. Equ. which is the dynamical Eq. (39)for φ . For γ and σ , instead of ω we use t t q q ω (A) := ω (W AW ), (123) t t φ C,t t where, recall, W = exp ψ (φ) − ψ(φ) , the Weyl operators, which satisfy W ψ(x )W = ψ(x ) + φ(x). (124) q q q Note that the state ω is quasifree because ω is quasifree. By construction ω (ψ (x )) C,t C,t q q = 0 and thus using (10) and the quasifreeness of ω one sees that ω vanishes on C,t C,t monomials of odd order in the fields. This provides substantial simplifications in the computations below. In particular, the equations of the dynamics for γ and σ can be rewritten: t t ∗ ∗ i ∂ γ (x ; y) = ω ([ψ ( y)ψ (x ), W HW ]), (125) t t φ C,t φ t i ∂ σ (x , y) = ω ([ψ(x )ψ ( y), W HW ]). (126) t t 1 1 φ φ t C,t t We compute W HW modulo terms of odd degree and of degree 0 in the creation φ t and annihilation operators: ∗ ∗ W HW ≡ ψ (z) h + b [|φφ|] (z; z )ψ (z ) dzdz φ v φ t ∗ ∗ + v(z − z )φ (z)φ (z )ψ (z)ψ (z ) dzdz + ad j. t t ∗ ∗ + v(z − z )ψ (z)ψ (z )ψ (z )ψ (z) dzdz . (127) Because ω vanishes on monomials of odd order in the fields and using the commu- C,t tator, the knowledge of W HW modulo terms of odd degree and of degree 0 in the φ t creation and annihilation operators is sufficient to compute the time derivative (125) of γ . Thus, using the CCR we get i ∂ γ (x ; y) = ω h + b [|φ φ |] (x ; z)ψ ( y)ψ (z) t t v t t C,t − h + B [|φ φ |] (z; y)ψ (z)ψ (x ) v t t ∗ ∗ + v(z − x )φ (z)φ (x )ψ ( y)ψ (z) − v(z − y)φ (z)φ ( y)ψ (z)ψ (x ) t t t t ∗ ∗ ∗ ∗ + v(z − x )ψ ( y)ψ (z)ψ (x )ψ (z) − v(z − y)ψ (z)ψ ( y)ψ (z)ψ (x ) dz . (128) From the quasifreeness of ω follows: C,t i ∂ γ (x ; y) = h + b [|φ φ |+ γ ],γ (x ; y) t t v t t t t + v(z − x )φ (z)φ (x )σ ( y, z) − v(z − y)φ (z)φ ( y)σ (z, x ) t t t t t t + v(z − x )σ (x , z)σ ( y, z) − v(z − y)σ (x , z)σ ( y, z) dz . (129) t t t t J. Evol. Equ. The time-dependent Hartree–Fock–Bogoliubov Page 37 of 43 46 which is the dynamical Eq. (40)for γ . Using the same arguments as for γ , we get i ∂ σ (x ; y) t t = ω v(x − y)φ (x )φ ( y) + v(x − y)ψ (x )ψ ( y) t t C,t + (h + b [|φ φ |])(x ; z)ψ ( y) + (h + b [|φ φ |])( y; z)ψ (x ) ψ(z) v t t v t t ∗ ∗ + v(x − z)ψ (z)ψ ( y)φ (x )φ (z) + v( y − z)ψ (z)ψ (x )φ ( y)φ (z) t t t t ∗ ∗ + v(x − z)ψ (z)ψ ( y)ψ (x )ψ (z) + v( y − z)ψ (z)ψ (x )ψ ( y)ψ (z) dz . (130) From the quasifreeness of ω follows: C,t i ∂ σ (x ; y) t t = v(x − y)φ (x )φ ( y) + v(x − y)σ (x , y) t t t + h + b [|φ φ |] (x ; z)σ ( y, z) + h + b [|φ φ |] ( y; z)σ (x , z) v t t t v t t + v(x − z)γ ( y; z)φ (x )φ (z) + v( y − z)γ (x ; z)φ ( y)φ (z) t t t t t t + v(x − z) γ (x ; z)σ (z, y) + γ ( y; z)σ (z, x ) + γ (z; z)σ (x , y) t t t t t t + v( y − z) γ (x ; z)σ (z, y) + γ ( y; z)σ (z, x ) + γ (z; z)σ (x , y) dz , t t t t t t (131) which is the dynamical Eq. (41)for σ . Acknowledgements We thank the anonymous referee for various valuable remarks that helped to improve the manuscript considerably. The work of S.B. is supported by the Basque Government through the BERC 2014-2017 program, and by the Spanish Ministry of Economy and Competitiveness MINECO (BCAM Severo Ochoa accreditation SEV-2013-0323, MTM2014-53850), and the European Union’s Horizon 2020 research and innovation programme under the Marie Sklodowska-Curie grant agreement No. 660021. The work of T.C. is supported by NSF grants DMS-1151414 (CAREER) and DMS-1716198. The work of I.M.S. is supported in part by NSERC Grant No. NA7901 and SwissMAP Grant. Funding Open Access funding enabled and organized by Projekt DEAL. Open Access. This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative 46 Page 38 of 43 V. Bach et al. J. Evol. Equ. Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/ by/4.0/. Publisher’s Note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations. A. Self-adjointness of the Hamiltonian H We use that the pair potential v is infinitesimally −bounded, i.e., for any ε ∈ (0, 1], −1 v ≤−ε + C ε (132) (we write C for constants which depend on v, d and change along the estimates) to obtain after taking ε = 1/(3(n − 1)), v(x − y) ≤ (− − ) + C (n − 1). (133) x y 6(n − 1) Then, summing the n(n − 1)/2 terms of this form on each n-particles subspace of the Fock space, we obtain that 1 2 ∗ ∗ 3 V := dxd y v(x − y)ψ (x )ψ ( y)ψ (x )ψ ( y) ≤ T + C N . (134) 2 3 for some C > 0, with T defined in (86). One can then use the KLMN theorem and the Nelson theorem (see [40,44]) to prove the self-adjointness of H. (Details can be adapted from, e.g., [1, Section 3].) B. Definition of quasifree states For brevity, we write ψ := ψ (x ). We recall that the truncated expectations are defined via ω(ψ ··· ψ ) = ω ( ψ ), (135) 1 n j P J ∈ P j ∈ J n n where P are partitions of the ordered set {1, ..., n} into ordered subsets. We have ω (ψ ) = ω(ψ) and ω (ψ ψ ) = ω(ψ ψ ) − ω(ψ )ω(ψ ). (136) 1 2 1 2 1 2 For quasifree states, the correlation functions ω(ψ ··· ψ ), with n > 2 can be ex- pressed through ω(ψ (x )) and ω(ψ (x )ψ ( y)) according to the Wick formula. For J. Evol. Equ. The time-dependent Hartree–Fock–Bogoliubov Page 39 of 43 46 example, ω(ψ ψ ψ ) = ω(ψ )ω(ψ ψ ) 1 2 3 1 2 3 + ω(ψ )ω(ψ ψ ) + ω(ψ )ω(ψ ψ ) − 2 ω(ψ ) (137) 2 3 3 1 2 i i =1 and ω(ψ ψ ψ ψ ) = ω(ψ ψ )ω(ψ ψ ) + ω(ψ ψ )ω(ψ ψ ) 1 2 3 4 1 2 3 4 1 3 2 4 + ω(ψ ψ )ω(ψ ψ ) − 2 ω(ψ ) (138) 1 4 2 4 i i =1 (remember that ψ’s stand on the right of ψ ’s.) Note that ∗ ∗ ∗ ω ψ (x ) = ω ψ(x ) ,ω(ψ ψ ) = ω(ψ ψ ) 2 1 1 2 and ∗ ∗ ω(ψ ψ ) = ω(ψ ψ ) + δ(x − y). 1 1 2 2 T T Thus, a quasifree state ω is completely determined by the functions ω ψ(x ) , ω ∗ T ψ (x )ψ ( y) and ω ψ(x )ψ ( y) . Remark B.1. It is instructive to rewrite correlation functions for a quasifree state ω in terms of the fluctuation fields χ(x ), defined as χ(x ) := ψ(x ) − ω[ψ(x )] , (139) where the average field ω[ψ(x )]= φ(x ) is considered a multiplication operator on F. Then, ω is a quasifree state iff ω(χ ··· χ ) = 0 and 1 2n−1 2n−1 ω(χ ··· χ ) = ω(χ χ ), 1 2n π(i ) π(i +1) π ∈S i =1 where the sum is taken over all the permutations π of the set of indices {1, ..., 2n} satisfying π(1) < ... < π(2n) and, for all. C. Equivalence of the HBF equations with the evolution generated by H (ω ) hf b In this section, we prove Theorem 2.3. Let a quasifree state ω satisfy (45) and let φ ,γ and σ denote its truncated expec- t t t φ φ t t tations. Below, we use the abbreviations h(t ) ≡ h(γ ) and k(t ) ≡ k(σ ), where, t t 46 Page 40 of 43 V. Bach et al. J. Evol. Equ. φ φ recall, γ := γ +|φφ| and σ := σ +|φφ|, and h(γ ) and k(σ ) are defined in (42) and (43). To find the equation for φ , we compute q q i ∂ φ (x ) = ω [ψ(x ), H (ω )] t t hf b t t =˜ ω h(t )(x ; z)ψ (z)dz − b[|φ φ |]φ (x ) + ψ (z)k(t )(x , z) dz t t t = h(t )φ (x ) − b[|φ φ |]φ (x ) + k(t )φ (x). t t t t t Hence φ satisfies (39). For γ and σ we remark that, modulo terms of order one and constants W H (ω ) t t hf b t W and H (ω ) coincide, hence φ hf b t t ∗ ∗ W H (ω )W ≡ h(t )(z; z )ψ (z)ψ (z ) dzdz hf b t φ φ t ∗ ∗ + ψ (z )ψ (z )k(t )(z , z ) dz dz + ad j.. (140) 1 2 1 2 1 2 Recall the definition (123)of ω (A). As in the proof of Theorem 2.2,the terms C,t coming from the derivative of W simplify: q q ∗ ∗ i ∂ γ (x ; y) = ω [ψ ( y)ψ (x ), W H (ω )W ] . t t hf b φ φ t t C,t It is sufficient to consider W H(φ ,γ ,σ )W modulo monomials of odd order in the t t t φ fields: ∗ ∗ i ∂ γ (x ; y) = ω h(t )(x ; z)ψ (x )ψ (z)dz − h(t )(z; y)ψ (z)ψ ( y) dz t t C,t ∗ ∗ + ψ (z)ψ ( y)k(t )(z, x ) dz − k(t )(z, y)ψ (z)ψ (x ) dz = h(t )(x ; z)γ (z; x )dz − γ (x ; z)h (t )(z; y) dz t t v + σ ( y, z)k(t )(z, x ) dz − k(t )(z, y)σ (x , z) dz . t t Similarly q q i ∂ σ (x ; y) = ω [ψ(x )ψ ( y), W H (ω )W ] (141) t t hf b φ C,t φ t t and i ∂ γ (x ; y) = h(t )(x ; z)σ (x , z)dz + h(t )( y; z)σ ( y, z) dz t t t t + γ ( y, z)k(t )(z, x ) dz + γ (x , z)k(t )(z, y) dz + k(t )(x , y) (142) t t Thus, γ and σ satisfy (40) and (41). t t We have shown that, if a quasifree state ω satisfies (45), then its truncated expec- tations, φ ,γ and σ , satisfy (39), (40) and (41). Proceeding in the opposite direction, t t t one shows that, if truncated expectations, φ ,γ and σ , satisfy (39), (40) and (41), t t t then the corresponding quasifree state ω satisfies (45). t J. Evol. Equ. The time-dependent Hartree–Fock–Bogoliubov Page 41 of 43 46 REFERENCES [1] Z. Ammari and S. Breteaux. Propagation of chaos for many-boson systems in one dimension with a point pair-interaction. Asymptotic Analysis, 76(3-4):123–170, 2012. [2] H. Araki and M. Shiraishi. On quasifree states of the canonical commutation relations (I). Publ. RIMS Kyoto, 7:105–120, 1971/72. [3] V. Bach, S. Breteaux, T. Chen, J. Fröhlich, and I. M. Sigal. The time-dependent Hartree-Fock- Bogoliubov equations for bosons. arXiv:1602.05171v1, 2016. [4] V. Bach, S. Breteaux, H.-K. Knörr, and E. Menge. Generalized one-particle density matrices and quasifree states. J. Math. Phys., 55:012101, 2014. https://doi.org/10.1063/1.4853875. [5] V. Bach and J.-B. Bru. Diagonalizing quadratic bosonic operators by non-autonomous flow equation. Memoirs of the AMS, 240(1138), 2016. ISBNs: 978-1-4704-1705-5 (print). [6] V. Bach, E. H. Lieb, and J. P. Solovej. Generalized Hartree-Fock theory and the Hubbard model. J. Stat. Phys. , 76:3–90, 1994. [7] N. Benedikter, J. Sok, and J.P. Solovej. The Dirac-Frenkel principle for reduced density matrices, and the Bogoliubov-de-Gennes equations. Ann. H. Poincaré, 19(4):1167–1214, 2018. [8] F.A. Berezin. The method of second quantization. Academic Press, New York, San Francisco, London, 1 edition, 1966. [9] J.-P. Blaizot and G. Ripka. Quantum Theory of finite Systems. MIT Press, Cambridge, Mass., 1986. [10] F. Bloch. Nuclear induction. Phys. Rev., 70:460–474, 1946. [11] A. Bove, G. Da Prato, and G. Fano. An existence proof for the Hartree-Fock time-dependent problem with bounded two-body interaction. Commun. Math. Phys., 37:183–191, 1974. [12] A. Bove, G. Da Prato, and G. Fano. On the Hartree-Fock time-dependent problem. Com- mun. Math. Phys., 49(1):25–33, 1976. [13] O. Bratteli and D. Robinson. Operator Algebras and Quantum Statistical Mechanics 2.Textand Monographs in Physics. Springer-Verlag, Berlin, 2 edition, 1996. [14] T. Cazenave and A. Haraux. An introduction to semilinear evolution equations, volume 13 of Oxford Lecture Series in Mathematics and its Applications. The Clarendon Press, Oxford University Press, [15] J.M. Chadam. The time-dependent Hartree-Fock equations with Coulomb two-body interaction. Commun. Math. Phys., 46(2):99–104, 1976. [16] J.M. Chadam and R.T. Glassey. Global existence of solutions to the Cauchy problem for time- dependent Hartree equations. J. Math. Phys., 16:1122–1130, 1975. [17] I. Chenn and I.M. Sigal. On the Bogolubov-de Gennes equations. arXiv:1701.06080, 2017. [18] R. H. Critchley and A. Solomon. A variational approach to superfluidity. J. Stat. Phys., 14:381–393, [19] R.J. Dodd, M. Edwards, C.W. Clark, and K. Burnett. Collective excitations of Bose-Einstein- condensed gases at finite temperatures. Phys.Rev.A, 57:R32–R35, 1998. https://doi.org/10.1103/ PhysRevA.57.R32. [20] A. Gottlieb and N. Mauser. Properties of nonfreeness: An entropy measure of electron correlation. Intl. J. Q. Inform., 05(06):815–827, 2007. [21] A. Griffin. Conserving and gapless approximations for an inhomogeneous Bose gas at finite tem- peratures. Phys. Rev. B, 53:9341–9347, 1996. https://doi.org/10.1103/PhysRevB.53.9341. [22] M. Grillakis and M. Machedon. Beyond mean field: on the role of pair excitations in the evolution of condensates. J. Fixed Point Theory Appl., 14(1):91–111, 2013. [23] M. Grillakis and M. Machedon. Pair excitations and the mean field approximation of interacting bosons, I. Commun. Math. Phys., 324(2):601–636, 2013. [24] M. Grillakis and M. Machedon. Pair excitations and the mean field approximation of interacting bosons, II. Commun. PDE, 42(1):24–67, 2017. https://doi.org/10.1080/03605302.2016.1255228. [25] S.J. Gustafson and I.M. Sigal. Mathematical concepts of quantum mechanics. Universitext. Springer-Verlag, Heidelberg, 2011. [26] D. Ter Haar. Men of Physics: L.D. Landau, volume 2. Pergamon, London, 1969. [27] R. Jackiw and A. Kerman. Time-dependent variational principle and the effective action. Phys. Lett. A, 71(2):158–162, 1979. [28] T. Kato. Linear evolution equations of ‘hyperbolic’ type. J. Math. Soc. Japan, 17:241–258, 1970. 46 Page 42 of 43 V. Bach et al. J. Evol. Equ. [29] L. Landau. Das Dämpfungsproblem in der Wellenmechanik. Z. Physik, 45(5):430–441, 1927. [30] M. Lewin. Mean-field limit of bose systems: rigorous results. Proc. ICMP 2015 (preprint), 2015. [31] M. Lewin, P.T. Nam, and N. Rougerie. The mean-field approximation and the non-linear Schrödinger functional for trapped Bose gases. Trans. Amer. Math. Soc., 368:6131–6157, 2016. [32] M. Lewin, P.T. Nam, and N. Rougerie. A note on 2d focusing many-boson systems. Proc. Amer. Math. Soc., 145(6):2441–2454, 2017. [33] M. Lewin, P.T. Nam, and B. Schlein. Fluctuations around Hartree states in the mean-field regime. Amer.J.Math., 137(6):1613–1650, 2015. [34] R. McOwen. Partial Differential Equations. Methods and Applications. Prentice-Hall, 2nd edition, [35] M. Merkli, M. Mück, and I.M. Sigal. Theory of non-equilibrium stationary states as a theory of resonances. Ann. Henri Poincaré, 8(8):1539–1593, 2007. [36] P.T. Nam and M. Napiórkoswki. Bogoliubov correction to the mean-field dynamics of interacting bosons. Adv. Theor. Math. Phys., 21:683–738, 2017. [37] P.T. Nam, M. Napiórkoswki, and J.P. Solovej. Diagonalization of bosonic quadratic Hamiltonians by Bogoliubov transformations. J. Func. Anal., 270(11):4043–4368, 2016. [38] M. Napiórkoswki, R. Reuvers, and J.P. Solovej. The bogoliubov free energy functional i. existence of minimizers and phase diagram. Arch. Rat. Mech. Anal., 2018. [39] M. Napiórkoswki, R. Reuvers, and J.P. Solovej. The bogoliubov free energy functional ii. the dilute limit. Commun. Math. Phys., 360(1):347–403, 2018. [40] E. Nelson. Time-ordered operator products of sharp-time quadratic forms. J. Funct. Anal., 11:211– 219, 1972. [41] M. Ohya and D. Petz. Quantum Entropy and Its Use. Texts and Monographs in Physics. Springer- Verlag, 1993. 2nd printing 2004. [42] A.S. Parkins and D.F. Walls. The physics of trapped dilute-gas Bose-Einstein condensates. Phys. Rep., 303(1):1–80, 1981. https://doi.org/10.1016/S0370-1573(98)00014-3. [43] W. Pauli. Probleme der modernen Physik. S. Hirzel, Leipzig, 1928. [44] M. Reed and B. Simon. Methods of Modern Mathematical Physics: II. Fourier Analysis and Self- Adjointness, volume 2. Academic Press, San Diego, 2 edition, 1980. [45] D.W. Robinson. The ground state of the bose gas. Commun. Math. Phys., 1:159–174, 1965. [46] I. Segal. Non-linear semi-groups. Ann. Math., 78(2):339–364, 1963. [47] D. Shale. Linear symmetries of free boson fields. Trans. Amer. Math. Soc., 103:149–167, 1962. [48] J. von Neumann. Wahrscheinlichkeitstheoretischer Aufbau der Q uantenmechanik. Nachr. Gesellsch. Wiss. Göttingen, Math. Phys. Klasse, pages 245–272, 1927. [49] S. Zagatti. The Cauchy problem for Hartree-Fock time-dependent equations. Ann. Inst. H. Poincaré Phys. Théor., 56(4):357–374, 1992. J. Evol. Equ. The time-dependent Hartree–Fock–Bogoliubov Page 43 of 43 46 Volker Bach Institut für Analysis und Algebra Technische Universität Braunschweig Universitätsplatz 2 38106 Braunschweig Germany E-mail: v.bach@tu-bs.de Sebastien Breteaux IECL - Mathématiques, Informatique et Mécanique Université de Lorraine 3 rue Augustin Fresnel 57070 Metz France E-mail: sebastien.breteaux@univ-lorraine.fr Thomas Chen Department of Mathematics University of Texas at Austin Austin TX78712 USA E-mail: tc@math.utexas.edu Jürg Fröhlich Institut für Theoretische Physik, ETH Hönggerberg 8093 Zürich Switzerland E-mail: juerg@phys.ethz.ch Israel Michael Sigal Department of Mathematics University of Toronto TorontoONM5S2E4 Canada E-mail: im.sigal@utoronto.ca Accepted: 9 July 2019
Journal of Evolution Equations – Springer Journals
Published: Jun 1, 2022
You can share this free article with as many people as you like with the url below! We hope you enjoy this feature!
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.