Ce travail de thèse concerne la mécanique numérique du contact entre solides déformables. Il s'agit de contribuer à l'amélioration de la performance, de la fiabilité et de la robustesse des algorithmes et des modèles numériques utilisés dans les codes éléments finis en particulier Code_Aster qui est un code libre développé par Électricité De France (EDF) pour ses besoins en ingénierie. L'objectif final est de traiter les problèmes industriels de grande dimension avec un temps de calcul optimisé. Pour parvenir à ces objectifs, les algorithmes et formulations doivent prendre en compte les difficultés liées à la mécanique non régulière à cause des lois de Signorini-Coulomb ainsi que la gestion des non linéarités dûes aux grandes déformations et aux comportements des matériaux étudiés. Le premier axe de ce travail est dédié à une meilleure compréhension de la formulation dite de " Lagrangien stabilisé " initialement implémentée dans le code. Il a été démontré l'équivalence entre cette formulation et la formulation bien connue de " Lagrangien augmenté ". Les caractéristiques mathématiques liées aux opérateurs discrets ont été précisées et une écriture énergétique globale a été trouvée. Une réflexion a été mise en oeuvre en vue de renforcer de manière faible la condition cinématique sur la normale dans la zone de contact via les techniques d'optimisation sans contraintes. La nouvelle formulation est dite de " Lagrangien augmenté non standard ". Trois nouvelles stratégies basées sur le Lagrangien augmenté ont été implémentées. Il s'agit de la méthode de Newton généralisée : c'est une méthode d'optimisation qui permet de résoudre toutes les non linéarités du problème en une seule boucle d'itérations. La méthode de Newton partielle est une méthode hybride entre la méthode historique du code appelée méthode de point fixe et la méthode de Newton généralisée. Enfin, on a mis en place une façon originale de traiter le cyclage : ce phénomène apparaît souvent au cours de la résolution du problème et il entraîne la perte de convergence des algorithmes. La stratégie nouvelle permet d'améliorer la robustesse des algorithmes.

Résumé : Un certain nombre d'écoulements géophysiques, tels que les écoulements de glace ou de lave magmatique, impliquent le mouvement gravitaire à faible nombre de Reynolds d'un fluide viscoplastique à surface libre sur un socle rocheux. Leur modélisation fait apparaître des lois de comportement rhéologique et des descriptions de leurs intéractions avec le socle rocheux qui reposent sur des paramétrisations empiriques. Par ailleurs, l'observation systématique de ce type d'écoulements avec une grande précision est rarement possible ; les données associées à l'observation de ces écoulements, principalement des données de surface (télédétections), peuvent être peu denses, manquantes ou incertaines. Elles sont aussi le plus souvent indirectes : des paramètres inconnus comme le glissement basal ou la rhéologie sont difficilement mesurables in situ. Ce travail de thèse s'attache à la modélisation directe et inverse de ces écoulements géophysiques, particulièrement les écoulements de glace, par des méthodes variationnelles à travers la résolution du problème de Stokes pour les fluides en loi de puissance. La méthode de résolution du problème direct (Stokes non-linéaire) repose sur le principe du minimum de dissipation qui mène à un problème variationnel de type point-selle à quatre champs pour lequel on montre l'existence de solutions. La condition d'incompressibilité et la loi de comportement représentent alors des contraintes associées au problème de minimisation. La recherche des points critiques du lagrangien correspondant est réalisée à l'aide d'un algorithme de type lagrangien augmenté, discrétisé par éléments finis triangles à trois champs. Cet algorithme conduit à un important gain tant en temps de calcul qu'en utilisation mémoire par rapport aux algorithmes classiques. On s'intéresse ensuite à la modélisation numérique inverse de ces fluides à l'aide du modèle adjoint et des deux principaux outils associés : l'analyse de sensibilité et l'assimilation de données. On étudie tout d'abord la modélisation rhéologique de ces fluides à travers les deux paramètres principaux de la loi de comportement : la consistance du fluide et l'exposant rhéologique. Des analyses de sensibilité sur ces paramètres définis localement, permettent de quantifier leurs poids relatifs au sein du modèle d'écoulement, en termes de vitesses de surface. L'identification de ces grandeurs est également réalisée. L'ensemble des résultats est résumé comme une méthodologie vers une "rhéométrie virtuelle" pouvant représenter une aide solide à la mesure rhéologique. Le glissement basal, paramètre majeur dans la dynamique de la glace, est investigué selon la même approche. Les analyses de sensibilité mettent en avant une capacité à voir à travers le caractère "filtré" et non-local de la transmission de la variabilité basale vers la surface, ouvrant des perspectives vers l'utilisation des sensibilités pour la définition de lieux d'intérêt pour l'observation et la mesure. Ce glissement basal, modélisation empirique d'un processus complexe et multiéchelle, est ensuite utilisé pour la comparaison avec une méthode inverse approximative courante en glaciologie (méthode négligeant la dépendance de la viscosité à la vitesse, i.e. la non-linéarité). Le modèle adjoint, obtenu par différentiation automatique et évalué par accumulation retour, permet de définir cette approximation comme un cas limite de la méthode inverse complète. Ce formalisme mène à une généralisation du processus d'évaluation numérique de l'état adjoint, ajustable en précision et en temps de calcul en fonction de la qualité des données et du niveau de détail souhaité dans la reconstruction. L'ensemble de ces travaux est associé au développement du logiciel DassFlow-Ice de simulation directe et inverse de fluides viscoplastiques à surface libre. Ce logiciel prospectif bidimensionnel, diffusé dans la communauté glaciologique, a donné lieu au développement d'une version tridimensionnelle.

