🔢 गणित

On the calculation of an integral introduced by Hubert Delange

यह शोध पत्र ह्यूबर्ट डेलांज के अपरिहर्तित समाकल (integral) की जांच करता है जो अपरिमेय भिन्नों (reduced fractions) के वितरण से संबंधित है, जिसमें सामान्य गुणों को स्थापित किया गया है जो इस समस्या को विषम वर्ग-मुक्त पूर्णांकों (odd square-free integers) तक सीमित करते हैं और $q=2$ के मामले के लिए एक विशिष्ट सूत्र प्रदान करते हैं जो इस समाकल को चार गुना मोबियस योगों (fourfold Möbius sums) और सामान्यीकृत डेडेकइंड योगों (generalized Dedekind sums) के रूप में व्यक्त करता है।

मूल लेखक: Steven Brown

प्रकाशित 2026-10-14✓ Author reviewed ⓘ

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

CC BY 4.0

मूल लेखक: Steven Brown

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

संख्या सिद्धांत के विशाल परिदृश्य में, गणितज्ञ अक्सर पूर्ण संख्याओं के भीतर छिपे हुए पैटर्न का अध्ययन करते हैं। इस क्षेत्र में सबसे मौलिक अवधारणाओं में से एक यह गिनने की विचार है कि कितने नंबर किसी दिए गए पूर्णांक के साथ एक विशिष्ट संबंध साझा करते हैं। एक से बड़े किसी भी पूर्ण संख्या के लिए, उससे छोटी अन्य संख्याएं होती हैं जो उसके साथ कोई भी सामान्य गुणनखंड साझा नहीं करती हैं, सिवाय संख्या एक के। इन विशेष संख्याओं को 'टोटेटिव्स' (totatives) कहा जाता है। यदि आप एक बड़ी संख्या के लिए सभी टोटेटिव्स की सूची बनाएंगे, तो वे बिखरे हुए नहीं होंगे; वे एक विशिष्ट, संरचित अनुक्रम बनाएंगे। इन संख्याओं का वितरण कैसे होता है, यह प्रश्न एक सदी से अधिक समय से विद्वानों को मंत्रमुग्ध कर रहा है, जिससे इस बात की गहरी जांच हुई है कि क्या वे समान रूप से फैलते हैं या अप्रत्याशित तरीकों से एक साथ जमा होते हैं।

इस वितरण को मापने के लिए, शोधकर्ता इन टोटेटिव्स के बीच के अंतराल और वहां वे कहां "होने चाहिए थे" यदि वे पूरी तरह से समान रूप से व्यवस्थित होते, इस पर नज़र रखते हैं। कल्पना कीजिए कि आप एक शेल्फ पर किताबों का एक सेट लाइन में लगा रहे हैं; यदि वे पूरी तरह से समान रूप से व्यवस्थित होते, तो प्रत्येक पुस्तक के बीच की दूरी समान होती। संख्याओं की दुनिया में, टोटेटिव्स शायद ही कभी ऐसी पूर्ण सटीकता के साथ संरेखित होते हैं। गणितज्ञों ने इन अंतरों को वर्ग करने और उन्हें जोड़ने के माध्यम से इस अंतराल में कुल त्रुटि की गणना करने का एक तरीका विकसित किया है। यह गणना एक विशिष्ट मान, या समाकलन (integral) देती है जो हमें बताता है कि वास्तविक वितरण एक पूर्ण, समान प्रसार से कितना विचलित होता है। दशकों तक, यह गणना केवल एक सरल मामले के लिए पूरी तरह से समझी गई थी जहाँ त्रुटि को एक बुनियादी तरीके से मापा गया था। हालाँकि, जब गणितज्ञों ने अधिक संवेदनशीलता के साथ त्रुटि को मापने का प्रयास किया, जिसमें अंतराल के अधिक जटिल विविधताओं को देखा गया, तो समस्या अविश्वसनीय रूप से कठिन हो गई, और सूत्र एक रहस्य बना रहा।

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

