Electrolysis and isoelectric focusing

This paper consists of two parts. In the first part, the authorsprove the existence of steady-state solutions for a three-specieselectrolyte. The species are subject to both dissociation-associationreactions inside the electrolyte and electrochemical reactionsat the boundary electrodes. This is a common occurrence in electrolysis.In the second part, the authors investigate how to use thismodel to describe isoelectric focusing, which is a common techniqueused to separate large protein molecules. In particular, theisoelectric focusing point for a particular type of proteinmolecule is calculated using formal perturbation analysis.