टेलर प्रमेय

घातांकीय फलन ${\textstyle y=e^{x}}$ (लाल) और मूल के चारों ओर डिग्री चार (धराशायी हरा) का संबंधित टेलर बहुपद।

गणना में, टेलर का प्रमेय एक अनुमान देता है ${\textstyle k}$-डिग्री के बहुपद द्वारा किसी दिए गए बिंदु के चारों ओर बार-बार भिन्न-भिन्न कार्य ${\textstyle k}$, इसको कॉल किया गया ${\textstyle k}$-वें क्रम का टेलर बहुपद। एक सुचारु कार्य के लिए, टेलर बहुपद क्रम में काट-छाँट है${\textstyle k}$समारोह की टेलर श्रृंखला का। प्रथम-क्रम टेलर बहुपद फलन का रैखिक सन्निकटन है, और दूसरे-क्रम टेलर बहुपद को प्रायः 'द्विघात सन्निकटन' के रूप में जाना जाता है। टेलर के प्रमेय के कई संस्करण हैं, कुछ इसके टेलर बहुपद द्वारा फलन की सन्निकटन त्रुटि का स्पष्ट अनुमान देते हैं।

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

प्रेरणा

का आलेख ${\textstyle f(x)=e^{x}}$ (नीला) इसके रैखिक सन्निकटन के साथ ${\textstyle P_{1}(x)=1+x}$ (लाल)पर ${\textstyle a=0}$. यदि एक वास्तविक-मूल्यवान फलन (गणित) ${\textstyle f(x)}$ बिंदु पर व्युत्पन्न है ${\textstyle x=a}$, तो इस बिंदु के निकट इसका एक रैखिक सन्निकटन होता है। इसका अर्थ है कि एक फलन h उपस्थित है₁(x) ऐसा कि

$$f(x)=f(a)+f'(a)(x-a)+h_{1}(x)(x-a),\quad \lim _{x\to a}h_{1}(x)=0.$$

यहाँ

$$P_{1}(x)=f(a)+f'(a)(x-a)$$

का रैखिक सन्निकटन है ${\textstyle f(x)}$ बिंदु a के निकट x के लिए, जिसका आलेख़ ${\textstyle y=P_{1}(x)}$ आलेख़ की स्पर्श रेखा है ${\textstyle y=f(x)}$ पर x = a. सन्निकटन में त्रुटि है:

$$R_{1}(x)=f(x)-P_{1}(x)=h_{1}(x)(x-a).$$

जैसे-जैसे x, a की ओर बढ़ता है, यह त्रुटि उससे कहीं अधिक तीव्रता से शून्य हो जाती है $f'(a)(x{-}a)$, बनाना $f(x)\approx P_{1}(x)$ एक उपयोगी सन्निकटन.

का आलेख ${\textstyle f(x)=e^{x}}$ (नीला) अपने द्विघात सन्निकटन के साथ $P_{2}(x)=1+x+{\dfrac {x^{2}}{2}}$ (लाल)पर ${\textstyle a=0}$. सन्निकटन में सुधार पर ध्यान दें. बेहतर सन्निकटन के लिए ${\textstyle f(x)}$, हम एक रैखिक फलन के बजाय एक द्विघात बहुपद उपयुक्त कर सकते हैं:

$$P_{2}(x)=f(a)+f'(a)(x-a)+{\frac {f''(a)}{2}}(x-a)^{2}.$$

केवल एक व्युत्पन्न का मिलान करने के बजाय ${\textstyle f(x)}$ पर ${\textstyle x=a}$, इस बहुपद में पहला और दूसरा व्युत्पन्न समान है, जैसा कि विभेदन पर स्पष्ट है।

टेलर का प्रमेय यह सुनिश्चित करता है कि द्विघात सन्निकटन, पर्याप्त रूप से छोटे पड़ोस में है ${\textstyle x=a}$, रैखिक सन्निकटन से अधिक सटीक। विशेष रूप से,

$$f(x)=P_{2}(x)+h_{2}(x)(x-a)^{2},\quad \lim _{x\to a}h_{2}(x)=0.$$

यहाँ सन्निकटन में त्रुटि है

$$R_{2}(x)=f(x)-P_{2}(x)=h_{2}(x)(x-a)^{2},$$

जो, के सीमित व्यवहार को देखते हुए $h_{2}$की तुलना में तीव्रता से शून्य पर चला जाता है $(x-a)^{2}$ जैसे कि x, a की ओर प्रवृत्त होता है।

File:Tayloranimation.gif

का अनुमान ${\textstyle f(x)={\dfrac {1}{1+x^{2}}}}$ (नीला) इसके टेलर बहुपद द्वारा ${\textstyle P_{k}}$ आदेश की ${\textstyle k=1,\ldots ,16}$ पर केन्द्रित ${\textstyle x=0}$ (लाल) और ${\textstyle x=1}$ (हरा)। बाहर अनुमानों में बिल्कुल भी सुधार नहीं होता $(-1,1)$ और ${\textstyle (1-{\sqrt {2}},1+{\sqrt {2}})}$, क्रमश।

इसी प्रकार, यदि हम उच्च डिग्री के बहुपदों का उपयोग करते हैं तो हमें f के और भी बेहतर सन्निकटन प्राप्त हो सकते हैं, तब से हम चयनित आधार बिंदु पर f के साथ और भी अधिक व्युत्पन्नों का मिलान कर सकते हैं।

सामान्य तौर पर, डिग्री k के बहुपद द्वारा किसी फलन का अनुमान लगाने में त्रुटि बहुत तीव्रता से शून्य हो जाएगी $(x-a)^{k}$ जैसे कि x, a की ओर प्रवृत्त होता है। हालाँकि, ऐसे फलन हैं, यहां तक ​​​​कि असीम रूप से भिन्न भी, जिनके लिए अनुमानित बहुपद की डिग्री बढ़ाने से सन्निकटन की सटीकता में वृद्धि नहीं होती है: हम कहते हैं कि ऐसा फलन x = a पर विश्लेषणात्मक फलन होने में विफल रहता है: यह (स्थानीय रूप से) इस बिंदु पर इसके अवकलज द्वारा निर्धारित नहीं होता है।

टेलर का प्रमेय स्पर्शोन्मुख प्रकृति का है: यह हमें केवल यह बताता है कि त्रुटि हुई है ${\textstyle R_{k}}$ ए द्वारा एक अनुमान में ${\textstyle k}$-वें क्रम का टेलर बहुपद पी_kकिसी भी गैर-शून्य की तुलना में तीव्रता से शून्य हो जाता है ${\textstyle k}$-वें डिग्री बहुपद के रूप में ${\textstyle x\to a}$. यह हमें नहीं बताता कि विस्तार के केंद्र के किसी ठोस पड़ोस (गणित) में त्रुटि कितनी बड़ी है, लेकिन इस उद्देश्य के लिए शेष पद (नीचे दिए गए) के लिए स्पष्ट सूत्र हैं जो एफ पर कुछ अतिरिक्त नियमितता मान्यताओं के अंतर्गत मान्य हैं। टेलर के प्रमेय के ये उन्नत संस्करण आम तौर पर विस्तार के केंद्र के एक छोटे से पड़ोस में सन्निकटन त्रुटि के लिए एक समान अभिसरण की ओर ले जाते हैं, लेकिन अनुमान आवश्यक रूप से उन पड़ोस के लिए नहीं होते हैं जो बहुत बड़े हैं, भले ही फलन एफ विश्लेषणात्मक फलन हो। उस स्थिति में किसी को मूल फलन के विश्वसनीय टेलर-अनुमान प्राप्त करने के लिए विस्तार के विभिन्न केंद्रों के साथ कई टेलर बहुपदों का चयन करना पड़ सकता है (दाईं ओर एनीमेशन देखें।)

