Cette thèse est consacrée à l’étude des modèles microscopiques pour la dérivation de la conduction de la chaleur. Démontrer rigoureusement une équation diffusive macroscopique à partir d’une description microscopique du système est à aujourd’hui encore un problème ouvert. On étudie un système décrit par l’équation de Schrödinger linéaire discrète (DLS) en dim 1, perturbé par une dynamique stochastique conservative. On peut montrer que le système a une limite hydrodynamique donnée par la solution de l’équation de la chaleur. Quand le système est rattaché aux bords à deux réservoirs de Langevin à deux différents potentiels chimiques, on peut montrer que l’état stationnaire, dans la limite vers l'infinie, satisfait la loi de Fourier. On étudie une chaine des oscillateurs anharmonique immergée en un réservoir de chaleur avec un gradient de température. On exerce une tension, variable dans le temps, à une des deux extrémités de la chaine, et l’autre reste fixe. On montre que sous un changement d’échelle diffusive dans l’espace et dans le temps, la distribution d’étirement de la chaine évolue selon un équation diffusive non-linéaire. On développe des estimations qui reposent sur l’hypocoercitivité entropique. La limite macroscopique peut être utilisée pour modéliser les transformations thermodynamique isothermiques entre états stationnaire de non-équilibre. / The object of research of this thesis is the derivation of heat equation from the underlying microscopic dynamics of the system. Two main models have been studied: a microscopic system described by the discrete Schrödinger equation and an anharmonic chain of oscillators in presence of a gradient of temperature. The first model considered is the one-dimensional discrete linear Schrödinger (DLS) equation perturbed by a conservative stochastic dynamics, that changes the phase of each particles, conserving the total norm (or number of particles). The resulting total dynamics is a degenerate hypoelliptic diffusion with a smooth stationary state. It has been shown that the system has a hydrodynamical limit given by the solution of the heat equation. When it is coupled at the boundaries to two Langevin thermostats at two different chemical potentials, it has been proven that the stationary state, in the limit to infinity, satisfies the Fourier’s law. The second model considered is a chain of anharmonic oscillators immersed in a heat bath with a temperature gradient and a time varying tension applied to one end of the chain while the other side is fixed to a point. We prove that under diffusive space-time rescaling the volume strain distribution of the chain evolves following a non-linear diffusive equation. The stationary states of the dynamics are of non-equilibrium and have a positive entropy production, so the classical relative entropy methods cannot be used. We develop new estimates based on entropic hypocoercivity, that allows to control the distribution of the positions configurations of the chain. The macroscopic limit can be used to model isothermal thermodynamic transformations between non-equilibrium stationary states. CEMRACS project on simulating Rayleigh- Taylor and Richtmyer-Meshkov turbulent mixing zones with a probability density function method at last.

