Mathematical study of a new coupled electro-thermo radiofrequency model of cardiac tissue (2403.10892v2)
Abstract: This paper presents a nonlinear reaction-diffusion-fluid system that simulates radiofrequency ablation within cardiac tissue. The model conveys the dynamic evolution of temperature and electric potential in both the fluid and solid regions, along with the evolution of velocity within the solid region. By formulating the system that describes the phenomena across the entire domain, encompassing both solid and fluid phases, we proceed to an analysis of well-posedness, considering a broad class of right-hand side terms. The system involves parameters such as heat conductivity, kinematic viscosity, and electrical conductivity, all of which exhibit nonlinearity contingent upon the temperature variable. The mathematical analysis extends to establishing the existence of a global solution, employing the Faedo-Galerkin method in a three-dimensional space. To enhance the practical applicability of our theoretical results, we complement our study with a series of numerical experiments. We implement the discrete system using the finite element method for spatial discretization and an Euler scheme for temporal discretization. Nonlinear parameters are linearized through decoupling systems, as introduced in our continuous analysis. These experiments are conducted to demonstrate and validate the theoretical findings we have established.
- Espaces de Sobolev mathématiques pures et appliquées (amsterdam), 140.
- Linearly implicit finite element methods for the time-dependent Joule heating problem. BIT Numerical Mathematics 45, 429–442.
- Existence of solutions for the time-dependent thermistor equations. IMA Journal of Applied Mathematics 48, 271–281.
- The thermistor problem: existence, smoothness uniqueness, blowup. SIAM Journal on Mathematical Analysis 25, 1128–1156.
- Odd-Even based asymptotic preserving scheme for a 2D stochastic kinetic-fluid model. J. Comput. Phys. 471, Paper No. 111649, 25.
- Unfolding homogenization method applied to physiological and phenomenological bidomain models in electrocardiology. Nonlinear Analysis: Real World Applications 50, 413–447.
- Toward fluid radiofrequency ablation of cardiac tissue: modeling, analysis and simulations. Preprint under review, Arxiv.org/abs/2312.09965.
- Theoretical modeling for radiofrequency ablation: state-of-the-art and challenges for the future. Biomedical engineering online 5, 1–17.
- Finite element methods for Darcy’s problem coupled with the heat equation. Numerische Mathematik 139, 315–348.
- Analyse fonctionnelle. théorie et applications. collection mathématiques appliquées pour la maıtrise.
- Existence of weak solutions for the nonstationary problem of the Joule heating of a conductor. Annali di Matematica pura ed applicata 162, 33–42.
- Radiofrequency ablation for liver tumors abutting complex blood vessel structures: treatment protocol optimization using response surface method and computer modeling. International Journal of Hyperthermia 39, 733–742.
- Cardiovascular mathematics, volume 1 of MS&A. modeling, simulation and applications.
- Artificial boundaries and formulations for the incompressible navier-stokes equations: applications to air and blood flows. SeMA Journal 64, 1–40.
- Mathematical Tools for the Study of the Incompressible Navier-Stokes Equations and Related Models. volume 183. Springer Science & Business Media.
- Unconditional optimal error estimates of BDF-Galerkin FEMs for nonlinear thermistor equations. Journal of Scientific Computing 66, 504–527.
- Comparative analysis of different methods of modeling the thermal effect of circulating blood flow during RF cardiac ablation. IEEE Transactions on Biomedical Engineering 63, 250–259.
- Computational modeling of open-irrigated electrodes for radiofrequency cardiac ablation including blood motion-saline flow interaction. PloS one 11, e0150356.
- Should fluid dynamics be included in computer models of RF cardiac ablation by irrigated-tip electrodes? Biomedical engineering online 17, 1–14.
- Entropy viscosity method for nonlinear conservation laws. Journal of Computational Physics 230, 4248–4267.
- Mathematical modeling of impedance controlled radiofrequency tumor ablation and ex-vivo validation, in: 2010 Annual International Conference of the IEEE Engineering in Medicine and Biology, IEEE. pp. 1605–1608.
- Local null controllability for the thermistor problem. Nonlinear Analysis , 113330.
- Thermal model for fast simulation during magnetic resonance imaging guidance of radio frequency tumor ablation. Annals of Biomedical Engineering 30, 1152–1161.
- Unconditionally optimal error estimates of a Crank–Nicolson Galerkin method for the nonlinear thermistor equations. SIAM Journal on Numerical Analysis 52, 933–954.
- Error analysis of linearized semi-implicit Galerkin finite element methods for nonlinear parabolic equations. Int. J. Numer. Anal. Mod. 10, 622–633.
- Uniform BMO estimate of parabolic equations and global well-posedness of the thermistor problem, in: Forum of Mathematics, Sigma, Cambridge University Press.
- Lesion modeling, characterization, and visualization for image-guided cardiac ablation therapy monitoring. Journal of Medical Imaging 5, 021218–021218.
- Well-posedness and numerical approximation of steady convection-diffusion-reaction problems in porous media. Computers & Mathematics with Applications 124, 129–148.
- Optimal control of the thermistor problem in three spatial dimensions, part 1: Existence of optimal solutions. SIAM Journal on Control and Optimization 55, 2876–2904.
- Optimal control of the thermistor problem in three spatial dimensions, part 2: Optimality conditions. SIAM Journal on Control and Optimization 55, 2368–2392.
- A computational model of open-irrigated radiofrequency catheter ablation accounting for mechanical properties of the cardiac tissue. International Journal for Numerical Methods in Biomedical Engineering 35, e3232.
- The cardiovascular system: mathematical modelling, numerical algorithms and clinical applications. Acta Numerica 26, 365–590.
- Navier-Stokes Equations: Theory and Numerical Analysis, 3rd edition. reprinted in AMS Chelsea series by American Mathematical Society, Providence, North-Holland, Amsterdam.
- Computer simulations of consecutive radiofrequency pulses applied at the same point during cardiac catheter ablation: Implications for lesion size and risk of overheating. Computer methods and programs in biomedicine 220, 106817.
- Simulation study of the cooling effect of blood vessels and blood coagulation in hepatic radio-frequency ablation. International Journal of Hyperthermia 38, 95–104.
- Radiofrequency ablation of hepatic tumors: simulation, planning, and contribution of virtual reality and haptics. Computer Methods in Biomechanics and Biomedical Engineering 8, 215–227.
- Existence and uniqueness of the Cα-solution for the thermistor problem with mixed boundary value. SIAM Journal on Mathematical Analysis 25, 1157–1166.
- A review of radiofrequency ablation: Large target tissue necrosis and mathematical modelling. Physica Medica 32, 961–971.