Αριθµητική Ανάλυση. Ενότητα 5 Προσέγγιση Συναρτήσεων. Ν. Μ. Μισυρλής. Τµήµα Πληροφορικής και Τηλεπικοινωνιών,

Transcript

1 Αριθµητική Ανάλυση Ενότητα 5 Προσέγγιση Συναρτήσεων Ν. Μ. Μισυρλής Τµήµα Πληροφορικής και Τηλεπικοινωνιών, Καθηγητής: Ν. Μ. Μισυρλής Αριθµητική Ανάλυση - Ενότητα 5 1 / 55

2 Παρεµβολή Ας υποθέσουµε ότι δίνονται οι τιµές µιας συνάρτησης f(x) στα n+1σηµεία, έστω τα x i, i = 0(1)n και Ϲητούµε να κατασκευάσουµε ένα πολυώνυµο p n (x), ϐαθµού το πολύ n, τέτοιο ώστε p n (x i ) = f(x i ) Το p n (x) είναι µονοσήµαντα ορισµένο γιατί αν δύο πολυώνυµα ϐαθµού το πολύ n λαµβάνουν τις ίδιες τιµές για n+1 διαφορετικές τιµές της ανεξάρτητης µεταβλητής τους τότε αυτά ταυτίζονται. Η εύρεση του πολυωνύµου παρεµβολής p n (x) µας επιτρέπει να ϐρίσκουµε προσεγγιστική τιµή της συνάρτησης f(x) στο οποιοδήποτε σηµείο x. Οι απλούστεροι τύποι παρεµβολής είναι εκείνοι στους οποίους τα σηµεία παρεµβολής ισαπέχουν. Καθηγητής: Ν. Μ. Μισυρλής Αριθµητική Ανάλυση - Ενότητα 5 2 / 55

3 Σχήµα 1 y y=f(x) y=p 4 (x) x 0 x 1 x 2 x 3 x 4 x Σχήµα: Πολυωνυµική Παρεµβολή Καθηγητής: Ν. Μ. Μισυρλής Αριθµητική Ανάλυση - Ενότητα 5 3 / 55

4 Πεπερασµένες διαφορές Προς τα εµπρός διαφορές Εστω ότι έχουµε ένα πίνακα τιµών (x i, f(x i )) µιας συνάρτησης f(x). Οι πρώτης τάξης προς τα εµπρός διαφορές στο σηµείο x n, ορίζονται από τις σχέσεις f n = f(x n+1 ) f(x n ) = f n+1 f n (1) και γενικά οι προς τα εµπρός διαφορές k τάξης ορίζονται από τις k f n = ( k 1 f n ) = k 1 f n+1 k 1 f n. (2) Καθηγητής: Ν. Μ. Μισυρλής Αριθµητική Ανάλυση - Ενότητα 5 4 / 55

5 Προς τα πίσω διαφορές Με ανάλογο τρόπο ορίζονται οι πρώτης τάξης προς τα πίσω διαφορές ή f n = f(x n ) f(x n 1 ) = f n f n 1 (3) k f n = ( k 1 f n ) = k 1 f n k 1 f n 1. (4) Καθηγητής: Ν. Μ. Μισυρλής Αριθµητική Ανάλυση - Ενότητα 5 5 / 55

6 Κεντρικές διαφορές Τέλος οι πρώτης τάξης κεντρικές διαφορές, στο σηµείο x n+1/2 ορίζονται από τη σχέση δf n+1/2 = f(x n+1 ) f(x n ) = f n+1 f n. (5) Εύκολα τώρα ϐλέπουµε ότι f n = f n+1 = δf n+1/2 (6) και επαγωγικά k f n = k f n+k = δ k f n+k/2. (7) Καθηγητής: Ν. Μ. Μισυρλής Αριθµητική Ανάλυση - Ενότητα 5 6 / 55

7 Κατασκευή των πινάκων διαφορών 1. Πίνακας προς τα εµπρός διαφορών x 0 f 0 f 0 2 f 0 f 1 x 1 f 1 3 f 0 2 f 1 4 f 0 f 2 x 2 f 2 3 f 1 2 f 2 x 3 f 3 f 3 x 4 f 4 Καθηγητής: Ν. Μ. Μισυρλής Αριθµητική Ανάλυση - Ενότητα 5 7 / 55

8 2. Πίνακας προς τα πίσω διαφορών x 4 f 4 f 3 x 3 f 3 2 f 2 f 2 3 f 1 x 2 f 2 2 f 1 4 f 0 f 1 3 f 0 x 1 f 1 2 f 0 f 0 x 0 f 0 Καθηγητής: Ν. Μ. Μισυρλής Αριθµητική Ανάλυση - Ενότητα 5 8 / 55

9 3. Πίνακας κεντρικών διαφορών x n 2 f n 2 δf n 3/2 x n 1 f n 1 δ 2 f n 1 δf n 1/2 δ 3 f n 1/2 x n f n δ 2 f n δ 4 f n δf n+1/2 x n+1 f n+1 δ 2 f n+1 δ 3 f n+1/2 x n+2 f n+2 δf n+3/2 Καθηγητής: Ν. Μ. Μισυρλής Αριθµητική Ανάλυση - Ενότητα 5 9 / 55

