Feedback Linearization of Hyperbolic PDEs with Volterra Nonlinearities

إليك ملخص تقني مفصل لورقة البحث بعنوان "الخطيّة بالتغذية الراجعة للمعادلات التفاضلية الجزئية الزائدية ذات اللاخطيات من نوع فولتير" (Feedback Linearization of Hyperbolic PDEs with Volterra Nonlinearities) للباحث ميروسلاف كرسيتيك.

1. صياغة المشكلة

تتناول الورقة مسألة الخطيّة بالتغذية الراجعة (feedback linearization) لفئة محددة من الأنظمة غير الخطية ذات الأبعاد اللانهائية: وهي المعادلات التفاضلية الجزئية الزائدية (hyperbolic PDEs) من الدرجة الأولى التي تتعرض لاضطرابات من نوع "لاخطيات فولتير" المكانية.

يتم نمذجة النظام (the plant) كمعادلة نقل مع حد مصدر لاخطي:
$$u_t(x, t) = u_x(x, t) + F[u](x, t), \quad x \in [0, 1), \ t \ge 0$$
بشرط التحكم الحدودي $u(1, t) = U(t)$ والشرط الابتدائي $u(x, 0) = u_0(x)$.

اللاخطية $F[u]$ هي متسلسلة فولتير لانهائية في المتغير المكاني تبدأ من الدرجة الثانية:
$$F[u](x, t) = \sum_{n=2}^{\infty} \int_{T_n(x)} f_n(x, \xi_1, \dots, \xi_n) \prod_{i=1}^n u(\xi_i, t) \, d\xi_n \dots d\xi_1$$
حيث $T_n(x)$ هو نطاق السيمبلكس (simplex domain) $0 \le \xi_n \le \dots \le \xi_1 \le x$. ويُفترض أن النوى (kernels) $f_n$ تحقق حدود نمو محددة (نمو عاملي) لضمان التقارب.

الهدف: بناء تحويل حالة لاخطي (متسلسلة فولتير) وقانون تغذية راجعة حدودي بحيث يتم تحويل النظام في الحلقة المغلقة إلى معادلة نقل خطية مستقرة بحدود متجانسة ($w_t = w_x, w(1,t)=0$)، مما يحقق الاستقرار الأسي المحلي (local exponential stability) في معيار $L^2$.

2. المنهجية

توسع هذه المنهجية منهجية الخطوات الخلفية (Backstepping)، التي طُبقت سابقاً على المعادلات التفاضلية الجزئية المكافئة (parabolic PDEs) والمعادلات التفاضلية العادية (ODEs)، لتشمل الإطار الزائدي (hyperbolic setting). وتتضمن الاستراتيجية الجوهرية ما يلي:

1. تحويل فولتير (Volterra Transformation): يُقترح تغيير متغيرات لاخطي:
   $$w(x, t) = u(x, t) - K[u](x, t)$$
   حيث $K[u]$ هو مؤثر فولتير بنوى $k_n$ غير معروفة.
2. شرط المطابقة (Matching Condition): من خلال تعويض التحويل في ديناميكا النظام وفرض الديناميكا المستهدفة ($w_t = w_x$)، يتم اشتقاق تسلسل هرمي من المعادلات التفاضلية الجزئية الخطية للنوى $k_n$.
3. معادلات النوى (Kernel Equations): لكل رتبة $n \ge 2$، تحقق النوى معادلة نقل خطية من الدرجة الأولى على السيمبلكس $T_n(1)$:
   $$\partial_x k_n + \sum_{i=1}^n \partial_{\xi_i} k_n = -f_n + \text{coupling terms from lower-order kernels}$$
   يتم حل هذه المعادلات بشكل تكراري بدءاً من $n=2$.
4. تحليل التقارب (Convergence Analysis):
   • التحويل المباشر: يضع المؤلفون حدود $L^2$ للنوى باستخدام متراجحة تكرارية مشتقة من التمثيل المميز لمعادلة النقل. ويستخدمون حجج المتسلسلات الكبرى (majorant series) (مقارنة معايير النوى بسلسلة قوة متقاربة) لإثبات تقارب متسلسلة فولتير لـ $K[u]$ في جوار نقطة الأصل.
   • التحويل العكسي: بخلاف الأعمال السابقة التي استخدمت قلب متسلسلة "بويد-تشوا" (Boyd–Chua) الشكلي، تستخدم هذه الورقة حجة التعيين النقطي (contraction mapping argument) على $L^ض$ لإثبات وجود ووحدانية التحويل العكسي، مما يوفر حدود ليبشيتز (Lipschitz bounds) صريحة ونصف قطر العكسية.
5. إثبات الاستقرار: يتم نقل استقرار النظام المستهدف (التقارب في زمن محدد إلى الصفر) إلى النظام الأصلي باستخدام خصائص "بي-ليبشيتز" (bi-Lipschitz) للتحويل وعكسه.

3. المساهمات الرئيسية

أ. التوسع إلى المعادلات التفاضلية الجزئية الزائدية

هذا هو أول توسع ناجح لخطية التغذية الراجعة للمعادلات التفاضلية الجزئية غير الخطية من الفئة المكافئة (Vazquez & Krstic, 2008) إلى الفئة الزائدية (hyperbolic class).

• الاختلاف الهيكلي: بينما تتطلب معادلات النوى في الحالة المكافئة معادلات تفاضلية جزئية من الدرجة الثانية تتطلب تقديرات طاقة، فإن معادلات النوى الزائدية هي معادلات نقل من الدرجة الأولى.
• الميزة التقنية: يسمح هذا بوجود حلول صريحة على طول المميزات (characteristics)، مما يبسط اشتقاق حدود النوى عبر متراجحات من نوع "غرونوال" (Grönwall-type) بدلاً من طرق الطاقة المعقدة.

