From an Elementary Proof of Error Representation for Hermite Quadrature to a Rediscovery of Legendre Polynomials and Rodrigues Formula

यहाँ शोध पत्र "From an Elementary Proof of Error Representation for Hermite Quadrature to a Rediscovery of Legendre Polynomials and Rodrigues Formula" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र उन फलनों के संख्यात्मक समाकलन (quadrature) को संबोधित करता है जहाँ न केवल फलनों के मान, बल्कि अंतराल $[a, b]$ के अंत बिंदुओं पर उनके प्रथम $n-1$ अवकलज (derivatives) भी उपलब्ध होते हैं।

• संदर्भ: मानक न्यूटन-कोट्स सूत्र (जैसे ट्रैपेज़ॉइडल या सिम्पसन नियम) केवल फलन के मानों का उपयोग करते हैं। हर्मिट क्वाड्रचर (Hermite quadrature) एक उच्च-क्रम के अंतर्वेशन बहुपद ($H_n$) के निर्माण और उसके समाकलन के लिए अवकलज की जानकारी का उपयोग करके इसे विस्तारित करता है।
• अंतराल (The Gap): हर्मिट क्वाड्रचर के लिए शास्त्रीय त्रुटि विश्लेषण (error analysis) पीनो कर्नेल प्रमेय (Peano kernel theorem) या मानक अंतर्वेशन त्रुटि सूत्रों पर निर्भर करता है। इन शास्त्रीय दृष्टिकोणों के लिए सटीक त्रुटि प्रतिनिधित्व प्रदान करने हेतु इंटीग्रैंड (integrand) के $2n$-वें अवकलज ($f^{(2n)}$) का अस्तित्व आवश्यक है।
• चुनौती: कई व्यावहारिक फलनों में केवल $n$ सतत अवकलज (continuous derivatives) होते हैं (या $f^{(n)} \in L^2$), लेकिन उनमें शास्त्रीय विधियों के लिए आवश्यक उच्च-क्रम की नियमितता ($2n$) का अभाव होता है। लेखक त्रुटि प्रतिनिधित्व के एक ऐसे प्रारंभिक (elementary) व्युत्पन्न की खोज कर रहे हैं जो:
  1. केवल $n$-वें अवकलज के अस्तित्व की आवश्यकता रखता हो।
  2. पीनो जैसे जटिल प्रमेयों पर निर्भर हुए बिना एक सटीक त्रुटि सूत्र प्रदान करता हो।
  3. शास्त्रीय ऑर्थोगोनल बहुपदों (orthogonal polynomials) के साथ गहरे संबंधों को प्रकट करता हो।

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

लेखक रिवर्स इंटीग्रेशन बाय पार्ट्स (Reverse Integration by Parts - RIBP) और गुणांक मिलान (coefficient matching) पर आधारित एक नवीन, प्रारंभिक दृष्टिकोण का उपयोग करते हैं।

• चरण 1: हर्मिट अंतर्वेशन सूत्रीकरण (Hermite Interpolation Formulation):
  वे $a$ और $b$ पर $f^{(k)}(a)$ और $f^{(k)}(b)$ के मानों ($k=0, \dots, n-1$) का उपयोग करके दो-बिंदु हर्मिट अंतर्वेशी बहुपद $H_n(f; x)$ को परिभाषित करते हैं। क्वाड्रचर नियम $\int_a^b f(x) dx$ का सन्निकटन $\int_a^b H_n(f; x) dx$ द्वारा करता है।

• चरण 2: रिवर्स इंटीग्रेशन बाय पार्ट्स (RIBP):
  मानक इंटीग्रेशन बाय पार्ट्स के बजाय, वे $\int_a^b f(x) dx$ पर $n$ बार RIBP लागू करते हैं। इससे सीमा पदों (boundary terms) और $n$-वें अवकलज वाले एक अवशेष समाकल (residual integral) का विस्तार प्राप्त होता है:
  $$\int_a^b f(x) dx = \sum \text{Boundary Terms} + \int_a^b (-1)^n f^{(n)}(x) K_n(x, \theta) dx$$
  यहाँ, $K_n(x, \theta)$ एक बहुपद कर्नेल (polynomial kernel) है जिसमें स्वतंत्र पैरामीटर $\theta = \{c, \delta_0, \dots, \delta_{n-2}\}$ शामिल हैं।

