On the regularity of null-controls of the linear 1-d heat equation

The 1-d heat equation in a bounded interval is null-controllable from the boundary. More precisely, for each initial data y0∈L2(0,1) there corresponds a unique boundary control of minimal L2(0,T)-norm which drives the state of the 1-d linear heat equation to zero in time T>0. This control is given as the normal derivative of a solution of the homogeneous adjoint equation whose initial data minimizes a suitable quadratic cost functional. In this Note we analyze the relation between the regularity of the initial datum to be controlled y0 and that of . We show that, if y0 has only one Fourier mode, the corresponding does not belong to any Sobolev space of negative exponent. This explains the severe ill-posedness of the problem and the lack of efficiency of most of the existing numerical algorithms for the numerical approximation of the controls, and in particular the slow convergence rate of Tychonoff regularization procedures.

RésuméLʼéquation de la chaleur 1-d dans un intervalle borné est contrôlable depuis le bord. Plus précisément, pour tout y0∈L2(0,1) il existe un unique contrôle frontière de norme L2(0,T) minimale qui conduit la solution de lʼéquation linéaire de la chaleur à zéro à lʼinstant T>0. Ce contrôle est donné par la dérivée normale au bord dʼune solution de lʼéquation adjointe avec une donnée initiale qui minimise une fonction coût quadratique. Dans cet article nous étudions la relation entre la régularité de y0 et celle de . Nous montrons que, si y0 a une seule fréquence de Fourier, la fonction correspondante nʼappartient à aucun espace de Sobolev dʼexposant négatif. Ce fait explique le caractère mal posé du problème et lʼinefficacité de la plupart des algorithmes numériques existants et en particulier la convergence lente des méthodes de régularisation de type Tychonoff.