Uniqueness theorem for a coupled system of wave equations with incomplete internal observation and application to approximate controllability

Li, Tatsien; Rao, Bopeng

Comptes Rendus. Mathématique, Tome 360 (2022) no. G6, pp. 729-737.

We show that a Kalman rank condition is necessary and sufficient for the uniqueness of solution to a system of wave equations associated with incomplete internal observation without any restriction neither on the controlled subregion nor on the coupling matrices. The obtained result can be applied to the approximate internal controllability of the corresponding system.

[1] Aguilar, Luis; Orlov, Yury; Pisano, Alessandro Leader-follower synchronization and ISS analysis for a network of boundary-controlled wave PDEs, IEEE Control Sys. Lett., Volume 5 (2021) no. 2, pp. 683-688 | DOI | MR

[2] Alabau-Boussouira, Fatiha A two-level energy method for indirect boundary observability and controllability of weakly coupled hyperbolic systems, SIAM J. Control Optim., Volume 42 (2003) no. 3, pp. 871-903 | DOI | MR | Zbl

[3] Alabau-Boussouira, Fatiha A hierarchic multi-level energy method for the control of bidiagonal and mixed $n$-coupled cascade systems of PDE’s by a reduced number of controls, Adv. Differ. Equ., Volume 18 (2013) no. 11-12, pp. 1005-1073 | MR | Zbl

[4] Ammar-Khodja, Farid; Benabdallah, Assia; Dupaix, Cédric; González-Burgos, Manuel A generalization of the Kalman rank condition for time-dependent coupled linear parabolic systems, Differ. Equ. Appl., Volume 1 (2009) no. 3, pp. 427-457 | MR

[5] Ammar-Khodja, Farid; Benabdallah, Assia; Dupaix, Cédric; González-Burgos, Manuel A Kalman rank condition for the localized distributed controllability of a class of linear parabolic systems, J. Evol. Equ., Volume 9 (2009) no. 2, pp. 267-291 | DOI | Zbl

[6] Balakrishnan, Alampallam V. Applied Functional Analysis, Applications of Mathematics, 3, Springer, 1976

[7] Cazenave, Thierry; Haraux, Alain An Introduction to Semilinear Evolution Equations, Oxford Lecture Series in Mathematics and its Applications, 13, Clarendon Press, 1998

[8] Dehman, Belhassen; Le Rousseau, Jérôme; Léautaud, Matthieu Controllability of two coupled wave equations on a compact manifold, Arch. Ration. Mech. Anal., Volume 211 (2014) no. 1, pp. 113-187 | DOI | MR | Zbl

[9] Demetriou, Michael A.; Fahroo, Fariba Optimisation and adaptation of synchronisation controllers for networked second-order infinite-dimensional systems, Int. J. Control, Volume 92 (2019) no. 1, pp. 112-131 | DOI | MR | Zbl

[10] Haraux, Alain A generalized internal control for the wave equation in a rectangle, J. Math. Anal. Appl., Volume 153 (1990) no. 1, pp. 190-216 | DOI | MR | Zbl

[11] Kalman, Rudolf E. Contributions to the theory of optimal control, Bol. Soc. Mat. Mex., II. Ser., Volume 5 (1960), pp. 102-119 | MR | Zbl

[12] Lagnese, John Control of wave processes with distributed controls on a subregion, SIAM J. Control Optim., Volume 21 (1983), pp. 68-85 | DOI | MR | Zbl

[13] Li, Tatsien; Rao, Bopeng Approximate internal controllability and synchronization of a coupled system of wave equations (in course)

[14] Li, Tatsien; Rao, Bopeng Criteria of Kalman type to the approximate controllability and the approximate synchronization for a coupled system of wave equations with Dirichlet boundary controls, SIAM J. Control Optim., Volume 54 (2016) no. 1, pp. 49-73 | MR | Zbl

[15] Li, Tatsien; Rao, Bopeng Kalman criterion on the uniqueness of continuation for the nilpotent system of wave equations, C. R. Math. Acad. Sci. Paris, Volume 356 (2018) no. 11-12, pp. 1188-1192 | MR | Zbl

[16] Li, Tatsien; Rao, Bopeng Boundary synchronization for hyperbolic systems, Progress in Nonlinear Differential Equations and their Applications, 94, Birkhäuser, 2019

[17] Li, Tatsien; Rao, Bopeng Uniqueness of solution to systems of elliptic operators and application to asymptotic synchronization of linear dissipative systems, ESAIM, Control Optim. Calc. Var., Volume 26 (2020), 117, 26 pages | DOI | MR | Zbl

[18] Li, Tatsien; Rao, Bopeng Approximate boundary synchronization by groups for a couples system of wave equationswith coupled Robin boundary conditions, ESAIM, Control Optim. Calc. Var., Volume 27 (2021), 10, 30 pages | Zbl

[19] Lions, Jacques-Louis Quelques méthodes de résolution des problèmes aux limites non linéaires, Études mathématiques, Gauthier-Villars, 1969 | Numdam

[20] Lions, Jacques-Louis Contrôlabilité exacte, perturbations et stabilisation de systèmes distribués. Tome 1: Contrôlabilité exacte, Recherches en Mathématiques Appliquées, 8, Masson, 1988

[21] Lissy, Pierre; Zuazua, Enrique Internal controllability for parabolic systems involving analytic non-local terms, Chin. Ann. Math., Ser. B, Volume 39 (2018) no. 2, pp. 281-296 | DOI | MR | Zbl

[22] Lissy, Pierre; Zuazua, Enrique Internal observability for coupled systems of linear partial differential equations, SIAM J. Control Optim., Volume 57 (2019) no. 2, pp. 832-853 | DOI | MR | Zbl

[23] Liu, Zhuangyi; Rao, Bopeng A spectral approach to the indirect boundary control of a system of weakly coupled wave equations, Discrete Contin. Dyn. Syst., Volume 23 (2009) no. 1-2, pp. 399-413 | MR | Zbl

[24] Pazy, Amnon Semigroups of linear operators and applications to partial differential equations, Applied Mathematical Sciences, 44, Springer, 1982

[25] Rosier, Lionel; de Teresa, Luz Exact controllability of a cascade system of conservative equations, C. R. Math. Acad. Sci. Paris, Volume 349 (2011) no. 5-6, pp. 291-295 | DOI | MR | Zbl

[26] Russell, David L. Nonharmonic Fourier series in the control theory of distributed parameter systems, J. Math. Anal. Appl., Volume 18 (1967), pp. 542-560 | DOI | MR | Zbl

[27] Wang, Lijuan; Yan, Qishu Optimal control problem for exact synchronization of parabolic system, Math. Control Relat. Fields, Volume 9 (2019) no. 3, pp. 411-424 | DOI | MR | Zbl

[28] Zu, Chengxia; Li, Tatsien; Rao, Bopeng Sufficiency of Kalman rank condition for the approximate boundary controllability on spherical domain, Math. Methods Appl. Sci., Volume 44 (2021) no. 17, pp. 13509-13525 | MR | Zbl