طرق ليابونوف لاستقرار الإدخال إلى الحالة للمعادلات التطورية المتغيرة بالزمن

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

• معرّف الورقة: 2510.14057
• العنوان: طرق ليابونوف لاستقرار الإدخال إلى الحالة للمعادلات التطورية المتغيرة بالزمن
• المؤلفون: رحمة هني، أندريي ميرونتشينكو، فابيان فيرث، حنان دمق، محمد علي الحمامي
• التصنيف: math.OC (التحسين والتحكم)
• تاريخ النشر: 15 أكتوبر 2025 (نسخة أولية من arXiv)
• رابط الورقة: https://arxiv.org/abs/2510.14057

الملخص

تثبت هذه الورقة أن استقرار الإدخال إلى الحالة (المحلي) ((L)ISS) والاستقرار المتكامل للإدخال إلى الحالة (iISS) لأنظمة الفضاء المجرد اللانهائي الأبعاد المتغيرة بالزمن يمكن ضمانه من خلال وجود دوال ليابونوف المقابلة. يتم مناقشة استقرار الإدخال إلى الحالة للأنظمة الخطية المتغيرة بالزمن مع مؤثرات إدخال محدودة في فضاء هيلبرت بشكل خاص. يتم اقتراح طريقة بناء دوال ليابونوف غير الإجبارية LISS/iISS لفئة معينة من معادلات التطور شبه الخطية المتغيرة بالزمن. يتم التحقق من صحة النتائج المحصول عليها من خلال مثالين.

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

مشاكل البحث

تعالج هذه الورقة بشكل أساسي مشكلة تحليل استقرار الإدخال إلى الحالة للأنظمة اللانهائية الأبعاد المتغيرة بالزمن، وخاصة:

1. كيفية توصيف خصائص ISS و iISS للأنظمة اللانهائية الأبعاد المتغيرة بالزمن من خلال طريقة دالة ليابونوف
2. كيفية بناء دوال ليابونوف غير الإجبارية لتحليل الأنظمة المتغيرة بالزمن ذات المؤثرات غير المحدودة
3. كيفية توسيع نظرية ISS الكلاسيكية من الأنظمة الثابتة بالزمن إلى الحالة المتغيرة بالزمن

تحليل الأهمية

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

قيود الطرق الموجودة

1. نقص نظرية الأنظمة المتغيرة بالزمن: مقارنة بنظرية ISS للأنظمة اللانهائية الأبعاد الثابتة بالزمن، يوجد بحث نسبي أقل في الحالة المتغيرة بالزمن
2. صعوبة التعامل مع المؤثرات غير المحدودة: بالنسبة للأنظمة المتغيرة بالزمن ذات المؤثرات غير المحدودة A(t)، لا توجد نتائج ISS و iISS ذات صلة تقريباً
3. تعقيد بناء دالة ليابونوف: بناء دالة ليابونوف ISS في الأنظمة المتغيرة بالزمن أكثر صعوبة من الحالة الثابتة بالزمن

المساهمات الأساسية

1. إنشاء توصيف ليابونوف لـ ISS/iISS للأنظمة اللانهائية الأبعاد المتغيرة بالزمن: إثبات أن وجود دوال ليابونوف المقابلة يعادل خصائص ISS/iISS للنظام
2. اقتراح طريقة بناء دوال ليابونوف غير الإجبارية: بالنسبة للأنظمة الخطية المتغيرة بالزمن ذات المؤثرات غير المحدودة، يتم إعطاء بناء صريح لدالة ليابونوف ISS غير الإجبارية
3. توسيع إطار التحليل للأنظمة شبه الخطية: إنشاء طريقة بناء دالة ليابونوف LISS/iISS لمعادلات التطور شبه الخطية المتغيرة بالزمن
4. تحسين نظرية الاستقرار الحسن للأنظمة المتغيرة بالزمن: إعطاء شروط كافية لاستقرار الحسن لمعادلات التطور شبه الخطية المتغيرة بالزمن
5. توفير أمثلة تطبيقية محددة: التحقق من صحة النتائج النظرية من خلال معادلة كوراموتو-سيفاشينسكي ومعادلة الحرارة

شرح الطريقة

تعريف المهمة

دراسة استقرار النظام الديناميكي المجرد Σ = (X, U, φ)، حيث:

• X: فضاء الحالة (فضاء خطي معياري)
• U: مجموعة قيم الإدخال
• φ: دالة الانتقال

النظر بشكل محدد في معادلة التطور شبه الخطية المتغيرة بالزمن:

ẋ(t) = A(t)x(t) + Ψ(t, x(t), u(t)), t ≥ t₀ ≥ 0
x(t₀) = x₀

الإطار النظري الأساسي

1. تعريف ISS/iISS

استقرار الإدخال إلى الحالة (ISS): يوجد β ∈ KL, γ ∈ K، بحيث

