Two algebraic proofs of the transcendence of $\mathrm{e}$ based on formal power series

प्रदान किए गए शोध पत्र के आधार पर, मार्टिन क्लज़ार के $e$ की अपरिमेयता (transcendence) के दो बीजगणितीय प्रमाणों पर आधारित तकनीकी सारांश यहाँ दिया गया है।

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

यह शोध पत्र $e$ की अपरिमेयता को सिद्ध करने की शास्त्रीय समस्या को संबोधित करता है। जबकि अपरिमेयता को सर्वप्रथम हर्मिट द्वारा सिद्ध किया गया था और बाद में हिल्बर्ट द्वारा परिष्कृत किया गया था, ये शास्त्रीय प्रमाण भारी रूप से अगणनीय समुच्चयों (uncountable sets) (विशेष रूप से, $[0, +\infty)$ जैसे अंतरालों पर परिभाषित वास्तविक-मान वाले फलनों और अनुचित रीमैन समाकल/improper Riemann integrals) पर निर्भर करते हैं।

लेखक एक मौलिक प्रश्न उठाते हैं: क्या अगಣनीय समुच्चयों का पर्याप्त उपयोग किए बिना $e$ की अपरिमेयता को सिद्ध करना संभव है? लक्ष्य प्रमाण को केवल गणनीय संरचनाओं (countable structures), विशेष रूप से औपचारिक घात श्रेणियों (formal power series) का उपयोग करके पुनर्गठित करना है, जिससे वास्तविक विश्लेषण (वास्तविक संख्याओं के अनुक्रमों के सीमा/limits, अगणनीय डोमेन) की विश्लेषणात्मक मशीनरी के बजाय बीजगणितीय और संयोजन संबंधी विधियों को अपनाया जा सके।

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

शोध पत्र दो अलग-अलग बीजगणितीय दृष्टिकोण प्रस्तुत करता है जो हिल्बर्ट के प्रमाण के विश्लेषणात्मक उपकरणों को औपचारिक घात श्रेणियों पर संचालन के माध्यम से प्रतिस्थापित करते हैं।

A. हिल्बर्ट का शास्त्रीय प्रमाण (आधार रेखा)

लेखक विरोधाभास तंत्र को स्थापित करने के लिए हिल्बर्ट के प्रमाण की समीक्षा करते हैं:

1. मान लें कि $P = \sum_{j=0}^n a_j e^j = 0$ जहाँ $a_j$ पूर्णांक हैं (सभी शून्य नहीं हैं)।
2. एक बहुपद $p_r(x) = x^r((x-1)\cdots(x-n))^{r+1}$ को परिभाषित करें।
3. एक समाकल $I_r = \int_0^\infty p_r(x)e^{-x} dx$ का निर्माण करें।
4. गुणनफल $P \cdot I_r$ को दो भागों में विभाजित करें: $A_r$ (0 से $j$ तक का समाकल) और $B_r$ ($j$ से $\infty$ तक का समाकल)।
5. यह दिखाएं कि $A_r \to 0$ तेजी से होता है (घातांकीय रूप से सीमित) जबकि $B_r$, $r!$ का एक गैर-शून्य पूर्णांक गुणज है।
6. विरोधाभास इस तथ्य से उत्पन्न होता है कि बड़े $r$ के लिए $A_r + B_r = 0$ नहीं हो सकता।
   आलोचना: यह विधि वास्तविक संख्याओं के अगणनीय सेट और अनुचित समाकल (improper integrals) का उपयोग करती है।

B. प्रथम बीजगणितीय प्रमाण: बीकर्स, बेज़िविन और रोबा का विशिष्टीकरण

यह प्रमाण $e$ के विशिष्ट मामले के लिए लिंडमैन-वेइरस्ट्रैस प्रमेय के बीजगणितीय प्रमाण को अनुकूलित करता है।

• मुख्य अवधारणा: परिमेय औपचारिक घात श्रेणियों (rational formal power series) ($C[[x]]$) का उपयोग करता है।
• प्रमुख परिभाषाएँ:
  • एक श्रेणी 'परिमेय' है यदि इसे $p(x)/q(x)$ के रूप में लिखा जा सकता है।
  • परिमेय श्रेणियों में ध्रुवों (poles) को शामिल करते हुए एक अद्वितीय आंशिक भिन्न अपघटन (partial fraction decomposition) होता है।
