Etude de l'équation de Korteweg-de Vries en variables lagrangiennes et sa contrôlabilité, stabilisation rapide d'une équation de Schrödinger et méthodes spectrales pour le calcul du contrôle optimal
Cette thèse est consacrée la contrôlabilité lagrangienne, l'étude du champ de vitesse de l'Équation de Korteweg-de Vries, le problème de stabilisation rapide d'une équation aux dérivées partielles linéaires et aux méthodes numériques permettant d'obtenir la convergence des contr...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | fr en |
| Published: |
2016
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2016PA066395/document |
| Summary: | Cette thèse est consacrée la contrôlabilité lagrangienne, l'étude du champ de vitesse de l'Équation de Korteweg-de Vries, le problème de stabilisation rapide d'une équation aux dérivées partielles linéaires et aux méthodes numériques permettant d'obtenir la convergence des contrôles numériques vers les contrôles optimaux. Dans la première partie, on montre, l'aide de la solution de N-solitons de l'équation de Korteweg-de Vries, qu'il est possible de faire sortir des particules du fluide l’extérieur d'un domaine déterminé en temps arbitrairement petit. Une meilleure approximation du champ de vitesse associée la solution de N-solitons est également présentée, permettant de retrouver en particulier une propriété typique des trajectoires des particules soumises des ondes solitaires : les particules situées plus haut dans le fluide ont un plus grand déplacement. Dans la deuxième partie, la stabilisation rapide d'une équation de Schrödinger est obtenue grâce une méthode inspirée du backstepping en dimension infinie. Une équation de Schrödinger stable est considérée comme l'image d'une transformation ayant comme domaine de définition les solutions de l'équation de Schrödinger stabilisé. La stabilisation de l'équation de Schrödinger est obtenue en montrant l'inversibilité de la transformation. La nouveauté du travail présentée est l'introduction d'une condition d’unicité sur la transformation. Finalement, un filtre spectral, une formulation mixte et une formulation de Nitsche sont proposées comme technique afin d'obtenir numériquement l’observabilité uniforme de l'équation des ondes semi-discrétisée avec une méthode spectrale de Legendre-Galerkin. Une étude numérique de la convergence des contrôles numériques sans l’admissibilité uniforme de l’opérateur de contrôle est également présentée. === This thesis is devoted to the Lagrangian controllability and the analysis of the particle trajectories for the Korteweg-de Vries equation, to the rapid stabilization problem of the bilinear Schrödinger equation and to the convergence of the numerical controls of the wave equation. In the first part, we prove that the N-solitons solution of the Korteweg-de Vries equation allows one to move the particles outside an arbitrarily long domain in an arbitrarily small time. A higher approximation of the velocity field associated to the N-soliton is also presented, allowing to recover a typical property of solitary waves: the higher the particle is located in the fluid, the greater its displacement. These results are of a nonlinear nature since there exists no linear approximation of solitons. In the second part, inspired by the backstepping method, the rapid stabilization of a linearized Schrödinger equation is obtained. The proof consists to prove the invertibility of a transformation mapping the equation to stabilize to a stable linearized Schrödinger equation. The key ingredient of this proof is the introduction of a uniqueness condition. In the last part, a spectral filter, a mixed method and the Nitsche's method are proposed as a remedy to the lack of uniformness of the discrete observability constant for the Legendre-Galerkin semi-discretization of the wave equation. A numerical study of the convergence of the numerical controls is also presented. |
|---|