Optimal Shape and Location of Sensors for Parabolic Equations with Random Initial Data

By Yannick Privat, Emmanuel Trélat, Enrique Zuazua. Archive for Rational Mechanics and Analysis, 2014

74 citations recorded by the source corpus.

In this article, we consider parabolic equations on a bounded open connected subset Ω\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Omega}$$\end{document} of Rn\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb{R}^n}$$\end{document}. We model and investigate the problem of optimal shape and location of the observation domain having a prescribed measure. This problem is motivated by the question of knowing how to shape and place sensors in some domain in order to maximize the quality of the observation: for instance, what is the optimal location and shape of a thermometer? We show that it is relevant to consider a spectral optimal design problem corresponding to an average of the classical observability inequality over random initial data, where the unknown ranges over the set of all possible measurable subsets of Ω\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Omega}$$\end{document} of fixed measure. We prove that, under appropriate sufficient spectral assumptions, this optimal design problem has a unique solution, depending only on a finite number of modes, and that the optimal domain is semi-analytic and thus has a finite number of connected components. This result is in strong contrast with hyperbolic conservative equations (wave and Schrödinger) studied in Privat et al. (J Eur Math Soc, 2015) for which relaxation does occur. We also provide examples of applications to anomalous diffusion or to the Stokes equations. In the case where the underlying operator is any positive (possible fractional) power of the negative of the Dirichlet-Laplacian, we show that, surprisingly enough, the complexity of the optimal domain may strongly depend on both the geometry of the domain and on the positive power. The results are illustrated with several numerical simulations.

Subfields: Computational Theory and Mathematics, Control and Systems Engineering, Mathematical Physics

View Paper: https://www.semanticscholar.org/paper/1d7e9d74ddfbd2666c6a6223a6d1085661e3f9ce

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Computational Theory and Mathematics

  1. GengshengBB Wang
  2. Emmanuel Trélat
  3. Yashan Xu

In Control and Systems Engineering

  1. GengshengBB Wang
  2. Emmanuel Trélat
  3. Yashan Xu
  4. Enrique Zuazua

In Mathematical Physics

  1. GengshengBB Wang
  2. Emmanuel Trélat
  3. Yashan Xu

Citations in the corpus