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

Suivi exact de la sortie pour l'équation de la chaleur unidimensionnelle et applications au problème d'interpolation dans les classes de Gevrey d'ordre 2

Informations de base

  • ID de l'article: 2511.07326
  • Titre: Exact output tracking for the one-dimensional heat equation and applications to the interpolation problem in Gevrey classes of order 2
  • Auteurs: Lucas Davron (CEREMADE, Université Paris-Dauphine), Pierre Lissy (CERMICS, Ecole des Ponts)
  • Classification: math.OC (Optimisation et Contrôle)
  • Date de publication: 11 novembre 2025 (prépublication arXiv)
  • Lien de l'article: https://arxiv.org/abs/2511.07326

Résumé

Cet article caractérise complètement les sorties de Dirichlet au bord exactement traçables pour l'équation de la chaleur unidimensionnelle sous contrôle de Neumann. L'étude décrit l'ensemble des trajectoires au bord générées par des contrôles de carré intégrable sur des intervalles de temps finis ou infinis. Les principaux résultats montrent que ces sorties forment des espaces de fonctions précis liés à la régularité Gevrey-2. Dans le cas du temps infini, les sorties traçables sont exactement celles dont les dérivées continues satisfont une condition de sommabilité pondérée, correspondant à une classe de Gevrey spécifique. Pour les intervalles de temps finis, des conditions de compatibilité supplémentaires impliquant l'espace accessible du système fournissent une caractérisation complète. L'analyse repose sur la transformée de Fourier-Laplace, les propriétés des espaces de Hardy, les méthodes de platitude et un nouveau théorème de type Plancherel pour les espaces de Hilbert de fonctions Gevrey. Au-delà de la théorie du contrôle, les résultats de cet article donnent une solution optimale au problème classique d'interpolation pour la classe Gevrey-2, améliorant les résultats de Mitjagin concernant le facteur de perte optimal.

Contexte et motivation de la recherche

Problème fondamental

Cet article étudie le problème du suivi de sortie (output tracking) pour l'équation de la chaleur unidimensionnelle :

undefined