Μαθηματικά ΙΙΙ. Ανοικτά Ακαδημαϊκά Μαθήματα. Ενότητα 15: Προσέγγιση συνήθων διαφορικών εξισώσεων Μέρος Ι. Αθανάσιος Μπράτσος

Σχετικά έγγραφα
ÁÑÉÈÌÇÔÉÊÇ ËÕÓÇ ÓÕÍÇÈÙÍ ÄÉÁÖÏÑÉÊÙÍ ÅÎÉÓÙÓÅÙÍ

Μαθηματικά ΙΙΙ. Ανοικτά Ακαδημαϊκά Μαθήματα. Ενότητα 16: Προσέγγιση συνήθων διαφορικών εξισώσεων Μέρος ΙΙ. Αθανάσιος Μπράτσος

ÐÑÏÓÅÃÃÉÓÇ ÐÁÑÁÃÙÃÙÍ

ÐÑÏÓÅÃÃÉÓÇ ÅËÁ ÉÓÔÙÍ ÔÅÔÑÁÃÙÍÙÍ

Εφαρμοσμένα Μαθηματικά

ÐÑÏÓÅÃÃÉÓÇ ÐÁÑÁÃÙÃÙÍ

ÓÕÍÅ ÅÉÁ ÓÕÍÁÑÔÇÓÇÓ. 8.1 ÃåíéêÝò Ýííïéåò êáé ïñéóìïß

Ανώτερα Μαθηματικά Ι. Ανοικτά Ακαδημαϊκά Μαθήματα. Ενότητα 8: Συνέχεια Συνάρτησης. Αθανάσιος Μπράτσος. Τμήμα Ναυπηγών Μηχανικών ΤΕ

Εφαρμοσμένα Μαθηματικά

Ανώτερα Μαθηματικά Ι. Ανοικτά Ακαδημαϊκά Μαθήματα. Ενότητα 11: Διανυσματική Συνάρτηση. Αθανάσιος Μπράτσος. Τμήμα Ναυπηγών Μηχανικών ΤΕ

ÁÑÉÈÌÇÔÉÊÇ ÏËÏÊËÇÑÙÓÇ

SPLINES. ÌÜèçìá ÓõíÜñôçóç spline Ïñéóìïß êáé ó åôéêü èåùñþìáôá

Εφαρμοσμένα Μαθηματικά

Εφαρμοσμένα Μαθηματικά

Ανώτερα Μαθηματικά Ι. Ανοικτά Ακαδημαϊκά Μαθήματα. Ενότητα 7: Οριακή Τιμή Συνάρτησης. Αθανάσιος Μπράτσος. Τμήμα Ναυπηγών Μηχανικών ΤΕ

ÐÏËÕÙÍÕÌÉÊÇ ÐÁÑÅÌÂÏËÇ

ÁÑÉÈÌÇÔÉÊÇ ËÕÓÇ ÅÎÉÓÙÓÅÙÍ

ÄÉÁÍÕÓÌÁÔÉÊÅÓ ÓÕÍÁÑÔÇÓÅÉÓ

ÌÉÃÁÄÉÊÅÓ ÓÕÍÁÑÔÇÓÅÉÓ

Ανώτερα Μαθηματικά Ι. Ανοικτά Ακαδημαϊκά Μαθήματα. Ενότητα 5: Μιγαδικές Συναρτήσεις. Αθανάσιος Μπράτσος. Τμήμα Ναυπηγών Μηχανικών ΤΕ

ÏÑÉÁÊÇ ÔÉÌÇ ÓÕÍÁÑÔÇÓÇÓ

Ανώτερα Μαθηματικά Ι. Ανοικτά Ακαδημαϊκά Μαθήματα. Ενότητα 15: Ορισμένο Ολοκλήρωμα Μέρος ΙΙΙ - Εφαρμογές. Αθανάσιος Μπράτσος

ÓÕÍÄÕÁÓÔÉÊÇ É, ÓÅÐÔÅÌÂÑÉÏÓ ÏÌÁÄÁ ÈÅÌÁÔÙÍ B

ÓÕÍÄÕÁÓÔÉÊÇ É, ÓÅÐÔÅÌÂÑÉÏÓ ÏÌÁÄÁ ÈÅÌÁÔÙÍ Á

Ανώτερα Μαθηματικά Ι. Ανοικτά Ακαδημαϊκά Μαθήματα. Ενότητα 12: Αόριστο Ολοκλήρωμα. Αθανάσιος Μπράτσος. Τμήμα Ναυπηγών Μηχανικών ΤΕ

ÁÏÑÉÓÔÏ ÏËÏÊËÇÑÙÌÁ. ÌÜèçìá ÅéóáãùãéêÝò Ýííïéåò ÐáñÜãïõóá óõíüñôçóç

ÄÉÁÍÕÓÌÁÔÉÊÏÓ ÄÉÁÖÏÑÉÊÏÓ ËÏÃÉÓÌÏÓ

ÐÏËËÁÐËÁ ÏËÏÊËÇÑÙÌÁÔÁ

3.1 Íá âñåèåß ôï ðåäßï ïñéóìïý ôçò óõíüñôçóçò f: 4 x. (iv) f(x, y, z) = sin x 2 + y 2 + 3z Íá âñåèïýí ôá üñéá (áí õðüñ ïõí): lim

Ανώτερα Μαθηματικά Ι. Ανοικτά Ακαδημαϊκά Μαθήματα. Ενότητα 10: Παράγωγος Συνάρτησης Μέρος ΙI. Αθανάσιος Μπράτσος. Τμήμα Ναυπηγών Μηχανικών ΤΕ

( ) ξî τέτοιο, + Ý åé ìßá ôïõëü éóôïí ñßæá óôï äéüóôçìá ( ) h x =,να δείξετε ότι υπάρχει ( α,β) x ΕΦΑΡΜΟΓΕΣ ΣΤΙΣ ΠΑΡΑΓΩΓΟΥΣ

Θερμοδυναμική. Ανοικτά Ακαδημαϊκά Μαθήματα. Πίνακες Νερού σε κατάσταση Κορεσμού. Γεώργιος Κ. Χατζηκωνσταντής Επίκουρος Καθηγητής

ÓÅÉÑÁ FOURIER. ÌÜèçìá ÅéóáãùãéêÝò Ýííïéåò

ÊåöÜëáéï 3 ÏÑÉÆÏÕÓÅÓ. 3.1 ÅéóáãùãÞ

Ανώτερα Μαθηματικά Ι. Ανοικτά Ακαδημαϊκά Μαθήματα. Ενότητα 3: Πραγματικές Συναρτήσεις. Αθανάσιος Μπράτσος. Τμήμα Ναυπηγών Μηχανικών ΤΕ

ÐÑÁÃÌÁÔÉÊÅÓ ÓÕÍÁÑÔÇÓÅÉÓ

Áóõìðôùôéêïß Óõìâïëéóìïß êáé Éåñáñ ßá ÓõíáñôÞóåùí

2.4 ñçóéìïðïéþíôáò ôïí êáíüíá áëõóßäáò íá âñåèåß ç dr

Διοικητική Λογιστική

Ανοικτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Αθήνας. Βιοστατιστική (Ε) Ενότητα 3: Έλεγχοι στατιστικών υποθέσεων

Ανοικτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Αθήνας. Βιοστατιστική (Ε) Ενότητα 1: Καταχώρηση δεδομένων

Ανοικτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Αθήνας. Βιοστατιστική (Ε) Ενότητα 2: Περιγραφική στατιστική

ÊåöÜëáéï 4 ÄÉÁÍÕÓÌÁÔÁ. 4.1 ÅéóáãùãÞ (ÃåùìåôñéêÞ)

Θερμοδυναμική. Ανοικτά Ακαδημαϊκά Μαθήματα. Πίνακες Νερού Υπέρθερμου Ατμού. Γεώργιος Κ. Χατζηκωνσταντής Επίκουρος Καθηγητής

Λογιστική Κόστους Ενότητα 12: Λογισμός Κόστους (2)

1. Íá ëõèåß ç äéáöïñéêþ åîßóùóç (15 ìïí.) 2. Íá âñåèåß ç ãåíéêþ ëýóç ôçò äéáöïñéêþò åîßóùóçò (15 ìïí.)

Εισαγωγή στους Αλγορίθμους

16. ÌåëÝôç ôùí óõíáñôþóåùí y=çìx, y=óõíx êáé ôùí ìåôáó çìáôéóìþí ôïõò.

