Αριθμητική Ανάλυση και Εφαρμογές

Transcript

1 Αριθμητική Ανάλυση και Εφαρμογές Διδάσκων: Δημήτριος Ι. Φωτιάδης Τμήμα Μηχανικών Επιστήμης Υλικών Ιωάννινα 07-08

2 Πεπερασμένες και Διαιρεμένες Διαφορές

3 Εισαγωγή Θα εισάγουμε την έννοια των διαφορών με ένα παράδειγμα. Παράδειγμα: Έστω y f x μία πραγματική συνάρτηση: x y f x Για να εξάγουμε περισσότερες πληροφορίες από τα παραπάνω δεδομένα γράφουμε τον πίνακα σε πιο εκτεταμένη μορφή, που ονομάζεται πίνακας πεπερασμένων διαφορών, όπως παρακάτω:

4 x f x Εισαγωγή ες διαφ. ες διαφ. 3ες διαφ. 4ες διαφ. 5ες διαφ. 6ες διαφ

5 Εισαγωγή Οι πρώτες διαφορές ή διαφορές πρώτης τάξης αποκτώνται αφαιρώντας κάθε συναρτησιακή τιμή από εκείνη την τιμή που βρίσκεται μια θέση ακριβώς αποκάτω της στον πίνακα των πεπερασμένων διαφορών. Με τον ίδιο τρόπο μπορούμε να αποκτήσουμε δεύτερης και υψηλότερης τάξης διαφορές. Γενικά, ένας πίνακας διαφορών που δημιουργείται με βάση τιμές εξαντλείται στη στήλη των διαφορών τάξης. Ορισμός 4. Τα σύμβολα,, και εκφράζουν τελεστές διαφορών και παριστάνουν τις προς τα εμπρός, τις προς τα πίσω και κεντρικές διαφορές πρώτης τάξης αντίστοιχα. k k

6 Προς τα εμπρός διαφορές Ορισμός 4. Έστω y f x μια πραγματική συνάρτηση και έστω y f x, 0 οι τιμές της συνάρτησης στα προκαθορισμένα σημεία x, 0. Τη διαφορά: θα την ονομάζουμε προς τα εμπρός διαφορά πρώτης τάξης της συνάρτησης στη θέση και θα τη συμβολίζουμε με: f Το σύμβολο θα το καλούμε τελεστή της προς τα εμπρός διαφοράς. Τις προς τα εμπρός διαφορές ανώτερης τάξης θα τις ορίζουμε επαγωγικά για k 3,, ως εξής: y y, 0,,,, x y y y. k k k k y y y y.

7 Προς τα εμπρός διαφορές Παράδειγμα Από την παραπάνω σχέση προκύπτει ότι η δεύτερη προς τα εμπρός διαφορά μπορεί να οριστεί ως εξής: y y y y y y y y y y y. Ορισμός 4.3 Γενικότερα η -στη προς τα εμπρός διαφορά μπορεί να οριστεί ως εξής: k k k k y y, 0 όπου χρησιμοποιήσαμε το γνωστό τύπο των διωνυμικών συντελεστών k k!.! k! k

8 Προς τα εμπρός διαφορές Όταν χρησιμοποιείται ο συμβολισμός των προς τα εμπρός διαφορών, τότε ο πίνακας διαφορών έχει την εξής μορφή: x y 3 y y 4 x y y y 3 y y y x y y x y y x y y

9 Προς τα εμπρός διαφορές Παρατήρηση Το άθροισμα των όρων της τρίτης στήλης του πίνακα διαφορών ισούται με τη διαφορά των δύο ακραίων όρων της δεύτερης στήλης. Δηλαδή ισχύει ότι: y y y m m Αυτό εύκολα αποδεικνύεται στη γενική περίπτωση ως εξής: k m k y y y y m k k k y y y y y y y k k k k k k. k yk.

10 Προς τα εμπρός διαφορές Οι εκφράσεις των σε όρους των y, m m 0kμπορούν να δοθούν με χρήση του τριγώνου του Pascal. k y Ορισμός 4.4 Το τρίγωνο του Pascal είναι μία τριγωνική διάταξη αριθμών, οι οποίοι αποτελούν τους συντελεστές της έκφρασης k x y, k 0,,,, δηλαδή συμπίπτουν με τους συντελεστές του αναπτύγματος του διώνυμου του Newton. Το τρίγωνο επεκτείνεται προς τα κάτω και οι συντελεστές της έκφρασης x y βρίσκονται στο επίπεδο (γραμμή), αρχίζοντας από το μηδέν. Το τρίγωνο του Pascal έχει την εξής μορφή: k k

