Πεπερασμένη διαφορά

Η πεπερασμένη διαφορά είναι μία μαθηματική έκφραση της μορφής . Αν η πεπερασμένη διαφορά διαιρείται από το , τότε αυτή λαμβάνει μόνο ένα πεπερασμένο πηλίκο.Ο υπολογισμός των παραγώγων από τις πεπερασμένες διαφορές παίζει βασικό ρόλο στις μεθόδους πεπερασμένης διαφοράς για την αριθμητική λύση των διαφορικών εξισώσεων, ειδικότερα στα προβλήματα συνοριακών τιμών.

Ορισμένες επαναληπτικές σχέσεις μπορούν να γραφούν ως εξισώσεις διαφοράς αντικαθιστώντας την προσέγγιση της σημειογραφείας με τις πεπερασμένες διαφορές.

Σήμερα, ο όρος "πεπερασμένη διαφορά" συχνά λαμβάνεται ως συνώνυμο με τους υπολογισμούς της πεπερασμένης διαφοράς των παραγώγων, ειδικότερα στο πλαίσιο των αριθμητικών μεθόδων. Οι υπολογισμοί των πεπερασμένων διαφορών είναι πηλίκα της πεπερασμένης διαφοράς στην ορολογία που χρησιμοποιήθηκε ανωτέρω.

Οι πεπερασμένες διαφορές,επίσης,έχουν γίνει το θέμα μελέτης ως αφηρημένα αυτοτελή μαθηματικά αντικείμενα, π.χ. σε έργα των Τζορτζ Μπουλ (1860), L. M. Milne-Thomson (1933), και Károly Jordan (1939), εντοπίζοντας τις προελέυσεις των αλγορίθμων του Jost Bürgi (ca. 1592) και άλλων συμπεριλαμβανομένου του Ισαάκ Νεύτων. Σε αυτό το σημείο, ο λογισμός (που ασχολείται με τα όρια) των πεπερασμένων τιμών είναι εναλλακτικός του λογισμού των απειροελάχιστων.Jordán, op. cit., p. 1 and Milne-Thomson, p. xxi. 
Milne-Thomson,  Louis Melville (2000):  The Calculus of Finite Differences (Chelsea Pub Co, 2000)  ISBN 978-0821821077

Προς τα εμπρός, προς τα πίσω, και κεντρική διαφορά
Τρεις μορφές μελετώνται ευρέως: οι προς τα εμπρός,οι προς τα πίσω και οι κεντρικές διαφορές.

Η προς τα εμπρός διαφορά (προς τα πάνω) είναι μια έκφραση της μορφής

Σύμφωνα με την εφαρμογή, η τάξη h μπορεί να είναι μεταβλητή ή σταθερή.  Όταν παραλείπεται, η h θεωρείται ότι είναι 1: .

Η προς τα πίσω διαφορά (προς τα κάτω) χρησιμοποιεί τις τιμές της συνάρτησης στο x και x − h, αντί των τιμών στο x + h and x:

Τελικά, η κεντρική διαφορά (κεντρώα) δίνεται από

 Σχέση με τις παραγώγους 

Η παράγωγος της συνάρτησης    στο σημείο   ορίζεται από το όριο

Αν η  λαμβάνει μια σταθερή (μη μηδενική) τιμή αντί να πλησιάζει το μηδέν, τότε η δεξιά πλευρά της παραπάνω εξίσωσης γράφεται

Συνεπώς, η προς τα πάνω διαφορά που διαιρείται από το   πλησιάζει την παράγωγο όταν το   είναι μικρό. Το σφάλμα σε αυτή την προσέγγιση μπορεί να βρεθεί από τον Τύπο του Taylor. Λαμβάνοντας υπόψη, ότι η  είναι διαφορίσιμη , έχουμε

Ο ίδιος τύπος αναμένεται για την προς τα πίσω διαφορά:

Ωστόσο, η κεντρική (ή αλλιώς κεντρώα) διαφορά αποδίδει μια πιο ακριβή προσέγγιση. Αν η  είναι δύο φορές διαφορίσιμη,

