A Rigorous Proof of a Ramanujan Machine Identity for $-\pi/4$ via Exact Recurrence Solving

यहाँ Chao Wang के शोध पत्र "A Rigorous Proof of a Ramanujan Machine Identity for $-\pi/4$ via Exact Recurrence Solving" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र रमनुजन मशीन प्रोजेक्ट (Ramanujan Machine project) द्वारा उत्पन्न एक विशिष्ट अनुमान (conjecture) को संबोधित करता है, जो गणितीय स्थिरांकों की स्वचालित खोज के लिए समर्पित एक पहल है। इस प्रोजेक्ट ने स्थिरांक $-\pi/4$ के लिए एक गैर-मानक (non-canonical) सतत भिन्न (continued fraction) निरूपण की पहचान की है।

अनुमानित पहचान यह है:
$$-\frac{\pi}{4} = \cfrac{1}{-1 + \cfrac{1}{-4 + \cfrac{-2}{-7 + \cfrac{-9}{-10 + \cfrac{-20}{-13 + \ddots}}}}}$$
जहाँ आंशिक भाजक रैखिक हैं ($b_n = -(3n-2)$) और आंशिक अंश एक खंडीय द्विघाती (piecewise quadratic) पैटर्न का पालन करते हैं ($a_1=a_2=1$, और $n \geq 3$ के लिए $a_n = -(n-1)(2n-5)$)।

यद्यपि एल्गोरिदम विधियाँ ऐसी पहचानों को उच्च सटीकता के साथ संख्यात्मक रूप से सत्यापित कर सकती हैं, वे विश्लेषणात्मक प्रमाण प्रदान नहीं करती हैं। $n \geq 3$ के लिए अंश अनुक्रम $a_n$ की जटिलता किसी भी मानक हाइपरजियोमेट्रिक श्रेणी (hypergeometric series) के साथ प्रत्यक्ष संबंध को अस्पष्ट कर देती है, जिससे एक कठोर विश्लेषणात्मक प्रमाण चुनौतीपूर्ण हो जाता है।

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

लेखक इस पहचान को सिद्ध करने के लिए एक तीन-चरणीय विश्लेषणात्मक दृष्टिकोण अपनाते हैं, जो केवल अनुमानित साहसिक तर्क (heuristic asymptotic arguments) से आगे बढ़कर है:

A. पुनरावृत्ति संबंध का सटीक समाधान (Exact Solution of the Recurrence Relation)

सतत भिन्न के अभिसरण (convergents) $p_n/q_n$, एक द्वितीय-क्रम रैखिक अंतर समीकरण (second-order linear difference equation) का पालन करते हैं:
$$\begin{pmatrix} p_n \\ q_n \end{pmatrix} = b_n \begin{pmatrix} p_{n-1} \\ q_{n-1} \end{pmatrix} + a_n \begin{pmatrix} p_{n-2} \\ q_{n-2} \end{pmatrix}$$
प्रमाण का मूल भाग $q_n$ के भाजक अनुक्रम के लिए इस पुनरावृत्ति को स्पष्ट रूप से हल करना है। लेखक स्ट्रॉन्ग इंडक्शन (strong induction) और डबल फैक्टोरियल नोटेशन का उपयोग करके $q_n$ के लिए एक बंद-रूप अभिव्यक्ति (closed-form expression) व्युत्पन्न करते हैं।

B. व्रोंस्कियन टेलिस्कोपिंग तर्क (Wronskian Telescoping Argument)

अभिसरण स्थापित करने और आंशिक भागखंडों को सीमा (limit) से जोड़ने के लिए, लेखक विस्क्रीट व्रोंस्कियन (discrete Wronskian) ($W_n = p_n q_{n-1} - p_{n-1} q_n$) का उपयोग करते हैं।

1. व्रोंस्कियन के लिए एक पुनरावृत्ति संबंध व्युत्पन्न किया जाता है: $W_n = -a_n W_{n-1}$।
2. यह क्रमिक अभिसरणों ($p_n/q_n - p_{n-1}/q_{n-1}$) के बीच के अंतर को एक टेलिस्कोपिंग श्रेणी पद $D_n$ के रूप में व्यक्त करने की अनुमति देता है।
3. श्रेणी $\sum D_n$ के अभिसरण को अनुपात परीक्षण (Ratio Test) का उपयोग करके सिद्ध किया जाता है, जो यह दर्शाता है कि पद पर्याप्त तेजी से घटते हैं (अनुपात $\to 1/2$)।

