On the series expansion of the secondary zeta function about $s=1$ and its coefficients

यहाँ आर्टुर कावलेक के शोध पत्र "On the series expansion of the secondary zeta function about $s = 1$ and its coefficients" का विस्तृत तकनीकी सारांश दिया गया है।

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

सेकेंडरी ज़ेटा फंक्शन (Secondary zeta function), जिसे $Z(s)$ द्वारा दर्शाया जाता है, रीमान ज़ेटा फंक्शन के गैर-तुच्छ शून्य (non-trivial zeros) के काल्पनिक भागों ($\gamma_n$) पर एक सामान्यीकृत डिरिचलेट श्रेणी (generalized Dirichlet series) के रूप में परिभाषित है, यह मानते हुए कि रीमान परिकल्पना (RH) सत्य है। इसकी परिभाषा है:
$$Z(s) = \sum_{\gamma} \frac{1}{\gamma^s}$$
यह श्रेणी $\Re(s) > 1$ के लिए पूर्णतः अभिसारी (absolutely convergent) है। इस फलन में $s=1$ पर एक द्वि-ध्रुव (double pole) और ऋणात्मक विषम पूर्णांकों पर एकल ध्रुव (simple poles) होते हैं।

इस शोध पत्र में संबोधित मुख्य समस्या $s=1$ पर स्थित द्वि-ध्रुव के आसपास $Z(s)$ के लॉरेंट श्रृंखला विस्तार (Laurent series expansion) के गुणांकों ($C_n$) का निर्धारण करना है। विस्तार इस प्रकार है:
$$Z(s) = \frac{1}{2\pi(s-1)^2} - \frac{\log(2\pi)}{2\pi(s-1)} + \sum_{n=0}^{\infty} \frac{C_n}{n!}(s-1)^n$$
जबकि मुख्य भाग (pole terms) को चक्रवर्ती ने स्थापित किया था और विस्तार को इविक (Ivić) ने, लेकिन किसी भी $n \geq 0$ के लिए नियमित भाग के गुणांक $C_n$ के लिए एक सामान्य, गणनीय सीमा सूत्र (computable limit formula) को एक एकीकृत ढांचे में पूरी तरह से व्युत्पन्न या सत्यापित नहीं किया गया था। हसानी (Hassani) और ब्रेंट (Brent) के पिछले कार्यों ने विशिष्ट मामलों (विशेष रूप से $n=0$) को सीमित सटीकता के साथ संबोधित किया था।

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

लेखक $C_n$ के लिए एक नया सीमा सूत्र व्युत्पन्न करने के लिए स्टिल्टजेस एकीकरण (Stieltjes integration), अनंतस्पर्शी विश्लेषण (asymptotic analysis), और योग द्वारा विभाजन (summation by parts) जैसी विश्लेतिक संख्या सिद्धांत तकनीकों के संयोजन का उपयोग करते हैं।

• सीमा सूत्र का व्युत्पत्ति (Derivation of the Limit Formula):
  प्रमाण की शुरुआत शून्य-गणना फलन $N(T)$ का उपयोग करके आंशिक योग के डेरिवेटिव्स को व्यक्त करने से होती है। रीमान-वॉन मंगलड्ट (Riemann-von Mangoldt) अनंतस्पर्शी सूत्र $N(T) = L(T) + Q(T)$ (जहाँ $L(T)$ प्रमुख पद है और $Q(T)$ ज़ेटा फलन के तर्क से संबंधित त्रुटि पद है) का उपयोग करते हुए, लेखक शून्यों के असतत योग (discrete sum) को एक समाकलन (integral) में परिवर्तित करते हैं।
  बार-बार एकीकरण द्वारा भाग (integration by parts) और सीमा पदों (boundary terms) के सावधानीपूर्वक प्रबंधन के माध्यम से, लेखक योग के अपसारी (divergent) भागों को अलग करते हैं। इससे $C_n$ के रूप में $C_n$ को व्यक्त करने वाला प्रमेय 1 (Theorem 1) प्राप्त होता है:
  $$C_n = \lim_{T \to \infty} (-1)^n \left( \sum_{\gamma < T} \frac{\log^n(\gamma)}{\gamma} - \frac{1}{2\pi(n+1)(n+2)} \log^{n+1}(T) \log\left( \frac{T^{n+1}}{(2\pi)^{n+2}} \right) \right)$$
  यह सूत्र पिछले परिणामों (जैसे $n=0$ के लिए हसानी का कार्य) को सभी $n \geq 0$ के लिए सामान्यीकृत करता है।

• अभिसरण में सुधार (BPT Theorem):
  सीधे सीमा सूत्र के धीमे अभिसरण (जहाँ त्रुटि पद $O(\frac{\log^{n+1} T}{T})$ है) को संबोधित करने के लिए, लेखक ब्रेंट के (BPT) प्रमेय को लागू करते हैं। वास्तविक शून्य गणना $N(T)$ और उसके अनंतस्पर्शी सन्निकटन $L(T)$ के बीच के अंतर से प्राप्त अग्रणी त्रुटि पद को स्पष्ट रूप से घटाकर, त्रुटि सीमा को $O(\frac{\log^{n+1} T}{T^2})$ तक सुधारा जाता है। इससे प्रमेय 2 (Theorem 2) प्राप्त होता है, जो $C_n$ के लिए एक परिष्कृत सूत्र प्रदान करता है जिसमें $N(T) - L(T)$ से संबंधित एक सुधार पद शामिल है।

