Abstract
We prove that the Levy–Lieb density functional Gamma-converges to the Thomas–Fermi functional in the semiclassical mean-field limit. In particular, this aides an easy alternative proof of the validity of the atomic Thomas–Fermi theory which was first established by Lieb and Simon.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
From first principles of quantum mechanics, the total energy of N identical fermions in \({\mathbb R }^d\) with spin \(q\geqslant 1\) can be described by a Hamiltonian \(H_N\) in the Hilbert space
which contains wave functions which are anti-symmetric under the permutations of space-spin variables:
In particular, the ground state energy of the system is
where \(S_N\) is the set of all (normalized) wave functions in the quadratic form domain of \(H_N\).
Although the above microscopic theory is very precise, it usually becomes too complicated for practical calculations when N is large. Therefore, it is desirable to develop effective theories which depend on less variables but still capture some collective properties of the system in certain regimes.
1.1 Levy–Lieb and Thomas–Fermi density functionals
In density functional theory, instead of considering a complicated wave function \(\Psi _N\in S_N \) one simply looks at its one-body density
which satisfies the simple constraints
The idea of describing a quantum state using its one-body density goes back to Thomas [34] and Fermi [9] in 1927. It was conceptually pushed forward by a variational principle of Hohenberg and Kohn [17] in 1964, and since then many variations have been proposed.
In this paper, we are interested in the Levy–Lieb density functional [20, 22]
This is nicely related to the ground state problem via the identity
but we will consider (5) in a general context (without limiting to the ground state problem). The complication of the many-body problem is now hidden in the determination of \({\mathcal {L}_N}\), and finding a good approximation is desirable.
In this paper, we will focus on the typical situation when the particles are governed by the non-relativistic kinetic operator, an external potential and a pair-interaction potential, namely the Hamiltonian of the system reads (in appropriate units)
Here \(h>0\) plays the role of Planck’s constant, and \(\lambda >0\) corresponds to the strength of the interaction. The Thomas–Fermi approximation [9, 34] suggests that
where
Historically, the Thomas–Fermi approximation was proposed for the atomic Hamiltonian, when V and w are Coulomb potentials in \({\mathbb R }^3\), but we may expect that it holds in a more general context. In this paper, we aim at giving rigorous justifications for (5) in the semiclassical mean-field regime
which is natural to make all three terms on the right side of (5) comparable.
To formulate our statements precisely, let us denote \(\rho =Nf\) and rewrite (5) as
where
1.2 An open problem
We expect that (6) holds for a very large class of potentials. However, to make the discussion concrete, let us assume the following conditions in the rest of the paper.
Conditions on potentials The potentials \(V,w:{\mathbb R }^d \rightarrow {\mathbb R }\) belong to \(L^{p}({\mathbb R }^d)+L^{q}({\mathbb R }^d)\) with \(p,q\in [1+d/2,\infty )\). Moreover, w admits the decomposition
for a family of radial functions \(0\leqslant \chi _r \in L^{p}({\mathbb R }^d)+L^{q}({\mathbb R }^d)\) with \(p,q\in [2+d,\infty )\)
These assumptions hold for the Coulomb potentials in \({\mathbb R }^3\); in particular we have the Fefferman-de la Llave formula [11]
where \({\mathbb {1} }_{B_r}\) is the characteristic function of the ball B(0, r) in \({\mathbb R }^3\). In fact, (8) holds true for a large class of radial positive functions; see [15] for details.
Recall \(\mathcal {E}_N\) and \(\mathcal {E}^\mathrm{TF}\) in (7). We expect that the following holds true.
Conjecture 1
(Semiclassical mean-field limit of Levy–Lieb functional) For all \(d\geqslant 1\), in the limit \(N\rightarrow \infty \), \(hN^{1/d}\rightarrow 1\), \(\lambda N \rightarrow 1\), we have
for every function f satisfying \(f\geqslant 0\), \(\sqrt{f}\in H^1({\mathbb R }^d)\) and \(\int _{{\mathbb R }^d} f=1\).
Here are some immediate remarks on Conjecture 1.
(1) By the Hoffmann-Ostenhof inequality [16]
the condition \(\sqrt{f}\in H^1({\mathbb R }^d)\) in Conjecture 1 is necessary to ensure that \(\mathcal {E}_{N}(f)<\infty \).
(2) In the ideal Fermi gas (i.e. \(V=w=0\)), the Levy–Lieb functional boils down to the kinetic density functional
Conjecture 1 for the ideal Fermi gas states that, for all \(d\geqslant 1\),
In fact, the following stronger, quantitative bounds are expected to hold [22, 28, 32]
for all \(d\geqslant 1\) for the upper bound and all \(d\geqslant 3\) for the lower bound.
The upper bound in (13) was proposed by March and Young in 1958 [32]. Their proof works for \(d=1\), but fails in higher dimensions (see [22] for a discussion, and see [1, 13] for numerical investigations in \(d=3\)).
The lower bound in (13) was conjectured by Lieb and Thirring in 1975 [28, 29] and they proved the bound with a universal constant (different from \(K_\mathrm{cl}\)). Note that in \(d=1\), the sharp constant in the lower bound in (13) is known to be smaller than \(K_\mathrm{cl}\) (it is conjectured to be the optimal constant in a Sobolev–Gagliardo–Nirenberg inequality [29]). Despite several improvements over the constant (see [6] for the best known result), the sharp constant in the lower bound in (13) is still open in all \(d\geqslant 1\). On the other hand, recently we proved that [33]
for all \(d\geqslant 1\) and all \(\varepsilon >0\). This implies the lower bound in (12). The upper bound in (12) is open for all \(d\geqslant 2\).
(3) If we ignore the kinetic part, the Levy–Lieb functional reduces to the classical interaction functional
Conjecture 1 becomes
which can be proved rigorously. In fact, when w is the Coulomb potential in \({\mathbb R }^3\), the lower bound in (16) is a direct consequence of the Lieb–Oxford inequality [23]
and the upper bound in (16) can be achieved easily by choosing a Slater determinant (a wave function of the form \(\Psi _N=u_1 \wedge u_2 \wedge \ldots \wedge u_N\)) with the density Nf. The proof of (16) for more general w can be extracted from the proof of our main result below. Other approaches to (16) based on the optimal transportation have recently attracted a lot of attention, see [3,4,5, 8, 10].
If we do not completely ignore the kinetic part, but take \(h\rightarrow 0\) and fix N, then the Levy–Lieb functional functional \(\mathcal {E}_N(f)\) converges to the interaction functional \(\mathcal {I}_N(f)\) in (15). Results of this kind can be found in remarkable recent works [2, 4, 18].
The significance of Conjecture 1, as well as our main result below, is the fact that we take the proper semiclassical limit \(h\sim N^{-1/d}\) as \(N\rightarrow \infty \), which is crucial to obtain the full Thomas–Fermi functional.
1.3 Main result
While we could not prove the pointwise-type convergence in Conjecture 1, we will provide another justification for the Thomas–Fermi functional from the Levy–Lieb functional in the sense of the Gamma-Convergence.
Recall that \(\mathcal {E}_N\) and \(\mathcal {E}^\mathrm{TF}\) are defined in (7). We have
Theorem 2
(Gamma convergence from Levy–Lieb to Thomas–Fermi functional) For all \(d\geqslant 1\), in the limit \(N\rightarrow \infty \), \(hN^{1/d}\rightarrow 1\), \(\lambda N \rightarrow 1\), the Levy–Lieb functional \(\mathcal {E}_N\) Gamma-converges to the Thomas–Fermi functional \(\mathcal {E}^\mathrm{TF}\) in
More precisely, we have
-
(i)
(Lower bound) For every sequence \(f_N \in \mathcal {B}\) such that \(f_N \rightharpoonup f\) weakly in \(L^{1+2/d}({\mathbb R }^d)\), then
$$\begin{aligned} \liminf _{N\rightarrow \infty }\mathcal {E}_N(f_N) \geqslant \mathcal {E}^\mathrm{TF}(f). \end{aligned}$$(19) -
(ii)
(Upper bound) For every \(f\in \mathcal {B}\), there exists a sequence of Slater determinants \(\Psi _N\in S_N\) such that \(f_N=N^{-1}\rho _{\Psi _N}\rightarrow f\) strongly in \(L^1({\mathbb R }^d)\cap L^{1+2/d}({\mathbb R }^d)\), and
$$\begin{aligned} \limsup _{N\rightarrow \infty } \mathcal {E}_N(f_N)\leqslant \mathcal {E}^\mathrm{TF}(f). \end{aligned}$$(20)
The notion of Gamma convergence is sufficient for many applications. In particular, we can come back to the ground state problem and immediately obtain
Corollary 3
(Convergence of ground state energy and ground states) For all \(d\geqslant 1\), in the limit \(N\rightarrow \infty \), \(hN^{1/d}\rightarrow 1\), \(\lambda N \rightarrow 1\), the ground state energy \(E_N^\mathrm{QM}\) of \(H_N\) converges to the Thomas–Fermi energy:
Moreover, if \(\Psi _N\) is a ground state for \(E_N^\mathrm{QM}\) and if \(f^\mathrm{TF}\) is a Thomas–Fermi minimizer, then \(N^{-1}\rho _{\Psi _N}\rightharpoonup f^\mathrm{TF}\) weakly in \(L^{1+2/d}({\mathbb R }^d)\).
Corollary 3 covers the seminal result of Lieb and Simon [27] on the validity of Thomas–Fermi in the atomic case (when V, w are Coulomb potentials in \({\mathbb R }^3\)).
More general results on the ground state problem have been achieved recently by Fournais, Lewin and Solovej [12] by means of other techniques. Their method is based on a fermionic version of the de Finetti–Hewitt–Savage theorem for classical measures (which should be compared to a weak quantum de Finetti theorem for bosons [19], although the classical version is sufficient for fermions). Consequently, they can treat a very large class of interaction potentials; in particular no form of positivity, e.g. (8), is needed. In fact, negative interaction potentials can be handled by a clever technique of interchanging two-body to one-body potentials. The latter technique goes back to [7, 21, 30, 31] and seems rather specific for the ground state problem.
In contrast, our Theorem 2 applies to a more restrictive class of interaction potentials, but it is not limited to ground states (it can be applied to excited, or high energy states as well).
The rest of the paper is devoted to the proof of our main result. First, we will study the ideal gas separately in Sect. 2. Then the proof of Theorem 2 and Corollary 3 are given in Sect. 3.
In the following proof, we consider spinless particles for simplicity (adding a fixed spin \(q\geqslant 1\) requires only straightforward modifications).
2 Kinetic density functional
In this section we prove Theorem 2 in the special case of the ideal Fermi gas, which has its own interest. Recall the kinetic density functional in (11)
and
We will prove
Theorem 4
(Gamma convergence of kinetic density functional) For all \(d\geqslant 1\), the following convergences hold when \(N\rightarrow \infty \).
-
(i)
(Lower bound) If \(f_N \in \mathcal {B}\) and \(f_N \rightharpoonup f\) weakly in \(L^{1+2/d}({\mathbb R }^d)\), then
$$\begin{aligned} \liminf _{N\rightarrow \infty }\mathcal {K}_N(f_N) \geqslant K_\mathrm{cl} \int _{{\mathbb R }^d} f^{1+2/d}. \end{aligned}$$(22) -
(ii)
(Upper bound) For every \(f\in \mathcal {B}\), there exists a sequence of Slater determinants \(\Psi _N\in S_N\) such that \(f_N=N^{-1}\rho _{\Psi _N}\rightarrow f\) strongly in \(L^1({\mathbb R }^d)\cap L^{1+2/d}({\mathbb R }^d)\), and
$$\begin{aligned} \limsup _{N\rightarrow \infty } \mathcal {K}_N(f_N) \leqslant \limsup _{N\rightarrow \infty } \frac{1}{N^{1+2/d}} \left\langle \Psi _N, \sum _{i=1}^N -\Delta _{x_i} \Psi _N \right\rangle \leqslant K_\mathrm{cl} \int _{{\mathbb R }^d} f^{1+2/d}. \end{aligned}$$(23)
Proof
Lower bound The lower bound (22) is a consequence of Weyl’s law for Schrödinger eigenvalues. Let \(\Psi _N\) be a N-body wave function with density \(\rho _{\Psi _N}=Nf_N\). We can define the one-body density matrix \(\gamma _{\Psi _N}\) as a trace class operator on \(L^2({\mathbb R }^d)\) with kernel
Then for every function \(0\leqslant U\in C_c^\infty ({\mathbb R }^d)\), we can write
On the other hand, the anti-symmetry of \(\Psi _N\) implies Pauli’s exclusion principle [26, Theorem 3.2]
Consequently, by the min-max principle [25, Theorem 12.1] and Weyl’s law on the sum of negative eigenvalues of Schrödinger operators [25, Theorem 12.12] we can estimate
From (25) and (27) we deduce that
Optimizing over U leads to the desired lower bound (22).
Upper bound We can follow the coherent state approach in the proof of Weyl’s law [25, Theorem 12.12] to deduce the upper bound (23), but the important conclusion that the density \(Nf_N\) comes from a Slater determinant is not easily achieved in this way. In the following, we will provide a direct proof of the upper bound in Theorem 4, using explicit computations of the ground states of the ideal Fermi gas in cubes. This idea goes back to the heuristic argument of Thomas–Fermi [9, 34] and March-Young [32] (the same argument can be used to give a direct proof of the lower bound (22); see [14] for details).
Step 1 (Slater determinants with step-function densities) Recall that that the Dirichlet Laplacian \(-\Delta \) on the cube \(Q=[0,L]^d\) has eigenvalues \(|\pi k/L|^2\), \(k\in \mathbb {N}^d\), with eigenfunctions
The ground state of the M-body kinetic operator \(\sum _{j=1}^M (-\Delta _{x_j})\) is the Slater determinant \(\Psi _M^\mathrm{S}\) made of the first M eigenfunctions \(\{u_k\}\). It is straightforward to see that when \(M\rightarrow \infty \),
strongly in \(L^p(Q)\) for all \(1\leqslant p<\infty \), and
Now let \(f\in \mathcal {B}\). Let \(\{Q\}\) be a finite family of disjoint cubes, whose construction will be specified in the next step. In the following we only consider cubes Q such that
We can find an integer number \(M_Q\in (N |Q| \overline{f}^Q -1, N|Q| \overline{f}^Q+1]\) such that
Now for every Q, consider the first \(M_Q\) eigenfunctions \(\{u_j^Q\}_{j=1}^{M_Q}\) of the Dirichlet Laplacian \(-\Delta \) on Q. These functions can be trivially extended to zero outside Q to become a function in \(H^1_0(Q_0)\). Since \(\{u_j^Q\}_{j=1}^{M_Q}\) are orthogonal for every Q and the subcubes \(\{Q\}\) are disjoint, the collection \(\bigcup _{Q} \{u_j^Q\}_{j=1}^{M_Q}\) is an orthonormal family of N functions in \(H^1_0(Q_0)\). Let \(\Psi _N^{S}\in S_N\) be the Slater determinant made of this orthogonal family. Then in the limit \(N\rightarrow \infty \), using the fact that \(M_Q/N\rightarrow |Q| \overline{f}^Q >0\) and (28), (29), we get the following
strongly in \(L^p({\mathbb R }^d)\) for all \(1\leqslant p<\infty \), and
Step 2 (Approximating f by step functions and concluding) Since \(0\leqslant f\in L^1({\mathbb R }^d)\cap L^{1+2/d}({\mathbb R }^d)\), for every \(k \geqslant 1\) we can find a finite family of disjoint cubes \(\{Q\}\) such that
Using this collection of cubes, for every \(N\geqslant 1\) we can construct a Slater determinant \(\Psi _N^\varepsilon \in S_N\) as in Step 2. From the convergence (30), (31), we deduce that there exists \(M_k >0\) such that for every \(N\geqslant M_k\),
and
The latter estimate and (32) imply that for every \(N\geqslant M_k\),
Now we conclude using a standard diagonal argument. By induction we can choose the above sequence \(M_k\) such that \(M_{k+1}\geqslant M_k+1\). Now for every \(N\in \mathbb {N}\), we take \(k=k_N\) the smallest number such that \(N\geqslant M_k\). Obviously we have \(k_N\rightarrow \infty \) as \(N\rightarrow \infty \). Moreover, we can choose the Slater determinant \(\Psi _N=\Psi _N^{k_N}\in S_N\) as above, and obtain from (33), (34) that
and
when \(N\rightarrow \infty \). This completes the proof of Theorem 4. \(\square \)
3 Full density functional
In this section we prove our main result.
Proof of Theorem 2
Lower bound Let \(\Psi _N\in S_N\) such that \(\rho _{\Psi _N}=Nf_N\) and \(f_N\rightharpoonup f\) weakly in \(L^{1+2/d}({\mathbb R }^d)\). By Theorem 4, we have
Moreover, since \(f_N\rightharpoonup f\) weakly in \(L^{1+2/d}({\mathbb R }^d)\) and \(\Vert f_N\Vert _{L^1}=1\), by interpolation we have \(f_N\rightharpoonup f\) weakly in \(L^{r}({\mathbb R }^d)\) for all \(r \in (1, 1+2/d]\). Under the condition \(V\in L^p({\mathbb R }^d)+L^q({\mathbb R }^d)\) with \(p,q\in [1+d/2,\infty )\), we deduce that
It remains to consider the interaction terms. We will use an idea of Lieb, Solovej and Yngvason [24], which has been used to give an alternative proof of the Lieb-Oxford inequality. From the Fefferman-de la Llave type decomposition (8), we can write
and hence
By the Cauchy–Schwarz inequality we get
For every fixed \(r>0\) and \(z\in \mathbb {{\mathbb R }^d}\), since \(f_N\rightharpoonup f\) weakly in \(L^{r}({\mathbb R }^d)\) for all \(1<r\leqslant 1+2/d\), and \(\chi _r,\chi _r^2 \in L^p({\mathbb R }^d)+L^q({\mathbb R }^d)\) with \(p,q\in [1+d/2,\infty )\), we find that
and hence
for every \(z\in {\mathbb R }^d\). Therefore, by Fatou’s lemma,
Here in the last identity we have used (8) again.
Putting (35), (36) and (38) together, we conclude that
Since \(\Psi _N\in S_N\) can be chosen arbitrarily under the sole condition \(\rho _{\Psi _N}=Nf_N\), this leads the desired lower bond
Upper bound Let \(0\leqslant f\in L^1({\mathbb R }^d)\cap L^{1+2/d}({\mathbb R }^d)\) with \(\int _{{\mathbb R }^d} f=1\). Then by Theorem 4 there exists a sequence of Slater determinants \(\Psi _N\in S_N\), such that \(f_N:= N^{-1}\rho _{\Psi _N} \rightarrow f\) strongly in \(L^1({\mathbb R }^d)\cap L^{1+2/d}({\mathbb R }^d)\) and
Since \(f_N\rightarrow f\) in \(L^r({\mathbb R }^d)\) for all \(r\in [1,1+2/d]\) and \(V\in L^p({\mathbb R }^d)+L^q({\mathbb R }^d)\) with \(p,q\in [1+d/2,\infty )\), we have
Finally, for the interaction terms, since \(\Psi _N\) is a Slater determinants and w is non-negative, an explicit computation shows that
Here since \(w\geqslant 0\) we can simply ignored the exchange term in the Hartree–Fock functional to get an upper bound (see e.g. [22, Section 5A] for details). The convergence \(f_N\rightarrow f\) in \(L^1({\mathbb R }^d)\cap L^{1+2/d}({\mathbb R }^d)\) and the assumption \(w\in L^p({\mathbb R }^d)+L^q({\mathbb R }^d)\) imply that \(f_N*w\rightarrow f*w\) strongly in \(L^\infty ({\mathbb R }^d)\), and hence
Putting this together with (39), (40) and (41) we obtain the desired upper bound
\(\square \)
Proof of Corollary 3
The upper bound in (21), \(N^{-1} E_N^\mathrm{QM} \leqslant E^\mathrm{TF}+o(1)_{N\rightarrow \infty }\), follows immediately from Theorem 2 (upper bound) and optimizing over f in (20).
To see the lower bound in (21), we take arbitrarily a N-body wave function \(\Psi _N\) such that
Denote \(\rho _{\Psi _N}=Nf_N\). Using \(w\geqslant 0\), the Lieb-Thirring inequality for the kinetic energy [29], Hölder’s inequality and the assumption \(V \in L^{p}({\mathbb R }^d)+L^{q}({\mathbb R }^d)\) with \(p,q\in [1+d/2,\infty )\) we can estimate
where \(K,C>0\) are constants independent of \(f_N\). Thus from (42) deduce that \(f_N\) is bounded in \(L^{1+2/d}({\mathbb R }^d)\).
Up to a subsequence, \(f_N \rightharpoonup f\) in \(L^{1+2/d}({\mathbb R }^d)\), and hence Theorem 2 (lower bound) implies that
Next, let us show that
This follows from a standard argument. If \(\int _{{\mathbb R }^d} g\leqslant 1\), we can take a function
Take a sequence \(\{R_k\}\subset {\mathbb R }^d, |R_k|\rightarrow \infty \). By the variational principle
In the last estimate we have used Young’s inequality [25, Theorem 4.2] and the assumption \(w \in L^{p}({\mathbb R }^d)+L^{q}({\mathbb R }^d)\) with \(p,q\in [1+d/2,\infty )\). Here the parameters \(r,s>1\) are determined by
and the constant \(C>0\) depends only on w. By scaling \(\varphi \mapsto \ell ^{d}\varphi (\ell \cdot )\) with \(\ell \rightarrow 0\), we conclude that \(E^\mathrm{TF} \leqslant \mathcal {E}^\mathrm{TF}(g)\). Thus (44) holds.
Note that the weak convergence \(f_N \rightharpoonup f\) implies that \(\int _{{\mathbb R }^d} f \leqslant 1\). Therefore, combining (43) and (44) we arrive at
Thanks to (42), we obtain the convergence (21) and that \(\mathcal {E}^\mathrm{TF}(f)=E^\mathrm{TF}\).
Finally, note that \(\mathcal {E}^\mathrm{TF}(g)\) is strictly convex in g. This can be seen from the strict convexity of the kinetic term \(g\mapsto K_\mathrm{cl}\int _{{\mathbb R }^d} g^{1+2/d}\) and the convexity of the interaction term
Here we have used again the Fefferman-de la Llave formula (8). Consequently, if \(E^\mathrm{TF}\) has a minimizer \(f^\mathrm{TF}\), then using \(\mathcal {E}^\mathrm{TF}(f)=E^\mathrm{TF}=\mathcal {E}^\mathrm{TF}(f^\mathrm{TF})\), the strict convexity and (44), we conclude that \(f=f^\mathrm{TF}\). Thus \(f_N = N^{-1}\rho _{\Psi _N} \rightharpoonup f^\mathrm{TF}\) weakly in \(L^{1+2/d}({\mathbb R }^d)\), for every wave function \(\Psi _N\) satisfying (42) (not necessarily a ground state of \(H_N\)). \(\square \)
References
Acharya, P.: A comment on the derivation of the atomic kinetic energy functionals with full Weizsäcker correction. J. Chem. Phys. 78, 2101–2102 (1983)
Bindini, U., De Pascale, L.: Optimal transport with Coulomb cost and the semi-classical limit of density functional theory, Preprint. arXiv:1702.04957 (2017)
Buttazzo, G., De Pascale, L., Gori-Giorgi, P.: Optimal-transport formulation of electronic density-functional theory. Phys. Rev. A 85, 062502 (2012)
Cotar, C., Friesecke, G., Klüppelberg, C.: Density functional theory and optimal transportation with Coulomb cost. Commun. Pure Appl. Math. 66, 548–599 (2013)
Cotar, C., Friesecke, G., Pass, B.: Infinite-body optimal transport with Coulomb cost. Calc. Var. PDE 54, 717–742 (2015)
Dolbeault, J., Laptev, A., Loss, M.: Lieb–Thirring inequalities with improved constants. J. Eur. Math. Soc. 10, 1121–1126 (2008)
Dyson, F.J., Lenard, A.: Stability of matter. I. J. Math. Phys. 8, 423–434 (1967)
Di Marino, S., Gerolin, A., Nenna, L.: Optimal Transportation Theory with Repulsive Costs. ArXiv e-prints (2015)
Fermi, E.: Un metodo statistico per la determinazione di alcune priorieta dell’atome. Rend. Accad. Naz. Lincei 6, 602–607 (1927)
Friesecke, G., Mendl, C.B., Pass, B., Cotar, C., Klüppelberg, C.: N-density representability and the optimal transport limit of the Hohenberg–Kohn functional. J. Chem. Phys. 139, 164109 (2013)
Feffermann, C., de la Llave, R.: Relativistic stability of matter. I. Mat. Rev. Iberoam. 2, 119–213 (1986)
Fournais, S., Lewin, M., Solovej, J.P.: The semi-classical limit of large fermionic systems. Calc. Var. PDE 57, 105 (2018)
Gazquez, J., Robles, J.: On the atomic kinetic energy of functionals with full Weizsäcker correction. J. Chem. Phys. 76, 1467–1472 (1982)
Gottschling, N.: Master Thesis, Ludwig Maximilian University of Munich, September (2018)
Hainzl, C., Seiringer, R.: General decomposition of radial functions and applications to N-body quantum systems. Lett. Math. Phys. 61, 75–84 (2002)
Hoffmann-Ostenhof, M., Hoffmann-Ostenhof, T.: Schrödinger inequalities and asymptotic behavior of the electron density of atoms and molecules. Phys. Rev. A 16, 1782–1785 (1977)
Hohenberg, P., Kohn, W.: Inhomogeneous electron gas. Phys. Rev. 136, B864–B871 (1964)
Lewin, M.: Semi-classical limit of the Levy–Lieb functional in density functional theory. C. R. Math. Acad. Sci. Paris 356, 449–455 (2018)
Lewin, M., Nam, P.T., Rougerie, N.: Derivation of Hartree’s theory for generic mean-field Bose systems. Adv. Math. 254, 570–621 (2014)
Levy, M.: Universal variational functionals of electron densities, first-order density matrices, and natural spin-orbitals and solution of the v-representability problem. Proc. Natl. Acad. Sci. USA 76, 6062–6065 (1979)
Levy-Leblond, J.M.: Nonsaturation of gravitational forces. J. Math. Phys. 10, 806–812 (1969)
Lieb, E.H.: Density functionals for Coulomb systems. Int. J. Quantum Chem. 24, 243–277 (1983)
Lieb, E.H., Oxford, S.: Improved lower bound on the indirect Coulomb energy. Int. J. Quantum Chem. 19, 427–439 (1981)
Lieb, E.H., Solovej, J.P., Yngvason, J.: Ground states of large quantum dots in magnetic fields. Phys. Rev. B 51, 10646–10665 (1995)
Lieb, E.H., Loss, M.: Analysis, Graduate Studies in Mathematics, vol. 14, 2nd edn. American Mathematical Society, Providence (2001)
Lieb, E.H., Seiringer, R.: The Stability of Matter in Quantum Mechanics. Cambridge University Press, Cambridge (2010)
Lieb, E.H., Simon, B.: The Hartree–Fock theory for Coulomb systems. Commun. Math. Phys. 53, 185–194 (1977)
Lieb, E.H., Thirring, W.E.: Bound on kinetic energy of fermions which proves stability of matter. Phys. Rev. Lett. 35, 687–689 (1975)
Lieb, E.H., Thirring, W.E.: Inequalities for the Moments of the Eigenvalues of the Schrödinger Hamiltonian and Their Relation to Sobolev Inequalities, Studies in Mathematical Physics, pp. 269–303. Princeton University Press, Princeton (1976)
Lieb, E.H., Thirring, W.E.: Gravitational collapse in quantum mechanics with relativistic kinetic energy. Ann. Phys. 155, 494–512 (1984)
Lieb, E.H., Yau, H.T.: The Chandrasekhar theory of stellar collapse as the limit of quantum mechanics. Commun. Math. Phys. 112, 147–174 (1987)
March, N.H., Young, W.H.: Variational methods based on the density matrix. Proc. Phys. Soc. 72, 182–192 (1958)
Nam, P.T.: Lieb–Thirring inequality with semiclassical constant and gradient error term. J. Funct. Anal. 274, 1739–1746 (2018)
Thomas, L.H.: The calculation of atomic fields. Proc. Camb. Philos. Soc. 23, 542–548 (1927)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by L. Ambrosio.
Rights and permissions
About this article
Cite this article
Gottschling, N., Nam, P.T. Convergence of Levy–Lieb to Thomas–Fermi density functional. Calc. Var. 57, 146 (2018). https://doi.org/10.1007/s00526-018-1430-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00526-018-1430-y