Pour réduire la consommation en carburant et respecter des normes anti-pollution toujours plus sévères, les motoristes font de plus en plus appel à la combustion prémélangée pauvre. Cependant, ce Régime est enclin aux instabilités thermo-Acoustiques pouvant dégrader fortement le foyer. La Simulation aux Grandes Echelles (LES) est, à ce titre, un outil présentant un grand potentiel pour une meilleure compréhension de ces phénomènes, comme l'ont montré certains travaux réalisés jusqu' à présent. Dans la majorité des applications industrielles, le carburant est injecté sous forme liquide, ce qu'il faut prendre en compte dans les simulations numériques. Cette thèse présente donc une stratégie de description de la combustion diphasique turbulente en géométries complexes, basée sur le formalisme Eulérien mésoscopique pour la phase dispersée. La discrétisation des termes convectifs constitue un des points cruciaux pour assurer la qualité d'une LES. Une description détaillée de différents schémas numériques de convection (volumes finis cell-vertex, Taylor-Galerkin)<br />est tout d'abord fournie. On procède ensuite à une analyse théorique puis pratique des erreurs induites par ceux-ci et on propose des solutions pour les réduire. Une attention particulière est portée aux discrétisations aux bords du domaine de calcul ainsi qu'au type de conditions limites choisi. La chambre de combustion du banc expérimental MERCATO de l'ONERA sert à mettre en oeuvre, à valider et enfin à évaluer ces stratégies numériques. Enfin, trois méthodes de détermination des impédances acoustiques de conduits à section variable sont analysées et validées. Celles-ci permettent de caractériser les conditions limites d'entrée et de sortie des brûleurs industriels, en particulier pour les calculs de modes propres acoustiques.

Ce travail de thèse est consacré à l'étude d'un modèle viscoélastique avec des contraintes unilatérales, modélisé comme un matériau de Kelvin-Voigt. Le chapitre un est consacré au cas monodimensionnel: on approche la solution du problème par pénalisation, ce qui conduit à un théorème d'existence d'une solution faible. Un résultat de régularité des traces permet de montrer que la solution est forte. Le chapitre deux comporte un schéma numérique dont on montre la convergence vers une solution faible. Les chapitres trois et quatre permettent de construire une solution forte dans un milieu monodimensionnel semi-infini, pour laquelle on sait établir un bilan d'énergie: les pertes sont purement visqueuses. Le problème est réduit à une inégalité variationnelle au bord faisant intervenir un opérateur pseudodifférentiel dont le terme principal est une dérivation d'ordre 3/2. Les chapitres cinq et six comportent des théorèmes de trace pour une équation des ondes amorties et pour un opérateur de viscoélasticité dans un demi-espace, avec application aux solutions fortes.

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.

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.

L'objectif de cette thèse est d'étudier un système modélisant l'évolution d'écoulements bi-fluides non miscibles dans un domaine borné, avec la perspective de mieux comprendre et de prédire le comportement de bulles dans les c{\oe}urs de réacteurs nucléaires. Ce système, appelé DLMN, est construit à partir des équations de Navier-Stokes sous l'hypothèse d'un nombre de Mach très faible. Dans le cadre d'études préliminaires, on établit des résultats d'existence et d'unicité de solutions pour des données initiales régulières (de type Sobolev) et pour différents systèmes d'équations aux dérivées partielles non-linéaires couplant équations hyperboliques, paraboliques et elliptiques. En particulier, dans le cas du modèle abstrait de vibration de bulles (ABV), on établit un certain nombre de propriétés vérifiées par les solutions, lesquelles sont explicitées en dimension $1$. On s'attache ensuite à simuler ces solutions, en utilisant des schémas adaptés à la régularité des données. Pour le cas des données régulières, on construit un schéma d'ordre $2$ inconditionnellement stable et basé sur la méthode des caractéristiques. En revanche, en présence de discontinuités, on associe un schéma non diffusif à un algorithme de raffinement adaptatif de maillages.

