Ce mémoire est centré autour de l'analyse numérique de schémas volumes finis pour un modèle simplifié d'écoulement de deux fluides incompressibles en milieu poreux. Ces phénomènes sont souvent qualifiés de phénomènes de convection diffusion à convection dominante (``convection dominated problems'' en anglais). La première partie du mémoire est consacrée à l'approximation numérique d'équations paraboliques hyperboliques faiblement ou fortement dégénérées. Les trois premiers chapitres sont consacrés à l'étude de la convergence de schémas volumes finis. Le dernier chapitre est consacré à l'analyse des résultats numériques obtenus. La seconde partie est consacrée à l'analyse numérique d'un modèle simplifié d'écoulement diphasique en milieu poreux par deux schémas différents. Le premier schéma dit ``des mathématiciens'' est basé sur la réécriture du système étudié sous la forme d'une équation parabolique hyperbolique sur la saturation et d'une équation elliptique sur la pression, ces deux équations étant couplées par le coefficient de diffusion. Le second schéma dit schéma ``des pétroliers'' est une méthode numérique utilisée en pratique dans l'industrie pétrolière. Les deux schémas sont analysés séparément et ils sont ensuite comparés numériquement.

On étudie dans cette thèse des probèlmes de stabilisation en théorie du controle pour trois types de systèmes différents. Tout d'abord, on introduit, pour les systèmes non linéaires de dimension finie perturbés par des erreurs, une classe de controles dits hybrides, car dépendant d'un état mixte discret-continu. Etant donné un système dont l'équilibre est asymptotiquement controlable, on montre qu'il existe un controle tel que l'équilibre du système bouclé soit globalement asymptotiquement stable avec une robustesse par rapport aux petits bruits. On explicite pour les systèmes chainés un tel controle robuste avec une seule dynamique discrète. On donne également un controle hybride et un controle par retour d'état continu et périodique en temps qui recollent robustement deux controles données tout en conservant une propriéetée de stabilitée asymptotique. Ensuite, on étudie le problème de stabilisation d'un bac de fluide par le controle du déplacement longitudinal. C'est un problème de théorie du controle en dimension infinie car on modélise le problème en utilisant les équations de Saint-Venant qui sont des équations aux dérivées partielles hyperboliques. On utilise une approche Lyapunov pour proposer des feedbacks qui, numériquement, stabilisent localement et asymptotiquement l'origine du système bouclé. Enfin, on étudie le problème de stabilisation de l'origine d'un système linéaire en dimension finie lorsqu'on a une incertitude sur les donnes du système. On applique les méthodes de résolutions numériques des inégalités linéaires matricielles avec incertitudes à un problème industriel.

On étudie dans ce travail des systèmes de lois de conservation hyperboliques. La première partie étudie le temps d'existence des solutions régulières et régulières par morceaux de la dynamique des fluides compressibles. Après avoir présenté l'état de l'art en matière de solutions régulières, on montre une extension d'un théorème de Grassin à des gaz de Van der Waals. On étudie ensuite les solutions ondes de chocs : on poursuit l'approche de T. T. Li pour estimer leur temps d'existence dans le cas isentropique à symétrie sphérique, et l'approche de Whitham afin d'obtenir une équation approchée vérifiée par la surface de discontinuité. Dans une deuxième partie, motivée par la modélisation d'un rond-point en trafic routier, on étudie une extension multi-classe du modèle macroscopique de Lighthill-Whitham-Richards sur une route infinie avec des jonctions. On différencie les véhicules selon leur origine et leur destination et on introduit des conditions aux bords adaptées au niveau des jonctions. On obtient existence et unicité d'une solution au problème de Riemann pour ce modèle. Des simulations numériques attestent que les solutions obtenues existent en temps long. On aborde enfin le problème de Cauchy par la méthode de front tracking. La dernière partie concerne les lois de conservation scalaires. La première question abordée est le contrôle de la variation totale de la solution et la stabilité des solutions faibles entropiques par rapport au flux et à la source. Ce résultat nous permet d'étudier des équations avec flux non-local. Une fois établi leur caractère bien posé, on montre la Gâteaux-différentiabilité du semi-groupe obtenu par rapport aux conditions initiales.

Mes travaux de recherche portent sur la mécanique des fluides, et plus précisément sur les systèmes de particules, avec plusieurs domaines d'applications : le poumon (aérosol thérapie, pollution, régimes diffusifs), la formation d'opinion (sociophysique), et le couplage entre un fluide et une phase dispersée. La plupart de mes travaux s'appuient sur la théorie cinétique, où apparaissent des équations aux dérivées partielles cinétiques où l'inconnue est une fonction de distribution ayant pour variables non seulement le temps ou l'espace, mais aussi toute autre grandeur physique pertinente décrivant l'état des particules (vitesse, énergie, opinion, etc.).

