On divisor sums due to Erd\H{o}s and Ramanujan

यहाँ जॉन एम. कैंपबेल के शोध पत्र "On divisor sums due to Erdős and Ramanujan" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र एक विशिष्ट हाइब्रिड डिवाइज़र सम (divisor sum) के स्पर्शोन्मुखी व्यवहार (asymptotic behavior) की जांच करता है, जो विश्लेषणात्मक संख्या सिद्धांत (analytic number theory) की दो शास्त्रीय समस्याओं के तत्वों को जोड़ता है:

• रामानुजन डिवाइज़र सम (The Ramanujan Divisor Sum): यह विभाजक फलन (divisor function) के व्युत्क्रमों के योग $\sum_{n \le x} \frac{1}{d(n)}$ से संबंधित है। रामानुजन (1915) ने स्थापित किया कि यह योग $\frac{x}{\sqrt{\log x}}$ के रूप में व्यवहार करता है।
• एर्डोस डिवाइज़र सम (The Erdős Divisor Sum): यह पुनरावर्तित विभाजक फलन (iterated divisor function) के योग $\sum_{n \le x} d(d(n))$ से संबंधित है। एर्डोस (1950 के दशक में) ने सिद्ध किया कि यह $c_1 x \log \log x$ के रूप में व्यवहार करता है।
• टिचमार्श डिवाइज़र समस्या (The Titchmarsh Divisor Problem): यह अभाज्य संख्याओं पर योगों से संबंधित है, विशेष रूप से $\sum_{p \le x} d(p-1)$। गैबडुलिन और अन्य (2020 के दशक) के हालिया कार्य ने इसके व्युत्क्रम संस्करण $\sum_{p \le x} \frac{1}{d(p-1)}$ का विश्लेषण किया, जो सिद्ध करता है कि यह $\frac{x}{(\log x)^{3/2}}$ के क्रम का है।

मुख्य समस्या:
लेखक उस "हाइब्रिड" योग का अध्ययन करते हैं जो एर्डोस के पुनरावर्तित फलन के व्युत्क्रम द्वारा निर्मित होता है:
$$S(x) = \sum_{n \le x} \frac{1}{d(d(n))}$$
व्युत्क्रम (reciprocal) की उपस्थिति विश्लेषण को काफी जटिल बना देती है क्योंकि यह उन पूर्णांकों $n$ के योगदान को बढ़ा देती है जहाँ $d(d(n))$ असाधारण रूप से छोटा होता है। इस शोध पत्र का लक्ष्य $S(x)$ के परिमाण के क्रम (order of magnitude) को निर्धारित करना है।

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

यह प्रमाण "सामान्य" (typical) और "अपवादजनक" (exceptional) समुच्चयों में पूर्णांकों के सेट $\{n \le x\}$ को विभाजित करने, अपवादजनक समुच्चयों के योगदान को सीमित करने और संभाव्यता संख्या सिद्धांत (probabilistic number theory) के उपकरणों का उपयोग करके मुख्य पद (main term) का अनुमान लगाने पर आधारित है।

प्रमुख उपकरण और परिभाषाएँ:

