v-representability and Hohenberg-Kohn theorem for non-interacting Schrödinger operators with distributional potentials in the one-dimensional torus
Thiago Carvalho Corso
TL;DR
This work addresses v-representability and the Hohenberg-Kohn framework for non-interacting Schrödinger operators on the 1D torus with distributional potentials in $H^{-1}(oldsymbol{\mathbb{T}})$. It establishes the strict positivity of ground-state densities, provides a complete non-interacting $\mathcal V$-representability characterization via $\mathcal D_N$, and proves a non-interacting HK theorem that guarantees a unique density-to-potential map up to constants, with an explicit smooth Kohn–Sham map for $N=1$ given by $v^{KS}_1(\rho)=\frac{\Delta\sqrt{\rho}}{\sqrt{\rho}}$. The results rely on a Perron–Frobenius–type analysis, Courant nodal theory, and a spectral-dual-space approach to handle distributional potentials, illustrating a rigorous foundation for KS-DFT in this simplified setting. However, HK does not extend to excited states, highlighting intrinsic limitations when distributional potentials (e.g., Dirac deltas) are allowed.
Abstract
In this paper, we show that the ground-state density of any non-interacting Schrödinger operator on the one-dimensional torus with potentials in a certain class of distributions is strictly positive. This result together with recent results from [Sutter el al (2024), J. Phys. A: Math. Theor. 57 475202] provides a complete characterization of the set of non-interacting v-representable densities on the torus. Moreover, we prove that, for said class of non-interacting Schrödinger operators with distributional potentials, the Hohenberg-Kohn theorem holds, i.e., the external potential is uniquely determined by the ground-state density. In particular, the density-to-potential Kohn-Sham map is single-valued, and the non-interacting Lieb functional is differentiable at every point in this space of $v$-representable densities. These results contribute to establishing a solid mathematical foundation for the Kohn-Sham scheme in this simplified setting.
