Nantilus
Couplage Électromécanique du coeur : Modélisation, analyse mathématique et simulation numérique
Cette thèse est dédiée à l'analyse mathématique et la simulation numérique des équations intervenant dans la modélisation de l électrophysiologie cardiaque. D'abord, nous donnons une justification mathématique rigoureuse du processus d homogénéisation périodique à l aide de la méthode d�...
Saved in:
| Main Authors : | , , , , , , , , |
|---|---|
| Corporate Authors : | , , , |
| Format : | Thesis |
| Language : | anglais |
| Title statement : | Couplage Électromécanique du coeur : Modélisation, analyse mathématique et simulation numérique / Fatima Mroue; sous la direction de Mazen Samir Saad et de Raafat Talhouk et de Mostafa Bendahmane |
| Published : |
2019 |
| Online Access : |
Via Nantes Université network
|
| Online Access note : | Accès au texte intégral |
| Note de thèse : | Thèse de doctorat : Mathématiques et leurs interactions : Ecole centrale de Nantes : 2019 Thèse de doctorat : Mathématiques et leurs interactions : Université Libanaise : 2019 |
| Subjects : |
| LEADER | 08354clm a2200793 4500 | ||
|---|---|---|---|
| 001 | PPN241734231 | ||
| 003 | http://www.sudoc.fr/241734231 | ||
| 005 | 20240326055500.0 | ||
| 029 | |a FR |b 2019ECDN0039 | ||
| 033 | |a http://www.theses.fr/2019ECDN0039 | ||
| 035 | |a (OCoLC)1374812819 | ||
| 035 | |a STAR133547 | ||
| 100 | |a 20200114d2019 k y0frey0103 ba | ||
| 101 | 0 | |a eng |d fre |d eng |2 639-2 | |
| 102 | |a FR | ||
| 105 | |a ||||ma 00|yy | ||
| 135 | |a dr||||||||||| | ||
| 181 | 1 | |6 z01 |c txt |2 rdacontent | |
| 181 | 1 | |6 z01 |a i# |b xxxe## | |
| 182 | 1 | |6 z01 |c c |2 rdamedia | |
| 182 | 1 | |6 z01 |a b | |
| 183 | |6 z01 |a ceb |2 RDAfrCarrier | ||
| 200 | 1 | |a Couplage Électromécanique du coeur |e Modélisation, analyse mathématique et simulation numérique |f Fatima Mroue |g sous la direction de Mazen Samir Saad et de Raafat Talhouk et de Mostafa Bendahmane | |
| 214 | 1 | |d 2019 | |
| 230 | |a Données textuelles | ||
| 300 | |a Thèse soutenue en co-tutelle | ||
| 304 | |a Titre provenant de l'écran-titre | ||
| 314 | |a Ecole(s) Doctorale(s) : École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) | ||
| 314 | |a Partenaire(s) de recherche : Laboratoire de Mathématiques Jean Leray (Nantes) (Laboratoire) | ||
| 314 | |a Autre(s) contribution(s) : Catherine Choquet (Président du jury) ; Mazen Samir Saad, Raafat Talhouk, Mostafa Bendahmane, Catherine Choquet, Yves Bourgault, Mathieu Colin, Samer Israwi, François Jauberteau (Membre(s) du jury) ; Catherine Choquet, Yves Bourgault (Rapporteur(s)) | ||
| 328 | 0 | |b Thèse de doctorat |c Mathématiques et leurs interactions |e Ecole centrale de Nantes |d 2019 | |
| 328 | 0 | |b Thèse de doctorat |c Mathématiques et leurs interactions |e Université Libanaise |d 2019 | |
| 330 | |a Cette thèse est dédiée à l'analyse mathématique et la simulation numérique des équations intervenant dans la modélisation de l électrophysiologie cardiaque. D'abord, nous donnons une justification mathématique rigoureuse du processus d homogénéisation périodique à l aide de la méthode d'éclatement périodique. Nous considérons des conductivités électriques tensorielles qui dépendent de l espace et des modèles ioniques non linéaires physiologiques et phénoménologiques. Nous montrons l'existence et l'unicité d une solution du modèle microscopique en utilisant une approche constructive de Faedo- Galerkin suivie par un argument de compacité dans L2. Ensuite, nous montrons la convergence de la suite de solutions du problème microscopique vers la solution du problème macroscopique. À cause des termes non linéaires sur la variété oscillante, nous utilisons l opérateur d éclatement sur la surface et un argument de compacité de type Kolmogorov pour les modèles phénoménologiques et de type Minty pour les modèles physiologiques. En outre, nous considérons le modèle monodomaine couplé au modèle physiologique de Beeler-Reuter. Nous proposons un schéma volumes finis et nous analysons sa convergence. D'abord, nous dérivons la formulation variationnelle discrète correspondante et nous montrons l'existence et l'unicité de sa solution. Par compacité, nous obtenons la convergence de la solution discrète. Comme le schéma TPFA (two point flux approximation) est inefficace pour approcher les flux diffusifs avec des tenseurs anisotropes, nous proposons et analysons, ensuite, un schéma combiné non-linéaire qui préserve le principe de maximum. Ce schéma est basé sur l utilisation d un flux numérique de Godunov pour le terme de diffusion assurant que les solutions discrètes soient bornées sans restriction sur le maillage du domaine spatial ni sur les coefficients de transmissibilité. Enfin, dans la perspective d'étudier la solvabilité des modèles électromécaniques couplés avec des modèles ioniques physiologiques, nous considérons un modèle avec une description linéarisée de la réponse élastique passive du tissu cardiaque, une linéarisation de la contrainte d'incompressibilité et une approximation tronquée des diffusivités non linéaires intervenant dans les équations du modèle bidomaine. La preuve utilise des approximations par des systèmes non-dégénérés et la méthode Faedo-Galerkin suivie par un argument de compacité. | ||
| 330 | |a This thesis is concerned with the mathematical analysis and numerical simulation of cardiac electrophysiology models. We use the unfolding method of homogenization to rigorously derive the macroscopic bidomain equations. We consider tensorial and space dependent conductivities and physiological and simplified ionic models. Using the Faedo-Galerkin approach followed by compactness, we prove the existence and uniqueness of solution to the microscopic bidomain model. The convergence of a sequence of solutions of the microscopic model to the solution of the macroscopic model is then obtained. Due to the nonlinear terms on the oscillating manifold, the boundary unfolding operator is used as well as a Kolmogorov compactness argument for the simplified models and a Minty type argument for the physiological models. Furthermore, we consider the monodomain model coupled to Beeler- Reuter's ionic model. We propose a finite volume scheme and analyze its convergence. First, we show existence and uniqueness of its solution. By compactness, the convergence of the discrete solution is obtained. Since the two-point flux approximation (TPFA) scheme is inefficient in approximating anisotropic diffusion fluxes, we propose and analyze a nonlinear combined scheme that preserves the maximum principle. In this scheme, a Godunov approximation to the diffusion term ensures that the solutions are bounded without any restriction on the transmissibilities or on the mesh. Finally, in view of adressing the solvability of cardiac electromechanics coupled to physiological ionic models, we considered a model with a linearized description of the passive elastic response of cardiac tissue, a linearized incompressibility constraint, and a truncated approximation of the nonlinear diffusivities appearing in the bidomain equations. The existence proof is done using nondegenerate approximation systems and the Faedo-Galerkin method followed by a compactness argument. | ||
| 337 | |a Configuration requise : un logiciel capable de lire un fichier au format : PDF | ||
| 541 | | | |a Electromechanical coupling of the heart |e modeling, mathematical analysis and numerical simulation |z eng | |
| 606 | |3 PPN027302032 |a Électrophysiologie |2 rameau | ||
| 606 | |3 PPN031497764 |a Couplage, Théorie du |2 rameau | ||
| 606 | |3 PPN094378606 |a Volumes finis, Méthodes de |2 rameau | ||
| 606 | |3 PPN052547159 |a Électromécanique |2 rameau | ||
| 606 | |3 PPN027388190 |a Coeur |2 rameau | ||
| 608 | |3 PPN027253139 |a Thèses et écrits académiques |2 rameau | ||
| 610 | 0 | |a Bidomaine | |
| 610 | 0 | |a Homogénéisation | |
| 610 | 0 | |a Éclatement périodique | |
| 610 | 0 | |a Volumes finis | |
| 610 | 0 | |a CVFE | |
| 610 | 0 | |a Couplage électromécanique | |
| 686 | |a 620 |2 TEF | ||
| 700 | 1 | |3 PPN241713145 |a Mroue |b Fatima |4 070 | |
| 701 | 1 | |3 PPN155918362 |a Saad |b Mazen Samir |f 19..-.... |4 727 |4 555 | |
| 701 | 1 | |3 PPN133708802 |a Talhouk |b Raafat |4 727 |4 555 | |
| 701 | 1 | |3 PPN060167742 |a Bendahmane |b Mostafa |f 1971-.... |4 727 |4 555 | |
| 701 | 1 | |3 PPN074244434 |a Choquet |b Catherine |f 1976-.... |4 956 |4 958 |4 555 | |
| 701 | 1 | |3 PPN234045841 |a Bourgault |b Yves |4 958 |4 555 | |
| 701 | 1 | |3 PPN083773045 |a Colin |b Mathieu |f 1974-.... |4 555 | |
| 701 | 1 | |3 PPN143330543 |a Israwi |b Samer |f 1983-... |4 555 | |
| 701 | 1 | |3 PPN086039350 |a Jauberteau |b François |f 1959-.... |4 555 | |
| 711 | 0 | 2 | |3 PPN03063525X |a Centrale Nantes |c 1991-.... |4 295 |
| 711 | 0 | 2 | |3 PPN08401430X |a Université Libanaise |4 995 |
| 711 | 0 | 2 | |3 PPN204770424 |a École doctorale Mathématiques et sciences et technologies de l'information et de la communication |c Rennes |4 996 |
| 711 | 0 | 2 | |3 PPN087220865 |a Laboratoire de Mathématiques Jean Leray |c Nantes |4 981 |
| 801 | 3 | |a FR |b Abes |c 20230404 |g AFNOR | |
| 856 | 4 | |q PDF |s 5628225 |u http://www.theses.fr/2019ECDN0039/document |z Accès au texte intégral | |
| 856 | 4 | |u http://www.theses.fr/2019ECDN0039/abes | |
| 856 | 4 | |u https://tel.archives-ouvertes.fr/tel-02439254 | |
| 930 | |5 441092306:784188335 |b 441092306 |j g | ||
| 991 | |5 441092306:784188335 |a exemplaire créé automatiquement par STAR | ||
| 998 | |a 864075 | ||