We establish an appropriate thermodynamic framework for determining the optimal genome length in electrostatically driven viral encapsidation. Importantly, our analysis includes the electrostatic potential due to the Donnan equilibrium, which arises from the semipermeable nature of the viral capsid, i.e., permeable to small mobile ions but impermeable to charged macromolecules. Because most macromolecules in the cellular milieu are negatively charged, the Donnan potential provides an additional driving force for genome encapsidation. In contrast to previous theoretical studies, we find that the optimal genome length is the result of combined effects from the electrostatic interactions of all charged species, the excluded volume and, to a very significant degree, the Donnan potential. In particular, the Donnan potential is essential for obtaining negatively overcharged viruses. The prevalence of overcharged viruses in nature may suggest an evolutionary preference for viruses to increase the amount of genome packaged by utilizing the Donnan potential (through increases in the capsid radius), rather than high charges on the capsid, so that structural stability of the capsid is maintained
