A Unified Substitution Method for Integration

तकनीकी सारांश: समाकलन के लिए एक एकीकृत प्रतिस्थापन विधि

समस्या विवरण
यह शोध पत्र द्विघातीय मूलक (quadratic radicals) (जैसे, $\sqrt{x^2 - a^2}$, $\sqrt{a^2 - x^2}$) और व्युत्क्रम त्रिकोणमितीय फलनों के अर्ध-कोण संयोजनों (half-angle composites) से जुड़े व्यंजकों के समाकलन में निहित जटिलता को संबोधित करता है। शास्त्रीय दृष्टिकोणों में आमतौर पर वृत्ताकार (circular) और अतिपरवलयिक (hyperbolic) प्रतिस्थापनों के बीच बारी-बारी से बदलने या यूलर के प्रथम और द्वितीय प्रतिस्थापनों पर निर्भर रहने की आवश्यकता होती है। इन विधियों के लिए अक्सर चिन्हों, शाखाओं (branches) और डोमेनों की सावधानीपूर्वक, मामला-दर-मामला ट्रैकिंग करने की आवश्यकता होती है, जिससे बीजगणितीय अक्षमताएं और "अभिव्यक्ति प्रसरण" (expression swell - अत्यधिक बड़े प्रति-अवकलज) उत्पन्न होते हैं। लेखक एक संक्षिप्त, शाखा-संगत ढांचा चाहते हैं जो इन विजातीय तकनीकों को एक एकल कलन (calculus) के तहत एकीकृत कर सके।

कार्यप्रणाली
प्रस्तावित एकीकृत प्रतिस्थापन विधि (Unified Substitution Method - USM) मुख्य व्युत्क्रम त्रिकोणमितीय फलनों के मुख्य शाखाओं (principal branches) के सरल बीजगणितीय रूपों में चरघांकों (exponentials) को व्यक्त करने पर आधारित है। यह ढांचा दो मुख्य सर्वसमिकाओं पर निर्भर है जो जटिल लघुगणक (complex logarithm) और वर्गमूल के मुख्य शाखाओं से व्युत्पन्न हैं:

1. प्रमेय 1: $\tan(\frac{1}{2}\csc^{-1} y)$ और $\tan(\frac{1}{2}\sec^{-1} y)$ के पदों में $e^{\pm i \cos^{-1}(y)}$ के बीजगणितीय रूपों को स्थापित करता है।
2. प्रमेय 2: $\tan(\frac{1}{2}\sin^{-1} y)$ और $\tan(\frac{1}{2}\cos^{-1} y)$ से संबंधित $e^{\pm i \sec^{-1}(y)}$ के पूरक सर्वसमिकाओं को प्रदान करता है।
3. लेम्मा 1 (ब्रिज लेम्मा): मानचित्रण $z \mapsto iy$ के माध्यम से वृत्ताकार और अतिपरवलयिक व्यवस्थाओं को जोड़ता है, जिससे एक ही चरघांक योजना से अतिपरवलयिक प्रतिस्थापन $y + \sqrt{y^2+1}$ को व्युत्पन्न किया जा सकता है।

इन सर्वसमिकाओं से, लेखक पांच स्पष्ट "रूपांतरण" (Transforms) व्युत्पन्न करते हैं जो मूलक और व्युत्क्रम त्रिकोणमितीय संयोजनों वाले समाकलकों को एक एकल पैरामीटर ($t, r,$ या $s$) के परिमेय फलनों में मैप करते हैं।

• रूपांतरण 1 और 2: अतिपरवलयिक/वृत्ताकार अंतर मामलों ($|y| \ge 1$) को पैरामीटर $t = e^{\pm i \cos^{-1} y}$ का उपयोग करके संभालते हैं।
• रूपांतरण 3: अतिपरवलयिक योग मामले ($\sqrt{y^2+1}$) को $s = e^{\sinh^{-1} y}$ का उपयोग करके संभालता है।
• रूपांतरण 4 और 5: वृत्ताकार मामलों ($|y| \le 1$) को पैरामीटर $r = e^{\pm i \sec^{-1} y}$ का उपयोग करके संभालते हैं।

इस पद्धति की एक प्रमुख विशेषता यह है कि इन रूपांतरणों के लिए व्युत्पन्न अवकल (differentials, $dx$) शाखा निर्धारित होने के बाद$\pm$चिन्ह के चयन से स्वतंत्र होते हैं, जिससे अतिरिक्त मामला-विभाजन की आवश्यकता समाप्त हो जाती है। इसके अतिरिक्त,$t^n - t^{-n}$ जैसे प्रति-प्रतिस्थापन अभिव्यक्तियों को सुव्यवस्थित करने के लिए एक "द्विपद-अंतर सूत्र" (binomial-difference formula) पेश किया गया है।

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

