arXiv subjects

Mostafa Bendahmane

Publications and source records attributed to Mostafa Bendahmane.

At least 19 recordsLinked to original sources

arXiv2025

Global weak martingale solutions to a stochastic two-sidedly degenerate aggregation-diffusion equation issued from biology

The purpose of this paper is to establish the well-posedness of martingale (probabilistic weak) solutions to stochastic degenerate aggregation--diffusion equations arising in biological and public health contexts. The studied equation is of a stochastic degenerate parabolic type, featuring a nonlinear two-sidedly degenerate diffusion term accounting for repulsion, a locally Lipschitz reaction term representing competitive interactions, and a stochastic perturbation term capturing environmental noise and uncertainty in biological systems. The existence of martingale solutions is proved via an auxiliary nondegenerate stochastic system combined with the Faedo--Galerkin method. Convergence of approximate solutions is established through Prokhorov's compactness and Skorokhod's representation theorems, and uniqueness is obtained using a duality approach. Finally, numerical simulations are given to illustrate the impact of environmental noise on aggregation dynamics and the long-term behavior of the system, offering insights that may inspire medical innovation and predictive modeling in public health.

math.PR↗

arXiv2024

Mathematical study of a new coupled electro-thermo radiofrequency model of cardiac tissue

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.

math.NA↗

arXiv2023

Mathematical analysis and multiscale derivation of a nonlinear predator-prey cross-diffusion--fluid system with two chemicals

A nonlinear cross-diffusion--fluid system with chemical terms describing the dynamics of predator-prey living in a Newtonian fluid is proposed in this paper. The existence of a weak solution for the proposed macro-scale system is proved based on the Schauder fixed-point theory, a priori estimates, and compactness arguments. The proposed system is derived from the underlying description delivered by a kinetic-fluid theory model by a multiscale approach. Finally, we discuss the computational results for the proposed macro-scale system in two-dimensional space.

math.AP↗

arXiv2023

Effect of energy dissipation on radiofrequency ablation model in cardiac tissue: modelling, analysis and numerical simulation

This paper deals with the mathematical analysis and numerical simulation of a new nonlinear ablation system modeling radiofrequency ablation phenomena in cardiac tissue, {which incorporates the effects of blood flow on the heat generated when ablation by radiofrequency. The model also considers the effects of viscous energy dissipation. It consists of a coupled thermistor problem and the incompressible Navier--Stokes equations that describe the evolution of temperature, velocity and potential in cardiac tissue.} In addition to Faedo--Galerkin method, we use Schauder's fixed-point theory to prove the existence of the weak solutions in two- and three-dimensional space. Moreover, we prove the uniqueness of the solution under some additional conditions on the data and the solution. Finally, we discuss some numerical results for the validation of the proposed model using the finite element method.

math.AP↗

arXiv2023

Stochastic electromechanical bidomain model

We analyze a system of nonlinear stochastic partial differential equations (SPDEs) of mixed elliptic-parabolic type that models the propagation of electric signals and their effect on the deformation of cardiac tissue. The system governs the dynamics of ionic quantities, intra and extra-cellular potentials, and linearized elasticity equations. We introduce a framework called the active strain decomposition, which factors the material gradient of deformation into an active (electrophysiology-dependent) part and an elastic (passive) part, to capture the coupling between muscle contraction, biochemical reactions, and electric activity. Under the assumption of linearized elastic behavior and a truncation of the nonlinear diffusivities, we propose a stochastic electromechanical bidomain model, and establish the existence of weak solutions for this model. To prove existence through the convergence of approximate solutions, we employ a stochastic compactness method in tandem with an auxiliary non-degenerate system and the Faedo--Galerkin method. We utilize a stochastic adaptation of de Rham's theorem to deduce the weak convergence of the pressure approximations.

math.AP↗

arXiv2023

Mathematical analysis of a stochastic reaction-diffusion system modeling predator-prey interactions with prey-taxis and noises

This paper is devoted to the mathematical analysis of a nonlinear stochastic reaction-diffusion system modeling predator-prey interactions with prey-taxis and noises. Precisely, we detail the proof of the existence of weak martingale solutions by Faedo-Galerkin approximations and the stochastic compactness method. We prove the nonnegativity of solutions by a stochastic adaptation of the Stampacchia approach. Finally, we prove the uniqueness of the solution via duality technique.

