Thèse soutenue

Contrôle bilinéaire d’équations d’évolution

FR  |  
EN
Auteur / Autrice : Cristina Urbani
Direction : Piermarco CannarsaFatiha Alabau-Boussouira
Type : Thèse de doctorat
Discipline(s) : Mathématiques
Date : Soutenance le 22/05/2020
Etablissement(s) : Sorbonne université en cotutelle avec Gran Sasso Science Institute (L'Aquila, Italie)
Ecole(s) doctorale(s) : École doctorale Sciences mathématiques de Paris centre (Paris ; 2000-....)
Partenaire(s) de recherche : Laboratoire : Laboratoire Jacques-Louis Lions (Paris ; 1997-....)
Jury : Président / Présidente : Mario Sigalotti
Examinateurs / Examinatrices : Karine Beauchard, Michele Palladino, Elisabetta Rocca
Rapporteur / Rapporteuse : Olivier Glass, Monica Conti

Résumé

FR  |  
EN

La thèse est consacrée à l'étude de la stabilisation et de la contrôlabilité des équations d'évolution u'(t) + Au (t) + p (t) Bu (t) = 0 au moyen d'un contrôle bilinéaire ''p''. Les contrôles bilinéaires sont des coefficients de l'équation qui multiplient la variable d’état et permettent de décrire des processus qui modifient leurs principaux paramètres en présence d'un contrôle. Nous présentons d'abord un résultat de stabilisation rapide des équations paraboliques vers l’état fondamental par contrôle bilinéaire avec un taux de convergence doublement exponentiel. Sous des hypothèses plus fortes sur le potentiel B, nous montrons des résultats de contrôlabilité exacte locale et globale en temps arbitrairement petit. Nous appliquons ces résultats abstraits à différents types d’EDP comme l’équation de la chaleur, ou des équations paraboliques avec coefficients non constants.Nous montrons ensuite un résultat de contrôlabilité exacte locale de l'équation des ondes dégénérées basé sur une analyse des propriétés spectrales de l'opérateur dégénéré elliptique.Puis nous présentons une méthode de construction d'opérateurs multiplicatifs B vérifiant les hypothèses suffisantes requises pour les résultats de contrôlabilité ou de stabilisation basés sur la méthode des moments. Cette méthode conduit à des algorithmes constructifs de familles explicites infinies de tels opérateurs B. Nous démontrons de nouveaux résultats de contrôlabilité locale pour l'équation de Schrödinger avec des conditions aux limites hybrides. Nous donnons également des applications de notre méthode aux équations paraboliques avec des résultats de contrôles bilinéaires explicites par rapport aux opérateurs B.