On a Class of Hypergeometric Sums via Recurrences and Product Binomial-Harmonic Identities

तकनीकी सारांश: पुनरावृत्तियों और उत्पाद द्विपद-हरात्मक सर्वसमिकाओं के माध्यम से हाइपरजियोमेट्रिक योगों के एक वर्ग पर

समस्या विवरण
यह शोध पत्र उन अनंत श्रेणियों के मूल्यांकन और न्यूनीकरण की जांच करता है जिनमें गुणांकों का रूप $a_n(\alpha) = \frac{(\alpha)_n (1-\alpha)_n}{(n!)^2}$ होता है, जहाँ $0 < \alpha < 1$ है। ये गुणांक गॉस हाइपरजियोमेट्रिक फलनों, विशेष रूप से $F_\alpha(x) = {}_2F_1(\alpha, 1-\alpha; 1; x)$ में स्वाभाविक रूप से उत्पन्न होते हैं। मुख्य ध्यान एक शिफ्ट किए गए रैखिक हर (denominator) वाले योगों पर है, जिसे $A^{(K)}_m(\alpha) = \sum_{n=0}^\infty \frac{a_n(\alpha)}{(n + m + 1)^K}, \quad m \ge 0, K \ge 1$ के रूप में परिभाषित किया गया है। यह अध्ययन एकांतर श्रेणियों ($\varepsilon = -1$), मनमाने पूर्णांक ढलान वाले हरों ($dn + m + 1$), और हार्मोनिक संख्याओं ($H_n$) तथा उनके वर्गों से जुड़ी श्रेणियों तक विस्तृत है। "उत्पाद-द्विपद" (product-binomial) मामलों पर विशेष बल दिया गया है जहाँ $\alpha = 1/R$ है, जो द्विपद गुणांकों के उत्पादों और $1/\pi$ के लिए रामानुजन-प्रकार के सूत्रों से संबंधित हैं।

कार्यप्रणाली
मूल कार्यप्रणाली नवाचार एक शिफ्ट पैरामीटर $\lambda$ को हर में सम्मिलित करना है ताकि एक जनरेटिंग फंक्शन (generating function) को परिभाषित किया जा सके:
$$\Phi_{m,\varepsilon}(\lambda; \alpha) = \sum_{n=0}^\infty \frac{\varepsilon^n a_n(\alpha)}{n + m + 1 + \lambda}, \quad \varepsilon \in \{1, -1\}.$$
$\Phi_{m,\varepsilon}$ का $\lambda$ की घातों में विस्तार करने से गुणांक निष्कर्षण (coefficient extraction) के माध्यम से $A^{(K)}_{m,\varepsilon}(\alpha)$ प्राप्त होता है।

व्युत्पत्ति निम्नलिखित चरणों के माध्यम से आगे बढ़ती है:

1. विभेदक समीकरण संबंध: फलन $F_\alpha(x)$ यूलर के हाइपरजियोमेट्रिक विभेदक समीकरण का पालन करता है। $x \to \varepsilon x$ प्रतिस्थापित करके, यह पत्र $G_{\alpha,\varepsilon}(x) = F_\alpha(\varepsilon x)$ के लिए एक विभेदक समीकरण व्युत्पन्न करता है।
2. पुनरावृत्ति व्युत्पत्ति: $\Phi_{m,\varepsilon}$ के इंटीग्रल प्रतिनिधित्व का उपयोग करते हुए और विभेदक समीकरण के विरुद्ध 'इंटीग्रेशन बाय पार्ट्स' करके, लेखक सूचकांक $m$ में एक प्रथम-क्रम रैखिक पुनरावृत्ति संबंध (first-order linear recurrence relation) व्युत्पन्न करते हैं। यह पुनरावृत्ति $\Phi_{m,\varepsilon}$ को $\Phi_{m-1,\varepsilon}$ और विशिष्ट बिंदुओं (जैसे $x=1$ या $x=-1$) पर हाइपरजियोमेट्रिक फलन और उसके अवकलज के मानों से जुड़े सीमा पदों (boundary terms) से जोड़ती है।
3. स्पष्ट समाधान: इस पुनरावृत्ति को परिमेय मापदंडों $\alpha = q/k$ और $1-\alpha = s/r$ के लिए स्पष्ट रूप से हल किया जाता है। समाधान $\Phi_{m,\varepsilon}$ को प्रारंभिक स्थिरांकों ($\Phi_{0,\varepsilon}$) और सीमा पदों के एक योग के रूप में व्यक्त करता है।
4. गुणांक निष्कर्षण: $\Phi_{m,\varepsilon}$ के बंद-रूप समाधान का $\lambda$ की घातों में विस्तार करके, यह पत्र किसी भी धनात्मक पूर्णांक $K$ के लिए $A^{(K)}_{m,\varepsilon}(\alpha)$ के स्पष्ट सूत्र निकालता है। यह प्रक्रिया अनंत श्रेणियों को प्रारंभिक स्थिरांकों और ज्ञात गुणांकों वाले परिमित न्यूनीकरणों में परिवर्तित करती है।
5. हरात्मक विस्तार: हार्मोनिक संख्याओं को संभालने के लिए, हाइपरजियोमेट्रिक फलन के निचले मापदंड को $c$ तक सामान्यीकृत किया जाता है। $c=1$ पर $c$ के सापेक्ष इस श्रेणी का अवकलन करने से $H_n$ और $H_n^{(2)}$ के कारक प्राप्त होते हैं, जिससे हार्मोनिक योगों का मूल्यांकन करने के लिए समान पुनरावृत्ति ढांचा उपलब्ध होता है।

