🔢 mathematics

Complete Asymptotic Expansion of the Additive Mertens Sum $S_k(x)$

यह शोध पत्र योगात्मक मर्टेंस योग (additive Mertens sum) $S_k(x)$ के पूर्ण अनंतस्पर्शी विस्तार (asymptotic expansion) को स्थापित करता है, जो इसके अग्रणी क्रम व्यवहार $x^{k-1}/\log^k x$ को व्युत्पन्न करता है और बहु-लघुगणकीय समाकल (multiple logarithmic integrals) के संदर्भ में विस्तार गुणांकों के लिए स्पष्ट सूत्र प्रदान करता है, जिसमें सामान्य $k$ के लिए पहले कुछ पदों के लिए पूर्णतः स्पष्ट परिणाम और $k=2$ के मामले के लिए एक पूर्ण बंद-रूप अनुक्रम (closed-form sequence) शामिल है।

मूल लेखक: Daoyi Peng, Hao Liu

प्रकाशित 2026-07-13

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

CC BY 4.0

मूल लेखक: Daoyi Peng, Hao Liu

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

कल्पना कीजिए कि आपके पास अभाज्य संख्याओं (prime numbers) का एक विशाल थैला है—गणित के ये आधार स्तंभ जैसे 2, 3, 5, 7, इत्यादि। अब, कल्पना कीजिए कि आप इनमें से $k$ अभाज्य संख्याओं को यादृच्छिक रूप से (at random) चुनते हैं (जहाँ $k$ कम से कम 2 है) और उन्हें आपस में जोड़ देते हैं। यह शोध पत्र एक बहुत ही विशिष्ट प्रश्न पूछता है: यदि आप उस योग के व्युत्क्रम (reciprocal, यानी 1 भाग उस योग) को लेते हैं और $x$ की एक बहुत बड़ी संख्या तक इन अभाज्य संख्याओं के हर संभव संयोजन (combination) को जोड़ते हैं, तो कुल योग कैसा दिखेगा?

इसे एडिटिव मर्टेंस सम (additive Mertens sum) कहा जाता है, जिसे $S_k(x)$ द्वारा दर्शाया गया है।

बड़ी हैरानी: यह वैसा नहीं है जैसा आपने सोचा था

लंबे समय तक, गणितज्ञ इस समस्या के एक गुणात्मक (multiplicative) संस्करण के प्रति जुनूनी थे। उस संस्करण में, संख्याओं को जोड़ने के बजाय, आप उन्हें गुणा करते हैं (जैसे $p_1 \times p_2 \times \dots$ )। वह संस्करण बहुत धीरे बढ़ता है, जैसे एक ऐसी फुसफुसाहट जो केवल तभी तेज़ होती है जब आप बार-बार डबल-क्लिक करते हैं (गणितीय रूप से, यह $(\log \log x)^k$ की तरह बढ़ता है)।

लेकिन यह शोध पत्र पूरी कहानी बदल देता है। लेखकों, दाओयी पेंग (Daoyi Peng) और हाओ लियू (Hao Liu) ने खोजा कि जब आप अभाज्य संख्याओं को गुणा करने के बजाय उन्हें जोड़ते हैं, तो यह योग बहुत तेज़ी से विस्फोट करता है। यह फुसफुसाता नहीं है; यह चिल्लाता है। इस योग का मुख्य पद (leading term) $\frac{x^{k-1}}{(\log x)^k}$ की तरह बढ़ता है।

इसे समझने के लिए: यदि गुणात्मक संस्करण एक दीवार पर रेंगने वाले घोंघे की तरह है, तो एडिटिव संस्करण एक रॉकेट की तरह है जो उड़ान भर रहा है, लेकिन इसमें ईंधन की खपत की एक बहुत ही विशिष्ट और अनुमानित दर है।

मास्टर रेसिपी: एक पूर्ण एसिम्प्टोटिक एक्सपेंशन (Complete Asymptotic Expansion)

यह शोध पत्र केवल आपको रॉकेट की गति ही नहीं बताता; यह उसके पूरे उड़ान पथ की पूर्ण रेसिपी भी लिखता है। उन्होंने सिद्ध किया कि जैसे-जैसे $x$ अनंत की ओर बढ़ता है, आप $S_k(x)$ को एक सटीक सूत्र के साथ वर्णित कर सकते हैं:

$S_k(x) \approx \frac{x^{k-1}}{(\log x)^k} \times \left( \text{Constant}_0 + \frac{\text{Constant}_1}{\log x} + \frac{\text{Constant}_2}{(\log x)^2} + \dots \right)$

