Hostname: page-component-8448b6f56d-mp689 Total loading time: 0 Render date: 2024-04-16T18:54:43.643Z Has data issue: false hasContentIssue false

Numerical controllability of the wave equation through primal methods and Carleman estimates

Published online by Cambridge University Press:  13 August 2013

Nicolae Cîndea
Affiliation:
Laboratoire de Mathématiques, Université Blaise Pascal (Clermont-Ferand 2), UMR CNRS 6620, Campus de Cézeaux, 63177 Aubière, France. nicolae.cindea@math.univ-bpclermont.fr; arnaud.munch@math.univ-bpclermont.fr
Enrique Fernández-Cara
Affiliation:
Dpto. EDAN, Universidad de Sevilla, Aptdo. 1160, 41012 Sevilla, Spain; cara@us.es
Arnaud Münch
Affiliation:
Laboratoire de Mathématiques, Université Blaise Pascal (Clermont-Ferand 2), UMR CNRS 6620, Campus de Cézeaux, 63177 Aubière, France. nicolae.cindea@math.univ-bpclermont.fr; arnaud.munch@math.univ-bpclermont.fr
Get access

Abstract

This paper deals with the numerical computation of boundary null controls for the 1D wave equation with a potential. The goal is to compute approximations of controls that drive the solution from a prescribed initial state to zero at a large enough controllability time. We do not apply in this work the usual duality arguments but explore instead a direct approach in the framework of global Carleman estimates. More precisely, we consider the control that minimizes over the class of admissible null controls a functional involving weighted integrals of the state and the control. The optimality conditions show that both the optimal control and the associated state are expressed in terms of a new variable, the solution of a fourth-order elliptic problem defined in the space-time domain. We first prove that, for some specific weights determined by the global Carleman inequalities for the wave equation, this problem is well-posed. Then, in the framework of the finite element method, we introduce a family of finite-dimensional approximate control problems and we prove a strong convergence result. Numerical experiments confirm the analysis. We complete our study with several comments.

Type
Research Article
Copyright
© EDP Sciences, SMAI, 2013

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

