Nous étudions dans ce mémoire les méthodes de parallélisation en espace-temps pour résoudre des équations différentielles partielles (EDPs). En particulier, nous nous concentrons sur la méthode de Schwarz relaxation d'onde, l'algorithme Pararéel, et leur couplage, l'algorithme Pararéel Schwarz relaxation d'onde (PSWR). Nous nous intéressons à la résolution de l'équation de la chaleur. Nous introduisons ces méthodes, ainsi que d'autres méthodes de parallélisation en espace-temps. Puis nous présentons les méthodes mutligrilles et l'algorithme Multigrid reduction in time MGRIT en mettant en avant leur lien avec l'algorithme Pararéel. Nous proposons une implémentation de PSWR. Nous faisons plusieurs expériences numériques avec cette implémentation pour résoudre l'équation de la chaleur en 1D en parallèle. Nous expérimentons également en couplant la méthode MGRIT avec Schwarz relaxation d'onde. Enfin, nous proposons une nouvelle analyse de convergence pour PSWR et présentons des résultats d'expérience. Nous revenons également sur un autre résultat de convergence super-linéaire déjà existant. Nous discutons ensuite des différences entre notre résultat et ce dernier. / In this thesis, we study space-time parallelization methods for solving partial differential equations. Specifically, we focus on the Schwarz waveform relaxation method, the Parareal algorithm, and their coupling, the Pararel Schwarz waveform relaxation algorithm (PSWR). We are interested in solving the heat equation. We introduce these methods, along with other space-time parallelization methods. Then, we present multigrid methods and the MGRIT algorithm, highlighting their connection to the Parareal algorithm. We propose an implementation of PSWR. We conduct several numerical experiments with this implementation to solve the 1D heat equation in parallel. We also experiment with coupling the MGRIT method with Schwarz waveform relaxation. Finally, we propose a new convergence analysis for PSWR and present experimental results. We also talk about another existing super-linear convergence result and discuss the differences between our result and the latter.

L'adaptation de maillage peut être très utile dans l'application de la méthode des éléments finis à certains problèmes physico-mathématiques. L'adaptation est une procédure qui nécessite, entre autres, des algorithmes efficaces de calcul des dérivées de fonctions de type Pk ou Qk- Des méthodes d'estimation des dérivées ont donc été élaborées pour résoudre ce problème. Ce travail consiste à expliquer au lecteur ce qu'est exactement la récupération des dérivées et à dresser une liste des méthodes classiques qui sont utilisées de nos jours. Nous développons aussi une nouvelle méthode de récupération pour les fonctions de type Pi qui est, à plusieurs égards, beaucoup plus performante que les méthodes classiques. Un aspect intéressant de cette nouvelle méthode est qu'elle est globale et qu'elle n'a ainsi pas besoin de traitement spécial sur le bord des maillages.

La thèse est consacrée essentiellement à l'étude de systèmes non linéaires d'évolution issus d'un modèle de Boussinesq : couplage entre les équations de Navier-stokes avec un second membre F(µ), où F est une force de gravité proportionnelle à des variations de densité qui dépendent de la température et l'équation de l'énergie.<br />Le premier chapitre nous donne un résultat d'existence d'une solution faible-renormalisée du système de Boussinesq en dimension 2, dans le cas où F est bornée.<br />Dans le chapitre 2, on aborde le cas de fonctions F plus générales : F vérifie une hypothèse de croissance. On démontre l'existence de solutions pour toutes données initiales ou pour des données initiales petites selon la croissance de F.<br />Dans le chapitre 3, nous faisons une généralisation des résultats du chapitre 2 mais sans le terme de convection.<br />Dans le chapitre 4, le manque de stabilité de l'énergie de dissipation dans L1(Q) en dimension 3, nous contraint à transformer de façon formelle le système de Boussinesq. On démontre l'existence d'une solution faible de ce nouveau système en dimension 3.

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

