A Proof of the Continued Fraction Identity $-\pi/4 = {\rm K}_{n=1}^{\infty}\bigl((n-1)^2\,/\,{-(2n-1)}\bigr)$

यहाँ चाओ वांग के शोध पत्र "A Proof of the Continued Fraction Identity $-\pi/4 = \mathbf{K}_{n=1}^{\infty} \frac{(n-1)^2}{-(2n-1)}$" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र रमनुजन मशीन प्रोजेक्ट (Ramanujan Machine project) द्वारा अनुमानित एक विशिष्ट निरंतर भिन्न (continued fraction) पहचान के गणितीय सत्यापन को संबोधित करता है। विचाराधीन पहचान यह है:
$$-\frac{\pi}{4} = \cfrac{1}{-1 + \cfrac{1^2}{-3 + \cfrac{2^2}{-5 + \cfrac{3^2}{-7 + \ddots}}}}$$
इसे औपचारिक रूप से एक निरंतर भिन्न $K(a_n/b_n)$ के रूप में व्यक्त किया जा सकता है जहाँ:

• अंश (Numerators, $a_n$): $a_1 = 1$, और $n \geq 2$ के लिए $a_n = (n-1)^2$ है।
• हर (Denominators, $b_n$): सभी $n \geq 1$ के लिए $b_n = -(2n-1)$ है।

यद्यपि यह पहचान एल्गोरिदम द्वारा खोजी गई थी, इसकी वैधता और अभिसरण (convergence) की पुष्टि करने के लिए एक कठोर विश्लेषणात्मक प्रमाण की आवश्यकता थी। यह शोध पत्र इस पहचान को अन्य समान रमनुजन मशीन खोजों (जैसे, जहाँ $b_n = -(3n-2)$ है) से अलग करता है, यह नोट करते हुए कि समान मान पर अभिसरित होने के बावजूद, वे संरचनात्मक रूप से भिन्न हैं।

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

लेखक शास्त्रीय हाइपरजियोमेट्रिक फलन सिद्धांत (hypergeometric function theory) और निरंतर भिन्न तुल्यता रूपांतरण (equivalence transformations) के सिद्धांत पर आधारित दो-चरणीय विश्लेषणात्मक दृष्टिकोण का उपयोग करते हैं।

चरण 1: गॉस निरंतर भिन्न (Gauss Continued Fraction) से संबंध

प्रमाण आर्कटैन्जेंट फलन, $\arctan(z)$, के शास्त्रीय गॉस निरंतर भिन्न को याद करने से शुरू होता है। $|z| \leq 1$ ($z \neq \pm i$) के लिए, विस्तार है:
$$\arctan(z) = \cfrac{z}{1 + \cfrac{1^2 z^2}{3 + \cfrac{2^2 z^2}{5 + \cfrac{3^2 z^2}{7 + \ddots}}}}$$
लेखक इसे $z = -1$ पर मूल्यांकित करते हैं।

• अभिसरण औचित्य (Convergence Justification): मान हाइपरजियोमेट्रिक फलन $_2F_1(\frac{1}{2}, 1; \frac{3}{2}; -1)$ से प्राप्त किया गया है। यूलर इंटीग्रल प्रतिनिधित्व और गॉस-कुमर प्रमेय का उपयोग करते हुए, लेखक यह स्थापित करते हैं कि सीमा बिंदु $z=-1$ पर यह श्रृंखला पूर्णतः अभिसरित (absolutely converges) होती है क्योंकि $\text{Re}(c-a-b) = 0 > -1$ है।
• परिणामी मान: $z=-1$ को प्रतिस्थापित करने पर प्राप्त होता है:
  $$\arctan(-1) = -\frac{\pi}{4} = \cfrac{-1}{1 + \cfrac{1^2}{3 + \cfrac{2^2}{5 + \cfrac{3^2}{7 + \ddots}}}}$$

चरण 2: तुल्यता रूपांतरण (Equivalence Transformation)

यह शोध पत्र निरंतर भिाओं के लिए तुल्यता रूपांतरणों की अवधारणा का उपयोग करता है। दो निरंतर भिन्न तब तुल्य होते हैं जब उन्हें उनके मान को बदले बिना गैर-शून्य स्केलर $\{r_n\}$ के एक अनुक्रम के माध्यम से एक दूसरे में परिवर्तित किया जा सके।

• लेखक एक स्थिरांक रूपांतरण अनुक्रम को परिभाषित करते हैं: $r_n = -1$ सभी $n \geq 1$ के लिए।
• रूपांतरण नियमों को लागू करने पर:
  • $\tilde{a}_1 = r_1 a_1 = (-1)(-1) = 1$
  • $\tilde{b}_n = r_n b_n = (-1)(2n-1) = -(2n-1)$
  • $\tilde{a}_n = r_n r_{n-1} a_n = (-1)(-1)(n-1)^2 = (n-1)^2$
