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

तकनीकी सारांश: संपर्क रूपांतरणों (Contact Transformations) के अंतर्गत चार और पांच-आयामी ली (Lie) सममिति बीजगणितों के साथ तृतीय-क्रम के साधारण अवकल समीकरणों (ODEs) का रेखीयकरण

समस्या विवरण
यह शोध पत्र एक अदिश तृतीय-क्रम के साधारण अवकल समीकरण (ODE) $u''' = f(x, u, u', u'')$ के रेखीयकरण की समस्या को संबोधित करता है। विशेष रूप से, यह इस बात की जांच करता है कि किन परिस्थितियों में ऐसे समीकरणों को संपर्क रूपांतरणों (स्वतंत्र चर, आश्रित चर और प्रथम अवकलज से संबंधित रूपांतरण) के माध्यम से रैखिक कैनोनिकल रूपों में रूपांतरित किया जा सकता है। यह अध्ययन उन विशिष्ट वर्गों पर केंद्रित है जो ली सममिति बीजगणितों द्वारा अभिलक्षित हैं: वे समीकरण जो एक चार-आयामी ली बीजगणित और वे जो एक पांच-आयामी ली बीजगणित को स्वीकार करते हैं।

जबकि पिछले कार्यों (जैसे चेर्न, न्यूट, पेटिटोट, इब्रगिमोव, मेलेशको और अल-द्वेक आदि) ने बिंदु रूपांतरणों (point transformations) के तहत रेखीयकरण के लिए मानदंड स्थापित किए हैं या रैखिक रूपों के समकक्षता की स्थितियाँ प्रदान की हैं, यह कार्य निम्नलिखित उद्देश्यों के लिए है:

1. इन परिणामों को व्यापक संपर्क रूपांतरणों के वर्ग तक सामान्यीकृत करना।
2. चार बनाम पांच सममिति वाले कैनोनिकल रूपों के बीच स्पष्ट अंतर करना।
3. दिए गए गैर-रैखिक ODE को इसके रैखिक कैनोनिकल रूप में बदलने के लिए संपर्क रूपांतरणों का एक स्पष्ट, एल्गोरिदम आधारित निर्माण प्रक्रिया प्रदान करना, न कि केवल अस्तित्व की स्थितियाँ बताना।

कार्यप्रणाली
लेखक इस समस्या को हल करने के लिए कार्टन की तुल्यता विधि (Cartan's equivalence method) का उपयोग करते हैं। कार्यप्रणाली निम्नलिखित तकनीकी चरणों के माध्यम से आगे बढ़ती है:

1. ज्यामितिक सेटअप: समस्या को द्वितीय-क्रम के जेट स्पेस $J^2$ पर $(x, u, p, q)$ स्थानीय निर्देशांकों के साथ तैयार किया गया है जहाँ $p=u'$ और $q=u''$ है। एक आधार कोफ्रेम (base coframe) को परिभाषित किया गया है, और संपर्क रूपांतरणों के तहत दो ODEs की तुल्यता को नौ-आयामी संरचना समूह $G$ द्वारा इस कोफ्रेम के पुलबैक (pullback) से जुड़ी एक मौलिक तुल्यता स्थिति के रूप में व्यक्त किया गया है।
2. न्यूनीकरण प्रक्रिया (Reduction Process): लेखक संरचना समीकरणों में टॉर्सन गुणांकों (torsion coefficients) को सामान्यीकृत करके संरचना समूह के व्यवस्थित न्यूनीकरण को निष्पादित करते हैं। इसमें शामिल है:
   • टॉर्सन पदों को समूह मापदंडों में समाहित करना।
   • आवश्यक टॉर्सन गुणांकों की पहचान करना जो सापेक्ष अपरिवर्तनीय (relative invariants) ($I_1, I_2, \dots, I_{15}$) के रूप में कार्य करते हैं।
   • इन अपरिवर्तनीयों के शून्य या गैर-शून्य होने के आधार पर विश्लेषण का विभाजन करना।
3. विभाजन और वर्गीकरण: न्यूनीकरण प्रक्रिया एक अपरिवर्तनीय $I_3$ (जो एक वुन्शमैन-प्रकार के अपरिवर्तनीय के गैर-शून्य होने से संबंधित है) के आधार पर दो प्राथमिक शाखाओं में विभाजित होती है।
   • शाखा $I_3 \neq 0$: आगे का न्यूनीकरण अपरिवर्तनीयों के एक सेट ($I_6, I_8, I_{10}, I_{11}, I_{12}$) के शून्य होने से परिभाषित होता है। इसके भीतर, $K = I_9/J_3^2$ के आधार पर एक और भेद किया गया है:
     • मामला जब $K$ स्थिर (constant) है: यह पांच-सममिति वाले कैनोनिकल रूप $\bar{u}''' = s\bar{u}' + \bar{u}$ के अनुरूप है।
     • मामला जब $K$ स्थिर नहीं है: यह चार-सममिति वाले कैनोनical रूप $\bar{u}''' = \bar{a}_3(\bar{x})\bar{u}$ के अनुरूप है, जो $K$ के अवकलजों पर अतिरिक्त शून्य स्थितियों के अधीन है।
4. रूपांतरणों का निर्माण: एक बार जब अपरिवर्तनीय कोफ्रेम स्थापित हो जाते हैं, तो लेखक दिए गए संपर्क रूपांतरणों का निर्माण करने के लिए आंशिक अवकल समीकरणों (PDEs) के तंत्र को व्युत्पन्न करते हैं। ये तंत्र रैखिक या रिकाटी (Riccati) प्रकृति के होते हैं, जो सीधे गैर-रैखिक PDE प्रणालियों को हल करने के बजाय एक रचनात्मक विकल्प प्रदान करते हैं।

मुख्य परिणाम

• प्रमेय 3.1 (पांच सममिति): एक तृतीय-क्रम का ODE संपर्क रूपांतरणों के माध्यम से कैनोनिकल रूप $\bar{u}''' = s\bar{u}' + \bar{u}$ (जहाँ $s$ एक स्थिरांक है) के समकक्ष है यदि और केवल यदि सापेक्ष अपरिवर्तनीय $I_6, I_8, I_{10}, I_{11}, I_{12}$ पूर्णतः शून्य हैं, और अपरिवर्तनीय $K$ स्थिर है (विशेष रूप से $K=s$)।
• प्रमेय 3.2 (चार सममिति): एक तृतीय-क्रम का ODE कैनोनिकल रूप $\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$ के लिए प्रथम-क्रम रैखिक PDEs के एक तंत्र को हल करके प्राप्त किया जाता है।
  • चार-सममिति वाले मामले के लिए, प्रक्रिया में एक सहायक फलन $H$ के लिए रिकाटी-प्रकार के समीकरण को हल करने का एक अतिरिक्त चरण शामिल है, जिसके बाद $b, a_1, \phi, \eta, \chi, \psi$ के लिए रैखिक तंत्र आता है।
