Green's Function Framework for Boundary Value Problems with the Regularized Prabhakar Fractional Derivative

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

1. بيان المسألة

تتناول الورقة البحثية مسألة القيمة الابتدائية-الحدية الأولى (IBVP) لمعادلة الانتشار الفرعي المعرفة على نطاق مستطيل $\Omega = \{(t, x) : 0 < t < T, 0 < x < a\}$. تتضمن المعادلة الحاكمة مشتق برابهاكر الكسري المنظم (من نوع كابوتو) وتُعطى بالصيغة التالية:

$$PCD_{0t}^{\alpha, \beta, \gamma, \delta} u(t, x) - u_{xx}(t, x) = f(t, x)$$

المكونات الرئيسية:

• المؤثر: $PCD_{0t}^{\alpha, \beta, \gamma, \delta}$ هو مشتق برابهاكر من نوع كابوتو، ويُعرف عبر مؤثر تكامل برابهاكر الكسري الذي يتضمن دالة ميتال-ليفلفت لثلاثة معاملات $E_{\alpha, \beta}^\gamma$.
• المعاملات: $\alpha > 0$، و $0 < \beta \leq 1$، و $\gamma, \delta$ أعداد حقيقية.
• الشروط:
  • الشروط الحدية: $u(t, 0) = \phi_0(t)$ و $u(t, a) = \phi_1(t)$.
  • الشرط الابتدائي: $u(0, x) = \tau(x)$.
• الهدف: إيجاد حل منتظم وحيد $u(t, x)$ وبناء تمثيل صريح باستخدام دالة غرين.

2. المنهجية

يستخدم المؤلفون نهجاً تحليلياً صارماً يجمع بين مبدأ التراكب مع تقنيات الحساب العملياتي الخاصة بالمشتقات الكسرية.

• التفكيك (التراكب): يتم تقسيم المسألة إلى مسألتين فرعيتين:
  1. المسألة (أ) (معادلة غير متجانسة، شرط ابتدائي متجانس): تُحل لإيجاد تأثير حد المصدر $f(t, x)$ والشروط الحدية غير المتجانسة، بافتراض أن $u(0, x) = 0$.
  2. المسألة (ب) (معادلة متجانسة، شرط ابتدائي غير متجانس): تُحل لإيجاد تأثير البيانات الابتدائية $\tau(x)$، بافتراض وجود شروط حدية صفرية ومصدر صفري.
• التحويل إلى صيغة ريمان-ليوفيل: يستخدم المؤلفون العلاقة بين مشتقات برابهاكر من نوع كابوتو وريمان-ليوفيل للتعامل مع الشروط الابتدائية. وتحديداً، بالنسبة لدالة $y(t, x)$ حيث $y(0, x)=0$، فإن مشتق كابوتو يساوي مشتق ريمان-ليوفيل. أما بالنسبة لمسألة القيمة الابتدائية، فإن الشرط الابتدائي غير الصفري يُدخل حداً مصدريًا محددًا يتضمن دالة ميتال-ليفل.
• بناء دالة غرين:
  • يتم التعبير عن الحل كتكامل يتضمن دالة غرين $G(t, x, \eta, \xi)$.
  • يتم اشتقاق دالة غرين باستخدام طريقة الصور (سلسلة لانهائية من الصور) لتلبية الشروط الحدية على الفترة المحدودة $[0, a]$.
  • يتم التعبير عن جوهر دالة غرين بدلالة دالة ميتال-ليفل ثنائية المتغيرات، يُرمز لها بـ $E_{12}$، والتي تعمم دالة ميتال-ليفلف القياسية لتشمل متغيرين.
• التحقق: يقدم المؤلفون برهاناً مفصلاً يثبت أن التمثيل التكاملي المشتق يحقق:
  • المعادلة التفاضلية الحاكمة (عن طريق الاشتقاق تحت علامة التكامل والاستفادة من خصائص دالة من نوع رايت وسلسلة ميتال-ليفل).
  • الشروط الحدية (عن طريق أخذ النهايات عندما $x \to 0$ وعندما $x \to a$).
  • الشرط الابتدائي (عن طريق أخذ النهاية عندما $t \to 0$).

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

• دالة غرين الصريحة: المساهمة الأساسية هي اشتقاق تعبير صريح مغلق لدالة غرين $G(t, x, \eta, \xi)$ والنوى المرتبطة بها $\tilde{G}$ للشرط الابتدائي. يتم التعبير عن هذه الدوال باستخدام دالة ميتال-ليفل ثنائية المتغيرات $E_{12}$، المعرفة كسلسلة مزدوجة:
  $$E_{12}\left( \dots \middle| \frac{x}{y} \right) = \sum_{n=0}^\infty \sum_{m=0}^\infty \frac{\Gamma(\alpha_1 n + \beta_1 m + \delta_1) x^n y^m}{\Gamma(\alpha_2 n + \beta_2 m + \delta_2) \dots}$$
• إطار المشتق المنظم: يعالج هذا العمل تحديداً مشتق برابهاكر المنظم (من نوع كابوتو)، وهو أمر بالغ الأهمية للنمذجة الفيزيائية لأنه يسمح باستخدام الشروط الابتدية القياسية (على عكس نوع ريمان-ليوفيل الذي يتطلب شروطاً ابتدية كسرية).
• الوجود والوحدانية الصارمة: تثبت الورقة وجود ووحدانية الحل المنتظم تحت شروط استمرارية وهولدر محددة على الدوال المدخلة ($\phi_0, \phi_1, \tau, f$).
• التعميم: يعمل هذا الإطار على تعميم النتائج السابقة المتعلقة بمشتقات ريمان-ليوفيل وكابوتو، حيث يضم مؤثر برابهاكر هذه المشتقات كحالات خاصة (عند ضبط معاملات معينة).

4. النتائج

• تمثيل الحل: يُعرض الحل النهائي $u(t, x)$ كمجموع لأربعة حدود تكاملية:
  1. مساهمة حدية من $\phi_0(t)$.
  2. مساهمة حدية من $\phi_1(t)$.
  3. مساهمة الشرط الابتدائي من $\tau(x)$.
  4. مساهمة حد المصدر من $f(t, x)$.
• التوضيحات العددية:
  • المثال 1 (تأثير البيانات الابتدائية): محاكاة للانتشار الفرعي مع قوة خارجية صفرية وبروفيل ابتدائي $\sin(x)$. تظهر النتائج أن الرتب الكسرية الأدنى ($\beta$) تؤدي إلى اضمحلال بطيء للغاية (انتشار فرعي عميق)، بينما تقترب الرتب الأعلى من سلوك الانتشار الكلاسيكي.
  • المثال 2 (تأثير القوة الخارجية): محاكاة لنظام ببيانات ابتدائية صفرية ومصدر يعتمد على الزمن $f(t, x) = t \sin(x)$. تظهر النتائج أن الأنظمة ذات الرتب الكسرية الأعلى تستجيب بسرعة أكبر للقوى الخارجية، حيث تراكم السعة بشكل أسرع مقارنة بالأنظمة ذات الرتب الكسرية المنخفضة.
• حساسية المعاملات: تسلط الدراسة الضوء على كيفية قيام المعاملات $\alpha, \beta, \gamma, \delta$ بتعديل تأثيرات الذاكرة ومعدل الانتشار/الاسترخاء.

5. الأهمية

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

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