Le modèle multi-fluide permet de décrire par une approche Eulérienne les sprays polydispersés et apparaît donc comme une méthode indiquée pour les applications de combustion diphasique. Sa pertinence pour la simulation à l'échelle d'applications industrielles est évaluée dans ce travail, par sa mise en oeuvre dans des configurations bi-dimensionnelle et tri-dimensionnelle plus représentatives de ce type de simulations. Cette évaluation couple une étude de faisabilité en terme de coût de calcul avec une analyse de la précision obtenue, par des comparaisons avec les résultats de méthodes de références pour la description des sprays. Afin de définir une telle référence, une hiérarchisation des modèles de spray est proposée dans ce travail, soulignant les niveaux de modélisation associée aux diverses méthodes. Une première configuration d'écoulements tourbillonnaires est utilisée pour caractériser la méthode multi-fluide. L'étude de la structure mathématique du système de lois de conservation permet d'analyser la formation de singularités et de fournir les outils permettant d'évaluer leur impact sur la modélisation. Cette étude permet également de dériver un schéma numérique robuste et efficace pour des configurations bi- et tri-dimensionnelle. La description des dynamiques de gouttes conditionnées par la taille est évaluée dans ces configurations tourbillonnaires au moyen de comparaisons quantitatives, sur des champs instantanés, où le multi-fluide est confronté à une méthode Lagrangienne, ainsi qu'à des résultats expérimentaux. Afin d'évaluer le comportement de la méthode multi-fluide dans des configurations plus représentatives des problématiques industrielles, le solveur MUSES3D est développé, permettant, entre autres, une évaluation fine des méthodes de résolution des sprays. Une implémentation originale de la méthode multi-fluide, conciliant généricité et efficacité pour le calcul parallèle, est réalisée. Le couplage de ce solveur avec le code ASPHODELE, développé au CORIA, permet d'effectuer une évaluation opérationnelle des approches Euler/Lagrange et Euler/Euler pour la description des écoulements diphasiques à inclusions dispersées. Finalement, le comportement de la méthode multi-fluide dans des jets bi-dimensionnels et dans une turbulence homogène isotrope tri-dimensionnelle permet de montrer sa précision pour la description de la dynamique de sprays évaporant dans des configurations plus complexes. La résolution de la polydispersion du spray permet de décrire précisément la fraction massique de combustible en phase vapeur, un élément clé pour les applications de combustion. De plus, l'efficacité du calcul parallèle par décomposition de domaine avec la méthode multi-fluide permet d'envisager son utilisation à l'échelle d'applications industrielles.

On étudie dans ce travail des systèmes de lois de conservation hyperboliques. La première partie étudie le temps d'existence des solutions régulières et régulières par morceaux de la dynamique des fluides compressibles. Après avoir présenté l'état de l'art en matière de solutions régulières, on montre une extension d'un théorème de Grassin à des gaz de Van der Waals. On étudie ensuite les solutions ondes de chocs : on poursuit l'approche de T. T. Li pour estimer leur temps d'existence dans le cas isentropique à symétrie sphérique, et l'approche de Whitham afin d'obtenir une équation approchée vérifiée par la surface de discontinuité. Dans une deuxième partie, motivée par la modélisation d'un rond-point en trafic routier, on étudie une extension multi-classe du modèle macroscopique de Lighthill-Whitham-Richards sur une route infinie avec des jonctions. On différencie les véhicules selon leur origine et leur destination et on introduit des conditions aux bord adaptées au niveau des jonctions. On obtient existence et unicité d'une solution au problème de Riemann pour ce modèle. Des simulations numériques attestent que les solutions obtenues existent en temps long. On aborde enfin le problème de Cauchy par la méthode de front tracking. La dernière partie concerne les lois de conservation scalaires. La première question abordée est le contrôle de la variation totale de la solution et la stabilité des solutions faibles entropiques par rapport au flux et à la source. Ce résultat nous permet d'étudier des équations avec flux non-local. Une fois établi leur caractère bien posé, on montre la Gâteaux-différentiabilité du semi-groupe obtenu par rapport aux conditions initiales.

L'objet de cette thèse est d'obtenir une description des plongements élémentaires (au sens de la logique du premier ordre) dans un groupe hyperbolique sans torsion. Le résultat principal décrit ces plongements en terme d'une structure définie par Sela dans sa solution au problème de Tarski: la structure de tour hyperbolique. Ainsi, si H est plongé élementairement dans un groupe hyperbolique sans torsion G, on peut obtenir G en amalgamant successivement des groupes de surfaces à bord à un produit libre de H avec des groupes libres et des groupes de surfaces sans bord. Ceci permet en corollaire de montrer qu'un sous-groupe plongé élémentairement dans un groupe libre de type fini est un facteur libre. Les techniques utilisées pour obtenir cette description sont essentiellement géométriques: actions sur des arbres réels ou simpliciaux, existence de décompositions JSJ. On s'appuie également sur des résultats d'existence d'ensembles de factorisation qui affirment que pour certains groupes A de type fini, étant donné un groupe hyperbolique sans torsion G, il existe un ensemble fini de quotients de A tel que tout morphisme non injectif de A vers G se factorise par l'un de ces quotients après précomposition par un automorphisme de A. On expose une preuve de ces résultats, y compris une version complète et détaillée du shortening argument de Rips et Sela. Le shortening argument montre, grâce à l'analyse de Rips des actions sur des arbres réels, que si une suite d'action d'un groupe A sur des espaces hyperboliques converge vers un A-arbre réel d'un certain type, alors une infinité de ces actions peuvent être raccourcies.