Ανώτερα Μαθηματικά ΙI

ÊåöÜëáéï 5 ÄÉÁÍÕÓÌÁÔÉÊÏÉ ÙÑÏÉ. 5.1 ÅéóáãùãÞ. 56 ÊåöÜëáéï 5. ÄÉÁÍÕÓÌÁÔÉÊÏÉ ÙÑÏÉ

Ó ÅÄÉÁÓÌÏÓ - ÊÁÔÁÓÊÅÕÇ ÓÔÏÌÉÙÍ & ÅÉÄÉÊÙÍ ÅÎÁÑÔÇÌÁÔÙÍ ÊËÉÌÁÔÉÓÌÏÕ V X

Ανώτερα Μαθηματικά ΙI

Εισαγωγή στους Αλγορίθμους

Ανώτερα Μαθηματικά Ι. Ανοικτά Ακαδημαϊκά Μαθήματα. Ενότητα 6: Γραμμική Άλγεβρα. Αθανάσιος Μπράτσος. Τμήμα Ναυπηγών Μηχανικών ΤΕ

ÄéáêñéôÝò êáé óõíå åßò ôõ áßåò ìåôáâëçôýò ÁóêÞóåéò

Λογιστική Κόστους Ενότητα 8: Κοστολογική διάρθρωση Κύρια / Βοηθητικά Κέντρα Κόστους.

ΣΥΣΤΗΜΑΤΑ ΗΛΕΚΤΡΙΚΗΣ ΕΝΕΡΓΕΙΑΣ ΙIΙ

ΣΥΣΤΗΜΑΤΑ ΗΛΕΚΤΡΙΚΗΣ ΕΝΕΡΓΕΙΑΣ ΙIΙ

ΣΥΣΤΗΜΑΤΑ ΗΛΕΚΤΡΙΚΗΣ ΕΝΕΡΓΕΙΑΣ ΙIΙ

Εισαγωγή στην Διοίκηση Επιχειρήσεων

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

ÌÁÈÇÌÁÔÉÊÇ ËÏÃÉÊÇ Ë1 5ï ðáêýôï áóêþóåùí

Συντακτική ανάλυση. Μεταγλωττιστές. (μέρος 3ον) Νίκος Παπασπύου, Κωστής Σαγώνας

Μαθηματικά ΙII. Ανοικτά Ακαδημαϊκά Μαθήματα. Ενότητα 1: Μετασχηματισμός Laplace. Αθανάσιος Μπράτσος. Τμήμα Μηχανικών Ενεργειακής Τεχνολογίας ΤΕ

ÓÕÍÈÇÊÇ ÁÌÅÔÁÈÅÔÏÔÇÔÁÓ ÓÕÓÔÇÌÁÔÏÓ ÔÏÉ ÙÌÁÔÙÍ ÐÁÑÁÑÔÇÌÁ Â

Διοικητική Λογιστική

3.1 H Ýííïéá ôçò óõíüñôçóçò ÐÁÑÁÄÅÉÃÌÁÔÁ - ÅÖÁÑÌÏÃÅÓ

Μαθηματικά ΙΙΙ. Ανοικτά Ακαδημαϊκά Μαθήματα. Ενότητα 10: Μέθοδος Ελάχιστων Τετραγώνων. Αθανάσιος Μπράτσος. Τμήμα Μηχανικών Ενεργειακής Τεχνολογίας ΤΕ

å) Íá âñåßôå ôï äéüóôçìá ðïõ äéáíýåé ôï êéíçôü êáôü ôï ñïíéêü äéüóôçìá áðü ôï ðñþôï Ýùò ôï Ýâäïìï äåõôåñüëåðôï ôçò êßíçóþò ôïõ.

ÄÉÁÍÕÓÌÁÔÁ. ÌÜèçìá ÅéóáãùãéêÝò Ýííïéåò Âáóéêïß ïñéóìïß

Μεθοδολογία Έρευνας Κοινωνικών Επιστημών Ενότητα 2: ΣΥΓΚΕΝΤΡΩΣΗ ΠΛΗΡΟΦΟΡΙΩΝ ΜΑΡΚΕΤΙΝΓΚ Λοίζου Ευστράτιος Τμήμα Τεχνολόγων Γεωπόνων-Kατεύθυνση

Estimation Theory Exercises*

ΠΙΝΑΚΕΣ. Θερμοδυναμική 2012 Σελίδα 292

Ανώτερα Μαθηματικά ΙI

Εισαγωγή στους Αλγορίθμους

Διεθνείς Οικονομικές Σχέσεις και Ανάπτυξη

Βάσεις Περιβαλλοντικών Δεδομένων

ÓÕÍÁÑÔÇÓÅÉÓ ÐÏËËÙÍ ÌÅÔÁÂËÇÔÙÍ

ÓÅÉÑÅÓ. ÌÜèçìá Áêïëïõèßåò áñéèìþí Ïñéóìüò áêïëïõèßáò

Μαθηματικά ΙΙΙ. Ανοικτά Ακαδημαϊκά Μαθήματα. Ενότητα 6: Επικαμπύλια Ολοκληρώματα. Αθανάσιος Μπράτσος. Τμήμα Μηχανικών Ενεργειακής Τεχνολογίας ΤΕ

Τεχνικό Σχέδιο - CAD

Ìáèáßíïõìå ôéò áðïäåßîåéò

Ενότητα. Εισαγωγή στις βάσεις δεδομένων

Εισαγωγή στην Διοίκηση Επιχειρήσεων

Ðñïêýðôïõí ôá ðáñáêüôù äéáãñüììáôá.

Εισαγωγή στην Διοίκηση Επιχειρήσεων

Κβαντική Επεξεργασία Πληροφορίας

ÌÜèçìá 3ï: ÁíáäñïìéêÝò Åîéóþóåéò

Εφαρμοσμένα Μαθηματικά

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

Λογιστική Κόστους Ενότητα 11: Λογισμός Κόστους (1)

Μηχανολογικό Σχέδιο Ι

Ανώτερα Μαθηματικά Ι. Ανοικτά Ακαδημαϊκά Μαθήματα. Ενότητα 13: Ορισμένο Ολοκλήρωμα Μέρος Ι. Αθανάσιος Μπράτσος. Τμήμα Ναυπηγών Μηχανικών ΤΕ

