Positive rational series for reciprocal powers of Catalan's constant and Dirichlet beta values

तकनीकी सारांश: कैटलन स्थिरांक और डिरिचलेट बीटा मानों के व्युत्क्रम घातों के लिए धनात्मक परिमेय श्रेणियाँ

समस्या विवरण
यह शोध पत्र डिरिचलेट बीटा फलन $\beta(s)^{-r}$ (जहाँ $r \ge 1$ एक पूर्णांक है) के व्युत्क्रम घातों के लिए श्रेणी निरूपणों के निर्माण को संबोधित करता है। विशेष रूप से, यह कैटलन स्थिरांक $G = \beta(2)$ और विषम पूर्णांकों पर $\beta(s)$ के मानों (जो $\pi$ की घातों से संबंधित हैं) को लक्षित करता है। चूँकि डिरिचलेट बीटा फलन एक प्रत्यावर्ती श्रेणी (alternating series) द्वारा परिभाषित है, और इसके व्युत्क्रम घातों को मोबियस फलन (Möbius function) वाले डिरिचलेट श्रेणियों के माध्यम से व्यक्त किया जा सकता है, ये शास्त्रीय निरूपण दो सीमाओं से ग्रस्त हैं: इनमें ऐसे पद होते हैं जिनमें निश्चित चिह्न पैटर्न नहीं होता है और ये ज्यामितीय (geometric) के बजाय बीजगणितीय (algebraic) रूप से अभिसरित होते हैं। इसका उद्देश्य धनात्मक परिमेय गुणांकों वाली साधारण घात श्रेणियों को विकसित करना है जो ज्यामितीय अभिसरण प्रदर्शित करती हैं, जिससे इन स्थिरांकों के लिए कुशल गणनात्मक उपकरण और नए संरचनात्मक अंतर्दृष्टि प्राप्त होती है।

कार्यप्रणाली
लेखक बीटा श्रेणी के अभिन्न प्रतिनिधित्व (integral representation) पर आधारित एक रूपांतरण-आधारित दृष्टिकोण का उपयोग करता है। मुख्य कार्यप्रणाली में तीन चरण शामिल हैं:

1. अभिन्न प्रतिनिधित्व (Integral Representation): शोध पत्र फलन $F_s(t) = \sum_{k=0}^\infty (-1)^k t^k / (2k+1)^s$ का उपयोग करता है, जो गामा फलन से युक्त एक अभिन्न प्रतिनिधित्व स्वीकार करता है:
   $$F_s(t) = \frac{1}{\Gamma(s)} \int_0^1 \frac{(-\log x)^{s-1}}{1+tx^2} dx.$$
   यह प्रतिनिधित्व $\text{Re}(t) > -1$ के लिए मान्य है।

2. आंशिक-रैखिक प्रतिस्थापन (Fractional-Linear Substitutions): इकाई डिस्क (unit disk) को विश्लेषणात्मक डोमेन में मैप करने के लिए चर $t$ के दो अलग-अलग प्रतिस्थापन लागू किए जाते हैं:

   • साधारण यूलर रूपांतरण (Ordinary Euler Transformation): प्रतिस्थापन $t = w/(1-w)$ जो $w=1/2$ को $t=1$ पर मैप करता है। यह सभी वास्तविक $s > 0$ के लिए मान्य श्रेणी प्रदान करता है।
   • त्वरित रूपांतरण (Accelerated Transformation): प्रतिस्थापन $t = 2u/(1-u)$ जो $u=1/3$ को $t=1$ पर मैप करता है। यह $s \ge 2$ के लिए मान्य श्रेणी प्रदान करता है।

3. व्युत्क्रम घात निर्माण (Reciprocal Power Construction): रूपांतरित फलन $1 - D(z)$ के रूप में होते हैं, जहाँ $D(z)$ धनात्मक गुणांकों वाली एक घात श्रेणी है। व्युत्क्रम घातों $(1 - D(z))^{-r}$ का विस्तार सामान्य द्विपद प्रमेय (generalized binomial theorem) का उपयोग करके किया जाता है। व्युत्क्रम श्रेणियों के गुणांकों को निम्नलिखित के माध्यम से प्राप्त किया जाता है:

   • द्विपद गुणांकों और प्रत्यावर्ती योगों वाला एक परिमित-योग सूत्र।
   • एक धनात्मक पुनरावृत्ति संबंध (प्रमेय 4.2) जो गुणांकों के कुशल उत्पादन की अनुमति देता है।
   • आंशिक घातीय बेल बहुपदों (partial exponential Bell polynomials) को शामिल करने वाला एक संयोजन सूत्र (प्रमेय 4.3)।

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

• धनात्मक श्रेणियों के दो परिवार: शोध पत्र $1/\beta(s)^r$ के लिए दो परिवारों की स्थापना करता है:

  • एक श्रेणी जो $1/2$ पर मूल्यांकित होती है (अभिसरण दर $1/2$) और $s > 0$ के लिए मान्य है।
  • एक श्रेणी जो $1/3$ पर मूल्यांकित होती है (अभिसरण दर $1/3$) और $s \ge 2$ के लिए मान्य है।
    दोनों परिवारों के गुणांक पूर्णतः धनात्मक हैं। जब $s$ एक पूर्णांक होता है, तो सभी गुणांक परिमेय होते हैं।

