2025-11-18T00:22:13.225937

Existence and approximate controllability results for time-fractional stochastic Navier-Stokes equations

Chaudhary, Reich, Nieto
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.
academic

نتائج الوجود والتحكم التقريبي لمعادلات Navier-Stokes العشوائية ذات الرتبة الكسرية الزمنية

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

  • معرّف الورقة: 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 العشوائية ذات الرتبة الكسرية الزمنية. يتم استخدام تقنيات النقطة الثابتة أولاً لإثبات وجود الحل الضعيف الفريد للمعادلة المدروسة، ثم يتم تطبيق مفاهيم التفاضل والتكامل الكسري، ونظرية شبه المجموعات، والتحليل الدالي، والتحليل العشوائي لإنشاء نتائج التحكم التقريبي.

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

خلفية المشكلة

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

أهمية البحث

  • القيمة النظرية: ملء الفجوة في البحث النظري لمعادلات Navier-Stokes العشوائية ذات الرتبة الكسرية الزمنية، خاصة في جوانب الوجود والتحكمية
  • آفاق التطبيق: تطبيقات مهمة في مجالات انتشار الملوثات الجوية والتحكم بالتدفقات الدقيقة في التكنولوجيا البيولوجية ونقل الملوثات تحت الأرض
  • ابتكار الطريقة: الجمع بين التفاضل والتكامل الكسري والتحليل العشوائي ونظرية التحكم، مما يوفر أدوات رياضية جديدة للمجالات ذات الصلة

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

  1. إنشاء نظرية الوجود والفرادة للحل الضعيف لمعادلات Navier-Stokes العشوائية ذات الرتبة الكسرية الزمنية
    • اقتراح إطار شروط كافية جديد
    • استخدام مبدأ الانكماش في Banach لإثبات وجود الحل الفريد
  2. إثبات التحكم التقريبي للنظام
    • بناء شكل دالة تحكم صريح
    • إنشاء شروط كافية للتحكمية
  3. تطوير تقنيات تحليل رياضية مبتكرة
    • دمج نظرية النقطة الثابتة مع نظرية المؤثرات الكسرية
    • توفير طرق جديدة للتعامل مع الأنظمة العشوائية الكسرية
  4. توفير أمثلة التحقق الرقمي
    • التحقق من صحة النتائج النظرية من خلال أمثلة ثنائية الأبعاد
    • عرض الآثار العملية لاستراتيجية التحكم

شرح الطريقة

تعريف المهمة

دراسة معادلة Navier-Stokes العشوائية ذات الرتبة الكسرية الزمنية التالية:

tηz(t,x)+ν(Δ)α/2z(t,x)(z(t,x))z(t,x)ρ(t,x)=Cv(t,x)+(t,z(t,x))dW(t)dt\partial_t^\eta z(t,x) + \nu(-\Delta)^{\alpha/2}z(t,x) - (z(t,x) \cdot \nabla)z(t,x) - \nabla\rho(t,x) = Cv(t,x) + \hbar(t,z(t,x))\frac{dW(t)}{dt}

حيث:

  • η(0,1)\eta \in (0,1): رتبة المشتقة الكسرية الزمنية
  • α(1,2)\alpha \in (1,2): رتبة لابلاسيان الكسري
  • z(t,x)z(t,x): حقل السرعة
  • ρ(t,x)\rho(t,x): حقل الضغط
  • v(t,x)v(t,x): دالة التحكم
  • W(t)W(t): عملية Wiener
  • CC: مؤثر التحكم الخطي

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

1. إعداد فضاء الدوال

  • الفضاءات الأساسية: Lp(Ω)L^p(\Omega), Hk(Ω)H^k(\Omega) وغيرها من فضاءات Sobolev
  • الفضاءات العشوائية: Lp(Σ;H)L^p(\Sigma;H)، فضاء المتغيرات العشوائية ذات القيمة HH
  • الفضاءات الكسرية: Hα=D(Aα/2)H^\alpha = D(A^{\alpha/2})، حيث AA هو مؤثر Stokes

