سلسلة تايلور

في التحليل الرياضي ، تُعرف متسلسلة تايلور أو مفكوك تايلور للدالة بأنها مجموع لانهائي من الحدود المُعبر عنها بدلالة مشتقات الدالة عند نقطة واحدة. بالنسبة لمعظم الدوال الشائعة، تتساوى الدالة ومجموع متسلسلة تايلور الخاصة بها بالقرب من هذه النقطة. سُميت متسلسلة تايلور نسبةً إلى بروك تايلور ، الذي قدمها عام ١٧١٥. تُسمى متسلسلة تايلور أيضًا متسلسلة ماكلورين عندما تكون الصفر هي النقطة التي تُحسب عندها المشتقات، نسبةً إلى كولن ماكلورين ، الذي استخدم هذه الحالة الخاصة من متسلسلة تايلور على نطاق واسع في القرن الثامن عشر.
المجموع الجزئي المكون من أول n + 1 حدًا من متسلسلة تايلور هو متعددة حدود من الدرجة n تُسمى متعددة حدود تايلور النونية للدالة . تُعد متعددات حدود تايلور تقريبات للدالة، وتزداد دقتها عمومًا مع ازدياد n . تُعطي نظرية تايلور تقديرات كمية للخطأ الناتج عن استخدام هذه التقريبات. إذا كانت متسلسلة تايلور لدالة ما متقاربة ، فإن مجموعها هو نهاية متتالية لانهائية من متعددات حدود تايلور. قد تختلف دالة ما عن مجموع متسلسلة تايلور الخاصة بها، حتى لو كانت متسلسلة تايلور متقاربة. تكون الدالة تحليلية عند نقطة x إذا كانت تساوي مجموع متسلسلة تايلور الخاصة بها في فترة مفتوحة (أو قرص مفتوح في المستوى المركب ) تحتوي على x . هذا يعني أن الدالة تحليلية عند كل نقطة من الفترة (أو القرص).
تعريف
متسلسلة تايلور لدالة حقيقية أو مركبة f ( x ) قابلة للتفاضل بلا حدود عند عدد حقيقي أو مركب a ، هي متسلسلة القوى هنا، يرمز n ! إلى مضروب n . الدالة f ( n ) ( a ) ترمز إلى المشتقة النونية للدالة f عند النقطة a . مشتقة f من الرتبة الصفرية تُعرَّف بأنها f نفسها، و ( x - a ) ⁰ و 0! تُعرَّفان بأنهما يساويان 1. يمكن كتابة هذه المتسلسلة باستخدام رمز سيجما ، كما في صيغة الطرف الأيمن. [ 1 ] متعددة حدود تايلور المناظرة من الدرجة n هي عندما تكون قيمة a = 0 ، تأخذ متسلسلة ماكلورين الشكل التالي: [ 2 ]
الخصائص الأساسية
ترث متسلسلات تايلور الخصائص الأساسية لمتسلسلات القوى . ويمكن أيضًا دمج متسلسلات تايلور جبريًا. تُحسب مجاميع وفروق وحاصل ضرب ومضاعفات قياسية لمتسلسلات تايلور من خلال العمليات المقابلة على متسلسلات القوى. وعلى وجه الخصوص، فإن متسلسلة تايلور لـحول نقطةهو منتج كوشي من سلسلة تايلوروعن[ 3 ] تركيبات الدوال التي لها متسلسلات تايلور لها أيضًا متسلسلات تايلور ، والتي يتم الحصول عليها عن طريق استبدال متسلسلة قوى متقاربة في أخرى عندما يكون الاستبدال صحيحًا. [ 4 ]
يمكن اشتقاق متسلسلة تايلور وتكاملها حدًا حدًا. و تتمتع المتسلسلات التفاضلية والتكاملية بنفس نصف قطر التقارب الذي تتمتع به متسلسلة القوى الأصلية، على الرغم من أن سلوك التقارب عند الحدود قد يختلف. [ 5 ] [ 6 ]
تسمح هذه الخصائص أحيانًا بحساب متسلسلة تايلور للدوال، مثل دالة الظل العكسي، بدلالة متسلسلات أبسط، مثل المتسلسلة الهندسية. [ 3 ]
حساب متسلسلة تايلور
تُستخدم عدة طرق لحساب متسلسلات تايلور. يمكن تطبيق التعريف مباشرةً، مع أن ذلك يتطلب غالبًا تحديد صيغة عامة للمشتقات أو المعاملات أولًا. [ 7 ] في كثير من الحالات، يمكن أيضًا الحصول على متسلسلات تايلور من متسلسلات معروفة عن طريق عمليات جبرية على متسلسلات القوى، مثل التعويض والضرب والقسمة والجمع والطرح، بالإضافة إلى التفاضل والتكامل حدًا حدًا لمتسلسلات تايلور المعروفة. [ 8 ] في بعض الحالات، يمكن اشتقاقها أيضًا بالتكامل بالتجزئة المتكرر . عمليًا، غالبًا ما تُحسب متسلسلات تايلور بمساعدة أنظمة الجبر الحاسوبية . [ 9 ] [ 10 ]
تُستخدم العديد من متسلسلات ماكلورين القياسية بشكل متكرر كنقاط انطلاق لحساب متسلسلات تايلور الأخرى. ترد أدناه بعض الأمثلة الأساسية؛ وسيتم عرض قائمة أكثر شمولاً لاحقاً في المقال.
| وظيفة | سلسلة ماكلورين | التقارب |
|---|---|---|
| الجميع | ||
| الجميع | ||
| الجميع | ||
أمثلة
التمايز بين المصطلحات
داخل منطقة التقارب، يمكن اشتقاق متسلسلة تايلور حدًا حدًا. على سبيل المثال، اشتقاق المتسلسلة الهندسية يحصل المرء هكذا يمكن تكرار هذه العملية، مما يؤدي إلى وهكذا دواليك. [ 11 ]
التكامل مصطلحًا تلو الآخر
داخل منطقة التقارب، يمكن تكامل متسلسلة تايلور حدًا حدًا. على سبيل المثال، تكامل المتسلسلة الهندسية يحصل المرء وهذا يعطي سلسلة ماكلورين [ 11 ] صالح لـ.
الاستبدال
يمكن تركيب متسلسلة تايلور، على سبيل المثال إذا كانت متسلسلة تايلور لـإذا عُرفت، فإن متسلسلة تايلور لـيتم الحصول عليها من خلال التقييم عندحدًا حدًا. على سبيل المثال، المتسلسلة الهندسيةتم تقييمها فيأعطِ يمكن دمج هذه السلسلة الأخيرة حدًا تلو الآخر لإعطاء [ 11 ] ل.
تعبير
لحساب متعددة حدود ماكلورين من الدرجة السابعة للدالة يمكن للمرء أولاً إعادة كتابة الدالة على النحو التالي تركيب دالتين x ↦ ln(1 + x ) و x ↦ cos x − 1. متسلسلة تايلور للوغاريتم الطبيعي هي (باستخدام ترميز Big O ) وبالنسبة لدالة جيب التمام
يمكن استبدال الحدود القليلة الأولى من المتسلسلة الثانية في كل حد من حدود المتسلسلة الأولى. ولأن الحد الأول في المتسلسلة الثانية من الدرجة 2، فإن ثلاثة حدود من المتسلسلة الأولى تكفي لإعطاء كثيرة حدود من الدرجة 7: [ 12 ]
بما أن دالة جيب التمام دالة زوجية ، فإن معاملات جميع القوى الفردية تساوي صفرًا.
قسم
بافتراض أن متسلسلة تايلور عند الصفر للدالة g ( x ) = e ^ x / cos x ، فإن متسلسلة تايلور للدالة الأسية هي ومتسلسلة جيب التمام هي
افترض أن متسلسلة ناتج قسمتهما هي بضرب طرفي المعادلة في المقام cos x ثم توسيعها كمتسلسلة نحصل على:
بمقارنة معاملات g ( x ) cos x مع معاملات e( x) ،
وبالتالي يمكن حساب معاملات c i للمتسلسلة الخاصة بـ g ( x ) واحدًا تلو الآخر، وهو ما يعادل القسمة المطولة للمتسلسلة الخاصة بـ e x و cos x :
التكاملات غير الأولية
يمكن استخدام التكامل حدًا حدًا لمتسلسلة تايلور لإيجاد متسلسلة تايلور للتكاملات غير الأولية. على سبيل المثال، تكامل فرينل هو ولا يمكن التعبير عنها بدلالة الدوال الأولية . ويمكن تحديد متسلسلة ماكلورين الخاصة بها عن طريق التكامل الحدي للمتسلسلة إعطاء [ 13 ]
المعادلات التفاضلية
يمكن أيضًا استخدام متسلسلة تايلور لحل بعض المعادلات التفاضلية العادية . وتتلخص الطريقة في افتراض أن الحل له مفكوك متسلسلة قوى، ثم اشتقاق المتسلسلة حدًا حدًا، وتعويض المتسلسلة الناتجة في المعادلة التفاضلية، ثم تحديد المعاملات بمساواة القوى المتشابهة للمتغير. [ 14 ]
على سبيل المثال، لحل لنفترض أن ثم بالتعويض في المعادلة التفاضلية نحصل على بما أن متسلسلات القوى فريدة من نوعها، فإن كل معامل يجب أن يتلاشى، لذلك وبالتالي، يتم تحديد المعاملات الزوجية والفردية بشكل منفصل بواسطة الثوابت الاختيارية.و: هكذا أو ما يعادل ذلك.
خطأ التقريب ونظرية تايلور
لا يتجاوز الخطأ في هذا التقريب | x | 9 / 9!. بالنسبة لدورة كاملة مركزها نقطة الأصل ( −π < x < π )، يكون الخطأ أقل من 0.08215. وعلى وجه الخصوص، بالنسبة لـ −1 < x < 1 ، يكون الخطأ أقل من 0.000003.
في المقابل، يظهر أيضًا رسمٌ لدالة اللوغاريتم الطبيعي ln(1 + x ) وبعض كثيرات حدود تايلور الخاصة بها حول a = 0. تتقارب هذه التقريبات مع الدالة فقط في المنطقة −1 < x ≤ 1. خارج هذه المنطقة، تُعدّ كثيرات حدود تايلور ذات الدرجة الأعلى تقريبات أسوأ للدالة.يُطلق على الخطأ الناتج عن تقريب دالة باستخدام متعددة حدود تايلور من الدرجة n اسم الباقي ، ويُرمز له بالدالة R n ( x ) . ويمكن استخدام نظرية تايلور للحصول على حد أقصى لحجم الباقي . [ 15 ]
على وجه الخصوص، تنص نظرية تايلور على دالة، حيث يتم استيفاء فرضيات النظرية، بالشكل التالي: إن سلوك الباقي عندما يؤول n إلى اللانهاية يحدد ما إذا كانت متسلسلة تايلور تمثل الدالة الأصلية، وهي مسائل تتعلق بالتقارب والتحليلية .
التعميم في الفروق المحدودة
يمكن كتابة أحد أشكال صيغة غريغوري-نيوتن للاستيفاء على النحو التالي والتي تقوم باستيفاء متعدد الحدودمن حيث الفروق المحدودة المحسوبة عند نقطة واحدةوحيثهو المضروب المتناقص . بالنسبة لكثير الحدود، تنتهي هذه المتسلسلة وتعطي كثير الحدود بدقة؛ وبشكل أعم، تقبل الدالة تطور غريغوري-نيوتن في ظل فرضيات تحليلية مناسبة، صاغها نيلز إريك نورلوند كلاسيكيًا بدلالة الشكلية في نصف مستوى بالإضافة إلى شرط نمو من النوع الأسي . [ 16 ] [ 17 ] [ 18 ]
إحدى التعميمات لمتسلسلة تايلور التي تتقارب إلى قيمة الدالة نفسها لأي دالة متصلة ومحدودة على الفترة (0, ∞) ، يمكن تحقيق ذلك باستخدام حساب الفروق المحدودة . تحديدًا، تنص النظرية التالية، المنسوبة إلى إينار هيل ، على أنه لأي t > 0 ، [ 19 ] هنا، Δ n h هو مؤثر الفروق المحدودة من الرتبة n بخطوة مقدارها h . المتسلسلة هي بالضبط متسلسلة تايلور، باستثناء ظهور الفروق المقسمة بدلًا من التفاضل. عندما تكون الدالة f تحليلية عند a ، تتقارب حدود المتسلسلة إلى حدود متسلسلة تايلور، وبهذا المعنى تعمم متسلسلة تايلور المعتادة.
بشكل عام، بالنسبة لأي متتالية لانهائية a i ، فإن متطابقة متسلسلة القوى التالية صحيحة: [ 20 ] وعلى وجه الخصوص، [ 20 ]
السلسلة على اليمين هي القيمة المتوقعة لـ f ( a + X ) ، حيث X متغير عشوائي يتبع توزيع بواسون ويأخذ القيمة jh باحتمال e − t / h · ( t / h ) j / j !. ومن ثم، [ 21 ]
ينص قانون الأعداد الكبيرة على أن المتطابقة صحيحة. [ 20 ]
التقارب والتحليلية
تُشتق متسلسلة تايلور من قيم جميع مشتقات دالة عند نقطة واحدة، لكن هذا لا يعني بالضرورة أن المتسلسلة تتقارب إلى تلك الدالة. عمومًا، قد لا تتقارب متسلسلة تايلور، أو قد تتقارب إلى دالة مختلفة عن الدالة الأصلية.
على سبيل المثال، الوظيفة قابلة للتفاضل بلا حدود عندوجميع مشتقاتها فيتساوي صفرًا. متسلسلة تايلور الخاصة بها عندوبالتالي، فإنّ المتسلسلة الصفرية هي دالة، على الرغم من أنّ الدالة نفسها ليست صفرًا تمامًا. وهذا يُعطي مثالًا نموذجيًا لدالة سلسة غير تحليلية . [ 22 ]

