Guaranteed Convergence of a Regularized Kohn-Sham Iteration in Finite Dimensions

The exact Kohn-Sham iteration of generalized density-functional theory in finite dimensions witha Moreau-Yosida regularized universal Lieb functional and an adaptive damping step is shown toconverge to the correct ground-state density.