In this paper, we consider the well-known Fattorini's criterion for approximate controllability of infinite dimensional linear systems of type y′ = Ay + Bu. We precise the result proved by Fattorini in [H.O. Fattorini, SIAM J. Control 4 (1966) 686-694.] for bounded input B, in the case where B can be unbounded or in the case of finite-dimensional controls. More precisely, we prove that if Fattorini's criterion is satisfied and if the set of geometric multiplicities of A is bounded then approximate controllability can be achieved with finite dimensional controls. An important consequence of this result consists in using the Fattorini's criterion to obtain the feedback stabilizability of linear and nonlinear parabolic systems with feedback controls in a finite dimensional space. In particular, for systems described by partial differential equations, such a criterion reduces to a unique continuation theorem for a stationary system. We illustrate such a method by tackling some coupled Navier-Stokes type equations (MHD system and micropolar fluid system) and we sketch a systematic procedure relying on Fattorini's criterion for checking stabilizability of such nonlinear systems. In that case, the unique continuation theorems rely on local Carleman inequalities for stationary Stokes type systems.

Keywords: approximate controllability, stabilizability, parabolic equation, finite dimensional control, coupled−Stokes and mhd system

@article{COCV_2014__20_3_924_0, author = {Badra, Mehdi and Takahashi, Tak\'eo}, title = {On the {Fattorini} criterion for approximate controllability and stabilizability of parabolic systems}, journal = {ESAIM: Control, Optimisation and Calculus of Variations}, pages = {924--956}, publisher = {EDP-Sciences}, volume = {20}, number = {3}, year = {2014}, doi = {10.1051/cocv/2014002}, mrnumber = {3264229}, zbl = {1292.93022}, language = {en}, url = {http://archive.numdam.org/articles/10.1051/cocv/2014002/} }

TY - JOUR AU - Badra, Mehdi AU - Takahashi, Takéo TI - On the Fattorini criterion for approximate controllability and stabilizability of parabolic systems JO - ESAIM: Control, Optimisation and Calculus of Variations PY - 2014 SP - 924 EP - 956 VL - 20 IS - 3 PB - EDP-Sciences UR - http://archive.numdam.org/articles/10.1051/cocv/2014002/ DO - 10.1051/cocv/2014002 LA - en ID - COCV_2014__20_3_924_0 ER -

%0 Journal Article %A Badra, Mehdi %A Takahashi, Takéo %T On the Fattorini criterion for approximate controllability and stabilizability of parabolic systems %J ESAIM: Control, Optimisation and Calculus of Variations %D 2014 %P 924-956 %V 20 %N 3 %I EDP-Sciences %U http://archive.numdam.org/articles/10.1051/cocv/2014002/ %R 10.1051/cocv/2014002 %G en %F COCV_2014__20_3_924_0

Badra, Mehdi; Takahashi, Takéo. On the Fattorini criterion for approximate controllability and stabilizability of parabolic systems. ESAIM: Control, Optimisation and Calculus of Variations, Volume 20 (2014) no. 3, pp. 924-956. doi : 10.1051/cocv/2014002. http://archive.numdam.org/articles/10.1051/cocv/2014002/

[1] Feedback stabilization of the 2-D and 3-D Navier-Stokes equations based on an extended system. ESAIM: COCV 15 (2009) 934-968. | Numdam | MR | Zbl

,[2] Lyapunov function and local feedback boundary stabilization of the Navier-Stokes equations. SIAM J. Control Optim. 48 (2009) 1797-1830. | MR

,[3] Abstract settings for stabilization of nonlinear parabolic system with a Riccati-based strategy. Application to Navier-Stokes and Boussinesq equations with Neumann or Dirichlet control. Discrete Contin. Dyn. Syst. - Series A 32 (2011) 1169-1208. | MR | Zbl

,[4] Local controllability to trajectories of the magnetohydrodynamic equations. J. Math. Fluid Mech. (Sumitted). | MR

,[5] Stabilization of parabolic nonlinear systems with finite dimensional feedback or dynamical controllers. Application to the Navier-Stokes system. SIAM J. Control Optim. 49 (2011) 420-463. | MR | Zbl

and ,[6] Feedback stabilization of a fluid-rigid body interaction system. preprint. | MR

and ,[7] Feedback stabilization of a simplified 1d fluid - particle system. Ann. Inst. Henri Poincaré Anal. Non Linéaire (Sumitted).

and ,[8] Internal stabilization of Navier-Stokes equations with finite-dimensional controllers. Indiana Univ. Math. J. 53 (2004) 1443-1494. | MR | Zbl

and ,[9] Abstract settings for tangential boundary stabilization of Navier-Stokes equations by high- and low-gain feedback controllers. Nonlinear Anal. 64 (2006) 2704-2746. | MR | Zbl

, and ,[10] Tangential boundary stabilization of Navier-Stokes equations. Mem. Amer. Math. Soc. 181 (2006) 128. | MR | Zbl

, and ,[11] Local exponential stabilization strategies of the Navier-Stokes equations, d = 2,3, via feedback stabilization of its linearization, in Control of coupled partial differential equations, vol. 155. Int. Ser. Numer. Math. Birkhäuser, Basel (2007) 13-46. | MR | Zbl

, and ,[12] Representation and control of infinite dimensional systems. Systems & Control: Foundations & Applications. 2nd edition. Birkhäuser Boston Inc., Boston, MA (2007). | MR | Zbl

, , and ,[13] Global steady-state controllability of one-dimensional semilinear heat equations. SIAM J. Control Optim. 43 (2004) 549-569. | MR | Zbl

and ,[14] An introduction to infinite-dimensional linear systems theory, vol. 21. Texts Appl. Math.. Springer-Verlag, New York (1995). | MR | Zbl

and ,[15] Analyse mathématique et calcul numérique pour les sciences et les techniques. Vol. 5. Spectre des opérateurs. [The operator spectrum], With the collaboration of Michel Artola, Michel Cessenat, Jean Michel Combes and Bruno Scheurer, Reprinted from the 1984 edition. INSTN: Collection Enseignement. [INSTN: Teaching Collection]. Masson, Paris (1988). | MR | Zbl

and ,[16] Pseudo-spectra, the harmonic oscillator and complex resonances. R. Soc. London Proc. Ser. A Math. Phys. Eng. Sci. 455 (1999) 585-599. | MR | Zbl

,[17] Prolongement unique des solutions de l'equation de Stokes. Commun. Partial Differ. Eqs. 21 (1996) 573-596. | MR | Zbl

and ,[18] Some remarks on complete controllability. SIAM J. Control 4 (1966) 686-694. | MR | Zbl

,[19] On complete controllability of linear systems. J. Differ. Eqs. 3 (1967) 391-402. | MR | Zbl

,[20] Local exact controllability of micropolar fluids. J. Math. Fluid Mech. 9 (2007) 419-453. | MR | Zbl

and ,[21] Local exact controllability of the Navier-Stokes system. J. Math. Pures Appl. 83 (2004) 1501-1542. | MR | Zbl

, , and ,[22] Stabilizability of a quasilinear parabolic equation by means of boundary feedback control. Mat. Sb. 192 (2001) 115-160. | MR | Zbl

,[23] Stabilizability of two-dimensional Navier-Stokes equations with help of a boundary feedback control. J. Math. Fluid Mech. 3 (2001) 259-301. | MR | Zbl

,[24] Stabilization for the 3D Navier-Stokes system by feedback boundary control. Partial differential equations and applications. Discrete Contin. Dyn. Syst. 10 (2004) 289-314. | MR | Zbl

,[25] An introduction to the mathematical theory of the Navier-Stokes equations. Vol. I. Linearized steady problems, vol. 38. Springer Tracts in Natural Philosophy. Springer-Verlag, New York (1994). | MR | Zbl

,[26] Introduction to the theory of linear nonselfadjoint operators. Translated from the Russian by A. Feinstein. Vol. 18. Translations of Mathematical Monographs. Amer. Math. Soc., Providence, R.I. (1969). | MR | Zbl

and ,[27] An introduction to the theory of numbers. Oxford University Press, Oxford, 6th edition (2008). Revised by D.R. Heath-Brown and J. H. Silverman, With a foreword by Andrew Wiles. | MR | Zbl

and ,[28] Controllability and observability conditions of linear autonomous systems. Nederl. Akad. Wetensch. Proc. Ser. A. Vol. 31 of Indag. Math. (1969) 443-448. | MR | Zbl

,[29] Variation et optimisation de formes, Une analyse géométrique (A geometric analysis). Vol. 48. Mathématiques & Applications [Mathematics & Applications]. Springer, Berlin (2005). | MR | Zbl

and ,[30] The analysis of linear partial differential operators I. Classics in Mathematics. Springer-Verlag, Berlin (2003). Distribution theory and Fourier analysis, Reprint of the 2nd edition (1990) [Springer, Berlin; MR1065993 (91m:35001a)]. | MR | Zbl

,[31] Remarks on exact controllability for the Navier-Stokes equations. ESAIM: COCV 6 (2001) 39-72. | Numdam | MR | Zbl

.[32] Global Carleman estimates for weak solutions of elliptic nonhomogeneous Dirichlet problems. Int. Math. Res. Not. 16 (2003) 883-913. | MR | Zbl

and ,[33] Perturbation theory for linear operators. Classics in Mathematics. Springer-Verlag, Berlin (1995). Reprint of the 1980 edition. | MR | Zbl

,[34] Control theory for partial differential equations: continuous and approximation theories. I, Abstract parabolic systems. Vol. 74. Encyclopedia of Mathematics and its Applications. Cambridge University Press, Cambridge (2000). | MR | Zbl

and ,[35] On Carleman estimates for elliptic and parabolic operators. applications to unique continuation and control of parabolic equations. ESAIM: COCV 18 (2012) 712-747. | Numdam | MR | Zbl

and ,[36] On a unique continuation property related to the boundary stabilization of magnetohydrodynamic equations. An. Ştiinţ. Univ. Al. I. Cuza Iaşi. Mat. (N.S.) 56 (2010) 1-15. | MR | Zbl

,[37] Micropolar fluids. Theory and applications. Modeling and Simulation in Science, Engineering and Technology. Birkhäuser Boston Inc., Boston, MA (1999). | MR | Zbl

,[38] The equations of stationary, incompressible magnetohydrodynamics with mixed boundary conditions. Comput. Math. Appl. 25 (1993) 13-29. | MR | Zbl

,[39] Perturbazione dello spettro dell'operatore di Laplace, in relazione ad una variazione del campo. Ann. Scuola Norm. Sup. Pisa 26 (1972) 151-169. | Numdam | MR | Zbl

,[40] On the controllability of a fractional order parabolic equation. SIAM J. Control Optim. 44 (2006) 1950-1972. | MR | Zbl

and ,[41] Semigroups of linear operators and applications to partial differential equations, vol. 44. Appl. Math. Sci. Springer-Verlag, New York (1983). | MR | Zbl

,[42] Feedback boundary stabilization of the two-dimensional Navier-Stokes equations. SIAM J. Control Optim. 45 (2006) 790-828. | MR | Zbl

,[43] Boundary feedback stabilization of the two dimensional Navier-Stokes equations with finite dimensional controllers. Issue in Discrete and Continuous Dynamical Systems A 27 (2010) 1159-1187. | MR | Zbl

and ,[44] A general necessary condition for exact observability. SIAM J. Control Optim. 32 (1994) 1-23. | MR | Zbl

and ,[45] Interpolation theory, function spaces, differential operators, 2nd edition. Johann Ambrosius Barth, Heidelberg (1995). | MR | Zbl

,[46] On the stabilizability problem in Banach space. J. Math. Anal. Appl. 52 (1975) 383-403,. | MR | Zbl

,[47] Extensions of rank conditions for controllability and observability to Banach spaces and unbounded operators. SIAM J. Control Optim. 14 (1976) 313-338. | MR | Zbl

,[48] Boundary feedback stabilizability of parabolic equations. Appl. Math. Optim. 6 (1980) 201-220. | MR | Zbl

,[49] Unique continuation from an arbitrary interior subdomain of the variable-coefficient Oseen equation. Nonlinear Anal. 71 (2009) 4967-4976. | MR | Zbl

,[50] Observation and control for operator semigroups. Birkhäuser Advanced Texts: Basler Lehrbücher. [Birkhäuser Advanced Texts: Basel Textbooks]. Birkhäuser Verlag, Basel (2009). | MR | Zbl

and ,*Cited by Sources: *