• कैटलन स्थिरांक ($G$) के लिए स्पष्ट सूत्र: $s=2$ के लिए, त्वरित रूपांतरण $1/G^r$ के लिए एक तेजी से अभिसरित होने वाली श्रेणी प्रदान करता है। शोध पत्र आधार गुणांक $p_{2,n}$ और व्युत्क्रम गुणांक $c_{2,r,n}$ के लिए स्पष्ट सूत्र प्रदान करता है।

  • उदाहरण: $1/G = 1 + \sum_{n=1}^\infty \frac{c_{2,1,n}}{3^n}$, जहाँ पहले कुछ पद $2/27, 226/18225, \dots$ हैं।
  • शोध पत्र यह सिद्ध करता है कि प्रारंभिक 1 के बाद प्रत्येक पद एक धनात्मक परिमेय संख्या है, जो यह सुनिश्चित करता है कि आंशिक योग (partial sums) सख्त निम्नतम सीमाएँ (strict lower bounds) हैं।

• $\pi$ के व्युत्क्रम घात: विषम बीटा मानों और $\pi$ की घातों के बीच ज्ञात संबंध (यूलर संख्याओं को शामिल करते हुए) को त्वरित रूपांतरण के साथ जोड़कर, शोध पत्र $\pi^{-(2m+1)r}$ के लिए धनात्मक परिमेय श्रेणियों को व्युत्पन्न करता है।

  • $\beta(1) = \pi/4$ के मामले के लिए, साधारण यूलर रूपांतरण (जिसे $1/2$ पर मूल्यांकित किया गया है) का उपयोग किया जाता है, क्योंकि त्वरित रूपांतरण $s=1$ पर धनात्मक गुणांक उत्पन्न करने में विफल रहता है।
  • इससे ऐसी श्रेणियाँ प्राप्त होती हैं जैसे $4^r/\pi^r = 1 + \sum_{n=1}^\infty \frac{c_{1,r,n}}{2^n}$।

• अभिसरण और त्रुटि विश्लेषण (Convergence and Error Analysis):

  • दो परिवारों के लिए सटीक मूल-अभिसरण दरें क्रमशः $1/2$ और $1/3$ निर्धारित की गई हैं।
  • स्पष्ट शेषफल अनुमान (Remainder estimates) प्रदान किए गए हैं (प्रमेय 4.7), जो त्रुटि के ज्यामितीय क्षय को दर्शाते हैं। उदाहरण के लिए, त्वरित श्रेणी के लिए त्रुटि $(2/3)^{N+1}$ के समान पदों द्वारा सीमित है।
  • संख्यात्मक तुलना पुष्टि करती है कि त्वरित श्रेणी, साधारण यूलर श्रेणी की तुलना में काफी तेजी से अभिसरित होती है (उदाहरण के लिए, $N=80$ पर, $1/G$ के लिए त्रुटि त्वरित श्रेणी के लिए $\approx 10^{-41}$ है बनाम साधारण श्रेणी के लिए $\approx 10^{-27}$)।

• गुणांक गुण (Coefficient Properties): शोध पत्र विस्तार से बताता है कि गुणांकों को एक सरल पुनरावृत्ति $c_n^{(r)} = \frac{1}{n} \sum_{k=1}^n [n + (r-1)k] d_k c_{n-k}^{(r)}$ के माध्यम से कैसे उत्पन्न किया जा सकता है; यह बेल बहुपदों और पूर्णांक $s$ के लिए सामान्य हार्मोनिक संख्याओं को शामिल करते हुए बंद-रूप (closed-form) अभिव्यक्तियाँ भी प्रदान करता है।

महत्ता और दावे
शोध पत्र दावा करता है कि यह कैटलन स्थिरांक और संबंधित बीटा मानों के व्युत्क्रम घातों के लिए धनात्मक परिमेय श्रेणियों को उत्पन्न करने की एक व्यवस्थित विधि प्रदान करता है। पिछले दृष्टिकोणों के विपरीत, जो मोडुलर फॉर्म या हाइपरजियोमेट्रिक पहचान (रामानुजन-प्रकार की श्रेणियों) पर निर्भर करते हैं, यह विधि "यूलर-प्रकार" की है, जो शास्त्रीय श्रेणी रूपांतरणों और अभिन्न प्रतिनिधित्वों पर आधारित है।

इसकी महत्ता निम्नलिखित में निहित है:

1. गणनात्मक दक्षता: ज्यामितीय अभिसरण दरें ($1/2$ और $1/3$) और पदों की धनात्मकता इन स्थिरांकों और उनके व्युत्क्रमों की उच्च-परिशुद्धता गणना के लिए कुशल मार्ग प्रदान करती है।
2. संरचनात्मक स्पष्टता: इन गुणांकों के लिए परिमित-योग सूत्रों और धनात्मक पुनरावृत्तियों का व्युत्पत्ति, एक स्पष्ट बीजगणकीय संरचना प्रदान करता है, जिन्हें व्युत्क्रम घातों के संदर्भ में अन्यथा चरित्रित करना कठिन होता है।
3. परिमेयता: जब $s$ एक पूर्णांक होता है, तो गुणांकों के परिमेय होने का स्पष्ट प्रदर्शन इन स्थिरांकों के लिए परिमेय सन्निकटन की एक नई श्रेणी प्रदान करता है।

लेखक स्पष्ट रूप से उल्लेख करता है कि यह कार्य $G$ या अन्य खुले गणितीय प्रश्नों की अपरिमेयता (irrationality) को हल करने का लक्ष्य नहीं रखता है, बल्कि इन विशिष्ट श्रेणी निरूपणों के विश्लेषणात्मक और संयोजन निर्माण पर ध्यान केंद्रित करता है। परिणाम स्व-निहित विश्लेषणात्मक उपकरण के रूप में प्रस्तुत किए गए हैं जिनके संख्यात्मक मूल्यांकन में तत्काल अनुप्रयोग हैं।