Explicit Evaluations of Euler Sums Involving Harmonic Numbers with Rational Arguments

तकनीकी सारांश: परिमेय तर्कों वाले हार्मोनिक संख्याओं से युक्त यूलर योगों के स्पष्ट मूल्यांकन

समस्या विवरण
यह शोध पत्र परिमेय तर्कों वाली सामान्यीकृत हार्मोनिक संख्याओं वाले एक विशिष्ट चार-पैरामीटर यूलर योगों के मूल्यांकन को संबोधित करता है। अध्ययन का मुख्य विषय निम्नलिखित अनंत श्रेणी है:
$$\sum_{k=1}^{\infty} \frac{a^k H^{(p)}_{k/n}}{k^q}$$
जहाँ $p, n \in \mathbb{Z}_{\ge 1}$, $q \in \mathbb{Z}_{\ge 2}$, $a = \pm 1$, और $p+q$ विषम है। यहाँ, $H^{(p)}_{k/n}$ परिमेय तर्क $k/n$ पर मूल्यांकित क्रम $p$ की सामान्यीकृत हार्मोनिक संख्या है।

यह कार्य सोफो [11, कोरोलरी 2.4] द्वारा $a=1$ के मामले के लिए स्थापित एक ज्ञात पहचान से प्रेरित है, जो ऐसे योगों को अन्य यूलर योगों और रीमान ज़ेटा मानों के उत्पादों के रूप में व्यक्त करती है। जबकि $n=2$ के विशिष्ट मामले को पहले बंद रूप (closed form) में मूल्यांकित किया जा चुका था, और सोफो की पहचान में आने वाले आंतरिक योगों को हाल ही में हल किया गया था [7], $k/n$ के व्यापक तर्क और वैकल्पिक चिह्नों ($a=-1$) वाले योगों के अधिक विस्तृत वर्ग के लिए एक सामान्य बंद-रूप अभिव्यक्ति को पूरी तरह से एक एकीकृत ढांचे के भीतर व्युत्पन्न किया जाना शेष था।

कार्यप्रणाली
लेखक मुख्य परिणामों को व्युत्पन्न करने के लिए आंशिक भिन्न अपघटन (partial fraction decomposition), श्रेणी हेरफेर (series manipulation), और समाकल निरूपणों (integral representations) के संयोजन का उपयोग करता है। कार्यप्रणाली निम्नलिखित चरणों के माध्यम से आगे बढ़ती है:

1. आंशिक भिन्न अपघटन: लेम्मा 1 पद $\frac{1}{k^q(k+nj)^p}$ के लिए एक आंशिक भिन्न पहचान स्थापित करता है। यह हर (denominator) को $k$ और $(k+nj)$ की घातों वाले सरल घटकों में विभाजित करने की अनुमति देता है।
2. श्रेणी रूपांतरण: सामान्यीकृत हार्मोनिक संख्या $H^{(p)}_{k/n}$ को रीमान ज़ेटा फलन के शामिल अनंत श्रेणी निरूपण का उपयोग करके व्यक्त किया जाता है: $H^{(p)}_{k/n} = \zeta(p) - \sum_{j=1}^{\infty} \frac{1}{(j+k/n)^p}$। इसे मुख्य योग में प्रतिस्थापित करने से समस्या एक दोहरी गणना (double summation) में बदल जाती है।
3. लेम्मा का अनुप्रयोग:
   • लेम्मा 2 $\sum \frac{a^k}{(k+n)^p}$ के रूप $\ world में मूल्यांकन प्रदान करता है, जिसे पोलिलॉगारिदम फलन$\text{Li}_p(a)$ और वैकल्पिक चिह्नों वाली सामान्यीकृत हार्मोनिक संख्याओं के पदों में व्यक्त किया जाता है।
   • लेम्मा 3 ([7, कोरोलरी 1] से उद्धृत) विशिष्ट यूलर योगों $\sum \frac{a^k H^{(p)}_{nk,b}}{k^q}$ के लिए एक बंद-रूप मूल्यांकन प्रदान करता है, जो व्युत्पत्ति में मध्यवर्ती पदों के रूप में दिखाई देते हैं।
4. गणना का क्रम परिवर्तन: गणना के क्रम को बदलकर और लेम्मा लागू करके, मूल जटिल योग को पोलिलॉगारिदम, लेर्च ट्रांसेंडेंट (Lerch transcendent) $\Phi$, और ज़ेटा फलनों के उत्पादों के रैखिक संयोजन में विघटित किया जाता है।
5. समाकल व्युत्पत्ति: थ्योरम 2 हार्मोनिक संख्याओं के समाकल निरूपण का उपयोग करते हुए, पोलिलॉगारिदम फलन से संबंधित एक लघुगणकीय समाकल (logarithmic integral) को इन श्रेणी परिणामों से जोड़ता है।

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