[ ] ÐáñÜñôçìá É : Éóüôñïðåò ôáíõóôéêýò óõíáñôþóåéò 1. Ïñéóìüò: Ï óõììåôñéêüò ôáíõóôþò B êáëåßôáé éóüôñïðç óõíüñôçóç ôïõ óõììåôñéêïý ôáíõóôþ A (Á.

Δομές Δεδομένων Ενότητα 1

Ανώτερα Μαθηματικά ΙI

Εισαγωγή στην Διοίκηση Επιχειρήσεων

Τεχνικό Σχέδιο - CAD

Εισαγωγή στην Διοίκηση Επιχειρήσεων

Μαθηματικά Διοικητικών & Οικονομικών Επιστημών

Transcript:

Ανοικτά Ακαδημαϊκά Μαθήματα Τεχνολογικό Εκπαιδευτικό Ίδρυμα Αθήνας Μαθηματικά ΙΙΙ Ενότητα 15: Προσέγγιση συνήθων διαφορικών εξισώσεων Μέρος Ι Αθανάσιος Μπράτσος Τμήμα Μηχανικών Ενεργειακής Τεχνολογίας ΤΕ Το περιεχόμενο του μαθήματος διατίθεται με άδεια Creative Commons εκτός και αν αναφέρεται διαφορετικά Το έργο υλοποιείται στο πλαίσιο του Επιχειρησιακού Προγράμματος «Εκπαίδευση και Δια Βίου Μάθηση» και συγχρηματοδοτείται από την Ευρωπαϊκή Ένωση (Ευρωπαϊκό Κοινωνικό Ταμείο) και από εθνικούς πόρους.

ÌÜèçìá 9 ÐÑÏÓÅÃÃÉÓÇ ÓÕÍÇÈÙÍ ÄÉÁÖÏÑÉÊÙÍ ÅÎÉÓÙÓÅÙÍ - ÌÅÑÏÓ I Åßíáé Þäç ãíùóôü óôïí áíáãíþóôç üôé ç åðßëõóç ôùí ðåñéóóüôåñùí ðñïâëçìüôùí ôùí èåôéêþí åðéóôçìþí ïäçãåß óôç ëýóç ìéáò äéáöïñéêþò åîßóùóçò Þ åíüò óõóôþìáôïò äéáöïñéêþí åîéóþóåùí. Ç ëýóç áõôþ åßíáé äõíáôüí íá õðïëïãéóôåß èåùñçôéêü ìüíïí óå ïñéóìýíåò ðåñéðôþóåéò, åíþ óôá ðåñéóóüôåñá ôùí ðñïâëçìüôùí ç ëýóç ãßíåôáé ìüíïí ðñïóåããéóôéêü, äçëáäþ ìå áñéèìçôéêýò ìåèüäïõò, ïé ïðïßåò ðïëëýò öïñýò åîáêïëïõèïýí íá ñçóéìïðïéïýíôáé êáé üôáí áêüìá åßíáé ãíùóôþ ç èåùñçôéêþ ëýóç. 1 Ïé äéáöïñéêýò åîéóþóåéò åßíáé äõíáôüí íá ùñéóôïýí óôéò ðáñáêüôù äýï âáóéêýò êáôçãïñßåò: ôéò óõíþèåéò äéáöïñéêýò åîéóþóåéò Þ ODE's (ordinary dierential equations), üôáí ç Üãíùóôç óõíüñôçóç åîáñôüôáé áðü ìßá ìåôáâëçôþ, êáé ôéò äéáöïñéêýò åîéóþóåéò ìå ìåñéêýò ðáñáãþãïõò Þ PDE's, üôáí åîáñôüôáé áðü ðåñéóóüôåñåò ôçò ìéáò ìåôáâëçôýò. 1 Ï áíáãíþóôçò ãéá ìéá åêôåíýóôåñç ìåëýôç ðáñáðýìðåôáé óôç âéâëéïãñáößá êáé óôï âéâëßï Á. ÌðñÜôóïò [2] Êåö. 10. 1

2 ÐñïóåããéóôéêÞ ëýóç ODE's Êáè. Á. ÌðñÜôóïò Óôï ìüèçìá áõôü, ðïõ åîåôüæåôáé ç ðñïóåããéóôéêþ ëýóç ôùí óõíþèùí äéáöïñéêþí åîéóþóåùí 1çò ôüîçò, ãßíåôáé áñ éêü ìéá áíáöïñü óôçí ýðáñîç ëýóçò êáé óôç óõíý åéá äßíïíôáé ïé êõñéüôåñåò ìýèïäïé ðñïóýããéóçò ôùí ëýóåùí, ðïõ âáóßæïíôáé óôïí ôýðï ôïõ Taylor. Óôï åîþò ãéá åõêïëßá èá ñçóéìïðïéåßôáé ï üñïò äéáöïñéêþ åîßóùóç, áíôß ôïõ üñïõ óõíþèçò äéáöïñéêþ åîßóùóç. 9.1 ÅéóáãùãéêÝò Ýííïéåò Óôçí ðáñüãñáöï áõôþ èá äïèïýí ïñéóìýíïé ñþóéìïé ïñéóìïß êáé èåùñþìáôá áðü ôçí ÁíÜëõóç, ðïõ åîáóöáëßæïõí ôçí ýðáñîç êáé ôï ìïíïóþìáíôï ôçò ëýóçò ôùí äéáöïñéêþí åîéóþóåùí 1çò ôüîçò. 9.1.1 Ïñéóìïß Êñßíåôáé óêüðéìï óôï óçìåßï áõôü íá äïèïýí ïé âáóéêüôåñïé ïñéóìïß. Ï áíáãíþóôçò ãéá ìéá åêôåíýóôåñç èåùñçôéêþ ìåëýôç ôùí óõíþèùí äéáöïñéêþí åîéóþóåùí ï áíáãíþóôçò ðáñáðýìðåôáé óôç äéåýèõíóç: https://eclass.teiath.gr/modules/document /document.php?course=top112 Åããñáöá -> ÐÁÑÁÄÏÓÅÉÓ ÌÁÈÇÌÁÔÏÓ Ïñéóìüò 9.1.1-1. Ç ãåíéêþ ìïñöþ ìéáò äéáöïñéêþò åîßóùóçò 1çò ôüîçò åßíáé F ( t; y; y ) = 0 (9.1.1-1) üðïõ ç Üãíùóôç óõíüñôçóç y = y(t) ïñßæåôáé óå Ýíá äéüóôçìá ôçò ìïñöþò (a; b) R êáé õðüñ åé ç y (t) ãéá êüèå t (a; b). Ôüôå ç ëýóç y(t), åöüóïí åßíáé äõíáôüí íá ðñïóäéïñéóôåß, èá ïñßæåé ôç ëýóç ôçò (9:1:1 1). Ïñéóìüò 9.1.1-2. Ìéá äéáöïñéêþ åîßóùóç 1çò ôüîçò ôçò ìïñöþò (9:1:1 1) èá ëýãåôáé üôé ãñüöåôáé óå ëõìýíç (explicit) ìïñöþ, üôáí y = f(t; y): (9.1.1-2)

ÅéóáãùãéêÝò Ýííïéåò - ïñéóìïß 3 Óå êüèå Üëëç ðåñßðôùóç ç (9:1:1 1) èá ëýãåôáé üôé ïñßæåôáé ìå ðåðëåãìýíç (implicit) ìïñöþ. Ïñéóìüò 9.1.1-3. Ìéá ëõìýíç äéáöïñéêþ åîßóùóç 1çò ôüîçò èá ëýãåôáé üôé ïñßæåé Ýíá ðñüâëçìá áñ éêþò ôéìþò (initial value problem Þ IVP), üôáí ç ëýóç ôçò åðáëçèåýåé ìéá áñ éêþ ôéìþ, äçëáäþ y (t) = f(t; y(t)) ìå ðåäßï ïñéóìïý D R R = R 2 êáé y 0 = y (t 0 ) ; üôáí (t 0 ; y 0 ) D: (9.1.1-3) Ïñéóìüò 9.1.1-4. Ìéá óõíüñôçóç f(t; y(t)) ìå ðåäßï ïñéóìïý, Ýóôù D üðïõ D R 2, ëýãåôáé üôé éêáíïðïéåß ìßá óõíèþêç ôïõ Lipschitz ùò ðñïò ôç ìåôáâëçôþ y, üôáí õðüñ åé ìßá óôáèåñü L ôýôïéá, þóôå ãéá êüèå (t; y 1 ) ; (t; y 2 ) D. f (t; y 1 ) f (t; y 2 ) L y 1 y 2 (9.1.1-4) Ôüôå ç óôáèåñü L èá ëýãåôáé êáé óôáèåñü ôïõ Lipschitz ãéá ôçí f. ÐáñÜäåéãìá 9.1.1-1 óôù ç óõíüñôçóç f(t; y) = t y ìå ðåäßï ïñéóìïý D = {(t; y) 1 t 2; 3 y 4} : Ôüôå ãéá êüèå (t; y 1 ) ; (t; y 2 ) D Ý ïõìå f (t; y 1 ) f (t; y 2 ) = t y 1 t y 2 = t y 1 y 2 2 y 1 y 2 ; ïðüôå ç óôáèåñü L ôïõ Lipschitz ãéá ôç óõíüñôçóç f èá åßíáé L = 2, åðåéäþ åýêïëá áðïäåéêíýåôáé üôé f(2; 1) f(2; 0) = 2 0 = 2 1 0 = 2:

4 ÐñïóåããéóôéêÞ ëýóç ODE's Êáè. Á. ÌðñÜôóïò 9.1.2 Èåìåëéþäåò èåþñçìá Ôï ðáñáêüôù èåþñçìá, ðïõ áðåäåß èç áðü ôïí Henrici ([8], óåëßäá 328), èåùñåßôáé èåìåëéþäåò, åðåéäþ äßíåé ôéò óõíèþêåò, ðïõ ðñýðåé íá ðëçñïß ìéá óõíüñôçóç f(t; y(t)), Ýôóé þóôå ìßá 1çò ôüîçò ëõìýíç äéáöïñéêþ åîßóùóç íá Ý åé ìßá êáé ìïíáäéêþ ëýóç. Èåþñçìá 9.1.2-1 (Henrici ãéá ODE's). ìéá óõíå Þò óõíüñôçóç óôï D, üðïõ óôù üôé ç f(t; y(t)) åßíáé D = {(t; y) a t b; y R} : Ôüôå, áí ç f éêáíïðïéåß ìßá óõíèþêç ôïõ Lipschitz ùò ðñïò ôç ìåôáâëçôþ y, ôï ðñüâëçìá áñ éêþò ôéìþò y = f(t; y) ; t [a; b ] ìå y 0 = y (t 0 ) ; üôáí (t 0 ; y 0 ) [a; b ] (9.1.2-1) Ý åé áêñéâþò ìßá ëýóç ãéá êüèå t [a; b]. ÐáñáôÞñçóç 9.1.2-1 Óôï åîþò óôéò áóêþóåéò ôïõ ìáèþìáôïò èá åßíáé t 0 = a, ïðüôå ç áñ éêþ ôéìþ y 0 èá éóïýôáé ìå y 0 = y (t 0 ) = y(a). ÐáñÜäåéãìá 9.1.2-1 óôù ôï ðñüâëçìá áñ éêþò ôéìþò y = 1 + t sin(ty) üðïõ 0 t 2 êáé y(0) = 0: Ôüôå èåùñþíôáò ôï t óôáèåñü áðü ôï Èåþñçìá ôçò ÌÝóçò ÔéìÞò ãéá ôç óõíüñôçóç f(t; y) = 1 + t sin(ty), ðñïêýðôåé üôé ãéá êüèå y 1 < y 2 õðüñ åé î (y 1 ; y 2 ), Ýôóé þóôå ñá t 2 cos (ît) = @f(t; y) @y = f (t; y 2) f (t; y 1 ) y 2 y 1 : f (t; y 2 ) f (t; y 1 ) = y 2 y 1 t 2 cos (ît) 4 y 2 y 1 ;