ऐसे कई तरीके हैं जिनसे हम शेष पद का उपयोग कर सकते हैं:

1. बहुपद P के लिए त्रुटि का अनुमान लगाएं_k(x) डिग्री k का अनुमान लगाना ${\textstyle f(x)}$ किसी दिए गए अंतराल पर (ए - आर, ए + आर)। (अंतराल और डिग्री को देखते हुए, हम त्रुटि पाते हैं।)
2. वह सबसे छोटी घात k ज्ञात कीजिए जिसके लिए बहुपद P_k(एक्स) अनुमानित ${\textstyle f(x)}$ किसी दिए गए अंतराल पर दी गई त्रुटि सहनशीलता के भीतर (ए - आर, ए + आर)। (अंतराल और त्रुटि सहनशीलता को देखते हुए, हम डिग्री पाते हैं।)
3. सबसे बड़ा अंतराल (a − r, a + r) ज्ञात करें जिस पर P_k(एक्स) अनुमानित ${\textstyle f(x)}$ किसी दी गई त्रुटि सहनशीलता के भीतर। (डिग्री और त्रुटि सहनशीलता को देखते हुए, हम अंतराल पाते हैं।)

एक वास्तविक चर में टेलर का प्रमेय

प्रमेय का कथन

टेलर के प्रमेय के सबसे बुनियादी संस्करण का सटीक विवरण इस प्रकार है:

Taylor's theorem — Let k ≥ 1 be an integer and let the function f : R → R be k times differentiable at the point a ∈ R. Then there exists a function h_k : R → R such that

$$f(x)=f(a)+f'(a)(x-a)+{\frac {f''(a)}{2!}}(x-a)^{2}+\cdots +{\frac {f^{(k)}(a)}{k!}}(x-a)^{k}+h_{k}(x)(x-a)^{k},$$

and

$$\lim _{x\to a}h_{k}(x)=0.$$

This is called the Peano form of the remainder.

टेलर के प्रमेय में प्रदर्शित होने वाला बहुपद है${\textstyle {\boldsymbol {k}}}$-वें क्रम का टेलर बहुपद

$$P_{k}(x)=f(a)+f'(a)(x-a)+{\frac {f''(a)}{2!}}(x-a)^{2}+\cdots +{\frac {f^{(k)}(a)}{k!}}(x-a)^{k}$$

बिंदु a पर फलन f का। टेलर बहुपद इस अर्थ में अद्वितीय स्पर्शोन्मुख सबसे उपयुक्त बहुपद है कि यदि कोई फलन उपस्थित है h_k : R → R और ए ${\textstyle k}$-वें क्रम का बहुपद p इस प्रकार है कि

$$f(x)=p(x)+h_{k}(x)(x-a)^{k},\quad \lim _{x\to a}h_{k}(x)=0,$$

फिर पी = पी_k. टेलर का प्रमेय 'शेष पद' के स्पर्शोन्मुख व्यवहार का वर्णन करता है

$$R_{k}(x)=f(x)-P_{k}(x),$$

जो टेलर बहुपद के साथ f का सन्निकटन करते समय सन्निकटन त्रुटि है। लिटिल-ओ संकेतन का उपयोग करते हुए, टेलर के प्रमेय में कथन इस प्रकार पढ़ा जाता है

$$R_{k}(x)=o(|x-a|^{k}),\quad x\to a.$$

शेषफल के लिए स्पष्ट सूत्र

एफ पर प्रबल नियमितता मान्यताओं के अंतर्गत शेष पद आर के लिए कई सटीक सूत्र हैं_kटेलर बहुपद में से सबसे आम निम्नलिखित हैं।

Mean-value forms of the remainder — Let f : R → R be k + 1 times differentiable on the open interval with f^(k) continuous on the closed interval between ${\textstyle a}$ and ${\textstyle x}$. Then

$$R_{k}(x)={\frac {f^{(k+1)}(\xi _{L})}{(k+1)!}}(x-a)^{k+1}$$

for some real number ${\textstyle \xi _{L}}$ between ${\textstyle a}$ and ${\textstyle x}$. This is the Lagrange form of the remainder.

Similarly,

$$R_{k}(x)={\frac {f^{(k+1)}(\xi _{C})}{k!}}(x-\xi _{C})^{k}(x-a)$$

for some real number ${\textstyle \xi _{C}}$ between ${\textstyle a}$ and ${\textstyle x}$. This is the Cauchy form of the remainder.

टेलर के प्रमेय के ये परिशोधन सामान्यतः माध्य मान प्रमेय का उपयोग करके सिद्ध किए जाते हैं, जहां से यह नाम पड़ा है। इसके अतिरिक्त, ध्यान दें कि यह बिल्कुल माध्य मान प्रमेय है जब ${\textstyle k=0}$. इसके अतिरिक्त अन्य समान अभिव्यक्तियाँ भी पाई जा सकती हैं। उदाहरण के लिए, यदि G(t) संवृत अंतराल पर निरंतर है और मध्य के विवृत अंतराल पर एक गैर-लुप्त व्युत्पन्न के साथ भिन्न है ${\textstyle a}$ और ${\textstyle x}$, तब