La Physique des Hautes Densités d’Énergies (HEDP) est caractérisée par desécoulements multi-matériaux fortement compressibles. Le domaine contenant l’écoulementsubit de grandes variations de taille et est le siège d’ondes de chocs et dedétente intenses. La représentation Lagrangienne est bien adaptée à la descriptionde ce type d’écoulements. Elle permet en effet une très bonne description deschocs ainsi qu’un suivit naturel des interfaces multi-matériaux et des surfaces libres.En particulier, les schémas Volumes Finis centrés Lagrangiens GLACE (GodunovtypeLAgrangian scheme Conservative for total Energy) et EUCCLHYD (ExplicitUnstructured Cell-Centered Lagrangian HYDrodynamics) ont prouvé leur efficacitépour la modélisation des équations de la dynamique des gaz ainsi que de l’élastoplasticité.Le travail de cette thèse s’inscrit dans la continuité des travaux de Maireet Nkonga [JCP, 2009] pour la modélisation de l’hydrodynamique et des travauxde Kluth et Després [JCP, 2010] pour l’hyperelasticité. Plus précisément, cettethèse propose le développement de méthodes robustes et précises pour l’extension3D du schéma EUCCLHYD avec une extension d’ordre deux basée sur les méthodesMUSCL (Monotonic Upstream-centered Scheme for Conservation Laws) et GRP(Generalized Riemann Problem). Une attention particulière est portée sur la préservationdes symétries et la monotonie des solutions. La robustesse et la précision duschéma seront validées sur de nombreux cas tests Lagrangiens dont l’extension 3Dest particulièrement difficile. / High Energy Density Physics (HEDP) flows are multi-material flows characterizedby strong shock waves and large changes in the domain shape due to rarefactionwaves. Numerical schemes based on the Lagrangian formalism are good candidatesto model this kind of flows since the computational grid follows the fluid motion.This provides accurate results around the shocks as well as a natural tracking ofmulti-material interfaces and free-surfaces. In particular, cell-centered Finite VolumeLagrangian schemes such as GLACE (Godunov-type LAgrangian scheme Conservativefor total Energy) and EUCCLHYD (Explicit Unstructured Cell-CenteredLagrangian HYDrodynamics) provide good results on both the modeling of gas dynamicsand elastic-plastic equations. The work produced during this PhD thesisis in continuity with the work of Maire and Nkonga [JCP, 2009] for the hydrodynamicpart and the work of Kluth and Després [JCP, 2010] for the hyperelasticitypart. More precisely, the aim of this thesis is to develop robust and accurate methodsfor the 3D extension of the EUCCLHYD scheme with a second-order extensionbased on MUSCL (Monotonic Upstream-centered Scheme for Conservation Laws)and GRP (Generalized Riemann Problem) procedures. A particular care is taken onthe preservation of symmetries and the monotonicity of the solutions. The schemerobustness and accuracy are assessed on numerous Lagrangian test cases for whichthe 3D extensions are very challenging.