ÅéóáãùãéêÝò Ýííïéåò - óõìâïëéóìïß 5 äçëáäþ ç óõíüñôçóç f éêáíïðïéåß ìßá óõíèþêç ôïõ Lipschitz ùò ðñïò ôç ìåôáâëçôþ y ìå óôáèåñü ôïõ Lipschitz L = 4 êáé, åðåéäþ ðñïöáíþò ç f åßíáé óõíå Þò ãéá êüèå t [a; b] êáé y R, óýìöùíá ìå ôï Èåþñçìá 9.1.2-1 èá õðüñ åé áêñéâþò ìßá ëýóç ãéá ôï ðáñáðüíù ðñüâëçìá áñ éêþò ôéìþò. 9.1.3 Óõìâïëéóìïß óôù üôé ôï ðñüâëçìá áñ éêþò ôéìþò y = f(t; y) ; t [a; b ] ìå y 0 = y (a) (9.1.3-1) åðáëçèåýåé ôéò õðïèýóåéò ôïõ ÈåùñÞìáôïò 9.1.2-1, ïðüôå õðüñ åé áêñéâþò ìéá ëýóç y = y(t) ãéá êüèå t [a; b ]. Ôüôå, åöüóïí õðüñ åé ç èåùñçôéêþ ëýóç ôïõ ðñïâëþìáôïò, ç óõíüñôçóç y(t) ðñïóäéïñßæåôáé åöáñìüæïíôáò ìéá êáôüëëçëç ìýèïäï. Óôéò ðåñéðôþóåéò üðïõ ç èåùñçôéêþ ëýóç åßíáé Üãíùóôç, ìå ôïí üñïðñïóýããéóç ôçò ëýóçò åííïåßôáé ï õðïëïãéóìüò ìå êüðïéï ðñïóåããéóôéêü ôýðï, ðïõ ïñßæåôáé êüèå öïñü áðü ôçí áíôßóôïé ç áñéèìçôéêþ ìýèïäï, ôùí ôéìþí ôçò ëýóçò áñ éêü óôá åóùôåñéêü óçìåßá ôïõ [a; b ] êáé ôåëéêü ôçò ôéìþò óôï óçìåßï b, äçëáäþ ôçò y(b). Ãéá ôçí ðñïóåããéóôéêþ ëýóç ôï äéüóôçìá [a; b ] õðïäéáéñåßôáé óå N ôï ðëþèïò ßóá õðïäéáóôþìáôá áðü ôá N + 1 óçìåßá 2 a = t 0 < t 1 < : : : < t N 1 < t N = b ðëüôïõò ` = b a N (Ó. 9.1.3-1). Ôüôå ðñïöáíþò åßíáé t i = a + i `. Åöüóïí ìå y(t) óõìâïëßæåôáé ç èåùñçôéêþ ëýóç ôïõ ðñïâëþìáôïò áñ éêþò ôéìþò (9:1:3 1), ç ôéìþ ôçò óôï óçìåßï t i åßíáé ðñïöáíþò ç y (t i ). Óôçí ðñáãìáôéêüôçôá ç ñþóç ôçò áñéèìçôéêþò ìåèüäïõ äå èá äþóåé ôç èåùñçôéêü áíáìåíüìåíç ôéìþ y (t i ), áëëü êüðïéá Üëëç ðñïóåããéóôéêþ ðïõ èá óõìâïëßæåôáé 2 Óôçí ðåñßðôùóç üðïõ ç ìåôáâëçôþ t óõìâïëßæåé ôï ñüíï, ôï ` èá ëýãåôáé âþìá ôïõ ñüíïõ (time step). Åßíáé Þäç ãíùóôýò óôïí áíáãíþóôç áíüëïãåò äéáìåñßóåéò ôçò ìåôáâëçôþò x ôïõ äéáóôþìáôïò (space step) áðü ôçí ðñïóýããéóç ôùí ðáñáãþãùí (ÌÜèçìá 6) êáé ôïõò óýíèåôïõò êáíüíåò ïëïêëþñùóçò (ÌÜèçìá 8).

6 ÐñïóåããéóôéêÞ ëýóç ODE's Êáè. Á. ÌðñÜôóïò a b t 0 t 1 t i t i1 t N1 t N y 0 y 1 y i y i1 y N1 y N Ó Þìá 9.1.3-1: ç äéáìýñéóç ôïõ äéáóôþìáôïò [a; b ] áðü ôá óçìåßá t i = a + i `, üôáí ` = t i+1 t i êáé ïé áíôßóôïé åò ðñïóåããéóôéêýò ôéìýò y i ; i = 0; 1; : : : ; N, üôáí óôï åîþò ìå y i ; i = 1; 2; : : : ; N: Ôüôå ðñïöáíþò õðüñ åé Ýíá óöüëìá õðïëïãéóìïý ôçò ôéìþò y (t i ) áðü ôçí y i, ðïõ éóïýôáé ìå e = y (t i ) y i (áðüëõôï óöüëìá). 3 Óôç äéáäéêáóßá ôçò áñéèìçôéêþò ëýóçò ôçò (9:1:3 1), ç ìýèïäïò åöáñìüæåôáé äéáäï éêü ãéá i = 1; 2; : : : ; N óå êüèå Ýíá áðü ôá óçìåßá t i ôçò ðáñáðüíù äéáìýñéóçò - áêñéâýóôåñá, üôáí ôï t óõìâïëßæåé ôï ñüíï, óå êüèå åðßðåäï ñüíïõ (time level) - äßíïíôáò êüèå öïñü ôçí áíôßóôïé ç ðñïóýããéóç y i. Óôç óõíý åéá ìå ãíùóôþ ôçí ðñïóýããéóç y i õðïëïãßæåôáé áðü ôï åðüìåíï óçìåßï t i+1 ç ðñïóýããéóç y i+1 (üìïéá Ó. 9.1.3-1) êáé ôåëéêü ç ôéìþ y N = y (t N ) = y(b). ÐáñáôÞñçóç 9.1.3-1 ÓõíÞèùò ç áñ éêþ ðñïóåããéóôéêþ ôéìþ y 0 éóïýôáé ìå ôçí áíôßóôïé ç èåùñçôéêþ y (a). Áí áõôü äåí éó ýåé Þ óôéò ðåñéðôþóåéò ðïõ ç èåùñçôéêþ ëýóç åßíáé Üãíùóôç, ôüôå õðüñ åé Ýíá áñ éêü óöüëìá óôç ëýóç, ðïõ áõîüíåé ìå ôç äéáäéêáóßá åöáñìïãþò ôçò áñéèìçôéêþò ìåèüäïõ. 3 Ï áíáãíþóôçò ãéá ìéá åêôåíýóôåñç áíüëõóç ôùí äéáöüñùí óöáëìüôùí ðïõ ðñïêýðôïõí óôéò ðåñéðôþóåéò áõôýò, ðáñáðýìðåôáé óôï ÌÜèçìá 1.

ÌÝèïäïé ðïõ âáóßæïíôáé óôç óåéñü Taylor 7 óêçóç Íá åîåôáóôåß áí éó ýåé ôï Èåþñçìá 9.1.2-1 óôá ðáñáêüôù ðñïâëþìáôá áñ éêþí ôéìþí i) y = y cos t; 0 t 1, y(0) = 1, ii) y = 2yt + t 2 e t ; 1 t 2, y(1) = 0, iii) y = 4t3 y ; 0 t 1, y(0) = 1. 1 + t4 9.2 ÌÝèïäïé ðïõ âáóßæïíôáé óôç óåéñü Taylor 9.2.1 ÌÝèïäïò ôïõ Euler Áí êáé ç ìýèïäïò áõôþ äåí Ý åé óþìåñá ìåãüëåò ðñáêôéêýò åöáñìïãýò, åîáêïëïõèåß íá ðáñïõóéüæåé åíäéáöýñïí óôçí áñéèìçôéêþ ëýóç ôùí óõíþèùí äéáöïñéêþí åîéóþóåùí, åðåéäþ áðïôåëåß ôç ãåííþôñéá ìýèïäï (predictor method) ðïëëþí Üëëùí áêñéâýóôåñùí ìåèüäùí. óôù üôé ç óõíüñôçóç y = y(t) åßíáé ç ëýóç ôïõ ðñïâëþìáôïò áñ éêþò ôéìþò (9:1:2 1), äçëáäþ ôïõ y = f(t; y); üôáí t [a; b ] ìå y 0 = y(a) (9.2.1-1) êáé üôé ç y Ý åé ðáñáãþãïõò ôïõëü éóôïí ìý ñé êáé 2çò ôüîçò óõíå åßò óõíáñôþóåéò óôï äéüóôçìá [a; b ], åíþ ôï [a; b ] Ý åé õðïäéáéñåèåß óå N ôï ðëþèïò ßóá õðïäéáóôþìáôá áðü ôá N + 1 óçìåßá (Ó. 9.1.3-1) a = t 0 < t 1 < : : : < t N = b; (9.2.1-2) üðïõ ` åßíáé ôï ðëüôïò êüèå õðïäéáóôþìáôïò. Åßíáé Þäç ãíùóôü üôé, áí f [a; b ] åßíáé ìéá óõíüñôçóç Ý åé ðáñáãþãïõò ìý ñé êáé - ôüîç óôï [a; b], ôüôå, áí [a; b], éó ýåé ï ðáñáêüôù ôýðïò ôïõ Taylor f(t) f() + f () 1! (t ) + f () 2! (t ) 2 + : : : + f () () (t ) :!

