🔢 mathematics

A Modular Form Proof of the Irrationality of $\zeta\left(3\right)$

यह शोध पत्र लेवल 6 के मॉड्यूलर फॉर्म्स से एक विशिष्ट आइचलर इंटीग्रल (Eichler integral) का निर्माण करके $\zeta(3)$ की अपरिमेयता का एक व्याख्यात्मक प्रमाण प्रस्तुत करता है, जो एक ऐसी पावर सीरीज़ उत्पन्न करता है जो ब्यूकर्स (Beukers) के अपरिमेयता मानदंड को संतुष्ट करती है।

मूल लेखक: Pang Ern Thang

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

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

CC BY 4.0

मूल लेखक: Pang Ern Thang

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

अटूट संख्या का रहस्य

कल्पना कीजिए कि आप एक पहेली सुलझाने की कोशिश कर रहे हैं जो संख्याओं के बारे में है। गणित की दुनिया में, संख्याओं का एक विशेष परिवार है जिसे "रीमैन ज़ेटा फलन" (Riemann zeta function) कहा जाता है। इस फलन को एक विशाल, जादुई कैलकुलेटर की तरह समझें जो एक संख्या, मान लीजिए $s$ , लेता है और अंशों की एक अनंत सूची जोड़ता है: $1 + 1/2^s + 1/3^s + 1/4^s$ , और इसी तरह, अनंत काल तक। जब आप 2 या 4 जैसी सम संख्याएँ इसमें डालते हैं, तो कैलकुलेटर ऐसे उत्तर देता है जो सुव्यवस्थित होते हैं और जिन्हें $\pi$ (एक वृत्त की परिधि और उसके व्यास का अनुपात) से जुड़ी सरल भिन्न के रूप में लिखा जा सकता है। लेकिन जब आप 3, 5, या 7 जैसी विषम संख्याएँ डालते हैं, तो कैलकुलेटर अजीब हो जाता है। उनके उत्तर कोई सरल पैटर्न नहीं दर्शाते हैं।

