Observability properties of a semi-discrete 1d wave equation derived from a mixed finite element method on nonuniform meshes

The goal of this article is to analyze the observability properties for a space semi-discrete approximation scheme derived from a mixed finite element method of the 1d wave equation on nonuni- form meshes. More precisely, we prove that observability properties hold uniformly with respect to the mesh-size under some assumptions, which, roughly, measures the lack of uniformity of the meshes, thus extending the work (Castro and Micu, Numer. Math. 102 (2006) 413-462) to nonuniform meshes. Our results are based on a precise description of the spectrum of the discrete approximation schemes on nonuniform meshes, and the use of Ingham's inequality. We also mention applications to the boundary null controllability of the 1d wave equation, and to stabilization properties for the 1d wave equation. We finally present some applications for the corresponding fully discrete schemes, based on recent articles by the author.

[1]  E. Zuazua,et al.  Convergence of a multigrid method for the controllability of a 1-d wave equation , 2004 .

[2]  Jason Frank,et al.  Linear PDEs and Numerical Methods That Preserve a Multisymplectic Conservation Law , 2006, SIAM J. Sci. Comput..

[3]  Mihaela Negreanu,et al.  Wavelet Filtering for Exact Controllability of the Wave Equation , 2006, SIAM J. Sci. Comput..

[4]  T. Dupont,et al.  A Priori Estimates for Mixed Finite Element Methods for the Wave Equation , 1990 .

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

[6]  E. Zuazua,et al.  The rate at which energy decays in a damped String , 1994 .

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

[8]  O. Bohigas,et al.  Spectral properties of distance matrices , 2003, nlin/0301044.

[9]  E. Zuazua,et al.  Uniformly exponentially stable approximations for a class of damped systems , 2009 .

[10]  E. Zuazua Boundary observability for the finite-difference space semi-discretizations of the 2-D wave equation in the square , 1999 .

[11]  Emmanuel Trélat,et al.  Uniform controllability of semidiscrete approximations of parabolic control systems , 2006, Syst. Control. Lett..

[12]  Carlos Castro,et al.  Boundary controllability of a linear semi-discrete 1-D wave equation derived from a mixed finite element method , 2006, Numerische Mathematik.

[13]  Jean-Pierre Berenger,et al.  A perfectly matched layer for the absorption of electromagnetic waves , 1994 .

[14]  Fabricio Macià The Effect of Group Velocity in the Numerical Analysis of Control Problems for the Wave Equation , 2003 .

[15]  E. Zuazua,et al.  The rate at which energy decays in a string damped at one end , 1995 .

[16]  Louis Roder Tcheugoué Tébou,et al.  Uniform boundary stabilization of the finite difference space discretization of the 1−d wave equation , 2007, Adv. Comput. Math..

[17]  Jacques-Louis Lions Contrôlabilite exacte et homogénéisation (I) , 1988 .

[18]  Louis Roder Tcheugoué Tébou,et al.  Uniform exponential long time decay for the space semi-discretization of a locally damped wave equation via an artificial numerical viscosity , 2003, Numerische Mathematik.

[19]  L. Trefethen Group velocity in finite difference schemes , 1981 .

[20]  S. Reich,et al.  Numerical methods for Hamiltonian PDEs , 2006 .

[21]  A. Ingham Some trigonometrical inequalities with applications to the theory of series , 1936 .

[22]  R. Glowinski Ensuring well-posedness by analogy; Stokes problem and boundary control for the wave equation , 1992 .

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

[24]  G. Lebeau,et al.  Equation des Ondes Amorties , 1996 .

[25]  E. Zuazua,et al.  On the observability of time-discrete conservative linear systems , 2008 .

[26]  M. Tucsnak,et al.  Uniformly exponentially stable approximations for a class of second order evolution equations , 2007 .

[27]  Enrique Zuazua,et al.  Perfectly matched layers in 1-d : energy decay for continuous and semi-discrete waves , 2008, Numerische Mathematik.

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

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

[30]  Enrique Zuazua,et al.  Boundary observability for the space-discretizations of the 1 — d wave equation , 1998 .

[31]  H. Banks,et al.  Exponentially stable approximations of weakly damped wave equations , 1991 .

[32]  Mary F. Wheeler,et al.  A mixed finite element formulation for the boundary controllability of the wave equation , 1989 .

[33]  A. Haraux Une remarque sur la stabilisation de certains systèmes du deuxième ordre en temps , 1989 .

[34]  R. Young,et al.  An introduction to nonharmonic Fourier series , 1980 .