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

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

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

فعملية الاستيفاء هي وسيلة للحصول على قيم بين النقاط (التي تكون عادة معينة عمليا)، مثل قيمة الدالة عند النقطة 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 = 2.5.. ؟ الاستيفاء يجيب عن مثل هذه الأسئلة..

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

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

استيفاء خطي

في النقطة .

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

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

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

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

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

معرض صور

انظر أيضا
 استكمال خارجي
 تنبؤ
 تحليل الانحدار

مراجع

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