Cette thèse concerne la modélisation par des EDP et la résolution numérique de problèmes d'optimisation pour les flux d'information et pour le trafic routier. Nous proposons un nouveau type de schémas hybrides. En premier, nous nous intéressons à l'optimisation des temps de service nécessaires à un serveur informatique pour traiter un ou plusieurs types de requêtes, afin de satisfaire une qualité de service imposée. La modélisation choisie fait intervenir un système de lois de conservation proposé par De Vuyst. Les particules sont les requêtes et la variable d'espace représente le taux d'avancement dans le traitement de la requête. Nous exhibons alors les équations différentielles ordinaires permettant de calculer les temps de service. Cela nous permet d'optimiser l'allocation des ressources du serveur suivant le type de requêtes. Nous présentons deux exemples de simulation numérique. Ensuite, nous considérons un problème d'optimisation en trafic routier faisant intervenir le modèle "fluide" aux EDP du second ordre de Aw-Rascle. Les particules sont les véhicules. A partir de données observées, en quantité limitée, sur une portion de route [0;L] et sur un intervalle de temps [0;T], nous voulons prévoir les conditions de circulation après le temps T. Il faut connaître précisément les conditions aux temps T pour les utiliser dans le système de Aw-Rascle comme nouvelles conditions initiales. Nous calculons cette condition initiale en retrouvant par un algorithme d'optimisation la solution de Aw-Rascle qui minimise l'erreur entre les valeurs de cette solution et les données observées. Il s'agit d'un problème d'assimilation de données, que nous résolvons par une méthode adjointe. Deux stratégies distinctes sont possibles : nous prenons comme variables d'optimisation les conditions initiales et les conditions aux bords du domaine [0;L]x [0;T] ou alors nous prenons uniquement comme variables d'optimisation les conditions initiales sur une section plus grande [-L';L]. Nous explorons ces deux stratégies. Enfin, nous nous intéressons aux schémas numériques permettant de trouver les solutions des systèmes de lois de conservation tels que les deux systèmes précédents. Nous présentons alors un nouveau type de schémas hybrides à un paramètre qui permet d'obtenir la propriété TVD et d'être du second ordre en espace et en temps. Le paramètre permet d'interpoler les schémas de Lax-Wendroff et de Lax-Friedrichs. Après cette première phase prédictrice, il est possible de corriger ce paramètre dans les cellules où il y a production d'entropie numérique. Nous obtenons ainsi un schéma qui permet de capturer la solution physique.

Ce mémoire d'Habilitation à Diriger des Recherches (HDR) retrace dix années de recherche en tant que maître de conférences, autour de modèles d'EDP appliqués à des écoulements de fluides. On y trouve aussi bien des aspects analyse mathématique, qu'analyse numérique, algorithmique ou encore calcul et mise en oeuvre informatique. Les principaux modèles d'EDP abordés sont les équations de Navier-Stokes ou Stokes surface libre (micro-fluidique, glaciologie), les équations de St-Venant ou asymptotique "shallow" (hydraulique fluviale, glaciologie). L'orientation de ces études vers les thématiques applicatives a conduit à élaborer des modèles numériques potentiellement applicables aux problèmes réels posés. Ainsi, les aspects calibration de modèles, optimisation, identification, analyse de sensibilité et assimilation de données (via le contrôle optimal) y sont largement représentés. En termes de réalisation de logiciels prototypes, sont présentés un code d'hydraulique fluviale (inondations) dédié à l'analyse de sensibilité, l'assimilation variationnelle de données et le couplage, un code surface libre d'impact de gouttelettes (2D axisymétrique ALE) et un code d'optimisation de forme appliqué à l'électro-capillarité. <br /> Le premier chapitre présente des analyses mathématiques et analyse de schémas éléments finis basées sur des troncatures. Un second chapitre décrit un cadre mathématique et algorithmique pour l'optimisation de forme, avec applications à un modèle Navier-Stokes - thermique radiative et à une gouttelette électrifiée (électro-capillarité). Un troisième chapitre traite de la modélisation numérique de la dynamique d'une gouttelette sur un substrat solide. La dynamique de la ligne triple y est décrite à l'aide du modèle de Shikhmurzaev. Dans un quatrième chapitre sont présentés plusieurs travaux autour d'écoulements fluviaux et zones d'inondations (St-Venant 1.5D-2D, schémas volumes finis). Les processus de calibrage de modèles, de couplage et d'assimilation variationnelle de données constituent une grand part des travaux. Des applications à des écoulements réels avec données non standards (trajectoires lagrangiennes, image satellite) démontrent la potentialité des méthodes développées. Le dernier chapitre traite des travaux récemment initiés et tout particulièrement ceux relatifs aux calottes polaires (Stokes non-Newtonien et équations asymptotiques). Parmi les difficultés mathématiques soulevées figurent la réduction de modèles (asymptotique, réduction d'ordre), le couplage, la sensibilité des modèles aux erreurs et aux paramètres, et enfin l'assimilation de données et le calibrage.

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.

