Lie symmetry classification and invariant solutions of time-fractional telegraph systems with variable coefficients

إليك ملخص تقني مفصل للورقة البحثية بعنوان "تصنيف تماثل لي (Lie Symmetry Classification) والحلول الثابتة لأنظمة التلغراف الكسرية الزمنية ذات المعاملات المتغيرة" من إعداد سودباتار أديا وآخرون.

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

تتناول الورقة البحثية النمذجة الرياضية لعمليات النقل في الأنظمة الصناعية والفيزيائية التي تظهر تأثيرات الذاكرة (memory effects) وسلوكيات غير محلية (nonlocal behaviors). وبينما تقوم معادلات التلغراف الكلاسيكية بنمذجة انتشار الإشارات بسرعة محدودة، فإنها تفشل في رصد الخصائص الوراثية الموجودة في الأوساط اللزجة المرنة، والتوصيل الحراري الشاذ، ونقل الشحنات في أشباه الموصلات غير المنتظمة.

يبحث المؤلفون في فئة محددة من أنظمة التلغراف الكسرية الزمنية ذات المعاملات المتغيرة مكانياً، والمعرفة بالنظام التالي:
$$\begin{cases} \frac{\partial^\alpha u}{\partial t^\alpha} = v_x \\ \frac{\partial^\alpha v}{\partial t^\alpha} = f(x)u_x + g(x)u \end{cases}$$
حيث أن:

• $\alpha > 0$ هو الرتبة الكسرية (باستخدام مشتق ريمان-ليوفيل).
• $f(x) > 0$ تمثل خصائص النقل المعتمدة على المكان (مثل الانتشارية).
• $g(x)$ تمثل التأثيرات الخارجية للجهد أو القوى في الأوسطة غير المتجانسة.

التحدي الجوهري: كانت الدراسات السابقة حول معادلات التلغراف الكسرية مقتصرة على أشكال محددة للمعاملات أو شروط مقيدة. وكان التصنيف الكامل لتماثل لي (Lie symmetry classification) لهذا النظام مع الدوال القابلة للاشتقاق العامة $f(x)$ و $g(x)$ يمثل مسألة مفتوحة. الهدف هو تحديد جميع الأشكال الدالية لـ $f(x)$ و $g(x)$ التي تسمح بتوسيع التماثل واستخلاص الحلول الثابتة الدقيقة.

2. المنهجية

استخدم المؤلفون تحليل تماثل لي (Lie symmetry analysis) الموسع ليشمل المعادلات التفاضلية الجزئية الكسرية (FPDEs). وتضمنت المنهجية الخطوات التالية:

1. بناء المولد اللانهائي (Infinitesimal Generator Construction): قاموا بتعريف المولد اللانهائي العام $X = \xi \partial_x + \tau \partial_t + \mu \partial_u + \phi \partial_v$ وامتداده، بما في ذلك الصيغ المحددة للمتناهيات الممتدة كسرية $\mu^{(\alpha)}$ و $\phi^{(\alpha)}$ التي تتضمن مشتق ريمان-ليوفيل.
2. المعادلات المحددة (Determining Equations): من خلال تطبيق معيار الثبات $\tilde{X}(\Delta)|_{\Delta=0} = 0$، استخلصوا نظاماً مفرط التحديد من المعادلات المحددة.
3. إثبات الخطية (Linearity Proof): أثبتت لمحة (Lemma) حاسمة أن المتناهيات الصغرى $\mu$ و $\phi$ يجب أن تكون خطية بالنسبة للمتغيرات التابعة $u$ و $v$. وقد أدى ذلك إلى تبسيط النظام عبر استبعاد الحدود الإضافية من الرتب العليا ($\mu_1, \phi_1$).
4. التصنيف (Classification): من خلال تحليل القيود على $f(x)$ و $g(x)$ المستمدة من المعادلات المحددة، صنف المؤلفون النظام إلى حالات تماثل متميزة.
5. الأنظمة المثلى (Optimal Systems): لكل فئة تماثل، قاموا ببناء أنظمة مثلى من الجبر الجزئي لـ "لي" أحادي البعد لضمان تصنيف غير مكرر للحلول الثابتة للمجموعة.
6. اختزال التماثل (Symmetry Reduction): باستخدام المعادلات المميزة للأنظمة المثلى، تم اختزال أنظمة FPDE الأصلية إلى معادلات تفاضلية عادية كسرية (FODEs).
7. الحلول الدقيقة (Exact Solutions): تم حل الـ FODEs المختزلة تحليلياً، مع التعبير عن الحلول باستخدام الدوال الخاصة: دوال ميتغ-ليفلر (Mittag-Leffler functions)، دوال رايت المعممة (generalized Wright functions)، ودوال فوكس H (Fox H-functions).

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

