🔢 mathematics

A discrete mean-value theorem for the higher derivatives of the Riemann zeta function

यह शोध पत्र यह स्थापित करता है कि रीमैन ज़ेटा फलन के गैर-तुच्छ शून्य (non-trivial zeros) पर इसके $n$ वें अवकलज (derivative) का योग वास्तविक है और माध्य में एक विशिष्ट चिह्न पैटर्न (विषम $n$ के लिए धनात्मक, सम $n$ के लिए ऋणात्मक) प्रदर्शित करता है, जो इन योगों के पूर्ण अनंत प्रसार (asymptotic expansion) को व्युत्पन्न करके प्राप्त किया गया है।

मूल लेखक: Christopher Hughes, Andrew Pearce-Crump

प्रकाशित 2026-05-25

📖 6 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Christopher Hughes, Andrew Pearce-Crump

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

यहाँ "A Discrete Mean-Value Theorem for the Higher Derivatives of the Riemann Zeta Function" नामक शोध पत्र का सरल भाषा और रोज़मर्रा के उदाहरणों के साथ हिंदी अनुवाद दिया गया है।

बड़ी तस्वीर: संख्याओं की "धड़कन" को सुनना

कल्पना कीजिए कि रीमान ज़ेटा फलन ( $\zeta(s)$ ) एक विशाल, जटिल मशीन है जो अभाज्य संख्याओं (जैसे 2, 3, 5, 7, 11...) के वितरण को नियंत्रित करती है। इस मशीन में "छिपे हुए गियर्स" (gears) का एक विशेष सेट है जिन्हें गैर-तुच्छ शून्य (non-trivial zeros) कहा जाता है। ये वे विशिष्ट बिंदु हैं जहाँ मशीन का आउटपुट बिल्कुल शून्य हो जाता है।

लंबे समय से, गणितज्ञ इस बात से मंत्रमुग्ध रहे हैं कि जब आप इन छिपे हुए गियर्स पर इस मशीन की "गति" (speed) या "त्वरण" (acceleration) को देखते हैं, तो क्या होता है। गणितीय शब्दों में, इसका अर्थ है इन शून्य बिंदुओं पर फलन का डेरिवेटिव (derivative) (परिवर्तन की दर) लेना।