$$R_{k}(x)={\frac {f^{(k+1)}(\xi )}{k!}}(x-\xi )^{k}{\frac {G(x)-G(a)}{G'(\xi )}}$$

कुछ संख्या के लिए ${\textstyle \xi }$ मध्य में ${\textstyle a}$ और ${\textstyle x}$. यह संस्करण विशेष स्थितियों के रूप में शेष के लैग्रेंज और कॉची रूपों को सम्मिलित करता है, और नीचे माध्य मान प्रमेय#कॉची का माध्य मान प्रमेय|कॉची का माध्य मान प्रमेय का उपयोग करके सिद्ध किया गया है। लैग्रेंज फॉर्म लेने से प्राप्त होता है $G(t)=(x-t)^{k+1}$ और कॉची रूप लेने से प्राप्त होता है $G(t)=t-a$.

शेषफल के अभिन्न रूप के लिए बयान पिछले वाले की तुलना में अधिक उन्नत है, और पूर्ण व्यापकता के लिए लेबेसेग अभिन्न की समझ की आवश्यकता है। हालाँकि, यह रीमैन अभिन्न के अर्थ में भी अनुप्रयुक्त है, बशर्ते कि f का (k+1)वां व्युत्पन्न संवृत अंतराल [a,x] पर निरंतर हो।

Integral form of the remainder — Let ${\textstyle f^{(k)}}$ be absolutely continuous on the closed interval between ${\textstyle a}$ and ${\textstyle x}$. Then

$$R_{k}(x)=\int _{a}^{x}{\frac {f^{(k+1)}(t)}{k!}}(x-t)^{k}\,dt.$$

एफ के बिल्कुल निरंतर होने के कारण^(k) के मध्य संवृत अंतराल पर ${\textstyle a}$ और ${\textstyle x}$, इसका व्युत्पन्न एफ^(k+1) एल के रूप में उपस्थित है¹-फलन, और परिणाम को कैलकुलस के मौलिक प्रमेय और भागों द्वारा एकीकरण का उपयोग करके औपचारिक गणना द्वारा सिद्ध किया जा सकता है।

शेष के लिए अनुमान

टेलर सन्निकटन में दिखाई देने वाले शेष पद का अनुमान लगाने में सक्षम होना, इसके लिए एक सटीक सूत्र होने के बजाय, व्यवहार में प्रायः उपयोगी होता है। मान लीजिए कि एफ है (k + 1)-अंतराल I में कई बार लगातार अंतर होता है जिसमें a होता है। मान लीजिए कि ऐसे वास्तविक स्थिरांक q और Q हैं

$$q\leq f^{(k+1)}(x)\leq Q$$

संपूर्ण I में, फिर शेष पद असमानता को संतुष्ट करता है

$$q{\frac {(x-a)^{k+1}}{(k+1)!}}\leq R_{k}(x)\leq Q{\frac {(x-a)^{k+1}}{(k+1)!}},$$

यदि x > a, और एक समान अनुमान यदि x < a. यह शेषफल के लैग्रेंज रूप का एक सरल परिणाम है। विशेषकर, यदि

$$|f^{(k+1)}(x)|\leq M$$

एक अंतराल पर I = (a − r,a + r) कुछ के साथ $r>0$ , तब

$$|R_{k}(x)|\leq M{\frac {|x-a|^{k+1}}{(k+1)!}}\leq M{\frac {r^{k+1}}{(k+1)!}}$$

सभी के लिए x∈(a − r,a + r). दूसरी असमानता को एक समान अभिसरण कहा जाता है, क्योंकि यह अंतराल पर सभी x के लिए समान रूप से रखती है (a − r,a + r).

उदाहरण

File:Expanimation.gif

का अनुमान ${\textstyle e^{x}}$ (नीला) इसके टेलर बहुपद द्वारा $P_{k}$ आदेश की ${\textstyle k=1,\ldots ,7}$ पर केन्द्रित ${\textstyle x=0}$ (लाल)।

मान लीजिए कि हम फलन का अनुमानित मान ज्ञात करना चाहते हैं ${\textstyle f(x)=e^{x}}$ अंतराल पर ${\textstyle [-1,1]}$ यह सुनिश्चित करते हुए कि अनुमान में त्रुटि 10 से अधिक न हो⁻⁵. इस उदाहरण में हम दिखावा करते हैं कि हम घातीय फलन के केवल निम्नलिखित गुणों को जानते हैं:

$e^{0}=1,\qquad {\frac {d}{dx}}e^{x}=e^{x},\qquad e^{x}>0,\qquad x\in \mathbb {R} .$

(★)

इन गुणों से यह निष्कर्ष निकलता है ${\textstyle f^{(k)}(x)=e^{x}}$ सभी के लिए ${\textstyle k}$, खास तरीके से, ${\textstyle f^{(k)}(0)=1}$. इसलिए${\textstyle k}$-वें क्रम का टेलर बहुपद ${\textstyle f}$ पर ${\textstyle 0}$ और इसका शेष पद लैग्रेंज रूप में दिया गया है

$$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},$$

जहाँ ${\textstyle \xi }$ 0 और x के मध्य कोई संख्या है. चूँकि ई^x बढ़ रहा है (★), हम बस उपयोग कर सकते हैं ${\textstyle e^{x}\leq 1}$ के लिए ${\textstyle x\in [-1,0]}$ उपअंतराल पर शेषफल का अनुमान लगाने के लिए $[-1,0]$. शेष के लिए ऊपरी सीमा प्राप्त करने के लिए $[0,1]$, हम गुणधर्म का उपयोग करते हैं ${\textstyle e^{\xi }<e^{x}}$ के लिए ${\textstyle 0<\xi <x}$ अंदाज़ा लगाने के लिए

$$e^{x}=1+x+{\frac {e^{\xi }}{2}}x^{2}<1+x+{\frac {e^{x}}{2}}x^{2},\qquad 0<x\leq 1$$

दूसरे क्रम के टेलर विस्तार का उपयोग करना। फिर हम ई के लिए हल करते हैं^xउसका अनुमान लगाने के लिए

$$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$$

बस अंश को अधिकतम करके और हर को छोटा करके। ई के लिए इन अनुमानों का संयोजन^xहम उसे देखते हैं

$$|R_{k}(x)|\leq {\frac {4|x|^{k+1}}{(k+1)!}}\leq {\frac {4}{(k+1)!}},\qquad -1\leq x\leq 1,$$

इसलिए आवश्यक परिशुद्धता निश्चित रूप से पहुँच जाती है, जब

$${\frac {4}{(k+1)!}}<10^{-5}\quad \Longleftrightarrow \quad 4\cdot 10^{5}<(k+1)!\quad \Longleftrightarrow \quad k\geq 9.$$

(कारख़ाने का देखें या हाथ से मानों की गणना करें ${\textstyle 9!=362880}$ और ${\textstyle 10!=3628800}$.) निष्कर्ष के रूप में, टेलर का प्रमेय सन्निकटन की ओर ले जाता है

$$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.$$

उदाहरण के लिए, यह सन्निकटन दशमलव प्रतिनिधित्व प्रदान करता है $e\approx 2.71828$, दशमलव के पाँच स्थानों तक सही करें।

विश्लेषणात्मकता से संबंध

टेलर वास्तविक विश्लेषणात्मक कार्यों का विस्तार

मान लीजिए I ⊂ 'R' एक विवृत अंतराल है। परिभाषा के अनुसार, एक फलन f: I → 'R' एक विश्लेषणात्मक फलन है यदि इसे स्थानीय रूप से एक अभिसरण शक्ति श्रृंखला द्वारा परिभाषित किया गया है। इसका अर्थ यह है कि प्रत्येक a ∈ I के लिए कुछ r > 0 और गुणांक c का एक क्रम उपस्थित होता है_k∈ 'आर' ऐसे कि (a − r, a + r) ⊂ I और

$$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.$$

सामान्य तौर पर, पावर श्रृंखला # पावर श्रृंखला के अभिसरण की त्रिज्या की गणना कॉची-हैडामर्ड प्रमेय | कॉची-हैडामर्ड सूत्र से की जा सकती है

$${\frac {1}{R}}=\limsup _{k\to \infty }|c_{k}|^{\frac {1}{k}}.$$

यह परिणाम एक ज्यामितीय श्रृंखला के साथ तुलना पर आधारित है, और एक ही विधि से पता चलता है कि यदि किसी पर आधारित शक्ति श्रृंखला कुछ बी ∈ 'आर' के लिए अभिसरण करती है, तो उसे संवृत अंतराल पर एक समान अभिसरण अभिसरण करना होगा ${\textstyle [a-r_{b},a+r_{b}]}$, जहाँ ${\textstyle r_{b}=\left\vert b-a\right\vert }$. यहां केवल शक्ति श्रृंखला के अभिसरण पर विचार किया गया है, और यह संभवतः ऐसा ही हो सकता है (a − R,a + R) f के डोमेन I से आगे तक फैला हुआ है।

वास्तविक विश्लेषणात्मक फलन f के टेलर बहुपद केवल परिमित खंडन हैं

$$P_{k}(x)=\sum _{j=0}^{k}c_{j}(x-a)^{j},\qquad c_{j}={\frac {f^{(j)}(a)}{j!}}$$

इसकी स्थानीय रूप से परिभाषित शक्ति श्रृंखला, और संबंधित शेष शर्तें स्थानीय रूप से विश्लेषणात्मक कार्यों द्वारा दी गई हैं

$$R_{k}(x)=\sum _{j=k+1}^{\infty }c_{j}(x-a)^{j}=(x-a)^{k}h_{k}(x),\qquad |x-a|<r.$$

यहाँ कार्य

$${\begin{aligned}&h_{k}:(a-r,a+r)\to \mathbb {R} \\&h_{k}(x)=(x-a)\sum _{j=0}^{\infty }c_{k+1+j}\left(x-a\right)^{j}\end{aligned}}$$

विश्लेषणात्मक भी हैं, क्योंकि उनकी परिभाषित शक्ति श्रृंखला में मूल श्रृंखला के समान अभिसरण की त्रिज्या है। ये मानते हुए [a − r, a + r] ⊂ I और r<R, ये सभी श्रृंखलाएं समान रूप से अभिसरित होती हैं (a − r, a + r). स्वाभाविक रूप से, विश्लेषणात्मक कार्यों के स्थिति में कोई शेष पद का अनुमान लगा सकता है ${\textstyle R_{k}(x)}$ विस्तार के केंद्र में व्युत्पन्न f'(a) के अनुक्रम की पश्चभाग से, लेकिन जटिल विश्लेषण का उपयोग करने से एक और संभावना भी उत्पन्न होती है, जिसे टेलर के प्रमेय#विश्लेषणात्मकता से संबंध##जटिल विश्लेषण में टेलर के प्रमेय द्वारा वर्णित किया गया है।

टेलर का प्रमेय और टेलर श्रृंखला का अभिसरण

एफ की टेलर श्रृंखला कुछ अंतराल में अभिसरण करेगी जिसमें इसके सभी अवकलज बंधे हुए हैं और बहुत तीव्रता से नहीं बढ़ते हैं क्योंकि के अनंत तक जाता है। (हालाँकि, भले ही टेलर श्रृंखला अभिसरण करती है, यह एफ में परिवर्तित नहीं हो सकती है, जैसा कि नीचे बताया गया है; तब एफ को गैर-विश्लेषणात्मक फलन कहा जाता है।)

कोई टेलर श्रृंखला के विषय में विचार कर सकता है

$$f(x)\approx \sum _{k=0}^{\infty }c_{k}(x-a)^{k}=c_{0}+c_{1}(x-a)+c_{2}(x-a)^{2}+\cdots$$

एक अपरिमित रूप से अनेक बार अवकलनीय फलन f : 'R' → 'R' के अनंत क्रम टेलर बहुपद के रूप में। अब शेषफल के लिए टेलर के प्रमेय # अनुमान का अर्थ है कि यदि, किसी भी आर के लिए, एफ के व्युत्पन्न को (ए - आर, ए + आर) से घिरा हुआ माना जाता है, तो किसी भी क्रम के के लिए और किसी भी आर > 0 के लिए एक स्थिरांक उपस्थित होता है M_k,r > 0 ऐसा है कि

$|R_{k}(x)|\leq M_{k,r}{\frac {|x-a|^{k+1}}{(k+1)!}}$

(★★)

प्रत्येक x ∈ (a − r,a + r) के लिए। कभी-कभी स्थिरांक M_k,r को इस तरह से चुना जा सकता है M_k,r निश्चित r और सभी k के लिए ऊपर परिबद्ध है। फिर कुछ विश्लेषणात्मक फलन के लिए एफ वर्दी अभिसरण की टेलर श्रृंखला

$${\begin{aligned}&T_{f}:(a-r,a+r)\to \mathbb {R} \\&T_{f}(x)=\sum _{k=0}^{\infty }{\frac {f^{(k)}(a)}{k!}}\left(x-a\right)^{k}\end{aligned}}$$

(किसी को अभिसरण भी मिलता है भले ही M_k,rजब तक यह धीरे-धीरे बढ़ता है तब तक ऊपर सीमित नहीं है।)

सीमा समारोह T_f परिभाषा के अनुसार सदैव विश्लेषणात्मक होता है, लेकिन यह जरूरी नहीं कि मूल फलन f के बराबर हो, भले ही f असीम रूप से भिन्न हो। इस स्थिति में, हम कहते हैं कि f एक गैर-विश्लेषणात्मक सहज फलन है, उदाहरण के लिए एक समतल कार्य:

$${\begin{aligned}&f:\mathbb {R} \to \mathbb {R} \\&f(x)={\begin{cases}e^{-{\frac {1}{x^{2}}}}&x>0\\0&x\leq 0.\end{cases}}\end{aligned}}$$

गणितीय प्रेरण द्वारा श्रृंखला नियम का बार-बार उपयोग करने से पता चलता है कि किसी भी क्रम k के लिए,

$$f^{(k)}(x)={\begin{cases}{\frac {p_{k}(x)}{x^{3k}}}\cdot e^{-{\frac {1}{x^{2}}}}&x>0\\0&x\leq 0\end{cases}}$$

कुछ बहुपद पी के लिए_kडिग्री 2(k − 1) की। कार्यक्रम $e^{-{\frac {1}{x^{2}}}}$ किसी भी बहुपद की तुलना में तीव्रता से शून्य हो जाता है ${\textstyle x\to 0}$, इसलिए f अपरिमित रूप से कई गुना भिन्न है और f^(k)(0) = 0 प्रत्येक धनात्मक पूर्णांक k के लिए। उपरोक्त सभी परिणाम इस स्थिति में मान्य हैं:

• एफ की टेलर श्रृंखला शून्य फलन टी में समान रूप से परिवर्तित होती है_f(x)=0, जो शून्य के बराबर सभी गुणांकों के साथ विश्लेषणात्मक है।
• फलन f इस टेलर श्रृंखला के बराबर नहीं है, और इसलिए गैर-विश्लेषणात्मक है।
• किसी भी क्रम k ∈ 'N' और त्रिज्या r > 0 के लिए M उपस्थित है_k,r> 0 शेष सीमा को संतुष्ट करना (★★) ऊपर।

हालाँकि, जैसे-जैसे k निश्चित r के लिए बढ़ता है, M का मान बढ़ता है_k,rआर की तुलना में अधिक तेज़ी से बढ़ता है^k, और त्रुटि शून्य पर नहीं जाती है।

जटिल विश्लेषण में टेलर का प्रमेय

टेलर का प्रमेय फ़ंक्शंस f: 'C' → 'C' को सामान्यीकृत करता है जो जटिल विमान के एक विवृत उपसमुच्चय U ⊂ 'C' में जटिल रूप से भिन्न होते हैं। हालाँकि, जटिल विश्लेषण में इसकी उपयोगिता अन्य सामान्य प्रमेयों से कम है। अर्थात्, कॉची के अभिन्न सूत्र का उपयोग करके जटिल विभेदक कार्यों f : U → 'C' के लिए संबंधित परिणामों के प्रबल संस्करण निम्नानुसार निकाले जा सकते हैं।

मान लीजिए r > 0 इस प्रकार है कि संवृत डिस्क B(z,r) ∪S(z,r) U में समाहित है। फिर एक सकारात्मक पैरामीट्रिजेशन के साथ कॉची का अभिन्न सूत्र γ(t) = z + re^it वृत्त S(z, r) के साथ $t\in [0,2\pi ]$ देता है

$$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.$$

यहां सभी इंटीग्रैंड घेरा S(z,r) पर निरंतर हैं, जो समाकल चिह्न के अंतर्गत भेदभाव को उचित ठहराता है। विशेष रूप से, यदि विवृत समुच्चय U पर f एक बार जटिल अवकलनीय है, तो यह वास्तव में U पर अनंत बार जटिल अवकलनीय है। एक व्यक्ति कॉची के अनुमान भी प्राप्त करता है

$$|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)|$$

