New sums mixing harmonic numbers and central binomial coefficients

तकनीकी सारांश: हार्मोनिक संख्याओं और केंद्रीय द्विपद गुणांकों को मिश्रित करने वाले नए योग

समस्या विवरण
यह शोध पत्र केंद्रीय द्विपद गुणांकों के व्युत्क्रमों (reciprocals) से जुड़े कॉम्बिनेटोरियल योगों के मूल्यांकन को संबोधित करता है, विशेष रूप से वे जो हार्मोनिक संख्याओं ($H_n$), विषम हार्मोनिक संख्याओं ($O_n$), और द्वितीय क्रम की सामान्यीकृत हार्मोनिक संख्याओं ($H_n^{(2)}$) के साथ मिश्रित हैं। जबकि $\sum \frac{2^{2k}}{\binom{2k}{k}}$ और उनके सामान्यीकरणों के रूप में योगों के लिए पहचान (identities) अच्छी तरह से प्रलेखित हैं (जैसे कि रॉकैट, कोम्पेट और गोल्ड द्वारा), लेखक उन योगों के लिए बंद-रूप अभिव्यक्तियों (closed-form expressions) और पुनरावर्ती समाधानों (recursive solutions) पर ध्यान केंद्रित करते हैं जहाँ इन गुणांकों को सूचकांक की घातों ($k^d$) और हार्मोनिक पदों के साथ गुणा किया जाता है। यह कार्य बटाइल और फ्रंटज़ैक के सामान्यीकृत द्विपद योगों के संबंध में पिछले निष्कर्षों को हार्मोनिक घटकों को शामिल करने के लिए विस्तारित करता है।

कार्यप्रणाली
प्रयुक्त प्राथमिक कार्यप्रणाली ज्ञात कॉम्बिनेटोरियल पहचानों पर लागू डेरिवेटिव ऑपरेटर दृष्टिकोण (derivative operator approach) है। लेखक हार्मोनिक संख्याओं और डिगामा फलन (digamma function), $\psi(z)$, के बीच संबंध का उपयोग करते हैं, जहाँ $H_z = \psi(z+1) + \gamma$ है। एक पैरामीटर $m$ (जहाँ द्विपद गुणांक को $\binom{m+k}{k}$ के रूप में सामान्यीकृत किया गया है) के सापेक्ष मौजूदा पहचानों का अवकलन करके, वे $H_{k+m}$ वाले पद उत्पन्न करते हैं।

मुख्य तकनीकी चरण शामिल हैं:

1. सामान्यीकृत पहचानों का अवकलन (Differentiation of Generalized Identities): [3, Theorem 4.2] में स्थापित पहचान से शुरू करते हुए:
   $$\sum_{k=0}^n \frac{2^{2k}}{\binom{2k}{k}} \binom{m+k}{k} = \frac{1}{2m+3} \left( (m+n+1)\binom{m+n}{n}\binom{2n}{n} 2^{2n+1} + 1 \right)$$
   लेखक $m$ के सापेक्ष इसका अवकलन करते हैं, $\frac{d}{dm}\binom{m+k}{k} = \binom{m+k}{k}(H_{k+m} - H_m)$ के गुण का उपयोग करते हुए।