11 Προς τα εμπρός διαφορές k k k k k 0 : : : 3 : : όπου η αριστερή και η δεξιά πλευρά αποτελούνται από μονάδες και κάθε αριθμός στο -στο επίπεδο στο εσωτερικό του τριγώνου είναι το άθροισμα των δύο αριθμών που βρίσκονται στο προηγούμενο k -στο επίπεδο και είναι αριστερά και δεξιά του αριθμού αυτού. Η διάταξη είναι συμμετρική αναφορικά με την κατακόρυφη γραμμή που περνά από την «κορυφή». k

12 Προς τα εμπρός διαφορές Εφαρμογή 4. Με χρήση του τριγώνου του Pascal θα δώσουμε τις εκφράσεις των σε όρους των y m 0 k. k y, m Λύση: Στο τρίγωνο του Pascal αλλάζουμε εναλλάξ τα πρόσημα των αριθμών που βρίσκονται στο ίδιο επίπεδο αρχίζοντας πάντα από τα αριστερά με το και παίρνουμε: k, k 0 : k : k : k 3 : 3 3 k 4 : 4 6 4

13 Προς τα εμπρός διαφορές Στη συνέχεια πολλαπλασιάζουμε κάθε αριθμό του τριγώνου του Pascal με τους όρους y, 0,,,, m m k ως εξής: για κάθε επίπεδο πολλαπλασιάζουμε τον πρώτο αριθμό αρχίζοντας από τα δεξιά με y και τον αμέσως αριστερό του με και αυξάνοντας πάντα το συντελεστή κατά ένα πολλαπλασιάζουμε τον αμέσως αριστερό του με κ.λ.π. Έτσι παίρνουμε: k y y y 0 y y y y y y y 3 y y3 3y 3y y 4 y y4 4y3 6y 4y y y

14 Προς τα πίσω διαφορές Ορισμός 4.5 Έστω y f x μια πραγματική συνάρτηση και έστω y f x, 0 οι τιμές της συνάρτησης στα προκαθορισμένα σημεία x, 0. Τη διαφορά θα την ονομάζουμε προς τα πίσω διαφορά πρώτης τάξης της συνάρτησης στη θέση και θα τη συμβολίζουμε με: f Το σύμβολο, ανάδελτα, θα το καλούμε τελεστή προς τα πίσω διαφοράς. Τις προς τα πίσω διαφορές ανώτερης τάξης θα τις ορίζουμε επαγωγικά για k 3,, ως εξής: y y,,,,, x y. y y y y y y k k k k.

15 Προς τα πίσω διαφορές Παράδειγμα: Από την παραπάνω σχέση η δεύτερη προς τα πίσω διαφορά μπορεί να οριστεί ως εξής: y y y y y y y y y y y.

16 Προς τα πίσω διαφορές Όταν χρησιμοποιείται ο συμβολισμός των προς τα πίσω διαφορών, τότε ο πίνακας διαφορών έχει την εξής μορφή: x y 3 y y 4 x y y y 3 y y y x y y x y y x y y

17 Κεντρικές διαφορές Ορισμός 4.6 Έστω y f x μία πραγματική συνάρτηση και έστω y f x, 0 οι τιμές της συνάρτησης στα προκαθορισμένα σημεία x, 0. Η κεντρική διαφορά πρώτης τάξης ορίζεται από τη σχέση: y y y. Το σύμβολο θα το καλούμε τελεστή κεντρικής διαφοράς. Οι δεύτερες κεντρικές διαφορές ή κεντρικές διαφορές δεύτερης τάξης ορίζονται από τη σχέση: y y y y y y y y y y y.

18 Κεντρικές διαφορές συνέχεια ορισμού 4.6 Τις κεντρικές διαφορές περιττής τάξης θα τις ορίζουμε επαγωγικά από τις παρακάτω σχέσεις: y y k k k k. Ενώ τις κεντρικές διαφορές άρτιας τάξης θα τις ορίζουμε επαγωγικά από τις σχέσεις που ακολουθούν: y k k y y y y y k k.

19 Κεντρικές διαφορές Όταν χρησιμοποιείται ο συμβολισμός των κεντρικών διαφορών, τότε ο πίνακας διαφορών έχει την εξής μορφή: x y 3 3 f f 4 x y f f 3 f f f x y f x y f x y f 3

