ESAIM: Mathematical Modelling and Numerical Analysis

Research Article

Boundary observability for the space semi-discretizations of the 1 – d wave equation

Infante, Juan Antonioa1 and Zuazua, Enriquea1

a1 Universidad Complutense, Matematica Aplicada, 28040 Madrid, Spain.

Abstract

We consider space semi-discretizations of the 1-d wave equation in a bounded interval with homogeneous Dirichlet boundary conditions. We analyze the problem of boundary observability, i.e., the problem of whether the total energy of solutions can be estimated uniformly in terms of the energy concentrated on the boundary as the net-spacing h → 0. We prove that, due to the spurious modes that the numerical scheme introduces at high frequencies, there is no such a uniform bound. We prove however a uniform bound in a subspace of solutions generated by the low frequencies of the discrete system. When h → 0 this finite-dimensional spaces increase and eventually cover the whole space. We thus recover the well-known observability property of the continuous system as the limit of discrete observability estimates as the mesh size tends to zero. We consider both finite-difference and finite-element semi-discretizations.

Résumé

On considère l'approximation par différences finies et éléments finis en espace de l'équation des ondes 1-d avec des conditions aux limites de Dirichlet homogènes. On étudie le problème de l'observabilité frontière, i.e., la possibilité d'estimer l'énergie totale des solutions par l'énergie concentrée sur un extrême du bord, uniformement lorsque h, le pas de la discrétisation, tend vers zéro. On démontre que cette estimation uniforme n'a pas lieu à cause d'un comportement singulier des fonctions propres à hautes fréquences. Néanmoins, on démontre une estimation uniforme dans des sous-espaces convenables de solutions qui, lorsque h → 0, finissent par couvrir l'espace d'énergie tout entier. On retrouve donc la propriété d'observabilité, bien connue pour le système continu, comme la limite des estimations discrètes lorsque le pas en espace tend vers zéro.

(Received March 7 1998)

(Revised July 10 1998)

(Online publication August 15 2002)

Key Words:

  • Wave equation;
  • semi-discretization;
  • observability.

Mathematics Subject Classification:

  • 35L05;
  • 65M06;
  • 65M60;
  • 93B07
Metrics