La présente thèse comporte trois parties indépendantes. La première partie présente une preuve d'existence de solutions faibles globales pour un modèle de sprays de type Vlasov-Navier-Stokes-incompressible avec densité variable. Ce modèle est obtenu par une limite formelle à partir d'un modèle Vlasov-Navier-Stokes-incompressible avec fragmentation, où seules deux valeurs de rayons de particules sont considérées : un rayon r1 pour les particules avant fragmentation, et un rayon r2 plus petit pour les particules obtenues par fragmentation. Le modèle asymptotique est obtenu dans la limite r2 tendant vers zéro. La démonstration s'appuie sur des techniques de régularisation et de troncature en vitesse, sur le théorème de Schauder et enfin sur une méthode de compacité de Lions-Di-Perna pour l'élimination des régularisations introduites dans le système initial. La deuxième partie concerne la modélisation de l'impact d'une vague de liquide sur une paroi. L'objectif de cette partie est d'obtenir un modèle pour la fuite du gaz environnant sur les "côtés" de la vague. Un modèle numérique est réalisé en remplaçant la vague liquide par une masse solide indéformable et un schéma VFFC-ALE est conçu pour la simulation numérique du modèle. La mise sans dimension des équations permet de montrer les nombres sans dimension qui régissent le phénomène de fuite. La vitesse moyenne de fuite est comparée à la vitesse dans le cas d'un fluide incompressible (pour lequel on a une expression exacte). Enfin, via la simulation numérique, une étude paramétrique est réalisée en fonction des nombres sans dimensions. Dans la troisième partie on présente une méthode numérique pour la simulation d'un modèle Vlasov-Boltzmann-Euler pour les sprays. Cette méthode couple le schéma VFFC à la méthode PIC (Particle In Cell). Les résultats présentés concernent l'écoulement d'un spray dans un pipeline courbe qu'on modélise par un système Vlasov-Boltzmann-Euler quasi-1D.

Cette thèse propose différentes méthodes théoriques et numériques pour simuler à coût réduit le comportement des plasmas ou des faisceaux de particules chargées sous l’action d’un champ magnétique fort. Outre le champ magnétique externe, chaque particule est soumise à champ électromagnétique créé par les particules elles-mêmes. Dans les modèles cinétiques, les particules sont représentées par une fonction de distribution f(x,v,t) qui vérifie l’équation de Vlasov. Afin de déterminer le champ électromagnétique, cette équation est couplée aux équations de Maxwell ou de Poisson. L’aspect champ magnétique fort est alors pris en compte par un dimensionnement adéquat qui fait apparaître un paramètre de perturbation singulière 1/ε. / This thesis is devoted to the study of charged particle beams under the action of strong magnetic fields. In addition to the external magnetic field, each particle is submitted to an electromagnetic field created by the particles themselves. In kinetic models, the particles are represented by a distribution function f(x,v,t) solution of the Vlasov equation. To determine the electromagnetic field, this equation is coupled with the Maxwell equations or with the Poisson equation. The strong magnetic field assumption is translated by a scaling wich introduces a singular perturbation parameter 1/ε.

Cette thèse décrit comment les ondes électromagnétiques se propagent dans les plasmas magnétisés, lorsque les fréquences sollicitées sont proches de la fréquence électron cyclotron. Elle porte sur l’analyse mathématique des variétés caractéristiques qui sont associées à des systèmes de type Vlasov-Maxwell relativiste avec paramètres rapides.La première partie s’intéresse aux plasmas froids des magnétosphères planétaires. On explique comment obtenir les relations de dispersion dans le cas d’un dipôle magnétique. Cela conduit à l’étude détaillée de certaines variétés algébriques de l’espace cotangent : les cônes et les sphères dits ordinaires et extraordinaires. La description géométrique de ces cônes et de ces sphères donne accès à une classification complète des ondes électromagnétiques susceptibles de se propager. Diverses applications sont proposées, concernant l’équation eikonale et l’absence de propagation en mode parallèle, ou encore concernant la structure des ondes dites en mode siffleur.La seconde partie porte sur la modélisation des plasmas chauds, typiquement ceux qui sont mis en jeu dans les tokamaks. On prouve dans un contexte réaliste que la propagation des ondes électromagnétiques s’effectue au travers d’un tenseur dielectrique. Ce tenseur est obtenu via une analyse fine des résonances cinétiques qui sont issues des interactions entre les particules (Vlasov) et les ondes (Maxwell). Il s’exprime comme une somme infinie d’intégrales singulières, faisant intervenir l’opérateur de Hilbert. Le sens mathématique de la formule donnant accès à ce tenseur est rigoureusement justifié. / This thesis describes how electromagnetic waves propagate in magnetized plasmas, when the frequencies are in a range around the electron cyclotron frequency. It focuses on the mathematical analysis of the characteristic varieties which are associated with relativistic Vlasov-Maxwell systems involving fast parameters. The first part is concerned with cold plasmas issued from planetary magnetospheres. We explain how to obtain the dispersion relations in the case where the magnetic field is given by a dipole model. This leads to the detailed study of some algebraic varieties from the cotangent space: the so-called ordinary and extraordinary cones and spheres. The geometrical description of these cones and spheres gives access to a complete classification of the electromagnetic waves which can propagate. Various applications are proposed, concerning the eikonal equation and the absence of purely parallel propagation, or concerning the structure of whistler waves. The second part focuses on the modelling of hot plasmas, typically like those involved in tokamaks. We prove in a realistic context that the propagation of electromagnetic waves is governed by some dielectric tensor. This tensor is obtain via some careful analysis of the kinetic resonances, which are issued from the interactions between the particles (Vlasov) and the waves (Maxwell). It can be expressed as an infinite sum of singular integrals, involving the Hilbert transform. The mathematical meaning of the formula defining this tensor is rigorously justified.

