First order expansion in the semiclassical limit of the Levy-Lieb functional

We prove the conjectured first order expansion of the Levy-Lieb functional in the semiclassical limit, arising from Density Functional Theory (DFT). This is accomplished by interpreting the problem as the singular perturbation of an Optimal Transport problem via a Dirichlet penalization.