Paper detail

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

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.