• थ्योरम 1: शोध पत्र सामान्य यूलर योग $\sum_{k=1}^{\infty} \frac{a^k H^{(p)}_{k/n}}{k^q}$ के लिए एक बंद-रूप अभिव्यक्ति व्युत्पन्न करता है। परिणाम निम्नलिखित के पदों में व्यक्त किया गया है:

  • पोलिलॉगारिदम फलन $\text{Li}_s(z)$।
  • लेर्च ट्रांसेंडेंट $\Phi(z, s, t)$।
  • रीमान ज़ेटा फलन $\zeta(s)$।
  • हूर्विट्ज़ ज़ेटा फलन (लेर्च ट्रांसेंडेंट के माध्यम से अप्रत्यक्ष रूप से)।
  • सूत्र में द्विपद गुणांकों (binomial coefficients) और सूचकांकों $r$ और $\ell$ पर परिमित योग शामिल हैं।

• कोरोलरी (उपपत्ति):

  • कोरोलरी 1 ($a=1$): व्युत्पन्न सूत्र ठीक सोफो की पहचान [11] में कम हो जाता है, जो इस नए सामान्यीकरण की वैधता सिद्ध करता है।
  • कोरोलरी 2 ($a=-1$): शोध पत्र वैकल्पिक यूलर योगों के लिए स्पष्ट मूल्यांकन प्रदान करता है। ये परिणाम आगे $n$ के सम होने और $n$ के विषम होने के मामलों के लिए विशिष्ट किए गए हैं, जिसमें डिरिचलेट एटा फलन $\eta(s)$ और डिरिचलेट लैम्डा फलन $\lambda(s)$ का परिचय दिया गया है।

• थ्योरम 2: एक लघुगणकीय समाकल के लिए बंद-रूप मूल्यांकन प्राप्त किया गया है:
  $$\int_0^1 \frac{\ln^{p-1}(x) \text{Li}_q(ax)}{x(1-x^n)} dx$$
  यह दिखाया गया है कि यह परिणाम थ्योरम 1 में व्युत्पन्न यूलर योगों से सीधे संबंधित है।

• स्पष्ट उदाहरण: खंड 4 विशिष्ट पूर्णांक पैरामीटर $(p, q, n)$ के लिए ठोस मूल्यांकन प्रदान करता है। ये उदाहरण दर्शाते हैं कि सामान्य सूत्र ज़ेटा मानों (जैसे, $\zeta(3), \zeta(5), \zeta(7)$), ज़ेटा फलनों के उत्पादों, और परिमेय तर्कों के साथ हूर्विट्ज़ ज़ेटा फलन के मानों (जैसे, $\zeta(s, 1/3), \zeta(s, 1/5)$) के संयोजन में कैसे परिवर्तित होते हैं।

महत्व और दावे
शोध पत्र का दावा है कि यह उन व्यापक श्रेणियों के यूलर योगों के मूल्यांकन के लिए एक एकीकृत ढांचा प्रदान करता है जो पहले केवल आंशिक रूप से समझे गए थे या विशिष्ट पैरामीटर ($n=1$ या $n=2$) तक सीमित थे। पोलिलॉगारिदम और लेर्च ट्रांसेंडेंट के पदों में इन योगों को व्यक्त करके, यह कार्य प्रदर्शित करता है कि वे स्वीकार्य पैरामीटर विकल्पों के तहत मानक विशेष फलनों (रीमान और हूर्विट्ज़ ज़ेटा फलन) में परिवर्तनीय हैं।

लेखक नोट करता है कि व्युत्पन्न सूत्र कम्प्यूटेशनल कार्यान्वयन के लिए उपयुक्त हैं, जो विलक्षणताओं (singularities) को संभालने और यह सुनिश्चित करने के लिए कि सूत्र सिम्बोलिक कंप्यूटेशन सॉफ्टवेयर में सही ढंग से कार्य करें, विशिष्ट मैथेमैटिका (Mathematica) कन्वेंशन (जैसे, $\text{Li}_1(1)=0$ और $\text{Li}_0(1)=-1/2$ सेट करना) प्रदान करते हैं। यह कार्य किसी नए प्रयोगात्मक अनुप्रयोग का प्रस्ताव नहीं करता है, बल्कि यूलर योगों और पोलिलॉगारिथमिक समाकल के बीच उनके संबंधों के सैद्धांतिक परिदृश्य का विस्तार करता है।