किसी भी z ∈ U और r > 0 के लिए जैसे कि B(z, r) ∪ S(c, r) ⊂ U. इन अनुमानों का अर्थ है कि सम्मिश्र संख्या टेलर श्रृंखला

$$T_{f}(z)=\sum _{k=0}^{\infty }{\frac {f^{(k)}(c)}{k!}}(z-c)^{k}$$

f का किसी भी खुली डिस्क पर समान रूप से अभिसरण होता है ${\textstyle B(c,r)\subset U}$ साथ ${\textstyle S(c,r)\subset U}$ किसी फलन में टी_f. इसके अतिरिक्त, अवकलज एफ के लिए समोच्च अभिन्न सूत्रों का उपयोग करना^(k)(सी),

$${\begin{aligned}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}}\left({\frac {1}{1-{\frac {z-c}{w-c}}}}\right)\,dw\\&={\frac {1}{2\pi i}}\int _{\gamma }{\frac {f(w)}{w-z}}\,dw=f(z),\end{aligned}}$$

इसलिए किसी विवृत समुच्चय U ⊂ 'C' में कोई भी जटिल व्युत्पन्न फलन f वास्तव में जटिल विश्लेषणात्मक है। वास्तविक विश्लेषणात्मक कार्यों के लिए जो कुछ भी कहा गया है टेलर का प्रमेय#विश्लेषणात्मकता से संबंध##विश्लेषणात्मक कार्यों का टेलर विस्तार जटिल विश्लेषणात्मक कार्यों के लिए भी अनुप्रयुक्त होता है, जिसमें विवृत अंतराल I को एक विवृत उपसमुच्चय U ∈ 'C' द्वारा प्रतिस्थापित किया जाता है और a-केंद्रित अंतराल (a − r, a +r) को C-केंद्रित डिस्क B(c,r) द्वारा प्रतिस्थापित किया जाता है। विशेष रूप से, टेलर विस्तार फॉर्म में है