• التصنيف الكامل لتماثل لي: تقدم الورقة أول تصنيف كامل لتماثلات "لي" لأنظمة التلغراف الكسرية الزمنية ذات المعاملات المتغيرة مكانياً.
• تحديد فئات التماثل: كشفت الدراسة أن بنية التماثل تعتمد بشكل أساسي على العلاقة بين $f(x)$ و $g(x)$. حدد المؤلفون ثلاث فئات تماثل متميزة (بالإضافة إلى الحالة العامة) بناءً على الأشكال الدالية لـ $g(x)$ بالنسبة لـ $f(x)$:
  1. الحالة العامة: توجد فقط تماثلات القياس (scaling) والتركيب الخطي التافهة.
  2. الحالة 1: $g(x) = \frac{\lambda_2 \sqrt{f(x)}}{\omega_{\lambda_1}(x)} + \frac{f'(x)}{2}$، والتي تقبل تماثل قياس إضافي.
  3. الحة 2: $g(x) = \lambda_2 \sqrt{f(x)} + \frac{f'(x)}{2}$، والتي تقبل تماثلاً يشبه الإزاحة (translation-like).
  4. الحالة 3: $g(x) = \frac{f'(x)}{2}$، والتي تقبل أكبر جبر تماثل (بما في ذلك تماثل يشبه الدوران في المستوى $u-v$).
• الاختزال إلى FODEs: نجح المؤلفون في اختزال نظام FPDE المعقد إلى معادلات FODE قابلة للحل لكل فئة تماثل.
• الحلول المغلقة (Closed-Form Solutions): استخلصوا حلولاً ثابتة صريحة معبر عنها عبر دوال خاصة متقدمة (دوال فوكس H، ودوال رايت)، وهي ضرورية لوصف ظواهر النقل الكسرية.

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

أسفرت الدراسة عن حلول ثابتة محددة للحالات التي تم تحديدها:

• الحالة 1 و 2 (الاختزال إلى FODEs بمعاملات متغيرة):
  • تم التعبير عن الحلول باستخدام دوال فوكس H ($H_{p,q}^{m,n}$) عندما يكون $0 < \alpha < 1$، ودوال رايت المعممة ($\Psi$) عندما يكون $\alpha \geq 1$.
  • تضمنت متغيرات التشابه تركيبات من $t$ وتكاملات لـ $1/\sqrt{f(x)}$.
• الحالة 3 ($g(x) = f'(x)/2$):
  • سمحت هذه الحالة بأكبر قدر من الاختزال؛ حيث يمكن فك ارتباط النظام إلى معادلات قابلة للفصل.
  • عُبّر عن الحلول كمجموع حاصل ضرب الدوال المكانية والدوال الزمنية التي تتضمن دوال ميتغ-ليفلر ($E_{\alpha, \beta}$) ودوال رايت.
  • ومن الجدير بالذكر أنه إذا كان $f(x) = x^{2m}$، فإن النظام يختزل إلى شكل قابل للفصل لأي $m > 0$، وهو تعميم للنتائج السابقة التي كانت تقتصر على $f(x)=x^2$.

5. الأهمية والآثار المترتبة

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

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