2025-11-21T18:34:16.215660

Exact output tracking for the one-dimensional heat equation and applications to the interpolation problem in Gevrey classes of order 2

Davron, Lissy
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

Exact output tracking for the one-dimensional heat equation and applications to the interpolation problem in Gevrey classes of order 2

Basic Information

  • Paper ID: 2511.07326
  • Title: Exact output tracking for the one-dimensional heat equation and applications to the interpolation problem in Gevrey classes of order 2
  • Authors: Lucas Davron (CEREMADE, Université Paris-Dauphine), Pierre Lissy (CERMICS, Ecole des Ponts)
  • Classification: math.OC (Optimization and Control)
  • Publication Date: November 11, 2025 (arXiv preprint)
  • Paper Link: https://arxiv.org/abs/2511.07326

Abstract

This paper provides a complete characterization of Dirichlet boundary outputs that can be exactly tracked for the one-dimensional heat equation under Neumann boundary control. The research describes the set of boundary trajectories generated by square-integrable controls over finite or infinite time horizons. The main results show that these outputs form precise function spaces related to Gevrey-2 regularity. In the infinite-time case, trackable outputs are precisely those continuous functions whose derivatives satisfy a weighted summability condition, corresponding to a specific Gevrey class. For finite-time horizons, additional compatibility conditions involving the system's reachable space provide a complete characterization. The analysis relies on Fourier-Laplace transforms, Hardy space properties, flatness methods, and a new Plancherel-type theorem for Gevrey function Hilbert spaces. Beyond control theory, the results provide an optimal solution to the classical interpolation problem for Gevrey-2 classes, improving Mitjagin's results on optimal loss factors.

Research Background and Motivation

Core Problem

This paper studies the output tracking problem specifically for the one-dimensional heat equation:

undefined