L'objet de cette thèse est l'étude mathématique de modèles probabilistes pour la génération et la propagation d'un potentiel d'action dans les neurones et plus généralement de modèles aléatoires pour les systèmes excitables. En effet, nous souhaitons étudier l'influence du bruit sur certains systèmes excitables multi-échelles possédant une composante spatiale, que ce soit le bruit contenu intrinsèquement dans le système ou le bruit provenant du milieu. Ci-dessous, nous décrivons d'abord le contenu mathématique de la thèse. Nous abordons ensuite la situation physiologique décrite par les modèles que nous considérons. Pour étudier le bruit intrinsèque, nous considérons des processus de Markov déterministes par morceaux à valeurs dans des espaces de Hilbert ("Hilbert-valued PDMP"). Nous nous sommes intéressés à l'aspect multi-échelles de ces processus et à leur comportement en temps long. Dans un premier temps, nous étudions le cas où la composante rapide est une composante discrète du PDMP. Nous démontrons un théorème limite lorsque la composante rapide est infiniment accélérée. Ainsi, nous obtenons la convergence d'une classe de "Hilbert-valued PDMP" contenant plusieurs échelles de temps vers des modèles dits moyennés qui sont, dans certains cas, aussi des PDMP. Nous étudions ensuite les fluctuations du modèle multi-échelles autour du modèle moyenné en montrant que celles-ci sont gaussiennes à travers la preuve d'un théorème de type "central limit". Dans un deuxième temps, nous abordons le cas où la composante rapide est elle-même un PDMP. Cela requiert de connaître la mesure invariante d'un PDMP à valeurs dans un espace de Hilbert. Nous montrons, sous certaines conditions, qu'il existe une unique mesure invariante et la convergence exponentielle du processus vers cette mesure. Pour des PDMP dits diagonaux, la mesure invariante est explicitée. Ces résultats nous permettent d'obtenir un théorème de moyennisation pour des PDMP "rapides" couplés à des chaînes de Markov à temps continu "lentes". Pour étudier le bruit externe, nous considérons des systèmes d'équations aux dérivées partielles stochastiques (EDPS) conduites par des bruits colorés. Sur des domaines bornés de $\mathbb{R}^2$ ou $\mathbb{R}^3$, nous menons l'analyse numérique d'un schéma de type différences finies en temps et éléments finis en espace. Pour une classe d'EDPS linéaires, nous étudions l'erreur de convergence forte de notre schéma. Nous prouvons que l'ordre de convergence forte est deux fois moindre que l'ordre de convergence faible. Par des simulations, nous montrons l'émergence de phénomènes d'ondes ré-entrantes dues à la présence du bruit dans des domaines de dimension deux pour les modèles de Barkley et Mitchell-Schaeffer.

Le bon fonctionnement et les performances des turbines à vapeur sont liés à l'état de la vapeur et notamment au taux d'humidité qu'elle contient. EDF souhaite pouvoir maîtriser les phénomènes spécifiques à ces problématiques afin d'améliorer l'utilisation et l'évolution de ses turbines. Le sujet de recherche concerne la modélisation de la formation de l'humidité dans un corps de turbine et l'étude des couplages entre la phase liquide et les instationnarités. Dans ce contexte, la démarche adoptée est la suivante : la présence d'humidité est prise en compte à l'aide d'un modèle homogène, couplé à des modèles de condensation permettant de prendre en compte les phénomènes hors-équilibre thermodynamique : le grossissement et la nucléation des gouttes d'eau dans la vapeur. Pour mener à bien les calculs, des méthodes numériques adaptées aux gaz réels ont été utilisées et testées à l'aide d'un code monodimensionnel avant d'être intégrées dans le code 3D elsA. Deux types de modèles de condensation ont été mis en œuvre, considérant ou non la polydispersion des gouttes dans la vapeur. Les couplages instationnaires entre la condensation et l'écoulement principal ont été étudiés à différents niveaux d'observations (1D, 1D − 3D, 3D). Il a été montré que la méthode des moments apporte une richesse supplémentaire par rapport à un modèle mono-dispersé, et permet de mieux capter les couplages instationnaires entre l'humidité et le champ principal.