Contrôle frontière, stabilisation et synchronisation pour des systèmes de lois de bilan en dimension un d'espace

Boundary controllability, stabilization and synchronization for 1-D hyperbolic balance laws

• Auteur / Autrice : Long Hu
• Direction : Jean-Michel Coron, Daqian Li
• Type : Thèse de doctorat
• Discipline(s) : Mathématiques Appliquées
• Date : Soutenance le 16/08/2015
• Etablissement(s) : Paris 6 en cotutelle avec Université de Fudan (Shanghai, Chine)
• Ecole(s) doctorale(s) : École doctorale Sciences mathématiques de Paris centre (Paris ; 2000-....)
• Partenaire(s) de recherche : Laboratoire : Laboratoire Jacques-Louis Lions / LJLL
• Jury : Examinateurs / Examinatrices : Fatiha Alabau-Boussouira, Georges Bastin, Shige Peng, Bopeng Rao, Emmanuel Trélat, Yi Zhou

Mots clés

Mots clés contrôlés

Systèmes hyperboliques

Équations d'onde

Mots clés libres

Contrôlabilité exacte frontière

Stabilisation frontière

Synchronisation frontière

Systèmes hyperboliques de lois de bilan 1-D

Systèmes d'équations des ondes couplées

Exact boundary controllability

Boundary stabilization

Résumé

Cette thèse est consacrée à trois sujets dans le domaine du contrôle, qui sont la contrôlabilité exacte frontière, la stabilisation frontière et la synchronisation exacte frontière, des systèmes hyperboliques de lois de bilan. Pour la partie sur la contrôlabilité exacte frontière, on améliore le temps de contrôlabilité exacte pour les systèmes hyperboliques de lois de conservation pour des conditions aux limites générales. On montre aussi que ce temps est optimal. En ce qui concerne les systèmes hyperboliques couplés avec une vitesse caractéristique nulle, nous prouvons que l'on n'a pas la contrôlabilité exacte, même avec des couplages internes dans les équations. Cependant, on montre que l'on peut stabiliser les systèmes par les lois de rétroaction à la frontière du domaine. Dans la deuxième partie, nous nous intéressons à la stabilisation frontière des systèmes hyperboliques de lois de bilan. En utilisant une approche "backstepping", on montre comment stabiliser des systèmes d'abord dans les cas linéaires puis dans les cas quasi-lin éaires. La troisième partie concerne la synchronisation exacte frontière. Nous rappelons d'abord les résultats de contrôlabilité et d'observabilité exacte frontière pour les systèmes couplés d' équations des ondes quasi-linéaires. Puis nous introduisons plusieurs types de synchronisations pour un système d' équations des ondes linéaires, puis quasi-linéaires, couplées avec des conditions aux limites de type Dirichlet, de type Neumann, de type Robin et de type dissipatif dans le cadre de solutions de classe C2. Nous montrons que toutes ces synchronisations peuvent être réalisées en imposant peu de contrôles aux frontières.

This thesis is devoted to three topics in the control field, namely, exact boundary controllability, boundary stabilization and exact boundary synchronization, for hyperbolic systems of balance laws. For the exact boundary controllability part, we first improve the boundary control time for hyperbolic systems of conservation laws with general boundary conditions and show that this control time is sharp. Then for a coupled hyperbolic system with zero characteristic speed, we prove that it is impossible to achieve the corresponding exact boundary controllability even with inner couplings in the equation. However, one can stabilize the system in infinite time by means of boundary feedback laws. For the boundary stabilization part, we show how to stabilize both the n×n linear and quasilinear hyperbolic systems by means of one-sided closed-loop boundary controls. For that a backstepping method is developed. For the exact boundary synchronization part, we first recall both the exact boundary controllability and observability results for coupled systems of quasilinear wave equations. Then several kinds of exact synchronizations are introduced for a coupled system of 1-D linear and quasilinear wave equations with boundary conditions of Dirichlet type, Neumann type, coupled third type and coupled dissipative type in the framework of C2 solutions. We show that all these synchronizations can be realized by means of few boundary controls.