• उदाहरण:
  • समीकरण $u''' = \alpha (u'')^2 / u'$ को संपर्क रूपांतरणों के तहत पांच-सममिति वाले रूप में रेखीयकृत किया जा सकता है, लेकिन बिंदु रूपांतरणों के तहत नहीं (जो संपर्क ढांचे की आवश्यकता को प्रदर्शित करता है)।
  • समीकरण $u''' = -x(u')^4(u'')^3 + u(u')^3(u'')^3$ को चार-सममिति वाले रूप में संपर्क रूपांतरणों के तहत रेखीयकृत किया जा सकता है, जो फिर से बिंदु रूपांतरण रेखीयकरण के मानदंडों में विफल रहता है।

महत्व और दावे
लेखक दावा करते हैं कि उनका कार्य कार्टन की विधि को लागू करने के लिए एक नवीन ढांचा प्रदान करता है जो तुल्यता समस्या में निहित जटिलता और अभिव्यक्ति वृद्धि (expression growth) को प्रभावी ढंग से प्रबंधित करता है। उनके मुख्य योगदान हैं:

1. सामान्यीकरण: बिंदु रूपांतरणों से संपर्क रूपांतरणों के अधिक व्यापक वर्ग तक रेखीयकरण मानदंडों का विस्तार करना, जिससे रेखीयकृत होने वाले ODE के एक व्यापक वर्ग को पकड़ा जा सके।
2. भेद: ली सममिति बीजगणितों के आयाम (चार बनाम पांच) के आधार पर कैनोनिकल रूपों को स्पष्ट रूप से अलग करना, जिन्हें संपर्क रूपांतरणों के संदर्भ में पहले कम स्पष्ट रूप से माना गया था।
3. एल्गोरिदम आधारित निर्माण: पिछले दृष्टिकोणों के विपरीत, जो अक्सर गैर-रैखिक PDE प्रणालियों को हल करने की आवश्यकता रखते थे या रूपांतरणों के निर्माण को संबोधित नहीं करते थे, यह शोध पत्र एक रचनात्मक, एल्गोरिदम आधारित प्रक्रिया प्रदान करता है। अपरिवर्तनीय कोफ्रेम से प्राप्त रैखिक या रिकाटी PDEs के तंत्र में बदलकर, यह विधि स्पष्ट रूपांतरणों की गणना के लिए एक व्यावहारिक मार्ग प्रदान करती है।
4. ज्यामितिक स्पष्टता: अपरिवर्तनीय कोफ्रेम का उपयोग रेखीयकृत समीकरणों के लिए एक पूर्ण ज्यामितिक लक्षण वर्णन प्रदान करता है, जो तुल्यता के लिए आवश्यक और पर्याप्त स्थितियाँ निर्धारित करता है।

शोध पत्र निष्कर्ष निकालता है कि यह ढांचा संपर्क रूपांतरणों के निर्माण के लिए एक प्रभावी कम्प्यूटेशनल मार्ग प्रदान करता है, जो तृतीय-क्रम के ODE के रेखीयकरण के लिए कार्टन की तुल्यता विधि की उपयोगिता को पहले की तुलना में व्यापक संदर्भ में विस्तारित करता है।