وبشكل أعم، تمثل متسلسلة تايلور لدالة ما الدالة عند نقطة ماتحديدًا عندما تميل حدود الباقي في نظرية تايلور إلى الصفر عند تلك النقطة. إذا ثم تتقارب متسلسلة تايلور إلىمتى بالضبط
تُسمى الدالة تحليلية عند نقطة ما إذا كانت تساوي مجموع متسلسلة تايلور الخاصة بها في فترة مفتوحة حول تلك النقطة، أو في حالة الأعداد المركبة، في قرص مفتوح. وبالمثل، تكون الدالة تحليلية في منطقة ما إذا كانت معطاة محليًا بمتسلسلة قوى متقاربة. وبالتالي، إذا قريبثم اشتقاق المتسلسلة حدًا حدًا ووضعأعطِ وبالتالي فإن متسلسلة القوى لدالة تحليلية هي متسلسلة تايلور الخاصة بها. [ 23 ] [ 24 ]
في التحليل الحقيقي، لا تعني قابلية التفاضل اللانهائية بالضرورة التحليلية، كما يُبين المثال أعلاه. تنصّ مبرهنة بوريل على أن كل متسلسلة قوى هي متسلسلة تايلور لدالة ملساء. أما في التحليل المركب، فكل دالة تحليلية تحليلية. [ 25 ] تُسمى الدالة التي تتقارب متسلسلة تايلور الخاصة بها مع الدالة في جميع أنحاء المستوى المركب دالة تامة . كثيرات الحدود، والدالة الأسية ، ودالتا الجيب وجيب التمام هي دوال تامة. [ 26 ]
نصف قطر التقارب
لأي سلسلة طاقة يوجد عدد، ويُطلق عليه نصف قطر التقارب ، بحيث تتقارب المتسلسلة تقاربًا مطلقًا لـويختلف لـ[ 27 ] [ 28 ] قد يكون نصف القطر صفرًا، أو قيمة محدودة وموجبة، أو لانهائيًا. ويُعطى بصيغة كوشي-هادامارد . مع الاتفاقيات المعتادة لـوعندما توجد النهاية، فإن اختبار النسبة غالبًا ما يعطي
وبالتالي، عندما تتقارب متسلسلة تايلور، فإنها تفعل ذلك في فترة مفتوحة مركزها عندفي الحالة الحقيقية، أو في قرص مفتوح متمركز عندفي الحالة المعقدة. قد يختلف السلوك عند نقاط الحدود: قد تتقارب السلسلة عند بعضها أو كلها أو لا تتقارب عند أي منها. [ 29 ]
بالنسبة لدالة تحليلية مركبة، يكون نصف قطر تقارب متسلسلة تايلور عندهي المسافة منإلى أقرب نقطة لا يمكن عندها استمرار الدالة بشكل تام. في العديد من الأمثلة الشائعة، تكون هذه هي المسافة إلى أقرب نقطة شاذة في المستوى المركب. [ 30 ]
وهذا يفسر اختلاف أنصاف أقطار التقارب لمتسلسلات تايلور المألوفة. المتسلسلات لـ،، وتتمتع هذه الدوال بنصف قطر تقارب لانهائي لأنها دوال تامة. في المقابل، فإن متسلسلة تايلور لـفيله نصف قطر تقاربلأن أقرب نقطة تفرد تقع عند[ 31 ]
يمكن أن تحدد النقاط الشاذة المعقدة نصف قطر التقارب حتى بالنسبة للدوال الملساء على خط الأعداد الحقيقية. على سبيل المثال، سلس لكل حقيقيلكن سلسلة تايلور الخاصة بها فيله نصف قطر تقاربلأن الدالة المركبة المقابلة لها نقاط تفرد عندو[ 30 ]
لا ينبغي الخلط بين نصف قطر التقارب وجودة التقريب بواسطة متعددة حدود تايلور منخفضة الدرجة. قد تُقارب متعددة حدود تايلور دالة بدقة بالقرب من المركز حتى لو كان نصف قطر تقارب متسلسلة تايلور الكاملة صغيرًا. في المقابل، بالقرب من حدود فترة أو قرص التقارب، قد تتقارب متسلسلة تايلور ببطء. خارج نصف قطر التقارب، لا تُمثل متسلسلة تايلور الدالة. [ 27 ] [ 32 ]
تعميمات بالقرب من النقاط الشاذة
لا يمكن أن تتمركز متسلسلة تايلور عند نقطة لا تكون فيها الدالة تحليلية. يمكن تفسير بعض النقاط الشاذة، وتحديدًا الأقطاب ، بواسطة متسلسلة لوران .يوجد عمود من النظامفيثم بالقربيحتوي على سلسلة لوران من الشكل الدالة الميرومورفية هي دالة تحليلية باستثناء الأقطاب المعزولة؛ بالقرب من كل قطب، يكون لها متسلسلة لوران تحتوي على عدد محدود فقط من الحدود ذات القوى السالبة. [ 33 ]
وبشكل أعم، دالة تحليلية في حلقة لها متسلسلة لوران متقاربة من الشكل في تلك الحلقة. [ 34 ]
يمكن أن تحدث أنواع أخرى من النقاط الشاذة، وتحديداً نقاط التفرع ، للدوال الجبرية . إذاهي دالة جبرية لمتغير مركبوإذا كانت نقطة تفرع،ليس من الضروري أن يكون لدى سلسلة تايلور مقرها فيومع ذلك، بعد تغيير المتغيرات أينإذا كان عددًا صحيحًا موجبًا يُسمى مؤشر التفرع ، فإن فرعًا من الدالة يصبح تحليليًا كدالة لـ. والتوسع الناتج في القوى الكسرية لـتُعرف باسم سلسلة بويزو . [ 35 ]
متسلسلة تايلور في متغيرات متعددة
يمكن أيضًا تعميم متسلسلة تايلور لتشمل الدوال التي تحتوي على أكثر من متغير واحد باستخدام [ 36 ] !}}\left({\mathrm {\partial } ^{\alpha }}f\right)(\mathbf {a} ).\end{aligned}}} التعبير الأخير هو متسلسلة تايلور متعددة المتغيرات من حيث تدوين المؤشرات المتعددة مع تشابه كامل مع حالة المتغير الواحد.
على سبيل المثال، بالنسبة لدالة f ( x , y ) التي تعتمد على متغيرين، x و y ، فإن متسلسلة تايلور من الدرجة الثانية حول النقطة ( a , b ) هي حيث تشير الرموز السفلية إلى المشتقات الجزئية المعنية .
متسلسلة تايلور من الدرجة الثانية في عدة متغيرات
يمكن كتابة متسلسلة تايلور من الدرجة الثانية لدالة عددية ذات أكثر من متغير واحد بشكل مختصر على النحو التالي: حيث D f ( a ) هو تدرج f المحسوب عند x = a و D 2 f ( a ) هي مصفوفة هيسيان .
مثال

