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

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.