Stability and convergence of a finite volume method for two systems of reaction-diffusion equations in electro-cardiology
Introduction
Computer models of the electrical activity in the myocardium are increasingly popular: the heart's activity generates an electromagnetic field in the torso, and produces a surface potential map whose measure is the well-known electrocardiogram (ECG). It gives a non-invasive representation of the cardiac electrical function.
This paper focuses on the study of a 3D finite volume numerical method used to compute the electrical activity of the myocardium on unstructured meshes, and specifically gives conditions on the time-step to ensure a stability property, for an explicit and a semi-implicit time-stepping method. Consequently, convergence results are proved.
The electrical activity in the torso was first demonstrated to be directly connected to the heart beat more than 100 years ago [26]. It was first suggested to be well represented by a dipole. Afterward, more complex models based on dipole representation have also been used among which the famous oblique dipole layer [7]. This is the top-down approach, providing heuristic models.
Conversely, in the 50's Hodgkin and Huxley [11] explained how the electrical activity of some nerve cells can be modeled from a microscopic description of ionic currents through the membrane. Due to the sophistication of experimental techniques, there are currently many such models, see [12] for reviews.
Recent studies in electrocardiology assume the anisotropic cardiac tissue to be represented at a macroscopic level by the so-called “bidomain” model, despite the discrete structure of the tissue. We refer to [8] for a mathematical derivation of the bidomain equations, and to [9], [12] for reviews on the bidomain equations. A simpler version called the “monodomain” model is obtained, assuming an additional condition on the anisotropy of the tissue. Although the “bidomain” is far more complex, both models are reaction-diffusion systems [24], [4] of the general formwhere and is a positive symmetric matrix, eventually with . Only the monodomain model is addressed here.
Any microscopic description of the cell membrane can be inserted into the monodomain equations, providing a large variety of macroscopic models, ranging from 2 to about 100 equations. Although the approach would be the same for complex ones, this paper only treats the case of two simplified two variables models, namely the well-known FitzHugh–Nagumo one [6] and the one from Aliev–Panfilov [18]. The latter is very well suited to the myocardial cell, and often used in practical computer models [17], [21], [22].
Computer models of the heart based on these equations (mono or bidomain, two or more ionic currents) currently are very popular in numerical electrophysiology. Because there may be many different time scales in the reaction terms, the solutions exhibit sharp propagating wave-fronts. For this reasons, only the recent improvement of computing capabilities allow 3D computations to be achieved. Moreover, until very recently, they were restricted to differences methods on structured grids and simple geometries [17], [19], [13]. A few researchers recently started to study computations on 3D unstructured meshes, coupled to an explicit, semi-implicit or fully-implicit time-stepping method [14], [2]. The analysis of a Galerkin semi-discrete space approximation was conducted by Sanfelici [20]. To our knowledge, there has been no attempt at studying the effects of the time-stepping method on the stability of the approximation. As a matter of fact the problem of stability in time of fully discretized approximations is as difficult as the problem for global stability for the continuous solution of reaction-diffusion systems.
The main issue of this paper is to study the theoretical stability criterion for the explicit and semi-implicit Euler methods; and to derive error estimates for the approximate solutions.
Our idea is based on the proof of existence of global solutions to reaction-diffusion systems as presented in [24]: solutions for extend to any due to the existence of strictly contracting regions for the flow . It is known [24] that such regions are invariant sets for regular enough solutions of the system (1). Here, we prove in Theorems 7, 9 and 11 that under suitable assumptions on the time-step, the regions are still invariants sets for the discrete solution, proving as a consequence bounds on the discrete solution. The convergence is proved and error estimates established in Theorem 13.
Among the numerical methods suited to 3D computations on unstructured meshes, we choose a finite volume method introduced and analyzed in [5], well suited to general unstructured meshes and especially to mesh refinement, needed here to capture sharp wave-fronts. Moreover, it provides a sort of maximum principle, that may not be achieved for most finite element formulations but is the key ingredient of our proof.
The next section details the mathematical model, and we recall some needed results of existence and stability for solutions for reaction-diffusion systems, essentially based on [24], [4], [10]. Section 3 briefly explains the finite volume technique for space discretization, and Sections 4 and 5, respectively, are concerned with the stability and convergence results and proofs.
Section snippets
The macroscopic monodomain model for cardiac electro-cardiology
At a microscopic scale, the surface membrane of the myocardial cells delimits an intra- and an extra-cellular medium, both containing ionic species. The model accounts for the dynamics of the trans-membrane ionic currents and difference of potential , per surface unit. The membrane is considered to have a capacitive behaviour, so that the total current through the membrane iswhere is the capacitance per surface unit of the membrane. Furthermore, the cells are self-organized
Meshes, spaces and notations
We shall approximate the solutions of system (10)–(12) with a finite volume method according to the framework of [5], on admissible meshes adapted to the conductivity tensor . An admissible mesh of (a bounded open subset of whose boundary is piecewise ) adapted to is given by
(1) a set of polygonal connected open subsets of , called cells and denoted by , such that In the following will stand for the measure of a cell . For a cell lying on the
Stability analysis
As explained in Section 2.3, any regular solution initially in a contracting rectangle (Definition 3) exists for all time and remains trapped in . We shall prove in this section that
- (1)
the semi-discrete solutions of the ODEs (33)–(34) initially in exist for all and remain trapped in as well, without any additional regularity assumption on the mesh;
- (2)
the discrete solutions given by (37)–(38) or (39)–(40) initially in are well-defined for all and remain trapped in as well, under
Convergence analysis
Convergence of the finite volume approximations and error estimates are proved in this section.
The functions , are supposed to be those of the FHN or AP model, and the other data , , are supposed to fulfil the assumptions of Lemma 2 and Theorem 5, in order for the solution to exists for all in a fixed rectangle , depending only on .
In this case, the solution is with respect to and with respect to .
Given an admissible finite volume mesh as
References (26)
- et al.
Electromechanical model of excitable tissue to study reentrant cardiac arrythmias
Prog. Biophys. Mol. Biol.
(2004) - et al.
Modeling of cardiac electrophysiological mechanisms: from action potential genesis to its propagation in myocardium
Crit. Rev. Biomed. Eng.
(1996) - Y. Bourgault, M. Ethier, V.G. LeBlanc, Simulation of electrophysiological waves with an unstructured finite element...
Analyse fonctionnelle. Théorie et applications
(1983)Reaction-Diffusion Equations and Their Applications to Biology
(1986)- R. Eymard, T. Gallouët, R. Herbin, Finite Volume Methods, in: P.G. Ciarlet, et al. (Eds.), Handbook of Numerical...
Impulses and physiological states in theoretical models of nerve membrane
Biophys. J.
(1961)- et al.
Potential fields generated by oblique dipole layers modeling excitation wavefronts in the anisotropic myocardium
Circ. Res.
(1982) - P.C. Franzone, G. Savaré, Degenerate evolution systems modeling the cardiac electric field at micro- and macroscopic...
Simulating the electrical behaviour of cardiac tissue using the bidomain model
Crit. Rev. Biomed. Eng.
(1993)
Geometric Theory of Semilinear Parabolic Equations, Lecture Notes in Mathematics, vol. 840
A quantitative description of membrane current and its application to conduction and excitation in nerve
J. Physiol.
Mathematical Physiology
Cited by (24)
3D-VIRTUS: Equilibrium condition solver of radio-frequency magnetized plasma discharges for space applications
2020, Computer Physics CommunicationsPhysical-bound-preserving finite volume methods for the Nagumo equation on distorted meshes
2019, Computers and Mathematics with ApplicationsCitation Excerpt :A variety of numerical methods have been applied to the FitzHugh–Nagumo equation. For example, the finite different method [16,17], the finite element method [18], the finite volume method [19], the discontinuous Galerkin method [20], the homotopy analysis method [16], and the pseudospectral method [21] are considered to approximate the solutions of the Nagumo equation. The main purpose of this paper is to construct a finite volume scheme preserving physical bound for the Nagumo equation with anisotropic diffusion coefficient on general polygonal meshes.
Multi-scale models of the heart for patient-specific simulations
2019, Artificial Intelligence for Computational Modeling of the HeartData-driven estimation of cardiac electrical diffusivity from 12-lead ECG signals
2014, Medical Image AnalysisCitation Excerpt :Two major categories can be distinguished. While mono-domain approaches neglect interstitial effects and consider the myocardium as single excitable tissue (Coudière and Pierre, 2006), bi-domain strategies superimpose intra- and extra-cellular domains and take different electrical properties into account (Bourgault et al., 2009). In the absence of external stimuli, mono-domain models have been shown to produce almost identical results as their bi-domain counterparts (Potse et al., 2006).
Models of cardiac tissue electrophysiology: Progress, challenges and open questions
2011, Progress in Biophysics and Molecular BiologyCitation Excerpt :The FVM can be applied easily to unstructured meshes. It also has been used in bidomain modelling (Courdiere and Pierre, 2006; Harrild and Henriquez, 1997; Jacquemet and Henriquez, 2005; Trew et al., 2005a). Since the method is conservative, a coupling between excitation propagation in the heart and the electrical field in the body can be easily achieved (Courdiere and Pierre, 2006).
A finite volume scheme for cardiac propagation in media with isotropic conductivities
2010, Mathematics and Computers in SimulationCitation Excerpt :However, concerning the convergence of FV methods in the framework of electrophysiological problems, only a few works are available. Coudière and Pierre [18] give stability conditions for two time-stepping methods in different settings, and they prove convergence of an implicit FV approximation to the monodomain equations. In a different spirit, a discrete duality FV method (DDFV) to solve the fully coupled heart and torso problem is presented by Coudière et al. [19], who prove well-posedness of the problem and present various numerical tests using preconditioning.