A sharp gradient-corrected Lieb--Thirring inequality in one dimension with applications to density functional theory
Abstract
We first prove a sharp Lieb-Thirring inequality with semi-classical constant and gradient correction in one dimension. In the periodic setting, the corresponding inequality also includes a parity dependent shell-correction term, which appears to be new. Moreover, we also characterize the optimizers of these inequalities. In particular, the optimizing density profiles form a two-dimensional manifold, which we call here the Poincaré density manifold. We then apply these results to study the Thomas--Fermi--von Weizsäcker (TFW) approximation of the kinetic energy in Density Functional Theory. More precisely, we first obtain an explicit and non-asymptotic bound on the global and local error made by the TFW approximation. These bounds are controlled by the distance of the normalized density profile from the Poincaré density manifold times the number of particles. In particular, these bounds show that the TFW approximation is exact on the Poincaré manifold. We then show that, in the periodic setting, the distance between the Kohn-Sham potential and the inverse TFW potential in the natural dual Sobolev space can also be controlled by explicit density dependent constants times the distance to the Poincaré manifold. As a corollary, we prove that for a fixed density profile, the Kohn-Sham potential converges towards the inverse Thomas--Fermi potential in the high-density limit N → ∞ with asymptotic rate of order N−2. This rate is shown to be optimal.
Related
- Functional Polymer Nanocomposite Coatings for Naval and Maritime Applications: Advances in Protection, Durability, and Surface Engineering
- Functional Polymer Catalysts for CO2 Capture and Conversion: Design Principles, Applications, and Future Perspectives
- Supramolecular Halogen-Bonded Organic Frameworks (XOFs): From Structural Construction to Functional Applications
- Chitosan-Based Technologies in the Food Industry: Functional Properties, Advanced Applications, and Future Perspectives
- Potential Applications of Next-Generation Probiotics in the Development of Functional Food Products
BibTeX
@misc{corso2026sharp,
title = {{A sharp gradient-corrected Lieb--Thirring inequality in one dimension with applications to density functional theory}},
author = {Thiago Carvalho Corso and Louis Garrigue},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.30887},
eprint = {2610.30887},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.30887},
note = {CC BY-NC-SA 4.0},
}
RIS
TY - UNPB
TI - A sharp gradient-corrected Lieb--Thirring inequality in one dimension with applications to density functional theory
AU - Thiago Carvalho Corso
AU - Louis Garrigue
PY - 2026
DA - 2026/10/22
PB - arXiv
DO - 10.48550/arxiv.2610.30887
UR - https://arxiv.org/abs/2610.30887
AB - We first prove a sharp Lieb-Thirring inequality with semi-classical constant and gradient correction in one dimension. In the periodic setting, the corresponding inequality also includes a parity dependent shell-correction term, which appears to be new. Moreover, we also characterize the optimizers of these inequalities. In particular, the optimizing density profiles form a two-dimensional manifold, which we call here the Poincaré density manifold. We then apply these results to study the Thomas--Fermi--von Weizsäcker (TFW) approximation of the kinetic energy in Density Functional Theory. More precisely, we first obtain an explicit and non-asymptotic bound on the global and local error made by the TFW approximation. These bounds are controlled by the distance of the normalized density profile from the Poincaré density manifold times the number of particles. In particular, these bounds show that the TFW approximation is exact on the Poincaré manifold. We then show that, in the periodic setting, the distance between the Kohn-Sham potential and the inverse TFW potential in the natural dual Sobolev space can also be controlled by explicit density dependent constants times the distance to the Poincaré manifold. As a corollary, we prove that for a fixed density profile, the Kohn-Sham potential converges towards the inverse Thomas--Fermi potential in the high-density limit N → ∞ with asymptotic rate of order N^−2. This rate is shown to be optimal.
ER -