Optimal observability of the multi-dimensional wave and Schrödinger equations in quantum ergodic domains

Privat, Yannick, Trélat, Emmanuel, and Zuazua, Enrique. "Optimal observability of the multi-dimensional wave and Schrödinger equations in quantum ergodic domains." Journal of the European Mathematical Society 018.5 (2016): 1043-1111. <http://eudml.org/doc/277683>.

@article{Privat2016,
abstract = {We consider the wave and Schrödinger equations on a bounded open connected subset $\Omega $ of a Riemannian manifold, with Dirichlet, Neumann or Robin boundary conditions whenever its boundary is nonempty. We observe the restriction of the solutions to a measurable subset $\omega $ of $\Omega $ during a time interval $[0, T]$ with $T>0$. It is well known that, if the pair $(\omega ,T)$ satisfies the Geometric Control Condition ($\omega $ being an open set), then an observability inequality holds guaranteeing that the total energy of solutions can be estimated in terms of the energy localized in $\omega \times (0, T)$. We address the problem of the optimal location of the observation subset $\omega $ among all possible subsets of a given measure or volume fraction. A priori this problem can be modeled in terms of maximizing the observability constant, but from the practical point of view it appears more relevant to model it in terms of maximizing an average either over random initial data or over large time. This leads us to define a new notion of observability constant, either randomized, or asymptotic in time. In both cases we come up with a spectral functional that can be viewed as a measure of eigenfunction concentration. Roughly speaking, the subset $\omega $ has to be chosen so to maximize the minimal trace of the squares of all eigenfunctions. Considering the convexified formulation of the problem, we prove a no-gap result between the initial problem and its convexified version, under appropriate quantum ergodicity assumptions, and compute the optimal value. Our results reveal intimate relations between shape and domain optimization, and the theory of quantum chaos (more precisely, quantum ergodicity properties of the domain $\Omega $). We prove that in 1D a classical optimal set exists only for exceptional values of the volume fraction, and in general one expects relaxation to occur and therefore classical optimal sets not to exist. We then provide spectral approximations and present some numerical simulations that fully confirm the theoretical results in the paper and support our conjectures. Finally, we provide several remedies to nonexistence of an optimal domain. We prove that when the spectral criterion is modified to consider a weighted one in which the high frequency components are penalized, the problem has then a unique classical solution determined by a finite number of low frequency modes. In particular the maximizing sequence built from spectral approximations is stationary.},
author = {Privat, Yannick, Trélat, Emmanuel, Zuazua, Enrique},
journal = {Journal of the European Mathematical Society},
keywords = {wave equation; Schrödinger equation; observability inequality; optimal design; spectral decomposition; ergodic properties; quantum ergodicity; wave equation; Schrödinger equation; observability inequality; optimal design; spectral decomposition; ergodic properties; quantum ergodicity},
language = {eng},
number = {5},
pages = {1043-1111},
publisher = {European Mathematical Society Publishing House},
title = {Optimal observability of the multi-dimensional wave and Schrödinger equations in quantum ergodic domains},
url = {http://eudml.org/doc/277683},
volume = {018},
year = {2016},
}

TY - JOUR
AU - Privat, Yannick
AU - Trélat, Emmanuel
AU - Zuazua, Enrique
TI - Optimal observability of the multi-dimensional wave and Schrödinger equations in quantum ergodic domains
JO - Journal of the European Mathematical Society
PY - 2016
PB - European Mathematical Society Publishing House
VL - 018
IS - 5
SP - 1043
EP - 1111
AB - We consider the wave and Schrödinger equations on a bounded open connected subset $\Omega $ of a Riemannian manifold, with Dirichlet, Neumann or Robin boundary conditions whenever its boundary is nonempty. We observe the restriction of the solutions to a measurable subset $\omega $ of $\Omega $ during a time interval $[0, T]$ with $T>0$. It is well known that, if the pair $(\omega ,T)$ satisfies the Geometric Control Condition ($\omega $ being an open set), then an observability inequality holds guaranteeing that the total energy of solutions can be estimated in terms of the energy localized in $\omega \times (0, T)$. We address the problem of the optimal location of the observation subset $\omega $ among all possible subsets of a given measure or volume fraction. A priori this problem can be modeled in terms of maximizing the observability constant, but from the practical point of view it appears more relevant to model it in terms of maximizing an average either over random initial data or over large time. This leads us to define a new notion of observability constant, either randomized, or asymptotic in time. In both cases we come up with a spectral functional that can be viewed as a measure of eigenfunction concentration. Roughly speaking, the subset $\omega $ has to be chosen so to maximize the minimal trace of the squares of all eigenfunctions. Considering the convexified formulation of the problem, we prove a no-gap result between the initial problem and its convexified version, under appropriate quantum ergodicity assumptions, and compute the optimal value. Our results reveal intimate relations between shape and domain optimization, and the theory of quantum chaos (more precisely, quantum ergodicity properties of the domain $\Omega $). We prove that in 1D a classical optimal set exists only for exceptional values of the volume fraction, and in general one expects relaxation to occur and therefore classical optimal sets not to exist. We then provide spectral approximations and present some numerical simulations that fully confirm the theoretical results in the paper and support our conjectures. Finally, we provide several remedies to nonexistence of an optimal domain. We prove that when the spectral criterion is modified to consider a weighted one in which the high frequency components are penalized, the problem has then a unique classical solution determined by a finite number of low frequency modes. In particular the maximizing sequence built from spectral approximations is stationary.
LA - eng
KW - wave equation; Schrödinger equation; observability inequality; optimal design; spectral decomposition; ergodic properties; quantum ergodicity; wave equation; Schrödinger equation; observability inequality; optimal design; spectral decomposition; ergodic properties; quantum ergodicity
UR - http://eudml.org/doc/277683
ER -