Geometric and probabilistic results for the observability of the wave equation

Humbert, Emmanuel; Privat, Yannick; Trélat, Emmanuel

Journal de l’École polytechnique — Mathématiques, Tome 9 (2022), pp. 431-461.

Étant donné un sous-ensemble mesurable $\omega$ d’une variété riemannienne compacte et étant donné $T>0$, on définit ${\ell }^T\left(\omega \right)\in [0,1]$ comme étant le plus petit temps moyen passé par les rayons géodésiques dans $\omega$. Notre premier résultat principal, qui est de nature géométrique, établit que, sous des conditions de régularité, ${\ell }^T$ peut augmenter au maximum de $1/2$ en passant à l’adhérence. Notre second résultat principal est de nature probabiliste : considérant un damier régulier sur le tore plat de dimension $2$ formé de $n^2$ carrés blancs, construisant des ensembles aléatoires ${\omega }_{\epsilon }^n$ en noircissant les carrés de manière aléatoire avec probabilité $\epsilon$, on montre que la variable aléatoire ${\ell }^T\left({\omega }_{\epsilon }^n\right)$ converge en probabilité vers $\epsilon$ lorsque $n\to +\infty$. Nous discutons les conséquences en termes d’observabilité de l’équation des ondes.

Given any measurable subset $\omega$ of a closed Riemannian manifold and given any $T>0$, we define ${\ell }^T\left(\omega \right)\in [0,1]$ as the smallest average time over $[0,T]$ spent by all geodesic rays in $\omega$. Our first main result, which is of geometric nature, states that, under regularity assumptions, $1/2$ is the maximal possible discrepancy of ${\ell }^T$ when taking the closure. Our second main result is of probabilistic nature: considering a regular checkerboard on the flat two-dimensional torus made of $n^2$ square white cells, constructing random subsets ${\omega }_{\epsilon }^n$ by darkening cells randomly with a probability $\epsilon$, we prove that the random law ${\ell }^T\left({\omega }_{\epsilon }^n\right)$ converges in probability to $\epsilon$ as $n\to +\infty$. We discuss the consequences in terms of observability of the wave equation.

Classification : 93B07, 53C22, 60B10
Keywords: Observability, wave equation, Riemannian geometry, random set
Mot clés : Observabilité, équation des ondes, géométrie riemannienne, ensemble aléatoire

[1] Bardos, Claude; Lebeau, Gilles; Rauch, Jeffrey Sharp sufficient conditions for the observation, control, and stabilization of waves from the boundary, SIAM J. Control Optim., Volume 30 (1992) no. 5, pp. 1024-1065 | DOI | MR | Zbl

[2] Berger, Marcel A panoramic view of Riemannian geometry, Springer-Verlag, Berlin, 2003 | DOI

[3] Burq, Nicolas Second microlocalization and stabilization of damped wave equations on tori, Shocks, singularities and oscillations in nonlinear optics and fluid mechanics (Springer INdAM Ser.), Volume 17, Springer, Cham, 2017, pp. 55-73 | DOI | MR | Zbl

[4] Burq, Nicolas; Gérard, Patrick Condition nécessaire et suffisante pour la contrôlabilité exacte des ondes, C. R. Acad. Sci. Paris Sér. I Math., Volume 325 (1997) no. 7, pp. 749-752 | DOI | Zbl

[5] Burq, Nicolas; Gérard, Patrick Stabilization of wave equations on the torus with rough dampings, Pure Appl. Anal., Volume 2 (2020) no. 3, pp. 627-658 | DOI | MR | Zbl

[6] Hébrard, Pascal; Humbert, Emmanuel The geometrical quantity in damped wave equations on a square, ESAIM Control Optim. Calc. Var., Volume 12 (2006) no. 4, pp. 636-661 | DOI | MR | Zbl

[7] Humbert, Emmanuel; Privat, Yannick; Trélat, Emmanuel Observability properties of the homogeneous wave equation on a closed manifold, Comm. Partial Differential Equations, Volume 44 (2019) no. 9, pp. 749-772 | DOI | MR | Zbl

[8] Lebeau, Gilles Control for hyperbolic equations, Journées “Équations aux Dérivées Partielles” (Saint-Jean-de-Monts, 1992), École Polytechnique, Palaiseau, 1992, p. 24 | MR | Zbl

[9] Rauch, Jeffrey; Taylor, Michael Exponential decay of solutions to hyperbolic equations in bounded domains, Indiana Univ. Math. J., Volume 24 (1974), pp. 79-86 | DOI | MR

[10] Zworski, Maciej Semiclassical analysis, Graduate Studies in Math., 138, American Mathematical Society, Providence, RI, 2012 | DOI