20 Διαιρεμένες διαφορές Ορισμός 4.7 Έστω y f x, 0 είναι οι δεδομένες τιμές μίας πραγματικής (ή και μιγαδικής) συνάρτησης y f x υπολογισμένες στα διακεκριμένα και όχι κατά ανάγκη ισαπέχοντα σημεία x, 0 τότε οι διαιρεμένες διαφορές ορίζονται ως ακολούθως: Η διαιρεμένη διαφορά μηδενικής τάξης στο σημείο συμβολίζεται με yx και ορίζεται για όλα τα 0, ως εξής: x y, y x Η διαιρεμένη διαφορά πρώτης τάξης των σημείων συμβολίζεται με y x, x j και ορίζεται ως εξής: y x y x y y y x, x j x x x x j j j j. x, x j

21 Διαιρεμένες διαφορές συνέχεια ορισμού 4.7 Η διαιρεμένη διαφορά δεύτερης τάξης των σημείων x, x j, x k συμβολίζεται με y x,, και ορίζεται ως: x j x k y x j, x k y x, x j y x, x j, x k, x x και γενικά χρησιμοποιώντας τις προηγούμενης τάξης διαφορές, η διαιρεμένη διαφορά τάξης για m, συμβολίζεται με y x, x, x,, x και ορίζεται ως εξής: m y x, x, x,, x m Οι διαιρεμένες διαφορές πολλές φορές ονομάζονται και πηλίκα διαφορών ή κλίσεις. k,,,,,,, y x x x y x x x x m m m. x m x

22 Διαιρεμένες διαφορές x x Όπως και στην περίπτωση των πεπερασμένων διαφορών, μπορούμε να κατασκευάσουμε για τα δεδομένα x, y, 0 τον αντίστοιχο πίνακα των διαιρεμένων διαφορών (π.χ. 4) y y 0 0 0, x,,, 0,,, 3,,,,,,, 3,, 3, 4,,, x ης τάξης διαφ. ης τάξης διαφ. 3ης τάξης διαφ. 4ης τάξης διαφ. y x x y y x x x y x x y x x x x x y y x x x y x x x x x y x x y x x x x x y y x x x x y y x 3 4

23 Διαιρεμένες διαφορές Άσκηση Υπολογίστε τις διαιρεμένες διαφορές μέχρι και τρίτης τάξης για τις δοθείσες τιμές y 3, 5, 7, για 03 που υπολογίστηκαν στα σημεία x, 3, 4, 5 για 0 3. Λύση: Από τους τύπους των διαιρεμένων διαφορών μπορούμε να πάρουμε ότι: y y0 yx0, x x x και ότι: y x, x, x 0 0 y y y y yx, x yx, x x x x x x x x x x x x x x x x x x x x x y y y

24 Διαιρεμένες διαφορές συνέχεια λύσης Επαγωγικά μπορεί να δειχθεί ότι ισχύει ο ακόλουθος γενικός τύπος: y0 yx0, x,, xm x x x x x x x x x x x x 0 m 0 m m m o οποίος σε συντομότερη έκφραση μπορεί να γραφεί και ως εξής: m yx0, x,, xm m y. 0 x x y y x x x x x x m j0 j j m m,

25 Διαιρεμένες διαφορές Παρατήρηση Από τον παραπάνω τύπο προκύπτει ότι η yx είναι μία συμμετρική συνάρτηση των σημείων 0, x,, x m x0, x,, x m, δεν εξαρτάται από τη σειρά των σημείων αυτών και συνεπώς δεν μεταβάλλεται με οποιαδήποτε μετάθεση αυτών. Δηλαδή, για και τέτοια ώστε 0 k l m, ισχύει ότι: k Επίσης, ισχύει ότι: l,,,,,,,,,,,,,, y x x x x x y x x x x x 0 k l m 0 l k m. c f c gx x x c f x x x c g x x x,,,,,,,,,, 0 m 0 m 0 m όπου c, c είναι σταθερές και f, gσυναρτήσεις.

26 Διαιρεμένες διαφορές Σημείωση Αν η συνάρτηση f x είναι επαρκώς παραγωγίσιμη, τότε η διαιρεμένη διαφορά yx0, x,, x m μπορεί να οριστεί και στην περίπτωση όπου κάποια από τα σημεία x, 0 m συμπίπτουν. Έτσι για παράδειγμα αν υπάρχει η παράγωγος της συνάρτησης στο σημείο μπορεί να οριστεί ότι: x 0, f x y x x f x

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

28 Σχέσεις μεταξύ των διαφορών Στον παρακάτω πίνακα φαίνεται η ταύτιση αυτή. x f 3 f f f x f f f f f f f x f f f f f f f x f f f f x f f f f 3

29 Σχέσεις μεταξύ των διαφορών Θεώρημα 4. Έστω xl x0 lh, l 0 είναι ισαπέχοντα σημεία που απέχουν μεταξύ τους κατά τότε για 0 k ισχύει ότι: k y yx, x,, x k. k hk! h