math.AP↗

arXiv2022

Microscopic tridomain model of electrical activity in the heart with dynamical gap junctions. Part 2 -- Derivation of the macroscopic tridomain model by unfolding homogenization method

We study the homogenization of a novel microscopic tridomain system, allowing for a more detailed analysis of the properties of cardiac conduction than the classical bidomain and monodomain models. In (Acta Appl.Math. 179 (2022) 1--35), we detail this model in which gap junctions are considered as the connections between adjacent cells in cardiac muscle and could serve as alternative or supporting pathways for cell-to-cell electrical signal propagation. Departing from this microscopic cellular model, we apply the periodic unfolding method to derive the macroscopic tridomain model. Several difficulties prevent the application of unfolding homogenization results, including the degenerate temporal structure of the tridomain equations and a nonlinear dynamic boundary condition on the cellular membrane. To prove the convergence of the nonlinear terms, especially those defined on the microscopic interface, we use the boundary unfolding operator and a Kolmogorov--Riesz compactness's result.

math.AP↗

arXiv2022

Microscopic Tridomain Model of Electrical Activity in the Heart with Dynamical Gap Junctions. Part 1 -- Modeling and Well-Posedness

We present a novel microscopic tridomain model describing the electrical activity in cardiac tissue with dynamical gap junctions. The microscopic tridomain system consists of three PDEs modeling the tissue electrical conduction in the intra-and extra-cellular domains, supplemented by a nonlinear ODE system for the dynamics of the ion channels and the gap junctions. We establish the global existence and uniqueness of the weak solutions to our microscopic tridomain model. The global existence of solution, which constitutes the main result of this paper, is proved by means of an approximate non-degenerate system, the Faedo-Galerkin method, and an appropriate compactness argument.

math.AP↗

arXiv2022

Three Scale Unfolding Homogenization Method Applied to Cardiac Bidomain Model

In this paper, we are dealing with a rigorous homogenization result at two different levels for the bidomain model of cardiac electro-physiology. The first level associated with the mesoscopic structure such that the cardiac tissue consists of extracellular and intracellular domains separated by an interface (the sarcolemma). The second one related to the microscopic structure in such a way that the intracellular medium can only be viewed as a periodical layout of unit cells (mitochondria). At the interface between intra-and extracellular media, the fluxes are given by nonlinear functions of ionic and applied currents. A rigorous homogenization process based on unfolding operators is applied to derive the macroscopic (homogenized) model from our meso-microscopic bidomain model. We apply a three-scale unfolding method in the intracellular problem to obtain its homogenized equation at two levels. The first level upscaling of the intracellular structure yields the mesoscopic equation. The second step of the homogenization leads to obtain the intracellular homogenized equation. To prove the convergence of the nonlinear terms, especially those defined on the microscopic interface, we use the boundary unfolding method and a Kolmogorov-Riesz compactness's result. Next, we use the standard unfolding method to homogenize the extracellular problem. Finally, we obtain, at the limit, a reaction-diffusion system on a single domain (the superposition of the intracellular and extracellular media) which contains the homogenized equations depending on three scales. Such a model is widely used for describing the macroscopic behavior of the cardiac tissue, which is recognized to be an important messengers between the cytoplasm (intracellular) and the other extracellular inside the biological cells. Contents 2020 Mathematics Subject Classification. 65N55 and 35A01 and 35B27 and 35K57 and 65M..

math.AP↗

arXiv2022

Derivation of a new macroscopic bidomain model including three scales for the electrical activity of cardiac tissue

