La simulation de fluide fait l???objet de recherches actives en infographie. Largement utilis??e dans le domaine des jeux vid??os ou de l???animation, elle permet de simuler le comportement des liquides, des gaz et autres ph??nom??nes pouvant ??tre apparent??s ?? un fluide. Pour cela, la simulation de fluide dispose d???outils de calcul num??riques adapt??s, permettant de produire des animations visuellement r??alistes pour un temps de calcul raisonnable. Ce m??moire d??crit les deux principales approches utilis??es en simulation de fluide : l???approche eul??rienne et l???approche lagrangienne, ainsi que certains outils num??riques associ??s, que sont les diff??rences finies et les fonctions de lissage. Chaque approche et chaque outil num??rique poss??de ses avantages et ses inconv??nients. Les noyaux constants par morceaux constituent un nouvel outil de calcul num??rique et ouvrent de nouvelles possibilit??s ?? la simulation de fluide. Ils seront ??tudi??s en d??tails puis int??gr??s dans une simulation de fluide eul??rienne. L???atout notable qu???apportent les noyaux constants par morceaux est la possibilit?? d???augmenter la pr??cision des calculs l?? o?? cela est jug?? n??cessaire dans la simulation. En augmentant la pr??cision des calculs aux endroits cl??s, o?? sont susceptibles d???apparaitre des effets visuellement attrayants comme les tourbillons ou les remous, nous am??liorons la qualit?? des animations.

Les travaux de cette thèse portent sur des méthodes de volumes finis sur maillages quelconque pour la discrétisation de problèmes d'évolution non linéaires modélisant le transport de contaminants en milieu poreux et les écoulements diphasiques.Au Chapitre 1, nous étudions une famille de schémas numériques pour la discrétisation d'une équation parabolique dégénérée de convection-reaction-diffusion modélisant le transport de contaminants dans un milieu poreux qui peut être hétérogène et anisotrope. La discrétisation du terme de diffusion est basée sur une famille de méthodes qui regroupe les schémas de volumes finis hybrides, de différences finies mimétiques et de volumes finis mixtes. Le terme de convection est traité à l'aide d'une famille de méthodes qui s'appuient sur les inconnues hybrides associées aux interfaces du maillage. Cette famille contient à la fois les schémas centré et amont. Les schémas que nous étudions permettent une discrétisation localement conservative des termes d'ordre un et d'ordre deux sur des maillages arbitraires en dimensions d'espace deux et trois. Nous démontrons qu'il existe une solution unique du problème discret qui converge vers la solution du problème continu et nous présentons des résultats numériques en dimensions d'espace deux et trois, en nous appuyant sur des maillages adaptatifs.Au Chapitre 2, nous proposons un schéma de volumes finis hybrides pour la discrétisation d'un problème d'écoulement diphasique incompressible et immiscible en milieu poreux. On suppose que ce problème a la forme d'une équation parabolique dégénérée de convection-diffusion en saturation couplée à une équation uniformément elliptique en pression. On considère un schéma implicite en temps, où les flux diffusifs sont discrétisés par la méthode des volumes finis hybride, ce qui permet de pouvoir traiter le cas d'un tenseur de perméabilité anisotrope et hétérogène sur un maillage très général, et l'on s'appuie sur un schéma de Godunov pour la discrétisation des flux convectifs, qui peuvent être non monotones et discontinus par rapport aux variables spatiales. On démontre l'existence d'une solution discrète, dont une sous-suite converge vers une solution faible du problème continu. On présente finalement des cas test bidimensionnels.Le Chapitre 3 porte sur un problème d'écoulement diphasique, dans lequel la courbe de pression capillaire admet des discontinuité spatiales. Plus précisément on suppose que l'écoulement prend place dans deux régions du sol aux propriétés très différentes, et l'on suppose que la loi de pression capillaire est discontinue en espace à la frontière entre les deux régions, si bien que la saturation de l'huile et la pression globale sont discontinues à travers cette frontière avec des conditions de raccord non linéaires à l'interface. On discrétise le problème à l'aide d'un schéma, qui coïncide avec un schéma de volumes finis standard dans chacune des deux régions, et on démontre la convergence d'une solution approchée vers une solution faible du problème continu. Les test numériques présentés à la fin du chapitre montrent que le schéma permet de reproduire le phénomène de piégeage de la phase huile.

