Equivalence Problem for Non-Linearizable Fourth-Order ODEs with Five-Dimensional Lie Symmetry subalgebra via Inductive Cartan Equivalence Method

यहाँ शोध पत्र "Equivalence Problem for Non-Linearizable Fourth-Order ODEs with Five-Dimensional Lie Symmetry Subalgebra via Inductive Cartan Equivalence Method" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण (Problem Statement)

यह शोध पत्र बिंदु रूपांतरणों (point transformations) के अंतर्गत स्केलर चतुर्थ-क्रम साधारण अवकल समीकरणों (ODEs) के रूप में $u^{(4)} = f(x, u, u', u'', u''')$ के तुल्यता समस्या (equivalence problem) को संबोधित करता है। विशेष रूप से, लेखक उन गैर-रैखिक योग्य (non-linearizable) ODEs के वर्ग पर ध्यान केंद्रित करते हैं जो एक पाँच-आयामी लीय (Lie) बिंदु सममिति उप-बीजगण (Lie point symmetry subalgebra) को स्वीकार करते हैं।

• संदर्भ: जबकि विशिष्ट सममिति आयामों वाले निम्न-क्रम के ODEs (द्वितीय और तृतीय क्रम) को उनके वर्गीकरण और लक्षण वर्णन के लिए उपयोग किया गया है, चतुर्थ-क्रम का मामला शामिल अभिव्यक्तियों की जटिलता के कारण महत्वपूर्ण कम्प्यूटेशनल चुनौतियों को प्रस्तुत करता है।
• लक्ष्य: इन ODEs का एक अपरिवर्तनीय लक्षण वर्णन (invariant characterization) प्रदान करना, जो उनके विभेदक निश्चरकों (differential invariants) के आधार पर उन्हें विशिष्ट तुल्यता वर्गों (शाखाओं) में विभाजित करता है, और उन स्पष्ट बिंदु रूपांतरणों को व्युत्पन्न करना जो एक सामान्य ODE को उसके मानक रूप (canonical form) में मैप करते हैं।
• क्षेत्र: यह अध्ययन तालिका 1 में सूचीबद्ध बारह विशिष्ट गैर-रैखिक योग्य मानक रूपों के अध्ययन को कवर करता है, जो विशिष्ट ली बीजगणक संरचनाओं (जैसे, प्रकार (24,5), (5,5), (27,5), आदि) के अनुरूप हैं।

2. कार्यप्रणाली: इंडक्टिव कार्टन तुल्यता विधि (Methodology: Inductive Cartan Equivalence Method)

