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.

Heat content for stable processes in domains of $\R^d$

On the one--dimensional spectral Heat content for stable processes

Dirichlet heat kernel estimates for rectilinear stable processes

Heat kernel estimates for non-symmetric stable-like processes

On the heat content functional and its critical domains

Heat content for Gaussian processes: small-time asymptotic analysis

Dirichlet heat kernel estimates of subordinate diffusion processes with diffusive components in $C^{1, α}$ open sets

Heat kernel estimates for stable-driven SDEs with distributional drift

Explicit Unconditionally Stable Methods for the Heat Equation Via Potential Theory

Dirichlet spectrum and heat content

Heat content asymptotics with singular data

Heat Trace of non-local operators

Non-symmetric stable processes: Dirichlet heat kernel, Martin kernel and Yaglom limit

On the heat diffusion for generic Riemannian and sub-Riemannian structures

Spectral heat content on a class of fractal sets for subordinate killed Brownian motions

Heat Kernels On Metric Measure Spaces And An Application To Semilinear Elliptic Equations

Observability inequality, log-type Hausdorff content and heat equations

Heat kernel estimates for Markov processes of direction-dependent type

Asymptotic behavior of solutions for a critical heat equation with nonlocal reaction

Large Time Behavior of the Heat Kernel

Heat kernel estimates for anisotropic symmetric jump processes