Ce travail présente quelques contributions à la modélisation<br />et à la simulation de genèse de bassins sédimentaires.<br />Nous présentons tout d'abord les modèles mathématiques et <br />les schémas numériques mis en oeuvre à l'Institut Français<br />du Pétrole dans le cadre du projet Temis. Cette première partie <br />est illustrée à l'aide de tests numériques portant sur des bassins 1D/2D.<br />Nous étudions ensuite le schéma amont des pétroliers utilisé pour la résolution des équations de Darcy et nous établissons des résultats mathématiques nouveaux<br />dans le cas d'un écoulement de type Dead-Oil.<br />Nous montrons également comment construire un schéma à nombre<br />de Péclet variable en présence de pression capillaire. <br />Là encore, nous effectuons une étude mathématique<br />détaillée et nous montrons la convergence du schéma<br />dans un cas simplifié. Des tests numériques réalisés<br />sur un problème modèle montrent que l'utilisation d'un nombre<br />de Péclet variable améliore la précision des calculs.<br />Enfin nous considérons dans une dernière partie <br />un modèle d'écoulement où les changements de lithologie et <br />les changements de courbes de pression capillaire sont liés.<br />Nous précisons la condition physique que doivent vérifier<br />les solutions en saturation aux interfaces de changement de roche et<br />nous en déduisons une formulation faible originale.<br />L'existence d'une solution à ce problème est obtenue<br />par convergence d'un schéma volumes finis.<br />Des exemples numériques montrent l'influence de la condition<br />d'interface sur le passage ou la retenue des hydrocarbures.

L'objet de cette thèse est l'étude de modèles mathématiques pour les phénomènes de couplage entre l'écoulement de fluides et la déformation mécanique du sol lors de l'extraction d'hydrocarbures en milieu poreux. Dans la partie théorique, on considère deux modèles de couplage, d'une part (1) entre les déformations du sol et un écoulement linéaire compressible, et d'autre part (2) entre les déformations du sol et un écoulement diphasique non linéaire. Pour le modèle (1), on prouve l'existence et l'unicité d'une solution faible par la méthode de Galerkin. Le modèle (2) est fortement couplé et comporte une équation parabolique dégénérée; pour démontrer l'existence de solution, on considère une suite de problèmes uniformément paraboliques associés et on démontre qu'ils admettent une solution classique l'aide du théorème de point fixe de Schauder. On s'appuie ensuite sur le théorème de Fréchet-Kolmogorov pour prouver la compacité relative des suites de solutions et établir la convergence d'une sous-suite vers une solution faible du problème initial. Dans une seconde partie, on aborde l'étude numérique. On compare deux algorithmes pour les modèles de couplage. Le premier, utilisé par les ingénieurs du pétrole, est basé sur une méthode de point fixe; le second, que nous proposons et qui est plus robuste que le premier, s'appuie sur la méthode du gradient conjugué préconditionné.

Nous nous intéressons à des résultats d'approximation et de régularité pour des solutions de viscosité d'équations elliptiques et paraboliques non-linéaires. Dans le chapitre 1, nous proposons, pour une classe générale d'équations elliptiques et paraboliques non-linéaires munies de conditions de Neumann inhomogènes, une interprétation de contrôle déterministe par des jeux répétés à deux personnes qui consiste à représenter la solution comme la limite de la suite des scores associés aux jeux. La condition de Neumann intervient par une pénalisation adaptée près de la frontière. En s'inspirant d'une approche abstraite proposée par Barles et Souganidis, nous prouvons la convergence en établissant des propriétés de monotonie, stabilité et consistance. Le chapitre 2 est consacré à des résultats de régularité sur les solutions d'équations paraboliques non-linéaires associés à un opérateur uniformément elliptique. Nous donnons une estimation de la mesure de Lebesgue de l'ensemble des points possédant un développement de Taylor quadratique global avec un contrôle sur la taille du terme cubique. Sous une hypothèse supplémentaire sur la régularité de la non-linéarité, nous en déduisons un résultat de régularité partielle höldérienne des solutions. Dans les chapitres 3 et 4, nous proposons une méthode générale pour obtenir des taux algébriques de convergence de solutions de schémas d'approximation vers la solution de viscosité sous l'hypothèse d'uniforme ellipticité de l'opérateur. Nous donnons un taux de convergence pour des schémas elliptiques obtenus par principe de programmation dynamique et nous prouvons un taux pour des schémas paraboliques par différences finies et implicites en temps. / In this thesis we study some approximation and regularity results for viscosity solutions of fully nonlinear elliptic and parabolic equations. In the first chapter, we consider a broad class of fully nonlinear elliptic and parabolic equations with inhomogeneous Neumann boundary conditions. We provide a deterministic control interpretation through two-person repeated games which represents the solution as the limit of the sequence of the scores associated to the games. The Neumann condition is modeled by a suitable penalization near the boundary. Inspiring by an abstract method of Barles and Souganidis, we prove the convergence of the score to the solution of the equation by establishing monotonicity, stability and consistency. The second chapter presents some regularity results about viscosity solutions of parabolic equations associated to a uniformly elliptic operator. First we obtain a Lebesgue measure estimate on the points having a quadratic Taylor expansion with a controlled cubic term. Under an additional assumption on the regularity of the nonlinearity, we deduce a partial regularity result about the Hölder regularity of these solutions. In the third and fourth chapters, we propose a general approach to determine algebraic rates of convergence of solutions of approximation schemes to the viscosity solution of fully nonlinear elliptic or parabolic equations under the assumption of uniform ellipticity of the operator. We first give the rate associated to the elliptic schemes derived by dynamic programming principles and proposed by Kohn and Serfaty. We then prove a rate of convergence for finite-difference schemes implicit in time associated to fully nonlinear parabolic equations.