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

Tracciamento esatto dell'output per l'equazione del calore unidimensionale e applicazioni al problema di interpolazione nelle classi di Gevrey di ordine 2

Informazioni Fondamentali

  • ID Articolo: 2511.07326
  • Titolo: Exact output tracking for the one-dimensional heat equation and applications to the interpolation problem in Gevrey classes of order 2
  • Autori: Lucas Davron (CEREMADE, Université Paris-Dauphine), Pierre Lissy (CERMICS, Ecole des Ponts)
  • Classificazione: math.OC (Ottimizzazione e Controllo)
  • Data di Pubblicazione: 11 novembre 2025 (preprint arXiv)
  • Link Articolo: https://arxiv.org/abs/2511.07326

Riassunto

Questo articolo caratterizza completamente gli output al bordo di Dirichlet esattamente tracciabili per l'equazione del calore unidimensionale sotto controllo al bordo di Neumann. Lo studio descrive l'insieme delle traiettorie al bordo generate da controlli quadraticamente integrabili in intervalli di tempo finiti o infiniti. I risultati principali mostrano che questi output formano spazi funzionali precisi correlati alla regolarità di Gevrey-2. Nel caso di tempo infinito, gli output tracciabili sono esattamente quelle funzioni le cui derivate continue soddisfano condizioni di sommabilità pesata, corrispondenti a specifiche classi di Gevrey. Per intervalli di tempo finiti, condizioni di compatibilità aggiuntive che coinvolgono lo spazio raggiungibile del sistema forniscono una caratterizzazione completa. L'analisi si basa sulla trasformata di Fourier-Laplace, proprietà degli spazi di Hardy, metodi di piattezza e un nuovo teorema di tipo Plancherel per spazi di Hilbert di funzioni di Gevrey. Oltre alla teoria del controllo, i risultati dell'articolo forniscono la soluzione ottimale al classico problema di interpolazione per la classe di Gevrey-2, migliorando i risultati di Mitjagin sul fattore di perdita ottimale.

Contesto di Ricerca e Motivazione

Problema Centrale

Questo articolo studia il problema del tracciamento dell'output (output tracking), specificamente per l'equazione del calore unidimensionale:

undefined