इसके बाद यह शोध पत्र समस्या के एक विशिष्ट, थोड़े अधिक जटिल संस्करण पर ध्यान केंद्रित करता है, जहाँ त्रुटि को उच्च स्तर की संवेदनशीलता के साथ मापा जाता है। इस विशिष्ट मामले के लिए, लेखक पूरी गणना को एक एकल, कठिन योग (sum) में बदलने में सफल होते हैं। इस योग में एक विशिष्ट प्रकार की गिनती शामिल है जो इस बात से संबंधित है कि संख्याएं चक्रों में कैसे घूमती हैं, जिसे गणित में 'मॉड्यूलर अंकगणित' (modular arithmetic) के रूप में जाना जाता है। हालांकि लेखक अभी तक इस अंतिम योग के लिए एक सरल, बंद-रूप (closed-form) सूत्र प्रदान नहीं कर सकते हैं, लेकिन उन्होंने मूल, डरावनी समस्या को एक नए रूप में अनुवादित करने में सफलता प्राप्त की है जो अध्ययन के लिए बहुत आसान है। वह दिखाते हैं कि उत्तर 'मोबियस फंक्शन' (Möbius function) से जुड़े एक चार-भाग वाले योग पर निर्भर करता है, जो संख्याओं को उनके अभाज्य गुणनखंडों के आधार पर फ़िल्टर करने के लिए उपयोग किया जाने वाला एक उपकरण है, और 'सामान्यीकृत डेडेकिंड सम' (generalized Dedekind sums) से संबंधित एक प्रकार का योग है, जो अपने गहरे ज्यामितीय और संख्यात्मक संबंधों के लिए जाने जाते हैं।

निष्कर्ष सटीक और कठोर हैं। लेखक सिद्ध करते हैं कि कुछ प्रकार की संख्याओं के लिए, जटिल त्रुटि गणना वास्तव में शून्य है, एक ऐसा परिणाम जो इन वितरणों की समरूपता के बारे में पहले के संदेहों की पुष्टि करता है। अन्य मामलों के लिए, वह एक विस्तृत सूत्र प्रदान करते हैं जो त्रुटि को अभाज्य गुणनखंडों की संख्या और टोटेटिव्स की कुल गणना से जोड़ता है। यह कार्य अनिवार्य रूप से परिदृश्य का मानचित्रण करता है, यह दिखाते हुए कि कठिन हिस्सा अब एक विशिष्ट, सुपरिभाषित गणितीय वस्तु में अलग कर दिया गया है। शोध पत्र इस निष्कर्ष के साथ समाप्त होता है कि भविष्य के शोधकर्ता अब इस विशिष्ट योग को समझने पर अपना प्रयास केंद्रित कर सकते हैं, शायद तरंग पैटर्न (wave patterns) या प्रत्यक्ष गणना विधियों जैसे विभिन्न गणितीय तकनीकों का उपयोग करके। रहस्य पूरी तरह से सुलझा नहीं है, लेकिन आगे का रास्ता साफ कर दिया गया है, जिससे एक अस्पष्ट, भारी समस्या एक ठोस खोज के लक्ष्य में बदल गई है।

तकनीकी सारांश: ह्यूबर्ट डेलेंज द्वारा प्रस्तुत एक समाकल (integral) की गणना पर

समस्या विवरण
यह शोध पत्र ह्यूबर्ट डेलेंज द्वारा इक्विडिस्ट्रीब्यूटेड (equidistributed) संख्याओं के सापेक्ष रिड्यूस्ड फ्रैक्शंस (totatives) के एसिम्प्टोटिक वितरण के अध्ययन में प्रस्तुत किए गए समाकलों के एक परिवार के मूल्यांकन को संबोधित करता है। यह समाकल इस प्रकार परिभाषित है:
$\int_0^1 \left( \frac{N(n, t)}{\phi(n)} - t \right)^{2q} dt$
जहाँ $n > 1$ और $q > 0$ पूर्णांक हैं, और $\phi$ यूलर टोटिएंट फलन (Euler totient function) है, तथा $N(n, t)$ अंतराल $]0, t]$ में हर $n$ वाले रिड्यूस्ड फ्रैक्शंस की संख्या को गिनता है। जबकि डेलेंज ने $q=1$ के लिए इस समाकल का सफलतापूर्वक मूल्यांकन किया था (जिससे $\omega(n)$ से संबंधित एक सूत्र प्राप्त होता है), उन्होंने नोट किया कि वे $q > 1$ के लिए इसका मूल्यांकन करने में असमर्थ रहे। इस शोध पत्र का लक्ष्य किसी निश्चित $q > 1$ और अनिश्चित $n$ के लिए इस समाकल के क्लोज्ड-फॉर्म (closed-form) सूत्र प्रदान करना है।