• शास्त्रीय प्रतिस्थापनों का एकीकरण: शोध पत्र प्रदर्शित करता है कि यूलर के प्रथम और द्वितीय प्रतिस्थापन, मामूली पुनर्रचनाओं ($t \leftrightarrow 1/t$ या चिन्ह परिवर्तन) तक, रूपांतरण 2 और रूपांतरण 5 के प्रत्यक्ष उदाहरण हैं।
• वेइरस्ट्रॉस प्रतिस्थापन का व्युत्पन्न: शास्त्रीय वेइरस्ट्रॉस प्रतिस्थापन ($t = \tan(\omega/2)$) को इकाई-त्रिज्या मामले ($a=1, b=0$) के लिए रूपांतरण 5 के एक प्रत्यक्ष परिणाम के रूप में दिखाया गया है।
• डोमेन निरंतरता: मुख्य जटिल शाखाओं का सख्ती से पालन करके, विधि एंडपॉइंट्स और डोमेनों के पार पारदर्शी विश्लेषणात्मक व्यवहार सुनिश्चित करती है, जिससे चिन्ह ट्रैकिंग की अस्पष्टता दूर हो जाती है।
• एल्गोरिद्मिक दक्षता: रूपांतरण अक्सर समाकलक में मूलक कारकों को जैकोबियन (Jacobian) के कारकों के साथ रद्द कर देते हैं, जिससे जटिल समाकलक एक ही चरण में सरल परिमेय रूपों (अक्सर बहुपदों) में सिमट जाते हैं।

परिणाम और प्रदर्शन
शोध पत्र विभिन्न मूलक और अर्ध-कोण कोण समाकलों को परिमेय रूपों में कम करने के लिए कार्य किए गए उदाहरण (उदाहरण 1-8) प्रस्तुत करता है। विशेष रूप से, उदाहरण 3 (एक MIT इंटीग्रेशन बी समस्या) और उदाहरण 4 दर्शाते हैं कि कैसे यह विधि पारंपरिक परिमेयकरण या पुनरावृत्ति समाकलन-बाय-भाग (integration by parts) की बोझिल आंशिक भिन्न अपघटन (partial fraction decomposition) की आवश्यकता से बचती है।

मिश्रित अर्ध-कोण टैनजेंट संयोजनों वाले 100 समाकलों का Mathematica के Integrate फंक्शन के विरुद्ध एक बेंचमार्क परीक्षण किया गया। परिणाम संकेत देते हैं कि:

• गति: USM दृष्टिकोण 100 में से 82 मामलों में तेज़ था, जो संरचनात्मक रूप से जटिल समाकलकों पर क्रम-परिमाण (order-of-magnitude) की गति वृद्धि प्रदान करता है जहाँ सामान्य-उद्देश्य वाला सॉल्वर 1-3 सेकंड से अधिक समय ले लेता है।
• अभिव्यक्ति का आकार: USM ने केवल 5 मामलों में "मॉन्स्टर" प्रति-अवकलज (बाइट गणना $\ge 10,000$) उत्पन्न किए, जबकि सामान्य सॉल्वर के लिए यह संख्या 24 थी।
• पूर्वानुमेयता: विधि ने सामान्य-उद्देश्य वाले सॉल्वर की तुलना में काफी उच्च रनटाइम पूर्वानुमानियता और कम विचरण प्रदर्शित किया।

महत्व और दायरा
शोध पत्र USM को एक व्यापक प्रतिस्थापन के बजाय एक पद्धतिगत समेकन के रूप में स्थापित करता है। इसका प्राथमिक महत्व दोनों वृत्ताकार और अतिपरवलयिक प्रतिस्थापनों के लिए एक "एकल, स्व-सुसंगत कलन" प्रदान करने में निहित है। मुख्य जटिल शाखाओं के चरघांकों के इर्द-गिर्द विश्लेषण को व्यवस्थित करके, ढांचा संक्षिप्त व्युत्पत्ति और समान डोमेन हैंडलिंग की पेशकश करता है। लेखक का दावा है कि रूपांतरण "संक्षिप्त टेम्पलेट" के रूप में कार्य करते हैं जो मानक प्रतिस्थापनों को समाहित करते हैं, जिससे बीजगणितीय ओवरहेड कम होता है और कंप्यूटर बीजगणित प्रणालियों (CAS) और मैन्युअल गणनाओं में अभिव्यक्ति प्रसरण को कम किया जा सकता है। यह कार्य सुझाव देता है कि विशिष्ट चरघांक मापदंडों के इर्द-गिंड एकीकरण को व्यवस्थित करने से द्विघातीय मूलक वाले समाकलों के एक विस्तृत वर्ग के लिए एक स्वच्छ, अधिक अनुमानित वर्कफ़्लो प्राप्त होता है।