Dans cette thèse, on considère des problèmes issus de l'analyse d'EDP stochastiques paraboliques non-dégénérées et dégénérées, de lois de conservation hyperboliques stochastiques, et d'EDS avec coefficients continus. Dans une première partie, on s'intéresse à des EDPS paraboliques dégénérées- on adapte les notions de formulation et de solutions cinétiques, puis on établit l'existence, l'unicité ainsi que la dépendance continu en la condition initiale. Comme résultat préliminaire, on obtient la régularité des solutions dans le cas non-dégénéré, sous l'hypothèse que les coefficients sont suffisamment réguliers et ont des dérivées bornées. Dans une deuxième partie, on considère des lois de conservation hyperboliques avec un forçage stochastique, et on étudie leur approximation au sens de Bhatnagar-Gross-Krook. En particulier, on décrit les lois de conservation comme limites hydrodynamiques du modèle BGK stochastique lorsque le paramètre d'échelle microscopique tend vers 0. Dans une troisième partie, on donne une preuve nouvelle et élémentaire du théorème classique de Skorokhod, concernant l'existence de solutions faibles d'EDS à coefficients continus, sous une condition de type Lyapunov appropriée. / In this thesis, we address several problems arising in the study of nondegenerate and degenerate parabolic SPDEs, stochastic hyperbolic conservation laws and SDEs with continues coefficients. In the first part, we are interested in degenerate parabolic SPDEs, adapt the notion of kinetic formulation and kinetic solution and establish existence, uniqueness as well as continuous dependence on initial data. As a preliminary result we obtain regularity of solutions in the nondegenerate case under the hypothesis that all the coefficients are sufficiently smooth and have bounded derivatives. In the second part, we consider hyperbolic conservation laws with stochastic forcing and study their approximations in the sense of Bhatnagar-Gross-Krook. In particular, we describe the conservation laws as a hydrodynamic limit of the stochastic BGK model as the microscopic scale vanishes. In the last part, we provide a new and fairly elementary proof of Skorkhod's classical theorem on existence of weak solutions to SDEs with continuous coefficients satisfying a suitable Lyapunov condition.

Ce travail est consacré à l'étude du comportement en temps grand d'équations aux dérivées partielles de type parabolique. Plus particulièrement, on s'intéresse à des équations non linéaires de type diffusion, qui interviennent dans de nombreux modèles issus de la physique (par exemple l'équation des milieux poreux) ou de la biologie (par exemple le modèle de Patlak-Keller-Segel pour la chimiotaxie). Dans les chapitres I et II on s'intéresse à une amélioration de l'inégalité de Sobolev à travers son inégalité duale, l'inégalité de Hardy-Littlewood-Sobolev, dans le cadre du laplacien ordinaire et du laplacien fractionnaire, respectivement. Le chapitre III est un passage en revue de l'inégalité d'Onofri, qui joue le rôle de l'inégalité de Sobolev pour la dimension deux. De nouveaux résultats sont apportés, dont certains sont étendus aux variétés riemanniennes au chapitre IV. Enfin, le chapitre V traite des états stationnaires de deux modèles paraboliques, utilisés pour l'étude du déplacement de foules et la modélisation en biologie (chimiotaxie). / This work is dedicated to the study of the large time behaviour of some parabolic type partial differential equations. More specifically, we look into non linear diffusion equations that appear in a number of models arising in physics (e.g. the porous medium equation) or biology (e.g. the Patlak-Keller-Segel model for chemotaxis)Chapters I and II deal with an improved Sobolev inequality by means of its dual, the Hardy-Littlewood-Sobolev inequality, in the framework of the standard and fractional Laplacian, respectively. Chapter III is a review of the Onofri inequality,which acts as the Sobolev inequality for dimension two. New results are provided, and some of them are extended to Riemannian manifolds in Chapter IV. Finally, Chapter V deals with the stationary states of two parabolic models, used for thestudy of crowd motion and modeling in biologie (chemotaxis).

Avant d'estimer les paramètres intervenant dans des systèmes dynamiques, linéaires ou non-linéaires, contrôlés ou non contrôlés, il est important d'effectuer une étude d'identifiabilité, c'est à dire si, à partir des données expérimentales, les paramètres étudiés sont uniques ou non. Plusieurs méthodes ont été développées ces dernières années, en particulier une qui est basée sur l'algèbre différentielle. Celle-ci a conduit à un algorithme utilisant le package Diffalg implémenté sous Maple et permettant de tester l'identifiabilité de systèmes d'équations différentielles. Les résultats obtenus à partir de cette étude permettent de mettre en place des méthodes numériques pour obtenir une première estimation des paramètres, ceci sans aucune connaissance à priori de leur valeur. Cette première estimation peut alors être utilisée comme point de départ d'algorithmes itératifs spécialisés dans l'étude des problèmes mal posés : la régularisation de Tikhonov. <br />Dans cette thèse, deux modèles non linéaires en pharmacocinétique de type Michaelis-Menten ont tout d'abord été étudiés. Ensuite, nous nous sommes intéressés à un modèle de pollution décrit par une équation aux dérivées partielles parabolique. Le terme source à identifier était modélisé par le produit de la fonction débit avec la masse de Dirac, de support la position de la source polluante. Le but du travail était de fournir une première estimation de la source polluante. Après avoir obtenu l'identifiabilité du problème continu, nous avons étudié l'identifiabilité d'un problème approché en nous appuyant sur les méthodes d'algèbre différentielle. Celui-ci a été obtenu en approchant la masse de Dirac par une fonction gaussienne et en discrétisant ensuite le système en espace. Les résultats d'identifiabilité ont été obtenus quel que soit le nombre de points de discrétisation en espace. De cette étude théorique, nous en avons déduit des algorithmes numériques donnant une première estimation des paramètres à identifier.