इसे एक उच्च श्रेणी के टेलीस्कोप (दूरबीन) की तरह समझें। पहला पद ( $\text{Constant}_0$ ) आपको तारों की एक धुंधली तस्वीर देता है। अगला पद ( $\text{Constant}_1$ ) फोकस को और स्पष्ट करता है। अगला पद ( $\text{Constant}_2$ ) छवि को एकदम क्रिस्टल क्लियर बना देता है। लेखकों ने सिद्ध किया कि बेहतर और बेहतर सन्निकटन (approximation) प्राप्त करने के लिए आप इन "फोकस नॉब्स" को अनंत काल तक जोड़ते जा सकते हैं।

गुप्त सामग्रियां: गुणांक (The Coefficients)

असली जादू यह पता लगाने में है कि वे "कॉन्स्टेंट्स" वास्तव में क्या हैं। लेखकों ने पाया कि ये संख्याएँ यादृच्छिक नहीं हैं; वे जटिल, बहु-आयामी समाकल (multi-dimensional integrals) के भीतर छिपी हुई हैं (कल्पना कीजिए कि आप एक ऐसे आकार के आयतन को माप रहे हैं जो $k$ आयामों में मौजूद है, जहाँ आकार लघुगणक/logarithms द्वारा परिभाषित है)।

वे पहले कुछ घटकों के कोड को क्रैक करने में सफल रहे:

पहला घटक ( $E_{k,0}$ ): उन्हें इसके लिए एक साफ, क्लोज्ड-फॉर्म (closed-form) सूत्र मिला। उदाहरण के लिए, यदि आपके पास 2 अभाज्य संख्याएँ हैं ( $k=2$ ), तो यह संख्या $2 \log 2$ है।
दूसरा घटक ( $E_{k,1}$ ): यह थोड़ा अधिक जटिल है, जिसमें $\pi^2$ जैसे प्रसिद्ध गणितीय स्थिरांक और पोलिलॉगैरिदम ( $\text{Li}_2$ ) जैसे विशेष फलन शामिल हैं।
तीसरा घटक ( $E_{k,2}$ ): यहाँ चीजें कठिन हो जाती हैं। लेखक इस घटक के "डायगोनल" (diagonal) भाग के लिए एक सटीक सूत्र लिख सकते हैं (जहाँ चर/variables अच्छी तरह व्यवहार करते हैं), लेकिन "क्रॉस" भाग (जहाँ चर उलझे हुए तरीके से मिलते हैं) $k \ge 5$ के लिए एक दुःस्वप्न बन जाता है।

महत्वपूर्ण रूप से, यह शोध पत्र बड़े $k$ (5 या अधिक) के लिए तीसरे घटक के लिए एक सरल, एकीकृत सूत्र को स्पष्ट रूप से खारिज करता है। हालांकि वे $k=2, 3, 4$ जैसे छोटे मामलों के लिए इसे निकाल सकते हैं, लेकिन गणित इतने उलझ जाता है कि वे स्वीकार करते हैं कि एक सरल "क्लोज्ड-फॉर्म" अभिव्यक्ति, जैसा कि हम उम्मीद करते हैं, संभवतः मौजूद नहीं है। वे केवल यह नहीं कहते कि "यह कठिन है"; वे दिखाते हैं कि संरचना मौलिक रूप से बदल जाती है, जिससे नए प्रकार की संख्याएँ उत्पन्न होती हैं जो पुराने नियमों के साथ तालमेल नहीं बिठा पातीं।

विशेष मामला: $k=2$

जब आप केवल दो अभाज्य संख्याएँ चुनते हैं ( $k=2$ ), तो लेखकों को एक "गोल्डन टिकट" मिलता है। उन्होंने खोजा कि पूरा अनुक्रम ( $E_{2,0}, E_{2,1}, E_{2,2}, \dots$ ) डिरिचलेट एटा फंक्शन (Dirichlet eta function) और रीमान ज़ेटा फंक्शन (Riemann zeta function) से जुड़े एक सुंदर पैटर्न का पालन करता है। यह ऐसा है जैसे आपको पता चल जाए कि एक विशिष्ट टेलीस्कोप के लिए अनंत श्रृंखला के सभी फोकस नॉब्स को एक एकल, सुंदर समीकरण द्वारा वर्णित किया जा सकता है।

वे कितने आश्वस्त हैं?