• यह रूपांतरण गॉस रूप (धनात्मक हरों के साथ) को सीधे लक्षित पहचान (ऋणात्मक हरों के साथ) में मैप करता है, जिससे सिद्ध होता है कि वे एक ही मान साझा करते हैं।

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

• कठोर प्रमाण: $-\pi/4$ के लिए विशिष्ट निरंतर भिन्न पहचान के लिए पहला स्व-निहित विश्लेषणात्मक प्रमाण प्रदान करता है जो रमनुजन मशीन साहित्य में पाया गया है।
• संरचनात्मक अंतर्दृष्टि: यह प्रदर्शित करता है कि जटिल दिखने वाली पहचान वास्तव में $\arctan(-1)$ के शास्त्रीय गॉस निरंतर भिन्न का केवल एक साइन-फ्लिप्ड (sign-flipped) संस्करण है। इसका "गैर-मानक" स्वरूप (ऋणात्मक हरों वाला) एक सरल तुल्यता रूपांतरण है, न कि कोई मौलिक रूप से नई गणितीय वस्तु।
• अभिसरण विश्लेषण: अंतर्निहित हाइपरजियोमेट्रिक श्रृंखला के गुणों और निरंतर भिन्न गुणांकों की सीमा-आवर्ती (limit-periodic) प्रकृति का उपयोग करके पूर्ण अभिसरण की पुष्टि करता है।

4. परिणाम (Results)

• प्रमेय 3.3: शोध पत्र औपचारिक रूप से सिद्ध करता है कि यह निरंतर भिन्न अभिसरित होता है और इसका मान सटीक रूप से $-\pi/4$ है।
• संख्यात्मक तुलना: लेखक इस निरंतर भिन्न के अभिसरण दर की तुलना ग्रेगरी-लीबनिज श्रृंखला ( $\pi/4$ के लिए मानक वैकल्पिक हार्मोनिक श्रृंखला) के विरुद्ध करते हैं।
  • ग्रेगरी-लीबनिज: रैखिक रूप से अभिसरित होता है ($O(n^{-1})$)। $n=20$ पर, त्रुटि $\approx 10^{-2}$ है।
  • लक्षित निरंतर भिन्न: सुपर-एक्सपोनेंशियल त्वरण (super-exponential acceleration) प्रदर्शित करता है। $n=20$ पर, त्रुटि डबल-प्रिसिजन फ्लोर ($\approx 10^{-16}$) तक गिर जाती है।
  • त्रुटियों का अनुपात ($S_n / F_n$) तेजी से बढ़ता है, जो $n=20$ पर $2.14 \times 10^{13}$ का कारक तक पहुँच जाता है।

5. महत्व (Significance)

• एल्गोरिद्मिक सत्यापन: यह कार्य एल्गोरिद्मिक खोज उपकरणों (जैसे रमनुजन मशीन) के आउटपुट को स्थापित गणितीय सिद्धांत का उपयोग करके मान्य करता है, जो कम्प्यूटेशनल अनुमान और विश्लेषणात्मक प्रमाण के बीच के अंतर को पाटता है।
• दक्षता: परिणाम $\pi$ जैसे ट्रांसेंडेंटल नंबरों के सन्निकटन के लिए मानक पावर सीरीज़ की तुलना में गॉस-प्रकार के निरंतर भिाओं की कम्प्यूटेशनल श्रेष्ठता को उजागर करते हैं। सुपर-एक्सपोनेंशियल अभिसरण उच्च-परिशुद्धता गणनाओं के लिए इस पहचान को अत्यधिक कुशल बनाता है।
• सरलता: प्रमाण शास्त्रीय सिद्धांतों (गॉस, कुमर, यूलर) और मौलिक रूपांतरणों पर निर्भर करता है, जो यह दर्शाता है कि गहरे गणितीय साम्य अक्सर सरल संरचनात्मक स्पष्टीकरण रखते हैं।

निष्कर्षतः, चाओ वांग ने एक सरल साइन रूपांतरण के तहत $\arctan(-1)$ के लिए गॉस निरंतर भिन्न के साथ जोड़कर एक जटिल एल्गोरिद्मिक खोज को सफलतापूर्वक स्पष्ट किया है, और यह सिद्ध किया है कि यह पहचान हाइपरजियोमेट्रिक फलनों के शास्त्रीय सिद्धांत का प्रत्यक्ष परिणाम है।