التفاضل والتكامل · متسلسلة تايلور

متسلسلة تايلور

تستخدم متسلسلة تايلور المشتقات عند نقطة لبناء تقريبات متتالية بكثيرات الحدود. أضف حدودًا وحرّك المركز لاستكشاف أين يتحسن التقريب وأين تتوقف المتسلسلة عن التقارب.

01

متسلسلة تايلور في هذا التصوّر

متسلسلة تايلور (توسّع تايلور) لدالة ff عند نقطة aa هي متسلسلة القوى المبنية من مشتقاتها هناك؛ وعند a=0a = 0 تُسمّى أيضًا متسلسلة ماكلورين. ويُرمز إلى المركز أيضًا بـ x0x_0. مجموعها الجزئي حتى الدرجة nn هو كثير حدود تايلور PnP_n، وهو كثير الحدود الوحيد الذي لا تتجاوز درجته nn وتتطابق قيمته ومشتقاته الـ nn الأولى عند aa مع نظيراتها للدالة ff:

كثير حدود تايلور
Pn(x)=∑k=0nf(k)(a)k! (x−a)k.P_n(x) = \sum_{k=0}^{n} \frac{f^{(k)}(a)}{k!}\,(x-a)^k.

المنحنى الداكن هو ff، والمنحنى الأصفر هو PnP_n، وتحدد النقطة الزرقاء المركز aa. الشريط الأصفر على محور xx نتيجة قياس: أوسع فترة ∣x−a∣<r|x - a| < r يتحقق فيها ∣f(x)−Pn(x)∣<0.01|f(x) - P_n(x)| < 0.01. تُحدَّد بفحص نقاط تفصل بينها مسافة 0.0025 على جانبي aa وتحسين تحديد أول تجاوز، ثم تُعرض بعد التقريب إلى الأسفل. يقع القوسان الأزرقان عند a±Ra \pm R، حيث R نصف قطر التقارب: تتقارب المتسلسلة عندما ∣x−a∣<R|x - a| < R وتتباعد عندما ∣x−a∣>R|x - a| > R. في الدوال السبع هنا، يكون المجموع داخل هذه الفترة هو ff نفسها، وتكون RR المسافة من aa إلى أقرب نقطة تفرّد للدالة ff، بما فيها النقاط المركّبة.

يقيس الباقي مقدار الفرق بين PnP_n وff عند قيمة معينة لـ xx. إذا كانت ff قابلة للاشتقاق n+1n + 1 مرة على الفترة كلها بين aa وxx (ولذلك يجب ألا تعبر الفترة نقطة تفرّد، مثل قطب 1/(1−x)1/(1 - x) عند 1)، فإن

الباقي (صيغة لاغرانج)
f(x)−Pn(x)=f(n+1)(ξ)(n+1)! (x−a)n+1لقيمة ما من ξ تقع بين a وx.f(x) - P_n(x) = \frac{f^{(n+1)}(\xi)}{(n+1)!}\,(x-a)^{n+1}\quad\text{لقيمة ما من } \xi \text{ تقع بين } a \text{ و} x\text{.}
02

ما الذي يمكنك ملاحظته؟

  • داخل نصف القطر تتقارب المجاميع الجزئية هنا إلى ff، لذا يقترب الخطأ من 0 عند كل قيمة كهذه لـ xx مع زيادة nn، وإن لم يكن ينقص بالضرورة في كل خطوة. خارج نصف القطر لا تؤول الحدود إلى 0 ولا تستقر Pn(x)P_n(x) عند قيمة. الشريط يقترب فقط من RR: فهو مقاس على الشاشة، بينما تُستنتج RR من الصيغة.
  • قد تكون الدالة ملساء على المستقيم الحقيقي كله ومع ذلك يكون نصف قطر تقاربها محدودًا. الدالة 1/(1+x2)1/(1 + x^2) غير معرّفة عند النقطتين المركّبتين ±i\pm i، لذلك لا تتقارب متسلسلتها حول aa إلا عندما ∣x−a∣<1+a2|x - a| < \sqrt{1 + a^2}.
  • قد يختلف السلوك عند طرفي الفترة: متسلسلة ln⁡(1+x)\ln(1 + x) حول 0 تتقارب عند x=1x = 1 (إلى ln⁡2\ln 2) ولا تتقارب عند x=−1x = -1؛ ومتسلسلة 1/(1−x)1/(1 - x) لا تتقارب عند أيّ من الطرفين، بينما تتقارب متسلسلة 1+x\sqrt{1 + x} عند كليهما.
  • عند a=0a = 0، لا تحتوي sin⁡x\sin x إلا على قوى فردية، ولا تحتوي cos⁡x\cos x إلا على قوى زوجية؛ لذا فإن P2mP_{2m} وP2m−1P_{2m-1} للجيب هما كثير الحدود نفسه. يتجاوز n → ∞ هذه الحدود الصفرية، فتغيّر كل خطوة المنحنى.
  • التقارب وحده لا يجعل المجموع مساويًا لـ ff. الدالة التي تساوي e−1/x2e^{-1/x^2} عندما x≠0x \ne 0 وتساوي 0 عند 0 تكون جميع مشتقاتها عند 0 مساوية للصفر، ولذلك تكون متسلسلة تايلور لها هناك مساوية للصفر لكل xx.
03

أين تُستخدم؟

  • تحتفظ الفيزياء بالحدود الأولى قرب نقطة: sin⁡θ≈θ\sin\theta \approx \theta لتأرجحات البندول الصغيرة، و(1−v2/c2)−1/2≈1+v2/(2c2)(1 - v^2/c^2)^{-1/2} \approx 1 + v^2/(2c^2) تعطي من الطاقة الحركية النسبية الصيغة 12mv2\tfrac12 mv^2 عند السرعات المنخفضة.
  • يحدد الباقي عدد الحدود التي يحتاجها الحساب: جمع 1/k!1/k! من k=0k = 0 إلى 1010، وهو P10(1)P_{10}(1) للدالة exe^x، يعطي بالفعل ee بخطأ أقل من 3×10−83 \times 10^{-8}.
04

أدوات التحكم

  • أدر مقبض الدرجة، أو اضغط n → ∞ لإضافة الحد التالي غير الصفري، حدًّا تلو الآخر، حتى n=30n = 30 (الضغط مرة أخرى عند النهاية يعيد التشغيل من 0). اسحب النقطة الزرقاء أو العلامة على المحور لتحريك المركز؛ وأزرار المراكز المميزة تنتقل إلى قيم دقيقة.
  • يعرض الشريط أسفل الرسم ∣f−Pn∣|f - P_n| على مقياس لوغاريتمي على امتداد الرسم. يفتح وضع العرض مشهدًا بملء الشاشة لأجهزة العرض (مفتاح المسافة يضيف حدودًا، و← → يغيّران الدرجة، وH يخفي نصف القطر).
05

موضوعات ذات صلة

للمزيد من القراءة: ويكيبيديا: Taylor series (الإنجليزية); OpenStax, Calculus Volume 2, 6.3 Taylor and Maclaurin Series (الإنجليزية).