We consider the asymptotic behavior of a system of multi-component trapped bosons, when the total particle number N becomes large. In the dilute regime, when the interaction potentials have the length scale of order O(N−1), we show that the leading order of the ground state energy is captured correctly by the Gross–Pitaevskii energy functional and that the many-body ground state fully condensates on the Gross–Pitaevskii minimizers. In the mean-field regime, when the interaction length scale is O(1), we are able to verify Bogoliubov’s approximation and obtain the second order expansion of the ground state energy. While such asymptotic results have several precursors in the literature on one-component condensates, the adaptation to the multi-component setting is non-trivial in various respects and the analysis will be presented in detail.

1 aMichelangeli, Alessandro1 aNam, Phan, Thanh1 aOlgiati, Alessandro uhttps://doi.org/10.1142/S0129055X1950005301371nas a2200145 4500008004100000245008000041210007100121260002400192300001100216490000700227520088900234100002901123700002401152856004901176 2018 eng d00aEffective non-linear spinor dynamics in a spin-1 Bose–Einstein condensate0 aEffective nonlinear spinor dynamics in a spin1 Bose–Einstein con bIOP Publishingcsep a4052010 v513 aWe derive from first principles the experimentally observed effective dynamics of a spinor Bose gas initially prepared as a Bose–Einstein condensate and then left free to expand ballistically. In spinor condensates, which represent one of the recent frontiers in the manipulation of ultra-cold atoms, particles interact with a two-body spatial interaction and a spin–spin interaction. The effective dynamics is well-known to be governed by a system of coupled semi-linear Schrödinger equations: we recover this system, in the sense of marginals in the limit of infinitely many particles, with a mean-field re-scaling of the many-body Hamiltonian. When the resulting control of the dynamical persistence of condensation is quantified with the parameters of modern observations, we obtain a bound that remains quite accurate for the whole typical duration of the experiment.

1 aMichelangeli, Alessandro1 aOlgiati, Alessandro uhttps://doi.org/10.1088%2F1751-8121%2Faadbc201292nas a2200157 4500008004100000245006900041210006900110260002100179300001200200490000700212520078900219100002901008700002401037700002301061856005001084 2018 eng d00aSingular Hartree equation in fractional perturbed Sobolev spaces0 aSingular Hartree equation in fractional perturbed Sobolev spaces bTaylor & Francis a558-5880 v253 aWe establish the local and global theory for the Cauchy problem of the singular Hartree equation in three dimensions, that is, the modification of the non-linear Schrödinger equation with Hartree non-linearity, where the linear part is now given by the Hamiltonian of point interaction. The latter is a singular, self-adjoint perturbation of the free Laplacian, modelling a contact interaction at a fixed point. The resulting non-linear equation is the typical effective equation for the dynamics of condensed Bose gases with fixed point-like impurities. We control the local solution theory in the perturbed Sobolev spaces of fractional order between the mass space and the operator domain. We then control the global solution theory both in the mass and in the energy space.

1 aMichelangeli, Alessandro1 aOlgiati, Alessandro1 aScandone, Raffaele uhttps://doi.org/10.1080/14029251.2018.150342300361nas a2200109 4500008004100000245005600041210005300097100002100150700001900171700002400190856003700214 2018 eng d00aOn some rigorous aspects of fragmented condensation0 asome rigorous aspects of fragmented condensation1 aDimonte, Daniele1 aFalconi, Marco1 aOlgiati, Alessandro uhttps://arxiv.org/abs/1809.0358601139nas a2200157 4500008004100000020002200041245007400063210006900137260004400206300001400250520058600264100002400850700002900874700002900903856004900932 2017 eng d a978-3-319-58904-600aEffective Non-linear Dynamics of Binary Condensates and Open Problems0 aEffective Nonlinear Dynamics of Binary Condensates and Open Prob aChambSpringer International Publishing a239–2563 aWe report on a recent result concerning the effective dynamics for a mixture of Bose-Einstein condensates, a class of systems much studied in physics and receiving a large amount of attention in the recent literature in mathematical physics; for such models, the effective dynamics is described by a coupled system of non-linear Schödinger equations. After reviewing and commenting our proof in the mean-field regime from a previous paper, we collect the main details needed to obtain the rigorous derivation of the effective dynamics in the Gross-Pitaevskii scaling limit.