• तंत्र:
  1. अनुक्रम $u_n = \sum b_j \alpha_j^n$ और $v_n = n! \sum_{r=0}^n u_r/r!$ को परिभाषित करें।
  2. मान लें $\sum b_j e^{\alpha_j} = 0$। इसका तात्पर्य है कि जनरेटिंग फंक्शन $V(x) = \sum v_n x^n$ एक विशिष्ट अवकल समीकरण (differential equation) का पालन करता है: $(1-x)V(x) - x^2 V'(x) = \sum \frac{b_j}{1-\alpha_j x}$।
  3. प्रस्ताव 2.1: दिखाता है कि ऑपरेटर $p(x)A(x) + cx^m A'(x)$ ध्रुव क्रम (pole orders) को सुरक्षित रखता है या बढ़ाता है।
  4. प्रमेय 2.2: सिद्ध करता है कि यदि $v_n$ एक विशिष्ट दर ($O(A^n)$) पर बढ़ता है, तो श्रेणी $V(x)$ अनिवार्य रूप से परिमेय होगी।
  5. विरोधाभास: $V(x)$ के लिए व्युत्पन्न समीकरण एक ऐसी ध्रुव संरचना (pole structure) को दर्शाता है जो प्रस्ताव 2.1 में स्थापित परिमेय श्रेणियों के गुणों का खंडन करती है।

C. द्वितीय बीजगणितीय प्रमाण: अर्ध-औपचारिक समाकलन (Semiformal Integration)

यह लेखक का मूल योगदान है, जो हिल्बर्ट के समाकल प्रमाण को सीधे औपचारिक घात श्रेणियों की भाषा में अनुवादित करता है।

• मुख्य अवधारणा: अभिसारी औपचारिक घात श्रेणियों ($R\{x\}$) पर अर्ध-औपचारिक संचालन (semiformal operations) का परिचय।
• प्रमुख परिभाषाएँ:
  • शिफ्ट (Shift): $f(x+b)$ को टेलर विस्तार गुणांकों के माध्यम से परिभाषित किया जाता है, जो मान्य है क्योंकि $f$ अभिसारी है।
  • न्यूटन समाकल (Newton Integral): सीमाओं पर प्रिमिटिव (primitive) के अंतर के रूप में औपचारिक रूप से परिभाषित है: $\int_u^v f = (\int f)(v) - (\int f)(u)$।
  • अनुचित समाकल (Improper Integral): अनुक्रम के साथ उचित समाकलों की सीमा के रूप में परिभाषित है, लेकिन इसे औपचारिक प्रणाली के भीतर बीजगणितीय रूप से माना जाता है।
  • औपचारिक घातांक (Formal Exponential): $Exp(x) = \sum \frac{x^n}{n!}$।
• तंत्र:
  1. "अर्ध-औपचारिक" घातीय पहचान $Exp((ax)+b/a) = e^b \cdot Exp(ax)$ को परिभाषित करें।
  2. हिल्बर्ट की समाकल पहचान $\int_0^\infty x^n e^{-x} dx = n!$ को आगमन (induction) और औपचारिक अवकलज (formal derivatives) का उपयोग करके एक औपचारिक पहचान (प्रस्ताव 3.16) में अनुवादित करें।
  3. $p_r(x) \cdot Exp(-x)$ के न्यूटन समाकल का उपयोग करके हिल्बर्ट के $A_r + B_r = 0$ तर्क को दोहराएं।
  4. प्रस्ताव 3.10 (समाकलन अंतराल का शिफ्ट) का उपयोग करके समाकल $\int_i^\infty p_r(x)Exp(-x) dx$ को ऐसे रूप में परिवर्तित करें जहाँ यूलर पहचान लागू होती है।
  5. यह स्थापित करें कि $B_r$, $r!$ का एक गैर-शून्य पूर्णांक गुणज है और $A_r$ घातांकीय रूप से छोटा है, जिससे वही विरोधाभास उत्पन्न होता है जैसा कि हिल्बर्ट के प्रमाण में हुआ था, लेकिन यह पूरी तरह से औपचारिक घात श्रेणियों के डोमेन के भीतर है।

3. प्रमुख योगदान (Key Contributions)

