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: 2511.07326
- タイトル: Exact output tracking for the one-dimensional heat equation and applications to the interpolation problem in Gevrey classes of order 2
- 著者: Lucas Davron (CEREMADE, Université Paris-Dauphine), Pierre Lissy (CERMICS, Ecole des Ponts)
- 分類: math.OC (最適化と制御)
- 発表日: 2025年11月11日 (arXiv プレプリント)
- 論文リンク: https://arxiv.org/abs/2511.07326
本論文は、Neumann境界制御下における1次元熱方程式のDirichlet境界出力について、正確に追跡可能な出力を完全に特性化する。本研究は、有限または無限時間区間において二乗可積分制御により生成される境界軌跡の集合を記述する。主要な結果は、これらの出力がGevrey-2正則性に関連する正確な関数空間を形成することを示している。無限時間の場合、追跡可能な出力は、連続導数が特定のGevrey類に対応する加重可和性条件を満たす関数である。有限時間区間の場合、システムの到達可能空間に関する追加の適合性条件が完全な特性化を提供する。解析はFourier-Laplace変換、Hardy空間の性質、平坦性方法、およびGevrey関数Hilbert空間の新しいPlancherel型定理に依存している。制御理論への応用に加えて、本論文の結果はGevrey-2類の古典的な補間問題に対する最適解を与え、最適損失係数に関するMitjaginの結果を改善する。
本論文は出力追跡(output tracking)問題を研究し、具体的には1次元熱方程式を対象とする:
undefined