8 ÐñïóåããéóôéêÞ ëýóç ODE's Áí óôïí ðáñáðüíù ôýðï ôï t áíôéêáôáóôáèåß áðü ôï t + ` ìå ` > 0 êáé ôï î áðü ôï t, ôüôå f(t + `) f(t) + ` 1! f (t) + `2 2! f (t) + : : : + `! f () (t); ïðüôå, áí y(t) = f(t), ôåëéêü Ý ïõìå y(t + `) y(t) + ` 1! y (t) + `2 2! y (t) + : : : + `! y() (t): (9.2.1-3) Ðáñáëåßðïíôáò óôçí (9:2:1 3) üëïõò ôïõò üñïõò ôïõ ` âáèìïý ìåãáëýôåñïõ ôïõ 1ïõ ðñïêýðôåé üôé y(t + `) y(t) + `y (t); äçëáäþ y y(t + `) y(t) (t) : (9.2.1-4) ` Áíôéêáèéóôþíôáò ôçí (9:2:1 4) óôçí (9:2:1 1) Ý ïõìå y(t + `) y(t) + `f(t; y): (9.2.1-5) Ç áñéèìçôéêþ ëýóç ôçò (9:2:1 1), äçëáäþ ç ðñïóýããéóç ôçò ôéìþò y (t N ) = y(b), ðñïêýðôåé üôáí ç (9:2:1 5) åöáñìïóôåß óôçí (9:2:1 1) óå êüèå Ýíá óçìåßï ôçò äéáìýñéóçò (9:2:1 2). 4 Ôüôå, åðåéäþ óýìöùíá ìå ôïõò óõìâïëéóìïýò ôçò ÐáñáãñÜöïõ 9.1.3 åßíáé y (t i ) = y i êáé y (t i+1) = y i+1, Ý ïõìå ôåëéêü ôçí ðáñáêüôù áñéèìçôéêþ ìýèïäï y i+1 = y i + `f (t i ; y i ) ãéá êüèå i = 0; 1; : : : ; N 1: (9.2.1-6) Ç ìýèïäïò áõôþ åßíáé ãíùóôþ óáí ìýèïäïò ôïõ Euler (Euler's method), åíþ ï ôýðïò ôçò óáí ç ãåííþôñéá ó Ýóç (predictor formula) ôïõ Euler, åðåéäþ, üðùò Þäç Ý åé ãñáöåß óôçí áñ Þ ôçò ðáñáãñüöïõ áõôþò, ñçóéìïðïéåßôáé óôç äçìéïõñãßá Üëëùí áñéèìçôéêþí ìåèüäùí. Ç äéáäéêáóßá ôçò ìåèüäïõ ôïõ Euler ðåñéãñüöåôáé óôïí Áëãüñéèìï 9.2.1-1. 4 ÂëÝðå Ó. 9.1.3-1 ôçò ÐáñáãñÜöïõ 9.1.3.

ÌÝèïäïé ðïõ âáóßæïíôáé óôç óåéñü Taylor 9 Áëãüñéèìïò 9.2.1-1 (ìåèüäïõ ôïõ Euler) ÄåäïìÝíá a; b; N êáé ç áñ éêþ óõíèþêç y 0 óôù ` = (b a)=n; t = a; y = y 0 Ãéá i = 0; 1; : : : ; N 1 y := y + `f (t; y) t := t + ` y := y ôýëïò i 0 0.1 0.2 0.3 0.4 0.5 t 0 t 1 t 2 t 3 t 4 t 5 y 0 y 1 y 2 y 3 y 4 y 5 Ó Þìá 9.2.1-1: ç äéáìýñéóç ôïõ Ðáñáäåßãìáôïò 9.2.1-1, üôáí ` = 0:1 êáé ïé áíôßóôïé åò ôéìýò y i ; i = 0; 1; : : : ; 5, üôáí t i = i `. Ç áñ éêþ ôéìþ åßíáé y 0 = y (t 0 ) = y(0) = [ t + e t] t=0 = 1

10 ÐñïóåããéóôéêÞ ëýóç ODE's ÐáñÜäåéãìá 9.2.1-1 Íá ëõèåß ìå ôç ìýèïäï ôïõ Euler ôï ðñüâëçìá áñ éêþò ôéìþò y (t) = y(t) + t + 1 ìå t [0; 0:5]; üôáí ` = 0:1; (9.2.1-7) êáé íá ãßíåé óýãêñéóç ôùí áðïôåëåóìüôùí ìå ôç èåùñçôéêþ ëýóç y(t) = t + e t : Óôç óõíý åéá íá ëõèåß ôï ðñüâëçìá, üôáí ` = 0:01 êáé íá óõãêñéèïýí ôá áðïôåëýóìáôá ôùí ðñïóåããéóôéêþí ëýóåùí ãéá ` = 0:1 êáé ` = 0:01. Ëýóç. ÅðåéäÞ ` = 0:1, ôï äéüóôçìá ïëïêëþñùóçò [0; 0:5] ðñýðåé íá õðïäéáéñåèåß óå 0:5 0 0:1 = 5 õðïäéáóôþìáôá. ñá N = 5 (Ó. 9.2.1-1). Óõãêñßíïíôáò ôçí (9:2:1 7) ìå ôï ðñüâëçìá áñ éêþò ôéìþò y = f(t; y) óôç ó Ýóç (9:2:1 1) ðñïêýðôåé üôé ãéá ôï óõãêåêñéìýíï ðáñüäåéãìá ç óõíüñôçóç f(t; y) åßíáé f(t; y) = y + t + 1: ñá óýìöùíá ìå ôïí ôýðï (9:2:1 6) ç ìýèïäïò ôïõ Euler ãñüöåôáé y i+1 = y i + ` f (t i ; y i ) = y i + 0:1( y i + t i + 1) = 0:9 y i + 0:1 t i + 0:1; (9.2.1-8) üðïõ åßíáé t [0; 0:5], ïðüôå a = t 0 = 0 êáé t i = a + i ` = i `. ÅðåéäÞ åßíáé ãíùóôþ ç èåùñçôéêþ ëýóç ôïõ ðñïâëþìáôïò, óýìöùíá êáé ìå ôçí ÐáñáôÞñçóç 9.1.3-1, åßíáé äõíáôüí íá èåùñçèåß óáí áñ éêþ ôéìþ y 0 ôçò ëýóçò ç áíôßóôïé ç èåùñçôéêþ, äçëáäþ ] y 0 = y(0) = [t + e t = 1: t=0

ÌÝèïäïé ðïõ âáóßæïíôáé óôç óåéñü Taylor 11 Ðßíáêáò 9.2.1-1: ÐáñÜäåéãìá 9.2.1-1: ôá áðïôåëýóìáôá ôçò ìåèüäïõ ôïõ Euler, üôáí ` = 0:1 t i y i y (t i ) e i = y i y (t i ) 0.0 1.000 000 1.000 000 0.0 0.1 1.000 000 1.004 837 0.004 837 0.2 1.010 000 1.018 731 0.008 731 0.3 1.029 000 1.040 818 0.011 818 0.4 1.056 100 1.070 320 0.014 220 0.5 1.090 490 1.106 531 0.016 041 Åöáñìüæïíôáò ôçí (9:2:1 8) äéáäï éêü ãéá i = 0; 1; : : : ; 4 Ý ïõìå: ãéá i = 0; y 0+1 = y 1 = 0:9 y 0 + 0:1 t 0 + 0:1 = 0:9 1 + 0:1 0 + 0:1 = 1; åíþ åßíáé y (t 1 ) = y(0:1) = 0:1 + e 0:1 = 1:004 837 i = 1; y 1+1 = y 2 = 0:9 y 1 + 0:1 t 1 + 0:1 = 0:9 1 + 0:1 0:1 + 0:1 = 1:01; åíþ åßíáé y (t 2 ) = y(0:2) = 0:2 + e 0:2 = 1:018 731... i = 4; y 4+1 = y 5 = : : : = 1.090 490 y (t 5 ) = y(0:5) = 0:5 + e 0:5 = 1:106 531: Ôá áðïôåëýóìáôá äßíïíôáé óôïí Ðßíáêá 9.2.1-1 êáé ç ãñáöéêþ ôùí ðáñüóôáóç óôï Ó. 9.2.1-2. ¼ðùò ðñïêýðôåé áðü ôá áðïôåëýóìáôá, õðüñ åé ìéá áýîçóç ôïõ óöüëìáôïò e, êáèþò ï ñüíïò ðëçóéüæåé ðñïò ôç ñïíéêþ óôéãìþ t = 0:5.

