A. Walton Green, Kévin Le Balc'h, Jérémy Martin, Marcu-Antone Orsoni
{"title":"从极小集合观察热方程的可观察性","authors":"A. Walton Green, Kévin Le Balc'h, Jérémy Martin, Marcu-Antone Orsoni","doi":"arxiv-2407.20954","DOIUrl":null,"url":null,"abstract":"We consider the heat equation set on a bounded $C^1$ domain of $\\mathbb R^n$\nwith Dirichlet boundary conditions. The first purpose of this paper is to prove\nthat the heat equation is observable from any measurable set $\\omega$ with\npositive $(n-1+\\delta)$-Hausdorff content, for $\\delta >0$ arbitrary small. The\nproof relies on a new spectral estimate for linear combinations of Laplace\neigenfunctions, obtained via a Remez type inequality, and the use of the\nso-called Lebeau-Robbiano's method. Even if this observability result is sharp\nwith respect to the scale of Hausdorff dimension, our second goal is to\nconstruct families of sets $\\omega$ which have codimension greater than or\nequal to $1$ for which the heat equation remains observable.","PeriodicalId":501142,"journal":{"name":"arXiv - MATH - Complex Variables","volume":"27 1","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2024-07-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Observability of the heat equation from very small sets\",\"authors\":\"A. Walton Green, Kévin Le Balc'h, Jérémy Martin, Marcu-Antone Orsoni\",\"doi\":\"arxiv-2407.20954\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We consider the heat equation set on a bounded $C^1$ domain of $\\\\mathbb R^n$\\nwith Dirichlet boundary conditions. The first purpose of this paper is to prove\\nthat the heat equation is observable from any measurable set $\\\\omega$ with\\npositive $(n-1+\\\\delta)$-Hausdorff content, for $\\\\delta >0$ arbitrary small. The\\nproof relies on a new spectral estimate for linear combinations of Laplace\\neigenfunctions, obtained via a Remez type inequality, and the use of the\\nso-called Lebeau-Robbiano's method. Even if this observability result is sharp\\nwith respect to the scale of Hausdorff dimension, our second goal is to\\nconstruct families of sets $\\\\omega$ which have codimension greater than or\\nequal to $1$ for which the heat equation remains observable.\",\"PeriodicalId\":501142,\"journal\":{\"name\":\"arXiv - MATH - Complex Variables\",\"volume\":\"27 1\",\"pages\":\"\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2024-07-30\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"arXiv - MATH - Complex Variables\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/arxiv-2407.20954\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"arXiv - MATH - Complex Variables","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/arxiv-2407.20954","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Observability of the heat equation from very small sets
We consider the heat equation set on a bounded $C^1$ domain of $\mathbb R^n$
with Dirichlet boundary conditions. The first purpose of this paper is to prove
that the heat equation is observable from any measurable set $\omega$ with
positive $(n-1+\delta)$-Hausdorff content, for $\delta >0$ arbitrary small. The
proof relies on a new spectral estimate for linear combinations of Laplace
eigenfunctions, obtained via a Remez type inequality, and the use of the
so-called Lebeau-Robbiano's method. Even if this observability result is sharp
with respect to the scale of Hausdorff dimension, our second goal is to
construct families of sets $\omega$ which have codimension greater than or
equal to $1$ for which the heat equation remains observable.