Dans cet article, on montre comment associer à toute représentation $p$-adique $V$, via la théorie des $(\varphi,\Gamma_K)$-modules de Fontaine, une équation différentielle $p$-adique $\mathbf(D)^(\dagger)_(\mathrm(rig))(V)$, c'est-à-dire un module à connexion sur l'anneau de Robba. Cette construction permet de faire le lien entre la théorie des $(\varphi,\Gamma_K)$-modules et la théorie de Hodge $p$-adique. On montre par exemple comment construire $\mathbf(D)_(\mathrm(cris))(V)$ et $\mathbf(D)_(\mathrm(st))(V)$ directement à partir de $\mathbf(D)^(\dagger)_(\mathrm(rig))(V)$, ce qui permet de reconna(\^\i)tre les représentations semi-stables ou cristallines; la connexion est alors unipotente ou triviale. Alliée à des techniques de la théorie des équations différentielles $p$-adiques, l'étude du module $\mathbf(D)^(\dagger)_(\mathrm(rig))(V)$ permet en outre de donner une nouvelle démon\-stration d'un théorème de Sen caractérisant les représen\-tations $\mathbf(C)_p$-admissibles. Finalement on peut utiliser les résultats précédents pour étendre au cas d'un corps résiduel parfait quelconque des résultats de Hyodo ($H^1_g=H^1_(st)$), de Perrin-Riou (sur la semi-stabilité des représentations ordinaires), de Colmez (les représentations absolument cristallines sont de hauteur finie), et de Bloch et Kato (si $r\gg 0$, alors l'exponentielle de Bloch-Kato $\exp_(V(r))$ est un isomorphisme) dont les démonstrations (dans le cas d'un corps résiduel fini) reposaient sur des considérations de dimensions de groupes de cohomologie galoisienne.

Les travaux de cette thèse portent sur des méthodes de volumes finis sur maillages quelconque pour la discrétisation de problèmes d'évolution non linéaires modélisant le transport de contaminants en milieu poreux et les écoulements diphasiques.Au Chapitre 1, nous étudions une famille de schémas numériques pour la discrétisation d'une équation parabolique dégénérée de convection-reaction-diffusion modélisant le transport de contaminants dans un milieu poreux qui peut être hétérogène et anisotrope. La discrétisation du terme de diffusion est basée sur une famille de méthodes qui regroupe les schémas de volumes finis hybrides, de différences finies mimétiques et de volumes finis mixtes. Le terme de convection est traité à l'aide d'une famille de méthodes qui s'appuient sur les inconnues hybrides associées aux interfaces du maillage. Cette famille contient à la fois les schémas centré et amont. Les schémas que nous étudions permettent une discrétisation localement conservative des termes d'ordre un et d'ordre deux sur des maillages arbitraires en dimensions d'espace deux et trois. Nous démontrons qu'il existe une solution unique du problème discret qui converge vers la solution du problème continu et nous présentons des résultats numériques en dimensions d'espace deux et trois, en nous appuyant sur des maillages adaptatifs.Au Chapitre 2, nous proposons un schéma de volumes finis hybrides pour la discrétisation d'un problème d'écoulement diphasique incompressible et immiscible en milieu poreux. On suppose que ce problème a la forme d'une équation parabolique dégénérée de convection-diffusion en saturation couplée à une équation uniformément elliptique en pression. On considère un schéma implicite en temps, où les flux diffusifs sont discrétisés par la méthode des volumes finis hybride, ce qui permet de pouvoir traiter le cas d'un tenseur de perméabilité anisotrope et hétérogène sur un maillage très général, et l'on s'appuie sur un schéma de Godunov pour la discrétisation des flux convectifs, qui peuvent être non monotones et discontinus par rapport aux variables spatiales. On démontre l'existence d'une solution discrète, dont une sous-suite converge vers une solution faible du problème continu. On présente finalement des cas test bidimensionnels.Le Chapitre 3 porte sur un problème d'écoulement diphasique, dans lequel la courbe de pression capillaire admet des discontinuité spatiales. Plus précisément on suppose que l'écoulement prend place dans deux régions du sol aux propriétés très différentes, et l'on suppose que la loi de pression capillaire est discontinue en espace à la frontière entre les deux régions, si bien que la saturation de l'huile et la pression globale sont discontinues à travers cette frontière avec des conditions de raccord non linéaires à l'interface. On discrétise le problème à l'aide d'un schéma, qui coïncide avec un schéma de volumes finis standard dans chacune des deux régions, et on démontre la convergence d'une solution approchée vers une solution faible du problème continu. Les test numériques présentés à la fin du chapitre montrent que le schéma permet de reproduire le phénomène de piégeage de la phase huile. / In Chapter 1 we study a family of finite volume schemes for the numerical solution of degenerate parabolic convection-reaction-diffusion equations modeling contaminant transport in porous media. The discretization of possibly anisotropic and heterogeneous diffusion terms is based upon a family of numerical schemes, which include the hybrid finite volume scheme, the mimetic finite difference scheme and the mixed finite volume scheme. One discretizes the convection term by means of a family of schemes which makes use of the discrete unknowns associated to the mesh interfaces, and contains as special cases an upwind scheme and a centered scheme. The numerical schemes which we study are locally conservative and allow computations on general multi-dimensional meshes. We prove that the unique discrete solution converges to the unique weak solution of the continuous problem. We also investigate the solvability of the linearized problem obtained during Newton iterations. Finally we present a number of numerical results in space dimensions two and three using nonconforming adaptive meshes and show experimental orders of convergence for upwind and centered discretizations of the convection term.In Chapter 2 we propose a finite volume method on general meshes for the numerical simulation of an incompressible and immiscible two-phase flow in porous media. We consider the case that it can be written as a coupled system involving a degenerate parabolic convection-diffusion equation for the saturation together with a uniformly elliptic equation for the global pressure. The numerical scheme, which is implicit in time, allows computations in the case of a heterogeneous and anisotropic permeability tensor. The convective fluxes, which are non monotone with respect to the unknown saturation and discontinuous with respect to the space variables, are discretized by means of a special Godunov scheme. We prove the existence of a discrete solution which converges, along a subsequence, to a solution of the continuous problem. We present a number of numerical results in space dimension two, which confirm the efficiency of the numerical method.Chapter 3 is devoted to the study of a two-phase flow problem in the case that the capillary pressure curve is discontinuous with respect to the space variable. More precisely we assume that the porous medium is composed of two different rocks, so that the capillary pressure is discontinuous across the interface between the rocks. As a consequence the oil saturation and the global pressure are discontinuous across the interface with nonlinear transmission conditions. We discretize the problem by means of a numerical scheme which reduces to a standard finite volume scheme in each sub-domain and prove the convergence of a sequence of approximate solutions towards a weak solution of the continuous problem. The numerical tests show that the scheme can reproduce the oil trapping phenomenon.

Depuis sa première définition par Hudson et Parthasarathy en 1984, l'intégration stochastique quantique offre un outil puissant pour la description de certaines évolutions en physique quantique. De nombreuses questions restent ouvertes cependant, en particulier dans le domaine de la représentabilité intégrale des opérateurs. La définition récente par Attal d'une méthode complètement explicite de l'approximation de l'espace de Fock usuel par un analogue discret a justifié l'intérêt d'une bonne connaissance du calcul stochastique quantique à temps discret. Nous définissons rigoureusement un tel calcul stochastique et obtenons une caractérisation des opérateurs admettant des représentations intégrales ou des représentations sous la forme de noyau de Maassen-Meyer, avec des expressions explicites dans les deux cas. Ces résultats nous permettent de préciser complètement le lien entre le calcul à temps discret et le calcul à temps continu et en particulier de montrer que la formule d'Itô quantique de composition des intégrales se déduit rigoureusement de relations de commutation, par exemple des relations de commutation entre matrices de Pauli. Nous appliquons ensuite nos résultats pour obtenir une caractérisation, dans l'espace de Fock usuel, des opérateurs qui sont représentables en intégrales stochastiques quantiques parmi les classes fondamentales que sont les opérateurs de seconde quantification et de seconde quantification différentielle. Enfin, nous utilisons ces techniques pour obtenir des résultats de convergence de solutions d'équations aux différences vers des équations différentielles stochastiques quantiques. Ces résultats nous permettent de montrer qu'une évolution en mécanique quantique obtenue par des interactions répétées est déterminée, à la limite, par une équation de Langevin quantique. Cette équation de Langevin décrit un couplage entre un ``petit système'' et un ``réservoir'', ce réservoir et les coefficients de l'équation se déduisant explicitement de l'interaction que l'on répète. Ces résultats permettent en particulier d'obtenir une description rigoureuse des mesures en continu et des approximations de ``coarse graining'' en optique quantique.