Partial differential equations Theorem
Lieb–Thirring inequality
Builds on Schrödinger operatorEigenvalue
Statement
Let be an integer and let be a real number with Then there is a constant , depending only on and , with the following property. Let be measurable with positive part locally integrable and negative part in the Lebesgue space . Let be the negative eigenvalues, counted with multiplicity, of the Schrödinger operator on , defined through its quadratic form. Then where for 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 for large potentials. Lieb and Thirring proved the inequality for when and when . The case , is the Cwikel–Lieb–Rozenblum bound, and the endpoint , is due to Weidl. The restrictions on are needed. For , every nonzero produces a negative eigenvalue, so no bound with is possible there. For the bound also fails for .
For , a duality argument turns the inequality into a lower bound on kinetic energy. For an -fermion wave function with one-particle density , the kinetic energy is at least for a constant .
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 electrons and nuclei is at least for a constant independent of . The case is the key, through the kinetic energy bound, which resembles the Thomas–Fermi model. The sharp constants are an active topic; for and the sharp constant equals the semiclassical one. The inequality is a quantitative version of the fact that has finitely many negative eigenvalues when 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
- no evidence level
- Eigenvalue concept
- Schrödinger operator concept
- Lieb–Thirring inequality statement
Further reading
About this page
| Tag | 572QKEYYKX |
|---|---|
| URI | m2://572QKEYYKX |
| Kind | statement, theorem |
| Writing | W0 stub |
| MSC | 35P15, 81Q10, 47A75 |
| Status | This copy of the site has no build data. Run m2 status 572QKEYYKX. |
| About | Schrödinger operator |
| Uses | Schrödinger operator, Eigenvalue |
| Same as | |
| Changed | 2 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.