Sharp Observability Estimates for Heat Equations

Abstract

The goal of this article is to derive new estimates for the cost of observability of heat equations. We have developed a new method allowing one to show that when the corresponding wave equation is observable, the heat equation is also observable. This method allows one to describe the explicit dependence of the observability constant on the geometry of the problem (the domain in which the heat process evolves and the observation subdomain). We show that our estimate is sharp in some cases, particularly in one space dimension and in the multi-dimensional radially symmetric case. Our result extends those in Fattorini and Russell (Arch Rational Mech Anal 43:272–292, 1971) to the multi-dimensional setting and improves those available in the literature, namely those by Miller (J Differ Equ 204(1):202–226, 2004; SIAM J Control Optim 45(2):762–772, 2006; Atti Accad Naz Lincei Cl Sci Fis Mat Natur Rend Lincei (9) Mat Appl 17(4):351–366, 2006) and Tenenbaum and Tucsnak (J Differ Equ 243(1):70–100, 2007). Our approach is based on an explicit representation formula of some solutions of the wave equation in terms of those of the heat equation, in contrast to the standard application of transmutation methods, which uses a reverse representation of the heat solution in terms of the wave one. We shall also explain how our approach applies and yields some new estimates on the cost of observability in the particular case of the unit square observed from one side. We will also comment on the applications of our techniques to controllability properties of heat-type equations.