Το κύριο πρόβλημα με τη μέθοδο της κεντρικής διαφοράς, ωστόσο , είναι ότι οι συναρτήσεις που ταλαντεύονται αποδίδουν μηδενική παράγωγο. Αν    για   περιττό, και   για   άρτιο, αλλιώς   αν υπολογίζεται με το συνδυασμό της κεντρικής διαφοράς. Αυτό είναι ιδιαίτερα ενοχλητικό αν ο κλάδος της    είναι διακεκριμένος.

Συγγραφείς, για τους οποίους οι πεπερασμένες διαφορές σημαίνουν προσεγγίσεις πεπερασμένων διαφορών, ορίζουν τις προς τα πάνω/προς τα κάτω/κεντρικές διαφορές ως πηλίκα που δίνονται σε αυτή την ενότητα. (αντί να χρησιμοποιούν τους ορισμούς που δόθηκαν στην προηγούμενη ενότητα.)

Μεγαλύτερης τάξης διαφορές  

Με ανάλογο τρόπο,μπορεί κανείς να ανάγει τις προσεγγίσεις πεπερασμένης διαφοράς σε μεγαλύτερης τάξης παραγώγους και διαφορικούς φορείς. Για παράδειγμα, χρησιμοποιώντας τον παραπάνω τύπο κεντρικής διαφοράς για    και    και εφαρμόζοντας τον τύπο της κεντρικής διαφοράς για την παράγωγο της      στο , παίρνουμε την προσέγγιση της κεντρικής διαφοράς της δεύτερης παραγώγου της :

Κεντρική 2ης τάξης

Με παρόμοιο τρόπο μπορούμε να εφαρμόσουμε άλλους τύπους διαφοράς με έναν αναδρομικό τρόπο.

Προς τα εμπρός 2ης τάξης

Γενικότερα , οι  -ης τάξης προς τα εμπρός, προς τα πίσω, και κεντρικές διαφορές δίνονται,αντίστοιχα,

Προς τα εμπρός

ή για h=1,

Προς τα πίσω

Κεντρική

Αυτές οι εξισώσεις χρησιμοποιούν διωνυμικούς συντελεστές ύστερα από το σημείο άθροισης απεικονίζονται ως .  Κάθε σειρά από το Τρίγωνο του Pascal παρέχει τον συντελεστή για κάθε τιμή του i.

Παρατήρησε ότι η κεντρική διαφορά θα, για περιττό , έχει  πολλαπλασιαζόμενο με μη ακέραιο. Αυτό είναι συχνά πρόβλημα επειδή ανέρχεται σε αλλαγή του διαστήματος διακριτοποίησης. Το πρόβλημα μπορεί να αντιμετωπιστεί παίρνοντας το μέσο όρο του  και .

Οι προς τα εμπρός διαφορές που εφαρμόζονται σε μία ακολουθία ονομάζονται μερικές φορές διωνυμικός μετασχηματισμός της ακολουθίας, και έχουν μια σειρά από ενδιαφέρουσες συνδυαστικές ιδιότητες.
Οι προς τα εμπρός διαφορές μπορούν να εκτιμηθούν χρησιμοποιώντας το Nörlund–Rice ολοκλήρωμα. Η αναπαράσταση του ολοκληρώματος για αυτούς τους τύπους των σειρών είναι ενδιαφέρουσα, επειδή το ολοκλήρωμα μπορεί συχνά να εκτιμηθεί χρησιμοποιώντας ασυμπτωτική επέκταση ή τεχνικές απότομης καθόδου : αντίθετα, η προς τα εμπρός διαφορά των σειρών μπορεί να είναι εξαιρετικά δύσκολο να εκτιμηθεί αριθμητικά, επειδή οι διωνυμικοί συντελεστές αυξάνονται με ταχείς ρυθμούς για μεγάλα .

Η σχέση των διαφορών μεγαλύτερης τάξης με τις αντίστοιχες παραγώγους είναι απλή,

Οι μεγαλύτερης τάξης διαφορές μπορούν να χρησιμοποιηθούν για να φτιάξουμε καλύτερες προσεγγίσεις. Όπως αναφέρθηκε παραπάνω, η πρώτης τάξης διαφορά προσεγγίζει την παράγωγο πρώτης τάξης σε έναν όρο της τάξης . Ωστόσο, ο συνδυασμός