L’objectif de cette thèse est de proposer deux approches complémentaires de modélisation et de simulation numériques des procédés de mise en forme de structures minces. La première est une approche inverse multi-pas, délibérément simplifiée, pour simuler et "optimiser" rapidement et à moindre coût des procédés d’emboutissage de tôles minces, tout en maintenant une bonne précision dans le calcul des contraintes. Un solveur statique implicite est développé en introduisant plusieurs configurations intermédiaires construites efficacement en utilisant une technique de programmation quadratique avec projection. La deuxième approche, de nature incrémentale, repose sur (i) une formulation d’équations de bilan et d’équations de comportement multi-physiques fortement couplés formulées dans le cadre des milieux micromorphes ; (ii) une discrétisation spatiale par EF et temporelle par DF avec un solveur global dynamique explicite et une intégration locale itérative implicite. Une attention particulière est accordée aux aspects thermiques avec l’introduction d’une microtempérature et ses premiers gradients conduisant à l’obtention de deux équations thermiques fortement couplées généralisant de nombreux modèles non locaux proposés dans la littérature. L'approche inverse multi-pas a été implémentée dans le code maison KMAS et l’approche incrémentale non locale a été implémentée dans ABAQUS/Explicit. Des études paramétriques sont menées et des validations sur des exemples simples et sur des procédés d’emboutissage sont réalisées / The aim of this thesis is to propose two complementary approaches for modeling and numerical simulations of thin sheet metal forming processes. The first one is a deliberately simplified multi-step inverse approach to simulate and "optimize" rapidly and inexpensively thin-sheet stamping processes while maintaining good accuracy in the stress calculation. An implicit static solver is developed by introducing several efficiently constructed intermediate configurations using a quadratic programming technique with projection. The second approach, which is of an incremental nature, is based on (i) a formulation of equilibrium equations and strongly coupled multiphysical behavior equations formulated in the context of micromorphic continua; (ii) spatial discretization by FEM and time discretization by FD with an explicit dynamic global solver and implicit iterative local integration scheme. Particular attention is paid to the nonlocal thermal aspects with the introduction of a micro-temperature and its first gradients leading to two strongly coupled thermal equations generalizing several thermal nonlocal models proposed in the literature. The multi-step inverse approach was implemented in the KMAS in house code while the nonlocal incremental approach was implemented in ABAQUS/Explicit. Parametric studies are performed and validations are carried out on simple examples and on deep drawing processes

Non disponible / Non disponible

Dans cette thèse, nous étudions la contrôlabilité et la stabilisation pour des équation hyperboliques et dispersives. La première partie de cette thèse est consacrée à la stabilisation du système de Stokes hyperbolique. La propagation des singularités pour le système de Stokes semi-classique est établie dans chapitre 1. La preuve repose sur la stratégie de Ivrii et Melrose-Sjöstrand.Cependant, par rapport à l’opérateur de Laplace, la difficulté est causée par la pression qui a un effet non trivial pour les solutions concentrées au bord. Nous utilisons la paramétrix des solutions près d’un point elliptique ou hyperbolique. Ensuite, on traite les solutions concentrées près de l’ensemble «glancing» par une décomposition micro-locale. L’effet de la pression est alors bien contrôlé grâce à la géométrie. Finalement on utilise un argument récurrence pour terminer la preuve. Par conséquent, nous prouvons la stabilisation du système de Stokes hyperbolique dans le chapitre 2 sous la condition de contrôle géométrique sur le support de l’amortissement.La deuxième partie est consacrée à la contrôlabilité et la stabilisation de l’équation de Kadomtsev-Petviashvili (KP en bref). Dans le chapitre 3, en utilisant l’analyse semi-classique, nous avons prouvé la contrôlabilité verticale pour des données dans L^2 (T). De plus, un résultat négatif concernant la contrôlabilité horizontale est aussi obtenu. Dans le chapitre 4, nous considérons la contrôlabilité de l’équation de KP-I linéaire. C’est un modèle intéressant dans lequel la vitesse de groupe peut être dégénéré. Plus général, on a obtenu le plus petit ordre requis pour assurer l’observabilité des équations de KP-I fractionnaire linéaire. Finalement dans le chapitre 5, nous avons montré la contrôlabilité et la stabilisation des ’equations de KP-II et 5KP-II avec grandes données initiales dans l’espace de Sobolev, si la donnée initiale satisfait certaines hypothèses de compacité partielles. Ceci généralise la contrôlabilité des solutions de KP-II avec données petites dans le chapitre 3. / In this thesis, we deal with the control and stabilization for certain hyperbolic and dispersive partial differential equations. The first part of this work is devoted to the stabilization of hyperbolic Stokes equation. The propagation of singularity for semi-classical Stokes system is established in Chapter 1. This will be done by adpating the strategy of Ivrii and Melrose-Sjöstrand. However,compared to the Laplace operator, the difficulty is caused by the pressure term which has non-trivial impact to solutions concentrated near the boundary. We apply parametrix construction to resolve the issue in elliptic and hyperbolic regions. We next adapte a fine micro-local decomposition for solutions concentrated near the glancing set. The impact of pressure to the solution is then well controled by geometric considerations. As a consequence of the main theorem in Chapter 1, we prove the stabilization of hyperbolic Stokes equation under geometric control condition in Chapter 2. The second part is devoted to the controllability of Kadomtsev–Petviashvili(KP in short) equations. In Chapter 3, the controllability in L 2 (T) from vertical strip is proved using semi-classical analysis. Additionally, a negative result for the controllability in L^2 (T) from horizontal strip is also showed. In Chapter 4, we prove the exact controllability of linear KP-I equation if the control input is added on a vertical domain. It is an interesting model in which the group velocity may degenerate. More generally, we have obtained the least dispersion needed to insure observability for fractional linear KP I equation. Finally in Chapter 5, we prove exact controllability and stabilization of KP-II equation and fifth order KP-II equation for any size of initial data in Sobolev spaces with additional partial compactness conditions. This extends the exact controllability for small data obtained in Chapter 3.compactness condition. This extends the exact controllability for small data obtained in Chapter 3.