1 aOlgiati, Alessandro1 aMichelangeli, Alessandro1 aDell'Antonio, Gianfausto uhttps://doi.org/10.1007/978-3-319-58904-6_1401947nas a2200145 4500008004100000245007100041210006800112260002100180300001200201490000700213520147800220100002901698700002401727856005001751 2017 eng d00aGross-Pitaevskii non-linear dynamics for pseudo-spinor condensates0 aGrossPitaevskii nonlinear dynamics for pseudospinor condensates bTaylor & Francis a426-4640 v243 aWe derive the equations for the non-linear effective dynamics of a so called pseudo-spinor Bose-Einstein condensate, which emerges from the linear many-body Schrödinger equation at the leading order in the number of particles. The considered system is a three-dimensional diluted gas of identical bosons with spin, possibly confined in space, and coupled with an external time-dependent magnetic field; particles also interact among themselves through a short-scale repulsive interaction. The limit of infinitely many particles is monitored in the physically relevant Gross-Pitaevskii scaling. In our main theorem, if at time zero the system is in a phase of complete condensation (at the level of the reduced one-body marginal) and with energy per particle fixed by the Gross-Pitaevskii functional, then such conditions persist also at later times, with the one-body orbital of the condensate evolving according to a system of non-linear cubic Schrödinger equations coupled among themselves through linear (Rabi) terms. The proof relies on an adaptation to the spinor setting of Pickl’s projection counting method developed for the scalar case. Quantitative rates of convergence are available, but not made explicit because evidently non-optimal. In order to substantiate the formalism and the assumptions made in the main theorem, in an introductory section we review the mathematical formalisation of modern typical experiments with pseudo-spinor condensates.

1 aMichelangeli, Alessandro1 aOlgiati, Alessandro uhttps://doi.org/10.1080/14029251.2017.134634800961nas a2200157 4500008004100000022001400041245007700055210007100132260000800203300001400211490000600225520047300231100002900704700002400733856004600757 2017 eng d a1664-235X00aMean-field quantum dynamics for a mixture of Bose–Einstein condensates0 aMeanfield quantum dynamics for a mixture of Bose–Einstein conden cDec a377–4160 v73 aWe study the effective time evolution of a large quantum system consisting of a mixture of different species of identical bosons in interaction. If the system is initially prepared so as to exhibit condensation in each component, we prove that condensation persists at later times and we show quantitatively that the many-body Schrödinger dynamics is effectively described by a system of coupled cubic non-linear Schrödinger equations, one for each component.

1 aMichelangeli, Alessandro1 aOlgiati, Alessandro uhttps://doi.org/10.1007/s13324-016-0147-300917nas a2200157 4500008004100000020002200041245008300063210006900146260004400215300001400259520035500273100002400628700002900652700002900681856004900710 2017 eng d a978-3-319-58904-600aRemarks on the Derivation of Gross-Pitaevskii Equation with Magnetic Laplacian0 aRemarks on the Derivation of GrossPitaevskii Equation with Magne aChambSpringer International Publishing a257–2663 aThe effective dynamics for a Bose-Einstein condensate in the regime of high dilution and subject to an external magnetic field is governed by a magnetic Gross-Pitaevskii equation. We elucidate the steps needed to adapt to the magnetic case the proof of the derivation of the Gross-Pitaevskii equation within the ``projection counting'' scheme.

1 aOlgiati, Alessandro1 aMichelangeli, Alessandro1 aDell'Antonio, Gianfausto uhttps://doi.org/10.1007/978-3-319-58904-6_15