Asch, M. and Münch, A., An implicit scheme uniformly controllable for the 2-D wave equation on the unit square. J. Optimiz. Theory Appl. 143 (2009) 417438. Google Scholar
Bardos, C., Lebeau, G. and Rauch, J., Sharp sufficient conditions for the observation, control and stabilization of waves from the boundary. SIAM J. Control Optim. 30 (1992) 10241065. Google Scholar
L. Baudouin, Lipschitz stability in an inverse problem for the wave equation, Master report (2001) available at: http://hal.archives-ouvertes.fr/hal-00598876/en/.
L. Baudouin, M. de Buhan and S. Ervedoza, Global Carleman estimates for wave and applications. Preprint.
L. Baudouin and S. Ervedoza, Convergence of an inverse problem for discrete wave equations. Preprint.
Castro, C., Micu, S. and Münch, A., Numerical approximation of the boundary control for the wave equation with mixed finite elements in a square. IMA J. Numer. Anal. 28 (2008) 186214. Google Scholar
Cîndea, N., Micu, S. and Tucsnak, M., An approximation method for the exact controls of vibrating systems. SIAM. J. Control. Optim. 49 (2011) 12831305. Google Scholar
Dehman, B. and Lebeau, G., Analysis of the HUM control operator and exact controllability for semilinear waves in uniform time. SIAM. J. Control. Optim. 48 (2009) 521550. Google Scholar
Lebeau, G. and Nodet, M., Experimental study of the HUM control operator for linear waves. Experiment. Math. 19 (2010) 93120. Google Scholar
Ekeland, I. and Temam, R., Convex analysis and variational problems, Classics in Applied Mathematics. Soc. Industr. Appl. Math. SIAM, Philadelphia 28 (1999). Google Scholar
S. Ervedoza and E. Zuazua, The wave equation: Control and numerics. In Control of partial differential equations of Lect. Notes Math. Edited by P.M. Cannarsa and J.M. Coron. CIME Subseries, Springer Verlag (2011).
Fernández-Cara, E. and Münch, A., Strong convergent approximations of null controls for the heat equation. Séma Journal 61 (2013) 4978. Google Scholar
E. Fernández-Cara and A. Münch, Numerical null controllability of the 1-d heat equation: Carleman weights and duality. Preprint (2010). Available at http://hal.archives-ouvertes.fr/hal-00687887.
Fernández-Cara, E. and Münch, A., Numerical null controllability of a semi-linear 1D heat via a least squares reformulation. C.R. Acad. Sci. Série I 349 (2011) 867871. Google Scholar
Fernández-Cara, E. and Münch, A., Numerical null controllability of semi-linear 1D heat equations: fixed points, least squares and Newton methods. Math. Control Related Fields 2 (2012) 217246. Google Scholar
A.V. Fursikov and O. Yu. Imanuvilov, Controllability of Evolution Equations, in vol. 34 of Lecture Notes Series. Seoul National University, Korea (1996) 1–163.
Fu, X., Yong, J., and Zhang, X., Exact controllability for multidimensional semilinear hyperbolic equations. SIAM J. Control Optim. 46 (2007) 15781614. Google Scholar
Imanuvilov, O. Yu., On Carleman estimates for hyperbolic equations. Asymptotic Analysis 32 (2002) 185220. Google Scholar
R. Glowinski and J.L. Lions, Exact and approximate controllability for distributed parameter systems. Acta Numerica (1996) 159–333.
Glowinski, R., He, J. and Lions, J.L., On the controllability of wave models with variable coefficients: a numerical investigation. Comput. Appl. Math. 21 (2002) 191225. Google Scholar
R. Glowinski, J. He and J.L. Lions, Exact and approximate controllability for distributed parameter systems: a numerical approach in vol. 117 of Encyclopedia Math. Appl. Cambridge University Press, Cambridge (2008).
Lasiecka, I. and Triggiani, R., Exact controllability of semi-linear abstract systems with applications to waves and plates boundary control. Appl. Math. Optim. 23 (1991) 109154. Google Scholar
J-L. Lions, Contrôlabilité exacte, perturbations et stabilisation de systèmes distribués. Recherches en Mathématiques Appliquées, Tomes 1 et 2. Masson. Paris (1988).
Münch, A., A uniformly controllable and implicit scheme for the 1-D wave equation. ESAIM: M2AN 39 (2005) 377418. Google Scholar
Münch, A., Optimal design of the support of the control for the 2-D wave equation: a numerical method. Int. J. Numer. Anal. Model. 5 (2008) 331351. Google Scholar
Pedregal, P., A variational perspective on controllability. Inverse Problems 26 (2010) 015004. Google Scholar
Periago, F., Optimal shape and position of the support of the internal exact control of a string. Systems Control Lett. 58 (2009) 136140. Google Scholar
E.T. Rockafellar, Convex functions and duality in optimization problems and dynamics. In vol. II of Lect. Notes Oper. Res. Math. Ec. Springer, Berlin (1969).
Russell, D.L., A unified boundary controllability theory for hyperbolic and parabolic partial differential equations. Studies Appl. Math. 52 (1973) 189221. Google Scholar
Russell, D.L., Controllability and stabilizability theory for linear partial differential equations. Recent progress and open questions. SIAM Rev. 20 (1978) 639739. Google Scholar
Tataru, D., Carleman estimates and unique continuation for solutions to boundary value problems. J. Math. Pures Appl. 75 (1996) 367408. Google Scholar
P-Yao, F., On the observability inequalities for exact controllability of wave equations with variable coefficients. SIAM J. Control. Optim. 37 (1999) 15681599. Google Scholar
Zhang, X., Explicit observability inequalities for the wave equation with lower order terms by means of Carleman inequalities. SIAM J. Control. Optim. 39 (2000) 812834. Google Scholar
Zuazua, E., Propagation, observation, control and numerical approximations of waves approximated by finite difference methods. SIAM Rev. 47 (2005) 197243. Google Scholar
E. Zuazua, Control and numerical approximation of the wave and heat equations. In vol. III of Intern. Congress Math. Madrid, Spain (2006) 1389–1417.