30 Σχέσεις μεταξύ των διαφορών Απόδειξη: Η απόδειξη θα γίνει επαγωγικά. Για το σκοπό αυτό ελέγχουμε αν ισχύει η σχέση αυτή για οπότε έχουμε ότι: και επομένως η σχέση αυτή ισχύει για Δεχόμαστε ότι η σχέση αυτή ισχύει για και θα δείξουμε ότι ισχύει για m y yx, x,, x m, m h m! k m, k y y y y y x, x, x x h h! k. k m δηλαδή ότι δηλαδή ότι: m y yx, x,, x m, m hm!

31 Σχέσεις μεταξύ των διαφορών συνέχεια απόδειξης: Το πρώτο μέλος της παραπάνω σχέσης γράφεται διαδοχικά: y x, x,, x m,,,,,, y x x x y x x x m m x m m y x, x,, xm y x, x,, x m y y m m mh mh h m! h m! m m m y y y y. m m h m! h m! Από την παραπάνω σχέση τελικά μπορούμε να πάρουμε ότι: m m y yx, x,, x m, m hm! το οποίο είναι το δεύτερο μέλος και έτσι το θεώρημα αποδείχτηκε. x

32 Πεπερασμένες διαφορές σε πολυώνυμο Θα δούμε πώς συμπεριφέρονται οι τιμές στον πίνακα διαφορών, όταν οι συναρτησιακές τιμές f x προέρχονται από ένα πολυώνυμο βαθμού m. Εφαρμογή Θα εξετάσουμε τη συμπεριφορά των τιμών στον πίνακα διαφορών, όταν οι συναρτησιακές τιμές f x προέρχονται 4 από το πολυώνυμο f x x x 0. Παίρνοντας τιμές στα σημεία x Λύση: Για τις τιμές x 0.3, 0.,, 0.3 βρίσκουμε τις αντίστοιχες τιμές f x και σχηματίζουμε τον παρακάτω πίνακα διαφορών.

33 Πεπερασμένες διαφορές σε πολυώνυμο x f x ες διαφ. ες διαφ. 3ες διαφ. 4ες διαφ. 5ες διαφ

34 Πεπερασμένες διαφορές σε πολυώνυμο Σημείωση Οι τιμές των διαφορών στον πίνακα διαφορών εκφράζονται σε ακέραιες μονάδες της τελευταίας δεκαδικής τάξης που διατηρείται. Θεώρημα 4. Οι διαφορές τάξης ενός πολυωνύμου βαθμού έχουν όλες σταθερή τιμή: k : a x a x a x a a k k k k 0 k 0, όπου είναι η διαφορά μεταξύ διαδοχικών τιμών της ανεξάρτητης μεταβλητής x στις οποίες υπολογίζεται το πολυώνυμο. h c k k! a h, k k

35 Πεπερασμένες διαφορές σε πολυώνυμο Εφαρμογή Έστω ότι μας δίνεται το παρακάτω σύνολο τιμών μίας συνάρτησης f x που αντιστοιχούν σε ισαπέχουσες τιμές της ανεξάρτητης μεταβλητής x Με εφαρμογή του Θεωρήματος 4.6 θα προσδιορίσουμε το μικρότερου βαθμού πολυώνυμο που προσαρμόζεται στις δοθείσες τιμές. Λύση: Για τις δοθείσες συναρτησιακές τιμές τον παρακάτω πίνακα διαφορών: x : y f x f x σχηματίζουμε

36 Πεπερασμένες διαφορές σε πολυώνυμο x f x ες διαφορές ες διαφορές

37 Πεπερασμένες διαφορές σε πολυώνυμο συνέχεια λύσης Αφού οι δεύτερες διαφορές είναι όλες ίσες μεταξύ τους, τότε το ζητούμενο πολυώνυμο είναι βαθμού δύο, δηλαδή είναι της μορφής: Επιπλέον, για αυτό το πολυώνυμο με βάση το Θεώρημα 4. πρέπει να ισχύει ότι:! a 0.5.5, και επομένως θα είναι f x a x a x a 0. Μέχρι στιγμής έχουμε βρει ότι το ζητούμενο πολυώνυμο είναι της παρακάτω μορφής: Με τον ίδιο τρόπο θα βρούμε τους συντελεστές a και a. 0 a 3. f x 3 x a x a. 0

38 Πεπερασμένες διαφορές σε πολυώνυμο συνέχεια λύσης Έτσι, αν αφαιρέσουμε από τις δοθείσες συναρτησιακές τιμές f x τις τιμές 3 x, τότε προφανώς οι νέες τιμές θα προέρχονται από το πολυώνυμο a x a. 0 Έτσι κατασκευάζουμε τον εξής πίνακα διαφορών: 3 x f x x ες διαφορές