प्रमुख योगदान और परिणाम

• परिमित न्यूनीकरण: यह पत्र स्थापित करता है कि धनात्मक पूर्णांक घातों $K$ के लिए, अनंत योग $A^{(K)}_{m,\varepsilon}(\alpha)$ प्रारंभिक स्थिरांकों और परिमित योगों से व्यक्त परिमित अभिव्यक्तियों में न्यूनीकृत हो जाते हैं। यह सामान्य जटिल घातांकों के विपरीत है जहाँ पुनरावृत्ति समाप्त नहीं होती है।
• उत्पाद-द्विपद सर्वसमिकाएँ: $\alpha = 1/R$ के लिए, यह विधि साधारण और एकांतर श्रेणियों के लिए बंद-रूप सर्वसमिकाएँ प्रदान करती है। विशेष रूप से, यह पत्र $R=4$ के मामले (जो केंद्रीय द्विपद गुणांकों से संबंधित है) के लिए एक बंद सूत्र प्रदान करता है, जो $\sum \frac{1}{64^n} \binom{2n}{n} \binom{4n}{2n} \frac{1}{n+m+1}$ के योग के संबंध में एक खुले प्रश्न का उत्तर देता है।
• मनमाने ढलान वाले हर: इस ढांचे को $(dn + m + 1)^K$ के रूप में वाले हरों के लिए विस्तारित किया गया है। $m$ को $d$ के अवशेष वर्गों (residue classes) में विभाजित करके, इन श्रेणियों को पूर्व-हल किए गए $\Phi_{\ell,\varepsilon}$ मामलों में न्यूनीकृत किया जाता है।
• हरात्मक संख्या सर्वसमिकाएँ: यह पत्र विभिन्न $R$ (जिनमें $R=2, 3, 4, 5, 6$ शामिल हैं) के लिए $H_n$ और $H_n^2 + H_n^{(2)}$ वाले योगों के लिए स्पष्ट सूत्र व्युत्पन्न करता है। ये परिणाम गामा फलनों, डिगामा फलनों और लघुगणकों के रूप में व्यक्त किए गए हैं।
• निरसन (Cancellation) सर्वसमिकाएँ: पुनरावृत्ति विशिष्ट "निरसन" सर्वसमिकाओं की ओर ले जाती है जहाँ विभिन्न हर घातों वाले योगों के रैखिक संयोजन शून्य हो जाते हैं या सरल हो जाते हैं (जैसे, $R=2, K=3$ के लिए)।

महत्व और दावे
यह पत्र दावा करता है कि इस ढांचे का प्राथमिक लाभ इसकी व्यवस्थित प्रकृति है: एक एकल शिफ्ट किया गया पुनरावृत्ति सभी धनात्मक हर घातों वाले योगों को एक साथ नियंत्रित करता है। यह निम्नलिखित का एकीकृत व्युत्पन्न करने की अनुमति देता है:

• साधारण और एकांतर उत्पाद-द्विपद सर्वसमिकाएँ।
• उच्च हर घातों वाली सर्वसमिकाएँ ($1/\pi$-प्रकार की सर्वसमिकाएँ)।
• हरात्मक-संख्या सर्वसमिकाएँ।

लेखक नोट करते हैं कि जबकि यह विधि परिमित न्यूनीकरण उत्पन्न करती है, प्रारंभिक स्थिरांकों (जैसे $F_\alpha(-1)$ और $F'_\alpha(-1)$) का स्पष्ट मूल्यांकन $\alpha$ के विशिष्ट मान पर निर्भर करता है। $R=2$ के लिए, ये स्थिरांक गामा फलन अभिव्यक्तियों में सरल हो जाते; $R > 2$ के लिए, वे अक्सर हाइपरजियोमेट्रिक रूप में रहते हैं जब तक कि विशिष्ट रूपांतरण (जैसे कुमर का प्रमेय) लागू न हों। यह पत्र स्वयं को इन सर्वसमिकाओं को उत्पन्न करने के लिए एक उपकरण के रूप में प्रस्तुत करता है, न कि नए ट्रांसेंडेंटल संख्या सिद्धांत परिणामों के स्रोत के रूप में, और मानक विशेष फलन पहचानों (गॉस, कुमर, निकोलसन) को इनपुट के रूप में उपयोग करता है। यह कार्य $R \ge 2$ के लिए एक सामान्य एल्गोरिदम प्रदान करता है और $R=4$ से संबंधित विशिष्ट खुले प्रश्नों का उत्तर देता है।