Nous prouvons essentiellement, à partir du formalisme adopté dans les articles [Che] et [CK1], un théorème de di fférentiation de type Calderòn pour les applications des espaces de Hajlasz fondés sur des espaces métriques PI et à valeurs dans des espaces de Banach RNP. Grâce à toutes les techniques développées pour le théorème précédent, nous pouvons -par la suite- a ffaiblir la condition d'appartenance à un espace de Hajlasz surcritique (par rapport à la dimension homogène de l'espace métrique ambiant) en une condition d'intégrabilité locale sur la constante de Lipschitz ponctuelle supérieure. Nous montrons que ces théorèmes de di fférentiation entrent en jeu naturellement pour caractériser les espaces de Hajlasz fondés sur des espaces métriques PI. Ceci débouche sur des critères intégraux, dans la veine de [Br2], pour reconnaitre si des applications mesurables sont constantes ou non dans les espaces métriques PI. En fin, nous discutons certains types d'inégalités de Poincaré locales dépendant du centre et du rayon des boules. Dans ce cadre aff aibli, l'analyse menée précedemment est tout à fait possible mais sous des conditions topologiques et géométriques supplémentaires sur l'espace métrique ambiant.

Nous prouvons essentiellement, à partir du formalisme adopté dans les articles [Che] et [CK1], un théorème de di fférentiation de type Calderòn pour les applications des espaces de Hajlasz fondés sur des espaces métriques PI et à valeurs dans des espaces de Banach RNP. Grâce à toutes les techniques développées pour le théorème précédent, nous pouvons -par la suite- a ffaiblir la condition d'appartenance à un espace de Hajlasz surcritique (par rapport à la dimension homogène de l'espace métrique ambiant) en une condition d'intégrabilité locale sur la constante de Lipschitz ponctuelle supérieure. Nous montrons que ces théorèmes de di fférentiation entrent en jeu naturellement pour caractériser les espaces de Hajlasz fondés sur des espaces métriques PI. Ceci débouche sur des critères intégraux, dans la veine de [Br2], pour reconnaitre si des applications mesurables sont constantes ou non dans les espaces métriques PI. En fin, nous discutons certains types d'inégalités de Poincaré locales dépendant du centre et du rayon des boules. Dans ce cadre aff aibli, l'analyse menée précedemment est tout à fait possible mais sous des conditions topologiques et géométriques supplémentaires sur l'espace métrique ambiant. / In this thesis, we essentially prove the Cheeger-differentiability of some Hajlasz-Sobolev functions between PI metric spaces and RNP Banach spaces. Then, we prove a refinement. More precisely, we establish a kind of Rademacher-Stepanov Theorem in the same setting as above but under the simple condition that the upper lipschitz constant is in a Lp space. Then, all these differentiation Theorems are naturally used to give a precise and complete description of the Hajlasz-Sobolev spaces on PI metric spaces in term of an energy integral. This leads to some criteria to detect if a measurable function is constant or not. At the end, we discuss some topological consequences of some weak Poincaré inequalities, we mean that depend of the center and of the radius of the balls involved in these inequalities. In this context, we are able to give some new criteria but the price to pay is to suppose strong topological assumptions on the metric space.

Les travaux de cette thèse portent sur des méthodes numériques pour la discrétisation d'équations aux dérivées partielles elliptiques et paraboliques de convection-réaction-diffusion non linéaires. Nous analysons ces méthodes et nous les appliquons à la simulation effective de l'écoulement et du transport de contaminants en milieux poreux et fracturés. Au chapitre 1, nous proposons un schéma permettant une discrétisation efficace, robuste, conservative et stable des équations de convection-réaction-diffusion non linéaires paraboliques dégénérées sur des maillages non structurés en dimensions deux ou trois d'espace. Nous discrétisons le terme de diffusion, qui contient en général un tenseur de diffusion inhomogène et anisotrope, par la méthode des éléments finis non conformes ou mixtes-hybrides et les autres termes par la méthode des volumes finis. La partie essentielle du chapitre est ensuite consacrée à montrer l'existence et l'unicité d'une solution discrète et sa convergence vers une solution faible du problème continu. La méthode de démonstration permet en particulier d'éviter des hypothèses restrictives sur le maillage souvent présentes dans la littérature. Nous proposons finalement une variante de ce schéma pour des maillages qui ne se raccordent pas, couplant cette fois la méthode des volumes finis avec celle des éléments finis conformes, et nous l'appliquons à la simulation du transport de contaminants en milieux poreux. Au chapitre 2, nous présentons une démonstration constructive des inégalités de Poincaré-Friedrichs discrètes pour une classe d'approximations non conformes de l'espace de Sobolev H1, indiquons les valeurs optimales des constantes dans ces inégalités et montrons l'inégalité de Friedrichs discrète pour des domaines bornés dans une direction uniquement. Ces résultats sont importants dans l'analyse de méthodes numériques non conformes, comme les méthodes d'éléments finis non conformes ou de Galerkin discontinu. Au chapitre 3, nous montrons que la méthode des éléments finis mixtes de Raviart-Thomas de plus bas degré pour des problèmes elliptiques en dimension deux ou trois d'espace est équivalente à un schéma de volumes finis à plusieurs points. Après avoir étudié ce schéma, nous l'appliquons à la discrétisation d'équations de convection-réaction-diffusion paraboliques non linéaires. Cette approche permet de réduire le temps de calcul de la méthode des éléments finis mixtes, tout en conservant sa très grande précision, ce qui est confirmé par les tests numériques. Enfin, au chapitre 4, nous proposons une version de la méthode des éléments finis mixtes de Raviart-Thomas de plus bas degré pour la résolution de problèmes elliptiques sur un système de polygones bidimensionnels placés dans l'espace tridimensionnel, démontrons qu'elle est bien posée et étudions sa relation avec la méthode des éléments finis non conformes. Ces résultats sont finalement appliqués à la simulation de l'écoulement de l'eau souterraine dans un système de polygones représentant un réseau de fractures perturbant un massif rocheux.