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

This paper deals with the numerical computation of boundary null controls for the 1D wave equation with a potential. The goal is to compute an approximation of controls that drive the solution from a prescribed initial state to zero at a large enough controllability time. We do not use in this work 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 of 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.

[1]  Arnaud Münch,et al.  Uniformly Controllable Schemes for the Wave Equation on the Unit Square , 2009 .

[2]  I. Ekeland,et al.  Convex analysis and variational problems , 1976 .

[3]  Arnaud Münch,et al.  Strong convergent approximations of null controls for the 1D heat equation , 2013 .

[4]  Arnaud Münch,et al.  Numerical approximation of the boundary control for the wave equation with mixed finite elements in a square , 2007 .

[5]  Maëlle Nodet,et al.  Experimental Study of the HUM Control Operator for Linear Waves , 2009, Exp. Math..

[6]  김정기,et al.  Propagation , 1994, Encyclopedia of Evolutionary Psychological Science.

[7]  Lucie Baudouin,et al.  Convergence of an Inverse Problem for a 1-D Discrete Wave Equation , 2011, SIAM J. Control. Optim..

[8]  Francisco Periago,et al.  Optimal shape and position of the support for the internal exact control of a string , 2009, Syst. Control. Lett..

[9]  Roland Glowinski,et al.  Exact and Approximate Controllability for Distributed Parameter Systems: Index of subjects , 2008 .

[10]  D. Russell Controllability and Stabilizability Theory for Linear Partial Differential Equations: Recent Progress and Open Questions , 1978 .

[11]  Daniel Tataru,et al.  Carleman estimates and unique continuation for solutions to boundary value problems , 1996 .

[12]  Peng-Fei Yao,et al.  On The Observability Inequalities for Exact Controllability of Wave Equations With Variable Coefficients , 1999 .

[13]  Irena Lasiecka,et al.  Exact controllability of semilinear abstract systems with application to waves and plates boundary control problems , 1989 .

[14]  David L. Russell,et al.  A Unified Boundary Controllability Theory for Hyperbolic and Parabolic Partial Differential Equations , 1973 .

[15]  Marius Tucsnak,et al.  An Approximation Method for Exact Controls of Vibrating Systems , 2011, SIAM J. Control. Optim..

[16]  M. Arnaud,et al.  OPTIMAL DESIGN OF THE SUPPORT OF THE CONTROL FOR THE 2-D WAVE EQUATION : A NUMERICAL METHOD , 2006 .

[17]  Enrique Zuazua,et al.  Propagation, Observation, and Control of Waves Approximated by Finite Difference Methods , 2005, SIAM Rev..

[18]  W. Fenchel On Conjugate Convex Functions , 1949, Canadian Journal of Mathematics.

[19]  Enrique Zuazua,et al.  The Wave Equation: Control and Numerics , 2012 .

[20]  C. Bardos,et al.  Sharp sufficient conditions for the observation, control, and stabilization of waves from the boundary , 1992 .

[21]  Roland Glowinski,et al.  Exact and Approximate Controllability for Distributed Parameter Systems: A Numerical Approach (Encyclopedia of Mathematics and its Applications) , 2008 .

[22]  Xu Zhang,et al.  Explicit Observability Inequalities for the Wave Equation with Lower Order Terms by Means of Carleman Inequalities , 2000, SIAM J. Control. Optim..

[23]  Oleg Yu. Imanuvilov,et al.  On Carleman estimates for hyperbolic equations , 2002 .

[24]  E. Fernández-Cara,et al.  Numerical null controllability of the 1D heat equation: Carleman weights an duality , 2011 .

[25]  Pablo Pedregal A variational perspective on controllability , 2010 .

[26]  Gilles Lebeau,et al.  Analysis of the HUM Control Operator and Exact Controllability for Semilinear Waves in Uniform Time , 2009, SIAM J. Control. Optim..

[27]  E. Zuazua Control and numerical approximation of the wave and heat equations , 2006 .

[28]  Arnaud Münch,et al.  A uniformly controllable and implicit scheme for the 1-D wave equation , 2005 .

[29]  R. Rockafellar Convex Functions and Duality in Optimization Problems and Dynamics , 1969 .

[30]  Xu Zhang,et al.  Exact Controllability for Multidimensional Semilinear Hyperbolic Equations , 2007, SIAM J. Control. Optim..

[31]  Arnaud Münch,et al.  Numerical null controllability of a semi-linear heat equation via a least squares method , 2011 .

[32]  Arnaud Münch,et al.  Numerical null controllability of semi-linear 1-D heat equations: Fixed point, least squares and Newton methods , 2012 .

[33]  D. L. Russell Review: J.-L. Lions, Controlabilité Exacte, Perturbations et Stabilisation de Systèmes Distribués , 1990 .

[34]  Lucie Baudouin,et al.  Lipschitz stability in an inverse problem for the wave equation , 2010, 1106.1501.

[35]  R. Glowinski,et al.  Exact and approximate controllability for distributed parameter systems , 1995, Acta Numerica.