The miscible displacement equations provide the mathematical model for simulating the displacement of a mixture of oil and miscible fluid in underground reservoirs during the Enhance Oil Recovery(EOR) process. In this thesis, I propose a stable numerical scheme combining a mixed finite element method and space-time discontinuous Galerkin method for solving miscible displacement equations under low regularity assumption. Convergence of the discrete solution is investigated using a compactness theorem for functions that are discontinuous in space and time. Numerical experiments illustrate that the rate of convergence is improved by using a high order time stepping method. For petroleum engineers, it is essential to compute finely detailed fluid profiles in order to design efficient recovery procedure thereby increase production in the EOR process. The method I propose takes advantage of both high order time approximation and discontinuous Galerkin method in space and is capable of providing accurate numerical solutions to assist in increasing the production rate of the miscible displacement oil recovery process.

Dans cette thèse nous étudions le problème de Cauchy en relativité générale. Motivés par la conjecture de censure cosmique faible formulée par Penrose, nous analysons le problème aux données initiales pour les équations d'Einstein dans le vide en faible régularité. Nous démontrons les deux résultats suivants. o Premièrement, nous nous intéressons aux équations de contrainte pour les données initiales et mettons en place une procédure de prolongement. Plus précisément, étant donné des données initiales pour les équations d'Einstein sur la boule unité dans R3, nous les prolongeons de manière continue en des données globales, asymptotiquement plates sur R3. Les équations de contrainte forment un système couplé d'équations non-lineaires sous-determinées géométriques. La preuve de notre procédure de prolongement repose sur un schéma iteratif où nous séparons ce système en deux problèmes de prolongement decouplés et solubles. Enfin, le résultat de prolongement pour les équations de contrainte est obtenu par un argument de point fixe. o Deuxièment, nous prouvons une version localisée du théorème de courbure L2 de Klainerman-Rodnianski-Szeftel. Nous montrons que, étant données des données initiales pour les équations d'Einstein sur une variété compacte avec bord, le temps d'existence de la solution des équations d'Einstein dans le domaine de dépendance de ces données initiales ne dépend que de normes de basse régularité des données initiales. En particulier, notre résultat est un critère localisé de continuité pour les équations d'Einstein. Notre preuve utilise un argument de localisation où, tout d'abord, nous généralisons la théorie de Cheeger-Gromov de convergence pour les variétés Riemanniennes à notre cas de régularité faible, et ensuite nous appliquons la procédure de prolongement pour les équations de contrainte mentionnée ci-dessus avec un argument de changement d’échelle. / In this thesis we study the Cauchy problem of general relativity. Motivated by the weak cosmic censorship conjecture formulated by Penrose, we analyse the initial value problem for the Einstein vacuum equations in low regularity. We prove the following two results. First, we consider the constraint equations of the initial data and demonstrate an extension procedure. More precisely, given small initial data for the Einstein equations on the unit ball in R3, we continuosly extend it to global, asymptotically flat initial data on R3. The constraint equations for the Einstein vacuum equations are a coupled system of non-linear under-determined geometric elliptic equations. The proof of our extension procedure is based on an iterative scheme where we split this system into two decoupled, solvable extension problems. The extension result for the constraint equations follows then by a fix point argument. Second, we prove a localised version of the bounded L2-curvature theorem by Klainerman-Rodnianski-Szeftel. We show that given low regularity initial data to the Einstein equations on a compact manifold with boundary, the time of existence of the solution to the Einstein equations in the domain of dependence of the initial data depends only on low regularity geometric data. In particular, this result is a localised continuation criterion for the Einstein vacuum equations. Our proof uses a localisation argument where we first generalise the known Cheeger-Gromov convergence theory for Riemannian manifolds to our low regularity setting, and then apply the above extension procedure for the constraint equations with a scaling argument.