صيغة أويلر-ماكلورين

في الرياضيات, تعطي صيغة أويلر-ماكلورين  ارتباطا وثيقا بين التكامل والمجموع.

انظر التفاضل والتكامل.

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

اكتشف الصيغةَ كل من ليونارد أويلر وكولين ماكلورين كل على حده في حوالى 1735 (وعممت فيما بعد تحت صيغة داربوكس). احتاج إليها أويلر ليحسب متسلسلة لانهائية بطيئة التقارب بينما استخدمها ماكلورين لحساب التكاملات.

 الصيغة 
إذا كان n عددا طبيعيا, وكانت  دالة أكثر سلاسة(بمعنى أنها قابلة للاشتقاق بما يكفي) معرفة لجميع الأعداد الحقيقية x بين 0 وn, فإن التكامل

يمكن تقريبه بالمجموع (والعكس صحيح)

انظر إلى طريقة المستطيل.

تعطي صيغة أويلر-ماكلورين تعابير للفرق بين المجموع والتكامل بدلالة المشتقات العليا  عند اطراف النقاط على الفترة 0 وn. وبوضوح، لأي عدد طبيعي p, يكون لدينا (انظر قاعدة شبه المنحرف).

حيث B1 = −1/2، B2 = 1/6، B3 = 0، B4 = −1/30, B5 = 0، B6 = 1/42، B7 = 0، B8 = −1/30,... هي أعداد بيرنولي, وR هو حد الخطأ وعادة مايكون صغيرا عند قيم مناسبة لـp. (غالبا يتم كتابة الصيغة بالقيم الزوجية، بما أن أعداد بيرنولي الفردية أصفار عدا B1.)

لاحظ أن



وعليه يمكن أيضا كتابة الصيغة كما يلي:

باستخدام قاعدة التعويض، يمكن مواءمة هذه الصيغة أيضا للدوال ƒ والمعرفة على فترة ما أخرى من الخط الحقيقي.

 الحد المتبقي 
انظر إلى متعددة الحدود لبرنولي.