ب. التحويل العكسي الصارم

تستبدل الورقة قلب المتسلسلة الشكلي المستخدم في الحالات المكافئة بـ حجة تعيين نقطي مباشرة.

• النتيجة: يؤدي ذلك إلى الحصول على تقديرات كمية صريحة لثابت ليبشيتز للخريطة العكسية ونصف قطر منطقة الجذب، وهي أمور حاسمة لضمانات الاستقرار العملية.

ج. قابلية التفاضل من نوع فريشيه (Fréchet Differentiability)

تثبت الورقة أن تحويل الخطوات الخلفية $T = I - K$ وعكسه هما قابلة للتفاضل من نوع فريشيه (تحديداً $C^1$) في جوار نقطة الأصل في $L^2$. وهذا يثبت أن التحويل هو تشاكل متباين (diffeomorphism) حقيقي ذو أبعاد لانهائية، على غرار تغييرات الإحداثيات المستخدمة في خطية التغذية الراجعة للمعادلات التفاضلية العادية ذات الأبعاد المحدودة.

د. البناء الخالي من المعادلات التفاضلية الجزئية (فئة Chen–Fliess الفرعية)

يُقدم اختراق نظري هام في القسم 11 لفئة فرعية من لاخطيات فولتير "المتكيفة مع النقل" (مرتبطة بمتسلسلات تشين-فليس).

• الاختزال: بالنسبة للأنظمة التي تقبل النوى توسعاً يعتمد على قاعدة أساسية متعددة الحدود، يختزل التسلسل اللانهائي لمعادلات السيمبلكس التفاضلية الجزئية إلى تسلسل مثلثي من المعادلات التفاضلية العادية (ODEs) القياسية على $[0, 1]$.
• التربيع (Quadrature): يمكن حساب النوى عبر التربيع القياسي (التكامل) دون الحاجة لحل أي معادلات تفاضلية جزئية. وهذا يوضح أنه بالنسبة لبعض الفئات ذات الأبعاد اللانهائية، فإن مسألة الخطية بالتغذية الراجعة هي في الأساس مسألة أحادية البعد في المتغير المكاني.

4. النتائج الرئيسية

1. الاستقرار الأسي المحلي: تم إثبات أن النظام في الحلقة المغلقة مستقر أسياً محلياً في معيار $L^2$. وقد تم توصيف منطقة الجذب صراحةً عبر شروط "الربح الصغير" (small-gain conditions) التي تتضمن ثوابت ليبشيتز للتحويل.
2. تقارب متسلسلات فولتير: توفر الورقة حدوداً صارمة لنمو نوى الخطوات الخلفية، مما يضمن تقارب متسلسلة فولتير للقيم الابتدائية ضمن كرة $L^2$ محددة.
3. التحقق العددي: تمت محاكاة مثال لمعادلة تفاضلية جزئية-جبرية (PDAE) غير خطية. وأظهرت النتائج ما يلي:
   • الأنظمة ذات الحلقة المفتوحة تنفجر (blow up) في زمن محدد.
   • التغذية الراجعة المبتورة (من رتبة منخفضة) تؤخر الانفجار ولكنها لا تمنعه.
   • الخطية الكاملة (أو عالية الرتبة بما يكفي) بالتغذية الراجعة لفولتير تنجح في استقرار النظام.
4. الحل التحليلي لفئة محددة: بالنسبة لفئة "تشين-فليس" الفرعية، تقدم الورقة خوارزمية صريحة لحساب معاملات المتحكم باستخدام التكاملات القياسية فقط، متجاوزة الحاجة لتكامل السيمبلكس عالي الأبعاد.

5. الأهمية

• علامة فارقة نظرية: تحل هذه الورقة تحدياً دام عقوداً في نظرية التحكم: وهو خطية التغذية الراجعة للمعادلات التفاضلية الجزئية الزائدية غير الخطية. وتؤكد أن نهج متسلسلة فولتير هو الإطار الصحيح للتحكم في الأنظمة غير الخطية ذات الأبعاد اللانهائية.
• تحول منهجي: من خلال الاستفادة من بنية النقل للمعادلات الزائدية، تبسط الورقة الآليات التحليلية المطلوبة لحدود النوى مقارنة بالحالة المكافئة.
• رؤية حوسبية: إن اكتشاف أن فئة معينة من الأبعاد اللانهائية تسمح بوجود تحقيق خالٍ من المعادلات التفاضلية الجزئية (عبر معادلات تفاضلية عادية قياسية) يتحدى الافتراض بأن التحكم في المعادلات التفاضلية الجزئية غير الخطية يجب أن يتضمن حل معادلات تفاضلية جزئية عالية الأبعاد. إنه يفتح مساراً جديداً لتصميم المتحكمات للأنظمة التي تهيمن عليها عمليات النقل مع وجود لاخطيات.
• تكريم لإيسيدوري: يعد هذا العمل تكريماً لنظرية التحكم الهندسي التأسيسية لألبرتو إيسيدوري، حيث نجح في نقل مفاهيم مثل الخطية بالتغذية الراجعة والتشاكلات المتباينة من المعادلات التفاضلية العادية ذات الأبعاد المحدودة إلى مجال المعادلات التفاضلية الجزئية ذات الأبعاد اللانهائية.

باختصار، توفر هذه الورقة إطاراً كاملاً وصارماً وذا رؤية حوسبية لتثبيت فئة واسعة من المعادلات التفاضلية الجزئية الزائدية غير الخطية، مما يسد الفجوة بين نظرية التحكم غير الخطي الهندسية ونظم الأبعاد اللانهائية.