Abstract
We consider the wave and Schrodinger 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 on $\Omega$, 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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.