Abstract
We consider the quantum dynamics of N interacting fermions in the large N limit. The particles in the system interact with each other via repulsive interaction that is regularized Coulomb potential with a polynomial cutoff with respect to N. From the quantum system, we derive the Vlasov–Poisson system by simultaneously estimating the semiclassical and mean-field residues in terms of the Husimi measure.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this study, we consider a system of N identical spinless fermions characterized by the wave function \(\psi _{N}:{\mathbb {R}}^{3N} \rightarrow {\mathbb {C}}\) in \(L^2_a ({\mathbb {R}}^{3N})\) with \(\left| \left| \psi _{N}\right| \right| _{L^2}^2 =1\). The antisymmetric space \(L^2_a ({\mathbb {R}}^{3N})\), which is a subspace of \(L^2 ({\mathbb {R}}^{3N})\), is given by
where \(S_N\) is the odd-permutation group and \(\varepsilon _\pi \) is the sign of the permutation \(\pi \).
The antisymmetric space considered above is a reflection of fermions obeying the Pauli exclusion principle, i.e., no two identical fermions simultaneously occupy the same single quantum state. It is observed that when N fermions are initially trapped in a volume of order one, their kinetic energy is at least of order \(N^{5/3}\). This implies that the coupling constant should be chosen as \(N^{-1/3}\) to balance the order of the potential energy and the kinetic energy in the Hamiltonian. Thus, the mean-field Hamiltonian acting on \(L^2_a({\mathbb {R}}^{3N})\) is given by
where \( \Delta _{x_j}\) is the Laplacian acting on particle \(x_j\) and \(V_N\) is the interaction potential given by the regularized Coulomb potential defined as follows:
Definition 1.1
For any \(x \in {\mathbb {R}}^3\) and let \(V(x) = |x|^{-1}\), then we call the following \(V_N\) to be the regularized Coulomb potential:
where \({\mathcal {G}}_{\beta _N}(x) := \frac{1}{ (2\pi \beta _N^2)^{3/2}} e^{-\left( {x/\beta _N}\right) ^2}\).
The regularized Coulomb potential defined in (1.2) can be understood as an interaction potential between spherical particles with a vanishing radius \(\beta _{N}\rightarrow 0\) as \(N \rightarrow \infty \). This method of using the regularized Coulomb potential depending on \(N \rightarrow \infty \) has been applied in many works, for example, in [35, 43] for the derivation of the Vlasov–Poisson dynamics from N-body classical dynamics. In [17], such a regularized potential was considered for the bosonic case.
Observe that, the time-dependent Schrödinger equation is given by
for all \(\psi _{N,\tau } \in L^2_a({\mathbb {R}}^{3N})\) and \(\tau \geqslant 0\). Since the average kinetic energy for each fermionic particle is of order \(N^{2/3}\), then its average velocity is of order \(N^{1/3}\). Therefore, in the mean-field regime, the time evolution of the fermion system is expected to be of order \(N^{-1/3}\). Rescaling the time variable \(t = N^{1/3} \tau \), one obtains the following Schrödinger equation for N fermions:
As suggested in Thomas–Fermi theory in [44, 46], we set \(\hbar = N^{-1/3}\) as the semiclassical scale. Then, multiplying both sides of (1.3) by \(\hbar ^2\), we obtain the time-dependent Schrödinger equation as follows:Footnote 1
where \(\psi _N\) is the initial data in \(L_a^2({\mathbb {R}}^{3N})\). The choice of other coupling constants for different scenarios is summarized in [6].
Solving numerically the Schrödinger equation in (1.4) with a large particle number and analyzing the behavior of its solution is hard even for \(N=1000\). An efficient way to analyze and solve the behavior of a large quantum system is to derive its corresponding effective evolution equations. Therefore, we consider the density matrix operator instead of the wave function \(\psi _{N,t}\). Namely, for \(t\geqslant 0\), we define the 1-particle reduced density matrix \(\gamma _{N,t}\), a positive semidefinite trace class operator in \(L_a^2({\mathbb {R}}^{3N})\), with trace equal to N. Specifically, for pure states, it is an operator with the corresponding kernel given by
for any normalized \(\psi _{N,t} \in L_a^2({\mathbb {R}}^{3N})\). It can be easily shown that the trace of the 1-density particle is given by \(\hbox {Tr}\gamma _{N,t}^{(1)} = N\). Furthermore, for indistinguishable fermions, we can analyze the quantum dynamics by density matrices depending on a small number of particles, \(1 \leqslant k \ll N\). Denoting \(\hbox {Tr}^{(k)}\) as the k-partial trace, we define the k-particle reduced density matrix as
where its corresponding integral kernel is given by
We denote the inner-product of \(L_a^2({\mathbb {R}}^{3N})\) as \(\left\langle \psi , \phi \right\rangle = \int \mathrm {d}x \, {\overline{\psi }}(x) \phi (x)\). Given any N and time t, the expectation of the physical observable associated with a self-adjoint operator O is given as
Equivalently, we can write the expectation of an observable O with
and the expectation of any k-observables \(O^{(k)}\) is
Therefore, the k-particle reduced density matrix \(\gamma _N^{(k)}\) is also a positive semidefinite trace class operator with trace
With a k-particle density matrix, we can avoid analyzing the complicated case with N-particles by finding an approximating effective equation that describes the system. In the fermionic case, we let \(\gamma _{N,0}^{(1)} \equiv \omega _{N}\), a 1-particle density matrix associated with initial state \(\psi _{N}\), be a Slater determinant defined as
for any family of orthonormal bases \(\{\mathrm {e}_j\}_{j=1}^N \subset L^2({\mathbb {R}}^3)\). In particular, we have
which corresponds to the 1-particle reduced density matrix with an integral kernel of \(\omega _{N} (x;y)= \sum _{j=1}^ N \overline{\mathrm {e}_j(y)} \mathrm {e}_j(x)\). In [57], the mean-field approximation of the Schrödinger equation is given by the following Hartree–Fock equation:
where \(\rho _{N,t}\) has the integral kernel \(\frac{1}{N} \omega _{N,t} (x;x)\), \(X_t\) is the exchange operator with the integral kernel \(\frac{1}{N} |x-y|^{-1} \omega _{N,t}(x;y)\), and the commutator is denoted as \([A,B] := AB - BA\) for any bounded operators A and B.
The mean-field limit from the Schrödinger equation to the Hartree–Fock equation has been studied extensively. In [23], where the Slater determinant constitutes the initial data and a regular interaction is assumed, the convergence is obtained by the use of the Bogoliubov–Born–Green–Kirkwood–Yvon (BBGKY) hierarchy method for short times. In [10], the rates of convergence in both the trace norm and Hilbert–Schmidt norm for pure states are obtained for an arbitrary time and more general potential in the framework of second quantization. The extension to mixed states has been considered in [8] for a positive temperature and for the relativistic case in [11]. Furthermore, by utilizing the Fefferman–de la Llave decomposition presented in [6, 25, 34], the rate of convergence, with more assumptions on the initial data is obtained in [57] for Coulomb potential and in [59] for inverse power law potential. Further literature on the mean-field limit for fermionic cases can be found in [27, 53,54,55].
The semiclassical limit from the Hartree–Fock equation to the Vlasov equation has also been extensively studied. In [47], this is achieved by using the Wigner–Weyl transformation of the density matrix. In [9], the authors compared the inverse Wigner transform of the Vlasov solution and the solution of the Hartree–Fock equation and obtained the rate of convergence in the trace norm as well as the Hilbert–Schmidt norm with regular assumptions on the initial data. In fact, [9, 60] utilized the k-particle Wigner measure as follows:
where \(\gamma _{N,t}^{(k)}\) is the kernel of the k-particle reduced density defined in (1.5).
The works in this direction have also been extended for the inverse power law potential in [61], rate of convergence in the Schatten norm in [42], Coulomb potential and mixed states in [60], and convergence in the Wasserstein distance in [40, 41]. The convergence of relativistic Hartree dynamic to the relativistic Vlasov equation was considered in [21]. Further analysis of the semiclassical limit from the Hartree–Fock equation to the Vlasov equation can be found in [2, 3, 5, 28, 51].
We can combine both mean-field and semiclassical limits and directly obtain the convergence from the Schrödinger equation to the Vlasov equation. The notable pioneers in this direction are Narnhofer and Sewell in [52] and Spohn in [64]. They proved the limit from the Schrödinger equation to Vlasov, in which the interaction potential V was assumed to be analytic in [52] and \(C^2\) in [64]. The rate of convergence of the combined limit in terms of the Wasserstein (pseudo)distance was obtained in [31,32,33]. In fact, the authors studied the rate of convergence in terms of the Wasserstein distance by treating the Vlasov equation as a transport equation and applying the Dobrushin estimate with appropriately chosen initial data. Then, the result for the Husimi measure was obtained by transforming its Wigner measure similar to (1.11) with a specifically chosen coherent state. In this study, we instead consider a more generalized coherent state. Recently, the combined limit for the singular potential case was obtained in [18]. They provided a derivation of the Vlasov equation using the weighted Schatten norm with a higher moment, and more conditions on the initial data were assumed.
Nevertheless, it is known that the Wigner measure defined in (1.10) is not a true probability density, as it may be negative in a certain phase space. This is shown numerically in [39] for chosen Fock states. Moreover, in [38], a vis-à-vis comparison of the classical and quantum systems of a nonlinear Duffing resonator shows that the classical system develops a probability density in the traditional sense, while the quantum system yields a negative region in phase space corresponding to the Wigner measure. In fact, it is proven in [37, 50, 63] that the Wigner measure is nonnegative if and only if the pure quantum states are Gaussian. Additionally, in [13], it is stated that the Wigner measure is nonnegative if the state is a convex combination of coherent states. The issue of incompatibility between the quantum Wigner and classical regimes remains an open question [14].
Nevertheless, it has been shown that we can obtain a nonnegative probability measure by taking the convolution of the Wigner measure with a Gaussian function as a mollifier; this is known as the Husimi measure [19, 26, 66]. In particular, from [26, p.21], given a specific Gaussian coherent state, the relation between the Husimi measure and Wigner measure is given by the following convolution: for any \(1 \leqslant k \leqslant N\),
where \({\mathfrak {m}}_{N,t}^{(k)}\) is the k-particle Husimi measure and
The smoothing of the Wigner measure presented in (1.11) motivates the objective of our study: to directly obtain the Vlasov–Poisson equation from the Schrödinger equation in terms of the Husimi measure.Footnote 2 In fact, we have explored the direct method in [15] with the use of the BBGKY hierarchy method, under the assumption that \(V \in W^{2,\infty } ({\mathbb {R}}^3)\). The main contribution of the current work is that by using the generalized version of Husimi measure defined later in (2.10), we are able to write N-fermionic Schrödinger equation directly into Vlasov type of equation in (3.4) and obtain a convergence in combined limit without the use of BBGKY hierarchy method. Furthermore, compared to [15], the new remainder terms in (3.4) obtained in this paper allow us to handle the regularized Coulomb potential defined in (1.2).
Note that the case for bosons has been extensively studied. In fact, there are more studies on bosonic cases than on fermionic cases. As bosons are not the main concern of this paper, we mention only a selected few of these studies in passing. In particular, [24] proved that the Schrödinger equation for bosons converges to the nonlinear Hartree equation for the Coulomb potential. In addition, the convergence for the aforementioned equation is obtained in [58] with a rate of \(N^{1/2}\) for the Coulomb potential. The convergence rate of \(N^{-1}\) has been optimized in [17] for the Coulomb potential, as well as for more singular potentials in [16].
This article is organized as follows. Brief introductions to the second quantization and Husimi measure are presented in Sects. 2.1 and 2.2, respectively. This is followed by the statement of our main theorem and proof strategy in Sect. 3. Then, uniform estimates are given in Sect. 3.2, followed by the proof of the main theorem in Sect. 3.3. The estimates for the residual terms are covered in Sect. 4.
2 Preliminaries
2.1 Second Quantization
In the study of large particle systems, we expect the operators to interact with different Hilbert spaces of the N-particle system by creating and annihilating particles. Therefore, to analyze a large particle system, it is convenient for us to build a ‘larger’ Hilbert space that accompanies the aforementioned interactions, equipped with the norm \(\left| \left| \ \cdot \ \right| \right| \). In particular, for a large fermionic system, we consider the Fock space for fermions as
where \(L^2_a ({\mathbb {R}}^{3n}; (\mathrm {d}x)^{\otimes n})\) represents the n-fold antisymmetric tensor product of \(L^2({{\mathbb {R}}^3})\). Moreover, the vacuum state is denoted as \(\Omega =1\oplus 0 \oplus 0 \oplus \dots \in {\mathcal {F}}_a\).
For \(f \in L^2({\mathbb {R}}^3)\), the annihilation operator a(f) and creation operator \(a^*(f)\) acting on \(\Psi = \bigoplus _{n \geqslant 0}\psi ^{(n)} \in {\mathcal {F}}_a\) are defined by
Here, \(\Psi ^{(n)}\) denotes the n-th particle sector of \(\Psi \in {\mathcal {F}}_a\). Following the notations from [10], we will use the operator valued distributions \(a^*_x\) and \(a_x\), to represent the creation and annihilation operators:
Note that the operator-valued distribution \(a^*_x\) formally creates a particle at position \(x\in {\mathbb {R}}^3\), while the operator-valued distribution \(a_x\) annihilates a particle at x.
Furthermore, by the corresponding canonical anticommutation relations (CAR) in the fermionic system, we have that for any \(f,g \in L^2({\mathbb {R}}^3)\)
where \(\{A, B\} := AB + BA\) is the anticommutator. Following from (2.2), the CAR for operator kernels holds as follows:
For any normalized \(\Psi _{N,t} \in {\mathcal {F}}_a\), it is straightforward to show that
for any \(f \in L^2({\mathbb {R}}^3)\).Footnote 3
We extend the Hamilton operator appeared in (1.4) acting on \(L^{2}_a({\mathbb {R}}^{3N})\) to an operator acting on the Fock space \({\mathcal {F}}_a\) by \(({\mathcal {H}}_N\Psi )^{(n)} = {\mathcal {H}}_N^{(n)} \psi ^{(n)}\) with
Then, we can write the Hamiltonian \({\mathcal {H}}_N\) in terms of the operator-valued distributions \(a_{x}\) and \(a_{x}^{*}\) by
In this article, we will consider only the following Schrödinger equation in Fock space:
for all \(\Psi _{N,t} \in {\mathcal {F}}_a\) and \(\Vert \Psi _{N,t}\Vert =1\) for \(t \in [0,T]\).
Next, we denote the number of particles operator and kinetic energy operator as
respectively.
For any given \(\Psi \in {\mathcal {F}}_a\) in the n-th sector, we can interpret the number of particles operator as
where \(\psi ^{(n)} \in L_a^2({\mathbb {R}}^{3n})\) for any \(n \geqslant 1\). In the vacuum state, we have \({\mathcal {N}}\Omega = 0\). It is therefore straightforward to show that for \(k \geqslant 1\),
for any normalized \(\Psi _{N,t} \in {\mathcal {F}}_a\) and \(t \geqslant 0\). Clearly, the relation between the number of particles operator and the 1-particle reduced density matrix is given as
and observe \(\hbox {Tr}\gamma _{N,t}^{(1)} = N\).
2.2 The Husimi Measure
We use the definition of the Husimi measure given in [26]. Let f be any real-valued normalized function in Hilbert space; then, the coherent state is defined as
Then, the projection of coherent state is given by
For any \(\Psi _{N,t} \in {\mathcal {F}}_a\), \(1 \leqslant k \leqslant N\) and \(t \geqslant 0\), the k-particle Husimi measure is defined as
where we use the short notations
The Husimi measure defined in (2.10) measures how many particles, in particular fermions, are in the k-semiclassical boxes with a length scale of \(\sqrt{\hbar }\) centered in its respective phase-space pairs, \((q_1, p_1), \dots , (q_k, p_k)\).
Remark 2.1
The Husimi measure (2.10) is a more generalized version of (1.11). If f is given by a Gaussian function, then the definitions of \({m}^{(k)}_{N,t}\) and \({\mathfrak {m}}^{(k)}_{N,t}\) coincide.
Then, we observe that by using the operator kernels defined in (2.1), the Husimi measure can be expressed by
The relation between the Husimi measure and the number of particles operator can be expressed as follows, for the 1-particle Husimi measure \(m_{N,t}:=m^{(1)}_{N,t}\),
where we use the Dirac-delta \( \delta _{x}(y) := (2\pi \hbar )^{-3}\int e^{\frac{\mathrm {i}}{\hbar }p \cdot (x - y)} \hbox {d}{p}\). Further properties of the Husimi measure are covered in Lemma 3.1. Observe that if the initial data is described by Slater determinant as in (1.8), then the Husimi measure at initial time is
We are now ready to state the main theorem.
3 Main Result
In this section, we provide our main result, proof strategies, and the a priori estimates. The complete proof will be presented in Sect. 3.3. In the following, we denote \( \nabla _q f\) and \( \nabla _p f\) to be the gradients of f with respect to the position and momentum variables, respectively.
Theorem 3.1
Suppose that \(V_N\) is the regularized Coulomb potential given in (1.2) with \(\beta _{N} := N^{-\epsilon }\) and \(0<\epsilon <\frac{1}{24}\) hold. For any fixed \(T>0\), let \(\Psi _{N,t} \in {\mathcal {F}}_a\), \(t\in [0,T]\), be the solution to the Schrödinger equation (2.6) with the Slater determinant as the initial data. Let \(m_{N,t}\) be the 1-particle Husimi measure defined in (2.10), where f is a compact supported positive-valued function in \(H^1({\mathbb {R}}^3)\) with \(\Vert f\Vert _{L^2}=1\). Moreover, let \(m_{N}^{\text {Slater}}\) be the initial 1-particle Husimi measure with its \(L^1\)-weak limit \(m_0\) and there exists a constant \(C>0\) independent of N such that
Then, \(m_{N,t}\) has a weak-\(\star \) convergent subsequence in \(L^\infty ((0,T];L^1({\mathbb {R}}^3 \times {\mathbb {R}}^3))\) with limit \(m_{t}\), and \(m_{t}\) is the solution of the Vlasov–Poisson equation with repulsive Coulomb potential,
in the sense of distribution where \(\varrho _{t} (q):= \int \hbox {d}{p} m_{t} (q,p) \).
Remark 3.1
Since the total energy is conserved in this problem, the assumption of repulsive interacting potential is important to give uniform estimates both for kinetic energy and potential energy.Footnote 4 In fact, the result in Theorem 3.1 holds also for attractive singular potential if the kinetic energy can be bounded uniformly in N.
Remark 3.2
It is proven in Proposition 3.1 that the first moment of the Husimi measure \(m_{N,t}\) is uniformly bounded. Therefore, by Theorem 7.12 in [65], the convergence stated in theorem also holds in terms of the 1-Wasserstein metric.Footnote 5
Remark 3.3
In [31], the rate of convergence from Schrödinger to the Vlasov equation in the pseudometric is obtained for the interaction potential \(V \in C^{1,1}\). In addition, the authors commented that their result can be extended for the truncated Coulomb interaction, but with order higher than \(C/\sqrt{\ln N}\) for some constant \(C >0\). In Theorem 3.1, the mollification of the Coulomb interaction can be handled with polynomial truncation.
Remark 3.4
The global existence of classical solution to the Vlasov–Poisson equation in 3-dimension is proven in [48, 56] for a general class of initial data. The uniqueness of the solution is proven in [48] for initial datum with strong moment conditions and integrability. In [49], the uniqueness of the solution is also proven for bounded macroscopic density. Furthermore, the global existence of weak solutions is provided in [4] for bounded initial data and kinetic energy. The result is then relaxed to only \(L^p\)-bound for \(p>1\) in [29]. Result on existence with symmetric initial data is proven in [7, 22, 62]. For other results, we refer to the works given in [1, 12, 36] to list a few.
3.1 Proof Strategies
From [15, Proposition 2.1], we obtain the following equation from the Schrödinger equation given (1.4), i.e.,
where we denote
In particular, this can be rewritten into the Vlasov equation with remainder terms, i.e.,
where \(\varrho _{N,t}(q):= \int \hbox {d}{p} m_{N,t}(q,p)\), \(\widetilde{{\mathcal {R}}}\) and \({\mathcal {R}}={\mathcal {R}}_1+{\mathcal {R}}_2\) are given by
The main contribution of this article is to rigorously prove the limit \(N\rightarrow \infty \) from (3.4) to the Vlasov–Poisson equation (3.2) in the sense of distribution.
First, from the uniform estimate of the kinetic energy shown in Lemma 3.2, we prove in Proposition 3.1 the uniform estimate for the moments of Husimi measure. Additionally, because the Husimi measure belongs to \( L^\infty ([0,T];L^1({\mathbb {R}}^3) \cap L^\infty ({\mathbb {R}}^3))\) (see Lemma 3.1), we obtain directly the weak compactness of the two linear terms on the left-hand side of (3.4) by the Dunford–Pettis theorem.Footnote 6
For the quadratic term on the right-hand side of (3.4), the classical Thomas–Fermi theory gives that \(\varrho _{N,t} \in L^\infty ([0,T]; L^{5/3}({\mathbb {R}}^3))\). With the a priori estimate obtained in Sect. 3.2, the Aubin–Lions compact embedding theorem shows the strong compactness of \(\nabla V_N * \varrho _{N,t}\).
The estimate for the remainder term \(\widetilde{{\mathcal {R}}}\) is provided in [15, Proposition 2.4]. Thus, the main work of this paper is dealing with the challenging term \({\mathcal {R}}\). Unlike the BBGKY hierarchy used in [15], where the remainder term contains only the difference between the 2-particle density matrices, we write the term \({\mathcal {R}}\) as a combination of the semiclassical and mean-field terms as \({\mathcal {R}}_1\) and \({\mathcal {R}}_2\), respectively.Footnote 7 Thus, the factorization effect can be directly obtained from \({\mathcal {R}}_2\) instead of using the method of the BBGKY hierarchy.
The estimates for \({\mathcal {R}}_1\) and \({\mathcal {R}}_2\) are shown in Proposition 4.2 and Proposition 4.3, respectively, in which we utilize the estimates of the ‘cutoff’ number operator and momentum oscillation presented in Lemma 4.1 and Lemma 4.2, to control the growth of the Lipschitz constant \(V_N\), which is of order \(\beta _{N}^{-2}\).
3.2 A priori Estimates
We present in this subsection a sequence of estimates that is used repeatedly in the proof.
First, we cite the following properties of k-particle Husimi measures from (or [15, Lemma 2.2] for the time dependent version).
Lemma 3.1
Suppose that \(\Psi _{N,t} \in {\mathcal {F}}_a\) is normalized for any \(t \geqslant 0\). Then, the following properties hold true for \(m^{(k)}_{N,t}\),
-
1.
\(m^{(k)}_{N,t}(q,p,\dots ,q_k,p_k)\) is symmetric,
-
2.
\(\frac{1}{(2\pi )^{3k}} \int \cdots \int (\mathrm {d}q\mathrm {d}p)^{\otimes k} m^{(k)}_{N,t}(q,p,\dots ,q_k,p_k) = \frac{N(N-1)\cdots (N-k+1)}{N^k}\),
-
3.
\(\frac{1}{(2\pi \hbar )^{3}} \iint \mathrm {d}q_k \mathrm {d}p_k\ m^{(k)}_{N,t}(q,p,\dots ,q_k,p_k) = (N-k+1) m^{(k-1)}_{N,t}(q,p,\dots ,q_{k-1},p_{k-1}) \),
-
4.
\( 0 \leqslant m^{(k)}_{N,t}(q,p,\dots ,q_k,p_k) \leqslant 1\) a.e.,
where \(1 \leqslant k \leqslant N\).
Then, due to the conservation of energy and the repulsive effect of the Coulomb force, we obtain the following estimate for the kinetic energy.
Lemma 3.2
Assuming that \(V_N(x) \geqslant 0\) and the initial total energy is bounded in the sense that \(\frac{1}{N}\langle \Psi _{N},{\mathcal {H}}_{N}\Psi _{N}\rangle \leqslant C\), then there exists a constant \(C>0\) independent of N such that
Proof
We define the operator
Since \(V_N\geqslant 0\), we have \(\langle \Psi _{N,t},{\mathcal {V}}_{N}\Psi _{N,t}\rangle \geqslant 0\). Then
implies
Hence,
\(\square \)
Consequently, the moment estimate of the Husimi measure is obtained directly from the uniform bound in Lemma 3.2.
Proposition 3.1
For \(t \geqslant 0\), we have the following finite moments:
where \(C>0\) is a constant that depends on initial data \(\iint \mathrm {d}q \mathrm {d}p\ (|q| + |p|^2) m_{N}(q, p) \).
Proof
First, from equation (2.16) in [15], we obtain that
which implies that
where we use Lemma 3.2 in the last inequality.
Then, for the moment with respect to q, we obtain from (3.4) that
By applying the divergence theorem first with respect to p and then with respect to q in (3.10), we obtain
where we use Young’s product inequality. Finally, taking the integral over t, we obtain the desired result. \(\square \)
3.3 Proof of Theorem 3.1
First, denoting \(\varrho _{N,t}(q) := \int m_{N,t}(q,p) \hbox {d}{p}\), recall the Vlasov equation
with
The main task is now reduced to taking limits in (3.12). In fact, Sect. 4 is devoted to deriving the estimates for the residuals. As a summary, it is proven in Sect. 4 that for \(\varphi ,\phi \in C^\infty _0 ({\mathbb {R}}^3)\), there exists a positive constant K such that
where \(\frac{5}{6}< \alpha _1 < 1\), \(\frac{1}{2}< \alpha _2 < 1\) and \(0 < \delta \ll 1\). The estimates in (3.13) show that the residual terms converge to zero in the sense of distribution.
Next, we have the following result on weak convergent in \(L^1\):
Proposition 3.2
(Proposition 2.7 of [15]). Let \(\{m_{N,t}\}_{N\in {\mathbb {N}}}\) be the 1-particle Husimi measure; then, there exists a subsequence \(\{m_{N_j,t}\}_{j\in {\mathbb {N}}}\) that converges weakly in \(L^1({\mathbb {R}}^{3} \times {\mathbb {R}}^3 )\) to a function \( (2\pi )^{3}m_{t}\); i.e., for all \( \Phi \in L^\infty ({\mathbb {R}}^{3} \times {\mathbb {R}}^3)\), it holds that
as \(j \rightarrow \infty \).
Remark 3.5
The proof for Lemma 3.2 is obtained by proving its uniform integrability and employing the Dunford–Pettis theorem for \(L^1\) compactness.
Furthermore, to prove the convergence of the nonlinear term \((\nabla V_N * \rho _N) \cdot \nabla _p m_{N,t}\), we first show the strong convergence of \(\nabla V_N * \rho _N\).
Lemma 3.3
Let \(V_N\) be defined as (1.2). Then, for \(t \in [0,\infty )\), there exists constant \(C>0\) independent on N such that
Proof
From Lemma 3.1 and Proposition 3.1, one finds that \(m_{N,t}\) is uniformly bounded in \(L^{\infty } ([0,\infty ); L^1({\mathbb {R}}^{3} \times {\mathbb {R}}^3 ))\cap L^{\infty } ([0,\infty ); L^\infty ({\mathbb {R}}^{3} \times {\mathbb {R}}^3 ))\) and \(|p|^2m_{N,t}(q,p)\) uniformly in \(L^{\infty } ([0,\infty ); L^1({\mathbb {R}}^{3} \times {\mathbb {R}}^3 ))\), respectively. As a consequence, it holds that
Thus, \(V_N * \varrho _{N,t}=V*{\mathcal {G}}_{\beta _N}* \varrho _{N,t}\) is uniformly bounded in \(L^{\infty } ([0,\infty ); W^{2, \frac{5}{3}}({\mathbb {R}}^3))\) due to the fact that V is the fundamental solution of the Poisson equation and
This implies the result (3.14) directly.
To prove (3.15), recall again the transport equation for \(m_{N,t}\)
where \(\varrho _{N,t}(q) := \int m_{N,t}(q,p) \hbox {d}{p}\). Taking the integral with respect to p,
Next, by taking the convolution with \(\nabla V_N\), we obtain
where \(J_{N,t}(q) := \int \hbox {d}{p}p\ m_{N,t}(q,p) \), \((u\otimes _*v)_{ij}=u_i*v_j\) for \(u,v\in {\mathbb {R}}^3\). Then, we observe that
Therefore, we have
where we use Proposition 3.1 in the last inequality, yielding that \(J_{N,t}\) is uniformly bounded in \(L^{\infty }\big ([0,\infty );L^{\frac{5}{4}}({\mathbb {R}}^3)\big )\). Then, for any test function \(\varphi \in L^{\frac{15}{8}}({\mathbb {R}}^3)\), we obtain for a.e. \(t\geqslant 0\) that
where we use the Hardy–Littlewood–Sobolev inequality in the third inequality. This implies that, by using dual formulation of \(L^p\) norms and taking the supremum in \(\varphi \in L^{\frac{15}{8}}\), one obtains that \(\nabla V_N * J_{N,t}\) is uniformly bounded in \(L^{\infty }([0,\infty ); L^{\frac{15}{7}}({\mathbb {R}}^3) ) \).
Therefore, focusing on the estimate of \(\widetilde{{\mathcal {R}}}\), we have
Note that since it holds that
this implies
Repeating the calculation in (3.18), we have that \(\nabla V_N * \int \hbox {d}{p} \widetilde{{\mathcal {R}}}\) is uniformly bounded in \(L^{\infty }([0,\infty ); L^{\frac{15}{7}}({\mathbb {R}}^3))\), which implies that \(\nabla V_N * \int \hbox {d}{p} (\nabla _q \cdot \widetilde{{\mathcal {R}}} + \nabla _p \cdot {{\mathcal {R}}})\) is uniformly bounded in \( L^{\infty }([0,\infty ); L^{\frac{15}{7}}({\mathbb {R}}^3))\). Thus, from (3.17), we have that there exists a C which is independent of N such that
This completes the proof for Lemma 3.3. \(\square \)
Finally, we conclude the proof of main theorem with the following compactness argument.
3.3.1 Compactness Argument
As in Sect. 3.1, the weak convergence of the linear terms in the Vlasov equation is obtained from Proposition 3.2. The following discussion is focused on the nonlinear term. Without loss of generality, assume that \(\Phi (q,p) =\varphi (q) \phi (p)\) for any test functions \(\varphi \), \(\phi \in C^\infty _0 ({\mathbb {R}}^3)\), and let the sphere \(B_\ell \) with radius \(\ell >0\) be the support of \(\varphi \). Due to the Sobolev’s embedding theorem, we have
where \(\frac{5}{4} \leqslant r < \frac{15}{4}\) and means the compact embedding. Recall the results in Lemma 3.3, we have
Then, by Aubin–Lions lemma, we obtain that there exists a subsequence denoted also by \(\big (\nabla V_N * \varrho _{N,t}\big )_{N \in {\mathbb {N}}}\), and \(h \in L^{\infty }([0,T]; L^r (B_\ell ))\) such that, as \(N \rightarrow \infty \), we have
where \(\frac{5}{4} \leqslant r < \frac{15}{4}\). The weak star convergence of \(\varrho _{N,t} \rightharpoonup ^*\varrho _{t}\) in \(L^\infty ((0,T); L^\frac{5}{3}({\mathbb {R}}^3))\), where \(\varrho _{t}(q) := \int m_{t}(q,p) \hbox {d}{p}\), and the definition of \(V_N\) in (1.2) imply that the limit function h coincides with \(\nabla V*\varrho _t\) a.e. in \(B_\ell \).
Now, to show the convergence to the Vlasov–Poisson equation, we first compute
Let us focus on the first term.
where we use the fact that \(0 \leqslant m_{N,t} \leqslant 1\) almost everywhere. Taking the limit \(N \rightarrow \infty \) on both sides, then we have
We focus now on \({\mathcal {A}}_2\). We observe that since \(\left| \left| m_{N,t}\right| \right| _{L^\infty }\) is uniformly bounded, it is implied that there is a subsequence still denoted by \((m_{N,t})_{N\in {\mathbb {N}}}\) such that \(m_{N,t} \rightharpoonup ^* m_{t}\) in \(L^{\infty }((0,T);L^\infty ({\mathbb {R}}^{3} \times {\mathbb {R}}^3 ))\) as \(N \rightarrow \infty \). Since \(\varphi (q)\nabla _{p} \phi (p) \cdot (\nabla V * \varrho _{t})(q) \in L^{1}((0,T);L^1({\mathbb {R}}^{3} \times {\mathbb {R}}^3))\), we have \(\lim _{N \rightarrow \infty } {\mathcal {A}}_2 = 0\). This completes the proof of Theorem 3.1. \(\square \)
4 Estimates of Residuals
To estimate the residuals outlined in (3.5), we first present the following important facts, which are used frequently in the proof: the \(\hbar \)-weighted Fourier transformation is given as
for any given function \( F, G \in L^2({\mathbb {R}}^3)\).
The results in [15] for the localized number operator and oscillation estimates are
Lemma 4.1
(Lemma 2.4 of [15]) For \(t \geqslant 0\), let \(\Psi _{N,t} \in {\mathcal {F}}_a\) with \(\left| \left| \Psi _{N,t}\right| \right| = 1\) and \(R_1>0\) be the radius of a ball such that the volume is 1. Then, for all \(1\leqslant k \leqslant N\), we have
where \(\chi \) is a characteristic function.
Lemma 4.2
(Lemma 2.5 of [15]) For \(g \in C^\infty _0 ({\mathbb {R}}^3)\) and
it holds that for every \(\alpha \in (0,1)\), \(s \in {\mathbb {N}}\), and \(x \in {\mathbb {R}}^3\backslash \Omega _{\hbar }\),
where the constant \(c_1\) depends on the compact support and the \(W^{s,\infty }\)-norm of the test function g.
The estimate for the residual term \(\widetilde{{\mathcal {R}}}\) given in (3.5) is obtained exactly as shown in [15], i.e.,
Proposition 4.1
(Proposition 2.4 of [15]). Suppose that \(f\in H^1({\mathbb {R}}^3)\), \(\Vert f\Vert _{L^2}=1\) and has compact support; then, we have the following bound for \(\widetilde{{\mathcal {R}}}\) in (3.4); i.e., for an arbitrarily small \(\delta >0\), there exists \(s(\delta )>0\) such that the following estimate holds for any test function \(\varphi , \phi \in C^\infty _0({\mathbb {R}}^{3})\)
where the constant \(c_2\) depends on \(\Vert \nabla \varphi \Vert _{L^\infty }\) and \(\Vert \phi \Vert _{W^{s,\infty }}\).
For the residual term \({\mathcal {R}}\), we insert the terms
and write into a sum \({\mathcal {R}} = {\mathcal {R}}_1 + {\mathcal {R}}_2\), where
Note that in (4.5), \({\mathcal {R}}_1\) represents the semiclassical limit part, and \({\mathcal {R}}_2\) represents the mean-field limit.
As a preparation for the estimates of the residual term \({\mathcal {R}}\), we present the following estimate for regularized Coulomb potential:
Lemma 4.3
Let \(V_N\) be the regularized Coulomb potential given in (1.2), then it holds that
Proof
Let \({\widehat{V}}_N\) be the Fourier transform of \(V_N\). Recall that for \(V_N =|\cdot |^{-1}*{\mathcal {G}}_{\beta _N}\), [45, Theorem 5.9] yields
for some positive constant C. Then, by inverse Fourier transform, we get
where we use the spherical coordination in the last inequality. \(\square \)
In the following, we treat the semiclassical and mean-field residual terms, i.e., \({\mathcal {R}}_1\) and \({\mathcal {R}}_2\), by using the truncated radius \(\beta _N\), the oscillation estimate, the cutoff number operator and the kinetic operator estimates outlined in Sect. 3.2.
4.1 Estimate for the Semiclassical Residual Term \({\mathcal {R}}_1\)
In this subsection, we present in full detail the estimate for the semiclassical residue.
Proposition 4.2
Let \(\varphi , \phi \in C_0^\infty ({\mathbb {R}}^3)\). Then, for \(\frac{5}{6}< \alpha _1 < 1\), \(0< \delta < \frac{1}{8}(6\alpha _1 - 5)\), and \(s = \left\lceil \frac{3(2\alpha _1 +1)}{4(1-\alpha _1)}\right\rceil \), we have
where the constant \({\widetilde{C}}\) depends on \(\left| \left| \varphi \right| \right| _{W^{1,\infty }}\), \(\left| \left| \nabla \phi \right| \right| _{L^1 \cap W^{s,\infty }}\), \({{\,\mathrm{supp}\,}}\phi \), \(\left| \left| f\right| \right| _{L^\infty \cap H^1}\), and \({{\,\mathrm{supp}\,}}f\).
Proof
Recall from (4.5) that we have
For \(\varphi , \phi \in C_0^\infty ({\mathbb {R}}^3)\), we have
where we apply the fact that \( (2\pi \hbar )^3 \delta _x(y) = \int e^{\frac{\mathrm {i}}{\hbar } p \cdot (x-y)} \hbox {d}{p}\). Then, inserting \(\pm \nabla V_N(q-w_2)\), by the triangle inequality, we have
where we use integration by parts in the second to last equality.
Before advancing, we observe that by splitting the integral with respect to momentum space \(\Omega _{\hbar }\) and \(\Omega _{\hbar }^c\) as defined in (4.3), for constant \(C_1\) depending on \(\left| \left| \nabla \phi \right| \right| _{L^1 \cap W^{s,\infty }}\) and \({{\,\mathrm{supp}\,}}\phi \), we have
where we use (4.4) in the last inequality.
Now, we want to separately estimate the terms \(I_1\) and \(J_1\). We begin by estimating \(I_1\). Recall that
By using (4.9) we have,
Before we continue, we observe that from the definition of the kinetic energy operator \({\mathcal {K}}\) and number operator \({\mathcal {N}}\), we have
where in the last step we use a direct outcome of (4.2) and (3.2), i.e.,
In the above estimate, \(C_2\) is a constant depends on \(\left| \left| \varphi \right| \right| _{L^\infty }\) and \({{\,\mathrm{supp}\,}}f\).
To continue, we apply the Hölder inequality to \(i_{1,1}\) with respect to the terms \(w_1\) and \(u_1\),
Then by using (4.10), the estimate goes further
where \(C_3\) depends on \(\left| \left| \varphi \right| \right| _{L^\infty }\), \(\left| \left| f\right| \right| _{L^\infty \cap L^2}\), \({{\,\mathrm{supp}\,}}f\) and we use the following estimate in the last inequality above:
where the fixed radius \(R_1\) arises from the compactness assumption of f. With steps similar to those for \(i_{1,1}\), we have
where the constant \(C_4\) depends on \(\left| \left| \varphi \right| \right| _\infty \), \(\left| \left| f\right| \right| _{L^\infty \cap L^2}\), and \({{\,\mathrm{supp}\,}}f\). To balance the order between \(i_{1,1}\) and \(i_{1,2}\), s is chosen to be
for \(\alpha _1 \in (\frac{5}{6},1)\). Therefore, we have
To estimate \(J_1\), we compute
As in part \(I_1\), we separately analyze \(j_{1,1}\) and \(j_{1,2}\).
where we use (4.12) in the last inequality.
On the other hand, from the definition of \(j_{1,2}\) in (4.14), we get
To obtain the same order for \(j_{1,1}\) and \(j_{1,2}\), we can choose
Thus, for \(\alpha _1 \in (\frac{1}{2},1)\), we have
Now, we want to estimate \(K_1\).
Note that, for any \(\varphi \in C^\infty _0\) and \(f \in W^{1,2}_0\), the term \(k_{1,1}\) is \(\sqrt{\hbar }\)-order higher than \(k_{1,2}\) and \(k_{1,3}\). Moreover, the estimate of the terms \(k_{1,2}\) and \(k_{1,3}\) is the same when doing change of variables in the final steps. Therefore, we focus only on the term \(k_{1,2}\).
Using the Hölder inequality with respect to \(w_1\) and \(u_1\), we obtain that
where we use (4.2) in the last inequality and \(C_5\) depending on \(\left| \left| f\right| \right| _{L^\infty }\), \(\left| \left| \nabla f\right| \right| _{L^2}\), \({{\,\mathrm{supp}\,}}f\), and \(\left| \left| \varphi \right| \right| _{L^\infty }\).
Similarly, to calculate \(j_{1,2}\),
where s is chosen as
for \(\alpha _1 \in (\frac{1}{2},1)\). Thus,
where we recall that the constant \({\widetilde{C}}\) depends on \(\left| \left| \varphi \right| \right| _{ W^{1,\infty }}\), \(\left| \left| \nabla \phi \right| \right| _{L^1 \cap W^{s,\infty }}\), \({{\,\mathrm{supp}\,}}\phi \), \(\left| \left| f\right| \right| _{L^\infty \cap H^1}\), and \({{\,\mathrm{supp}\,}}f\).
Therefore, in summary, we have
where we use (4.6) in the second inequality.
Setting \(\beta _{N} = \hbar ^\delta \) for \(0< \delta < \frac{1}{8}(6\alpha _1 - 5)\), we obtain the desired result.
\(\square \)
4.2 Estimate for the Mean-Field Residual Term \({\mathcal {R}}_2\)
Proposition 4.3
Let \(\varphi , \phi \in C_0^\infty ({\mathbb {R}}^3)\). Then, for \(\frac{1}{2}< \alpha _2 < 1\), \(0< \delta < \frac{3}{4}(\alpha _2 - \frac{1}{2})\), and \(s = \left\lceil \frac{3(2\alpha _2 +1)}{4(1-\alpha _2)}\right\rceil \), we have
where the constant \({\widetilde{C}}\) depends on \(\left| \left| \varphi \right| \right| _\infty \), \(\left| \left| \nabla \phi \right| \right| _{L^1\cap W^{s,\infty }}\), \(\left| \left| f\right| \right| _{L^\infty \cap H^1}\), \({{\,\mathrm{supp}\,}}f\), and \({{\,\mathrm{supp}\,}}\phi \).
Proof
Recall that from (4.5), we have
Then, we have
where we use the weighted Dirac-delta function in the last equality; i.e.,
Now, splitting the domains of \(w_1\) and \(u_1\) into two, namely with the characteristic functions \(\chi _{(w_1 - u_1)\in \Omega _\hbar }\) and \(\chi _{(w_1 - u_1)\in \Omega _\hbar ^c}\) as defined in (4.3), we have
Without the loss of generality, we let \(\Phi (q,p) = \varphi (q)\phi (p)\). First, considering the term \(\text {J}_{2}\),
By the change of variable \(\sqrt{\hbar }{\widetilde{q}}_2 = w_2 - q_2\), we obtain
Recall again from Lemma 4.2 that we have
for s to be chosen later. Then, we obtain
The Hölder inequality yields
where we denote
Thus, we have
Now, we focus on \(\text{ I}_{2,1}\)
We observe that
Then, we obtain the following estimate:
From (4.12), we have
To balance the order between \(\text {I}_{2}\) and \(\text {J}_{2}\), s is chosen to be
for \(\alpha _2 \in \left[ 0,1\right) \). Therefore, we have
Setting \(\beta _{N} = \hbar ^\delta \) for \(0< \delta < \frac{1}{8}(6\alpha _1 - 5)\), we have the desired inequality.
\(\square \)
Notes
Note that \(\hbar \) here can be interpreted as the effective Planck’s constant.
See Fig. 1.
See Theorem 3.52 in [20] for a more pedagogical approach to the annihilation and creation operator for the fermionic case.
See Lemma 3.2 below.
The 1-Wasserstein metric is defined as \( W_1 (\mu , \nu ) := \max _{\pi \in \Pi (\mu ,\nu )} \int |x-y|\ \mathrm {d}\pi (x,y), \) where \(\mu \) and \(\nu \) are probability measures and \(\Pi (\mu ,\nu )\) the set of all probability measures with marginals \(\mu \) and \(\nu \) [65].
See Proposition 3.2.
See (4.5) for the full structure.
References
Ambrosio, L., Colombo, M., Figalli, A.: On the lagrangian structure of transport equations: the Vlasov–Poisson system. arXiv preprint arXiv:1412.3608 (2014)
Amour, L., Khodja, M., Nourrigat, J.: The classical limit of the Heisenberg and time-dependent Hartree–Fock equations: the Wick symbol of the solution. Math. Res. Lett. 20(1), 119–139 (2013)
Amour, L., Khodja, M., Nourrigat, J.: The semiclassical limit of the time dependent Hartree–Fock equation: the Weyl symbol of the solution. Anal. PDE 6(7), 1649–1674 (2013)
Arsenev, A.: Global existence of a weak solution of Vlasov’ system of equations. USSR Comput. Math. Math. Phys. 15(1), 131–143 (1975)
Athanassoulis, A., Paul, T., Pezzotti, F., Pulvirenti, M.: Strong semiclassical approximation of wigner functions for the Hartree dynamics. Atti della Accademia Nazionale dei Lincei, Classe di Scienze Fisiche, Matematiche e Naturali, Rendiconti Lincei Matematica E Applicazioni 22, 09 (2011)
Bach, V., Breteaux, S., Petrat, S., Pickl, P., Tzaneteas, T.: Kinetic energy estimates for the accuracy of the time-dependent Hartree–Fock approximation with coulomb interaction. J de Mathématiques Pures et Appliquées 105(1), 1–30 (2016)
Batt, J.: Global symmetric solutions of the initial value problem of stellar dynamics. J. Differ. Equ. 25(3), 342–364 (1977)
Benedikter, N., Jakšić, V., Porta, M., Saffirio, C., Schlein, B.: Mean-field evolution of fermionic mixed states. Commun. Pure Appl. Math. 69(12), 2250–2303 (2016)
Benedikter, N., Porta, M., Saffirio, C., Schlein, B.: From the Hartree dynamics to the Vlasov equation. Arch. Ration. Mech. Anal. 221(1), 273–334 (2016)
Benedikter, N., Porta, M., Schlein, B.: Mean-field evolution of fermionic systems. Commun. Math. Phys. 331(3), 1087–1131 (2014)
Benedikter, N., Porta, M., Schlein, B.: Mean-field dynamics of fermions with relativistic dispersion. J. Math. Phys. 55(2), 021901 (2014)
Bohun, A., Bouchut, F., Crippa, G.: Lagrangian solutions to the Vlasov–Poisson system with l1 density. J. Differ. Equ. 260(4), 3576–3597 (2016)
Bröcker, T., Werner, R.F.: Mixed states with positive Wigner functions. J. Math. Phys. 36(1), 62–75 (1995)
Case, W.: Wigner functions and Weyl transforms for pedestrians. Am. J. Phys. 76, 10 (2008)
Chen, L., Lee, J., Liew, M.: Combined mean-field and semiclassical limits of large fermionic systems. J. Stat. Phys. 182(2), (2021)
Chen, L., Lee, J.O., Lee, J.: Rate of convergence toward Hartree dynamics with singular interaction potential. J. Math. Phys. 59(3), 031902 (2018)
Chen, L., Lee, J.O., Schlein, B.: Rate of convergence towards Hartree dynamics. J. Stat. Phys. 144(4), 872 (2011)
Chong, J., Lafleche, L., Saffirio, C.: From Schrödinger to Hartree–Fock and Vlasov equations with singular potentials. arXiv preprint arXiv:2103.10946 (2021)
Combescure, M., Robert, D.: Coherent States and Applications in Mathematical Physics. Springer, Netherlands (2012)
Derezinski, J., Gerard, C.: Mathematics of Quantization and Quantum Fields. Cambridge University Press, Cambridge (2009)
Dietler, E., Rademacher, S., Schlein, B.: From Hartree dynamics to the relativistic Vlasov equation. J. Stat. Phys. 172(2), 398–433 (2018)
Dobrushin, R.L.: Vlasov equations. Funct. Anal. Appl. 13(2), 115–123 (1979)
Elgart, A., Erdös, L., Schlein, B., Yau, H.-T.: Nonlinear Hartree equation as the mean field limit of weakly coupled fermions. J. de Mathématiques Pures et Appliquées 83(10), 1241–1273 (2004)
Erdos, L., Yau, H.-T.: Derivation of the nonlinear schrödinger equation with Coulomb potential. Technical report (2001)
Fefferman, C., de la Llave, R.: Relativistic stability of matter-i. Revista Matematica Iberoamericana 2(2), 119–213 (1986)
Fournais, S., Lewin, M., Solovej, J.P.: The semi-classical limit of large fermionic systems. Calc. Var. Partial. Differ. Equ. 57(4), 105 (2018)
Fröhlich, J., Knowles, A.: A microscopic derivation of the time-dependent Hartree–Fock equation with coulomb two-body interaction. J. Stat. Phys. 145(1), 23 (2011)
Gasser, I., Illner, R., Markowich, P.A., Schmeiser, C.: Semiclassical, \(t ightarrow infty \) asymptotics and dispersive effects for Hartree-Fock systems. ESAIM: Mathematical Modelling and Numerical Analysis - Modélisation Mathématique et Analyse Numérique 32(6), 699–713 (1998)
Gilbarg, D., Trudinger, N.S.: Elliptic Partial Differential Equations of Second Order, volume 224. Springer, New York (2015)
Golse, F., Mouhot, C., Paul, T.: On the mean field and classical limits of quantum mechanics. Commun. Math. Phys. 343(1), 165–205 (2016)
Golse, F., Paul, T.: The Schrödinger equation in the mean-field and semiclassical regime. Arch. Ration. Mech. Anal. 223(1), 57–94 (2017)
Golse, F., Paul, T.: Mean-field and classical limit for the n -body quantum dynamics with Coulomb interaction. Commun. Pure Appl. Math. (2021)
Golse, F., Paul, T., Pulvirenti, M.: On the derivation of the Hartree equation in the mean field limit: uniformity in the Planck constant. J. Funct. Anal. 275(7), 1603–1649 (2018)
Hainzl, C., Seiringer, R.: General decomposition of radial functions on \(r_n\) and applications to \(n\)-body quantum systems. Lett. Math. Phys. 61(1), 75–84 (2002)
Hauray, M., Jabin, P.-E.: Particle approximation of Vlasov equations with singular forces: propagation of chaos. Ann. Sci. Éc. Norm. Supér. (4), 48(4):891–940 (2015)
Horst, E., Neunzert, H.: On the classical solutions of the initial value problem for the unmodified non-linear Vlasov equation i general theory. Math. Methods Appl. Sci. 3(1), 229–248 (1981)
Hudson, R.: When is the Wigner quasi-probability density non-negative? Rep. Math. Phys. 6(2), 249–252 (1974)
Katz, I., Retzker, A., Straub, R., Lifshitz, R.: Signatures for a classical to quantum transition of a driven nonlinear nanomechanical resonator. Phys. Rev. Lett. 99, 040404 (2007)
Kenfack, A., Życzkowski, K.: Negativity of the Wigner function as an indicator of non-classicality. J. Opt. B: Quantum Semiclass. Opt. 6(10), 396 (2004)
Lafleche, L.: Global semiclassical limit from Hartree to Vlasov equation for concentrated initial data. arXiv preprint arXiv:1902.08520 (2019)
Lafleche, L.: Propagation of moments and semiclassical limit from Hartree to Vlasov equation. J. Stat. Phys. 177(1), 20–60 (2019)
Laflèche, L., Saffirio, C.: Strong semiclassical limit from Hartree and Hartree–Fock to Vlasov–Poisson equation. arXiv preprint arXiv:2003.02926 (2020)
Lazarovici, D., Pickl, P.: A mean field limit for the Vlasov–Poisson system. Arch. Ration. Mech. Anal. 225(3), 1201–1231 (2017)
Lieb, E. H.: Thomas-fermi and related theories of atoms and molecules. In: The Stability of Matter: From Atoms to Stars, pp. 259–297 (1997)
Lieb, E.H., Loss, M.: Analysis. American Mathematical Society, Providence, Rhode Island (2001)
Lieb, E.H., Simon, B.: Thomas-fermi theory revisited. Phys. Rev. Lett. 31(11), 681 (1973)
Lions, P.-L., Paul, T.: Sur les mesures de Wigner. Revista Matemática Iberoamericana 9(3), 553–618 (1993)
Lions, P.-L., Perthame, B.: Propagation of moments and regularity for the 3-dimensional Vlasov–Poisson system. Invent. Math. 105(1), 415–430 (1991)
Loeper, G.: Uniqueness of the solution to the Vlasov–Poisson system with bounded density. J. de Mathématiques Pures et Appliquées 86(1), 68–79 (2006)
Mandilara, A., Karpov, E., Cerf, N.J.: Extending Hudson’s theorem to mixed quantum states. Phys. Rev. A 79, 062302 (2009)
Markowich, P.A., Mauser, N.J.: The classical limit of a self-consistent quantum-Vlasov equation in 3d. Math. Models Methods Appl. Sci. 3, 109–124 (1993)
Narnhofer, H., Sewell, G.L.: Vlasov hydrodynamics of a quantum mechanical model. Commun. Math. Phys. 79(1), 9–24 (1981)
Petrat, S.: Derivation of Mean-field Dynamics for Fermions. PhD thesis (2014)
Petrat, S.: Hartree corrections in a mean-field limit for fermions with Coulomb interaction. J. Phys. A: Math. Theor. 50(24), 244004 (2017)
Petrat, S., Pickl, P.: A new method and a new scaling for deriving fermionic mean-field dynamics. Math. Phys. Anal. Geom. 19, 1–51 (2016)
Pfaffelmoser, K.: Global classical solutions of the Vlasov–Poisson system in three dimensions for general initial data. J. Differ. Equ. 95(2), 281–303 (1992)
Porta, M., Rademacher, S., Saffirio, C., Schlein, B.: Mean field evolution of fermions with coulomb interaction. J. Stat. Phys. 166(6), 1345–1364 (2017)
Rodnianski, I., Schlein, B.: Quantum fluctuations and rate of convergence towards mean field dynamics. Commun. Math. Phys. 291(1), 31–61 (2009)
Saffirio, C.: Mean-field evolution of fermions with singular interaction. In: Workshop on Macroscopic Limits of Quantum Systems, pp. 81–99. Springer (2017)
Saffirio, C.: From the Hartree equation to the Vlasov–Poisson system: strong convergence for a class of mixed states. SIAM J. Math. Anal. 52(6), 5533–5553 (2020)
Saffirio, C.: Semiclassical limit to the Vlasov equation with inverse power law potentials. Commun. Math. Phys. 373(2), 571–619 (2020)
Schaeffer, J.: Global existence for the Poisson–Vlasov system with nearly symmetric data. J. Differ. Equ. 69(1), 111–148 (1987)
Soto, F., Claverie, P.: When is the wigner function of multidimensional systems nonnegative? J. Math. Phys. 24(1), 97–100 (1983)
Spohn, H.: On the Vlasov hierarchy. Math. Methods Appl. Sci. 3(1), 445–455 (1981)
Villani, C.: Topics in Optimal Transportation. American Mathematical Society (2003)
Zhang, P.: Wigner Measure and Semiclassical Limits of Nonlinear Schrödinger Equations. American Mathematical Society (2008)
Acknowledgements
We are grateful to the anonymous referees for carefully reading our manuscript and providing helpful comments. Furthermore, we acknowledge support from the Deutsche Forschungsgemeinschaft through grant CH 955/4-1. Jinyeop Lee was partially supported by Samsung Science and Technology Foundation (SSTF-BA1401-51) and by National Research Foundation of Korea (NRF) grants funded by the Korean government (MSIT) (NRF-2019R1A5A1028324 and NRF-2020R1F1A1A01070580). Matthew Liew was financially supported by Landesgraduiertenförderung of Baden-Württemberg.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Alain Joye.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
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 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/.
About this article
Cite this article
Chen, L., Lee, J. & Liew, M. Convergence Towards the Vlasov–Poisson Equation from the N-Fermionic Schrödinger Equation. Ann. Henri Poincaré 23, 555–593 (2022). https://doi.org/10.1007/s00023-021-01103-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00023-021-01103-7