Abstract
We consider the controllability of a class of systems of n Stokes equations, coupled through terms of order zero and controlled by m distributed controls. Our main result states that such a system is null-controllable if and only if a Kalman type condition is satisfied. This generalizes the case of finite-dimensional systems and the case of systems of coupled linear heat equations. The proof of the main result relies on the use of the Kalman operator introduced in [1] and on a Carleman estimate for a cascade type system of Stokes equations. Using a fixed-point argument, we also obtain that if the Kalman condition is verified, then the corresponding system of Navier–Stokes equations is locally null-controllable.
Similar content being viewed by others
Data Availability
Data sharing not applicable to this article as no datasets were generated or analyzed during the current study.
References
Farid Ammar-Khodja, Assia Benabdallah, Cédric Dupaix, and Manuel González-Burgos. A Kalman rank condition for the localized distributed controllability of a class of linear parbolic systems. J. Evol. Equ., 9(2):267–291, 2009.
Farid Ammar-Khodja, Assia Benabdallah, Manuel González-Burgos, and Luz de Teresa. Recent results on the controllability of linear coupled parabolic problems: a survey. Math. Control Relat. Fields, 1(3):267–306, 2011.
Farid Ammar Khodja, Assia Benabdallah, Manuel González-Burgos, and Luz de Teresa. Minimal time for the null controllability of parabolic systems: the effect of the condensation index of complex sequences. J. Funct. Anal., 267(7):2077–2151, 2014.
Farid Ammar Khodja, Assia Benabdallah, Manuel González-Burgos, and Luz de Teresa. New phenomena for the null controllability of parabolic systems: minimal time and geometrical dependence. J. Math. Anal. Appl., 444(2):1071–1113, 2016.
Assia Benabdallah, Franck Boyer, and Morgan Morancey. A block moment method to handle spectral condensation phenomenon in parabolic control problems. Ann. H. Lebesgue, 3:717–793, 2020.
Nicolás Carreño and Sergio Guerrero. Local null controllability of the \(N\)-dimensional Navier-Stokes system with \(N-1\) scalar controls in an arbitrary control domain. J. Math. Fluid Mech., 15(1):139–153, 2013.
Nicolás Carreño, Sergio Guerrero, and Mamadou Gueye. Insensitizing controls with two vanishing components for the three-dimensional Boussinesq system. ESAIM Control Optim. Calc. Var., 21(1):73–100, 2015.
Nicolás Carreño and Mamadou Gueye. Insensitizing controls with one vanishing component for the Navier-Stokes system. J. Math. Pures Appl. (9), 101(1):27–53, 2014.
Felipe W. Chaves-Silva and Gilles Lebeau. Spectral inequality and optimal cost of controllability for the Stokes system. ESAIM, Control Optim. Calc. Var., 22(4):1137–1162, 2016.
Fiammetta Conforto, Laurent Desvillettes, and Roberto Monaco. Some asymptotic limits of reaction-diffusion systems appearing in reversible chemistry. Ric. Mat., 66(1):99–111, 2017.
Jean-Michel Coron and Andrei V. Fursikov. Global exact controllability of the \(2\)D Navier-Stokes equations on a manifold without boundary. Russian J. Math. Phys., 4(4):429–448, 1996.
Jean-Michel Coron and Sergio Guerrero. Null controllability of the \(N\)-dimensional Stokes system with \(N-1\) scalar controls. J. Differential Equations, 246(7):2908–2921, 2009.
Jean-Michel Coron and Pierre Lissy. Local null controllability of the three-dimensional Navier-Stokes system with a distributed control having two vanishing components. Invent. Math., 198(3):833–880, 2014.
Péter Érdi and János Tóth. Mathematical models of chemical reactions. Nonlinear Science: Theory and Applications. Princeton University Press, Princeton, NJ, 1989. Theory and applications of deterministic and stochastic models.
Hector Fattorini and David Russell. Uniform bounds on biorthogonal functions for real exponentials with an application to the control theory of parabolic equations. Quart. Appl. Math., 32:45–69, 1974/75.
Enrique Fernández-Cara, Manuel González-Burgos, Sergio Guerrero, and Jean-Pierre Puel. Null controllability of the heat equation with boundary Fourier conditions: the linear case. ESAIM Control Optim. Calc. Var., 12(3):442–465, 2006.
Enrique Fernández-Cara and Sergio Guerrero. Global Carleman Inequalities for Parabolic Systems and Applications to Controllability. SIAM Journal on Control and Optimization, 45(4):1395–1446, 2006.
Enrique Fernández-Cara, Sergio Guerrero, Oleg Yu. Imanuvilov, and Jean-Pierre Puel. Local exact controllability of the Navier-Stokes system. J. Math. Pures Appl. (9), 83(12):1501–1542, 2004.
Enrique Fernández-Cara, Sergio Guerrero, Oleg Yu. Imanuvilov, and Jean-Pierre Puel. Some controllability results for the \(N\)-dimensional Navier-Stokes and Boussinesq systems with \(N-1\) scalar controls. SIAM J. Control Optim., 45(1):146–173, 2006.
Andrei V. Fursikov and Oleg Yu. Imanuvilov. Controllability of evolution equations, volume 34 of Lecture Notes Series. Seoul National University, Research Institute of Mathematics, Global Analysis Research Center, Seoul, 1996.
Manuel González-Burgos and Luz de Teresa. Controllability results for cascade systems of \(m\) coupled parabolic PDEs by one control force. Port. Math., 67(1):91–113, 2010.
Sergio Guerrero. Controllability of systems of Stokes equations with one control force: existence of insensitizing controls. Ann. Inst. H. Poincaré Anal. Non Linéaire, 24(6):1029–1054, 2007.
Sergio Guerrero. Null controllability of some systems of two parabolic equations with one control force. SIAM J. Control Optim., 46(2):379–394, 2007.
Masato Iida, Harunori Monobe, Hideki Murakawa, and Hirokazu Ninomiya. Vanishing, moving and immovable interfaces in fast reaction limits. J. Differential Equations, 263(5):2715–2735, 2017.
Oleg Yu. Imanuvilov. On exact controllability for the Navier-Stokes equations. ESAIM Control Optim. Calc. Var., 3:97–131, 1998.
Oleg Yu. Imanuvilov. Remarks on exact controllability for the Navier-Stokes equations. ESAIM Control Optim. Calc. Var., 6:39–72, 2001.
Gilles Lebeau and Luc Robbiano. Contrôle exacte de l’équation de la chaleur. In Séminaire sur les Équations aux Dérivées Partielles, 1994–1995, pages Exp. No. VII, 13. École Polytech., Palaiseau, 1995.
Jacques-Louis Lions and Enrico Magenes. Non-homogeneous boundary value problems and applications. Vol. I. Die Grundlehren der mathematischen Wissenschaften, Band 181. Springer-Verlag, New York-Heidelberg, 1972. Translated from the French by P. Kenneth.
Jacques-Louis Lions and Enrico Magenes. Non-homogeneous boundary value problems and applications. Vol. II. Die Grundlehren der mathematischen Wissenschaften, Band 182. Springer-Verlag, New York-Heidelberg, 1972. Translated from the French by P. Kenneth.
Pierre Lissy and Enrique Zuazua. Internal observability for coupled systems of linear partial differential equations. SIAM J. Control Optim., 57(2):832–853, 2019.
Yuning Liu, Takéo Takahashi, and Marius Tucsnak. Single input controllability of a simplified fluid-structure interaction model. ESAIM Control Optim. Calc. Var., 19(1):20–42, 2013.
Cristhian Montoya and Luz de Teresa. Robust Stackelberg controllability for the Navier-Stokes equations. NoDEA Nonlinear Differential Equations Appl., 25(5):Paper No. 46, 33, 2018.
Amnon Pazy. Semigroups of linear operators and applications to partial differential equations, volume 44 of Applied Mathematical Sciences. Springer-Verlag, New York, 1983.
Hermann Sohr. The Navier-Stokes equations. Modern Birkhäuser Classics. Birkhäuser/Springer Basel AG, Basel, 2001. An elementary functional analytic approach, [2013 reprint of the 2001 original] [MR1928881].
Takéo Takahashi, Luz de Teresa, and Yingying Wu-Zhang. Controllability results for cascade systems of \(m\) coupled \({N}\)-dimensional Stokes and Navier-Stokes systems by \({N-1}\) scalar controls. ESAIM Control Optim. Calc. Var., 29: Paper No. 31, 24, 2023.
Roger Temam. Navier-Stokes equations, volume 2 of Studies in Mathematics and its Applications. North-Holland Publishing Co., Amsterdam-New York, revised edition, 1979. Theory and numerical analysis, With an appendix by F. Thomasset.
Marius Tucsnak and George 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.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
T. Takahashi: The research was partially supported by the French National Research Agency (ANR), Project TRECOS, ANR-20-CE40-0009. Luz de Teresa: The research was partially supported by Conahcyt, project A1-S-17475 and UNAM-PAPIIT IN109522. Yingying Wu-Zhang: Supported by Conahcyt scholarship 849458 and UNAM-Programa de Apoyo a los Estudios del Posgrado.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Takahashi, T., de Teresa, L. & Wu-Zhang, Y. A Kalman condition for the controllability of a coupled system of Stokes equations. J. Evol. Equ. 24, 4 (2024). https://doi.org/10.1007/s00028-023-00935-6
Accepted:
Published:
DOI: https://doi.org/10.1007/s00028-023-00935-6