In the present paper, a new three-scale asymptotic homogenization method is proposed to study the electrical behavior of the cardiac tissue structure with multiple heterogeneities at two different levels. The first level is associated with the mesoscopic structure such that the cardiac tissue is composed of extracellular and intracellular domains. The second level is associated with the microscopic structure in such a way the intracellular medium can only be viewed as a periodical layout of unit cells (mitochondria). Then, we define two kinds of local cells that are obtained by upscaling methods. The homogenization method is based on a power series expansion which allows determining the macroscopic (homogenized) bidomain model from the microscopic bidomain problem at each structural level. First, we use the two-scale asymptotic expansion to homogenize the extracellular problem. Then, we apply a three-scale asymptotic expansion in the intracellular problem to obtain its homogenized equation at two levels. The first upscaling level of the intracellular structure yields the mesoscopic equation and the second step of the homogenization leads to obtain the intracellular homogenized equation. Both the mesoscopic and microscopic information is obtained by homogenization to capture local characteristics inside the cardiac tissue structure. Finally, we obtain the macroscopic bidomain model and the heart domain coincides with the intracellular medium and extracellular one, which are two inter-penetrating and superimposed continua connected at each point by the cardiac cellular membrane. The interest of the proposed method comes from the fact that it combines microscopic and mesoscopic characteristics to obtain a macroscopic description of the electrical behavior of the heart.

math.AP↗

arXiv2018

A Virtual Element Method for a Nonlocal FitzHugh-Nagumo Model of Cardiac Electrophysiology

We present a Virtual Element Method (VEM) for a nonlocal reaction-diffusion system of the cardiac electric field. To this system, we analyze an $H^1(\Omega)$-conforming discretization by means of VEM which can make use of general polygonal meshes. Under standard assumptions on the computational domain, we establish the convergence of the discrete solution by considering a series of a priori estimates and by using a general $L^p$ compactness criterion. Moreover, we obtain optimal order space-time error estimates in the $L^2$ norm. Finally, we report some numerical tests supporting the theoretical results.

math.NA↗

arXiv2018

Stochastically forced cardiac bidomain model

The bidomain system of degenerate reaction-diffusion equations is a well-established spatial model of electrical activity in cardiac tissue, with "reaction" linked to the cellular action potential and "diffusion" representing current flow between cells. The purpose of this paper is to introduce a "stochastically forced" version of the bidomain model that accounts for various random effects. We establish the existence of martingale (probabilistic weak) solutions to the stochastic bidomain model. The result is proved by means of an auxiliary nondegenerate system and the Faedo-Galerkin method. To prove convergence of the approximate solutions, we use the stochastic compactness method and Skorokhod-Jakubowski a.s.~representations. Finally, via a pathwise uniqueness result, we conclude that the martingale solutions are pathwise (i.e., probabilistic strong) solutions.

math.AP↗

arXiv2011

Uniform Null Controllability for a Degenerating Reaction-Diffusion System Approximating a Simplified Cardiac Model

This paper is devoted to the analysis of the uniform null controllability for a family of nonlinear reaction-diffusion systems approximating a parabolic-elliptic system which models the electrical activity of the heart. The uniform, with respect to the degenerating parameter, null controllability of the approximating system by means of a single control is shown. The proof is based on the combination of Carleman estimates and weighted energy inequalities.

math.OC↗

arXiv2011

Convergence of a Finite Volume Scheme for Gas Water Flow in a Multi-Dimensional Porous Media

A classical model for water-gas flows in porous media is considered. The degenerate coupled system of equations obtained by mass conservation is usually approximated by finite volume schemes in the oil reservoir simulations. The convergence properties of these schemes are only known for incompressible fluids. This chapter deals with construction and convergence analysis of a finite volume scheme for compressible and immiscible flow in porous media. In comparison with incompressible fluid, compressible fluids requires more powerful techniques. We present a new result of convergence in a two or three dimensional porous medium and under the only modification that the density of gas depends on global pressure.

math.NA↗

arXiv2010

Convergence of discrete duality finite volume schemes for the cardiac bidomain model

We prove convergence of discrete duality finite volume (DDFV) schemes on distorted meshes for a class of simplified macroscopic bidomain models of the electrical activity in the heart. Both time-implicit and linearised time-implicit schemes are treated. A short description is given of the 3D DDFV meshes and of some of the associated discrete calculus tools. Several numerical tests are presented.

math.NA↗

arXiv2009

Discrete duality finite volume schemes for doubly nonlinear degenerate hyperbolic-parabolic equations

