Linearization Problem for Third-Order ODEs with Four- and Five-Dimensional Lie Symmetry Algebras under Contact Transformations

ملخص تقني: خطية المعادلات التفاضلية العادية من الدرجة الثالثة ذات جبر تناظر لي مع خوارزميات ذات أربعة وخمسة أبعاد تحت تحويلات الاتصال

بيان المشكلة
تتناول الورقة مشكلة الخطية للمعادلات التفاضلية العادية (ODEs) من الدرجة الثالثة ذات الصيغة $u''' = f(x, u, u', u'')$. وتحديداً، تبحث في الشروط التي يمكن بموجبها تحويل هذه المعادلات إلى أشكال خطية نموذجية عبر تحويلات الاتصال (التحويلات التي تشمل المتغير المستقل، والمتغير التابع، والمشتقة الأولى). تركز الدراسة على فئتين محددتين من المعادلات القابلة للخطية والتي تتميز بجبر تناظر لي (Lie symmetry algebras): تلك التي تقبل جبر تناظر رباعي الأبعاد وتلك التي تقبل جبر تناظر خماسي الأبعاد.

بينما وضعت الأعمال السابقة (مثل تشيرن، ونيوت، وبوتيتو، وإبرايموف، وميليشكو، وآل ذوق وآخرون) معايير للخطية تحت تحويلات النقطة (point transformations) أو قدمت شروطاً للتكافؤ مع الأشكال الخطية، تهدف هذه الورقة إلى:

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

المنهجية
يستخدم المؤلفون طريقة كارتان للتكافؤ (Cartan's equivalence method) لحل المشكلة. تسير المنهجية عبر الخطوات التقنية التالية:

1. الإعداد الهندسي: يتم صياغة المشكلة على فضاء الجت (jet space) من الدرجة الثانية $J^2$ بالإحداثيات المحلية $(x, u, p, q)$ حيث $p=u'$ و $q=u''$. يتم تعريف هيكل إطار أساسي (base coframe)، ويُعبر عن تكافؤ معادلتين تفاضليتين عاديتين تحت تحويلات الاتصال كشرط تكافؤ جوهري يتضمن سحب (pullback) لهذا الإطار بواسطة مجموعة هيكلية تساعية الأبعاد $G$.
2. عملية الاختزال: يقوم المؤلفون بعملية اختزال ممنهجة لمجموعة الهيكل عن طريق تطبيع معاملات الالتواء (torsion coefficients) في معادلات الهيكل. ويتضمن ذلك:
   • امتصاص معاملات الالتواء في بارامترات المجموعة.
   • تحديد معاملات الالتواء الجوهرية التي تعمل كثوابت نسبية ($I_1, I_2, \dots, I_{15}$).
   • تفرع التحليل بناءً على تلاشي أو عدم تلاشي هذه الثوابت النسبية.
3. التفرع والتصنيف: تؤدي عملية الاختزال إلى فرعين رئيسيين بناءً على الثابت النسبي $I_3$ (المتعلق بعدم تلاشي ثابت من نوع وونشمان/Wünschmann):
   • الفرع $I_3 \neq 0$: يؤدي المزيد من الاختزال إلى فرع فرعي محدد بتلاشي مجموعة من الثوابت النسبية ($I_6, I_8, I_{10}, I_{11}, I_{12}$). وضمن هذا الفرع، يتم التمييز بناءً على الثابت $K = I_9/J_3^2$:
     • حالة كون $K$ ثابتاً: تقابل الشكل النموذجي $\bar{u}''' = s\bar{u}' + \bar{u}$ (خمسة تناظرات).
     • حالة كون $K$ غير ثابت: تقابل الشكل النموذجي $\bar{u}''' = \bar{a}_3(\bar{x})\bar{u}$ (أربعة تناظرات)، بشرط وجود شروط إضافية على مشتقات $K$.
4. بناء التحويلات: بمجرد تحديد أطر الإحداثيات (coframes) النموذجية، يستنتج المؤلفون أنظمة من المعادلات التفاضلية الجزئية (PDEs) لبناء تحويلات الاتصال الصريحة. هذه الأنظمة تكون خطية أو من نوع ريكاتي (Riccati)، مما يوفر بديلاً بنائياً لحل أنظمة المعادلات التفاضلية الجزئية غير الخطية مباشرة.

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

• مبرهنة 3.1 (خمسة تناظرات): تكون المعادلة التفاضلية العادية من الدرجة الثالثة مكافئة للشكل النموذجي $\bar{u}''' = s\bar{u}' + \bar{u}$ (حيث $s$ ثابت) عبر تحويلات الاتصال إذا وفقط إذا تلاشت الثوابت النسبية $I_6, I_8, I_{10}, I_{11}, I_{12}$ تماماً، وكان $K$ ثابتاً (تحديداً $K=s$).
• مبرهنة 3.2 (أربعة تناظرات): تكون المعادلة التفاضلية العادية من الدرجة الثالثة مكافئة للشكل النموذدي $\bar{u}''' = \bar{a}_3(\bar{x})\bar{u}$ (حيث $\bar{a}_3$ غير ثابت) عبر تحويلات الاتصال إذا وفقط إذا تلاشت الثوابت النسبية $I_6, I_8, I_{10}, I_{11}, I_{12}$، مع تلاشي الثوابت الإضافية $I_{13}, I_{14}, I_{15}$ (التي تتضمن مشتقات $K$)، مع شرط أن $K$ ليس ثابتاً ($\hat{D}_x K \neq 0$).
• الإجراءات البنائية (الفرضيتان 4.1 و 4.2): تقدم الورقة خوارزميات صريحة لإيجاد تحويلات الاتصال $(\bar{x}, \bar{u}, \bar{p}) = (\phi, \psi, \chi)$:
  • في حالة التناظر الخماسي، يتم إيجاد التحويل عبر حل نظام من المعادلات التفاضلية الجزئية الخطية من الدرجة الأولى للدوال المساعدة $a_1, \phi, \eta, \chi, \psi$.
  • في حالة التناظر الرباعي، يتضمن الإجراء خطوة إضافية تتمثل في حل معادلة من نوع ريكاتي للدالة المساعدة $H$، يتبعها أنظمة خطية لـ $b, a_1, \phi, \eta, \chi, \psi$.
• أمثلة توضيحية:
  • تم إظهار أن المعادلة $u''' = \alpha (u'')^2 / u'$ قابلة للخطية لتصبح في شكل التناظر الخماسي تحت تحويلات الاتصال، ولكن ليس تحت تحويلات النقطة (مما يوضح ضرورة إطار عمل الاتصال).
  • تم إظهار أن المعادلة $u''' = -x(u')^4(u'')^3 + u(u')^3(u'')^3$ قابلة للخطية لتصبح في شكل التناظر الرباعي تحت تحويلات الاتصال، وفشلت أيضاً في معايير الخطية تحت تحويلات النقطة.

الأهمية والادعاءات
يدعي المؤلفون أن عملهم يوفر إطاراً جديداً لتطبيق طريقة كارتان، مما يدير بفعالية تعقيد ونمو التعبيرات المتأصل في مشكلة التكافؤ. وتتمثل المساهمات الرئيسية في:

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

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