قضیه تیلور

چندجمله‌ای تیلور مقدار تقریبی یک تابع مشتق‌پذیر را در همسایگی یک نقطه به دست می‌آورد. ضرایب این چندجمله‌ای را مشتق‌های این تابع در نقطه مذکور تشکیل می‌دهند. این نظریه به نام ریاضیدان بروک تیلور نامیده شده‌است.

قضیه تیلور نخستین بار توسط تیلور در سال ۱۷۱۲ مطرح گردید. با این حال، بیان صریح و روشن از خطا بسیار بعدها توسط ژوزف لویی لاگرانژ ارائه شد. بیان جدید این نظریه در سال ۱۶۷۱ توسط جیمز گرگوری اشاره شده است.
قضیه تیلور در دوره سطح مقدماتی حساب دیفرانسیل و انتگرال آموزش داده شده است و از آن است که یکی از ابزار ابتدایی و اصلی در آنالیز ریاضی است. تعمیم قضیه تیلور در هندسه دیفرانسیل و معادلات دیفرانسیل با مشتقات جزئی استفاده می‌شود.
بندانگشتی|300px|تابع توانی  (خط قرمز ممتد) و چندجمله‌ای تیلور متناظر آن از درجه ۴ حول مبدأ (خط‌چین سبز).

 بیان قضیه 
اگر تابع f در نقطه a مشتق پذیر باشد و آنگاه f دارای یک تقریب خطی درنقطه a است. این به این معنی است که h1 وجود دارد:

که:

میزان تقریب خطا:

که اگر بخواهیم هرچه بیشتر به نقطه a نزدیک شویم از چندجمله‌ای درجه دوم:

که میزان تقریب خطا:

به همین ترتیب اگر از چندجمله‌ایهای درجه بالاتر استفاده کنیم بیشتر به نقطه a نزدیک می‌شویم.

 قضیه تیلور در یک نقطه حقیقی 
تابع زیر یک تابع از درجه k از چندجمله‌ای تیلور در نقطه a است:

در این صورت fوجود دارد:

در این صورت برخورد مجانبی تابع خطا در نقطه a:

برای عددی در این فاصله باز است.

 فرمول مستقیم برای بدست آوردن میزان خطا 
اگر (G(t d یک تابع پیوسته در یک فاصله بسته باشد و همواره مشتق پذیر در یک فاصله باز بین a و x باشد:

 تخمین تابع خطا 
بسیاری اوقات تخمین تابع خطا مفیدتر از ایجاد یک فرم کلی برای آن است. فرض کنید f یک تابع k+1 بار در بازه I شامل نقطه a مشتق پذیر است. حال فرض کنید مقادیر حقیقی q و Q وجود داشته باشند که:

آنگاه تابع خطا در نامساوی:

 قضیه تیلور برای توابع یک متغیره 
 قضیه تیلور مرتبه اول 
اگر f یک تابع با دامنه U از فضای حقیقی n بعدی به R باشد و همچنین f در نقطه دلخواه x عضو U مشتق پذیر باشد، میتوان نوشت:

 قضیه تیلور مرتبه دوم 
اگر f یک تابع با دامنه U از فضای حقیقی n بعدی به R باشد و همچنین f در نقطه دلخواه x عضو U دارای مشتقات پیوسته تا مرتبه سوم باشد، میتوان نوشت:

 منابع 




 ویکی‌پدیا انگلیسی

رده:آنالیز ریاضی
رده:تقریب‌های ریاضی
رده:سری‌های ریاضی
رده:قضیه‌ها در آنالیز حقیقی
رده:قضایای حسابان