This work explores the use of joint density-functional theory, a new form of density-functional theory for the ab initio description of electronic systems in thermodynamic equilibrium with a liquid environment, to describe electrochemical systems. After reviewing the physics of the underlying fundamental electrochemical concepts, we identify the mapping between commonly measured electrochemical observables and microscopically computable quantities within an, in principle, exact theoretical framework. We then introduce a simple, computationally efficient approximate functional which we find to be quite successful in capturing a priori basic electrochemical phenomena, including the capacitive Stern and diffusive Gouy-Chapman regions in the electrochemical double layer, quantitative values for interfacial capacitance, and electrochemical potentials of zero charge for a series of metals. We explore surface charging with applied potential and are able to place our ab initio results directly on the scale associated with the Standard Hydrogen Electrode (SHE). Finally, we provide explicit details for implementation within standard density-functional theory software packages at negligible computational cost over standard calculations carried out within vacuum environments.
Download