Abstract/Summary

We prove a novel inversion theorem for functionals given as power series in infinite-dimensional spaces. This provides a rigorous framework to prove convergence of density functionals for inhomogeneous systems with applications in classical density function theory, liquid crystals, molecules with various shapes or other internal degrees of freedom. The key technical tool is the representation of the inverse via a fixed point equation and a combinatorial identity for trees, which allows us to obtain convergence estimates in situations where Banach inversion fails.