Cette thèse est dédiée à l'étude mathématique de quelques modèles de trafic routier congestionné. La notion essentielle est l'équilibre de Wardrop. Elle poursuit des travaux de Carlier et Santambrogio avec des coauteurs. Baillon et Carlier ont étudié le cas de grilles cartésiennes dans $\RR^2$ de plus en plus denses, dans le cadre de la théorie de $\Gamma$-convergence. Trouver l'équilibre de Wardrop revient à résoudre des problèmes de minimisation convexe. Dans le chapitre 2, nous regardons ce qui se passe dans le cas de réseaux généraux, de plus en plus denses, dans $\RR^d$. Des difficultés nouvelles surgissent par rapport au cas initial de réseaux cartésiens et pour les contourner, nous introduisons la notion de courbes généralisées. Des hypothèses structurelles sur ces suites de réseaux discrets sont nécessaires pour s'assurer de la convergence. Cela fait alors apparaître des fonctions qui sont des sortes de distances de Finsler et qui rendent compte de l'anisotropie du réseau. Nous obtenons ainsi des résultats similaires à ceux du cas cartésien. Dans le chapitre 3, nous étudions le modèle continu et en particulier, les problèmes limites. Nous trouvons alors des conditions d'optimalité à travers une formulation duale qui peut être interprétée en termes d'équilibres continus de Wardrop. Cependant, nous travaillons avec des courbes généralisées et nous ne pouvons pas appliquer directement le théorème de Prokhorov, comme cela a été le cas dans \cite{baillon2012discrete, carlier2008optimal}. Pour pouvoir néanmoins l'utiliser, nous considérons une version relaxée du problème limite, avec des mesures d'Young. Dans le chapitre 4, nous nous concentrons sur le cas de long terme, c'est-à-dire, nous fixons uniquement les distributions d'offre et de demande. Comme montré dans \cite{brasco2013congested}, le problème de l'équilibre de Wardrop est équivalent à un problème à la Beckmann et il se réduit à résoudre une EDP elliptique, anisotropique et dégénérée. Nous utilisons la méthode de résolution numérique de Lagrangien augmenté présentée dans \cite{benamou2013augmented} pour proposer des exemples de simulation. Enfin, le chapitre 5 a pour objet l'étude de problèmes de Monge avec comme coût une distance de Finsler. Cela se reformule en des problèmes de flux minimal et une discrétisation de ces problèmes mène à un problème de point-selle. Nous le résolvons alors numériquement, encore grâce à un algorithme de Lagrangien augmenté. / This thesis is devoted to the mathematical analysis of some models of congested road traffic. The essential notion is the Wardrop equilibrium. It continues Carlier and Santambrogio's works with coauthors. With Baillon they studied the case of two-dimensional cartesian networks that become very dense in the framework of $\Gamma$-convergence theory. Finding Wardrop equilibria is equivalent to solve convex minimisation problems.In Chapter 2 we look at what happens in the case of general networks, increasingly dense. New difficulties appear with respect to the original case of cartesian networks. To deal with these difficulties we introduce the concept of generalized curves. Structural assumptions on these sequences of discrete networks are necessary to obtain convergence. Sorts of Finsler distance are used and keep track of anisotropy of the network. We then have similar results to those in the cartesian case.In Chapter 3 we study the continuous model and in particular the limit problems. Then we find optimality conditions through a duale formulation that can be interpreted in terms of continuous Wardrop equilibria. However we work with generalized curves and we cannot directly apply Prokhorov's theorem, as in \cite{baillon2012discrete, carlier2008optimal}. To use it we consider a relaxed version of the limit problem with Young's measures. In Chapter 4 we focus on the long-term case, that is, we fix only the distributions of supply and demand. As shown in \cite{brasco2013congested} the problem of Wardrop equilibria can be reformulated in a problem à la Beckmann and reduced to solve an elliptic anisotropic and degenerated PDE. We use the augmented Lagrangian scheme presented in \cite{benamou2013augmented} to show a few numerical simulation examples. Finally Chapter 5 is devoted to studying Monge problems with as cost a Finsler distance. It leads to minimal flow problems. Discretization of these problems is equivalent to a saddle-point problem. We then solve it numerically again by an augmented Lagrangian algorithm.

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal. / Cette thèse est constituée de quatre articles qui ont tous été publiés. Le sujet principal est l’étude d’asymétries de brisure CP/T via les produits triples dans les désintégrations des hadrons contenant un quark b (mésons B ou hypérons Ab) et ce, dans le modèle standard de la physique des particules et au-delà. / This thesis is comprised of four articles, ail of which have been published. The main subject is the study, in and beyond the standard model of particle physics, of CP/T-violation via triple products in decays of hadrons containing a b quark (B mesons or Ab hyperons).

