Contrôlabilité d'équations aux dérivées partielles non linéaire

Controllability of nonlinear partial differential equations

• Auteur / Autrice : Mégane Bournissou
• Direction : Karine Beauchard, Frédéric Marbach
• Type : Thèse de doctorat
• Discipline(s) : Mathématiques
• Date : Soutenance le 30/06/2022
• Etablissement(s) : Rennes, École normale supérieure
• Ecole(s) doctorale(s) : École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes)
• Partenaire(s) de recherche : Laboratoire : Université de Rennes - École normale supérieure - Rennes - Institut de Recherche Mathématique de Rennes
• Jury : Président / Présidente : Sylvain Ervedoza
• Jury : Examinateurs / Examinatrices : Jean-Michel Coron, Hoai-Minh Nguyen
• Jury : Rapporteurs / Rapporteuses : Mario Sigalotti, Marius Tucsnak

Mots clés

Mots clés contrôlés

Schrödinger, Équation de

Théorie du contrôle

Équations aux dérivées partielles

Mots clés libres

Théorie du contrôle

Équations aux dérivées partielles

Contrôlabilité exacte

Contrôle bilinéaire

Équation de Schrödinger

Développement de la solution

Control theory

Partial differential equations

Exact controllability

Bilinear control

Schrödinger equation

Power series expansion

Résumé

Cette thèse est consacrée au contrôle de l'équation de Schrödinger sur un intervalle borné, avec des conditions de bord de Dirichlet et un contrôle agissant de manière bilinéaire. On étudie sa contrôlabilité autour de l'état fondamental lorsque le système linéarisé n'est pas contrôlable. Plus précisément, on se demande de quelle façon les termes quadratiques et cubiques du développement de la solution peuvent aider ou non à récupérer la contrôlabilité perdue au linéaire. D'abord, pour tout entier positif n, on formule des hypothèses sous lesquelles le terme quadratique induit une dérive pour la dynamique non linéaire, quantifiée par la norme H^{-n} du contrôle, empêchant la contrôlabilité locale en temps petit (STLC) pour des contrôles petits en norme H^{2n-3}. Ensuite, on montre au contraire que, pour des contrôles petits dans des espaces moins réguliers, le terme cubique permet de récupérer la contrôlabilité perdue au linéaire, malgré la dérive. La preuve s'inspire de la méthode de Sussmann pour prouver la condition suffisante S(theta) de STLC pour les équations différentielles. Cependant, on utilise une stratégie globale différente s'appuyant sur un nouveau concept de vecteur tangent, plus adapté au cadre de la dimension infinie. Cela nécessite d'établir un résultat de STLC en projection avec des estimations simultanées du contrôle dans des normes faibles, ce qui fait l'objet d'une troisième partie.

This thesis is devoted to the control of the Schrödinger equation, on a bounded interval, with Dirichlet boundary conditions and bilinear control. We study its controllability around the ground state when the linearized system is not controllable. More precisely, we study to what extent the quadratic and cubic terms of the expansion of the solution can help to recover the directions lost at the linear level.First, for any n 2 N, we formulate assumptions under which the quadratic term induces a drift in the nonlinear dynamics, quantified by the H−n-norm of the control, preventing small-time local controllability (STLC) for controls small in the H2n−3-norm. In a second part, we prove on the contrary that for controls small in less regular spaces, the cubic term enables us to recover the controllability lost at the linear level, despite the drift. The proof is inspired by Sussmann’s method to show the sufficiency of the S() condition for STLC in finite dimension. However, it uses a different global strategy relying on a new concept of tangent vector, better adapted to an infinitedimensional framework. This requires to establish a STLC in projection result, with simultaneous estimates of weak norms of the control, which is done in a third part.