προσεγγίζει την f(x) σε έναν όρο της τάξης . Αυτό αποδεικνύεται αναπτύσσοντας την παραπάνω έκφραση στη Σειρά Τέιλορ, ή χρησιμοποιώντας το λογισμό των πεπερασμένων διαφορών,που εξηγείται παρακάτω.

Αν χρειάζεται,η πεπερασμένη διαφορά μπορεί να κεντράρεται γύρω από οποιοδήποτε σημείο συνδυάζοντας τις προς τα πάνω,προς τα κάτω και κεντρικές διαφορές.

Πυρήνες αυθαίρετου μεγέθους

Χρησιμοποιώντας λίγο την γραμμική άλγεβρα, μπορεί κανείς αρκετά εύκολα να φτιάξει προσεγγίσεις, της οποίας παίρνω δείγμα ένα αυθαίρετο αριθμό σημείων από τα αριστερά και έναν (ενδεχομένως διαφορετικό) αριθμό σημείων από τα δεξιά του κεντρικού σημείου,για κάθε τάξη της παραγώγου. Αυτό συνεπάγεται την επίλυση ενός γραμμικού συστήματος έτσι ώστε η επέκταση Τέιλορ του αθροίσματος των εν λόγω σημείων ,γύρω από το κεντρικό σημείο,να προσεγγίζει καλά την επέκταση Τέιλορ της επιθυμητής παραγώγου.

Αυτό είναι χρήσιμο για την διαφοροποίηση μιας συνάρτησης σε μια περιοχή,όπου,καθώς αυτή θα πλησιάζει την άκρη της περιοχής, πρέπει να λαμβάνεται δείγμα όλο και λιγότερων σημείων στη μία πλευρά.

Οι λεπτομέρειες συνοψίζονται σε αυτές τις σημειώσεις.

Ιδιότητες
 Για όλα τα θετικά k and n

 Κανόνας Leibniz:

Μέθοδοι πεπερασμένης διαφοράς

Μία σημαντική εφαρμογή των πεπερασμένων διαφορών είναι στην αριθμητική ανάλυση, ειδικότερα στις αριθμητικές διαφορικές εξισώσεις, οι οποίες στοχεύουν στην αριθμητική επίλυση των συνήθων και μερικών διαφορικών εξισώσεων αντίστοιχα. Η ιδέα είναι να αντικατασταθούν οι παράγωγοι που εμφανίζονται στην διαφορική εξίσωση από τις πεπερασμένες διαφορές που τις προσεγγίζουν. Οι μέθοδοι που προκύπτουν ονομάζονται μέθοδοι πεπερασμένης διαφοράς.

Κοινές εφαρμογές της μεθόδου πεπερασμένης τιμής συναντώνται στην υπολογιστική επιστήμη και στην εφαρμοσμένη μηχανική, όπως θερμική μηχανική, μηχανική των ρευστών, κτλ.

