Les réservoirs pétroliers sont constitués de roches fortement hétérogènes. Les modèles géologiques ainsi générés utilisent un nombre très important d'éléments ou mailles. Pour des raisons de coût de calcul, la simulation numérique des écoulements dans les réservoirs nécessite de travailler sur un nombre de mailles plus réduits. La méthode classique consiste à déterminer le maillage réservoir en mettant à l'échelle les paramètres pétrophysiques. Cette démarche a l'inconvénient de ne pas tenir compte de l'évolution au cours du temps des variables du problème. Pour pallier ce défaut, on propose d'avoir recours à une homogénéisation pendant la résolution du problème. La méthode de double maillage consiste à résoudre, pour un système couple pression-saturation, chacune des équations du système avec une discrétisation en temps et en espace spécifique. L'appliquer à un problème diphasique revient à résoudre l'équation en pression (parabolique) sur un maillage plus grossier que l'équation en saturation (hyperbolique). Par rapport a un schéma Impes classique, il faut : 1) assurer le passage des résultats de la résolution implicite de l'équation en pression pour faire évoluer la saturation sur le maillage fin ; 2) une fois la saturation mise à jour, éventuellement après plusieurs pas de temps locaux, on calcule les paramètres homogénéisés nécessaires pour la prochaine étape du calcul en pression en tenant compte de la distribution au cours du temps des saturations. Le travail de ces trois ans a permis in fine de montrer la validité de la méthode de double maillage non seulement de manière numérique mais aussi théorique. En effet, la méthode a été validée numériquement sur des écoulements diphasiques incompressibles en milieux hétérogènes que les rapports de mobilités soient favorables ou non. De plus, une démonstration de convergence a assuré la validité théorique de la méthode pour un cas simplifié homogène (système elliptique/hyperbolique).

Dans cette thèse, nous nous intéressons à des méthodes numériques pour un modèle d'écoulements incompressibles et miscibles ayant des applications dans l'hydrogéologie et l'ingénierie pétrolière. Nous étudions et analysons un schéma numérique combinant une méthode d'éléments finis mixtes (EFM) et une méthode des volumes finis (VF) pour approcher le système couplé entre une équation elliptique (pression-vitesse) et une équation de convection-diffusion-réaction (concentration). Le schéma VF considéré est de type "vertex centred" semi-implicite en temps : explicite pour la convection et implicite pour la diffusion. On utilise un schéma de Godunov pour approcher le terme convectif et une approximation élément fini P pour le terme de diffusion. Nous montrons des résultats de stabilité La, des estimations BV et le principe du maximum discret sous une condition CFL appropriée. Ensuite, nous montrons la convergence de la solution approchée obtenue par le schéma combiné EFM-VF vers la solution du probléme couplé. La démonstration de la convergence se fait en plusieurs étapes : premièrement, on déduit la convergence forte de la solution approchée de la concentration dans L2(Q) , en utilisant la stabilité La, les estimations BV et des arguments de compacité. Dans l'étape suivante, on étudie le schéma découplé EFM, en donnant des résultats de convergence pour la pression et la vitesse... Des simulations numériques académiques et réalistes pour des problèmes bidimensionnels confirment la stabilité et l'efficacité du schéma combiné. Enfin, nous étudions des estimateurs d'erreur a posteriori de type résiduel pour une équation de convection-diffusion-réaction discrétisée par un schéma VF "vertex centred" semi-implicite en temps. Nous introduisons deux sortes d'indicateurs. Le premier est local en temps et en espace et constitue un outil efficace pour l'adaptation du maillage à chaque pas de temps. Le second est global en espace mais local en temps et peut être utilisé pour l'adaptation en temps. Nous montrons que l'estimateur est une borne supérieure de l'erreur. Des résultats numériques d'adaptations de maillage sont présentés et montrent l'efficacité de la méthode. La partie logiciels de ce travail porte sur deux volets. Le premier a permis de réaliser un code de calcul 2D, MFlow, écrit en C++, pour la résolution du système des écoulements miscibles considérés dans cette thèse. Le second volet concerne la collaboration avec un groupe de chercheurs pour l'élaboration de la plate-forme Homogenizer++ réalisée dans le cadre du GDR MoMaS (http://momas.univ-lyon1.fr/).

L'objectif de cette thèse est de modéliser et de développer des outils numériques adaptés à l'étude de l'écoulement des eaux souterraines ainsi que la propagation des polluants en milieux poreux. La motivation de ce travail est un benchmark du GDR Momas et de l'Andra pour la simulation de la propagations 3-D des radionucléides autour d'un stockage profond de déchets nucléaires. Premièrement on a construit une nouvelle méthode d'éléments finis mixtes sur un maillage formé d'hexaèdres généraux. La convergence de la méthode est prouvée et confirmée par des tests numériques. Deuxièment, nous présentons une méthode de discrétisation en temps pour une équation d'advection telle que des pas de temps différents sont utilisés dans différents sous-domaines afin de prendre en compte les hétérogèneités. Enfin une méthode numérique pour le calcul de transport de contaminants est proposée. Les techniques précédentes sont implémentées en 3-D et des résultats numériques sont présentés sur le benchmark 3-D champ lointain du GDR Momas et de l'Andra.

