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

بزيادة درجة كثير الحدود لتايلور، فإن الأخير يقترب من الدالة الصحيحة. تُظهر هذه الصورة دالة جيب العدد x وتقريبات تايلور الخاصة بها بواسطة كثيرات الحدود ذات الدرجات 1، و 3، و 5، و 7، و 9، و 11 و 13 عند قالب:تعبير رياضي.

قالب:تفاضل وتكامل مُتَسَلْسِلَةُ تَايْلُور أو مُتَسَلْسِلَةُ تَيْلُور أو سِلْسِلَةُ تَايْلُور قالب:إنج أو مَفْكُوكُ تَايْلُور أو نَشْرُ تَايْلُور قالب:إنج لدالة ما هي مجموع غير منتهٍ من الحدود التي يُعبَّر عنها بدلالة مشتقات الدالة في نقطة محددة. تكون معظم الدوال الشائعة ومجموع متسلسلة تايلور الخاصة بها متساويتين بالقرب من هذه النقطة. سميت سلسلة تايلور على اسم العالم الإنجليزي بروك تايلور، الذي أدخلها في عام 1715. وتسمى متسلسلة تايلور أيضًا متسلسلة ماكلورين عندما تكون المشتقات عند النقطة 0، تيمنًا بالعالم الإسكتلندي كولين ماكلورين، الذي استخدم هذه الحالة الخاصة من متسلسلة تايلور على نطاق واسع في منتصف القرن الثامن عشر.

المجموع الجزئي المكون من حدود قالب:تعبير رياضي الأولى لمتسلسلة تايلور هو كثير الحدود من الدرجة قالب:تعبير رياضي يسمى كثير حدود تايلور للدالة من الدرجة قالب:تعبير رياضي. تعد معادلات تايلور كثيرة الحدود تقديرات تقريبية لدالة ما، والتي تصبح أكثر دقة عمومًا عندما تتزايد قالب:تعبير رياضي. تعطي مبرهنة تايلور تقديرات كمية للخطأ الناتج عن استخدام مثل هذه التقديرات التقريبية. إذا كانت متسلسلة تايلور للدالة متقاربة، فإن مجموعها هي نهاية المتتالية اللانهائية لكثير الحدود لتايلور. قد تختلف الدالة عن مجموع متسلسلة تايلور الخاصة بها، حتى لو كانت متسلسلة تايلور متقاربة. تكون الدالة تحليلية عند نقطة قالب:تعبير رياضي إذا كانت مساوية لمجموع متسلسلة تايلور الخاصة بها في فترة مفتوحة (أو قرص مفتوح في المستوي المركب) تحوي قالب:تعبير رياضي. هذا يعني أن الدالة تحليلية في كل نقطة من الفترة (أو القرص).

التعريف

متسلسلة تايلور لدالة حقيقية أو ذات قيم مركبة قالب:تعبير رياضي من الصنف قالب:تعبير رياضي (أي قابلة للتفاضل لانهائيًّا) عند عدد حقيقي أو مركب قالب:تعبير رياضي هي متسلسلة القوى:

$f(a)+\frac{f^{\prime }(a)}{1!}(x-a)+\frac{f^{″}(a)}{2!}(x-a{)}^2+\frac{f^{‴}(a)}{3!}(x-a{)}^3+\cdots$

وفيها قالب:تعبير رياضي ترمز إلى عاملي قالب:تعبير رياضي. يمكن كتابة المتسلسلة السابقة بتدوين سيغما الأكثر اختصارًا كما يأتي:

$\sum _{n=0}^{\mathrm{\infty }}\frac{f^{(n)}(a)}{n!}(x-a{)}^n$

وفي هذا الشكل تشير قالب:تعبير رياضي إلى مشتق قالب:Mvar من الدرجة قالب:تعبير رياضي عند النقطة قالب:Mvar (المشتقة من الدرجة 0 للدالة قالب:Mvar معرفة على أنها قالب:Mvar نفسها وقالب:تعبير رياضي و قالب:تعبير رياضي معرفتان على أنها 1.)

عندما يكون قالب:تعبير رياضي، تأخذ متسلسلة ماكلورين الشكل التالي:

$f(0)+\frac{f^{\prime }(0)}{1!}x+\frac{f^{″}(0)}{2!}{x}^2+\frac{f^{‴}(0)}{3!}{x}^3+\cdots$

بتدوين سيغما الأكثر اختصارًا: $\sum _{n=0}^{\mathrm{\infty }}\frac{f^{(n)}(0)}{n!}{x}^n$

الأمثلة

متسلسلة تايلور لأي كثير حدود هو كثير الحدود نفسه.

متسلسلة ماكلورين لـ قالب:تعبير رياضي هي المتسلسلة الهندسية التالية:

$1+x+x^2+x^3+\cdots$

إذن، بتعويض قالب:Mvar بـ قالب:تعبير رياضي، متسلسلة تايلور لـ قالب:تعبير رياضي عند قالب:تعبير رياضي هي:

$1-(x-1)+(x-1{)}^2-(x-1{)}^3+\cdots$

بمكاملة متسلسلة ماكلورين أعلاه، تنتج متسلسلة ماكلورين: قالب:تعبير رياضي, وفيها يشير قالب:تعبير رياضي إلى اللوغاريتم الطبيعي:

$-x-\frac{1}{2}{x}^2-\frac{1}{3}{x}^3-\frac{1}{4}{x}^4-\cdots$

متسلسلة تايلور الموافقة للدالة قالب:تعبير رياضي عند قالب:تعبير رياضي هي:

$(x-1)-\frac{1}{2}(x-1{)}^2+\frac{1}{3}(x-1{)}^3-\frac{1}{4}(x-1{)}^4+\cdots$

متسلسلة تايلور الموافقة للدالة قالب:تعبير رياضي عند أي نقطة قالب:Mvar لا تساوي الصفر هي:

$\ln a+\frac{1}{a}(x-a)-\frac{1}{a^2}\frac{{(x-a)}^2}{2}+\cdots$

متسلسلة ماكلورين للدالة الأسية قالب:تعبير رياضي هي:

$\begin{array}{cc}\sum _{n=0}^{\mathrm{\infty }}\frac{x^n}{n!}& =\frac{x^0}{0!}+\frac{x^1}{1!}+\frac{x^2}{2!}+\frac{x^3}{3!}+\frac{x^4}{4!}+\frac{x^5}{5!}+\cdots \\ & =1+x+\frac{x^2}{2}+\frac{x^3}{6}+\frac{x^4}{24}+\frac{x^5}{120}+\cdots \end{array}$

المفكوك أعلاه مستمر لأن مشتق قالب:تعبير رياضي بالنسبة لـ قالب:Mvar هو نفسه قالب:تعبير رياضي، وقالب:تعبير رياضي تساوي 1. يجعل هذا الحدود قالب:تعبير رياضي في البسط وقالب:تعبير رياضي في المقام لأي حد في المتسلسلة اللانهائية.

التاريخ

