A uniformly controllable and implicit scheme for the 1-D wave equation

Münch, Arnaud

ESAIM: Modélisation mathématique et analyse numérique, Tome 39 (2005) no. 2, pp. 377-418.

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 $\Delta t$. We introduce an implicit finite difference scheme which differs from the usual centered one by additional terms of order $h^2$ and $\Delta 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.

[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

[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

[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

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

[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

[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

[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

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

[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. | EuDML | Numdam | Zbl

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

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

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

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

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

[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

[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

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

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

[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

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

[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

[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