39 Πεπερασμένες διαφορές σε πολυώνυμο συνέχεια λύσης Οι συναρτησιακές τιμές προέρχονται από κάποιο πολυώνυμο πρώτου βαθμού a x a, 0 αφού οι πρώτες διαφορές είναι όλες ίσες μεταξύ τους. Επιπλέον, για αυτό το πολυώνυμο με βάση το Θεώρημα 4. πρέπει να ισχύει ότι:! a 0.5.5, και επομένως θα είναι a 5. Μέχρι στιγμής έχουμε βρει ότι το ζητούμενο πολυώνυμο είναι της μορφής: f x 3x 5 x a. Στη συνέχεια παρατηρούμε ότι οι συναρτησιακές τιμές είναι όλες ίσες με 0.6. Επομένως το ζητούμενο πολυώνυμο είναι το ακόλουθο: 0 f x 3x 5x 0.6. f x 3x 5x

40 Μετάδοση σφαλμάτων σε πίνακα διαφορών Είναι προφανές ότι αν υπάρχει σφάλμα σε μία ή περισσότερες συναρτησιακές τιμές, τότε το σφάλμα αυτό μεταδίδεται σε περισσότερες από μια τιμές του πίνακα διαφορών. Θα εξετάσουμε πώς μεταδίδεται το σφάλμα που έχει γίνει σε μία συναρτησιακή τιμή στον πίνακα διαφορών. y Θεωρούμε τις τιμές μίας συνάρτησης f x υπολογισμένες για διάφορες τιμές της ανεξάρτητης μεταβλητής Υποθέτουμε ότι σε μία από αυτές, έστω την υπάρχει ένα σφάλμα Ο παρακάτω πίνακας μας δείχνει πως μεταδίδεται το σφάλμα αυτό. Ο πίνακας δεν περιέχει τις τιμές των διαφορών. Σε έναν πίνακα διαφορών τα σφάλματα αυτά πρέπει να προστεθούν στις αντίστοιχες τιμές. x. x y.

41 Μετάδοση σφαλμάτων σε πίνακα διαφορών ες διαφ. ες διαφ. 3ες διαφ. 4ες διαφ. x f x x y x y x y x y x y

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

43 Μετάδοση σφαλμάτων σε πίνακα διαφορών Εφαρμογή Θα εξετάσουμε τη συμπεριφορά των τιμών στον πίνακα διαφορών, όταν οι συναρτησιακές τιμές προέρχονται από 3 το πολυώνυμο f x x 8x 4x, παίρνοντας τιμές στα σημεία x και θεωρώντας ότι, όταν το x 0.4, η αντίστοιχη τιμή έχει ένα σφάλμα Με βάση τη συμπεριφορά των τιμών στον πίνακα διαφορών θα γίνουν εμφανή η προέλευση και η τιμή του σφάλματος. Λύση: Για τις τιμές x 0, 0.,, 0.9 βρίσκουμε τις αντίστοιχες τιμές f x και λαμβάνουμε υπόψη το σφάλμα στην f 0.4, δηλαδή αντί για παίρνουμε f f Με βάση αυτά σχηματίζουμε τον παρακάτω πίνακα διαφορών.

44 x f x 0 ες διαφ. ες διαφ. 3ες διαφ. 4ες διαφ

45 Μετάδοση σφαλμάτων σε πίνακα διαφορών συνέχεια λύσης Εφόσον οι διαφορές τέταρτης τάξης δεν είναι όλες ίσες με το μηδέν, τότε αυτές θα πρέπει να είναι πολλαπλάσιες των διωνυμικών συντελεστών, 4, 6, 4,. Με βάση αυτό μπορούμε να υπολογίσουμε το σφάλμα ως εξής: Αφού έχουμε τιμή στην τέταρτης τάξης διαφορά 0.00, τότε θα πρέπει να ισχύει 0.00, δηλαδή το σφάλμα είναι Αφού έχουμε μία διαφορά που έχει το μεγαλύτερο απόλυτο σφάλμα 0.0, τότε το μεμονωμένο σφάλμα αντιστοιχεί σε εκείνη την τιμή της συνάρτησης που βρίσκεται στην ίδια οριζόντια γραμμή με τη διαφορά αυτή και επομένως αντιστοιχεί στην f 0.4.

46 Μετάδοση σφαλμάτων σε πίνακα διαφορών Σφάλματα στρογγυλοποίησης συναρτησιακών τιμών Υποθέτουμε ότι οι συναρτησιακές τιμές είναι υπολογισμένες σε ισαπέχοντα σημεία και έχουν στρογγυλοποιηθεί σε δεκαδικά ψηφία. 0 Δηλαδή, αν δηλώνει το σφάλμα στρογγυλοποίησης που αντιστοιχεί στην ακριβή συναρτησιακή τιμή με αντίστοιχη προσεγγιστική τιμή y ισχύει: 0 0 k y y. y, k

