On the reachable states for the boundary control of the heat equation

Philippe Martin, Lionel Rosier, Pierre Rouchon

Published 2015-09-30Version 1

We are interested in the determination of the reachable states for the boundary control of the one-dimensional heat equation. We consider either one or two boundary controls. We show that reachable states associated with square integrable controls can be extended to analytic functions onsome square of C, and conversely, that analytic functions defined on a certain disk can be reached by using boundary controlsthat are Gevrey functions of order 2. The method of proof combines the flatness approach with some new Borel interpolation theorem in some Gevrey class witha specified value of the loss in the uniform estimates of the successive derivatives of the interpolating function.