$$f(z)=P_{k}(z)+R_{k}(z),\quad P_{k}(z)=\sum _{j=0}^{k}{\frac {f^{(j)}(c)}{j!}}(z-c)^{j},$$

जहाँ शेष पद R है_kजटिल विश्लेषणात्मक है. जटिल विश्लेषण के तरीके टेलर विस्तार के संबंध में कुछ शक्तिशाली परिणाम प्रदान करते हैं। उदाहरण के लिए, किसी भी सकारात्मक रूप से उन्मुख जॉर्डन वक्र के लिए कॉची के अभिन्न सूत्र का उपयोग करना ${\textstyle \gamma }$ जो सीमा को पैरामीट्रिज करता है ${\textstyle \partial W\subset U}$ एक क्षेत्र का ${\textstyle W\subset U}$, कोई व्युत्पन्नों के लिए व्यंजक प्राप्त करता है f^(j)(c) जैसा कि ऊपर बताया गया है, और इसके लिए गणना को थोड़ा संशोधित किया जा रहा है T_f(z) = f(z), कोई सटीक सूत्र पर पहुंचता है

$$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.$$

यहां महत्वपूर्ण विशेषता यह है कि क्षेत्र पर टेलर बहुपद द्वारा सन्निकटन की गुणवत्ता ${\textstyle W\subset U}$ सीमा पर स्वयं फलन f के मानों का प्रभुत्व है ${\textstyle \partial W\subset U}$. इसी प्रकार, कॉची के अनुमानों को शेष के लिए श्रृंखला अभिव्यक्ति पर अनुप्रयुक्त करने से, एक समान अनुमान प्राप्त होता है

$$|R_{k}(z)|\leq \sum _{j=k+1}^{\infty }{\frac {M_{r}|z-c|^{j}}{r^{j}}}={\frac {M_{r}}{r^{k+1}}}{\frac {|z-c|^{k+1}}{1-{\frac {|z-c|}{r}}}}\leq {\frac {M_{r}\beta ^{k+1}}{1-\beta }},\qquad {\frac {|z-c|}{r}}\leq \beta <1.$$

उदाहरण

File:Function with two poles.png

का जटिल कथानक ${\textstyle f(z)={\frac {1}{1+z^{2}}}}$. मापांक को उन्नयन द्वारा और तर्क को रंग द्वारा दिखाया गया है: सियान =${\textstyle 0}$, नीला =${\textstyle {\frac {\pi }{3}}}$, बैंगनी=${\textstyle {\frac {2\pi }{3}}}$, लाल =$\pi$, पीला=${\textstyle {\frac {4\pi }{3}}}$, हरा=${\textstyle {\frac {5\pi }{3}}}$.

कार्यक्रम

$${\begin{aligned}&f:\mathbb {R} \to \mathbb {R} \\&f(x)={\frac {1}{1+x^{2}}}\end{aligned}}$$

विश्लेषणात्मक कार्य है, अर्थात स्थानीय रूप से इसकी टेलर श्रृंखला द्वारा निर्धारित किया जाता है। इस फलन को इस तथ्य को स्पष्ट करने के लिए टेलर के प्रमेय#प्रेरणा के अनुसार तैयार किया गया था कि कुछ प्राथमिक कार्यों को विस्तार के केंद्र के पड़ोस में टेलर बहुपद द्वारा अनुमानित नहीं किया जा सकता है जो बहुत बड़े हैं। इस प्रकार के व्यवहार को जटिल विश्लेषण के ढांचे में आसानी से समझा जा सकता है। अर्थात्, फलन f एक मेरोमोर्फिक फलन में विस्तारित होता है

$${\begin{aligned}&f:\mathbb {C} \cup \{\infty \}\to \mathbb {C} \cup \{\infty \}\\&f(z)={\frac {1}{1+z^{2}}}\end{aligned}}$$

सघन जटिल तल पर। इसमें सरल ध्रुव हैं ${\textstyle z=i}$ और ${\textstyle z=-i}$, और यह अन्यत्र विश्लेषणात्मक है। अब इसकी टेलर श्रृंखला z पर केन्द्रित है₀ किसी भी डिस्क B(z) पर अभिसरण होता है₀, r) r < |z - z के साथ₀|, जहां वही टेलर श्रृंखला z ∈ 'C' पर एकत्रित होती है। इसलिए, 0 पर केन्द्रित f की टेलर श्रृंखला B(0, 1) पर अभिसरित होती है और यह |z| के साथ किसी भी z ∈ 'C' के लिए अभिसरित नहीं होती है। > 1 i और −i पर ध्रुवों के कारण। इसी कारण से 1 पर केन्द्रित एफ की टेलर श्रृंखला अभिसरित होती है ${\textstyle B(1,{\sqrt {2}})}$ और किसी भी z ∈ 'C' के लिए अभिसरण नहीं करता है ${\textstyle \left\vert z-1\right\vert >{\sqrt {2}}}$.

टेलर के प्रमेय का सामान्यीकरण

उच्च-क्रम भिन्नता

एक फलन f: 'R'ⁿ → 'R', 'a' ∈'R' से व्युत्पन्न हैⁿ यदि और केवल यदि कोई रैखिक कार्यात्मक L उपस्थित है: 'R'ⁿ → 'R' और एक फलन h : 'R'ⁿ → 'R' ऐसा कि

$$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.$$

यदि यही बात है तो ${\textstyle L=df({\boldsymbol {a}})}$ बिंदु 'ए' पर एफ के एक फलन का (विशिष्ट रूप से परिभाषित) अंतर है। इसके अतिरिक्त, f का आंशिक व्युत्पन्न 'a' पर उपस्थित है और f का अंतर 'a' पर दिया गया है

$$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}.$$

बहु-सूचकांक संकेतन का परिचय दें

$$|\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}}$$

α∈'N' के लिएⁿ और 'x' ∈ 'R'ⁿ. यदि सभी ${\textstyle k}$-वें क्रम का आंशिक व्युत्पन्न f : Rⁿ → R पर निरंतर हैं a ∈ Rⁿ, फिर दूसरे अवकलज की समरूपता द्वारा|क्लेरौट के प्रमेय, कोई ए पर मिश्रित अवकलज के क्रम को बदल सकता है, इसलिए संकेतन

$$D^{\alpha }f={\frac {\partial ^{|\alpha |}f}{\partial x_{1}^{\alpha _{1}}\cdots \partial x_{n}^{\alpha _{n}}}},\qquad |\alpha |\leq k$$