نظر الفيلسوف الإغريقي زينون الإيلي في مسألة جمع متسلسلة لانهائية لتحقيق نتيجة منتهية، لكنهُ رفضها لأنها مستحيلة؛ وكانت النتيجة مفارقة زينون. اقترح أرسطو في وقت لاحق حلاً فلسفيًا للمفارقة، ولكن يبدو أن الجانب الرياضي لم يُحل حتى عالجه أرخميدس. عالج الفيلسوف ديمقريطس، صاحب المبدأ الذري، في ما سبق هذه المسألة، وكان من المتقدمين الذين عاشوا قبل أرسطو. كانت من خلال طريقة استنفاد أرخميدس أنه يمكن إجراء عدد لانهائي من الأقسام الفرعية المستمرة لتحقيق نتيجة منتهية. استخدم الرياضياتي الصيني ليو هوي بشكل مستقل طريقة مماثلة بعد بضعة قرون.

أعطى مادهافا من سانغماغراما في القرن الرابع عشر أقدم الأمثلة على متسلسلة تايلور المحددة (ولكن ليس الطريقة العامة). على الرغم من عدم وجود أي سجل لأعماله، إلا أن كتابات أتباعه في مدرسة كيرلا لعلم الفلك والرياضيات تشير إلى أنه وجد متسلسلات تايلور للدوال المثلثية: الجيب وجيب التمام وقوس الظل (طالع متسلسلات مادهافا). خلال القرنين التاليين، ثم طور أتباعه المزيد من مفكوكات المتسلسلة والتقريبات بالدوال الكسرية.

عرض جيمس غريغوري في رسالته إلى جون كولينز في أواخر عام 1670م، العديد من متسلسلات ماكلورين (قالب:تعبير رياضي، وقالب:تعبير رياضي، وقالب:تعبير رياضي، وقالب:تعبير رياضي) التي اشتقها إسحاق نيوتن، وأخبر أن نيوتن قد طور طريقة عامة لنشر الدوال في شكل متسلسلات. في الواقع، استخدم نيوتن طريقة مرهقة تنطوي على تقسيم طويل للمتسلسلة والتكامل حدًّا تلو الآخر، لكن غريغوري لم يكن يعرف ذلك وشرع في اكتشاف طريقة عامة لنفسه. في أوائل عام 1671، اكتشف غريغوري شيئًا مثل متسلسلة ماكلورين العامة وأرسل رسالة إلى كولينز تتضمن المتسلسلات الخاصة بـ $\arctan x$ (قوس الظل)، و $\tan x$ (ظل الزاوية)، و $\sec x$ (قاطع الزاوية)، و $\ln \sec x$ (اللوغاريتم الطبيعي لقاطع قالب:تعبير رياضي، وهو تكامل دالة الظل)، و $\ln \tan \frac{1}{2}(\frac{1}{2}\pi +x)$ (قالب:وإو، وهي الدالة العكسية للدالة الغودرمانية)، و$\mathrm{arcsec}\left(\sqrt{2}{e}^x\right)$ (قوس قاطع الجذر التربيعي للعدد 2 مضروب في الدالة الأسية)، و $2\arctan e^x-\frac{1}{2}\pi$ (الدالة الغودرمانية). ومع ذلك، معتقدًا أنه قد أعاد تطوير طريقة نيوتن، لم يصف غريغوري أبدًا كيف حصل على هذه المتسلسلة، ولا يمكن الاستدلال إلا على أنه فهم الطريقة العامة من خلال فحص الأعمال الأولى التي كتبها على الوجه الخلفي من رسالة أخرى أُرخت سنة 1671م.

كتب إسحاق نيوتن بين عامي 1691 و1692م، بيانًا صريحًا لمتسلسلات تايلور وماكلورين في نسخة غير منشورة من عملهِ قالب:لات (تعني حرفيًّا "عن تربيع المنحنيات"). لكن هذا العمل لم يكتمل أبداً وحذفت الأقسام ذات الصلة من الأجزاء المنشورة عام 1704م، تحت عنوان قالب:لات (تعني حرفيًّا "رسالة تربيع المنحنيات").

لم تُنشر طريقة عامة لتوليد هذه المتسلسلة لجميع الدوال التي وضع بروك تايلور متسلسلاتها حتى عام 1715م، وسُميت المتسلسلة بعد ذلك باسم هذا العالم.

سُميت متسلسلة ماكلورين على اسم كولين ماكلورين، وهو أستاذ جامعي في إدنبرة نشر الحالة الخاصة لنتائج تايلور في منتصف القرن الثامن عشر.

الدوال التحليلية

الدالة قالب:تعبير رياضي غير تحليلية عند قالب:تعبير رياضي: تساوي متسلسلة تايلور في هذه الحالة 0، على الرغم من أن الدالة ليست كذلك.

قالب:مفصلة إذا عُبِّر عن قالب:تعبير رياضي باستعمال متسلسلة قوى متقاربة في قرص مفتوح متمركز عند قالب:Mvar في المستوي المركب (أو فترة في مستقيم الأعداد الحقيقية)، يُقال عنها أنها تحليلية في هذه المنطقة. وبالتالي، بالنسبة إلى قالب:Mvar في هذه المنطقة، تُعطى قالب:Mvar بمتسلسلة قوى متقاربة التالية:

$f(x)=\sum _{n=0}^{\mathrm{\infty }}{a}_n(x-b{)}^n$

بالاشتقاق بالنسبة لـ قالب:Mvar للصيغة أعلاه قالب:Mvar مرات، ثم وضع قالب:تعبير رياضي، نحصل على:

$\frac{f^{(n)}(b)}{n!}=a_n$

تتوافق متسلسلة القوى مع متسلسلة تايلور. أي أن الدالة تكون تحليلية في قرص مفتوح متمركز عند قالب:Mvar إذا وفقط إذا كانت متسلسلة تايلور الخاصة بها تتقارب نحو قيمة الدالة عند كل نقطة من القرص.

إذا كانت قالب:تعبير رياضي مساوية لمجموع متسلسلة تايلور الخاصة بها من أجل كل قالب:Mvar في المستوي المركب، فإنها تسمى دالة صحيحة. تعد كثيرات الحدود، والدالة الأسية قالب:تعبير رياضي، ودالتا الجيب وجيب التمام المثلثيتان، أمثلةً على الدوال الصحيحة. تتضمن أمثلة الدوال غير الصحيحة الجذر التربيعي، واللوغاريتم، والدالة المثلثية الظل ودالتها العكسية قوس الظل. بالنسبة لهذه الدوال، لا تتقارب متسلسلة تايلور إذا كانت قالب:Mvar بعيدة عن قالب:Mvar. أي أن متسلسلة تايلور تتباعد عند قالب:Mvar إذا كانت المسافة بين قالب:Mvar وقالب:Mvar أكبر من نصف قطر التقارب. يمكن استخدام متسلسلة تايلور لحساب قيمة دالة صحيحة في كل نقطة، إذا كانت قيمة الدالة وجميع مشتقاتها معلومة عند نقطة واحدة. تشمل استخدامات متسلسلة تايلور للدوال التحليلية ما يلي:

1. يمكن استخدام المجاميع الجزئية (كثيرات الحدود لتايلور) للمتسلسلة تقريبًا للدالة. هذه التقريبات جيدة إذا ضُمِّنت عدد كافٍ من الحدود.
2. يمكن إجراء تفاضل وتكامل متسلسلات القوى حدًّا تلو الآخر، وبالتالي فهي سهلة بشكل خاص.
3. تُمَدَّد دالة تحليلية بشكل فريد إلى دالة تامة التشكل على قرص مفتوح في المستوي المركب. هذا يجعل آلية التحليل المركب متاحة.
4. يمكن استخدام المتسلسلة (المدورة) لحساب قيم الدوال عدديًا (غالبًا عن طريق إعادة صياغة كثير الحدود في شكل تشيبيشيف وتقييمها باستخدام خوارزمية كلنشو).
5. يمكن إجراء العمليات الجبرية بسهولة على تمثيل متسلسلة القوى؛ على سبيل المثال، تُسْتَنْتَج صيغة أويلر من مفكوكات تايلور للدوال المثلثية والأسية. هذه النتيجة ذات أهمية أساسية في مجالات مثل التحليل التوافقي.
6. يمكن للتقريب باستخدام الحدود القليلة الأولى من متسلسلة تايلور أن يجعل للمسائل غير القابلة للحل يمكن حلها في مجال مقصّر؛ غالبًا ما يستخدم هذا التقريب في الفيزياء.

خطأ التقريب والتقارب

تُقَرَّب دالة الجيب (بالأزرق) تقريبًا وثيقًا بواسطة كثير الحدود لتايلور من الدرجة 7 (بالوردي) لدور كامل متمركز في نقطة الأصل.

توفر كثيرات الحدود لتايلور الخاصة بـ قالب:تعبير رياضي تقريبات دقيقة فقط في المدى قالب:تعبير رياضي. بالنسبة لـ قالب:تعبير رياضي، توفر كثيرات الحدود لتايلور من الدرجة الأعلى تقريبات سيئة.

تقريبات تايلور لـ قالب:تعبير رياضي (بالأسود). من أجل قالب:تعبير رياضي، تتباعد التقريبات.

توضح الصورة المقابلة تقريب دقيق لدالة الجيب حول النقطة x = 0. المنحنى الوردي هو كثير الحدود من الدرجة السابعة:

$\sin x\approx x-\frac{x^3}{3!}+\frac{x^5}{5!}-\frac{x^7}{7!}$

الخطأ في هذا التقريب لا يزيد عن قالب:تعبير رياضي. لدورة كاملة متمركزة في نقطة الأصل (قالب:تعبير رياضي)، يكون الخطأ أقل من 0.08215. بشكل خاص، بالنسبة لـ قالب:تعبير رياضي، يكون الخطأ أقل من 0.000003.

في المقابل، تظهر أيضًا صورة لدالة اللوغاريتم الطبيعي قالب:تعبير رياضي وبعض كثيرات الحدود لتايلور حول قالب:تعبير رياضي. تتقارب هذه التقريبات نحو الدالة فقط في المنطقة قالب:تعبير رياضي؛ خارج هذه المنطقة، تعد كثيرات حدود لتايلور ذات الدرجة الأعلى تقريبات سيئة للدالة.

يُطلق على الخطأ الذي حصل في تقريب دالة بكثير الحدود لتايلور من الدرجة قالب:Mvar اسم "الباقي" ويُشار إليه بالدالة قالب:تعبير رياضي. يمكن استخدام مبرهنة تايلور للحصول على تقييد لحجم الباقي.

متسلسلة تايلور ليست متقاربة على الإطلاق. إن مجموعة الدوال المُعرَّفة بمتسلسلات تايلور المتقاربة هي في الواقع مجموعة هزيلة في فضاء فريشيه للدوال الملساء. وحتى إذا تقاربت متسلسلة تايلور للدالة f، فلا يلزم أن تكون نهايتها مساوية لقيمة الدالة قالب:تعبير رياضي. فعلى سبيل المثال، الدالة التالية:

$f(x)=\{\begin{array}{cc}{e}^{-1/x^2}& \text{if }x\ne 0\\ 0& \text{if }x=0\end{array}$

هي دالة قابلة للاشتقاق لانهائيَّا عند قالب:تعبير رياضي، وله جميع المشتقات تساوي الصفر. وبالتالي، فإن متسلسلة تايلور الخاصة بـ قالب:تعبير رياضي عند قالب:تعبير رياضي تساوي صفرًا بشكل مطابق. ومع ذلك، فإن قالب:تعبير رياضي ليست دالة صفرية، لذلك لا تساوي متسلسلة تايلور الخاصة بها عند نقطة الأصل. وبالتالي، فإن قالب:تعبير رياضي هي مثال على دوال ملساء غير تحليلية.

$f(x)=\{\begin{array}{cc}{e}^{-1/x^2}& \text{if }x\ne 0\\ 0& \text{if }x=0\end{array}$

يُظهر مثال في التحليل الحقيقي هذا وجود دوال قابلة للتفاضل لانهائيّا قالب:تعبير رياضي متسلسلة تايلور الخاصة بها لا تساوي قالب:تعبير رياضي حتى لو كانت متقاربة. على النقيض من ذلك، فإن الدوال التامة التشكل التي دُرِست في التحليل المركب تمتلك دائمًا متسلسلة تايلور متقاربة، وحتى متسلسلة تايلور للدوال الجزئية التشكل، والتي قد يكون لها نقاط شاذة، لا تتقارب أبدًا مع قيمة مختلفة عن الدالة نفسها. ومع ذلك، فإن الدالة المركبة قالب:تعبير رياضي لا تقترب من 0 عندما تقترب قالب:Mvar من 0 على طول المحور التخيلي، لذلك فهي ليست مستمرة في المستوي المركب ومتسلسلة تايلور الخاصة بها غير معرفة عند 0.

يمكن أن تظهر كل متتالية الأعداد الحقيقية أو المركبة معاملاتٍ في سلسلة تايلور لدالة قابلة للتفاضل لانهائيًّا معرفة على المستقيم الحقيقي، نتيجة لتوطئة بوريل. نتيجة لذلك، يمكن أن يكون نصف قطر تقارب متسلسلة تايلور يساوي الصفر. حتى أن هناك دوال قابلة للتفاضل لانهائيًا معرفة على المستقيم الحقيقي التي متسلسلات تايلور الخاصة بالدوال لها نصف قطر تقارب يساوي 0 في كل مكان.

لا يمكن كتابة الدالة على شكل متسلسلة تايلور تتمركز على النقطة الشاذة؛ في هذه الحالات، يمكننا في كثير من الأحيان تحقيق متسلسلة إذا سمحنا أيضًا القوى السالبة للمتغير قالب:Mvar؛ طالع متسلسلة لوران. على سبيل المثال، يمكن كتابة قالب:تعبير رياضي على شكل متسلسلة لوران.

التعميم

يوجد تعميم لمتسلسلة تايلور يتقارب مع قيمة الدالة نفسها إذا كانت مستمرة محدودة في المجال قالب:تعبير رياضي، يمكن حسابه باستخدام حساب الفروق المحدودة. وفقاً للمبرهنة التالية، التي وضعها إينار هيل، من أجل قالب:تعبير رياضي:

$\underset{h\to 0^{+}}{\lim }\sum _{n=0}^{\mathrm{\infty }}\frac{t^n}{n!}\frac{{\mathrm{\Delta }}_h^{n}f(a)}{h^n}=f(a+t).$

هنا قالب:تعبير رياضي هو مؤثر الفرق المنتهي من الرتبة قالب:Mvar ذو حجم الخطوة قالب:Mvar. المتسلسلة هي بالضبط متسلسلة تايلور، باستثناء أن الفروق المقسَّمة تظهر بدلاً من التفاضل. عندما تكون الدالة قالب:Mvar تحليلية عند قالب:Mvar، فإن الحدود في المتسلسلة تتقارب نحو حدود متسلسلة تايلور، وبهذا المعنى تعمم متسلسلة تايلور المألوفة.

قائمة متسلسلات ماكلورين لبعض الدوال الشائعة

قالب:أيضا هذه القائمة للعديد من متسلسلات ماكلورين الهامة. كل هذه المفكوكات صالحة للعُمْدَات المركبة قالب:Mvar:

الدالة الأسية

الدالة الأسية

$e^x$

للأساس e لها متسلسلة ماكلورين التالية:

الدالة الأسية النيبيرية قالب:تعبير رياضي (بالأزرق)، ومجموع الحدود قالب:تعبير رياضي (عدد الحدود) لمتسلسلة تايلور الخاصة بها (بالأحمر).

$e^x=\sum _{n=0}^{\mathrm{\infty }}\frac{x^n}{n!}=1+x+\frac{x^2}{2!}+\frac{x^3}{3!}+\cdots$.

تتقارب من أجل كل قالب:Mvar.

الدالة المولدة الأسية لأعداد بيل هي الدالة الأسية لسلف الدالة الأسية:

$\exp (\exp x-1)=\sum _{n=0}^{\mathrm{\infty }}\frac{B_n}{n!}{x}^n$

اللوغاريتم الطبيعي

دالة اللوغاريتم الطبيعي (للأساس e) لها متسلسلة ماكلورين التالية:

$\begin{array}{cc}\ln (1-x)& =-\sum _{n=1}^{\mathrm{\infty }}\frac{x^n}{n}=-x-\frac{x^2}{2}-\frac{x^3}{3}-\cdots ,\\ \ln (1+x)& =\sum _{n=1}^{\mathrm{\infty }}(-1{)}^{n+1}\frac{x^n}{n}=x-\frac{x^2}{2}+\frac{x^3}{3}-\cdots .\end{array}$

تتقارب تلك المتسلسلات من أجل $|x|<1$. (بالإضافة إلى ذلك، المتسلسلة الخاصة بـ قالب:تعبير رياضي تتقارب من أجل قالب:تعبير رياضي، والمتسلسلة الخاصة بـ قالب:تعبير رياضي تتقارب من أجل قالب:تعبير رياضي.)

المتسلسلات الهندسية

المتسلسلات الهندسية ومشتقاتها لها متسلسلات ماكلورين التالية:

$\begin{array}{cc}\frac{1}{1-x}& =\sum _{n=0}^{\mathrm{\infty }}{x}^n\\ \frac{1}{(1-x{)}^2}& =\sum _{n=1}^{\mathrm{\infty }}n{x}^{n-1}\\ \frac{1}{(1-x{)}^3}& =\sum _{n=2}^{\mathrm{\infty }}\frac{(n-1)n}{2}{x}^{n-2}\end{array}$

كلها تتقارب من أجل $|x|<1$. هذه حالات خاصة من متسلسلة ثنائي الحد الواردة في القسم التالي.

متسلسلة ثنائي الحد

متسلسلة ثنائي الحد هي متسلسلة القوى التالية:$$(1+x{)}^{\alpha }=\sum _{n=0}^{\mathrm{\infty }}(\genfrac{}{}{0ex}{}{\alpha }{n})x^n$$

معاملاتها هي معاملات ثنائي الحد المعممة:$$(\genfrac{}{}{0ex}{}{\alpha }{n})=\prod _{k=1}^n\frac{\alpha -k+1}{k}=\frac{\alpha (\alpha -1)\cdots (\alpha -n+1)}{n!}.$$ (إذا كان قالب:تعبير رياضي، هذا الجداء هو جداء خالٍ وله قيمة 1.) كلها تتقارب من أجل $|x|<1$ من أجل كل عدد حقيقي أو مركب قالب:Mvar. لما قالب:تعبير رياضي، فهذه هي في الأساس المتسلسلة الهندسية اللانهائية المذكورة في القسم السابق. تعطي الحالات الخاصة قالب:تعبير رياضي و قالب:تعبير رياضي دالة الجذر التربيعي ومقلوبها:$$\begin{array}{cccc}(1+x{)}^{\frac{1}{2}}& =1+\frac{1}{2}x-\frac{1}{8}{x}^2+\frac{1}{16}{x}^3-\frac{5}{128}{x}^4+\frac{7}{256}{x}^5-\cdots & & =\sum _{n=0}^{\mathrm{\infty }}\frac{(-1{)}^{n-1}(2n)!}{4^n(n!{)}^2(2n-1)}{x}^n,\\ (1+x{)}^{-\frac{1}{2}}& =1-\frac{1}{2}x+\frac{3}{8}{x}^2-\frac{5}{16}{x}^3+\frac{35}{128}{x}^4-\frac{63}{256}{x}^5+\cdots & & =\sum _{n=0}^{\mathrm{\infty }}\frac{(-1{)}^n(2n)!}{4^n(n!{)}^2}{x}^n.\end{array}$$عندما يُحتفظ بالحد الخطي فقط، فإن هذا يبسط تقريب ثنائي الحد.

الدوال المثلثية

الدوال المثلثية المألوفة ودوالها العكسية لها متسلسلة ماكلورين التالية:

$\begin{array}{cccccc}\sin x& =\sum _{n=0}^{\mathrm{\infty }}\frac{(-1{)}^n}{(2n+1)!}{x}^{2n+1}& & =x-\frac{x^3}{3!}+\frac{x^5}{5!}-\cdots & & \text{for all }x\\ \cos x& =\sum _{n=0}^{\mathrm{\infty }}\frac{(-1{)}^n}{(2n)!}{x}^{2n}& & =1-\frac{x^2}{2!}+\frac{x^4}{4!}-\cdots & & \text{for all }x\\ \tan x& =\sum _{n=1}^{\mathrm{\infty }}\frac{B_{2n}(-4{)}^n(1-4^n)}{(2n)!}{x}^{2n-1}& & =x+\frac{x^3}{3}+\frac{2x^5}{15}+\cdots & & \text{for }|x|<\frac{\pi }{2}\\ \sec x& =\sum _{n=0}^{\mathrm{\infty }}\frac{(-1{)}^n{E}_{2n}}{(2n)!}{x}^{2n}& & =1+\frac{x^2}{2}+\frac{5x^4}{24}+\cdots & & \text{for }|x|<\frac{\pi }{2}\\ \arcsin x& =\sum _{n=0}^{\mathrm{\infty }}\frac{(2n)!}{4^n(n!{)}^2(2n+1)}{x}^{2n+1}& & =x+\frac{x^3}{6}+\frac{3x^5}{40}+\cdots & & \text{for }|x|\le 1\\ \arccos x& =\frac{\pi }{2}-\arcsin x\\ & =\frac{\pi }{2}-\sum _{n=0}^{\mathrm{\infty }}\frac{(2n)!}{4^n(n!{)}^2(2n+1)}{x}^{2n+1}& & =\frac{\pi }{2}-x-\frac{x^3}{6}-\frac{3x^5}{40}-\cdots & & \text{for }|x|\le 1\\ \arctan x& =\sum _{n=0}^{\mathrm{\infty }}\frac{(-1{)}^n}{2n+1}{x}^{2n+1}& & =x-\frac{x^3}{3}+\frac{x^5}{5}-\cdots & & \text{for }|x|\le 1,x\ne \pm i\end{array}$

كل الزوايا معبرة عنها بالتقدير الدائري. الأعداد قالب:تعبير رياضي الظاهرة في مفكوكات دالة الظل هي أعداد برنولي. الأعداد قالب:تعبير رياضي الظاهرة في مفكوك دالة القاطع هي أعداد أويلر.

الدوال الزائدية

الدوال الزائدية لها متسلسلة ماكلورين وثيقة الصلة بمتسلسلات الدوال المثلثية السالف ذكرها:

$\begin{array}{cccccc}\sinh x& =\sum _{n=0}^{\mathrm{\infty }}\frac{x^{2n+1}}{(2n+1)!}& & =x+\frac{x^3}{3!}+\frac{x^5}{5!}+\cdots & & \text{for all }x\\ \cosh x& =\sum _{n=0}^{\mathrm{\infty }}\frac{x^{2n}}{(2n)!}& & =1+\frac{x^2}{2!}+\frac{x^4}{4!}+\cdots & & \text{for all }x\\ \tanh x& =\sum _{n=1}^{\mathrm{\infty }}\frac{B_{2n}{4}^n(4^n-1)}{(2n)!}{x}^{2n-1}& & =x-\frac{x^3}{3}+\frac{2x^5}{15}-\frac{17x^7}{315}+\cdots & & \text{for }|x|<\frac{\pi }{2}\\ \mathrm{arsinh}x& =\sum _{n=0}^{\mathrm{\infty }}\frac{(-1{)}^n(2n)!}{4^n(n!{)}^2(2n+1)}{x}^{2n+1}& & =x-\frac{x^3}{6}+\frac{3x^5}{40}-\cdots & & \text{for }|x|\le 1\\ \mathrm{artanh}x& =\sum _{n=0}^{\mathrm{\infty }}\frac{x^{2n+1}}{2n+1}& & =x+\frac{x^3}{3}+\frac{x^5}{5}+\cdots & & \text{for }|x|\le 1,x\ne \pm 1\end{array}$

الأعداد قالب:تعبير رياضي الظاهرة في متسلسلة دالة الظل الزائدي هي أعداد برنولي.

دوال متعددة اللوغاريتمات

الدوال المتعددة اللوغاريتمات لها هذه المتطابقات المعرِّفة لها:

${\text{Li}}_2(x)=\sum _{n=1}^{\mathrm{\infty }}\frac{1}{n^2}{x}^n$

${\text{Li}}_3(x)=\sum _{n=1}^{\mathrm{\infty }}\frac{1}{n^3}{x}^n$

قالب:وإو معرفة على النحو التالي:

${\chi }_2(x)=\sum _{n=0}^{\mathrm{\infty }}\frac{1}{(2n+1{)}^2}{x}^{2n+1}$

${\chi }_3(x)=\sum _{n=0}^{\mathrm{\infty }}\frac{1}{(2n+1{)}^3}{x}^{2n+1}$

والصيغة الواردة أدناه تسمى تكامل دالة الظل العكسية:

${\text{Ti}}_2(x)=\sum _{n=0}^{\mathrm{\infty }}\frac{(-1{)}^n}{(2n+1{)}^2}{x}^{2n+1}$

هذه الصيغ لها أهمية كبيرة في الديناميكا الحرارية الإحصائية.

الدوال الإهليلجية

يمكن تعريف التكاملين الإهليلجيين التامين من النوع الأول K ومن النوع الثاني E على النحو التالي:

$\frac{2}{\pi }K(x)=\sum _{n=0}^{\mathrm{\infty }}\frac{[(2n)!{]}^2}{16^n(n!{)}^4}{x}^{2n}$

$\frac{2}{\pi }E(x)=\sum _{n=0}^{\mathrm{\infty }}\frac{[(2n)!{]}^2}{(1-2n)16^n(n!{)}^4}{x}^{2n}$

حساب متسلسلات تايلور

توجد طرائق عديدة لحساب متسلسلة تايلور لعدد كبير من الدوال. يمكن محاولة استخدام تعريف متسلسلة تايلور، مع أن هذا يتطلب غالبًا تعميم شكل المعامِلات وفقًا لنمط واضح بسهولة. بدلاً من ذلك، يمكن استخدام العمليات مثل التعويض أو الضرب أو القسمة أو الجمع أو الطرح لمتسلسلة تايلور القياسية لإنشاء متسلسلة تايلور لدالة، بحكم أن متسلسلة تايلور هي متسلسلة قوى. في بعض الحالات، يمكن أيضًا اشتقاق متسلسلة تايلور من خلال تطبيق مكاملة بالتجزئة بشكل متكرر. من الملائم بشكل خاص استخدام أنظمة الجبر الحاسوبية لحساب متسلسلة تايلور.

المثال الأول

المطلوب حساب كثير الحدود لماكلورين من الدرجة السابعة للدالة التالية:

$f(x)=\ln (\cos x),x\in (-\frac{\pi }{2},\frac{\pi }{2})$ ،

يمكن أولاً إعادة كتابة الدالة على الشكل التالي:

$f(x)=\ln (1+(\cos x-1))$

متسلسلة تايلور للوغاريتم الطبيعي هي (باستخدام تدوين O الكبير):

$\ln (1+x)=x-\frac{x^2}{2}+\frac{x^3}{3}+O\left(x^4\right)$

بالنسبة لدالة جيب التمام:

$\cos x-1=-\frac{x^2}{2}+\frac{x^4}{24}-\frac{x^6}{720}+O\left(x^8\right)$

للمتسلسلة الأخيرة حد ثابت مساوٍ للصفر، أي يمكن تعويض المتسلسلة الثانية في الأولى وإزالة الحدود ذات الدرجة الأعلى من الدرجة السابعة بسهولة باستخدام تدوين O الكبير:

$\begin{array}{cc}f(x)& =\ln (1+(\cos x-1))\\ & =(\cos x-1)-\frac{1}{2}(\cos x-1{)}^2+\frac{1}{3}(\cos x-1{)}^3+O((\cos x-1{)}^4)\\ & =(-\frac{x^2}{2}+\frac{x^4}{24}-\frac{x^6}{720}+O\left(x^8\right))-\frac{1}{2}{(-\frac{x^2}{2}+\frac{x^4}{24}+O\left(x^6\right))}^2+\frac{1}{3}{(-\frac{x^2}{2}+O\left(x^4\right))}^3+O\left(x^8\right)\\ & =-\frac{x^2}{2}+\frac{x^4}{24}-\frac{x^6}{720}-\frac{x^4}{8}+\frac{x^6}{48}-\frac{x^6}{24}+O\left(x^8\right)\\ & =-\frac{x^2}{2}-\frac{x^4}{12}-\frac{x^6}{45}+O\left(x^8\right).\end{array}$

لأن جيب التمام دالة زوجية، يلزم أن تكون معاملات القوى الفردية كلها، أي قالب:تعبير رياضي، قالب:تعبير رياضي، قالب:تعبير رياضي، قالب:تعبير رياضي، ... مساوية للصفر.

المثال الثاني

المطلوب إيجاد متسلسلة تايلور عند النقطة 0 للدالة:

$g(x)=\frac{e^x}{\cos x}$

بالنسبة للدالة الأسية:

$e^x=\sum _{n=0}^{\mathrm{\infty }}\frac{x^n}{n!}=1+x+\frac{x^2}{2!}+\frac{x^3}{3!}+\frac{x^4}{4!}+\cdots$

وكما في المثال الأول:

$\cos x=1-\frac{x^2}{2!}+\frac{x^4}{4!}-\cdots$

متسلسلة القوى، افتراضاً، هي:

$\frac{e^x}{\cos x}=c_0+c_{1}x+c_2{x}^2+c_3{x}^3+\cdots$

يكون الناتج عندئذ، بعد ضرب المقام وبتعويض سلسلة جيب التمام:

$\begin{array}{cc}{e}^x& =(c_0+c_{1}x+c_2{x}^2+c_3{x}^3+\cdots )\cos x\\ & =(c_0+c_{1}x+c_2{x}^2+c_3{x}^3+c_4{x}^4+\cdots )(1-\frac{x^2}{2!}+\frac{x^4}{4!}-\cdots )\\ & =c_0-\frac{c_0}{2}{x}^2+\frac{c_0}{4!}{x}^4+c_{1}x-\frac{c_1}{2}{x}^3+\frac{c_1}{4!}{x}^5+c_2{x}^2-\frac{c_2}{2}{x}^4+\frac{c_2}{4!}{x}^6+c_3{x}^3-\frac{c_3}{2}{x}^5+\frac{c_3}{4!}{x}^7+c_4{x}^4+\cdots \end{array}$

بجمع الحدود حتى الحد ذي الدرجة الرابعة:

$e^x=c_0+c_{1}x+(c_2-\frac{c_0}{2})x^2+(c_3-\frac{c_1}{2})x^3+(c_4-\frac{c_2}{2}+\frac{c_0}{4!})x^4+\cdots$

يمكن إيجاد قيم $c_i$ من خلال مطابقة المعاملات مع متسلسلة $e^x$، وينتج عنها:

$\frac{e^x}{\cos x}=1+x+x^2+\frac{2x^3}{3}+\frac{x^4}{2}+\cdots$

المثال الثالث

ستُستخدم طريقة تسمى "النشر غير المباشر"، أو "الفك غير المباشر"، لنشر الدالة المعطاة. تُستخدم هذه الطريقة نشر تايلور المعروفة للدالة الأسية. من أجل نشر قالب:تعبير رياضي على سبيل المثال على شكل متسلسلة تايلور بدلالة قالب:Mvar، نستخدم متسلسلة تايلور المعروفة لدالة قالب:تعبير رياضي على سبيل المثال:

$e^x=\sum _{n=0}^{\mathrm{\infty }}\frac{x^n}{n!}=1+x+\frac{x^2}{2!}+\frac{x^3}{3!}+\frac{x^4}{4!}+\cdots$

وبالتالي،

$\begin{array}{cc}(1+x)e^x& =e^x+x{e}^x=\sum _{n=0}^{\mathrm{\infty }}\frac{x^n}{n!}+\sum _{n=0}^{\mathrm{\infty }}\frac{x^{n+1}}{n!}=1+\sum _{n=1}^{\mathrm{\infty }}\frac{x^n}{n!}+\sum _{n=0}^{\mathrm{\infty }}\frac{x^{n+1}}{n!}\\ & =1+\sum _{n=1}^{\mathrm{\infty }}\frac{x^n}{n!}+\sum _{n=1}^{\mathrm{\infty }}\frac{x^n}{(n-1)!}=1+\sum _{n=1}^{\mathrm{\infty }}(\frac{1}{n!}+\frac{1}{(n-1)!})x^n\\ & =1+\sum _{n=1}^{\mathrm{\infty }}\frac{n+1}{n!}{x}^n\\ & =\sum _{n=0}^{\mathrm{\infty }}\frac{n+1}{n!}{x}^n.\end{array}$

متسلسلات تايلور تعريفاتٍ

تُعَرَّف الدوال الجبرية بمعادلة جبرية، وتُعَرَّف الدوال المتسامية (بما في ذلك تلك التي تمت مناقشتها أعلاه) ببعض الخصائص التي تحملها، مثل المعادلة التفاضلية. على سبيل المثال، الدالة الأسية هي الدالة التي يساوي مشتقها نفسه دائمًا، وتفرض قيمة 1 عند الأصل. يمكن مع ذلك تعريف دالة تحليلية تعريفاً وافياً باستعمال بمتسلسلة تايلور الخاصة بها.

تُستخدم متسلسلة تايلور لتعريف الدوال و"المؤثرات" في ميادين متنوعة من الرياضيات. على وجه الخصوص، هذا صحيح في الميادين التي تتعطل فيها التعريفات التقليدية للدوال. على سبيل المثال، باستخدام متسلسلة تايلور، يمكن أن يمدد الدوال التحليلية إلى مجموعات من المصفوفات والمؤثرات، مثل قالب:وإو أو قالب:وإو.

يكون من الأنسب العمل مباشرةً مع متسلسلة القوى نفسها في الميادين أخرى، مثل التحليل الشكلي. وهكذا يمكن تعريف حل معادلة تفاضلية على أنه متسلسلة قوى، والتي نأمل أن نثبت أنها متسلسلة تايلور للحل المطلوب.

متسلسلة تايلور لدالة متعددة المتغيرات

يمكن أيضًا تعميم متسلسلة تايلور على دالة ذات أكثر من متغير باستخدام:

$\begin{array}{cc}T(x_1,\dots ,x_d)& =\sum _{n_1=0}^{\mathrm{\infty }}\cdots \sum _{n_d=0}^{\mathrm{\infty }}\frac{(x_1-a_1{)}^{n_1}\cdots (x_d-a_d{)}^{n_d}}{n_1!\cdots n_d!}\left(\frac{{\partial }^{n_1+\cdots +n_d}f}{\partial x_1^{n_1}\cdots \partial x_d^{n_d}}\right)(a_1,\dots ,a_d)\\ & =f(a_1,\dots ,a_d)+\sum _{j=1}^d\frac{\partial f(a_1,\dots ,a_d)}{\partial x_j}(x_j-a_j)+\frac{1}{2!}\sum _{j=1}^d\sum _{k=1}^d\frac{{\partial }^{2}f(a_1,\dots ,a_d)}{\partial x_j\partial x_k}(x_j-a_j)(x_k-a_k)\\ & +\frac{1}{3!}\sum _{j=1}^d\sum _{k=1}^d\sum _{l=1}^d\frac{{\partial }^{3}f(a_1,\dots ,a_d)}{\partial x_j\partial x_k\partial x_l}(x_j-a_j)(x_k-a_k)(x_l-a_l)+\cdots \end{array}$

على سبيل المثال، بالنسبة للدالة $f(x,y)$ التي تعتمد على متغيرين قالب:Mvar و قالب:Mvar، متسلسلة تايلور إلى غاية الدرجة الثانية حول النقطة قالب:تعبير رياضي هي:

$f(a,b)+(x-a)f_x(a,b)+(y-b)f_y(a,b)+\frac{1}{2!}((x-a{)}^2{f}_{xx}(a,b)+2(x-a)(y-b)f_{xy}(a,b)+(y-b{)}^2{f}_{yy}(a,b))$

حيث تشير الأدلة السفلية إلى المشتقات الجزئية للدالة.

متسلسلة تايلور من الدرجة الثانية لدالة متعددة المتغيرات

يمكن كتابة متسلسلة تايلور من الدرجة الثانية لدالة ذات قيمة سُلَّمية لأكثر من متغير بإحكام:

$T(𝐱)=f(𝐚)+(𝐱-𝐚{)}^{𝖳}Df(𝐚)+\frac{1}{2!}(𝐱-𝐚{)}^{𝖳}\{D^{2}f(𝐚)\}(𝐱-𝐚)+\cdots$

حيث قالب:تعبير رياضي هو تدرج قالب:Mvar مُقيّمة عند قالب:تعبير رياضي و قالب:تعبير رياضي هي مصفوفة هيسية. بتطبيق التدوين المتعدد الأدلة، تصبح متسلسلة تايلور لمتعدد المتغيرات:

$T(𝐱)=\sum _{|\alpha |\ge 0}\frac{(𝐱-𝐚{)}^{\alpha }}{\alpha !}\left({\mathrm{\partial }}^{\alpha }f\right)(𝐚),$

والتي يجب أن تُفهم على أنها نسخة متعددة الأدلة أكثر اختصارًا للمعادلة الأولى لهذه الفقرة، مع تشابه تام مع متسلسلة الدالة وحيدة المتغير.

المثال

من أجل حساب متسلسلة تايلور من الدرجة الثانية حول النقطة قالب:تعبير رياضي للدالة:

تقريب الدالة قالب:تعبير رياضي بمتسلسلة تايلور من الدرجة الثانية (بالبرتقالي) حول الأصل.

$f(x,y)=e^x\ln (1+y)$

نحسب أولاً جميع المشتقات الجزئية الضرورية:

$\begin{array}{cc}{f}_x& =e^x\ln (1+y)\\ f_y& =\frac{e^x}{1+y}\\ f_{xx}& =e^x\ln (1+y)\\ f_{yy}& =-\frac{e^x}{(1+y{)}^2}\\ f_{xy}& =f_{yx}=\frac{e^x}{1+y}\end{array}$

يعطي تقييم هذه المشتقات عند الأصل معاملات تايلور التالية:

$\begin{array}{cc}{f}_x(0,0)& =0\\ f_y(0,0)& =1\\ f_{xx}(0,0)& =0\\ f_{yy}(0,0)& =-1\\ f_{xy}(0,0)& =f_{yx}(0,0)=1\end{array}$

تعويض هذه القيم بالصيغة العامة:

$\begin{array}{cc}T(x,y)=& f(a,b)+(x-a)f_x(a,b)+(y-b)f_y(a,b)\\ & +\frac{1}{2!}((x-a{)}^2{f}_{xx}(a,b)+2(x-a)(y-b)f_{xy}(a,b)+(y-b{)}^2{f}_{yy}(a,b))+\cdots \end{array}$

تنتج:

$\begin{array}{cc}T(x,y)& =0+0(x-0)+1(y-0)+\frac{1}{2}(0(x-0{)}^2+2(x-0)(y-0)+(-1)(y-0{)}^2)+\cdots \\ & =y+xy-\frac{1}{2}{y}^2+\cdots \end{array}$

بما أن قالب:تعبير رياضي تحليلية عند قالب:تعبير رياضي، لدينا:

$e^x\ln (1+y)=y+xy-\frac{1}{2}{y}^2+\cdots ,|y|<1$

المقارنة بمتسلسلة فورييه

قالب:مفصلة تُمكِّن متسلسلة فورييه المثلثية من التعبير عن دالة دورية (أو دالة معرفة على فترة مغلقة قالب:تعبير رياضي) على شكل مجموع لانهائي من الدوال المثلثية (الجيب وجيب التمام). وبهذا المعنى، فإن متسلسلة فورييه مماثلة لمتسلسلة تايلور، لأن الأخيرة تسمح بتعبير عن دالة مجموعًا لانهائيًّأ من الأسس. ومع ذلك، تختلف المتسلسلتان عن بعضهما البعض في العديد من القضايا ذات الصلة:

• التدويرات المحدودة لمتسلسلة تايلور للدالة قالب:تعبير رياضي حول النقطة قالب:تعبير رياضي كلها تساوي تمامًا قالب:تعبير رياضي عند قالب:تعبير رياضي. على النقيض من ذلك، تُحسب متسلسلة فورييه بمكاملة على فترة كاملة، لذلك لا توجد عمومًا أية نقطة حيث تكون جميع التدويرات المحدودة للمتسلسلة دقيقة.
• يتطلب حساب متسلسلة تايلور معرفة الدالة في جوار صغير اختياري من نقطة، في حين أن حساب متسلسلة فورييه يتطلب معرفة الدالة في كامل مجالها. بمعنى ما يمكن القول أن متسلسلة تايلور "محلية" ومتسلسلة فورييه "عامة".
• تُعَرَّف متسلسلة تايلور لدالة لها العديد من المشتقات اللانهائية عند نقطة واحدة، بينما تُعَرَّف متسلسلة فورييه لأي دالة قابلة للتكامل. على وجه الخصوص، لا يمكن أن تكون الدالة دائمًا قابلة للاشتقاق في أي مكان. (على سبيل المثال، يمكن أن تكون قالب:تعبير رياضي دالة فايرشتراس.)
• تقارب كلتا المتسلسلتين له خصائص مختلفة جدًا. حتى إذا كانت متسلسلة تايلور لها نصف قطر تقارب موجب، فقد لا تتوافق المتسلسلة الناتجة مع الدالة؛ ولكن إذا كانت الدالة تحليلية، فإن المتسلسلة تتقارب نقطة بنقطة نحو الدالة، وبشكل منتظم في كل مجموعة جزئية متراصة من فترة التقارب. فيما يتعلق بسلسلة فورييه، إذا كانت الدالة قابلة للتكامل تربيعيا، فإن المتسلسلة تتقارب في متوسط تربيعي، ولكن هناك حاجة إلى متطلبات إضافية لضمان التقارب النقطي أو المنتظم (على سبيل المثال، إذا كانت الدالة دورية ومن الصنف C¹، فإن التقارب يكون منتظمًا).
• أخيرًا، من الناحية العملية، يريد الشخص تقريب الدالة بعدد محدود من الحدود، على سبيل المثال بكثير الحدود لتايلور أو مجموع جزئي للمتسلسلة المثلثية، على الترتيب. في حالة متسلسلة تايلور، يكون الخطأ صغيرًا جدًا في جوار النقطة التي يُحسب فيها، في حين أنه قد يكون كبيرًا جدًا في نقطة بعيدة. في حالة متسلسلة فورييه، يتوزع الخطأ على طول مجال الدالة.

ملحق: مسرد المصطلحات الإنجليزية

قالب:خط/أميري الإنجليزي
A
جمع	Addition
معادلة جبرية	Algebraic equation
دالة تحليلية	Analytic function
تقريب	Approximation
قوس القاطع	Arcsecant
مدخل	Argument
قوس الظل	Arctangent
B
عدد برنولي	Bernoulli number
دالة بيسل	Bessel function
تدوين O الكبير	Big O notation
معامل ثنائي الحد	Binomial coefficient
متسلسلة ثنائي الحد	Binomial series
توطئة بوريل	Borel's lemma
C
حساب التفاضل والتكامل	Calculus
شكل تشيبيشيف	Chebyshev form
صنف	Class
خوارزمية كلنشو	Clenshaw algorithm
معامل	Coefficient
مجموعة متراصة	Compact set
تكامل إهليلجي تام من النوع الأول/الثاني	Complete elliptic integral of the first/second kind
تحليل مركب	Complex analysis
دالة مركبة	Complex function
عدد مركب	Complex number
مستوي مركب	Complex plane
دالة ذات قيم مركبة	Complex-valued function
نظام الجبر الحاسوبي	Computer algebra system
دالة مستمرة	Continuous function
متسلسلة متقاربة	Convergent series
D
درجة	Degree
مقام	Denominator
مشتق	Derivative
فرق	Difference
دالة قابل للاشتقاق/التفاضل	Differentiable function
تفاضل	Differential
معادلة تفاضلية	Differential equation
قرص	Disk
متسلسلة متباعدة	Divergent series
قسمة	Division
مجال دالة	Domain of a function
E
دالة صحيحة	Entire function
خطأ	Error
صيغة أويلر	Euler's formula
زوجي	Even (function or number)
نشر/فك	Expansion
دالة أسية	Exponential function
F
عاملي عدد	Factorial of a number
فرق محدود	Finite difference
التحليل الشكلي	Formal analysis
متسلسلة فورييه	Fourier series
فضاء فريشيه	Fréchet space
G
متسلسلة هندسية	Geometric series
تدرج	Gradient
تمثيل بياني لدالة	Graph of a function
دالة غودرمانية	Gudermannian function
H
تحليل توافقي	Harmonic analysis
مصفوفة هيسية	Hessian Matrix
دالة تامة التشكل	Holomorphic function
دوال زائدية	Hyperbolic functions
ظل زائدي	Hyperbolic tangent
I
محور تخيلي	Imaginary axis
عدد صحيح	Integer number
تكامل	Integral
تكامل/مكاملة	Integration
تكامل بالتجزئة	Integration by parts
فترة	Interval
دالة عكسية	Inverse function
L
متسلسلة لوران	Laurent series
دالة خي للوجندر	Legendre chi function
نهاية دالة	Limit of a function
مستقيم	Line
M
متسلسلة ماكلورين	Maclaurin series
مصفوفة	Matrix
مجموعة هزيلة	Meagre (meager) set
طريقة استنفاد	Method of exhaustion
دالة جزئية التشكل	Meromorphic function
تدوين متعدد الأدلة	Multi-index notation
ضرب	Multiplication
N
لوغاريتم طبيعي	Natural logarithm
جوار	Neighbourhood
بسط	Numerator
O
فردي	Odd (function or number)
نقطة الأصل	Origin
عملية	Operation
مؤثر	Operator
P
مفارقة	Paradox
مجموع جزئي	Partial sum
تقارب نقطة بنقطة	Pointwise convergence
متعدد اللوغاريتمات	Polylogarithm
كثير الحدود	Polynomial
أس/قوة	Power
متسلسلة قوى	Power series
حاصل ضرب/جداء	Product
Q
تربيع (منحنيات)	Quadrature
R
نسبة	Ratio
نصف قطر التقارب	Radius of convergence
دالة كسرية	Rational function
عدد كسري/نسبي/ناطق/جذري	Rational number
عدد حقيقي	Real number
مقلوب	Reciprocal
باق	Remainder
جذر معادلة/جذر دالة	Root
مُدوَّر	Round/truncated
S
سُلَّمي	Scalar
قاطع زاوية	Secant of an angle
متتالية	Sequence
تدوين سيغما	Sigma notation
نقطة شاذة	Singularity
دالة ملساء	Smooth function
دالة مثلثية	Special functions
دالة قابل للتكامل تربيعيا	Square-integrable function
جذر تربيعي	Square root
الديناميكا الحرارية الإحصائية	Statistical thermodynamics
مجموعة جزئية	Subset
طرح	Subtraction
مجموع	Sum
T
مماس	Tangent
ظل زاوية	Tangent of an angle
مبرهنة تايلور	Taylor theorem
حد (لمعادلة)	Term
دالة متسامية	Transcendental function
دالة مثلثية	Trigonometric function
متسلسلة مثلثية	Trigonometric series
U
تقارب منتظم	Uniform convergence
V
متغير	Variable
W
دالة فايرشتراس	Weierstrass function
Z
مفارقة زينون	Zeno's paradox

انظر أيضًا

• متسلسلة (رياضيات)
• متتالية
• متسلسلة فورييه
• متسلسلة ماكلورن

الهوامش والملاحظات

المراجع

فهرس المراجع

بالعربية

بالإنكليزية

بالفرنسية

معلومات الكاملة المراجع

الدوريات (مرتبة حسب سنة النشر ثم اسم المؤلف)

بالإنكليزية

• قالب:استشهاد بويكي بيانات
• قالب:استشهاد بويكي بيانات
• قالب:استشهاد بويكي بيانات
• قالب:استشهاد بويكي بيانات

بالفرنسية

• قالب:استشهاد بويكي بيانات

الكتب (مرتبة حسب سنة النشر ثم اسم المؤلف)

بالعربية

• قالب:استشهاد بويكي بيانات
• قالب:استشهاد بويكي بيانات
• قالب:استشهاد بويكي بيانات
• قالب:استشهاد بويكي بيانات
• قالب:استشهاد بويكي بيانات
• قالب:استشهاد بويكي بيانات
• قالب:استشهاد بويكي بيانات

بالإنكليزية

• قالب:استشهاد بويكي بيانات
• قالب:استشهاد بويكي بيانات
• قالب:استشهاد بويكي بيانات
• قالب:استشهاد بويكي بيانات
• قالب:استشهاد بويكي بيانات
• قالب:استشهاد بويكي بيانات
• قالب:استشهاد بويكي بيانات
• قالب:استشهاد بويكي بيانات
• قالب:استشهاد بويكي بيانات
• قالب:استشهاد بويكي بيانات
• قالب:استشهاد بويكي بيانات
• قالب:استشهاد بويكي بيانات
• قالب:استشهاد بويكي بيانات
• قالب:استشهاد بويكي بيانات
• قالب:استشهاد بويكي بيانات
• قالب:استشهاد بويكي بيانات
• قالب:استشهاد بويكي بيانات
• قالب:استشهاد بويكي بيانات
• قالب:استشهاد بويكي بيانات
• قالب:استشهاد بويكي بيانات
• قالب:استشهاد بويكي بيانات
• قالب:استشهاد بويكي بيانات
• قالب:استشهاد بويكي بيانات

اللاتينية

• قالب:استشهاد بويكي بيانات

التقارير

بالإنكليزية

• قالب:استشهاد بويكي بيانات

الوصلات الخارجية

• مفكوك سلسلة تايلور من جامعة إيوا