2. نظرية المؤثرات

  • مؤثر Mittag-Leffler: Mη(t)=0Kη(s)Sα(tηs)dsM_\eta(t) = \int_0^\infty K_\eta(s)S_\alpha(t^\eta s)dsMη,η(t)=0ηsKη(s)Sα(tηs)dsM_{\eta,\eta}(t) = \int_0^\infty \eta s K_\eta(s)S_\alpha(t^\eta s)ds
  • مؤثر التحكمية: LTv:=0T(Ts)η1Mη,η(Ts)Cv(s)dsL_T v := \int_0^T (T-s)^{\eta-1}M_{\eta,\eta}(T-s)Cv(s)ds

3. تعريف الحل الضعيف

يُعرّف الحل الضعيف بأنه العملية العشوائية التي تحقق المعادلة التكاملية: z(t)=Mη(t)z0+0t(tr)η1Mη,η(tr)[G(z(r))+Cv(r)]dr+0t(tr)η1Mη,η(tr)(r,z(r))dW(r)z(t) = M_\eta(t)z_0 + \int_0^t (t-r)^{\eta-1}M_{\eta,\eta}(t-r)[G(z(r)) + Cv(r)]dr + \int_0^t (t-r)^{\eta-1}M_{\eta,\eta}(t-r)\hbar(r,z(r))dW(r)

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

1. بناء مؤثر النقطة الثابتة

تعريف المؤثر Fλ(z(t)):Lp(Σ,Hβ)Lp(Σ,Hβ)F_\lambda(z(t)): L^p(\Sigma,H^\beta) \to L^p(\Sigma,H^\beta): Fλ(z(t)):=Mη(t)z0+0t(tr)η1Mη,η(tr)[G(z(r))+Cvλ(r,z)]dr+0t(tr)η1Mη,η(tr)(r,z(r))dW(r)F_\lambda(z(t)) := M_\eta(t)z_0 + \int_0^t (t-r)^{\eta-1}M_{\eta,\eta}(t-r)[G(z(r)) + Cv_\lambda(r,z)]dr + \int_0^t (t-r)^{\eta-1}M_{\eta,\eta}(t-r)\hbar(r,z(r))dW(r)

حيث يأخذ تصميم دالة التحكم vλv_\lambda في الاعتبار متطلبات التحكمية.

2. تقنيات التقدير

  • استخدام عدم المساواة في Hölder وعدم المساواة في Burkholder-Davis-Gundy للتعامل مع التكاملات العشوائية
  • الاستفادة من الحدود والاستمرارية لمؤثر Mittag-Leffler
  • إنشاء شروط الانكماش

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

الأمثلة الرقمية

النظر في معادلة Navier-Stokes العشوائية ذات الرتبة الكسرية الزمنية على منطقة مربعة ثنائية الأبعاد (0,1)2(0,1)^2: t0.7z(t,x,y)+0.1(Δ)0.9z(t,x,y)=v(t,x,y)+0.05z(t,x,y)dW(t)dt\partial_t^{0.7} z(t,x,y) + 0.1(-\Delta)^{0.9}z(t,x,y) = v(t,x,y) + 0.05z(t,x,y)\frac{dW(t)}{dt}

الطرق الرقمية

  1. تقسيم المشتقة الكسرية: استخدام صيغة Grünwald-Letnikov
  2. لابلاسيان الكسري: معالجة الطريقة الطيفية
  3. الحد العشوائي: صيغة Euler-Maruyama
  4. التكامل الزمني: صيغة Euler شبه الضمنية

هدف التحكم

التحكم في الحالة الأولية z0(x,y)=sin(πx)sin(πy)z_0(x,y) = \sin(\pi x)\sin(\pi y) للوصول إلى حالة الهدف.

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

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

النظرية 1 (الوجود والفرادة)