Ces travaux sont dédiés au développement de méthodes numériques à base d'ondelettes pour la résolution d'équations aux dérivées partielles et pour le traitement d'images. La première partie est consacrée à la construction d'une nouvelle méthode couplant ondelettes et domaines fictifs pour la résolution d'équations paraboliques 2D définies sur un domaine quelconque. Une analyse complète de la méthode est fournie; elle montre l'efficacité de cette approche en terme de qualité des résultats (borne d'erreur, raffinement local), d'efficacité numérique (conditonnement, préconditionnement simple) et de flexibilité de l'implémentation (implémentation rapide et efficace). Deux applications numériques à la résolution de l'équation de la chaleur définie sur des domaines non polygonaux ou à frontière mobile (problème de Stefan) sont présentées. La seconde partie est consacrée à la construction d'un nouvel algorithme de compression d'images adapté aux contours. On commence par introduire des analyses multi-échelles 1D du type Harten, dépendant d'une famille de points. Ces analyses conduisent à des décompositions multi-échelles efficaces pour la représentation de signaux discontinus. Cette approche est ensuite généralisée au cas bi-dimensionnel et un algorithme de compression multi-directionnel dépendant des contours de l'image est introduit. Il utilise une carte des contours obtenue préalablement. Plusieurs comparaisons avec d'autres approches sont ensuite présentées.

La description des mécanismes de conduction dans les dispositifs semi-conducteurs par le modèle dérive-diffusion (DD) mène à un système de trois équations aux dérivées partielles non linéaires fortement couplées. Cette thèse est composée de trois parties. La première est consacrée à la mise en équations et à la présentation des régimes de fonctionnement ainsi que la simplification du modèle dans le cas d'une jonction pn. La deuxième partie consiste à identifier la zone de dépletion dans une jonction PN. En formulant le problème en un problème d'inéquations variationnelles, nous démontrons que le problème admet une solution. L'originalité numérique de cette partie est l'utilisation des noeuds sur la frontière libre comme inconnus. Nous proposons deux algorithmes de résolution que nous testons en utilisant la méthode des éléments finis et la méthode des équations intégrales. Dans la troisième partie, nous nous intéressons à l'étude mathématique du modèle DD à l'état stationnaire dans les semi-conducteurs écrit avec les variables de Slotboom. Nous démontrons l'existence d'une solution, dans le cas où les lois de mobilités dépendent du champ électrique, en appliquant les techniques de l'analyse convexe. Ensuite, nous considérons que le terme d'avalanche est non nul, nous donnons des estimations a priori et nous prouvons un théorème d'existence. Afin d'étudier l'unicité de solutions de notre modèle, nous exposons tout d'abord une condition pour que le système possède au plus une solution. Nous en déduisons des résultats d'unicité dans des cas spécifiques tels que le domaine soit suffisamment petit ou la permittivité soit assez grande. Nous donnons un théorème d'unicité locale dans les cas où le terme d'avalanche est non nul et les changements de conditions aux limites se font à angles droits.

Nous présentons un modèle de division de cellules sanguines basé sur la présence d'un facteur appelé maturation et le partage du cycle en une phase de prolifération et une phase de repos. Il est représenté par un système S de deux équations de transport structuré en âge et maturité. En intégrant par rapport à l'âge, S devient un système d'équations aux dérivées partielles à retards structuré en maturité. Dans le chapitre 1, nous introduisons le contexte biologique, et nous présentons notre modèle. Dans le chapitre 2, nous étudions le modèle quand la phase de prolifération est fixe et la division est égale. Nous montrons l'existence et l'unicité puis un résultat liant les solutions aux cellules souches ainsi qu'un résultat d'invariance, de comportement asymptotique et d'instabilité. Dans le chapitre 3, nous supposons que la phase de prolifération varie suivant la maturité des cellules. Nous prouvons des résultats analogues au chapitre 2. Dans le chapitre 4, la phase de prolifération est fixe mais nous supposons la division inégale. En utilisant la théorie des opérateurs de Markov, nous prouvons un résultat de stabilité globale.