Σειρές του Νεύτων
Οι Σειρές του Νεύτων ,αποτελούνται από τους όρους της εξίσωσης του Νεύτων της προς τα εμπρός διαφοράς, πήραν το όνομα τους από τον Ισαάκ Νεύτων;  στην ουσία, είναι ο τύπος παρεμβολής του Νεύτων''', που δημοσιεύτηκε για πρώτη φορά στο Principia Mathematica του το 1687,Newton, Isaac, (1687). Principia, Book III, Lemma V, Case 1 και συγκεκριμένα το διακριτό ανάλογο της συνεχούς επέκτασης Τέιλορ,

η οποία ισχύει για κάθε πολυωνυμική συνάρτηση f και για τις περισσότερες (αλλά όχι όλες) τις αναλυτικές συναρτήσεις. Εδώ,η έκφραση 

είναι ο διωνυμικός συντελεστής, και

είναι το "φθίνων παραγοντικό" ή το "κατώτερο παραγοντικό", ενώ το κενό γινόμενο (x)0 ορίζεται να είναι είναι 1.  Σε αυτή τη συγκεκριμένη περίπτωση, υπάρχει μια υπόθεση των βημάτων μονάδα για τις αλλαγές στις τιμές των x, h = 1 της παρακάτω γενίκευσης.

Σημειώστε την συνήθη αντιστοιχία αυτού του αποτελέσματος στο Θεώρημα του Τέιλορ. Ιστορικά,αυτό, καθώς και η ταυτότητα Βαντερμόντ,  

(απορρέουσες από αυτή,και αντιστοιχίζοντας την διωνυμική θεωρία),  συμπεριλαμβάνονται στις παρατηρήσεις που έληξαν στο σύστημα του λογισμού που αναφέρεται στην ομοιότητα μεταξύ των φαινομενικά άσχετων πολυωνυμικών συναρτήσεων.

Για να φανεί το πώς κανείς μπορεί να χρησιμοποιήσει τον τύπο του Νεύτων στην πράξη, εξετάστε τους πρώτους όρους διπλασιασμού της ακολουθίας Φιμπονάτσι  = 2, 2, 4, ... Μπορεί κανείς να βρει ένα πολυώνυμο που αναπαράγει αυτές τις τιμές, με πρώτο τον υπολογισμό ενός πίνακα διαφοράς, και στη συνέχεια αντικαθιστώντας τις διαφορές που αντιστοιχούν στο  x0 (υπογραμμισμένο) στο τύπο όπως ακολουθεί,

Στην περίπτωση των μη-ομοιόμορφων μέτρων στις τιμές του x, ο Νεύτων υπολογίζει τις διαχωρίσιμες διαφορές,

τις σειρές των γινομένων,

και το πολυώνυμο που προκύπτει είναι το βαθμωτό γινόμενο,  .Richtmeyer, D. and  Morton, K.W., (1967). Difference Methods for Initial Value Problems, 2nd ed., Wiley, New York.

Σε ανάλυση με τους αριθμούς που έχουν την ιδιότητα να είναι κοντά όταν η διαφορά τους διαιρείται από αριθμό μεγαλύτερης δύναμης του p, διαιρούνται με έναν, το Θεώρημα του Mahler αναφέρει ότι η υπόθεση ότι η f είναι μια πολυωνυμική συνάρτηση μπορεί να αποδυναμώσει όλη τη διαδρομή προς την υπόθεση ότι η f είναι απλώς συνεχής.

Το Θεώρημα του Carlson παρέχει σημαντικές και επαρκείς συνθήκες για τη μοναδικότητα των σειρών του Νεύτων,αν υπάρχει.Ωστόσο, οι σειρές του Νεύτων,γενικά,δεν υπάρχουν.

Οι σειρές του Νεύτων,μαζί με τις σειρές του Stirling και τις σειρές του Selberg, είναι μια ειδική περίπτωση της γενικής διαφοράς των σειρών, οι οποίες ορίζονται στο πλαίσιο της κατάλληλης κλιμάκωσης των προς προς τα εμπρός διαφορών.

Σε μία σύντομη και ελαφρώς πιο γενική μορφή και σε ίση απόσταση κόμβων ο τύπος διαβάζει

Λογισμός των πεπερασμένων διαφορών

Η προς τα εμπρός διαφορά μπορεί να θεωρηθεί ως τελεστής διαφοράς,Boole, George, (1872). A Treatise On The Calculus of Finite Differences, 2nd ed., Macmillan and Company. On line. Also, [Dover edition 1960]Jordan, Charles, (1939/1965). "Calculus of Finite Differences", Chelsea Publishing. On-line:  ο οποίος καθορίζει την συνάρτηση  σε . Αυτός ο τελεστής ισοδυναμεί με

όπου  είναι ο μεταβαλλόμενος τελεστής με δείκτη h, ορίζεται από ,  και  είναι ο τελεστής ταυτότητας.

Η πεπερασμένη διαφορά των μεγαλύτερων τάξεων μπορεί να οριστεί με αναδρομικό τρόπο όπως ).   Ένας άλλος ισοδύναμος ορισμός είναι .

Ο τελεστής διαφοράς  είναι ένας γραμμικός τελεστής και ικανοποιεί έναν ειδικό κανόνα του Leibniz που αναφέρθηκε παραπάνω,
. Όμοιες δηλώσεις ισχύουν και για τις προς τα πίσω και κεντρικές διαφορές.

Τυπικά,εφαρμόζωντας τη Σειρά Τέιλορ σε σχέση με το h, δίνει τον τύπο

όπου το  D δηλώνει την συνεχή παράγωγο του τελεστή, καθορίζοντας την f στην παράγωγο της f. Η επέκταση είναι έγκυρη όταν και οι δυο πλευρές δρουν ως αναλυτικές συναρτήσεις, για αρκετά μικρό h. Έτσι, , και τυπικά αναστρέφοντας τις εκθετικές αποδόσεις 

Ο τύπος αυτός οδηγεί στην έννοια ότι και οι δυο τύποι δίνουν το ίδιο αποτέλεσμα όταν εφαρμόζεται σε ένα πολυώνυμο.

Ακόμα και για τις αναλυτικές συναρτήσεις,οι σειρές στα δεξιά δεν εγγυάται ότι συγκλίνουν: μπορεί να είναι ασυμπτωτική σειρά. Ωστόσο, μπορούν να χρησιμοποιηθούν για να βρεθούν πιο ακριβείς μετασχηματισμοί για την παράγωγο. Για παράδειγμα, διατηρώντας τους πρώτους δύο όρους της σειράς παράγει η προσέγγιση της δεύτερης τάξης την  όπως αναφέρθηκε στο τέλος της mentioned at the end of the ενότητας των μεγαλύτερης τάξης διαφορών.  
Οι ανάλογοι τύποι για τους τελεστές της προς τα πίσω και κεντρικής διαφοράς είναι

Ο λογισμός των πεπερασμένων διαφορών σχετίζεται με το λογισμό (που αναφέρεται στην ομοιότητα μεταξύ των φαινομενικά άσχετων πολυωνυμικών εξισώσεων) της συνδυαστικής. Αυτή η εξαιρετικά συστηματική αντιστοιχία οφείλεται στην ταυτότητα των μετατροπέων των ποσοτήτων του παραπάνω λογισμού στο αναλογικό συνεχές τους (  limits),

Ένας μεγάλος αριθμός των διαφορικών σχέσεων του λογισμού με νόρμα αφορά συναρτήσεις  άρα καθορίζει συστηματικά την αναλογική πεπερασμένη διαφορά που αφορά την .

Για παράδειγμα, η αναλογική ενός μονώνυμου  xn είναι μια γενίκευση του πτωτικού  παραγοντικού (Pochhammer k-symbol),  
 , 
έτσι ώστε

άρα ο παραπάνω τύπος παρεμβολής Τέιλορ (αντιστοιχίζοντας συντελεστές στην επέκταση μιας αυθαίρετης συνάρτησης f(x) σε τέτοια σύμβολα), και ούτω καθεξής.

Για παράδειγμα, το ημίτονο είναι

Όπως στο συνεχές όριο, η ιδιοσυνάρτηση της   επίσης συμβαίνει να είναι μια εκθετική,

και άρα τα αθροίσματα Φουριέρ των συνεχών συναρτήσεων αντιστοιχίζονται εύκολα σε αθροίσματα Φουριέρ που σχετίζονται με την ομοιότητα των φαινομενικά άσχετων πολυωνυμικών εξισώσεων, που αφορούν τους ίδιους συντελεστές Φουριέρ πολλαπλασιάζοντας αυτές τις εκθετικές βάσεις.  Αυτή η εκθετική (που έχει σχέση με την ομοιότητα των πολυωνυμικών εξισώσεων)ισοδυναμεί με την εκθετική συνάρτηση παραγωγής των Pochhammer συμβόλων.

Έτσι,για παράδειγμα, η συνάρτηση δέλτα του Ντιράκ καθορίζει τους αντιπροσώπους, την απόλυτη ημιτονοειδή συνάρτηση,

και ούτω καθεξής.  Οι πεπερασμένες εξισώσεις μπορούν συχνά να λυθούν με τεχνικές πολύ όμοιες με εκείνες για την επίλυση των διαφορικών εξισώσεων.

Ο αντίστροφος τελεστής του τελεστή της προς τα εμπρός διαφοράς, ώστε στη συνέχεια να έχουμε το ολοκλήρωμα, είναι το αόριστο άθροισμα ή ο τελεστής της αντί διαφοράς.

Κανόνες λογισμού για τους τελεστές της πεπερασμένης διαφοράς
Ανάλογο με τους κανόνες για την εύρεση της παραγώγου, έχουμε:
 Συνεχής κανόνας: Αν c είναι μια σταθερά, τότε

 Γραμμικότητα: Αν a και b είναι  σταθερές,

Όλοι οι παραπάνω κανόνες ισχύουν εξίσου καλά σε κάθε τελεστή διαφοράς, συμπεριλαμβανομένου  ως προς .
 Κανόνας γινομένου:

 Κανόνας πηλίκου:

ή

 Κανόνες αθροίσματος:

Δες τις παραπομπές Ames, W. F., (1977).  Numerical Methods for Partial Differential Equations, Section 1.6. Academic Press, New York. ISBN 0-12-056760-1.Hildebrand, F. B., (1968). Finite-Difference Equations and Simulations, Section 2.2, Prentice-Hall, Englewood Cliffs, New Jersey..

Γενικεύσεις

Μία γενικευμένη πεπερασμένη διαφορά συνήθως ορίζεται ως

όπου  είναι το διάνυσμα των συντελεστών του. Μία άπειρη διαφορά είναι μια περαιτέρω γενίκευση,όπου το πεπερασμένο άθροισμα παραπάνω αντικαθίσταται από μία άπειρη σειρά. Ένας άλλος τρόπος γενίκευσης είναι η κατασκευή συντελεστών  που εξαρτώνται από το σημείο  : , θεωρώντας έτσι σταθμισμένη πεπερασμένη διαφορά'. Επίσης,θα μπορούσε κανείς να φτιάξει έναν δείκτη  που να εξαρτάται από το σημείο  : . Τέτοιες γενικεύσεις είναι χρήσιμες για την κατασκευή διαφορετικού μέτρου συνέχειας.

Η γενικευμένη διαφορά μπορεί να θεωρηθεί ως πολυώνυμο δακτυλίων  . Αυτό οδηγεί σε αλγεβρική διαφορά.
Ο φορέας διαφοράς γενικεύει την Möbius μετάθεση πάνω από ένα μερικώς διατεταγμένο σύνολο.
Ως τελεστής ελίκωσης: Μέσω του φορμαλισμού των αλγεβρικών συχνοτήτων, τελεστές διαφοράς και άλλη Möbius αναστροφή μπορεί να εκπροσωπείται από συνεξέλιξη με μία συνάρτηση on the poset, γνωστή ως Möbius συνάρτηση μ; για τον τελεστή διαφοράς, μ είναι η ακολουθία (1, −1, 0, 0, 0, ...).

Πεπερασμένη διαφορά πολλών μεταβλητών

Οι πεπερασμένες διαφορές μπορούν να θεωρηθούν περισσότερες από μία μεταβλητές. Είναι ανάλογες με τις μερικές παραγώγους σε αρκετές μεταβλητές.

Μερικές προσεγγίσεις των μερικών παραγώγων είναι (χρησιμοποιώντας την κεντρική μέθοδο του δείκτη):

Εναλλακτικά,σε εφαρμογές στις οποίες ο υπολογισμός της    είναι πιο δύσκολο βήμα, και πρέπει να υπολογιστούν και οι δύο,πρώτοι και δεύτεροι παράγωγοι, ένας πιο αποτελεσματικός τύπος για την τελευταία περίπτωση είναι

δεδομένου ότι οι μόνες τιμές για υπολογισμό που δεν είναι απαραίτητες για τις προηγούμενες τέσσερις εξισώσεις είναι    και .

 Παραπομπές 

 Πηγές 
 Richardson, C. H. (1954): An Introduction to the Calculus of Finite Differences (Van Nostrand (1954) online copy
 Mickens, R. E. (1991): Difference Equations: Theory and Applications (Chapman and Hall/CRC) ISBN  978-0442001360

 Εξωτερικοί σύνδεσμοι 

 Table of useful finite difference formula generated using Mathematica 
 D. Gleich (2005),  Finite Calculus: A Tutorial for Solving Nasty Sums 
 Discrete Second Derivative from Unevenly Spaced Points