• चरण 3: गुणांक मिलान (Coefficient Matching):
  लेखक हर्मिट क्वाड्रचर नियम के भार (weights) की गणना करते हैं (जो $H_n$ के समाकलन से प्राप्त होता है) और उन्हें RIBP विस्तार से उत्पन्न सीमा पदों के साथ मिलाते हैं।

  • समीकरणों के एक निकाय को हल करके, वे पैरामीटर $\theta$ को अनन्य रूप से (uniquely) निर्धारित करते हैं ताकि RIBP विस्तार के सीमा पद हर्मिट क्वाड्रचर भारों से सटीक रूप से मेल खा सकें।
  • यह प्रक्रिया सीमा पदों को समाप्त कर देती है, जिससे त्रुटि $E_n$ अवशेष समाकल के रूप में बच जाती है:
    $$E_n = \int_a^b (-1)^n f^{(n)}(x) K_n(x, \theta^*) dx$$

• चरण 4: कर्नेल का विश्लेषण (Analysis of the Kernel):
  पैरामीटर्स को स्थिर करने के बाद, लेखक परिणामी कर्नेल $K_n(x, \theta^*)$ के गुणों का विश्लेषण करते हैं। वे कर्नेल की संरचना को पहचानने के लिए ऑर्थोगोनैलिटी (orthogonality) की शर्तों और बहुपद गुणों का उपयोग करते हैं।

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

A. मृदु नियमितता के साथ प्रारंभिक त्रुटि प्रतिनिधित्व (Elementary Error Representation with Milder Regularity)

मुख्य योगदान हर्मिट क्वाड्रचर के लिए एक सटीक त्रुटि सूत्र है जिसके लिए केवल $n$-वें अवकलज ($f^{(n)}$) के अस्तित्व की आवश्यकता होती है, जबकि शास्त्रीय विधियों के लिए $f^{(2n)}$ की आवश्यकता होती है।

• महत्व: यह हर्मिट क्वाड्रचर त्रुटि सीमाओं की वैधता को फलनों के एक व्यापक वर्ग (जैसे कि उच्च-क्रम के अवकलजों में सिंगुलैरिटी वाले फलन या वे जो केवल सोबोलेव स्पेस $W^{n, \infty}$ में हैं) तक विस्तारित करता है।
• व्युत्पत्ति: यह प्रमाण पूरी तरह से प्रारंभिक कलन (integration by parts और General Leibniz Rule) पर आधारित है, जो प्रारंभिक व्युत्पत्ति के लिए पीनो कर्नेल प्रमेय जैसी भारी गणितीय प्रक्रियाओं से बचता है।

B. लेजेंड्रे बहुपदों की पुनर्खोज (Rediscovery of Legendre Polynomials)

गुणांक मिलान का एक आश्चर्यजनक उप-उत्पाद त्रुटि कर्नेल की पहचान है।

• परिणाम: यह सिद्ध किया गया है कि कर्नेल $K_n(x, \theta^*)$ अंतराल $[a, b]$ पर डिग्री $n$ का शिफ्टेड और अननॉर्मलाइज्ड लेजेंड्रे बहुपद (shifted and unnormalized Legendre polynomial) है।
• निहितार्थ: यह एक सुंदर, पहले से अनखोजे गए संबंध को स्थापित करता है: लेजेंड्रे बहुपद वास्तव में अंतर्वेशी हर्मिट क्वाड्रचर नियमों के त्रुटि कर्नेल हैं।

C. रॉड्रिग्स फॉर्मूला की पुनर्खोज (Rediscovery of Rodrigues Formula)

पहचाने गए कर्नेल $K_n$ को $n$ बार समाकलित करके और शास्त्रीय त्रुटि रूप (जहाँ $f^{(2n)}$ मौजूद है) का उपयोग करके, लेखक लेजेंड्रे बहुपदों के लिए रॉड्रिग्स फॉर्मूला को उनके त्रुटि विश्लेषण के एक स्वाभाविक परिणाम के रूप में व्युत्पन्न करते हैं:
$$K_n(x) = \frac{1}{(2n)!} \frac{d^n}{dx^n} \left[ (x-a)^n (x-b)^n \right]$$
यह एप्रोक्सिमेशन थ्योरी (approximation theory) में इस मौलिक सूत्र को व्युत्पन्न करने के लिए एक नया, सहज मार्ग प्रदान करता है।

D. नए त्रुटि अंतराल (New Error Bounds)

शोध पत्र सामान्य $n$ के मामले के लिए स्पष्ट त्रुटि सीमाएँ प्रदान करता है:

• यूनिफॉर्म नॉर्म (Uniform Norm): $f^{(n)}$ के मिडरेंज से विचलन पर आधारित सीमाएँ।
• $L^2$ नॉर्म ($L^2$ Norm): लेजेंड्रे कर्नेल के $L^2$ नॉर्म का उपयोग करते हुए, $f^{(n)}$ के माध्य (mean) से विचलन पर आधारित सीमाएँ।
• उच्च अवकलज (Higher Derivatives): यदि $f^{(n+k}$ मौजूद है, तो बहुपद सन्निकटन सिद्धांत (चेबिशेव अंतर्वेशन) का उपयोग करके अधिक सटीक सीमाएँ प्राप्त की जाती हैं।

E. वैकल्पिक प्रमाण और विस्तार (Alternative Proofs and Extensions)

• पीनो कर्नेल सत्यापन (Peano Kernel Verification): लेखक यह सत्यापित करने के लिए पीनो कर्नेल प्रमेय का उपयोग करके एक माध्यमिक प्रमाण प्रदान करते हैं (जिसके लिए $f^{(2n)}$ की आवश्यकता होती है) कि उनका प्रारंभिक RIBP दृष्टिकोण उच्च नियमितता होने पर समान परिणाम देता है।
• कंपोजिट नियम (Composite Rule): वे कई उप-अंतरालों पर व्यावहारिक अनुप्रयोगों के लिए एकल-अंतराल नियम को कंपोजिट हर्मिट क्वाड्रचर नियम में विस्तारित करते हैं।

4. मुख्य परिणाम (Key Results)

1. सटीक त्रुटि सूत्र:
   $$E_n = \int_a^b (-1)^n f^{(n)}(x) P_n^*(x) dx$$
   जहाँ $P_n^*(x)$ शिफ्टेड लेजेंड्रे बहुपद है।
2. पैरामीटर की विशिष्टता (Parameter Uniqueness): हर्मिट भारों को RIBP गुणांकों से मिलाने के लिए उपयोग किए जाने वाले समीकरणों का एक अद्वितीय समाधान है, जिसे पुनरावर्ती (recursively) रूप से हल किया जा सकता है।
3. कर्नेल के गुण (Kernel Properties): कर्नेल $K_n$ सभी डिग्री $< n$ के बहुपदों के विरुद्ध ऑर्थोगोनैलिटी की शर्तों को संतुष्ट करता है और अंतराल के मध्य बिंदु के संबंध में $n$ के आधार पर सममित (symmetric)/असममित (antisymmetric) है।
4. संख्यात्मक उदाहरण: शोध पत्र $f(x) = x^2 \sin(x)$ के माध्यम से प्रदर्शित करता है कि हर्मिट क्वाड्रचर, ट्रैपेज़ॉइडल नियम की तुलना में काफी बेहतर प्रदर्शन करता है, और प्राप्त त्रुटि सीमाएँ सटीक (tight) हैं।

5. महत्व (Significance)

• सैद्धांतिक अंतर्दृष्टि: यह शोध पत्र संख्यात्मक समाकलन और ऑर्थोगोनल बहुपद सिद्धांत के बीच के अंतर को पाटता है, यह दिखाते हुए कि लेजेंड्रे बहुपद केवल ऑर्थोगोनल प्रोजेक्शन से ही नहीं, बल्कि हर्मिट अंतर्वेशन की त्रुटि संरचना से स्वाभाविक रूप से उत्पन्न होते हैं।
• व्यावहारिक उपयोगिता: नियमितता की आवश्यकता को $2n$ से घटाकर $n$ करके, यह विधि त्रुटि अनुमान के लिए एक कठोर ढांचा प्रदान करती है जहाँ शास्त्रीय विधियाँ विफल हो जाती हैं (जैसे सीमित स्मूथनेस वाले फलन)।
• शैक्षणिक मूल्य: इसकी व्युत्पत्ति "प्रारंभिक" (elementary) है, जो लेजेंड्रे बहुपदों और हर्मिट क्वाड्रचर के बीच के जटिल संबंध को उन्नत फलन विश्लेषण (functional analysis) के बिना सुलभ बनाती है।
• एकीकृत ढांचा: यह रॉड्रिग्स फॉर्मूला, लेजेंड्रे बहुपदों के गुणों और हर्मिट क्वाड्रचर के त्रुटि विश्लेषण को एक एकल सुसंगत ढांचे में एकीकृत करता है।

संक्षेप में, यह कार्य हर्मिट क्वाड्रचर के त्रुटि विश्लेषण को उच्च-नियमितता आवश्यकता वाली समस्या से बदलकर एक अधिक सुलभ, प्रारंभिक व्युत्पत्ति में बदल देता है, जो साथ ही शास्त्रीय ऑर्थोगोनल बहुपदों के साथ गहरे संबंधों को उजागर करता है।