Cette thèse porte sur les équations gyro-cinétiques et traite un développement rigoureux deslimites de l'équation de Vlasov avec différents opérateurs de collision dans un champ magnétiquefort, ainsi que du développement de méthodes numériques.On commence par une étude de l'opérateur de moyenne. L'opérateur de moyenne a été développé parM. Bostan dans le cadre général d'une équation pour laquelle une partie du transport estfortement pénalisée. Puis, on applique ces résultats généraux aux deux régimes limites que nousétudions : le régime du rayon de Larmor fini et le régime centre-guide.On s'intéresse au calcul précis et explicite de la moyenne de l'opérateur de Fokker-Planck-Landau. On se place pour cela dans le cas du régime du rayon de Larmor fini. Avant de réaliserles calculs sur l'opérateur de Fokker-Planck-Landau, qui contient des convolutions et des termesde diffusion, il semble raisonnable de calculer la moyenne de l'opérateur de relaxation deBoltzmann, dont l'expression est plus simple.On se place ensuite dans le cas du régime centre-guide et on présente un schéma numérique basésur une décomposition micro-macro de la fonction de distribution des particules qui provientd'un travail en collaboration avec N. Crouseilles et M. Lemou. On obtient un schéma uniformémentconsistant avec le modèle continu, pour tout ordre du champ magnétique. Des simulationsnumériques, basées sur cette approche, ont été réalisées à l'aide d'un code de calcul 2D quel'on a développé durant cette thèse.On présente ensuite un projet réalisé dans le cadre du Cemracs 2012, consacré à la modélisationdes écoulements sanguins dans le réseau veineux cérébral. / The main subject of this thesis is the gyro-kinetic equation. We present a rigourousdeveloppement of the Vlasov equation limits with different collision operator in a strongmagnetic field and numerical methods.We start with a study of the gyro-average operator. The average operator has been introduced byM. Bostan in the case of an equation where part of the transport is highly penalised. Then weapply our results at the two approximation we study : the finite Larmor radius approximation andthe guiding-center approximation.We first focus on the precise and explicit computation of the Fokker-Planck-Landau operatoraverage in the finite Larmor radius approximation. The Fokker-Planck-Landau operator containsconvolution and diffusion terms, it is then reasonable to first compute the average of theBoltzmann relaxation operator.We then focus on the guiding-center approximation and present a numerical scheme based on amicro-macro decomposition of the particles distribution fonction which comes from a joint workwith N. Crouseilles and M. Lemou. We obtain a scheme which is uniformly consistant with thecontinuous model for any order of the magnetic field. Numerical simulation based on thisapproach are presented.The last chapter of this thesis presents a project which was realised during the Cemracs 2012concerning the modelisation of blood flow in cerebral veins.

