An Ingham type proof for the boundary observability of a N−d wave equation

The boundary observability of the wave equation has been studied by many authors. A method of choice is to use the multiplier method (cf. Komornik (1994)). Recently, in Ramdani et al. (2005), a first Fourier based proof is given in the case where the domain is a square, thanks to a new Hautus type test. We give here a new self-contained proof with an Ingham type approach in the more general case where the domain is a product of intervals; this leads, in contrary to the proof in Ramdani et al., to explicit time and constants. However, we do not reach the optimal time which can be obtained for this problem by the multiplier method. To cite this article: M. Mehrenberger, C. R. Acad. Sci. Paris, Ser. I 347 (2009).

RésuméL'observabilité frontière de l'équation des ondes a été étudiée par de nombreux auteurs. Une méthode de choix est d'utiliser la méthode des multiplicateurs (cf. Komornik (1994)). Récemment, dans Ramdani et al. (2005), une première preuve basée sur les séries de Fourier a été donnée dans le cas où le domaine est un carré grâce à un test de type Hautus. On donne ici une nouvelle preuve auto-contenue par une approche de type Ingham, dans le cas plus général où le domaine est un produit d'intervalles ; on obtient alors un temps et des constantes explicites, contrairement à la preuve de Ramdani et al. (2005). Cependant, on n'atteint pas le temps optimal, qui peut être obtenu pour ce problème par la méthode des multiplicateurs. Pour citer cet article : M. Mehrenberger, C. R. Acad. Sci. Paris, Ser. I 347 (2009).