Abstract
In this paper we consider a system of two coupled conservative wave equations and we prove an observability estimate. We treat the question of uniform observability for the finite difference semi-discretization. As for a single wave equation (see Infante and Zuazua (Math. Model. Num. Ann. 33, 407–438, 1999)), we prove that there exists a lack of numerical observability, i.e., the constant on the observability inequality blows-up as the mesh-size h tends to zero. However, there exists a uniform observability in a subspace of solutions generated by the low frequencies and we prove it. The method of proof combines discrete multiplier techniques and Fourier series developments. We see also an Ingham type approach.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Ingham, A.E.: Some trigonometrical inequalities with applications to the theory of series. Math. Z. 41, 367–379 (1936)
Münch, A.D.: Family of implicit and controllable schemes for 1 −D wave equation. C. R. Acad. Paris Sér I 339, 733–738 (2004)
Castro, C., Micu, S.: Boundary controllability of a linear semi-discrete 1 −D wave equations derived a mixed finite element method. Numer. Math. 102, 413–462 (2006)
Zuazua, E.: Boundary observability for the finite-difference space semi-discretiztions of the 2-d wave equation in the square. J. Math. Pures Appl. 26, 523–563 (1999)
Zuazua, E.: Propagation, observation, control and numerical approximation of waves approximated by finite difference methods. SIAM Rev. 47, 197–243 (2005)
Lions, J.L.: Contrôlabilité exacte, Stabilization et Perturbations de Systèmes Distribués. Tome 1. Contrôlabilité exac. Masson, RMA8 (1988)
Glowinski, R.: Ensuring well-posedness by analogy; stokes problem and boundary control for the wave equation. J. Comput. Phys. 103, 189–221 (1992)
Glowinski, R., Lions, J.L.: Exact and Approximate Controllability for Distributed Parameter System, pp 159–333. Acta Numerica (1996)
Glowinski, R., Li, C.H., Lions, J.L.: A numerical approach to the exact boundary controllability of the wave equation. (I). Dirichlet controls: description of the numerical methods. Jpn. J. Appl. Math. 103, 1–76 (1990)
Infante, J.A., Zuazua, E.: Boundary observability for the space semi-discretizations of the 1 −D wave equation. Math. Model. Num. Ann. 33, 407–438 (1999)
Tebou, L.R.T.: Sharp observability estimates for a system of two coupled nonconservative hyperbolic equations. Appl. Math. Optim. 66(2), 175–207 (2012)
Loreti, P., Mehrenberger, M.: An Ingham type proof for a two-grid observability theorem. ESAIM: Control. Optimasation Calc. Var. 14, 604–631 (2008)
Loreti, P., Mehrenberger, M.: Observabilité uniform de Léquation des ondes 1D. ESAIM: Proc. 25, 68–79 (2008)
Negreanu, M., Zuazua, E.: Convergence of a multigrid method for the controllability 1D wave equation. C. R. Acad. Sci. Paris, Sér. I 338, 413–418 (2004)
Najafi, M.: The study of stabilizability of the coupled wave equations under various end condition. In: The 3 IEEE Conference on Decision and Control (l992)
Najafi, M.: Stability treatments of wave system in ℝn with coupling controllers via energy functional and decompostion methods. Math. Comput. Model. 49, 46–54 (2009)
Rajaram, R., Najafi, M.: Exact controllability of wave equations in ℝn coupled in parallel. JMAA 356, 7–12 (2009)
Komornik, V.: Exact Controllability and Stabilization. The Multiplier Method. Wiley (1994)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by: J. M. Peña
Rights and permissions
About this article
Cite this article
Júnior, D.A., Ramos, A. & Santos, M. Observability inequality for the finite-difference semi-discretization of the 1–d coupled wave equations. Adv Comput Math 41, 105–130 (2015). https://doi.org/10.1007/s10444-014-9351-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10444-014-9351-6