10 Παράδειγµα ίνονται οι τιµές της f(x) = x 3 στα σηµεία 1, 2, 3 και 4. Να σχηµατιστεί ο πίνακας των προς τα εµπρός (και προς τα πίσω) διαφορών. i x f(x) f/ f 2 f/ 2 f 3 f/ 3 f Στο σηµείο αυτό ϑα πρέπει να τονιστεί ότι τα σηµεία x i, i = 0(1)n ισαπέχουν µεταξύ τους. Καθηγητής: Ν. Μ. Μισυρλής Αριθµητική Ανάλυση - Ενότητα 5 10 / 55

11 Θεώρηµα Οι πεπερασµένες διαφορές n τάξης ενός πολυωνύµου ϐαθµού n είναι σταθερές. Πόρισµα Οι πεπερασµένες διαφορές n+1 και ανώτερης τάξης ενός πολυωνύµου ϐαθµού n είναι µηδέν. Καθηγητής: Ν. Μ. Μισυρλής Αριθµητική Ανάλυση - Ενότητα 5 11 / 55

12 Τελεστές Τα σύµβολα, και δ καλούνται τελεστές διαφορών. Οι τελεστές αυτοί είναι γραµµικοί γιατί ικανοποιούν τη σχέση T (αf(x)+βg(x)) = αtf(x)+βtg(x) όπου T =, καιδ. Στη συνέχεια ϑα χρησιµοποιηθεί και άλλος ένας γραµµικός τελεστής, ο οποίος καλείται τελεστής µετατόπισης και ορίζεται από τη σχέση Ef(x) = f(x + h). (8) Είναι δυνατόν να αποδειχτεί ότι µε τους ανωτέρω τελεστές µπορούµε να εκτελέσουµε σχεδόν όλες τις πράξεις της Αλγεβρας (λογισµός τελεστών). Επίσης ο τελεστής µετατόπισης µπορεί να εκφραστεί µε τη µορφή του ή του. Εχουµε f(x) = f(x + h) f(x) = Ef(x) f(x) = (E 1)f(x) Καθηγητής: Ν. Μ. Μισυρλής Αριθµητική Ανάλυση - Ενότητα 5 12 / 55

13 Σχέσεις µεταξύ Τελεστών Είναι = E 1. (9) Επιπλέον, αλλά άρα ή ή f(x + h) = f(x + h) f(x) = (E 1)f(x) f(x + h) = Ef(x) E = E 1 (1 )E = 1 E = (1 ) 1. (10) Καθηγητής: Ν. Μ. Μισυρλής Αριθµητική Ανάλυση - Ενότητα 5 13 / 55

14 Πολυώνυµο παρεµβολής για ισαπέχοντα σηµεία Πολυώνυµο παρεµβολής µε προς τα εµπρός διαφορές του Newton Εστω ότι x i = x 0 + ih, i = 0(1)n είναι n+1 γνωστά σηµεία παρεµβολής και f(x) η Ϲητούµενη τιµή της συνάρτησης στο τυχόν σηµείο x, τότε είναι x = x 0 +θh ή θ = (x x 0 )/h (11) τότε f(x) = f(x 0 +θh) = E θ f(x 0 ) = (1+ ) θ f 0 (12) [ ( ) ( ) ] θ θ = f 0 (13) 1 2 ή ( θ f(x) = f ) ( θ f ) 2 f (14) Καθηγητής: Ν. Μ. Μισυρλής Αριθµητική Ανάλυση - Ενότητα 5 14 / 55

15 όπου ή ( θ s ) = θ! θ(θ 1)...(θ s + 1) = s!(θ s)! s! f(x) = p n (x)+ R n+1 (x), (15) όπου p n (x) το πολυώνυµο παρεµβολής που δίνεται από την έκφραση ( θ p n (x) = f ) ( θ f ) ( θ 2 f n και R n+1 το σφάλµα. Ο τύπος που ϐρήκαµε είναι τελικά ο Για το τυχόν x i, i = 0(1)n έχουµε ότι ( i p n (x i ) = f ( i ) ) n f 0 (16) f(x) p n (x). (17) ) ( i f i ) i f 0 Καθηγητής: Ν. Μ. Μισυρλής Αριθµητική Ανάλυση - Ενότητα 5 15 / 55

16 p n (x i ) = [ ( i 1+ 1 ) ( i + 2 ) ( i i = (1+ ) i f 0 = E i f 0 = f(x 0 + ih) = f(x i ), ) i ] f 0 δηλαδή p n (x i ) = f(x i ), i = 0(1)n. (18) Αρα το p n (x) είναι το πολυώνυµο παρεµβολής. Καθηγητής: Ν. Μ. Μισυρλής Αριθµητική Ανάλυση - Ενότητα 5 16 / 55

17 Πολυώνυµο παρεµβολής µε προς τα πίσω διαφορές του Newton Εστω x i = x 0 + ih, i = n(1)0 τα n+1ισαπέχοντα σηµεία της συνάρτησης f(x) (µε x 0 συµβολίζουµε τώρα το τελευταίο σηµείο). Τότε είναι x = x 0 θh ή θ = (x 0 x)/h (19) τότε f(x) = f(x 0 θh) = E θ f(x 0 ) = (1 ) θ f(x 0 ) [ ( ) ( ) ( θ θ θ = ( 1) n 1 2 n Το πολυώνυµο παρεµβολής των προς τα πίσω διαφορών είναι το p n (x) = f 0 θ f 0 + θ(θ 1) ( θ 2 f ( 1) n 2! n ) ] n +... f 0 ) n f 0. (20) Καθηγητής: Ν. Μ. Μισυρλής Αριθµητική Ανάλυση - Ενότητα 5 17 / 55

