Discontinuous Hamilton-Jacobi equations and parabolic regularity à la De Giorgi
Équations de Hamilton-Jacobi discontinues et régularité parabolique à la De Giorgi
Résumé
This thesis contains two parts. The first part is devoted to the study of first order Hamilton-Jacobi equations. These equations appear in optimal control and enable to model road traffic, superconductivity and interface motion problems. The first chapter of the thesis presents an equivalence result of state constraint boundary conditions. Three equivalent formulations of these conditions are obtained. In particular, it can be inferred that the existence and uniqueness results valid for one of the three formulations are valid for all three. The second chapter deals mainly with an equivalence result of dynamic boundary conditions; it is completed by a result of uniqueness for this problem. By considering the equivalence relation "to have the same solutions", boundary conditions (satisfied in a weak sense) can be grouped into equivalence classes. We show that in each class there is a single condition verified in a strong sense. The third chapter is devoted to the study of a monotone finite difference scheme for a Hamilton-Jacobi equation on a junction. A junction is a network formed by a single node and a finite number of infinite edges. The convergence of the scheme towards the single solution was shown by Costesèque, Lebacque, Monneau in the case of a "minimal flux-limited" type junction condition. We will present a convergence result for a general junction condition, as well as an error estimate in the case of a "fluxlimited" (not necessarily minimal) junction condition. A second part deals with Hölder regularity for a large class of parabolic equations with rough coefficients using the method introduced by De Giorgi in 1957. The fourth chapter contains a quantitative result of one main steps of De Giorgi’s method: the intermediate value lemma. This lemma quantifies (in measure) the fact that solutions of these equations cannot make a jump between two numerical values. Two quantitative versions of this lemma are presented.
Cette thèse est constituée de deux parties. Une première partie est consacrée à l’étude des équations de Hamilton-Jacobi du premier ordre. Ces équations apparaissent en contrôle optimal et permettent de modéliser des problèmes de trafic routier, de supraconductivité et de mouvements d’interface. Le premier chapitre de la thèse présente un résultat d’équivalence de conditions au bord de type contraintes d’état. On obtient l’équivalence de trois formulations de ces conditions au bord. Ceci permet notamment de déduire que les résultats d’existence et d’unicité valables pour l’une des trois formulations sont valables pour les trois. Le second chapitre porte principalement sur un résultat d’équivalence de conditions au bord de type dynamique ; il est complété par un résultat d’unicité pour ce problème. En considérant la relation «avoir les mêmes solutions», on peut regrouper les conditions aux limites (vérifiées en un sens faible) en classe d’équivalence. Nous montrons que dans chaque classe il y a une unique condition vérifiée en un sens fort. Le troisième chapitre est consacrée à l’étude d’un schéma monotone aux différences finies pour une équation de Hamilton-Jacobi posée sur une jonction. Une jonction est un réseau formé d’un seul noeud et d’un nombre fini d’arrêtes infinies. La convergence du schéma vers l’unique solution a été montrée par Costesèque, Lebacque, Monneau dans le cas d’une condition de jonction de type «flux limité minimal». Nous présenterons un résultat de convergence pour une condition de jonction générale, ainsi qu’une estimation d’erreur dans le cas d’une condition de jonction de type «flux limité» (pas forcément minimal). Une seconde partie porte sur la régularité höldérienne pour une large classe d’équations paraboliques à coefficients peu réguliers par la méthode introduite par De Giorgi en 1957. Le quatrième chapitre contient un résultat quantitatif d’une des deux grandes étapes de la méthode de De Giorgi : le lemme des valeurs intermédiaires. Ce lemme permet de quantifier (en mesure) le fait que les solutions de ces équations ne peuvent pas faire de saut entre deux valeurs numériques. Deux versions quantitatives de ce lemme sont présentées.
| Origine | Version validée par le jury (STAR) |
|---|
Loading...