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.

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

Observability Inequality from Measurable Sets and the Shape Design Problem for Stochastic Parabolic Equations

Observability Inequality from Measurable Sets for Degenerate Parabolic Equations and its Applications

Observability Inequality from Measurable Sets and the Stackelberg-Nash Game Problem for Degenerate Parabolic Equations

Observability inequalities for heat equations with potentials

Optimal Actuator Location of the Minimum Norm Controls for Stochastic Heat Equations

Observability inequality, log-type Hausdorff content and heat equations

Observability on lattice points for heat equations and applications

Insensitizing controls for stochastic parabolic equations with dynamic boundary conditions

Null controllability for one-dimensional stochastic heat equations with mixed Dirichlet-dynamic boundary conditions

Null Controllability for Forward and Backward Stochastic Parabolic Equations

Fractional Backward Stochastic Partial Differential Equations with Applications to Stochastic Optimal Control of Partially Observed Systems driven by Lévy Processes

The Maximum Principle for Discounted Optimal Control of Partially Observed Forward-Backward Stochastic Systems with Jumps on Infinite Horizon

Optimal Variational Principle for Backward Stochastic Control Systems Associated with Lévy Processes

General Necessary Conditions for Partially Observed Optimal Stochastic Controls

Observability inequalities on measurable sets for the Stokes system and applications

Stochastic LQ Control with Extra Measurability Restriction

Partial Information Near-Optimal Control of Forward-Backward Stochastic Differential System with Observation Noise

The Global Maximum Principle for Progressive Optimal Control of Partially Observed Forward-Backward Stochastic Systems with Random Jumps

A Mean-Field Game for a Forward-Backward Stochastic System with Partial Observation and Common Noise

Null Controllability for Backward Stochastic Parabolic Convection-Diffusion Equations with Dynamic Boundary Conditions