1: \begin{abstract}
2: The standard (``fine-grained'') interpretation of quantum density functional theory,
3: in which densities are specified with infinitely-fine spatial resolution,
4: is mathematically unruly. Here,
5: a coarse-grained version of DFT, featuring limited spatial resolution, and its
6: relation to the fine-grained theory in the $L^1\cap L^3$ formulation of
7: Lieb, is studied, with the object of showing it to be not only mathematically
8: well-behaved, but consonant with the spirit of DFT, practically (computationally)
9: adequate and sufficiently close to the standard interpretation as to accurately
10: reflect its non-pathological properties.
11: The coarse-grained interpretation is shown to be a good model of formal DFT
12: in the sense that:
13: all densities are (ensemble)-V-representable; the intrinsic energy functional $F$
14: is a continuous function of the density and the representing external potential is
15: the (directional) functional derivative of the intrinsic energy.
16: Also, the representing potential $v[\rho]$ is quasi-continuous, in that
17: $v[\rho]\rho$ is continuous as a function of $\rho$.
18: The limit of coarse-graining scale going to zero is studied to see if convergence
19: to the non-pathological aspects of the fine-grained theory is adequate to justify
20: regarding coarse-graining as a good approximation.
21: Suitable limiting behaviors or intrinsic energy, densities and representing potentials
22: are found. Intrinsic energy converges monotonically, coarse-grained densities
23: converge uniformly strongly to their low-intrinsic-energy fine-grainings, and
24: $L^{3/2}+L^\infty$ representability of a density is equivalent to the existence
25: of a convergent sequence of coarse-grained potential/ground-state density pairs.
26: \end{abstract}
27: