A uniformly controllable and implicit scheme for the 1-D wave equation
Münch, Arnaud
ESAIM: Mathematical Modelling and Numerical Analysis - Modélisation Mathématique et Analyse Numérique, Tome 39 (2005), p. 377-418 / Harvested from Numdam

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 h and Δt. We introduce an implicit finite difference scheme which differs from the usual centered one by additional terms of order h 2 and Δt 2 . 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 L 2 (0,T) and in such a way that it converges to the HUM control of the continuous wave, i.e. the minimal L 2 -norm control. The results are illustrated with several numerical experiments.

Publié le : 2005-01-01
DOI : https://doi.org/10.1051/m2an:2005012
Classification:  35L05,  65M60,  93B05
@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: Mathematical Modelling and Numerical Analysis - Mod\'elisation Math\'ematique et Analyse Num\'erique},
     volume = {39},
     year = {2005},
     pages = {377-418},
     doi = {10.1051/m2an:2005012},
     mrnumber = {2143953},
     zbl = {1130.93016},
     language = {en},
     url = {http://dml.mathdoc.fr/item/M2AN_2005__39_2_377_0}
}
Münch, Arnaud. A uniformly controllable and implicit scheme for the 1-D wave equation. ESAIM: Mathematical Modelling and Numerical Analysis - Modélisation Mathématique et Analyse Numérique, Tome 39 (2005) pp. 377-418. doi : 10.1051/m2an:2005012. http://gdmltest.u-ga.fr/item/M2AN_2005__39_2_377_0/

[1] M. Asch and G. Lebeau, Geometrical aspects of exact boundary controllability for the wave equation: a numerical study. COCV 3 (1998) 163-212. | Numdam | Zbl 1052.93501

[2] H.T. Banks, K. Ito and Y. Wang, Exponentially stable approximations of weakly damped wave equations. Ser. Num. Math., Birkhäuser 100 (1990) 1-33. | Zbl 0850.93719

[3] F. Bourquin, Numerical methods for the control of flexible structures. J. Struct. Control 8 (2001).

[4] C. Castro and S. Micu, Boundary controllability of a semi-discrete linear 1-D wave equation with mixed finite elements. SIAM J. Numer. Anal., submitted.

[5] C. Castro, S. Micu and A. Münch, Boundary controllability of a semi-discrete linear 2-D wave equation with mixed finite elements, submitted.

[6] I. Charpentier and Y. Maday, 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 0847.65043

[7] G.C. Cohen, Higher-order Numerical Methods for Transient Wave Equations. Scientific Computation, Springer (2002). | MR 1870851 | Zbl 0985.65096

[8] R. Glowinski, Ensuring well-posedness by analogy: Stokes problem and boundary control for the wave equation. J. Comput. Phys. 103 (1992) 189-221. | Zbl 0763.76042

[9] R. Glowinski, C.H. Li and J.-L. Lions, 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 0699.65055

[10] R. Glowinski, W. Kinton and M.F. Wheeler, A mixed finite element formulation for the boundary controllability of the wave equation. Int. J. Numer. Methods Engrg. 27 (1989) 623-636. | Zbl 0711.65084

[11] G.H. Golub and C. Van Loan, Matrix Computations. Johns Hopkins Press, Baltimore (1989). | MR 1002570 | Zbl 0733.65016

[12] J.A. Infante and E. Zuazua, Boundary observability for the space-discretizations of the 1-D wave equation. ESAIM: M2AN 33 (1999) 407-438. | Numdam | Zbl 0947.65101

[13] A.E. Ingham, Some trigonometrical inequalities with applications to the theory of series. Math. Z. 41 (1936) 367-369. | Zbl 0014.21503

[14] V. Komornik, Exact controllability and Stabilization - The multiplier method. J. Wiley and Masson (1994). | MR 1359765 | Zbl 0937.93003

[15] S. Krenk, Dispersion-corrected explicit integration of the wave equation. Comp. Methods Appl. Mech. Engrg. 191 (2001) 975-987. | Zbl 1009.76054

[16] J.L. Lions, Contrôlabilité exacte - Pertubations et stabilisation de systèmes distribués, Tome 1, Masson, Paris (1988). | Zbl 0653.93002

[17] S. Micu, Uniform boundary controllability of a semi-discrete 1-D wave equation. Numer. Math. 91 (2002) 723-728. | Zbl 1002.65072

[18] A. Münch, 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 1061.65054

[19] A. Münch and A.F. Pazoto, Uniform stabilization of a numerical approximation of a locally damped wave equation. ESAIM: COCV, submitted. | Numdam | Zbl 1120.65101

[20] M. Negreanu and E. Zuazua, Uniform boundary controllability of a discrete 1-D wave equation. Systems Control Lett. 48 (2003) 261-280. | Zbl 1157.93324 | Zbl pre05055499

[21] M. Negreanu and E. Zuazua, Discrete Ingham inequalities and applications. C.R. Acad. Sci. Paris Sér. I 338 (2004) 281-286. | Zbl 1040.93030

[22] M. Negreanu and E. Zuazua, 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 1038.65054

[23] P.A. Raviart and J.M. Thomas, Introduction à l'analyse numérique des équations aux dérivées partielles. Masson, Paris (1983). | Zbl 0561.65069

[24] D.L. Russell, Controllability and stabilization theory for linear partial differential equations: recent progress and open questions. SIAM Rev. 20 (1978) 639-737. | Zbl 0397.93001

[25] J.M. Urquiza, Contrôle d'équations des ondes linéaires et quasilinéaires. Ph.D. Thesis Université de Paris VI (2000).

[26] E. Zuazua, 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 0939.93016