A Coupled System of PDEs and ODEs Arising in Electrocardiograms Modeling

We study the well-posedness of a coupled system of PDEs and ODEs arising in the numerical simulation of electrocardiograms. It consists of a system of degenerate reaction-diffusion equations, the so-called bidomain equations, governing the electrical activity of the heart, and a diffusion equation governing the potential in the surrounding tissues. Global existence of weak solutions is proved for an abstract class of ionic models including Mitchell-Schaeffer, FitzHugh-Nagumo, Aliev-Panfilov and MacCulloch. Uniqueness is proved in the case of the FitzHugh-Nagumo ionic model. The proof is based on a regularisation argument with a Faedo-Galerkin/compactness procedure.