कार्यप्रणाली (Methodology)
लेखक $\nu_n(x)$ नामक एक फलन को पेश करके समस्या को पुनर्गठित करता है, जो मोबियस वेट्स (Möbius weights) के साथ विभाजकों $d|n$ पर $x/d$ के भिन्नात्मक भाग (fractional part) के योग से संबंधित है। समाकल को एक समतुल्य रूप $H_k(n)$ में परिवर्तित किया जाता है, जो निम्न द्वारा परिभाषित है:
$H_k(n) := \int_0^1 (-\nu_n(nt))^k dt$
जहाँ $k=2q$ है। कार्यप्रणाली कई विश्लेषणात्मक चरणों के माध्यम से आगे बढ़ती है:

फ्रैनल समाकल (Franel Integrals) में न्यूनीकरण: लेखक $H_k(n)$ को फ्रैनल समाकल $F(a_1, \dots, a_k)$ के एक $k$ -फोल्ड मोबियस योग के रूप में व्यक्त करता है, जो आवधिक बर्नुली बहुपदों (periodic Bernoulli polynomials) के उत्पादों के समाकल हैं।
सममिति और न्यूनीकरण: यह सिद्ध किया गया है कि विषम $k$ के लिए $H_k(n) = 0$ होता है। इसके अतिरिक्त, $H_k(n)$ का मान $n$ के स्क्वायर-फ्री भाग (जिसे $\text{rad}(n)$ कहा जाता है) पर निर्भर करता है, और विषम $m$ के लिए, $H_k(2m) = H_k(m)$ । यह सामान्य समस्या को एक विषम, स्क्वायर-फ्री पूर्णांक $m$ के लिए $H_k(m)$ की गणना करने में बदल देता है।
टोटेटिव संकलनों (Totative Sums) से संबंध: प्रमेय 2.1 $H_k(n)$ और टोटेटिव्स $t(n)$ के ऊपर $\nu_n(a)$ के घातों के योग के बीच एक सीधा संबंध स्थापित करता है। विशेष रूप से, $H_k(n)$ को $V_{k+1}(n) = \sum_{a \in t(n)} \nu_n(a)^{k+1}$ के पदों में व्यक्त किया जाता है।
मॉड्यूलर संकलनों के माध्यम से मूल्यांकन: $k=4$ (जो $q=2$ के अनुरूप है) के विशिष्ट मामले के लिए, लेखक फ्रैनल समाकलों के प्रत्यक्ष दृष्टिकोण का उपयोग करता है। इसमें एकीकरण अंतराल को मापदंडों के लघुत्तम समापवर्त्य (least common multiple) के आधार पर विभाजित करना और समाकल को पूर्णांक-मान वाले मॉड्यूलर संकलनों $W_N(E)$ और $X_N(A)$ के पदों में व्यक्त करना शामिल है। ये योग सामान्यीकृत डेडेकइंड संकलनों (generalized Dedekind sums) से जुड़े हुए हैं।

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

