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

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

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

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

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

אופרטורים נוספיםעריכה

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

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

=          
           
           
           
           
           
           

הוכחותעריכה

  • הוכחת  :

 
 
 

  • הוכחת  :

 

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

 
 

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

זהויות נוספותעריכה

  •  :

 

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

 
 

 
 

  • מתקיים   :

 
 

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

 

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

קישורים חיצונייםעריכה


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