लेखक अपने मुख्य परिणाम को लेकर अत्यधिक आश्वस्त हैं। उन्होंने केवल अनुमान नहीं लगाया; उन्होंने प्राइम नंबर थ्योरम और मल्टीवेरिएट टेलर एक्सपेंशन जैसे कठोर उपकरणों का उपयोग करके इसे सिद्ध किया है।

प्रमाण: उन्होंने गणितीय रूप से प्रदर्शित किया कि उनका सूत्र $x$ के बहुत बड़े होने पर $\log x$ की किसी भी घात (power) की तुलना में तेज़ी से घटता है।
संख्याएँ: अपने सिद्धांत की पुष्टि के लिए, उन्होंने बड़े पैमाने पर कंप्यूटर सिमुलेशन चलाए।
- $k=2$ के लिए, उन्होंने $5,000,000$ तक के नंबरों का परीक्षण किया। उनके सूत्र के पहले पाँच पदों का उपयोग करने पर त्रुटि केवल 0.2% थी।
- $k=3$ के लिए, उन्होंने $10,000,000$ तक का परीक्षण किया। तीन-पदों वाला सूत्र लगभग 1.3% की त्रुटि के साथ सटीक था।
- उन्होंने यह भी गौर किया कि एक दिलचस्प बात है: यदि आप छोटे नंबरों के लिए सूत्र को बहुत जल्दी रोक देते हैं, तो यह खराब हो जाता है। यह एक "एसिम्प्टोटिक" (asymptotic) श्रृंखला की प्रकृति है—यह एक ऐसे मानचित्र की तरह है जो यात्रा के दौरान अधिक सटीक होता जाता है, लेकिन यदि आप अपने घर के पिछवाड़े में रास्ता खोजने के लिए मानचित्र के "बहुत दूर वाले" हिस्से का उपयोग करने की कोशिश करते हैं, तो आप भटक सकते हैं।

निष्कर्ष

यह शोध पत्र इस रहस्य को सुलझाता है कि जब अभाज्य संख्याओं के व्युत्क्रमों को जोड़ा जाता है, तो उनका योग कैसे व्यवहार करता है। यह एक अस्पष्ट अनुमान को एक सटीक, अनंत रेसिपी से बदल देता है। जबकि उन्होंने रेसिपी के पहले कुछ चरणों (और दो अभाज्य संख्याओं के सरल मामले के लिए पूरी रेसिपी) को हल कर लिया है, उन्होंने एक स्पष्ट रेखा भी खींची है: अधिक जटिल मामलों में, जहाँ कई अभाज्य संख्याएँ शामिल हैं, "क्रॉस-टर्म" घटक इतने उलझे हुए हैं कि उन्हें एक एकल, सरल सूत्र में नहीं लिखा जा सकता। गणित वहाँ है, यह सिद्ध है, और इसका परीक्षण भी किया गया है, लेकिन बड़े $k$ के लिए पहेली का अंतिम टुकड़ा अभी भी एक सुंदर, अनसुलझी गांठ बना हुआ है।

तकनीकी सारांश: योगात्मक मर्टेंस योग (Additive Mertens Sum) $S_k(x)$ का पूर्ण अनंत विस्तार (Complete Asymptotic Expansion)

समस्या विवरण
यह शोध पत्र एक पूर्णांक $k \ge 2$ और $x > 2$ के लिए योगात्मक मर्टेंस योग (additive Mertens sum) के अनंत व्यवहार (asymptotic behavior) को संबोधित करता है, जिसे इस प्रकार परिभाषित किया गया है:
$S_k(x) = \sum_{p_1 \le x} \cdots \sum_{p_k \le x} \frac{1}{p_1 + \cdots + p_k},$
जहाँ $p_i$ अभाज्य संख्याएँ (primes) हैं। जबकि इसके गुणात्मक समानांतर (multiplicative analogue - सामान्यीकृत मर्टेंस योग $\sum 1/(p_1 \cdots p_k)$ ) का अध्ययन अच्छी तरह से किया जा चुका है, जिसका मुख्य पद $(\log \log x)^k$ के क्रम का है, यह योगात्मक योग मौलिक रूप से भिन्न विकास दर प्रदर्शित करता है। AM-GM असमानता और अभाज्य संख्या प्रमेय (PNT) से प्राप्त प्रारंभिक अनुमान संकेत देते हैं कि इसका मुख्य पद $x^{k-1}/\log^k x$ के क्रम का है। इस कार्य का प्राथमिक उद्देश्य $S_k(x)$ का पूर्ण अनंत विस्तार (complete asymptotic expansion) स्थापित करना है, जिससे इस श्रेणी के सटीक गुणांकों (coefficients) को निर्धारित किया जा सके और प्रारंभिक पदों के लिए बंद रूप (closed-form) अभिव्यक्तियाँ प्रदान की जा सकें।