शैंक्स का अनुमान (Shanks' Conjecture) 1970 के दशक का एक पुराना विचार था, जो यह सुझाव देता था कि यदि आप इन सभी शून्यों पर पहले डेरिवेटिव (गति) को देखें और उन्हें जोड़ दें, तो परिणाम एक वास्तविक, धनात्मक संख्या होती है। यह ऐसा है जैसे यह कहना कि यदि आप हर शून्य पर मशीन की "धड़कन" को सुनें, तो औसत धड़कन हमेशा सकारात्मक होती है।

यह शोध पत्र क्या करता है: "उच्च-क्रम" (Higher-Order) अपग्रेड

क्रिस्टोफर ह्यूजेस और एंड्रयू पियर्स-क्रम्प ने इस विचार को लिया और इसे अगले स्तर पर पहुँचाया। केवल गति (1st derivative) को देखने के बजाय, उन्होंने त्वरण (2nd derivative), जर्क (3rd derivative - झटके की दर), और इसी तरह $n$ -वें डेरिवेटिव तक देखा।

इसे इस तरह समझें:

पुराना दृष्टिकोण: आपने केवल विशिष्ट चेकपॉइंट्स पर कार के स्पीडोमीटर को देखा।
यह शोध पत्र: उन्होंने उन्हीं चेकपॉइंट्स पर स्पीडोमीटर, त्वरण (acceleration), जर्क (jerk) और अन्य सभी मोशन सेंसरों की जांच की, और फिर उन सभी रीडिंग को जोड़ दिया।

मुख्य खोज: संकेतों का एक पैटर्न

लेखकों ने इन योगों के "औसत" परिणाम में एक सुंदर, पूर्वानुमेय पैटर्न की खोज की:

यदि आप एक विषम (odd) डेरिवेटिव (1ला, 3रा, 5वाँ...) देखते हैं, तो औसत योग धनात्मक (positive) होता है।
यदि आप एक सम (even) डेरिवेटिव (2रा, 4था, 6ठा...) देखते हैं, तो औसत योग ऋणात्मक (negative) होता है।

यह एक पेंडुलम के झूलने जैसा है। यदि आप विषम अंतराल पर झूलन को मापते हैं, तो यह हमेशा दाईं ओर होता है; सम अंतराल पर, यह हमेशा बाईं ओर होता है। यह शोध पत्र सिद्ध करता है कि यह केवल एक तुक्का नहीं है; यह ज़ेटा फलन के व्यवहार का एक मौलिक नियम है।

उन्होंने यह कैसे किया: "रेसिड्यू" (Residue) जासूसी कार्य

इसे सिद्ध करने के लिए, लेखकों ने केवल अनुमान नहीं लगाया; उन्होंने कॉम्प्लेक्स एनालिसिस (जटिल संख्याओं से संबंधित गणित की एक शाखा) से जुड़े एक परिष्कृत गणितीय टूलकिट का उपयोग किया।

कंटूर मैप (Contour Map): कल्पना कीजिए कि आप शून्यों के एक क्षेत्र के चारों ओर एक विशाल आयताकार बाड़ (fence) बना रहे हैं।
इंटीग्रल (Integral): उन्होंने इस बाड़ के किनारों के साथ एक "प्रवाह" (integral) की गणना की। गणित में, एक प्रसिद्ध नियम (कॉची का प्रमेय) कहता है कि यदि आप बाड़ के चारों ओर के प्रवाह को जानते हैं, तो आप जानते हैं कि बाड़ के अंदर वास्तव में क्या हो रहा है (डेरिवेटिव्स का योग)।
"बायां" पक्ष: उन्होंने पाया कि बाड़ के तीन तरफ का प्रवाह नगण्य था (जैसे हल्की हवा)। डेटा का असली "तूफान" बाड़ के बाएं हिस्से से आ रहा था।
विस्तार (Expansion): उन्होंने बाएं हिस्से के जटिल सूत्रों को पदों (terms) की एक लंबी सूची में तोड़ दिया (एक एसिम्प्टोटिक एक्सपेंशन)। यह एक जटिल रेसिपी को लेकर उसके हर एक घटक और उसकी सटीक मात्रा को सूचीबद्ध करने जैसा है, बजाय इसके कि केवल यह कहा जाए कि "थोड़ा आटा डालें।"

परिणाम: एक सटीक रेसिपी

यह शोध पत्र इन योगों की गणना करने के लिए एक पूर्ण रेसिपी (एक एसिम्प्टोटिक फॉर्मूला) प्रदान करता है।

मुख्य सामग्री: उत्तर का सबसे बड़ा हिस्सा इस बात पर निर्भर करता है कि आप संख्या रेखा पर कितनी ऊपर तक जाते हैं (जिसे $T$ द्वारा दर्शाया गया है) और इसमें लॉगरिदम (वृद्धि मापने का एक तरीका) शामिल है।
मसाला (Seasoning): उन्होंने छोटे, "लोअर-ऑर्डर" पदों (जिनका उल्लेख पाठ में $C_j$ और $A_j$ स्थिरांकों के रूप में किया गया है) की भी गणना की। ये नमक की चुटकी या काली मिर्च के छिड़काव की तरह हैं जो भविष्यवाणी को केवल एक मोटा अनुमान बनाने के बजाय सटीक बनाते हैं।
त्रुटि मार्जिन (Error Margin): उन्होंने यह भी गणना की कि उनकी भविष्यवाणी कितनी गलत हो सकती है (error term)। उन्होंने दिखाया कि प्रसिद्ध "रीमान हाइपोथीसिस" (एक बड़ी अनसुलझी गणितीय समस्या) को माने बिना भी, उनकी भविष्यवाणी अविश्वसनीय रूप से करीब है। यदि आप मान लें कि रीमान हाइपोथीसिस सत्य है, तो भविष्यवाणी और भी सटीक हो जाती है।

यह क्यों महत्वपूर्ण है (शोध पत्र के अनुसार)

यह शोध पत्र यह दावा नहीं करता कि यह रीमान हाइपोथीसिस को हल करता है या इसे भौतिकी या इंजीनियरिंग में लागू करता है। इसके बजाय, इसका मूल्य शुद्ध रूप से गणितीय है:

सामान्यीकरण (Generalization): यह एक ज्ञात तथ्य (शैंक्स का अनुमान - 1st डेरिवेटिव के बारे में) को लेता है और सिद्ध करता है कि यह सभी डेरिवेटिव के लिए काम करता है।
सटीकता (Precision): पिछले अध्ययनों ने केवल "मुख्य पद" (उत्तर का सबसे बड़ा हिस्सा) की गणना की थी। यह शोध पत्र संपूर्ण विस्तार की गणना करता है, जिसमें छोटे और जटिल विवरण भी शामिल हैं।
सत्यापन (Verification): उन्होंने अपने सूत्र का दूसरे डेरिवेटिव ( $n=2$ ) के लिए पहले 100,000 शून्यों के वास्तविक कंप्यूटर डेटा के विरुद्ध परीक्षण किया। गणित डेटा के साथ लगभग पूरी तरह मेल खा गया, जिसमें त्रुटि लाखों के कुल मान पर बहुत मामूली (2,400 से कम) थी।

सारांश उपमा

कल्पना कीजिए कि आप एक जटिल गीत गा रहे एक गायक दल (choir) के कुल शोर के स्तर की भविष्यवाणी करने की कोशिश कर रहे हैं।

शैंक्स ने पता लगाया कि यदि आप विशिष्ट सुरों पर गायकों के वॉल्यूम को सुनते हैं, तो औसत धनात्मक होता है।
ह्यूजेस और पियर्स-क्रम्प ने पता लगाया कि यदि आप वॉल्यूम में परिवर्तन, उस परिवर्तन में परिवर्तन, इत्यादि को सुनते हैं, तो एक सख्त नियम है: विषम परिवर्तन धनात्मक होते हैं, सम परिवर्तन ऋणात्मक होते हैं।
उन्होंने केवल वॉल्यूम का अनुमान नहीं लगाया; उन्होंने एक सटीक गणितीय सूत्र लिखा है जो आपको बताता है कि वॉल्यूम वास्तव में क्या होना चाहिए, जिसमें सभी सूक्ष्म बारीकियां शामिल हैं, और उन्होंने वास्तविक गायक दल की रिकॉर्डिंग के साथ इसकी तुलना करके इसे सिद्ध किया।

तकनीकी सारांश: रीमान ज़ेटा फलन के उच्च व्युत्पन्न (Higher Derivatives) के लिए एक विविक्त माध्य-मान प्रमेय (Discrete Mean-Value Theorem)

समस्या विवरण
यह शोध पत्र रीमान ज़ेटा फलन, $\zeta^{(n)}(s)$ के गैर-तुच्छ शून्य $\rho = \beta + i\gamma$ पर इसके $n$ -वें व्युत्पन्न के विविक्त माध्य मान (discrete mean value) के स्पर्शोन्मुख व्यवहार (asymptotic behavior) को निर्धारित करने की समस्या का समाधान करता है। विशेष रूप से, लेखक इस योग का मूल्यांकन करना चाहते हैं:
$\sum_{0 < \gamma \leq T} \zeta^{(n)}(\rho)$
जबकि $n=1$ का मामला (शैंक्स का अनुमान/Shanks' Conjecture) पहले ही कॉनरे, घोष, गोनेक और फुजी द्वारा स्थापित किया जा चुका था, उच्च व्युत्पन्न ( $n \geq 2$ ) के लिए व्यवहार अभी भी कम खोजा गया क्षेत्र रहा है। लेखक इन परिणामों को सभी $n$ के लिए सामान्यीकृत करने का लक्ष्य रखते हैं, जो निम्न-क्रम के पदों (lower-order terms) और सटीक त्रुटि सीमाओं (error bounds) सहित स्पष्ट स्पर्शोन्मुख सूत्र प्रदान करते हैं, जो अनजाने में (unconditionally) और रीमान परिकल्पना (RH) की धारणा के तहत दोनों ही स्थितियों में मान्य हैं।

कार्यप्रणाली (Methodology)
प्रमाण कौशी के अवशेष प्रमेय (Cauchy's Residue Theorem) का उपयोग करते हुए एक कंटूर समाकलन (contour integration) दृष्टिकोण का अनुसरण करता है। कार्यप्रणाली निम्नलिखित चरणों के माध्यम से आगे बढ़ती है:

कंटूर इंटीग्रल सेटअप: लेखक एक आयताकार कंटूर $R$ को शीर्षों $c+i, c+iT, 1-c+iT, 1-c+i $(जहाँ$ c = 1 + 1/\log T $) के साथ परिभाषित करते हैं। कौशी के प्रमेय द्वारा, इस कंटूर के अनुदिश$ \frac{\zeta'(s)}{\zeta(s)}\zeta^{(n)}(s)$ का समाकलन गैर-तुच्छ शून्यों पर अवशेषों (residues) के योग के बराबर है, जो कि लक्षित योग $\sum \zeta^{(n)}(\rho)$ है।
कंटूर अपघटन (Contour Decomposition): समाकलन को चार खंडों में विभाजित किया गया है: निचला ( $S_B$ ), ऊपरी ( $S_T$ ), दायां ( $S_R$ ), और बायां ( $S_L$ )। $\zeta(s)$ और उसके व्युत्पन्न के उत्तलता बंधों (convexity bounds) तथा $\frac{\zeta'}{\zeta}(s)$ के बंधों का उपयोग करके यह दिखाया गया है कि $S_B, S_T,$ और $S_R$ का योगदान नगण्य है (त्रुटि पद के भीतर समाहित है)।
बाएं हाथ के पक्ष का मूल्यांकन: मुख्य योगदान कंटूर के बाएं हाथ के पक्ष ( $S_L$ ) से आता है। ज़ेटा फलन और उसके व्युत्पन्न के फलन समीकरण (विशेष रूप से लेम्मा 4 और लेम्मा 3) का उपयोग करके, समाकल को डिरिचलेट श्रेणी (Dirichlet series) वाले एक व्यंजक में रूपांतरित किया जाता है।
अंकगणितीय योगों में न्यूनीकरण (Reduction to Arithmetic Sums): गोनेक के लेम्मा 5 के अनुप्रयोग के माध्यम से, समाकल को वॉन मंगोल्टट फलन $\Lambda(r)$ वाले एक विविक्त अंकगणितीय योग में न्यूनीकृत किया जाता है:
$(-1)^{n+1} \sum_{mr \leq T/2\pi} \Lambda(r) \log^n r$
पेरॉन का सूत्र (Perron's Formula) और अवशेष गणना: इस अंकगणितीय योग का मूल्यांकन एक ट्रंकेटेड पेरॉन के सूत्र का उपयोग करके किया जाता है, जो इसे वापस एक जटिल समाकल में परिवर्तित करता है। समाकल को $s=1$ पर पोल (pole) के अवशेष को प्राप्त करने के लिए कंटूर को बाईं ओर खिसकाकर मूल्यांकित किया जाता है।
लॉरेंट विस्तार (Laurent Expansion): $s=1$ के आसपास $\left(\frac{\zeta'(s)}{\zeta(s)}\right)^{(n)} \zeta(s) \frac{Y^s}{s}$ (जहाँ $Y = T/2\pi$ ) के लॉरेंट विस्तार का उपयोग करके $s=1$ पर अवशेष की गणना की जाती है। इसमें $\zeta(s)$ के विस्तार से गुणांक $C_j$ और $\frac{\zeta'(s)}{\zeta(s)}$ के विस्तार से $A_j$ शामिल हैं।
त्रुटि पद विश्लेषण (Error Term Analysis): त्रुटि पदों का दो व्यवस्थाओं में विश्लेषण किया गया है:
- अनजाने में (Unconditionally): कंटूर शिफ्ट के लिए एक विशिष्ट ऊंचाई $V$ चुनकर, त्रुटि को $O(T e^{-C\sqrt{\log T}})$ द्वारा सीमित किया गया है।
- सशर्त रूप से (RH के तहत): रीमान परिकल्पना (RH) मानते हुए, त्रुटि को $O(T^{1/2} \log^{n+5/2} T)$ तक सुधारा गया है। $n=1$ के लिए एक विशिष्ट सुधार भी निकाला गया है, जो $O(T^{1/2} \log^{13/4} T)$ देता है।

प्रमुख योगदान और परिणाम
प्राथमिक योगदान प्रमेय 3 (Theorem 3) है, जो शून्यों पर $n$ -वें व्युत्पन्न के योग के लिए एक पूर्ण स्पर्शोन्मुख विस्तार प्रदान करता है:

$\sum_{0<\gamma \leq T} \zeta^{(n)}(\rho) = (-1)^{n+1} \frac{1}{n+1} \frac{T}{2\pi} \log^{n+1}\left(\frac{T}{2\pi}\right) + \text{निम्न-क्रम पद} + E_n(T)$

परिणाम की मुख्य विशेषताएं शामिल हैं:

सामान्यीकरण: यह शैंक्स के अनुमान ( $n=1$ मामला) को सभी $n \geq 1$ के लिए विस्तारित करता है।
स्पष्ट निम्न-क्रम पद: पिछले कार्यों (जैसे कप्टन, करबुलुत और यिल्दिरिम) के विपरीत, जो केवल मुख्य पद की गणना करते थे, यह शोध पत्र $\log(T/2\pi)$ की घातों और स्थिरांकों $C_j$ एवं $A_j$ वाले सभी निम्न-क्रम पदों के लिए स्पष्ट गुणांक प्रदान करता है।
माध्य का चिह्न (Sign of the Mean): परिणाम यह संकेत देते हैं कि यदि $n$ विषम है तो $\zeta^{(n)}(\rho)$ माध्य में वास्तविक और धनात्मक है, और यदि $n$ सम है तो यह वास्तविक और ऋणात्मक है।
संख्यात्मक सत्यापन: लेखक $n=2$ के मामले के लिए संख्यात्मक साक्ष्य प्रदान करते हैं, जो यह दर्शाता है कि स्पर्शोन्मुख सूत्र पहले 100,000 शून्यों के वास्तविक योग के साथ उच्च सटीकता के साथ मेल खाता है (त्रुटि कभी भी $\approx 10^6$ के योग परिमाण के लिए 2,400 से अधिक नहीं होती है)।

महत्व
यह शोध पत्र दावा करता है कि यह शून्यों पर ज़ेटा फलन के उच्च व्युत्पन्न के माध्य मान के लिए पहला पूर्ण स्पर्शोन्मुख विस्तार प्रदान करता है। $n=1$ के ज्ञात परिणामों (फुजी के प्रमेय) को पुनः प्राप्त करके और $n=2$ तथा उससे आगे के लिए स्पष्ट निम्न-क्रम पदों के साथ विस्तारित करके, यह कार्य इन व्युत्पन्न के वितरण की अधिक सूक्ष्म समझ प्रदान करता है। लेखक नोट करते हैं कि उनकी विधि किसी भी विशिष्ट $n$ -वें क्रम के व्युत्पन्न की गणना करने की अनुमति देती है, हालांकि उच्च क्रम हाथ से गणना करने के लिए कठिन हो जाते हैं। यह कार्य शैंक्स के अनुमान का एक कठोर सामान्यीकरण के रूप में कार्य करता है, जो व्युत्पन्न के क्रम की समता (parity) के आधार पर माध्य मानों के वैकल्पिक चिह्न पैटर्न की पुष्टि करता है।