L'étape de déliantage est une étape importante et parfois critique pour le procédé Moulage par Injection des Poudres. A cet effet, des analyses thermogravimétriques (TGA) ont été réalisées pour bien comprendre les mécanismes du déliantage thermique sous atmosphère imposée (Argon). Les méthodes de Kissinger et Ozawa ont été utilisées, en se basant sur les résultats des analyses thermogravimétriques, afin d’estimer les paramètres cinétiques nécessaires pour la simulation numérique, notre modèle se propose de décrire les phénomènes physiques liés à la dégradation du polymère, le transfert de chaleur de la déformation du composant pendant le déliantage thermique.La deuxième partie de la thèse est dédiée à la compréhension des mécanismes et du comportement du fritage des composants en tungstène sous une atmosphère d’hydrogène jusqu’à une température de 1 700°C. Des appareils expérimentaux, ont été mis en place afin de constituer une base de données physiques nécessaire pour l’identification des différents paramètres. L’identification de l’ensemble des lois de comportement a été réalisée en prenant en compte les spécificités physiques des poudres utilisées. Un modèle de comportement de type thermo élasto-viscoplastique est formulé pour représenter la loi de densification par diffusion solide, puis appliqué pour les différentes tailles de poudres de tungstène. La dernière étape consiste à valider des simulations numériques avec ABAQUS pour une meilleure détermination des densités et des retraits finaux des composants injectés. / Thermal debinding is one of the most important steps In Powder Injection Moulding process. Thermogravimetric analyses (TGA) are employed to analyze the physics and kinetics of thermal debinding behaviour under argon atmosphere. The Kissinger and Ozawa method have been used to estimate the kinetic parameters from thermogravimetric experiments. To set up the numerical simulations of thermal debinding stage using finite element method, a coupled mathematical has been developed. The basic steps of the proposed model consist to solve the following sequences of coupled problems: themal degradation of binder coupled with heat transfer and deformation phenomena by finite element method using Comsol Multiphysics software.In the second part of this thesis, sintering behaviour of tungsten powders injection moulded component, under pure hydrogen atmosphere at temperature up to 1700°C. The experimental tests are used to determine the material parameters in the parameters in the viscoplastic constitutive law, which is incorporated with the identified parameters in order to simulate the final shrinkages and densities of tungsten injection moulded components during the sintering process. Comparison between the numerical simulations results and experimental ones, in term of shrinkages and sintered densities, shows a good agreement.

Cette thèse vise à étudier certains modèles biologiques dans le réseau neuronal et dans la chimiotaxie avec la méthode d’analyse spectrale. Afin de traiter les principaux problèmes, tels que l’existence et l’unicité des solutions et des états stationnaires ainsi que les comportements asymptotiques, le modèle linéaire ou linéarisé associé est considéré par l’aspect du spectre et des semi-groupes dans les espaces appropriés, puis la stabilité de modèle non linéaire suit. Plus précisément, nous commençons par une équation de courses-et-chutes linéaire dans la dimension d≥1 pour établir l’existence d’un état stationnaire unique, positif et normalisé et la stabilité exponentielle asymptotique dans l’espace L¹ pondéré basé sur la théorie de Kerin-Rutman avec quelques estimations du moment de la théorie cinétique. Ensuite, nous considérons le modèle du temps écoulé sous les hypothèses générales sur le taux de tir et nous prouvons l’unicité de l’état stationnaire et sa stabilité exponentielle non linéaire en cas sans ou avec délai au régime de connectivité faible de la théorie de l’analyse spectrale pour les semi-groupes. Enfin, nous étudions le modèle sous une hypothèse de régularité plus faible sur le taux de tir et l’existence de la solution ainsi que la même stabilité exponentielle sont généralement établies n’importe la prise en compte du délai ou non, au régime de connectivité faible ou forte. / This thesis is aimed to study some biological models in neuronal network and chemotaxis with the spectral analysis method. In order to deal with the main concerning problems, such as the existence and uniqueness of the solutions and steady states as well as the asymptotic behaviors, the associated linear or linearized model is considered from the aspect of spectrum and semigroups in appropriate spaces then the nonlinear stability follows. More precisely, we start with a linear runs-and-tumbles equation in dimension d≥1 to establish the existence of a unique positive and normalized steady state and the exponential asymptotic stability in weighted L¹ space based on the Krein-Rutman theory together with some moment estimates from kinetic theory. Then, we consider time elapsed model under general assumptions on the firing rate and prove the uniqueness of the steady state and its nonlinear exponential stability in case without or with delay in the weak connectivity regime from the spectral analysis theory for semigroups. Finally, we study the model under weaker regularity assumption on the firing rate and the existence of the solution as well as the same exponential stability are established generally no matter taking delay into account or not and no matter in weak or strong connectivity regime.