कार्यप्रणाली (Methodology)
लेखक विश्लेषण संख्या सिद्धांत (analytic number theory) और वास्तविक-चर विश्लेषण (real-variable analysis) तकनीकों के संयोजन का उपयोग करते हैं:

स्टिल्टजेस इंटीग्रल प्रतिनिधित्व (Stieltjes Integral Representation): योग को अभाज्य गणना फलन $\pi(u)$ को सम्मिलित करते हुए एक $k$ -गुना स्टिल्टजेस इंटीग्रल के रूप में पुनर्गठित किया गया है।
अभाज्य संख्या प्रमेय अपघटन (Prime Number Theorem Decomposition): अवकल (differential) $d\pi(u)$ को मुख्य पद $du/\log u$ और एक शेष पद $dR(u) $में विभाजित किया गया है, जहाँ$ R(u) = \pi(u) - \text{Li}(u) $है। इंटीग्रेशन बाय पार्ट्स और$ R(u)$ के बंधों (bounds) का उपयोग करके यह दिखाया गया है कि शेष पदों से उत्पन्न होने वाले त्रुटि पद नगण्य (negligible) हैं (जो $\log x$ की किसी भी घात से तेज़ क्षय होते हैं)।
चर पुनर्संरचना और टेलर विस्तार (Variable Rescaling and Taylor Expansion): मुख्य पद वाले इंटीग्रल को $u_j = x t_j$ के माध्यम से पुनर्संरचित किया गया है। डोमेन को एक "मुख्य क्षेत्र" (जहाँ $t_j$ शून्य से दूर सीमित हैं) और एक "सीमा क्षेत्र" (boundary region) में विभाजित किया गया है। मुख्य क्षेत्र में, कर्नेल $\prod (L + \log t_j)^{-1}$ (जहाँ $L = \log x$ ) को पूर्ण समरूप बहुपदीय (complete homogeneous symmetric polynomials) $h_n$ का उपयोग करते हुए एक बहुचर टेलर श्रेणी के माध्यम से विस्तारित किया गया है।
लाप्लास रूपांतरण तकनीकें (Laplace Transform Techniques): परिणामी गुणांक इंटीग्रल, जो इकाई घन $(0,1]^k$ पर परिभाषित हैं, उन्हें पहचान $1/(\sum t_j) = \int_0^\infty e^{-x \sum t_j} dx$ का उपयोग करके एकल-चर इंटीग्रल में परिवर्तित किया जाता है। यह समस्या को विशिष्ट उच्च-क्रम के अवकल समीकरणों को संतुष्ट करने वाले जनरेटिंग फंक्शनों के विश्लेषण में बदल देता है।
परिमित अंतर निष्कर्षण (Finite Difference Extraction): विस्तार के गुणांकों को जनरेटिंग फंक्शनों पर लागू किए गए फॉरवर्ड डिफरेंस ऑपरेटर $\Delta^{k-1}$ का उपयोग करके निकाला जाता है, जो इस गुण का लाभ उठाते हैं कि $k-1$ से कम घात वाली बहुपदों के अंतर शून्य होते हैं।

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

