This paper studies the exact controllability of a finite dimensional system obtained by discretizing in space and time the linear 1-D wave system with a boundary control at one extreme. It is known that usual schemes obtained with finite difference or finite element methods are not uniformly controllable with respect to the discretization parameters and . We introduce an implicit finite difference scheme which differs from the usual centered one by additional terms of order and . Using a discrete version of Ingham’s inequality for nonharmonic Fourier series and spectral properties of the scheme, we show that the associated control can be chosen uniformly bounded in and in such a way that it converges to the HUM control of the continuous wave, i.e. the minimal -norm control. The results are illustrated with several numerical experiments.
Mots clés : exact boundary controllability, wave system, finite difference
@article{M2AN_2005__39_2_377_0, author = {M\"unch, Arnaud}, title = {A uniformly controllable and implicit scheme for the {1-D} wave equation}, journal = {ESAIM: Mod\'elisation math\'ematique et analyse num\'erique}, pages = {377--418}, publisher = {EDP-Sciences}, volume = {39}, number = {2}, year = {2005}, doi = {10.1051/m2an:2005012}, mrnumber = {2143953}, zbl = {1130.93016}, language = {en}, url = {http://www.numdam.org/articles/10.1051/m2an:2005012/} }
TY - JOUR AU - Münch, Arnaud TI - A uniformly controllable and implicit scheme for the 1-D wave equation JO - ESAIM: Modélisation mathématique et analyse numérique PY - 2005 SP - 377 EP - 418 VL - 39 IS - 2 PB - EDP-Sciences UR - http://www.numdam.org/articles/10.1051/m2an:2005012/ DO - 10.1051/m2an:2005012 LA - en ID - M2AN_2005__39_2_377_0 ER -
%0 Journal Article %A Münch, Arnaud %T A uniformly controllable and implicit scheme for the 1-D wave equation %J ESAIM: Modélisation mathématique et analyse numérique %D 2005 %P 377-418 %V 39 %N 2 %I EDP-Sciences %U http://www.numdam.org/articles/10.1051/m2an:2005012/ %R 10.1051/m2an:2005012 %G en %F M2AN_2005__39_2_377_0
Münch, Arnaud. A uniformly controllable and implicit scheme for the 1-D wave equation. ESAIM: Modélisation mathématique et analyse numérique, Tome 39 (2005) no. 2, pp. 377-418. doi : 10.1051/m2an:2005012. http://www.numdam.org/articles/10.1051/m2an:2005012/
[1] Geometrical aspects of exact boundary controllability for the wave equation: a numerical study. COCV 3 (1998) 163-212. | Numdam | Zbl
and ,[2] Exponentially stable approximations of weakly damped wave equations. Ser. Num. Math., Birkhäuser 100 (1990) 1-33. | Zbl
, and ,[3] Numerical methods for the control of flexible structures. J. Struct. Control 8 (2001).
,[4] Boundary controllability of a semi-discrete linear 1-D wave equation with mixed finite elements. SIAM J. Numer. Anal., submitted.
and ,[5] Boundary controllability of a semi-discrete linear 2-D wave equation with mixed finite elements, submitted.
, and ,[6] Identification numérique de contrôles distribués pour l'équation des ondes. C.R. Acad. Sci. Paris Sér. I 322 (1996) 779-784. | Zbl
and ,[7] Higher-order Numerical Methods for Transient Wave Equations. Scientific Computation, Springer (2002). | MR | Zbl
,[8] Ensuring well-posedness by analogy: Stokes problem and boundary control for the wave equation. J. Comput. Phys. 103 (1992) 189-221. | Zbl
,[9] A numerical approach to the exact boundary controllability of the wave equation (I). Dirichlet Controls: Description of the numerical methods. Japan J. Appl. Math. 7 (1990) 1-76. | Zbl
, and ,[10] A mixed finite element formulation for the boundary controllability of the wave equation. Int. J. Numer. Methods Engrg. 27 (1989) 623-636. | Zbl
, and ,[11] Matrix Computations. Johns Hopkins Press, Baltimore (1989). | MR | Zbl
and ,[12] Boundary observability for the space-discretizations of the 1-D wave equation. ESAIM: M2AN 33 (1999) 407-438. | EuDML | Numdam | Zbl
and ,[13] Some trigonometrical inequalities with applications to the theory of series. Math. Z. 41 (1936) 367-369. | EuDML | Zbl
,[14] Exact controllability and Stabilization - The multiplier method. J. Wiley and Masson (1994). | MR | Zbl
,[15] Dispersion-corrected explicit integration of the wave equation. Comp. Methods Appl. Mech. Engrg. 191 (2001) 975-987. | Zbl
,[16] Contrôlabilité exacte - Pertubations et stabilisation de systèmes distribués, Tome 1, Masson, Paris (1988). | Zbl
,[17] Uniform boundary controllability of a semi-discrete 1-D wave equation. Numer. Math. 91 (2002) 723-728. | Zbl
,[18] Family of implicit schemes uniformly controllable for the 1-D wave equation. C.R. Acad. Sci. Paris Sér. I 339 (2004) 733-738. | Zbl
,[19] Uniform stabilization of a numerical approximation of a locally damped wave equation. ESAIM: COCV, submitted. | Numdam | Zbl
and ,[20] Uniform boundary controllability of a discrete 1-D wave equation. Systems Control Lett. 48 (2003) 261-280. | Zbl
and ,[21] Discrete Ingham inequalities and applications. C.R. Acad. Sci. Paris Sér. I 338 (2004) 281-286. | Zbl
and ,[22] Convergence of a multi-grid method for the controlabillity of the 1-D wave equation. C.R. Acad. Sci. Paris, Sér. I 338 (2004) 413-418. | Zbl
and ,[23] Introduction à l'analyse numérique des équations aux dérivées partielles. Masson, Paris (1983). | Zbl
and ,[24] Controllability and stabilization theory for linear partial differential equations: recent progress and open questions. SIAM Rev. 20 (1978) 639-737. | Zbl
,[25] Contrôle d'équations des ondes linéaires et quasilinéaires. Ph.D. Thesis Université de Paris VI (2000).
,[26] Boundary observability for finite-difference space semi-discretizations of the 2-D wave equation in the square. J. Math. Pures. Appl. 78 (1999) 523-563. | Zbl
,Cité par Sources :