في ظل الشروط (1)-(2)، توجد حل ضعيف فريد لمعادلة Navier-Stokes العشوائية ذات الرتبة الكسرية الزمنية في فضاء Lp(Σ,Hβ)L^p(\Sigma,H^\beta)، حيث p2p \geq 2، ηp1\eta p \neq 1، 0β<α<20 \leq \beta < \alpha < 2.

النظرية 2 (التحكم التقريبي)

في ظل الشروط (1)-(3)، وعندما تكون الدوال \hbar و GG محدودة بشكل موحد، فإن معادلة Navier-Stokes العشوائية ذات الرتبة الكسرية الزمنية قابلة للتحكم التقريبي.

التحقق الرقمي

يوضح الشكل 2 التطور الزمني لمعيار L2L^2 لحقل السرعة قبل وبعد التحكم، مما يظهر بوضوح:

  • نجاح المسار المتحكم به في الاقتراب من حالة الهدف
  • فعالية استراتيجية التحكم في وجود الاضطرابات العشوائية والتأثيرات الذاكرية
  • التحقق من صحة النتائج النظرية

التقديرات الرئيسية

تم إنشاء عدة تقديرات أولية مهمة في الورقة:

  • Lemma 6: خصائص Lipschitz والحدود لدالة التحكم
  • Lemma 7: استمرارية المؤثر FλF_\lambda
  • عدم المساواة التكاملية المختلفة ونتائج التقارب

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

معادلات Navier-Stokes الكلاسيكية

  • Landau و Lifshitz (1959): أساسيات ميكانيكا السوائل
  • Bensoussan و Temam: النظرية الرياضية لمعادلات Navier-Stokes العشوائية
  • Da Prato و Debussche: معادلات Navier-Stokes العشوائية ثنائية الأبعاد

معادلات Navier-Stokes الكسرية

  • Carvalho-Neto و Planas: الحل الضعيف لمعادلات Navier-Stokes الكسرية في Rn\mathbb{R}^n
  • Zhou و Peng: وجود الحل الضعيف الفريد والحل الضعيف العام
  • Momani و Odibat: طرق الحل التحليلي

نظرية التحكمية

  • Kalman (1963): أساسيات نظرية التحكمية
  • Xi وآخرون: التحكم التقريبي لمعادلات Navier-Stokes الكسرية ذات التأخير الزمني
  • Liao وآخرون: التحكم العام لمعادلات Navier-Stokes

الاستنتاجات والمناقشة

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

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

القيود

  1. الشروط المفروضة: تتطلب الشروط الكافية للوجود والتحكمية أن تحقق الحدود غير الخطية وحدود الضوضاء شروطاً قوية للنمو و Lipschitz
  2. قيود الأبعاد: تنطبق النتائج النظرية بشكل أساسي على الحالات منخفضة الأبعاد (d3d \leq 3)
  3. التنفيذ الرقمي: لا يزال الحساب الرقمي للمؤثرات الكسرية يشكل تحدياً

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

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

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

المزايا

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

أوجه القصور

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

التأثير

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

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

  • نمذجة التحكم بانتشار الملوثات الجوية
  • التحكم بأنظمة التدفقات الدقيقة في التكنولوجيا البيولوجية
  • مشاكل نقل السوائل في الوسائط المسامية
  • التحكم بالسوائل اللزجة المرنة ذات التأثيرات الذاكرية

المراجع

تستشهد الورقة بـ 31 مرجعاً ذا صلة، تغطي أعمالاً مهمة في عدة مجالات منها التفاضل والتكامل الكسري والتحليل العشوائي ونظرية التحكم ومعادلات Navier-Stokes، مما يوفر أساساً نظرياً متيناً للبحث.


التقييم الإجمالي: هذه ورقة بحثية رياضية عالية الجودة، تقدم مساهمات مهمة في نظرية الوجود والتحكمية لمعادلات Navier-Stokes العشوائية ذات الرتبة الكسرية الزمنية. تتميز الورقة بصرامة تقنية قوية وابتكار واضح، وتضع أساساً مهماً للبحث اللاحق في المجالات ذات الصلة.