On the Cauchy problem for the Langevin-type fractional equation

إليك ملخص تقني مفصل للورقة البحثية بعنوان "حول مسألة كوشي لمعادلة من نوع لانجفان الكسرية" (arXiv:2505.08252v1) من إعداد فايزيف يوسف وجوماييفا شاخنوزا.

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

تتقصى الورقة البحثية مسألة كوشي لفئة محددة من المعادلات التفاضلية الكسرية في الزمن من نوع لانجفان في فضاء هيلبرت قابل للفصل $H$. تُعطى المعادلة كالآتي:

$$D^\beta_t (D^\alpha_t u(t)) + D^\beta_t (Au(t)) = f(t), \quad 0 < t \le T$$

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

• المؤثرات: $D^\alpha_t$ و $D^\beta_t$ يمثلان مشتقات كابوتو الكسرية من الرتب $\alpha$ و $\beta$ على التوالي، حيث $0 < \alpha, \beta < 1$.
• المؤثر الخطي: $A$ هو مؤثر غير محدود، موجب، ومتماثل ذاتياً معرف على نطاق $D(A) \subset H$. ويمتلك نظاماً كاملاً من المتجهات الذاتية المتعامدة والمنتظمة $\{v_k\}$ مع القيم الذاتية المقابلة لها $\lambda_k$ بحيث $0 < \lambda_1 \le \lambda_2 \le \dots \to +\infty$.
• الشروط الابتدائية:
  • $u(+0) = \phi$
  • $D^\alpha_t u(+0) = \psi$
  • حيث $\phi, \psi \in H$.
• حد المصدر: $f(t)$ هي دالة مستمرة تأخذ قيماً في $H$.

الهدف هو إثبات وجود ووحدانية الحل وتقديم تمثيل صريح للحل باستخدام توسيع المتجهات الذاتية.

2. المنهجية

يستخدم المؤلفون مزيجاً من النظرية الطيفية والدوال الخاصة (تحديداً دالات ميتال-ليفليت) لحل المسألة.

أ. التفكيك الطيفي

بما أن $A$ مؤثر متماثل ذاتياً ذو طيف منفصل، يتم توسيع الحل $u(t)$ بدلالة المتجهات الذاتية $\{v_k\}$:
$$u(t) = \sum_{k=1}^{\infty} T_k(t) v_k$$
إن إدراج هذا التوسيع في المعادلة الأصلية يحول المعادلة التفاضلية الجزئية (بمعنى فضاء هيلبرت) إلى سلسلة من المعادلات التفاضلية العادية الكسرية القياسية لمعاملات فوريه $T_k(t)$:
$$D^\beta_t (D^\alpha_t T_k(t)) + \lambda_k D^\beta_t T_k(t) = f_k(t)$$
حيث $f_k(t)$، $\phi_k$، و $\psi_k$ هي معاملات فوريه لـ $f(t)$، و $\phi$، و $\psi$ على التوالي.

ب. تحليل المسألة القياسية

يحل المؤلفون مسألة كوشي القياسية باستخدام طريقة التقريبات المتتالية (تكرار بيكارد). وقد اشتقوا الحل الصريح للحالة القياسية باستخدام دالة ميتال-ليفليت ذات المعلمتين $E_{\alpha, \mu}(z)$:
$$E_{\alpha, \mu}(z) = \sum_{n=0}^{\infty} \frac{z^n}{\Gamma(\alpha n + \mu)}$$
وقد وُجد أن الحل القياسي هو:
$$T_k(t) = \phi_k E_{\alpha,1}(-\lambda_k t^\alpha) + (\psi_k + \lambda_k \phi_k)t^\alpha E_{\alpha, \alpha+1}(-\lambda_k t^\alpha) + \int_0^t (t-\eta)^{\alpha+\beta-1} E_{\alpha, \alpha+\beta}(-\lambda_k(t-\eta)^\alpha) f_k(\eta) d\eta$$

ج. تحليل التقارب والانتظام

لإثبات أن السلسلة اللانهائية المشتقة من الحلول القياسية تتقارب لتشكل حلاً صالحاً في فضاء هيلبرت، يستخدم المؤلفون:

1. التقديرات التقاربية: يطبقون حدوداً معروفة لدالة ميتال-ليفليت، وتحديداً $|E_{\alpha, \mu}(-t)| \le \frac{C}{1+t}$.
2. لمسات الحساب الكسري: يستخدمون خصائص مشتقات كابوتو المؤثرة على دالات ميتال-ليفليت (مثل $D^\gamma_t (t^{\beta-1}E_{\alpha, \beta}(\lambda t^\alpha))$).
3. تقديرات المعيار: يعرفون معايير موزونة بناءً على المؤثر $A^\epsilon$ (حيث $0 < \epsilon < 1$) للتحكم في نمو القيم الذاتية $\lambda_k$.
4. المتراجحات: تُستخدم متراجحة مينكوفسكي المعممة ومتطابقة بارسيفال لتقييد حدود السلسلة وإثبات التقارب المنتظم.

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

المبرهنة الرئيسية (المبرهنة 1.2)

تثبت الورقة النتيجة التالية:
إذا كانت البيانات الابتدائية تحقق $\phi \in D(A)$ و $\psi \in H$، وكان حد المصدر يحقق $f(t) \in C([0, T]; D(A^\epsilon))$ لقيمة ثابتة $0 < \epsilon < 1$، فإن مسألة كوشي (1.1) لها حل وحيد.

يُعطى الحل صراحة بالمتسلسلة:
$$u(t) = \sum_{k=1}^{\infty} \left[ \phi_k E_{\alpha,1}(-\lambda_k t^\alpha) + (\psi_k + \lambda_k \phi_k)t^\alpha E_{\alpha, \alpha+1}(-\lambda_k t^\alpha) + \int_0^t (t-\eta)^{\alpha+\beta-1} E_{\alpha, \alpha+\beta}(-\lambda_k(t-\eta)^\alpha) f_k(\eta) d\eta \right] v_k$$

انتظام الحل

يثبت المؤلفون بصرامة أن المتسلسلة المشتقة تحقق تعريف الحل (التعريف 1.1)، وبالتحديد التحقق من:

• $u(t) \in AC([0, T]; H)$ (متصل مطلقاً).
• $D^\alpha_t u(t) \in C([0, T]; H)$.
• $D^\beta_t (Au(t)) \in C((0, T]; H)$.
• $D^\beta_t (D^\alpha_t u(t)) \in C((0, T]; H)$.

يعتمد الإثبات على إظهار أن متسلسلة $Au(t)$ ومشتقاتها الكسرية تتقارب بانتظام في معيار فضاء هيلبرت تحت الشروط المحددة لـ $\phi$ و $f$.

4. الأهمية والسياق

• تعميم النماذج الكلاسيكية: تعمم هذه المعادلة معادلة لانجفان الكلاسيكية (المستخدمة في الحركة البراونية) ومعادلة التلغراف الكسرية.
  • إذا كانت $\beta = 0$، فإنها تتحول إلى معادلة الانتشار تحت المقياس الكسرية.
  • إذا كانت $\alpha = \beta$، فإنها ترتبط بمعادلات التلغراف الكسرية.
• التعامل مع رتبتين كسريتين: على عكس العديد من الدراسات السابقة التي تركز على رتبة كسرية واحدة أو نوى محددة، يتناول هذا العمل معادلة من "نوع لانجفان" بـ رتبتين كسريتين مختلفتين ($\alpha$ و $\beta$) تعملان على كل من مشتق الزمن وعنصر المؤثر.
• الإطار النظري للمؤثرات: من خلال العمل في فضاء هيلبرت قابل للفصل مع مؤثر غير محدود ومتماثل ذاتياً $A$، فإن النتائج قابلة للتطبيق على مجموعة واسعة من الأنظمة الفيزيائية التي تُنمذج بواسطة المعادلات التفاضلية الجزئية (مثل التوصيل الحراري، أو انتشار الموجات) حيث يمثل $A$ مؤثراً تفاضلياً مكانياً (مثل مؤثر لابلاس).
• التمثيل الصريح: توفر الورقة طريقة بنائية (توسيع المتجهات الذاتية) لإيجاد الحل، وهو أمر بالغ الأهمية للتنفيذ العددي ولتحليل الاستقرار أو المسائل العكسية لاحقاً.

الخاتية

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