{{short description|Approximation of a function by a truncated power series}}
{{short description|Approximation of a function by a truncated power series}}
[[File:Taylorspolynomialexbig.svg|thumb|right|300px|घातांकीय फलन <math display="inline">y=e^x</math> (लाल) और मूल के चारों ओर घात चार (धराशायी हरा) का संबंधित टेलर बहुपद।]]
[[File:Taylorspolynomialexbig.svg|thumb|right|300px|घातांकीय फलन <math display="inline">y=e^x</math> (लाल) और मूल के चारों ओर घात चार (धराशायी हरा) का संबंधित टेलर बहुपद।]]
{{Calculus |Differential}}
{{Calculus |अंतर}}
[[ गणना |गणना]] में, टेलर का प्रमेय किसी दिए गए बिंदु के चारों ओर घात <math display="inline">k</math>-के [[बहुपद]] <math display="inline">k</math>- गुणाविभेदित फलन का एक अनुमान देता है, जिसे <math display="inline">k</math>-वें टेलर बहुपद कहा जाता है। एक सुचारु फलन के लिए, टेलर बहुपद '' फलन की टेलर श्रृंखला के क्रम <math display="inline">k</math> पर खंडन है। प्रथम-क्रम टेलर बहुपद फलन का [[रैखिक सन्निकटन]] है और दूसरे-क्रम टेलर बहुपद को प्रायः 'द्विघात सन्निकटन' के रूप में जाना जाता है।<ref>(2013). [http://www.math.ubc.ca/~sujatha/2013/103/week10-12/Linearapp.pdf"Linear and quadratic approximation"] Retrieved December 6, 2018</ref> टेलर के प्रमेय के कई संस्करण हैं, कुछ इसके टेलर बहुपद द्वारा फलन की सन्निकटन त्रुटि का स्पष्ट अनुमान देते हैं।''
[[ गणना |गणना]] में, टेलर का प्रमेय किसी दिए गए बिंदु के चारों ओर घात <math display="inline">k</math>-के [[बहुपद]] <math display="inline">k</math>- गुना विभेदित फलन का एक अनुमान देता है, जिसे <math display="inline">k</math>-वें टेलर बहुपद कहा जाता है। एक सुचारु फलन के लिए, टेलर बहुपद '' फलन की टेलर श्रृंखला के क्रम <math display="inline">k</math> पर खंडन है। प्रथम-क्रम टेलर बहुपद फलन का [[रैखिक सन्निकटन]] है और दूसरे-क्रम टेलर बहुपद को प्रायः 'द्विघात सन्निकटन' के रूप में जाना जाता है।<ref>(2013). [http://www.math.ubc.ca/~sujatha/2013/103/week10-12/Linearapp.pdf"Linear and quadratic approximation"] Retrieved December 6, 2018</ref> टेलर के प्रमेय के कई संस्करण हैं, कुछ इसके टेलर बहुपद द्वारा फलन की सन्निकटन त्रुटि का स्पष्ट अनुमान देते हैं।''
टेलर के प्रमेय का नाम गणितज्ञ [[ब्रूक टेलर]] के नाम पर रखा गया है, जिन्होंने 1715 में इसका एक संस्करण बताया था,<ref>{{cite book|language=la|last=Taylor |first=Brook |title=वेतन वृद्धि की सीधी और उलटी विधि|url=https://archive.org/details/UFIE003454_TO0324_PNI-2529_000000|trans-title=Direct and Reverse Methods of Incrementation |location=London |date=1715 |at=p. 21–23 (Prop. VII, Thm. 3, Cor. 2)}} Translated into English in {{cite book|first=D. J. |last=Struik|title=A Source Book in Mathematics 1200–1800 |location=Cambridge, Massachusetts |publisher=Harvard University Press |date=1969 |pages= 329–332}}</ref> हालांकि परिणाम का एक पुराना संस्करण 1671 में [[जेम्स ग्रेगरी (खगोलशास्त्री और गणितज्ञ)]] द्वारा पहले ही उल्लेखित किया गया था।<ref>{{harvnb|Kline|1972|pp=442, 464}}.</ref>
टेलर के प्रमेय का नाम गणितज्ञ [[ब्रूक टेलर]] के नाम पर रखा गया है, जिन्होंने 1715 में इसका एक संस्करण बताया था,<ref>{{cite book|language=la|last=Taylor |first=Brook |title=वेतन वृद्धि की सीधी और उलटी विधि|url=https://archive.org/details/UFIE003454_TO0324_PNI-2529_000000|trans-title=Direct and Reverse Methods of Incrementation |location=London |date=1715 |at=p. 21–23 (Prop. VII, Thm. 3, Cor. 2)}} Translated into English in {{cite book|first=D. J. |last=Struik|title=A Source Book in Mathematics 1200–1800 |location=Cambridge, Massachusetts |publisher=Harvard University Press |date=1969 |pages= 329–332}}</ref> हालांकि परिणाम का एक पुराना संस्करण 1671 में [[जेम्स ग्रेगरी (खगोलशास्त्री और गणितज्ञ)]] द्वारा पहले ही उल्लेखित किया गया था।<ref>{{harvnb|Kline|1972|pp=442, 464}}.</ref>
Line 36:
Line 36:
जो, <math>h_2</math> के सीमित व्यवहार को देखते हुए, <math>(x - a)^2</math> की तुलना में तीव्रता से शून्य पर चला जाता है जैसे कि x, a की ओर प्रवृत्त होता है।
जो, <math>h_2</math> के सीमित व्यवहार को देखते हुए, <math>(x - a)^2</math> की तुलना में तीव्रता से शून्य पर चला जाता है जैसे कि x, a की ओर प्रवृत्त होता है।
[[File:Tayloranimation.gif|thumb|360px|right|का अनुमान <math display="inline">f(x)= \dfrac{1}{1+x^2}</math> (नीला) इसके टेलर बहुपद द्वारा <math display="inline">P_k</math> आदेश की <math display="inline">k=1,\ldots,16</math> पर केन्द्रित <math display="inline">x=0</math> (लाल) और <math display="inline">x=1</math> (हरा)। बाहर अनुमानों में बिल्कुल भी सुधार नहीं होता <math>(-1,1)</math> और <math display="inline">(1-\sqrt{2}, 1+\sqrt{2})</math>, क्रमश।]]इसी प्रकार, यदि हम उच्च घात के बहुपदों का उपयोग करते हैं तो हमें f के और भी उन्नत सन्निकटन प्राप्त हो सकते हैं, तब से हम चयनित आधार बिंदु पर f के साथ और भी अधिक व्युत्पन्नों का मिलान कर सकते हैं।
[[File:Tayloranimation.gif|thumb|360px|right|<math display="inline">f(x)= \dfrac{1}{1+x^2}</math> (नीला) का अनुमान इसके टेलर बहुपद <math display="inline">P_k</math> द्वारा क्रम का <math display="inline">k=1,\ldots,16</math> पर केन्द्रित <math display="inline">x=0</math> (लाल) और <math display="inline">x=1</math> (हरा) हैं। बाह्य अनुमानों <math>(-1,1)</math> और <math display="inline">(1-\sqrt{2}, 1+\sqrt{2})</math>, क्रमशः में बिल्कुल भी सुधार नहीं होता।]]इसी प्रकार, यदि हम उच्च घात के बहुपदों का उपयोग करते हैं तो हमें f के और भी उन्नत सन्निकटन प्राप्त हो सकते हैं, तब से हम चयनित आधार बिंदु पर f के साथ और भी अधिक व्युत्पन्नों का मिलान कर सकते हैं।
सामान्य तौर पर, घात k के बहुपद द्वारा किसी फलन का अनुमान लगाने में त्रुटि <math>(x-a)^k</math>की तुलना में बहुत तीव्रता से शून्य हो जाएगी क्योंकि x, a की ओर प्रवृत्त होता है। हालाँकि, ऐसे फलन हैं, यहां तक कि असीम रूप से भिन्न भी, जिनके लिए अनुमानित बहुपद की घात बढ़ाने से सन्निकटन की सटीकता में वृद्धि नहीं होती है: हम कहते हैं कि ऐसा फलन x = a पर विश्लेषणात्मक होने में विफल रहता है: यह (स्थानीय रूप से) इस बिंदु पर इसके अवकलज द्वारा निर्धारित नहीं होता है।
सामान्य तौर पर, घात k के बहुपद द्वारा किसी फलन का अनुमान लगाने में त्रुटि <math>(x-a)^k</math>की तुलना में बहुत तीव्रता से शून्य हो जाएगी क्योंकि x, a की ओर प्रवृत्त होता है। हालाँकि, ऐसे फलन हैं, यहां तक कि असीम रूप से भिन्न भी, जिनके लिए अनुमानित बहुपद की घात बढ़ाने से सन्निकटन की सटीकता में वृद्धि नहीं होती है: हम कहते हैं कि ऐसा फलन x = a पर विश्लेषणात्मक होने में विफल रहता है: यह (स्थानीय रूप से) इस बिंदु पर इसके अवकलज द्वारा निर्धारित नहीं होता है।
टेलर का प्रमेय स्पर्शोन्मुख प्रकृति का है: यह हमें केवल यह बताता है कि <math display="inline">k</math>-वें क्रम के सन्निकटन में त्रुटि <math display="inline">R_k</math> टेलर बहुपद ''P''<sub>k,</sub> <math display="inline">x \to a</math> के रूप में किसी भी गैर-शून्य <math display="inline">k</math>-वें घात बहुपद की तुलना में तेजी से शून्य हो जाती है। यह हमें नहीं बताता कि विस्तार के केंद्र के किसी स्थूल [[पड़ोस (गणित)|प्रतिवेश]] में त्रुटि कितनी बड़ी है, लेकिन इस उद्देश्य के लिए शेष पद (नीचे दिए गए) के लिए स्पष्ट सूत्र हैं जो f पर कुछ अतिरिक्त नियमितता मान्यताओं के अंतर्गत मान्य हैं। टेलर के प्रमेय के ये उन्नत संस्करण सामान्यतः विस्तार के केंद्र के एक छोटे से प्रतिवेश में सन्निकटन त्रुटि के लिए एक समान अभिसरण की ओर ले जाते हैं, लेकिन अनुमान आवश्यक रूप से उन प्रतिवेशों के लिए अनुप्रयुक्त नहीं होते हैं जो बहुत बड़े हैं, भले ही फलन f विश्लेषणात्मक फलन हो। उस स्थिति में किसी को मूल फलन के विश्वसनीय टेलर-अनुमान प्राप्त करने के लिए विस्तार के विभिन्न केंद्रों के साथ कई टेलर बहुपदों का चयन करना पड़ सकता है (दाईं ओर एनीमेशन देखें।)
टेलर का प्रमेय स्पर्शोन्मुख प्रकृति का है: यह हमें केवल यह बताता है कि <math display="inline">k</math>-वें क्रम के सन्निकटन में त्रुटि <math display="inline">R_k</math> टेलर बहुपद ''P''<sub>k,</sub> <math display="inline">x \to a</math> के रूप में किसी भी गैर-शून्य <math display="inline">k</math>-वें घात बहुपद की तुलना में तीव्रता से शून्य हो जाती है। यह हमें नहीं बताता कि विस्तार के केंद्र के किसी स्थूल [[पड़ोस (गणित)|प्रतिवेश]] में त्रुटि कितनी बड़ी है, लेकिन इस उद्देश्य के लिए शेष पद (नीचे दिए गए) के लिए स्पष्ट सूत्र हैं जो f पर कुछ अतिरिक्त नियमितता मान्यताओं के अंतर्गत मान्य हैं। टेलर के प्रमेय के ये उन्नत संस्करण सामान्यतः विस्तार के केंद्र के एक छोटे से प्रतिवेश में सन्निकटन त्रुटि के लिए एक समान अभिसरण की ओर ले जाते हैं, लेकिन अनुमान आवश्यक रूप से उन प्रतिवेशों के लिए अनुप्रयुक्त नहीं होते हैं जो बहुत बड़े हैं, भले ही फलन f विश्लेषणात्मक फलन हो। उस स्थिति में किसी को मूल फलन के विश्वसनीय टेलर-अनुमान प्राप्त करने के लिए विस्तार के विभिन्न केंद्रों के साथ कई टेलर बहुपदों का चयन करना पड़ सकता है (दाईं ओर एनीमेशन देखें)।
ऐसे कई तरीके हैं जिनसे हम शेष पद का उपयोग कर सकते हैं:
ऐसे कई तरीके हैं जिनसे हम शेष पद का उपयोग कर सकते हैं:
Line 111:
Line 111:
}}
}}
एफ के [[बिल्कुल निरंतर|बिल्कुल सतत]] होने के कारण{{i sup|(''k'')}} के मध्य [[बंद अंतराल|संवृत अंतराल]] पर <math display=inline>a</math> और <math display=inline>x</math>, इसका व्युत्पन्न एफ{{i sup|(''k''+1)}} एल के रूप में उपस्थित है{{i sup|1}}-फलन, और परिणाम को गणना के मौलिक प्रमेय और [[भागों द्वारा एकीकरण]] का उपयोग करके औपचारिक गणना द्वारा सिद्ध किया जा सकता है।
<math display="inline">a</math> और <math display="inline">x</math> के मध्य संवृत अंतराल पर ''f''<sup>(''k'')</sup> की पूर्ण निरंतरता के कारण, इसका व्युत्पन्न ''f''{{i sup|(''k''+1)}} ''L''<sup>1</sup>-फलन के रूप में उपस्थित है और परिणाम को गणना के मौलिक प्रमेय और [[भागों द्वारा एकीकरण]] का उपयोग करके औपचारिक गणना द्वारा सिद्ध किया जा सकता है।
===शेष के लिए अनुमान ===
===शेषफल के लिए अनुमान ===
टेलर सन्निकटन में दिखाई देने वाले शेष पद का अनुमान लगाने में सक्षम होना, इसके लिए एक सटीक सूत्र होने के बजाय, व्यवहार में प्रायः उपयोगी होता है। मान लीजिए कि एफ है {{nowrap|(''k'' + 1)}}-अंतराल I में कई बार लगातार अंतर होता है जिसमें a होता है। मान लीजिए कि ऐसे वास्तविक स्थिरांक q और Q हैं
टेलर सन्निकटन में दिखाई देने वाले शेष पद का अनुमान लगाने में सक्षम होना, इसके लिए एक सटीक सूत्र होने के बजाय, व्यवहार में प्रायः उपयोगी होता है। मान लीजिए कि a वाले अंतराल ''I'' में ''f (k + 1)''-गुना संतत भिन्न होता है। जैसे कि वास्तविक स्थिरांक q और Q हैं;
सभी के लिए {{nowrap|''x''∈(''a'' − ''r'',''a'' + ''r'').}} दूसरी असमानता को एक समान अभिसरण कहा जाता है, क्योंकि यह अंतराल पर सभी x के लिए समान रूप से रखती है {{nowrap|(''a'' − ''r'',''a'' + ''r'').}}
सभी {{nowrap|''x''∈(''a'' − ''r'',''a'' + ''r'')}} के लिए हैं। दूसरी असमानता को एक समान अनुमान कहा जाता है, क्योंकि यह अंतराल {{nowrap|(''a'' − ''r'',''a'' + ''r'')}} पर सभी x के लिए समान रूप से रखती है।
=== उदाहरण ===
=== उदाहरण ===
[[File:Expanimation.gif|thumb|400px|right|का अनुमान <math display="inline">e^x</math> (नीला) इसके टेलर बहुपद द्वारा <math>P_k</math> आदेश की <math display="inline">k=1,\ldots,7</math> पर केन्द्रित <math display="inline">x=0</math> (लाल)।]]मान लीजिए कि हम फलन का अनुमानित मान ज्ञात करना चाहते हैं <math display="inline">f(x)=e^x</math> अंतराल पर <math display="inline">[-1,1]</math> यह सुनिश्चित करते हुए कि अनुमान में त्रुटि 10 से अधिक न हो<sup>−5</sup>. इस उदाहरण में हम दिखावा करते हैं कि हम घातीय फलन के केवल निम्नलिखित गुणों को जानते हैं:
[[File:Expanimation.gif|thumb|400px|right|<math display="inline">e^x</math> (नीला) का अनुमान इसके टेलर बहुपद <math>P_k</math> द्वारा क्रम <math display="inline">k=1,\ldots,7</math> का <math display="inline">x=0</math> (लाल) पर केन्द्रित है।]]मान लीजिए कि हम अंतराल <math display="inline">[-1,1]</math> पर फलन <math display="inline">f(x)=e^x</math> का अनुमानित मान ज्ञात करना चाहते हैं। यह सुनिश्चित करते हुए कि सन्निकटन में त्रुटि 10<sup>−5</sup> से अधिक नहीं है। इस उदाहरण में हम दिखावा करते हैं कि हम घातीय फलन के केवल निम्नलिखित गुणों को जानते हैं:
इन गुणों से यह निष्कर्ष निकलता है <math display="inline">f^{(k)}(x)=e^x</math> सभी के लिए <math display="inline">k</math>, खास तरीके से, <math display="inline">f^{(k)}(0)=1</math>. इसलिए<math display="inline">k</math>-वें क्रम का टेलर बहुपद <math display="inline">f</math> पर <math display="inline">0</math> और इसका शेष पद लैग्रेंज रूप में दिया गया है
इन गुणों से यह निष्कर्ष <math display="inline">f^{(k)}(x)=e^x</math> निकलता है, सभी <math display="inline">k</math> के लिए और विशेष रूप से, <math display="inline">f^{(k)}(0)=1</math> हैं। इसलिए <math display="inline">k</math>-वें क्रम का टेलर बहुपद <math display="inline">0</math> पर <math display="inline">f</math> और इसका शेष पद लैग्रेंज रूप में दिया गया है।
जहाँ <math display="inline">\xi</math> 0 और x के मध्य कोई संख्या है. चूँकि ई<sup>x</sup> बढ़ रहा है ({{EquationNote|★}}), हम बस उपयोग कर सकते हैं <math display="inline">e^x \leq 1</math> के लिए <math display="inline">x \in [-1,0]</math> उपअंतराल पर शेषफल का अनुमान लगाने के लिए <math>[-1,0]</math>. शेष के लिए ऊपरी सीमा प्राप्त करने के लिए <math>[0,1]</math>, हम गुणधर्म का उपयोग करते हैं <math display="inline">e^\xi <e^x</math> के लिए <math display="inline">0<\xi<x</math> अंदाज़ा लगाने के लिए
जहाँ <math display="inline">\xi</math>, 0 और x के मध्य कोई संख्या है। चूँकि ''e<sup>x</sup>'' ({{EquationNote|★}}) से बढ़ रहा है, हम केवल <math display="inline">e^x \leq 1</math> के लिए <math display="inline">x \in [-1,0]</math> उपअंतराल पर शेषफल का अनुमान लगाने के लिए <math>[-1,0]</math> उपयोग कर सकते हैं। <math>[0,1]</math> पर शेषफल के लिए ऊपरी सीमा प्राप्त करने के लिए, हम गुणधर्म <math display="inline">e^\xi <e^x</math> के लिए <math display="inline">0<\xi<x</math> का उपयोग करते हैं।
([[ कारख़ाने का ]] देखें या हाथ से मानों की गणना करें <math display="inline">9! =362880</math> और <math display="inline">10! =3628800</math>.) निष्कर्ष के रूप में, टेलर का प्रमेय सन्निकटन की ओर ले जाता है
([[ कारख़ाने का |क्रमगुणित]] देखें या हाथ से मानों <math display="inline">9! =362880</math> और <math display="inline">10! =3628800</math> की गणना करें ) निष्कर्ष के रूप में, टेलर का प्रमेय सन्निकटन की ओर ले जाता है।
उदाहरण के लिए, यह सन्निकटन [[दशमलव प्रतिनिधित्व]] प्रदान करता है <math>e \approx 2.71828</math>, दशमलव के पाँच स्थानों तक सही करें।
उदाहरण के लिए, यह सन्निकटन [[दशमलव प्रतिनिधित्व]] <math>e \approx 2.71828</math> प्रदान करता है, दशमलव के पाँच स्थानों तक सही करें।
== विश्लेषणात्मकता से संबंध ==
== विश्लेषणात्मकता से संबंध ==
Line 160:
Line 160:
=== टेलर वास्तविक विश्लेषणात्मक फलनों का विस्तार ===
=== टेलर वास्तविक विश्लेषणात्मक फलनों का विस्तार ===
मान लीजिए I ⊂ 'R' एक [[खुला अंतराल|विवृत अंतराल]] है। परिभाषा के अनुसार, एक फलन f: I → 'R' एक विश्लेषणात्मक फलन है यदि इसे स्थानीय रूप से एक अभिसरण घात श्रृंखला द्वारा परिभाषित किया गया है। इसका अर्थ यह है कि प्रत्येक a ∈ I के लिए कुछ r > 0 और गुणांक c का एक क्रम उपस्थित होता है<sub>k</sub>∈ 'आर' ऐसे कि {{nowrap|(''a'' − ''r'', ''a'' + ''r'') ⊂ ''I''}} और
मान लीजिए I ⊂ 'R' एक [[खुला अंतराल|विवृत अंतराल]] है। परिभाषा के अनुसार, एक फलन f: I → '''R''' वास्तविक विश्लेषणात्मक है यदि इसे स्थानीय रूप से एक अभिसरण शक्ति श्रृंखला द्वारा परिभाषित किया गया है। इसका अर्थ यह है कि प्रत्येक a ∈ I के लिए कुछ r > 0 और गुणांक ''c<sub>k</sub>'' ∈ '''R''' का एक क्रम उपस्थित होता है,जैसे कि {{nowrap|(''a'' − ''r'', ''a'' + ''r'') ⊂ ''I''}} और
इसलिए किसी विवृत समुच्चय U ⊂ '''C''' में कोई भी [[जटिल व्युत्पन्न]] फलन f वास्तव में [[जटिल विश्लेषणात्मक]] है। वास्तविक विश्लेषणात्मक फलनों के लिए जो कुछ भी कहा गया है वह विवृत अंतराल ''I'' के साथ जटिल विश्लेषणात्मक फलनों के लिए भी अनुप्रयुक्त होता है, जिसे एक विवृत उपसमुच्चय U ∈ '''C''' द्वारा प्रतिस्थापित किया जाता है और a-केंद्रित अंतराल (a − r, a +r) को C-केंद्रित चक्रिका B(c,r) द्वारा प्रतिस्थापित किया जाता है। विशेष रूप से, टेलर विस्तार रूप में है;
इसलिए किसी विवृत समुच्चय U ⊂ '''C''' में कोई भी [[जटिल व्युत्पन्न]] फलन f वास्तव में [[जटिल विश्लेषणात्मक]] है। वास्तविक विश्लेषणात्मक फलनों के लिए जो कुछ भी कहा गया है वह विवृत अंतराल ''I'' के साथ जटिल विश्लेषणात्मक फलनों के लिए भी अनुप्रयुक्त होता है, जिसे एक विवृत उपसमुच्चय U ∈ '''C''' द्वारा प्रतिस्थापित किया जाता है और a-केंद्रित अंतराल (a − r, a +r) को C-केंद्रित चक्रिका B(c,r) द्वारा प्रतिस्थापित किया जाता है। विशेष रूप से, टेलर विस्तार रूप में है;
Line 260:
Line 259:
=== उदाहरण ===
=== उदाहरण ===
[[File:Function with two poles.png|thumb|right|का जटिल कथानक <math display="inline">f(z)=\frac{1}{1+z^2}</math>. मापांक को उन्नयन द्वारा और तर्क को रंग द्वारा दिखाया गया है: सियान =<math display="inline">0</math>, नीला =<math display="inline">\frac{\pi}{3}</math>, बैंगनी=<math display="inline">\frac{2\pi}{3}</math>, लाल =<math>\pi</math>, पीला=<math display="inline">\frac{4\pi}{3}</math>, हरा=<math display="inline">\frac{5\pi}{3}</math>.]]फलन:
[[File:Function with two poles.png|thumb|right|<math display="inline">f(z)=\frac{1}{1+z^2}</math> का जटिल कथानक, मापांक को उन्नयन द्वारा और तर्क को रंग द्वारा दिखाया गया है: सियान =<math display="inline">0</math>, नीला =<math display="inline">\frac{\pi}{3}</math>, बैंगनी=<math display="inline">\frac{2\pi}{3}</math>, लाल =<math>\pi</math>, पीला=<math display="inline">\frac{4\pi}{3}</math>, हरा=<math display="inline">\frac{5\pi}{3}</math> है।]]फलन:
<math display="block">\begin{align}
<math display="block">\begin{align}
Line 303:
Line 302:
\end{align}</math>}}
\end{align}</math>}}
यदि फलन {{nowrap|''f'' : '''R'''<sup>''n''</sup> → '''R'''}} एक [[बंद गेंद|संवृत गोलक]] <math>B = \{ \mathbf{y} \in \R^n : \left\|\mathbf{a}-\mathbf{y}\right\| \leq r\}</math> में k + 1 बार [[लगातार भिन्न|संतत अवकलनीय]] है। कुछ <math>r > 0</math> के लिए, तो कोई इस प्रतिवेश में f के {{nowrap|(''k''+1)-वें}} क्रम के आंशिक व्युत्पन्न के संदर्भ में शेषफल के लिए एक सटीक सूत्र प्राप्त कर सकता है।<ref>https://sites.math.washington.edu/~folland/Math425/taylor2.pdf {{Bare URL PDF|date=March 2022}}</ref> अर्थात्,
यदि फलन {{nowrap|''f'' : '''R'''<sup>''n''</sup> → '''R'''}} एक [[बंद गेंद|संवृत गोलक]] <math>B = \{ \mathbf{y} \in \R^n : \left\|\mathbf{a}-\mathbf{y}\right\| \leq r\}</math> में k + 1 गुना [[लगातार भिन्न|संतत अवकलनीय]] है। कुछ <math>r > 0</math> के लिए, तो कोई इस प्रतिवेश में f के {{nowrap|(''k''+1)-वें}} क्रम के आंशिक व्युत्पन्न के संदर्भ में शेषफल के लिए एक सटीक सूत्र प्राप्त कर सकता है।<ref>https://sites.math.washington.edu/~folland/Math425/taylor2.pdf {{Bare URL PDF|date=March 2022}}</ref> अर्थात्,
<math display="block"> \begin{align}
<math display="block"> \begin{align}
Line 377:
Line 376:
G^{(n-1)}(a) &= F^{(n-1)}(a) = 0
G^{(n-1)}(a) &= F^{(n-1)}(a) = 0
\end{align}</math>
\end{align}</math>
चरण 3: कॉची माध्य मान प्रमेय का उपयोग करें
चरण 3: कॉची माध्य मान प्रमेय का उपयोग करें।
मान लीजिए कि <math>f_{1}</math> और <math>g_{1}</math> सतत फलन <math>[a, b]</math> है। तब से <math>a < x < b</math> ताकि हम अंतराल <math>[a, x]</math> के साथ काम कर सकें। <math>f_{1}</math> और <math>g_{1}</math> पर भिन्न <math>(a, x)</math> हो सकते हैं। सभी <math>x \in (a, b)</math> के लिए मान <math>g_{1}'(x) \neq 0</math> लें। तभी अस्तित्व <math>c_{1} \in (a, x)</math> ऐसा है कि
मान लीजिए कि <math>f_{1}</math> और <math>g_{1}</math> सतत फलन <math>[a, b]</math> है। तब से <math>a < x < b</math> ताकि हम अंतराल <math>[a, x]</math> के साथ काम कर सकें। <math>f_{1}</math> और <math>g_{1}</math> पर भिन्न <math>(a, x)</math> हो सकते हैं। सभी <math>x \in (a, b)</math> के लिए मान <math>g_{1}'(x) \neq 0</math> लें। तभी अस्तित्व <math>c_{1} \in (a, x)</math> ऐसा है कि
Line 442:
Line 441:
===शेषफल के माध्य मान रूपों की व्युत्पत्ति ===
===शेषफल के माध्य मान रूपों की व्युत्पत्ति ===
मान लीजिए कि G कोई वास्तविक-मूल्यवान फलन है, जो मध्य के संवृत अंतराल <math display="inline">a</math> और <math display="inline">x</math> पर सतत है, <math display="inline">a</math> और <math display=inline>x</math> के विवृत अंतराल पर एक गैर-लुप्त व्युत्पन्न के साथ भिन्न और परिभाषित करें
मान लीजिए कि G कोई वास्तविक-मूल्यवान फलन है, जो मध्य के संवृत अंतराल <math display="inline">a</math> और <math display="inline">x</math> पर सतत है, <math display="inline">a</math> और <math display=inline>x</math> के विवृत अंतराल पर एक गैर-लुप्त व्युत्पन्न के साथ भिन्न और परिभाषित करें।
गणना में, टेलर का प्रमेय किसी दिए गए बिंदु के चारों ओर घात -के बहुपद- गुना विभेदित फलन का एक अनुमान देता है, जिसे -वें टेलर बहुपद कहा जाता है। एक सुचारु फलन के लिए, टेलर बहुपद फलन की टेलर श्रृंखला के क्रम पर खंडन है। प्रथम-क्रम टेलर बहुपद फलन का रैखिक सन्निकटन है और दूसरे-क्रम टेलर बहुपद को प्रायः 'द्विघात सन्निकटन' के रूप में जाना जाता है।[1] टेलर के प्रमेय के कई संस्करण हैं, कुछ इसके टेलर बहुपद द्वारा फलन की सन्निकटन त्रुटि का स्पष्ट अनुमान देते हैं।
टेलर के प्रमेय का नाम गणितज्ञ ब्रूक टेलर के नाम पर रखा गया है, जिन्होंने 1715 में इसका एक संस्करण बताया था,[2] हालांकि परिणाम का एक पुराना संस्करण 1671 में जेम्स ग्रेगरी (खगोलशास्त्री और गणितज्ञ) द्वारा पहले ही उल्लेखित किया गया था।[3]
टेलर का प्रमेय परिचयात्मक-स्तर के गणना पाठ्यक्रमों में पढ़ाया जाता है और गणितीय विश्लेषण में केंद्रीय प्राथमिक उपकरणों में से एक है। यह घातांकीय फलन और त्रिकोणमितीय फलन जैसे कई अबीजीय फलनों के मानों की सटीक गणना करने के लिए सरल अंकगणितीय सूत्र देता है।
यदि एक वास्तविक-मूल्यवान फलन बिंदु पर अवकलनीय है, तो इस बिंदु के निकट इसका एक रैखिक सन्निकटन होता है। इसका अर्थ यह है कि एक h1(x) उपस्थित है:
यहाँ
का रैखिक सन्निकटन है बिंदु a के निकट x के लिए , जिसका आलेख़ , पर x = a आलेख़ की स्पर्श रेखा है। सन्निकटन में त्रुटि है:
जैसे-जैसे x, a की ओर बढ़ता है, यह त्रुटि की तुलना में बहुत तीव्रता से शून्य हो जाती है, जिससे एक उपयोगी सन्निकटन बन जाता है।
उन्नत सन्निकटन के लिए , हम एक रैखिक फलन के बजाय एक द्विघात बहुपद उपयुक्त कर सकते हैं:
पर के केवल एक व्युत्पन्न का मिलान करने के बजाय, इस बहुपद में समान पहला और दूसरा व्युत्पन्न होता है, जैसा कि विभेदन पर स्पष्ट होता है।
टेलर का प्रमेय यह सुनिश्चित करता है कि के पर्याप्त छोटे प्रतिवेश में द्विघात सन्निकटन, रैखिक सन्निकटन की तुलना में अधिक सटीक है। विशेष रूप से,
यहाँ सन्निकटन में त्रुटि है:
जो, के सीमित व्यवहार को देखते हुए, की तुलना में तीव्रता से शून्य पर चला जाता है जैसे कि x, a की ओर प्रवृत्त होता है।
(नीला) का अनुमान इसके टेलर बहुपद द्वारा क्रम का पर केन्द्रित (लाल) और (हरा) हैं। बाह्य अनुमानों और , क्रमशः में बिल्कुल भी सुधार नहीं होता।
इसी प्रकार, यदि हम उच्च घात के बहुपदों का उपयोग करते हैं तो हमें f के और भी उन्नत सन्निकटन प्राप्त हो सकते हैं, तब से हम चयनित आधार बिंदु पर f के साथ और भी अधिक व्युत्पन्नों का मिलान कर सकते हैं।
सामान्य तौर पर, घात k के बहुपद द्वारा किसी फलन का अनुमान लगाने में त्रुटि की तुलना में बहुत तीव्रता से शून्य हो जाएगी क्योंकि x, a की ओर प्रवृत्त होता है। हालाँकि, ऐसे फलन हैं, यहां तक कि असीम रूप से भिन्न भी, जिनके लिए अनुमानित बहुपद की घात बढ़ाने से सन्निकटन की सटीकता में वृद्धि नहीं होती है: हम कहते हैं कि ऐसा फलन x = a पर विश्लेषणात्मक होने में विफल रहता है: यह (स्थानीय रूप से) इस बिंदु पर इसके अवकलज द्वारा निर्धारित नहीं होता है।
टेलर का प्रमेय स्पर्शोन्मुख प्रकृति का है: यह हमें केवल यह बताता है कि -वें क्रम के सन्निकटन में त्रुटि टेलर बहुपद Pk, के रूप में किसी भी गैर-शून्य -वें घात बहुपद की तुलना में तीव्रता से शून्य हो जाती है। यह हमें नहीं बताता कि विस्तार के केंद्र के किसी स्थूल प्रतिवेश में त्रुटि कितनी बड़ी है, लेकिन इस उद्देश्य के लिए शेष पद (नीचे दिए गए) के लिए स्पष्ट सूत्र हैं जो f पर कुछ अतिरिक्त नियमितता मान्यताओं के अंतर्गत मान्य हैं। टेलर के प्रमेय के ये उन्नत संस्करण सामान्यतः विस्तार के केंद्र के एक छोटे से प्रतिवेश में सन्निकटन त्रुटि के लिए एक समान अभिसरण की ओर ले जाते हैं, लेकिन अनुमान आवश्यक रूप से उन प्रतिवेशों के लिए अनुप्रयुक्त नहीं होते हैं जो बहुत बड़े हैं, भले ही फलन f विश्लेषणात्मक फलन हो। उस स्थिति में किसी को मूल फलन के विश्वसनीय टेलर-अनुमान प्राप्त करने के लिए विस्तार के विभिन्न केंद्रों के साथ कई टेलर बहुपदों का चयन करना पड़ सकता है (दाईं ओर एनीमेशन देखें)।
ऐसे कई तरीके हैं जिनसे हम शेष पद का उपयोग कर सकते हैं:
किसी दिए गए अंतराल (a – r, a + r) पर का अनुमान लगाने वाले कोटियों के बहुपद Pk(x) के लिए त्रुटि का अनुमान लगाएं (अंतराल और कोटि को देखते हुए, हम त्रुटि पाते हैं)।
वह सबसे छोटी घात k ज्ञात कीजिए जिसके लिए बहुपद Pk(x) सन्निकट होता है, से किसी दिए गए अंतराल (a − r, a + r) पर दी गई त्रुटि सहनशीलता के भीतर हैं (अंतराल और त्रुटि सहनशीलता को देखते हुए, हम घात पाते हैं)।
सबसे बड़ा अंतराल (a − r, a + r) ज्ञात करें जिस पर Pk(x) अनुमानित हैं, किसी दी गई त्रुटि सहनशीलता के भीतर हैं (घात और त्रुटि सहनशीलता को देखते हुए, हम अंतराल पाते हैं)।
एक वास्तविक चर में टेलर का प्रमेय
प्रमेय का कथन
टेलर के प्रमेय के सबसे मूलभूत संस्करण का सटीक विवरण इस प्रकार है:
टेलर का प्रमेय[4][5][6] — मान लीजिए कि k ≥ 1 एक पूर्णांक है और फलनf : R → R को बिंदु a ∈ R पर k गुना अवकलनीय है। तब एक फलन hk : R → R इस प्रकार उपस्थित है कि
कुछ वास्तविक संख्या के लिए, और के मध्य है। यह शेषफल का लैग्रेंज रूप [8] है।
इसी प्रकार,
कुछ वास्तविक संख्या के लिए, और के मध्य है। यह शेषफल का कॉची रूप[9] है।
टेलर के प्रमेय के ये परिशोधन सामान्यतः माध्य मान प्रमेय का उपयोग करके सिद्ध किए जाते हैं, जहां से यह नाम पड़ा है। इसके अतिरिक्त, ध्यान दें कि होने पर यह बिल्कुल माध्य मान प्रमेय है। इसके अतिरिक्त अन्य समान अभिव्यक्तियाँ भी पाई जा सकती हैं। उदाहरण के लिए, यदि G(t) संवृत अंतराल पर सतत है और और के मध्य विवृत अंतराल पर एक गैर-लुप्त व्युत्पन्न के साथ भिन्न है, तब
या कुछ संख्या के लिए और के मध्य हैं। यह संस्करण विशेष स्थितियों के रूप में शेष के लैग्रेंज और कॉची रूपों को सम्मिलित करता है और कॉची के माध्य मान प्रमेय का उपयोग करके इसे नीचे सिद्ध किया गया है। लैग्रेंज रूप लेने से प्राप्त होता है। और कॉची रूप लेकर प्राप्त किया जाता है।
शेषफल के अभिन्न रूप के लिए बयान पिछले वाले की तुलना में अधिक उन्नत है, और पूर्ण व्यापकता के लिए लेबेसेग अभिन्न की समझ की आवश्यकता है। हालाँकि, यह रीमैन अभिन्न के अर्थ में भी अनुप्रयुक्त है, बशर्ते कि f का (k+1)वां व्युत्पन्न संवृत अंतराल [a,x] पर सतत हो।
और के मध्य संवृत अंतराल पर f(k) की पूर्ण निरंतरता के कारण, इसका व्युत्पन्न f(k+1)L1-फलन के रूप में उपस्थित है और परिणाम को गणना के मौलिक प्रमेय और भागों द्वारा एकीकरण का उपयोग करके औपचारिक गणना द्वारा सिद्ध किया जा सकता है।
शेषफल के लिए अनुमान
टेलर सन्निकटन में दिखाई देने वाले शेष पद का अनुमान लगाने में सक्षम होना, इसके लिए एक सटीक सूत्र होने के बजाय, व्यवहार में प्रायः उपयोगी होता है। मान लीजिए कि a वाले अंतराल I में f (k + 1)-गुना संतत भिन्न होता है। जैसे कि वास्तविक स्थिरांक q और Q हैं;
संपूर्ण I में, फिर शेष पद असमानता को संतुष्ट करता है।[11]
यदि x > a, और एक समान अनुमान यदि x < a हैं। यह शेषफल के लैग्रेंज रूप का एक सरल परिणाम है। विशेषकर, यदि
एक अंतराल I = (a − r,a + r) पर, कुछ के साथ, तब
सभी x∈(a − r,a + r) के लिए हैं। दूसरी असमानता को एक समान अनुमान कहा जाता है, क्योंकि यह अंतराल (a − r,a + r) पर सभी x के लिए समान रूप से रखती है।
उदाहरण
(नीला) का अनुमान इसके टेलर बहुपद द्वारा क्रम का (लाल) पर केन्द्रित है।
मान लीजिए कि हम अंतराल पर फलन का अनुमानित मान ज्ञात करना चाहते हैं। यह सुनिश्चित करते हुए कि सन्निकटन में त्रुटि 10−5 से अधिक नहीं है। इस उदाहरण में हम दिखावा करते हैं कि हम घातीय फलन के केवल निम्नलिखित गुणों को जानते हैं:
(★)
इन गुणों से यह निष्कर्ष निकलता है, सभी के लिए और विशेष रूप से, हैं। इसलिए -वें क्रम का टेलर बहुपद पर और इसका शेष पद लैग्रेंज रूप में दिया गया है।
जहाँ , 0 और x के मध्य कोई संख्या है। चूँकि ex (★) से बढ़ रहा है, हम केवल के लिए उपअंतराल पर शेषफल का अनुमान लगाने के लिए उपयोग कर सकते हैं। पर शेषफल के लिए ऊपरी सीमा प्राप्त करने के लिए, हम गुणधर्म के लिए का उपयोग करते हैं।
दूसरे क्रम के टेलर विस्तार का उपयोग करना, फिर हम उसे निकालने के लिए ex हल निकालते हैं।
केवल अंश को अधिकतम करके और हर को छोटा करके ex के लिए इन अनुमानों को मिलाकर हम यह देखते हैं।
इसलिए आवश्यक परिशुद्धता निश्चित रूप से पहुँच जाती है, जब
(क्रमगुणित देखें या हाथ से मानों और की गणना करें ) निष्कर्ष के रूप में, टेलर का प्रमेय सन्निकटन की ओर ले जाता है।
उदाहरण के लिए, यह सन्निकटन दशमलव प्रतिनिधित्व प्रदान करता है, दशमलव के पाँच स्थानों तक सही करें।
विश्लेषणात्मकता से संबंध
टेलर वास्तविक विश्लेषणात्मक फलनों का विस्तार
मान लीजिए I ⊂ 'R' एक विवृत अंतराल है। परिभाषा के अनुसार, एक फलन f: I → R वास्तविक विश्लेषणात्मक है यदि इसे स्थानीय रूप से एक अभिसरण शक्ति श्रृंखला द्वारा परिभाषित किया गया है। इसका अर्थ यह है कि प्रत्येक a ∈ I के लिए कुछ r > 0 और गुणांक ck ∈ R का एक क्रम उपस्थित होता है,जैसे कि (a − r, a + r) ⊂ I और
सामान्य तौर पर, किसी घात श्रृंखला के अभिसरण की त्रिज्या की गणना कॉची-हैडमार्ड सूत्र से की जा सकती है।
यह परिणाम एक ज्यामितीय श्रृंखला के साथ तुलना पर आधारित है और एक ही विधि से पता चलता है कि यदि किसी पर आधारित घात श्रृंखला कुछ b ∈ R के लिए अभिसरण करती है, तो उसे संवृत अंतराल पर समान रूप से अभिसरण करना चाहिए, जहाँ हैं। यहां केवल घात श्रृंखला के अभिसरण पर विचार किया गया है और यह अच्छी तरह से हो सकता है कि (a − R,a + R) f के कार्यक्षेत्र I से परे फैला हुआ है।
वास्तविक विश्लेषणात्मक फलन f के टेलर बहुपद केवल परिमित खंडन हैं।
इसकी स्थानीय रूप से परिभाषित घात श्रृंखला, और संबंधित शेष शर्तें स्थानीय रूप से विश्लेषणात्मक फलनों द्वारा दी गई हैं।
यहाँ फलन
विश्लेषणात्मक भी हैं, क्योंकि उनकी परिभाषित घात श्रृंखला में मूल श्रृंखला के समान अभिसरण की त्रिज्या है। यह मानते हुए कि [a − r, a + r] ⊂ I और r<R, ये सभी श्रृंखलाएं (a − r, a + r) पर समान रूप से अभिसरित होती हैं। स्वाभाविक रूप से, विश्लेषणात्मक फलनों की स्थिति में कोई शेष पद का अनुमान लगा सकता है। विस्तार के केंद्र में व्युत्पन्न f'(a) के अनुक्रम की पश्चभाग द्वारा, लेकिन जटिल विश्लेषण का उपयोग करने से एक और संभावना भी उत्पन्न होती है, जिसे नीचे वर्णित किया गया है।
टेलर का प्रमेय और टेलर श्रृंखला का अभिसरण
f की टेलर श्रृंखला कुछ अंतराल में अभिसरण करेगी जिसमें इसके सभी अवकलज बंधे हुए हैं और बहुत तीव्रता से नहीं बढ़ते हैं क्योंकि के अनंत तक जाता है। (हालाँकि, भले ही टेलर श्रृंखला अभिसरण करती है, यह f में परिवर्तित नहीं हो सकती है, जैसा कि नीचे बताया गया है; तब f को गैर-विश्लेषणात्मक फलन कहा जाता है)।
कोई टेलर श्रृंखला के विषय में विचार कर सकता है:
एक अपरिमित रूप से अनेक बार अवकलनीय फलन f : R → R को a पर इसके "अनंत क्रम टेलर बहुपद" के रूप में है। अब शेषफल के अनुमान का अर्थ है कि यदि, किसी भी r के लिए, f के व्युत्पन्न को (a - r, a + r) से घिरा हुआ माना जाता है, तो किसी भी क्रम k के लिए और किसी भी r > 0 के लिए एक स्थिर Mk,r > 0 उपस्थित होता है जैसे कि
(★★)
प्रत्येक x ∈ (a − r,a + r) के लिए है। कभी-कभी स्थिरांक Mk,r को इस तरह से चुना जा सकता है कि निश्चित r और सभी k के लिए Mk,r ऊपर परिबद्ध हो। फिर f की टेलर श्रृंखला कुछ विश्लेषणात्मक फलन में समान रूप से परिवर्तित हो जाती है।
(किसी को अभिसरण भी मिलता है भले ही Mk,r ऊपर से घिरा न हो, जब तक कि यह धीरे-धीरे बढ़ता है)।
परिभाषा के अनुसार सीमा फलन Tf सदैव विश्लेषणात्मक होता है, लेकिन यह आवश्यक रूप से मूल फलन f के बराबर नहीं होता है, भले ही f असीम रूप से भिन्न हो। इस स्थिति में, हम कहते हैं कि f एक गैर-विश्लेषणात्मक सहज फलन है, उदाहरण के लिए एक समतल फलन:
घात 2(k − 1) के कुछ बहुपद pk के लिए है। फलन किसी भी बहुपद की तुलना में तीव्रता से शून्य हो जाता है, इसलिए f अपरिमित रूप से कई गुना भिन्न है और प्रत्येक धनात्मक पूर्णांक k के लिए f(k)(0) = 0 है। उपरोक्त सभी परिणाम इस स्थिति में मान्य हैं:
f की टेलर श्रृंखला शून्य फलन Tf(x) = 0 पर समान रूप से परिवर्तित होती है, जो शून्य के बराबर सभी गुणांकों के साथ विश्लेषणात्मक है।
फलन f इस टेलर श्रृंखला के बराबर नहीं है और इसलिए गैर-विश्लेषणात्मक है।
किसी भी क्रम k ∈ N और त्रिज्या r > 0 के लिए Mk,r > 0 उपस्थित है जो उपरोक्त शेष सीमा (★★) को संतुष्ट करता है।
हालाँकि, जैसे ही निश्चित r के लिए k बढ़ता है, Mk,r का मान rk की तुलना में अधिक तीव्रता से बढ़ता है और त्रुटि शून्य पर नहीं जाती है।
जटिल विश्लेषण में टेलर का प्रमेय
टेलर का प्रमेय f: C → C फलनों को सामान्यीकृत करता है जो जटिल तल के एक विवृत उपसमुच्चय U ⊂ C में जटिल अवकलनीय हैं। हालाँकि, जटिल विश्लेषण में इसकी उपयोगिता अन्य सामान्य प्रमेयों से कम है। अर्थात्, कॉची के अभिन्न सूत्र का उपयोग करके जटिल विभेदक फलनों f : U → C के लिए संबंधित परिणामों के प्रबल संस्करण निम्नानुसार निकाले जा सकते हैं।
मान लीजिए r > 0 इस प्रकार है कि संवृत चक्रिका B(z,r) ∪S(z,r) U में समाहित है। फिर एक धनात्मक प्राचलीकरण के साथ कॉची का अभिन्न सूत्र γ(t) = z + reit वृत्त S(z, r) के साथ देता है।
यहां सभी समाकलित वृत्त S(z,r) पर सतत हैं, जो समाकल चिह्न के अंतर्गत भेदभाव को उचित ठहराता है। विशेष रूप से, यदि विवृत समुच्चय U पर f एक बार जटिल अवकलनीय है, तो यह वास्तव में U पर अनंत रूप से कई गुना जटिल अवकलनीय है। कोई कॉची के अनुमान भी प्राप्त कर सकता है।[12]
किसी भी z ∈ U और r > 0 के लिए जैसे कि B(z, r) ∪ S(c, r) ⊂ U है। इन अनुमानों का अर्थ है कि सम्मिश्र संख्या टेलर श्रृंखला
f किसी भी विवृत चक्रिका पर के साथ समान रूप से किसी फलन में Tf में परिवर्तित हो जाता है। इसके अतिरिक्त, व्युत्पन्न f(k)(c) के लिए समोच्च अभिन्न सूत्रों का उपयोग करते हुए,
इसलिए किसी विवृत समुच्चय U ⊂ C में कोई भी जटिल व्युत्पन्न फलन f वास्तव में जटिल विश्लेषणात्मक है। वास्तविक विश्लेषणात्मक फलनों के लिए जो कुछ भी कहा गया है वह विवृत अंतराल I के साथ जटिल विश्लेषणात्मक फलनों के लिए भी अनुप्रयुक्त होता है, जिसे एक विवृत उपसमुच्चय U ∈ C द्वारा प्रतिस्थापित किया जाता है और a-केंद्रित अंतराल (a − r, a +r) को C-केंद्रित चक्रिका B(c,r) द्वारा प्रतिस्थापित किया जाता है। विशेष रूप से, टेलर विस्तार रूप में है;
जहाँ शेष पद Rkजटिल विश्लेषणात्मक है। जटिल विश्लेषण के तरीके टेलर विस्तार के संबंध में कुछ घातशाली परिणाम प्रदान करते हैं। उदाहरण के लिए, किसी भी सकारात्मक रूप से उन्मुख जॉर्डन वक्र के लिए कॉची के अभिन्न सूत्र का उपयोग करना जो एक क्षेत्र की सीमा को पैरामीट्रिज करता है, कोई व्युत्पन्नों f(j)(c) के लिए व्यंजक प्राप्त करता है जैसा कि ऊपर बताया गया है और Tf(z) = f(z) के लिए गणना को थोड़ा संशोधित करने पर, कोई सटीक सूत्र पर पहुंच जाता है।
यहां महत्वपूर्ण विशेषता यह है कि क्षेत्र पर टेलर बहुपद द्वारा सन्निकटन की गुणवत्ता सीमा पर स्वयं f के मानों पर प्रमुख होती है। इसी प्रकार, कॉची के अनुमानों को शेष के लिए श्रृंखला अभिव्यक्ति पर अनुप्रयुक्त करने से, एक समान अनुमान प्राप्त होता है।
उदाहरण
का जटिल कथानक, मापांक को उन्नयन द्वारा और तर्क को रंग द्वारा दिखाया गया है: सियान =, नीला =, बैंगनी=, लाल =, पीला=, हरा= है।
फलन:
वास्तविक विश्लेषणात्मक है, अर्थात, इसकी टेलर श्रृंखला द्वारा स्थानीय रूप से निर्धारित किया जाता है। इस फलन को इस तथ्य को स्पष्ट करने के लिए ऊपर आलेखित किया गया था कि कुछ प्राथमिक फलनों को विस्तार के केंद्र के प्रतिवेश में टेलर बहुपद द्वारा अनुमानित नहीं किया जा सकता है जो बहुत बड़े हैं। इस प्रकार के व्यवहार को जटिल विश्लेषण के ढांचे में सरलता से समझा जा सकता है। अर्थात्, फलन f सघन जटिल तल पर एक मेरोमोर्फिक फलन में विस्तारित होता है।
इसमें और , पर सरल ध्रुव हैं और यह अन्यत्र विश्लेषणात्मक है। अब इसकी z0 पर केन्द्रित टेलर श्रृंखला r < |z − z0| के साथ किसी भी चक्रिका B(z0, r) पर अभिसरित होती है, जहां वही टेलर श्रृंखला z ∈ C पपर अभिसरित होती है। इसलिए, 0 पर केन्द्रित f की टेलर श्रृंखला B(0, 1) पर अभिसरित होती है और यह किसी भी z ∈ C के लिए |z| > 1 के साथ i और −i पर ध्रुवों के कारण अभिसरण नहीं करता है। इसी कारण से 1 पर केन्द्रित f की टेलर श्रृंखला पर अभिसरित होती है और किसी भी z ∈ C के लिए के साथ अभिसरण नहीं करता है।
टेलर के प्रमेय का सामान्यीकरण
उच्च-क्रम भिन्नता
एक फलन f: Rn → R, a ∈ Rn पर अवकलनीय है यदि और केवल यदि एक रैखिक कार्यात्मकL : Rn → R और एक फलन h : Rn → R उपस्थित हो जैसे कि
यदि यह स्थिति है, तो बिंदु a पर f का (विशिष्ट रूप से परिभाषित) अंतर है। इसके अतिरिक्त,तब f का आंशिक व्युत्पन्न a पर उपस्थित होता है और a पर f का अंतर इस प्रकार दिया जाता है।
यदि सभी f : Rn → R के सभी -वें क्रम के आंशिक व्युत्पन्न a ∈ Rn पर सतत हैं, तो क्लैरॉट के प्रमेय द्वारा, कोई मिश्रित व्युत्पन्न के क्रम को a पर बदल सकता है, इसलिए अंकन
उच्च क्रम के लिए आंशिक अवकलज इस स्थिति में उचित है। यही बात सत्य है यदि f के सभी (k − 1)-वें क्रम के आंशिक व्युत्पन्न 'a' के किसी प्रतिवेश में उपस्थित हैं और 'a' पर भिन्न हैं।[13] तब हम कहते हैं कि बिंदु a पर f, k गुना अवकलनीय है।
बहुभिन्नरूपी फलनों के लिए टेलर का प्रमेय
पिछले अनुभाग के अंकन पद्धति का उपयोग करते हुए, निम्नलिखित प्रमेय प्राप्त होता है।
टेलर के प्रमेय का बहुभिन्नरूपी संस्करण[14] — मान लीजिए कि f : Rn → R बिंदु a ∈ Rn पर एक k-गुना सतत अवकलनीय फलन है। फिर वहां फलन hα : Rn → R उपस्थित है, जहां जैसे कि
यदि फलन f : Rn → R एक संवृत गोलक में k + 1 गुना संतत अवकलनीय है। कुछ के लिए, तो कोई इस प्रतिवेश में f के (k+1)-वें क्रम के आंशिक व्युत्पन्न के संदर्भ में शेषफल के लिए एक सटीक सूत्र प्राप्त कर सकता है।[15] अर्थात्,
इस स्थिति में, संहतसमुच्चय B में (k+1)-वें क्रम के आंशिक अवकलज की निरंतरता के कारण, तुरंत एक समान अनुमान प्राप्त होता है।
दो आयामों में उदाहरण
उदाहरण के लिए, एक सुचारु फलन f: R2 → R का तृतीय-क्रम टेलर बहुपद है, जो x − a = v को दर्शाता है।
यहां प्रमाण एल'हॉपिटल के नियम के बार-बार अनुप्रयुक्त होने पर आधारित है। ध्यान दें, प्रत्येक के लिए, है। इसलिए पहले में से प्रत्येक अंश के व्युत्पन्न पर लुप्त हो जाता है और यही बात हर के लिए भी सत्य है। इसके अतिरिक्त, शर्त यह है कि फलन एक बिंदु पर गुना भिन्न हो, उक्त बिंदु के प्रतिवेश में क्रम तक भिन्नता की आवश्यकता होती है (यह सच है, क्योंकि भिन्नता के लिए एक बिंदु के पूरे प्रतिवेश में एक फ़ंक्शन को परिभाषित करने की आवश्यकता होती है), अंश और उसके व्युत्पन्न के प्रतिवेश में भिन्न होते हैं। स्पष्ट रूप से, हर भी उक्त शर्त को पूर्ण करता है और इसके अतिरिक्त, जब तक लुप्त नहीं होता है, इसलिए एल'हॉपिटल के नियम के लिए आवश्यक सभी शर्तें पूर्ण की जाती हैं और इसका उपयोग उचित है। इसलिए
जहां दूसरी अंतिम समानता पर अवकलज की परिभाषा का अनुसरण करती है।
एक वास्तविक चर में टेलर के प्रमेय के लिए वैकल्पिक प्रमाण
मान लीजिए टेलर बहुपद द्वारा अनुमानित किया जाने वाला कोई भी वास्तविक-मूल्यवान, सतत, फलन हो सकता है।
चरण 1: मान लीजिए कि और फलन है। और को व्यवस्थित करें।
चरण 2: और के गुणधर्म :
इसी प्रकार,
चरण 3: कॉची माध्य मान प्रमेय का उपयोग करें।
मान लीजिए कि और सतत फलन है। तब से ताकि हम अंतराल के साथ काम कर सकें। और पर भिन्न हो सकते हैं। सभी के लिए मान लें। तभी अस्तित्व ऐसा है कि
टिप्पणी: में और है। इसलिए
कुछ के लिए,
इसे के लिए भी किया जा सकता है:
कुछ के लिए, इसे तक जारी रखा जा सकता है।
इससे एक विभाजन मिलता है:
के साथ
समुच्चय :
चरण 4: वापस स्थानापन्न करें;
घात नियम के अनुसार, बार-बार व्युत्पन्न , , इसलिए:
इससे ये होता है:
पुनर्व्यवस्थित करने पर, हमें प्राप्त होता है:
या क्योंकि अंततः:
शेषफल के माध्य मान रूपों की व्युत्पत्ति
मान लीजिए कि G कोई वास्तविक-मूल्यवान फलन है, जो मध्य के संवृत अंतराल और पर सतत है, और के विवृत अंतराल पर एक गैर-लुप्त व्युत्पन्न के साथ भिन्न और परिभाषित करें।
के लिए, फिर, कॉची के माध्य मान प्रमेय द्वारा,
(★★★)
कुछ के लिए विवृत अंतराल पर और के मध्य है। ध्यान दें कि यहाँ अंश , के लिए टेलर बहुपद का बिल्कुल शेषफल है। गणना करना;
इसे (★★★) में प्लग करें और उसे खोजने के लिए शब्दों को पुनर्व्यवस्थित करें;
यह टेलर के प्रमेय के वास्तविक कथन के बाद माध्य मान रूप में शेषफल के साथ उल्लिखित शेष पद का रूप है। शेषफल का लैग्रेंज रूप, चुनकर और कॉची रूप चुनकर पाया जाता है।
टिप्पणी: इस विधि का प्रयोग करके शेषफल का पूर्णांक रूप भी चुनकर प्राप्त किया जा सकता है;
लेकिन माध्य मान प्रमेय के उपयोग के लिए आवश्यक f की आवश्यकताएं बहुत प्रबल हैं, यदि किसी का लक्ष्य इस स्थिति में अनुरोध को सिद्ध करना है कि f(k) केवल पूर्णतया सतत है। हालाँकि, यदि कोई लेबेस्ग समाकल के बजाय रीमान समाकल का उपयोग करता है, तो धारणाओं को दुर्बल नहीं किया जा सकता है।
शेषफल के पूर्णांक रूप की व्युत्पत्ति
f(k) के मध्य संवृत अंतराल और पर इसका व्युत्पन्न f(k+1), L1-फलन के रूप में उपस्थित है और हम कलन के मौलिक प्रमेय और भागों द्वारा एकीकरण का उपयोग कर सकते हैं। यही प्रमाण रीमान समाकल के लिए अनुप्रयुक्त होता है, यह मानते हुए कि f(k) संवृत अंतराल पर सतत है और और के मध्य विवृत अंतराल पर भिन्न है और इससे माध्य मान प्रमेय का उपयोग करने की तुलना में समान परिणाम प्राप्त होता है।
अब हम भागों द्वारा एकीकृत कर सकते हैं और इसे देखने के लिए गणना के मौलिक प्रमेय का पुनः उपयोग कर सकते हैं।
जो बिल्कुल टेलर का प्रमेय है और k=1 स्थिति में शेषफल अभिन्न रूप में है। सामान्य कथन को गणितीय प्रेरण का उपयोग करके सिद्ध किया जाता है। कल्पना करें कि
(★★★★)
शेष पद को भागों द्वारा एकीकृत करते हुए हम जिस पर पहुंचते हैं:
इसे सूत्र में (★★★★) में प्रतिस्थापित करने से पता चलता है कि यदि यह मान k के लिए है, तो इसे k + 1 मान के लिए भी धारण करना चाहिए। इसलिए, चूंकि यह k = 1 के लिए है, इसलिए इसे प्रत्येक धनात्मक पूर्णांक k के लिए भी धारण करना चाहिए।
बहुभिन्नरूपी टेलर बहुपदों के शेषफल के लिए व्युत्पत्ति
हम विशेष स्थिति को सिद्ध करते हैं, जहां f : 'R'n → 'R' में केंद्र 'a' के साथ कुछ संवृत गोलक B में k+1 क्रम तक सतत आंशिक व्युत्पन्न होता हैं। प्रमाण की कार्यनीति टेलर के प्रमेय के एक-चर स्थिति को 'x' और 'a' से संलग्न रेखा खंड पर f के प्रतिबंध पर अनुप्रयुक्त करना है।[17]a और x के मध्य रेखा खंड को u(t) = a + t(x − a) द्वारा पैरामीट्रिज करें। हम टेलर के प्रमेय का एक-चर संस्करण को फलन g(t) = f(u(t)) पर अनुप्रयुक्त करते हैं:
कई चरों के लिए श्रृंखला नियम अनुप्रयुक्त करने से लाभ मिलता है।
↑Taylor, Brook (1715). वेतन वृद्धि की सीधी और उलटी विधि [Direct and Reverse Methods of Incrementation] (in Latina). London. p. 21–23 (Prop. VII, Thm. 3, Cor. 2). Translated into English in Struik, D. J. (1969). A Source Book in Mathematics 1200–1800. Cambridge, Massachusetts: Harvard University Press. pp. 329–332.
↑Genocchi, Angelo; Peano, Giuseppe (1884), Calcolo differenziale e principii di calcolo integrale, (N. 67, pp. XVII–XIX): Fratelli Bocca ed.{{citation}}: CS1 maint: location (link)
↑This follows from iterated application of the theorem that if the partial derivatives of a function f exist in a neighborhood of a and are continuous at a, then the function is differentiable at a. See, for instance, Apostol 1974, Theorem 12.11.