बड़ा सवाल यह है: क्या ये विषम उत्तर "परिमय" (rational) हैं (यानी उन्हें $3/4$ जैसी सरल भिन्न के रूप में लिखा जा सकता है) या "अपरिमेय" (irrational) हैं (यानी वे कभी न खत्म होने वाले, उलझे हुए दशमलव हैं जिन्हें भिन्न के रूप में नहीं लिखा जा सकता, जैसे $\pi$ या $\sqrt{2}$ )। लंबे समय से, गणितज्ञों को पता था कि सम उत्तर अपरिमेय थे, लेकिन विषम संख्याएँ एक रहस्य बनी हुई थीं। सबसे प्रसिद्ध रहस्यों में से एक $s=3$ के लिए उत्तर है, जिसे 'एपरी स्थिरांक' (Apéry's constant) के रूप में जाना जाता है। यदि यह संख्या अपरिमेय है, तो इसका अर्थ है कि यह गणितीय ब्रह्मांड का एक अद्वितीय, अटूट हिस्सा है जिसे सरल नहीं किया जा सकता। इसे सिद्ध करना ऐसा ही है जैसे यह दिखाना कि एक विशिष्ट ताले के लिए कोई ऐसी चाबी नहीं है जो उसमें पूरी तरह फिट बैठ सके।

शोध पत्र की यात्रा: सत्य तक पहुँचने हेतु एक मॉडुलर मानचित्र

यह शोध पत्र, जिसे पंग एर्न थांग द्वारा लिखा गया है, यह सिद्ध करने का एक नया और सुंदर तरीका प्रस्तुत करता है कि एपरी स्थिरांक, $\zeta(3)$ , वास्तव में अपरिमेय है। जबकि 1978 में रोजर एपरी द्वारा दिए गए मूल प्रमाण ने एक शानदार लेकिन कुछ हद तक रहस्यमय उपलब्धि हासिल की थी, यह लेखक दिखाते हैं कि वह प्रमाण वास्तव में "मॉड्यूलर फॉर्म्स" (modular forms) नामक गणित की एक अलग शाखा का स्वाभाविक परिणाम है।

इस शोध पत्र की पद्धति को समझने के लिए, संख्याओं की जटिल दुनिया को एक विशाल, धुंधले परिदृश्य के रूपas कल्पना करें। आमतौर पर, यदि आप इस परिदृश्य में चलने की कोशिश करते हैं, तो आप एक दीवार (एक "शाखा मान" या branching value) से टकरा जाते हैं जो आपको आगे बढ़ने से रोक देती है। गणितीय शब्दों में, यह दीवार एक फलन की सीमा तय करती है कि वह कितनी दूर तक बढ़ सकता है इससे पहले कि वह टूट जाए या अप्रत्याशित हो जाए। लेखक की रणनीति मॉड्यूलर फॉर्म्स का उपयोग करके एक विशेष "पुल" बनाने की है—ऐसे फलन जिनमें एक अद्वितीय, सममित सुंदरता होती है, जैसे कि एक कैलीडोस्कोप (kaleidoscope) जो दिखने में वैसा ही रहता है चाहे आप उसे कितना भी घुमा लें।

शोध पत्र "लेवल 6" के एक मॉड्यूलर फॉर्म का उपयोग करके एक विशिष्ट पुल का निर्माण करता है। इस लेवल को कैलीडोस्कोप के घूमने के नियमों के एक विशिष्ट सेट के रूप में समझें। इन नियमों का उपयोग करके, लेखक एक विशेष पथ (एक "आइचलर इंटीग्रल" या Eichler integral) बनाता है जो $\zeta(3)$ की उलझी हुई दुनिया को मॉड्यूलर फॉर्म्स की सममित दुनिया से जोड़ता है। जादू तब होता है जब वे इस पथ के "अभिसरण त्रिज्या" (radius of convergence) को देखते हैं। सरल शब्दों में, यह वह दूरी है जहाँ तक आप पथ पर चल सकते हैं इससे पहले कि आप एक दीवार से टकरा जाएँ।

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

लेखक गणना करते हैं कि यह पथ $17 + 12\sqrt{2}$ की दूरी तक विस्तृत है, जो लगभग 33.97 है। यह दूरी पर्याप्त बड़ी है ताकि परीक्षण पास किया जा सके। शोध पत्र दिखाता है कि इस पथ पर मौजूद संख्याओं के हर (denominators) नियंत्रित और अनुमानित हैं। क्योंकि पथ इतना लंबा है और संख्याएँ इतनी सुव्यवस्थित हैं, परीक्षण पुष्टि करता है कि $\zeta(3)$ एक सरल भिन्न नहीं हो सकता।

अनिवार्य रूप से, यह शोध पत्र एक एकल संख्या के बारे में एक कठिन समस्या को हल करता है यह दिखाकर कि वह संख्या एक बड़ी, सममित संरचना का हिस्सा है। यह एक विशिष्ट ईंट की जांच करने के बजाय यह दिखाने जैसा है कि वह एक भव्य, अटूट कैथेड्रल का हिस्सा है। शोध पत्र केवल अनुमान नहीं लगाता; यह $\zeta(3)$ के अपरिमेय होने का एक कठोर, चरण-दर-चरण प्रमाण प्रदान करता है, जो गणितीय ब्रह्मांड की छिपी हुई समरूपताओं का उपयोग करके कठिन कार्य को संपन्न करता है।

तकनीकी सारांश: $\zeta(3)$ की अपरिमेयता का एक मॉड्यूलर फॉर्म प्रमाण

समस्या विवरण
यह शोध पत्र विषम धनात्मक पूर्णांकों पर रीमान ज़ेटा फलन (Riemann zeta function), विशेष रूप से $\zeta(3)$ (अपेरी स्थिरांक/Apéry's constant) की अपरिमेयता को संबोधित करता है। जबकि यूलर ने सभी $n \in \mathbb{N}$ के लिए $\zeta(2n)$ की अपरिमेयता स्थापित की थी, $\zeta(2n+1)$ की अपरिमेयता का प्रश्न काफी हद तक खुला रहा है, जिसमें केवल $\zeta(3)$ को 1978 में अपेरी द्वारा अपरिमेय सिद्ध किया गया था। यह शोध पत्र अपेरी के मूल कॉम्बिनेटरियल पुनरावृत्ति संबंधों (combinatorial recurrence relations) पर निर्भर रहने के बजाय, स्तर 6 के मॉड्यूलर रूपों के विशिष्ट स्थानों पर कॉम्प्लेक्स एनालिसिस के ढांचे का उपयोग करके अपेरी के परिणाम को पुनः प्राप्त करने का प्रयास करता है।

कार्यप्रणाली
प्रमाण की रणनीति बेकर्स के अपरिमेयता मानदंड (Beukers' irrationality criterion) पर आधारित है, जिसके लिए नियंत्रित हरों (denominators) और पर्याप्त बड़े अभिसरण त्रिज्या (radius of convergence) वाले एक विशिष्ट घात श्रेणी (power series) का निर्माण आवश्यक है। कार्यप्रणाली निम्नलिखित चरणों के माध्यम से आगे बढ़ती है:

मॉड्यूलर रूप और डिरिचलेट श्रेणी (Modular Forms and Dirichlet Series): लेखक स्तर 6 के मॉड्यूलर रूपों, विशेष रूप से कॉंग्रुएंस सबग्रुप $\Gamma_1(6)$ का उपयोग करते हैं। वे एटा कोशों (eta quotients) से व्युत्पन्न एक मॉड्यूलर फलन $t(\tau)$ और कस्प फॉर्म्स के स्थान $S_4(\Gamma_1(6))$ में भार 4 का एक मॉड्यूलर रूप $F(\tau)$ परिभाषित करते हैं।
आइचलर इंटीग्रल (Eichler Integrals): एक आइचलर इंटीग्रल $f(\tau)$ का निर्माण $F(\tau)$ से किया जाता है, जिसे $\sum a_n n^{-3} q^n$ के रूप में परिभाषित किया गया है। यह इंटीग्रल डिरिचलेट श्रेणी $L(F, s)$ से संबंधित है, जहाँ यह दिखाया गया है कि $L(F, 3) = \zeta(3)$ है।
फंक्शनल समीकरण (Functional Equations): फ्रिक इनवोल्यूशन (Fricke involution) $\tau \mapsto -1/(6\tau)$ का उपयोग करते हुए, लेखक आइचलर इंटीग्रल के लिए एक फंक्शनल समीकरण स्थापित करते हैं। वे एक सहायक फलन $H(\tau) = E(\tau)(f(\tau) - \zeta(3))$ का निर्माण करते हैं, जहाँ $E(\tau)$ भार 2 का एक विशिष्ट मॉड्यूलर रूप है। महत्वपूर्ण रूप से, $H(\tau)$ को फ्रिक इनवोल्यूशन के अंतर्गत अपरिवर्तित (invariant) दिखाया गया है।
चर परिवर्तन (Change of Variable): मॉड्यूलर फलन $t(\tau)$ , एक विस्तारित समूह $\Gamma_1(6)^+$ के फंडामेंटल डोमेन को ऊपरी अर्ध-तल (upper half-plane) पर एकय रूप से (univalently) मैप करने वाले को-ऑर्डिनेट परिवर्तन के रूप में कार्य करता है। फलन $H$ को $t$ में एक घात श्रेणी के रूप में पुन: व्यक्त किया जाता है, जिसे $H(t)$ कहा जाता है।
अभिसरण त्रिज्या विश्लेषण (Radius of Convergence Analysis): $H(t)$ की अभिसरण त्रिज्या $\tau(t)$ के व्युत्क्रम मानचित्र के ब्रांचिंग मानों (branching values) द्वारा निर्धारित होती है। पहला ब्रांचिंग मान इनवोल्यूशन का स्थिर बिंदु (fixed point), $\tau = i/\sqrt{6}$ , है, जो $t_1 = (\sqrt{2}-1)^4$ देता है। हालाँकि, क्योंकि $H(\tau)$ , $\tau(t)$ के दो स्थानीय शाखाओं के पास एक ही मान लेता है, इसलिए स्पष्ट विलक्षणता (singularity) हटाने योग्य (removable) है। वास्तविक अभिसरण त्रिज्या अगले ब्रांचिंग मान $t_2 = (\sqrt{2}+1)^4 = 17 + 12\sqrt{2}$ द्वारा निर्धारित होती है।
हर नियंत्रण (Denominator Control): $H(t)$ की घात श्रेणी के गुणांकों का विश्लेषण किया जाता है। $f(t)$ के गुणांकों के हर $D_n^3$ को विभाजित करते हैं (जहाँ $D_n = \text{lcm}(1, \dots, n)$ ), और $E(t)$ के गुणांक पूर्णांक हैं। यह सुनिश्चित करता है कि श्रेणी बेकर्स के मानदंड के लिए आवश्यक परिमेयता और हर की शर्तों को पूरा करती है।

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

$t(\tau)$ का निर्माण: शोध पत्र $\Gamma_1(6)$ के लिए एक मॉड्यूलर फलन $t(\tau)$ का स्पष्ट रूप से निर्माण करता है जो एक विशिष्ट फंडामेंटल डोमेन को ऊपरी अर्ध-तल पर मैप करता है, जिसके कुस्प्स (cusps) और आंतरिक बिंदुओं पर ज्ञात मान हैं।
हटाने योग्य विलक्षणता (Removable Singularity): एक महत्वपूर्ण तकनीकी योगदान यह प्रदर्शन करना है कि आइचलर इंटीग्रल और मॉड्यूलर रूप $E$ से निर्मित फलन $H(t)$ , पहले ब्रांचिंग मान $t_1$ से आगे विश्लेषणात्मक रूप से (analytically) विस्तृत होता है। अभिसरण त्रिज्या को $|t_1|$ से $|t_2|$ तक बढ़ाना ही वह तंत्र है जो अपरिमेयता के प्रमाण को सफल बनाता है।
अपरिमेयता का प्रमाण: निर्मित श्रेणी $H(t)$ के साथ बेकर्स के मानदंड को लागू करके, लेखक दिखाते हैं कि अभिसरण त्रिज्या $\rho = 17 + 12\sqrt{2}$ इस शर्त को संतुष्ट करती है कि $\rho > e^3$ (चूंकि $d=1, r=3$ )। यह असमिका $\zeta(3)$ के अपरिमेय होने के निष्कर्ष को अनिवार्य बनाती है।

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

अटूट संख्या का रहस्य

शोध पत्र की यात्रा: सत्य तक पहुँचने हेतु एक मॉडुलर मानचित्र

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