الحد المتبقي R يعبر عنه غالبا باستخدام كثيرات حدود بيرنولي الدورية (Pn(x. تعرف كثيرة حدود بيرنولي Bn(x)، n = 0, 1, 2, ... بشكل تعاودي على أنها

حينئذ فإن دوال بيرنولي الدورية Pn تعرف بالشكل

حيث ترمز إلى العدد الصحيح الأكبر والذي لا يكون أكبر من x. وعليه، بدلالة Pn(x), فإن الحد المتبقي R يمكن كتابته بالصورة

بما أن  عادة أقل من , فيمكن توقع حجم الحد المتبقي باستخدام

 تطبيقات 
 مسألة بازل 

كانت مسألة بازل تتسأل عن إيجاد المجموع

قام اويلر بحساب هذا المجموع بدقة عشرين خانة عشرية باستعمال حدود معدودة من صيغة أويلر ماكلورين سنة 1735. وربما أقنعه هذا بأن المجوموع مكافئا ل π2 / 6, والتي أثبتها في نفس العام.David J. Pengelley, "Dances between continuous and discrete: Euler's summation formula", in: Robert Bradley and Ed Sandifer (Eds), Proceedings, Euler 2K+2 Conference (Rumford, Maine, 2002)، Euler Society, 2003. 

 مجاميع ذات كثيرة حدود 
إذا كانت f دالة كثيرة حدود وp كبيرة بشكل كاف، فإن الحد المتبقي يتلاشى. على سبيل المثال، إذا كانت f(x) = x3,, فيمكننا اختيار p = 2 لتوضيح الاتي بعد التبسيط

(انظر صيغة فاولابر).

 التكامل العددي 
تستخدم صيغة أويلر ماكلورين أيضا في تفصيل تحليل الخطأ في التربيع العددي، وخاصة طرق التقدير الاستقرائي المعتمدة عليها. يعتبر تربيع كلينشو-كيرتيس في الأساس تحويلا في المتغيرات لتمثيل تكامل اعتباطي بدلالة تكاملات دوال دورية تكون فيها صيغة أويلر ماكلورين دقيقة جدا (وفي تلك الحالة تأخذ صيغة أويلر ماكلورين شكل تحويل جيب تمام متقطع)

 نشر المحاميع المقارب 

في سياق حساب المتسلسلات المقاربة للمجاميع والمتسلسلات, فإن الشكل التالي يكون عالبا أفضل صيغة في أويلر ماكلورين

حيثa وb أعداد صحيحة., 23.1.30 وفي الغالب يبقى النشر مشروعا حتى بعد أحذ النهايات  أو , أو كلاهما. في حالات عديدة يمكن تقدير التكامل في الجانب الأيمن في شكل مغلق بدلالة الدوال الأساسية حتى ولو أن الجمع على الجانب الأيسر غير قادر على ذلك. حينئذ يمكن التعبير عن جميع الحدود في السلسلة المقاربة بدلالة دوال أساسية.

هنا الجانب الأيسر يساوي , بالاسم دالة متعدد غاما من الرتبة الأولى المعرفة من خلال ; دالة غاما  تساوي  إذا كان  عدد صحيح. ينتج عن هذا نشر مقارب لـ . وهذا النشر بدوره، يخدمنا كنقطة بداية لواحدة من اشتقاقات دقيقة لتوقع الخطأ في تقريب ستيرلينغ لدالة المضروب.

 البراهين 
 الاشتقاق بالاستقراء الرياضي 
باتباع النقاش المعطى في (Apostol).

يمكن تعريف كثيرات حدود بيرنولي Bn(x), n = 0, 1, 2, ... بشكل معاود كما يلي:

البعض الأولى من هذه هي

القيم Bn(1) هي أعداد بيرنولي. لاحظ أن
لأجل n ≥ 2 يكون لدينا

نعرف دوال بيرنولي الدورية Pn بالصورة

حيث  ترمز لأكبر عدد صحيح ليس أكبر من x. وعليه فإن Pn تتفق مع كثيرات حدود بيرنولي على الفترة (0, 1) كما أنها دورية إذا كان الدور = 1. إذن,

لأجلn = 1,

والان، باعتبار التكامل

حيث

التكامل بالتجزيء, نحصل على

وبجمع الصورة السابقة k = 0 to k = n − 1, نحصل على

بإضافة (ƒ(0) + ƒ(n))/2 إلى كلا الطرفين واعادة الترتيب نحصل على

يعطي الحدين الأخيرين بالتالي الخطأ عند تقريب التكامل بالمجموع.

فيما يلي لنعتبر

حيث

وبالتكامل بالتجزيء مرة أخرى، نحصل على

الجمع من k = 0 إلى k = n − 1, ومن ثم بتعويض التكامل الأخير في (1) بالذي أثبتنا للتو أنه مساو له، نجد أنe

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

 الاشتقاق بالتحليل الدالي 
يمكن فهم صيغة أويلر ماكلورين بأنها تطبيق مثير للفضول عن بعض أفكار فضاء هيلبرت والتحليل الدالي.

في البداية يتم حصر المسألة في مجال فترة الوحدة [0,1]. لتكن  هي كثيرات حدود بيرنولي. تعطى زمرة دول ثنائية لكثيرات حدود بيرنولي بالعلاقة:

حيث δ هي دالة دايراك دلتا. العلاقة السابقة هي رمز لفكرة أخذ المشتقات عند نقطة; بالتالي يكون لدينا

من أجل n > 0 ودالة اعتباطية ولكنها تفاضلية ƒ(x) على دالة الوحدة. في الحالة n = 0, يمكن تعريف . كثيرات حدود بيرنولي، على امتداد ثنائياتها، من مجموعة حالات متعامدة على فترة الوحدة: لدينا

و

حينئذ تتبع صيغة مجموع أويلر ماكلورين كتكامل على الآخر. لدينا

وبوضع x = 0 وترتيب الحدود، يمكن الحصول على تعبير لـ ƒ(0). لاحظ أن أعداد بيرنولي تعرف بأنها Bn = Bn(0), وأنها تتلاشى للقيم الفردية n أكبر من 1.

وبالتالي، باستخدام دالة بيرولي الدورية Pn المعرفة أعلاه وبإعادة النقاش حول الفترة [1,2], يمكننا الحصول على تعبير ƒ(1). وعلى هذا المنوال يمكن الحصول على تعبير لـ ƒ(n), n = 0, 1, 2, ..., N, وبإضافتها فوق بعض نحصل على صيغة أويلر ماكلورين. لاحظ أن هذا الاشتقاق لايفترض أن ƒ(x) قابلة للتفاضل بشكل كاف وذات سلوك صحيح ; خاصة أن ƒ يمكن تقريبها بكثيرات حدود; وبشكل مكافئ بأن ƒ دالة تحليلية حقيقية.

يمكن إذن النظر إلى صيغة مجموع أويلر-ماكلورين على أنها حصيلة تمثيل دوال على فترة الوحدة بالضرب المباشر لكثيرات حدود بيرنولي وثنائياتها. ومع ذلك لاحظ أن التمثيل ليس مكتملا على مجموعة دوال مربعة قابلة للتكامل. النشر بدلالة كثيرات حدود بيرنولي ليس له نواة عادية. بشكل خاص، sin(2πnx) تقع على النواة; تكامل sin(2πnx) يتلاشى على فترة الوحدة، كما هو الفرق بين مشتقاته على النقاط الطرفية.

 ملاحظات 

تصنيف:تحليل مقارب
تصنيف:تكامل عددي
تصنيف:فضاء هيلبرت
تصنيف:ليونهارت أويلر
تصنيف:مبرهنات في التحليل الرياضي
تصنيف:مقالات تحوي براهين
تصنيف:نظرية التقريب