Contrôle optimal et métriques de Clairaut-Liouville avec applications
Auteur / Autrice : | Lionel Jassionnesse |
Direction : | Bernard Bonnard |
Type : | Thèse de doctorat |
Discipline(s) : | Mathématiques |
Date : | Soutenance le 24/11/2014 |
Etablissement(s) : | Dijon |
Ecole(s) doctorale(s) : | École doctorale Carnot-Pasteur (Besançon ; Dijon ; 2012-....) |
Partenaire(s) de recherche : | Laboratoire : Institut de Mathématiques de Bourgogne (IMB) (Dijon) - INRIA Sophia Antipolis - McTAO |
Jury : | Président / Présidente : Juliette Leblond |
Examinateurs / Examinatrices : Emmanuel Trélat, Jean-Baptiste Caillau | |
Rapporteurs / Rapporteuses : Monique Chyba, Jean-Baptiste Pomet |
Résumé
Le travail de cette thèse porte sur l'étude des lieux conjugué et de coupure de métriques riemanniennes ou pseudo-riemanniennes en dimension 2. On se place du point de vue du contrôle optimal pour appliquer le principe du maximum de Pontryagin afin de caractériser les extrémales des problèmes considérés.On va utiliser des méthodes géométriques, numériques et d'intégrabilité pour étudier des métriques de Clairaut-Liouville ou de Liouville sur la sphère. Dans le cas dégénéré de révolution, l'étude de l'ellipsoïde utilise des méthodes géométriques pour déterminer le lieu de coupure et la nature du lieu conjugué dans les cas oblat et prolat. Dans le cas général, les extrémales auront deux types de comportements distincts qui se rapportent à ceux observés dans le cas de révolution, et sont séparés par celles passant par des points ombilicaux. Les méthodes numériques sont utilisées pour retrouver rapidement la dernière conjecture géométrique de Jacobi : le lieu de coupure est un segment et le lieu conjugué contient quatre points de rebroussement.L'étude d'une métrique pseudo-riemannienne vient d'un problème de contrôle quantique où le but est de transférer en temps minimal l'état d'un spin à travers une chaîne de trois spins couplés par des interactions de type Ising. Après réduction, la métrique obtenue possède une intégrale première supplémentaire et on peut donc la mettre sous forme de Liouville, ce qui nous donne les équations des géodésiques. En dehors du cas particulier de Grushin, dont la caustique est décrite, on utilise les méthodes numériques pour étudier le lieu conjugué et le lieu de coupure dans le cas général.