A new expansion of the Riemann zeta function

यहाँ बी. कैंडेलपरघेर (B. Candelpergher) के शोध पत्र "A new expansion of the Riemann's zeta function" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण (Problem Statement)

यह शोध पत्र क्रिटिकल स्ट्रिप ($0 < \Re(s) < 1$) के भीतर रीमान ज़ेटा फलन, $\zeta(s)$ के निरूपण को संबोधित करता है। जबकि $\zeta(s)$ को इसके डिरिचलेट श्रेणी (जो $\Re(s) > 1$ के लिए अभिसारी है) और इसके फलन समीकरण (functional equation) के माध्यम से अच्छी तरह से समझा जाता है, क्रिटिकल स्ट्रिप में ऐसे अभिसारी श्रेणी विस्तार खोजना जो ऑर्थोगोनल बहुपदों (orthogonal polynomials) का उपयोग करते हों और मौलिक स्थिरांकों (जैसे यूलर-मास्करोनी स्थिरांक $\gamma$ और $\zeta(k)$ के मान) से स्पष्ट रूप से संबंधित हों, एक महत्वपूर्ण चुनौती है।

मौजूदा बहुपद विस्तार अक्सर न्यूटन इंटरपोलेशन या स्टिएलजेस स्थिरांकों (Stieltjes constants) पर निर्भर करते हैं। इस शोध पत्र का उद्देश्य एक नए प्रकार के ऑर्थोगोनल बहुपदों $P_m(s)$ को पेश करना है जिनके मूल (roots) सख्ती से क्रिटिकल लाइन $\Re(s) = 1/2$ पर स्थित हैं, और $\zeta(s)$ को इन बहुपदों की एक अभिसारी श्रेणी के रूप में व्यक्त करना है जिसके गुणांक $\gamma$ और $\zeta(k)$ के परिमेय संयोजनों से प्राप्त होते हैं।

2. कार्यप्रणाली (Methodology)

लेखक कई उन्नत गणितीय उपकरणों के संश्लेषण का उपयोग करते हैं:

• लैगुएर बहुपद और मेलिन ट्रांसफॉर्म (Laguerre Polynomials and Mellin Transforms): इस विधि के केंद्र में लैगुएर बहुपदों $L_m(x)$ का अनुक्रम शामिल है। लेखक एक नए बहुपदों के अनुक्रम $P_m(s)$ को फलन $x \mapsto e^{-x}L_m(2x)$ के मेलिन ट्रांसफॉर्म के माध्यम से परिभाषित करते हैं।
• जेनरेटिंग फंक्शन्स (Generating Functions): एक जेनरेटिंग फंक्शन संबंध स्थापित किया गया है जो $z^{-s}$ को $P_m(s)$ और एक विशिष्ट कर्नेल $\psi_m(z) = \frac{1}{1+z}(\frac{z-1}{z+1})^m$ की एक श्रेणी से जोड़ता है।
• रामानुजन का योग (Ramanujan's Summation): चूंकि जेनरेटिंग फंक्शन से प्राप्त श्रेणी का सीधा योग क्रिटिकल स्ट्रिप में अपसारी (divergent) होता है, इसलिए लेखक रामानुजन के योग ($\mathcal{R}\sum$) का उपयोग करते हैं। यह तकनीक विश्लेषणात्मक निरंतरता (analytic continuation) और प्लाना समेशन फॉर्मूला का उपयोग करके अपसारी श्रेणियों को परिमित मान प्रदान करती है।
• ऑर्थोगोनल सिस्टम (Orthogonal Systems): शोध पत्र यह स्थापित करने के लिए मेलिन-पार्सेवल फॉर्मूला का उपयोग करता है कि बहुपदों $Q_m(t) = \frac{1}{2}P_m(\frac{1}{2} + it)$ का समूह भारित $L^2$ स्पेस $L^2(\mathbb{R}, \frac{dt}{\cosh(\pi t)})$ में एक पूर्ण ऑर्थोनॉर्मल सिस्टम बनाते हैं।

3. मुख्य योगदान और परिणाम (Key Contributions and Results)

A. $P_m(s)$ की परिभाषा और गुण

बहुपद $P_m(s)$ को इस समाकल (integral) द्वारा परिभाषित किया गया है:
$$\Gamma(s)P_m(s) = 2 \int_0^{+\infty} e^{-x}L_m(2x)x^{s-1} dx$$
इसे स्पष्ट रूप से इस प्रकार भी व्यक्त किया जा सकता है:
$$P_m(s) = \sum_{k=0}^m \binom{m}{k} (-1)^k 2^{k+1} \frac{(s)_k}{k!}$$
जहाँ $(s)_k$ पोचहैमर प्रतीक (Pochhammer symbol) है।

• मूल (Roots): एक प्रमुख परिणाम यह है कि $P_m(s)$ के सभी मूल क्रिटिकल लाइन $\Re(s) = 1/2$ पर स्थित हैं। यह इस तथ्य का परिणाम है कि रूपांतरित बहुपद $Q_m(t)$ भार $1/\cosh(\pi t)$ के सापेक्ष ऑर्थोगोनल हैं।

B. $\zeta(s)$ का विस्तार

यह शोध पत्र $0 < \Re(s) < 1$ के लिए निम्नलिखित अभिसारी विस्तार व्युत्पन्न करता है:
$$\zeta(s) = \sum_{m=0}^{\infty} x_m P_m(s)$$
गुणांक $x_m$ को यूलर स्थिरांक $\gamma$ और $\zeta(2), \zeta(3), \dots, \zeta(m+1)$ के मानों के रैखिक संयोजन के रूप में स्पष्ट रूप से गणना की गई है।
$x_m$ के लिए सूत्र है:
$$x_m = \gamma + \sum_{k=1}^m \binom{m}{k} (-2)^k \zeta(k+1) + r_m$$
जहाँ $r_m$ एक परिमेय संख्या है जो निम्न द्वारा दी गई है:
$$r_m = (-1)^{m+1} + \sum_{k=1}^m \frac{1 + (-1)^{k-1}}{k}$$
दिए गए विशिष्ट उदाहरणों में शामिल हैं:

• $x_1 = \gamma - 2\zeta(2) + 3$
• $x_2 = \gamma - 4\zeta(2) + 4\zeta(3) + 1$

C. अपसारी श्रेणियों का रामानुजन योग

व्युत्पत्ति काफी हद तक श्रेणी के रामानुजन योग का मूल्यांकन करने पर निर्भर करती है:
$$z_m = \mathcal{R}\sum_{n \ge 1} \frac{1}{n+1} \left(\frac{n-1}{n+1}\right)^m$$
लेखक सिद्ध करते हैं कि $s \neq 1$ के लिए, $\mathcal{R}\sum_{n \ge 1} n^{-s} = \zeta(s) - \frac{1}{s-1}$, जिससे अपसारी श्रेणी से विश्लेषणात्मक फलन $\zeta(s)$ में संक्रमण संभव होता है।

D. ऑर्थोनॉर्मल विस्तार और इंटीग्रल पहचान (Integral Identities)

यह दिखाया गया है कि यह एक ऑर्थोनॉर्मल विस्तार है जो $L^2(\mathbb{R}, \frac{dt}{\cosh(\pi t)})$ स्पेस में स्थित है। विशेष रूप से:
$$\zeta\left(\frac{1}{2} + it\right) = 2 \sum_{m=0}^{\infty} x_m Q_m(t)$$
यह क्रिटिकल लाइन पर ज़ेटा फलन के वर्ग मापांक (squared modulus) के लिए एक पार्सेवल-प्रकार की पहचान की ओर ले जाता है:
$$\frac{1}{2} \int_{-\infty}^{+\infty} \left| \zeta\left(\frac{1}{2} + it\right) \right|^2 \frac{dt}{\cosh(\pi t)} = \log(2\pi) - \gamma - \frac{1}{2}$$
यह इंटीग्रल पहचान विस्तार के लाप्लास ट्रांसफॉर्म और रामानुजन समेशन तकनीकों का उपयोग करके औपचारिक रूप से व्युत्पन्न की गई है।

4. महत्व (Significance)

• ज्यामितीय अंतर्दृष्टि (Geometric Insight): क्रिटिकल लाइन पर सटीक रूप से मूल रखने वाले बहुपदों $P_m(s)$ का निर्माण ज़ेटा फलन से जुड़े एक नए बीजगणितीय ढांचे को प्रदान करता है, जो ज़ेटा शून्य (zeta zeros) के वितरण पर नए दृष्टिकोण प्रदान कर सकता है।
• गणना संबंधी उपयोगिता (Computational Utility): यह विस्तार $\zeta(s)$ को क्रिटिकल स्ट्रिप में बहुपदों की एक तेजी से अभिसारी श्रेणी का उपयोग करके व्यक्त करता है जिसके गुणांक मानक स्थिरांकों ($\gamma, \zeta(k)$) से जुड़े होते हैं। यह क्रिटिकल स्ट्रिप में $\zeta(s)$ की उच्च-परिशुद्धता संख्यात्मक गणनाओं के लिए उपयोगी हो सकता है।
• अवधारणाओं का एकीकरण (Unification of Concepts): यह शोध पत्र लैगुएर बहुपदों, मेलिन ट्रांसफॉर्म, अपसारी श्रेणियों के रामानुजन योग और क्रिटिकल लाइन पर ऑर्थोगोनल बहुपदों के सिद्धांत को कुशलतापूर्वक जोड़ता है।
• नई इंटीग्रल पहचान (New Integral Formulas): व्युत्पन्न इंटीग्रल पहचान $\int |\zeta(1/2+it)|^2 \frac{dt}{\cosh(\pi t)}$ क्रिटिकल लाइन पर ज़ेटा फलन के व्यवहार के लिए एक नया वैश्विक प्रतिबंध प्रदान करती है, जो इसे सीधे $\log(2\pi)$ और $\gamma$ से जोड़ती है।

संक्षेप में, कैंडेलपरघेर ऑर्थोगोनल बहुपदों और रामानुजन समेशन के सिद्धांत पर आधारित, क्रिटिकल स्ट्रिप में रीमान ज़ेटा फलन का एक नवीन, कठोर और अभिसारी बहुपद विस्तार प्रस्तुत करते हैं, जो स्पष्ट गुणांक सूत्रों और नई इंटीग्रल पहचानों दोनों को जन्म देता है।