12 ÐñïóåããéóôéêÞ ëýóç ODE's y 1.10 1.08 1.06 1.04 1.02 e 0.015 0.010 0.005 1 2 3 4 5 6 i1 (a) 1 2 3 4 5 6 i1 (b) Ó Þìá 9.2.1-2: ÐáñÜäåéãìá 9.2.1-1, üôáí ` = 0:1. (a) Ôá ìðëå óçìåßá ïñßæïõí ôéò èåùñçôéêýò ôéìýò y (t i ); i = 0; 1; : : : ; 4 êáé ôá êüêêéíá ôéò áñéèìçôéêýò y i. (b) Ç ãñáöéêþ ðáñüóôáóç ôùí áíôßóôïé ùí óöáëìüôùí e i Ç ðáñáðüíù ëýóç õðïëïãßóôçêå åðßóçò ìå âþìá ñüíïõ ` = 0:01, ïðüôå ôï äéüóôçìá ïëïêëþñùóçò [0; 0:5] õðïäéáéñåßôáé óôçí ðåñßðôùóç áõôþ óå 0:5 0 0:01 = 50 õðïäéáóôþìáôá. ñá N = 50, åíþ åßíáé äõíáôüí íá ãßíåé õðïäéáßñåóç áíüëïãç ôïõ Ó. 9.2.1-1 èýôïíôáò óôç óõíôåôáãìýíç 0:5 ôá t 50 êáé y 50 áíôß ôùí t 5 êáé y 5. Ôá áðïôåëýóìáôá äßíïíôáé óôïí Ðßíáêá 9.2.1-2 êáé ç ãñáöéêþ ôùí ðáñüóôáóç óôï Ó. 9.2.1-3. ìåóá ôüôå ðñïêýðôåé üôé åíþ ôá áðïôåëýóìáôá óå óýãêñéóç ìå ôá áíôßóôïé á ôïõ Ðßíáêá 9.2.1-1 åßíáé áêñéâýóôåñá, üìùò êáé óôçí ðåñßðôùóç áõôþ åîáêïëïõèåß íá õðüñ åé ìéá áýîçóç ôïõ óöüëìáôïò ìå ôçí ðüñïäï ôïõ ñüíïõ. Ç óýãêñéóç ôùí óöáëìüôùí ðïõ ðñïêýðôïõí áðü ôçí åöáñìïãþ ôçò ìåèüäïõ, üôáí ` = 0:01 êáé ` = 0:01, äßíåôáé óôï Ó. 9.2.1-4. y 1.10 1.08 1.06 1.04 1.02 e 0.0015 0.0010 0.0005 10 20 30 40 50 i1 (a) 10 20 30 40 50 i1 (b) Ó Þìá 9.2.1-3: ÐáñÜäåéãìá 9.2.1-1, üôáí ` = 0:01. (a) Ôá ìðëå óçìåßá ïñßæïõí ôéò èåùñçôéêýò ôéìýò y (t i ); i = 0; 1; : : : ; 50 êáé ôá êüêêéíá ôéò áñéèìçôéêýò y i. (b) Ç ãñáöéêþ ðáñüóôáóç ôùí áíôßóôïé ùí óöáëìüôùí e i

