صيغة أويلر-ماكلورين
في الرياضيات, تعطي صيغة أويلر-ماكلورين ارتباطا وثيقا بين التكامل (انظر التفاضل والتكامل) والمجموع.
يمكن استخدام الصيغة لتقريب التكاملات بعدد محدود من المجاميع, أو تقييم مجاميع محدودة وسلاسل غير منتهية باستعمال التكاملات والية التفاضل على نحو مضاد.
على سبيل المثال, العديد من المنشورات المقاربة يتم اشتقاقها من هذه الصيغة وصيغة فاولابر لمجموع القوى هو نتيجة مباشرة لذلك.
اكتشفت الصيغة من قبل ليونارد أويلر وكولين ماكلورين كل على حده في حوالى 1735 (وعممت فيما بعد تحت صيغة داربوكس). احتاج إليها أويلر ليحسب متسلسلة لانهائية بطيئة التقارب بينما استخدمها ماكلورين لحساب التكاملات.
إذا كان "n" عددا طبيعيا, وكانت formula_1 دالة أكثر سلاسة(بمعنى أنها قابلة للاشتقاق بما يكفي) معرفة لجميع الأعداد الحقيقية "x" بين 0 و"n", فإن التكامل
يمكن تقريبه بالمجموع (والعكس صحيح)
تعطي صيغة أويلر-ماكلورين تعابير للفرق بين المجموع والتكامل بدلالة المشتقات العليا formula_4 عند اطراف النقاط على الفترة 0 و"n". وبوضوح, لأي عدد طبيعي "p", يكون لدينا (انظر قاعدة شبه المنحرف).
حيث "B" = −1/2، "B" = 1/6، "B" = 0، "B" = −1/30, "B" = 0، "B" = 1/42، "B" = 0، "B" = −1/30... هي أعداد بيرنولي, و"R" هو حد الخطأ وعادة مايكون صغيرا عند قيم مناسبة لـ"p". (غالبا يتم كتابة الصيغة بالقيم الزوجية, بما أن أعداد بيرنولي الفردية أصفار عدا "B".)
لاحظ أن
وعليه يمكن أيضا كتابة الصيغة كما يلي:
باستخدام قاعدة التعويض, يمكن مواءمة هذه الصيغة أيضا للدوال "ƒ" والمعرفة على فترة ما أخرى من الخط الحقيقي.
الحد المتبقي "R" يعبر عنه غالبا باستخدام كثيرات حدود بيرنولي الدورية ("P"("x". تعرف كثيرة حدود بيرنولي "B"("x")، "n" = 0, 1, 2, ... بشكل تعاودي على أنها
حينئذ فإن دوال بيرنولي الدورية "P" تعرف بالشكل
حيث ترمزformula_11 إلى العدد الصحيح الأكبر والذي لا يكون أكبر من "x". وعليه, بدلالة "P"("x"), فإن الحد المتبقي "R" يمكن كتابته بالصورة
بما أن formula_13 عادة أقل من formula_14, فيمكن توقع حجم الحد المتبقي باستخدام
كانت مسألة بازل تتسأل عن إيجاد المجموع
قام اويلر بحساب هذا المجموع بدقة عشرين خانة عشرية باستعمال حدود معدودة من صيغة أويلر ماكلورين سنة 1735. وربما أقنعه هذا بأن المجوموع مكافئا ل π / 6, والتي أثبتها في نفس العام.
إذا كانت "f" دالة كثيرة حدود و"p" كبيرة بشكل كاف, فإن الحد المتبقي يتلاشى. على سبيل المثال، إذا كانت "f"("x") = "x", فيمكننا اختيار "p" = 2 لتوضيح الاتي بعد التبسيط
(انظر صيغة فاولابر).
تستخدم صيغة أويلر ماكلورين أيضا في تفصيل تحليل الخطأ في التربيع العددي، وخاصة طرق التقدير الاستقرائي المعتمدة عليها. يعتبر تربيع كلينشو-كيرتيس في الأساس تحويلا في المتغيرات لتمثيل تكامل اعتباطي بدلالة تكاملات دوال دورية تكون فيها صيغة أويلر ماكلورين دقيقة جدا (وفي تلك الحالة تأخذ صيغة أويلر ماكلورين شكل تحويل جيب تمام متقطع)
في سياق حساب المتسلسلات المقاربة للمجاميع والمتسلسلات, فإن الشكل التالي يكون عالبا أفضل صيغة في أويلر ماكلورين
حيث"a" و"b" أعداد صحيحة. وفي الغالب يبقى النشر مشروعا حتى بعد أحذ النهايات formula_19 أو formula_20, أو كلاهما. في حالات عديدة يمكن تقدير التكامل في الجانب الأيمن في شكل مغلق بدلالة الدوال الأساسية حتى ولو أن الجمع على الجانب الأيسر غير قادر على ذلك. حينئذ يمكن التعبير عن جميع الحدود في السلسلة المقاربة بدلالة دوال أساسية.
هنا الجانب الأيسر يساوي formula_22, بالاسم دالة متعدد غاما من الرتبة الأولى المعرفة من خلال formula_23; دالة غاما formula_24 تساوي formula_25 إذا كان formula_26 عدد صحيح. ينتج عن هذا نشر مقارب لـ formula_22. وهذا النشر بدوره, يخدمنا كنقطة بداية لواحدة من اشتقاقات دقيقة لتوقع الخطأ في تقريب ستيرلينغ لدالة المضروب.
باتباع النقاش المعطى في (Apostol) .
يمكن تعريف كثيرات حدود بيرنولي "B"("x"), "n" = 0, 1, 2, ... بشكل معاود كما يلي:
البعض الأولى من هذه هي
القيم "B"(1) هي أعداد بيرنولي. لاحظ أن
لأجل "n" ≥ 2 يكون لدينا
نعرف دوال بيرنولي الدورية "P" بالصورة
حيث formula_34 ترمز لأكبر عدد صحيح ليس أكبر من "x". وعليه فإن "P" تتفق مع كثيرات حدود بيرنولي على الفترة (0, 1) كما أنها دورية إذا كان الدور = 1. إذن,
لأجل"n" = 1,
والان, باعتبار التكامل
حيث
التكامل بالتجزيء, نحصل على
وبجمع الصورة السابقة "k" = 0 to "k" = "n" − 1, نحصل على
بإضافة ("ƒ"(0) + "ƒ"("n"))/2 إلى كلا الطرفين واعادة الترتيب نحصل على
يعطي الحدين الأخيرين بالتالي الخطأ عند تقريب التكامل بالمجموع.
فيما يلي لنعتبر
حيث
وبالتكامل بالتجزيء مرة أخرى, نحصل على
الجمع من "k" = 0 إلى "k" = "n" − 1, ومن ثم بتعويض التكامل الأخير في (1) بالذي أثبتنا للتو أنه مساو له, نجد أنe
والآن, لابد أن القارئ قد حزر بأن هذه العملية تكرارية. استطعنا الحصول على إثبات لصيغة مجموع أويلر-ماكلورين بالاستقراء الرياضي, حيث اعتمدت خطوة الاستقراء على التكامل بالتجزيء ومطابقات دوال بيرنولي الدورية.
يمكن فهم صيغة أويلر ماكلورين بأنها تطبيق مثير للفضول عن بعض أفكار فضاء هيلبرت والتحليل الدالي.
في البداية يتم حصر المسألة في مجال فترة الوحدة [0,1]. لتكن formula_46 هي كثيرات حدود بيرنولي. تعطى زمرة دول ثنائية لكثيرات حدود بيرنولي بالعلاقة:
حيث δ هي دالة دايراك دلتا. العلاقة السابقة هي رمز لفكرة أخذ المشتقات عند نقطة; بالتالي يكون لدينا
من أجل "n" > 0 ودالة اعتباطية ولكنها تفاضلية "ƒ"("x") على دالة الوحدة. في الحالة "n" = 0, يمكن تعريف formula_49. كثيرات حدود بيرنولي, على امتداد ثنائياتها, من مجموعة حالات متعامدة على فترة الوحدة: لدينا
و
حينئذ تتبع صيغة مجموع أويلر ماكلورين كتكامل على الآخر. لدينا
وبوضع "x" = 0 وترتيب الحدود, يمكن الحصول على تعبير لـ "ƒ"(0). لاحظ أن أعداد بيرنولي تعرف بأنها "B" = "B"(0), وأنها تتلاشى للقيم الفردية "n" أكبر من 1.
وبالتالي, باستخدام دالة بيرولي الدورية "P" المعرفة أعلاه وبإعادة النقاش حول الفترة [1,2], يمكننا الحصول على تعبير "ƒ"(1). وعلى هذا المنوال يمكن الحصول على تعبير لـ "ƒ"("n"), "n" = 0, 1, 2, ..., "N", وبإضافتها فوق بعض نحصل على صيغة أويلر ماكلورين. لاحظ أن هذا الاشتقاق لايفترض أن "ƒ"("x") قابلة للتفاضل بشكل كاف وذات سلوك صحيح ; خاصة أن "ƒ" يمكن تقريبها بكثيرات حدود; وبشكل مكافئ بأن "ƒ" دالة تحليلية حقيقية.
يمكن إذن النظر إلى صيغة مجموع أويلر-ماكلورين على أنها حصيلة تمثيل دوال على فترة الوحدة بالضرب المباشر لكثيرات حدود بيرنولي وثنائياتها. ومع ذلك لاحظ أن التمثيل ليس مكتملا على مجموعة دوال مربعة قابلة للتكامل. النشر بدلالة كثيرات حدود بيرنولي ليس له نواة عادية. بشكل خاص، sin(2π"nx") تقع على النواة; تكامل sin(2π"nx") يتلاشى على فترة الوحدة, كما هو الفرق بين مشتقاته على النقاط الطرفية.