47 Μετάδοση σφαλμάτων σε πίνακα διαφορών Στη συνέχεια, αν παριστάνει το σφάλμα που αντιστοιχεί στην ακριβή τιμή της πρώτης διαφοράς με αντίστοιχη προσεγγιστική τιμή ισχύει: Με βάση τα παραπάνω ισχύει ότι: y, y y y y y y y y y y y k k 0 0.

48 Μετάδοση σφαλμάτων σε πίνακα διαφορών m Αν παριστάνει το σφάλμα που αντιστοιχεί στην ακριβή τιμή της τάξης διαφοράς με αντίστοιχη προσεγγιστική τιμή m y, θα ισχύει ότι: m Με βάση τα παραπάνω ισχύει ότι και επομένως έχουμε: m y y y y y y y m m m m m m m m m y y y y m m m m. m m m, m m m m k m k 0 0.

49 Μετάδοση σφαλμάτων σε πίνακα Εφαρμογή διαφορών Θα εξετάσουμε τη συμπεριφορά των τιμών στον πίνακα διαφορών όταν οι συναρτησιακές τιμές προέρχονται από το πολυώνυμο 3 f x x 8x 6, παίρνοντας τιμές στα σημεία x 0.3 και θεωρώντας ότι οι συναρτησιακές τιμές έχουν στρογγυλοποιηθεί σε δύο δεκαδικά ψηφία. Επίσης θα βρούμε ένα άνω φράγμα για το απόλυτο σφάλμα στις διαφορές τετάρτης τάξης της συνάρτησης.

50 Μετάδοση σφαλμάτων σε πίνακα διαφορών Λύση: Τα σφάλματα στρογγυλοποίησης που υπάρχουν στις τιμές θα ικανοποιούν τη σχέση: 0 0. Συνεπώς, για τα σφάλματα στις διαφορές τέταρτης τάξης της συνάρτησης θα ισχύει: Για τις τιμές x.0,.,, 3.0 βρίσκουμε τις αντίστοιχες τιμές y f x και στρογγυλοποιούμε τις τιμές αυτές σε δύο δεκαδικά ψηφία για να πάρουμε τις προσεγγιστικές τιμές y. Με βάση αυτά σχηματίζουμε τον παρακάτω πίνακα διαφορών:

51 Μετάδοση σφαλμάτων σε πίνακα διαφορών x y f x y ες διαφ. ες διαφ. 3ες διαφ. 4ες διαφ

52 Μετάδοση σφαλμάτων σε πίνακα συνέχεια λύσης διαφορών Οι διαφορές τέταρτης τάξης θα είναι ίσες με y y Όμως σύμφωνα με το Θεώρημα 4. ισχύει ότι y 0 και έτσι 4 4 έχουμε y. Επομένως, οι τέταρτες διαφορές του παραπάνω πίνακα αποτελούνται από τα σφάλματα που προέρχονται από τα σφάλματα στρογγυλοποίησης στις συναρτησιακές τιμές. Με βάση αυτό οι τέταρτες διαφορές του παραπάνω πίνακα θα πρέπει να φράζονται από τον αριθμό

53 Γραμμικοί τελεστές διαφορών Οι τελεστές, και ονομάζονται γραμμικοί τελεστές διαφορών, επειδή ικανοποιούν τη σχέση: T c f x c g x c Tf x c Tg x, όπου είναι ένας από τους τελεστές αυτούς, και είναι σταθερές και, και g x συναρτήσεις του T c f x x. c

54 Γραμμικοί τελεστές διαφορών Ορισμός 4.8 Ορίζουμε τον τελεστή μετατόπισης που σημειώνεται ως από τους παρακάτω τύπους: και E Ef x f x h ή Ey y, ή E k f x E E k f x E k y E E k y Από τις παραπάνω σχέσεις μπορεί εύκολα να προκύψει ότι για ισαπέχοντα σημεία ισχύει η σχέση:, k E f x f x kh ή ότι για τυχαία σημεία ισχύει η σχέση: k E y y k..

55 Γραμμικοί τελεστές διαφορών Ορισμός 4.9 Ορίζουμε τον ταυτοτικό τελεστή που σημειώνεται ως..από I την παρακάτω σχέση: και ορίζουμε ότι: If x f x, E I. Ορισμός 4.0 Ορίζουμε τον τελεστή της μέσης τιμής ο οποίος συμβολίζεται με και ορίζεται ως εξής: h h f x, f x f x E E έτσι ώστε για παράδειγμα με αυτόν τον τελεστή να έχουμε: f f f 0, και f f f 0.

