Abstract
We give a proof of the Lieb–Thirring inequality on the kinetic energy of orthonormal functions by using a microlocal technique, in which the uncertainty and exclusion principles are combined through the use of the Besicovitch covering lemma.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The celebrated Lieb–Thirring inequality [16, 17] states that for every trace class operator 0 ≤ γ ≤ 1 on \(L^{2}(\mathbb R^{d})\) with density ργ(x) = γ(x,x), the kinetic energy lower bound
holds with a constant Kd > 0 depending only on the dimension d ≥ 1 (in particular, Kd is independent of γ). Here assuming the spectral decomposition
with \(\{u_{n}\}_{n=1}^{\infty }\) being orthonormal in \(L^{2}(\mathbb R^{d})\) and 0 ≤ λn ≤ 1, we denote
Strictly speaking, the trace class condition \(\text {Tr} \gamma ={\sum }_{n=1}^{\infty } \lambda _{n} <\infty \) is not essential. The bound (1) still holds for every operator 0 ≤ γ ≤ 1 provided that γ admits a spectral decomposition as in (2) such that we can define the kinetic energy Tr(−Δγ) and the density ργ via (3) (this extension can be obtained easily from a density argument using the Lebesgue monotone convergence theorem). In connection to quantum physics, γ usually stands for the one-body density matrix of a quantum state, and the trace class condition means that the number of particles is finite. A key feature of (1) is that the bound is independent of the number of particles, thus allowing us to treat large systems (including even infinite systems via a standard limiting argument).
By some sort of the uncertainty principle (e.g., Sobolev’s inequality), it is not difficult to see that
Here the optimal constant KSo > 0 depends only on the dimension d ≥ 1. Consequently, if \(\{u_{n}\}_{n=1}^{N}\) is a family of normalized functions in \(L^{2}(\mathbb R^{d})\), then using (4), we have
The optimality of the constant KSoN− 2/d in (5) can be seen easily by considering the special case un = u for all n. On the other hand, if \(\{u_{n}\}_{n=1}^{N}\) are orthonormal, then the Lieb–Thirring inequality (1) with \(\gamma ={\sum }_{n=1}^{N} |u_{n}\rangle \langle u_{n}|\) implies that (5) holds with KSoN− 2/d replaced by a constant Kd depending only on the dimension d ≥ 1, which is very useful when \(N\to \infty \). The orthogonality here essentially corresponds to the condition 0 ≤ γ ≤ 1 in (1).
As an application, the Lieb–Thirring inequality (1) gives a semiclassical estimate for the kinetic energy of fermionic systems, which is a crucial ingredient of the proof of the stability of matter in [16]. In this aspect, the constraint 0 ≤ γ ≤ 1 corresponds to Pauli’s exclusion principle of fermions (see, e.g., [15, Theorem 3.2]). Therefore, (1) can be interpreted as an elegant combination of the uncertainty and exclusion principles in quantum mechanics.
Historically, in the original proof of Lieb and Thirring in [16, 17], the kinetic bound (1) was derived from its dual version
where \(t_{-}=\min \limits (t,0)\) and
In this approach, the sum of all negative eigenvalues of the Schrödinger operator −Δ + V (x) is estimated via the number of eigenvalues ≥ 1 of the Birman–Schwinger operator \(\sqrt {|V_{-}(x)|} (-{\varDelta } +E)^{-1} \sqrt {|V_{-}(x)|}\) with E > 0. This duality approach is powerful since it relates the nonlinear inequality (1) to a more linear problem, namely a spectral property of a linear operator. The spectral estimate (6) is interesting in its own right and has been generalized in various directions (see [10] for a recent review with many open questions).
In this article, we will give a direct proof of the kinetic bound (1), without relying on the duality argument. The first proof in this direction goes back to the work of Eden and Foias in 1991 [9] for one dimension, which was later extended by Dolbeault, Laptev, and Loss [6] for higher dimensions. More recently, two other direct proofs were given by Rumin [25, 26] and by Lundholm and Solovej [19, 20]; we refer to [23] for a review on these two approaches (see also [27] for another direct proof).
We will discuss a simplification of the Lundholm–Solovej approach. The key observation of this approach, which actually goes back to the first proof of the stability of matter by Dyson and Lenard [7], is that a local version of the Lieb–Thirring inequality on cubes can be obtained easily by local versions of the uncertainty and exclusion principles. As realized in [19, 20], it is possible to obtain the global bound (1) by combining such local estimates by choosing an appropriate family of disjoint cubes. A simplification of the Lundholm–Solovej approach was already given by Lundholm–Nam–Portmann [18] where the local uncertainty and exclusion principles are combined by using a new covering lemma which is inspired by a “stopping time argument” in harmonic analysis. Our aim here is to provide with a further simplification where the local uncertainty and exclusion principles are combined naturally via the classical Besicovitch covering lemma, thus making the proof very elementary. We hope that our proof will be not only interesting from the pedagogical point of view, but also helpful for finding new generalizations of (1) in the future. In particular, we expect that the method represented here can be strengthened by coupling with the ideas of using dyadic sets in recent works [12, 21].
Note that the Besicovitch covering lemma was already used in Rozenblum’s proof of the Cwikel–Lieb–Rozenblum inequality [5, 13, 24] on the number of negative eigenvalues of Schrödinger operators for d ≥ 3
In this approach, using Sobolev’s inequality, the linear operator −Δ + V (x) can be localized in bounded domains such that it has at most one bound state in each domain, and then the number of the domains is controlled by the Besicovitch covering lemma. Heuristically, since (7) is stronger than (6) (when d ≥ 3), it is not surprising that the Besicovitch covering lemma is also helpful for the proof of the Lieb–Thirring inequality. However, since (1) seems less linear than (6) and (7), we think it is still interesting to see that a variant of this microlocal technique works directly for (1).
2 Proof
Our proof of (1) includes two steps. In the first step, we derive a local version of (1) in any ball \(B\subset \mathbb R^{d}\) such that \({\int \limits }_{B} \rho _{\gamma } =2\) (we can replace 2 by any fixed number bigger than 1). This step is done by combining local versions of the uncertainty and exclusion principles, exactly in the spirit of the proofs in [18,19,20] (the only difference is that we are interested in balls rather than cubes). In the second step, we cover \(\mathbb R^{d}\) by a suitable collection of balls via the Besicovitch covering lemma, and conclude (1).
Now we come to the details. Let us denote, with the spectral decomposition \(\gamma = {\sum }_{n} \lambda _{n} |u_{n}\rangle \langle u_{n}|\) and any ball \(B\subset \mathbb R^{d}\), that
We will always denote by Cd > 0 a general (large) constant depending only on the dimension d ≥ 1. The value of Cd may change line by line.
Step 1: First, we prove a local version of (1).
Lemma 1
(Lieb–Thirring inequality for balls) For any ball \(B\subset \mathbb R^{d}\) and any trace class operator 0 ≤ γ ≤ 1 on L2(B) satisfying \({\int \limits }_{B} \rho _{\gamma } = 2\), we have
The constraint \({\int \limits }_{B} \rho _{\gamma } = 2\) can be replaced by \(a\le {\int \limits }_{B} \rho _{\gamma } \le b\) for any constants \(1<a<b<\infty \) (then Cd depends on d,a,b).
Lemma 1 is a consequence of the following well-known results.
Lemma 2
(Hoffmann-Ostenhof inequality) For any measurable subset \(B\subset \mathbb R^{d}\) and any trace class operator 0 ≤ γ ≤ 1 on L2(B) we have
Proof
This result was first proved in [11]. For the reader’s convenience, here we recall another derivation using the diamagnetic inequality |∇|u|||≤|∇u| (see [14, Theorem 7.21]). Indeed, for two complex functions \(\{v_{n}\}_{n=1}^{2}\), using the diamagnetic inequality for v1,v2 and |v1| + i|v2| (with i2 = − 1), we have
Note that (9) is called the convexity of the gradient which was first published in [2, Theorem 4.3] and [3, Lemma 4] (see also [14, Theorem 7.8]). By induction, we find that for any functions \(\{v_{n}\}_{n=1}^{\infty }\),
We obtain the desired estimate by integrating the pointwise inequality (10) with \(v_{n}=\sqrt {\lambda _{n}} u_{n}\) and using the definition (8). □
Lemma 3
(Local uncertainty principle) For any ball \(B\subset \mathbb R^{d}\) and any function g ∈ H1(B), we have
Proof
By scaling, we may assume that B is the unit ball. Then by a standard result (see [1, Theorem 7.41]), we can find \(G\in H^{1}(\mathbb R^{d})\), an extension of g, such that
Thus it suffices to show the Gagliardo-Nirenberg type inequality
which is indeed equivalent to Sobolev’s inequality \(\|G\|_{L^{2(1+2/d)}} \le C_{d} \|G\|_{H^{1}}\) (Sobolev’s inequality seems weaker, but we can apply it for Gℓ(x) = ℓd/2G(ℓx) and then optimize over ℓ > 0 to obtain (11)) (see also [18, Lemma 8] for another derivation of (11) via the fractional Sobolev embedding theorem). □
Lemma 4
(Local exclusion principle) For any open ball \(B\subset \mathbb R^{d}\) and any trace class operator 0 ≤ γ ≤ 1 on L2(B)
Proof
This bound goes back to Dyson and Lenard [7]. It is a consequence of the Neumann spectral gap
where , the rank-one projection on the unique ground state of the Neumann Laplacian. Then we can take the trace against γ and conclude by using and Tr(Pγ) ≤TrP = 1 (since 0 ≤ γ ≤ 1). □
Now we are ready to provide
Proof
Denote \(M={\int \limits }_{B} \rho _{\gamma }\). From Lemmas 2 and 3, we have
Combining with (12), we find that for every ε > 0,
When M = 2, we can always choose ε = εd > 0 such that
and the desired estimate follows. □
Step 2: In order to put Lemma 1 in good use, we need
Lemma 5
(Besicovitch covering lemma [4, 22]) Let E be a bounded subset of \(\mathbb R^{d}\). Let \(\mathcal {F}\) be a collection of balls in \(\mathbb R^{d}\) such that every point x ∈ E is the center of a ball from \(\mathcal {F}\). Then there is a sub-collection \(\mathcal {G} \subset \mathcal {F}\) such that
namely E is covered by \(\bigcup _{B\in \mathcal G} B\) and every point in E belongs to at most bd balls from \(\mathcal {G}\). Here the constant bd > 0 depends only on the dimension d ≥ 1 (in particular, bd is independent of E).
Now we conclude
Proof
By a density argument, it suffices to assume that \(\gamma = {\sum }_{i=1}^{N} \lambda _{n} |u_{n}\rangle \langle u_{n}|\) with \(N<\infty \), with orthonormal functions \(\{u_{n}\}_{n=1}^{N} \subset C_{c}^{\infty }(\mathbb R^{d})\), and with 0 ≤ λn ≤ 1.
If \({\int \limits }_{\mathbb R^{d}}\rho _{\gamma }\le 2\), then from Lemma 2 and Sobolev’s inequality (4), we find that
Hence, it remains to consider the case \({\int \limits }_{\mathbb R^{d}} \rho _{\gamma } \ge 2.\) Since ργ is continuous and its support \(E\subset \mathbb R^{d}\) is bounded, for every x ∈ E, we can find a ball \(B_{x} \subset \mathbb R^{d}\) centered at x such that
Applying the Besicovitch covering lemma, from the collection of balls \(\mathcal {F}=\{B_{x}\}_{x\in E}\), we can find a sub-collection \(\mathcal {G} \subset \mathcal {F}\) such that
The second bound in (13) implies that
for all n. Therefore,
On the other hand, for every ball \(B \subset \mathcal G\), we have \({\int \limits }_{B} \rho _{\gamma } = 2\) and 0 ≤ γ ≤ 1 on L2(B) (since 0 ≤ γ ≤ 1 on \(L^{2}(\mathbb R^{d})\)). Thus, Lemma 1 gives
Finally, combining the local bound (13) with the covering property (13), we conclude that
The proof is complete. □
References
Adams, R.A.: Sobolev Spaces. Academic Press, Boston (1975)
Benguria, R.: The Von Weizsäcker and Exchange Corrections in the Thomas–Fermi Theory. PhD. Thesis, Princeton University (1979)
Benguria, R., Brezis, H., Lieb, E.H.: The Thomas–Fermi–von Weizsäcker theory of atoms and molecules. Commun. Math. Phys. 79, 167–180 (1981)
Besicovitch, A.S.: A general form of the covering principle and relative differentiation of additive functions. Proc. Cambridge Philos Soc. 41, 103–110 (1945)
Cwikel, M.: Weak type estimates for singular values and the number of bound states of Schrödinger operators. Ann. Math. 106, 93–100 (1977)
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)
Dyson, F.J., Lenard, A.: Stability of matter. Stability of matter. II. J. Math. Phys. 9, 698–711 (1968)
Eden, A., Foias, C.: A simple proof of the generalized Lieb–Thirring inequalities in one-space dimension. J. Math. Anal. Appl. 162, 250–254 (1991)
Frank, R.L.: The Lieb–Thirring inequalities: recent results and open problems. In: Kechris, A., et al. (eds.) Nine mathematical challenges: an elucidation. (eds.), pp 45–86, proceedings of symposia in pure mathematics 104. Am. Math. Soc., Providence, RI (2021)
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)
Kögler, K., Nam, P.T.: The Lieb–Thirring inequality for interacting systems in strong-coupling limit. Arch. Rational Mech. Anal. 240, 1169–1202 (2021)
Lieb, E.H.: Bounds on the eigenvalues of the Laplace and Schrödinger operators. Bull. Am. Math. Soc. 82, 751–54 (1976)
Lieb, E.H., Loss, M.: Analysis, 2nd edn. Graduate Studies in Mathematics, American Mathematical Society, Providence (2001)
Lieb, E.H., Seiringer, R.: The Stability of Matter in Quantum Mechanics. Cambridge University Press, UK (2010)
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. In: Studies in mathematical physics. Princeton University Press, pp. 269–303 (1976)
Lundholm, D., Nam, P.T., Portmann, F.: Fractional Hardy–Lieb–Thirring and related inequalities for interacting systems. Arch. Rational Mech. Anal. 219, 1343–1382 (2016)
Lundholm, D., Solovej, J.P.: Hardy and Lieb–Thirring inequalities for anyons. Commun. Math. Phys. 322, 883–908 (2013)
Lundholm, D., Solovej, J.P.: Local exclusion and Lieb–Thirring inequalities for intermediate and fractional statistics. Ann. Henri Poincaré 15, 1061–1107 (2014)
Mallick, A., Nguyen, H.-M.: Gagliardo-Nirenberg and Caffarelli-Kohn-Nirenberg interpolation inequalities associated with Sobolev-Coulomb spaces. J. Funct. Anal. 283, 109662 (2022)
Morse, A.P.: Perfect blankets. Trans. Am. Math. Soc. 61, 418–442 (1947)
Nam, P.T.: Direct methods to Lieb-Thirring kinetic inequalities. In: Proceedings of the workshop on density functionals for many-particle systems. Singapore. arXiv:2012.12045 (2019)
Rozenblum, G.V.: Distribution of the discrete spectrum of singular differential operators. Izvestiya Vysshikh Uchebnykh Zavedenii Matematika 1, 75–86 (1976)
Rumin, M.: Spectral density and Sobolev inequalities for pure and mixed states. Geom. Funct. Anal. 20, 817–844 (2010)
Rumin, M.: Balanced distribution-energy inequalities and related entropy bounds. Duke Math. J. 160, 567–597 (2011)
Sabin, J.: Littlewood–Paley decomposition of operator densities and application to a new proof of the Lieb–Thirring inequality. Math. Phys. Anal. Geom. 19, 11 (2016)
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Dedicated to Professor Duong Minh Duc on the occasion of his 70th birthday
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
Nam, P.T. A Proof of the Lieb–Thirring Inequality via the Besicovitch Covering Lemma. Acta Math Vietnam 48, 75–81 (2023). https://doi.org/10.1007/s40306-022-00490-1
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40306-022-00490-1