C. एबेल योग और समाकलन मूल्यांकन (Abel Summation and Integral Evaluation)

एक बार जब सीमा को एक अनंत श्रेणी के रूप में व्यक्त कर दिया जाता है, तो लेखक श्रेणी को अधिक सुलभ रूप में बदलने के लिए एबेल योग (Abel summation) (योग-बाय-पार्ट्स) लागू करते हैं।

1. श्रेणी को यूलर बीटा फलन (Euler Beta function) से युक्त एक योग में परिवर्तित किया जाता है।
2. बीटा फलन के समाकल निरूपणों और ज्यामितीय श्रेणियों का उपयोग करते हुए, योग को एक दोहरे समाकल (double integral) में बदल दिया जाता है।
3. आंतरिक समाकल को arctangent प्रतिस्थापन का उपयोग करके हल किया जाता है, जिसके बाद चर परिवर्तन ($y = \sqrt{x/(2-x)}$) किया जाता है।
4. अंतिम एकल समाकल को समाकलन-बाय-पार्ट्स (integration by parts) के माध्यम से हल किया जाता है, जो एक बंद-रूप परिणाम देता है।

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

प्रमेय 3.1: बंद-रूप भाजक (Closed-Form Denominator)

यह शोध पत्र भाजक अनुक्रम $q_n$ के लिए सटीक समाधान स्थापित करता है:
$$q_n = (-1)^n (2n - 3)!! (n^2 + n - 1)$$
यह सूत्र विशिष्ट परंपराओं (डबल फैक्टोरियल के लिए $(-1)!!=1, (-3)!!=-1$) के तहत सभी $n \geq 0$ के लिए मान्य है। यह स्पष्ट रूप $\text{subsequent}$ चरणों के लिए अत्यंत महत्वपूर्ण है।

प्रमेय 4.1: अभिसरण और सीमा (Convergence and Limit)

यह शोध पत्र सिद्ध करता है कि सतत भिन्न पूर्णतः $-\pi/4$ की ओर अभिसरित होता है।

• अभिसरण: टेलिस्कोपिंग पदों $D_n$ पर अनुपात परीक्षण के माध्यम से सिद्ध किया गया।
• सीमा की पहचान: सीमा $L$ को इस अभिव्यक्ति में कम किया जाता है:
  $$L = -\frac{1}{2} - \frac{1}{2} I$$
  जहाँ $I$ एक समाकल है जिसका मूल्यांकन $I = \frac{\pi}{2} - 1$ के रूप में किया गया है।
  इसे वापस प्रतिस्थापित करने पर प्राप्त होता है:
  $$L = -\frac{1}{2} - \frac{1}{2}\left(\frac{\pi}{2} - 1\right) = -\frac{\pi}{4}$$

4. महत्व (Significance)

• विश्लेषणात्मक कठोरता (Analytical Rigor): यह शोध पत्र इस विशिष्ट रमनुजन मशीन अनुमान के लिए पहला कठोर विश्लेषणात्मक प्रमाण प्रदान करता है, जो संख्यात्मक सत्यापन से परे जाता है।
• पद्धतिगत नवीनता (Methodological Novelty): यह जटिल, गैर-मानक अंशों वाले सतत भिन्नों को संभालने के लिए एक शक्तिशाली तकनीक प्रदर्शित करता है, जो सटीक पुनरावृत्ति समाधान को विस्क्रीट व्रोंस्कियन पहचानों और समाकल रूपांतरों के साथ जोड़ता है।
• क्षेत्रों का मिलन (Bridging Fields): यह कार्य निरंतर खोज (रमनुजन मशीन) को शास्त्रीय विश्लेषण तकनीकों (अंतर समीकरण, विशेष फलन और समाकल कलन) के साथ जोड़ता है, जो उन अन्य मशीन-जनित पहचानों को सिद्ध करने के लिए एक टेम्पलेट प्रदान करता है जिनमें स्पष्ट हाइपरजियोमेट्रिक संरचनाएँ नहीं हैं।

संक्षेप में, Chao Wang पुनरावृत्ति भाजकों के लिए एक सटीक बंद-रूप व्युत्पन्न करके, अभिसरण को सिद्ध करके और $-\pi/4$ के सटीक मान तक पहुँचने के लिए एक परिष्कृत समाकल रूपांतरण श्रृंखला के माध्यम से परिणामी श्रेणी का मूल्यांकन करके रमनुजन मशीन के अनुमान को सफलतापूर्वक मान्य करते हैं।