‖φ(t, t₀, x₀, u)‖ₓ ≤ β(‖x₀‖ₓ, t - t₀) + γ(‖u‖ᵤ)

الاستقرار المتكامل للإدخال إلى الحالة (iISS): يوجد α ∈ K∞, μ ∈ K, β ∈ KL، بحيث

‖φ(t, t₀, x₀, u)‖ₓ ≤ β(‖x₀‖ₓ, t - t₀) + α(∫ᵗₜ₀ μ(‖u(s)‖ᵤ)ds)

2. تعريف دالة ليابونوف

دالة ليابونوف ISS غير الإجبارية: دالة مستمرة V : ℝ₊ × D → ℝ₊ تحقق:

• V(t, 0) = 0
• 0 < V(t, x) ≤ α₂(‖x‖ₓ), ∀x ∈ D{0}
• ‖x‖ₓ ≥ κ(‖u‖ᵤ) ⟹ V̇ᵤ(t, x) ≤ -μ(V(t, x))

حيث يتم تعريف مشتقة لاي على النحو التالي:

V̇ᵤ(t, x) := lim sup[h→0⁺] (1/h)[V(t+h, φ(t+h, t, x, u)) - V(t, x)]

نقاط الابتكار التقني

1. توصيف استقرار الأسر التطورية

إنشاء العلاقة المتكافئة بين الاستقرار الأسي المنتظم للأسرة التطورية {W(t, s)} وخصائص ISS للنظام:

النظرية 4.5: بالنسبة للنظام الخطي ẋ = A(t)x + B(t)u، الشروط التالية متكافئة:

• النظام ISS
• النظام 0-UGAS
• النظام iISS
• الأسرة التطورية مستقرة بشكل منتظم تقاربياً
• الأسرة التطورية مستقرة بشكل منتظم أسياً

2. بناء دالة ليابونوف غير الإجبارية

بالنسبة للأسرة التطورية المستقرة بشكل منتظم أسياً، يتم بناء دالة ليابونوف ISS غير إجبارية صريحة:

V(t, x) = ∫^∞ₜ ‖W(τ, t)x‖²ₓ dτ

ويتم إثبات أنها تحقق عدم المساواة الناشرة:

V̇ᵤ(t, x) ≤ -‖x‖²ₓ + (ηk²)/(2w)‖x‖²ₓ + (k²)/(2ηw)‖B‖²∞‖u(t)‖²ᵤ

3. معالجة الأنظمة شبه الخطية

من خلال افتراض الحدود الخطية المحلية (H2) والافتراض ذي النمو الثنائي الخطي (H3)، يتم توسيع نتائج النظام الخطي إلى الحالة شبه الخطية.

إعداد التجارب

أمثلة التطبيق

1. معادلة كوراموتو-سيفاشينسكي

النظر في معادلة KS المتحكم فيها والمتغيرة بالزمن:

∂x/∂t = -∂⁴x/∂z⁴ - ϱ∂²x/∂z² - μ(t)x + (x|sin(t)|)/(1 + e^(-zt)x²)u

تحت شروط ديريشليت الحدية المتجانسة.

2. معادلة الحرارة المتحكم فيها

النظر في النظام:

∂x/∂t = ν∂²x/∂z² + R(t)x + ωsin(z)x + u

حيث R(t) هي أسرة من المؤثرات الخطية المحدودة.

طريقة التحليل

1. تحليل نظرية المؤثرات: استخدام نظرية أنصاف المجموعات المؤثرة لتحليل استقرار الحسن للنظام
2. بناء دالة ليابونوف: بناء دوال ليابونوف محددة بناءً على النتائج النظرية
3. التحقق من الاستقرار: التحقق من شروط الاستقرار من خلال حساب مشتقة لاي

نتائج التجارب

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

1. خاصية iISS لمعادلة KS

القضية 6.1: عندما ϱ < 4π²، معادلة KS (43)-(44) هي iISS.

يتم الإثبات من خلال بناء دالة ليابونوف:

V(t, x) = ln(1 + Z(t, x))
Z(t, x) = (1 + e^(-t))∫₀¹ x²(z)dz

2. خاصية ISS لمعادلة الحرارة

بالنسبة لمعادلة الحرارة المتحكم فيها، عندما تكون الشروط التالية مستوفاة:

r + ω < νπ²/ℓ²

النظام هو ISS، حيث r = supt≥0 ‖R(t)‖.

التحقق النظري

يتحقق كلا المثالين من:

1. دالة ليابونوف المبنية نظرياً تحقق بالفعل عدم المساواة الناشرة المقابلة
2. العلاقة بين شروط الاستقرار والمعاملات الفيزيائية تتوافق مع الحدس
3. الطريقة قابلة للتطبيق على أنواع مختلفة من المعادلات التفاضلية الجزئية

