🔢 mathematics

On additive convolution sum of arithmetic functions and related questions

यह शोध पत्र विभाजक फलन (divisor function) के आंशिक योगों के लिए त्रुटि पदों (error terms) के साथ अनंतस्पर्शी सूत्रों (asymptotic formulas) को व्युत्पन्न करके और इन निष्कर्षों को पूर्णतः अभिसारी रामानुजन विस्तार (absolutely convergent Ramanujan expansions) रखने वाले अंकगणितीय फलनों तक सामान्यीकृत करके इंगम (Ingham) के योगात्मक संवलन योगों (additive convolution sums) पर उनके शास्त्रीय परिणामों का विस्तार करता है।

मूल लेखक: Bikram Misra, Biswajyoti Saha, Anubhav Sharma

प्रकाशित 2026-06-08

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

CC BY 4.0

मूल लेखक: Bikram Misra, Biswajyoti Saha, Anubhav Sharma

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

कल्पना कीजिए कि आप एक जासूस हैं जो एक रहस्य सुलझाने की कोशिश कर रहे हैं जिसमें दो संख्याएँ एक विशिष्ट लक्ष्य, मान लीजिए $N$ , के योग के बराबर हैं।

गणित की दुनिया में, एक प्रसिद्ध पहेली है जिसे गोल्डबैक कंजेक्चर (Goldbach Conjecture) कहा जाता है। यह पूछता है: "क्या प्रत्येक सम संख्या को दो अभाज्य संख्याओं (prime numbers) के योग के रूप में लिखा जा सकता है?" (उदाहरण के लिए, $14 = 3 + 11$ या $14 = 7 + 7$ )।

इसकी जांच करने के लिए, गणितज्ञ एक उपकरण का उपयोग करते हैं जिसे कन्वोल्यूशन सम (convolution sum) कहा जाता है। इसे एक विशाल टैली काउंटर की तरह समझें। आप 1 से लेकर $N$ तक प्रत्येक संख्या $n$ के माध्यम से गुजरते हैं, और आप जाँचते हैं: "क्या $n$ के पास कोई विशेष गुण है? क्या $N-n$ के पास भी वह गुण है?" यदि दोनों के पास वह गुण है, तो आप अपने स्कोर में एक अंक जोड़ देते हैं।

पुराना जासूसी काम (इंगम की खोज)

दशकों पहले, एक गणितज्ञ इंगम ने इस खेल के एक विशिष्ट संस्करण का अध्ययन किया। उन्होंने भाजक फलन (divisor function) का अध्ययन किया, जिसे $d(n)$ द्वारा दर्शाया जाता है।

$d(n)$ क्या है? यह केवल उन संख्याओं की गिनती है जो $n$ को पूरी तरह से विभाजित करती हैं। उदाहरण के लिए, $d(6) = 4$ क्योंकि 1, 2, 3, और 6 विभाजित करते हैं।
खेल: इंगम ने उन जोड़ों $(n, N-n)$ की गिनती की जहाँ दोनों संख्याओं के भाजक होते हैं। उन्होंने एक सुंदर सूत्र पाया जो $N$ के बहुत बड़े होने पर पूरे रेंज के कुल स्कोर की भविष्यवाणी करता है।

हालाँकि, इंगम ने केवल पूरी तस्वीर देखी थी। उन्होंने यह नहीं पूछा: "क्या होगा यदि हम केवल उन जोड़ों को गिनें जहाँ पहली संख्या छोटी है? क्या होगा यदि हम बीच में ही गिनती रोक दें?"

नई खोज (पेपर का योगदान)

इस पेपर के लेखकों, मिश्रा, साहा और शर्मा ने ज़ूम इन करने का निर्णय लिया। वे जानना चाहते थे कि क्या होता है यदि हम केवल उन जोड़ों को गिनते हैं जहाँ पहला नंबर $n$ , एक छोटे नंबर $M$ से कम है (जहाँ $M$ , $N$ से छोटा है)।

इसे इस प्रकार समझें:

पूर्ण योग (Full Sum): एक स्विमिंग पूल को पानी से भरने के सभी तरीकों को गिनना।
उप-योग (Sub-Sum): केवल पूल के पहले कुछ फीट के पानी को गिनना।

लेखकों ने पाया कि यदि आप अपने कटऑफ पॉइंट $M$ को सावधानीपूर्वक चुनते हैं, तो आप इस "आंशिक पूल" के स्कोर की भविष्यवाणी एक बहुत ही सटीक सूत्र के साथ कर सकते हैं।

$M$ के लिए "गोल्डिलॉक्स" ज़ोन (Goldilocks Zone)

पेपर बताता है कि $M$ का आकार बहुत मायने रखता है। यह सिर्फ " $N$ से छोटा कोई भी नंबर" नहीं है।

बहुत छोटा: यदि $M$ बहुत छोटा है (जैसे $N$ की तुलना में धूल का एक कण), तो गणित जटिल हो जाता है और उनके वर्तमान उपकरण एक स्पष्ट उत्तर नहीं दे पाते।
बिल्कुल सही: यदि $M$ , $N$ का एक महत्वपूर्ण हिस्सा है (लेकिन पूरा नहीं), तो उन्हें एक सुंदर पैटर्न मिला। आंशिक योग का स्कोर लगभग इस बात के समानुपाती होता है कि आपने कितना हिस्सा भरा है, लेकिन एक ट्विस्ट के साथ: सूत्र का "लॉगैरिद्मिक" (logarithmic) हिस्सा इस आधार पर बदल जाता है कि आपने वास्तव में कहाँ रुकना तय किया।

उन्होंने सिद्ध किया कि यदि आप $M$ पर रुकते हैं, तो सूत्र ऐसा दिखता है:
$\text{Score} \approx \text{Constant} \times M \times \text{Logarithm}(\text{M और N से संबंधित कुछ})$

यह एक बड़ी बात है क्योंकि यह इंगम के पुराने काम का विस्तार करता है। यह हमें बताता है कि इन भाजक जोड़ों का "घनत्व" (density) एकसमान नहीं है; यह इस आधार पर थोड़ा बदल जाता है कि आप संख्या रेखा में कितनी दूर तक जाते हैं।

"रामानुजन" कनेक्शन

यह पेपर केवल भाजकों को गिनने तक ही सीमित नहीं है। उन्होंने अधिक जटिल अंकगणितीय फलनों (arithmetic functions - गणितीय नियम जो प्रत्येक पूर्णांक को एक संख्या सौंपते हैं) को भी देखा।

उन्होंने महान गणितज्ञ श्रीनिवास रामानुजन द्वारा आविष्कार किए गए एक विशेष उपकरण, रामानुजन एक्सपेंशन (Ramanujan Expansions) का उपयोग किया।

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

यह क्यों मायने रखता है?

यह पेपर इस गणित को दो प्रसिद्ध समस्याओं से जोड़ता है:

ट्विन प्राइम्स (Twin Primes): अभाज्य संख्याओं के जोड़े जो एक-दूसरे के करीब होते हैं (जैसे 3 और 5, या 11 और 13)।
गोल्डबैक कंजेक्चर (Goldbach's Conjecture): दो अभाज्य संख्याओं का योग।

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

सरल अंग्रेजी में सारांश

यह पेपर एक मानचित्र को अपग्रेड करने जैसा है।

पहले: हमारे पास बिंदु A से बिंदु B तक के पूरे भूभाग का एक मानचित्र था।
अब: लेखकों ने एक नया मानचित्र बनाया है जो हमें बताता है कि यदि हम बिंदु C (जहाँ C, A और B के बीच कहीं है) पर रुक जाते हैं, तो भूभाग कैसा दिखता है।
शर्त: यह मानचित्र केवल तभी पूरी तरह से सटीक होता है जब बिंदु C, A के बहुत करीब न हो। यदि यह बहुत करीब है, तो वर्तमान उपकरणों के लिए वहां का भूभाग बहुत ऊबड़-खाबड़ है।
परिणाम: उन्होंने इस "आंशिक यात्रा" के लिए एक नया, सटीक सूत्र प्रदान किया है, जिसमें समस्या को हल करने के लिए संख्या सिद्धांत (number theory) के इतिहास (इंगम और रामानुजन) से जुड़े चतुर तरीकों का उपयोग किया गया है।

उन्होंने गोल्डबैक कंजेक्चर को स्वयं हल नहीं किया, बल्कि उन्होंने जासूसों को सुरागों को देखने के लिए एक बेहतर आवर्धक लेंस (magnifying glass) थमा दिया है।

तकनीकी सारांश: अंकगणितीय फलनों के योगात्मक संवलन योगों पर और संबंधित प्रश्न

समस्या विवरण
यह शोध पत्र अंकगणितीय फलनों के योगात्मक संवलन योगों (additive convolution sums) के अनंतस्पर्शी व्यवहार (asymptotic behavior) को संबोधित करता है, विशेष रूप से उप-योग $\sum_{n < M} f(n)g(N-n)$ पर ध्यान केंद्रित करता है जहाँ $M \le N$ है। जबकि विस्थापित संवलन योग (shifted convolution sum) $\sum_{n \le N} d(n)d(n+h)$ का इंगम (Ingham) के मौलिक कार्य के बाद से व्यापक रूप से अध्ययन किया गया है, योगात्मक संवलन योग $\sum_{n < N} d(n)d(N-n)$ और इसके उप-योगों पर कम ध्यान दिया गया है। लेखकों का लक्ष्य स्पष्ट त्रुटि पदों (error terms) के साथ इन उप-योगों के लिए अनंतस्पर्शी सूत्रों को प्राप्त करने के लिए इंगम के शास्त्रीय परिणामों को विस्तारित करना है, विशेष रूप से भाजक फलन (divisor function) $d(n)$ के लिए, और तत्पश्चात इन निष्कर्षों को उन अंकगणितीय फलनों तक सामान्यीकृत करना है जो पूर्णतः अभिसारी रामानुजन विस्तार (absolutely convergent Ramanujan expansions) स्वीकार करते हैं।

कार्यप्रणाली
लेखक शास्त्रीय विश्लेषणात्मक संख्या सिद्धांत तकनीकों और भाजक फलनों के अंकगणितीय प्रगति (arithmetic progressions) में आधुनिक अनुमानों के संयोजन का उपयोग करते हैं।

इंगम की विधि का विस्तार (प्रमेय 1):
भाजक फलन $d(n)$ के लिए, लेखक इंगम के ज्यामितीय दृष्टिकोण को अनुकूलित करते हैं। वे $\sum_{n \le M} d(n)d(N-n)$ के योग को उन 4-टुपल्स $(l, r, m, s)$ की गणना के रूप में व्याख्या करते हैं जो $lr + ms = N $तथा$ ms \le M$ को संतुष्ट करते हैं।

सीमाओं का अनुकूलन (Optimization of Bounds): उत्पाद $n(N-n)$ को $N^2/4$ द्वारा सीमित करने के लिए इंगम के AM-GM असमानता के उपयोग के विपरीत, लेखक एक अधिक सटीक सीमा $X = \sqrt{M(N-M)}$ प्राप्त करने के लिए विशिष्ट बाधा $n \le M$ का उपयोग करते हैं।
सेट अपघटन (Set Decomposition): समाधानों के सेट को सममित सेट $P$ और $Q$ तथा एक प्रतिच्छेदन $R$ में विभाजित किया गया है। कार्डिनैलिटी (cardinality) का अनुमान भाजक फलन के गुणों और रैखिक डायोफैंटाइन समीकरणों के समाधानों के वितरण का उपयोग करके किया जाता है।
रेंज विश्लेषण (Range Analysis): प्रमाण $N/2$ के सापेक्ष $M$ के विभिन्न श्रेणियों के बीच सावधानीपूर्वक अंतर करता है, विशेष रूप से तब विश्लेषण करता है जब $M$ , $N/2$ के करीब होता है बनाम जब $M$ छोटा होता है।

लघु $M$ शासन (Small $M$ Regime) (प्रमेय 2):
उस स्थिति के लिए जहाँ $M = N^\alpha$ और $3/4 < \alpha < 1$ है, ज्यामितीय विधि अपर्याप्त है। लेखक योग को अवशेष वर्गों (residue classes) पर एक योग के रूप में पुनर्गठित करने के लिए $d(n) = \sum_{t|n} 1$ की पहचान का उपयोग करते हैं।

वे अंकगणितीय प्रगति में भाजक फलन के औसत के संबंध में पोंग्सरीयम और वॉन (Pongsriiam and Vaughan) द्वारा दिए गए परिणाम (जो फोवरी और इवानिएक का विस्तार है) को लागू करते हैं: $\sum_{n \le M, n \equiv N \pmod t} d(n)$ ।
यह उन्हें रामानुजन योगों $c_r(N)$ और विशिष्ट श्रेणियों $S_i(N)$ के माध्यम से एक अनंतस्पर्शी सूत्र प्राप्त करने की अनुमति देता है।

सामान्य अंकगणितीय फलन (प्रमेय 3):
लेखक उन फलनों $f$ और $g$ के लिए परिणामों को सामान्यीकृत करते हैं जिनके पास पूर्णतः अभिसारी रामानुजन विस्तार ( $f(n) = \sum a_f(r)c_r(n)$ ) हैं।

लंबवतता (Orthogonality): वे रामानुजन योगों के लिए एक लंबवतता लेम्मा का उपयोग करते हैं: $\sum_{n < M} c_r(n)c_s(N-n) \approx \delta_{r,s} M c_r(N)$ ।
ट्रंकेशन और त्रुटि नियंत्रण (Truncation and Error Control): योगों को एक मुख्य पद (जहाँ सूचकांक $r, s$ छोटे हैं) और एक त्रुटि पद (जहाँ सूचकांक बड़े हैं) में विभाजित किया गया है। त्रुटि पदों को क्षय स्थितियों (decay conditions) $|a_f(r)|, |a_g(r)| \ll r^{-(1+\delta)}$ और भाजक फलन संवलन के पहले से स्थापित बंधों का उपयोग करके नियंत्रित किया जाता है।

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

प्रमेय 1 (भाजक फलन उप-योग): यह शोध पत्र $M \le N/2$ के लिए $\sum_{n \le M} d(n)d(N-n)$ के लिए एक अनंतस्पर्शी सूत्र स्थापित करता है।
- मुख्य पद $\frac{6}{\pi^2} M \sigma_{-1}(N) \log^2 X$ है, जहाँ $X = \sqrt{M(N-M)}$ ।
- त्रुटि पद $N$ और $M$ के बीच के संबंध पर निर्भर करता है। विशेष रूप से, यदि $N/(\sigma_{-1}(N) \log N)^2 = o(M)$ है, तो सूत्र मान्य होता है।
- लेखक $M$ के विभिन्न श्रेणियों के लिए परिष्कृत त्रुटि बंध प्रदान करते हैं, जिसमें वे मामले शामिल हैं जहाँ $M$ , $N/2$ के करीब है और वे मामले जहाँ $M$ छोटा है लेकिन अभी भी विकास की स्थिति को संतुष्ट करता है।
- उपप्रमेय 1 (Corollary 1) पूर्ण योग की समरूपता का उपयोग करते हुए $N/2 \le M \le N$ की सीमा के लिए इन परिणामों का विस्तार करता है।
प्रमेय 2 (लघु $M$ ): $M = N^\alpha$ के लिए जहाँ $3/4 < \alpha < 1$ , लेखक एक अधिक जटिल अनंतस्पर्शी सूत्र प्राप्त करते हैं जिसमें रामानुजन योगों के माध्यम से परिभाषित श्रेणियाँ $S_0(N), S_1(N), S_2(N)$ शामिल हैं। यह उस अंतराल को भरता है जहाँ प्रमेय 1 की ज्यामितीय विधि विफल हो जाती है।
प्रमेय 3 (सामान्य फलन): उन अंकगणितीय फलनों के लिए जिनके पास बहुपद क्षय स्थितियों (polynomial decay conditions) वाले पूर्णतः अभिसारी रामानुजन विस्तार हैं, यह शोध पत्र सिद्ध करता है कि:
$\sum_{n < M} f(n)g(N-n) = M \sum_{r \ge 1} a_f(r)a_g(r)c_r(N) + \text{त्रुटि पद}$
त्रुटि पद $\delta < 1$ के लिए $O(M^{1-\delta}(\log M)^{4-2\delta})$ है, $\delta = 1$ के लिए $O(\log^3 M)$ है, और $\delta > 1$ के लिए $O(1)$ है।
उपप्रमेय 2 (Corollary 2): एक अनुप्रयोग के रूप में, लेखक सामान्यीकृत भाजक फलनों $\sigma_\alpha(n)/n^\alpha$ वाले योगों के लिए अनंतस्पर्शी सूत्र प्राप्त करते हैं, जो स्पष्ट त्रुटि पदों प्रदान करके और मापदंडों की सीमा का विस्तार करके [6] में पिछले परिणामों में सुधार करते हैं।

महत्व और दावे
यह शोध पत्र दावा करता है कि यह पूर्ण योगों से उप-योगों तक इंगम के शास्त्रीय परिणामों का विस्तार करता है, जिससे यह अधिक सूक्ष्म समझ मिलती है कि योग सीमा $M$ के चर होने पर योगात्मक संवलन कैसे व्यवहार करता है।

अभिप्रेरणा (Motivation): इस अध्ययन की अभिप्रेरणा संख्या सिद्धांत की समस्याओं से जुड़ी है, जैसे कि गोल्डबैक अनुमान (Goldbach conjecture), जहाँ एक निश्चित सीमा $M \le N/2$ तक अभाज्य योगों (या अभाज्य घातों) के वितरण को समझना महत्वपूर्ण है। लेखक नोट करते हैं कि जबकि पूर्ण योग सभी निरूपणों को गिनता है, उप-योग व्यवहार न्यूनतम संभव अभाज्य पदक (prime summand) को निर्धारित करने के लिए प्रासंगिक है।
पद्धतिगत योगदान (Methodological Contribution): यह कार्य वैध अनंतस्पर्शी सूत्र प्राप्त करने के लिए $M$ की सीमा को सावधानीपूर्वक चुनने की आवश्यकता को रेखांकित करता है। यह दर्शाता है कि छोटे $M$ के लिए, व्यवहार अंकगणितीय प्रगति में भाजकों के वितरण द्वारा शासित होता है, जबकि बड़े $M$ के लिए, उत्पाद $n(N-n)$ की ज्यामितीय बाधाएं हावी होती हैं।
सीमाएँ (Limitations): लेखक विनम्रतापूर्वक नोट करते हैं कि उनका प्रमेय 1 के लिए विधि बहुत छोटे $M$ (विशेष रूप से $M = N^\alpha$ जहाँ $\alpha < 3/4$ ) के लिए उपचार नहीं कर सकती है, और प्रमेय 2 के लिए प्रमाण $3/4 < \alpha < 1$ तक सीमित है। वे यह भी नोट करते हैं कि सामान्य फलनों के लिए त्रुटि पदों में निहित स्थिरांक (implied constants) $N$ पर निर्भर हो सकते हैं, हालांकि इस निर्भरता को $M$ पर विशिष्ट विकास स्थितियों के तहत कम किया जा सकता है।

यह शोध पत्र यह दावा नहीं करता है कि यह गोल्डबैक अनुमान या जुड़वां अभाज्य अनुमान (twin prime conjecture) को हल करता है, बल्कि यह तर्क देता है कि व्युत्पन्न संवलन उप-योगों के अनंतस्पर्शी सूत्र ऐसे अन्वेषणों के लिए आवश्यक उपकरण और अंतर्दृष्टि प्रदान करते हैं।