सामान्य गुण: यह शोध पत्र सिद्ध करता है कि विषम $k$ के लिए $H_k(n)$ शून्य होता है और $n$ से वर्ग कारकों (square factors) को हटाने के तहत अपरिवर्तित रहता है।
प्राइम पावर केस: प्राइम $p$ के लिए $H_k(p^\alpha)$ हेतु एक क्लोज्ड-फॉर्म सूत्र निकाला गया है, जो घातों के योग के लिए फाउलब्रै (Faulhaber's) फॉर्मूला का उपयोग करता है।
$q=2$ ( $k=4$ ) के लिए न्यूनीकरण: $H_4(n)$ के मूल्यांकन की समस्या को $V_5(n)$ की गणना तक सीमित कर दिया गया है। जबकि शोध पत्र नोट करता है कि $i \le 3$ के लिए $V_i(n)$ के सूत्र ज्ञात हैं, यह स्पष्ट रूप से कहता है कि $V_4(n)$ के लिए कोई सूत्र नहीं मिला है। हालांकि, प्रपोजिशन 3.1 से प्राप्त रैखिक समीकरणों की एक प्रणाली के माध्यम से, लेखक प्रदर्शित करता है कि $V_5(n)$ , $V_4(n)$ पर निर्भर करता है। फलस्वरूप, $H_4(m)$ (जहाँ $m$ स्क्वायर-फ्री है) का मूल्यांकन अज्ञात $V_4(n)$ घटक को समाहित करने वाले चार-फोल्ड मोबियस योग $W_4(m)$ को निर्धारित करने में बदल जाता है।
$H_4(m)$ के लिए स्पष्ट सूत्र: प्रमेय 3.1 स्पष्ट अपघटन प्रदान करता है:
$H_4(m) = W_4(m) + \frac{1}{60m} \left( \frac{\phi(m)}{m} \right)^3 (2\phi(m) - 5m^2\omega(m))$
जहाँ $W_4(m)$ को ऑर्डर 4 के फ्रैनल समाकलों के चार-फोल्ड मोबियस योग के रूप में परिभाषित किया गया है।
फ्रैनल समाकल सूत्र: शोध पत्र सहायक संकलनों $X_N(A)$ (जो फ्रैनल समाकलों को निर्धारित करते हैं) के लिए क्लोज्ड-फॉर्म सूत्र प्रदान करता है, उन सेट $A$ के लिए जिनका कार्डिनैलिटी $|A| \le 3$ है। फलस्वरूप, यह ऑर्डर 2 के फ्रैनल समाकलों की पूर्ण गणना प्रदान करता है। हालांकि, ऑर्डर 4 (जहाँ $|A|=4$ ) के लिए, लेखक नोट करता है कि $X_N(A)$ (या स्वयं समाकल) के लिए कोई सरल क्लोज्ड-फॉर्म सूत्र नहीं मिला है; ऑर्डर 4 का परिणाम गैर-तत्वगत (non-elementary) पद $W_N(E)$ को अलग करता है।

महत्व और दायरा
यह शोध पत्र यह दावा नहीं करता कि इसने सभी $q > 1$ के लिए सामान्य समस्या को हल कर लिया है। इसके बजाय, यह अनसुलझी समस्या के दायरे को महत्वपूर्ण रूप से कम करता है। लेखक का कहना है कि $q=2$ के लिए समाकल की गणना अब $W_4(m)$ के मूल्यांकन के समकक्ष है (जो अनिवार्य रूप से अज्ञात $V_4(m)$ से जुड़ा हुआ है), जिसमें सामान्यीकृत डेडेकइंड संकलनों से संबंधित पूर्णांक-मान वाले मॉड्यूलर योग शामिल हैं।

शोध पत्र विनम्रतापूर्वक समाप्त होता है, यह उल्लेख करते हुए कि हालांकि ऑर्डर 4 के फ्रैनल समाकलों (और इस प्रकार $W_4(m)$ ) के लिए कोई सामान्य क्लोज्ड फॉर्म नहीं मिला है, फिर भी समस्या को एक विशिष्ट अंकगणितीय गणना तक कम कर दिया गया है। लेखक सुझाव देते हैं कि भविष्य के कार्य में आवधिक फलन $\nu_n(nt)^2$ पर पार्सवल के प्रमेय (Parseval's theorem) को लागू करना, स्पेंस (Spence) के विचारों का उपयोग करके $V_4(m)$ की प्रत्यक्ष गणना करना, या संकलनों $W_N$ के पारस्परिकता नियमों (reciprocity laws) का विश्लेषण करना शामिल हो सकता है। प्राथमिक योगदान डेलेंज की खुली समस्या को इन विशिष्ट मॉड्यूलर संकलनों के मूल्यांकन तक कठोरता से कम करना है।

इसी तरह के और पेपर