Mathematical properties of pump-leak-cotransport models

Models of ordinary differential equations are often used to describe the electrical, ionic and volumetric responses of cells to external stimuli. Although these cellular models are often solved numerically, rigorous evidence regarding their steady state solutions is scarce. In this work, we provide a formalism defining the conditions ensuring the existence and uniqueness of a steady-state solution in a large class of models including leak channels, a pump and cotransporters. Our work generalizes previous results and provides explicit conditions that a model must satisfy to guarantee the existence and uniqueness of a steady state.