متسلسلة تايلور
في الرياضيات، مجموع تايلور أو متسلسلة تايلور (بالإنجليزية: Taylor series) هو تمثيل لدالة رياضية في شكل متسلسلة متكونة من حدود حُسبن باستعمال قيم اشتقاق هذه الدالة في نقطة معينة.
جزء من سلسلة مقالات حول |
التفاضل والتكامل |
---|
بوابة رياضيات |
اخترع مفهوم متسلسلات تايلور بشكل رسمي عالم الرياضيات الأنجليزي بروك تايلور. وكان ذلك عام 1715.
إذا تعلق الأمر بنقطة الصفر، فإن هذه المتسلسلة قد تسمى أيضا متسلسلة ماكلورين نسبة إلى عالم الرياضيات الإسكتلندي كولين ماكلورين الذي استعمل هذه الحالة الخاصة بشكل مكثف خلال القرن الثامن عشر.
المجموع الجزئي المكون من الحدود n الأولى لمتسلسة تايلور هو متعددة حدود من الدرجة n يسمى متعددة الحدود لتايلور. متعددات الحدود لتايلور من تقريبات للدالة التي حُسبن عليها هؤلاء المتعددات تزداد دقة كلما كبرت قيمة n. تقدر مبرهنة تايلور كمية الخطأ الذي يفصل الدالة عن هؤلاء التقريبات. دالهٌ قد لا تساوي المجموع غير المنتهي لمتسلسة تايلور، حتى وإن كانت هذه المتسلسة متقاربة. يُقال عن دالة أنها تحليلية في نقطة x إذا كانت مساوية للمجموع غير المنتهي لمتسلسلة تايلور في جوار مفتوح ما (أو قرص مفتوح في المستوى العقدي) يحتوي على x. في هذه الحالة تكون الدالة تحليلية ليس فقط عند x وإنما عند جميع نقط هذا الجوار أو هذا القرص.
تعريف
متسلسلة تايلور المنتهية
إذا كانت الدالة الرياضية (f(x قابلة للاشتقاق n مرة في النقطة فإنه يمكن كتابتها كما يلي:
حيث يدعى بمتسلسلة تايلور وتساوي:
أو
و يمكن اعتبار متعدد الحدود تقريبا للدالة f في النقطة
تاريخ
فكر في جمع متسلسلة غير منتهية عالم الرياضيات الإغريقي زينون الإيلي. ولكنه سرعان ما ترك هذا الأمر، مما أعطاه مفارقة من مفارقاته المعروفة باسم مفارقات زينون.
خلال القرن السابع عشر، عمل جيمس غريغوري على هذا المجال، ونشر عدة أمثلة لهؤلاء المتسلسلات في النقطة الصفر. في عام 1715، نشر بروك تايلور طريقة عامة تمكن من إنشاء هؤلاء المتسلسلات بالنسبة لجميع الدوال. نتيجة لذلك، سمين نسبة إليه.
دوال تحليلية
إذا عُرفت دالة ما بواسطة متسلسة متقاربة للقوى في قرص مفتوح في المستوى العقدي (أو مجال على مستقيم الأعداد الحقيقية)، مركزه هو b، فإنه يقال عنها أنها دالة تحليلية إذا وفقط إذا اقتربت متسلسلة تايلور من هذه الدالة عند جميع نقط هذا القرص.
اشتقاق هذه الدالة n مرة ثم تعويض x ب b يعطي ما يلي:
إذا كانت الدالة f (x) مساوية لمتسلسلة تايلور عند كل نقطة x من المستوى العقدي، حينئذ يقال عن هذه الدالة أنها دالة كاملة. الدوال الحدودية والدالة الأسية ex والدالتان المثلثيتان الجيب والجيب التمام كلهن أمثلة عن الدوال الكاملة. دالة الجذر التربيعي واللوغاريتم والدالة المثلثية الظل ومعكوسها "قوس الظل"، كلهن أمثلة عن الدوال غير الكاملة. انظر إلى نصف قطر التقارب.
متسلسلة ماكلورين
إذا كانت في متسلسلة تايلور، يمكن الحصول على متسلسلة أبسط للنشر بقرب الصفر وهي متسلسلة ماكلورين:
أو
تطبيقات متسلسلة تايلور
لمتسلسلة تايلور عدة منافع لعل أهمها أنها تسمح بالتعبير عن أي دالة رياضية عن طريق كثير الحدود فيمكننا ذلك من إيجاد حلول تقريبية لمسألة ما إذا كان الحل الدقيق مستعصيا. كما تكتسب متسلسلة تايلور أهمية كبرى في الرياضيات الرقمية حيث تقوم العديد من الخوارزميات المعتمدة لحل المعادلات هناك على متسلسلة تايلور. يجدر بالإشارة أن كل التطبيقات العملية هي تطبيقات للمتسلسلة المنتهية مما يحتم أن نأخذ بعين الاعتبار الدقة التي نريد أن نصل إليها في حلنا لمعادلة ما. ففي حين أن نظام هبوط الطائرات الآلي يتحمل خطئا بين متر أو مترين في موقع الهبوط فإن موضع الرأس الذي يقرأ المعطيات من إسطوانة لا يقبل إلا خطأ في حدود جزء من المليون من المتر.
سلاسل ماكلورين لبعض الدوال المألوفة
فيما يلي بعض من منشورات ماكلورين.[1] المتسلسلات مشروعة حتى في المستوى العقدي ل x.
الدالة الأسية
متسلسلة ماكلورين للدالة الأسية ذات القاعدة e هي كما يلي:
هذه المتسلسلة تتقارب مهما كانت قيمة x.
اللوغاريتم الطبيعي
لوغاريتم طبيعي (بقاعدة e) لها متسلسلة تايلور بالنسبة للمتسلسلة الأولى ومتسلسلة ماكلورين للثانية والثالثة.
وتتقارب ل . (بالإضافة فإن متسلسلة ln(1 − x) تتقارب ل x = −1, والمتسلسلة ل ln(1 + x) تتقارب ل x = 1.)
متسلسلات هندسية
متسلسلات هندسية لانهائية:
متسلسلة كثيرة حدود (متضمنة الجذور التربيعية ذات α = 1/2 والمتسلسلة الهندسية اللانهائية لـ α = −1):
دوال زائدية
حساب متسلسلة تايلور
في التحليل الرياضي، تعطي مبرهنة تايلور تقريبا لتابع قابل للمفاضلة قرب نقطة ما عن طريق كثير حدود معاملاته تعتمد على مشتقات التابع في تلك النقطة.
المثال الأكثر بساطة هو الدالة الأسية قرب النقطة صفر :