Abstract:This paper studies observability inequalities for heat equations on both bounded domains and the whole space $\mathbb{R}^d$. The observation sets are measured by log-type Hausdorff contents, which are induced by certain log-type gauge functions closely related to the heat kernel. On a bounded domain, we derive the observability inequality for observation sets of positive log-type Hausdorff content. Notably, the aforementioned inequality holds not only for all sets with Hausdorff dimension $s$ for any $s\in (d-1,d]$, but also for certain sets of Hausdorff dimension $d-1$. On the whole space $\mathbb{R}^d$, we establish the observability inequality for observation sets that are thick at the scale of the log-type Hausdorff content. Furthermore, we prove that for the 1-dimensional heat equation on an interval, the Hausdorff content we have chosen is an optimal scale for the observability inequality. To obtain these observability inequalities, we use the adapted Lebeau-Robiano strategy from \cite{Duyckaerts2012resolvent}. For this purpose, we prove the following results at scale of the log-type Hausdorff content, the former being derived from the latter: We establish a spectral inequality/a Logvinenko-Sereda uncertainty principle; we set up a quantitative propagation of smallness of analytic functions; we build up a Remez' inequality; and more fundamentally, we provide an upper bound for the log-type Hausdorff content of a set where a monic polynomial is small, based on an estimate in Lubinsky \cite{Lubinsky1997small}, which is ultimately traced back to the classical Cartan Lemma. In addition, we set up a capacity-based slicing lemma (related to the log-type gauge functions) and establish a quantitative relationship between Hausdorff contents and capacities. These tools are crucial in the studies of the aforementioned propagation of smallness in high-dimensional situations.

On the dimension of observable sets for the heat equation

Observability inequality, log-type Hausdorff content and heat equations

Sobolev space theory for the heat and time-fractional heat equations in non-smooth domains

A Carleman estimate for the fractional heat equation and its application in final state observability

Observability inequality of backward stochastic heat equations with Lévy process for measurable sets and its applications

Observability inequalities for heat equations with potentials

Asymptotic behaviour of the heat equation in an exterior domain with general boundary conditions II. The case of bounded and of $L^{p}$ data

Observability on lattice points for heat equations and applications

Uniform boundary observability for the spectral collocation of the linear elasticity system

Spectral estimates on hyperbolic surfaces and a necessary condition for observability of the heat semigroup on manifolds

Large-time optimal observation domain for linear parabolic systems

On variable Lebesgue spaces and generalized nonlinear heat equations

A Fast Observability for Diffusion Equations in $\mathbb R^N$

Asymptotic behaviour of the heat equation in an exterior domain with general boundary conditions I. The case of integrable data

Solvability of the $L^p$ Dirichlet problem for the heat equation is equivalent to parabolic uniform rectifiability in the case of a parabolic Lipschitz graph

Null-controllability for weakly dissipative heat-like equations

Sharp estimates and homogenization of the control cost of the heat equation on large domains

Heat-Equations on Minimal Submanifolds and Their Applications

Heat kernel for reflected diffusion and extension property on uniform domains

The one-dimensional heat equation in the Alexiewicz norm