Contrôle optimal et métriques de Clairaut-Liouville avec applications

Optimal control and Clairaut-Liouville metrics with 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
• Jury : Examinateurs / Examinatrices : Emmanuel Trélat, Jean-Baptiste Caillau
• Jury : Rapporteurs / Rapporteuses : Monique Chyba, Jean-Baptiste Pomet

Mots clés

Mots clés contrôlés

Géodésiques (mathématiques)

Commande, Théorie de la

Principes du maximum (mathématiques)

Géométrie de Riemann

Mots clés libres

Contrôle optimal géométrique

Chaînes de spins de type Ising

Métriques de Liouville

Métrique pseudo-riemannienne

Lieu conjugué

Lieu de coupure

Geometric optimal control

Ising chains of spins

Liouville metrics

Almost-Riemannian geometry

Conjugate Locus

Cut Locus

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.

The work of this thesis is about the study of the conjugate and cut loci of 2D riemannian or almost-riemannian metrics. We take the point of view of optimal control to apply the Pontryagin Maximum Principle in the purpose of characterize the extremals of the problem considered.We use geometric, numerical and integrability methods to study some Liouville and Clairaut-Liouville metrics on the sphere. In the degenerate case of revolution, the study of the ellipsoid uses geometric methods to fix the cut locus and the nature of the conjugate locus in the oblate and prolate cases. In the general case, extremals will have two distinct type of comportment which correspond to those observed in the revolution case, and are separated by those which pass by umbilical points. The numerical methods are used to find quickly the Jacobi's Last Geometric Statement : the cut locus is a segment and the conjugate locus has exactly four cusps.The study of an almost-riemannian metric comes from a quantum control problem in which the aim is to transfer in a minimal time the state of one spin through an Ising chain of three spins. After reduction, we obtain a metric with a second first integral so it can be written in the Liouville normal form, which leads us to the equations of geodesics. Outside the particular case of Grushin, of which the caustic is described, we use numerical methods to study the conjugate locus and the cut locus in the general case.