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.

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

An Approximation for the Boundary Optimal Control Problem of a Heat Equation Defined in a Variable Domain

Sharp estimates of the one-dimensional boundary control cost for parabolic systems

Quantitative 2D propagation of smallness and control for 1D heat equations with power growth potentials

Exact controllability to eigensolutions of the heat equation via bilinear controls on two-dimensional domains

Explicit Unconditionally Stable Methods for the Heat Equation Via Potential Theory

A formula for backward and control problems of the heat equation

Flatness Approach for the Boundary Controllability of a System of Heat Equations

Sharp supremum and Hölder bounds for stochastic integrals indexed by a parameter

Approximate boundary controllability for parabolic equations with inverse square infinite potential wells

Observability inequalities for heat equations with potentials

Boundary Feedback Control of Unstable Heat Equation with Space and Time Dependent Coefficient

Tracking controllability for the heat equation

Homogenization of the heat equation in a noncylindrical domain with randomly oscillating boundary

Null-controllability for weakly dissipative heat-like equations

Gaussian estimates vs. elliptic regularity on open sets

Control of Eigenfunctions on Surfaces of Variable Curvature

Observability inequality, log-type Hausdorff content and heat equations

Existence, Uniqueness and Convergence of Simultaneous Distributed-Boundary Optimal Control Problems

Sharp estimates of the spherical heat kernel

Multivariate change estimation for a stochastic heat equation from local measurements