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

التتبع الدقيق للمخرجات لمعادلة الحرارة أحادية البعد والتطبيقات على مسألة الاستيفاء في فئات Gevrey من الرتبة 2

المعلومات الأساسية

  • معرّف الورقة: 2511.07326
  • العنوان: التتبع الدقيق للمخرجات لمعادلة الحرارة أحادية البعد والتطبيقات على مسألة الاستيفاء في فئات Gevrey من الرتبة 2
  • المؤلفون: Lucas Davron (CEREMADE، جامعة باريس-دوفين)، Pierre Lissy (CERMICS، مدرسة الجسور)
  • التصنيف: math.OC (التحسين والتحكم)
  • تاريخ النشر: 11 نوفمبر 2025 (مسودة arXiv)
  • رابط الورقة: https://arxiv.org/abs/2511.07326

الملخص

تقدم هذه الورقة توصيفاً كاملاً لمخرجات حدود Dirichlet التي يمكن تتبعها بدقة لمعادلة الحرارة أحادية البعد تحت التحكم بحدود Neumann. يصف البحث مجموعة المسارات الحدية الناتجة عن التحكم المربع التكامل على فترات زمنية محدودة أو غير محدودة. تُظهر النتائج الرئيسية أن هذه المخرجات تشكل فضاءات دوال دقيقة مرتبطة بالانتظامية Gevrey-2. في حالة الوقت غير المحدود، تكون المخرجات القابلة للتتبع بالضبط تلك التي تحقق شروط الجمع المرجح لمشتقاتها المستمرة، المقابلة لفئات Gevrey محددة. بالنسبة للفترات الزمنية المحدودة، توفر شروط التوافقية الإضافية المتعلقة بفضاء الوصول للنظام توصيفاً كاملاً. يعتمد التحليل على تحويلات Fourier-Laplace وخصائص فضاءات Hardy والطرق المسطحة وتطبيق نظرية Plancherel جديدة من نوعها لفضاءات Hilbert للدوال Gevrey. بالإضافة إلى نظرية التحكم، توفر نتائج هذه الورقة حلاً أمثلياً لمسألة الاستيفاء الكلاسيكية لفئة Gevrey-2، محسّنة لنتائج Mitjagin حول عامل الخسارة الأمثل.

الخلفية البحثية والدافع

المشكلة الأساسية

تدرس هذه الورقة مسألة تتبع المخرجات (output tracking) بشكل محدد لمعادلة الحرارة أحادية البعد:

undefined