Hostname: page-component-cd9895bd7-dzt6s Total loading time: 0 Render date: 2024-12-27T21:25:57.618Z Has data issue: false hasContentIssue false
  • English
  • Français

On the Fattorini criterion for approximate controllability and stabilizability of parabolic systems

Published online by Cambridge University Press:  13 June 2014

Mehdi Badra  and
Takéo Takahashi
Mehdi Badra
Affiliation:
LMAP, UMR CNRS 5142, UNIV PAU & PAYS ADOUR, 64013 Pau Cedex, France. mehdi.badra@univ-pau.fr
Takéo Takahashi
Affiliation:
Inria, 54600 Villers-lès-Nancy, France; takeo.takahashi@inria.fr
Get access

Abstract

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 controllabilitystabilizabilityparabolic equationfinite dimensional controlcoupled−Stokes and MHD system
Type
Research Article
Information
ESAIM: Control, Optimisation and Calculus of Variations , Volume 20 , Issue 3 , July 2014 , pp. 924 - 956
Copyright
© EDP Sciences, SMAI, 2014

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Badra, M., Feedback stabilization of the 2-D and 3-D Navier-Stokes equations based on an extended system. ESAIM: COCV 15 (2009) 934–968. Google Scholar
Badra, M., Lyapunov function and local feedback boundary stabilization of the Navier-Stokes equations. SIAM J. Control Optim. 48 (2009) 1797–1830. Google Scholar
Badra, M., 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. Google Scholar
M. Badra, Local controllability to trajectories of the magnetohydrodynamic equations. J. Math. Fluid Mech. (Sumitted).
Badra, M. and Takahashi, T., 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. Google Scholar
M. Badra and T. Takahashi, Feedback stabilization of a fluid–rigid body interaction system. preprint.
M. Badra and T. Takahashi, Feedback stabilization of a simplified 1d fluid – particle system. Ann. Inst. Henri Poincaré Anal. Non Linéaire (Sumitted).
Barbu, V. and Triggiani, R.L., Internal stabilization of Navier-Stokes equations with finite-dimensional controllers. Indiana Univ. Math. J. 53 (2004) 1443–1494. Google Scholar
Barbu, V., Lasiecka, I. and Triggiani, R., Abstract settings for tangential boundary stabilization of Navier-Stokes equations by high- and low-gain feedback controllers. Nonlinear Anal. 64 (2006) 2704–2746. Google Scholar
Barbu, V., Lasiecka, I. and Triggiani, R., Tangential boundary stabilization of Navier-Stokes equations. Mem. Amer. Math. Soc. 181 (2006) 128. Google Scholar
V. Barbu, I. Lasiecka and R. Triggiani, 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.
A. Bensoussan, G. Da Prato, M.C. Delfour and S.K. Mitter, Representation and control of infinite dimensional systems. Systems & Control: Foundations & Applications. 2nd edition. Birkhäuser Boston Inc., Boston, MA (2007).
Coron, J.-M. and Trélat, E., Global steady-state controllability of one-dimensional semilinear heat equations. SIAM J. Control Optim. 43 (2004) 549–569. Google Scholar
R.F. Curtain and H. Zwart, An introduction to infinite-dimensional linear systems theory, vol. 21. Texts Appl. Math.. Springer-Verlag, New York (1995).
R. Dautray and J.-L. Lions, 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).
Davies, E.B., Pseudo-spectra, the harmonic oscillator and complex resonances. R. Soc. London Proc. Ser. A Math. Phys. Eng. Sci. 455 (1999) 585–599. Google Scholar
Fabre, C. and Lebeau, G., Prolongement unique des solutions de l’equation de Stokes. Commun. Partial Differ. Eqs. 21 (1996) 573–596. Google Scholar
Fattorini, H.O., Some remarks on complete controllability. SIAM J. Control 4 (1966) 686–694. Google Scholar
Fattorini, H.O., On complete controllability of linear systems. J. Differ. Eqs. 3 (1967) 391–402. Google Scholar
Fernández-Cara, E. and Guerrero, S., Local exact controllability of micropolar fluids. J. Math. Fluid Mech. 9 (2007) 419–453. Google Scholar
Fernández-Cara, E., Guerrero, S., Imanuvilov, O. Yu. and Puel, J.-P., Local exact controllability of the Navier-Stokes system. J. Math. Pures Appl. 83 (2004) 1501–1542. Google Scholar
Fursikov, A.V., Stabilizability of a quasilinear parabolic equation by means of boundary feedback control. Mat. Sb. 192 (2001) 115–160. Google Scholar
Fursikov, A.V., Stabilizability of two-dimensional Navier-Stokes equations with help of a boundary feedback control. J. Math. Fluid Mech. 3 (2001) 259–301. Google Scholar
Fursikov, A.V., Stabilization for the 3D Navier-Stokes system by feedback boundary control. Partial differential equations and applications. Discrete Contin. Dyn. Syst. 10 (2004) 289–314. Google Scholar
G.P. Galdi, 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).
I.C. Gohberg and M.G. Kreĭn, 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).
G.H. Hardy and E.M. Wright, 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.
M.L.J. Hautus, Controllability and observability conditions of linear autonomous systems. Nederl. Akad. Wetensch. Proc. Ser. A. Vol. 31 of Indag. Math. (1969) 443–448.
A. Henrot and M. Pierre, Variation et optimisation de formes, Une analyse géométrique (A geometric analysis). Vol. 48. Mathématiques & Applications [Mathematics & Applications]. Springer, Berlin (2005).
L. Hörmander, 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)].
Yu, O.. Imanuvilov. Remarks on exact controllability for the Navier-Stokes equations. ESAIM: COCV 6 (2001) 39–72. Google Scholar
Imanuvilov, O.Y. and Puel, J.-P., Global Carleman estimates for weak solutions of elliptic nonhomogeneous Dirichlet problems. Int. Math. Res. Not. 16 (2003) 883–913. Google Scholar
T. Kato, Perturbation theory for linear operators. Classics in Mathematics. Springer-Verlag, Berlin (1995). Reprint of the 1980 edition.
I. Lasiecka and R. Triggiani, 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).
Le Rousseau, J. and Lebeau, G., On Carleman estimates for elliptic and parabolic operators. applications to unique continuation and control of parabolic equations. ESAIM: COCV 18 (2012) 712–747. Google Scholar
Lefter, C.-G., 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. Google Scholar
G. Łukaszewicz, Micropolar fluids. Theory and applications. Modeling and Simulation in Science, Engineering and Technology. Birkhäuser Boston Inc., Boston, MA (1999).
Meir, A.J., The equations of stationary, incompressible magnetohydrodynamics with mixed boundary conditions. Comput. Math. Appl. 25 (1993) 13–29. Google Scholar
Micheletti, A.M., Perturbazione dello spettro dell’operatore di Laplace, in relazione ad una variazione del campo. Ann. Scuola Norm. Sup. Pisa 26 (1972) 151–169. Google Scholar
Micu, S. and Zuazua, E., On the controllability of a fractional order parabolic equation. SIAM J. Control Optim. 44 (2006) 1950–1972. Google Scholar
A. Pazy, Semigroups of linear operators and applications to partial differential equations, vol. 44. Appl. Math. Sci. Springer-Verlag, New York (1983).
Raymond, J.-P., Feedback boundary stabilization of the two-dimensional Navier-Stokes equations. SIAM J. Control Optim. 45 (2006) 790–828. Google Scholar
Raymond, J.-P. and Thevenet, T., 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. Google Scholar
Russell, D.L. and Weiss, G., A general necessary condition for exact observability. SIAM J. Control Optim. 32 (1994) 1–23. Google Scholar
H. Triebel, Interpolation theory, function spaces, differential operators, 2nd edition. Johann Ambrosius Barth, Heidelberg (1995).
Triggiani, R., On the stabilizability problem in Banach space. J. Math. Anal. Appl. 52 (1975) 383–403,. Google Scholar
Triggiani, R., Extensions of rank conditions for controllability and observability to Banach spaces and unbounded operators. SIAM J. Control Optim. 14 (1976) 313–338. Google Scholar
Triggiani, R., Boundary feedback stabilizability of parabolic equations. Appl. Math. Optim. 6 (1980) 201–220. Google Scholar
Triggiani, R., Unique continuation from an arbitrary interior subdomain of the variable-coefficient Oseen equation. Nonlinear Anal. 71 (2009) 4967–4976. Google Scholar
M. Tucsnak and G. Weiss, Observation and control for operator semigroups. Birkhäuser Advanced Texts: Basler Lehrbücher. [Birkhäuser Advanced Texts: Basel Textbooks]. Birkhäuser Verlag, Basel (2009).