لحساب متسلسلة تايلور من الدرجة الثانية حول النقطة ( أ ، ب ) = (0، 0) للدالة يقوم المرء أولاً بحساب جميع المشتقات الجزئية اللازمة:
بتقييم هذه المشتقات عند نقطة الأصل نحصل على معاملات تايلور.
بإدخال هذه القيم في الصيغة العامة منتج
بما أن ln(1 + y ) دالة تحليلية في | y | < 1 ، فإننا نحصل على
التطبيقات
تُستخدم كثيرات حدود تايلور لتقريب الدوال بالقرب من نقطة ما. غالبًا ما يؤدي الاحتفاظ بالحدود الأولى غير الصفرية فقط إلى نموذج أبسط للتعبير الأكثر تعقيدًا. على سبيل المثال، تقريب الزاوية الصغيرة يُستمد هذا التقريب من الحد الأول لمتسلسلة تايلور للدالة الجيبية، ويتم الحصول على تقريبات ذات رتبة أعلى بالاحتفاظ بمزيد من الحدود. يُستخدم هذا التقريب على نطاق واسع، على سبيل المثال، في البصريات الغاوسية حيث تُدرس سلوكيات أشعة الضوء التي تصنع زوايا صغيرة مع محور ما عن طريق استبدال دالة الجيب بتقريبها الخطي.
تُستخدم هذه التقريبات على نطاق واسع في الرياضيات والفيزياء والهندسة. ففي نظرية الاضطراب ، غالبًا ما تُوسَّع كمية معقدة بدلالة قوى مُعامل صغير، وتُستخدم الحدود القليلة الأولى كحل تقريبي. كما تُستخدم متسلسلات تايلور في تحليل البندول البسيط وفي الطرق العددية لتقريب الدوال. [ 37 ] [ 38 ]
تاريخ
تناول الفيلسوف اليوناني القديم زينون الإيلي مسألة جمع متسلسلة لانهائية للوصول إلى نتيجة محدودة، لكنه رفضها باعتبارها مستحيلة؛ وكانت النتيجة مفارقة زينون . [ 39 ] لاحقًا، اقترح أرسطو حلًا فلسفيًا للمفارقة، لكن يبدو أن مضمونها الرياضي ظلّ غير محسوم حتى تناوله أرخميدس ، كما كان الحال قبل أرسطو مع ديموقريطس، الفيلسوف الذري ما قبل سقراط . ومن خلال طريقة أرخميدس في الاستنفاد ، أمكن إجراء عدد لا نهائي من التقسيمات التدريجية للوصول إلى نتيجة محدودة. [ 40 ] استخدم ليو هوي، بشكل مستقل، طريقة مماثلة بعد بضعة قرون. [ 41 ]
في القرن الرابع عشر، قدّم عالم الرياضيات الهندي مادهافا من سانغاماغراما أقدم الأمثلة على متسلسلات تايلور المحددة (وليس الطريقة العامة) . [ 42 ] ورغم عدم وجود أي سجل لأعماله، تشير كتابات أتباعه في مدرسة كيرالا لعلم الفلك والرياضيات إلى أنه اكتشف متسلسلة تايلور للدوال المثلثية للجيب وجيب التمام وظل الزاوية العكسي ؛ انظر متسلسلة مادهافا . وخلال القرنين التاليين، طوّر أتباعه المزيد من متسلسلات تايلور والتقريبات الكسرية. [ 43 ]
في أواخر عام 1670، اطلع جيمس غريغوري في رسالة من جون كولينز على عدة متسلسلات ماكلورين ( sin x ، cos x ، arcsin x ، و x cot x ) التي اشتقها إسحاق نيوتن ، وأُخبر أن نيوتن قد طور طريقة عامة لتوسيع الدوال في المتسلسلات. في الواقع، استخدم نيوتن طريقة معقدة تتضمن القسمة المطولة للمتسلسلات والتكامل حدًا حدًا، لكن غريغوري لم يكن على دراية بها، فشرع في اكتشاف طريقة عامة بنفسه. في أوائل عام 1671 ، اكتشف غريغوري ما يشبه متسلسلة ماكلورين العامة ، وأرسل رسالة إلى كولينز تتضمن متسلسلات لـ arctan x ، وtan x ، و sec x ، و ln sec x (تكامل tan )، و ln tan ½ ( ½π + x ) ( تكامل sec ، دالة غودرمان العكسية )، و arcsec( √2e x ) ، و 2 arctan e x − ½π ( دالة غودرمان ). مع ذلك، ظن غريغوري أنه أعاد تطوير طريقة نيوتن فحسب، فلم يصف قط كيف توصل إلى هذه المتسلسلات، ولا يُمكن استنتاج فهمه للطريقة العامة إلا من خلال فحص مسودة كان قد دوّنها على ظهر رسالة أخرى من عام 1671. [ 44 ]
في عامي 1691-1692، دوّن نيوتن بيانًا صريحًا لمتسلسلتي تايلور وماكلورين في نسخة غير منشورة من كتابه "De Quadratura Curvarum" . وكان هذا أول صياغة صريحة لمتسلسلة تايلور العامة. [ 45 ] مع ذلك، لم يُكمل نيوتن هذا العمل، وحُذفت الأجزاء ذات الصلة من الأجزاء المنشورة عام 1704 تحت عنوان "Tractatus de Quadratura Curvarum" . [ 46 ]
لم يتم نشر طريقة عامة لإنشاء هذه المتسلسلات لجميع الدوال التي توجد لها إلا في عام 1715 على يد بروك تايلور ، الذي سُميت المتسلسلات باسمه الآن. [ 47 ]
سُميت متسلسلة ماكلورين نسبة إلى كولين ماكلورين ، وهو عالم رياضيات اسكتلندي، نشر حالة خاصة من نتيجة تايلور في منتصف القرن الثامن عشر. [ 48 ]
قائمة بمتسلسلات ماكلورين لبعض الدوال الشائعة
تلي ذلك عدة متسلسلات ماكلورين مهمة. جميع هذه المتسلسلات صالحة للأعداد المركبة x . بالنسبة للدوال المركبة متعددة القيم، مثل اللوغاريتمات، والقوى الكسرية، والدوال المثلثية العكسية، يُفهم وجود فرع رئيسي .
الدالة الأسية