उच्च क्रम के लिए आंशिक अवकलज इस स्थिति में उचित है। यही बात सत्य है यदि f के सभी (k − 1)-वें क्रम के आंशिक व्युत्पन्न 'a' के किसी पड़ोस में उपस्थित हैं और 'a' पर भिन्न हैं। तब हम कहते हैं कि f, k 'बिंदु a पर कई गुना भिन्न है'।

बहुभिन्नरूपी कार्यों के लिए टेलर का प्रमेय

पिछले अनुभाग के अंकन पद्धति का उपयोग करते हुए, निम्नलिखित प्रमेय प्राप्त होता है।

Multivariate version of Taylor's theorem — Let f : Rⁿ → R be a k-times continuously differentiable function at the point a ∈ Rⁿ. Then there exist functions h_α : Rⁿ → R, where $|\alpha |=k,$ such that

$${\begin{aligned}&f({\boldsymbol {x}})=\sum _{|\alpha |\leq k}{\frac {D^{\alpha }f({\boldsymbol {a}})}{\alpha !}}({\boldsymbol {x}}-{\boldsymbol {a}})^{\alpha }+\sum _{|\alpha |=k}h_{\alpha }({\boldsymbol {x}})({\boldsymbol {x}}-{\boldsymbol {a}})^{\alpha },\\&{\mbox{and}}\quad \lim _{{\boldsymbol {x}}\to {\boldsymbol {a}}}h_{\alpha }({\boldsymbol {x}})=0.\end{aligned}}$$

यदि फलन f : Rⁿ → R एक संवृत गेंद में k + 1 बार लगातार भिन्न होता है $B=\{\mathbf {y} \in \mathbb {R} ^{n}:\left\|\mathbf {a} -\mathbf {y} \right\|\leq r\}$ कुछ के लिए $r>0$, तो कोई शेषफल के संदर्भ में एक सटीक सूत्र प्राप्त कर सकता है (k+1)-th इस पड़ोस में f का आंशिक व्युत्पन्न ऑर्डर करें। अर्थात्,

$${\begin{aligned}&f({\boldsymbol {x}})=\sum _{|\alpha |\leq k}{\frac {D^{\alpha }f({\boldsymbol {a}})}{\alpha !}}({\boldsymbol {x}}-{\boldsymbol {a}})^{\alpha }+\sum _{|\beta |=k+1}R_{\beta }({\boldsymbol {x}})({\boldsymbol {x}}-{\boldsymbol {a}})^{\beta },\\&R_{\beta }({\boldsymbol {x}})={\frac {|\beta |}{\beta !}}\int _{0}^{1}(1-t)^{|\beta |-1}D^{\beta }f{\big (}{\boldsymbol {a}}+t({\boldsymbol {x}}-{\boldsymbol {a}}){\big )}\,dt.\end{aligned}}$$

इस स्थिति में, कॉम्पैक्ट समुच्चय बी में (k+1)-वें क्रम के आंशिक अवकलज के निरंतर कार्य के कारण, व्यक्ति को तुरंत एक समान अनुमान प्राप्त होता है

$$\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.$$

दो आयामों में उदाहरण

उदाहरण के लिए, एक सुचारु फलन f: 'R' का तृतीय-क्रम टेलर बहुपद² → 'R', 'x' को दर्शाता है − 'a' = 'v',

$${\begin{aligned}P_{3}({\boldsymbol {x}})=f({\boldsymbol {a}})+{}&{\frac {\partial f}{\partial x_{1}}}({\boldsymbol {a}})v_{1}+{\frac {\partial f}{\partial x_{2}}}({\boldsymbol {a}})v_{2}+{\frac {\partial ^{2}f}{\partial x_{1}^{2}}}({\boldsymbol {a}}){\frac {v_{1}^{2}}{2!}}+{\frac {\partial ^{2}f}{\partial x_{1}\partial x_{2}}}({\boldsymbol {a}})v_{1}v_{2}+{\frac {\partial ^{2}f}{\partial x_{2}^{2}}}({\boldsymbol {a}}){\frac {v_{2}^{2}}{2!}}\\&+{\frac {\partial ^{3}f}{\partial x_{1}^{3}}}({\boldsymbol {a}}){\frac {v_{1}^{3}}{3!}}+{\frac {\partial ^{3}f}{\partial x_{1}^{2}\partial x_{2}}}({\boldsymbol {a}}){\frac {v_{1}^{2}v_{2}}{2!}}+{\frac {\partial ^{3}f}{\partial x_{1}\partial x_{2}^{2}}}({\boldsymbol {a}}){\frac {v_{1}v_{2}^{2}}{2!}}+{\frac {\partial ^{3}f}{\partial x_{2}^{3}}}({\boldsymbol {a}}){\frac {v_{2}^{3}}{3!}}\end{aligned}}$$

प्रमाण

एक वास्तविक चर में टेलर के प्रमेय का प्रमाण

मान लीजिए

$$h_{k}(x)={\begin{cases}{\frac {f(x)-P(x)}{(x-a)^{k}}}&x\not =a\\0&x=a\end{cases}}$$

जहां, जैसा कि टेलर के प्रमेय के कथन में है,

$$P(x)=f(a)+f'(a)(x-a)+{\frac {f''(a)}{2!}}(x-a)^{2}+\cdots +{\frac {f^{(k)}(a)}{k!}}(x-a)^{k}.$$

ये दिखाने के लिए काफी है

$$\lim _{x\to a}h_{k}(x)=0.$$

यहां प्रमाण एल'हॉपिटल के नियम के बार-बार अनुप्रयुक्त होने पर आधारित है। ध्यान दें, प्रत्येक के लिए ${\textstyle j=0,1,...,k-1}$, $f^{(j)}(a)=P^{(j)}(a)$. इसलिए पहले में से प्रत्येक ${\textstyle k-1}$ अंश के व्युत्पन्न $h_{k}(x)$ पर गायब हो जाता है $x=a$, और यही बात हर के बारे में भी सच है। इसके अतिरिक्त, शर्त यह है कि फलन ${\textstyle f}$ होना ${\textstyle k}$ एक बिंदु पर भिन्न-भिन्न समय के लिए क्रमानुसार भिन्नता की आवश्यकता होती है ${\textstyle k-1}$ उक्त बिंदु के पड़ोस में (यह सच है, क्योंकि भिन्नता के लिए एक बिंदु के पूरे पड़ोस में एक फलन को परिभाषित करने की आवश्यकता होती है), अंश और उसका ${\textstyle k-2}$ व्युत्पन्न पड़ोस में भिन्न होते हैं ${\textstyle a}$. स्पष्ट रूप से, हर भी उक्त शर्त को पूरा करता है, और इसके अतिरिक्त, जब तक लुप्त नहीं होता है ${\textstyle x=a}$, इसलिए एल'हॉपिटल के नियम के लिए आवश्यक सभी शर्तें पूरी की जाती हैं, और इसका उपयोग उचित है। इसलिए

$${\begin{aligned}\lim _{x\to a}{\frac {f(x)-P(x)}{(x-a)^{k}}}&=\lim _{x\to a}{\frac {{\frac {d}{dx}}(f(x)-P(x))}{{\frac {d}{dx}}(x-a)^{k}}}=\cdots =\lim _{x\to a}{\frac {{\frac {d^{k-1}}{dx^{k-1}}}(f(x)-P(x))}{{\frac {d^{k-1}}{dx^{k-1}}}(x-a)^{k}}}\\&={\frac {1}{k!}}\lim _{x\to a}{\frac {f^{(k-1)}(x)-P^{(k-1)}(x)}{x-a}}\\&={\frac {1}{k!}}(f^{(k)}(a)-f^{(k)}(a))=0\end{aligned}}$$