• $n$ का विभाजन (Decomposition of $n$): पूर्णांकों को एक वर्गमुक्त भाग $a(n)$ और एक पावरफुल भाग $b(n)$ में विभाजित किया जाता है (जहाँ $n = a(n)b(n)$)। विभाजक फलन को $d(n) = 2^{\omega(a(n))} d(b(n))$ के रूप में व्यक्त किया जाता है, जहाँ $\omega(n)$ विशिष्ट अभाज्य गुणनखंडों की संख्या है।
• गोलम्ब का अनुमान (Golomb's Estimate): पावरफुल संख्याओं के घनत्व को सीमित करने के लिए उपयोग किया जाता है। $\le x$ तक की पावरफुल संख्याओं की संख्या $O(x^{1/2})$ है।
• टुरान का मात्रात्मक हार्डी-रामानुजन प्रमेय (Turán's Quantitative Hardy–Ramanujan Theorem): $\omega(n)$ के $\log \log n$ के आसपास सामान्य रूप से वितरित होने को दिखाने के लिए टुरान-कुबिलियस असमानता (Turán–Kubelius inequality) का उपयोग करता है। विशेष रूप से, विचरण (variance) कम है: $\sum_{n \le N} (\omega(n) - \log \log N)^2 \ll N \log \log N$।
• एबेल योग (Abel Summation): बाउंड प्राप्त करने के लिए पावरफुल संख्याओं पर योग करने हेतु लागू किया गया है।

प्रमाण रणनीति (लेम्मा अपघटन):
लेखक ऊपर से योग को सीमित करने और नीचे से भी सीमा निर्धारित करने के लिए योग सीमा $n \le x$ को तीन विलगित (disjoint) समुच्चयों में विभाजित करते हैं:

1. सेट $B_1(x)$ (बड़ा पावरफुल भाग): वे पूर्णांक जहाँ पावरफुल भाग $b(n) > (\log \log x)^2$ है।

   • विधि: गोलम्ब के अनुमान और एबेल योग का उपयोग करते हुए, लेखक सिद्ध करते हैं कि ऐसे पूर्णांकों की गणना कम है ($\ll \frac{x}{\log \log x}$)। चूंकि $\frac{1}{d(d(n))} \le 1$, उनका कुल योगदान नगण्य है।

2. सेट $B_2(x)$ (असामान्य अभाज्य गुणनखंड): वे पूर्णांक जहाँ $\omega(n)$ माध्य $\log \log x$ से महत्वपूर्ण रूप से विचलित होता है (विशेष रूप से $[\frac{1}{2}\log \log x, 2\log \log x]$ के बाहर)।

   • विधि: टुरान के विचरण अनुमान (समीकरण 15) का उपयोग करते हुए, लेखक दिखाते हैं कि ऐसे पूर्णांकों की संख्या $\ll \frac{x}{\log \log x}$ है। उनका योगदान भी नगण्य है।

3. सेट $B_3(x)$ (सामान्य वर्गमुक्त पूर्णांक): वे पूर्णांक जो वर्गमुक्त (squarefree) हैं और जिनका $\omega(n)$ सामान्य सीमा के भीतर है।

   • विधि: वर्गमुक्त $n$ के लिए, $d(n) = 2^{\omega(n)}$। फलस्वरूप, $d(d(n)) = d(2^{\omega(n)}) = \omega(n) + 1$।
   • चूंकि $\omega(n) \approx \log \log x$, इसलिए $\frac{1}{d(d(n))} \approx \frac{1}{\log \log x}$।
   • वर्गमुक्त संख्याओं का घनत्व $\frac{6}{\pi^2}x$ है। लेखक सिद्ध करते हैं कि इस सेट पर किया गया योग प्रमुख निचली सीमा (dominant lower bound) प्रदान करता है।

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

मुख्य प्रमेय (Main Theorem):
यह शोध पत्र हाइब्रिड योग के परिमाण के क्रम को स्थापित करता है:
$$\sum_{n \le x} \frac{1}{d(d(n))} \asymp \frac{x}{\log \log x}$$
इसका अर्थ है कि पर्याप्त बड़े $x$ के लिए धनात्मक स्थिरांक $c_{min}$ और $c_{max}$ मौजूद हैं:
$$c_{min} \frac{x}{\log \log x} \le \sum_{n \le x} \frac{1}{d(d(n))} \le c_{max} \frac{x}{\log \log x}$$

अनुमान (Conjecture):
टिचमार्श-रामानुजन हाइब्रिड (गैबडुलिन और अन्य) के लिए अनुमानित स्पर्शोन्मुखी तुल्यता के सादृश्य, लेखक एक सटीक स्पर्शोन्मुखी सूत्र का अनुमान लगाते हैं:
$$\sum_{n \le x} \frac{1}{d(d(n))} \sim c_3 \frac{x}{\log \log x}$$
जहाँ $c_3 \in (0, \infty)$ एक स्थिरांक है। लेखक नोट करते हैं कि इस विशिष्ट स्थिरांक के अस्तित्व को सिद्ध करना संभवतः एक कठिन समस्या है, जो टिचमार्श-रामानुजन अनुमान की कठिनाई के समान है।

4. महत्व (Significance)

• शास्त्रीय समस्याओं का मिलन: यह कार्य एर्डोस के पुनरावर्तित डिवाइज़र सम और रामानुजन के व्युत्क्रम डिवाइज़र सम के अध्ययन को सफलतापूर्वक एकीकृत करता है, जिससे संख्या सिद्धांत में एक नई "हाइब्रिड" समस्या उत्पन्न होती है।
• व्युत्क्रमों को संभालना: यह डिवाइज़र समों में व्युत्क्रमों द्वारा उत्पन्न विश्लेषणात्मक कठिनाइयों को संभालने का तरीका प्रदर्शित करता है, विशेष रूप से यह कि कैसे "छोटे विभाजक" वाले मामले (कम विभाजकों वाले पूर्णांक) योग के व्यवहार को नियंत्रित करते हैं।
• कार्यप्रणाली का अनुप्रयोग: यह पेपर डिवाइज़र फलन के वितरण पर टुरान के संभाव्यता अनुमानों के साथ गोलम्ब के पावरफुल संख्याओं के बाउंड्स को प्रभावी ढंग से जोड़ता है, ताकि ऐसी समस्या को हल किया जा सके जहाँ मानक गुणात्मक तकनीकें (जैसे डिरिचलेट की हाइपरबोला विधि) $d(d(n)$ की गैर-गुणात्मक प्रकृति के कारण विफल हो जाती हैं।
• भविष्य की दिशाएं: यह शोध पत्र भविष्य के अनुसंधान के लिए आधार तैयार करता है, जैसे कि सटीक स्थिरांक $c_3$ की खोज और अन्य पुनरावर्तित अंकगणितीय फलनों (arithmetic functions) पर इसी तरह की हाइब्रिड तकनीकों का संभावित अनुप्रयोग।

संक्षेप में, कैंपेल सिद्ध करते हैं कि पुनरावर्तित विभाजक फलन के व्युत्क्रमों का योग $\frac{x}{\log \log x}$ के रूप में बढ़ता है, जो कि गैर-व्युत्क्रम एर्डोस सम के रैखिक विकास की तुलना में धीमा है लेकिन मानक रामानुजन व्युत्क्रम सम के $\frac{x}{\sqrt{\log x}}$ विकास की तुलना में तेज़ है।