We consider a mean-field model to describe the dynamics of [Formula: see text] bosons of species one and [Formula: see text] bosons of species two in the limit as [Formula: see text] and [Formula: see text] go to infinity. We embed this model into Fock space and use it to describe the time evolution of coherent states which represent two-component condensates. Following this approach, we obtain a microscopic quantum description for the dynamics of such systems, determined by the Schrödinger equation. Associated to the solution to the Schrödinger equation, we have a reduced density operator for one particle in the first component of the condensate and one particle in the second component. In this paper, we estimate the difference between this operator and the projection onto the tensor product of two functions that are solutions of a system of equations of Hartree type. Our results show that this difference goes to zero as [Formula: see text] and [Formula: see text] go to infinity.
We consider a mean-field model to describe the dynamics of [Formula: see text] bosons of species one and [Formula: see text] bosons of species two in the limit as [Formula: see text] and [Formula: see text] go to infinity. We embed this model into Fock space and use it to describe the time evolution of coherent states which represent two-component condensates. Following this approach, we obtain a microscopic quantum description for the dynamics of such systems, determined by the Schrödinger equation. Associated to the solution to the Schrödinger equation, we have a reduced density operator for one particle in the first component of the condensate and one particle in the second component. In this paper, we estimate the difference between this operator and the projection onto the tensor product of two functions that are solutions of a system of equations of Hartree type. Our results show that this difference goes to zero as [Formula: see text] and [Formula: see text] go to infinity.
We consider a system of p species of bosons, each of which consists of N1, N2, …, Np particles. The bosons are in three dimensions with interactions via an interaction potential V such that V ≤ D(1 − Δ), which includes the Coulomb interaction. We set the initial condition to describe a mixture condensate, i.e., a tensor product of factorized states. We show that the difference between the many-body Schrödinger evolution in the mean-field regime and the corresponding p particle dynamics due to a system of coupled Hartree equations is O(N−1), where N=∑q=1pNq.
This PhD thesis contains new results on the mathematical study of Bose-Einstein condensation and the main part of it is devoted to mixtures of condensates, i.e., systems composed of multiple bosonic species in interaction. We prove the validity of effective ground state theories for mixtures in the Gross-Pitaevskii and mean-field regime. We show that the ground state energy asymptotics, in the large-N limit, is captured by the minimum of a suitable one-body functional. Moreover, we prove that in the ground state all species exhibit Bose-Einstein condensation onto the minimizer of that functional. For mixtures in the mean-field regime, we provide a rigorous justification of Bogoliubov’s theory. This is done by computing the contribution to the ground state energy which is due to excited particles. We also prove a norm approximation for the ground state vector, in the Fock space norm. From the time-dependent viewpoint, we prove for the first time the validity of the effective equations that were previously known due to heuristic physical arguments, and that are confirmed by robust experimental evidence. Our results show that, for mixtures in the Gross-Pitaevskii and mean-field regime, the effective dynamics is governed by a system of non-linear Schrödinger equations, one for each species of the mixture. In the final part of the thesis we present additional results on problems and models related to the study on mixtures. We were able to derive the effective dynamics for spinor- and pseudo-spinor condensates. The equations that we obtain are precisely those of modern experiments with ultra-cold spin bosons. We also show that the mean-field model provide a time-dependent control of condensation that is very accurate for the typical duration times of experiments. A further result is the global well-posedness in the energy space of the singular Hartree equation. Last, we present new remarks on the adaptation of known techniques that one needs in order to prove the derivation of the magnetic Gross-Pitaevskii equation.
We propose a new approach for the study of the time evolution of a factorized N-particle bosonic wave function with respect to a mean-field dynamics with a bounded interaction potential. The new technique, which is based on the control of the growth of the correlations among the particles, leads to quantitative bounds on the difference between the many-particle Schrödinger dynamics and the one-particle nonlinear Hartree dynamics. In particular the one-particle density matrix associated with the solution to the N-particle Schrödinger equation is shown to converge to the projection onto the one-dimensional subspace spanned by the solution to the Hartree equation with a speed of convergence of order 1/N for all fixed times.
In a first part we give a brief presentation of general Fock space setting to describe quantum field theory. Bosons are quantum particles with integer spin and have symmetric wave functions; Fermions are quantum particles with half-integer spin and are represented by anti-symmetric wave functions. The functional setting is given by a symmetric or anti-symmetric tensor product of Hilbert spaces. We describe these spaces and transformations between these spaces. We shall follow the references [23, 42]. Coherent states are defined by translating the vacuum states with the Weyl operators. This is easily done here for bosons. We shall see in the next chapter how to deal with fermions. In a second part we give an interesting application of bosonic coherent states to the study of the classical limit as ℏ↘0 of non-relativistic boson systems with two body interaction in the neighborhood of a solution of the classical system (here the Hartree equation). The classical limit corresponds here to the mean-field limit as the number of particles goes to infinity. As we have done for finite systems, we use here Hepp’s method, which is a linearization procedure of the quantum Hamiltonian around the classical field. The fluctuations around this solution are controlled by a purely quadratic Hamiltonian. In a series of several important papers [114–116] Ginibre and Velo have proven an asymptotic expansion and remainder estimates for these quantum fluctuations. Finally, following the paper [225] one can show that, in the limit ℏ→0, the marginal distribution of the time-evolved coherent states tends in trace-norm to the projector onto the solution of the classical fields equation (Hartree equation) with a uniform remainder estimates in time.
We study the dynamics of interacting fermionic systems, in the mean-field regime. We consider initial states which are close to quasi-free states and prove that, under suitable assumptions on the inital data and on the many-body interaction, the quantum evolution of the system is approximated by a time-dependent quasi-free state. In particular we prove that the evolution of the reduced one-particle density matrix converges, as the number of particles goes to infinity, to the solution of the time-dependent Hartree-Fock equation. Our theorems allow to describe the dynamics of both pure states (zero temperature states) and mixed states (positive temperature states). Our results hold for all times, and give effective estimates on the rate of convergence towards the Hartree-Fock evolution. The results on pure states are based on joint works with N. Benedikter and B. Schlein, [5, 6]; while those on mixed states are based on a joint work with N. Benedikter, V. Jaksic, C. Saffirio and B. Schlein, [7].
In this paper we study the dynamics of fermionic mixed states in the mean-field regime. We consider initial states that are close to quasi-free states and prove that, under suitable assumptions on the initial data and on the many-body interaction, the quantum evolution of such initial data is well approximated by a suitable quasi-free state. In particular, we prove that the evolution of the reduced one-particle density matrix converges, as the number of particles goes to infinity, to the solution of the time-dependent Hartree-Fock equation. Our result holds for all times and gives effective estimates on the rate of convergence of the many-body dynamics towards the Hartree-Fock evolution.