This paper deals with time-fractional stochastic Navier-Stokes equations, which are characterized by the coexistence of stochastic noise and a fractional power of the Laplacian. We establish sufficient conditions for the existence and approximate controllability of a unique mild solution to time-fractional stochastic Navier-Stokes equations. Using a fixed point technique, we first demonstrate the existence and uniqueness of a mild solution to the equation under consideration. We then establish approximate controllability results by using the concepts of fractional calculus, semigroup theory, functional analysis and stochastic analysis.
- معرّف الورقة: 2408.17173
- العنوان: Existence and approximate controllability results for time-fractional stochastic Navier-Stokes equations
- المؤلفون: Renu Chaudhary (معهد Technion والجامعة التقنية للعلوم التطبيقية Würzburg-Schweinfurt)، Simeon Reich (معهد Technion)، Juan J. Nieto (جامعة Santiago de Compostela)
- التصنيف: math.OC (التحسين والتحكم)، math.DS (الأنظمة الديناميكية)
- تاريخ النشر: 13 أكتوبر 2025 (نسخة أولية على arXiv)
- رابط الورقة: https://arxiv.org/abs/2408.17173
تتناول هذه الورقة دراسة معادلات Navier-Stokes العشوائية ذات الرتبة الكسرية الزمنية، التي تتميز بتعايش الضوضاء العشوائية مع القوى الكسرية للابلاسيان. من خلال إنشاء شروط كافية، يثبت المؤلفون وجود الحل الضعيف الفريد وخصائص التحكم التقريبي لمعادلات Navier-Stokes العشوائية ذات الرتبة الكسرية الزمنية. يتم استخدام تقنيات النقطة الثابتة أولاً لإثبات وجود الحل الضعيف الفريد للمعادلة المدروسة، ثم يتم تطبيق مفاهيم التفاضل والتكامل الكسري، ونظرية شبه المجموعات، والتحليل الدالي، والتحليل العشوائي لإنشاء نتائج التحكم التقريبي.
- قيود معادلات Navier-Stokes الكلاسيكية: لا تستطيع معادلات Navier-Stokes الحتمية التقليدية وصف الاضطرابات العشوائية والتأثيرات الذاكرية في أنظمة السوائل بشكل كافٍ، وتواجه قيوداً في التطبيقات العملية.
- مزايا المعادلات التفاضلية الكسرية: يمكن للمشتقات الكسرية أن تصف بفعالية العمليات ذات الذاكرة الطويلة، وتتمتع بمزايا واضحة في نمذجة عمليات الانتشار الشاذة والظواهر اللزجة المرنة، وهي أكثر ملاءمة من المشتقات الصحيحة لوصف الظواهر الفيزيائية المعقدة.
- أهمية الاضطرابات العشوائية: توجد اضطرابات عشوائية وعدم يقين لا مفر منه في أنظمة السوائل الفعلية، مما يتطلب إدراج حدود عشوائية في النماذج الرياضية لوصف سلوك النظام بدقة أكبر.
- القيمة النظرية: ملء الفجوة في البحث النظري لمعادلات Navier-Stokes العشوائية ذات الرتبة الكسرية الزمنية، خاصة في جوانب الوجود والتحكمية
- آفاق التطبيق: تطبيقات مهمة في مجالات انتشار الملوثات الجوية والتحكم بالتدفقات الدقيقة في التكنولوجيا البيولوجية ونقل الملوثات تحت الأرض
- ابتكار الطريقة: الجمع بين التفاضل والتكامل الكسري والتحليل العشوائي ونظرية التحكم، مما يوفر أدوات رياضية جديدة للمجالات ذات الصلة
- إنشاء نظرية الوجود والفرادة للحل الضعيف لمعادلات Navier-Stokes العشوائية ذات الرتبة الكسرية الزمنية
- اقتراح إطار شروط كافية جديد
- استخدام مبدأ الانكماش في Banach لإثبات وجود الحل الفريد
- إثبات التحكم التقريبي للنظام
- بناء شكل دالة تحكم صريح
- إنشاء شروط كافية للتحكمية
- تطوير تقنيات تحليل رياضية مبتكرة
- دمج نظرية النقطة الثابتة مع نظرية المؤثرات الكسرية
- توفير طرق جديدة للتعامل مع الأنظمة العشوائية الكسرية
- توفير أمثلة التحقق الرقمي
- التحقق من صحة النتائج النظرية من خلال أمثلة ثنائية الأبعاد
- عرض الآثار العملية لاستراتيجية التحكم
دراسة معادلة Navier-Stokes العشوائية ذات الرتبة الكسرية الزمنية التالية:
∂tηz(t,x)+ν(−Δ)α/2z(t,x)−(z(t,x)⋅∇)z(t,x)−∇ρ(t,x)=Cv(t,x)+ℏ(t,z(t,x))dtdW(t)
حيث:
- η∈(0,1): رتبة المشتقة الكسرية الزمنية
- α∈(1,2): رتبة لابلاسيان الكسري
- z(t,x): حقل السرعة
- ρ(t,x): حقل الضغط
- v(t,x): دالة التحكم
- W(t): عملية Wiener
- C: مؤثر التحكم الخطي
- الفضاءات الأساسية: Lp(Ω), Hk(Ω) وغيرها من فضاءات Sobolev
- الفضاءات العشوائية: Lp(Σ;H)، فضاء المتغيرات العشوائية ذات القيمة H
- الفضاءات الكسرية: Hα=D(Aα/2)، حيث A هو مؤثر Stokes
- مؤثر Mittag-Leffler:
Mη(t)=∫0∞Kη(s)Sα(tηs)dsMη,η(t)=∫0∞ηsKη(s)Sα(tηs)ds
- مؤثر التحكمية:
LTv:=∫0T(T−s)η−1Mη,η(T−s)Cv(s)ds
يُعرّف الحل الضعيف بأنه العملية العشوائية التي تحقق المعادلة التكاملية:
z(t)=Mη(t)z0+∫0t(t−r)η−1Mη,η(t−r)[G(z(r))+Cv(r)]dr+∫0t(t−r)η−1Mη,η(t−r)ℏ(r,z(r))dW(r)
تعريف المؤثر Fλ(z(t)):Lp(Σ,Hβ)→Lp(Σ,Hβ):
Fλ(z(t)):=Mη(t)z0+∫0t(t−r)η−1Mη,η(t−r)[G(z(r))+Cvλ(r,z)]dr+∫0t(t−r)η−1Mη,η(t−r)ℏ(r,z(r))dW(r)
حيث يأخذ تصميم دالة التحكم vλ في الاعتبار متطلبات التحكمية.
- استخدام عدم المساواة في Hölder وعدم المساواة في Burkholder-Davis-Gundy للتعامل مع التكاملات العشوائية
- الاستفادة من الحدود والاستمرارية لمؤثر Mittag-Leffler
- إنشاء شروط الانكماش
النظر في معادلة Navier-Stokes العشوائية ذات الرتبة الكسرية الزمنية على منطقة مربعة ثنائية الأبعاد (0,1)2:
∂t0.7z(t,x,y)+0.1(−Δ)0.9z(t,x,y)=v(t,x,y)+0.05z(t,x,y)dtdW(t)
- تقسيم المشتقة الكسرية: استخدام صيغة Grünwald-Letnikov
- لابلاسيان الكسري: معالجة الطريقة الطيفية
- الحد العشوائي: صيغة Euler-Maruyama
- التكامل الزمني: صيغة Euler شبه الضمنية
التحكم في الحالة الأولية z0(x,y)=sin(πx)sin(πy) للوصول إلى حالة الهدف.
في ظل الشروط (1)-(2)، توجد حل ضعيف فريد لمعادلة Navier-Stokes العشوائية ذات الرتبة الكسرية الزمنية في فضاء Lp(Σ,Hβ)، حيث p≥2، ηp=1، 0≤β<α<2.
في ظل الشروط (1)-(3)، وعندما تكون الدوال ℏ و G محدودة بشكل موحد، فإن معادلة Navier-Stokes العشوائية ذات الرتبة الكسرية الزمنية قابلة للتحكم التقريبي.
يوضح الشكل 2 التطور الزمني لمعيار L2 لحقل السرعة قبل وبعد التحكم، مما يظهر بوضوح:
- نجاح المسار المتحكم به في الاقتراب من حالة الهدف
- فعالية استراتيجية التحكم في وجود الاضطرابات العشوائية والتأثيرات الذاكرية
- التحقق من صحة النتائج النظرية
تم إنشاء عدة تقديرات أولية مهمة في الورقة:
- Lemma 6: خصائص Lipschitz والحدود لدالة التحكم
- Lemma 7: استمرارية المؤثر Fλ
- عدم المساواة التكاملية المختلفة ونتائج التقارب
- Landau و Lifshitz (1959): أساسيات ميكانيكا السوائل
- Bensoussan و Temam: النظرية الرياضية لمعادلات Navier-Stokes العشوائية
- Da Prato و Debussche: معادلات Navier-Stokes العشوائية ثنائية الأبعاد
- Carvalho-Neto و Planas: الحل الضعيف لمعادلات Navier-Stokes الكسرية في Rn
- Zhou و Peng: وجود الحل الضعيف الفريد والحل الضعيف العام
- Momani و Odibat: طرق الحل التحليلي
- Kalman (1963): أساسيات نظرية التحكمية
- Xi وآخرون: التحكم التقريبي لمعادلات Navier-Stokes الكسرية ذات التأخير الزمني
- Liao وآخرون: التحكم العام لمعادلات Navier-Stokes
- اختراق نظري: إنشاء نظرية الوجود والتحكمية لمعادلات Navier-Stokes العشوائية ذات الرتبة الكسرية الزمنية بشكل منهجي للمرة الأولى
- ابتكار الطريقة: دمج نظرية النقطة الثابتة مع نظرية المؤثرات الكسرية بنجاح للتعامل مع الأنظمة الكسرية العشوائية المعقدة
- القيمة التطبيقية: توفير أساس نظري رياضي لمشاكل التحكم بالسوائل العملية
- الشروط المفروضة: تتطلب الشروط الكافية للوجود والتحكمية أن تحقق الحدود غير الخطية وحدود الضوضاء شروطاً قوية للنمو و Lipschitz
- قيود الأبعاد: تنطبق النتائج النظرية بشكل أساسي على الحالات منخفضة الأبعاد (d≤3)
- التنفيذ الرقمي: لا يزال الحساب الرقمي للمؤثرات الكسرية يشكل تحدياً
- التوسع النظري: دراسة الشروط غير الخطية الأكثر عمومية والحالات ذات الأبعاد الأعلى
- الطرق الرقمية: تطوير خوارزميات رقمية أكثر كفاءة
- التطبيقات العملية: التحقق من النتائج النظرية في مشاكل هندسية محددة
- الصرامة النظرية: الحجج الرياضية دقيقة والمنطق واضح والمعالجة التقنية دقيقة
- قوة الابتكار: دراسة منهجية لهذه الفئة من المعادلات للمرة الأولى، ملء الفجوة النظرية
- الطرق المتقدمة: دمج ذكي لعدة فروع رياضية، تقنيات يدوية مبتكرة
- القيمة العملية: النتائج النظرية لها خلفية تطبيقية واضحة وأهمية عملية
- تقييد الشروط: قد تكون الشروط الكافية للوجود والتحكمية صارمة جداً
- التحقق الرقمي المحدود: يوفر فقط مثالاً بسيطاً ثنائي الأبعاد
- التعقيد الحسابي: تكلفة حساب المؤثرات الكسرية عالية نسبياً، وقد تواجه تحديات في التطبيقات العملية
- المساهمة الأكاديمية: مساهمة مهمة في نظرية التحكم بمعادلات الانتشار الجزئية العشوائية الكسرية
- الأهمية المنهجية: يمكن تعميم الإطار التقني المقدم على مشاكل مماثلة أخرى
- آفاق التطبيق: قيمة تطبيقية محتملة في مجالات العلوم البيئية والطب البيولوجي
- نمذجة التحكم بانتشار الملوثات الجوية
- التحكم بأنظمة التدفقات الدقيقة في التكنولوجيا البيولوجية
- مشاكل نقل السوائل في الوسائط المسامية
- التحكم بالسوائل اللزجة المرنة ذات التأثيرات الذاكرية
تستشهد الورقة بـ 31 مرجعاً ذا صلة، تغطي أعمالاً مهمة في عدة مجالات منها التفاضل والتكامل الكسري والتحليل العشوائي ونظرية التحكم ومعادلات Navier-Stokes، مما يوفر أساساً نظرياً متيناً للبحث.
التقييم الإجمالي: هذه ورقة بحثية رياضية عالية الجودة، تقدم مساهمات مهمة في نظرية الوجود والتحكمية لمعادلات Navier-Stokes العشوائية ذات الرتبة الكسرية الزمنية. تتميز الورقة بصرامة تقنية قوية وابتكار واضح، وتضع أساساً مهماً للبحث اللاحق في المجالات ذات الصلة.