Boundary null controllability of some multi-dimensional linear parabolic systems by the moment method

Abstract

In this article we study the null controllability of some abstract linear parabolic systems in tensor product spaces. This special structure allows us to reduce our controllability problem to a particular set of equations that looks like a moment problem, but that does not fall into the previous existing results of the literature.We transform this non standard moment problem into an infinite family of more usual moment problems, yet coupled one from each other. This reformulation is done with enough care to ensure that the resulting set of equations can be solved, with suitable estimates, by using the recent "block moment method". This is based on a careful analysis of the spectral structure of the underlying operator.We notably apply our abstract result to show how strong the influence of geometry can be: we provide an example of boundary controlled parabolic system on a rectangle domain which is null controllable in arbitrary small time if two perpendicular faces of the boundary are controlled, whereas it is never null controllable if the control acts on only one face.Résumé. -Dans cet article nous étudions la contrôlabilité à zéro d'une classe de systèmes paraboliques linéaires abstraits dans des produits tensoriels. Cette structure particulière nous permet de réduire la question de la contrôlabilité à un ensemble particulier d'équations qui ressemble à un problème de moments, mais qui ne relève pas des résultats existants de la littérature.Nous transformons ce problème de moments non standard en une famille infinie de problèmes de moments usuels, mais couplés entre eux. Cette reformulation est choisie avec soin pour que le nouveau système obtenu puisse être résolu, avec des bonnes estimations des solutions, en utilisant la méthode des moments par blocs développée récemment. Tout ce travail est basé sur une analyse spectrale minutieuse de l'opérateur sous-jacent.Nous appliquons notamment ce résultat abstrait pour montrer que la position du domaine de contrôle pour un problème de contrôle au bord de deux équations de la chaleur couplées peut être déterminante: nous donnons un exemple explicite