Les travaux présentés dans cette thèse concernent des résultats d'homogénéisation et de correcteur pour des problèmes hyperboliques dans des milieux hétérogènes avec des conditions aux bords mixtes. Les problèmes de ce type modélisent la propagation des ondes dans des milieux hétérogènes. Dans le premier chapitre on rappelle une partie de l'ensemble des outils permettant l'étude asymptotique de problèmes posés dans un milieu hétérogène. Le second chapitre est consacré à l'étude de l'équation des ondes dans un domaine perforé de façon non périodique. Pour cela, on effectue une hypothèse de H^0-convergence sur la partie elliptique de l'opérateur. Cette notion introduite par M. Briane, A. Damlamian et P. Donato généralise la notion de H-convergence introduite quelques années auparavant par F. Murat et L. Tartar pour des domaines perforés. On démontre deux résultats principaux, un résultat d'homogénéisation et un second de correcteur qui permet d'améliorer la convergence de la solution du problème sous des hypothèses légèrement plus fortes. Pour cela on reprend le correcteur de G. Cardone, P. Donato et A. Gaudiello et on explicite quelques unes de ces propriétés. Dans le troisième chapitre, on considère une équation des ondes non-linéaire posée dans un domaine périodiquement perforé dont la non-linéarité porte sur la dérivée en temps de la solution. On suppose que la non-linéarité est majorée par une fonction polynomiale monotone dont l'exposant permet d'avoir une injection de Sobolev convenable. On étudie d'abord l'existence et l'unicité de la solution de ce problème à l'aide d'une méthode de Galerkin, puis on montre un résultat d'homogénéisation de ce problème. Dans le quatrième chapitre, on étudie le problème de l'équation des ondes dans un domaine non perforé. Dans un premier temps, on retrouve le résultat classique d'homogénéisation en utilisant la méthode de l'éclatement périodique introduite par D. Cioranescu, A. Damlamian et G. Griso. Ensuite, sous des hypothèses un peu plus fortes des données initiales on montre un résultat de correcteur faisant intervenir l'opérateur de moyennisation qui est l'adjoint de l'opérateur d'éclatement.

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é. / 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.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Cette thèse est consacrée à l'analyse mathématique, à la modélisation et au calcul scientifique des problèmes d'interface dans des milieux fluides de faible épaisseur. Les problèmes d'interface liquide-gaz de type cavitation apparaissent dans la plupart des mécanismes lubrifiés et leur modélisation a toujours été un sujet très discuté en tribologie. Celle-ci a initialement utilisé (et utilise encore) des inéquations variationelles mais l'inadéquation de ce modèle qui est non conservatif a conduit à introduire de manière heuristique une modélisation basée sur un système hyperbolique-elliptique. Cependant, dans le cadre de cette nouvelle modélisation, des problèmes ouverts apparaissent, dès lors que l'on s'intéresse à des conditions de fonctionnement plus réalistes. Parmi ceux-ci, on peut citer :<br />1/ la possibilité d'utiliser ce modèle en présence de rugosités. Il s'agit, du point de vue mathématique, de l'homogénéisation d'une équation en pression-saturation, <br />2/ la prise en compte de la déformation élastique de surfaces solides due à la pression hydrodynamique du fluide adjacent. Pour cela, il est habituel en élastohydrodynamique (E.H.D.) de modifier les coefficients de l'équation de l'écoulement par l'introduction d'un terme intégral (déformation du type Hertz). La modélisation de la cavitation intervient dans la partie hydrodynamique et, par suite, sur l'ensemble du couplage.<br />3/ la possibilité de justifier ou non ce modèle à partir d'une description bifluide rigoureuse de l'écoulement et d'en déduire ainsi une procédure de calcul du frottement associé à l'écoulement mince.<br /><br />Nous étudions ces différents aspects qui permettent de justifier la pertinence du modèle de cavitation considéré.