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

Σχετικά έγγραφα
Πεπερασμένες Διαφορές.

Πρόβλημα δύο σημείων. Κεφάλαιο Διακριτοποίηση

Πεπερασμένες διαφορές για την ελλειπτική εξίσωση στις δύο διαστάσεις

Η μέθοδος των πεπερασμένων διαφορών για την εξίσωση θερμότητας

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

Η μέθοδος των πεπερασμένων στοιχείων για την εξίσωση της θερμότητας

ΕΙΣΑΓΩΓΗ ΣΤΗ ΒΕΛΤΙΣΤΟΠΟΙΗΣΗ ΣΥΣΤΗΜΑΤΩΝ

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

Αριθμητικές Μέθοδοι σε Προγραμματιστικό Περιβάλλον

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

Ύπαρξη και Mοναδικότητα Λύσης Μη γραμμικών ΔΕ

ΜΕΜ251 Αριθμητική Ανάλυση

Παράγωγος πραγματικής συνάρτησης

Εξίσωση μεταφοράς. Κεφάλαιο Μέθοδοι upwind και downwind

f(x) = και στην συνέχεια

2ο Επαναληπτικό διαγώνισμα στα Μαθηματικά κατεύθυνσης της Γ Λυκείου Θέμα A

Κεφ. 6Β: Συνήθεις διαφορικές εξισώσεις (ΣΔΕ) - προβλήματα αρχικών τιμών

Αριθμητικές Μέθοδοι σε Προγραμματιστικό Περιβάλλον

Κεφάλαιο 11. Πολυώνυμα Taylor Ορισμός

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

Μαθηματικά. Ενότητα 2: Διαφορικός Λογισμός. Σαριαννίδης Νικόλαος Τμήμα Διοίκησης Επιχειρήσεων (Κοζάνη)

Εισαγωγή στον Προγραµµατισµό. Ανάλυση (ή Επιστηµονικοί 19Υπολογισµοί)

MEM 253. Αριθμητική Λύση ΜΔΕ * * *

Κεφ. 7: Συνήθεις διαφορικές εξισώσεις (ΣΔΕ) - προβλήματα αρχικών τιμών

Αριθμητικές Μέθοδοι σε Προγραμματιστικό Περιβάλλον

Κεφάλαιο 3 ΠΑΡΑΓΩΓΟΣ. 3.1 Η έννοια της παραγώγου. y = f(x) f(x 0 ), = f(x 0 + x) f(x 0 )

Περίληψη μαθημάτων Ι. ΣΥΝΑΡΤΗΣΕΙΣ. Με N θα συμβολίζουμε το σύνολο των φυσικών αριθμών, δηλ. N = {1, 2, 3, 4, }.

Η μέθοδος των πεπερασμένων στοιχείων για το πρόβλημα δύο σημείων

Αριθμητική εύρεση ριζών μη γραμμικών εξισώσεων

Αριθμητική Ολοκλήρωση της Εξίσωσης Κίνησης

1ο τεταρτημόριο x>0,y>0 Ν Β

Aριθμητική Ανάλυση, 4 ο Εξάμηνο Θ. Σ. Παπαθεοδώρου

V. Διαφορικός Λογισμός. math-gr

ΚΕΦΑΛΑΙΟ 3ο: ΔΙΑΦΟΡΙΚΟΣ ΛΟΓΙΣΜΟΣ ΕΝΟΤΗΤΑ 5: ΘΕΩΡΗΜΑ ROLLE [Θεώρημα Rolle του κεφ.2.5 Μέρος Β του σχολικού βιβλίου]. ΠΑΡΑΔΕΙΓΜΑΤΑ

Αριθµητική Ολοκλήρωση

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

1.1 Βασικές Έννοιες των Διαφορικών Εξισώσεων

ΕΡΩΤΗΣΕΙΣ ΜΑΘΗΤΩΝ. Ερώτηση 1. Αν το x o δεν ανήκει στο πεδίο ορισμού μιας συνάρτησης f, έχει νόημα να μιλάμε για παράγωγο της f. στο x = x o?

ΚΕΦΑΛΑΙΟ 3ο: ΔΙΑΦΟΡΙΚΟΣ ΛΟΓΙΣΜΟΣ ΕΝΟΤΗΤΑ 3: ΕΦΑΠΤΟΜΕΝΗ [Κεφάλαιο 2.1: Πρόβλημα εφαπτομένης του σχολικού βιβλίου]. ΠΑΡΑΔΕΙΓΜΑΤΑ ΘΕΜΑ Β

ΜΑΘΗΜΑΤΙΚΑ 5 ΠΕΡΙΟΔΩΝ ΗΜΕΡΟΜΗΝΙΑ: 8 ΙΟΥΝΙΟΥ 2009

Ξέρουμε ότι: Συνάρτηση-απεικόνιση με πεδίο ορισμού ένα σύνολο Α και πεδίο τιμών ένα σύνολο Β είναι κάθε μονοσήμαντη απεικόνιση f του Α στο Β.

Η Γεωμετρία της Αντιστροφής Η βασική θεωρία. Αντιστροφή

