On considère l'équation de convection-diffusion-réaction instationnaire. On s'intéresse à la dérivation d'estimations d'erreur a posteriori pour la discrétisation de cette équation par la méthode des volumes finis centrés par mailles en espace et un schéma d'Euler implicite en temps. Les estimations, qui sont établies dans la norme d'énergie, bornent l'erreur entre la solution exacte et une solution post-traitée à l'aide de reconstructions H(div, Ω)-conformes du flux diffusif et du flux convectif, et d'une reconstruction H_0^1(Ω)-conforme du potentiel. On propose un algorithme adaptatif qui permet d'atteindre une précision relative fixée par l'utilisateur en raffinant les maillages adaptativement et en équilibrant les contributions en espace et en temps de l'erreur. On présente également des essais numériques. Enfin, on dérive une estimation d'erreur a posteriori dans la norme d'énergie augmentée d'une norme duale de la dérivée en temps et de la partie antisymétrique de l'opérateur différentiel. Cette nouvelle estimation est robuste dans des régimes dominés par la convection et des bornes inférieures locales en temps et globales en espace sont également obtenues.

On considère l'équation de convection--diffusion--réaction instationnaire. On s'intéresse à la dérivation d'estimations d'erreur a posteriori pour la discrétisation de cette équation par la méthode des volumes finis centrés par mailles en espace et un schéma d'Euler implicite en temps. Les estimations, qui sont établies dans la norme d'énergie, bornent l'erreur entre la solution exacte et une solution post-traitée à l'aide de reconstructions $Hdiv$-conformes du flux diffusif et du flux convectif, et d'une reconstruction $H^1_0(Omega)$-conforme du potentiel. On propose un algorithme adaptatif qui permet d'atteindre une précision relative fixée par l'utilisateur en raffinant les maillages adaptativement et en équilibrant les contributions en espace et en temps de l'erreur. On présente également des essais numériques. Enfin, on dérive une estimation d'erreur a posteriori dans la norme d'énergie augmentée d'une norme duale de la dérivée en temps et de la partie antisymétrique de l'opérateur différentiel. Cette nouvelle estimation est robuste dans des régimes dominés par la convection et des bornes inférieures locales en temps et globales en espace sont également obtenues / We consider the time-dependent convection--diffusion--reaction equation. We derive a posteriori error estimates for the discretization of this equation by the cell-centered finite volume scheme in space and a backward Euler scheme in time. The estimates are established in the energy norm and they bound the error between the exact solution and a locally post processed approximate solution, based on $Hdiv$-conforming diffusive and convective flux reconstructions, as well as an $H^1_0(Omega)$-conforming potential reconstruction. We propose an adaptive algorithm which ensures the control of the total error with respect to a user-defined relative precision by refining the meshes adaptively while equilibrating the time and space contributions to the error. We also present numerical experiments. Finally, we derive another a posteriori error estimate in the energy norm augmented by a dual norm of the time derivative and the skew symmetric part of the differential operator. The new estimate is robust in convective-dominated regimes and local-in-time and global-in-space lower bounds are also derived

Dans cette thèse, nous nous intéressons à des méthodes numériques pour un modèle d'écoulements incompressibles et miscibles ayant des application 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ée 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 P1 pour le terme de diffusion. Nous montrons des résultats de stabilité L≂ 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é L≂, 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. Enfin, le processus de convergence de la solution approchée du schéma combiné EFM-VF vers la solution exacte est obtenu par passage à la limite et par unicité de solution pour le problème continu. 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/).

Dans cette thèse nous nous intéressons à l'analyse d'erreur a priori et a posteriori de méthodes d'éléments finis mixtes et non-conformes. Nous considérons en particulier les équations de Darcy à perméabilité fortement variable et les équations de convection-diffusion-réaction en régime de convection dominante. Nous discrétisons les équations de Darcy par une méthode d'éléments finis mixtes non-conformes de type Petrov-Galerkin appelée schéma boîte. Les techniques d'estimations d'erreur a posteriori par résidu et hiérarchique conduisent à des estimateurs d'erreur a posteriori fiables et optimaux indépendamment des fluctuations de la perméabilité. Les résultats théoriques sont validés numériquement sur différents cas tests présentant de forts contrastes de perméabilité. Enfin, nous montrons comment les indicateurs d'erreur obtenus permettent de générer des maillages adaptatifs. Nous discrétisons les équations de convection-diffusion-réaction par des éléments finis nonconformes. Deux méthodes de stabilisation sont étudiées: la stabilisation par viscosité de sous-maille, conduisant à un schéma boîte et la méthode de pénalisation sur les faces. Nous montrons que les deux schémas ainsi obtenus ont les mêmes propriétés de convergence que les approximations par éléments finis conformes. Grâce aux techniques d'estimations d'erreur par résidu nous obtenons des estimateurs d'erreur a posteriori fiables et optimaux. Certains des indicateurs d'erreur sont robustes au sens de Verfürth, c'est à dire que le rapport des constantes intervenant dans les inégalités de fiabilité et d'optimalité explose en au plus l'inverse du nombre de Péclet. Les résultats théoriques sont validés numériquement et les indicateurs d'erreur a posteriori obtenus permettent de générer des maillages adaptatifs sur des problèmes présentant des couches intérieures.

Ce mémoire est un exposé synthétique d'une partie des travaux que j'ai accomplis après la fin de ma thèse. Au cours des dernières années, j'ai été amené à m'intéresser à la discrétisation de problèmes provenant de différentes applications en mécanique des fluides. L'élément commun à tous ces problèmes est la présence de termes diffusifs du second ordre. Pour des raisons différentes, j'ai considéré des discrétisations non conformes, c'est-à-dire, basées sur des espaces discrets non contenus dans l'espace continu naturellement associé à la formulation faible du problème. Plus précisément, dans les travaux présentés dans ce mémoire on retrouve essentiellement deux grandes familles de méthodes : les méthodes dites de Galerkine discontinues et les méthodes volumes finis. Ce document s'organise comme suit. Les Chapitres 1–3 fournissent les renseignements administratifs relatifs au dossier de demande d'habilitation, dont un <EM>curriculum vitæ</EM>, une description succincte de l'ensemble de mes travaux et la liste complète des publications. Les Chapitres 4–5 relatent les efforts entrepris au sujet de la discrétisation de problèmes avec diffusion par des méthodes non conformes. Plus précisément, le Chapitre 4 est consacré aux méthodes de Galerkine discontinues, tandis que le Chapitre 5 traite des méthodes volumes finis. Même si l'accent est généralement mis sur les motivations des travaux et sur le développement de la ligne de pensée, des détails sont fournis quand cela s'avère nécessaire pour apporter un complément d'information par rapport aux publications, ou bien pour indiquer des pistes de recherche futures. Le rapport contient aussi une annexe contenant les résumés des thèses actuellement en cours. Dans la dernière partie de ce mémoire on peut trouver le texte intégral des publications. Pour faciliter la lecture, mes publications sont citées dans le texte avec un numéro progressif, tandis que les articles de la bibliographie générale sont cités avec les initiales des auteurs.