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 \rightarrow \infty$ with asymptotic rate of order $N^{-2}$ . This rate is shown to be optimal.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 \rightarrow \infty$ with asymptotic rate of order $N^{-2}$. This rate is shown to be optimal.

math-phCross-listedarXiv:2610.30887Oct 23, 2026

Semiclassical approximation to time-dependent Hartree--Fock theory

Maria Dworzecka, R. S. Poggioli

Working within a time-dependent Hartree-Fock framework, one develops a semiclassical approximation appropriate for large systems. It is demonstrated that the standard semiclassical approach, the Thomas-Fermi approximation, is inconsistent with Hartree-Fock theory when the basic two-body interaction is short-ranged (as in nuclear systems, for example). However, by introducing a simple extension of the Thomas-Fermi approximation, one overcomes this problem. One also discusses the infinite nuclear matter problem and point out that time-dependent Hartree-Fock theory yields collective modes of the zero sound variety instead of ordinary hydrodynamic (first) sound. One thus emphasizes that one should be extremely circumspect when attempting to cast the equations of motion of time-dependent Hartree-Fock theory into a hydrodynamic-like form.Working within a time-dependent Hartree-Fock framework, one develops a semiclassical approximation appropriate for large systems. It is demonstrated that the standard semiclassical approach, the Thomas-Fermi approximation, is inconsistent with Hartree-Fock theory when the basic two-body interaction is short-ranged (as in nuclear systems, for example). However, by introducing a simple extension of the Thomas-Fermi approximation, one overcomes this problem. One also discusses the infinite nuclear matter problem and point out that time-dependent Hartree-Fock theory yields collective modes of the zero sound variety instead of ordinary hydrodynamic (first) sound. One thus emphasizes that one should be extremely circumspect when attempting to cast the equations of motion of time-dependent Hartree-Fock theory into a hydrodynamic-like form.

Jan 1, 19760 citations

A Time-Dependent Analysis of Mott’s Model

Rodolfo Figari, Alessandro Teta

SpringerBriefs in physicsOct 22, 20130 citations

N \rightarrow \infty

with asymptotic rate of order

N^{-2}

. This rate is shown to be optimal.