On s'interesse dans ce travail a la stabilite des ondes de <br />choc pour des systemes hyperboliques de lois de conservation <br />multidimensionnels. Ce probleme a ete traite par Andrew <br />Majda sous une hypothese, dite de stabilite uniforme, qui <br />intervient de facon cruciale dans son analyse. Cette hypothese <br />est cependant mise en defaut dans certains exemples, par exemple <br />dans l'etude des transitions de phase liquide-vapeur. Nous <br />examinons ici la stabilite des interfaces qui ne verifient <br />pas l'hypothese de stabilite uniforme, et montrons comment les <br />resultats de Majda s'etendent a de telles discontinuites. <br /><br /><br />On commence par montrer la stabilite lineaire des chocs plans <br />faiblement stables, a l'aide d'un symetriseur de Kreiss <br />degenere qui tient compte des modes neutralement instables. <br />Cette premiere etape etablit un compte precis des pertes de <br />derivees intervenant dans les estimations d'energie. Dans un <br />second temps, nous montrons que ces estimations d'energie demeurent <br />valables lorsque l'on etudie la stabilite des interfaces (non <br />planes) proches d'un choc plan. L'utilisation du calcul <br />paradifferentiel nous permet de traiter des perturbations <br />peu regulieres du choc plan initial. Sous une hypothese de <br />petitesse sur le comportement global des courbes bicaracteristiques, nous montrons une estimation d'energie semblable a celle etablie pour le probleme linearise a coefficients constants. Ce resultat devrait permettre de montrer la stabilite non lineaire des ondes de choc faiblement stables.

Cette thèse traite de la modélisation des infrastructures autoroutières et de leur gestion par des méthodes de régulation telles que le contrôle d'accès. L'approche retenue est macroscopique et conduit à des modèles distribués sous forme d'équations aux dérivées partielles non linéaires. Nous apportons plusieurs éclairages sur l'analyse et la résolution de ces modèles (condition d'entropie pour les rampes d'accès, discrétisation simpliée) et proposons une interprétation hybride des inhomogénéités (conditions aux limites, rampes d'accès et de sorties, variations brutales des paramètres) adaptée aux problèmes de contrôle. Deux nouvelles méthodologies calculatoires sont ensuite introduites pour concevoir des contrôleurs dynamiques s'appliquant à la gestion du trafic. La première est formulée comme un problème de commande optimale en boucle ouverte et nécessite l'adaptation de la méthode adjointe traditionnelle en raison de l'irrégularité des solutions. La seconde repose sur une discrétisation sous la forme d'un système affine commuté et une synthèse boucle fermée utilisant la dissipativité et les inégalités matricielles linéaires.

.

Nous étudions des méthodes d'approximation particulaire de solutions d'équations aux dérivées partielles décrivant l'état macroscopique de certains systèmes physiques. Elles consistent en l'introduction d'un grand nombre N de particules fictives évoluant selon des équations différentielles couplées, ordinaires ou stochastiques, dans un sens plus simple à résoudre que l'équation macroscopique; l'état de ce système de particules est décrit par une mesure de probabilité, dite mesure empirique. La validité de la méthode est donnée par la convergence, quand N tend vers l'infini, de cette mesure empirique vers la solution macroscopique originale, appelée limite de champ moyen. Nous cherchons principalement à en donner des estimations explicites, quantifiant ainsi la précision de l'approximation.<br /><br />Dans ce cadre nous étudions l'approximation des équations de transport de Vlasov et d'Euler par des systèmes de particules déterministes en interaction. Le problème de la convergence de la méthode se ramène à un problème de stabilité de solutions que nous traitons par des propriétés de type contraction pour des distances (de Wasserstein) liées à la théorie du transport optimal de mesures. Nous établissons aussi une propriété analogue de contraction pour des lois de conservation scalaires. <br /><br />Nous étudions également l'approximation d'équations de diffusion de McKean-Vlasov par des systèmes de particules stochastiques. Nous en donnons l'erreur de manière quantitative à l'aide de techniques de couplage, d'estimations de propagation du chaos et d'inégalités de concentration ou de déviation.<br /><br />De façon plus systématique nous nous intéressons à de telles inégalités de concentration pour des mesures de probabilité et à leurs relations avec des inégalités de transport (liant distances de Wasserstein et entropie) et de Sobolev logarithmiques. En particulier nous établissons de telles inégalités pour certaines classes de lois de variables dépendantes.

Nous étudions l'approximation cinétique discrète de lois de conservation scalaires quasi-linéaires dans le quart d'espace positif. Cette approximation est obtenue par l'introduction de systèmes de type BGK relaxant la loi scalaire. Nous démontrons la convergence des systèmes semi-linéaires vers la loi scalaire. Nous discrétisons ces modèles pour obtenir une gamme de schémas numériques adaptés au problème avec bord. Dans une troisième partie, nous appliquons ces schémas à un certain nombre de cas test numériques.

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.

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'objectif est d'améliorer la stabilité et la précision de la discrétisation spatiale de type volumes finis sur des maillages non structurés. La thèse fournit une analyse générale de la reconstruction des polynômes de degré k en maillage non structuré et présente plusieurs algorithmes permettant de reconstruire des polynômes sur de petits voisinages compacts. Une étude théorique de la stabilité établit des principes pour concevoir des méthodes de reconstruction stables. Une étude théorique de la précision caractérise les erreurs induites par le maillage non structuré à l'aide de l'approche de l'équation modifiée. L'étude formule également des algorithmes de limitation en maillage non structuré basés sur une approche géométrique. Toutes les études théoriques sont complétées par des expériences numériques. Les calculs LES d'un écoulement subsonique au-dessus d'une cavité et d'un jet supersonique permettent de valider et comparer plusieurs options de discrétisation spatiale.

Cette thèse a pour objectif l'approfondissement de l'étude des équations régissant les écoulements à surface libre en dimension trois.<br />Nous proposons d'une part une nouvelle formulation variationnelle du problème hydrostatique aboutissant à un problème semi-discretisé en temps bien posé. Nous en faisons l'analyse mathématique et nous montrons quelques résultats numériques obtenus après programmation de l'approximation de ce problème dans le logiciel Telemac-3D développé au Laboratoire National d'Hydraulique et Environnement (LNHE) d'edf.<br />D'autre part, nous étudions la réinterprétation dans le cadre ALE de la méthode de discrétisation verticale de domaines tridimensionnels appelée transformation sigma, et nous en proposons une généralisation permettant d'améliorer la représentation des stratifications dans un écoulement<br />Finalement, nous présentons un schéma ALE-MURD conservatif pour la résolution des équations de convection linéaires posées sur un domaine mobile. Une condition particulière doit être vérifiée afin que le schéma soit conservatif lorsque le domain bouge effectivement. Nous montrons comment assurer cette contrainte dans le cas particulier où le domaine est tridimensionnel et ne bouge que selon la verticale. Ce résultat est illustré dans le cadre des écoulements à surface libre en dimension trois.