No description available.

En physique du transport, en particulier en physique du transfert radiatif, la méthode de Monte-Carlo a été développée à l'origine comme la simulation de l'histoire d'un grand nombre de particules, dont on déduit des observables moyennes. Cette méthode numérique doit son succès à plusieurs qualités : une gestion naturelle des espaces des phases aux nombreuses dimensions, une erreur systématique nulle par rapport au modèle physico-mathématique, les intervalles de confiance donnés avec les résultats, une capacité à prendre en compte simultanément de nombreux phénomènes physiques, la possibilité de calcul de sensibilités simultané, et une parallélisation aisée. En cinétique des gaz, les particules collisionnent entre elles et non pas avec un milieu extérieur ; on dit que leur transport est non-linéaire. Ces collisions mutuelles mettent en défaut l'approche évoquée ci-dessus de la méthode de Monte-Carlo ; car pour simuler des trajectoires indépendantes de multiples particules et ainsi estimer leur distribution, il faut connaître au préalable exactement cette même distribution...Cette thèse fait suite à celles de Jérémi DAUCHET (2012) et de Mathieu GALTIER (2014), consacrées au transfert radiatif. Entre autres travaux, ces auteurs montraient comment la méthode de Monte-Carlo peut s'accommoder de non-linéarités, en gardant son formalisme et ses spécificités habituelles. Les non-linéarités alors franchies étaient respectivement une loi de couplage chimie/luminance, et la dépendance de la luminance envers le coefficient d'absorption. On essaie dans ce manuscrit d'outrepasser la non-linéarité du transport. Pour cela, nos principaux outils sont un suivi des particules en remontant le temps, basé sur des formulations intégrales des équations de transport, formulations largement inspirées des algorithmes dits à collisions nulles. Nous montrons, sur plusieurs exemples académiques, que nous avons en effet étendu la méthode de Monte-Carlo à la résolution de l'équation de Boltzmann. Ces exemples sont aussi l'occasion de tester les limites de ce que nous avons mis en place. Les résultats les plus marquants sont certainement l'absence totale de maillage dans la méthode numérique, ainsi que sa capacité à calculer correctement les quantités de particules de haute énergie cinétique (toujours peu nombreuses par rapport au total, en cinétique des gaz). Au-delà des exemples fournis, ce manuscrit est voulu comme un essai de formalisme et une exploration des bases de la méthode développée. L'accent est mis sur les raisonnements menant à la mise au point de la méthode, plutôt que sur les implémentations particulières qui ont été abouties. La méthode est encore, aux yeux de l'auteur, largement susceptible d'être retravaillée. En particulier, les temps maximaux sur lesquels l'évolution des particules est calculable, qui constituent la faiblesse principale de la méthode numérique développée, peuvent sûrement être augmentés. / In transport physics, especially in radiative transfer physics, the Monte-Carlo method has been originally developed as the simulation of the history of numerous particles, from which are deduced mean observables. This numerical method owes its success to several qualities : a natural management of many-dimensional phase space, a null systematic error away from the mathematical and physical model, the confidence intervals given with the results, an ability to take into account simultaneously numerous physical phenomenons, the simultaneous sensitivities calculating possibility, and an easy parallelization. In gas kinetics, particles collide each other, not with an external fixed medium ; it is said that their transport is non-linear. These mutual collisions put out of action the aforesaid approach of the Monte-Carlo method ; because in order to simulate the independent trajectories of multiple particles and thus estimate their distribution, this distribution must beforehand be exactly known...This thesis follows on from those of Jérémy DAUCHET (2012) and of Mathieu GALTIER (2014), dedicated to radiative transfer physics. Between other works, these authors have shown how the Monte-Carlo method can bear non-linearities, while keeping its customary formalism and specificities. The then overcome non-linearities were respectively a chemistry/irradiance coupling law, and the dependence of the irradiance toward the absorption coefficient. We try in this manuscript to overcome the non-linearity of the transport. In this aim, our main tools are a reverse following of particles, based on integral formulations of the transport equations, formulations largely inspired from the so-called null collisions algorithms. We show, on several academic examples, that we have indeed extended the Monte Carlo method to the resolution of the Boltzmann equation. These examples are also occasions to test the limits of what we have built. The most noteworthy results are certainly the absence of any mesh in the numerical method, and its capacity to calculate correctly the high-speed particles quantities (always rare compared to the total, in gas kinetics). Beyond the given examples, this manuscript is wanted as a formalism attempt and an exploration of the developed method basics. The focus is made on the reasoning leading to the method, rather than on particular implementations which have been realized. In the eyes of the author, the method is still largely reworkable. In particular, the maximal times on which the evolution of particles is computable, which constitute the main weakness of the developed numerical method, can surely be increased.

