Περιεχόμενα Πρόλογος... 9 Εισαγωγή στη δεύτερη έκδοση... 0 Εισαγωγή... Ε. Εισαγωγή στην έννοια της Αριθμητικής Ανάλυσης... Ε. Ταξινόμηση των θεμάτων που απασχολούν την αριθμητική ανάλυση.. Ε.3 Μορφές σφαλμάτων... 4 ΑΣΚΗΣΕΙΣ... Το αντίστροφο πρόβλημα... 3. Επίλυση εξισώσεων... 3. Η μέθοδος Βolzano ή της διχοτόμησης... 5.3 Η μέθοδος της εσφαλμένης θέσης... 8.4 Η μέθοδος της διατομής (ή της τέμνουσας)... 3.5 Γενικά περί των επαναληπτικών διαδικασιών... 3.6 Η μέθοδος Newton... 4.7 Η μέθοδος Picard Lidelöf... 56.8 Η μέθοδος Δ του Aitken... 60 Ασκήσεις... 60 Γραμμικά συστήματα... 63. Γενικά... 63. Eπαναληπτικές μέθοδοι (Μέθοδος JACOBI)... 64.3 Η μέθοδος Gauss Seidel... 69.4 Η μέθοδος διαδοχικής υπερχαλάρωσης... 69
6 ΑΡΙΘΜΗΤΙΚΗ ΑΝΑΛΥΣΗ.5 Η άμεση μέθοδος απαλοιφής του Gauss... 7.6 Ιδιοτιμές και ιδιοδιανύσματα... 74.7 Η μέθοδος Newton για μη γραμμικά συστήματα... 77 3 Επίλυση διαφορικών εξισώσεων γενικά... 83 3. Απλές μορφές εξισώσεων διαφορών... 90 3. Επίλυση συνήθων διαφορικών εξισώσεων ης τάξης... 9 3.3 Μέθοδοι απλού βήματος επίλυσης διαφορικών εξισώσεων... 94 Ασκήσεις... 00 3.4 Αναλυτικές μέθοδοι: η μέθοδος των προσδιοριστέων συντελεστών... 04 3.5 Η μέθοδος του Euler... 06 3.6 Οι μέθοδοι των Runge-Kutta... 09 3.7 Mέθοδοι παρεμβολής... 7 3.8 Μέθοδοι πολλαπλού βήματος... 3 3.9 Αναλυτικές μέθοδοι: άμεσος προσδιορισμός της λύσης με σειρές Τaylor.... 4 3.0 Ανάλυση σφάλματος... 4 3. Δευτέρου βαθμού γραμμικό πρόβλημα συνοριακών τιμών... 45 3. Διαφορικές εξισώσεις με μερικές παραγώγους... 48 3.3 Μέθοδοι διαφορών... 5 4 Εισαγωγή στην θεωρία προσεγγίσεων για το πρόβλημα της αναγνώρισης... 59 4. Γενικά... 59 4. Θεωρία προσεγγίσεων... 6 4.3 Παρεμβολή... 65 4.4 Πολυωνυμική παρεμβολή και πρόβλεψη με πεπερασμένες διαφορές. 66 4.5 Παρεμβολή παρεμβολικό πολυώνυμο... 68 4.6 Παρεμβολή Lagrange... 70 4.7 Παρεμβολή Hermite... 74 4.8 Διαιρεμένες διαφορές... 77 4.9 Το παρεμβολικό πολυώνυμο του Newton... 78 4.0 To «προς τα εμπρός» παρεμβολικό πολυώνυμο Newton-Gregory... 8 4. Τύποι παρεμβολής... 84 4. Παρεμβολή Aitken... 86 4.3 Αλγόριθμος Neville... 86 4.5 Αλγόριθμος Bulirsc-Stoer... 87 4.6 Κατά τμήματα πολυωνυμικές προσεγγίσεις και Splines... 88 4.7 Προσέγγιση συναρτήσεων... 9 4.8 Η μέθοδος των ελαχίστων τετραγώνων... 9
Περιεχόμενα 7 4.9 Ορθογωνικά πολυώνυμα... 93 4.0 Πολυώνυμα Cebysev... 95 4. Μερικές ιδιότητες ορθογωνικών πολυωνύμων... 96 4. Το πρόβλημα των ελαχίστων τετραγώνων (συνέχεια)... 00 4.3 Πολυωνυμικές επεκτάσεις Cebysev... 03 4.4 Αποκλίσεις στα πολυώνυμα Cebysev... 03 5 Το ευθύ πρόβλημα... 09 5. Aριθμητική ολοκλήρωση με χρήση παρεμβολικών πολυωνύμων τύποι Cote... 09 5. Αντικατάσταση ολοκληρωτέας συνάρτησης με ου βαθμού πολυώνυμα... 0 5.3 Αριθμητική ολοκλήρωση με χρήση παρεμβολικών πολυωνύμων ου βαθμού... 4 5.4 Αριθμητική ολοκλήρωση με χρήση παρεμβολικών πολυωνύμων 3 ου βαθμού... 9 5.5 Αριθμητική ολοκλήρωση με χρήση παρεμβολικών πολυωνύμων 4ου βαθμού... 5.6 Μελέτη του σφάλματος για μονότονες ολοκληρωτέες συναρτήσεις... 3 5.7 Μελέτη του σφάλματος για περιοδικές ολοκληρωτέες συναρτήσεις... 5 5.8 Αριθμητική ολοκλήρωση με χρήση παρεμβολής Lagrange... 6 5.9 Σφάλμα ολοκλήρωσης... 7 5.0 Αριθμητική ολοκλήρωση με χρήση παρεμβολής Hermite... 7 5. Τύπος των Euler & MacLaurent... 8 5. Αριθμητική ολοκλήρωση με τη μέθοδο Romberg... 9 5.3 Συμπεράσματα... 33 Ασκήσεις... 34 5.4 Αριθμητική ολοκλήρωση με αντικατάσταση του τελεστή... 35 5.5 Οι τύποι Newton Cotes... 43 6 Γενικές ασκήσεις... 45 Βιβλιογραφία... 73
94 ΑΡΙΘΜΗΤΙΚΗ ΑΝΑΛΥΣΗ 3.3 Μέθοδοι απλού βήματος επίλυσης διαφορικών εξισώσεων Εξ ορισμού, μια μέθοδος επίλυσης της παρακάτω διαφορικής εξίσωσης dy f(, t y), y( t0) y0, t [ t0, b] dx = = (3.6) λέγεται μονοβηματική ή απλού βήματος όταν η λύση της διαφορικής εξίσωσης προσεγγίζεται από τον υπολογισμό της λύσης μιας «σχετικής» διαφορικής εξίσωσης πρώτης τάξης. Στις μονοβηματικές μεθόδους, ο υπολογισμός ενός σημείου στηρίζεται στην τιμή ενός μόνο άλλου σημείου της διαφορικής εξίσωσης. Μια γενική μορφή των μονοβηματικών μεθόδων μπορεί να δοθεί ως εξής: y = n y + + n φ ( tn, yn, ), n = 0,,..., N (3.7) όπου φ(t,y,) είναι μια συνάρτηση των t,y, και που επιπλέον εξαρτώνται από το δεξιό μέρος της σχέσης (3.6). Η συνάρτηση φ(t,y,) ονομάζεται προσθετική συνάρτηση. Αν η y n+ βρεθεί απλά εκτιμώντας το δεξιό μέρος της σχέσης (3.7) τότε η μονοβηματική μέθοδος ονομάζεται «ρητή» (explicit), αλλιώς καλείται «πεπλεγμένη» (implicit) 3. Η τιμή της y(t n ) θα ικανοποιεί την σχέση (3.8). y = n y + n φ ( tn, yn, ) + + Tn, n = 0,,..., N (3.8) όπου Τ n είναι το σφάλμα αποκοπής. Ο μεγαλύτερος ακέραιος p τέτοιος ώστε - T n = 0( p ) ονομάζεται τάξη της μονοβηματικής μεθόδου. Η μονοβηματική μέθοδος (3.7) λέγεται κανονική (regular) όταν η φ(t,y,) είναι ορισμένη και συνεχής στο t 0 t b, - y, 0 0 ( 0 θετική σταθερά) και αν υπάρχει L τέτοιο ώστε φ(t,y,)-φ(t,z,) L y-z για κάθε t [ t0, b], y, z (0, ). 0 Single step metods Μια συνάρτηση, όπως η y = 4x + 3, που η τιμή της μπορεί να υπολογιστεί από τις ανεξάρτητες μεταβλητές ονομάζεται ρητή συνάρτηση (explicit function). Στην προκειμένη περίπτωση ρητή (explicit) μέθοδος είναι όταν η φ είναι ανεξάρτητη του y(tn+). 3 Μια συνάρτηση που η σχέση της με τη μεταβλητή δίνεται από μια εξίσωση για την οποία η συνάρτηση δεν έχει λυθεί ρητά. Για παράδειγμα στην εξίσωση x + y =, το y είναι πεπλεγμένη συνάρτηση (implicit function) του x. Στην προκειμένη περίπτωση πεπλεγμένη (implicit) μέθοδος είναι όταν πρέπει να λυθεί εξίσωση για να υπολογιστεί το y(tn+).
Κεφάλαιο 3: Επίλυση Διαφορικών Εξισώσεων Γενικά 95 Μια μονοβηματική μέθοδος της μορφής (3.7) λέγεται διατηρούμενη αν φ(t, y, 0) = f(t, y). Πρέπει επίσης να βεβαιωθούμε πως η φόρμουλα (3.7) δεν είναι ευαίσθητη σε μικρές αλλαγές του τοπικού σφάλματος. Αυτό μπορεί να εξασφαλιστεί από προϋποθέσεις ευστάθειας. Σε γενικές γραμμές μπορούμε να πούμε πως μονοβηματικές είναι οι μέθοδοι επίλυσης διαφορικής εξίσωσης που προσεγγίζουν την γραφική παράσταση της λύσης σχηματίζοντας μικρά ευθύγραμμα τμήματα. Για το σχηματισμό των μικρών αυτών ευθύγραμμων τμημάτων πρέπει να χρησιμοποιηθούν κάθε φορά σημεία σε ένα όσο το δυνατό μικρά διαστήματα. Οι διακριτές τιμές της βρίσκονται με βάση μια συνάρτηση εκτίμησης που υπολογίζει κάθε φορά το εκτιμώμενο y n+ χρησιμοποιώντας το αμέσως προηγούμενο του y n με βάση ένα βήμα. Αντίθετα στις πολυβηματικές μεθόδους για την εύρεση μια τιμής του y χρησιμοποιούνται και ενδιάμεσες τιμές. Εδώ θα πρέπει να επισημάνουμε πως όσο ποιο μικρό το τόσο μεγαλύτερη ακρίβεια έχουμε στην εκτίμηση της συνάρτηση του y n. Υπάρχουν διάφορες μονοβηματικές μέθοδοι επίλυσης διαφορικών εξισώσεων για την επίλυση του προβλήματος των αρχικών τιμών. Στη μέθοδο Taylor υποθέτουμε πως η διαφορική εξίσωση (3.6) έχει μοναδική λύση y(t) στο [t 0,b] και ότι y(t) C (p+) [t 0,b] για p. Η λύση y(t) μπορεί να αναπτυχθεί σε σειρές Taylor γύρω από κάθε σημείο t n. y t = y t + t t y t + t t y t +! ( ) ( n) ( n) '( n) ( n) ''( n)... ( t t ) + + p! ( p+ )! Καθώς στο αρχικό σημείο t 0 είναι p+ ( ) p ( p) ( ) n ( p+ ) t tn y tn y ( n ) ( t t0 ) yt ( ) = yt ( 0) + ( t t0) y'( t0) + y''( t0) +... 4! ξ (3.9) αυτή η επέκταση αληθεύει για t [t 0,b], t n <ξ<t. Αντικαθιστώντας t=t n+ στην (3.9) παίρνουμε: Ορίζουμε t t = n και n 0 ( tn t0 ) yt ( n+ ) = yt ( 0) + ( tn t0) y'( t0) + y''( t0) +... (3.0)! n n n n n p ϕ ( t, y, ) = ny '( t n) + y ''( t n) + O( ) (3.)! Consistent
96 ΑΡΙΘΜΗΤΙΚΗ ΑΝΑΛΥΣΗ και φ y n = y t + y t + + y t! p! p ( p) (t n, ( ), ) '( n) ''( n)... ( n) Στην (3.), η σχέση φ(t n,y n,) προέρχεται από την φ(t n,y(t n ),) χρησιμοποιώντας μια προσεγγιστική τιμή y n στη θέση της πραγματικής τιμής y(t n ) y y φ( t, y, ), n 0,,,... N (3.) = + = n+ n n n Υπολογίζουμε την y(t n ) για να προσεγγίσουμε την y(t n+ ). Αυτό καλείται μέθοδος σειρών Taylor τάξης p. Αντικαθιστώντας p= στην (3.) παίρνουμε: y = n y + + n f( tn, yn), n = 0,,, γνωστή και ως μέθοδος Euler. Για να εφαρμόσουμε την (3.) για p>, πρέπει να είναι γνωστά τα y(t n ), y'(t n ),.., y (p) (t n ). Αν είναι γνωστά τα t n και y(t n ) τότε μπορούμε να υπολογίσουμε τις παραγώγους όπως παρακάτω: αντικαθιστούμε τα y(t n ) και t n στην διαφορική εξίσωση για να πάρουμε την y'(t n ) κ.ο.κ. Παραγωγίζοντας την (3.6) μπορούμε να βρούμε και τις υπόλοιπες παραγώγους ανώτερης τάξης της y(t). Τα πλεονεκτήματα της μεθόδου Taylor είναι τα παρακάτω: Μπορεί να ελεγχθεί το σφάλμα αποκοπής (truncation error) με την εκτίμηση της παραγώγου κατάλληλης τάξης. Βέβαια η εισαγωγή παραγώγου υψηλών τάξεων μπορεί να αυξήσει την πολυπλοκότητα της μεθόδου, παρόλα αυτά η μέθοδος των σειρών Taylor παρέχει το πρότυπο με βάση το οποίο μπορούμε να εκτιμήσουμε τις άλλες μεθόδους και τη θεωρητική βάση για τις άλλες μεθόδους. Κάποιες από αυτές είναι: Μέθοδοι σειρών Taylor. Runge-Kutta μέθοδοι Δεύτερης τάξης Τρίτης τάξης Τέταρτης τάξης Πέμπτης τάξης κτλ
Κεφάλαιο 3: Επίλυση Διαφορικών Εξισώσεων Γενικά 97 Μέθοδος παρεκβολής (Extrapolation). Πεπλεγμένη Runge-Kutta μέθοδος. Δεύτερης τάξης Τρίτης τάξης Τέταρτης τάξης Πέμπτης τάξης κτλ Ένας περιγραφικός τρόπος για να καταλήξει κανείς στη μέθοδο Euler είναι και ο ακόλουθος. Ας θεωρήσουμε ότι στο [t n,t n+ ] η λύση προσεγγίζεται με γραμμική συνάρτηση y(t)= α 0 + α t όπου α 0 και α είναι κατάλληλες σταθερές. Η μέθοδος απλού βήματος τάξης ένα, θα δώσει μια επαναληπτική σχέση των y n+, y n και y n. Προφανώς ισχύουν οι σχέσεις y n+ = α 0 +α t n+ y n = α 0 +α t n y n = α Εδώ οι άγνωστοι του συστήματος είναι α 0, α και y ν+. Με απαλοιφή των α 0 και α προκύπτει y n+ = y n + y n η οποία τελικά οδηγεί στην y n+ = y n + f n, n = 0,,,, Ν- όπου y n = f n = f(t n,y n ) Οι ακριβείς τιμές της y(t) στα κομβικά σημεία t n ικανοποιούν τη σχέση Τ n = C y (ξ ), t n < ξ < t n+, (3.3) Ο προσδιορισμός του C γίνεται με αντικατάσταση στην (3.3) της y(t) από την t για να προκύψει C = /. Κατ αναλογία και προκειμένου να οδηγηθούμε στην κατασκευή μιας πολυβηματικής μεθόδου, θεωρούμε την πολυωνυμική συνάρτηση y(t)= α 0 + α t + α t + α 3 t 3 όπου α 0,α, α, α 3 σταθεροί συντελεστές. Η μέθοδος πολλαπλού βήματος τάξης τρία, θα δώσει μια επαναληπτική σχέση των y n+, y n, y n, y n- και y n-. Προφανώς ισχύουν οι σχέσεις
98 ΑΡΙΘΜΗΤΙΚΗ ΑΝΑΛΥΣΗ Από αυτές προκύπτει y n+ = α 0 +α t n+ +α t n++α 3 t 3 n+ y n = α 0 +α t n +α t n+α 3 t 3 n. y' n = α + α t n + 3 α 3t n y' n- = α + α t n- + 3 α 3t n- y' n- = α + α t n- + 3 α 3t n- yn+ = yn + (3y n 6y n + 5 y n d ). Έτσι, η μέθοδος πολλαπλού βήματος τάξης τρία διαμορφώνεται στην yn+ = yn + (3 fn 6 fn + 5 fn ), n=,3,,n- Οι ακριβείς τιμές της y(t) θα ικανοποιούν την y( t ) = y( t ) + [3 f( t, y( t )) 6 f( t, y( t )) + 5 f( t, y( t ))] + T n+ n n n n n n n n όπου το τοπικό σφάλμα αποκοπής Τ n ικανοποιεί τη σχέση Τ n = C 4 4 y (4) (ξ), t n- < ξ < t n+, (3.4) Θέτοντες y(t)= t 4 στην (3.4) βρίσκουμε ότι C 4 = 3/8 Παράδειγμα 3.5 Να βρεθεί αριθμητική λύση του προβλήματος αρχικών τιμών dy = λyy, (0) =, t [0,], λ =± dt Με χρήση της πρώτης μεθόδου, y n+ = (+λ)y n, για n = 0,,,, N- και = 0 - λαμβάνουμε y = (+ 0.λ)y 0 = + 0.λ y = (+ 0.λ)y = (+ 0.λ) y 3 = (+ 0.λ)y = (+ 0.λ) 3... y N = (+ 0.λ)y N- = (+ 0.λ) N
Κεφάλαιο 3: Επίλυση Διαφορικών Εξισώσεων Γενικά 99 όπου Ν=(b-t 0 )/ = 0 Στον πίνακα, που ακολουθεί, αναγράφονται οι τιμές που προκύπτουν από την αριθμητική μέθοδο απλού βήματος πρώτης τάξης καθώς και οι ακριβείς τιμές της e λn. Πίνακας 3. Μέθοδος απλού βήματος για την y'=λy, y(0)=, t [0,] και λ=+, - y n+ =(+0,λ)y n 0, = 0, λ= - t μέθοδος πρώτης τάξης ακριβής λύση μέθοδος πρώτης τάξης ακριβής λύση 0,00000,000000,00000 0,,0000,057 0,90000 0,904837 0,,000,403 0,8000 0,8873 0,3,3300,349859 0,7900 0,74088 0,4,4640,4985 0,6560 0,6703 0,5,605,6487 0,59049 0,60653 0,6,7756,89 0,5344 0,5488 0,7,9487,03753 0,47830 0,496585 0,8,4359,554 0,43047 0,44939 0,9,35795,459603 0,3874 0,40657,59374,788 0,34868 0,367879,,853 3,00466 0,338 0,3387, 3,3843 3,307 0,843 0,3094,3 3,457 3,66997 0,549 0,753,4 3,79750 4,05500 0,877 0,46597,5 4,775 4,48689 0,0589 0,33,6 4,59497 4,95303 0,8530 0,0897,7 5,05447 5,473947 0,6677 0,8684,8 5,5599 6,049647 0,5009 0,6599,9 6,59 6,685894 0,3509 0,49569 6,7750 7,389056 0,58 0,35335
00 ΑΡΙΘΜΗΤΙΚΗ ΑΝΑΛΥΣΗ Ασκήσεις Να δειχθεί ότι εκ της (3.) συνεπάγεται πως οι αριθμητικές μέθοδοι τάξης p παράγουν ακριβή αποτελέσματα για όλες τις ΔΕ των οποίων οι λύσεις είναι πολυώνυμα βαθμού ίσου ή μικρότερου του p. Παράδειγμα 3.6 α) Να λύσετε το πρόβλημα αρχικών τιμών y (3) = -y, y()=, y'()=, y"()= β) Να εφαρμόσετε τη διαδικασία διακριτικοποίησης για να καταλήξετε σε μία εξίσωση διαφορών γ) Να εκτιμήσετε την τιμή της λύσης σε απόσταση τεσσάρων βημάτων με βήμα = 0,003 δ) Να εφαρμόσετε τη μέθοδο Taylor με αποκοπή των όρων βαθμού ίσου ή μεγαλύτερου του 4. ε) Να συγκρίνετε τα πραγματικά σφάλματα που προκύπτουν από τις δύο μεθόδους στο σημείο x o + 4. Απάντηση: α) Η παραπάνω διαφορική εξίσωση έχει χαρακτηριστική εξίσωση: λ 3 +=0 και οι ρίζες της είναι: λ =-, λ = 3 + t και λ 3= 3 t. Άρα θα έχει γενική λύση Με x 3 3 x y = ce + e ccos x + c3sin x. 3 3 ' x y = ce + e c cos x c sin x e + + 3 x x c 3 3 3 3 sin( ) cos x c 3 x + (Θέτω για ευκολία 3 (/) /=α) και x x y = ce x + e c cos( ax) + c sin( ax) + e 4 3 x 3 3 [ c asinax + c a cos ax] + e [ c a cosax + c asin ax]
Κεφάλαιο 3: Επίλυση Διαφορικών Εξισώσεων Γενικά 0 Για τις αρχικές τιμές που δίνονται: y()=, y'()=, y"()= το παραπάνω σύστημα μετασχηματίζεται στο παρακάτω: y c c c e () = +,65[ 0,679 + 30,768] = c y c c c c e '() = + 0,83[ 0, 6479 + 30, 768] + 0,83[, + 3 0, 659] = c y () = + 0, 4[ c 0, 6479 + c30, 768] + 0,83[ c, + c30, 659] + e + 0,83[ c 0, 659 + c,] +, 65[ c 0, 486 c 0,57] = 3 3 Μετά από πράξεις, όπου κρατάμε ακρίβεια 4 δεκαδικών ψηφιών και κάνοντας ακόμη την παραδοχή πως οι αρχικές τιμές θα χρησιμοποιηθούν ως ακτίνια στη γωνία των ημιτόνων καθώς και των συνημιτόνων καταλήγουμε στα έξεις: και c =0,9007. και c =-0,503. και c 3 =0,9659. Άρα η γενική λύση παίρνει την μορφή: * x x 3 3 0,9007 * *[ 0,503 * cos( * ) 0,9659 * sin( * )] y = e + e x + x. β) Γενικά για μια γραμμική εξίσωση διάφορων με τρίτη παραγωγό θα ισχύει: 3 d y 3 Ay( x) B 3 dx = + (3.5) y = y( x ) = y( x + n) n n Δ y = y y = y( x + n+ ) y( x + n) n n+ n 0 0 Κατά συνέπεια y( x+ ) y( x) Δy( x) Δ yx ( ) = lim 0 = lim 0. Οπότε Δyn( x) Δy(x n )=Δy n = lim 0. Αρα Δy n /=A* y n +B. 0
0 ΑΡΙΘΜΗΤΙΚΗ ΑΝΑΛΥΣΗ Έτσι αν βγάλουμε το όριο από τον ορισμό της παραγωγού θα έχουμε: yi + yi y i. Ακόμα σύμφωνα με αυτό θα προκύψουν και οι μεγαλύτερης τάξης παραγωγοί: y i και y i. y i + y i y i + y i Δy i Άρα από την (3.5) θα έχουμε = Α*y i + Β. y i + y i + y i + y i y i + y i = B * + A* yi * = B* + A* yi* y i+ -* y i+ + y I /=(B+A*y i )* 3 y i+3-3y i+ +3y i+ - y i =(B+Ay i ) 3. Σε αυτήν λοιπόν την εξίσωση διάφορων καταλήγουμε όταν έχουμε τρίτη παράγωγο γενικά. Στο συγκεκριμένο παράδειγμα ισχύει Β=0 και Α=-. Άρα παίρνουμε την εξίσωση διάφορων: y i+3-3y i+ +3y i+ - y i =- yi 3 (3.6). Θέτουμε i=0 άρα η πιο πάνω εξίσωση μετασχηματίζεται στην εξής y 3-3y +3y - y 0 =- y 0 3 (3.7) Σύμφωνα με τις αρχικές τιμές ισχύει y 0 =, y y0 y 0 = = y = y0 + = + =,006 y y 0 y y y y0 y 0 = = =. y y+ y0= y= + y y = + + 4 = + 4+ =,0009 0 Άρα λύνοντας την (3.7) ως προς y 3 έχουμε y 3 = -y 0 * 3 + 3 * y -3 * y + y 0 = - 3 + 3 * + * + 3 3 6 * + = - 3 + 3 * + 6 * + σχέση (3.6) Θέτοντας n= στην σχέση έχουμε: y4=-y 3 +3y 3-3y +y =,006 3 +3(,0806973)-3(,0009)+,006=,04053946 γ) Έτσι θέτοντας στην (3.7): =0,003 έχουμε: y 3 =,0806973. δ) Σύμφωνα με τον τύπο του Taylor έχουμε: y(x)=y(x) +(x- x)y(x)+(x-x) y(x)/!+(x-x) y(x)/3!+... 3 0 0 0 0 0 0 0
Κεφάλαιο 3: Επίλυση Διαφορικών Εξισώσεων Γενικά 03 3 για x 0 = έχουμε: y(x)=y() +(x-)*y ()+(x-) y ()/!+(x-) y ()/3!+... Γνωρίζουμε ότι y()=, y'()=, y"()=, άρα: 3 y(x)=+(x-)+(x-) /!+(x-) y ()/3!+... αντικαθιστώντας στην παραπάνω σχέση όπου y () = έτσι όπως προκύπτει από την αρχική σχέση: y (3) = -y. Επομένως έχουμε 3 y(x)=+(x-)+(x-) /!-(x-) /3!+... y(x)= +(x-)+(x -*x+)/+(x 3-3*x +3*x-) /6+ Θέτω x=+n άρα: y(+)= ++((+) -*-)/+( 3 +3*+3* +- 3*(+) +3*+) /6+ y(+)= ++((+ +*)-*-)/+( 3 +3*+3* +-3* (+ +*)+3*+)/6+ y(+)= ++ /+ 3 /6+ Για =0,003 έχουμε y(,003)=++ /+ 3 /6=,0060045 y(,006)=++ /+ 3 /6=,008 y(,009)=++ /+ 3 /6=,080406 και τέλος y(+4)=y(,0)=,04073. ε) Να συγκρίνετε τα πραγματικά σφάλματα που προκύπτουν από τις δύο μεθόδους στο σημείο x o + 4. Θεωρούμε ως πραγματική τιμή ή έστω πιο κοντά στην πραγματική τιμή την y(x o +4*)= y(+4*0,003)= y(,0)=,0689867 που προκύπτει αν θέσουμε x=x 0 +4* στη γενική λύση της διαφορικής εξίσωσης που βρέθηκε με τη μέθοδο των αρχικών τιμών, αφού αυτή θεωρείται ως πραγματική τιμή (ή τουλάχιστον πιο κοντά στην πραγματική τιμή σε σχέση με τις υπόλοιπες μεθόδους). Το σφάλμα για κάθε μία από τις δύο τιμές θα βρεθεί από τον τύπο: σφάλμα=(αληθής τιμή-υπολογιστική τιμή)/(αληθή τιμή) Άρα θα έχουμε για τη μέθοδο διακριτικοποίησης. Σφάλμα=,0689867-,04054946/,0689867 = -0,007037753 ή περίπου 0,7% Άρα θα έχουμε για τη μέθοδο με τον τύπο του Taylor.