The computational approach to the Hirshfeld [Theor. Chim. Acta 44, 129 (1977)] atom in a molecule is critically investigated, and several difficulties are highlighted. It is shown that these difficulties are mitigated by an alternative, iterative version, of the Hirshfeld partitioning procedure. The iterative scheme ensures that the Hirshfeld definition represents a mathematically proper information entropy, allows the Hirshfeld approach to be used for charged molecules, eliminates arbitrariness in the choice of the promolecule, and increases the magnitudes of the charges. The resulting “Hirshfeld-I charges” correlate well with electrostatic potential derived atomic charges.

For a linear combination of electron densities of degenerate ground states, it is shown that the value of any energy functional is the ground state energy, if the energy functional is exact for ground state densities, size consistent, and translational invariant. The corresponding functional of kinetic and interaction energy is the linear combination of the functionals of the degenerate densities. Without invoking ensembles, it is shown that the energy functional of fractional number electrons is a series of straight lines interpolating its values at integers. These results underscore the importance of grand canonical ensemble formulation in density functional theory.