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

Michel Mehrenberger

doi:10.1016/j.crma.2008.11.002

Optimal Control

An Ingham type proof for the boundary observability of a

N - d

wave equation
[Une preuve de type Ingham pour l'observabilité frontière d'une équation des ondes

N - d

]

Présenté par : Pierre-Louis Lions

Michel Mehrenberger ¹

¹ Institut de recherche mathématique avancée, Université Louis-Pasteur, UMR CNRS 7501, 7, rue René-Descartes, 67084 Strasbourg, France

Comptes Rendus. Mathématique, Volume 347 (2009) no. 1-2, pp. 63-68.

Résumé
Abstract

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.

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.

Reçu le : 2008-08-20
Accepté le : 2008-10-29
Publié le : 2008-11-26

DOI : 10.1016/j.crma.2008.11.002

Affiliations des auteurs :

Michel Mehrenberger ¹

¹ Institut de recherche mathématique avancée, Université Louis-Pasteur, UMR CNRS 7501, 7, rue René-Descartes, 67084 Strasbourg, France

@article{CRMATH_2009__347_1-2_63_0,
     author = {Michel Mehrenberger},
     title = {An {Ingham} type proof for the boundary observability of a $ N-d$ wave equation},
     journal = {Comptes Rendus. Math\'ematique},
     pages = {63--68},
     publisher = {Elsevier},
     volume = {347},
     number = {1-2},
     year = {2009},
     doi = {10.1016/j.crma.2008.11.002},
     language = {en},
}

TY  - JOUR
AU  - Michel Mehrenberger
TI  - An Ingham type proof for the boundary observability of a $ N-d$ wave equation
JO  - Comptes Rendus. Mathématique
PY  - 2009
SP  - 63
EP  - 68
VL  - 347
IS  - 1-2
PB  - Elsevier
DO  - 10.1016/j.crma.2008.11.002
LA  - en
ID  - CRMATH_2009__347_1-2_63_0
ER  -

%0 Journal Article
%A Michel Mehrenberger
%T An Ingham type proof for the boundary observability of a $ N-d$ wave equation
%J Comptes Rendus. Mathématique
%D 2009
%P 63-68
%V 347
%N 1-2
%I Elsevier
%R 10.1016/j.crma.2008.11.002
%G en
%F CRMATH_2009__347_1-2_63_0

Michel Mehrenberger. An Ingham type proof for the boundary observability of a $ N-d$ wave equation. Comptes Rendus. Mathématique, Volume 347 (2009) no. 1-2, pp. 63-68. doi : 10.1016/j.crma.2008.11.002. https://comptes-rendus.academie-sciences.fr/mathematique/articles/10.1016/j.crma.2008.11.002/

Bibliographie
Cité par

[1] A.E. Ingham Some trigonometrical inequalities with applications to the theory of series, Math. Z., Volume 41 (1936) no. 1, pp. 367-379

[2] V. Komornik On the exact internal controllability of a Petrowsky system, J. Math. Pures Appl. (9), Volume 71 (1992), pp. 331-342

[3] V. Komornik Exact Controllability and Stabilization – The Multiplier Method, John Wiley and Masson, Chichester and Paris, 1994

[4] V. Komornik; P. Loreti Fourier Series in Control Theory, Springer, New York, 2005

[5] P. Loreti; M. Mehrenberger An Ingham type proof for a bigrid observability theorem, ESAIM COCV, Volume 14 (2008) no. 3, pp. 604-631

[6] P. Loreti; V. Valente Partial exact controllability for spherical membranes, SIAM J. Control Optim., Volume 35 (1997), pp. 641-653

[7] K. Ramdani; T. Takahashi; G. Tenenbaum; M. Tucsnak A spectral approach for the exact observability of infinite-dimensional systems with skew-adjoint generator, J. Funct. Anal., Volume 226 (2005) no. 1, pp. 193-229

Adrian Kirkeby Feynman's Inverse Problem, SIAM Review, Volume 66 (2024) no. 4, p. 694 | DOI:10.1137/23m1611488
V. Komornik; P. Loreti Observability of Square Membranes by Fourier Series Methods, Bulletin of the South Ural State University. Series "Mathematical Modelling, Programming and Computer Software", Volume 8 (2015) no. 3, p. 127 | DOI:10.14529/mmp150308
Sylvain Ervedoza; Enrique Zuazua Transmutation techniques and observability for time-discrete approximation schemes of conservative systems, Numerische Mathematik, Volume 130 (2015) no. 3, p. 425 | DOI:10.1007/s00211-014-0668-3
Vilmos Komornik; Bernadette Miara Cross-like internal observability of rectangular membranes, Evolution Equations Control Theory, Volume 3 (2014) no. 1, p. 135 | DOI:10.3934/eect.2014.3.135
Vilmos Komornik; Paola Loreti Observability of rectangular membranes and plates on small sets, Evolution Equations Control Theory, Volume 3 (2014) no. 2, p. 287 | DOI:10.3934/eect.2014.3.287
F. Ammar Khodja; K. Mauffrey; A. Münch Exact Boundary Controllability of a System of Mixed Order with Essential Spectrum, SIAM Journal on Control and Optimization, Volume 49 (2011) no. 4, p. 1857 | DOI:10.1137/090777712

Cité par 6 documents. Sources : Crossref

Commentaires - Politique