-
Quantitative Derivation of the Two-Component Gross--Pitaevskii Equation in the Hard-Core Limit with Uniform-in-Time Convergence Rate
Authors:
Jacky Chong,
Jinyeop Lee,
Zhiwei Sun
Abstract:
We derive the time-dependent two-component Gross--Pitaevskii (GP) equation as an effective description of the dynamics of a dilute two-component Bose gas near its ground state, which exhibits a two-component Bose-Einstein condensate, in the GP limit. Our main result establishes a uniform-in-time bound on the convergence rate between the many-body dynamics and the effective description, explicitly…
▽ More
We derive the time-dependent two-component Gross--Pitaevskii (GP) equation as an effective description of the dynamics of a dilute two-component Bose gas near its ground state, which exhibits a two-component Bose-Einstein condensate, in the GP limit. Our main result establishes a uniform-in-time bound on the convergence rate between the many-body dynamics and the effective description, explicitly quantified in terms of the particle number $N$, and also implies a uniform-in-time bound for the one-component case. This improves upon the works of Michelangeli and Olgliati [77, 89] by providing a sharper, $N$-dependent, time-independent convergence rate. Our approach further extends the framework of Benedikter, de Oliveira, and Schlein [10] to the multi-component Bose gas in the hard-core limit setting. More specifically, we develop the necessary Bogoliubov theory to analyze the dynamics of multi-component Bose gases in the GP regime.
△ Less
Submitted 31 May, 2025; v1 submitted 30 January, 2025;
originally announced January 2025.
-
Derivation of the compressible Euler equations from the dynamics of interacting Bose gas in the hard-core limit regime
Authors:
Jacky Chong,
Shunlin Shen,
Zhifei Zhang
Abstract:
We investigate the dynamics of short-range interacting Bose gases with varying degrees of diluteness and interaction strength. By applying a combined mean-field and semiclassical space-time rescaling to the dynamics in both the Gross--Pitaevskii and hard-core limit regimes, we prove that the local one-particle mass, momentum, and energy densities of the many-body system can be quantitatively appro…
▽ More
We investigate the dynamics of short-range interacting Bose gases with varying degrees of diluteness and interaction strength. By applying a combined mean-field and semiclassical space-time rescaling to the dynamics in both the Gross--Pitaevskii and hard-core limit regimes, we prove that the local one-particle mass, momentum, and energy densities of the many-body system can be quantitatively approximated by solutions to the compressible Euler system in the strong sense, up to the first blow-up time of the fluid description, as the number of particles tends to infinity. In the hard-core limit regime, two novel results are presented. First, we rigorously prove, for the first time, that the internal energy of the fluid takes the form $4π\mathfrak{c}_{0}ρ^{2}$ (equivalently, pressure $P=2π\mathfrak{c}_{0}ρ^{2}$), arising solely from the kinetic energy density of the many-body system, rather than the interaction energy density, marking a fundamental difference from the Gross--Pitaevskii and other mean-field regimes. Second, the newly discovered coupling constant $\mathfrak{c}_{0}$ is the electrostatic capacity of the interaction potential, corresponding to the scattering length of the hard-core potential. Furthermore, in other limiting regimes, including those beyond the Gross--Pitaevskii regime, we find that the limiting equation is described by an eikonal system, offering a rigorous first-principle justification for using the ``geometric optics approximation'' to describe the dynamics of ultracold Bose gases.
△ Less
Submitted 6 March, 2025; v1 submitted 23 September, 2024;
originally announced September 2024.
-
Semiclassical Limit of the Bogoliubov-de Gennes Equation
Authors:
Jacky J. Chong,
Laurent Lafleche,
Chiara Saffirio
Abstract:
In this paper, we rewrite the time-dependent Bogoliubov$\unicode{x2013}$de Gennes equation in an appropriate semiclassical form and establish its semiclassical limit to a two-particle kinetic transport equation with an effective mean-field background potential satisfying the one-particle Vlasov equation. Moreover, for some semiclassical regimes, we obtain a higher-order correction to the two-parti…
▽ More
In this paper, we rewrite the time-dependent Bogoliubov$\unicode{x2013}$de Gennes equation in an appropriate semiclassical form and establish its semiclassical limit to a two-particle kinetic transport equation with an effective mean-field background potential satisfying the one-particle Vlasov equation. Moreover, for some semiclassical regimes, we obtain a higher-order correction to the two-particle kinetic transport equation, capturing a nontrivial two-body interaction effect. The convergence is proven for $C^2$ interaction potentials in terms of a semiclassical optimal transport pseudo-metric. Furthermore, combining our current results with the results of Marcantoni et al. [arXiv:2310.15280], we establish a joint semiclassical and mean-field approximation of the dynamics of a system of spin-$\frac{1}{2}$ Fermions by the Vlasov equation in some negative order Sobolev topology.
△ Less
Submitted 23 March, 2024;
originally announced March 2024.
-
On the semiclassical regularity of thermal equilibria
Authors:
Jacky J. Chong,
Laurent Lafleche,
Chiara Saffirio
Abstract:
We study the regularity properties of fermionic equilibrium states at finite positive temperature and show that they satisfy certain semiclassical bounds. As a corollary, we identify explicitly a class of positive temperature states satisfying the regularity assumptions of [J.J. Chong, L. Lafleche, C. Saffirio: arXiv:2103.10946 (2021)].
We study the regularity properties of fermionic equilibrium states at finite positive temperature and show that they satisfy certain semiclassical bounds. As a corollary, we identify explicitly a class of positive temperature states satisfying the regularity assumptions of [J.J. Chong, L. Lafleche, C. Saffirio: arXiv:2103.10946 (2021)].
△ Less
Submitted 16 August, 2022;
originally announced August 2022.
-
On the $L^2$ Rate of Convergence in the Limit from the Hartree to the Vlasov$\unicode{x2013}$Poisson Equation
Authors:
Jacky J. Chong,
Laurent Lafleche,
Chiara Saffirio
Abstract:
Using a new stability estimate for the difference of the square roots of two solutions of the Vlasov$\unicode{x2013}$Poisson equation, we obtain the convergence in the $L^2$ norm of the Wigner transform of a solution of the Hartree equation with Coulomb potential to a solution of the Vlasov$\unicode{x2013}$Poisson equation, with a rate of convergence proportional to $\hbar$. This improves the…
▽ More
Using a new stability estimate for the difference of the square roots of two solutions of the Vlasov$\unicode{x2013}$Poisson equation, we obtain the convergence in the $L^2$ norm of the Wigner transform of a solution of the Hartree equation with Coulomb potential to a solution of the Vlasov$\unicode{x2013}$Poisson equation, with a rate of convergence proportional to $\hbar$. This improves the $\hbar^{3/4-\varepsilon}$ rate of convergence in $L^2$ obtained in [L.~Lafleche, C.~Saffirio: Analysis & PDE, to appear]. Another reason of interest of this paper is the new method, reminiscent of the ones used to prove the mean-field limit from the many-body Schrödinger equation towards the Hartree$\unicode{x2013}$Fock equation for mixed states.
△ Less
Submitted 9 April, 2022; v1 submitted 22 March, 2022;
originally announced March 2022.
-
Global uniform in $N$ estimates for solutions of a system of Hartree-Fock-Bogoliubov type in the case $β<1$
Authors:
Jacky Chong,
Xin Dong,
Manossos Grillakis,
Matei Machedon,
Zehua Zhao
Abstract:
We extend the results of the 2019 paper by the third and fourth author globally in time. More precisely, we prove uniform in $N$ estimates for the solutions $φ$, $Λ$ and $Γ$ of a coupled system of Hartree-Fock-Bogoliubov type with interaction potential $V_N(x-y)=N^{3 β}v(N^β(x-y))$ with $β<1$. The potential satisfies some technical conditions, but is not small. The initial conditions have finite e…
▽ More
We extend the results of the 2019 paper by the third and fourth author globally in time. More precisely, we prove uniform in $N$ estimates for the solutions $φ$, $Λ$ and $Γ$ of a coupled system of Hartree-Fock-Bogoliubov type with interaction potential $V_N(x-y)=N^{3 β}v(N^β(x-y))$ with $β<1$. The potential satisfies some technical conditions, but is not small. The initial conditions have finite energy and the "pair correlation" part satisfies a smallness condition, but are otherwise general functions in suitable Sobolev spaces, and the expected correlations in $Λ$ develop dynamically in time. The estimates are expected to improve the Fock space bounds from the 2021 paper of the first and fifth author. This will be addressed in a different paper.
△ Less
Submitted 10 March, 2022;
originally announced March 2022.
-
Global-in-time Semiclassical Regularity for the Hartree-Fock Equation
Authors:
Jacky J. Chong,
Laurent Lafleche,
Chiara Saffirio
Abstract:
For arbitrarily large times $T>0$, we prove the uniform-in-$\hbar$ propagation of semiclassical regularity for the solutions to the Hartree$\unicode{x2013}$Fock equation with singular interactions of the form $V(x)=\pm\,|x|^{-a}$ where $a\in(0,\frac12)$. As a byproduct of this result, we extend to arbitrarily long times the derivation of the Hartree$\unicode{x2013}$Fock and the Vlasov equations fr…
▽ More
For arbitrarily large times $T>0$, we prove the uniform-in-$\hbar$ propagation of semiclassical regularity for the solutions to the Hartree$\unicode{x2013}$Fock equation with singular interactions of the form $V(x)=\pm\,|x|^{-a}$ where $a\in(0,\frac12)$. As a byproduct of this result, we extend to arbitrarily long times the derivation of the Hartree$\unicode{x2013}$Fock and the Vlasov equations from the many-body dynamics provided in [J. Chong, L. Lafleche, C. Saffirio: arXiv:2103.10946 (2021)].
△ Less
Submitted 18 August, 2022; v1 submitted 28 February, 2022;
originally announced February 2022.
-
From many-body quantum dynamics to the Hartree-Fock and Vlasov equations with singular potentials
Authors:
Jacky J. Chong,
Laurent Lafleche,
Chiara Saffirio
Abstract:
We obtain the combined mean-field and semiclassical limit from the $N$-body Schrödinger equation for fermions interacting via singular potentials. To obtain the result, we first prove the uniformity in Planck's constant $h$ propagation of regularity for solutions to the Hartree$\unicode{x2013}$Fock equation with singular pair interaction potentials of the form $\pm |x-y|^{-a}$, including the Coulo…
▽ More
We obtain the combined mean-field and semiclassical limit from the $N$-body Schrödinger equation for fermions interacting via singular potentials. To obtain the result, we first prove the uniformity in Planck's constant $h$ propagation of regularity for solutions to the Hartree$\unicode{x2013}$Fock equation with singular pair interaction potentials of the form $\pm |x-y|^{-a}$, including the Coulomb and gravitational interactions.
In the context of mixed states, we use these regularity properties to obtain quantitative estimates on the distance between solutions to the Schrödinger equation and solutions to the Hartree$\unicode{x2013}$Fock and Vlasov equations in Schatten norms. For $a\in(0,1/2)$, we obtain local-in-time results when $N^{-1/2} \ll h \leq N^{-1/3}$. In particular, it leads to the derivation of the Vlasov equation with singular potentials. For $a\in[1/2,1]$, our results hold only on a small time scale, or with an $N$-dependent cutoff.
△ Less
Submitted 4 August, 2023; v1 submitted 19 March, 2021;
originally announced March 2021.
-
Global estimates for the Hartree-Fock-Bogoliubov equations
Authors:
Jacky Jia Wei Chong,
Manoussos G. Grillakis,
Matei Machedon,
Zehua Zhao
Abstract:
We prove that certain Sobolev-type norms, slightly stronger than those given by energy conservation, stay bounded uniformly in time and $N$. This allows one to extend the local existence results of the second and third author globally in time. The proof is based on interaction Morawetz-type estimates and Strichartz estimates (including some new end-point results) for the equation…
▽ More
We prove that certain Sobolev-type norms, slightly stronger than those given by energy conservation, stay bounded uniformly in time and $N$. This allows one to extend the local existence results of the second and third author globally in time. The proof is based on interaction Morawetz-type estimates and Strichartz estimates (including some new end-point results) for the equation $\{ \frac{1}{i}\partial_t-Δ_{x}-Δ_{y}+\frac{1}{N}V_N(x-y) \}Λ(t, x, y) =F$ in mixed coordinates such as $L^p(dt) L^q(dx) L^2(dy)$, $L^p(dt) L^q(dy) L^2(dx)$, $L^p(dt) L^q(d(x-y)) L^2(d(x+y))$. The main new technical ingredient is a dispersive estimate in mixed coordinates, which may be of interest in its own right.
△ Less
Submitted 4 August, 2020;
originally announced August 2020.
-
Dynamical Hartree-Fock-Bogoliubov Approximation of Interacting Bosons
Authors:
Jacky Jia Wei Chong,
Zehua Zhao
Abstract:
We consider a many-body Boson system with pairwise particle interaction given by $N^{3β-1}v(N^βx)$ for $0<β<1$ and $v$ a non-negative spherically-symmetric function. Our main result is the extension of the local-in-time Fock space (norm) approximation of the exact dynamics of squeezed states proved in Grillakis and Machedon, Comm. PDEs, (2017) for $0<β<\frac{2}{3}$ to a global-in-time norm approxi…
▽ More
We consider a many-body Boson system with pairwise particle interaction given by $N^{3β-1}v(N^βx)$ for $0<β<1$ and $v$ a non-negative spherically-symmetric function. Our main result is the extension of the local-in-time Fock space (norm) approximation of the exact dynamics of squeezed states proved in Grillakis and Machedon, Comm. PDEs, (2017) for $0<β<\frac{2}{3}$ to a global-in-time norm approximation for $0<β<1$. Our work can also be viewed as a generalization of the results of Boccato, Cenatiempo, and Schlein, Ann. Henri Poincaré, (2017) to a more general set of initial data that includes coherent states along with an improved error estimate. The key ingredients in establishing the norm approximation are the work of Grillakis and Machedon on the local wellposedness theory, Grillakis and Machedon, Comm. PDEs, (2019), some recent established global estimates in Chong, Grillakis, Machedon, and Zhao, arXiv:2008.01753 (2020), and our quantitative result on the uniform in $N$ global wellposedness of the time-dependent Hartree-Fock-Bogoliubov (TBHFB) system.
△ Less
Submitted 2 December, 2020; v1 submitted 1 November, 2017;
originally announced November 2017.
-
Uniform in $N$ Global Well-posedness of the Time-Dependent Hartree-Fock-Bogoliubov Equations in $\mathbb{R}^{1+1}$
Authors:
Jacky J. Chong
Abstract:
In this article, we prove the global well-posedness of the time-dependent Hartree-Fock-Bogoliubov (TDHFB) equations in $\mathbb{R}^{1+1}$ with two-body interaction potentials of the form $N^{-1}v_N(x) = N^{β-1} v(N^βx)$ where $v$ is a sufficiently regular radial function $v \in L^1(\mathbb{R})\cap C^\infty(\mathbb{R})$. In particular, using methods of dispersive PDEs similar to the ones used in Gr…
▽ More
In this article, we prove the global well-posedness of the time-dependent Hartree-Fock-Bogoliubov (TDHFB) equations in $\mathbb{R}^{1+1}$ with two-body interaction potentials of the form $N^{-1}v_N(x) = N^{β-1} v(N^βx)$ where $v$ is a sufficiently regular radial function $v \in L^1(\mathbb{R})\cap C^\infty(\mathbb{R})$. In particular, using methods of dispersive PDEs similar to the ones used in Grillakis and Machedon, Comm. PDEs., (2017), we are able to show for any scaling parameter $β>0$ the TDHFB equations are globally well-posed in some Strichartz-type spaces independent of $N$, cf. (Bach et al. in arXiv:1602.05171).
△ Less
Submitted 7 June, 2018; v1 submitted 4 April, 2017;
originally announced April 2017.
-
Dynamics of Large Boson Systems with Attractive Interaction and a Derivation of the Cubic Focusing NLS in $\mathbb{R}^3$
Authors:
Jacky Jia Wei Chong
Abstract:
We consider a system of $N$ bosons where the particles experience a short range two-body interaction given by $N^{-1}v_N(x)=N^{3β-1}v(N^βx)$ where $v \in C^\infty_c(\mathbb{R}^3)$, without a definite sign on $v$. We extend the results of M. Grillakis and M. Machedon, Comm. Math. Phys., $\textbf{324}$, 601(2013) and E. Kuz, Differ. Integral Equ., $\textbf{137}$, 1613(2015) regarding the second-orde…
▽ More
We consider a system of $N$ bosons where the particles experience a short range two-body interaction given by $N^{-1}v_N(x)=N^{3β-1}v(N^βx)$ where $v \in C^\infty_c(\mathbb{R}^3)$, without a definite sign on $v$. We extend the results of M. Grillakis and M. Machedon, Comm. Math. Phys., $\textbf{324}$, 601(2013) and E. Kuz, Differ. Integral Equ., $\textbf{137}$, 1613(2015) regarding the second-order correction to the mean-field evolution of systems with repulsive interaction to systems with attractive interaction for $0<β<\frac{1}{2}$. Our extension allows for a more general set of initial data which includes coherent states. Inspired by the works of X. Chen and J. Holmer, Arch. Ration. Mech. Anal., $\textbf{221}$, 631(2016) and Int. Math. Res. Not., $\textbf{2017}$, 4173(2017), and P. T. Nam and M. Napiórkowski, Adv. Theor. Math. Phys., $\textbf{21}$, 683(2017), we also provide both a derivation of the focusing nonlinear Schrödinger equation (NLS) in $3$D from the many-body system and its rate of convergence toward mean-field for $0<β<\frac{1}{3}$. In particular, we give two derivations of the focusing NLS, one based on the $N$-norm approximation given in the work of Nam and Napiórkowski and the other via a method introduced in P. Pickl, J. Stat. Phys., $\textbf{140}$, 76(2010). The techniques used in this article are standard in the literature of dispersive PDEs. Nevertheless, the derivation of the focusing NLS had only previously been studied for the 1D \& 2D cases and conditionally answered for the 3D case for $0<β<\frac{1}{6}$.
△ Less
Submitted 29 July, 2020; v1 submitted 4 August, 2016;
originally announced August 2016.
