Formula for Hermite multivariate interpolation and partial fraction decomposition

तकनीकी सारांश: हर्मिट मल्टीवेरिएट इंटरपोलेशन और आंशिक भिन्न अपघटन (Partial Fraction Decomposition) के लिए सूत्र

समस्या विवरण
यह शोध पत्र सन्निकटन सिद्धांत (approximation theory) और बीजगणित के दो परस्पर जुड़े हुए विषयों को संबोधित करता है:

1. मल्टीवेरिएट हर्मिट इंटरपोलेशन (Multivariate Hermite Interpolation): हाइपरप्लेनों के एक संग्रह के प्रतिच्छेदन (intersections) द्वारा परिभाषित बिंदुओं पर हर्मिट इंटरपोलेशन स्थितियों (मान और आंशिक अवकलज/partial derivatives) को संतुष्ट करने वाले अद्वितीय बहुपद $p \in \Pi_k^n$ ( $k$ चरों में कुल घात $n$ वाले बहुपद) के लिए एक स्पष्ट सूत्र खोजना।
2. आंशिक भिन्न अपघटन (Partial Fraction Decomposition): परिमेय फलनों (rational functions) $p(x)/q(x)$ को आंशिक भिन्नों में विघटित करने के लिए एक सीधा, स्पष्ट समाधान प्रदान करना, विशेष रूप से कई मूलों (multiple roots) और वास्तविक गुणांकों (जटिल संयुग्मी युग्मों सहित) वाले मामलों को संभालते हुए, बिना बड़े रैखिक तंत्रों (linear systems) को हल किए।

कार्यप्रणाली
लेखक, हाकोप हाकोपियन (Hakop Hakopian), चुंग-याओ इंटरपोलेशन (Chung–Yao interpolation) के ढांचे का उपयोग करते हैं, जो हाइपरप्लेनों की ज्यामितीय व्यवस्था पर निर्भर करता है।

• ज्यामितीय सेटअप: मान लीजिए $L_{n+k} = \{L_1, \dots, L_{n+k}\}$ $\mathbb{R}^k$ में हाइपरप्लेनों का एक संग्रह है। इस संग्रह को "ग्राह्य" (admissible) माना गया है, जिसका अर्थ है कि किन्हीं $k$ भिन्न हाइपरप्लेनों का प्रतिच्छेदन एक एकल बिंदु है, और किन्हीं $k+1$ का प्रतिच्छेदन रिक्त (empty) है।

• बहुलता परिभाषा (Multiplicity Definition): प्रत्येक भिन्न प्रतिच्छेदन बिंदु $x^{(i)}$ के लिए, एक बहुलता $m_i$ परिभाषित की जाती है जो उन हाइपरप्लेनों की संख्या पर आधारित होती है जो उस बिंदु से गुजरते हैं। इंटरपोलेशन की शर्तें प्रत्येक $x^{(i)}$ पर फलन और उसके डेरिवेटिव्स को क्रम $m_i - 1$ तक मिलाने की आवश्यकता रखती हैं।

• लैग्रेंज-टेयलर सूत्र (The Lagrange–Taylor Formula): मुख्य पद्धतिगत योगदान एक "लैग्रेंज-टेयलर" सूत्र का व्युत्पत्ति है। लेखक एक वैश्विक लुप्त होने वाले बहुपद (global vanishing polynomial) $\phi(x) = \prod L_j(x)$ और स्थानीय लुप्त होने वाले बहुपदों $\phi_i(x)$ को परिभाषित करते हैं जो सभी प्रतिच्छेदन बिंदुओं पर शून्य होते हैं सिवाय $x^{(i)}$ के।
  इंटरपोलेन्ट $p_f$ को पदों के योग के रूप में निर्मित किया जाता है:
  $$p_f(x) = \sum_{i=1}^s \phi_i(x) \cdot T_{f/\phi_i, x^{(i)}, m_i-1}(x)$$
  जहाँ $T_{g, c, m}$ बिंदु $c$ पर फलन $g$ के लिए $m$ घात का टेयलर बहुपद है। यह प्रमाण यह दिखाने के लिए लीबनीज़ नियम (Leibniz rule) पर निर्भर करता है कि यह निर्माण अन्य नोड्स पर लुप्त होने की शर्तों और लक्षित नोड पर डेरिवेटिव पुनरुत्पादन (derivative reproduction) की शर्तों को संतुष्ट करता है।

• एकचर अपघटन पर अनुप्रयोग (Application to Univariate Decomposition): शोध पत्र इस मल्टीवेरिएट ढांचे को एकचर मामले ($k=1$) पर लागू करता है। रैखिक कारकों के प्रतिच्छेदन बिंदुओं के रूप में हर $q(x)$ के मूलों को मानकर, लेखक आंशिक भिन्न अपघटन के गुणांकों के लिए स्पष्ट सूत्र प्राप्त करते हैं।

  • जटिल मूल (Complex Roots): सूत्र कई मूलों को संभालने के लिए विभाजित अंतरों (divided differences) और टेयलर विस्तार का उपयोग करता है।
  • वास्तविक अपघटन (Real Decomposition): वास्तविक बहुपदों के लिए जहाँ गैर-वास्तविक मूल संयुग्मी युग्मों के रूप में दिखाई देते हैं, लेखक इन मूलों को समूहित करते हैं। परिणामी सूत्र वास्तविक द्विघात कारकों $(x^2 + u_\nu x + v_\nu)$ और परिमेय फलन के घटकों के विभाजित अंतरों से प्राप्त वास्तविक गुणांकों का उपयोग करके इस अपघटन को व्यक्त करता है।

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

1. स्पष्ट हर्मिट सूत्र: शोध पत्र चुंग-याओ सेटिंग के भीतर मल्टीवेरिएट हर्मिट इंटरपोलेशन के लिए एक नया, स्पष्ट सूत्र प्रस्तुत करता है। पारंपरिक दृष्टिकोणों के विपरीत, जो रैखिक तंत्रों को हल करने की आवश्यकता रखते हैं, यह सूत्र सीधा है और $f/\phi_i$ के टेयलर विस्तार पर निर्भर करता है।
2. प्रत्यक्ष आंशिक भिन्न अपघटन: लेखक कई मूलों वाले परिमेय फलनों के आंशिक भिन्न अपघटन में गुणांकों के लिए स्पष्ट सूत्र व्युत्पन्न करते हैं।
   • भिन्न मूलों के लिए, सूत्र $q'(x_i)$ से संबंधित मानक परिणाम को पुनः प्राप्त करता है।
   • कई मूलों के लिए, गुणांक डेरिवेटिव (वास्तविक मूलों के लिए) या विभाजित अंतरों (जटिल संयुग्मी युग्मों के लिए) के माध्यम से स्पष्ट रूप से दिए गए हैं, जिससे रैखिक समीकरणों के निकाय को हल करने की आवश्यकता नहीं होती।
3. वास्तविक मामले का प्रबंधन: एक विशिष्ट योगदान वास्तविक परिमेय फलनों का है जिनमें जटिल संयुग्मी मूल होते हैं। शोध पत्र अपवर्तनीय द्विघात कारकों (irreducible quadratic factors) वाले पदों के लिए गुणांकों के लिए सूत्र प्रदान करता है, जिससे यह सुनिश्चित होता है कि अपघटन वास्तविक संख्याओं के क्षेत्र के भीतर रहे।

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

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