2. योग द्वारा भाग (Summation by Parts - Abel's Transformation): घात योगों $U_d(n)$ और $V_d(n)$ के लिए, लेखक निम्न-क्रम के योगों वाले पुनरावर्ती रूपों में हेरफेर करने के लिए एबेल के रूपांतरण का उपयोग करके पुनरावर्ती संबंध प्राप्त करने के लिए एबेल के रूपांतरण का उपयोग करते हैं। वे $u_k = \frac{2^{2k}}{\binom{2k}{k}}$ और $a_k = (2k-1)(k-1)^d$ जैसे सहायक अनुक्रमों को परिभाषित करते हैं।
3. बीजीय सरलीकरण (Algebraic Simplification): परिणामी अभिव्यक्तियों को तर्कसंगत और अपरिमेय भागों (विशेष रूप से आधे-पूर्णांक तर्कों के मामले में $\ln 2$ वाले पदों को अलग करते हुए) को अलग करके सरल बनाया जाता है और $H_n$, $O_n$, और $H_{2n}$ के बीच ज्ञात संबंधों का उपयोग किया जाता है।

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

1. सामान्यीकृत हार्मोनिक योग (Theorem 2.1):
   शोध पत्र $\sum_{k=0}^n \frac{2^{2k}}{\binom{2k}{k}} \binom{m+k}{k} H_{k+m}$ के रूप में योगों के लिए एक सामान्य पहचान स्थापित करता है। यह परिणाम जटिल $m$ (गैर-धनात्मक पूर्णांकों और $-3/2$ को छोड़कर) के लिए मान्य है।

   • Corollary 2.2 & 2.4: $m$ के विशिष्ट मान निर्धारित करके, लेखक निम्नलिखित के लिए नए बंद-रूप अभिव्यक्तियाँ प्राप्त करते हैं:
     $$\sum_{k=0}^n \frac{2^{2k}}{\binom{2k}{k}} H_k \quad \text{और} \quad \sum_{k=0}^n \frac{2^{2k}}{\binom{2k}{k}} H_{2k}$$
     इन्हें संभावित रूप से नई परिणामों के रूप में प्रस्तुत किया गया है, जो विषम हार्मोनिक संख्याओं के लिए पहले से ज्ञात पहचानों से भिन्न हैं।

2. घात योगों के लिए पुनरावर्ती समाधान (Theorems 3.1 & 3.3):
   लेखक दो वर्गों के योगों को परिभाषित करते हैं:

   • $U_d(n) = \sum_{k=1}^n \frac{2^{2k}}{\binom{2k}{k}} k^d$
   • $V_d(n) = \sum_{k=1}^n \frac{2^{2k}}{\binom{2k}{k}} k^d H_k$
     वे $U_d(n)$ और $V_d(n)$ को निम्न-क्रम के योगों ($U_{d-j}$ और $V_{d-j}$) और सीमा पदों (boundary terms) के संदर्भ में व्यक्त करने के लिए पुनरावर्ती सूत्र प्राप्त करते हैं। $d=1, 2, 3$ के लिए स्पष्ट बंद रूप प्रदान किए गए हैं।
   • अवलोकन: शोध पत्र नोट करता है कि $V_d(n)$ को $H_n$, एक स्थिरांक पद, और एक सामान्यीकरण कारक $N(d) = \prod_{j=0}^{d+1} (2j+1)$ वाले एक विशिष्ट बहुपद रूप में व्यक्त किया जा सकता है।

3. हार्मोनिक योगों का दूसरा परिवार (Theorem 4.1):
   $\frac{2^{-2k}}{2k-1}$ पद से जुड़ी एक दूसरी पहचानों की श्रेणी प्राप्त की गई है। प्रमेय 4.1 $\binom{m+k+1}{k} H_{m+k+1}$ वाले योगों के लिए एक सामान्य सूत्र प्रदान करता है। कोरोलरी $m=0$ और $m=1$ के मामलों के लिए विशिष्ट मूल्यांकन प्रदान करती है, जो इन योगों को $H_{n+1}$ और $H_{n+2}$ से जोड़ती है।

4. वर्ग हार्मोनिक संख्याओं वाले योग (Theorem 5.1):
   शोध पत्र $H_k^2 - H_k^{(2)}$ (जहाँ $H_k^{(2)} = \sum_{j=1}^k j^{-2}$) वाले योगों की जांच करता है। प्रमेय 2.1 में दी गई पहचान का दो बार अवकलन करके (या डिगामा फलन के अवकलज का उपयोग करके), वे निम्नलिखित के लिए एक बंद रूप प्राप्त करते हैं:
   $$\sum_{k=0}^n \frac{2^{2k}}{\binom{2k}{k}} \binom{m+k}{k} (H_{k+m}^2 - H_{k+m}^{(2)})$$

   • Corollary 5.2: $\sum \frac{2^{2k}}{\binom{2k}{k}} H_k^2$ और $\sum \frac{2^{2k}}{\binom{2k}{k}} H_k^{(2)}$ के लिए विशिष्ट परिणाम प्रदान किए गए हैं।
   • सीमा: लेखक स्पष्ट रूप से कहते हैं कि अवशिष्ट योग $\sum_{j=1}^n \frac{2^{2j}}{j^2 \binom{2j}{j}}$ के लिए एक बंद-रूप मूल्यांकन अभी भी मायावी है और मौजूदा साहित्य में नहीं पाया गया है।

महत्व और दायरा
यह शोध पत्र अपने स्वयं के कार्य [3] के एक परिशिष्ट के रूप में खुद को स्थापित करता है, जो हार्मोनिक संख्याओं और उनकी घातों को शामिल करने के लिए केंद्रीय द्विपद गुणांकों के ज्ञात पहचानों के दायरे को बढ़ाता है। इसका महत्व निम्नलिखित में निहित है:

• केंद्रीय द्विपद गुणांकों को $H_k$ और $H_{2k}$ के साथ मिश्रित करने वाले योगों के लिए नई बंद-रूप पहचान प्रदान करना।
• किसी भी धनात्मक पूर्णांक $d$ के लिए $\sum \frac{2^{2k}}{\binom{2k}{k}} k^d H_k$ के रूप के योगों की गणना करने के लिए व्यवस्थित पुनरावर्ती विधियों को स्थापित करना।
• मौजूदा पहचानों से नई कॉम्बिनेटोरियल पहचान उत्पन्न करने के लिए डेरिवेटिव ऑपरेटर विधि की उपयोगिता को उजागर करना।

लेखक एक विनम्र स्वर बनाए रखते हैं, यह नोट करते हुए कि हालांकि पुनरावर्ती समाधानों में $P_d(n)$ और $Q_d(n)$ के रूप में प्राप्त बहुपद दिलचस्प हैं, उनके गहरे संरचनात्मक गुणों के लिए आगे के अध्ययन की आवश्यकता है। वे भविष्य के अनुसंधान दिशाओं का भी सुझाव देते हैं जिसमें इन योगों से जुड़े बहुपदों को बेहतर ढंग से समझने के लिए चर $x$ वाले जेनरेटिंग फंक्शन्स (Mansour और Batir/Sofo के कार्य के समान) शामिल हैं। शोध पत्र कोई प्रायोगिक अनुप्रयोग प्रस्तावित नहीं करता है बल्कि विशुद्ध रूप से इन कॉम्बिनेटोरियल योगों के सैद्धांतिक व्युत्पत्ति और मूल्यांकन पर केंद्रित है।