Nous proposons une étude numérique bidimensionnelle des écoulements laminaires de convection mixte en conduite rectangulaire horizontale chauffée par le bas (encore appelés "écoulements de Poiseuille-Rayleigh-Bénard"). La méthode de résolution est de type volumes finis; elle est basée sur la méthode du Lagrangien augmenté. Nous présentons une revue bibliographique, historique et complète, des travaux effectués sur ce sujet. Nous rapportons de manière détaillée les résultats de trois thèses, analysant la stabilité linéaire de l'écoulement de Poiseuille et la stabilité faiblement non-linéaire des rouleaux thermoconvectifs transverses à l'axe de la conduite, et fournissant des mesures expérimentales très fines des champs de vitesse dans les domaines linéaires et non-linéaires. L'objectif de ce travail est d'étudier dans quelle mesure les simulations numériques s'accordent avec théories et expériences en effectuant des comparaisons quantitatives systématiques avec ces trois thèses. Nous étudions l'influence des conditions aux limites ouvertes et périodiques sur la stabilité et sur le développement spatial et temporel des rouleaux transversaux, en prenant en compte le caractère convectif ou absolu de l'instabilité. Cinq sortes de conditions aux limites ouvertes sont testées. On montre que l'amplitude de la perturbation en amont de la frontière de sortie peut considérablement varier d'une condition à l'autre, alors que la longueur de la zone perturbée varie très peu, et que la structure de l'écoulement en dehors de la zone perturbée se conserve. Avec les conditions aux limites périodiques, les rouleaux transversaux transitent vers l'écoulement de Poiseuille au passage du seuil entre instabilité convective et stabilité linéaire. Avec les conditions aux limites ouvertes, cette transition a lieu près du seuil entre instabilité absolue et instabilité convective. Tous les résultats de la stabilité faiblement non-linéaire sont reproduits par la simulation 2D, et certains résultats expérimentaux 3D sont retrouvés avec une grande précision. On montre que les points de désaccord qui sont mis en évidence résultent d'effets purement tridimensionnels et qu'ils ne pourront donc être traités que par la simulation numérique 3D.

