टेलर प्रमेय: Difference between revisions
No edit summary |
No edit summary |
||
(7 intermediate revisions by 5 users not shown) | |||
Line 1: | Line 1: | ||
{{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 | | {{Calculus |अंतर}} | ||
[[ गणना |गणना]] में, टेलर का प्रमेय किसी दिए गए बिंदु के चारों ओर घात <math display="inline">k</math>-के [[बहुपद]] <math display="inline">k</math>- | [[ गणना |गणना]] में, '''टेलर का प्रमेय''' किसी दिए गए बिंदु के चारों ओर घात <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| | [[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>-वें घात बहुपद की तुलना में | टेलर का प्रमेय स्पर्शोन्मुख प्रकृति का है: यह हमें केवल यह बताता है कि <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: | ||
}} | }} | ||
<math display="inline">a</math> और <math display="inline">x</math> के मध्य संवृत अंतराल पर ''f''<sup>(''k'')</sup> की पूर्ण निरंतरता के कारण, इसका व्युत्पन्न ''f''{{i sup|(''k''+1)}} ''L''<sup>1</sup>-फलन के रूप में उपस्थित है और परिणाम को गणना के मौलिक प्रमेय और [[भागों द्वारा एकीकरण]] का उपयोग करके औपचारिक गणना द्वारा सिद्ध किया जा सकता है। | |||
=== | ===शेषफल के लिए अनुमान === | ||
टेलर सन्निकटन में दिखाई देने वाले शेष पद का अनुमान लगाने में सक्षम होना, इसके लिए एक सटीक सूत्र होने के बजाय, व्यवहार में प्रायः उपयोगी होता है। मान लीजिए कि | टेलर सन्निकटन में दिखाई देने वाले शेष पद का अनुमान लगाने में सक्षम होना, इसके लिए एक सटीक सूत्र होने के बजाय, व्यवहार में प्रायः उपयोगी होता है। मान लीजिए कि a वाले अंतराल ''I'' में ''f (k + 1)''-गुना संतत भिन्न होता है। जैसे कि वास्तविक स्थिरांक q और Q हैं; | ||
<math display="block">q\le f^{(k+1)}(x)\le Q</math> | <math display="block">q\le f^{(k+1)}(x)\le Q</math> | ||
संपूर्ण I में, फिर शेष पद असमानता को संतुष्ट करता | संपूर्ण ''I'' में, फिर शेष पद असमानता को संतुष्ट करता है।<ref>{{harvnb|Apostol|1967|loc=§7.6}}</ref> | ||
<math display="block">q\frac{(x-a)^{k+1}}{(k+1)!}\le R_k(x)\le Q\frac{(x-a)^{k+1}}{(k+1)!},</math> | <math display="block">q\frac{(x-a)^{k+1}}{(k+1)!}\le R_k(x)\le Q\frac{(x-a)^{k+1}}{(k+1)!},</math> | ||
यदि {{nowrap|''x'' > ''a''}}, और एक समान अनुमान यदि {{nowrap|''x'' < ''a''}} | यदि {{nowrap|''x'' > ''a''}}, और एक समान अनुमान यदि {{nowrap|''x'' < ''a''}} हैं। यह शेषफल के लैग्रेंज रूप का एक सरल परिणाम है। विशेषकर, यदि | ||
<math display="block">|f^{(k+1)}(x)|\le M</math> | <math display="block">|f^{(k+1)}(x)|\le M</math> | ||
एक अंतराल | एक अंतराल {{nowrap|1=''I'' = (''a'' − ''r'',''a'' + ''r'')}} पर, कुछ <math>r > 0</math> के साथ, तब | ||
<math display="block">|R_k(x)|\le M\frac{|x-a|^{k+1}}{(k+1)!}\le M\frac{r^{k+1}}{(k+1)!}</math> | <math display="block">|R_k(x)|\le M\frac{|x-a|^{k+1}}{(k+1)!}\le M\frac{r^{k+1}}{(k+1)!}</math> | ||
सभी | सभी {{nowrap|''x''∈(''a'' − ''r'',''a'' + ''r'')}} के लिए हैं। दूसरी असमानता को एक समान अनुमान कहा जाता है, क्योंकि यह अंतराल {{nowrap|(''a'' − ''r'',''a'' + ''r'')}} पर सभी x के लिए समान रूप से रखती है। | ||
=== उदाहरण === | === उदाहरण === | ||
[[File:Expanimation.gif|thumb|400px|right| | [[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> से अधिक नहीं है। इस उदाहरण में हम दिखावा करते हैं कि हम घातीय फलन के केवल निम्नलिखित गुणों को जानते हैं: | ||
{{NumBlk|:|<math>e^0=1, \qquad \frac{d}{dx} e^x = e^x, \qquad e^x>0, \qquad x\in\R.</math>|{{EquationRef|★}}}} | {{NumBlk|:|<math>e^0=1, \qquad \frac{d}{dx} e^x = e^x, \qquad e^x>0, \qquad x\in\R.</math>|{{EquationRef|★}}}} | ||
इन गुणों से यह निष्कर्ष | इन गुणों से यह निष्कर्ष <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="block"> P_k(x) = 1+x+\frac{x^2}{2!}+\cdots+\frac{x^k}{k!}, \qquad R_k(x)=\frac{e^\xi}{(k+1)!}x^{k+1},</math> | <math display="block"> P_k(x) = 1+x+\frac{x^2}{2!}+\cdots+\frac{x^k}{k!}, \qquad R_k(x)=\frac{e^\xi}{(k+1)!}x^{k+1},</math> | ||
जहाँ <math display="inline">\xi</math> 0 और x के मध्य कोई संख्या | जहाँ <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="block"> e^x = 1 + x + \frac{e^\xi}{2}x^2 < 1 + x + \frac{e^x}{2}x^2, \qquad 0 < x\leq 1 </math> | <math display="block"> e^x = 1 + x + \frac{e^\xi}{2}x^2 < 1 + x + \frac{e^x}{2}x^2, \qquad 0 < x\leq 1 </math> | ||
दूसरे क्रम के टेलर विस्तार का उपयोग | दूसरे क्रम के टेलर विस्तार का उपयोग करना, फिर हम उसे निकालने के लिए ''e<sup>x</sup>'' हल निकालते हैं। | ||
<math display="block"> e^x \leq \frac{1+x}{1-\frac{x^2}{2}} = 2\frac{1+x}{2-x^2} \leq 4, \qquad 0 \leq x\leq 1 </math> | <math display="block"> e^x \leq \frac{1+x}{1-\frac{x^2}{2}} = 2\frac{1+x}{2-x^2} \leq 4, \qquad 0 \leq x\leq 1 </math> | ||
केवल अंश को अधिकतम करके और हर को छोटा करके ''e<sup>x</sup>'' के लिए इन अनुमानों को मिलाकर हम यह देखते हैं। | |||
<math display="block"> |R_k(x)| \leq \frac{4|x|^{k+1}}{(k+1)!} \leq \frac{4}{(k+1)!}, \qquad -1\leq x \leq 1, </math> | <math display="block"> |R_k(x)| \leq \frac{4|x|^{k+1}}{(k+1)!} \leq \frac{4}{(k+1)!}, \qquad -1\leq x \leq 1, </math> | ||
Line 151: | Line 151: | ||
<math display="block"> \frac{4}{(k+1)!} < 10^{-5} \quad \Longleftrightarrow \quad 4\cdot 10^5 < (k+1)! \quad \Longleftrightarrow \quad k \geq 9. | <math display="block"> \frac{4}{(k+1)!} < 10^{-5} \quad \Longleftrightarrow \quad 4\cdot 10^5 < (k+1)! \quad \Longleftrightarrow \quad k \geq 9. | ||
</math> | </math> | ||
([[ कारख़ाने का ]] देखें या हाथ से मानों | ([[ कारख़ाने का |क्रमगुणित]] देखें या हाथ से मानों <math display="inline">9! =362880</math> और <math display="inline">10! =3628800</math> की गणना करें ) निष्कर्ष के रूप में, टेलर का प्रमेय सन्निकटन की ओर ले जाता है। | ||
<math display="block"> e^x = 1+x+\frac{x^2}{2!} + \cdots + \frac{x^9}{9!} + R_9(x), \qquad |R_9(x)| < 10^{-5}, \qquad -1\leq x \leq 1. </math> | <math display="block"> e^x = 1+x+\frac{x^2}{2!} + \cdots + \frac{x^9}{9!} + R_9(x), \qquad |R_9(x)| < 10^{-5}, \qquad -1\leq x \leq 1. </math> | ||
उदाहरण के लिए, यह सन्निकटन [[दशमलव प्रतिनिधित्व]] | उदाहरण के लिए, यह सन्निकटन [[दशमलव प्रतिनिधित्व]] <math>e \approx 2.71828</math> प्रदान करता है, दशमलव के पाँच स्थानों तक सही करें। | ||
== विश्लेषणात्मकता से संबंध == | == विश्लेषणात्मकता से संबंध == | ||
=== टेलर वास्तविक विश्लेषणात्मक | === टेलर वास्तविक विश्लेषणात्मक फलनों का विस्तार === | ||
मान लीजिए I ⊂ 'R' एक [[खुला अंतराल|विवृत अंतराल]] है। परिभाषा के अनुसार, एक फलन f: I → 'R' | मान लीजिए I ⊂ 'R' एक [[खुला अंतराल|विवृत अंतराल]] है। परिभाषा के अनुसार, एक फलन f: I → '''R''' वास्तविक विश्लेषणात्मक है यदि इसे स्थानीय रूप से एक अभिसरण शक्ति श्रृंखला द्वारा परिभाषित किया गया है। इसका अर्थ यह है कि प्रत्येक a ∈ I के लिए कुछ r > 0 और गुणांक ''c<sub>k</sub>'' ∈ '''R''' का एक क्रम उपस्थित होता है,जैसे कि {{nowrap|(''a'' − ''r'', ''a'' + ''r'') ⊂ ''I''}} और | ||
<math display="block"> f(x) = \sum_{k=0}^\infty c_k(x-a)^k = c_0 + c_1(x-a) + c_2(x-a)^2 + \cdots, \qquad |x-a|<r. </math> | <math display="block"> f(x) = \sum_{k=0}^\infty c_k(x-a)^k = c_0 + c_1(x-a) + c_2(x-a)^2 + \cdots, \qquad |x-a|<r. </math> | ||
सामान्य तौर पर, | सामान्य तौर पर, किसी घात श्रृंखला के अभिसरण की त्रिज्या की गणना कॉची-हैडमार्ड सूत्र से की जा सकती है। | ||
<math display="block"> \frac{1}{R} = \limsup_{k\to\infty}|c_k|^\frac{1}{k}. </math> | <math display="block"> \frac{1}{R} = \limsup_{k\to\infty}|c_k|^\frac{1}{k}. </math> | ||
यह परिणाम एक ज्यामितीय श्रृंखला के साथ तुलना पर आधारित है | यह परिणाम एक ज्यामितीय श्रृंखला के साथ तुलना पर आधारित है और एक ही विधि से पता चलता है कि यदि किसी पर आधारित घात श्रृंखला कुछ ''b'' ∈ '''R''' के लिए अभिसरण करती है, तो उसे संवृत अंतराल <math display="inline">[a-r_b,a+r_b]</math> पर समान रूप से अभिसरण करना चाहिए, जहाँ <math display="inline">r_b=\left\vert b-a \right\vert</math> हैं। यहां केवल घात श्रृंखला के अभिसरण पर विचार किया गया है और यह अच्छी तरह से हो सकता है कि {{nowrap|(''a'' − ''R'',''a'' + ''R'')}} f के कार्यक्षेत्र ''I'' से परे फैला हुआ है। | ||
वास्तविक विश्लेषणात्मक फलन f के टेलर बहुपद केवल परिमित खंडन | वास्तविक विश्लेषणात्मक फलन f के टेलर बहुपद केवल परिमित खंडन हैं। | ||
<math display="block"> P_k(x) = \sum_{j=0}^k c_j(x-a)^j, \qquad c_j = \frac{f^{(j)}(a)}{j!}</math> | <math display="block"> P_k(x) = \sum_{j=0}^k c_j(x-a)^j, \qquad c_j = \frac{f^{(j)}(a)}{j!}</math> | ||
इसकी स्थानीय रूप से परिभाषित | इसकी स्थानीय रूप से परिभाषित घात श्रृंखला, और संबंधित शेष शर्तें स्थानीय रूप से विश्लेषणात्मक फलनों द्वारा दी गई हैं। | ||
<math display="block"> R_k(x) = \sum_{j=k+1}^\infty c_j(x-a)^j = (x-a)^k h_k(x), \qquad |x-a|<r. </math> | <math display="block"> R_k(x) = \sum_{j=k+1}^\infty c_j(x-a)^j = (x-a)^k h_k(x), \qquad |x-a|<r. </math> | ||
यहाँ | यहाँ फलन | ||
<math display="block">\begin{align} | <math display="block">\begin{align} | ||
Line 180: | Line 180: | ||
& h_k(x) = (x-a)\sum_{j=0}^\infty c_{k+1+j} \left(x - a\right)^j | & h_k(x) = (x-a)\sum_{j=0}^\infty c_{k+1+j} \left(x - a\right)^j | ||
\end{align}</math> | \end{align}</math> | ||
विश्लेषणात्मक भी हैं, क्योंकि उनकी परिभाषित | विश्लेषणात्मक भी हैं, क्योंकि उनकी परिभाषित घात श्रृंखला में मूल श्रृंखला के समान अभिसरण की त्रिज्या है। यह मानते हुए कि {{nowrap|[''a'' − ''r'', ''a'' + ''r'']}} ⊂ I और r<R, ये सभी श्रृंखलाएं {{nowrap|(''a'' − ''r'', ''a'' + ''r'')}} पर समान रूप से अभिसरित होती हैं। स्वाभाविक रूप से, विश्लेषणात्मक फलनों की स्थिति में कोई शेष पद <math display="inline">R_k(x)</math> का अनुमान लगा सकता है। विस्तार के केंद्र में व्युत्पन्न f'(a) के अनुक्रम की पश्चभाग द्वारा, लेकिन [[जटिल विश्लेषण]] का उपयोग करने से एक और संभावना भी उत्पन्न होती है, जिसे नीचे वर्णित किया गया है। | ||
=== टेलर का प्रमेय और टेलर श्रृंखला का अभिसरण === | === टेलर का प्रमेय और टेलर श्रृंखला का अभिसरण === | ||
f की टेलर श्रृंखला कुछ अंतराल में अभिसरण करेगी जिसमें इसके सभी अवकलज बंधे हुए हैं और बहुत तीव्रता से नहीं बढ़ते हैं क्योंकि के अनंत तक जाता है। (हालाँकि, भले ही टेलर श्रृंखला अभिसरण करती है, यह f में परिवर्तित नहीं हो सकती है, जैसा कि नीचे बताया गया है; तब f को गैर-विश्लेषणात्मक फलन कहा जाता है)। | |||
कोई टेलर श्रृंखला के विषय में विचार कर सकता है | कोई टेलर श्रृंखला के विषय में विचार कर सकता है: | ||
<math display="block"> f(x) \approx \sum_{k=0}^\infty c_k(x-a)^k = c_0 + c_1(x-a) + c_2(x-a)^2 + \cdots </math> | <math display="block"> f(x) \approx \sum_{k=0}^\infty c_k(x-a)^k = c_0 + c_1(x-a) + c_2(x-a)^2 + \cdots </math> | ||
एक अपरिमित रूप से अनेक बार अवकलनीय फलन f : 'R' | एक अपरिमित रूप से अनेक बार अवकलनीय फलन f : '''R → R''' को a पर इसके "अनंत क्रम टेलर बहुपद" के रूप में है। अब शेषफल के अनुमान का अर्थ है कि यदि, किसी भी r के लिए, f के व्युत्पन्न को (a - r, a + r) से घिरा हुआ माना जाता है, तो किसी भी क्रम k के लिए और किसी भी r > 0 के लिए एक स्थिर {{nowrap|''M<sub>k,r</sub>'' > 0}} उपस्थित होता है जैसे कि | ||
{{NumBlk|:|<math> |R_k(x)| \leq M_{k,r} \frac{|x-a|^{k+1}}{(k+1)!} </math>|{{EquationRef|★★}}}} | {{NumBlk|:|<math> |R_k(x)| \leq M_{k,r} \frac{|x-a|^{k+1}}{(k+1)!} </math>|{{EquationRef|★★}}}} | ||
प्रत्येक x ∈ (a − r,a + r) के | प्रत्येक x ∈ (a − r,a + r) के लिए है। कभी-कभी स्थिरांक {{nowrap|''M<sub>k,r</sub>''}} को इस तरह से चुना जा सकता है कि निश्चित r और सभी k के लिए {{nowrap|''M<sub>k,r</sub>''}} ऊपर परिबद्ध हो। फिर f की टेलर श्रृंखला कुछ विश्लेषणात्मक फलन में समान रूप से परिवर्तित हो जाती है। | ||
<math display="block">\begin{align} | <math display="block">\begin{align} | ||
Line 199: | Line 199: | ||
& T_f(x) = \sum_{k=0}^\infty \frac{f^{(k)}(a)}{k!} \left(x-a\right)^k | & T_f(x) = \sum_{k=0}^\infty \frac{f^{(k)}(a)}{k!} \left(x-a\right)^k | ||
\end{align}</math> | \end{align}</math> | ||
(किसी को अभिसरण भी मिलता है भले ही {{nowrap|''M<sub>k,r</sub>''}}जब तक यह धीरे-धीरे बढ़ता है | (किसी को अभिसरण भी मिलता है भले ही {{nowrap|''M<sub>k,r</sub>''}} ऊपर से घिरा न हो, जब तक कि यह धीरे-धीरे बढ़ता है)। | ||
सीमा | परिभाषा के अनुसार सीमा फलन {{nowrap|''T<sub>f</sub>''}} सदैव विश्लेषणात्मक होता है, लेकिन यह आवश्यक रूप से मूल फलन f के बराबर नहीं होता है, भले ही f असीम रूप से भिन्न हो। इस स्थिति में, हम कहते हैं कि f एक गैर-विश्लेषणात्मक सहज फलन है, उदाहरण के लिए एक [[समतल कार्य|समतल फलन]]: | ||
<math display="block">\begin{align} | <math display="block">\begin{align} | ||
Line 216: | Line 216: | ||
0 & x \leq 0 | 0 & x \leq 0 | ||
\end{cases}</math> | \end{cases}</math> | ||
कुछ बहुपद | घात ''2(k − 1)'' के कुछ बहुपद ''p<sub>k</sub>'' के लिए है। फलन <math>e^{-\frac{1}{x^2}}</math> किसी भी बहुपद <math display="inline">x \to 0</math> की तुलना में तीव्रता से शून्य हो जाता है, इसलिए f अपरिमित रूप से कई गुना भिन्न है और प्रत्येक धनात्मक पूर्णांक k के लिए {{nowrap|1=''f''{{i sup|(''k'')}}(0) = 0}} है। उपरोक्त सभी परिणाम इस स्थिति में मान्य हैं: | ||
* | * f की टेलर श्रृंखला शून्य फलन ''T<sub>f</sub>''(''x'') = 0 पर समान रूप से परिवर्तित होती है, जो शून्य के बराबर सभी गुणांकों के साथ विश्लेषणात्मक है। | ||
* फलन f इस टेलर श्रृंखला के बराबर नहीं है | * फलन f इस टेलर श्रृंखला के बराबर नहीं है और इसलिए गैर-विश्लेषणात्मक है। | ||
* किसी भी क्रम k ∈ 'N' और त्रिज्या r > 0 के लिए M | * किसी भी क्रम k ∈ '''N''' और त्रिज्या r > 0 के लिए ''M<sub>k,r</sub>'' > 0 उपस्थित है जो उपरोक्त शेष सीमा ({{EquationNote|★★}}) को संतुष्ट करता है। | ||
हालाँकि, जैसे | हालाँकि, जैसे ही निश्चित r के लिए k बढ़ता है, ''M<sub>k,r</sub>'' का मान ''r<sup>k</sup>'' की तुलना में अधिक तीव्रता से बढ़ता है और त्रुटि शून्य पर नहीं जाती है। | ||
=== जटिल विश्लेषण में टेलर का प्रमेय === | === जटिल विश्लेषण में टेलर का प्रमेय === | ||
टेलर का प्रमेय | टेलर का प्रमेय f: '''''C → C''''' फलनों को सामान्यीकृत करता है जो [[जटिल विमान|जटिल]] तल के एक विवृत उपसमुच्चय U ⊂ '''C''' में जटिल अवकलनीय हैं। हालाँकि, जटिल विश्लेषण में इसकी उपयोगिता अन्य सामान्य प्रमेयों से कम है। अर्थात्, कॉची के अभिन्न सूत्र का उपयोग करके जटिल विभेदक फलनों f : U → '''C''' के लिए संबंधित परिणामों के प्रबल संस्करण निम्नानुसार निकाले जा सकते हैं। | ||
मान लीजिए r > 0 इस प्रकार है कि [[बंद डिस्क|संवृत | मान लीजिए r > 0 इस प्रकार है कि [[बंद डिस्क|संवृत चक्रिका]] B(z,r) ∪S(z,r) U में समाहित है। फिर एक धनात्मक प्राचलीकरण के साथ कॉची का अभिन्न सूत्र {{nowrap|1=''γ''(''t'') = ''z'' + ''re<sup>it</sup>''}} वृत्त S(z, r) के साथ <math>t \in [0,2 \pi]</math> देता है। | ||
<math display="block">f(z) = \frac{1}{2\pi i}\int_\gamma \frac{f(w)}{w-z}\,dw, \quad f'(z) = \frac{1}{2\pi i}\int_\gamma \frac{f(w)}{(w-z)^2} \, dw, \quad \ldots, \quad f^{(k)}(z) = \frac{k!}{2\pi i}\int_\gamma \frac{f(w)}{(w-z)^{k+1}} \, dw.</math> | <math display="block">f(z) = \frac{1}{2\pi i}\int_\gamma \frac{f(w)}{w-z}\,dw, \quad f'(z) = \frac{1}{2\pi i}\int_\gamma \frac{f(w)}{(w-z)^2} \, dw, \quad \ldots, \quad f^{(k)}(z) = \frac{k!}{2\pi i}\int_\gamma \frac{f(w)}{(w-z)^{k+1}} \, dw.</math> | ||
यहां सभी | यहां सभी समाकलित [[घेरा|वृत्त]] S(z,r) पर सतत हैं, जो समाकल चिह्न के अंतर्गत भेदभाव को उचित ठहराता है। विशेष रूप से, यदि विवृत समुच्चय U पर f एक बार जटिल अवकलनीय है, तो यह वास्तव में U पर अनंत रूप से कई गुना जटिल अवकलनीय है। कोई कॉची के अनुमान भी प्राप्त कर सकता है।<ref>{{harvnb|Rudin|1987|loc=§10.26}}</ref> | ||
<math display="block"> |f^{(k)}(z)| \leq \frac{k!}{2\pi}\int_\gamma \frac{M_r}{|w-z|^{k+1}} \, dw = \frac{k!M_r}{r^k}, \quad M_r = \max_{|w-c|=r}|f(w)| </math> | <math display="block"> |f^{(k)}(z)| \leq \frac{k!}{2\pi}\int_\gamma \frac{M_r}{|w-z|^{k+1}} \, dw = \frac{k!M_r}{r^k}, \quad M_r = \max_{|w-c|=r}|f(w)| </math> | ||
किसी भी z ∈ U और r > 0 के लिए जैसे कि B(z, r) ∪ S(c, r) ⊂ U | किसी भी z ∈ U और r > 0 के लिए जैसे कि B(z, r) ∪ S(c, r) ⊂ U है। इन अनुमानों का अर्थ है कि सम्मिश्र संख्या टेलर श्रृंखला | ||
<math display="block"> T_f(z) = \sum_{k=0}^\infty \frac{f^{(k)}(c)}{k!}(z-c)^k </math> | <math display="block"> T_f(z) = \sum_{k=0}^\infty \frac{f^{(k)}(c)}{k!}(z-c)^k </math> | ||
f | f किसी भी विवृत चक्रिका <math display="inline">B(c,r) \subset U</math> पर <math display="inline">S(c,r) \subset U</math> के साथ समान रूप से किसी फलन में ''T<sub>f</sub>'' में परिवर्तित हो जाता है। इसके अतिरिक्त, व्युत्पन्न ''f''<sup>(''k'')</sup>(''c'') के लिए समोच्च अभिन्न सूत्रों का उपयोग करते हुए,<math display="block">\begin{align} | ||
<math display="block">\begin{align} | |||
T_f(z) &= \sum_{k=0}^\infty \frac{(z-c)^k}{2\pi i}\int_\gamma \frac{f(w)}{(w-c)^{k+1}} \, dw \\ | T_f(z) &= \sum_{k=0}^\infty \frac{(z-c)^k}{2\pi i}\int_\gamma \frac{f(w)}{(w-c)^{k+1}} \, dw \\ | ||
&= \frac{1}{2\pi i} \int_\gamma \frac{f(w)}{w-c} \sum_{k=0}^\infty \left(\frac{z-c}{w-c}\right)^k \, dw \\ | &= \frac{1}{2\pi i} \int_\gamma \frac{f(w)}{w-c} \sum_{k=0}^\infty \left(\frac{z-c}{w-c}\right)^k \, dw \\ | ||
Line 244: | Line 242: | ||
&= \frac{1}{2\pi i} \int_\gamma \frac{f(w)}{w-z} \, dw = f(z), | &= \frac{1}{2\pi i} \int_\gamma \frac{f(w)}{w-z} \, dw = f(z), | ||
\end{align}</math> | \end{align}</math> | ||
इसलिए किसी विवृत समुच्चय U ⊂ 'C' में कोई भी [[जटिल व्युत्पन्न]] फलन f वास्तव में [[जटिल विश्लेषणात्मक]] है। वास्तविक विश्लेषणात्मक | |||
इसलिए किसी विवृत समुच्चय U ⊂ '''C''' में कोई भी [[जटिल व्युत्पन्न]] फलन f वास्तव में [[जटिल विश्लेषणात्मक]] है। वास्तविक विश्लेषणात्मक फलनों के लिए जो कुछ भी कहा गया है वह विवृत अंतराल ''I'' के साथ जटिल विश्लेषणात्मक फलनों के लिए भी अनुप्रयुक्त होता है, जिसे एक विवृत उपसमुच्चय U ∈ '''C''' द्वारा प्रतिस्थापित किया जाता है और a-केंद्रित अंतराल (a − r, a +r) को C-केंद्रित चक्रिका B(c,r) द्वारा प्रतिस्थापित किया जाता है। विशेष रूप से, टेलर विस्तार रूप में है; | |||
<math display="block"> f(z) = P_k(z) + R_k(z), \quad P_k(z) = \sum_{j=0}^k \frac{f^{(j)}(c)}{j!}(z-c)^j, </math> | <math display="block"> f(z) = P_k(z) + R_k(z), \quad P_k(z) = \sum_{j=0}^k \frac{f^{(j)}(c)}{j!}(z-c)^j, </math> | ||
जहाँ शेष पद R | जहाँ शेष पद R<sub>k</sub>जटिल विश्लेषणात्मक है। जटिल विश्लेषण के तरीके टेलर विस्तार के संबंध में कुछ घातशाली परिणाम प्रदान करते हैं। उदाहरण के लिए, किसी भी सकारात्मक रूप से उन्मुख [[जॉर्डन वक्र]] <math display="inline">\gamma</math> के लिए कॉची के अभिन्न सूत्र का उपयोग करना जो एक क्षेत्र <math display="inline">\partial W \subset U</math> की सीमा <math display="inline">W \subset U</math> को पैरामीट्रिज करता है, कोई व्युत्पन्नों {{nowrap|''f''{{i sup|(''j'')}}(''c'')}} के लिए व्यंजक प्राप्त करता है जैसा कि ऊपर बताया गया है और {{nowrap|1=''T<sub>f</sub>''(''z'') = ''f''(''z'')}} के लिए गणना को थोड़ा संशोधित करने पर, कोई सटीक सूत्र पर पहुंच जाता है। | ||
<math display="block"> R_k(z) = \sum_{j=k+1}^\infty \frac{(z-c)^j}{2\pi i} \int_\gamma \frac{f(w)}{(w-c)^{j+1}} \, dw = \frac{(z-c)^{k+1}}{2\pi i} \int_\gamma \frac{f(w) \, dw}{(w-c)^{k+1}(w-z)} , \qquad z\in W. </math> | <math display="block"> R_k(z) = \sum_{j=k+1}^\infty \frac{(z-c)^j}{2\pi i} \int_\gamma \frac{f(w)}{(w-c)^{j+1}} \, dw = \frac{(z-c)^{k+1}}{2\pi i} \int_\gamma \frac{f(w) \, dw}{(w-c)^{k+1}(w-z)} , \qquad z\in W. </math> | ||
यहां महत्वपूर्ण विशेषता यह है कि क्षेत्र | यहां महत्वपूर्ण विशेषता यह है कि क्षेत्र <math display="inline">W \subset U</math> पर टेलर बहुपद द्वारा सन्निकटन की गुणवत्ता सीमा <math display="inline">\partial W \subset U</math> पर स्वयं f के मानों पर प्रमुख होती है। इसी प्रकार, कॉची के अनुमानों को शेष के लिए श्रृंखला अभिव्यक्ति पर अनुप्रयुक्त करने से, एक समान अनुमान प्राप्त होता है। | ||
<math display="block"> |R_k(z)| | <math display="block"> |R_k(z)| | ||
Line 260: | Line 259: | ||
=== उदाहरण === | === उदाहरण === | ||
[[File:Function with two poles.png|thumb|right| | [[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 266: | Line 265: | ||
& f(x) = \frac{1}{1+x^2} | & f(x) = \frac{1}{1+x^2} | ||
\end{align}</math> | \end{align}</math> | ||
विश्लेषणात्मक | वास्तविक विश्लेषणात्मक है, अर्थात, इसकी टेलर श्रृंखला द्वारा स्थानीय रूप से निर्धारित किया जाता है। इस फलन को इस तथ्य को स्पष्ट करने के लिए ऊपर आलेखित किया गया था कि कुछ प्राथमिक फलनों को विस्तार के केंद्र के प्रतिवेश में टेलर बहुपद द्वारा अनुमानित नहीं किया जा सकता है जो बहुत बड़े हैं। इस प्रकार के व्यवहार को जटिल विश्लेषण के ढांचे में सरलता से समझा जा सकता है। अर्थात्, फलन f सघन जटिल तल पर एक [[मेरोमोर्फिक फ़ंक्शन|मेरोमोर्फिक फलन]] में विस्तारित होता है। | ||
<math display="block">\begin{align} | <math display="block">\begin{align} | ||
Line 272: | Line 271: | ||
& f(z) = \frac{1}{1+z^2} | & f(z) = \frac{1}{1+z^2} | ||
\end{align}</math> | \end{align}</math> | ||
इसमें <math display="inline">z=i</math> और <math display="inline">z=-i</math>, पर सरल ध्रुव हैं और यह अन्यत्र विश्लेषणात्मक है। अब इसकी z<sub>0</sub> पर केन्द्रित टेलर श्रृंखला ''r'' < |''z'' − ''z''<sub>0</sub>| के साथ किसी भी चक्रिका ''B''(''z''<sub>0</sub>, ''r'') पर अभिसरित होती है, जहां वही टेलर श्रृंखला ''z'' ∈ '''C''' पपर अभिसरित होती है। इसलिए, 0 पर केन्द्रित f की टेलर श्रृंखला B(0, 1) पर अभिसरित होती है और यह किसी भी ''z'' ∈ '''C''' के लिए |''z''| > 1 के साथ i और −i पर ध्रुवों के कारण अभिसरण नहीं करता है। इसी कारण से 1 पर केन्द्रित f की टेलर श्रृंखला <math display="inline">B(1, \sqrt{2})</math> पर अभिसरित होती है और किसी भी z ∈ '''C''' के लिए <math display="inline">\left\vert z-1 \right\vert>\sqrt{2}</math> के साथ अभिसरण नहीं करता है। | |||
== टेलर के प्रमेय का सामान्यीकरण == | == टेलर के प्रमेय का सामान्यीकरण == | ||
Line 278: | Line 277: | ||
=== उच्च-क्रम भिन्नता === | === उच्च-क्रम भिन्नता === | ||
एक फलन f: 'R'<sup>n</sup> | एक फलन ''f'': '''R'''<sup>''n''</sup> → '''R''', '''''a''''' ∈ '''R'''<sup>''n''</sup> पर अवकलनीय है यदि और केवल यदि एक [[रैखिक कार्यात्मक]] ''L'' : '''R'''<sup>''n''</sup> → '''R''' और एक फलन ''h'' : '''R'''<sup>''n''</sup> → '''R''' उपस्थित हो जैसे कि | ||
<math display="block"> f(\boldsymbol{x}) = f(\boldsymbol{a}) + L(\boldsymbol{x}-\boldsymbol{a}) + h(\boldsymbol{x})\lVert\boldsymbol{x}-\boldsymbol{a}\rVert, | <math display="block"> f(\boldsymbol{x}) = f(\boldsymbol{a}) + L(\boldsymbol{x}-\boldsymbol{a}) + h(\boldsymbol{x})\lVert\boldsymbol{x}-\boldsymbol{a}\rVert, | ||
\qquad \lim_{\boldsymbol{x}\to\boldsymbol{a}}h(\boldsymbol{x})=0. </math> | \qquad \lim_{\boldsymbol{x}\to\boldsymbol{a}}h(\boldsymbol{x})=0. </math> | ||
यदि | यदि यह स्थिति है, तो <math display="inline">L=df(\boldsymbol{a})</math> बिंदु a पर f का (विशिष्ट रूप से परिभाषित) अंतर है। इसके अतिरिक्त,तब f का आंशिक व्युत्पन्न a पर उपस्थित होता है और a पर f का अंतर इस प्रकार दिया जाता है। | ||
<math display="block"> df( \boldsymbol{a} )( \boldsymbol{v} ) = \frac{\partial f}{\partial x_1}(\boldsymbol{a})v_1 + \cdots + \frac{\partial f}{\partial x_n}(\boldsymbol{a})v_n. </math> | <math display="block"> df( \boldsymbol{a} )( \boldsymbol{v} ) = \frac{\partial f}{\partial x_1}(\boldsymbol{a})v_1 + \cdots + \frac{\partial f}{\partial x_n}(\boldsymbol{a})v_n. </math>''α'' ∈ '''N'''<sup>''n''</sup> और '''''x''''' ∈ '''R'''<sup>''n''</sup> के लिए[[ बहु-सूचकांक संकेतन | बहु-सूचकांक अंकन]] का परिचय दें। | ||
[[ बहु-सूचकांक संकेतन ]] का परिचय | |||
<math display="block"> |\alpha| = \alpha_1+\cdots+\alpha_n, \quad \alpha!=\alpha_1!\cdots\alpha_n!, \quad \boldsymbol{x}^\alpha=x_1^{\alpha_1}\cdots x_n^{\alpha_n} </math> | <math display="block"> |\alpha| = \alpha_1+\cdots+\alpha_n, \quad \alpha!=\alpha_1!\cdots\alpha_n!, \quad \boldsymbol{x}^\alpha=x_1^{\alpha_1}\cdots x_n^{\alpha_n} </math> | ||
यदि सभी {{nowrap|''f'' : '''R'''<sup>''n''</sup> → '''R'''}} के सभी <math display="inline">k</math>-वें क्रम के आंशिक व्युत्पन्न {{nowrap|'''''a''''' ∈ '''R'''<sup>''n''</sup>}} पर सतत हैं, तो क्लैरॉट के प्रमेय द्वारा, कोई मिश्रित व्युत्पन्न के क्रम को ''a'' पर बदल सकता है, इसलिए अंकन | |||
<math display="block"> D^\alpha f = \frac{\partial^{|\alpha|}f}{\partial x_1^{\alpha_1}\cdots \partial x_n^{\alpha_n}}, \qquad |\alpha|\leq k </math> | <math display="block"> D^\alpha f = \frac{\partial^{|\alpha|}f}{\partial x_1^{\alpha_1}\cdots \partial x_n^{\alpha_n}}, \qquad |\alpha|\leq k </math> | ||
उच्च क्रम के लिए आंशिक अवकलज इस स्थिति में उचित है। यही बात सत्य है यदि f के सभी (k − 1)-वें क्रम के आंशिक व्युत्पन्न 'a' के किसी प्रतिवेश में उपस्थित हैं और 'a' पर भिन्न हैं।<ref>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, {{harvnb|Apostol|1974|loc=Theorem 12.11}}.</ref> तब हम कहते हैं कि f, k | उच्च क्रम के लिए आंशिक अवकलज इस स्थिति में उचित है। यही बात सत्य है यदि f के सभी (k − 1)-वें क्रम के आंशिक व्युत्पन्न 'a' के किसी प्रतिवेश में उपस्थित हैं और 'a' पर भिन्न हैं।<ref>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, {{harvnb|Apostol|1974|loc=Theorem 12.11}}.</ref> तब हम कहते हैं कि बिंदु a पर f, k गुना अवकलनीय है। | ||
=== बहुभिन्नरूपी | === बहुभिन्नरूपी फलनों के लिए टेलर का प्रमेय === | ||
पिछले अनुभाग के अंकन पद्धति का उपयोग करते हुए, निम्नलिखित प्रमेय प्राप्त होता है। | पिछले अनुभाग के अंकन पद्धति का उपयोग करते हुए, निम्नलिखित प्रमेय प्राप्त होता है। | ||
{{math theorem|name=टेलर के प्रमेय का बहुभिन्नरूपी संस्करण<ref>Königsberger Analysis 2, p. 64 ff.</ref>|math_statement= मान लीजिए कि {{nowrap|''f'' : '''R'''<sup>''n''</sup> → '''R'''}} बिंदु {{nowrap|'''''a''''' ∈ '''R'''<sup>''n''</sup>}} पर एक ''k''-गुना [[सतत अवकलनीय]] फलन है। फिर वहां फलन {{math|''h''<sub>''α''</sub> : '''R'''<sup>''n''</sup> → '''R'''}} उपस्थित है, जहां <math>|\alpha|=k,</math> जैसे कि | {{math theorem|name=टेलर के प्रमेय का बहुभिन्नरूपी संस्करण<ref>Königsberger Analysis 2, p. 64 ff.</ref>|math_statement= मान लीजिए कि {{nowrap|''f'' : '''R'''<sup>''n''</sup> → '''R'''}} बिंदु {{nowrap|'''''a''''' ∈ '''R'''<sup>''n''</sup>}} पर एक ''k''-गुना [[सतत अवकलनीय]] फलन है। फिर वहां फलन {{math|''h''<sub>''α''</sub> : '''R'''<sup>''n''</sup> → '''R'''}} उपस्थित है, जहां <math>|\alpha|=k,</math> जैसे कि | ||
Line 302: | Line 302: | ||
\end{align}</math>}} | \end{align}</math>}} | ||
यदि फलन {{nowrap|''f'' : '''R'''<sup>''n''</sup> → '''R'''}} एक [[बंद गेंद|संवृत | यदि फलन {{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 309: | Line 309: | ||
\end{align} | \end{align} | ||
</math> | </math> | ||
इस स्थिति में, [[कॉम्पैक्ट सेट| | इस स्थिति में, [[कॉम्पैक्ट सेट|संहतसमुच्चय]] B में (k+1)-वें क्रम के आंशिक अवकलज की निरंतरता के कारण, तुरंत एक समान अनुमान प्राप्त होता है। | ||
<math display="block"> \left|R_\beta(\boldsymbol{x})\right| \leq \frac{1}{\beta!} \max_{|\alpha|=|\beta|} \max_{\boldsymbol{y}\in B} |D^\alpha f(\boldsymbol{y})|, \qquad \boldsymbol{x}\in B. </math> | <math display="block"> \left|R_\beta(\boldsymbol{x})\right| \leq \frac{1}{\beta!} \max_{|\alpha|=|\beta|} \max_{\boldsymbol{y}\in B} |D^\alpha f(\boldsymbol{y})|, \qquad \boldsymbol{x}\in B. </math> | ||
Line 316: | Line 316: | ||
=== दो आयामों में उदाहरण === | === दो आयामों में उदाहरण === | ||
उदाहरण के लिए, एक सुचारु फलन f: 'R' | उदाहरण के लिए, एक सुचारु फलन ''f'': '''R'''<sup>''2''</sup> → '''R''' का तृतीय-क्रम टेलर बहुपद है, जो '''''x''''' − '''''a''''' = '''''v''''' को दर्शाता है। | ||
<math display="block"> \begin{align} | <math display="block"> \begin{align} | ||
Line 341: | Line 341: | ||
<math display="block"> \lim_{x\to a} h_k(x) =0. </math> | <math display="block"> \lim_{x\to a} h_k(x) =0. </math> | ||
यहां प्रमाण एल'हॉपिटल के नियम के बार-बार अनुप्रयुक्त होने पर आधारित है। ध्यान दें, प्रत्येक <math display="inline">j=0,1,...,k-1</math> के लिए, <math>f^{(j)}(a)=P^{(j)}(a)</math> है। इसलिए पहले में से प्रत्येक <math display="inline">k-1</math> अंश | यहां प्रमाण एल'हॉपिटल के नियम के बार-बार अनुप्रयुक्त होने पर आधारित है। ध्यान दें, प्रत्येक <math display="inline">j=0,1,...,k-1</math> के लिए, <math>f^{(j)}(a)=P^{(j)}(a)</math> है। इसलिए पहले में से प्रत्येक <math display="inline">k-1</math> अंश <math>h_k(x)</math> के व्युत्पन्न <math>x=a</math> पर लुप्त हो जाता है और यही बात हर के लिए भी सत्य है। इसके अतिरिक्त, शर्त यह है कि फलन <math display="inline">f</math> एक बिंदु पर <math display="inline">k</math> गुना भिन्न हो, उक्त बिंदु के प्रतिवेश में <math display="inline">k-1</math> क्रम तक भिन्नता की आवश्यकता होती है (यह सच है, क्योंकि भिन्नता के लिए एक बिंदु के पूरे प्रतिवेश में एक फ़ंक्शन को परिभाषित करने की आवश्यकता होती है), अंश और उसके <math display="inline">k-2</math> व्युत्पन्न <math display="inline">a</math> के प्रतिवेश में भिन्न होते हैं। स्पष्ट रूप से, हर भी उक्त शर्त को पूर्ण करता है और इसके अतिरिक्त, जब तक <math display="inline">x=a</math> लुप्त नहीं होता है, इसलिए एल'हॉपिटल के नियम के लिए आवश्यक सभी शर्तें पूर्ण की जाती हैं और इसका उपयोग उचित है। इसलिए | ||
<math display="block">\begin{align} | <math display="block">\begin{align} | ||
Line 376: | 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 441: | 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> के विवृत अंतराल पर एक गैर-लुप्त व्युत्पन्न के साथ भिन्न और परिभाषित करें। | ||
<math display="block"> F(t) = f(t) + f'(t)(x-t) + \frac{f''(t)}{2!}(x-t)^2 + \cdots + \frac{f^{(k)}(t)}{k!}(x-t)^k. | <math display="block"> F(t) = f(t) + f'(t)(x-t) + \frac{f''(t)}{2!}(x-t)^2 + \cdots + \frac{f^{(k)}(t)}{k!}(x-t)^k. | ||
Line 471: | Line 471: | ||
<math display="block"> f(x)=f(a)+ \int_a^x \, f'(t) \, dt.</math> | <math display="block"> f(x)=f(a)+ \int_a^x \, f'(t) \, dt.</math> | ||
अब हम भागों द्वारा एकीकृत कर सकते हैं और इसे देखने के लिए गणना के मौलिक प्रमेय का पुनः उपयोग कर सकते | अब हम भागों द्वारा एकीकृत कर सकते हैं और इसे देखने के लिए गणना के मौलिक प्रमेय का पुनः उपयोग कर सकते हैं। | ||
<math display="block"> \begin{align} | <math display="block"> \begin{align} | ||
Line 623: | Line 623: | ||
{{Calculus topics}} | {{Calculus topics}} | ||
{{authority control}} | {{authority control}} | ||
[[Category: | [[Category:All articles with bare URLs for citations]] | ||
[[Category:Articles with PDF format bare URLs for citations]] | |||
[[Category:Articles with bare URLs for citations from March 2022]] | |||
[[Category:CS1 Latina-language sources (la)]] | |||
[[Category:CS1 maint]] | |||
[[Category:Collapse templates]] | |||
[[Category:Created On 25/07/2023]] | [[Category:Created On 25/07/2023]] | ||
[[Category:Lua-based templates]] | |||
[[Category:Machine Translated Page]] | |||
[[Category:Navigational boxes| ]] | |||
[[Category:Navigational boxes without horizontal lists]] | |||
[[Category:Pages using sidebar with the child parameter]] | |||
[[Category:Pages with empty portal template]] | |||
[[Category:Pages with script errors]] | |||
[[Category:Portal templates with redlinked portals]] | |||
[[Category:Short description with empty Wikidata description]] | |||
[[Category:Sidebars with styles needing conversion]] | |||
[[Category:Template documentation pages|Documentation/doc]] | |||
[[Category:Templates Vigyan Ready]] | |||
[[Category:Templates generating microformats]] | |||
[[Category:Templates that add a tracking category]] | |||
[[Category:Templates that are not mobile friendly]] | |||
[[Category:Templates that generate short descriptions]] | |||
[[Category:Templates using TemplateData]] | |||
[[Category:Wikipedia metatemplates]] | |||
[[Category:अनुमान]] | |||
[[Category:कलन में प्रमेय]] | |||
[[Category:प्रमाण युक्त लेख]] | |||
[[Category:वास्तविक विश्लेषण में प्रमेय]] |
Latest revision as of 12:38, 6 November 2023
के बारे में लेखों की एक श्रृंखला का हिस्सा |
पथरी |
---|
गणना में, टेलर का प्रमेय किसी दिए गए बिंदु के चारों ओर घात -के बहुपद - गुना विभेदित फलन का एक अनुमान देता है, जिसे -वें टेलर बहुपद कहा जाता है। एक सुचारु फलन के लिए, टेलर बहुपद फलन की टेलर श्रृंखला के क्रम पर खंडन है। प्रथम-क्रम टेलर बहुपद फलन का रैखिक सन्निकटन है और दूसरे-क्रम टेलर बहुपद को प्रायः 'द्विघात सन्निकटन' के रूप में जाना जाता है।[1] टेलर के प्रमेय के कई संस्करण हैं, कुछ इसके टेलर बहुपद द्वारा फलन की सन्निकटन त्रुटि का स्पष्ट अनुमान देते हैं।
टेलर के प्रमेय का नाम गणितज्ञ ब्रूक टेलर के नाम पर रखा गया है, जिन्होंने 1715 में इसका एक संस्करण बताया था,[2] हालांकि परिणाम का एक पुराना संस्करण 1671 में जेम्स ग्रेगरी (खगोलशास्त्री और गणितज्ञ) द्वारा पहले ही उल्लेखित किया गया था।[3]
टेलर का प्रमेय परिचयात्मक-स्तर के गणना पाठ्यक्रमों में पढ़ाया जाता है और गणितीय विश्लेषण में केंद्रीय प्राथमिक उपकरणों में से एक है। यह घातांकीय फलन और त्रिकोणमितीय फलन जैसे कई अबीजीय फलनों के मानों की सटीक गणना करने के लिए सरल अंकगणितीय सूत्र देता है।
यह विश्लेषिक फलनों के अध्ययन का प्रारंभिक बिंदु है और गणित के विभिन्न क्षेत्रों के साथ-साथ संख्यात्मक विश्लेषण और गणितीय भौतिकी में भी मौलिक है। टेलर का प्रमेय बहुभिन्नरूपी फलन और सदिश मान फलनों का भी सामान्यीकरण करता है।
प्रेरणा
यदि एक वास्तविक-मूल्यवान फलन बिंदु पर अवकलनीय है, तो इस बिंदु के निकट इसका एक रैखिक सन्निकटन होता है। इसका अर्थ यह है कि एक h1(x) उपस्थित है:
का रैखिक सन्निकटन है बिंदु a के निकट x के लिए , जिसका आलेख़ , पर 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 इस प्रकार उपस्थित है कि
टेलर के प्रमेय में प्रदर्शित होने वाला बहुपद, बिंदु a पर फलन f का -वाँ क्रम वाला टेलर बहुपद है।
शेषफल के लिए स्पष्ट सूत्र
f पर प्रबल नियमितता मान्यताओं के अंतर्गत शेष पद Rk के लिए कई सटीक सूत्र हैं, टेलर बहुपद में से सबसे सामान्य निम्नलिखित हैं।
शेषफल के माध्य-मान रूप — मान लीजिए कि f : R → R विवृत अंतराल पर k + 1 गुना अवकलनीय है और और मध्य के संवृत अंतराल पर f(k) सतत है। [7] तब
कुछ वास्तविक संख्या के लिए, और के मध्य है। यह शेषफल का लैग्रेंज रूप [8] है। इसी प्रकार,
कुछ वास्तविक संख्या के लिए, और के मध्य है। यह शेषफल का कॉची रूप[9] है।
टेलर के प्रमेय के ये परिशोधन सामान्यतः माध्य मान प्रमेय का उपयोग करके सिद्ध किए जाते हैं, जहां से यह नाम पड़ा है। इसके अतिरिक्त, ध्यान दें कि होने पर यह बिल्कुल माध्य मान प्रमेय है। इसके अतिरिक्त अन्य समान अभिव्यक्तियाँ भी पाई जा सकती हैं। उदाहरण के लिए, यदि G(t) संवृत अंतराल पर सतत है और और के मध्य विवृत अंतराल पर एक गैर-लुप्त व्युत्पन्न के साथ भिन्न है, तब
शेषफल के अभिन्न रूप के लिए बयान पिछले वाले की तुलना में अधिक उन्नत है, और पूर्ण व्यापकता के लिए लेबेसेग अभिन्न की समझ की आवश्यकता है। हालाँकि, यह रीमैन अभिन्न के अर्थ में भी अनुप्रयुक्त है, बशर्ते कि f का (k+1)वां व्युत्पन्न संवृत अंतराल [a,x] पर सतत हो।
शेषफल का अभिन्न रूप[10] — मान लीजिए कि के संवृत अंतराल के मध्य और पर पूर्णतया सतत है। तब
और के मध्य संवृत अंतराल पर f(k) की पूर्ण निरंतरता के कारण, इसका व्युत्पन्न f(k+1) L1-फलन के रूप में उपस्थित है और परिणाम को गणना के मौलिक प्रमेय और भागों द्वारा एकीकरण का उपयोग करके औपचारिक गणना द्वारा सिद्ध किया जा सकता है।
शेषफल के लिए अनुमान
टेलर सन्निकटन में दिखाई देने वाले शेष पद का अनुमान लगाने में सक्षम होना, इसके लिए एक सटीक सूत्र होने के बजाय, व्यवहार में प्रायः उपयोगी होता है। मान लीजिए कि a वाले अंतराल I में f (k + 1)-गुना संतत भिन्न होता है। जैसे कि वास्तविक स्थिरांक q और Q हैं;
उदाहरण
मान लीजिए कि हम अंतराल पर फलन का अनुमानित मान ज्ञात करना चाहते हैं। यह सुनिश्चित करते हुए कि सन्निकटन में त्रुटि 10−5 से अधिक नहीं है। इस उदाहरण में हम दिखावा करते हैं कि हम घातीय फलन के केवल निम्नलिखित गुणों को जानते हैं:
-
(★)
इन गुणों से यह निष्कर्ष निकलता है, सभी के लिए और विशेष रूप से, हैं। इसलिए -वें क्रम का टेलर बहुपद पर और इसका शेष पद लैग्रेंज रूप में दिया गया है।
विश्लेषणात्मकता से संबंध
टेलर वास्तविक विश्लेषणात्मक फलनों का विस्तार
मान लीजिए I ⊂ 'R' एक विवृत अंतराल है। परिभाषा के अनुसार, एक फलन f: I → R वास्तविक विश्लेषणात्मक है यदि इसे स्थानीय रूप से एक अभिसरण शक्ति श्रृंखला द्वारा परिभाषित किया गया है। इसका अर्थ यह है कि प्रत्येक a ∈ I के लिए कुछ r > 0 और गुणांक ck ∈ R का एक क्रम उपस्थित होता है,जैसे कि (a − r, a + r) ⊂ I और
वास्तविक विश्लेषणात्मक फलन f के टेलर बहुपद केवल परिमित खंडन हैं।
टेलर का प्रमेय और टेलर श्रृंखला का अभिसरण
f की टेलर श्रृंखला कुछ अंतराल में अभिसरण करेगी जिसमें इसके सभी अवकलज बंधे हुए हैं और बहुत तीव्रता से नहीं बढ़ते हैं क्योंकि के अनंत तक जाता है। (हालाँकि, भले ही टेलर श्रृंखला अभिसरण करती है, यह f में परिवर्तित नहीं हो सकती है, जैसा कि नीचे बताया गया है; तब f को गैर-विश्लेषणात्मक फलन कहा जाता है)।
कोई टेलर श्रृंखला के विषय में विचार कर सकता है:
-
(★★)
प्रत्येक x ∈ (a − r,a + r) के लिए है। कभी-कभी स्थिरांक Mk,r को इस तरह से चुना जा सकता है कि निश्चित r और सभी k के लिए Mk,r ऊपर परिबद्ध हो। फिर f की टेलर श्रृंखला कुछ विश्लेषणात्मक फलन में समान रूप से परिवर्तित हो जाती है।
परिभाषा के अनुसार सीमा फलन Tf सदैव विश्लेषणात्मक होता है, लेकिन यह आवश्यक रूप से मूल फलन f के बराबर नहीं होता है, भले ही f असीम रूप से भिन्न हो। इस स्थिति में, हम कहते हैं कि f एक गैर-विश्लेषणात्मक सहज फलन है, उदाहरण के लिए एक समतल फलन:
- 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) के साथ देता है।
इसलिए किसी विवृत समुच्चय U ⊂ C में कोई भी जटिल व्युत्पन्न फलन f वास्तव में जटिल विश्लेषणात्मक है। वास्तविक विश्लेषणात्मक फलनों के लिए जो कुछ भी कहा गया है वह विवृत अंतराल I के साथ जटिल विश्लेषणात्मक फलनों के लिए भी अनुप्रयुक्त होता है, जिसे एक विवृत उपसमुच्चय U ∈ C द्वारा प्रतिस्थापित किया जाता है और a-केंद्रित अंतराल (a − r, a +r) को C-केंद्रित चक्रिका B(c,r) द्वारा प्रतिस्थापित किया जाता है। विशेष रूप से, टेलर विस्तार रूप में है;
उदाहरण
फलन:
टेलर के प्रमेय का सामान्यीकरण
उच्च-क्रम भिन्नता
एक फलन f: Rn → R, a ∈ Rn पर अवकलनीय है यदि और केवल यदि एक रैखिक कार्यात्मक L : Rn → R और एक फलन h : Rn → R उपस्थित हो जैसे कि
यदि सभी f : Rn → R के सभी -वें क्रम के आंशिक व्युत्पन्न a ∈ Rn पर सतत हैं, तो क्लैरॉट के प्रमेय द्वारा, कोई मिश्रित व्युत्पन्न के क्रम को a पर बदल सकता है, इसलिए अंकन
बहुभिन्नरूपी फलनों के लिए टेलर का प्रमेय
पिछले अनुभाग के अंकन पद्धति का उपयोग करते हुए, निम्नलिखित प्रमेय प्राप्त होता है।
टेलर के प्रमेय का बहुभिन्नरूपी संस्करण[14] — मान लीजिए कि f : Rn → R बिंदु a ∈ Rn पर एक k-गुना सतत अवकलनीय फलन है। फिर वहां फलन hα : Rn → R उपस्थित है, जहां जैसे कि
यदि फलन f : Rn → R एक संवृत गोलक में k + 1 गुना संतत अवकलनीय है। कुछ के लिए, तो कोई इस प्रतिवेश में f के (k+1)-वें क्रम के आंशिक व्युत्पन्न के संदर्भ में शेषफल के लिए एक सटीक सूत्र प्राप्त कर सकता है।[15] अर्थात्,
दो आयामों में उदाहरण
उदाहरण के लिए, एक सुचारु फलन f: R2 → R का तृतीय-क्रम टेलर बहुपद है, जो x − a = v को दर्शाता है।
प्रमाण
एक वास्तविक चर में टेलर के प्रमेय का प्रमाण
मान लीजिए[16]
एक वास्तविक चर में टेलर के प्रमेय के लिए वैकल्पिक प्रमाण
मान लीजिए टेलर बहुपद द्वारा अनुमानित किया जाने वाला कोई भी वास्तविक-मूल्यवान, सतत, फलन हो सकता है।
चरण 1: मान लीजिए कि और फलन है। और को व्यवस्थित करें।
चरण 3: कॉची माध्य मान प्रमेय का उपयोग करें।
मान लीजिए कि और सतत फलन है। तब से ताकि हम अंतराल के साथ काम कर सकें। और पर भिन्न हो सकते हैं। सभी के लिए मान लें। तभी अस्तित्व ऐसा है कि
इसे के लिए भी किया जा सकता है:
इससे एक विभाजन मिलता है:
शेषफल के माध्य मान रूपों की व्युत्पत्ति
मान लीजिए कि G कोई वास्तविक-मूल्यवान फलन है, जो मध्य के संवृत अंतराल और पर सतत है, और के विवृत अंतराल पर एक गैर-लुप्त व्युत्पन्न के साथ भिन्न और परिभाषित करें।
-
(★★★)
कुछ के लिए विवृत अंतराल पर और के मध्य है। ध्यान दें कि यहाँ अंश , के लिए टेलर बहुपद का बिल्कुल शेषफल है। गणना करना;
टिप्पणी: इस विधि का प्रयोग करके शेषफल का पूर्णांक रूप भी चुनकर प्राप्त किया जा सकता है;
शेषफल के पूर्णांक रूप की व्युत्पत्ति
f(k) के मध्य संवृत अंतराल और पर इसका व्युत्पन्न f(k+1), L1-फलन के रूप में उपस्थित है और हम कलन के मौलिक प्रमेय और भागों द्वारा एकीकरण का उपयोग कर सकते हैं। यही प्रमाण रीमान समाकल के लिए अनुप्रयुक्त होता है, यह मानते हुए कि f(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)) पर अनुप्रयुक्त करते हैं:
यह भी देखें
फ़ुटनोट
- ↑ (2013). "Linear and quadratic approximation" Retrieved December 6, 2018
- ↑ 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.
- ↑ Kline 1972, pp. 442, 464.
- ↑ 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) - ↑ Spivak, Michael (1994), Calculus (3rd ed.), Houston, TX: Publish or Perish, p. 383, ISBN 978-0-914098-89-8
- ↑ "Taylor formula", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
- ↑ The hypothesis of f(k) being continuous on the closed interval between and is not redundant. Although f being k + 1 times differentiable on the open interval between and does imply that f(k) is continuous on the open interval between and , it does not imply that f(k) is continuous on the closed interval between and , i.e. it does not imply that f(k) is continuous at the endpoints of that interval. Consider, for example, the function f : [0,1] → R defined to equal on and with . This is not continuous at 0, but is continuous on . Moreover, one can show that this function has an antiderivative. Therefore that antiderivative is differentiable on , its derivative (the function f) is continuous on the open interval , but its derivative f is not continuous on the closed interval . So the theorem would not apply in this case.
- ↑ Kline 1998, §20.3; Apostol 1967, §7.7.
- ↑ Apostol 1967, §7.7.
- ↑ Apostol 1967, §7.5.
- ↑ Apostol 1967, §7.6
- ↑ Rudin 1987, §10.26
- ↑ 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.
- ↑ Königsberger Analysis 2, p. 64 ff.
- ↑ https://sites.math.washington.edu/~folland/Math425/taylor2.pdf[bare URL PDF]
- ↑ Stromberg 1981
- ↑ Hörmander 1976, pp. 12–13
संदर्भ
- Apostol, Tom (1967), Calculus, Wiley, ISBN 0-471-00005-1.
- Apostol, Tom (1974), Mathematical analysis, Addison–Wesley.
- Bartle, Robert G.; Sherbert, Donald R. (2011), Introduction to Real Analysis (4th ed.), Wiley, ISBN 978-0-471-43331-6.
- Hörmander, L. (1976), Linear Partial Differential Operators, Volume 1, Springer, ISBN 978-3-540-00662-6.
- Kline, Morris (1972), Mathematical thought from ancient to modern times, Volume 2, Oxford University Press.
- Kline, Morris (1998), Calculus: An Intuitive and Physical Approach, Dover, ISBN 0-486-40453-6.
- Pedrick, George (1994), A First Course in Analysis, Springer, ISBN 0-387-94108-8.
- Stromberg, Karl (1981), Introduction to classical real analysis, Wadsworth, ISBN 978-0-534-98012-2.
- Rudin, Walter (1987), Real and complex analysis (3rd ed.), McGraw-Hill, ISBN 0-07-054234-1.
- Tao, Terence (2014), Analysis, Volume I (3rd ed.), Hindustan Book Agency, ISBN 978-93-80250-64-9.
- Proof of Taylor's Theorem (PDF), Chinese University of Hong Kong.
बाहरी संबंध
- टेलर प्रमेय at ProofWiki
- Taylor Series Approximation to Cosine at cut-the-knot
- Trigonometric Taylor Expansion interactive demonstrative applet
- Taylor Series Revisited at Holistic Numerical Methods Institute