استيفاء

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

في الهندسة التطبيقية والعلوم، غالبا ما تكون نتائج التجارب مجموعة من النقاط البيانية 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 عدد مختلف x_k تدعى العقد. ومن أجل جميع عدد x_k يوجد عدد آخر y_k، فتكون المهمة هي إيجاد الدالة الرياضية f حيث يتحقق :

${\displaystyle f(x_{k )=y_{k {\mbox{, k=1,\ldots ,n$

يدعى زوج القيم x_k,y_k نقطة بيانية data point (حيث يعتبران إحداثيي نقطة يتم تمثيلها في جملة إحداثية) وتدعى الدالة f المستوفي interpolant لكل النقاط البيانية.

عندما تعطى القيم y_k بواسطة دالة معروفة، نخط أحيانا f_k.

أمثلة

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

يعطي الجدول التالي بعض القيم لدالة غير معروفة 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.. ،يا ترى؟ الاستيفاء يجيب عن مثل هذه الأسئلة..

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

استيفاء خطي

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

{\displaystyle y=y_{a +\left(y_{b -y_{a \right){\frac {x-x_{a {x_{b -x_{a

في النقطة ${\displaystyle \left(x,y\right)$ .

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

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

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

{\displaystyle f(x)=-0.0001521x^{6 -0.003130x^{5 +0.07321x^{4 -0.3577x^{3 +0.2255x^{2 +0.9038x.

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

{\displaystyle f(x)={\begin{cases -0.1522x^{3 +0.9937x,&{\text{if x\in [0,1],\\-0.01258x^{3 -0.4189x^{2 +1.4126x-0.1396,&{\text{if x\in [1,2],\\0.1403x^{3 -1.3359x^{2 +3.2467x-1.3623,&{\text{if x\in [2,3],\\0.1579x^{3 -1.4945x^{2 +3.7225x-1.8381,&{\text{if x\in [3,4],\\0.05375x^{3 -0.2450x^{2 -1.2756x+4.8259,&{\text{if x\in [4,5],\\-0.1871x^{3 +3.3673x^{2 -19.3370x+34.9282,&{\text{if x\in [5,6].\end{cases

معرض صور

انظر أيضا

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

مراجع

^ R.E. Crochiere and L.R. Rabiner. (1983). Multirate Digital Signal Processing. Englewood Cliffs, NJ: Prentice–Hall. نسخة محفوظة 13 أبريل 2016 على مسقط واي باك مشين.