Depuis l’article fondateur de Jordan, Kinderlehrer et Otto en 1998, il est bien connu qu’une large classe d’équations paraboliques peuvent être vues comme des flots de gradient dans l’espace de Wasserstein. Le but de cette thèse est d’étendre cette théorie à certaines équations et systèmes qui n’ont pas exactement une structure de flot de gradient. Les interactions étudiées sont de différentes natures. Le premier chapitre traite des systèmes avec des interactions non locales dans la dérive. Nous étudions ensuite des systèmes de diffusions croisées s’appliquant aux modèles de congestion pour plusieurs populations. Un autre modèle étudié est celui où le couplage se trouve dans le terme de réaction comme les systèmes proie-prédateur avec diffusion ou encore les modèles de croissance tumorale. Nous étudierons enfin des systèmes de type nouveau où l’interaction est donnée par un problème de transport multi-marges. Une grande partie de ces problèmes est illustrée de simulations numériques. / Since 1998 and the seminal work of Jordan, Kinderlehrer and Otto, it is well known that a large class of parabolic equations can be seen as gradient flows in the Wasserstein space. This thesis is devoted to extensions of this theory to equations and systems which do not have exactly a gradient flow structure. We study different kind of couplings. First, we treat the case of nonlocal interactions in the drift. Then, we study cross diffusion systems which model congestion for several species. We are also interested in reaction-diffusion systems as diffusive prey-predator systems or tumor growth models. Finally, we introduce a new class of systems where the interaction is given by a multi-marginal transport problem. In many cases, we give numerical simulations to illustrate our theorical results.

Dans cette thèse sont montrés des développements de l'approximation de la phase aléatoire (RPA) dans le contexte de théories à séparation de portée. On présente des travaux sur le formalisme de la RPA en général, et en particulier sur le formalisme "matrice diélectrique" qui est exploré de manière systématique. On montre un résumé d'un travail sur les équations RPA dans le contexte d'orbitales localisées, notamment des développements des orbitales virtuelles localisées que sont les "orbitales oscillantes projetées" (POO). Un programme a été écrit pour calculer des fonctions telles que le trou de d'échange, la fonction de réponse, etc... sur des grilles de l'espace réel (grilles parallélépipédiques ou de type "DFT"). On montre certaines de ces visualisations. Dans l'espace réel, on expose une adaptation de l'approximation du dénominateur effectif (EED), développée originellement dans l'espace réciproque en physique du solide. Également, les gradients analytiques des énergies de corrélation RPA dans le contexte de la séparation de portée sont dérivés. Le formalisme développé ici à l'aide d'un lagrangien permet une dérivation tout-en-un des termes courte- et longue-portée qui émergent dans les expressions du gradient, et qui montrent un parallèle intéressant. Des applications sont montrées, telles que des optimisations de géométries aux niveaux RSH-dRPA-I et RSH-SOSEX d'un ensemble de 16 petites molécules, ou encore le calcul et la visualisation des densités corrélées au niveau RSH-dRPA-I / In this thesis are shown developments in the random phase approximation (RPA) in the context of range-separated theories. We present advances in the formalism of the RPA in general, and particularly in the "dielectric matrix" formulation of RPA, which is explored in details. We show a summary of a work on the RPA equations with localized orbitals, especially developments of the virtual localized orbitals that are the "projected oscillatory orbitals" (POO). A program has been written to calculate functions such as the exchange hole, the response function, etc... on real space grid (parallelepipedic or of the "DFT" type) ; some of those visualizations are shown here. In the real space, we offer an adaptation of the effective energy denominator approximation (EED), originally developed in the reciprocal space in solid physics. The analytical gradients of the RPA correlation energies in the context of range separation has been derived. The formalism developed here with a Lagrangian allows an all-in-one derivation of the short- and long-range terms that emerge in the expressions of the gradient. These terms show interesting parallels. Geometry optimizations at the RSH-dRPA-I and RSH-SOSEX levels on a set of 16 molecules are shown, as well as calculations and visualizations of correlated densities at the RSH-dRPA-I level