Dans ce travail, nous nous sommes intéressés à la modélisation et à la simulation numérique de l'échange et du transfert de matière entre fluide aqueux et minéraux dans un processus qui associe réactions chimiques et transport. Notre application porte sur les skarns constitués de grenat ou de pyroxènes. Nous situons d'abord le problème dans son cadre thermodynamique et nous présentons un modèle de solution pour chaque phase et deux modèles de construction de la fonction isotherme obtenus à partir des potentiels chimiques ou en utilisant les constantes d'équilibre. Le modèle quantitatif a été obtenu en exprimant un bilan total isovolumique de matière ou en se restreignant à un bilan sur la phase fluide. En se plaçant sous l'hypothèse de la roche et les paramètres hydrogéologiques, nous obtenons un système hyperbolique de type <i>'modèle de la chromatographie'</i>. Nous avons également étudié le problème d'interaction fluide-minéral dans un cas général et aussi quand la température devient assez grande. L'isotherme s'exprime sous la forme d'une isotherme de Langmuir. L'étude du modèle à un constituant nous permet de retrouver la condition de stabilité thermodynamique du système et d'envisager les conditions permettant de simplifier le modèle de la chromatographie à plusieurs constituantes. La partie numérique de ce travail consiste à tester l'influence des paramètres thermodynamiques sur la stabilité du système et sur le processus de la transformation et de valider le modèle en procédant à une confrontation aux observations géologiques sur divers cas tests.

Dans ce travail, on s'intéresse à plusieurs aspects de l'approximation numérique des systèmes hyperboliques de lois de conservation. La première partie est dédiée à la construction de schémas d'ordre élevé sur des maillages 2D non structurés. On développe une nouvelle technique de reconstruction de gradients basée sur l'écriture de deux schémas MUSCL sur deux maillages imbriqués. Cette procédure augmente le nombre d'inconnues numériques, mais permet d'approcher la solution avec une grande précision. Dans la deuxième partie, on étudie la stabilité des schémas d'ordre élevé. On montre dans un premier temps que les inégalités d'entropie discrètes usuelles vérifiées par les schémas d'ordre élevé ne sont pas pertinentes pour assurer le bon comportement dans le régime de convergence. On propose alors une extension des techniques de limitation {\it a posteriori} pour forcer la vérification des inégalités d'entropie discrètes requises. Dans la dernière partie, on s'intéresse à la construction de schémas well-balanced pour le modèle de Saint-Venant, le modèle de Ripa et les équations d'Euler avec gravité. On propose plusieurs stratégies permettant d'obtenir des schémas numériques capables de préserver tous les régimes stationnaires au repos. On développe également des extensions d'ordre élevé.

Les travaux de cette thèse s'inscrivent dans le contexte des systèmes de particules. Nous considérons différents systèmes physiques, décrits de manière continue, et dont la dynamique est modélisée par des équations aux dérivées partielles décrivant l'évolution temporelle de certaines quantités macroscopiques ou microscopiques, selon l'échelle de description envisagée. Dans une première partie, nous nous intéressons à une équation de type coagulation-fragmentation cinétique. Nous obtenons un résultat d'existence globale en temps, dans le cadre des solutions renormalisées de DiPerna-Lions, pour toute donnée initiale vérifiant les estimations naturelles et possédant une norme L1 et une norme Lp (p > 1) finies. La deuxième partie traite de méthodes de moments. L'objectif de ces méthodes est d'approcher un modèle cinétique par un nombre fini d'équations portant sur des quantités dépendant uniquement de la variable d'espace, et la question est de savoir comment fermer le système obtenu pour obtenir une bonne approximation de la solution du modèle cinétique. Dans un cadre linéaire, nous obtenons une méthode de fermeture explicite conduisant à un résultat de convergence rapide. Enfin, dans une troisième partie, nous travaillons sur la modélisation du trafic routier avec prise en compte de la congestion à l'aide d'un système hyperbolique avec contraintes, issu de la dynamique des gaz sans pression. En modifiant convenablement ce système, nous parvenons à modéliser des phénomènes de trafic routier "multi-voies", comme l'accélération, et la création de zones de vide. Un résultat d'existence et de stabilité des solutions de ce modèle modifié est démontré.