ÌÝèïäïé ðïõ âáóßæïíôáé óôç óåéñü Taylor 13 Ðßíáêáò 9.2.1-2: ÐáñÜäåéãìá 9.2.1-1: ôá áðïôåëýóìáôá ôçò ìåèüäïõ ôïõ Euler, üôáí ` = 0:01 t i y i y (t i ) e i = y i y (t i ) 0.00 1.000 000 1.000 000 0.0 0.01 1.000 050 1.000 000 0.000 050 0.02 1.000 199 1.000 100 0.000 010 0.03 1.000 446 1.000 299 0.000 147.. 0.5 1.195 006 1.106 531 0.001 525.. 0.015 e 0.010 0.005 10 20 30 40 50 i1 Ó Þìá 9.2.1-4: ÐáñÜäåéãìá 9.2.1-1. Ç êáöý êáìðýëç äåß íåé ôá óöüëìáôá e i, üôáí ` = 0:1 êáé ç ðïñôïêáëß, üôáí ` = 0:01

14 ÐñïóåããéóôéêÞ ëýóç ODE's óêçóç Ìå ôç ìýèïäï ôïõ Euler íá õðïëïãéóôåß ç ëýóç ôùí ðáñáêüôù ðñïâëçìüôùí áñ éêþò ôéìþò i) y = sin t + e t ; 0 t 0:5, y 0 = y(0) = 0, üôáí ` = 0:1 êáé y(t) = 2 e t cos t. ii) y = ty + y 2 ; 1 t 1:5, üôáí ` = 0:1; 0:05, y(t) = 1 4 3e t êáé y 0 = y(1). Íá ãßíåé ç ãñáöéêþ ðáñüóôáóç ôçò ëýóçò êáé ôùí áíôßóôïé ùí óöáëìüôùí. 9.2.2 ÌÝèïäïò ôïõ Taylor ôüîçò n ïíôáò õð' üøéí ôç ìýèïäï ôïõ Euler ðïõ ðñïýêõøå áðü ôïí ôýðï (9:2:1 3) ôïõ Taylor ãéá n = 1, åßíáé ðñïöáíýò üôé ìßá ìåãáëýôåñçò áêñßâåéáò ìýèïäïò åßíáé äõíáôü íá ðñïêýøåé áõîüíïíôáò ôï n. ¼ìïéá, Ýóôù ôï ðñüâëçìá áñ éêþò ôéìþò y = f(t; y); üôáí t [a; b ] ìå y 0 = y(a) (9.2.2-1) üðïõ ç y Ý åé ðáñáãþãïõò óôï [a; b ] ìý ñé êáé n ôüîç óõíå åßò óõíáñôþóåéò êáé üôé ôï [a; b ] Ý åé õðïäéáéñåèåß óå N ôï ðëþèïò ßóá õðïäéáóôþìáôá áðü ôá N + 1 óçìåßá 5 a = t 0 < t 1 < : : : < t N = b (9.2.2-2) ðëüôïõò `. Ôüôå áðü ôïí ôýðï (9:2:1 3) ôïõ Taylor ðñïêýðôåé üôé y (t + `) y (t) + `y `2 (t) + 2! y (t) `n + : : : + n! y(n) (t) : (9.2.2-3) 5 ÂëÝðå üìïéá Ó. 9.1.3-1 ôçò ÐáñáãñÜöïõ 9.1.3.

ÌÝèïäïé ðïõ âáóßæïíôáé óôç óåéñü Taylor 15 Áëãüñéèìïò 9.2.2-1 (ìåèüäïõ ôïõ Taylor ôüîçò n) ÄåäïìÝíá a; b; N êáé ç áñ éêþ óõíèþêç y 0 óôù ` = (b a)=n; t = t 0 ; y = y 0 Õðïëüãéóå T = T (`; t; y) Ãéá i = 0; 1; : : : ; N 1 y := y + ` T t := t + ` y := y ôýëïò i ÅðåéäÞ ç óõíüñôçóç y(t) åðáëçèåýåé ôï ðñüâëçìá áñ éêþò ôéìþò (9:2:2 1), Ý ïõìå y (t) = f(t; y(t)) y (t) = f (t; y(t)).. (9.2.2-4) y (n) (t) = f (n 1) (t; y(t)); ïðüôå áíôéêáèéóôþíôáò óôçí (9:2:2 1) ðñïêýðôåé ç ðáñáêüôù áñéèìçôéêþ ìýèïäïò `2 y i+1 = y i + `f i + 2! f `n i + : : : + n! f (n 1) (9.2.2-5) i ãéá êüèå i = 0; 1; : : : ; N 1 ìå f (n) = f (n) (t i i ; y i ), ðïõ åßíáé ãíùóôþ óáí ç ìýèïäïò ôïõ Taylor ôüîçò n. Ç äéáäéêáóßá ôçò ìåèüäïõ ðåñéãñüöåôáé óôïí Áëãüñéèìï 9.2.2-1, ðïõ ãéá åõêïëßá Ý åé ñçóéìïðïéçèåß ï ôåëåóôþò T, ìå ôéìþ T i óôçí i - åðáíüëçøç T i = f i + ` 2! f `2 i + 3! f `n 1 i + : : : + f (n 1) ; i = 0; 1; : : : ; N 1: i n!

16 ÐñïóåããéóôéêÞ ëýóç ODE's Ôï âáóéêü ìåéïíýêôçìá ôçò ìåèüäïõ ôïõ Taylor åßíáé üôé ãéá íá åßíáé ç ìýèïäïò áêñéâþò, áðáéôåßôáé ç ôüîç ôçò íá åßíáé áñêåôü ìåãüëç, ðïõ óçìáßíåé ôïí õðïëïãéóìü ôùí ðáñáãþãùí áíþôåñçò ôüîçò ôçò f(t; y), êáèþò åðßóçò êáé ôéò áíôßóôïé åò áñ éêýò ôéìýò ðïõ áíôéóôïé ïýí óå áõôýò, êüôé ðïõ äåí åßíáé ðüíôïôå åýêïëï, åðåéäþ ï ôýðïò ôçò f ôéò ðåñéóóüôåñåò öïñýò åßíáé ðïëýðëïêïò. ÐáñÜäåéãìá 9.2.2-1 Ìå ôç ìýèïäï ôïõ Taylor ôüîçò 2 íá ëõèåß ôï ðñüâëçìá áñ éêþò ôéìþò (ÐáñÜäåéãìá 9.2.1-1) y (t) = y(t) + t + 1 ìå t [0; 0:5]; üôáí ` = 0:1 (9.2.2-6) êáé íá ãßíåé óýãêñéóç ôùí áðïôåëåóìüôùí ìå ôç èåùñçôéêþ ëýóç êáé ôçí áíôßóôïé ç ëýóç ôçò ìåèüäïõ ôïõ Euler. Ç èåùñçôéêþ ëýóç åßíáé y(t) = t + e t : Ëýóç. ¼ìïéá, åðåéäþ ` = 0:1, ôï äéüóôçìá ïëïêëþñùóçò [0; 0:5] õðïäéáéñåßôáé 5 (N = 5) õðïäéáóôþìáôá (Ó. 9.2.1-1). Óýìöùíá ìå ôçí (9:2:2 5) ç ìýèïäïò ôïõ Taylor óôçí ðåñßðôùóç áõôþ üðïõ n = 2 ãñüöåôáé y i+1 = y i + ` f (t i ; y i ) + `2 2! f (t i ; y i ) ; i = 0; : : : ; 4; (9.2.2-7) üôáí ç f(t; y) ðñïêýðôåé áðü ôçí (9:2:2 6) êáé éóïýôáé ìå f(t; y) = y + t + 1; (9.2.2-8) åíþ ç f (t; y) õðïëïãßæåôáé áðü ôç ó Ýóç f(t; y) = y ìå ôç äéáäéêáóßá (9:2:2 4) ùò åîþò: f (t; y) = y = ( y ) (9:2:2 6) {}}{ = ( y + t + 1) (9:2:2 6) = y {}}{ + 1 = ( y + t + 1) + 1 = y t: (9.2.2-9)

ÌÝèïäïé ðïõ âáóßæïíôáé óôç óåéñü Taylor 17 Åßíáé t [0; 0:5], ïðüôå a = t 0 = 0 êáé t = a + i ` = i `. ñá áíôéêáèéóôþíôáò ìå ôéò (9:2:2 8) êáé (9:2:2 9) óôçí (9:2:2 7) Ý ïõìå y i+1 = y i + ` f (t i ; y i ) + `2 2! f (t i ; y i ) = y i + 0:1 ( y i + t i + 1) + 0:12 2 (y i t i ) = 0:905 y i + 0:095 t i + 0:1: (9.2.2-10) Åöáñìüæïíôáò ôçí (9:2:2 10) äéáäï éêü ãéá i = 0; 1; : : : ; 4 ðñïêýðôåé ãéá i = 0; y 0+1 = y 1 = 0:905 y 0 + 0:095 t 0 + 0:1 = 0:905 1 + 0:095 0 + 0:1 = 1:005; åíþ åßíáé y (t 1 ) = y(0:1) = 0:1 + e 0:1 = 1:004 837 i = 1; y 1+1 = y 2 = 0:905 y 1 + 0:095 t 1 + 0:1 = 0:905 1:005 + 0:095 0:1 + 0:1 = 1:019 025... i = 4; y 4+1 = y 5 = : : : = 1.107 076: Ôá áðïôåëýóìáôá äßíïíôáé óôïí Ðßíáêá 9.2.2-1 êáé ç ãñáöéêþ ôùí ðáñüóôáóç óôï Ó. 9.2.2-1. ¼ðùò ðñïêýðôåé áðü ôá áðïôåëýóìáôá, õðüñ åé ìßá ìéêñþ áýîçóç ôïõ óöüëìáôïò e, êáèþò ï ñüíïò ðëçóéüæåé ðñïò ôç ñïíéêþ óôéãìþ t = 0:5. Óôï Ó. 9.2.2-2 ãßíåôáé ç óýãêñéóç ôçò ìåèüäïõ ìå ôçí áíôßóôïé ç ôïõ Euler, üôáí ` = 0:1. Åßíáé ðñïöáíýò üôé ç ìýèïäïò ôïõ Taylor ðïõ åîåôüóôçêå, Ý åé äþóåé ìåãáëýôåñç áêñßâåéá óå óýãêñéóç ìå ôïõ Euler.

18 ÐñïóåããéóôéêÞ ëýóç ODE's Ðßíáêáò 9.2.2-1: ÐáñÜäåéãìá 9.2.2-1: ôá áðïôåëýóìáôá ôçò ìåèüäïõ ôïõ Taylor, üôáí ` = 0:1 t i y i y (t i ) e i = y i y (t i ) 0.0 1.000 000 1.000 000 0.0 0.1 1.005 000 1.004 837 0.000 163 0.2 1.019 025 1.018 731 0.000 294 0.3 1.041 218 1.040 818 0.000 399 0.4 1.070 802 1.070 320 0.000 482 0.5 1.107 076 1.106 531 0.000 545 y 1.10 1.08 1.06 1.04 1.02 1 2 3 4 5 6 i1 e 0.0005 0.0004 0.0003 0.0002 0.0001 (a) 2 3 4 5 6 i1 (b) Ó Þìá 9.2.2-1: ÐáñÜäåéãìá 9.2.1-1, üôáí ` = 0:1. (a) Ôá ìðëå óçìåßá ïñßæïõí ôéò èåùñçôéêýò ôéìýò y (t i ); i = 0; 1; : : : ; 4 êáé ôá êüêêéíá ôéò áñéèìçôéêýò y i. (b) Ç ãñáöéêþ ðáñüóôáóç ôùí áíôßóôïé ùí óöáëìüôùí e i

ÌÝèïäïé ðïõ âáóßæïíôáé óôç óåéñü Taylor 19 0.015 e 0.010 0.005 2 3 4 5 6 i1 Ó Þìá 9.2.2-2: ÐáñÜäåéãìá 9.2.1-1, üôáí ` = 0:1. Ç êáöý êáìðýëç äåß íåé ôá óöüëìáôá e i ìå ôç ìýèïäï ôïõ Euler êáé ç ðïñôïêáëß ìå ôïõ Taylor

