यह चित्र चार बिंदुओं के लिए दिखाता है ((−9, 5), (−4, 2), (−1, −2), (7, 9)), (घन) अंतर्वेशन बहुपद < स्पैन स्टाइल = रंग: काला; >L(x) (धराशायी, काला), जो स्केल किए गए आधार बहुपदों का योग है य0ℓ0(x), य1ℓ1(x), य2ℓ2(x) और य3ℓ3(एक्स)। अंतर्वेशन बहुपद सभी चार नियंत्रण बिंदुओं से होकर गुजरता है, और प्रत्येक स्केल्ड आधार बहुपद अपने संबंधित नियंत्रण बिंदु से गुजरता है और 0 है जहां x अन्य तीन नियंत्रण बिंदुओं से समान है।
संख्यात्मक विश्लेषण में, लैग्रेंज अंतर्वेशन बहुपद की निम्नतम श्रेणी का अद्वितीय बहुपद है जो बहुपद डेटा के समुच्चय को अंतर्वेशनित करता है।
किसी फलन के ग्राफ़ के डेटा समुच्चय को देखते हुए साथ नोड कहलाते हैं और मान कहलाते हैं। लैग्रेंज बहुपद श्रेणी है और प्रत्येक मान को संबंधित नोड पर मानता है,
हालांकि इसका नाम जोसेफ-लुई लाग्रेंज के नाम पर रखा गया, जिन्होंने इसे 1795 में प्रकाशित किया था,[1] विधि पहली बार 1779 में एडवर्ड वारिंग द्वारा खोजी गई थी।[2] यह लियोनहार्ड यूलर द्वारा 1783 में प्रकाशित एक सूत्र का भी आसान परिणाम है।[3]
लैग्रेंज बहुपदों के उपयोग में न्यूटन-कोट्स सूत्र शामिल हैं। न्यूटन-कोट्स संख्यात्मक एकीकरण की विधि और शमीर की गुप्त साझाकरण। क्रिप्टोग्राफी में शमीर की गुप्त साझाकरण योजना।
समस्थानिक नोड्स के लिए, लैग्रेंज अंतर्वेशन बड़े दोलन की रूंज की घटना के लिए अतिसंवेदनशील है।
का एक समुच्चय दिया नोड्स , जो सभी अलग-अलग होने चाहिए, सूचकांकों के लिए , श्रेणी के बहुपदों के लिए लैग्रेंज आधार उन नोड्स के लिए बहुपदों का समूह है प्रत्येक श्रेणी जो मान लेते हैं अगर और . क्रोनकर डेल्टा का उपयोग करके इसे लिखा जा सकता है प्रत्येक आधार बहुपद को उत्पाद द्वारा स्पष्ट रूप से वर्णित किया जा सकता है:
ध्यान दें कि अंश है नोड्स पर जड़ें जबकि भाजक परिणामी बहुपद को स्केल करता है ताकि
संबंधित मानों के माध्यम से उन नोड्स के लिए लैग्रेंज अंतर्वेशन बहुपद रैखिक संयोजन है:
प्रत्येक आधार बहुपद की श्रेणी होती है , तो योग श्रेणी है , और यह डेटा को अंतर्वेशनित करता है क्योंकि
अंतर्वेशन बहुपद अद्वितीय है। सबूत: बहुपद मान लें श्रेणी का डेटा को इंटरपोलेट करता है। फिर फर्क पर शून्य है विशिष्ट नोड्स लेकिन श्रेणी का एकमात्र बहुपद से अधिक के साथ जड़ें निरंतर शून्य कार्य है, इसलिए या
बैरीसेंट्रिक रूप
प्रत्येक लाग्रेंज आधार बहुपद तीन भागों, एक समारोह के उत्पाद के रूप में फिर से लिखा जा सकता है हर आधार बहुपद के लिए सामान्य, एक नोड-विशिष्ट स्थिरांक (बैरीसेंट्रिक वजन कहा जाता है), और विस्थापन का प्रतिनिधित्व करने वाला एक हिस्सा को :[4]
फैक्टरिंग करके योग से बाहर, हम लैग्रेंज बहुपद को तथाकथित प्रथम बेरिकेंट्रिक रूप में लिख सकते हैं:
अगर वजन पूर्व-गणना की गई है, इसके लिए केवल आवश्यकता है संचालन की तुलना में प्रत्येक लाग्रेंज आधार बहुपद का मूल्यांकन करने के लिए व्यक्तिगत रूप से।
एक नया नोड शामिल करने के लिए बैरीसेंट्रिक अंतर्वेशन फॉर्मूला को भी आसानी से अपडेट किया जा सकता है प्रत्येक को विभाजित करके , द्वारा और नया निर्माण ऊपरोक्त अनुसार।
किसी के लिए क्योंकि निरंतर कार्य श्रेणी का अद्वितीय बहुपद है डेटा अंतर्वेशनित करना इस प्रकार हम विभाजित करके बैरेंट्रिक सूत्र को और सरल बना सकते हैं
इसे बेरसेंट्रिक अंतर्वेशन फॉर्मूला का दूसरा रूप या सही रूप कहा जाता है।
गणना लागत और सटीकता में इस दूसरे रूप के फायदे हैं: यह मूल्यांकन से बचा जाता है ; भाजक में प्रत्येक शब्द की गणना करने का कार्य कंप्यूटिंग में किया जा चुका है और इसलिए हर में योग की गणना करने में केवल लागत आती है अतिरिक्त संचालन; मूल्यांकन बिंदुओं के लिए जो एक नोड के करीब हैं , भयावह रद्दीकरण आमतौर पर मूल्य के लिए एक समस्या होगी , हालांकि यह मात्रा अंश और हर दोनों में दिखाई देती है और अंतिम परिणाम में अच्छी सापेक्ष सटीकता छोड़ते हुए दोनों रद्द हो जाते हैं।
मूल्यांकन करने के लिए इस सूत्र का उपयोग करना नोड्स में से एक पर अनिश्चित रूप में परिणाम होगा ; कंप्यूटर कार्यान्वयन को ऐसे परिणामों को प्रतिस्थापित करना चाहिए
प्रत्येक लाग्रेंज आधार बहुपद को बेरिकेंट्रिक रूप में भी लिखा जा सकता है:
== रैखिक बीजगणित == से एक परिप्रेक्ष्य
एक बहुपद अंतर्वेशन को हल करना # अंतर्वेशन पॉलीनोमियल का निर्माण रैखिक बीजगणित में मैट्रिक्स के व्युत्क्रम की समस्या की ओर ले जाता है। हमारे अंतर्वेशन बहुपद के लिए एक मानक एकपदी आधार का उपयोग करना , हमें वैंडरमोंड मैट्रिक्स को उल्टा करना चाहिए समाधान करना गुणांक के लिए का . एक बेहतर आधार चुनकर, लैग्रेंज आधार, , हम केवल पहचान मैट्रिक्स, क्रोनकर डेल्टा प्राप्त करते हैं, जो इसका अपना प्रतिलोम है: लैग्रेंज आधार स्वचालित रूप से वैंडरमोंड मैट्रिक्स के एनालॉग को उलट देता है।
यह निर्माण चीनी शेष प्रमेय के अनुरूप है। पूर्णांक मॉडुलो अभाज्य संख्याओं के अवशेषों की जाँच करने के बजाय, हम रैखिकों द्वारा विभाजित किए जाने पर बहुपदों के अवशेषों की जाँच कर रहे हैं।
इसके अलावा, जब ऑर्डर बड़ा होता है, तो इंटरपोलेटेड बहुपद के गुणांकों को हल करने के लिए फास्ट फूरियर रूपांतरण का उपयोग किया जा सकता है।
उदाहरण
हम इंटरपोलेट करना चाहते हैं डोमेन के ऊपर तीन नोड्स पर :
नोड बहुपद है
बैरीसेंट्रिक भार हैं
लाग्रेंज आधार बहुपद हैं
लैग्रेंज इंटरपोलिंग बहुपद है:
(द्वितीय) बेरसेंट्रिक रूप में,
टिप्पणियाँ
लैग्रेंज बहुपदों के एक सेट के लिए अंतर्वेशन अपसरण का उदाहरण।.
अंतर्वेशन बहुपद का लैग्रेंज रूप बहुपद अंतर्वेशन के रैखिक चरित्र और अंतर्वेशन बहुपद की विशिष्टता को दर्शाता है। इसलिए, इसे प्रमाणों और सैद्धांतिक तर्कों में पसंद किया जाता है। वैंडरमोंड निर्धारक के गायब न होने के कारण, वैंडरमोंड मैट्रिक्स की व्युत्क्रमणीयता से विशिष्टता भी देखी जा सकती है।
लेकिन, जैसा कि निर्माण से देखा जा सकता है, हर बार एक नोड xk बदलता है, सभी लैग्रेंज आधार बहुपदों को पुनर्गणना करना पड़ता है। व्यावहारिक (या कम्प्यूटेशनल) उद्देश्यों के लिए अंतर्वेशन बहुपद का एक बेहतर रूप लैग्रेंज अंतर्वेशन (नीचे देखें) या न्यूटन बहुपदों का बेरिकेंट्रिक रूप है।
लैग्रेंज और अन्य अंतर्वेशन समान दूरी वाले बिंदुओं पर, जैसा कि ऊपर के उदाहरण में है, वास्तविक कार्य के ऊपर और नीचे एक बहुपद दोलन करता है। यह व्यवहार अंकों की संख्या के साथ बढ़ने लगता है, जिससे विचलन होता है जिसे रन्ज की घटना के रूप में जाना जाता है; चेबीशेव नोड्स पर अंतर्वेशन बिंदु चुनकर समस्या को समाप्त किया जा सकता है।[5]
न्यूटन-कोट्स सूत्र प्राप्त करने के लिए लाग्रेंज आधार बहुपदों का संख्यात्मक एकीकरण में उपयोग किया जा सकता है।
लैग्रेंज अंतर्वेशन फॉर्मूला में अवशेष
किसी दिए गए फलन f को श्रेणी के बहुपद द्वारा अंतर्वेशनित करते समय k नोड्स पर हमें शेष मिलता है जिसे व्यक्त किया जा सकता है[6]
कहाँ विभाजित मतभेदों के लिए अंकन है। वैकल्पिक रूप से, शेष को जटिल डोमेन में समोच्च अभिन्न के रूप में व्यक्त किया जा सकता है
स्पष्ट रूप से, नोड्स पर शून्य है। ढूँढ़ने के लिए एक बिंदु पर , एक नया कार्य परिभाषित करें और चुनें कहाँ वह स्थिरांक है जिसे हमें दिए गए के लिए निर्धारित करना है . हम चुनते हैं ताकि है शून्य (सभी नोड्स पर और ) बीच में और (अंतिम बिंदुओं सहित)। ये मानते हुए है -समय अलग-अलग, के बाद से और बहुपद हैं, और इसलिए, असीम रूप से भिन्न हैं, होगा -समय अलग करने योग्य। रोले के प्रमेय द्वारा, है शून्य, है शून्य... 1 शून्य है, कहते हैं . स्पष्ट रूप से लिख रहा हूँ :
(क्योंकि उच्चतम शक्ति में है )
समीकरण के रूप में पुनर्व्यवस्थित किया जा सकता है
तब से अपने पास
== डेरिवेटिव्स == d}एक लाग्रेंज अंतर्वेशी बहुपद के वें व्युत्पन्न आधार बहुपद के डेरिवेटिव के संदर्भ में लिखा जा सकता है,
स्मरण (देखें § Definition ऊपर) कि प्रत्येक लाग्रेंज आधार बहुपद है
उत्पाद नियम # दो से अधिक कारकों के उत्पाद का उपयोग करके पहला व्युत्पन्न पाया जा सकता है:
↑Lagrange, Joseph-Louis (1795). "Leçon Cinquième. Sur l'usage des courbes dans la solution des problèmes". Leçons Elémentaires sur les Mathématiques (in français). Paris. Republished in Serret, Joseph-Alfred, ed. (1877). Oeuvres de Lagrange. Vol. 7. Gauthier-Villars. pp. 271–287. Translated as "Lecture V. On the Employment of Curves in the Solution of Problems". Lectures on Elementary Mathematics. Translated by McCormack, Thomas J. (2nd ed.). Open Court. 1901. pp. 127–149.