L’injection directe à haute pression du carburant dans les moteurs à combustion interne permet une atomisation compacte et efficace. Dans ce contexte, la simulation numérique de l’injection est devenue un outil fondamental pour la conception industrielle. Cependant,l’écoulement du carburant liquide dans une chambre occupée initialement par l’air est un écoulement diphasique très complexe ; elle implique une très large gamme d’échelles. L’objectif de cette thèse est d’apporter de nouveaux éléments de modélisation et de simulation afin d’envisager une simulation prédictive de ce type d’écoulement avec un coût de calcul abordable dans un contexte industriel. En effet, au vu du coût de calcul prohibitif de la simulation directe de l’ensemble des échelles spatiales et temporelles, nous devons concevoir une gamme de modèles d’ordre réduit prédictifs. En outre, des méthodes numériques robustes, précises et adaptées au calcul de haute performance sont primordiales pour des simulations complexes.Cette thèse est dédiée au développement d’un modèle d’ordre réduit Eulérien capable de capter tant la polydispersiond’un brouillard de goutte dans la zone dispersée,que la dynamique de l’interface dans le régime de phases séparées. En s’appuyant sur une extension des méthodes de moments d’ordre élevé à des moments fractionnaires qui représentent des quantités géométriques de l’interface, et sur l’utilisation de variables géométrique sen sous-échelle dans la zone où l’interface gaz-liquide ne peut plus être complètement résolue, nous proposons une approche unifiée où un ensemble de variables géométriques sont transportées et valides dans les deux régimes d’écoulement [...]. / Direct fuel injection systems are widely used in combustionengines to better atomize and mix the fuel withthe air. The design of new and efficient injectors needsto be assisted with predictive simulations. The fuel injectionprocess involves different two-phase flow regimesthat imply a large range of scales. In the context of thisPhD, two areas of the flow are formally distinguished:the dense liquid core called separated phases and thepolydisperse spray obtained after the atomization. Themain challenge consists in simulating the combinationof these regimes with an acceptable computational cost.Direct Numerical Simulations, where all the scales needto be solved, lead to a high computational cost for industrialapplications. Therefore, modeling is necessaryto develop a reduced order model that can describe allregimes of the flow. This also requires major breakthroughin terms of numerical methods and High PerformanceComputing (HPC).This PhD investigates Eulerian reduced order models todescribe the polydispersion in the disperse phase andthe gas-liquid interface in the separated phases. First,we rely on the moment method to model the polydispersionin the downstream region of the flow. Then,we propose a new description of the interface by usinggeometrical variables. These variables can provide complementaryinformation on the interface geometry withrespect to a two-fluid model to simulate the primary atomization.The major contribution of this work consistsin using a unified set of variables to describe the tworegions: disperse and separated phases. In the case ofspherical droplets, we show that this new geometricalapproach can degenerate to a moment model similar toEulerian Multi-Size Model (EMSM). However, the newmodel involves fractional moments, which require somespecific treatments. This model has the same capacityto describe the polydispersion as the previous Eulerianmoment models: the EMSM and the multi-fluid model.But, it also enables a geometrical description of the interface...].

L'objet de la thèse est de contribuer à l'étude numérique des lois de conservation hyperboliques avec termes sources, ce qui est motivé par les applications aux équations de Saint-Venant pour les eaux peu profondes. La première partie traite des questions habituelles de l'analyse des approximations numériques des lois de conservation scalaires. On se concentre sur des schémas aux volumes finis semi-discrets, dans le cas général d'un maillage non-uniforme. Pour définir des discrétisations appropriées du terme source, on introduit le formalisme spécifique de la méthode "Upwind Interface Source" et on établit des conditions sur les fonctions numériques telles que le solveur discret préserve les solutions stationnaires. Une définition rigoureuse de consistance est ensuite formulée, adaptée aux "schémas équilibres", pour laquelle on est capable de prouver un théorème de convergence faible de type Lax-Wendroff. La méthode considérée dans un premier temps est essentiellement d'ordre un en espace. Pour améliorer la précision, on développe des approches à haute résolution pour la méthode "Upwind Interface Source" et on montre que celles-ci sont un moyen efficace de dériver des schémas d'ordre plus élevé avec des propriétés convenables. On prouve une estimation d'erreur dans $L^p$, $1\le p < +\infty$, qui est un résultat optimal dans le cas d'un maillage uniforme. On conclut alors que les mêmes taux de convergence $O(h)$ et $O(h^2)$ que pour les systèmes homogènes correspondants sont valables. La deuxième partie présente un schéma numérique pour approcher les équations de Saint-Venant, avec un terme source géométrique, qui vérifie les propriétés théoriques suivantes: il préserve les états stationnaires de l'eau au repos, vérifie une inégalité d'entropie discrète, préserve la positivité de la hauteur de l'eau et reste stable avec des profiles du fond discontinus. Cela est obtenu grâce à une approche cinétique au système; dans ce contexte, on utilise une description formelle du comportement microscopique du système pour définir les flux numériques aux interfaces d'un maillage non-structuré. On utilise aussi le concept de variables conservatives centrées (typique de la méthode des volumes finis) et des termes sources décentrés aux interfaces. Finalement, on présente des simulations numériques du système des équations de Saint-Venant modifiées pour prendre en compte le frottement et la viscosité, afin de retrouver les résultats de certaines études expérimentales. Une application à la modélisation des termes de frottement pour les avalanches de neige est discutée dans l'Appendice.