אנליזה נומרית/אופרטורים של הפרשים סופיים

תפקיד מרכזי נוסף שיש לאנליזה הנומרית הוא אינטרפולציה, חישוב אינטגלים וחישוב נגזרות של פונקציות אשר ערכן ידוע בנקודות בדידות בלבד, כפי שמתקבל בדרך כלל מניסויים מדעיים. על מנת לפתח את הנוסחאות המתאימות, נניח כי המרחקים על ציר x בין כל שתי נקודות סמוכות הם שווים, כך שמתקיים כאשר x0 היא הנקודה הראשונה שעבורה ידוע ערך הפונקציה ו-h הוא המרחק בין שתי נקודות סמוכות. עקב הנחת מרחקים שווים, אנו יכולים כעת להגדיר סט של אופרטורים לינאריים אשר בעזרתם נייצג פעולות על מערך הנקודות שברשותינו, כגון תזוזה לנקודה הבאה (אופרטור הזזה) ומציאת הפרשים בין שתי נקודות (אופרטור הפרשים). השיטות לפיתוח נוסחאות מקורבות בדרך זו נקראות "שיטות הפרשים סופיים" (Finite Difference).

הפרשים סופיים

האופרטורים הלנאריים

עריכה
שם האופרטור כתיב מתמטי
אופרטור הזזה:  
אופרטור הפרשים אחוריים:  
אופרטור הפרשים קידמיים:  
אופרטור הפרשים מרכזיים:  
אופרטור מיצוע:  
אופרטור גזירה:  
אופרטור הזהות:  

אופרטורים נוספים

עריכה
  • אופרטור הפרשים סופיים:  .
    אם אבר השגיאה של נוסחה מקורבת הוא   אז על פי משפט לגראנז' השגיאה תהיה  .

זהויות אופרטוריות

עריכה
=          
           
           
           
           
           
           

הוכחות

עריכה
  • הוכחת  :

 
 
 

  • הוכחת  :

 

  • הוכחת  :
 
  • הוכחת   :

 
 

  • הוכחת  :
 
 
  • הוכחת  :
 
 
  • הוכחת  :
 
 

זהויות נוספות

עריכה
  •  :

 

  • בדומה ניתן להראות כי:  .
  • הוכחת  :
 
  • האופרטורים   קומוטטיביים, כלומר מתקיים:  .

 
 

 
 

  • מתקיים   :

 
 

  • הוכחת  :
 
 
 
  • כמו כן נית להראות כי:
 
 
  • הוכחת  :

 

  • הוכחת  :
 
  • הוכחת  :
 
 
 

קישורים חיצוניים

עריכה


הפרק הקודם:
שיטות איטרטיביות רב צעדיות
אופרטורים של הפרשים סופיים הפרק הבא:
אינטרפולציה: הפרשים סופיים