Spelling suggestions: "subject:"opérateurs dde trouville"" "subject:"opérateurs dde liouville""
1 |
Etude spectrale d'opérateurs de Sturm-Liouville et applications à la contrôlabilité de problèmes paraboliques discrets et continus / Study of spectral properties of Sturm Liouville operators and applications in null controllability of discretized and continuous parabolic problemsAllonsius, Damien 26 September 2018 (has links)
Dans cette thèse, nous étudions la contrôlabilité à zéro de quelques systèmes paraboliques continus et semi-discrétisés. Nous considérons tout d'abord des systèmes en cascade d'équations paraboliques de la forme ∂t −(∂xγ∂x +q). La variable spatiale évolue dans un intervalle réel borné et ce système est semi-discrétisé en espace par un schéma aux différences finies. En appliquant la méthode des moments, nous démontrons des résultats de contrôlabilité à zéro et de φ(h) contrôlabilité à zéro, suivant les hypothèses formulées sur le maillage et les fonctions γ et q. Puis nous étendons ces résultats lorsque la variable d'espace évolue dans un domaine cylindrique, la zone de contrôle se situant dans une partie d'une section au bord du cylindre. Ce domaine cylindrique se décompose en un produit de deux espaces. Sur le premier, de dimension 1, nous appliquons les résultats décrits précédemment. Sur le second, nous appliquons la méthode de Lebeau-Robbiano. Cette approche permet à la fois de montrer que le problème discrétisé est φ(h) contrôlable à zéro et de retrouver un résultat de contrôlabilité à zéro sur le système continu. Dans une autre partie, nous nous intéressons au temps minimal de contrôle à zéro de l'équation de Grushin posée sur un domaine rectangulaire dont le domaine de contrôle est une bande verticale. L'étude se ramène à une infinité dénombrable, indexée par le paramètre de Fourier $n$, de problèmes de contrôle à zéro d'équations paraboliques, traitée, ici encore, à l'aide de la méthode des moments. / In this thesis, we study the null controllability of some continous and semi discretized parabolic systems. We first consider cascade systems of parabolic equations of the form ∂t −(∂xγ∂x +q). The space variable belongs to a real and bounded interval and this system is semi-discretized in space by a finite differences scheme. Applying the so called moments method, we prove null controllability and φ(h) null controllability results, depending on the hypotheses on the mesh and on functions γ and q. Then, we extend this results when the space variable belongs to a cylindrical domain which control zone is in a section at the border of the cylinder. This cylindrical domain is decomposed into a product of two spaces. On the first, of dimension 1, we apply the results described previously. On the second, we use the Lebeau-Robbiano's procedure. In this framework, we prove φ(h) null controllability results on the discretized domain as well as null controllability results on the continous problem. In another section, we investigate the computation of minimal time of null controllability of Grushin's equation defined on a rectangular domain which control region is a vertical strip. This problem of control amounts to study a countably infinite family, indexed by the Fourier parameter $n$, of null control problems of parabolic equations, tackled, once again, with the moments method.
|
2 |
Observation et contrôle de quelques systèmes conservatifs / Observation and control for some conservative systemsLiard, Thibault 04 November 2016 (has links)
Dans cette thèse, nous nous intéressons à la contrôlabilité interne et à son coût pour une ou plusieurs équations aux dérivées partielles conservatives. ?Dans la première partie, nous introduisons et détaillons deux méthodes permettant d'estimer le coût du contrôle (et par dualité, de la constante d'observabilité) de l'équation des ondes avec potentiel $l^{\infty}$ en dimension un d'espace. La première utilise la propagation des ondes le long des caractéristiques en s'appuyant sur le rôle symétrique de la variable de temps et d'espace. La deuxième méthode repose sur la décomposition spectrale de l'équation des ondes et sur l'utilisation des inégalités d'ingham. L'estimation de la constante d'observabilité se ramène alors à l'étude d'un problème d'optimisation faisant intervenir les vecteurs propres du laplacien-dirichlet avec potentiel. Nous fournissons ensuite des propriétés qualitatives sur le minimiseurs ainsi qu'une estimation du minimum ne dépendant que de la mesure de l'ensemble d'observation. ?Dans la deuxième partie, nous étudions la contrôlabilité de certains systèmes d'équations avec un nombre de contrôles réduits, autrement dit le nombre de contrôles est plus petit que le nombre d'équations. En particulier, nous caractérisons exactement les données initiales qui peuvent être contrôlées pour des systèmes d'équations couplées de type schrödinger et nous énonçons une condition nécessaire et suffisante de type kalman pour des systèmes d'équations des ondes couplées. La preuve repose sur une méthode de contrôle fictif combinée à la résolution algébrique d'un système sous-déterminé et sur certains résultats de régularité. / In this work, we focus on the internal controllability and its cost for some linear partial differential equations. In the first part, we introduce and describe two methods to provide precise estimates of the cost of control (and by duality, of the observability constant) for general one dimensional wave equations with potential. The first one is based on a propagation argument along the characteristics relying on the symmetrical roles of the time and space variables. The second one uses a spectral decomposition of the solution of the wave equation and ingham's inequalities. This relates the estimation of the observability constant to the study of an optimal problem involving dirichlet eigenfunctions of laplacian with potential. We provide some qualitative properties of the minimizers, and also precise bounds on the minimum. In the second part, we are concerned with the controllability of some systems of equations by a reduced number of controls (i.e. the number of controls is less that the number of equations). In particular, in the case of coupled systems of schrödinger equations, we exactly characterize the initial conditions that can be controlled and we give a necessary and sufficient condition of kalman type for the controllability of coupled systems of wave equations. The proof relies on the fictitious control method coupled with the proof of an algebraic solvabilityproperty for some related underdetermined system, as well as on some regularity results.
|
Page generated in 0.0945 seconds