1. अगणनीय समुच्चयों का उन्मूलन: प्राथमिक योगदान यह प्रदर्शित करना है कि $e$ की अपरिमेयता को वास्तविक संख्याओं (वास्तविक संख्या, अंतराल पर निरंतर फलन) को शामिल किए बिना सिद्ध किया जा सकता है। प्रमाण केवल गणनीय संरचनाओं (पूर्णांक, परिमेय संख्या और औपचारिक घात श्रेणियाँ) पर निर्भर करते हैं।
2. विश्लेषण का बीजगणितीय अनुवाद: लेखक ने अभिसारी औपचारिक घात श्रेणियों पर विश्लेषणात्मक अवधारणाओं (अनुचित समाकल, घातांकीय क्षय और समाकलन द्वारा भाग) को बीजगणितीय संचालन (औपचारिक अवकलन, शिफ्ट और न्यूटन समाकल) में सफलतापूर्वक अनुवादित किया है।
3. दो विशिष्ट प्रमाण:
   • पहला, परिमेय श्रेणियों के माध्यम से समस्या को व्यापक लिंडमैन-वेइरस्ट्रैस प्रमेय से जोड़ता है।
   • दूसरा, $e$ के लिए हिल्बर्ट के विशिष्ट प्रमाण के प्रत्यक्ष, स्व-निहित बीजगणितीय विकल्प के रूप में कार्य करता है।
4. औपचारिक घातीय पहचान: शोध पत्र $Exp(x+y) = Exp(x)Exp(y)$ जैसी पहचानों और समाकलन नियमों को औपचारिक घात श्रेणी ढांचे के भीतर कठोरता से स्थापित करता है, यह सुनिश्चित करता है कि वे विश्लेषणात्मक अभिसरण तर्कों के बिना भी मान्य हों (यह तथ्य कि वे मानक अर्थों में अभिसारी हैं, गुणांक-वार हेरफेर की अनुमति देता है)।

4. परिणाम (Results)

• प्रमेय: संख्या $e$ अपरिमेय (transcendental) है।
• सामान्यीकरण: पहला प्रमाण पूर्णांक घातांकों के मामले में लिंडमैन-वेइरस्ट्रैस प्रमेय के बीकर्स-बेज़िविन-रोबा प्रमाण का विशिष्टीकरण है।
• विरोधाभास: दोनों प्रमाण विरोधाभास $A_r + B_r = 0$ पर पहुँचते हैं जहाँ पर्याप्त बड़े $r$ के लिए $|A_r| < 1$ और $B_r$ एक गैर-शून्य पूर्णांक है।

5. महत्व (Significance)

• मौलिक तर्क (Foundational Logic): यह शोध पत्र गणितीय तर्क और आधारों के एक विशिष्ट क्षेत्र को संबोधित करता है: गणनीय बनाम अगणनीय समुच्चयों का उपयोग करने वाले प्रमाणों के बीच का अंतर। यह उन परिणामों के लिए "भारी" विश्लेषण की आवश्यकता को चुनौती देता जो सहज रूप से बीजगणितीय प्रतीत होते हैं।
• शैक्षणिक मूल्य: यह $e$ की अपरिमेयता के लिए एक नया दृष्टिकोण प्रदान करता है, यह दिखाते हुए कि $\int x^n e^{-x} dx$ के समाकल का "जादू" फैक्टोरियल और औपचारिक श्रेणी गुणांकों के संयोजन संबंधी गुणों के माध्यम से समझा जा सकता है।
• सुगमता: अगणनीय समुच्चयों को हटाकर, प्रमाण संभावित रूप से उन लोगों के लिए अधिक सुलभ हो जाते हैं जो बीजगणितीय संयोजन विज्ञान (algebraic combinatorics) या तर्क (logic) में काम करते हैं और वास्तविक विश्लेषण की पूरी मशीनरी के साथ सहज नहीं हो सकते हैं, जबकि कठोर गणितीय मानकों को बनाए रखते हैं।
• ऐतिहासिक संदर्भ: लेखक नोट करते हैं कि हालांकि बीकर्स-बेज़िविन-रोबा प्रमाण (1990) ने यह हासिल किया था, लेकिन इसे कम उद्धृत किया गया है। यह शोध पत्र इन बीजगणितीय विधियों में रुचि जगाने का लक्ष्य रखता है और एक नया, लेखक-विकसित प्रमाण प्रदान करता है जो विशेष रूप से हिल्बर्ट के प्रमाण के "अनुचित समाकल" (improper integral) पहलू को लक्षित करता है।