خطأ الاقتطاع (التكامل العددي)

أخطاء الاقتطاع في التكامل العددي نوعان:

  • أخطاء الاقتطاع المحلية – الخطأ الناتج عن تكرار واحد، و
  • أخطاء الاقتطاع العالمية - الخطأ التراكمي الناتج عن العديد من التكرارات.

التعريفات

لنفترض أن لدينا معادلة تفاضلية متصلة

y=و(ت،y)،y(ت0)=y0،تت0{\displaystyle y'=f(t,y),\qquad y(t_{0})=y_{0},\qquad t\geq t_{0}}

ونرغب في حساب قيمة تقريبية.yن{\displaystyle y_{n}}الحل الحقيقيy(تن){\displaystyle y(t_{n})}على خطوات زمنية منفصلةت1،ت2،...،تشمال{\displaystyle t_{1},t_{2},\ldots ,t_{N}}لتبسيط الأمر، افترض أن الفترات الزمنية متساوية التباعد:

ح=تن-تن-1،ن=1،2،...،شمال.{\displaystyle h=t_{n}-t_{n-1},\qquad n=1,2,\ldots ,N.}

لنفترض أننا نحسب المتتاليةyن{\displaystyle y_{n}}باستخدام طريقة من خطوة واحدة على النحو التالي

yن=yن-1+حأ(تن-1،yن-1،ح،و).{\displaystyle y_{n}=y_{n-1}+hA(t_{n-1},y_{n-1},h,f).}

الوظيفةأ{\displaystyle A}تُسمى هذه الدالة دالة الزيادة ، ويمكن تفسيرها على أنها تقدير للميلy(تن)-y(تن-1)ح{\displaystyle {\frac {y(t_{n})-y(t_{n-1})}{h}}}.

خطأ اقتطاع محلي

خطأ الاقتطاع المحليτن{\displaystyle \tau _{n}}الخطأ الذي تسببه دالة الزيادة لدينا،أ{\displaystyle A}، الأسباب خلال تكرار واحد، بافتراض معرفة تامة بالحل الحقيقي في التكرار السابق.

بصورة أكثر رسمية، خطأ الاقتطاع المحلي،τن{\displaystyle \tau _{n}}، في الخطوةن{\displaystyle n}يتم حسابها من الفرق بين الجانب الأيسر والجانب الأيمن من معادلة الزيادة.yنyن-1+حأ(تن-1،yن-1،ح،و){\displaystyle y_{n}\approx y_{n-1}+hA(t_{n-1},y_{n-1},h,f)}:

τن=y(تن)-y(تن-1)-حأ(تن-1،y(تن-1)،ح،و).{\displaystyle \tau _{n}=y(t_{n})-y(t_{n-1})-hA(t_{n-1},y(t_{n-1}),h,f).}[ 1 ] [ 2 ]

تكون الطريقة العددية متسقة إذا كان خطأ الاقتطاع المحليo(ح){\displaystyle o(h)}(هذا يعني أنه لكلε>0{\displaystyle \varepsilon >0}يوجدح{\displaystyle H}بحيث|τن|<εح{\displaystyle |\tau _{n}|<\varepsilon h}للجميعح<ح{\displaystyle h<H}(انظر إلى تدوين little-o ). إذا كانت دالة الزيادةأ{\displaystyle A}إذا كانت الدالة متصلة، فإن الطريقة تكون متسقة إذا وفقط إذا كانتأ(ت،y،0،و)=و(ت،y){\displaystyle A(t,y,0,f)=f(t,y)}[ 3 ]

علاوة على ذلك، نقول إن الطريقة العددية لها رتبةص{\displaystyle p}إذا كان لأي حل سلس بما فيه الكفاية لمسألة القيمة الابتدائية ، فإن خطأ القطع المحلي هويا(حص+1){\displaystyle O(h^{p+1})}(بمعنى أن هناك ثوابت)ج{\displaystyle C}وح{\displaystyle H}بحيث|τن|<جحص+1{\displaystyle |\tau _{n}|<Ch^{p+1}}للجميعح<ح{\displaystyle h<H}). [ 4 ]

خطأ اقتطاع عالمي

خطأ القطع العالمي هو تراكم خطأ القطع المحلي على مدار جميع التكرارات، بافتراض معرفة كاملة بالحل الحقيقي في الخطوة الزمنية الأولية.

بصورة أكثر رسمية، خطأ الاقتطاع العالمي،هـن{\displaystyle e_{n}}في ذلك الوقتتن{\displaystyle t_{n}}يُعرَّف بما يلي:

هـن=y(تن)-yن=y(تن)-(y0+حأ(ت0،y0،ح،و)+حأ(ت1،y1،ح،و)++حأ(تن-1،yن-1،ح،و)).{\displaystyle {\begin{aligned}e_{n}&=y(t_{n})-y_{n}\\&=y(t_{n})-{\Big (}y_{0}+hA(t_{0},y_{0},h,f)+hA(t_{1},y_{1},h,f)+\cdots +hA(t_{n-1},y_{n-1},h,f){\Big )}.\end{aligned}}}[ 5 ]

تكون الطريقة العددية متقاربة إذا أصبح خطأ القطع الكلي صفرًا عندما يصبح حجم الخطوة صفرًا؛ بعبارة أخرى، يتقارب الحل العددي إلى الحل الدقيق:ليمح0الأعلىن|هـن|=0{\displaystyle \lim _{h\to 0}\max _{n}|e_{n}|=0}[ 6 ]

العلاقة بين أخطاء الاقتطاع المحلية والعالمية

في بعض الأحيان، يمكن حساب حد أعلى لخطأ الاقتطاع الكلي، إذا كنا نعرف مسبقًا خطأ الاقتطاع المحلي. ويتطلب ذلك أن تكون دالة الزيادة لدينا ذات سلوك جيد بما فيه الكفاية.

يُحقق خطأ الاقتطاع العالمي علاقة التكرار التالية :

هـن+1=هـن+ح(أ(تن،y(تن)،ح،و)-أ(تن،yن،ح،و))+τن+1.{\displaystyle e_{n+1}=e_{n}+h{\Big (}A(t_{n},y(t_{n}),h,f)-A(t_{n},y_{n},h,f){\Big )}+\tau _{n+1}.}

ويترتب على ذلك مباشرةً من التعريفات. لنفترض الآن أن دالة الزيادة متصلة وفقًا لشرط ليبشيتز في المتغير الثاني، أي أنه يوجد ثابتل{\displaystyle L}بحيث يكون ذلك لجميعت{\displaystyle t}وy1{\displaystyle y_{1}}وy2{\displaystyle y_{2}}لدينا:

|أ(ت،y1،ح،و)-أ(ت،y2،ح،و)|ل|y1-y2|.{\displaystyle |A(t,y_{1},h,f)-A(t,y_{2},h,f)|\leq L|y_{1}-y_{2}|.}

عندئذٍ، يفي الخطأ الكلي بالحد.

|هـن|الأعلىجτجحل(هـل(تن-ت0)-1).{\displaystyle |e_{n}|\leq {\frac {\max _{j}\tau _{j}}{hL}}\left(\mathrm {e} ^{L(t_{n}-t_{0})}-1\right).}[ 7 ]

ويترتب على الحد المذكور أعلاه للخطأ العام أنه إذا كانت الدالةو{\displaystyle f}تكون الدالة في المعادلة التفاضلية متصلة في المتغير الأول ومتصلة وفقًا لشرط ليبشيتز في المتغير الثاني (وهو الشرط المستمد من نظرية بيكارد-ليندلوف )، ودالة الزيادةأ{\displaystyle A}إذا كانت الدالة متصلة في جميع الوسائط ومتصلة وفقًا لشرط ليبشيتز في الوسيط الثاني، فإن الخطأ الكلي يميل إلى الصفر مع زيادة حجم الخطوة.ح{\displaystyle h}يقترب من الصفر (بمعنى آخر، تتقارب الطريقة العددية إلى الحل الدقيق). [ 8 ]

توسيع نطاق الطرق الخطية متعددة الخطوات

والآن، لنفترض طريقة خطية متعددة الخطوات ، معطاة بالصيغة التالية

yن+s+أs-1yن+s-1+أs-2yن+s-2++أ0yن=ح(بsو(تن+s،yن+s)+بs-1و(تن+s-1،yن+s-1)++ب0و(تن،yن))،{\displaystyle {\begin{aligned}&y_{n+s}+a_{s-1}y_{n+s-1}+a_{s-2}y_{n+s-2}+\cdots +a_{0}y_{n}\\&\qquad {}=h{\bigl (}b_{s}f(t_{n+s},y_{n+s})+b_{s-1}f(t_{n+s-1},y_{n+s-1})+\cdots +b_{0}f(t_{n},y_{n}){\bigr )},\end{aligned}}}

وبالتالي، يتم حساب القيمة التالية للحل العددي وفقًا لـ

yن+s=-ك=0s-1أكyن+ك+حك=0sبكو(تن+ك،yن+ك).{\displaystyle y_{n+s}=-\sum _{k=0}^{s-1}a_{k}y_{n+k}+h\sum _{k=0}^{s}b_{k}f(t_{n+k},y_{n+k}).}

تعتمد التكرارة التالية لطريقة الخطوات المتعددة الخطية على التكرارات السابقة . لذا، في تعريف خطأ الاقتطاع المحلي، يُفترض الآن أن جميع التكرارات السابقة تتوافق مع الحل الدقيق.

τن=y(تن+s)+ك=0s-1أكy(تن+ك)-حك=0sبكو(تن+ك،y(تن+ك)).{\displaystyle \tau _{n}=y(t_{n+s})+\sum _{k=0}^{s-1}a_{k}y(t_{n+k})-h\sum _{k=0}^{s}b_{k}f(t_{n+k},y(t_{n+k})).}[ 9 ]

مرة أخرى، تكون الطريقة متسقة إذاτن=o(ح){\displaystyle \tau _{n}=o(h)}ويكون ترتيبها p إذاτن=يا(حص+1){\displaystyle \tau _{n}=O(h^{p+1})}كما أن تعريف خطأ الاقتطاع العالمي لم يتغير.

تختلف العلاقة بين أخطاء القطع المحلية والعالمية اختلافًا طفيفًا عما هي عليه في حالة الطرق أحادية الخطوة الأبسط. ففي الطرق الخطية متعددة الخطوات، يلزم مفهوم إضافي يُسمى الاستقرار الصفري لشرح هذه العلاقة. تتمتع الطرق الخطية متعددة الخطوات التي تحقق شرط الاستقرار الصفري بنفس العلاقة بين الأخطاء المحلية والعالمية كما في الطرق أحادية الخطوة. بعبارة أخرى، إذا كانت الطريقة الخطية متعددة الخطوات مستقرة صفريًا ومتسقة، فإنها تتقارب. أما إذا كانت الطريقة الخطية متعددة الخطوات مستقرة صفريًا ولديها خطأ محلي، فإنها تتقارب.τن=يا(حص+1){\displaystyle \tau _{n}=O(h^{p+1})}ثم يحقق خطأها العام ما يلي:هـن=يا(حص){\displaystyle e_{n}=O(h^{p})}[ 10 ]

انظر أيضاً

ملحوظات

  1. غوبتا، جي كي؛ ساكس-ديفيس، آر؛ تيشير، بي إي (مارس 1985). "مراجعة للتطورات الحديثة في حل المعادلات التفاضلية العادية". مجلة Computing Surveys . 17 (1): 5-47 . CiteSeerX 10.1.1.85.783 . doi : 10.1145/4078.4079 . 
  2. ^ سولي ومايرز 2003 ، ص. 317 ، مكالمات τن/ح{\displaystyle \tau _{n}/h}خطأ الاقتطاع.
  3. ^ سولي ومايرز 2003 ، ص 321 و 322 
  4. ^ إيزرليس 1996 ، ص. 8 ; سولي ومايرز 2003 ، ص. 323  
  5. ^ سولي ومايرز 2003 ، ص. 317 
  6. إيزرليس 1996 ، ص 5 
  7. ^ سولي ومايرز 2003 ، ص. 318 
  8. ^ سولي ومايرز 2003 ، ص. 322 
  9. يستخدم سولي ومايرز (2003 ، ص 337 ) تعريفًا مختلفًا، حيث يقسم هذا أساسًا على h 
  10. ^ سولي ومايرز 2003 ، ص. 340 

مراجع

  • ملاحظات حول أخطاء الاقتطاع وطرق رونج-كوتا
  • خطأ الاقتطاع في طريقة أويلر