Abstract
We study the time dependent Schrödinger equation for large spinless fermions with the semiclassical scale \(\hbar = N^{-1/3}\) in three dimensions. By using the Husimi measure defined by coherent states, we rewrite the Schrödinger equation into a BBGKY type of hierarchy for the k particle Husimi measure. Further estimates are derived to obtain the weak compactness of the Husimi measure, and in addition uniform estimates for the remainder terms in the hierarchy are derived in order to show that in the semiclassical regime the weak limit of the Husimi measure is exactly the solution of the Vlasov equation.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this paper, we aim to study the combined mean-field and semiclassical limit of N-fermions from time-dependent Schrödinger equation to Vlasov equation.
The following anti-symmetric subspace of \(L^2({\mathbb {R}}^{3N})\) is considered for fermions,
It is known that a system of fermions initially confined in a volume of order one have kinetic energy of order \(N^{5/3}\) due to the Pauli principle. Therefore, to balance the order, the scale of the interaction term should be of order \(N^{-1/3}\), we refer to [6, 8] for more details about this scaling. After a time rescaling of \(N^{1/3}\) the Schödinger equation for N-fermions is written into
By denoting the semiclassical scale \(\hbar = N^{-1/3}\) and multiplying both sides by \(\hbar ^2\), one can recover the \(N^{-1}\), the coupling constant for the mean field interaction. Hence one arrives at the following many body Schrödinger equation
where \(\varPsi _{N,t} \in L^2_a({\mathbb {R}}^{3N})\), \(\varPsi _N\) is the initial data in \(L_a^2({\mathbb {R}}^{3N})\), and V is the interacting potential.
The limit from many body Schrödinger equation to the Vlasov equation has been studied extensively in the literature. Narnhofer and Sewell [34] and Spohn [46] are the first to prove this limit with the potential V assumed to be analytic and \(C^2\) respectively.
For large N, in the mean field limit regime, the solution of many body fermionic Schrödinger equation can be approximated by the solution of the following nonlinear Hartree–Fock equation,
where \(\omega _{N,t}\) is the one-particle density matrix, \(\varrho _t(q) = N^{-1} \omega _{N,t} (q;q)\) and \(X_{N,t}\) is a small term having the kernel \(X_{t}(x,y) = N^{-1} V(x-y) \omega _{N,t} (x;y)\). In [16], for the initial data being a Slater determinant, the approximation has been proved for short time for analytic interaction potential by using BBGKY hierarchy, while [6] proved the approximation with convergence rate for arbitrary time and weakened potential in the framework of second quantization. Similar results have been extended for mixed states in [4] and for relativistic case in [7]. Recently, with the help of Fefferman–de la Llave decomposition [18, 26], weaker assumptions on the interaction potential have been considered. Specifically, Coulomb potential has been considered in [38], inverse power law in [41]. Further relevant literature on the fermionic case for the mean-field limit problem of Schrödinger equation can be found in [3, 20, 35,36,37].
In parallel, the mean field limit for the bosonic case from many body Schrödinger system to nonlinear Hartree equation was proved in [17] for Coulomb potential. Also for Coulomb potential, the convergence with rate \(N^{1/2}\) has been obtained in [40]. Later, it has been optimized to the optimal convergence rate \(N^{-1}\) in [11], and furthermore for stronger singular potentials in [10].
The semiclassical limit from Hartree–Fock equation to Vlasov equation has been obtained in the literature by using Wigner–Weyl transformation of the one-particle density matrix \(\omega _{N,t}\) defined by
which has been intensively studied in the semiclassical limit of quantum mechanics by Lions and Paul in [31]. In [5] the authors compared the inverse Wigner transform of the Vlasov solution and the solution of Hartree–Fock and get the convergence rate in the trace norm as well as Hilbert–Schmidt norm with the regular assumptions on the initial data. The works in this direction have also been extended for inverse power law potential [43], convergence rate in Schatten norm in [30], and Coulomb potential and mixed states in [42]. The convergence of relativistic Hartree dynamic to relativistic Vlasov equation has also been considered in [14]. Further convergence results from Hartree to Vlasov can be found in [1, 2, 21, 33].
It is known that Wigner transform (1.2) is not a true probability density as it may be negative in certain phase-space. In fact, [27, 32, 45] concludes that the Wigner measure is non-negative if and only if the pure quantum states are Gaussian, whilst [9] state that the Wigner measure is non-negative if the state is a convex combination of coherent states. Nevertheless, it has been shown that if one convolutes the Wigner measure with a Gaussian function in phase-space, it will yield a non-negative probability measure known as Husimi measure [19, 39, 48]. In fact, from [19, p.21], the Husimi measure is given by
where \(1 \le k \le N\), \({\mathcal {G}}^\hbar = (\pi \hbar )^{-3k} \exp \big (-\hbar ^{-1} (\sum _{j=1}^k |q_j|^2 + |p_j|^2) \big )\) and \(W^{(k)}_{N,t}\) is the Wigner transform of k-particle density matrix.
In the recent development, the convergence to Vlasov equation in the semiclassical Wasserstein pseudo-distance has been proved in [23,24,25, 28, 29]. The semiclassical Wasserstein pseudo-distance is computed between the Husimi measure and Vlasov solution.
One can also show the combined limit by first taking the semiclassical limit and then the mean field limit from many particle Schrödinger to Vlasov via the Liouville equations, and the corresponding BBGKY hierarchy.Footnote 1 This has been done in [23]
Our goal, therefore, is to obtain the Vlasov equation from Schrödinger equation directly, as shown in the diagonal line of Figure 1, by taking \(N \rightarrow \infty \) and \(\hbar \rightarrow 0\) simultaneously. In order to do this, it is convenient for us to introduce the second quantization framework in our study of the quantum many-body systems. In particular, we utilize the notations in [6, 8, 11] where the fermionic Fock space is defined as
where we denote \((\mathrm {d}x)^{\otimes n} = \mathrm {d}x_1 \cdots \mathrm {d}x_n\). The creation and annihilation operator in terms of their respective distributive forms,
Due to the canonical anti-commutator relation (CAR) in the fermionic regime, we have that for all \(f,g \in H^1({\mathbb {R}}^3)\)
where \(\{A, B\} = AB + BA\) is the anti-commutator. In particular, the CAR for operator kernels hold as follow
This CAR in distributive form will be frequently used in our computations.
As in [6], we may write the corresponding Hamiltonian in terms of the operator valued distribution in \({\mathcal {F}}_a\) by
Therefore, we rewrite the Schrödinger equation in Fock space as follows,
for all \(\psi _{N,t} \in {\mathcal {F}}_a^{(N)} \) and \(t \in [0,T]\), where \(\psi _N\in {\mathcal {F}}^{(N)}_a\) with \(\Vert \psi _N\Vert =1\). The solution to the above Cauchy problem is \(\psi _{N,t} = e^{-\frac{i}{\hbar } {\mathcal {H}} t} \psi _{N}\), with a given initial data \(\psi _{N}\).
Remark 1.1
It should be noted the states \(\psi _{N,t}\) in our analysis stays in the Nth-sector of \({\mathcal {F}}_a\) due to the definition of Husimi measure which will be given later. Therefore, denoting \({\mathcal {F}}_a^{(n)}\) to be the n-th sector in \({\mathcal {F}}_a\), we say that \(\psi _{N,t} \in {\mathcal {F}}_a^{(N)}\) for all \(t \ge 0\).
Furthermore, we use the definition of the number and kinetic energy operators as follows,
respectively. We further explore the properties of the operators in (1.9) in Sect. 2.2.2.
Next, we shall introduce the Husimi measure. In fact, our notation follows closely with the notations in Fournais et al. [19] where it deals with large fermionic particles in stationary case. The main tool in their analysis is the use of coherent state, a subtle tool that proves extremely useful in our work as well.
For any real-valued normalized function f, the coherent state is given by,Footnote 2
Similar to [12] and [19], the k-particle Husimi measure is defined as, for any \(1 \le k \le N\)
where \(\psi _{N} \in {\mathcal {F}}_a^{(N)}\) is the N-fermionic states, \(a(f^\hbar _{q,p})\) and \(a^*(f^\hbar _{q,p})\) are the annihilation and creation operators respectively. Husimi measure defined in (1.11) measures how many particles, in particularly fermions, are in the k semiclassical boxes with length scaled of \(\sqrt{\hbar }\) centered in its respectively phase-space pair, \((q_1, p_1), \dots , (q_k, p_k)\).
In the context of this paper, we use \(m_{N,t}^{(k)}\) to be the time dependent Husimi measure defined by the solution of the Schrödinger equation \(\psi _{N,t}\). By using operator kernels defined in (1.4), we may rewrite the Husimi measure as follows
where the tensor products indicate
and
Note that the function f here is a very well localized function in practice [19], therefore we may take the following assumption
Assumption A1
The real-valued function \(f \in H^1({\mathbb {R}}^3)\) satisfies \(\left\| f\right\| _2 = 1\), and has compact support.
Additionally, we assume that the interaction potential to satisfy
Assumption A2
V is a real-valued function such that \(V(-x) = V(x)\) and \(V\in W^{2,\infty }({\mathbb {R}}^3)\).
As is well known that in the mean field semiclassical regime, the dynamic of (1.1) can be approximated by a one particle Vlasov equation. Namely, for all \(q, p \in {\mathbb {R}}^3\)
with initial data \(m_0(q,p)\), where \(m_t(q,p)\) is the time dependent one particle probability density function, and \(\rho _t (q) = \int m_t(q, p) \mathrm {d}p\). Although (1.13) is a non-linear equation, such equation would be more suitable to analyze than the increasingly large systems of Schrödinger equation. The well-posedness of the above Vlasov problem is given by Drobrushin [15] for smooth V.
Now, we are ready to state the our main results.
Theorem 1.1
Let Assumptions A1 and A2 hold, \(\psi _{N,t}\) be the solution of Schrödinger equation (1.8), \(m^{(k)}_{N,t}\) be the Husimi measure defined in (1.12). If \(m^{(1)}_N\), the 1-particle Husimi measure of the initial data \(\psi _N\), satisfies
Then, for all \(t\ge 0\), the k-particle Husimi measure at time t, \(m^{(k)}_{N,t}\) has a weakly convergent subsequence which converges to \(m_{t}^{(k)}\) in \(L^1({\mathbb {R}}^6)\), where \(m_{t}^{(k)}\) is a weak solution of the following infinite hierarchy in the sense of distribution, i.e. it satisfies for all \(k\ge 1\) that
By using [47, Theorem 7.12], we have the following corollary,
Corollary 1.1
Suppose assumptions A1 and A2 hold. Assume further that the initial data of (1.15) can be factorized, i.e. for all \(k\ge 1\),
Then, if the infinite hierarchy (1.15) has a unique solution and \(m_t\) is the solution to the classical Vlasov equation in (1.13), it holds that
for \(t \ge 0\).
Remark 1.2
In the pioneering work by Spohn [46], he considered
with \(p_j= -\mathrm {i} \nabla _j\) and obtained the following Vlasov hierarchy,
which is slightly different from Vlasov hierarchy for Husimi measure given in (1.15), or the version in (2.3) before taking the limit. The benefit of the hierarchy in (2.3) is that one observes directly the mean field and semiclassical structure in the remainder terms. The explicit formulation is helpful in getting estimates for the remainder terms in (2.3). Moreover if one can handle singular potentials (or even the Coulomb potential) for both terms separately, one expects that this new approach can be applied to obtain the limit from many body Schrördinger to Vlasov with singular potentials in the future. Since the mean field limit with singular potential has been studied with convergence rate, for example in [8], then we can utilize similar ideas to handle one of the remainder term which includes the mean field structure. In parallel, we can apply the techniques in semiclassical limit, for example in [43], to get estimates for the other remainder term.
Remark 1.3
Although the results in this article does not yield a convergent rate, the main purpose of this article is to present an alternative approach and framework, namely to rewrite the Schrödinger equation into a BBGKY type of hierarchy, and to derive estimates for the remainder terms that appear in the new hierarchy.
Remark 1.4
In Corollary 1.1, the convergence is stated in terms of 1-Wasserstein distance. For completeness, we give its definition as defined in [47]
where \(\mu \) and \(\nu \) are probability measures and \(\varPi (\mu ,\nu )\) the set of all probability measures with marginals \(\mu \) and \(\nu \). The Wasserstein distance, also known as Monge–Kantorovich distance, is a distance on the set of probability measures. In fact, if we interpret the metric in \(L^p\) space as the distance that measures two densities “vertically”, the Wasserstein distance measures the distance between two densities “horizontally” [44].
Remark 1.5
The assumptions for initial data (1.14) and (1.16) can be realized by choosing \(\psi _{N}\) to be the Slater-determinant. That is, for all orthonormal basis \(\{ \varphi _j \}_{j=1}^\infty \), the initial data is given as
Remark 1.6
Assumptions A1 and A2 are expected to be weakened to the situation that \(f\in H^1({\mathbb {R}}^3)\), \(|x|f(x)\in L^2({\mathbb {R}}^3)\), and V to be Coulomb potential. These will be our future projects.
Remark 1.7
In this context, we have applied the BBGKY hierarchy, the intermediate mean field approximation Hartree Fock system has not been benefited. With Hartree Fock approximation, one can do direct factorization in the equation for \(m^{(1)}_{N,t}\). In this direction, we expect to derive the rate of convergence in an appropriate distance between the Husimi measure and the solution of the Vlasov equation.
The arrangement of the paper is the following. In Sect. 2, we give the main strategy of the proof. Followed by the reformulation of Schrödinger equation into a hierarchy of the Husimi measure, a sequence of necessary estimates on number operators, the localized number operators, and the kinetic energy operator are given, which will be contributed to do compactness argument for the Husimi measure. We leave the computation of the hierarchy to Sect. 3.1. Furthermore, the uniform estimates for remainder terms in the hierarchy, which is another main contribution of this article, are provided in Sect. 3.2.
2 Proof Strategy Through BBGKY Type Hierarchy for Husimi Measure
We first start from the many particle Schrödinger equation and derive an approximated hierarchy of time dependent Husimi measure by direct computation. Compare to the BBGKY hierarchy of Liouville equation in the classical sense, it has two families of remainder terms, which are determined by the N particle wave function from Schrödinger equation. In order to take a convergent subsequence of the k-particle Husimi measure, we derive the uniform estimates for number operator and the kinetic energy. Together with an additional estimate for localized number operator, we can show that the remainder terms are of order \(\hbar ^{\frac{1}{2}-\delta }\), for arbitrary small \(\delta \). Then the desired result will be obtained by the uniqueness of solution to the infinite hierarchy.
2.1 Reformulation: Hierarchy of Time Dependent Husimi Measure
In this subsection, we begin by examining the dynamics of k-particle Husimi measure by using the N-body fermionic Schrödinger. The proofs of the following propositions are provided in Sect. 3.1.
Proposition 2.1
Suppose \(\psi _{N,t} \in {\mathcal {F}}_a^{(N)}\) is anti-symmetric N-particle state satisfying the Schrödinger equation in (1.8). Moreover, if \(V(-x)=V(x)\) then we have the following equation for \(k=1\),
where the remainder terms \({\mathcal {R}}_1\) and \(\widetilde{{\mathcal {R}}}_1\), are given by
Proposition 2.2
For every \(1 \le i,j \le k\) and \(q_j,p_j \in {\mathbb {R}}^3\), denote \(\mathbf {q}_k = (q_1,\dots ,q_k)\) and \(\mathbf {p}_k = (p_1,\dots ,p_k)\). Under the assumption in Proposition 2.1, then for \(1 < k \le N\), we have the following hierarchy
where the remainder terms are denoted as
2.2 A Priori Estimates
In the next steps, we derive estimates in order to have compactness of each k-particle Husimi measure, as well as to prove that the remainder terms converge to zero in the sense of distribution. The estimates are derived directly from the solutions of the N-fermionic Schrödinger equation.
2.2.1 Properties of Coherent States and Husimi Measure
Here we give the properties of coherent states and Husimi measure provided in [19], which will be frequently needed in our computation. Firstly, we observe that the coherent state has a projection property, that is
Lemma 2.1
(Projection of the coherent state, [19]) For every real-valued function f satisfying \(\left\| f\right\| _2 = 1\) and the coherent states \(f^\hbar _{q,p}\) defined as in (1.10), we have that
Secondly, the properties of the k-particle Husimi measure \(m^{(k)}_{N}\) is given as follows
Lemma 2.2
(Properties of k-particle Husimi measure, [19]) Suppose for \(\psi _{N} \in {\mathcal {F}}_a^{(N)}\) is normalized. Then, the following properties hold true for \(m^{(k)}_{N}\):
-
1.
\(m^{(k)}_{N}(q_1,p_1,\dots ,q_k,p_k)\) is symmetric,
-
2.
,
-
3.
\(\frac{1}{(2\pi \hbar )^{3}} \iint \mathrm {d}q_k \mathrm {d}p_k\ m^{(k)}_{N}(q_1,p_1,\dots ,q_k,p_k) = (N-k+1) m^{(k-1)}_{N}(q_1,p_1,\dots ,q_{k-1},p_{k-1}) \), and
-
4.
\( 0 \le m^{(k)}_{N}(q_1,p_1,\dots ,q_k,p_k) \le 1\) a.e.,
where \(1 \le k \le N\).
Remark 2.1
Note that as \(\left\| \psi _N\right\| = \left\| \psi _{N,t}\right\| \), Lemma 2.2 is also valid if we replaced the stationary wave-function \(\psi _N\), to a time-dependent \(\psi _{N,t}\), for \(t \ge 0\). Moreover, it can be obtained that for any fixed positive integer \(1\le k \le N\),
Following [19], we define the \(\hbar \)-weighted Fourier transformation as follows,
Definition 2.1
(\(\hbar \)-weighted Fourier transform) Let F be any real-valued function in \(L^2({\mathbb {R}}^3)\). We define the \(\hbar \)-weighted Fourier transform of f to be,
and its inverse transform by \({\mathcal {F}}^{-1}_\hbar \).
From the Definition 2.1, we have the following identity,
for any \(G,F \in L^2({{\mathbb {R}}^3})\). In other words, the Dirac-delta distribution is given by
2.2.2 Number Operator and Localized Number Operator
In this part, we give the bounds of number operators and its corresponding localized version, both of which are used extensively in estimating the remainder terms in (2.1) and (2.3).
Lemma 2.3
Let \(\psi _{N,t} \in {\mathcal {F}}^{(N)}_a\) be the solution to Schrödinger equation in (1.1) with initial data \(\Vert \psi _N\Vert =1\), the number operator \({\mathcal {N}}\) defined in (1.9). Then, for finite \(1 \le k \le N\), we have
Proof
Since \(\psi _{N,t}\) satisfies the Schrödinger equation, then for \(k\ge 1\),
where we used the fact that \({\mathcal {H}}_N\) is self-adjoint and \([{\mathcal {H}}_N,{\mathcal {N}}]=0\). Therefore, integrating the above equation with respect to time, gives us
for any \(1 \le k \le N\). \(\square \)
Remark 2.2
The expectation of the number operator is the total mass of Husimi measure. In fact, observe that
Then, by (2.5)
where we use Lemma 2.2 in the last equality. Moverover, if we repeat the projection above for k-times, we get
where \(1\le k \le N\) and \(t \ge 0\).
More importantly, we have the following estimates for localized number operators.
Lemma 2.4
(Bound on localized number operator) Let \(\psi _N \in {\mathcal {F}}^{(N)}_a\) such that \(\left\| \psi _N\right\| = 1\), and R be the radius of a ball such that the volume is 1. Then, for all \(1\le k \le N\), we have
where is a characteristic function
Proof
Consider first the case where \(k=1\). For every \(1\le j \le k\), we have
where we used Lemma 2.3. Analogously, for \(2 \le k \le N\),
where we applied Lemma 2.3 again. \(\square \)
Lemma 2.5
(Estimate of oscillation) For \(\varphi (p) \in C^\infty _0 ({\mathbb {R}}^3)\) and
it holds for every \(\alpha \in (0,1)\), \(s \in {\mathbb {N}}\), and \(x \in {\mathbb {R}}^3\backslash \varOmega _{\hbar }\),
where C depends on the compact support and the \(C^s\) norm of \(\varphi \).
Proof
We will prove the lemma in a single-variable environment. That is, we let the momentum and space to be \(p=(p_1, p_2, p_3)\) and \(x = (x_1, x_2, x_3)\) such that \(x_j, p_j \in {\mathbb {R}}\) for all \(j \in \{1,2,3\}\). Then, for arbitrary \(x \in {\mathbb {R}}^3\backslash \varOmega _{\hbar }\), one of the \(x_j\)s is bigger than \(\hbar ^\alpha \). Without loss of generality, we assume that \(|x_1| > \hbar ^\alpha \) and \(x_2, x_3 \in {\mathbb {R}}\). Let \(\mathrm{supp}\) \(\varphi \subset B_r(0)\subset {\mathbb {R}}^3\), we can rewrite the left hand of (2.11) into the following,
Observe that since
we have after s times integration by parts in \(p_1\),
where s indicates the number of time that integration by parts has been performed. \(\square \)
2.2.3 Finite Moments of Husimi Measure
To prove that the second moment in p of the Husimi measure is finite, we first show that the kinetic energy is bounded from above. Recall that the definition of the kinetic energy operator \({\mathcal {K}}\), i.e.,
and the kinetic energy associated with \(\psi _N\) is given as \( \left\langle \psi _N, {\mathcal {K}} \psi _N \right\rangle \).
Lemma 2.6
Assume \( V \in W^{1,\infty }\), then the kinetic energy is bounded in the following
where C depends on \(\Vert \nabla V\Vert _{\infty }\).
Proof
From the Schrödinger equation, we get
Note that since the commutator between kinetic and interaction term is given as
Then, from (2.13), we have that
Now, observe that
Thus, we have
Integrating both sides with respect to time t and we obtain the desired inequality. \(\square \)
Proposition 2.3
For \(t \ge 0\), assume A1 and let \(m^{(k)}_{N,t}\) to be the k-particle Husimi measure. Denoting the phase-space vectors \(\mathbf {q}_k = (q_1, \dots , q_k)\) and \(\mathbf {p}_k = (p_1, \dots , p_k)\), we have the following finite moments,
where C is a constant dependent on k, \(\iint \mathrm {d}q_1 \mathrm {d}p_1 (|q_1| + |p_1|^2) m^{(1)}_{N}(q_1, p_1) \), and \(\Vert \nabla V\Vert _\infty \).
Proof
We first consider the case where \(k=1\). Observe that we may rewrite the kinetic energy as follows
where we used the fact that
To continue, we have
Since kinetic energy is real-valued, if we take the real part of (2.14), the last term in the right hand side vanishes since it is purely imaginary, yielding
Note that by (2.7), we have
where we recall that \(\hbar ^3 = N^{-1}\). Thus, taking the real part of (2.14), we have that
which means,
Therefore, (2.17) tells us that the second moment of the 1-particle Husimi measure in momentum space is finite if the kinetic energy is finite.
Now, we turn our focus on the moment with respect to position space. From (2.1), we get
Then, using intergration by parts with respect to \(p_1\),
where \(R_1\) is the remainder term in (2.2).
Note that by Young’s product inequality, we have
where we used (2.17) and Lemma 2.6 in the last inequality. Next, we want to bound the term associated with \({\mathcal {R}}_1\),
Observe that we have,
where we used (2.15), Lemma 2.2. Thus, we have that
which gives the estimate for first moment after integrating with respect to time t.
We now consider the case of \(2 \le k \le N\). In this computation, we make use of the properties of k-particle Husimi measure. Namely, that the \(m^{(k)}_{N,t}\) is symmetric and satisfies the following equation
Observe that for fixed \(1\le k \le N\).
Then, by using the symmetricity of \(m^{(k)}_{N,t}\) and change of variables, we get
where we denoted \((\mathrm {d}q\mathrm {d}p)^{\otimes k-1} = \mathrm {d}q_1\mathrm {d}p_1\cdots \mathrm {d}q_{k-1}\mathrm {d}p_{k-1}\).
Similar strategy is used to obtain the first moment with respect to \(\mathbf {q}_k\). That is
This yields the desired conclusion. \(\square \)
2.3 Uniform Estimates for the Remainder Terms
In this subsection, we give uniform estimates for the error terms that appear in (2.1) and (2.3). They are all bounded of order \(\hbar ^{\frac{1}{2}-\delta }\) for arbitrary small \(\delta >0\). The proofs of all the following propositions will be provided in Sect. 3.2.
Proposition 2.4
Let Assumption A1 holds, then for \(1 \le k \le N\), we have the following bound for \({\mathcal {R}}_k\) in (2.1) and (2.3). For arbitrary small \(\delta >0\), the following estimate holds for any test function \(\varPhi \in C^\infty _0({\mathbb {R}}^{6k})\),
where C depends on \(\Vert D^{s(\delta )}\varPhi \Vert _{\infty }\) and k.
Proposition 2.5
Let Assumption A1 and A2 hold, then we have the following bound for \(\widetilde{{\mathcal {R}}}_1\) in (2.2). For arbitrary small \(\delta >0\), the following estimate holds for any test function \(\varPhi \in C^\infty _0({\mathbb {R}}^{6})\),
where C depends on \(\Vert D^{s(\delta )}\varPhi \Vert _{\infty }\).
Proposition 2.6
Suppose that Assumption A1 and A2 hold. Denote the remainders terms \(\widetilde{{\mathcal {R}}}_k\) and \(\widehat{{\mathcal {R}}}_k\) as in (2.4). Then for \(1 \le k \le N\) and arbitrary small \(\delta >0\), the following estimates hold for any test function \(\varPhi \in C^\infty _0({\mathbb {R}}^{6k})\),
and
where C depends on \(\Vert D^{s(\delta )}\varPhi \Vert _{\infty }\) and k.
2.4 Convergence to Infinite Hierarchy
In this subsection, we prove that the k-particle Husimi measure \(m_{N,t}^{(k)}\) has subsequence that converges weakly (as \(N\rightarrow \infty \)) to a limit \(m_{t}^{(k)}\) in \(L^1\), which is a solution of the infinite hierarchy in the sense of distribution.
The weak compactness of k-particle Husimi measure \(m_{N,t}^{(k)}\) can be proved by the use of Dunford–Pettis theorem.Footnote 3 In particular, we have the following result.
Proposition 2.7
Let \(\{m_{N,t}^{(k)}\}_{N\in {\mathbb {N}}}\) be the k-particle Husimi measure, then there exists a subsequence \(\{m_{N_j,t}^{(k)}\}_{j\in {\mathbb {N}}}\) that converges weakly in \(L^1({\mathbb {R}}^{6k})\) to a function \( (2\pi )^{3k}m_{t}^{(k)}\), i.e. for all \( \varphi \in L^\infty ({\mathbb {R}}^{6k})\), it holds
when \(j \rightarrow \infty \) for arbitrary fixed \(k\ge 1\).
Proof
To apply Dunford–Pettis theorem, we need to check that it is uniformly integrable and bounded. From the previous uniform estimates that we have obtained for \(m_{N,t}^{(k)}\) from (2.6) and its second finite moment in Proposition 2.3 imply
where \(\mathbf {q}_k := (q_1,\dots ,q_k)\), \(\mathbf {p}_k := (p_1,\dots ,p_k)\) and C(t) is a time-dependent constant, we can check the uniform integrability. More precisely, for any \(\varepsilon > 0\), by taking \(r = {\varepsilon }^{-1}{(2\pi )^{3k}C(t)}\) we have that
Furthermore, for arbitrary \(\varepsilon >0 \), by taking \(\delta = \varepsilon \), we have that for all \(E\subset {\mathbb {R}}^{6k}\) with \(\text {Vol}(E) \le \delta \), it holds
which means that there is no concentration for the k-particle Husimi measure.
It is shown in (2.9) that the boundedness of k-particle Husimi measure in \(L^1\), i.e.
Then applying directly Dunford–Pettis Theorem one obtain that k-particle Husimi measure is weakly compact in \(L^1\). \(\square \)
Proof
(Proof of Theorem 1.1and Corollary 1.1) Cantor’s diagonal procedure shows that we can take the same convergent subsequence of \(m_{N,t}^{(k)}\) for all \(k\ge 1\). Then by the error estimates obtained in Propositions 2.4, 2.5, and 2.6, we can obtain that the limit satisfies the infinite hierarchy (1.15) in the sense of distribution, by directly taking the limit in the weak formulation of (2.1) and (2.3).
Observe that the estimates for the remainder terms also show that any convergent subsequence of \(m_{N,t}^{(k)}\) converges weakly in \(L^1\) to the solution of the infinite hierarchy. Therefore, if furthermore, the infinite hierarchy has a unique solution, then the sequence \(m_{N,t}^{(k)}\) itself converges weakly to the solution of the infinite hierarchy.
As for Corollary 1.1, one only need to combine the facts that the infinite hierarchy has a unique solution and that the tensor products of the solution of the Vlasov equation (1.13), \(m_t^{\otimes k}\) is a solution of the infinite hierarchy.
Lastly, by Theorem 7.12 in [47], we would obtain the convergence in 1-Wasserstein metric. \(\square \)
3 Completion of the Reformulation and Estimates in the Proof
3.1 Proof of the Reformulation in Sect. 2.1
In this subsection we supply the proofs for the reformulation of Schrödinger equation into a hierarchy of k \((1\le k\le N)\) particle Husimi measure. The reformulation shares similar structure to the classical BBGKY hierarchy.
Proof (Proof of Proposition 2.1)
First, observe that taking the time derivative on the Husimi measure, we have
Now, focus on \(I_1\), we have
where the last equality is just change of variable on the complex conjugate term. Then, from CAR, observe we have that
where integration by parts and CAR of the operator have been used several times. Putting this back, we cancel out the the second term and get
Now, observe the following
and furthermore,
and similarly
we obtain by putting these back into (3.1),
Since the Husimi measure is actually a real-valued function, we have that
Now, we turn our focus on \(\textit{II}_1\), i.e.,
Observe that
The first term and the complex conjugate term vanishes under changes of variable, u to w and w to u. Therefore, since from assumption \(V(x) = V(-x)\), we have
Now, note that mean value theorem gives
and observe that since, \(V\big (s(u-y)+(1-s)(w-y) \big ) = V\big (su+(1-s)w - y \big )\), we can have from (3.6) the following
where we use the fact that
Then we get
Applying the following projection
onto \(a_y \psi _{N,t}\), we get
Putting this back into (3.10), we get the following
Recall that \(\hbar ^3 = N^{-1}\), we have
Therefore, we have the last term in (3.5) as
thus we have derived the equation for \(m_{N,t}^{(1)}(q_1,p_1)\). \(\square \)
We have proved the reformulation from Schrödinger equation into 1-particle Husimi measure. We also observed that it contains a resemblance to the classical Vlasov equation. Next we want to prove the similar result for \(2 \le k \le N\).
Proof (Proof of Proposition 2.2)
Now we focus on the case where \(2\le k \le N\). As in the proof for the case of \(k=1\), we first observe that for every \(k \in {\mathbb {N}}\),
where the tensor product denotes \((\mathrm {d}w\mathrm {d}u)^{\otimes k} = \mathrm {d}w_1 \cdots \mathrm {d}w_k \mathrm {d}u_1 \cdots \mathrm {d}u_k\).
We first focus on the \(I_2\) part of (3.14), i.e.,
Observe that we have
where the hat indicates exclusion of that element.
Putting this back into (3.15), we obtain
Note that, if we want to move the missing \(a_{u_j}\) or \(a^*_{w_j}\) back to their original position after applying the delta function, we have for fixed j
Therefore, continuing from (3.17), we have
Now, by integration by parts on (3.18) and note that the Laplacian acting on the coherent state would be similar to (3.2) and (3.3), i.e., for fixed j where \(1\le j \le k\)
Thus, we have similar for when \(k=1\), the kinetic part as
Therefore it follows that
Now, we turn our focus on part \(\textit{II}_2\) of (3.14),
For \(1\le k \le N\), observe that from the CAR, we have
From (3.21), we have that
Note that summing \(J_1\) and \(J_4\), we have
where the terms with V(0) cancel one another. For the remaining term, we use again CAR to obtain
On the other hand, the sum of \(J_2\) and \(J_2\) yield
By change of variable and using the fact that \(V(-x) = V(x)\), we have from (3.21) that
Applying mean value theorem on the first term on right hand side, we have that
As in the case of \(k=1\), we apply the projection (3.11) onto \(a_y \psi _{N,t}\) and get further
Therefore, dividing both equations by \(2\mathrm {i}\hbar \), we have the following equation
for \(1\le k \le N\), \(\mathbf {p}_k = (p_1,\dots ,p_k)\) and recalling \(\hbar ^3 = N^{-1}\). At this point we finish the computation of the hierarchy for Husimi measure. \(\square \)
3.2 Proof of the Uniform Estimates in Section 2.3
This subsection provide the proof of estimates for the error terms that appeared in the equations for \(m^{(k)}_{N,t}\). Note that in all the proofs below, we suppose, without loss of generality, that the test function \(\varPhi \in C^\infty _0({\mathbb {R}}^{6k})\) is factorized in phase-space by family of test functions in \(C^\infty _0({\mathbb {R}}^{3})\) space.
3.2.1 Proof of Proposition 2.4
Proof
For fixed k, we denote the vector \(\mathbf {x}_k = (x_1,\cdots , x_k)\) for each \(x_j \in {\mathbb {R}}^3\) with \(j=1,\cdots ,k\). Then we estimate the integral as follows
where \(\varOmega _\hbar \) is defined as in (2.10) and used the fact that
Now, the product term in (3.27) includes a summation of C(k) terms of the following type
where \(\ell \in \{1,\dots , k\}\). Thus, to continue from (3.27), we have
Applying Lemma 2.5 onto the \((k-\ell )\) terms, we have
For a fixed \(\ell \), observe that since f is compact supported, by using Hölder’s inequality in w and u variables, we have
By change of variables and then applying Lemma 2.4, we have
Observe now that by using Hölder inequality with respect to \({\widetilde{u}}\), we get, for every \(1\le n \le k\),
where we have used the fact that \(f \in H^1\), it is also embedded in the \(L^6\) space. Similarly,
Putting this back into (3.29), we have
Then, from (3.28), we have
Therefore, by picking \(s = \left\lceil \frac{1+2\alpha }{2(1-\alpha )} \right\rceil \) we arrive immediately that
Therefore, for all \(\delta \ll 1\), we choose \(\frac{1}{2}<\alpha <1\) such that \((\alpha -1)k\le - \delta \). \(\square \)
3.2.2 Proof of Proposition 2.5
Proof
Let \(\varPhi \) be an arbitrary test function, then the remainder term \(\widetilde{{\mathcal {R}}}_1\) can be written explicitly into
Then, utilizing (2.7), we may get
Then, we insert a term, namely \(\nabla V(q_1-y)\) and use triangle inequality to obtain
where we have used change of variable \(\sqrt{\hbar }{\widetilde{q}}_2 = (y-q_2)\) in the second term above.
We first focus on \(\textit{II}_3\). We begin by splitting the integral on momentum, by using Lemma 2.5, it follows
where we used the fact that \(\nabla V\) is Lipschitz continuous, f has compact support, and the definition of \(\varOmega _\hbar \) in (2.10).
The next step is to use Lemmata 2.4 and 2.5 to bound the terms \(i_{31}\) and \(\textit{ii}_{31}\). Then we examine what the appropriate terms \(\alpha \) and s should be. By Lemma 2.5, we may bound the term \(i_{31}\), i.e.,
Since we assume that f is compactly supported, by Hölder inequality with respect to w and u, we have we have that
where we used the change of variable \(\sqrt{\hbar }{\widetilde{w}} = w - q_1\) in the last inequality. Now, since \(\left\| f\right\| _2\) is normalized, we continue to have
by Lemma 2.4
On the other hand, from \(\textit{ii}_{31}\) we have
Since f is assumed to be compactly supported, we have
where we use Cauchy–Schwarz inequality and Hölder inequality.
Next, by change of variables as well as Hölder inequality in respect of y, we have
where we applied Lemma 2.4. Observe from (3.30), we get
Now we compare power of \(\hbar \) with the one in (3.33). Namely,
Therefore, we choose \(s = \left\lceil \frac{1+2\alpha }{2(1-\alpha )} \right\rceil \) such that \(\textit{II}_3\) is of order \(\hbar ^{\alpha -\frac{1}{2}}\). Now, focus on \(I_3\), we use similar strategy as with \(\textit{II}_3\).
Again, by Lemma 2.5 and the bounds for number operator and localized number operator, we have for \(i_{32}\) that
where we used Lemma 2.4 and the bounds for number operator. Similarly, for \(\textit{ii}_{32}\), we have
By Lemma 2.4 and the bounds for number operator, we have
Then, by using similar computation in (3.30) and the assumption that f is compactly supported, we may get
Therefore, \(\textit{II}_3\) and \(I_3\) together, we have the bound of order \(\hbar ^{\alpha - \frac{1}{2}}\) for \(\alpha \in (\frac{1}{2},1)\). \(\square \)
3.2.3 Proof of Proposition 2.6
Proof
To calculate the bound in (2.21) for \(\widehat{{\mathcal {R}}}_k\). It has automatically an 1/N as a factor, therefore, we expect it has better estimates than the other remainder terms. More precisely, we can split the integrals as before,
where \(\varOmega _\hbar \) is defined as in (2.10). Since \(V \in W^{2,\infty }\) and recall \(\hbar ^3 = N^{-1}\), we have
where we apply similar argument in (3.28) in the last inequality. Note here that the constant C above is dependent on k. Applying Lemma 2.5 we have
where, as in the proof of Proposition 2.4, we applied Lemma 2.4 and (3.30). Therefore, we obtain the desired result by choosing \(s = \left\lceil \frac{1+2\alpha }{2(1-\alpha )} \right\rceil \).
Next, we switch to estimate (2.22) for \(\widetilde{{\mathcal {R}}}_k\). Repeated the steps in the proof of Proposition 2.5, we have
Appling the \(\hbar \)-weighted Dirac-delta function as in (2.7), we have
Using the fact that \(\nabla V\) is Lipchitz continuous and that f is compactly supported, we have
Focusing on \(I_4\), we split the integral as follows
where \(\varOmega _\hbar \) is defined as in (2.10). We do similar computations for \(\textit{II}_4\),
Repeating the proof of Proposition 2.5, namely in (3.36) and (3.32), as well as the proof for estimate (2.21), we eventually obtain
where the constant C depends on k. As before, we choose \(s = \left\lceil \frac{1+2\alpha }{2(1-\alpha )} \right\rceil \) and choose \(\alpha \in \left( \frac{1}{2},1\right) \) such that \((\alpha -1)k\le - \delta \), and we obtain the desired estimates. \(\square \)
References
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)
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. Math. Pures Appl. 105(1), 1–30 (2016)
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)
Benedikter, N., Porta, M., Schlein, B.: Effective Evolution Equations from Quantum Dynamics, vol. 7. Springer, New York (2016)
Bröcker, T., Werner, R.F.: Mixed states with positive Wigner functions. J. Math. Phys. 36(1), 62–75 (1995)
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)
Dell’Antonio, G.: Lectures on the Mathematics of Quantum Mechanics II: Selected Topics. Springer, New York (2016)
Diestel, J.: Uniform integrability: an introduction. Rend. Istit. Mat. Univ. Trieste 23(1), 41–80 (1993) (1991). School on Measure Theory and Real Analysis (Grado, 1991)
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. Math. Pures Appl. 83(10), 1241–1273 (2004)
Erdos, L., Yau, H.T.: Derivation of the nonlinear Schrödinger equation with Coulomb potential. Tech. rep. (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\rightarrow \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)
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.: Empirical measures and quantum mechanics: applications to the mean-field limit. Commun. Math. Phys. 369(3), 1021–1053 (2019)
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)
Hudson, R.: When is the Wigner quasi-probability density non-negative? Rep. Math. Phys. 6(2), 249–252 (1974)
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)
Lions, P.L., Paul, T.: Sur les mesures de Wigner. Revista Matemática Iberoamericana 9(3), 553–618 (1993)
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. Ph.D. thesis (2014)
Petrat, S.: Hartree corrections in a mean-field limit for fermions with Coulomb interaction. J. Phys. A 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)
Porta, M., Rademacher, S., Saffirio, C., Schlein, B.: Mean field evolution of fermions with coulomb interaction. J. Stat. Phys. 166(6), 1345–1364 (2017)
Robert, M.C.D.: Coherent States and Applications in Mathematical Physics. Springer, Netherlands (2012)
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. arXiv preprint arXiv:1903.06013 (2019)
Saffirio, C.: Semiclassical limit to the Vlasov equation with inverse power law potentials. Commun. Math. Phys. 373(2), 571–619 (2020)
Santambrogio, F.: Optimal Transport for Applied Mathematicians. Springer, New York (2015)
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, Providence (2003)
Zhang, P.: Wigner Measure and Semiclassical Limits of Nonlinear Schrödinger Equations. American Mathematical Society, Providence (2008)
Acknowledgements
We are also grateful to the anonymous referee for carefully reading our manuscript and providing helpful comments. We acknowledge support by the Deutsche Forschungsgemeinschaft through the grants CH 955/4-1. Jinyeop Lee was partially supported by Samsung Science and Technology Foundation (SSTF-BA1401-51) and by the National Research Foundation of Korea(NRF) grant funded by the Korea government(MSIT) (NRF-2019R1A5A1028324 and NRF-2020R1F1A1A01070580).
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Eric A. Carlen.
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. Combined Mean-Field and Semiclassical Limits of Large Fermionic Systems. J Stat Phys 182, 24 (2021). https://doi.org/10.1007/s10955-021-02700-w
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s10955-021-02700-w