56 Γραμμικοί τελεστές διαφορών Ορισμός 4. Ο τελεστής της παραγώγου συμβολίζεται με και ορίζεται από την παρακάτω σχέση: Df x x. Ορισμός 4. Δύο τελεστές και καλούνται ίσοι T T, όταν για κάθε συνάρτηση f x και για κάθε σημείο του πεδίου ορισμού της ισχύει: Ο τελεστής είναι το άθροισμα ή η διαφορά δύο άλλων τελεστών και T όταν για κάθε συνάρτηση f x και για κάθε σημείο του πεδίου ορισμού αυτής ισχύουν αντίστοιχα οι σχέσεις: T T df dx T T T f x T f x., Tf x T f x T f x Tf x T f x T f x. x D x

57 Γραμμικοί τελεστές διαφορών Ορισμός 4. Ο τελεστής είναι το γινόμενο δύο άλλων τελεστών και T TT, όταν για κάθε συνάρτηση f x και για κάθε σημείο του πεδίου ορισμού αυτής ισχύουν αντίστοιχα οι σχέσεις: T T Ο τελεστής είναι ο μοναδιαίος τελεστής, όταν για κάθε συνάρτηση f x και για κάθε σημείο του πεδίου ορισμού της ισχύει: I Tf x T T f x Ο τελεστής I συμβολίζεται και με τον αριθμό.. x If x f x. T x

58 Γραμμικοί τελεστές διαφορών Ορισμός 4. Ο τελεστής είναι ο δεξιός αντίστροφος του τελεστή όταν ισχύει η σχέση TT. T Ο δεξιός αντίστροφος συμβολίζεται με Αν συμβαίνει ο δεξιός αντίστροφος του να είναι συγχρόνως και αριστερός αντίστροφος του T, δηλαδή αν ισχύει η σχέση T T, τότε ο καλείται αντίστροφος του T. Σε αυτήν την περίπτωση ισχύει η αντιμεταθετική ιδιότητα μεταξύ των και T, δηλαδή ισχύει η σχέση: T T T T T TT T. T. T T

59 Γραμμικοί τελεστές διαφορών Παρατήρηση Οι γραμμικοί τελεστές,,, E και D έχουν δεξιό αντίστροφο και μόνο ο έχει αντίστροφο. E Επίσης, και οι πέντε γραμμικοί τελεστές υπακούουν τους νόμους της Άλγεβρας με εξαίρεση την ιδιότητα του αντιστρόφου. Ο λογισμός αυτός λέγεται λογισμός των τελεστών και οι μέθοδοι που χρησιμοποιούνται λέγονται συμβολικές μέθοδοι.

60 Γραμμικοί τελεστές διαφορών Εφαρμογή Χρησιμοποιώντας λογισμό τελεστών θα δείξουμε ότι ισχύει η παρακάτω σχέση τελεστών: Λύση: Από τον ορισμό του τελεστή Επομένως, ισχύει ότι E I. έχουμε: Ef x If x E I f x. f x f x h f x E I.

61 Γραμμικοί τελεστές διαφορών Σχέσεις μεταξύ των τελεστών E D hd E e 4 E e 4 hd hd E E snh E D 4 h h h h log log snh log E e hd

62 Στοιχεία εξισώσεων διαφορών Οι εξισώσεις διαφορών παίζουν σημαντικό ρόλο στην ανάλυση των αριθμητικών μεθόδων επίλυσης διαφορικών εξισώσεων. Η τυπική διαφορά μεταξύ διαφορικών εξισώσεων και εξισώσεων διαφορών είναι ότι στις εξισώσεις διαφορών οι άγνωστοι δεν είναι συναρτήσεις, αλλά ακολουθίες σημείων. Ορισμός 4.3 Εξίσωση διαφορών λέγεται μία εξίσωση που περιέχει διαφορές. Παράδειγμα Η παρακάτω εξίσωση y y y από την οποία μπορούμε να πάρουμε ότι: y y y αποτελεί μία εξίσωση διαφορών. 0, 0,

63 Στοιχεία εξισώσεων διαφορών Γενικά, οι εξισώσεις διαφορών γράφονται συνήθως με τα όπως για παράδειγμα: y a y όπου και είναι γνωστές συναρτήσεις του a, Ορισμός 4.4 Εξίσωση διαφορών είναι μια σχέση μεταξύ των τιμών μίας συνάρτησης ορισμένη για διακεκριμένες τιμές του ορίσματος y Ορισμός 4.5 Λύση μιας εξίσωσης διαφορών είναι μια ακολουθία τιμών που ικανοποιούν την εξίσωση για ένα σύνολο διαδοχικών τιμών του y. x.. Ορισμός 4.6 Τάξη μιας εξίσωσης διαφορών είναι η διαφορά μεταξύ του μεγαλύτερου και του μικρότερου δείκτη (τιμών του ) της εξίσωσης. y,