जहां दूसरी अंतिम समानता व्युत्पन्न की परिभाषा के अनुसार होती है ${\textstyle x=a}$.

एक वास्तविक चर में टेलर के प्रमेय के लिए वैकल्पिक प्रमाण

मान लीजिए $f(x)$ टेलर बहुपद द्वारा अनुमानित किया जाने वाला कोई भी वास्तविक-मूल्यवान, निरंतर, कार्य हो।

चरण 1: चलो ${\textstyle F}$ और ${\textstyle G}$ कार्य हो. तय करना ${\textstyle F}$ और ${\textstyle G}$ होना

$${\begin{aligned}F(x)=f(x)-\sum _{k=0}^{n-1}{\frac {f^{(k)}(a)}{k!}}(x-a)^{k}\end{aligned}}$$

$${\begin{aligned}G(x)=(x-a)^{n}\end{aligned}}$$

चरण 2: के गुण ${\textstyle F}$ और ${\textstyle G}$:

$${\begin{aligned}F(a)&=f(a)-f(a)-f'(a)(a-a)-...-{\frac {f^{(n-1)}(a)(a-a)^{n-1}}{(n-1)!}}=0\\G(a)&=(a-a)^{n}=0\end{aligned}}$$

इसी प्रकार,

$${\begin{aligned}F'(a)=f'(a)-f'(a)-{\frac {2f''(a)(a-a)}{1!}}-...-{\frac {f^{(n-2)}(a)(n-1)(a-a)^{n-2}}{(n-1)!}}=0\end{aligned}}$$

$${\begin{aligned}G'(a)&=n(a-a)^{n-1}=0\\&\qquad \vdots \\G^{(n-1)}(a)&=F^{(n-1)}(a)=0\end{aligned}}$$

चरण 3: कॉची माध्य मान प्रमेय का उपयोग करें

होने देना $f_{1}$ और $g_{1}$ निरंतर कार्य चालू रहें $[a,b]$. तब से $a<x<b$ इसलिए हम अंतराल के साथ काम कर सकते हैं $[a,x]$. होने देना $f_{1}$ और $g_{1}$ पर भिन्न होना $(a,x)$. मान लीजिए $g_{1}'(x)\neq 0$ सभी के लिए $x\in (a,b)$. तभी अस्तित्व है $c_{1}\in (a,x)$ ऐसा है कि

$${\begin{aligned}{\frac {f_{1}(x)-f_{1}(a)}{g_{1}(x)-g_{1}(a)}}={\frac {f_{1}'(c_{1})}{g_{1}'(c_{1})}}\end{aligned}}$$

टिप्पणी: $G'(x)\neq 0$ में $(a,b)$ और $F(a),G(a)=0$ इसलिए

$${\begin{aligned}{\frac {F(x)}{G(x)}}={\frac {F(x)-F(a)}{G(x)-G(a)}}={\frac {F'(c_{1})}{G'(c_{1})}}\end{aligned}}$$

कुछ के लिए $c_{1}\in (a,x)$.

इसके लिए भी प्रदर्शन किया जा सकता है $(a,c_{1})$:

$${\begin{aligned}{\frac {F'(c_{1})}{G'(c_{1})}}={\frac {F'(c_{1})-F'(a)}{G'(c_{1})-G'(a)}}={\frac {F''(c_{2})}{G''(c_{2})}}\end{aligned}}$$

कुछ के लिए $c_{2}\in (a,c_{1})$. इसे जारी रखा जा सकता है $c_{n}$.

इससे एक विभाजन मिलता है $(a,b)$:

$${\begin{aligned}a<c_{n}<c_{n-1}<...<c_{1}<x\end{aligned}}$$

साथ

$${\begin{aligned}{\frac {F(x)}{G(x)}}={\frac {F'(c_{1})}{G'(c_{1})}}=...={\frac {F^{(n)}(c_{n})}{G^{(n)}(c_{n})}}\end{aligned}}.$$

तय करना $c=c_{n}$:

$${\begin{aligned}{\frac {F(x)}{G(x)}}={\frac {F^{(n)}(c)}{G^{(n)}(c)}}\end{aligned}}$$

चरण 4: वापस स्थानापन्न करें

$${\begin{aligned}{\frac {F(x)}{G(x)}}={\frac {f(x)-\sum _{k=0}^{n-1}{\frac {f^{(k)}(a)}{k!}}(x-a)^{k}}{(x-a)^{n}}}={\frac {F^{(n)}(c)}{G^{(n)}(c)}}\end{aligned}}$$

घात नियम के अनुसार, बार-बार व्युत्पन्न $(x-a)^{n}$, $G^{(n)}(c)=n(n-1)...1$, इसलिए:

$${\begin{aligned}{\frac {F^{(n)}(c)}{G^{(n)}(c)}}={\frac {f^{(n)}(c)}{n(n-1)...1}}={\frac {f^{(n)}(c)}{n!}}\end{aligned}}.$$

इससे ये होता है:

$${\begin{aligned}f(x)-\sum _{k=0}^{n-1}{\frac {f^{(k)}(a)}{k!}}(x-a)^{k}={\frac {f^{(n)}(c)}{n!}}(x-a)^{n}\end{aligned}}.$$

पुनर्व्यवस्थित करने पर, हमें प्राप्त होता है:

$${\begin{aligned}f(x)=\sum _{k=0}^{n-1}{\frac {f^{(k)}(a)}{k!}}(x-a)^{k}+{\frac {f^{(n)}(c)}{n!}}(x-a)^{n}\end{aligned}},$$

या क्योंकि $c_{n}=a$ अंततः:

$${\begin{aligned}f(x)=\sum _{k=0}^{n}{\frac {f^{(k)}(a)}{k!}}(x-a)^{k}\end{aligned}}.$$

शेषफल के माध्य मान रूपों की व्युत्पत्ति

मान लीजिए कि G कोई वास्तविक-मूल्यवान फलन है, जो मध्य के संवृत अंतराल पर निरंतर है ${\textstyle a}$ और ${\textstyle x}$ और मध्य के विवृत अंतराल पर एक गैर-लुप्त होने वाले व्युत्पन्न के साथ भिन्न ${\textstyle a}$ और ${\textstyle x}$, और परिभाषित करें

$$F(t)=f(t)+f'(t)(x-t)+{\frac {f''(t)}{2!}}(x-t)^{2}+\cdots +{\frac {f^{(k)}(t)}{k!}}(x-t)^{k}.$$

के लिए $t\in [a,x]$. फिर, माध्य मान प्रमेय द्वारा#कॉची का माध्य मान प्रमेय|कॉची का माध्य मान प्रमेय,

${\frac {F'(\xi )}{G'(\xi )}}={\frac {F(x)-F(a)}{G(x)-G(a)}}$

(★★★)

कुछ के लिए ${\textstyle \xi }$ के मध्य विवृत अंतराल पर ${\textstyle a}$ और ${\textstyle x}$. ध्यान दें कि यहाँ अंश है ${\textstyle F(x)-F(a)=R_{k}(x)}$ टेलर बहुपद का बिल्कुल शेष भाग है ${\textstyle y=f(x)}$. गणना करना

$${\begin{aligned}F'(t)={}&f'(t)+{\big (}f''(t)(x-t)-f'(t){\big )}+\left({\frac {f^{(3)}(t)}{2!}}(x-t)^{2}-{\frac {f^{(2)}(t)}{1!}}(x-t)\right)+\cdots \\&\cdots +\left({\frac {f^{(k+1)}(t)}{k!}}(x-t)^{k}-{\frac {f^{(k)}(t)}{(k-1)!}}(x-t)^{k-1}\right)={\frac {f^{(k+1)}(t)}{k!}}(x-t)^{k},\end{aligned}}$$

इसे प्लग इन करें (★★★) और उसे खोजने के लिए शब्दों को पुनर्व्यवस्थित करें

$$R_{k}(x)={\frac {f^{(k+1)}(\xi )}{k!}}(x-\xi )^{k}{\frac {G(x)-G(a)}{G'(\xi )}}.$$

यह टेलर के प्रमेय के वास्तविक कथन के बाद माध्य मान रूप में शेषफल के साथ उल्लिखित शेष पद का रूप है। शेषफल का लैग्रेंज रूप चुनने पर ज्ञात होता है $G(t)=(x-t)^{k+1}$ और चुनकर कॉची फॉर्म $G(t)=t-a$.

टिप्पणी। इस विधि का प्रयोग करके शेषफल का पूर्णांक रूप भी चुनकर प्राप्त किया जा सकता है

$$G(t)=\int _{a}^{t}{\frac {f^{(k+1)}(s)}{k!}}(x-s)^{k}\,ds,$$

लेकिन माध्य मान प्रमेय के उपयोग के लिए आवश्यक एफ की आवश्यकताएं बहुत प्रबल हैं, यदि कोई इस स्थिति में दावे को साबित करने का लक्ष्य रखता है कि एफ^(k) केवल पूर्णतया सतत है। हालाँकि, यदि कोई लेबेस्ग समाकल के बजाय रीमान समाकल का उपयोग करता है, तो धारणाओं को कमजोर नहीं किया जा सकता है।

शेषफल के पूर्णांक रूप की व्युत्पत्ति

एफ के बिल्कुल निरंतर होने के कारण^(k) के मध्य संवृत अंतराल पर ${\textstyle a}$ और ${\textstyle x}$ इसका व्युत्पन्न एफ^(k+1) एल के रूप में उपस्थित है¹-फलन, और हम कलन के मौलिक प्रमेय और भागों द्वारा एकीकरण का उपयोग कर सकते हैं। यही प्रमाण रीमान समाकल के लिए अनुप्रयुक्त होता है, यह मानते हुए कि एफ^(k) संवृत अंतराल पर निरंतर कार्य है और विवृत अंतराल पर अवकलनीय कार्य है ${\textstyle a}$ और ${\textstyle x}$, और यह माध्य मान प्रमेय का उपयोग करने की तुलना में समान परिणाम की ओर ले जाता है।

कैलकुलस का मौलिक प्रमेय यह बताता है

$$f(x)=f(a)+\int _{a}^{x}\,f'(t)\,dt.$$

अब हम भागों द्वारा एकीकरण कर सकते हैं और इसे देखने के लिए कैलकुलस के मौलिक प्रमेय का फिर से उपयोग कर सकते हैं

$${\begin{aligned}f(x)&=f(a)+{\Big (}xf'(x)-af'(a){\Big )}-\int _{a}^{x}tf''(t)\,dt\\&=f(a)+x\left(f'(a)+\int _{a}^{x}f''(t)\,dt\right)-af'(a)-\int _{a}^{x}tf''(t)\,dt\\&=f(a)+(x-a)f'(a)+\int _{a}^{x}\,(x-t)f''(t)\,dt,\end{aligned}}$$

जो बिल्कुल टेलर का प्रमेय है और k=1 स्थिति में शेषफल अभिन्न रूप में है। सामान्य कथन को गणितीय प्रेरण का उपयोग करके सिद्ध किया जाता है। लगता है कि

$f(x)=f(a)+{\frac {f'(a)}{1!}}(x-a)+\cdots +{\frac {f^{(k)}(a)}{k!}}(x-a)^{k}+\int _{a}^{x}{\frac {f^{(k+1)}(t)}{k!}}(x-t)^{k}\,dt.$

(★★★★)

शेष पद को भागों द्वारा एकीकृत करते हुए हम जिस पर पहुंचते हैं

$${\begin{aligned}\int _{a}^{x}{\frac {f^{(k+1)}(t)}{k!}}(x-t)^{k}\,dt=&-\left[{\frac {f^{(k+1)}(t)}{(k+1)k!}}(x-t)^{k+1}\right]_{a}^{x}+\int _{a}^{x}{\frac {f^{(k+2)}(t)}{(k+1)k!}}(x-t)^{k+1}\,dt\\=&\ {\frac {f^{(k+1)}(a)}{(k+1)!}}(x-a)^{k+1}+\int _{a}^{x}{\frac {f^{(k+2)}(t)}{(k+1)!}}(x-t)^{k+1}\,dt.\end{aligned}}$$

इसे सूत्र में प्रतिस्थापित करना in (★★★★) दर्शाता है कि यदि यह मान k के लिए है, तो इसे मान k + 1 के लिए भी धारण करना चाहिए। इसलिए, चूंकि यह k = 1 के लिए है, इसलिए इसे प्रत्येक सकारात्मक पूर्णांक k के लिए भी धारण करना चाहिए।

बहुभिन्नरूपी टेलर बहुपदों के शेषफल के लिए व्युत्पत्ति

हम विशेष स्थिति सिद्ध करते हैं, जहां f : 'R'ⁿ → 'R' में केंद्र 'a' के साथ कुछ संवृत गेंद B में k+1 क्रम तक निरंतर आंशिक व्युत्पन्न होते हैं। प्रमाण की रणनीति टेलर के प्रमेय के एक-चर स्थिति को 'x' और 'a' से सटे रेखा खंड पर f के प्रतिबंध पर अनुप्रयुक्त करना है। a और x के मध्य रेखा खंड को u(t) = द्वारा पैरामीट्रिज करें a + t(x − a). हम फलन पर टेलर के प्रमेय का एक-चर संस्करण अनुप्रयुक्त करते हैं g(t) = f(u(t)):

$$f({\boldsymbol {x}})=g(1)=g(0)+\sum _{j=1}^{k}{\frac {1}{j!}}g^{(j)}(0)\ +\ \int _{0}^{1}{\frac {(1-t)^{k}}{k!}}g^{(k+1)}(t)\,dt.$$

कई चरों के लिए श्रृंखला नियम अनुप्रयुक्त करने से लाभ मिलता है

$${\begin{aligned}g^{(j)}(t)&={\frac {d^{j}}{dt^{j}}}f(u(t))\\&={\frac {d^{j}}{dt^{j}}}f({\boldsymbol {a}}+t({\boldsymbol {x}}-{\boldsymbol {a}}))\\&=\sum _{|\alpha |=j}\left({\begin{matrix}j\\\alpha \end{matrix}}\right)(D^{\alpha }f)({\boldsymbol {a}}+t({\boldsymbol {x}}-{\boldsymbol {a}}))({\boldsymbol {x}}-{\boldsymbol {a}})^{\alpha }\end{aligned}}$$

जहाँ ${\tbinom {j}{\alpha }}$ बहुपद गुणांक है. तब से ${\tfrac {1}{j!}}{\tbinom {j}{\alpha }}={\tfrac {1}{\alpha !}}$, हम पाते हैं:

$$f(\mathbf {x} )=f(\mathbf {a} )+\sum _{1\leq |\alpha |\leq k}{\frac {1}{\alpha !}}(D^{\alpha }f)(\mathbf {a} )(\mathbf {x} -\mathbf {a} )^{\alpha }+\sum _{|\alpha |=k+1}{\frac {k+1}{\alpha !}}(\mathbf {x} -\mathbf {a} )^{\alpha }\int _{0}^{1}(1-t)^{k}(D^{\alpha }f)(\mathbf {a} +t(\mathbf {x} -\mathbf {a} ))\,dt.$$

यह भी देखें

• हैडामर्ड लेम्मा
• लॉरेंट शृंखला
• पदे सन्निकट
• न्यूटन शृंखला

संदर्भ

• 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