On invariant solutions of linear time-fractional diffusion-wave equations with variable coefficients

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

1. بيان المشكلة

تتناول الورقة التحدي الرياضي المتمثل في إيجاد حلول ثابتة (invariant solutions) دقيقة لفئة محددة من معادلات الانتشار-الموجة ذات الزمن الكسرى الخطية (FDWEs) ذات المعاملات المتغيرة. تقوم هذه المعادلات بنمذجة ظواهر فيزيائية معقدة مثل الانتشار الشاذ، وانتشار الموجات في الأوساط المرنة اللزجة، والعمليات الكهرومغناطيسية.

المعادلة المحددة قيد الدراسة هي:
$$\partial_t^\alpha u(x, t) = a(x)^2 u_{xx}(x, t) + b(x) u_x(x, t)$$
حيث:

• $u(x, t)$ هو الدالة المجهولة.
• $\partial_t^\alpha$ يمثل مشتق ريمان-ليوفيل للرتبة الكسرية من الرتبة $\alpha > 0$.
• $a(x)$ و $b(x)$ هما معاملان متغيران قابلان للاشتقاق بشكل كافٍ، مع $a(x) \neq 0$.

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

2. المنهجية: تحليل التماثل لـ "لي" (Lie Symmetry Analysis)

يستخدم المؤلفون تحليل تماثل لي، وهو منهج قوي قائم على نظرية المجموعات لحل المعادلات التفاضلية. تتقدم المنهجية عبر ثلاث مراحل رئيسية:

1. تحديد المولدات اللانهائية (Infinitesimal Generator Determination):
   قام المؤلفون ببناء المولد اللانهائي $X = \xi \partial_x + \tau \partial_t + \eta \partial_u$ والنسخة الممتدة منه $X^*$، والتي تتضمن حدوداً للمشتقات الكسرية ($\mu^{(\alpha)}$). طبقوا شرط الثبات $X^*(\text{Eq.})|_{\text{Eq.}=0} = 0$ لاشتقاق نظام من المعادلات المحددة.

2. التصنيف المجموعي (Group Classification):
   من خلال حل المعادلات المحددة، صنف المؤلفون الأشكال الممكنة لدوال المعاملات $a(x)$ و $b(x)$ التي تسمتد تماثلات غير بديهية.

• استحدثوا متغير تحويل $\omega(x) = \int \frac{dr}{a(r)} + \lambda_1$ لتبسيط المعادلة.
• عرّفوا دالة معامل مختزلة $c(\omega) = \frac{b(x)}{a(x)} - a'(x)$.
• تم اختزال المعادلة إلى شكل معياري: $\partial_t^\alpha u = u_{\omega\omega} + c(\omega)u_\omega$.
• يعرض الجدول 1 و النظرية 2.1 تصنيفاً كاملاً لـ 8 حالات متميزة بناءً على الشكل الدالي لـ $c(\omega)$ (مثل: لوغاريتمي، قوة، مثلثي، أسي، أو صفر).

3. شرط السطح الثابت (Invariant Surface Condition):
   لكل مولد تماثل تم تحديده، قام المؤلفون بحل المعادلة المميزة (شرط السطح الثابت) $\xi u_x + \tau u_t - \eta u = 0$ لإيجاد متغيرات التشابه وشكل حل التشابه.

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

• التصنيف المجموعي الكامل: تقدم الورقة تصنيفاً شاملاً لمعادلات الانتشار-الموجة ذات الزمن الكسرى الخطية ذات المعاملات المتغيرة، حيث حددت بدقة أي هياكل للمعاملات تسمح بوجود تماثلات "نقطة لي" (Lie point symmetries). هذا يعمم الأعمال السابقة التي كانت مقتصرة على المعاملات الثابتة أو الرتب الصحيحة المحددة ($\alpha=1, 2$).
• الاختزال إلى معادلات تفاضلية عادية كسرية (FODEs): نجح المؤلفون في اختزال المعادلات التفاضلية الجزئية (PDEs) إلى معادلات تفاضلية عادية كسرية باستخدام تحويلات التشابه المستمدة من التماثلات.
• الحلول الدقيقة عبر الدوال الخاصة: على عكس الحالات الكلاسيكية حيث تكون الحلول غالباً عناصر بسيطة أو دوال "هيبرجومتريك" قياسية، يتم حل المعادلات المختزلة الكسرية باستخدام دوال خاصة متقدمة:
  • دوال فوكس H ($H_{p,q}^{m,n}$)
  • دوال رايت المعممة ($p\Psi_q$)
  • دوال ميتّاغ-ليفلر ($E_{\alpha, \beta}$)

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

اشتقت الورقة حلولاً ثابتة صريحة للحالات الثمانية المصنفة. تشمل النتائج البارزة ما يلي:

• الحالة العامة (أي $c(\omega)$): تُعبر الحلول عن طريق دالة فوكس H. على سبيل المثال، لحالات معينة من المولدات، يأخذ الحل الشكل:
  $$u(\omega, t) \propto \omega^s H_{1,2}^{2,0} \left[ \frac{\omega^2}{4t^\alpha} \middle| \dots \right]$$
• حالات معاملات محددة:
  • حالات اللوغاريتم/القوة: تتضمن الحلول دوال رايت المعممة ($3\Psi_1$).
  • حالات الأسية/المثلثية ($c(\omega) \propto \tanh, \tan$): تتضمن الحلول دوال ميتّاغ-ليفلر $E_{\alpha, \beta}(z)$.
  • المعامل الصفري ($c(\omega)=0$): تتبسط الحلول إلى أشكال تتضمن $e^{\epsilon \omega} E_{\alpha, \beta}(t^\alpha)$.
• السلوك الحدّي: أظهر المؤلفون صراحةً أنه مع اقتراب $\alpha \to 1$ أو $\alpha \to 2$، تنهار دوال "فوكس H" و"رايت" المعقدة لتتحول إلى الدوال الأسية، والزائدية، ودوال "غاوس هيبرجومتريك" ($\,_2F_1$) القياسية، مما يؤكد شمولية نهجهم.

5. الأهمية

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

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