On the distribution of $\phi(\psi(n))$ and $\psi(\psi(n))$

तकनीकी सारांश: $\phi(\psi(n))$ और $\psi(\psi(n))$ के वितरण पर

समस्या विवरण
यह शोध पत्र डेडेकिंड (Dedekind) के अंकगणितीय फलन $\psi(n)$ और यूलर के टोटिएंट फलन (Euler's totient function) $\phi(n)$ के संयोजन (compositions) के वितरण संबंधी गुणों की जांच करता है। विशेष रूप से, लेखक उन पूर्णांकों $n \le x$ की आवृत्ति का विश्लेषण करते हैं जिनके लिए सम्मिश्र फलन (composite functions) $\phi(\psi(n))$ और $\psi(\psi(n))$ अपेक्षित रैखिक वृद्धि (linear growth) से विचलित होते हैं।

यद्यपि $\phi(n)$ और $\psi(n)$ गुणत्मक (multiplicative) हैं, उनके संयोजन सामान्यतः इस गुण को खो देते हैं, जिससे शास्त्रीय गुणत्मक फलन सिद्धांत (multiplicative function theory) अनुपयुक्त हो जाता है। सैंडोर (Sándor) [8, 9] के पूर्व कार्य ने गुणात्मक घनत्व (qualitative density) परिणाम स्थापित किए थे, जो यह दर्शाते हैं कि किसी भी निश्चित $c > 0$ के लिए, समुच्चय $\{n \le x : \phi(\psi(n)) \ge cn\}$ और $\{n \le x : \psi(\psi(n)) \le cn\}$ की आनुमानिक घनत्व (asymptotic density) शून्य है। हालाँकि, ये परिणाम गुणात्मक थे; इन "अपवाद स्वरूप समुच्चयों" (exceptional sets) के आकार के लिए मात्रात्मक अनुमान सीमित थे। यह शोध पत्र इन समुच्चयों के लिए स्पष्ट ऊपरी सीमाएँ (explicit upper bounds) प्रदान करने का लक्ष्य रखता है, जिससे सैंडोर के घनत्व परिणामों को परिष्कृत किया जा सके।

कार्यप्रणाली
लेखक ने दीक्षित और भट्टाचार्य [2] द्वारा $\phi(\sigma(n))$ के अध्ययन में उपयोग की गई 'सीव-थ्योरेटिक' (sieve-theoretic) विधियों को अनुकूलित किया है। मुख्य रणनीति उन पूर्णांकों का विश्लेषण करने की है जिनके लिए आंतरिक फलन (विशेष रूप से $\psi(n)$) कुछ लघु अभाज्य विभाजकों (small prime divisors) को छोड़ देता है।

मुख्य तकनीकी घटक शामिल हैं:

1. सीव अनुमान (Sieve Estimates): प्रमाण एक विशिष्ट अभाज्य $p$ के लिए ऐसे पूर्णांकों की संख्या को सीमित करने पर आधारित है जहाँ $p$, $\psi(n)$ को विभाजित नहीं करता है। इसे $T_p(x) = \#\{n \le x : p \nmid \psi(n)\}$ के रूप में दर्शाया गया है।
2. लेम्मा 2.4 (Lemma 2.4): एक महत्वपूर्ण लेम्मा यह स्थापित करता है कि किसी भी अभाज्य $p$ और पर्याप्त बड़े $x$ के लिए, $T_p(x) \ll x \left(\frac{\log_2 x}{\log x}\right)^{\frac{1}{p-1}}$। यह सीमा इस अवलोकन से प्राप्त की गई है कि यदि $q \equiv -1 \pmod p$ और $q \mid n$, तो $p \mid \psi(n)$। फलस्वरूप, यदि $p \nmid \psi(n)$, तो $n$ उन अभाज्य गुणनखंडों से मुक्त होना चाहिए जहाँ $q \equiv -1 \pmod p$ है। ऐसे अभाज्यों के घनत्व का अनुमान लगाने के लिए सीगल-वाल्फिस (Siegel-Walfisz) प्रमेय का उपयोग किया गया है।
3. अभाज्यो का गुणनफल (Product of Primes): लेखक $P(z) = \prod_{p \le z} p$ को परिभाषित करते हैं। वे इस तथ्य का उपयोग करते हैं कि यदि $P(z) \mid \psi(n)$, तो $\phi(\psi(n))$, $\psi(n)$ की तुलना में काफी छोटा होता है (उत्पादों के $(1-1/p)$ पदों के कारण), जबकि $\psi(\psi(n))$, $\psi(n)$ से काफी बड़ा होता है (उत्पादों के $(1+1/p)$ पदों के कारण)।
4. आंशिक योग (Partial Summation): $\sum_{n \le x} \psi(n)/n$ के योग का मूल्यांकन $\sum \psi(n)$ के ज्ञात विषमलक्षणों (asymptotics) का उपयोग करके किया जाता है ताकि उन $n$ के अनुपात को सीमित किया जा सके जहाँ $\psi(n)$ "बड़ा" या "छोटा" होता है।

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

• $\phi(\psi(n))$ के लिए मात्रात्मक सीमा (Theorem 1.1):
  यह शोध पत्र $\phi(\psi(n)) \ge cn$ के अपवाद स्वरूप सेट के लिए एक स्पष्ट ऊपरी सीमा प्रदान करता है। प्रत्येक $c > 0$ के लिए:
  $$\#\{n \le x : \phi(\psi(n)) \ge cn\} \le \frac{15x}{\pi^2 c \log_4 x} + O\left(\frac{x \log_3 x}{(\log x)^{1/(\log_3 x \log_4 x)}}\right)$$
  यह सैंडोर के गुणात्मक परिणाम को परिष्कृत करता है, यह दिखाते हुए कि अपवाद स्वरूप सेट केवल $o(x)$ नहीं है, बल्कि यह लगभग $x/\log_4 x$ के अनुपात में घटता है।

• धीमी रूप से परिवर्तनशील थ्रेसहोल्ड के साथ परिशोधन (Theorem 1.2):
  लेखक गैर-घटते फलन $g(x)$ के लिए परिणाम का विस्तार करते हैं। यदि $g(x) = o(\log_4 x)$, तो समुच्चय $G_g(x) = \{n \le x : \phi(\psi(n)) \ge n/g(n)\}$ संतुष्ट करता है:
  $$|G_g(x)| = O\left(\frac{xg(x)}{\log_4 x} + \frac{x \log_3 x}{(\log x)^{1/(\log_3 x \log_4 x)}}\right) = o(x)$$

• $\psi(\psi(n))$ का वितरण (Theorem 1.3):
  यह शोध पत्र सिद्ध करता है कि किसी भी निश्चित $c > 0$ के लिए, उन पूर्णांकों का समुच्चय जहाँ $\psi(\psi(n)) \le cn$ है, का आनुमानिक घनत्व शून्य है। प्रमाण यह दर्शाता है कि यदि $\psi(\psi(n)) \le cn$, तो $\psi(n)$ को लघु अभाज्यो के एक गुणनफल $P(z)$ (जहाँ $z$, $c$ पर निर्भर करता है) को छोड़ना होगा। सीव अनुमानों का उपयोग करते हुए, इस समुच्चय का आकार $o(x)$ दिखाया गया है।

• उच्च पुनरावृत्तियों (Higher Iterates) के लिए सामान्यीकरण (Corollary 1.1):
  यह दिखाया गया है कि किसी भी निश्चित $k \ge 2$ के लिए, समुच्चय $\{n \le x : \psi^{(k)}(n) \le cn\}$ का आनुमानिक घनत्व भी शून्य है, क्योंकि $\psi^{(k)}(n) \ge \psi(\psi(n))$।

महत्ता और दावे
यह शोध पत्र $\phi(\psi(n))$ और $\psi(\psi(n))$ के संयोजनों से जुड़े अपवाद स्वरूप समुच्चयों के लिए मात्रात्मक अनुमान प्रदान करता है, जो पिछले गुणात्मक घनत्व परिणामों को परिष्कृत करता है। गुणात्मक घनत्व ($o(x)$) से पुनरावृत्त लघुगणक (iterated logarithms) वाले स्पष्ट ऊपरी सीमाओं की ओर बढ़कर, यह कार्य इन अंकगणितीय फलनों के वितरण की अधिक सटीक समझ प्रदान करता है।

लेखक नोट करते हैं कि उनके मात्रात्मक सीमाएँ अनिवार्य रूप से $T_p(x)$ के लिए सीव अनुमान पर निर्भर करती हैं। वे सुझाव देते हैं कि इस विशिष्ट सीव अनुमान में कोई भी पर्याप्त सुधार सीधे तौर पर अपवाद स्वरूप समुच्चयों के लिए अधिक सटीक सीमाएँ प्रदान करेगा। जबकि शोध पत्र टिप्पणियों में उल्लेख करता है कि $\psi(\sigma(n))$ के संयोजन के लिए इसी तरह के घनत्व-शून्य परिणाम प्राप्त किए जा सकते हैं, यह स्पष्ट रूप से अपने मुख्य मात्रात्मक विश्लेषण और दायरे को $\phi(\psi(n))$ और $\psi(\psi(n))$ तक ही सीमित रखता है। लेखक निष्कर्ष निकालते हैं कि इन संयोजनों के सामान्य क्रम (normal orders) को निर्धारित करना और अपवाद स्वरूप समुच्चयों के लिए और भी सटीक अनुमान प्राप्त करना दिलचस्प खुले प्रश्न बने हुए हैं।