64 Στοιχεία εξισώσεων διαφορών Παράδειγμα Για τις παρακάτω εξισώσεις διαφορών: y y, για όλα τα, y y 0, για όλα τα 0, μπορούμε να δούμε, με απευθείας αντικατάσταση, ότι οι εξισώσεις αυτές έχουν τις παρακάτω λύσεις αντίστοιχα: y c, για όλα τα, y c!, για όλα τα 0, όπου c είναι μια αυθαίρετη σταθερά.

65 Στοιχεία εξισώσεων διαφορών Ομογενείς γραμμικές εξισώσεις διαφορών τάξης συντελεστές y a y a0 y n n n με σταθερούς Θα αναζητήσουμε λύσεις της μορφής y, για όλα τα. Αν αντικαταστήσουμε τις λύσεις αυτές στην παραπάνω εξίσωση θα πάρουμε: n n an a Αν διαιρέσουμε με παίρνουμε τη χαρακτηριστική εξίσωση: n n a a n η οποία αποτελεί ένα πολυώνυμο βαθμού n. n

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

67 Στοιχεία εξισώσεων διαφορών Εφαρμογή Έστω ότι μας δίνεται η εξίσωση διαφορών: y y y y 0, με τις αρχικές συνθήκες y0 0, y και y. Θα βρούμε τη λύση της εξίσωσης αυτής σε κλειστή μορφή για όλες τις διαδοχικές τιμές των. Λύση: Η δοθείσα εξίσωση διαφορών είναι τρίτης τάξης και η χαρακτηριστική εξίσωση διαφορών είναι: 3 0. Οι ρίζες του πολυωνύμου αυτού είναι οι, και. Επομένως, η γενική λύση της εξίσωση διαφορών είναι 3 c y c c c y c c 3 ή

68 Στοιχεία εξισώσεων διαφορών συνέχεια λύσης Χρησιμοποιώντας τη σχέση 4.5 και τις αρχικές συνθήκες για 0,,, αποκτάμε το ακόλουθο σύστημα γραμμικών εξισώσεων για τις σταθερές c, c, c : 3 c c c 0, Έτσι, η έκφραση 3 c c c3, c c c3, 4 η λύση του οποίου είναι c 5 6, c 6, c y αποτελεί τη ζητούμενη λύση. 3

69 Στοιχεία εξισώσεων διαφορών Αν το χαρακτηριστικό πολυώνυμο έχει ένα ζεύγος συζυγών μιγαδικών ριζών, τότε μπορούμε επίσης να εκφράσουμε τη λύση σε πραγματική μορφή. Έτσι, αν a j και a j μπορούμε να εκφράσουμε τα.. j j.. σε πολική μορφή: re, re, όπου r a και arctan a., Τότε η λύση της 4. που αντιστοιχεί σε αυτό το ζεύγος ριζών είναι: c c c r e c r e j j cos sn cos sn cos sn, r c j c j r όπου c c και c c j.

70 Στοιχεία εξισώσεων διαφορών Αν είναι διπλή ρίζα του χαρακτηριστικού πολυωνύμου 4.3 τότε μια δεύτερη λύση αυτού είναι η Για αν επαληθεύσουμε ότι η είναι λύση, αντικαθιστούμε στην 4. και βρίσκουμε ότι: αφού n a n a n n. n n n 0 n n n n a a0 n a n a 0, 0. Μπορεί να δειχτεί ότι όλες αυτές οι λύσεις δηλαδή οι και είναι γραμμικά ανεξάρτητες. y

71 Στοιχεία εξισώσεων διαφορών Γενική λύση μη ομογενούς γραμμικής εξίσωσης διαφορών με σταθερούς συντελεστές y a y a y b n n n 0, Η γενική λύση μπορεί να γραφεί στη μορφή: y y y, όπου είναι η γενική λύση της ομογενούς και είναι μια μερική λύση. y Στην ειδική περίπτωση όπου b b είναι σταθερά, μια μερική λύση M μπορεί να δημιουργηθεί θέτοντας y A(μια σταθερά) και αντικαθιστώντας όπου y A προσδιορίζοντας έτσι το b A, a a n 0 λαμβάνοντας υπόψη ότι το άθροισμα των συντελεστών δεν είναι μηδέν. y