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.

Invariance of green equilibrium measure on the domain

Invariant Measures in Generic Dynamical Systems

Invariant Measures Satisfying an Equality Relating Entropy, Folding Entropy and Negative Lyapunov Exponents

Invariant Family of Leaf measures and The Ledrappier-Young Property for Hyperbolic Equilibrium States

Quasimöbius invariance of uniform domains

When invariance implies exchangeability (and applications to invariant Keisler measures)

Variational Equalities of Entropy in Nonuniformly Hyperbolic Systems

Study of invariance of nonextensive statistics under the uniform energy spectrum translation

A local variational relation and applications

Uniform Convergence of Green’s Functions

Non-invariance of Gaussian Measures under the 2D Euler Flow

Invariant Measures for a Class of Stochastic Third-Grade Fluid Equations in 2D and 3D Bounded Domains

A Central Limit Theorem for Gibbsian Invariant Measures of 2D Euler Equations

Invariant uniformization

Invariant measures for a class of stochastic third grade fluid equations in $2D$ and $3D$ bounded domains

Invariant measures of fractional stochastic delay reaction–diffusion equations on unbounded domains

Fridman's invariant, squeezing functions, and exhausting domains

A Construction of Euclidean Invariant, Reflection Positive Measures on a Compactification of Distributions

On ergodic invariant measures for the stochastic Landau-Lifschitz-Gilbert equation in 1D

Equivalence and Invariance of the Index and Degree of Nash Equilibria

Observability inequality, log-type Hausdorff content and heat equations