الدالة الأسية e x (ذات الأساس e ) لها متسلسلة ماكلورين [ 49 ] إنها تتقارب لجميع قيم x .
الدالة المولدة الأسية لأعداد بيل هي الدالة الأسية للدالة الأسية السابقة لها:
اللوغاريتم الطبيعي
اللوغاريتم الطبيعي (مع الأساس e ) له سلسلة ماكلورين [ 50 ]
تُعرف المتسلسلة الأخيرة باسم متسلسلة ميركاتور ، نسبةً إلى نيكولاس ميركاتور الذي نشرها في أطروحته "لوغاريتمات التقنية " عام 1668. [ 51 ] تتقارب كلتا المتسلسلتين عندما تكون قيمة | x | أقل من 1. بالإضافة إلى ذلك، تتقارب متسلسلة ln(1 − x ) عندما تكون x = −1 ، وتتقارب متسلسلة ln(1 + x ) عندما تكون x = 1. [ 50 ]
سلسلة هندسية
المتسلسلة الهندسية ومشتقاتها لها متسلسلة ماكلورين
جميعها متقاربة عندما تكون | x | < 1. هذه حالات خاصة من متسلسلة ذات الحدين الواردة في القسم التالي.
متسلسلة ذات الحدين
متسلسلة ذات الحدين هي متسلسلة القوى
والتي تكون معاملاتها هي معاملات ذات الحدين المعممة [ 52 ]
(إذا كان n = 0 ، فإن هذا المنتج هو منتج فارغ وله قيمة 1. ) يتقارب من أجل | x | < 1 لأي عدد حقيقي أو مركب α .
عندما تكون α = −1 ، فإن هذا يُمثل في جوهره المتسلسلة الهندسية اللانهائية المذكورة في القسم السابق. أما الحالتان الخاصتان α = 1 / 2 و α = − 1 / 2 فتعطيان دالة الجذر التربيعي ومعكوسها : [ 53 ]
عندما يتم الاحتفاظ بالحد الخطي فقط، فإن هذا يتبسط إلى تقريب ذي الحدين .
الدوال المثلثية
الدوال المثلثية المعتادة ومعكوساتها لها متسلسلة ماكلورين التالية: [ 54 ]
جميع الزوايا مُقاسة بالراديان . الأعداد B k الظاهرة في مفكوك tan x هي أعداد برنولي . أما الأعداد E k في مفكوك sec x فهي أعداد أويلر . [ 55 ]
الدوال الزائدية
للدوال الزائدية متسلسلات ماكلورين مرتبطة ارتباطًا وثيقًا بالمتسلسلات الخاصة بالدوال المثلثية المقابلة: [ 56 ]
الأعداد B k التي تظهر في متسلسلة tanh x هي أعداد برنولي . [ 56 ]
الدوال متعددة اللوغاريتمات
تتميز الدوال متعددة اللوغاريتمات بهذه الخصائص المميزة:
تُعرَّف دوال ليجندر كاي على النحو التالي:
وتسمى الصيغ المعروضة أدناه بتكاملات الظل العكسية :
تظهر هذه الصيغ في الميكانيكا الإحصائية . ويمكن التعبير عن التكاملات التي تُصادف في إحصاءات بوز-أينشتاين وفيرمي -ديراك بدلالة متعددات اللوغاريتمات. [ 57 ] قيمة التكامل الظلي العكسييظهر في إنتروبيا الموقع الواحد للأشجار الممتدة على شبكة مثلثية كبيرة . [ 58 ]
الدوال الإهليلجية
يمكن تعريف التكاملات الإهليلجية الكاملة من النوع الأول K ومن النوع الثاني E على النحو التالي:
تصف دوال جاكوبي ثيتا عالم الدوال النمطية الإهليلجية، ولها متسلسلات تايلور التالية:
انظر أيضاً
- التوسع التقاربي
- متعددة حدود نيوتن
- تقريب باديه - أفضل تقريب بواسطة دالة كسرية
- متسلسلة بويزو – متسلسلة قوى ذات أسس نسبية
- نظرية التقريب
- تقريب الدالة
ملحوظات
- ↑ بانر 2007 ، ص 530 .
- ↑ توماس وفيني 1996 ، انظر §8.9.
- 1 2 ستيوارت 2008 ، §11.10.
- ↑ هنريسي 1974 .
- ↑ ستيوارت 2008 ، §11.9.
- ^ أهلفورس 1979 ، ص 38-40.
- ^ فاربيرج، بورسيل وريجدون 2007 ، ص. 489.
- ↑ توماس وفيني 1996 .
- ↑ "متسلسلة تايلور" . وثائق ماث ووركس . تم الاطلاع عليه بتاريخ 2026-04-01 .
- ↑ Enns & McGuire 2000 ، مقدمة ، ص 1-2.
- 1 2 3 ستيوارت 2008 ، الفصل 11.
- ↑ "§4.19 متسلسلات ماكلورين ومتسلسلات لوران" . المكتبة الرقمية للدوال الرياضية التابعة للمعهد الوطني للمعايير والتكنولوجيا. المعهد الوطني للمعايير والتكنولوجيا. المعادلة 4.19.8 . تاريخ الاسترجاع: 20 مايو 2026 .
- ↑ توماس وفيني 1996 ، §8.11.
- ↑ "17.4: حلول المتسلسلات للمعادلات التفاضلية" . نصوص الرياضيات الحرة . نصوص حرة . تم الاسترجاع في 20 مايو 2026 .
- ↑ Knapp 2000 ، ص 43-44 .
- ^ نورلوند، NE (1926). Leçons sur les séries d'interpolation (بالفرنسية). باريس: غوتييه فيلار.
- ↑ أغويش، رفيق؛ جديدي، وسيم (2015). "الدوال الرتيبة تمامًا ونوى عامل القطع". ص 14. arXiv : 1511.08345 [ math.PR ].
- ^ هيلي وفيليبس 1957 ، ص 231-235.
- ↑
- فيلر 2003 ، ص 230-232
- هيلي وفيليبس 1957 ، ص 300-327
- 1 2 3 Feller 2003 ، ص. 231.
- ↑ تشونغ، كاي لاي (1958). "حول الصيغ الأسية لنظرية شبه المجموعة". مجلة المحيط الهادئ للرياضيات . 8 (4): 847-857 .
- ↑ غروسمان 1984 ، ص 750 .
- ↑ سيلفرمان 1974 ، ص 139 .
- ↑ تشودري 1992 ، ص 102 .
- ↑ كامبوس 2011 ، ص 558 .
- ↑ ماركوشيفيتش 1966 ، ص. 6 .
- 1 2 شتاين وشكارشي 2003 ، ص. 15.
- ^ فريتاج وبوسام 2005 ، ص 111 – 112.
- ^ فريتاج وبوسام 2005 ، الصفحات من 112 إلى 113، 124.
- 1 2 فريتاج وبوسام 2005 ، ص 116-117.
- ↑ Stein & Shakarchi 2003 ، ص 98-100.
- ↑ أهلفورس 1979 ، ص 38.
- ↑ لانغ 1999 ، ص 166.
- ^ أهلفورس 1979 ، ص 184-186.
- ↑ بليس 1933 ، الفصل الثاني.
- ↑
- هورماندر 2002 ، انظر المعادلة. 1.1.7 و 1.1.7 ′
- كولك ودوسترمات 2010 ، ص. 59-63
- ↑ ساندلر 2011 ، ص 258 .
- ↑
- إينز وماكغواير 2000 ، ص 187
- ساها 2026 ، ص 227
- ↑ ليندبرغ 2007 ، ص 33.
- ↑ كلاين 1990 ، ص 35-37 .
- ↑ بوير وميرزباخ 1991 ، ص 202-203 .
- ↑ داني 2012 .
- ^ جوبتا 2019 ، ص. 417-442 .
- ↑
- تيرنبول 1939 ، الصفحات 168-174
- روي 1990
- ماليت 1993
- ↑
- إدواردز 1994 ، ص 289
- رولاندز 2017 ، ص 48
- ↑ نيوتن 1761 .
- ↑
- تايلور 1715 ، الصفحات 21-23، انظر Prop. VII، Thm. 3، Cor. 2. انظر Struik 1969 ، الصفحات 329-332 للترجمة الإنجليزية، و Bruce 2007 لإعادة الترجمة.
- فيجنباوم 1985
- ↑ غروسمان 1984 ، ص 748 .
- ↑ أبراموفيتز وستيجون 1970 ، ص 69 .
- 1 2
- ↑ هوفمان 1939 .
- ↑ أبراموفيتز وستيجون 1970 ، ص 14 .
- ↑ أبراموفيتز وستيجون 1970 ، ص 15 .
- ^ أبراموفيتز وستيغون 1970 ، ص 75 ، 81 .
- ↑ أبراموفيتز وستيجون 1970 ، ص 75 .
- 1 2 أبراموفيتز وستيجون 1970 ، ص 85 .
- ↑ "§25.12 متعددات اللوغاريتمات" . المكتبة الرقمية للدوال الرياضية . المعهد الوطني للمعايير والتكنولوجيا . تم الاسترجاع في 1 أبريل 2026 .
- ↑ تشين، إل سي؛ وو، إف واي (2005). "نموذج التجميع العشوائي وهويات الجمع والتكامل الجديدة". مجلة الفيزياء أ . 38 : 6271-6276 . arXiv : cond-mat/0501228 . doi : 10.1088/0305-4470/38/28/001 .
مراجع
- أهلفورس، لارس ف. (1979)، التحليل المركب ( الطبعة الثالثة)، نيويورك: ماكجرو هيل، ISBN 978-0-07-000657-7.
- أبراموفيتز، ميلتون ؛ ستيجون، إيرين أ. (1970). دليل الدوال الرياضية مع الصيغ والرسوم البيانية والجداول الرياضية . نيويورك: منشورات دوفر . الطبعة التاسعة.
- بانر، أدريان (2007). منقذ حساب التفاضل والتكامل: جميع الأدوات التي تحتاجها للتفوق في حساب التفاضل والتكامل . مطبعة جامعة برينستون. ISBN 978-0-691-13088-0.
- بيلودو، جيرالد؛ ثي، بول؛ كيو، جي إي (2010). مقدمة في التحليل . دار نشر جونز وبارتليت. رقم ISBN 978-0-7637-7492-9.
- بليس، جيلبرت أميس (1933)، الدوال الجبرية ، منشورات دوفر، رقم ISBN 978-0-486-49568-2
{{citation}}: عدم توافق رقم ISBN / التاريخ ( مساعدة ) . - بوير، سي.؛ ميرزباخ، يو. (1991). تاريخ الرياضيات (الطبعة الثانية ). جون وايلي وأولاده. ISBN 0-471-09763-2.
- بروس، إيان (2007). "طريقة الزيادة المباشرة والعكسية ] " . 17 Centurymaths.com .
- كامبوس، لويس مانويل براغا دا كوستا (2011). التحليل المركب مع تطبيقات على التدفقات والحقول . مطبعة سي آر سي. رقم ISBN 978-1-040-17268-1.
- تشودري، ب. (1992). عناصر التحليل المركب . دار نيو إيج إنترناشونال المحدودة. رقم ISBN 978-81-224-0399-2.تجدر الإشارة إلى أن هذا المصدر أعيد طبعه في عام 2003.
- كونواي، جون ب. (1978)، دوال المتغير المركب الواحد. الجزء الأول ، نصوص الدراسات العليا في الرياضيات، المجلد 11 ( الطبعة الثانية)، نيويورك: سبرينغر-فيرلاغ، ISBN 978-0-387-90328-6.
- داني، سان جرمان (2012). “الرياضيات الهندية القديمة – وجهة نظر”. الرنين . 17 (3): 236-246 . دوى : 10.1007 / s12045-012-0022-y . S2CID 120553186 .
- إدواردز، سي. هنري (1994). التطور التاريخي للتفاضل والتكامل . طبعة سبرينغر الدراسية. سبرينغر. ISBN 978-0-387-94313-8.
- إينز، ريتشارد هـ.؛ ماكغواير، جورج س. (2000). الفيزياء غير الخطية باستخدام برنامج Maple للعلماء والمهندسين (الطبعة الثانية ). جون وايلي وأولاده. ISBN 978-0-471-25709-7.
- فيجنباوم، ل. (1985). "بروك تايلور وطريقة الزيادات". أرشيف تاريخ العلوم الدقيقة . 34 ( 1-2 ): 1-140 . doi : 10.1007/bf00329903 . S2CID 122105736 .
- فيلر، ويليام (2003) [1971]. مدخل إلى نظرية الاحتمالات وتطبيقاتها . المجلد 2 ( الطبعة الثالثة). وايلي. ISBN 9789971512989. OCLC 818811840 .
- فريتاج، إبرهارد؛ بوسام، رولف (2005)، التحليل المركب ، برلين: سبرينغر، ISBN 978-3-540-93983-2.
- جروسمان، ستانلي آي. (1984). حساب التفاضل والتكامل ( الطبعة الثالثة). دار النشر الأكاديمية. رقم ISBN 978-1-4832-6239-0.
- غوبتا، رادها شاران (2019). راماسوبرامانيان، ك. (محرر). غانيتاناندا: مختارات من أعمال رادها شاران غوبتا في تاريخ الرياضيات . سبرينغر. doi : 10.1007/978-981-13-1229-8_40 . S2CID 213756968 .
- هنريسي، بيتر (1974)، التحليل المعقد التطبيقي والحسابي ، المجلد 1، نيويورك: وايلي-إنترساينس.
- هيل، إينار ؛ فيليبس، رالف س. (1957). التحليل الوظيفي وشبه المجموعات . منشورات ندوة الجمعية الأمريكية للرياضيات. المجلد 31. الجمعية الأمريكية للرياضيات.
- هوفمان، جوزيف إهرنفريد (1939). "حول اكتشاف المتسلسلة اللوغاريتمية وتطورها في إنجلترا حتى كوتس". المجلة الوطنية للرياضيات . 14 (1): 33-45 . doi : 10.2307/3028095 . JSTOR 3028095 .
- هورماندر، لارس (2002) [1990]. "مراجعة في حساب التفاضل والتكامل" . تحليل المؤثرات التفاضلية الجزئية 1 (الطبعة الثانية ). سبرينغر. § 1.1، ص 5-13. doi : 10.1007/978-3-642-61497-2_2 . ISBN 978-3-642-61497-2.
- كلاين، م. (1990). الفكر الرياضي من العصور القديمة إلى الحديثة . نيويورك: مطبعة جامعة أكسفورد. ISBN 0-19-506135-7.
- كناب، أنتوني و. (2000). التحليل الحقيقي الأساسي . سبرينغر. ISBN 978-0-8176-4441-3.
- كولك، يوهان أ.س.؛ دويسترمات، ج.ج. (2010). "توسيع تايلور في عدة متغيرات" . التوزيعات: النظرية والتطبيقات . بيركهاوزر. doi : 10.1007/978-0-8176-4675-2_6 . ISBN 978-0-8176-4672-1.
- كريزيج، إروين (2011). الرياضيات الهندسية المتقدمة . جون وايلي وأولاده . ISBN 978-1-119-45592-9.
- لانغ، سيرج (1999)، التحليل المركب ، نصوص الدراسات العليا في الرياضيات، المجلد 103 (الطبعة الرابعة )، نيويورك: سبرينغر، ISBN 978-0-387-98592-3.
- ليندبرغ، ديفيد (2007). بدايات العلوم الغربية ( الطبعة الثانية). مطبعة جامعة شيكاغو. رقم ISBN 978-0-226-48205-7.
- ماليت، أنطوني (1993). " جيمس غريغوري حول المماسات وقاعدة "تايلور" لتوسيع المتسلسلات". أرشيف تاريخ العلوم الدقيقة . 46 (2): 97-137 . doi : 10.1007/BF00375656 . JSTOR 41133959. S2CID 120101519 .
- ماركوشيفيتش، الذكاء الاصطناعي (1966). الدوال الكاملة . إلسيفير. ISBN 978-1-4832-7490-4.
- نيوتن، إسحاق (1761). Tractatus de Quadratura Curvarum: in usum studiosae iuventutis mathematicae explicationibus illustratus .
- رولاندز، بيتر (2017). نيوتن والنظام العالمي العظيم . دار النشر العالمية العلمية . ص 40. doi : 10.1142/q0108 . ISBN 978-1-78634-372-7.
- روي، رانجان (1990). "اكتشاف صيغة المتسلسلة لـ π بواسطة لايبنتز، غريغوري، ونيلكانثا" (ملف PDF) . مجلة الرياضيات . 63 (5): 291-306 . doi : 10.1080/0025570X.1990.11977541 . مؤرشف من الأصل (ملف PDF) بتاريخ 14 مارس 2023. تاريخ الاسترجاع: 18 فبراير 2023 .
- رودين، والتر (1976)، مبادئ التحليل الرياضي ( الطبعة الثالثة)، نيويورك: ماكجرو هيل، رقم ISBN 978-0-07-054235-8.
- رودين، والتر (1980). التحليل الحقيقي والمركب . نيودلهي: ماكجرو هيل. ISBN 0-07-099557-5.
- ساها، سوابان ك. (2026). نموذج التصوير البصري . مطبعة سي آر سي. رقم ISBN 978-1-040-44735-2.
- ساندلر، ستانلي آي. (2011). مقدمة في الديناميكا الحرارية الإحصائية التطبيقية . جون وايلي وأولاده. ISBN 978-0-470-91347-5.
- سيلفرمان، ريتشارد أ. (1974). التحليل المركب مع التطبيقات . منشورات دوفر.
- شتاين، إلياس م .؛ شاكرجي، رامي (2003)، التحليل المركب ، محاضرات برينستون في التحليل، المجلد 2، برينستون، نيوجيرسي: مطبعة جامعة برينستون، ISBN 978-0-691-11385-2.
- ستيوارت، جيمس (2008)، حساب التفاضل والتكامل: الدوال المتسامية المبكرة ( الطبعة السادسة)، تومسون بروكس/كول، رقم ISBN 978-0-495-38273-7.
- ستريك، دي جيه (1969). كتاب مصادر في الرياضيات 1200-1800 . مطبعة جامعة هارفارد. ISBN 978-0-674-82355-6.
- تايلور، بروك (1715). Methodus Incrementorum Directa et Inversa [ طرق الزيادة المباشرة والعكسية ] (باللغة اللاتينية). لندن.
- توماس، جورج ب. الابن؛ فيني، روس ل. (1996). حساب التفاضل والتكامل والهندسة التحليلية ( الطبعة التاسعة). أديسون ويسلي. ISBN 0-201-53174-7.
- تيتشمارش، إي سي (1939)، نظرية الدوال ( الطبعة الثانية)، لندن: مطبعة جامعة أكسفورد.
- تورنبول، هربرت ويسترن، محرر (1939). جيمس غريغوري؛ المجلد التذكاري للذكرى المئوية الثالثة . جي. بيل وأولاده.
- فاربيرج، ديل E.؛ بورسيل، إدوين J.؛ ريجدون ، ستيفن إي. (2007). حساب التفاضل والتكامل ( الطبعة التاسعة). بيرسون برنتيس هول. رقم ISBN 9780131469686.
للمزيد من القراءة
- بريسود، ديفيد (2002). "هل تم اختراع حساب التفاضل والتكامل في الهند؟". مجلة الرياضيات الجامعية . 33 (1): 2-13 . doi : 10.2307/1558972 . JSTOR 1558972 .
- غرينبيرغ، مايكل (1998). الرياضيات الهندسية المتقدمة ( الطبعة الثانية). برنتيس هول. ISBN 0-13-321431-1.
- روي، رانجان (2021) [2011]. المتسلسلات والمنتجات في تطور الرياضيات . المجلد 1 ( الطبعة الثانية). مطبعة جامعة كامبريدج.
روابط خارجية
- "متسلسلة تايلور" ، موسوعة الرياضيات ، دار نشر EMS ، 2001 [1994]
- وايسستين، إريك دبليو. “سلسلة تايلور” . عالم الرياضيات .
- التحليل المعقد
- حساب التفاضل
- حساب التكامل
- التحليل الحقيقي
- توسعات السلسلة