We consider a class of doubly nonlinear degenerate hyperbolic-parabolic equations with homogeneous Dirichlet boundary conditions, for which we first establish the existence and uniqueness of entropy solutions. We then turn to the construction and analysis of discrete duality finite volume schemes (in the spirit of Domelevo and Omn\`es \cite{DomOmnes}) for these problems in two and three spatial dimensions. We derive a series of discrete duality formulas and entropy dissipation inequalities for the schemes. We establish the existence of solutions to the discrete problems, and prove that sequences of approximate solutions generated by the discrete duality finite volume schemes converge strongly to the entropy solution of the continuous problem. The proof revolves around some basic a priori estimates, the discrete duality features, Minty-Browder type arguments, and "hyperbolic" $L^\infty$ weak-$\star$ compactness arguments (i.e., propagation of compactness along the lines of Tartar, DiPerna, ...). Our results cover the case of non-Lipschitz nonlinearities.

math.AP↗

arXiv2008

Un metodo adaptativo para el modelo Bidominio en electrocardiologia

This paper presents a finite-volume method, together with fully adaptive multi-resolution scheme to obtain spatial adaptation, and a Runge-Kutta-Fehlberg scheme with a local time-varying step to obtain temporal adaptation, to solve numerically the known "bidominio" equations that model the electrical activity of the tissue in the myocardium. Two simple models are considered for membrane flows and ionic currents. First we define an approximate solution and we verify its convergence to the corresponding weak solution of the continuum problem, obtaining in this way an alternative demonstration that the continuum problem is well-posed. Next we introduce the multiresolution technique and derive an optimal noise reduction threshold. The efficiency and precision of our method is seen in the reduction of machine time, memory usage, and errors in comparison to other methods. ----- En este trabajo se presenta un metodo de volumenes finitos enriquecido con un esquema de multiresolucion completamente adaptativo para obtener adaptatividad espacial, y un esquema Runge-Kutta-Fehlberg con paso temporal de variacion local para obtener adaptatividad temporal, para resolver numericamente las conocidas ecuaciones "bidominio" que modelan la actividad electrica del tejido en el miocardio. Se consideran dos modelos simples para las corrientes de membrana y corrientes ionicas. En primer lugar definimos una solucion aproximada y nos referimos a su convergencia a la correspondiente solucion debil del problema continuo, obteniendo de este modo una demostracion alternativa de que el problema continuo es bien puesto. Luego de introducir la tecnica de multiresolucion, se deriva un umbral optimo para descartar la informacion no significativa, y tanto la eficiencia como la precision de nuestro metodo es vista en terminos de la aceleracion de tiempo de maquina, compresion de memoria computacional y errores en diferentes normas.

math.NA↗

arXiv2008

Well-posedness results for triply nonlinear degenerate parabolic equations

We study the well-posedness of triply nonlinear degenerate elliptic-parabolic-hyperbolic problem $$ b(u)_t - {\rm div} \tilde{\mathfrak a}(u,\nablaϕ(u))+ψ(u)=f, \quad u|_{t=0}=u_0 $$ in a bounded domain with homogeneous Dirichlet boundary conditions. The nonlinearities $b,ϕ$ and $ψ$ are supposed to be continuous non-decreasing, and the nonlinearity $\tilde{\mathfrak a}$ falls within the Leray-Lions framework. Some restrictions are imposed on the dependence of $\tilde{\mathfrak a}(u,\nablaϕ(u))$ on $u$ and also on the set where $ϕ$ degenerates. A model case is $\tilde{\mathfrak a}(u,\nablaϕ(u)) =\tilde{\mathfrak{f}}(b(u),ψ(u),ϕ(u))+k(u)\mathfrak{a}_0(\nablaϕ(u)),$ with $ϕ$ which is strictly increasing except on a locally finite number of segments, and $\mathfrak{a}_0$ which is of the Leray-Lions kind. We are interested in existence, uniqueness and stability of entropy solutions. If $b=\mathrm{Id}$, we obtain a general continuous dependence result on data $u_0,f$ and nonlinearities $b,ψ,ϕ,\tilde{\mathfrak{a}}$. Similar result is shown for the degenerate elliptic problem which corresponds to the case of $b\equiv 0$ and general non-decreasing surjective $ψ$. Existence, uniqueness and continuous dependence on data $u_0,f$ are shown when $[b+ψ](\R)=\R$ and $ϕ\circ [b+ψ]^{-1}$ is continuous.

math.AP↗