18 Παράδειγµα ίνεται ο πίνακας τιµών της f(x) = 1+x 3 Να ϐρεθεί η προσεγγιστική τιµή f(1.5). x f(x) Λύση Ας υποθέσουµε καταρχήν ότι χρησιµοποιούµε όλα τα σηµεία του πίνακα, τότε το πολυώνυµο παρεµβολής ϑα είναι το πολύ 3ου ϐαθµού και ϑα συµπίπτει µε την f(x), αφού και η f(x) είναι πολυώνυµο 3ου ϐαθµού. Πράγµατι, x 0 = 0, h = 1, θ = x x 0 h = x Καθηγητής: Ν. Μ. Μισυρλής Αριθµητική Ανάλυση - Ενότητα 5 18 / 55

19 Πολυώνυµο παρεµβολής µε προς τα εµπρός διαφορές του Newton ( θ p 3 (x) = f ) ( θ f = f 0 +θ f 0 + θ(θ 1) 2 f 0 + 2! ) ( θ 2 f ) 3 f 0 θ(θ 1)(θ 2) 3 f 0. 3! Για τον υπολογισµό των f 0, 2 f 0 και 3 f 0 κατασκευάζουµε τον πίνακα των προς τα εµπρός διαφορών για τα δεδοµένα σηµεία. Εχουµε x f(x) f 2 f 3 f Καθηγητής: Ν. Μ. Μισυρλής Αριθµητική Ανάλυση - Ενότητα 5 19 / 55

20 όπου f 0 = 1, f 0 = 1, 2 f 0 = 6 και 3 f 0 = 6. Αρα x(x 1) x(x 1)(x 2) p 3 (x) = 1+x = 1+x 3 συνεπώς f(1.5) = p 3 (1.5) = Καθηγητής: Ν. Μ. Μισυρλής Αριθµητική Ανάλυση - Ενότητα 5 20 / 55

21 Πολυώνυµο παρεµβολής µε προς τα πίσω διαφορές του Newton Τότε το πολυώνυµο παρεµβολής ϑα συµπίπτει µε αυτό που ϐρέθηκε αφού (το πολυώνυµο παρεµβολής) είναι µοναδικό. Πράγµατι, χρησιµοποιώντας τον τύπο των προς τα πίσω διαφορών έχουµε p 3 (x) = f 0 θ f 0 + θ(θ 1) 2 f 0 2 θ(θ 1)(θ 2) 3 f 0 6 όπου τώρα f 0 = 28, f 0 = 19, 2 f 0 = 12 και 3 f 0 = 6. Επίσης είναι x 0 = 3 καιθ = 3 x συνεπώς p 3 (x) = 28 (3 x) 19+ (3 x)(2 x) 2 = 1+x 3 (3 x)(2 x)(1 x) Καθηγητής: Ν. Μ. Μισυρλής Αριθµητική Ανάλυση - Ενότητα 5 21 / 55

22 Αν τώρα χρησιµοποιήσουµε µόνον τα τρία πρώτα σηµεία, τότε έχουµε x(x 1) p 2 (x) = 1+x ή p 2 (1.5) = Επίσης, αν χρησιµοποιήσουµε τα τρία τελευταία σηµεία, τότε x 0 = 1,θ = 0.5 έχουµε ˆp 2 (1.5) = (0.5 1) 12 = Παρατηρούµε ότι το απόλυτο σφάλµα f(1.5) p 2 (1.5) = f(1.5) ˆp 2 (1.5) = είναι το ίδιο στις δύο τελευταίες περιπτώσεις. Συνεπώς η προσέγγιση της f(x) δεν εξαρτάται από το πόσο πλησίον του x ϑα επιλεγεί το x 0. Καθηγητής: Ν. Μ. Μισυρλής Αριθµητική Ανάλυση - Ενότητα 5 22 / 55

