Lie symmetries of a generalized Fisher equation in cylindrical coordinates

ملخص تقني: تناظرات لي لـمعادلة فيشر المعممة في الإحداثيات الأسطوانية

بيان المشكلة
يبحث هذا العمل في معادلة فيشر معممة مصاغة في الإحداثيات الأسطوانية، والتي توصف بالمعادلة التفاضلية الجزئية (PDE):
$$u_t = f(u) + \frac{1}{x}(x g(u) u_x)_x$$
حيث تمثل $u(x,t)$ تركيزاً، و $f(u)$ و $g(u)$ دالتان سلستان بما يكفي. وبينما تمتلك المعادلة تناظر انتقال زمني بديهي ($X = \partial/\partial t$) لأي $f(u)$ و $g(u)$، يسعى المؤلفون إلى تحديد أشكال وظيفية محددة لـحد المصدر $f(u)$ ودالة الانتشار $g(u)$ التي تسمح بوجود تناظرات "لي" نقطية (Lie point symmetries) إضافية. وتحديداً، تركز الدراسة على الحالة التي تكون فيها دالة الانتشار أسية، $g(u) = k_1 e^{k_2 u}$، لتحديد دوال المصدر $f(u)$ المقابلة التي تسمح باختزالات تناظر غير بديهية.

المنهجية
يستخدم المؤلفون طريقة تناظر "لي" لتحليل خصائص الثبات للمعادلة التفاضلية الجزئية. وتتضمن الإجراءات ما يلي:

1. المولد اللانهائي (Infinitesimal Generator): تعريف الحقل المتجه $X = \xi(t, x, u)\partial_x + \tau(t, x, u)\partial_t + \eta(t, x, u)\partial_u$.
2. الاستطالة (Prolongation): حساب الاستطالة الثانية $X^{(2)}$ للحقل المتجه لمراعاة المشتقات حتى الدرجة الثانية.
3. المعادلات المحددة (Determining Equations): تطبيق شرط الثبات $X^{(2)}(u_t - f(u) - \frac{1}{x}(x g(u) u_x)_x) = 0$ على متشعب الحل. ومن خلال تعويض صيغ الاستطالة ومساواة معاملات المشتقات الجزئية المختلفة بالصفر، يتم اشتقاق نظام من المعادلات المحددة.
4. التصنيف (Classification): حل هذا النظام المفرط في التحديد تحت القيد $g(u) = k_1 e^{k_2 u}$ لتصنيف الأشكال المسموح بها لـ $f(u)$.
5. اختزال التناظر (Symmetry Reduction): لكل تناظر تم تحديده، يتم بناء المعادلات المميزة لإيجاد متغيرات التشابه وتحويل المعادلة التفاضلية الجزئية الأصلية إلى معادلات تفاضلية عادية (ODEs) مختزلة.

المساهمات والنتائج الرئيسية
تتمثل المساهمة الأساسية في التصنيف الكامل لدوال المصدر $f(u)$ التي تنتج تناظرات "لي" تتجاوز الانتقال الزمني عندما يكون $g(u) = k_1 e^{k_2 u}$. يثبت المؤلفون أن ثلاثة أنواع محددة فقط من $f(u)$ تحقق هذا الشرط:

• الحالة (أ): $f(u) = k_3 e^{k_4 u}$ (مع $k_3, k_4 \neq 0$).
  • التناظر: تمتلك المعادلة تناظراً إضافياً $X_2 = (k_4 - k_2)x \partial_x + 2k_4 t \partial_t - 2 \partial_u$.
  • الاختزال: يؤدي هذا إلى متغير تشابه $z = x^2 t^{\frac{k_2}{k_4 - 1}}$ ويختزل المعادلة التفاضلية الجزئية إلى معادلة تفاضلية عادية غير خطية من الدرجة الثانية تتضمن $h(z)$. يشير المؤلفون إلى أنه إذا كانت $k_2 = k_4$، فإن هذه الحالة تستعيد حالة معروفة من الأدبيات السابقة، لكن حالة $k_2 \neq k_4$ هي نتيجة جديدة.
• الحالة (ب): $f(u) = k_3 e^{k_2 u} + k_5$ (مع $k_3, k_5 \neq 0$).
  • التناظر: تمتلك المعادلة $X_2 = e^{-k_2 k_5 t} \partial_t + k_5 e^{-k_2 k_5 t} \partial_u$.
  • الاختزال: متغير التشابه هو $z = x$، ويأخذ الحل الثابت الشكل $u = k_5 t + \frac{1}{k_2} \ln(p(x))$. المعادلة المختزلة هي معادلة تفاضلية عادية خطية يمكن حلها باستخدام دوال بسل من النوع الأول والثاني ($J_0$ و $Y_0$).
• الحالة (ج): $f(u) = k_5$ (مع $k_5 \neq 0$).
  • التناظر: تمتلك المعادلة اثنين من التناظرات الإضافية: نفس $X_2$ في الحالة (ب)، و $X_3 = k_2 x \partial_x + 2 \partial_u$.
  • الاختزال: باستخدام $X_3$، يؤدي الاختزال إلى حل ثابت $u(x,t) = \frac{1}{k_2} \ln(x^2/p(t))$، حيث تحقق $p(t)$ معادلة تفاضلية عادية خطية من الدرجة الأولى ذات حل أسي.

يقدم البحث أيضاً حلولاً ثابتة صريحة لهذه الحالات. بالنسبة لاختيارات معينة للمعاملات (مثل $k_2 = k_4$ أو نسب صحيحة محددة)، يتم حل المعادلات التفاضلية العادية المختزلة تحليلياً باستخدام دوال بسل. وفي حالات أخرى (مثل المثال 2 حيث $k_4 = 2k_2$)، يوضح المؤلفون القدرة على تصور سطح الحل باستخدام أدوات حاسوبية (Maple)، حتى عندما لا يتوفر حل مغلق دقيق بشكل فوري.

الأهمية والادعاءات
يدعي المؤلفون أن عملهم يوسع الدراسات السابقة (المشار إليها بـ [7, 16, 17]) التي درست فقط تركيبات معينة من دوال القوة أو الدوال الأسية لـ $f(u)$ و $g(u)$. ومن خلال حل المعادلات المحددة بشكل منهجي، يقوم هذا البحث بـ:

1. تحديد أن دالة الانتشار الأسية $g(u) = k_1 e^{k_2 u}$ تقيد حدود المصدر المقبولة $f(u)$ لتكون بالضبط ثلاثة أشكال محددة لكي توجد تناظرات غير بديهية.
2. إكمال التصنيف لحالة الانتشار الأسي، بما في ذلك السيناريوهات (مثل $k_2 \neq k_4$ في الحالة أ) التي لم تغطها الأدبيات السابقة.
3. تقديم المعادلات التفاضلية العادية المختزلة والحلول الثابتة المقابلة لجميع الحالات المحددة، مما يؤدي إلى توسيع مجموعة الأشكال القابلة للحل المعروفة لمعادلة فيشر المعممة في الإحداثيات الأسطوانية.

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