लेखक कार्टन की तुल्यता विधि (Cartan's Equivalence Method) का उपयोग करते हैं, जो रूपांतरणों के एक समूह के तहत दो विभेदक समीकरणों के समान होने का निर्धारण करने के लिए एक ज्यामितीय दृष्टिकोण है। चतुर्थ-क्रम की समस्याओं में निहित अत्यधिक बीजगणितीय जटिलता (expression swell) को प्रबंधित करने के लिए, वे एक विशिष्ट रणनीति का उपयोग करते हैं:

• इंडक्टिव दृष्टिकोण (Inductive Approach): पूर्ण कार्टन विधि को सीधे 4थी-क्रम के जेट स्पेस (jet space) पर लागू करने के बजाय, वे पहले फाइबर-संरक्षण रूपांतरणों (fiber-preserving transformations) के तहत तुल्यता समस्या को हल करते हैं। इससे एक प्रारंभिक अनुकूलित कोफ्रेम (adapted coframe) प्राप्त होता है जो बाद की गणनाओं को काफी सरल बना देता है।
• अनुकूलित कोफ्रेम (Adapted Coframes): वे जेट स्पेस $J^3$ (निर्देशांक $x, u, p, q, r$) पर एक लिफ्टेड कोफ्रेम $\theta = S \omega$ का निर्माण करते हैं, जहाँ $\omega$ ODE से प्राप्त संशोधित मॉर-कार्टन (Maurer-Cartan) रूप हैं।
• सापेक्ष निश्चरकों के माध्यम से ब्रांचिंग रणनीति (Branching Strategy via Relative Invariants): न्यूनीकरण (reduction) प्रक्रिया में टॉर्शन गुणांकों (torsion coefficients) को समाप्त करने के लिए समूह मापदंडों को सामान्यीकृत (normalize) करना शामिल है। जब एक टॉर्शन गुणांक एक सापेक्ष निश्चरक (relative invariant) (एक मात्रा जो एक स्केलर कारक द्वारा रूपांतरित होती है) पर निर्भर करता है, तो विधि उस निश्चरक के शून्य या गैर-शून्य होने के आधार पर शाखाओं (branching) में विभाजित हो जाती है।
  • यह एक निर्णय वृक्ष (Decision Tree) बनाता है जो विशिष्ट निश्चरकों ($I_4, I_5, I_8$) के शून्य या गैर-शून्य होने के आधार पर चार विशिष्ट मामलों (शाखाओं) की ओर ले जाता है।
• सहायक फलन (Auxiliary Functions): जटिलता को और अधिक प्रबंधित करने के लिए, लेखक शेष समूह मापदंडों को सामान्य करने और संरचना समीकरणों को सरल बनाने के लिए सहायक फलनों ($J_6, J_{10}, J_8$, आदि) की एक श्रृंखला पेश करते हैं।

3. मुख्य योगदान (Key Contributions)

1. अपरिवर्तनीय कोफ्रेम का निर्माण (Construction of Invariant Coframes): शोध पत्र स्पष्ट रूप से रैंक शून्य के चार अलग-अलग अपरिवर्तनीय कोफ्रेम का निर्माण करता है, जो तुल्यता समस्या की चार अलग-अलग शाखाओं के अनुरूप हैं। ये कोफ्रेम ODEs के लिए ज्यामितीय फिंगरप्रिंट के रूप में कार्य करते हैं।
2. अपरिवर्तनीय लक्षण वर्णन (Invariant Characterization): लेखक अपरिवर्तनीयों का एक पूर्ण सेट ($I_0$ से $I_{11}$ तक) व्युत्पन्न करते हैं और उन विशिष्ट शर्तों (शून्य या गैर-शून्य) को स्थापित करते हैं जो आवश्यक हैं ताकि कोई ODE एक विशिष्ट कैनोनिकल क्लास से संबंधित हो सके।
3. बिंदु रूपांतरण के लिए एल्गोरिदम (Algorithm for Point Transformations): एक दिए गए ODE और उसके मानक रूप के बीच बिंदु रूपांतरण $(\bar{x} = \phi(x,u), \bar{u} = \psi(x,u))$ को पुनर्गठित करने के लिए एक व्यवस्थित प्रक्रिया प्रस्तावित की गई है। यह दो समीकरणों के बीच अपरिवर्तनीय कोफ्रेम के संबंध से प्राप्त आंशिक विभेदक समीकरणों के निकाय को हल करके प्राप्त किया जाता है।
4. एक्सप्रेशन स्वेल का समाधान (Resolution of Expression Swell): शोध पत्र प्रदर्शित करता है कि कैसे इंडक्टिव कार्टन विधि, सापेक्ष निश्चरकों पर आधारित ब्रांचिंग रणनीति के साथ मिलकर, उन कम्प्यूटेशनल बाधाओं को सफलतापूर्वक पार करती है जो आमतौर पर चतुर्थ-क्रम के ODE तुल्यता समस्याओं के साथ जुड़ी होती हैं।

4. मुख्य परिणाम (Main Results)

परिणामों को चार मुख्य प्रमेयों में वर्गीकृत किया गया है, जिनमें से प्रत्येक निश्चर विश्लेषण की एक विशिष्ट शाखा के अनुरूप है:

• प्रमेय 3.1 (शाखा $I_4 = I_5 = I_8 = I_9 = 0, I_6 \neq 0, I_{10} \neq 0$):

  • उन ODEs का लक्षण वर्णन करता है जो मानक रूप $u^{(4)} = \frac{6qr}{p} - \frac{6q^3}{p^2}$ के तुल्य हैं।
  • इस वर्ग के लिए विशिष्ट अपरिवर्तनीय कोफ्रेम और स्थिर संरचना समीकरण प्रदान करता है।

• प्रमेय 3.2 (शाखा $I_4 \neq 0, I_5 \neq 0$):

  • छह मानक रूपों के तुल्य ODEs का लक्षण वर्णन करता है, जिसमें $u^{(4)} = e^r, u^{(4)} = r^{3/2}, u^{(4)} = r^{4/3}$, और मापदंडों $b$ और $K$ वाले पावर-लॉ फॉर्म शामिल हैं।
  • यह दिखाता है कि कैसे निश्चर संबंधों ($T^2_{24}/T^5_{45}$, आदि) से मापदंड $b$ और $K$ को निकाला जा सकता है।

• प्रमेय 3.3 (शाखा $I_4 \neq 0, I_5 = 0, I_8 \neq 0$):

  • चार मानक रूपों के तुल्य ODEs का लक्षण वर्णन करता है, जिसमें $u^{(4)} = r^2$ और $r^2/q$ वाले रूप शामिल हैं।
  • निश्चर $T^3_{13}$ के माध्यम से मापदंड $K$ को निर्धारित करने की विधि प्रदान करता है।

• प्रमेय 3.4 (शाcha $I_4 \neq 0, I_5 = 0, I_8 = 0$):

  • छह सममितियों वाले ODEs (एक विशेष उप-मामला) का लक्षण वर्णन करता है जो $u^{(4)} = \frac{5}{3}\frac{r^2}{q}$ या $u^{(4)} = \frac{4}{3}\frac{r^2}{q}$ के तुल्य हैं।
  • इस मामले के लिए 6-आयामी स्थान ($M \times G_4$) तक प्रोलॉन्गेशन (prolongation) की आवश्यकता होती है क्योंकि समूह मापदंड $a_{13}$ को सामान्यीकृत नहीं किया जा सकता है, जिससे स्थिर संरचना फलनों $c_1, \dots, c_8$ के साथ एक डिटर्मिनेंट समस्या उत्पन्न होती है।

उदाहरण: शोध पत्र चार विस्तृत उदाहरणों (उदाहरण 4.1–4.4) के साथ सिद्धांत को मान्य करता है, जो यह प्रदर्शित करते हैं कि कैसे:

1. एक विशिष्ट गैर-रैखिक ODE के लिए प्रमेयों की शर्तों को सत्यापित किया जाए।
2. आवश्यक मैट्रिक्स प्रविष्टियों की गणना की जाए।
3. दिए गए ODE को उसके मानक रूप में मैप करने वाले स्पष्ट बिंदु रूपांतरण को खोजने के लिए परिणामी प्रणाली को हल किया जाए।

5. महत्व (Significance)

• सैद्धांतिक प्रगति: यह कार्य चतुर्थ-क्रम के स्केलर ODEs के वर्गीकरण को बढ़ाता है, जो एक ऐसा क्षेत्र है जहाँ कम्प्यूटेशनल बाधाओं के कारण बहुत कम पूर्ण परिणाम उपलब्ध हैं। यह अच्छी तरह से समझे गए 2nd/3rd-order मामलों और उच्च-क्रम के समीकरणों के बीच के अंतर को भरता है।
• व्यावहारिक अनुप्रयोग: पहचाने गए मानक रूप और सममिति न्यूनीकरण मैकेनिक्स (mechanics), विशेष रूप से बीम थ्योरी (beam theory) और इलास्टिसिटी (elasticity) (यूलर-बर्नौली सिद्धांतों के विस्तार) से उत्पन्न होने वाले गैर-रैखिक ODEs के लिए अत्यंत महत्वपूर्ण हैं।
• कम्प्यूटेशनल ढांचा: प्रस्तावित "इंडक्टिव" दृष्टिकोण और ब्रांचिंग रणनीति उच्च-क्रम के विभेदक समीकरणों के तुल्यता समस्याओं को हल करने के लिए एक मजबूत टेम्पलेट प्रदान करती है जहाँ मानक सिम्बोलिक कंप्यूटेशन 'एक्सप्रेशन स्वेल' के कारण विफल हो जाता है।
• एकीकरण रणनीति: जटिल गैर-रैखिक ODEs को ज्ञात सममितियों वाले मानक रूपों में मैप करके, यह शोध पत्र उन विशिष्ट वर्गों के लिए व्यावहारिक एकीकरण रणनीतियों का मार्ग प्रशस्त करता है जो पहले उपलब्ध नहीं थे।