Math 2.0

Partial differential equations Theorem

Lieb–Thirring inequality

Builds on Schrödinger operatorEigenvalue

Statement

Let n≥1n \ge 1 be an integer and let γ\gamma be a real number with γ≥12 if n=1,γ>0 if n=2,γ≥0 if n≥3.\gamma \ge \tfrac{1}{2} \text{ if } n = 1, \qquad \gamma > 0 \text{ if } n = 2, \qquad \gamma \ge 0 \text{ if } n \ge 3. Then there is a constant Lγ,nL_{\gamma,n}, depending only on γ\gamma and nn, with the following property. Let V ⁣:ℝn→ℝV \colon \R^n \to \R be measurable with positive part V+=max⁡(V,0)V_+ = \max(V, 0) locally integrable and negative part V−=max⁡(−V,0)V_- = \max(-V, 0) in the Lebesgue space Lγ+n/2(ℝn)L^{\gamma + n/2}(\R^n). Let E1≤E2≤⋯<0E_1 \le E_2 \le \cdots < 0 be the negative eigenvalues, counted with multiplicity, of the Schrödinger operator −Δ+V-\Delta + V on L2(ℝn)L^2(\R^n), defined through its quadratic form. Then ∑j∣Ej∣γ≤Lγ,n∫ℝnV−(x)γ+n/2 dx,\sum_j \abs{E_j}^\gamma \le L_{\gamma,n}\int_{\R^n} V_-(x)^{\gamma + n/2} \, dx, where for γ=0\gamma = 0 the left side is the number of negative eigenvalues.

Remarks

The right side is, up to a constant, the semiclassical value: counting phase-space volume gives ∑j∣Ej∣γ≈Lγ,ncl∫V−γ+n/2 dx\sum_j \abs{E_j}^\gamma \approx L^{\mathrm{cl}}_{\gamma,n}\int V_-^{\gamma + n/2} \, dx for large potentials. Lieb and Thirring proved the inequality for γ>1/2\gamma > 1/2 when n=1n = 1 and γ>0\gamma > 0 when n≥2n \ge 2. The case γ=0\gamma = 0, n≥3n \ge 3 is the Cwikel–Lieb–Rozenblum bound, and the endpoint γ=1/2\gamma = 1/2, n=1n = 1 is due to Weidl. The restrictions on γ\gamma are needed. For n=1,2n = 1, 2, every nonzero V≤0V \le 0 produces a negative eigenvalue, so no bound with γ=0\gamma = 0 is possible there. For n=1n = 1 the bound also fails for 0<γ<1/20 < \gamma < 1/2.

For γ=1\gamma = 1, a duality argument turns the inequality into a lower bound on kinetic energy. For an NN-fermion wave function with one-particle density ρ\rho, the kinetic energy is at least Kn∫ρ(x)1+2/n dxK_n\int \rho(x)^{1 + 2/n} \, dx for a constant Kn>0K_n > 0.

Going deeper

For a student

Lieb and Thirring found the inequality to give a short proof of the stability of matter. This says that the energy of NN electrons and NN nuclei is at least −CN-CN for a constant CC independent of NN. The case γ=1\gamma = 1 is the key, through the kinetic energy bound, which resembles the Thomas–Fermi model. The sharp constants are an active topic; for n=1n = 1 and γ=3/2\gamma = 3/2 the sharp constant equals the semiclassical one. The inequality is a quantitative version of the fact that −Δ+V-\Delta + V has finitely many negative eigenvalues when V−V_- is small at infinity.

Reading path

To understand this page from the ground up, read these 3 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Eigenvalue concept
  2. Schrödinger operator concept
  3. Lieb–Thirring inequality statement

Further reading

  1. Web https://en.wikipedia.org/wiki/Lieb%E2%80%93Thirring_inequality
About this page
Tag572QKEYYKX
URIm2://572QKEYYKX
Kindstatement, theorem
WritingW0 stub
MSC35P15, 81Q10, 47A75
StatusThis copy of the site has no build data. Run m2 status 572QKEYYKX.
AboutSchrödinger operator
UsesSchrödinger operator, Eigenvalue
Same as
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.