ΚΕΦΑΛΑΙΟ 3ο: ΔΙΑΦΟΡΙΚΟΣ ΛΟΓΙΣΜΟΣ ΕΝΟΤΗΤΑ 5: ΘΕΩΡΗΜΑ ROLLE [Θεώρημα Rolle του κεφ.2.5 Μέρος Β του σχολικού βιβλίου]. ΣΗΜΕΙΩΣΕΙΣ

2.1 Αριθμητική επίλυση εξισώσεων

1. ** Αν F είναι µια παράγουσα της f στο R, τότε να αποδείξετε ότι και η

Non Linear Equations (2)

1 Επανάληψη εννοιών από τον Απειροστικό Λογισμό

1 Arq thc Majhmatik c Epagwg c

ΕΙΣΑΓΩΓΗ ΣΤΗ ΒΕΛΤΙΣΤΟΠΟΙΗΣΗ ΣΥΣΤΗΜΑΤΩΝ

Κεφάλαιο 1. Αριθµητική ολοκλήρωση συνήθων διαφορικών εξισώσεων και συστηµάτων

1,2,3,7. i. f(x) = x x, x [1, 3] ii. f(x) = { x2 + 2x + 3, x < 1. iii. f(x) = x x. iv. f(x) = { x ln(x), 0 < x 1. cx 2 + 4x + 4, 0 x 1. Rolle.

Η Θεωρία στα Μαθηματικά κατεύθυνσης της Γ Λυκείου

Τίτλος Μαθήματος: Μαθηματική Ανάλυση Ενότητα Β. Διαφορικός Λογισμός

Θεώρημα Bolzano. Γεωμετρική Ερμηνεία του θ.bolzano. Θ. Bolzano και ύπαρξη ρίζας

ΚΕΦΑΛΑΙΟ 2 ΜΗ ΓΡΑΜΜΙΚΕΣ ΕΞΙΣΩΣΕΙΣ

(a + b) + c = a + (b + c), (ab)c = a(bc) a + b = b + a, ab = ba. a(b + c) = ab + ac

Για την κατανόηση της ύλης αυτής θα συμβουλευθείτε επίσης το: βοηθητικό υλικό που υπάρχει στη

ΚΕΦΑΛΑΙΟ 1ο: ΔΙΑΦΟΡΙΚΟΣ ΛΟΓΙΣΜΟΣ ΕΝΟΤΗΤΑ 3: ΟΡΙΑ - ΣΥΝΕΧΕΙΑ ΣΥΝΑΡΤΗΣΗΣ

Χρήστος Ι. Σχοινάς Αν. Καθηγητής ΔΠΘ. Συμπληρωματικές σημειώσεις για το μάθημα: «Επιχειρησιακή Έρευνα ΙΙ»

KEΦΑΛΑΙΟ 1ο : Διαφορικός Λογισμός

qwertyuiopasdfghjklzxcvbnmq ertyuiopasdfghjklzxcvbnmqwer tyuiopasdfghjklzxcvbnmqwerty uiopasdfghjklzxcvbnmqwertyui opasdfghjklzxcvbnmqwertyuiop

EukleÐdeiec emfuteôseic: ˆnw frˆgmata

Τίτλος Μαθήματος: Μαθηματική Ανάλυση Ενότητα Β. Διαφορικός Λογισμός

ΤΕΧΝΟΛΟΓΙΑ ΛΟΓΙΣΜΙΚΟΥ Ι

Κεφάλαιο 0: Εισαγωγή

Λογισμός 3. Ενότητα 18: Θεώρημα Πεπλεγμένων (Ειδική περίπτωση) Μιχ. Γ. Μαριάς Τμήμα Μαθηματικών ΑΝΟΙΚΤΑ ΑΚΑ ΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ

ΔΙΑΝΥΣΜΑΤΙΚΕΣ ΣΥΝΑΡΤΗΣΕΙΣ

dy df(x) y= f(x) y = f (x), = dx dx θ x m= 1

Εισαγωγή. Κεφάλαιο Διαφορικές εξισώσεις

ΚΕΦΑΛΑΙΟ 1 ο : ΟΡΙΟ ΣΥΝΕΧΕΙΑ ΣΥΝΑΡΤΗΣΗΣ

ΑΝΑΛΥΣΗ 2. Μ. Παπαδημητράκης.

Επιστηµονικός Υπολογισµός Ι

ΑΝΟΙΚΤΑ ΑΚΑ ΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ. Λογισμός 3. Ενότητα 7: Κλίση και παράγωγος. Μιχ. Γ. Μαριάς Τμήμα Μαθηματικών

ΤΕΧΝΟΛΟΓΙΚΟ ΕΚΠΑΙΔΕΥΤΙΚΟ ΙΔΡΥΜΑ ΚΕΝΤΡΙΚΗΣ ΜΑΚΕΔΟΝΙΑΣ ΣΧΟΛΗ ΤΜΗΜΑ. Μαθηματικά 2. Σταύρος Παπαϊωάννου

ΕΦΑΠΤΟΜΕΝΗ ΓΡΑΦΙΚΗΣ ΠΑΡΑΣΤΑΣΗΣ ΣΥΝΑΡΤΗΣΗΣ

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ (ΗΥ-119)

ΛΟΓΙΣΜΟΣ ΕΝΟΤΗΤΑ 7: ΣΥΝΕΠΕΙΕΣ ΘΕΩΡΗΜΑΤΟΣ ΜΕΣΗΣ ΤΙΜΗΣ

Θέματα Εξετάσεων Σεπτεμβρίου 2012:

ΑΠΑΝΤΗΣΕΙΣ ΘΕΜΑΤΩΝ ΑΝΑΛΥΣΗΣ ΙΙ, ΣΕΜΦΕ (1/7/ 2013) y x + y.

Για να εκφράσουμε τη διαδικασία αυτή, γράφουμε: :

ΘΕΩΡΗΜΑ ROLLE ΘΕΩΡΗΜΑ ROLLE

4. ΚΕΦΑΛΑΙΟ ΕΦΑΡΜΟΓΕΣ ΤΟΥ ΜΕΤΑΣΧΗΜΑΤΙΣΜΟΥ FOURIER

αβ (, ) τέτοιος ώστε f(x

ẋ = f(x), x = x 0 όταν t = t 0,

ΚΕΦΑΛΑΙΟ 4ο: ΟΛΟΚΛΗΡΩΤΙΚΟΣ ΛΟΓΙΣΜΟΣ ΕΝΟΤΗΤΑ 1: ΠΑΡΑΓΟΥΣΑ ΣΥΝΑΡΤΗΣΗ [Αρχική Συνάρτηση του κεφ.3.1 Μέρος Β του σχολικού βιβλίου].

ΑΝΟΙΚΤΑ ΑΚΑ ΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ. Λογισμός 3. Ενότητα 13: Τύπος του Taylor. Μιχ. Γ. Μαριάς Τμήμα Μαθηματικών

1.1. Διαφορική Εξίσωση και λύση αυτής

Μαθηματικά Θετικής και Τεχνολογικής Κατεύθυνσης Γ Λυκείου ΚΥΡΤΟΤΗΤΑ - ΣΗΜΕΙΑ ΚΑΜΠΗΣ ΣΥΝΑΡΤΗΣΗΣ

Συμπεριφορά συναρτήσεως σε κλειστές φραγμένες περιοχές. (x 0, y 0, f(x 0, y 0 ) z = L(x, y)

ΛΟΓΙΣΜΟΣ ΕΝΟΤΗΤΑ 6: ΘΕΩΡΗΜΑ ΜΕΣΗΣ ΤΙΜΗΣ ΔΙΑΦΟΡΙΚΟΥ ΛΟΓΙΣΜΟΥ (Θ.Μ.Τ.)

1 Αριθμητική κινητής υποδιαστολής και σφάλματα στρογγύλευσης

Μαθηματικά. Ενότητα 7: Μη Πεπερασμένα Όρια. Σαριαννίδης Νικόλαος Τμήμα Λογιστικής και Χρηματοοικονομικής

Κατηγορία 1 η. Σταθερή συνάρτηση Δίνεται παραγωγίσιμη συνάρτηση f : 0, f '( x) 0 για κάθε εσωτερικό σημείο x του Δ

ΕΙΣΑΓΩΓΗ ΣΤΗ ΒΕΛΤΙΣΤΟΠΟΙΗΣΗ ΣΥΣΤΗΜΑΤΩΝ

Περιεχόμενα. Κεφάλαιο 1 ΣΥΣΤΗΜΑΤΑ ΣΥΝΤΕΤΑΓΜΕΝΩΝ ΣΕ ΜΙΑ ΕΥΘΕΙΑ Οι συντεταγμένες ενός σημείου Απόλυτη τιμή...14

ΜΕΤΑΠΤΥΧΙΑΚΗ ΔΙΠΛΩΜΑΤΙΚΗ ΕΡΓΑΣΙΑ. Κωνσταντίνος Ξ. Τσιόκας. Αν. Καθηγήτρια Α.Π.Θ.

Συνήθεις Διαφορικές Εξισώσεις Ι Το πρόβλημα αρχικών τιμών. Προκαταρκτικά. Το πρόβλημα αρχικών τιμών μιας σδε πρώτης τάξης

Κεφάλαιο 5. Το Συμπτωτικό Πολυώνυμο

ΜΑΘΗΜΑΤΙΚΑ Γ ΛΥΚΕΙΟΥ ΘΕΤΙΚΩΝ ΣΠΟΥΔΩΝ ΚΑΙ ΣΠΟΥΔΩΝ ΟΙΚΟΝΟΜΙΑΣ ΚΑΙ ΠΛΗΡΟΦΟΡΙΚΗΣ. Παύλος Βασιλείου

Αριθμητική παραγώγιση εκφράσεις πεπερασμένων διαφορών

Transcript:

Κεφάλαιο 2 Πεπερασμένες διαφορές Αυτό το κεφάλαιο αποτελεί μια εισαγωγή στο αντικείμενο των πεπερασμένων διαφορών για την επίλυση διαφορικών εξισώσεων. Θα εισαγάγουμε ποσότητες που προκύπτουν από διαφορές τιμών μιας πραγματικής διαφορίσιμης συνάρτησης f μιας μεταβλητής για την προσέγγιση παραγώγων της f. Επίσης, θα εκτιμήσουμε το σφάλμα που προκύπτει από αυτή την προσέγγιση. 2.1 Προσέγγιση πρώτης παραγώγου Από τον ορισμό της παραγώγου για συναρτήσεις μιας μεταβλητής γνωρίζουμε ότι η παράγωγος μιας συνάρτησης f :[a, b] R σε ένα σημείο x 0 (a, b) ορίζεται ως f f(x 0 + ) f(x 0 ) (x 0 )= lim. 0 Χρησιμοποιώντας αυτόν τον ορισμό μπορούμε να προσεγγίσουμε την τιμή της f (x 0 ) με τον ακόλουθο λόγο, για μικρές τιμές, f (x 0 ) f(x 0 + ) f(x 0 ), > 0. Με τον ίδιο τρόπο, μπορούμε να προσεγγίσουμε την f (x 0 ) με τον ακόλουθο λόγο, f (x 0 ) f(x 0 ) f(x 0 ) = f(x 0) f(x 0 ), > 0, για μικρές τιμές. Θα καλούμε τον πρώτο λόγο διαφορά προς τα εμπρός και τον δεύτερο λόγο διαφορά προς τα πίσω και θα χρησιμοποιήσουμε τον ακόλουθο συμβολισμό 21

22 ΚΕΦΑΛΑΙΟ 2. ΠΕΠΕΡΑΣΜΕΝΕΣ ΔΙΑΦΟΡΕΣ δ + f(x 0) f(x 0 + ) f(x 0 ), > 0, δ f(x 0) f(x 0) f(x 0 ), > 0. (2.1) Γεωμετρική ερμηνεία Μια γεωμετρική ερμηνεία γιατί οι διαφορές δ + f(x 0) και δ f(x 0) προσεγγίζουν την f (x 0 ) είναι η ακόλουθη. Επειδή η παράγωγος μιας συνάρτησης f στο σημείο x 0 είναι η κλίση της ευθείας y που εφάπτεται του γραφήματος της f στο σημείο (x 0,f(x 0 )), μπορούμε να την προσεγγίσουμε με την κλίση της ευθείας ỹ η οποία διέρχεται από τα σημεία (x 0,f(x 0 )) και (x 0 +, f(x 0 + )), βλέπε το Σχήμα 2.1. Παρόμοια ισχύουν και για την κλίση της ευθείας ŷ που διέρχεται από τα σημεία (x 0, f(x 0 )), και (x 0,f(x 0 )), βλέπε το Σχήμα 2.2. f f (x 0), f (x 0 + ) ỹ y f (x0+ ) f (x0) f (x 0 ) x 0 x 0 + Σχήμα 2.1: Γεωμετρική ερμηνεία της δ + f(x 0). Η ευθεία y που έχει κλίση f (x 0 ) και διέρχεται από το (x 0,f(x 0 )) και η ευθεία ỹ που έχει κλίση f(x 0 + ) f(x 0 ). Ένας άλλος τρόπος προσέγγισης της f (x 0 ), είναι η κεντρική διαφορά, η οποία ορίζεται από τον ακόλουθο λόγο, για μικρές τιμές, f (x 0 ) f(x 0 + ) f(x 0 ), > 0. 2

2.1. ΠΡΟΣΕΓΓΙΣΗ ΠΡΩΤΗΣ ΠΑΡΑΓΩΓΟΥ 23 f f (x 0 ), f (x 0) f (x 0 ) ŷ y f (x0) f (x0 ) x 0 x 0 Σχήμα 2.2: Γεωμετρική ερμηνεία της δ f(x 0). Η ευθεία y που έχει κλίση f (x 0 ) και διέρχεται από το (x 0,f(x 0 )) και η ευθεία ŷ που έχει κλίση f(x 0) f(x 0 ). Θα τη συμβολίζουμε με δ c f(x 0) f(x 0 + ) f(x 0 ), > 0. (2.2) 2 Ανάλογη γεωμετρική ερμηνεία με αυτή για τις δ + f(x 0) και δ f(x 0) υπάρχει και για την δ cf(x 0). Στο Σχήμα 2.3 απεικονίζουμε την ευθεία ȳ που διέρχεται από τα σημεία (x 0, f(x 0 )) και (x 0 +, f(x 0 + )), και της οποίας η κλίση προσεγγίζει την κλίση της εφαπτομένης του γραφήματος της f στο (x 0,f(x 0 )). Οι διαφορές δ + f(x), δ f(x) και δc f(x) για την προσέγγιση παραγώγων μιας συνάρτησης f καλούνται και πεπερασμένες διαφορές. Μια φυσική ερώτηση που τίθεται είναι πόσο καλές είναι αυτές οι προσεγγίσεις για την εκτίμηση της παραγώγου. Ας θεωρήσουμε τη συνάρτηση f(x) =ln(x) και το σημείο x 0 =1.1. Στον Πίνακα 2.1 δίνουμε τις τιμές των παραπάνω προσεγγίσεων για την f (1.1) = 1/1.1 0.90909. Παρατηρούμε λοιπόν ότι, καθώς η απόσταση των σημείων που χρησιμοποιούμε για να υπολογίσουμε τις δ + f(1.1), δ f(1.1) και δc f(1.1) μικραίνει, τόσο πλησιάζουμε την τιμή της παραγώγου. Μάλιστα, στο ακόλουθο λήμμα δείχνουμε ότι το σφάλμα της προσέγγισης θα τείνει στο μηδέν, καθώς η απόσταση τείνει στο μηδέν, αν η συνάρτηση f είναι κατάλληλα ομαλή. Λήμμα 2.1. Έστω f :[a, b] R, f C 2 [a, b], x 0 (a, b) και >0, τέτοιο ώστε

24 ΚΕΦΑΛΑΙΟ 2. ΠΕΠΕΡΑΣΜΕΝΕΣ ΔΙΑΦΟΡΕΣ f f (x 0 ), f (x 0 + ) ȳ y f (x 0 ) f (x0+ ) f (x0 ) 2 x 0 x 0 x 0 + Σχήμα 2.3: Γεωμετρική ερμηνεία της δ cf(x 0). Η ευθεία y που έχει κλίση f (x 0 ) και διέρχεται από το (x 0,f(x 0 )) και η ευθεία ȳ που έχει κλίση f(x 0 + ) f(x 0 ). 2 δ + f(1.1) δ f(1.1) δc f(1.1) 0.50 0.74939 1.21227 0.98083 0.10 0.87011 0.95310 0.91161 0.05 0.88904 0.93040 0.90972 0.01 0.90498 0.91325 0.90912 Πίνακας 2.1: Τιμές των προσεγγίσεων της f (1.1) = 1/1.1 0.90909. x 0 ± [a, b]. Τότε ισχύουν οι ακόλουθες εκτιμήσεις: δ + f(x 0) f (x 0 ) 2 max x [a,b] f (x), δ f(x 0) f (x 0 ) 2 max x [a,b] f (x). (2.3) Αν επιπλέον f C 3 [a, b], τότε δ c f(x 0) f (x 0 ) 2 6 max x [a,b] f (x). (2.4)

2.1. ΠΡΟΣΕΓΓΙΣΗ ΠΡΩΤΗΣ ΠΑΡΑΓΩΓΟΥ 25 Απόδειξη. Αναπτύσσοντας κατά Taylor ως προς το σημείο x 0, έχουμε f(x 0 + ) =f(x 0 )+f (x 0 )+ 2 2 f (ξ 1 ), με ξ 1 (x 0,x 0 + ). (2.5) Επίσης, f(x 0 ) =f(x 0 ) f (x 0 )+ 2 2 f (ξ 2 ), με ξ 2 (x 0, x 0 ). (2.6) Από τις σχέσεις (2.5) και (2.6) εύκολα προκύπτουν οι ζητούμενες εκτιμήσεις (2.3). Αν τώρα η f C 3 [a, b], μπορούμε να αναπτύξουμε και πάλι κατά Taylor και να οδηγηθούμε στις παρακάτω σχέσεις f(x 0 + ) =f(x 0 )+f (x 0 )+ 2 2 f (x 0 )+ 3 6 f (ζ 1 ), (2.7) f(x 0 ) =f(x 0 ) f (x 0 )+ 2 2 f (x 0 ) 3 6 f (ζ 2 ), με ζ 1 (x 0,x 0 + ) και ζ 2 (x 0, x 0 ). Αφαιρώντας τώρα κατά μέλη τις δύο σχέσεις της (2.7), έχουμε f(x 0 + ) f(x 0 ) =2f (x 0 )+ 3 6 (f (ζ 1 )+f (ζ 2 )), από όπου εύκολα προκύπτει η ζητούμενη εκτίμηση (2.4). Παρατήρηση 2.1. Από το Λήμμα 2.1 φαίνεται ότι το σφάλμα της προσέγγισης δ cf(x 0) είναι μικρότερο, για αρκετά μικρό, από τα αντίστοιχα των προσεγγίσεων δ + f(x 0) και δ f(x 0), και εξηγεί γιατί στον Πίνακα 2.1 η δ c f(1.1) προσεγγίζει καλύτερα την f (1.1) από τις δ + f(1.1) και δ f(1.1). Η συμμετρία που υπάρχει στον ορισμό της προσέγγισης δ cf(x 0) είναι ο λόγος που το φράγμα (2.4) είναι μικρότερο των αντίστοιχων για τις δ + f(1.1) και δ f(1.1). Αυτό φαίνεται στην (2.7), όπου οι όροι 2 2 f (x 0 ) αλληλοαναιρούνται αφαιρώντας τις δύο σχέσεις. Ορισμός 2.1. Έστω μια προσέγγιση της παραγώγου μιας συνάρτησης f, η οποία ορίζεται μέσω τιμών της f σε ισαπέχοντα σημεία που απέχουν κατά βήμα. Λέμε ότι αυτή η προσέγγιση έχει τάξη ακρίβειας κ, αν το σφάλμα που προκύπτει φράσσεται κατ απόλυτη τιμή από το γινόμενο μιας σταθεράς, η οποία δεν εξαρτάται από το, επί κ. Παρατήρηση 2.2. Οι δ + f(x 0) και δ f(x 0) είναι προσεγγίσεις της f (x 0 ) τάξεως ακρίβειας ένα, επειδή τα φράγματα των σφαλμάτων (2.3) είναι το γινόμενο μιας σταθεράς, που δεν εξαρτάται από το, επί στην πρώτη δύναμη. Ανάλογα, η δ c f(x 0) είναι προσέγγιση της f (x 0 ) με τάξη ακρίβειας δύο, επειδή το φράγμα του σφάλματος (2.4) είναι το γινόμενο μιας σταθεράς, που δεν εξαρτάται από το, επί στη δεύτερη δύναμη.

26 ΚΕΦΑΛΑΙΟ 2. ΠΕΠΕΡΑΣΜΕΝΕΣ ΔΙΑΦΟΡΕΣ E δ + p E δ p E δ c p 0.50 0.15970 0.30318 0.07174 0.10 0.03897 0.876 0.04401 1.199 0.00251 2.081 0.05 0.02005 0.959 0.02131 1.046 0.0.0006 2.005 0.01 0.00411 0.985 0.00416 1.015 0.00003 2.000 Πίνακας 2.2: Τα σφάλματα E δ +, E δ και E δ c των προσεγγίσεων δ + f, δ f και δ cf, αντίστοιχα, της f (1.1) = 1/1.1 και η προσεγγιστική τάξη ακρίβειας p. Παρατήρηση 2.3. Μπορούμε να δούμε ότι οι προσεγγίσεις δ + f και δ f έχουν τάξη ακρίβειας ακριβώς ένα, διότι αν, παραδείγματος χάριν, θεωρήσουμε την f(x) = x 2, τότε δ + f(x) =2x + και δ f(x) =2x. Αντίστοιχα, η προσέγγιση δc f έχει τάξη ακριβώς δύο, διότι για την f(x) =x 3, δ c f(x) =3x2 + 2. Ένας τρόπος για να επαληθεύσουμε πειραματικά, δηλαδή με τη χρήση Η/Υ, την τάξη ακρίβειας των παραπάνω προσεγγίσεων είναι ο ακόλουθος. Έστω ότι το σφάλμα ε μιας προσέγγισης ικανοποιεί ε C p, για μικρό βήμα, όπου C είναι μια θετική σταθερά ανεξάρτητη του. Τότε, αν θεωρήσουμε δύο προσεγγίσεις ε 1 και ε 2 με βήματα 1 και 2, αντίστοιχα, έχουμε ότι ο λόγος των αντίστοιχων σφαλμάτων θα ικανοποιεί ε 1 ( log( ε 1 ) 1 ) p ε, οπότε p 1 ε 1 2 log(. 1 ) 2 Στον Πίνακα 2.2 βλέπουμε τα σφάλματα των προσεγγίσεων δ + f, δ f και δc f για την f (1.1) = 1/1.1 όπου E δ + = δ + f(1.1) f (1.1), E δ = δ f(1.1) f (1.1) και E δ c = δ cf(1.1) f (1.1). Παρατηρούμε ακόμα ότι η πειραματική τάξη ακρίβειας για τις δ + f και δ f τείνει να γίνει ένα, καθώς το ελαττώνεται και αυτή της δ c f τείνει στο δύο, τα οποία είναι σύμφωνα με τα αποτελέσματα του Λήμματος 2.1. 2.2 Προσέγγιση δεύτερης παραγώγου Στη συνέχεια, θα θεωρήσουμε και μια πεπερασμένη διαφορά για την προσέγγιση της δεύτερης παραγώγου μιας διαφορίσιμης συνάρτησης f. Από τον ορισμό της δεύτερης παράγωγου της f σε ένα σημείο x 0 έχουμε f f (x 0 + ) f (x 0 ) (x 0 )= lim. 0

2.2. ΠΡΟΣΕΓΓΙΣΗ ΔΕΥΤΕΡΗΣ ΠΑΡΑΓΩΓΟΥ 27 Επομένως, μπορούμε να προσεγγίσουμε την f (x 0 ) χρησιμοποιώντας μία από τις προσεγγίσεις δ + f (x 0 ), δ f (x 0 ) ή δ c f (x 0 ). Αν, όμως, θέλουμε να χρησιμοποιήσουμε μόνο τιμές της f, θα πρέπει να αντικαταστήσουμε την f (x 0 ) με κάποια προσέγγισή της. Έτσι, ένας τρόπος είναι f (x 0 ) δ + f (x 0 )= f (x 0 + ) f (x 0 ) =δ + δ f(x 0). δ f(x 0 + ) δ f(x 0) Από τον ορισμό των δ + και δ προκύπτει ότι δ + δ f(x 0)= 1 (f(x 0 + ) f(x 0 ) f(x 0) f(x 0 ) ) = f(x 0 + ) 2f(x 0 )+f(x 0 ) 2. Επομένως, χρησιμοποιώντας την παραπάνω πεπερασμένη διαφορά μπορούμε να προσεγγίσουμε την f (x 0 ). Παρόμοια, μπορούμε να προσεγγίσουμε την f (x 0 ) ως f (x 0 ) δ f (x 0 )= f (x 0 ) f (x 0 ) =δ δ+ f(x 0). Από εδώ προκύπτει δ+ f(x 0 + ) δ + f(x 0) δ δ+ f(x 0)= 1 (f(x 0 + ) f(x 0 ) f(x 0) f(x 0 ) ) = f(x 0 + ) 2f(x 0 )+f(x 0 ) 2, δηλαδή ότι δ δ+ f = δ+ δ f. Άρα και οι δύο παραπάνω μεθοδολογίες οδηγούν στην ίδια πεπερασμένη διαφορά για την προσέγγιση της f. Επίσης, ισχύει ότι η ίδια πεπερασμένη διαφορά προκύπτει και χρησιμοποιώντας κατάλληλα την δ c f. Πράγματι, έχουμε δ c /2 δc /2 f(x 0)= δc /2 f(x 0 + /2) δ c /2 f(x 0 /2) = 1 (f(x 0 + 2 + 2 ) f(x 0 + 2 2 ) = f(x 0 + ) 2f(x 0 )+f(x 0 ) 2. f(x 0 2 + 2 ) f(x 0 2 2 ) )

28 ΚΕΦΑΛΑΙΟ 2. ΠΕΠΕΡΑΣΜΕΝΕΣ ΔΙΑΦΟΡΕΣ Συμβολίζουμε λοιπόν δ,2 c f την ακόλουθη πεπερασμένη διαφορά, δ c,2 f(x 0) f(x 0 + ) 2f(x 0 )+f(x 0 ) 2. (2.8) Αυτός λοιπόν ο λόγος ορίζει μια προσέγγιση της f (x 0 ), ο οποίος καλείται και κεντρική διαφορά για την προσέγγιση της δεύτερης παραγώγου. Άρα σύμφωνα με τα παραπάνω, θα έχουμε ότι δ c,2 f(x 0)=δ + δ f(x 0)=δ δ+ f(x 0)=δ c /2 δc /2 f(x 0). Επίσης, με ανάλογο τρόπο όπως στο Λήμμα 2.1 μπορούμε να δείξουμε την ακόλουθη εκτίμηση του σφάλματος της προσέγγισης της f (x 0 ). Λήμμα 2.2. Έστω f :[a, b] R, f C 4 [a, b], x 0 (a, b) και >0, τέτοιο ώστε x 0 ± [a, b]. Τότε ισχύει η ακόλουθη εκτίμηση δ c,2 f(x 0) f (x 0 ) 2 12 max x [a,b] f (4) (x). (2.9) Απόδειξη. Για f C 4 [a, b], μπορούμε να αναπτύξουμε και πάλι κατά Taylor και να πάρουμε τις παρακάτω δύο σχέσεις f(x 0 + ) =f(x 0 )+f (x 0 )+ 2 2 f (x 0 )+ 3 6 f (x 0 )+ 4 24 f (4) (ζ 1 ), f(x 0 ) =f(x 0 ) f (x 0 )+ 2 2 f (x 0 ) 3 6 f (x 0 )+ 4 24 f (4) (ζ 2 ), (2.10) με ζ 1 (x 0,x 0 + ), ζ 2 (x 0, x 0 ). Προσθέτοντας κατά μέλη τις δύο αυτές σχέσεις, έχουμε f(x 0 + )+f(x 0 ) =2f(x 0 )+ 2 f (x 0 )+ 4 24 [f (4) (ζ 1 )+f (4) (ζ 2 )]. Συνεπώς, σύμφωνα με το θεώρημα ενδιάμεσης τιμής, έχουμε f(x 0 + ) 2f(x 0 )+f(x 0 ) 2 από όπου εύκολα προκύπτει η ζητούμενη εκτίμηση (2.9). = f (x 0 )+ 2 12 f (4) (ξ), ξ (ζ 2,ζ 1 ), (2.11) Παρατήρηση 2.4. Για τον ίδιο λόγο όπως και στην Παρατήρηση 2.2, η τάξη ακρίβειας της προσέγγισης δ c,2 f είναι δύο. Μάλιστα, αν θεωρήσουμε την f(x) =x4, βλέπουμε ότι δ c,2 f(x) = 12x2 +2 2, δηλαδή η τάξη ακρίβειας της δ c,2 f είναι ακριβώς δύο.

2.3. ΑΣΚΗΣΕΙΣ 29 δ,2 c f(1.1) E δ,2 c p 0.50-0.92577 0.09932 0.10-0.82988 0.00343 2.090 0.05-0.82730 0.00085 2.005 0.01-0.82648 0.00003 2.000 Πίνακας 2.3: Οι τιμές της δ c,2 και το σφάλμα E δ c,2, της προσέγγισης της f (1.1) = 1/(1.1) 2 0.82645, καθώς και η προσεγγιστική τάξη ακρίβειας p. Στον Πίνακα 2.3 δίνουμε τιμές της προσέγγισης δ c,2 f(x 0) για τη συνάρτηση f(x) =ln(x) στο x 0 =1.1, όπου f (1.1) = 1/(1.1) 2 0.82645, καθώς και το σφάλμα E δ c,2 = δ c,2 f(1.1) f (1.1) και την αντίστοιχη προσεγγιστική τάξη ακρίβειας p. Παρατήρηση 2.5. Ένα ερώτημα που τίθεται είναι αν θα μπορούσαμε να χρησιμοποιήσουμε την δ δ f(x 0) ή την δ + δ+ f(x 0) για την προσέγγιση της f (x 0 ). Μπορούμε να δούμε ότι αν f :[a, b] R, f C 3 [a, b], x 0 (a, b) και >0, τέτοιο ώστε x 0 ± [a, b], τότε ισχύει η ακόλουθη εκτίμηση, βλ. Άσκηση 2.2, δ + δ+ f(x 0) f (x 0 ) 5 3 max x [a,b] f (3) (x). (2.12) Επομένως, η δ + δ+ f(x) είναι προσέγγιση της f (x), όμως η τάξη ακρίβειας είναι ένα. Παρόμοια εκτίμηση μπορούμε να δείξουμε για την δ δ f. Χρησιμοποιώντας τις προσεγγίσεις για την πρώτη και τη δεύτερη παράγωγο μιας συνάρτησης f που θεωρήσαμε, στα επόμενα κεφάλαια θα κατασκευάσουμε μεθόδους πεπερασμένων διαφορών για τη προσέγγιση της λύσης διαφορικών εξισώσεων πρώτης και δεύτερης τάξεως, καθώς και, παραδείγματος χάριν, στα (Ακρίβης & Δουγαλής, 2013 Ακρίβης & Δουγαλής, 2005 Holmes, 2007 Rictmyer & Morton, 1967 Jovanović & Süli, 2014 Strikwerda, 2004). 2.3 Ασκήσεις 2.1. Έστω f : [a, b] R, f C 4 [a, b], x 0 (a, b) και 1, 2 > 0, τέτοιο ώστε x 0 1,x 0 + 2 [a, b]. Γράψτε την πεπερασμένη διαφορά για την προσέγγιση της f (x 0 ) χρησιμοποιώντας τις τιμές της f στα x 0 1, x 0 και x 0 + 2. Εκτιμήστε το σφάλμα της προσέγγισης της f (x 0 ). Είναι η τάξη ακρίβειας δύο;

30 ΒΙΒΛΙΟΓΡΑΦΙΑ 2.2. Έστω f :[a, b] R, f C 3 [a, b], x 0 (a, b) και >0, τέτοιο ώστε x 0 ± [a, b]. Τότε ισχύει η ακόλουθη εκτίμηση δ + δ+ f(x 0) f (x 0 ) 5 3 max x [a,b] f (3) (x). 2.3. Έστω f :[a, b] R, f C 3 [a, b], x 0 (a, b) και >0, τέτοιο ώστε x 0 ± [a, b]. Τότε ισχύει η ακόλουθη εκτίμηση δ δ f(x 0) f (x 0 ) 5 3 max x [a,b] f (3) (x). 2.4. Έστω f :[a, b] R, f C 5 [a, b], x 0 (a, b) και >0, τέτοιο ώστε x 0 ±2 [a, b]. Χρησιμοποιήστε τα σημεία x 0 2, x 0, x 0 +, x 0 +2, για να δείξτε ότι η πεπερασμένη διαφορά ˆδ f(x 0 )= 1 12 ( f(x 0 +2)+8f(x 0 + ) 8f(x 0 )+f(x 0 2)), προσεγγίζει την f (x 0 ). Βρείτε το σφάλμα της προσέγγισης και την τάξη ακρίβειας. 2.5. Έστω f :[a, b] R, f C 6 [a, b], x 0 (a, b) και >0, τέτοιο ώστε x 0 ± 2 [a, b]. Χρησιμοποιήστε τα σημεία x 0 2, x 0, x 0, x 0 +, x 0 +2, για να δείξετε ότι η πεπερασμένη διαφορά ˆδ,2 f(x 0 )= 1 12 2 ( f(x 0 +2) + 16f(x 0 + ) 30f(x 0 ) + 16f(x 0 ) f(x 0 2)), προσεγγίζει την f (x 0 ). Βρείτε το σφάλμα της προσέγγισης και την τάξη ακρίβειας. Βιβλιογραφία Ακρίβης, Γ., & Δουγαλής, Β. (2005). Αριθμητικές Μέθοδοι για Μερικές Διαφορικές Εξισώσεις. Ιωάννινα. (Πανεπιστημιακές Σημειώσεις). Ακρίβης, Γ., & Δουγαλής, Β. (2013). Αριθμητικές Μέθοδοι για Συνήθεις Διαφορικές Εξισώσεις. Πανεπιστημιακές Εκδόσεις Κρήτης, Ηράκλειο.

Βιβλιογραφία 31 Holmes, M. H. (2007). Introduction to numerical metods in differential equations (Vol. 52). Springer, New York. Jovanović, B. S., & Süli, E. (2014). Analysis of finite difference scemes (Vol. 46). Springer, London. Rictmyer, R. D., & Morton, K. W. (1967). Difference metods for initialvalue problems. Interscience Publisers Jon Wiley & Sons, Inc., New York- London-Sydney. Strikwerda, J. C. (2004). Finite difference scemes and partial differential equations (Second ed.). Society for Industrial and Applied Matematics (SIAM), Piladelpia, PA.