L'imagerie par résonance magnétique de diffusion (IRMD) est une technique d'imagerie qui teste les propriétés diffusives d'un échantillon en le soumettant aux impulsions d'un gradient de champ magnétique. Plus précisément, elle détecte le mouvement de l'eau dû à la diffusion et s'avère donc être un outil puissant pour obtenir des informations sur la microstructure des tissus. Le signal acquis par le scanner IRM est une mesure moyennée sur un volume physique appelé voxel, dont la taille, pour des raisons techniques, est bien plus grande que l'échelle de variations microscopiques de la structure cellulaire. Ceci implique que les composants microscopiques des tissus ne sont pas visibles à la résolution spatiale de l'IRM et que les caractéristiques géométriques se trouvent agréger dans le signal macroscopique provenant du voxel. Une importante quantité mesurée par l'IRMD dans chaque voxel est le Coefficient de Diffusion Apparent (CDA) dont la dépendance au temps de diffusion est actée par de nombreuses expériences d'imagerie effectuées in vivo. Il existe dans la littérature un nombre important de modèles macroscopiques décrivant le CDA allant du plus simple au plus complexe (modèles phénoménologiques, stochastiques, géométriques, fondés sur des EDP, etc.), chacun étant valide sous certaines hypothèses techniques bien précises. Le but de cette thèse est de construire des modèles simples, disposant d'une bonne validité applicative, en se fondant sur une modélisation de la diffusion à l'échelle microscopique à l'aide d'EDP et de techniques d'homogénéisation.Dans un article antérieur, le modèle homogénéisé FPK a été déduit de l’EDP de Bloch-Torrey sous l'hypothèse que la perméabilité de la membrane soit petite et le temps de diffusion long. Nous effectuons tout d'abord une analyse de ce modèle et établissons sa convergence vers le modèle classique de Kärger lorsque la durée des impulsions magnétiques tend vers 0. Notre analyse montre que le modèle FPK peut être vu comme une généralisation de celui de Kärger, permettant la prise en compte de durées d'impulsions magnétiques arbitraires. Nous donnons aussi une nouvelle définition, motivée par des raisons mathématiques, du temps de diffusion pour le modèle de Kärger (celle impliquant la plus grande vitesse de convergence).Le CDA du modèle FPK est indépendant du temps ce qui entre en contradiction avec nombreuses observations expérimentales. Par conséquent, notre objectif suivant est de corriger ce modèle pour de petites valeurs de ce que l'on appelle des b-valeurs afin que le CDA homogénéisé qui en résulte soit sensible à la fois à la durée des impulsions et à la fois au temps de diffusion. Pour atteindre cet objectif, nous utilisons une technique d'homogénéisation similaire à celle utilisée pour le FPK, tout en proposant un redimensionnement adapté de l'échelle de temps et de l'intensité du gradient pour la gamme de b-valeurs considérées. Nous montrons, à l'aide de simulations numériques, l'excellente qualité de l'approximation du signal IRMD par ce nouveau modèle asymptotique pour de faibles b-valeurs. Nous établissons aussi (grâce à des développements en temps court des potentiels de surface associés à l'équation de la chaleur ou grâce à une décomposition de sa solution selon les fonctions propres) des résultats analytiques d'approximation du modèle asymptotique qui fournissent des formules explicites de la dépendance temporelle du CDA. Nos résultats sont en accord avec les résultats classiques présents dans la littérature et nous améliorons certains d'entre eux grâce à la prise en compte de la durée des impulsions. Enfin nous étudions le problème inverse consistant en la détermination d'information qualitative se rapportant à la fraction volumique des cellules à partir de signaux IRMD mesurés. Si trouver la distribution de sphères semble possible à partir de la mesure du signal IRMD complet, il nous est apparu que la mesure du seul CDA ne serait pas suffisante. / Diffusion magnetic resonance imaging (dMRI) is an imaging modality that probes the diffusion characteristics of a sample via the application of magnetic field gradient pulses. More specifically, it encodes water displacement due to diffusion and is then a powerful tool to obtain information on the tissue microstructure. The signal measured by the MRI scanner is a mean-value measurement in a physical volume, called a voxel, whose size, due to technical reasons, is much larger than the scale of the microscopic variations of the cellular structure. It follows that the microscopic components of the tissues are not visible at the spatial resolution of dMRI. Rather, their geometric features are aggregated into the macroscopic signal coming from the voxels. An important quantity measured in dMRI in each voxel is the Apparent Diffusion Coefficient (ADC) and it is well-established from imaging experiments that, in the brain, in-vivo, the ADC is dependent on the diffusion time. There is a large variety (phenomenological, probabilistic, geometrical, PDE based model, etc.) of macroscopic models for ADC in the literature, ranging from simple to complicated. Indeed, each of these models is valid under a certain set of assumptions. The goal of this thesis is to derive simple (but sufficiently sound for applications) models starting from fine PDE modelling of diffusion at microscopic scale using homogenization techniques.In a previous work, the homogenized FPK model was derived starting from the Bloch-Torrey PDE equation under the assumption that membrane's permeability is small and diffusion time is large. We first analyse this model and establish a convergence result to the well known K{"a}rger model as the magnetic pulse duration goes to 0. In that sense, our analysis shows that the FPK model is a generalisation of the K{"a}rger one for the case of arbitrary duration of the magnetic pulses. We also give a mathematically justified new definition of the diffusion time for the K{"a}rger model (the one that provides the highest rate of convergence).The ADC for the FPK model is time-independent which is not compatible with some experimental observations. Our goal next is to correct this model for small so called $b$-values so that the resulting homogenised ADC is sensitive to both the pulses duration and the diffusion time. To achieve this goal, we employed a similar homogenization technique as for FPK, but we include a suitable time and gradient intensity scalings for the range of considered $b$-values. Numerical simulations show that the derived asymptotic new model provides a very accurate approximation of the dMRI signal at low $b$-values. We also obtain some analytical approximations (using short time expansion of surface potentials for the heat equation and eigenvalue decompositions) of the asymptotic model that yield explicit formulas of the time dependency of ADC. Our results are in concordance with classical ones in the literature and we improved some of them by accounting for the pulses duration.Finally we explored the inverse problem of determining qualitative information on the cells volume fractions from measured dMRI signals. While finding sphere distributions seems feasible from measurement of the whole dMRI signal, we show that ADC alone would not be sufficient to obtain this information.

Cette thèse est constituée de deux parties complètement indépendantes.Dans une première partie, nous montrons que la paire de Fourier-Mukai (X,Y) issue de la correspondance double miroir Pfaffienne-Grassmannienne vérifie l'identité ([X]-[Y])L^6=0 dans l'anneau de Grothendieck, où L est la classe de la droite affine. Ce résultat est un raffinement d'un théorème de Borisov par la suppression d'un facteur, qui montre que la classe de la droite affine est un diviseur de zéro dans l'anneau de Grothendieck, et fournit par ailleurs un premier exemple intéressant de variétés D-équivalentes qui sont L-équivalentes. D'autres exemples ont par la suite été explicités par d'autres auteurs.Dans une seconde partie, nous nous intéressons au comportement d'invariants de théorie de Hodge par convolution intermédiaire, à la suite des travaux de Dettweiler et Sabbah. Le principal résultat concerne le comportement des données numériques locales de Hodge cycles proches à l'infini par convolution intermédiaire additive par un module de Kummer. Nous donnons également des formules pour les invariants locaux h^p et globaux delta^p sans faire l'hypothèse de monodromie scalaire à l'infini. De plus, à l'aide d'une relation de Katz reliant les convolutions additives et multiplicatives, nous explicitons le comportement des invariants de Hodge par convolution intermédiaire multiplicative. Enfin, le théorème principal permet de redémontrer un résultat de Fedorov sur les invariants de Hodge d'équations hypergéométriques. / This thesis consists of two independent parts.In a first part, we show that the Fourier-Mukai pair (X,Y) constructed from Pfaffian-Grassmannian double-mirror correspondence verifies the formula ([X]-[Y]) L^6=0 in the Grothendieck ring, where L is the class of affine line. This result is an improvement of a theorem of Borisov by removing a factor, which shows that the class of affine line is a zero divisor in the Grothendieck ring, and gives moreover a first interesting example of D-equivalent varieties which are L-equivalent. Other examples have later been made explicit by other authors.In a second part, we are interested in the behaviour of invariants in Hodge theory by middle convolution, following research of Dettweiler and Sabbah. The main result concerns the behaviour of the nearby cycle local Hodge numerical data in infinity by middle additive convolution by a Kummer module. We also give expressions for local invariant h^p and global delta^p without making the hypothesis of scalar monodromy in infinity. Besides, with a relation due to Katz linking up additive and multiplicative convolutions, we explain the behaviour of Hodge invariants by middle multiplicative convolution. Finally, the main theorem gives a new proof of a result of Fedorov on Hodge invariants of hypergeometric equations.

Cette thèse porte sur le problème de transport optimal incompressible, un problème introduit par Brenier à la fin des années 80 dans le but de décrire l’évolution d’un fluide incompressible et non-visqueux de façon lagrangienne, ou autrement dit en fixant l’état initial et l’état final de ce fluide, et en minimisant une certaine fonctionnelle sur un ensemble de dynamiques admissibles. Ce manuscrit contient deux parties.Dans la première, on étudie la dépendance du problème de transport optimal incompressible par rapport aux données. Plus précisément, on étudie la dépendance du champ de pression (le multiplicateur de Lagrange associé à la contrainte d’incompressibilité) par rapport à la mesure γ prescrivant l’état initial et l’état final du fluide. On montre au Chapitre 2 par des méthodes variationnelles que le gradient de la pression, en tant qu’élément d’un espace proche du dual des fonctions C^1, dépend de γ de façon hölderienne pour la distance de Monge-Kantorovic. En contrepartie, on montre au Chapitre 4 que pour tout r > 1, le champ de pression dans l'espace de Lebesgue L^r_t L^1_x ne peut pas être une fonction lipschitzienne de γ. Ce résultat est lié au caractère mal-posé de l’équation d’Euler cinétique, une équation cinétique s’interprétant comme l’équation d’optimalité dans le problème de transport optimal incompressible, à laquelle le Chapitre 3 de cette thèse est dédié.Dans une seconde partie, on s’intéresse à la régularisation entropique du problème de transport optimal incompressible, introduit par Arnaudon, Cruzeiro, Léonard et Zambrini en 2017 sous le nom de problème de Brödinger. On prouve au Chapitre 5 que comme dans le cas du transport optimal incompressible, on peut associer à toute solution un champ scalaire de pression agissant comme multiplicateur de Lagrange pour la contrainte d’incompressibilité. On montre ensuite au Chapitre 6 que lorsque le paramètre de régularisation tend vers zéro, le problème de Brödinger converge vers le problème de transport optimal incompressible au sens de la Γ-convergence, et avec convergence des champs de pression. Ce dernier chapitre est issu d'un travail effectué en collaboration avec L. Monsaingeon. / This thesis focuses on Incompressible Optimal Transport, a minimization problem introduced by Brenier in the late 80's, aiming at describing the evolution of an incompressible and inviscid fluid in a Lagrangian way , i.e. by prescribing the state of the fluid at the initial and final times and by minimizing some functional among the set of admissible dynamics. This text is divided into two parts.In the first part, we study the dependence of this optimization problem with respect to the data. More precisely, we analyse the dependence of the pressure field, the Lagrange multiplier corresponding to the incompressibility constraint, with respect to the endpoint conditions, described by a probability measure γ determining the state of the fluid at the initial and final times. We show in Chapter 2 by purely variational methods that the gradient of the pressure field, as an element of a space that is close to the dual of C^1, is a Hölder continuous function of γ for the Monge-Kantorovic distance. On the other hand, we prove in Chapter 4 that for all r>1 the pressure field, as an element of L^r_t L^1_x, cannot be a Lipschitz continuous function of γ for the Monge-Kantorovic distance. This last statement is linked to an ill-posedness result proved in Chapter 3 for the so-called kinetic Euler equation, a kinetic PDE interpreted as the optimality equation of the Incompressible Optimal Transport problem.In the second part, we are interested in the entropic regularization of the Incompressible Optimal Transport problem: the so-called Brödinger problem, introduced by Arnaudon, Cruzeiro, Léonard and Zambrini in 2017. On the one hand, we prove in Chapter 5 that similarly to what happens in the Incompressible Optimal Transport case, to a solution always corresponds a scalar pressure field acting as the Lagrange multiplier for the incompressibility constraint. On the other hand, we prove in Chapter 6 that when the diffusivity coefficient tends to zero, the Brödinger problem converges towards the Incompressible Optimal Transport problem in the sense of Gamma-convergence, and with convergence of the pressure fields. The results of Chapter 6 come from a joint work with L. Monsaingeon.

L’objet de cette thèse est l’étude des propriétés de stabilité et contrôle pour des systèmes linéaires écrits à l’aide d’équations aux dérivées partielles (EDP) ou d’équations à retard. Nous souhaitons exploiter dans cette thèse les liens qui existent entre ces deux classes de systèmes de dimension infinie afin de développer une nouvelle approche permettant leur analyse. En effet dans plusieurs applications, il est possible de choisir l’un ou l’autre de ces deux types de systèmes pour modéliser la dynamique considérée. Par exemple, les phénomènes de congestion dans un réseau routier peuvent être modélisés à l’aide d’EDP de type transport [JKC], mais aussi par un modèle à retard distribué [MMN] ou encore à retard discret [SN]. On peut également renvoyer aux travaux de Krstic [K] sur la formulation d’un système à retard comme un système EDP. Ces deux classes de systèmes sont des cas particuliers de systèmes de dimension infinie, et contrairement aux cas de systèmes de dimension finie, on parle de fonctions d’état plutôt que vecteur d’état. Cela implique que l’analyse associée est plus délicate et fait appel à des outils dédiés. Dans le cadre de la thèse, l’étudiant se focalisera sur les approches basées sur une extension du théorème de Lyapunov pour les systèmes de dimension infinie utilisant des fonctionnelles spécifiques. Comme pour la modélisation, l’analyse de stabilité des systèmes à retard ou de type EDP peut être menée à l’aide de fonctionnelles de Lyapunov très similaires. Nous souhaitons que cette thèse tire parti des travaux existants dans les deux communautés sur les systèmes à retards et de type EDP pour développer une approche novatrice et unifiée pour l’analyse et le contrôle de systèmes de dimension infinie. Pour cela, le candidat s’appuiera sur ses acquis en automatique et en mathématiques ainsi que sur l’expertise des deux encadrants. Plusieurs contributions sont attendues durant la thèse. Dans un premier temps, il sera question d’étendre des résultats récents [SG1,2] développés pour l’analyse de stabilité des systèmes à retards au cas de systèmes régis par des EDP. Ces premiers résultats auront vocation à servir de base pour l’étude de la synthèse de commandes robustes dans le cadre d’applications telles que le contrôle de trafic routier [MMN], le contrôle de vibration [RBPA], etc… Cette thèse en automatique requiert plusieurs compétences parmi lesquelles des connaissances sur la théorie de Lyapunov pour les systèmes avec ou sans retard, sur les inégalités matricielles linéaires tout en s’appuyant sur les outils de mathématiques appliquées pour l’étude des équations aux dérivées partielles (algèbre linéaire, analyse fonctionnelle, espaces de Hilbert, de Sobolev). / The purpose of this thesis is the study of stability and control properties for linear systems described by partial differential equations (PDE) or delay differential equations. We wish to use in this thesis the relationship between these two classes of infinite-dimensional systems in view of developing a new paradigm for their analysis. Indeed, in many applications, it is possible to choose one or the other of these two classes of systems to model the dynamics of the system under consideration. For example, traffic flow can be modeled using PDE type of transportation [JKC], but also by a distributed delay model [SMP] or discrete delay [SN]. We may also refer to the work of Krstic [K] on the formulation of a delay system as an PDE system. These two classes of systems are special cases of infinite dimensional systems, unlike the case of finite-dimensional systems, we better called state functions rather than the state vector. This implies that the analysis is more delicate and refers to the use of dedicated tools. As part of the thesis, the student will focus on approaches based on an extension of Lyapunov theorem for infinite dimensional systems using specific functional. As for the modeling process, the stability analysis of delayed or PDE type systems can be conducted using very similar Lyapunov functionals. We hope that this thesis builds on existing work in the two communities on delay systems and PDE to develop an innovative and unified approach to the analysis and control of infinite dimensional systems. To do so, the candidate will build on its skills in automatic and mathematics as well as the on from expertise of both supervisors. Several contributions are expected during the thesis . Initially, we aim at extedning recent results [SG13,14] developed in the context of the stability analysis of delay systems to the case of systems governed by PDE. These first results will provide the basis for the design of robust control laws for various applications including traffic control, vibration control, etc ... Cette thèse portera sur l’étude des propriétés de stabilité et de contrôle des systèmes linéaires de dimension infinie, plus particulièrement écrits à l’aide d’EDP ou d’équations à retard. L’intérêt naturel pour l’étude de cette classe de systèmes à la frontière entre mathématiques appliquées et automatique connaît un succès grandissant de part la large gamme d’applications en contrôle pouvant être décrites par ces modèles : en ingénierie, biologie, informatique… L’émulation scientifique entre systèmes à retard et systèmes de type EDP permettra en outre à cette thèse de tirer parti des méthodes et outils propres à chacun des ces domaines. This PhD proposal in automatic control requires several skills including knowledge on Lyapunov theory for systems with or without delay , on linear matrix inequalities while relying on mathematical tools applied in the study of partial differential equations ( linear algebra functional analysis , Hilbert spaces , Sobolev) .