Abstract
We consider the bidomain model of cardiac electrophysiology. Departing from a discrete cellular model we derive the bidomain equations by homogenization. Using two-scale convergence we provide a rigorous homogenization result. A stochastically forced bidomain model is also considered. Well-posedness is proved in the context of stochastic convolutions.