23 Πολυώνυµο παρεµβολής για µη ισαπέχοντα σηµεία Τύπος παρεµβολής του Lagrange Ας υποθέσουµε τώρα ότι τα σηµεία παρεµβολής δεν ισαπέχουν. Για να ϐρούµε το πολυώνυµο παρεµβολής του Lagrange ξεκινάµε από τις σχέσεις Επίσης το p n(x) µπορεί να εκφρασθεί σαν p n(x j) = f j, j = 0(1)n. (21) p n(x) = n L i(x)f i (22) i=0 όπου L i(x), i = 0(1)n πολυώνυµα ϐαθµού n τα οποία καλούνται συντελεστές του Lagrange και ικανοποιούν τις σχέσεις { 1, i = j L i(x j) = i, j = 0(1)n. (23) 0, i j Το p n(x) είναι το Ϲητούµενο πολυώνυµο παρεµβολής, αφού ισχύει p n(x i) = n L j(x i)f j = L i(x i)f i = f i, i = 0(1)n. j=0 Καθηγητής: Ν. Μ. Μισυρλής Αριθµητική Ανάλυση - Ενότητα 5 23 / 55

24 Πολυώνυµο παρεµβολής για µη ισαπέχοντα σηµεία Πολυώνυµο παρεµβολής του Lagrange L i (x) 1 x 0 x 1 x i-1 x i x i+1 x n-1 x n x Σχήµα: Γραφική παράσταση Καθηγητής: Ν. Μ. Μισυρλής Αριθµητική Ανάλυση - Ενότητα 5 24 / 55

25 Τα x j, j = 0(1)n, j i είναι οι ϱίζες του L i (x) άρα L i (x) = A i (x x 0 )...(x x i 1 )(x x i+1 )...(x x n ). Ο προσδιορισµός της A i γίνεται µε τη ϐοήθεια της πρώτης από τις σχέσεις { 1, i = j L i (x j ) = i, j = 0(1)n. (24) 0, i j έτσι ή L i (x) = (x x 0)...(x x i 1 )(x x i+1 )...(x x n ) (x i x 0 )...(x i x i 1 )(x i x i+1 )...(x i x n ) L i (x) = n j=0 j i (25) x x j x i x j, i = 0(1)n. (26) Καθηγητής: Ν. Μ. Μισυρλής Αριθµητική Ανάλυση - Ενότητα 5 25 / 55

26 Ετσι ο τύπος παρεµβολής του Lagrange είναι ο f(x) = p n (x)+ R n+1 (x), (27) όπου το και R n+1 (x) το σφάλµα, συνεπώς p n (x) = n L i (x)f i i=0 f(x) p n (x). (28) Καθηγητής: Ν. Μ. Μισυρλής Αριθµητική Ανάλυση - Ενότητα 5 26 / 55

27 Παράδειγµα Να ϐρεθεί το πολυώνυµο του Lagrange p 2 (x) για το οποίο f(0) = 1, f(1) = 2, f(2) = 4. Είναι 2 p 2 (x) = L i (x)f i = L 0 (x) 1+L 1 (x) 2+L 2 (x) 4 i=0 όπου οι συντελεστές του Lagrange είναι L 0 (x) = (x x 1)(x x 2 ) (x 1)(x 2) = (x 0 x 1 )(x 0 x 2 ) (0 1)(0 2) L 1 (x) = (x x 0)(x x 2 ) (x 0)(x 2) = (x 1 x 0 )(x 1 x 2 ) (1 0)(1 2) L 2 (x) = (x x 0)(x x 1 ) (x 0)(x 1) = (x 2 x 0 )(x 2 x 1 ) (2 0)(2 1) (x 1)(x 2) =, 2 x(x 2) =, 1 x(x 1) =, 2 Καθηγητής: Ν. Μ. Μισυρλής Αριθµητική Ανάλυση - Ενότητα 5 27 / 55

28 άρα p 2 (x) = 1 2 (x 1)(x 2) 2x(x 2)+ 1 4x(x 1) 2 = 1 2 x x + 1. Παρατήρηση Οι ανωτέρω υπολογισµοί ϑα αυξηθούν σηµαντικά αν ϑέλουµε να υπολογίσουµε και άλλες τιµές x. Επίσης, η πρόσθεση και άλλων σηµείων παρεµβολής, σε µια προσπάθεια να αυξηθεί η ακρίβεια, ϑα αλλάξει όλους τους συντελεστές του Lagrange και έτσι όλοι οι προηγούµενοι υπολογισµοί χάνονται. Καθηγητής: Ν. Μ. Μισυρλής Αριθµητική Ανάλυση - Ενότητα 5 28 / 55

29 Το σφάλµα στην πολυωνυµική παρεµβολή Μετά την εύρεση του πολυωνύµου παρεµβολής p n(x), που διέρχεται από τα n+1 σηµεία x i, i = 0(1)n, το ερώτηµα που τίθεται είναι το εξής:ποιό είναι το σφάλµα e(x) = f(x) p n(x) για ένα οποιοδήποτε σηµείο x x i, i = 0(1)n, x [a, b]; Θεώρηµα Αν p n(x) είναι το πολυώνυµο το πολύ n ϐαθµού που παρεµβάλει την f(x) C n+1 [a, b] στα n+1 διακεκριµένα σηµεία x i, i = 0(1)n στο [a, b], τότε για κάθε σηµείο x [a, b] όπουξ (a, b). f(x) = p n(x)+ (x x0)(x x1)...(x xn) f (n+1) (ξ) (29) (n+1)! Απόδειξη Επειδή f(x i) = p n(x i), i = 0(1)n, τα σηµεία x i, i = 0(1)n είναι ϱίζες της f(x) p n(x) άρα f(x) p n(x) = (x x 0)(x x 1)...(x x n)a(x). (30) Καθηγητής: Ν. Μ. Μισυρλής Αριθµητική Ανάλυση - Ενότητα 5 29 / 55

30 Εστω x [a, b] οποιοδήποτε σταθερό σηµείο διάφορο των x i, i = 0(1)n. Ορίζουµε τη συνάρτηση Φ(t) = f(t) p n (t) (t x 0 )(t x 1 )...(t x n )A(x). Οι ϱίζες της Φ(t) είναι τα n+2 σηµεία x 0, x 1, x 2,..., x n και x. Σύµφωνα µε το ϑεώρηµα του Rolle ηφ έχει τουλάχιστον n+1ϱίζες, ηφ (x) έχει τουλάχιστον n ϱίζες κ.ο.κ. Τέλος, ηφ (n+1) (x) πρέπει να έχει τουλάχιστον µια ϱίζαξ [a, b]. Τότε Φ (n+1) (t) = f (n+1) (t) p (n+1) (t) ( t n+1 + όροι µικρότερων δυνάµεων ) (n+1) A(x) = f (n+1) (t) 0 (n+1)!a(x). Καθηγητής: Ν. Μ. Μισυρλής Αριθµητική Ανάλυση - Ενότητα 5 30 / 55

31 Για t = ξ λαµβάνουµε ή Φ (n+1) (ξ) = 0 = f (n+1) (ξ) (n+ 1)!A(x) A(x) = f(n+1) (ξ) (n+1)!, οπότε αντικαθιστώντας ολοκληρώνεται η απόδειξη του ανωτέρω ϑεωρήµατος. Καθηγητής: Ν. Μ. Μισυρλής Αριθµητική Ανάλυση - Ενότητα 5 31 / 55

32 Το σφάλµα στην πολυωνυµική παρεµβολή f(x) = p n (x)+ R n+1 (x), (31) ή f(x) p n (x) (32) και R n+1 (x) το σφάλµα µε τύπο R n+1 (x) = f(x) p n (x) = (x x 0)(x x 1 )...(x x n ) f (n+1) (ξ) (33) (n+1)! όπουξ (a, b). Καθηγητής: Ν. Μ. Μισυρλής Αριθµητική Ανάλυση - Ενότητα 5 32 / 55

33 Παράδειγµα 1 ίνεται η f(x) = e x για x [0, 1]. Να υπολογιστεί η απόσταση h των σηµείων έτσι ώστε να προσεγγίζεται η f(x) µε γραµµική παρεµβολή (δηλ. µε πολυώνυµο παρεµβολής 1ου βαθµού) και µε ακρίβεια d δεκαδικών ψηφίων. Λύση Το σφάλµα στη γραµµική παρεµβολή της f(x) στα x 0 και x 1 δίνεται από την e x p 1 (x) = (x x 0)(x x 1 ) e ξ 2 για κάποιοξ µεταξύ του ελάχιστου και του µέγιστου των x 0, x 1 και x. Υποθέτουµε ότι x 0 < x < x 1 και παρατηρούµε ότι Επίσης (x 1 x)(x x 0 ) 2 e x0 e x p 1 (x) (x 1 x)(x x 0 ) e x1. 2 (x 1 x)(x x 0 )) max = h2 x 0 x x 1 2 8, h = x 1 x 0. Καθηγητής: Ν. Μ. Μισυρλής Αριθµητική Ανάλυση - Ενότητα 5 33 / 55

34 Επιπλέον, e x1 e στο[0, 1] και e x p 1 (x) h2 e 8, 0 x 1 το οποίο είναι ανεξάρτητο των x 0, x 1 και x. Αν επιθυµούµε ακρίβεια d δεκαδικών ψηφίων τότε το h ϑα επιλεγεί έτσι ώστε ή h 2 e d h 2 10 d e. Καθηγητής: Ν. Μ. Μισυρλής Αριθµητική Ανάλυση - Ενότητα 5 34 / 55

35 Παράδειγµα 2 ίνεται η f(x) = e x για x [0, 1]. Να υπολογιστεί η απόσταση h των σηµείων έτσι ώστε να προσεγγίζεται η f(x) µε τετραγωνική παρεµβολή (δηλ. µε πολυώνυµο παρεµβολής 2ου βαθµού) και µε ακρίβεια d δεκαδικών ψηφίων. Λύση Το σφάλµα στη τετραγωνική παρεµβολή της f(x) στα x 0, x 1, x 2 δίνεται από τόν τύπο e x p 2 (x) = (x x 0)(x x 1 )(x x 2 ) e ξ. 3! Για την παρεµβολή υποθέτουµε h = x 1 x 0 = x 2 x 1 και x 0 < x < x 2. Εχουµε e x p 2 (x) (x x 0)(x x 1 )(x x 2 ) e 1. 6 Ας υποθέσουµε x 1 = 0, τότε x 0 = h και x 2 = h, στην ειδική αυτή περίπτωση έχουµε (x + h)x(x h) w 2 (x) = = x3 xh Καθηγητής: Ν. Μ. Μισυρλής Αριθµητική Ανάλυση - Ενότητα 5 35 / 55

36 Σχήµα 2. w 2 (x) = x3 xh 2. 6 y -h h x y=w 2 (x) Καθηγητής: Ν. Μ. Μισυρλής Αριθµητική Ανάλυση - Ενότητα 5 36 / 55

37 Για την εύρεση του µέγιστου της w 2 (x)(ϐλ. σχήµα 2), έχουµε w 2 (x) = 3x2 h 2 6 = 0 οπότε x = ±h/ 3 και Συνεπώς w 2 (± 3 h ) = h e x p 2 (x) h3 9 3 e 0.174h3, το οποίο είναι µικρότερο από το σφάλµα που ϐρέθηκε στη γραµµική παρεµβολή. Καθηγητής: Ν. Μ. Μισυρλής Αριθµητική Ανάλυση - Ενότητα 5 37 / 55

38 Αν επιθυµούµε ακρίβεια d δεκαδικών ψηφίων, τότε το h ϑα επιλεγεί έτσι ώστε h 3 e d ή h e10 3 d 10. d Καθηγητής: Ν. Μ. Μισυρλής Αριθµητική Ανάλυση - Ενότητα 5 38 / 55

39 Πολυώνυµο παρεµβολής του Newton για µη ισαπέχοντα σηµεία ιηρηµένες διαφορές Για τα µη ισαπέχοντα σηµεία (x i, f i ), i = 0(1)n, ορίζονται ως εξής: 0 τάξης f[x i ] = f i (34) 1ης τάξης n τάξης f [x 0, x 1 ] = f[x 1] f[x 0 ] x 1 x 0 (35) f [x 0, x 1, x 2,...,x n ] = f[x 1, x 2,..., x n ] f[x 0, x 1,...,x n 1 ] x n x 0 (36) Καθηγητής: Ν. Μ. Μισυρλής Αριθµητική Ανάλυση - Ενότητα 5 39 / 55

40 Ο πίνακας των διηρηµένων διαφορών για τα (x i, f i ), i = 0(1)3 είναι ο ακόλουθος : x f(x) 1ης τάξης 2ης τάξης 3ης τάξης x 0 f[x 0 ] f [x 0, x 1 ] = f[x 1 ] f[x 0 ] x 1 x 0 x 1 f[x 1 ] f [x 0, x 1, x 2 ] = f[x 1,x 2 ] f[x 0,x 1 ] x 2 x 0 f [x 0, x 1, x 2, x 3 ] = f[x 1,x 2,x 3 ] f[x 0,x 1,x 2 ] x 3 x 0 f [x 1, x 2 ] = f[x 2 ] f[x 1 ] x 2 x 1 x 2 f[x 2 ] f [x 1, x 2, x 3 ] = f[x 2,x 3 ] f[x 1,x 2 ] x 3 x 1 f [x 2, x 3 ] = f[x 3 ] f[x 2 ] x 3 x 2 x 3 f[x 3 ] Καθηγητής: Ν. Μ. Μισυρλής Αριθµητική Ανάλυση - Ενότητα 5 40 / 55

41 Παράδειγµα Να κατασκευαστεί ο πίνακας των διηρηµένων διαφορών των σηµείων (0,0), (2,4), (3,9) και (5,25). Λύση x f(x) 1ης τάξης 2ης τάξης 3ης τάξης Καθηγητής: Ν. Μ. Μισυρλής Αριθµητική Ανάλυση - Ενότητα 5 41 / 55

42 Πολυώνυµο παρεµβολής του Newton µε διηρηµένες διαφορές Το ερώτηµα που τίθεται είναι το εξής: Μπορεί να µετασχηµατιστεί το πολυώνυµο παρεµβολής έτσι ώστε, αν προστεθεί ένα επιπλέον σηµείο παρεµβολής, οι υπολογισµοί να µην χρειάζεται να ξεκινήσουν από την αρχή, αλλά να χρησιµοποιούνται οι προηγούµενοι υπολογισµοί; Ας υποθέσουµε ότι έχουµε το πολυώνυµο παρεµβολής P k (x) ϐαθµού k που παρεµβάλει στα σηµεία x i, i = 0(1)k και ϑέλουµε να σχηµατίσουµε το πολυώνυµο P k+1 (x) προσθέτοντας ένα επί πλέον σηµείο παρεµβολής x k+1. Επειδή ϑέλουµε επίσης να µην αλλάξουµε και τους προηγούµενους υπολογισµούς µας, απαιτούµε το νέο πολυώνυµο να έχει τη µορφή όπου p k+1 (x) είναι ϐαθµού k + 1. P k+1 (x) = P k (x)+ p k+1 (x), k = 0(1)n (37) Καθηγητής: Ν. Μ. Μισυρλής Αριθµητική Ανάλυση - Ενότητα 5 42 / 55

43 Επειδή τα P k+1 (x) και P k (x) παρεµβάλλουν στα σηµεία x i, i = 0(1)k έχουµε P k+1 (x i ) = P k (x i ), i = 0(1)k (38) άρα p k+1 (x i ) = 0, i = 0(1)k, (39) το οποίο σηµαίνει ότι τα x i, i = 0(1)k είναι ϱίζες του p k+1 (x) συνεπώς το πολυώνυµο αυτό έχει την ακόλουθη µορφή p k+1 (x) = a k+1 (x x 0 )(x x 1 )...(x x k ). (40) Εφαρµόζοντας αναγωγικά την προηγούµενη ισότητα για k = 0(1)n 1, προκύπτει το ακόλουθο πολυώνυµο των διηρηµένων διαφορών του Newton P n (x) = a 0 + a 1 (x x 0 )+...+a n (x x 0 )(x x 1 )...(x x n 1 ). (41) Καθηγητής: Ν. Μ. Μισυρλής Αριθµητική Ανάλυση - Ενότητα 5 43 / 55

44 Το P n(x) δύναται να τροποποιηθεί στο ακόλουθο φωλιασµένο σχήµα κατάλληλο για υπολογισµό π.χ. για n = 3 P 3(x) = [[a 3(x x 2)+a 2](x x 0)+a 0]. (42) Για τον υπολογισµό των a i, i = 0(1)n εργαζόµαστε ως εξής. Αφού για x i, i = 0(1)n έχουµε ότι P n(x i) = f i, i = 0(1)n. Συνεπώς για x = x i, i = 0(1)n παράγονται οι ακόλουθες σχέσεις (i = 0) f 0 = a 0 (i = 1) f 1 = a 0 + a 1(x 1 x 0) (i = 2) f 2 = a 0 + a 1(x 2 x 0)+a 2(x 2 x 0)(x 2 x 1) (43).. (i = n) f n = a 0 + a 1(x n x 0)+a 2(x n x 0)(x n x 1)+...+a n(x n x 0)...(x n x n 1) το οποίο είναι ένα τριγωνικό σύστηµα, όπου ο πίνακας των συντελεστών των αγνώστων X είναι µη ιδιάζων καθόσον η ορίζουσα του είναι ίση µε n 1 det(x) = (x i x j), i = 0(1)n. j=0 j i Καθηγητής: Ν. Μ. Μισυρλής Αριθµητική Ανάλυση - Ενότητα 5 44 / 55

45 Ετσι τα a i, i = 0(1)n ορίζονται µονοσήµαντα, η δε λύση του είναι η a 0 = f 0 a 1 = f 0 f 1 x 0 x 1 = f[x 0, x 1 ] a 2 = f[x 0, x 1 ] (f 0 f 2 )/(x 0 x 2 ) = f[x 0, x 1, x 2 ] (44) x 0 x 2. a n = f[x 0, x 1,..., x n ]. Το πολυώνυµο παρεµβολής των διηρηµένων διαφορών του Newton p n (x) = f[x 0 ]+(x x 0 )f[x 0, x 1 ]+(x x 0 )(x x 1 )f[x 0, x 1, x 2 ]+...+ (x x 0 )(x x 1 )...(x x n 1 )f[x 0, x 1, x 2,..., x n ]. (45) Καθηγητής: Ν. Μ. Μισυρλής Αριθµητική Ανάλυση - Ενότητα 5 45 / 55

46 Το πολυώνυµο παρεµβολής των διηρηµένων διαφορών του Newton p n (x) = f[x 0 ]+(x x 0 )f[x 0, x 1 ]+(x x 0 )(x x 1 )f[x 0, x 1, x 2 ]+...+ (x x 0 )(x x 1 )...(x x n 1 )f[x 0, x 1, x 2,..., x n ]. (46) Αλλαγή της σειράς των x i δεν αλλάζει την τιµή µιας διηρηµένης διαφοράς και το σφάλµα στην παρεµβολή χρησιµοποιώντας το p n (x) σε ένα σηµείο x είναι (γιατί;) R n+1 (x) = (x x 0 )(x x 1 )...(x x n )f[x 0, x 1,..., x n, x]. (47) Καθηγητής: Ν. Μ. Μισυρλής Αριθµητική Ανάλυση - Ενότητα 5 46 / 55

47 Θεώρηµα Αν I είναι το µικρότερο διάστηµα που περιέχει όλα τα σηµεία παρεµβολής x i, i = 0(1)n και το τυχόν σηµείο x και η συνάρτηση f(x) C n+1 (I), τότε f[x, x 0,...,x n ] = f(n+1) (ξ) (n+1)! (48) όπουξ I. Απόδειξη Γνωρίζουµε ότι το σφάλµα στην παρεµβολή είναι R n+1 (x) = n (x x i ) f(n+1) (ξ) (n+1)!, ξ I (49) i=0 ενώ για την παρεµβολή του Newton µε διηρηµένες διαφορές δίνεται από την (47), άρα από την εξίσωση των δύο αυτών σχέσεων προκύπτει η (48). Καθηγητής: Ν. Μ. Μισυρλής Αριθµητική Ανάλυση - Ενότητα 5 47 / 55

48 Παράδειγµα ίνεται ο πίνακας τιµών της f(x) x i f i Να ϐρεθεί το πολυώνυµο παρεµβολής του Newton Λύση Το Ϲητούµενο πολυώνυµο ϑα είναι το πολύ ϐαθµού 3 και λόγω της (46) για n = 3 είναι το p 3 (x) = f[x 0 ]+(x x 0 )f[x 0, x 1 ]+(x x 0 )(x x 1 )f[x 0, x 1, x 2 ]+ (x x 0 )(x x 1 )(x x 2 )f[x 0, x 1, x 2, x 3 ]. Καθηγητής: Ν. Μ. Μισυρλής Αριθµητική Ανάλυση - Ενότητα 5 48 / 55

49 Πίνακας των διηρηµένων διαφορών x 1 0 f(x) f[,] f[,,] f[,,,] p 3(x) = 0+(x 1) 2+(x 1)(x 2) 1+(x 1)(x 2)(x 4) 0 ή p 3(x) = (x 1)x Παρατήρηση Αν είχαν δοθεί µόνο τα τρία πρώτα σηµεία και στη συνέχεια εισαγόταν το τελευταίο, τότε στο πολυώνυµο παρεµβολής απλά προστίθεται ένας επιπλέον όρος (που στην προκειµένη περίπτωση είναι µηδέν). Καθηγητής: Ν. Μ. Μισυρλής Αριθµητική Ανάλυση - Ενότητα 5 49 / 55

50 Μελέτη του σφάλµατος Το σφάλµα παρεµβολής δίνεται από το τύπο όπου Σχήµα Ψ n(x) = f(x) p n(x) = (x x0)(x x1)...(x xn) f (n+1) (ξ) (n+1)! min(x 0, x 1,...,x n) < ξ < max(x 0, x 1,...,x n). y y=r n+1 (x) x 0 x 1 x 2 x 3 x 4 x 5 x 6 x Καθηγητής: Ν. Μ. Μισυρλής Αριθµητική Ανάλυση - Ενότητα 5 50 / 55

51 Σχήµα y y=r n+1 (x) x 0 x 1 x 2 x 3 x 4 x 5 x 6 x Παρατήρηση Η γραφική παράσταση του σφάλµατοςψ n (x) παρουσιάζεται στο ανωτέρω σχήµα από το οποίο παρατηρούµε ότι το σφάλµα γίνεται µικρότερο όταν το x είναι πλησίον τον µέσου. Καθηγητής: Ν. Μ. Μισυρλής Αριθµητική Ανάλυση - Ενότητα 5 51 / 55

52 Παρεµβολή µε κυβικές splines Εστω το σύνολο των σηµείων X n = {x j }, j = 0, 1,..., n όπου a = x 0 < x 1 <... < x n = b και το σύνολο των τιµών{f(x j )}, j = 0, 1,..., n. Ζητείται να ϐρεθεί η συνάρτηση η οποία διέρχεται από τα σηµεία P j = (x j, f(x j )), 0 j n. Εστω το σύνολο όλων των συναρτήσεων Sp(X n ) τέτοιες ώστε αν S(x) Sp(X n ) τότε η S(x) ικανοποιεί τις παρακάτω τρεις ιδιότητες: 1 S(x) C 2 [a, b] δηλαδή οι S(x), S (x) και S (x) είναι συνεχείς στο [a, b]. 2 S(x j ) = f(x j ) f j, 0 j n, δηλαδή η S(x) παρεµβάλλει την f(x) στο[a, b]. 3 S(x) είναι ένα πολυώνυµο 3ου ϐαθµού σε κάθε υποδιάστηµα [x j, x j+1 ], 0 j n 1. Η συνάρτηση S(x) που ικανοποιεί τις (1), (2) και (3) λέγεται µία κυβική spline. Οµοια µπορούµε να ορίσουµε splines µεγαλύτερης τάξης. Παρατηρούµε ότι η S(x) µπορεί να είναι διαφορετική σε κάθε υποδιάστηµα, έτσι συµβολίζουµε µε S j (x) το κυβικό πολυώνυµο τέτοιο ώστε S(x) = S j (x) για x [x j, x j+1 ], 0 j n 1. Καθηγητής: Ν. Μ. Μισυρλής Αριθµητική Ανάλυση - Ενότητα 5 52 / 55

53 ...Παρεµβολή µε κυβικές splines Επειδή κάθε S j(x) είναι πολυώνυµο τρίτου ϐαθµού και όλες οι παράγωγοί του είναι συνεχείς για κάθε x (x j, x j+1) στο αντίστοιχο ανοικτό διάστηµα, έτσι τα σηµεία που µας ενδιαφέρουν στο [x 0, x 3] είναι τα εσωτερικά x 1 και x 2 όπου τα κυβικά πολυώνυµα πρέπει να συµπίπτουν µε δευτέρου ϐαθµού συνέχεια. Εχοντας αυτό υπόψη ας εργαστούµε από τα αριστερά προς τα δεξιά στο [a, b] [x 0, x 3] και ας προσδιορίσουµε τον αριθµό των εξισώσεων οι οποίες πρέπει να ικανοποιούνται. Επειδή η S(x) πρέπει να παρεµβάλει σε κάθε x j και να είναι συνεχής στα x 1 και x 2 έχουµε ότι πρέπει να ικανοποιούνται οι παρακάτω έξι εξισώσεις S 0(x 0) = f 0, S 1(x 1) = f 1, S 0(x 1) = S 1(x 1) S 2(x 2) = f 2, S 1(x 2) = S 2(x 2) και S 2(x 3) = f 3. (50) Τέλος, επειδή οι S (x) και S (x) πρέπει επίσης να είναι συνεχείς στα x 1 και x 2 έχουµε S 0(x 1) = S 1(x 1) S 0 (x 1) = S 1 (x 1) S 1(x 2) = S 2(x 2) S 1 (x 2) = S 2 (x 2). (51) Καθηγητής: Ν. Μ. Μισυρλής Αριθµητική Ανάλυση - Ενότητα 5 53 / 55

54 ...Παρεµβολή µε κυβικές splines Αρα έχουµε ένα σύνολο δέκα εξισώσεων µε δώδεκα αγνώστους. ιαισθητικά λοιπόν αναµένουµε ότι το σύνολο S p (X n ) είναι µια διπαραµετρική οικογένεια συναρτήσεων. ύο λογικοί τρόποι για να αποκτήσουµε µία καλή προσέγγιση της f(x) είναι να προσδιορίσουµε αυθαίρετα είτε τα S 0 (x 0) και S (x 3 ) ή τα S (x 0 ) και S (x 3 ). Καθηγητής: Ν. Μ. Μισυρλής Αριθµητική Ανάλυση - Ενότητα 5 54 / 55

55 ' Κατά τµήµατα πολυωνυµική παρεµβολή y 16 y=p(x) ( x j, y ' j) '' ( x j+ 1, yj+ 1) y=q(x) x Σχήµα: Κατά τµήµατα πολυωνυµική παρεµβολή Καθηγητής: Ν. Μ. Μισυρλής Αριθµητική Ανάλυση - Ενότητα 5 55 / 55