في الرياضيات وبالتحديد في التحليل العددي، الاستيفاء أو الاستقراء الداخلي (بالإنجليزية: interpolation)‏ (يستخدم أحيانا مصطلح استكمال أو استكمال داخلي) هي أحد الطرق الرياضية لإنشاء نقاط بيانية جديدة اعتمادا على مجموعة متقطعة من النقاط البيانية المحددة سلفا (مستوفين كافة النقاط).[1]

في الهندسة التطبيقية والعلوم، غالبا ما تكون نتائج التجارب مجموعة من النقاط البيانية data points، تؤخذ بالاستعيان الإحصائي أو من خلال إجراء تجربة في شروط محددة، يلي تحديد هذه النقاط تشكيل الدالة الرياضية التي تناسب بأقرب شكل نقاط البيانات الموجودة لدينا. هذه العملية تدعى ملائمة المنحنى curve fitting. ويعتبر الاستيفاء (الاستقراء الداخلي) حالة خاصة من ملائمة المنحنى، يجب أن يمر فيه المنحنى تماما من النقاط البيانية (استيفاء كامل النقاط في عملية الملائمة).

نفترض حصولنا على قائمة بقيم دالة غير معروفة (f(x معتمدة على x، كالآتي:

وضع نقاط القائمة في رسم بياني . المحور الأفقي x والمحور الرأسي يعطي f(x.
x (f(x
0 0
1 0.8415
2 0.9093
3 0.1411
4 0.7568-
5 0.9589-
6 0.2794-

فعملية الاستيفاء هي وسيلة للحصول على قيم بين النقاط (التي تكون عادة معينة عمليا)، مثل قيمة الدالة عند النقطة x = 2.5.

معضلات

عدل

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

في هذه الحالة يمكننا أن نختار عدة نقاط بيانية من الدالة المعقدة، منشئين جدول مظهر lookup table، ونحاول أن نستوفي تلك النقاط لتشكيل دالة أبسط. بالطبع نتائج الدالة المبسطة لن تكون دقيقة كاستخدام الدالة المعقدة الأصلية، لكن النتيجة تعتبر تقريبا جيدا في حدود الإمكانات المتاحة، وذلك يعتمد على نطاق الاستخدام والمشكلة وطريقة الاستيفاء interpolation method المستخدمة لتحقيق التبسيط المنشود.

من الجدير بالذكر أن هناك نوعا آخر مختلف تماما من الاستيفاء في الرياضيات، وهو ما يدعى «استيفاء المؤثرات» interpolation of operators. النتائج الأساسية لاستيفاء المؤثرات يمكن حصرها في مبرهنة ريزس-ثورن Riesz-Thorin theorem ومبرهنة ماركينكيويكس Marcinkiewicz theorem. هناك أيضا العديد من النتائج الأخرى.

تعريف

عدل

بإعطاء متتالية من n عدد مختلف xk تدعى العقد. ومن أجل كل عدد xk يوجد عدد آخر yk، فتكون المهمة هي إيجاد الدالة الرياضية f حيث يتحقق:

 

يدعى زوج القيم xk,yk نقطة بيانية data point (حيث يعتبران إحداثيي نقطة تُمَثَّل في جملة إحداثية) وتدعى الدالة f المستوفي interpolant لكل النقاط البيانية.

عندما تعطى القيم yk بواسطة دالة معروفة، نكتب أحيانا fk.

أمثلة

عدل
 
مخطط للنقاط البيانية كما بعطيها الجدول.

يعطي الجدول التالي بعض القيم لدالة غير معروفة f.

x (f(x
0 0
1 0 . 8415
2 0 . 9093
3 0 . 1411
4 −0 . 7568
5 −0 . 9589
6 −0 . 2794

ما هي القيمة التي تعطيها الدالة عندما يكون، لنقل، x = 2.5.. ؟ الاستيفاء يجيب عن مثل هذه الأسئلة..

هناك عدة أنواع من طرق الاستيفاء. ما يهم عند اعتماد طريقة ما هو: مدى دقة الطريقة؟ كلفة الطريقة (زمنيا وحسابيا) ؟ مدى ملاسة الدالة المستوفية؟ ما هو عدد النقاط البيانية التي نحتاجها في هذه الطريقة؟.

الاستيفاء بالدالة الثابتة مجالا مجالا

عدل
 
Piecewise constant interpolation, or استيفاء أقرب جار.

استيفاء خطي

عدل
 
رسم بياني مبين لاستيفاء خطي
 

في النقطة  .

استيفاء حدودي

عدل
 
رسم بياني مبين لاستيفاء حدودي (باستعمال متعددة للحدود من الدرجة السادسة)

الاستيفاء الحدودي هي تعميم للاستيفاء الخطي. متعددة الحدود التالية من الدرجة السادسة، تمر من النقط السبع جميعها.

 

استيفاء سبلين

عدل
 
رسم للبيانات باستعمال استيفاء سبلين
 

في أشكال أخرى

عدل

انظر إلى متعددة حدود مثلثية وإلى تقريب بادي وإلى استيفاء بمتعددات حدود مثلثية وإلى مويجة.

إذا عُملت قيمة دالةٍ ما في عدد معين من النقط، وفي نفس الوقت، علمت قيمة مشتقتها في هذه النقط، فإن ذلك يؤدي إلى نوع معين من المعضلات يدخلن في إطار استيفاء هيرميت.

معرض صور

عدل

انظر أيضا

عدل

مراجع

عدل