On the cost of observability in small times for the one-dimensional heat equation

Jérémi Dardé (1) , Sylvain Ervedoza (1)

1 IMT - Institut de Mathématiques de Toulouse UMR5219

In this article, we aim at presenting a new estimate on the cost of observability in small times of the one-dimensional heat equation, which also provides a new proof of observability for the one-dimensional heat equation. Our proof combines several tools. First, it uses a Carleman in which the weight function is derived from the heat kernel and which is therefore particularly easy. We also use explicit computations in the Fourier domain to compute the high-frequency part of the solution in terms of the observations. Finally, we use the Phragmén Lindelöf principle to estimate the low frequency part of the solution. This last step is done carefully with precise estimations coming from conformal mappings.

Domaines: Equations aux dérivées partielles [math.AP]; Optimisation et contrôle [math.OC]

Jérémi Dardé, Sylvain Ervedoza. On the cost of observability in small times for the one-dimensional heat equation. Analysis & PDE, 2019, ⟨10.2140/apde.2019.12.1455⟩. ⟨hal-01619211⟩