पूर्ण अनंत विस्तार (प्रमेय 1): यह शोध पत्र सिद्ध करता है कि किसी भी निश्चित $N \ge 0$ के लिए:
$S_k(x) = \frac{x^{k-1}}{\log^k x} \sum_{n=0}^N \frac{E_{k,n}}{\log^n x} + O\left(\frac{x^{k-1}}{\log^{k+N+1} x}\right).$
गुणांक $E_{k,n}$ पूर्णतः अभिसारी बहु-लघुगणकीय इंटीग्रल द्वारा दिए गए हैं:
$E_{k,n} = (-1)^n \int_{(0,1]^k} \frac{h_n(\log t_1, \dots, \log t_k)}{t_1 + \cdots + t_k} dt.$
प्रारंभिक गुणांकों के बंद रूप (प्रमेय 2):
- मुख्य पद ( $E_{k,0}$ ): द्विपद गुणांकों और घातों द्वारा भारित लघुगणकों के एक परिमित योग को शामिल करते हुए एक बंद रूप व्युत्पन्न किया गया है।
- द्वितीय क्रम ( $E_{k,1}$ ): गुणांक को $\pi^2$ , $\log m$ , और डिलोगारिदम $\text{Li}_2(-1/m)$ के आधार पर व्यक्त किया गया है।
- तृतीय क्रम ( $E_{k,2}$ ): गुणांक को एक "विकर्ण" भाग ( $k A_k$ ) और एक "क्रॉस" भाग ( $\binom{k}{2} B_k$ ) में विभाजित किया गया है। विक्र्ण भाग सभी $k$ के लिए $\zeta(3)$ , $\pi^2$ , $\text{Li}_3(-1/m)$ और लघुगणकीय योगों को शामिल करते हुए एक बंद रूप प्रदान करता है। क्रॉस भाग $k \le 4$ के लिए पूरी तरह से स्पष्ट है, लेकिन $k \ge 5$ के लिए संरचनात्मक रूप से जटिल हो जाता है, जिसमें $\ge 5$ वाले पोलिलॉगारिदम शामिल हैं जो मानक आधार में कम नहीं होते हैं।
$k=2$ और $k=3$ के लिए स्पष्ट विस्तार:
- $k=2$ के लिए, शोध पत्र संपूर्ण अनुक्रम $\{E_{2,n}\}_{n \ge 0}$ के लिए एक बंद सूत्र प्रदान करता है। गुणांक $\log 2$ और रीमान ज़ेटा मानों $\zeta(j)$ के स्पष्ट $\mathbb{Q}$ -रैखिक संयोजन हैं, जिन्हें डिरिचलेट एटा फलन का उपयोग करके व्युत्पन्न किया गया है।
- $k=3$ के लिए, विस्तार के पहले तीन पदों को $E_{3,0}, E_{3,1}, E_{3,2}$ के परिणामों को मिलाकर पूरी तरह से स्पष्ट किया गया है।
संख्यात्मक सत्यापन (Numerical Verification): लेखक $x = 10^7$ तक $S_2(x)$ और $S_3(x)$ के लिए संख्यात्मक गणना करते हैं। परिणाम पुष्टि करते हैं कि सापेक्ष त्रुटि (relative error) $x \to \infty$ होने पर घटती है और क्रमिक पदों को जोड़ने से सटीकता में सुधार होता है, जो श्रेणी की अनंत प्रकृति (asymptotic nature) के अनुरूप है। डेटा यह भी दर्शाता है कि निश्चित $x$ के लिए इष्टतम ट्रंकेशन (optimal truncation) की घटना होती है।

महत्व और दावे
यह शोध पत्र दावा करता है कि यह साहित्य में मर्टेंस योग के प्रथम अध्ययन को प्रस्तुत करता है। इसकी प्राथमिक महत्ता निम्नलिखित में निहित है:

सही कोटि (order of magnitude) ( $x^{k-1}/\log^k x$ ) और योग की पूर्ण अनंत संरचना को स्थापित करना, जो गुणात्मक मामले के विपरीत है।
अनंत विस्तार के गुणांकों की गणना को विशिष्ट बहु-इंटीग्रल के मूल्यांकन तक कम करना और अग्रणी तथा उप-अग्रणी पदों के लिए स्पष्ट बंद रूप प्रदान करना।
$k \ge 5$ के लिए गुणांकों में एक संरचनात्मक विचलन (structural divergence) की पहचान करना, जहाँ "क्रॉस" पद ऐसे पोलिलॉगारिदमिक मानों को पेश करते हैं जो संभवतः एक एकीकृत बंद रूप में कम होने का विरोध करते हैं, जो ऐसे योगों के लिए वर्तमान विश्लेषणात्मक क्षमताओं की सीमा को रेखांकित करता है।

यह कार्य पूर्णतः PNT के वास्तविक-चर रूप पर निर्भर करता है और मुख्य अनंत परिणामों के लिए गहरे अनुमानों (जैसे रीमान परिकल्पना) का आह्वान नहीं करता है, हालांकि त्रुटि पद शास्त्रीय PNT त्रुटि सीमा पर निर्भर करते हैं। शोध पत्र निष्कर्ष निकालता है कि जबकि उच्च-क्रम के गुणांकों के विक्र्ण भाग जनरेटिंग फंक्शनों के माध्यम से सुलभ रहते हैं, क्रॉस भाग एक सामान्य $k$ के लिए एकीकृत बंद रूप के प्रति एक मौलिक बाधा प्रस्तुत करते हैं।