• संख्यात्मक सत्यापन (Numerical Verification):
  लेखक सीधे योगों की गणना करने के लिए 2 मिलियन गैर-तुच्छ शून्यों ($T \approx 1.13 \times 10^6$) के डेटाबेस का उपयोग करते हैं। प्राप्त परिणामों की तुलना एरियास डी रेना (ADR) एल्गोरिदम का उपयोग करके पहले से गणना किए गए उच्च-परिशुद्धता संदर्भ मानों (50 अंकों तक) से की जाती है।

3. मुख्य योगदान (Key Contributions)

1. सामान्य सीमा सूत्र (Theorem 1): यह पत्र सभी $n \geq 0$ के लिए लॉरेंट गुणांकों $C_n$ के लिए एक बंद-रूप सीमा अभिव्यक्ति (closed-form limit expression) व्युत्पन्न करता है। यह गुणांकों को सीधे शून्यों के काल्पनिक भागों के वितरण से जोड़ता है, ठीक वैसे ही जैसे स्टिल्टजेस स्थिरांक (Stieltjes constants) स्वयं रीमान ज़ेटा फलन से संबंधित होते हैं।
2. अभिसरण त्वरण (Theorem-2): सेकेंडरी ज़ेटा फंक्शन के संदर्भ में ब्रेंट के प्रमेय का अनुप्रयोग काफी तेजी से अभिसरण वाला सूत्र प्रदान करता है। यह $O(1/T)$ त्रुटि पद को प्रभावी ढंग से हटाकर उच्च परिशुद्धता प्राप्त करने के लिए आवश्यक शून्यों की संख्या को कम करता है।
3. उच्च-परिशुद्धता संख्यात्मक डेटा: यह पत्र $0 \leq n \leq 50$ के लिए 50 दशमलव स्थानों तक गणना किए गए $C_n$ गुणांकों की एक संदर्भ तालिका प्रदान करता है। यह उनके द्वारा व्युत्पन्न सूत्रों की सटीकता प्रदर्शित करने के लिए प्रत्यक्ष संख्यात्मक सत्यापन भी प्रस्तुत करता है।

4. परिणाम (Results)

• $n=0$ का सत्यापन: 2 मिलियन शून्यों के साथ सीधे सीमा सूत्र का उपयोग करके, लेखक ने $C_0 \approx 0.251637...$ की गणना की, जो 5 दशमलव स्थानों तक संदर्भ मान से मेल खाता है।
• $n=1, 2$ का सत्यापन: $C_1$ और $C_2$ के लिए समान प्रत्यक्ष गणनाओं ने क्रमशः 4 और 3 दशमलव स्थानों तक संदर्भ मानों से मिलान किया, जो सामान्य सूत्र की वैधता की पुष्टि करता है।
• BPT सुधार का प्रभाव: जब ब्रेंट सुधार पद लागू किया गया:
  • $C_0$ के लिए सटीकता 5 से बढ़कर 12 दशमलव स्थानों तक हो गई।
  • $C_1$ और $C_2$ के लिए सटीकता बढ़कर 10 दशमलव स्थानों तक हो गई।
  • अनुमानित त्रुटि सीमाएँ $O(10^{-5})$ से घटकर $O(10^{-10})$ या उससे बेहतर हो गईं, जो बेहतर सूत्र की प्रभावकारिता को प्रदर्शित करती है।
• संदर्भ तालिका: $C_n$ गुणांकों (n=50 तक) की एक व्यापक तालिका प्रदान की गई है, जो उच्च $n$ के लिए उनके परिमाण में तीव्र वृद्धि दिखाती है (जैसे, $C_{50} \approx -8.9 \times 10^{46}$)।

5. महत्व (Significance)

यह कार्य सेकेंडरी ज़ेटा फंक्शन के विस्तार गुणांकों को गणना करने के लिए एक एकीकृत विधि प्रदान करके इसके विश्लेतिक सिद्धांत के अंतराल को भरता है।

• सैद्धांतिक महत्व: यह रीमान शून्यों के अनंतस्पर्शी वितरण और इसके ध्रुव के पास $Z(s)$ की विश्लेतिक संरचना के बीच एक कठोर संबंध स्थापित करता है, जो स्वयं रीमान ज़ेटा फलन के ज्ञात परिणामों का सामान्यीकरण करता है।
• गणना संबंधी उपयोगिता: त्रुटि-सुधार वाले सूत्र (Theorem 2) का व्युत्पत्ति उच्च-परिशुद्धता संख्यात्मक विश्लेषण के लिए महत्वपूर्ण है। यह शोधकर्ताओं को पहले की तुलना में बहुत कम शून्यों की आवश्यकता के साथ इन स्थिरांकों की गणना करने की अनुमति देता है, जिससे सेकेंडरी ज़ेटा फंक्शन के उच्च-परिशुद्धता अध्ययन अधिक व्यवहार्य हो जाते हैं।
• भावी अनुसंधान का आधार: प्रदान की गई संदर्भ तालिका और सत्यापित एल्गोरिदम $Z(s)$, अन्य L-फंक्शन्स के साथ इसके संबंध, या रैंडम मैट्रिक्स थ्योरी या स्पेक्ट्रल ज्योमेट्री में संभावित अनुप्रयोगों के भविष्य के अन्वेषणों के लिए एक बेंचमार्क के रूप में कार्य करते हैं।