Classical density functional theory: The local density approximation

Michal Jex,Mathieu Lewin,Peter S. Madsen
DOI: https://doi.org/10.1142/s0129055x24500375
2024-08-21
Reviews in Mathematical Physics
Abstract:Reviews in Mathematical Physics, Ahead of Print. We prove that the lowest free energy of a classical interacting system at temperature [math] with a prescribed density profile [math] can be approximated by the local free energy [math], provided that [math] varies slowly over sufficiently large length scales. A quantitative error on the difference is provided in terms of the gradient of the density. Here [math] is the free energy per unit volume of an infinite homogeneous gas of the corresponding uniform density. The proof uses quantitative Ruelle bounds (estimates on the local number of particles in a large system), which are derived in an appendix.
physics, mathematical
What problem does this paper attempt to address?