This paper provides a complete characterization of the Dirichlet boundary outputs that can be exactly tracked in the one-dimensional heat equation with Neumann boundary control. The problem consists in describing the set of boundary traces generated by square-integrable controls over a finite or infinite time horizon. We show that these outputs form a precise functional space related to Gevrey regularity of order 2. In the infinite-time case, the trackable outputs are precisely those functions whose successive derivatives satisfy a weighted summability condition, which corresponds to specific Gevrey classes. For finite-time horizons, an additional compatibility condition involving the reachable space of the system provides a full characterization. The analysis relies on Fourier-Laplace transform, properties of Hardy spaces, the flatness method, and a new Plancherel-type theorem for Hilbert spaces of Gevrey functions. Beyond control theory, our results yield an optimal solution to the classical interpolation problem in Gevrey-$2$ classes, which improves results of Mitjagin on the optimal loss factor. The techniques developed here also extend to variants of the heat system with different boundary conditions or observation points.
academic- ID del Artículo: 2511.07326
- Título: Exact output tracking for the one-dimensional heat equation and applications to the interpolation problem in Gevrey classes of order 2
- Autores: Lucas Davron (CEREMADE, Université Paris-Dauphine), Pierre Lissy (CERMICS, Ecole des Ponts)
- Clasificación: math.OC (Optimización y Control)
- Fecha de Publicación: 11 de noviembre de 2025 (preimpresión en arXiv)
- Enlace del Artículo: https://arxiv.org/abs/2511.07326
Este artículo caracteriza completamente las salidas de frontera de Dirichlet que pueden ser rastreadas exactamente para la ecuación del calor unidimensional bajo control de frontera de Neumann. El estudio describe el conjunto de trayectorias de frontera generadas por controles integrables al cuadrado en intervalos de tiempo finitos o infinitos. Los resultados principales demuestran que estas salidas forman espacios de funciones precisos relacionados con la regularidad de Gevrey-2. En el caso de tiempo infinito, las salidas rastreables son exactamente aquellas funciones cuyas derivadas continuas satisfacen una condición de sumabilidad ponderada, correspondiente a una clase de Gevrey específica. Para intervalos de tiempo finitos, condiciones de compatibilidad adicionales que involucran el espacio alcanzable del sistema proporcionan una caracterización completa. El análisis se basa en transformadas de Fourier-Laplace, propiedades de espacios de Hardy, métodos de planicidad y un nuevo teorema tipo Plancherel para espacios de Hilbert de funciones de Gevrey. Más allá de la teoría de control, los resultados del artículo proporcionan la solución óptima al problema clásico de interpolación en la clase Gevrey-2, mejorando los resultados de Mitjagin sobre el factor de pérdida óptimo.
Este artículo estudia el problema de seguimiento de salida (output tracking) específicamente para la ecuación del calor unidimensional:
undefined