20 ÐñïóåããéóôéêÞ ëýóç ODE's óêçóç Íá ëõèåß ç Üóêçóç (i) ôçò ÐáñáãñÜöïõ 9.2.1 ìå ôç ìýèïäï ôïõ Taylor ôüîçò n = 2, áíôßóôïé á n = 3 êáé íá ãßíåé óýãêñéóç ìå ôá áíôßóôïé á áðïôåëýóìáôá ôçò ìåèüäïõ ôïõ Euler. 6 6 Áðáãïñåýåôáé ç áíáäçìïóßåõóç Þ áíáðáñáãùãþ ôïõ ðáñüíôïò óôï óýíïëü ôïõ Þ ôìçìüôùí ôïõ ùñßò ôç ãñáðôþ Üäåéá ôïõ Êáè. Á. ÌðñÜôóïõ. E-mail: bratsos@teiath.gr URL: http://users.teiath.gr/bratsos/

Âéâëéïãñáößá [1] Aêñßâçò, Ã., ÄïõãáëÞò, Â. (1995), ÅéóáãùãÞ óôçí ÁñéèìçôéêÞ ÁíÜëõóç, ÐáíåðéóôçìéáêÝò Åêäüóåéò ÊñÞôçò, ÁèÞíá, ISBN 978{960{524{022{6. [2] ÌðñÜôóïò, Á. (2011), ÅöáñìïóìÝíá ÌáèçìáôéêÜ, Åêäüóåéò Á. Óôáìïýëç, ÁèÞíá, ISBN 978{960{351{874{7. [3] ÌðñÜôóïò, Á. (2002), Áíþôåñá ÌáèçìáôéêÜ, Åêäüóåéò Á. Óôáìïýëç, ÁèÞíá, ISBN 960{351{453{5/978{960{351{453{4. [4] ÓôåöáíÜêïò,., Ðñïãñáììáôéóìüò Ç/Õ ìå MATLAB, Ãêïýñäáò ÅêäïôéêÞ, ISBN 978{960{387{856{8. [5] Burden, Richard L. and Faires, J. Douglas (2000), Numerical Analysis (7th ed.), Brooks/Cole, ISBN 978{0{534{38216{2. [6] Conte, S. D., Carl de Boor (1981), Elementary Numerical Analysis: An Algorithmic Approach (3rd ed.), McGraw-Hill Book Company, ISBN 978{0{07{012447{9. [7] Don, E., Schaum's Outlines { Mathematica (2006), Åêäüóåéò ÊëåéäÜñéèìïò, ISBN 978{960{461{000{6. [8] Henrici, P. (1966), Elements of Numerical Analysis, John Wiley & Sons, New York, ISBN 978{0{471{37238{7. [9] Kendell A. Atkinson (1989), An Introduction to Numerical Analysis (2nd ed.), John Wiley & Sons, ISBN 0{471{50023{2. 21

22 Êáíüíåò ïëïêëþñùóçò ôïõ Gauss Êáè. Á. ÌðñÜôóïò [10] Leader, Jeery J. (2004), Numerical Analysis and Scientic Computation, Addison Wesley, ISBN 978{0{201{73499{7. [11] Schatzman, M. (2002), Numerical Analysis: A Mathematical Introduction, Clarendon Press, Oxford, ISBN 978{0{19{850279{1. [12] Stoer, Josef; Bulirsch, Roland (2002), Introduction to Numerical Analysis (3rd ed.), Springer, ISBN 978{0{387{95452{3. [13] Sli, E. and Mayers, D. (2003), An Introduction to Numerical Analysis, Cambridge University Press, ISBN 978{0{521{00794{8. ÌáèçìáôéêÝò âüóåéò äåäïìýíùí http://en.wikipedia.org/wiki/main Page http://eqworld.ipmnet.ru/index.htm http://mathworld.wolfram.com/ http://eom.springer.de/

Ανοικτά Ακαδημαϊκά Μαθήματα Τεχνολογικό Εκπαιδευτικό Ίδρυμα Αθήνας Τέλος Ενότητας Χρηματοδότηση Το παρόν εκπαιδευτικό υλικό έχει αναπτυχθεί στα πλαίσια του εκπαιδευτικού έργου του διδάσκοντα. Το έργο «Ανοικτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Αθήνας» έχει χρηματοδοτήσει μόνο τη αναδιαμόρφωση του εκπαιδευτικού υλικού. Το έργο υλοποιείται στο πλαίσιο του Επιχειρησιακού Προγράμματος «Εκπαίδευση και Δια Βίου Μάθηση» και συγχρηματοδοτείται από την Ευρωπαϊκή Ένωση (Ευρωπαϊκό Κοινωνικό Ταμείο) και από εθνικούς πόρους.

Σημειώματα Σημείωμα Αναφοράς Copyright ΤΕΙ Αθήνας, Αθανάσιος Μπράτσος, 2014. Αθανάσιος Μπράτσος. «Μαθηματικά ΙΙΙ. Ενότητα 15: Προσέγγιση συνήθων διαφορικών εξισώσεων Μέρος Ι». Έκδοση: 1.0. Αθήνα 2014. Διαθέσιμο από τη δικτυακή διεύθυνση: ocp.teiath.gr. Σημείωμα Αδειοδότησης Το παρόν υλικό διατίθεται με τους όρους της άδειας χρήσης Creative Commons Αναφορά, Μη Εμπορική Χρήση Παρόμοια Διανομή 4.0 [1] ή μεταγενέστερη, Διεθνής Έκδοση. Εξαιρούνται τα αυτοτελή έργα τρίτων π.χ. φωτογραφίες, διαγράμματα κ.λ.π., τα οποία εμπεριέχονται σε αυτό και τα οποία αναφέρονται μαζί με τους όρους χρήσης τους στο «Σημείωμα Χρήσης Έργων Τρίτων». [1] http://creativecommons.org/licenses/by-nc-sa/4.0/ Ως Μη Εμπορική ορίζεται η χρήση: που δεν περιλαμβάνει άμεσο ή έμμεσο οικονομικό όφελος από την χρήση του έργου, για το διανομέα του έργου και αδειοδόχο που δεν περιλαμβάνει οικονομική συναλλαγή ως προϋπόθεση για τη χρήση ή πρόσβαση στο έργο που δεν προσπορίζει στο διανομέα του έργου και αδειοδόχο έμμεσο οικονομικό όφελος (π.χ. διαφημίσεις) από την προβολή του έργου σε διαδικτυακό τόπο Ο δικαιούχος μπορεί να παρέχει στον αδειοδόχο ξεχωριστή άδεια να χρησιμοποιεί το έργο για εμπορική χρήση, εφόσον αυτό του ζητηθεί. Διατήρηση Σημειωμάτων Οποιαδήποτε αναπαραγωγή ή διασκευή του υλικού θα πρέπει να συμπεριλαμβάνει: Το Σημείωμα Αναφοράς Το Σημείωμα Αδειοδότησης Τη δήλωση Διατήρησης Σημειωμάτων Το Σημείωμα Χρήσης Έργων Τρίτων (εφόσον υπάρχει) μαζί με τους συνοδευόμενους υπερσυνδέσμους. 2