Contrôlabilité exacte d'équations dispersives issues de la mécanique.
Résumé
In this thesis, we study the exact controllability of two dispersive equations, the Korteweg-de Vries equation and the "good" Boussinesq equation. First, for the Korteweg-de Vries equation, we extend a result of Rosier. We prove that for a critical length, the nonlinear equation is exactly controllable in a neighborhood of a small non null stationary solution. This study uses the Hilbert Uniqueness Method with the multiplier theory and a fixed point theorem. Secondly, we study the exact controllability of the "good" Boussinesq equation with two different boundary controls. We use again the Hilbert Uniqueness Method but with Ingham inequality. Lastly, we apply this method for a numerical approach of the controllability of the Boussinesq equation both for linear and nonlinear equations. The control is applied to the second spatial derivative, at the right endpoint.
Le sujet principal de cette thèse est l'étude de la contrôlabilité exacte de deux équations dispersives, l'équation de Korteweg-de Vries et la "bonne" équation de Boussinesq. En ce qui concerne l'équation de Korteweg-de Vrie, on étend un résultat de Rosier en montrant la contrôlabilité exacte en tout temps de l'équation non linéaire autour d'une solution stationnaire proche de zéro mais non nulle, ce pour des longueurs de domaine spatial critiques. Cette démonstration utilise en particulier la méthode d'unicité hilbertienne couplée avec la méthode des multiplicateurs et un théorème de point fixe. Ensuite, nous étudions le problème de la contrôlabilité exacte de l'équation de Boussinesq pour deux contrôles différents. On utilise également la méthode d'unicité hilbertienne pour ces problèmes en appliquant une inégalité de Ingham. On obtient ainsi un résultat de contrôlabilité exacte pour des temps arbitrairement petits. Nous implémentons ensuite cette méthode de facon numérique pour l'équation de Boussinesq avec un contrôle portant sur la dérivée seconde a droite, tant sur le problème linéaire que non linéaire.