Optimal filtration for the approximation of boundary controls for the one-dimensional wave equation using a finite-difference method

Lissy, Pierre; Rovenţa, Ionel

doi:10.1090/mcom/3345

Optimal filtration for the approximation of boundary controls for the one-dimensional wave equation using a finite-difference method
HTML articles powered by AMS MathViewer

by Pierre Lissy and Ionel Rovenţa HTML | PDF

Math. Comp. 88 (2019), 273-291 Request permission

Abstract:

We consider a finite-difference semi-discrete scheme for the approximation of boundary controls for the one-dimensional wave equation. The high frequency numerical spurious oscillations lead to a loss of the uniform (with respect to the mesh size) controllability property of the semi-discrete model in the natural setting. We prove that, by filtering the high frequencies of the initial data in an optimal range, we restore the uniform controllability property. Moreover, we obtain a relation between the range of filtration and the minimal time of control needed to ensure the uniform controllability. The proof is based on the moment method.

References

Ioan Florin Bugariu, Sorin Micu, and Ionel Rovenţa, Approximation of the controls for the beam equation with vanishing viscosity, Math. Comp. 85 (2016), no. 301, 2259–2303. MR 3511282, DOI 10.1090/mcom/3064
Carlos Castro and Sorin Micu, Boundary controllability of a linear semi-discrete 1-D wave equation derived from a mixed finite element method, Numer. Math. 102 (2006), no. 3, 413–462. MR 2207268, DOI 10.1007/s00211-005-0651-0
Nicolae Cîndea, Sorin Micu, and Marius Tucsnak, An approximation method for exact controls of vibrating systems, SIAM J. Control Optim. 49 (2011), no. 3, 1283–1305. MR 2818882, DOI 10.1137/09077641X
S. Ervedoza and E. Zuazua, Perfectly matched layers in 1-d: energy decay for continuous and semi-discrete waves, Numer. Math. 109 (2008), no. 4, 597–634. MR 2407324, DOI 10.1007/s00211-008-0153-y
Sylvain Ervedoza and Enrique Zuazua, Numerical approximation of exact controls for waves, SpringerBriefs in Mathematics, Springer, New York, 2013. MR 3058594, DOI 10.1007/978-1-4614-5808-1
Sylvain Ervedoza, Spectral conditions for admissibility and observability of wave systems: applications to finite element schemes, Numer. Math. 113 (2009), no. 3, 377–415. MR 2534130, DOI 10.1007/s00211-009-0235-5
Sylvain Ervedoza and Enrique Zuazua, Uniformly exponentially stable approximations for a class of damped systems, J. Math. Pures Appl. (9) 91 (2009), no. 1, 20–48 (English, with English and French summaries). MR 2487899, DOI 10.1016/j.matpur.2008.09.002
Sylvain Ervedoza, Aurora Marica, and Enrique Zuazua, Numerical meshes ensuring uniform observability of one-dimensional waves: construction and analysis, IMA J. Numer. Anal. 36 (2016), no. 2, 503–542. MR 3483095, DOI 10.1093/imanum/drv026
H. O. Fattorini and D. L. Russell, Exact controllability theorems for linear parabolic equations in one space dimension, Arch. Rational Mech. Anal. 43 (1971), 272–292. MR 335014, DOI 10.1007/BF00250466
R. Glowinski, W. Kinton, and M. F. Wheeler, A mixed finite element formulation for the boundary controllability of the wave equation, Internat. J. Numer. Methods Engrg. 27 (1989), no. 3, 623–635. MR 1036928, DOI 10.1002/nme.1620270313
Roland Glowinski, Chin Hsien Li, and Jacques-Louis Lions, Errata: “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), no. 2, i. MR 1057527, DOI 10.1007/BF03167859
Lars Hörmander, The analysis of linear partial differential operators. I, Classics in Mathematics, Springer-Verlag, Berlin, 2003. Distribution theory and Fourier analysis; Reprint of the second (1990) edition [Springer, Berlin; MR1065993 (91m:35001a)]. MR 1996773, DOI 10.1007/978-3-642-61497-2
Juan Antonio Infante and Enrique Zuazua, Boundary observability for the space semi-discretizations of the $1$-D wave equation, M2AN Math. Model. Numer. Anal. 33 (1999), no. 2, 407–438 (English, with English and French summaries). MR 1700042, DOI 10.1051/m2an:1999123
Pierre Lissy, Construction of Gevrey functions with compact support using the Bray-Mandelbrojt iterative process and applications to the moment method in control theory, Math. Control Relat. Fields 7 (2017), no. 1, 21–40. MR 3581888, DOI 10.3934/mcrf.2017002
Sorin Micu, Uniform boundary controllability of a semi-discrete 1-D wave equation, Numer. Math. 91 (2002), no. 4, 723–768. MR 1912914, DOI 10.1007/s002110100338
Sorin Micu, Uniform boundary controllability of a semidiscrete 1-D wave equation with vanishing viscosity, SIAM J. Control Optim. 47 (2008), no. 6, 2857–2885. MR 2466095, DOI 10.1137/070696933
Luc Miller, Resolvent conditions for the control of unitary groups and their approximations, J. Spectr. Theory 2 (2012), no. 1, 1–55. MR 2879308, DOI 10.4171/JST/20
Arnaud Münch, Famille de schémas implicites uniformément contrôlables pour l’équation des ondes 1-D, C. R. Math. Acad. Sci. Paris 339 (2004), no. 10, 733–738 (French, with English and French summaries). MR 2110946, DOI 10.1016/j.crma.2004.09.037
Walter Rudin, Real and complex analysis, McGraw-Hill Book Co., New York-Toronto, Ont.-London, 1966. MR 0210528
Paley, R. E. A. C., and Wiener, N., Fourier Transforms in Complex Domains, AMS Colloq. Publ., Vol. 19, Amer. Math. Soc., New-York, 1934.
Louis T. Tebou and Enrique Zuazua, Uniform boundary stabilization of the finite difference space discretization of the $1-d$ wave equation, Adv. Comput. Math. 26 (2007), no. 1-3, 337–365. MR 2350359, DOI 10.1007/s10444-004-7629-9
Enrique Zuazua, Propagation, observation, and control of waves approximated by finite difference methods, SIAM Rev. 47 (2005), no. 2, 197–243. MR 2179896, DOI 10.1137/S0036144503432862