On cherche à améliorer l'efficacité de la résolution numérique de l'équation de Richards, qui est une équation parabolique non linéaire utilisée dans la modélisation d'écoulements souterrains. Dans une première partie, on propose une discrétisation DDFV, valable sur maillages généraux, couplée au schéma BDF2 pour la discrétisation du terme instationnaire. Des tests numériques confirment l'ordre élevé de la méthode, ainsi que sa stabilité dans différentes configurations. La deuxième partie s'articule autour des estimations a posteriori par la méthode des flux équilibrés. On obtient une borne supérieure garantie de l'erreur en norme duale, qui fait intervenir des estimateurs intégrés en espace et en temps. Cette borne repose sur une relation d'équilibrage de flux, qui nécessite en pratique de reconstruire des approximations pertinentes des flux continus à partir de la solution approchée. De telles reconstructions adaptées à la discrétisation DDFV-BDF2 sont présentées. Elles incluent un terme de correction spécifique au schéma DDFV, et une réécriture de la formule BDF2 à pas variable sous la forme d'un schéma à un pas. Enfin, on applique numériquement l'estimation précédente en proposant, à maillage fixé, un algorithme d'adaptation du critère d'arrêt des linéarisations et du pas de temps qui vise à équilibrer les différentes sources d'erreur. On analyse l'influence des paramètres de l'algorithme, et on observe le gain en termes de nombre d'itérations de linéarisation et de temps CPU par rapport à une simulation classique.

Cette thèse est une étude de systèmes d'équations aux dérivées partielles issues d'un modèle d'écoulement des fluides étudié en ingénierie pétrolière. Au départ, un système fortement couplé de trois équations non linéaires, de type parabolique, exprime les relations entre la pression et les saturations en eau et en huile. Le premier chapitre traite de la semi-discrétisation en temps du système par la méthode d'Euler rétrograde. On démontre l'existence d'une solution au système obtenu (méthode de point fixe), mais pas l'unicité, et on prouve que les saturations approchées sont positives et inférieures à un. Le deuxième chapitre étudie l'approximation, par une méthode d'éléments finis, du problème semi-discrétisé et on montre l'existence d'une solution, sans résultat de signe pour les saturations. Les deux chapitres suivants reprennent ce schéma pour un problème simplifié, à deux inconnues (saturation en huile et pression) en utilisant une formulation variationnelle mixte et une méthode d'éléments finis mixte. Au dernier chapitre on étudie une méthode hybride d'éléments finis ou l'une des inconnues approche les valeurs de la saturation sur les cotes de la triangulation. Une modification des espaces permet de montrer que la matrice du système relatif à cette inconnue est une m-matrice. En annexe on étudie une méthode d'éléments finis mixte pour une équation elliptique sur un domaine ayant une frontière courbe et on utilise des éléments courbes pour conserver l'ordre naturel d'approximation lorsque la frontière est suffisamment régulière.

This thesis bears on the modelling of groundwater flow and transport in porous media; we perform numerical simulations by means of finite volume methods and prove convergence results. In Chapter 1, we first apply a semi-implicit standard finite volume method and then the generalized finite volume method SUSHI for the numerical simulation of density driven flows in porous media; we solve a nonlinear convection-diffusion parabolic equation for the concentration coupled with an elliptic equation for the pressure. We apply the standard finite volume method to compute the solutions of a problem involving a rotating interface between salt and fresh water and of Henry's problem. We then apply the SUSHI scheme to the same problems as well as to a three dimensional saltpool problem. We use adaptive meshes, based upon square volume elements in space dimension two and cubic volume elements in space dimension three. In Chapter 2, we apply the generalized finite volume method SUSHI to the discretization of Richards equation, an elliptic-parabolic equation modeling groundwater flow, where the diffusion term can be anisotropic and heterogeneous. This class of locally conservative methods can be applied to a wide range of unstructured possibly non-matching polyhedral meshes in arbitrary space dimension. As is needed for Richards equation, the time discretization is fully implicit. We obtain a convergence result based upon a priori estimates and the application of the Fréchet-Kolmogorov compactness theorem. We implement the scheme and present numerical tests. In Chapter 3, we study a gradient scheme for the Signorini problem. Gradient schemes are nonconforming methods written in discrete variational formulation which are based on independent approximations of the functions and the gradients. We prove the existence and uniqueness of the discrete solution as well as its convergence to the weak solution of the Signorini problem. Finally we introduce a numerical scheme based upon the SUSHI discretization and present numerical results. In Chapter 4, we apply a semi-implicit scheme in time together with a generalized finite volume method for the numerical solution of density driven flows in porous media; it comes to solve nonlinear convection-diffusion parabolic equations for the solute and temperature transport as well as for the pressure. We compute the solutions for a specific problem which describes the advance of a warm fresh water front coupled to heat transfer in a confined aquifer which is initially charged with cold salt water. We use adaptive meshes, based upon square volume elements in space dimension two.