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.

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

Cauchy Problem for Fast Diffusion Equation with Localized Reaction

Observability for Fractional Diffusion Equations by Interior Control

Global regularity and convergence to equilibrium of reaction-diffusion systems with nonlinear diffusion

On low frequency inference for diffusions without the hot spots conjecture

Uniform tail estimates and $L^p(\mathbb{R}^N)$-convergence for finite-difference approximations of nonlinear diffusion equations

Sharp extinction rates for positive solutions of fast diffusion equations

Convergence to the uniform distribution of moderately self-interacting diffusions on compact Riemannian manifolds

The Cauchy-Dirichlet Problem for the Fast Diffusion Equation on Bounded Domains

Almost Sure Diffusion Approximation in Averaging: Direct Proofs with Rough Paths Flavors

Finite-dimensional leading order dynamics for the fast diffusion equation near extinction

Observability inequality, log-type Hausdorff content and heat equations

Fast Diffusion Limit for Reaction-Diffusion Systems with Stochastic Neumann Boundary Conditions

Equation-free, multiscale computation for unsteady random diffusion

Diffusion vs Cross-Diffusion: An Elliptic Approach

EXTINCTION FOR FAST DIFFUSION EQUATIONS WITH NONLINEAR SOURCES

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

Solutions of the 4-species quadratic reaction-diffusion system are bounded and $C^\infty$, in any space dimension

Almost sure diffusion approximation in averaging via rough paths theory

A uniform bound for solutions to a thermo-diffusive system

Exponential Mixing Via Additive Combinatorics