الأعمال ذات الصلة

تطور نظرية ISS

1. نظرية ISS الكلاسيكية: قدم سونتاج مفهوم ISS في أواخر الثمانينيات، وتم تطوير نظام نظري كامل لاحقاً
2. التوسيع إلى اللانهائي الأبعاد: في السنوات الأخيرة، تم توسيع نظرية ISS إلى الأنظمة اللانهائية الأبعاد، بشكل أساسي للحالة الثابتة بالزمن
3. الأنظمة المتغيرة بالزمن: نظرية ISS للأنظمة اللانهائية الأبعاد المتغيرة بالزمن نسبية قليلة، وتملأ هذه الورقة هذه الفجوة

طريقة ليابونوف

1. الدوال الإجبارية: الطرق التقليدية تركز بشكل أساسي على دوال ليابونوف الإجبارية
2. الدوال غير الإجبارية: تم تطوير نظرية دالة ليابونوف غير الإجبارية في السنوات الأخيرة، وهي أكثر ملاءمة للأنظمة اللانهائية الأبعاد
3. طرق البناء: توفر هذه الورقة طريقة بناء منهجية، خاصة بالنسبة للحالة المتغيرة بالزمن

الخلاصة والنقاش

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

1. تحسين النظرية: إنشاء توصيف ليابونوف كامل لـ ISS/iISS للأنظمة اللانهائية الأبعاد المتغيرة بالزمن
2. ابتكار الطريقة: اقتراح طريقة بناء منهجية لدوال ليابونوف غير الإجبارية
3. التحقق التطبيقي: التحقق من الفائدة العملية للنظرية من خلال أمثلة PDE محددة

القيود

1. شروط الافتراض: شروط الافتراض على الحدود غير الخطية قوية نسبياً (الاستمرارية المحلية لليبشيتز، إلخ)
2. تعقيد البناء: في بعض الحالات، بناء دالة ليابونوف لا يزال معقداً نسبياً
3. التعقيد الحسابي: قد ينطوي التحقق من شروط الاستقرار في التطبيق العملي على حسابات معقدة

الاتجاهات المستقبلية

1. الاضطرابات الحدية: توسيع النطاق إلى تحليل ISS و iISS لمعادلات PDE المكافئة غير الخطية المتغيرة بالزمن ذات الاضطرابات الحدية
2. أنظمة الشبكات: تطبيق النتائج على أنظمة الشبكات اللانهائية الأبعاد المتغيرة بالزمن
3. الأنظمة العشوائية: النظر في نظرية ISS للأنظمة اللانهائية الأبعاد العشوائية المتغيرة بالزمن

التقييم المتعمق

المميزات

1. مساهمة نظرية كبيرة: أول نظام شامل لإنشاء نظرية ليابونوف ISS للأنظمة اللانهائية الأبعاد المتغيرة بالزمن
2. قوة ابتكار الطريقة: طريقة بناء دالة ليابونوف غير الإجبارية لها قيمة نظرية مهمة
3. دقة رياضية عالية: عملية الإثبات صارمة، والنتائج النظرية كاملة
4. قيمة عملية واضحة: عرض القيمة التطبيقية للطريقة من خلال أمثلة PDE

أوجه القصور

1. نطاق التطبيق محدود: شروط الافتراض على فئات الأنظمة صارمة نسبياً
2. التعقيد الحسابي: قد يكون التعقيد الحسابي لتحقيق بعض النتائج النظرية مرتفعاً في التطبيق العملي
3. نقص التحقق العددي: نقص التجارب العددية على نطاق واسع للتحقق

التأثير

1. القيمة الأكاديمية: توفير أدوات نظرية مهمة لتحليل استقرار الأنظمة اللانهائية الأبعاد المتغيرة بالزمن
2. آفاق التطبيق: لديها إمكانيات تطبيقية مهمة في مجال التحكم في الأنظمة ذات المعاملات الموزعة
3. التقدم النظري: دفع توسيع نظرية ISS إلى فئات أنظمة أكثر عمومية

السيناريوهات المناسبة

1. الأنظمة ذات المعاملات الموزعة: مناسبة للأنظمة الديناميكية الموصوفة بمعادلات تفاضلية جزئية متغيرة بالزمن
2. تصميم التحكم القوي: توفير أساس نظري لتصميم متحكمات قوية للأنظمة المتغيرة بالزمن
3. تحليل الاستقرار: توفير طريقة منهجية لتحليل الاستقرار للأنظمة المعقدة المتغيرة بالزمن

المراجع

تستشهد الورقة بـ 50 مرجعاً مهماً، تغطي نظرية ISS، المعادلات التطورية، نظرية أنصاف المجموعات المؤثرة وغيرها من المجالات ذات الصلة، مما يعكس فهماً عميقاً وشاملاً للمؤلفين للمجالات ذات الصلة.