Power series for roots of a trinomial and Kummer-like identities for higher order hypergeometric series

तकनीकी सारांश: ट्रिनोमियल के मूलों के लिए पावर सीरीज़ और उच्च क्रम की हाइपरजियोमेट्रिक सीरीज़ के लिए कुमर-समान पहचान (Kummer-like Identities)

समस्या विवरण
यह शोध पत्र ट्रिनोमियल समीकरण $x^n + px + q = 0$ के मूलों (roots) के लिए सीरीज़ समाधान खोजने की समस्या को संबोधित करता है, जहाँ $p$ और $q$ वास्तविक, गैर-शून्य पैरामीटर हैं और $n \geq 3$ है। जबकि $q^{n-1}/p^n$ की घातों में हाइपरजियोमेट्रिक सीरीज़ समाधान (विशेष रूप से फुस-कैटलन सीरीज़) पूर्व साहित्य (जैसे बिर्कलैंड, यूलर, लैम्बर्ट) में स्थापित किए जा चुके हैं, यह कार्य वैकल्पिक सीरीज़ विस्तारों को प्राप्त करने पर केंद्रित है। विशेष रूप से, लेखक विविक्तक (discriminant) $D$ और इसके व्युत्क्रम $1/D$ की घातों में समाधान प्राप्त करने का प्रयास करता है। विविक्तक को इस प्रकार परिभाषित किया गया है:
$$D = (-1)^n(n-1)^{n-1}p^n - n^n q^{n-1}$$
अध्ययन का उद्देश्य सामान्य $n \geq 3$ के लिए इन सीरीज़ को स्थापित करना है और यह जांचना है कि क्या $n=3$ के मामले में कुमर की पहचानओं (Kummer's identities) के माध्यम से देखे गए रूपांतरण गुण उच्च-क्रम की हाइपरजियोमेट्रिक सीरीज़ में भी विस्तारित होते हैं।

कार्यप्रणाली
कार्यप्रणाली को दो प्राथमिक दृष्टिकोणों में विभाजित किया गया है: विशिष्ट त्रिघात मामले ($n=3$) का उपचार और $n \geq 3$ के लिए सामान्य व्युत्पत्ति।

1. त्रिघात मामला ($n=3$):

   • लेखक डिप्रेस्ड क्यूबिक $x^3 + px + q = 0$ के लिए कार्डानो के समाधान से शुरुआत करता है।
   • मौजूदा समाधानों को $-D/(27q^2)$ की घातों में हाइपरजियोमेट्रिक फलनों (${}_2F_1$) के रूप में व्यक्त किया गया है।
   • कुमर के रूपांतरण (Kummer's Transformations): लेखक कुमर की पहचानों (विशेष रूप से $z$, $1-z$, और $z/(z-1)$ से संबंधित तर्क/arguments को जोड़ने वाले रूपांतरणों) का उपयोग करता है ताकि इन्हें $-D/(4p^3)$ की घातों और $1/D$ की घातों में परिवर्तित किया जा सके।
   • यह प्रक्रिया मूलों के लिए दो अलग-अलग सीरीज़ सेट प्रदान करती है: एक जो $|D| < |27q^2|$ के लिए अभिसारी (convergent) है और दूसरी जो $|D| < |4p^3|$ के लिए अभिसारी है। लेखक $|D| > |27q^2|$ के डोमेन के लिए भी सीरीज़ प्राप्त करता है, जो कार्डानो के मूलों के पुन: विस्तार (re-expanding) द्वारा प्राप्त की गई है।

2. सामान्य मामला ($n \geq 3$):

   • प्रत्यक्ष सीरीज़ व्युत्पत्ति: ज्ञात हाइपरजियोमेट्रिक पहचानों पर निर्भर रहने के बजाय (जो उच्च क्रमों के लिए अभी तक स्थापित नहीं हैं), लेखक एक 'एंसाट्ज़' (ansatz) को ट्रिनोमियल समीकरण में प्रतिस्थापित करके नई सीरीज़ सीधे व्युत्पन्न करता है।
   • एंसाट्ज़ निर्माण: यह माना जाता है कि मूल $r = -\frac{q}{p} G(\xi)$ के रूप में हैं, जहाँ $G$ एक पावर सीरीज़ है और $\xi$ एक आयामहीन पैरामीटर है जिसे $D, p,$ और $q$ से बनाया गया है।
   • चार पैरामीटर सेट: शोध पत्र चार अलग-अलग पैरामीटर विकल्पों के आधार पर सीरीज़ व्युत्पन्न करता है:
     • $\eta = -n^n q^{n-1}/D$ (व्युत्क्रम विविक्तक की घातें)।
     • $\chi = -D/(n^n q^{n-1})$ (विविक्तक की घातें)।
     • $\hat{\chi} = D/((-1)^n(n-1)^{n-1}p^n)$ ($p$ के सापेक्ष विविक्तक की घातें)।
     • $\hat{\eta} = ((-1)^n(n-1)^{n-1}p^n)/D$ ($p$ के सापेक्ष व्युत्क्रम विविक्तक की घातें)।
   • गुणांक पुनरावृत्ति (Coefficient Recurrence): इन सीरीज़ को ट्रिनोमियल समीकरण में प्रतिस्थापित करके और समान घातों के गुणांकों की तुलना करके, लेखक सीरीज़ गुणांकों के लिए पुनरावृत्ति संबंध (recurrence relations) व्युत्पन्न करता है।
   • स्थिरांक पदों को संभालना: $D$ और $1/D$ की घातों वाली सीरीज़ के व्युत्पत्ति में, प्रतिस्थापन शुरू में एक स्केल किए गए $q$ के साथ संशोधित समीकरण को हल करता है। लेखक मूल समीकरण $x^n + px + q = 0$ को संतुष्ट करने के लिए एक प्रभावी पैरामीटर $q_{\text{eff}}$ (जिसे माध्यमिक ट्रिनोमियल समीकरण के माध्यम से अंतर्निहित रूप से परिभाषित किया गया है) पेश करता है ताकि समाधान को सुधारा जा सके।

मुख्य परिणाम

• नई सीरीज़ विस्तार: शोध पत्र सभी $n \geq 3$ के लिए $x^n + px + q = 0$ के मूलों के लिए $D, 1/D,$ और संबंधित पैरामीटर्स के संदर्भ में स्पष्ट पावर सीरीज़ समाधान प्रदान करता है।
• अभिसरण डोमेन (Convergence Domains): लेखक इन नई सीरीज़ के लिए विशिष्ट अभिसरण स्थितियों की पहचान करता है। उदाहरण के लिए, $D$ की घातों वाली सीरीज़ आम तौर पर तब अभिसारी होती है जब $|D|$, $p$ और $q$ के विशिष्ट संयोजनों के सापेक्ष छोटा होता है, जबकि $1/D$ की घातों वाली सीरीज़ तब अभिसारी होती है जब $|D|$ बड़ा होता है।
• सममिति संरक्षण (Symmetry Preservation): सभी व्युत्पन्न सीरीज़ ट्रिनोमियल समीकरण की अंतर्निहित सममिति का सम्मान करती हैं: यदि $n$ सम है, तो मूल $p$ का एक विषम फलन (odd function) है; यदि $n$ विषम है, तो यह $q$ का एक विषम फलन है।
• संख्यात्मक सत्यापन: शोध पत्र में $n=3, 4, 5$ के लिए विशिष्ट $(p, q)$ मानों के साथ संख्यात्मक उदाहरण शामिल हैं, जो यह प्रदर्शित करते हैं कि विभिन्न व्युत्पन्न सीरीज़ (जिनमें नए विविक्तक-आधारित और शास्त्रीय फुस-कैटलन सीरीज़ शामिल हैं) एक ही मूल मानों की ओर अभिसरित होती हैं।

महत्व और दावे
शोध पत्र अपनी प्राथमिक भूमिका केवल नई सीरीज़ के व्युत्पत्ति के रूप में नहीं, बल्कि उनके बीच संरचनात्मक संबंधों की खोज के रूप में रखता है।

• कुमर-समान पहचान (Kummer-like Identities): $n=3$ के लिए, $D$ और $1/D$ के बीच सीरीज़ के रूपांतरण को ${}_2F_1$ के लिए कुमर की पहचानों का उपयोग करके स्पष्ट रूप से प्राप्त किया गया है। $n \geq 4$ के लिए, शामिल हाइपरजियोमेटरिक फलन उच्च क्रम के हैं (जैसे, ${}_3F_2, {}_4F_3$), जिनके लिए कुमर की पहचानों के कोई प्रकाशित समकक्ष वर्तमान में मौजूद नहीं हैं।
• सामान्य पहचानों का साक्ष्य: लेखक का तर्क है कि तथ्य यह है कि कई अलग-अलग सीरीज़ (जिनके तर्क विविक्तक के रैखिक भिन्नों (linear fractional transformations) द्वारा संबंधित हैं) एक ही ट्रिनोमियल समीकरण को संतुष्ट करती हैं, उच्च-क्रम की हाइपरजियोमेट्रिक सीरीज़ के लिए "कुमर-समान पहचानों" के अस्तित्व का सुझाव देती हैं।
• संकोचित निष्कर्ष: शोध पत्र संकोच के साथ समाप्त होता है, यह कहते हुए कि हालांकि सीरीज़ स्वयं उपयोगी हैं, सबसे महत्वपूर्ण खोज इन अंतर्निहित पहचानों के साक्ष्य है। लेखक नोट करता है कि इन पहचानों को विशुद्ध रूप से सीरीज़ के संदर्भ में सिद्ध करना, बिना विशिष्ट ट्रिनोमियल अनुप्रयोग के संदर्भ के, भविष्य के अनुसंधान का विषय बना हुआ है। यह कार्य प्रयोगात्मक अनुप्रयोगों का प्रस्ताव नहीं करता है या उच्च-क्रम की हाइपरजियोमेट्रिक पहचानों की सामान्य समस्या को हल करने का दावा नहीं करता है, बल्कि यह सीरीज़ डेटा प्रदान करता है जो उनके अस्तित्व का संकेत देता है।