Partial Differential Equations/Numerical Analysis
Localized solutions for the finite difference semi-discretization of the wave equation
[Solutions localisées pour la semi-discrétisation par différences finies de l'équation des ondes]
Comptes Rendus. Mathématique, Tome 348 (2010) no. 11-12, pp. 647-652.

On étudie les propriétés de propagation des solutions de l'équation des ondes semi-discretisée en espace par différences finies sur une grille uniforme dans tout l'espace euclidien. On réalise une construction de paquets d'ondes concentrés à haute fréquence qui se propagent le long des rayons bicaractéristiques de l'Optique Géométrique à une vitesse de groupe arbitrairement petite. Notre analyse est motivée par la théorie du contrôle. Plus précisement, l'équation des ondes continue vérifie la propriété d'observabilité : pour un temps suffisament grand, l'énergie totale de ses solutions peut être estimée en fonction de l'énergie localisée à l'extérieur d'un ensemble compact. Cette propriété n'est pas verifiée de manière uniforme par rapport au pas de discrétisation pour le schéma semi-discret pour un temps fini quelconque, si bien que la constante d'observabilité semi-discrète diverge avec un taux polynomial arbitraire. Nous donnons une construction précise de ces paquets d'ondes et decrivons l'effet dispersif rajouté que le schéma numérique génère autour du rayon de propagation.

We study the propagation properties of the solutions of the finite difference space semi-discrete wave equation on a uniform grid of the whole Euclidean space. We provide a construction of high frequency wave packets that propagate along the corresponding bi-characteristic rays of Geometric Optics with a group velocity arbitrarily close to zero. Our analysis is motivated by control theoretical issues. In particular, the continuous wave equation has the so-called observability property: for a sufficiently large time, the total energy of its solutions can be estimated in terms of the energy concentrated in the exterior of a compact set. This fails to be true, uniformly on the mesh-size parameter, for the semi-discrete schemes and the observability constant blows-up at an arbitrarily large polynomial order. Our contribution consists in providing a rigorous derivation of those wave packets and in analyzing their behavior near that ray, by taking into account the subtle added dispersive effects that the numerical scheme introduces.

Reçu le :
Accepté le :
Publié le :
DOI : 10.1016/j.crma.2010.03.020
Marica, Aurora 1 ; Zuazua, Enrique 2, 1

1 BCAM – Basque Center for Applied Mathematics, Bizkaia Technology Park, 500, 48160 Derio, Basque Country, Spain
2 Ikerbasque, Basque Foundation for Sciences, Basque Country, Spain
@article{CRMATH_2010__348_11-12_647_0,
     author = {Marica, Aurora and Zuazua, Enrique},
     title = {Localized solutions for the finite difference semi-discretization of the wave equation},
     journal = {Comptes Rendus. Math\'ematique},
     pages = {647--652},
     publisher = {Elsevier},
     volume = {348},
     number = {11-12},
     year = {2010},
     doi = {10.1016/j.crma.2010.03.020},
     language = {en},
     url = {http://www.numdam.org/articles/10.1016/j.crma.2010.03.020/}
}
TY  - JOUR
AU  - Marica, Aurora
AU  - Zuazua, Enrique
TI  - Localized solutions for the finite difference semi-discretization of the wave equation
JO  - Comptes Rendus. Mathématique
PY  - 2010
SP  - 647
EP  - 652
VL  - 348
IS  - 11-12
PB  - Elsevier
UR  - http://www.numdam.org/articles/10.1016/j.crma.2010.03.020/
DO  - 10.1016/j.crma.2010.03.020
LA  - en
ID  - CRMATH_2010__348_11-12_647_0
ER  - 
%0 Journal Article
%A Marica, Aurora
%A Zuazua, Enrique
%T Localized solutions for the finite difference semi-discretization of the wave equation
%J Comptes Rendus. Mathématique
%D 2010
%P 647-652
%V 348
%N 11-12
%I Elsevier
%U http://www.numdam.org/articles/10.1016/j.crma.2010.03.020/
%R 10.1016/j.crma.2010.03.020
%G en
%F CRMATH_2010__348_11-12_647_0
Marica, Aurora; Zuazua, Enrique. Localized solutions for the finite difference semi-discretization of the wave equation. Comptes Rendus. Mathématique, Tome 348 (2010) no. 11-12, pp. 647-652. doi : 10.1016/j.crma.2010.03.020. http://www.numdam.org/articles/10.1016/j.crma.2010.03.020/

[1] Bardos, C.; Lebeau, G.; Rauch, J. Sharp sufficient conditions for the observation, control and stabilization of waves from the boundary, SIAM J. Control Optim., Volume 30 (1992), pp. 1024-1065

[2] S. Ervedoza, A. Marica, E. Zuazua, Multiple-scale high frequency concentrated wave packets for numerical approximation schemes of the wave equation, in preparation

[3] S. Ervedoza, E. Zuazua, Propagation, observation and numerical approximation of waves, in preparation

[4] Ignat, L.; Zuazua, E. Numerical dispersive schemes for the nonlinear Schrödinger equation, SIAM J. Numer. Anal., Volume 47 (2009) no. 2, pp. 1366-1390

[5] Lions, J.-L. Contrôlabilité exacte, perturbations et stabilization de systèmes distribués. Tome 1 : Contrôlabilité exacte, Masson, 1988

[6] A. Marica, Propagation properties for the discontinuous Galerkin and higher order finite element approximations of the wave equation, PhD thesis, Universidad Autónoma de Madrid, in preparation

[7] Micu, S. Uniform boundary controllability of a semi-discrete 1-D wave equation, Numer. Math., Volume 91 (2002) no. 4, pp. 723-768

[8] Ralston, J. Gaussian beams and the propagation of singularities (Littman, W., ed.), Studies in Partial Differential Equations, MAA Studies in Mathematics, vol. 23, Mathematical Association of America, Washington, D.C., 1982, pp. 206-248

[9] Trefethen, L.N. Group velocity in finite difference schemes, SIAM Rev., Volume 24 (1982) no. 2, pp. 113-136

[10] Zuazua, E. Propagation, observation, control and numerical approximations of waves, SIAM Rev., Volume 47 (2005) no. 2, pp. 197-243

[11] Zuazua, E. Exponential decay for the semilinear wave equation with localized damping in unbounded domains, J. Math. Pures Appl., Volume 70 (1991), pp. 513-529

Cité par Sources :