Τίτλος Μαθήματος: Συνήθεις Διαφορικές Εξισώσεις Ι

Σχετικά έγγραφα
Τίτλος Μαθήματος: Συνήθεις Διαφορικές Εξισώσεις Ι

Τίτλος Μαθήματος: Συνήθεις Διαφορικές Εξισώσεις Ι

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

Τίτλος Μαθήματος: Συνήθεις Διαφορικές Εξισώσεις Ι

Τίτλος Μαθήματος: Συνήθεις Διαφορικές Εξισώσεις Ι

Τίτλος Μαθήματος: Ειδικές Συναρτήσεις

Τίτλος Μαθήματος: Ειδικές Συναρτήσεις

Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης, Καθηγητής Ιωάννης Μπεληγιάννης

Αρµονική Ανάλυση. Ενότητα: L 2 -σύγκλιση σειρών Fourier. Απόστολος Γιαννόπουλος. Τµήµα Μαθηµατικών

Αρµονική Ανάλυση. Ενότητα: Το ϑεώρηµα παρεµβολής του Riesz και η ανισότητα Hausdorff-Young. Απόστολος Γιαννόπουλος.

Τίτλος Μαθήματος: Ειδικές Συναρτήσεις

Αρµονική Ανάλυση. Ενότητα: Προσεγγίσεις της µονάδας και Αθροισιµότητα - Ασκήσεις. Απόστολος Γιαννόπουλος. Τµήµα Μαθηµατικών

Αρµονική Ανάλυση. Ενότητα: Χώροι L p - Ασκήσεις. Απόστολος Γιαννόπουλος. Τµήµα Μαθηµατικών

ΜΑΘΗΜΑΤΙΚΑ ΓΙΑ ΟΙΚΟΝΟΜΟΛΟΓΟΥΣ

Αρµονική Ανάλυση. Ενότητα: Ολοκλήρωµα Riemann και ολοκλήρωµα Lebesgue - Ασκήσεις. Απόστολος Γιαννόπουλος. Τµήµα Μαθηµατικών

ΓΕΝΙΚΕΥΜΕΝΟ ΟΛΟΚΛΗΡΩΜΑ Ορισµός

Αρµονική Ανάλυση. Ενότητα: L p Σύγκλιση. Απόστολος Γιαννόπουλος. Τµήµα Μαθηµατικών

Αρµονική Ανάλυση. Ενότητα: Μετασχηµατισµός Fourier. Απόστολος Γιαννόπουλος. Τµήµα Μαθηµατικών

Τίτλος Μαθήματος: Ειδικές Συναρτήσεις

Σηµειώσεις. Eφαρµοσµένα Μαθηµατικά Ι. Nικόλαος Aτρέας

Αρµονική Ανάλυση. Ενότητα: Προσεγγίσεις της µονάδας και Αθροισιµότητα. Απόστολος Γιαννόπουλος. Τµήµα Μαθηµατικών

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

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

7η ιεθνής Μαθηµατική Εβδοµάδα Θεσσαλονίκη Μαρτίου 2015 Ολοκληρωτικές εξισώσεις: τριτοβάθµια και δευτεροβάθµια εκπαίδευση

Εισαγωγή στην Τοπολογία

Ασκήσεις για το µάθηµα «Ανάλυση Ι και Εφαρµογές» (ε) Κάθε συγκλίνουσα ακολουθία άρρητων αριθµών συγκλίνει σε άρρητο αριθµό.

ΜΑΘΗΜΑΤΙΚΑ ΚΑΤΕΥΘΥΝΣΗΣ 2013 ΕΚΦΩΝΗΣΕΙΣ

Αρµονική Ανάλυση. Ενότητα: Ολοκλήρωµα Lebesgue - Ασκήσεις. Απόστολος Γιαννόπουλος. Τµήµα Μαθηµατικών

Θεωρία Πιθανοτήτων & Στατιστική

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

Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης. Λογισμός 3 Ασκήσεις. Μιχάλης Μαριάς Τμήμα Α.Π.Θ.

Γενικά Μαθηματικά ΙΙ

Εισαγωγή στην Τοπολογία

Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης, Καθηγητής Ιωάννης Μπεληγιάννης

ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ Ανώτατο Εκπαιδευτικό Ίδρυμα Πειραιά Τεχνολογικού Τομέα. Συστήματα Αυτομάτου Ελέγχου. Ενότητα Α: Γραμμικά Συστήματα

Υπολογιστικά & Διακριτά Μαθηματικά

Εισαγωγή στην Τοπολογία

Γενικά Μαθηματικά Ι. Ενότητα 5: Παράγωγος Πεπλεγμένης Συνάρτησης, Κατασκευή Διαφορικής Εξίσωσης. Λουκάς Βλάχος Τμήμα Φυσικής

Μάθηµα Θεωρίας Αριθµών Ε.Μ.Ε

Εισαγωγή στην Τοπολογία

KΕΦΑΛΑΙΟ 8 ΑΡΙΘΜΗΤΙΚΕΣ ΜΕΘΟ ΟΙ ΕΠΙΛΥΣΗΣ ΣΥΝΗΘΩΝ. Το τυπικό πρόβληµα αρχικών τιµών που θα µας απασχολήσει, είναι το ακόλουθο:

Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης, Καθηγητής Ιωάννης Μπεληγιάννης

Εισαγωγή στην Τοπολογία

Λύσεις των ϑεµάτων, ΑΠΕΙΡΟΣΤΙΚΟΣ ΛΟΓΙΣΜΟΣ Ι, 3/2/2010

Γραµµικη Αλγεβρα Ι Επιλυση Επιλεγµενων Ασκησεων Φυλλαδιου 4

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

KΕΦΑΛΑΙΟ 6 ΥΝΑΜΟΣΕΙΡΕΣ-ΣΕΙΡΕΣ TAYLOR

ΓΡΑΜΜΙΚΟΣ & ΔΙΚΤΥΑΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ

Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης, Καθηγητής Ιωάννης Μπεληγιάννης

Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης, Καθηγητής Ιωάννης Μπεληγιάννης

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

Θεωρία Πιθανοτήτων & Στατιστική

Τίτλος Μαθήματος: Ειδικές Συναρτήσεις

Μαθηματικά. Ενότητα 3: Εξισώσεις και Ανισώσεις 1 ου βαθμού. Σαριαννίδης Νικόλαος Τμήμα Λογιστικής και Χρηματοοικονομικής

Ασκήσεις Γενικά Μαθηµατικά Ι Οµάδα 5 (λύσεις)

Θεωρία Πιθανοτήτων & Στατιστική

Γενικά Μαθηματικά Ι. Ενότητα 16: Ολοκλήρωση Τριγωνομετρικών Συναρτήσεων, Γενικευμένα Ολοκληρώματα Λουκάς Βλάχος Τμήμα Φυσικής

ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ. Λογισμός 4. Ενότητα 5: Το Θεώρημα του Fubini. Μιχ. Γ. Μαριάς Τμήμα Μαθηματικών

Θεωρία Πιθανοτήτων & Στατιστική

Θεωρία Τελεστών. Ενότητα: Χώροι µε νόρµα - Χώροι Hilbert. Αριστείδης Κατάβολος. Τµήµα Μαθηµατικών

Λογισμός 4 Ενότητα 12

Γενικά Μαθηματικά Ι. Ενότητα 17: Αριθμητική Ολοκλήρωση, Υπολογισμός Μήκους Καμπύλης Λουκάς Βλάχος Τμήμα Φυσικής ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ

ΜΑΘΗΜΑΤΙΚΑ ΙΙ ιδάσκων : Ε. Στεφανόπουλος 12 ιουνιου 2017

Θεωρία Μέτρου και ολοκλήρωσης Ασκήσεις

Αρµονική Ανάλυση. Ενότητα: Ολοκλήρωµα Lebesgue. Απόστολος Γιαννόπουλος. Τµήµα Μαθηµατικών

ΣΗΜΕΙΩΣΕΙΣ ΜΑΘΗΜΑΤΙΚΗΣ ΑΝΑΛΥΣΗΣ Ι ( )

Κυρτή Ανάλυση. Ενότητα: Υπερεπίπεδα στήριξης και διαχωριστικά ϑεωρήµατα. Απόστολος Γιαννόπουλος. Τµήµα Μαθηµατικών

Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης, Καθηγητής Ιωάννης Μπεληγιάννης

Γενικά Μαθηματικά Ι. Ενότητα 13: Ακτίνα Σύγκλισης, Αριθμητική Ολοκλήρωση, Ολοκλήρωση Κατά Παράγοντες. Λουκάς Βλάχος Τμήμα Φυσικής

Συστήματα Αυτομάτου Ελέγχου II

Υπόδειξη. (α) Άµεσο αφού κάθε υποσύνολο µηδενικού συνόλου είναι µετρήσιµο.

f(x) dx. f(x)dx = 0. f(x) dx = 1 < 1 = f(x) dx. Θα είχαµε f(c) = 0, ενώ η f δεν µηδενίζεται πουθενά στο [0, 2].

Κυρτή Ανάλυση. Ενότητα: Το ϑεώρηµα του Dvoretzky. Απόστολος Γιαννόπουλος. Τµήµα Μαθηµατικών

Θεωρία Τελεστών. Ενότητα: Το ϕασµατικό ϑεώρηµα για αυτοσυζυγείς τελεστές. Αριστείδης Κατάβολος. Τµήµα Μαθηµατικών

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

Γενικά Μαθηματικά Ι. Ενότητα 8: Εφαρμογές Σειρών Taylor. Λουκάς Βλάχος Τμήμα Φυσικής ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ

Θεωρία μέτρου και ολοκλήρωσης

Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης, Καθηγητής Ιωάννης Μπεληγιάννης

L 2 -σύγκλιση σειρών Fourier

Εισαγωγή στην Τοπολογία

ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ. Γενικά Μαθηματικά Ι. Ενότητα 6: Ακρότατα Συνάρτησης. Λουκάς Βλάχος Τμήμα Φυσικής

ΕΠΑΝΑΛΗΠΤΙΚΑ ΘΕΜΑΤΑ 2017 Β ΦΑΣΗ Γ ΓΕΝΙΚΟΥ ΛΥΚΕΙΟΥ ΠΡΟΣΑΝΑΤΟΛΙΣΜΟΣ: ΘΕΤΙΚΩΝ ΣΠΟΥ ΩΝ / ΣΠΟΥ ΩΝ ΟΙΚΟΝΟΜΙΑΣ & ΠΛΗΡΟΦΟΡΙΚΗΣ

( a) ( ) n n ( ) ( ) a x a. x a x. x a x a

Τίτλος Μαθήματος: Διαφορική Γεωμετρία II

lim f n(x) = f(x) 1 ǫ < n ln ǫ N (ǫ, x) = ln ( )

Γραµµική Αλγεβρα Ι. Ενότητα: ιανυσµατικοί χώροι. Ευάγγελος Ράπτης. Τµήµα Μαθηµατικών

Θεωρία μέτρου και ολοκλήρωσης

Συστήματα Αυτομάτου Ελέγχου 1 Ενότητα # 8: Αντίστροφος μετασχηματισμός Laplace Εφαρμογή σε απόκριση συστήματος: Σύστημα 1 ης τάξης

sup B, τότε υπάρχουν στοιχεία α A και β B µε α < β.

Τίτλος Μαθήματος: Διαφορική Γεωμετρία

Αυτοματοποιημένη χαρτογραφία

Μιγαδικός λογισμός και ολοκληρωτικοί Μετασχηματισμοί

1 Ορισµός ακολουθίας πραγµατικών αριθµών

Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης, Καθηγητής Ιωάννης Μπεληγιάννης

Βέλτιστος Έλεγχος Συστημάτων

1 Το ϑεώρηµα του Rademacher

Τίτλος Μαθήματος: Ειδικές Συναρτήσεις

Αριθµοί Liouville. Ιωάννης Μπαρµπαγιάννης

Εισαγωγή στην Τοπολογία

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

Transcript:

Τίτλος Μαθήματος: Συνήθεις Διαφορικές Εξισώσεις Ι Ενότητα: Θεώρημα ύπαρξης και μοναδικότητας της λύσης του Π.Α.Τ.: y = f ( x, y), y( x ) (Θεώρημα Picard) ' Όνομα Καθηγητή: Χρυσή Κοκολογιαννάκη Τμήμα: Μαθηματικών

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

3 Υπαρξη και µοναδικότητα της λύσης του Π.Α.Τ. y = f(x, y), y(x ) = y Εστω το Π.Α.Τ. y = f(x, y), y(x ) = y (3.1) όπου f(x, y) είναι συνεχής συνάρτηση σε υποσύνολο του R. Η µέθοδος Picard, γνωστή και ως µέθοδος των διαδοχικών προσεγγίσεων, µας εξασφαλίζει τόσο την ύπαρξη µιας λύσης του ανωτέρω Π.Α.Τ. όσο και την µοναδικότητα αυτής, καθώς επίσης µας δίνει και µια µέθοδο εύρεσης της µοναδικής αυτής λύσης. Το µειονέκτηµα της µεθόδου είναι ότι είναι τοπικού χαρακτήρα, δηλαδή τα συµπεράσµατα ισχύουν µόνο σε µια περιοχή του σηµείου (x, y ). Πριν τη διατύπωση του ϑεωρήµατος, ϑα δώσουµε κάποιες προτάσεις και ορισµούς, οι οποίοι είναι απαραίτητοι. Πρόταση 3.1 Εστω f : D R, D R, συνεχής συνάρτηση. Κάθε λύση του Π.Α.Τ. (3.1) είναι επίσης λύση της ολοκληρωτικής εξίσωσης y(x) = y + x f(t, y(t))dt. (3.) Απόδειξη. Αν η y(x) είναι λύση του Π.Α.Τ. (3.1), τότε ολοκληρώνοντας και τα δύο µέλη της Σ..Ε. ως προς x, από x έως x και λαµβάνοντας υπ όψιν µας την αρχική συνθήκη, παίρνουµε την (3.), οπότε η λύση του Π.Α.Τ. (3.1) είναι λύση της ολοκληρωτικής εξίσωσης (3.). Αν η y(x) είναι λύση της ολοκληρωτικής εξίσωσης (3.), τότε παραγωγίζοντας και τα δύο µέλη της (3.) ως προς x, παίρνουµε την Σ..Ε. και αν στην (3.) πάρουµε όπου x το x παίρνουµε και την αρχική συνθήκη, οπότε η λύση της ολοκληρωτικής εξίσωσης (3.) είναι και λύση του Π.Α.Τ. (3.1). Ορισµός 3.1 Εστω, D R. Η συνάρτηση f(x, y), f : D R ικανοποιεί την συνθήκη του Lipschitz ως προς y, µε σταθερά k >, αν ισχύει η σχέση : f(x, y 1 ) f(x, y ) k y 1 y, για κάθε (x, y 1 ), (x, y ) D. (3.3) Σηµείωση 3.1 Αν µια συνάρτηση f(x, y) : D R είναι συνεχής και k είναι ένα ϕράγµα της f στο D, τότε η συνάρτηση ικανοποιεί την συνθήκη του y 67

Lipschitz µε σταθερά k.( Αποδεικνύεται αν εφαρµόσουµε το ϑεώρηµα µέσης τιµής για y 1 < y < y και (x, y ) D.) Το αντίστροφο δεν ισχύει πάντα. Επιλέγουµε µια αρχική συνάρτηση y (x) και οι διαδοχικές προσεγγίσεις ο- ϱίζονται από την λύση των προβληµάτων y n+1(x) = f(x, y n (x)), y n (x ) = y, n =, 1,,... Ολοκληρώνοντας το Π.Α.Τ. παίρνουµε την ακολουθία των προσεγγίσεων y n+1 (x) = y + x f(t, y n (t))dt, n =, 1,,... η οποία δηµιουργεί την ακολουθία των συναρτήσεων : y (x), y 1 (x),..., y n (x),... Το ϑεώρηµα του Picard µας δίνει συνθήκες που πρέπει να ικανοποιεί η συνάρτηση f(x, y) έτσι ώστε να υπάρχει το όριο της ακολουθίας προσεγγίσεων y n (x) και αυτό να είναι η µοναδική λύση του Π.Α.Τ. (3.1). Θεώρηµα 3. (του Picard) Εστω D το κλειστό υποσύνολο του R : D = {(x, y) R : x x a, y y b, a, b } και f(x, y(x)) µια συνάρτηση f : D R για την οποία ισχύουν : (i) είναι συνεχής στο D και M είναι το ϕράγµα της, δηλαδή f(x, y(x)) M, (x, y(x)) D (3.4) (ii) και ικανοποιεί την συνθήκη του Lipschitz ως προς y, µε σταθερά k. Τότε το Π.Α.Τ. (3.1) έχει µοναδική λύση, που είναι το όριο της ακολουθίας προσεγγίσεων y n (x) = y + x f(t, y n 1 (t))dt, n = 1,..., (3.5) δηλαδή y(x) = lim n y n (x), µε y (x) µια ολοκληρώσιµη συνάρτηση, που ικανοποιεί την συνθηκή y (x ) = y. Η οριακή συνάρτηση y(x) είναι συνεχής b για x [x h, x + h], όπου h = min{a, M }. Απόδειξη. Η απόδειξη του ϑεωρήµατος ϐασίζεται στην απόδειξη των παρακάτω 4 προτάσεων. Οι αποδείξεις των προτάσεων ϑα γίνουν για 68

b x [x h, x + h], όπου h = min{a, }.Για ευκολία, ϑα περιοριστούµε M στο διάστηµα x [x, x + h], αλλά τα ίδια ακριβώς µπορούν να αποδειχθούν και για το διάστηµα x [x h, x ]. Πρόταση 3. Η ακολουθία των συναρτήσεων {y n (x)} n=1, όπως ορίζονται από την (3.5) είναι ορισµένη και συνεχής για x [x, x + h] και µάλιστα : y n (x) y b, n = 1,,... (3.6) Απόδειξη. Η απόδειξη ϑα γίνει µε την µέθοδο της επαγωγής. Για n = 1, η (3.5) γίνεται : y 1 (x) = y + x f(t, y )dt (3.7) Επειδή η συνάρτηση f(x, y ) έχει έννοια και είναι συνεχής για x [x, x + h] από την (3.7) έπεται ότι η συνάρτηση y 1 (x) έχει έννοια, είναι συνεχής συνάρτηση και ισχύει : y 1 (x) y = f(t, y )dt f(t, y ) dt M dt M(x x ) x x x Mh b. Εστω ότι η συνάρτηση y k (x) έχει έννοια και είναι συνεχής συνάρτηση. Τότε και η συνάρτηση f(x, y k (x)) είναι συνεχής, έχει έννοια το ολοκλήρωµα x f(t, y k (t))dt άρα και η συνάρτηση y k+1 (x), όπως προκύπτει από την (3.5) x για n = k, έχει έννοια, είναι συνεχής συνάρτηση και ισχύει : y k+1 (x) y = f(t, y k (t))dt f(t, y k (t)) dt M dt x x x M(x x ) Mh b. Άρα η πρόταση (3.) απεδείχθει µε την µέθοδο της επαγωγής. Πρόταση 3.3 Η ακολουθία των συναρτήσεων {y n (x)} n=1, όπως ορίζονται από την (3.5), συγκλίνει οµοιόµορφα σε µια συνεχή συνάρτηση y(x), για x [x, x + h]. Απόδειξη. Παρατηρούµε ότι y n (x) = y (x) + [y n+1 (x) y n (x)] n=1 69

Θα δείξουµε οτί η σειρά [y n+1 (x) y n (x)] συγκλίνει οµοιόµορφα για n=1 x [x, x + h], χρησιµοποιώντας το ϑεώρηµα του Weirstrass. Πράγµατι έστω φ n (x) = y n (x) y n 1 (x), x [x, x + h], n N, οπότε λόγω της (3.5), έχουµε : φ n (x) = [f(t, y n 1 (t)) f(t, y n (t))]dt k y n 1 (t) y n (t) dt = x x = k x φ n 1 (t)dt δηλαδή φ n (x) k φ n 1 (t)dt x (3.8) Λαµβάνοντας υπ όψιν µας την πρόταση (3.) και την σχέση (3.6) έχουµε : φ (x) = y 1 (x) y (x) M x x Mh και από την (3.8) µε διαδοχική εφαρµογή έχουµε : φ 1 (x) k M t x dt km (x x ) x φ (x) k (t x ) M dt = k M (x x ) 3 x 3! και επαγωγικά δείχνουµε ότι : n= φ n (x) k n M (x x ) n+1 M (kh) n+1 (n + 1)! k (n + 1)! Επειδή η σειρά e kh = (kh) n συγκλίνει, άρα και η σειρά συναρτήσεων n= n! φ n (x) συγκλίνει οµοιόµορφα στο [x, x + h], οπότε και η ακολουθία συναρτήσεων y n (x) συγκλίνει οµοιόµορφα σε µια συνάρτηση y(x), που είναι συνεχής, αφού η y n (x) είναι συνεχής ακολουθία συναρτήσεων. Πρόταση 3.4 Η οριακή συνάρτηση y(x) είναι λύση του Π.Α.Τ. (3.1). Απόδειξη. Η συνάρτηση f(x, y(x)) είναι καλά ορισµένη x [x, x + h]. Πράγµατι : y(x) y y(x) y n (x) + y n (x) y y(x) y n (x) + M x x 7

και παίρνοντας το όριο n, από την προηγούµενη ανισότητα προκύπτει : y(x) y M x x. Επειδή η συνάρτηση f(x, y(x)) πληροί την συνθήκη του Lipschitz, ως προς y, έχουµε : f(x, y n (x)) f(x, y(x)) k y n (x) y(x) n δηλαδή η συνάρτηση f(x, y n (x)) συγκλίνει οµαλά στην συνάρτηση f(x, y(x)), οπότε προκύπτει : lim n x f(t, y n (t))dt = x lim n f(t, y n (t))dt = Χρησιµοποιώντας την (3.5), παίρνουµε : y(x) = lim n y n (x) = y + lim n x x f(t, y n (t))dt = y + f(t, y(t))dt x f(t, y(t))dt και από την πρόταση 3.1, προκύπτει ότι η y(x) είναι λύση του Π.Α.Τ. (3.1). Πρόταση 3.5 Η λύση του Π.Α.Τ. είναι µοναδική. Απόδειξη. Εστω ότι το Π.Α.Τ. (3.1), έχει δύο λύσεις την y(x) και την y(x). Χρησιµοποιούµε τις σχέσεις (3.) και (3.3) και παίρνουµε : x y(x) y(x) f(t, y(t)) f(t, y(t)) dt k y(x) y(x) dt (3.9) x x Αφού οι συναρτήσεις y(x) και y(x) είναι συνεχείς για x [x, x + h] έπεται ότι υπάρχει σταθερά N > τέτοια ώστε : Η (3.9) λόγω της (3.1) γίνεται : y(x) y(x) N, x [x, x + h] (3.1) y(x) y(x) kn(x x ) (3.11) Η (3.9) λόγω της (3.11) δίνει την ανίσωση : 71

y(x) y(x) k N (x x ). Συνεχίζοντας την ίδια διαδικασία αντικατάστασης καταλήγουµε : y(x) y(x) k n+1 kn+1 (n + 1)! N(x x ) n+1 Οµως (n + 1)! N(x x ) n+1 n, διότι είναι ο n + 1 όρος συγκλίνουσας σειράς. Άρα : y(x) = y(x). Παράδειγµα 1 Να δειχθεί ότι τα κάτωθι Π.Α.Τ. έχουν µοναδική λύση. α) y = y e x y + e x + e x, y() = ϐ) y = e x y, y() = 1 Λύση α) Θεωρούµε την περιοχή D του R : D = {(x, y) R : x α, y β, α, β > }. Η συνάρτηση f(x, y) = y e x y + e x + e x είναι συνεχής σ ολόκληρο το R, άρα και στην περιοχή D, οπότε µπορούµε να ϐρούµε ένα ϕράγµα της. Ετσι : f(x, y) = y e x y + e x + e x y + e x y + e x + e x (β + ) + e α (β + ) + e α + e α = (β + + e α ) + e α = M Επίσης επειδή : f y = y ex y + e x (β + + e α ) = k η συνάρτηση f(x, y) είναι Lipschitz ως προς y µε σταθερά k. Άρα το ϑεώρηµα του Picard ισχύει για το Π.Α.Τ. και η λύση του y(x) υ- β πάρχει και είναι µοναδική για x h = min{α, (β + + e α ) + e α }. ϐ) Θεωρούµε την περιοχή D του R : 7

D = {(x, y) R : x α, y 1 β, α, β > }. Η συνάρτηση f(x, y) = e x y είναι συνεχής σ ολόκληρο το R, άρα και στην περιοχή D και το ϕράγµα της είναι : f(x, y) = e x y e x + y e α + (β + 1) = M Επίσης αφού : f y = y = y (β + 1) = k, η συνάρτηση f(x, y) είναι Lipschitz ως προς y µε σταθερά k. Άρα το ϑεώρηµα του Picard µας εξασφαλίζει µοναδική λύση του Π.Α.Τ. για β x 1 h = min{α, e α + (β + 1) }. Παράδειγµα Να ϐρεθούν οι 3 πρώτες προσεγγίσεις της λύσης, που προβλέπει το ϑεώρηµα του Picard για τα κάτωθι Π.Α.Τ. α) y = y y, y() = 1 ϐ) y = xy + xy, y() = 1. Λύση α) Θεωρούµε την περιοχή D του R : D = {(x, y) R : x α, y 1 β, α, β > }. Η συνάρτηση f(x, y) = y y είναι συνεχής σ ολόκληρο το R, άρα και στην περιοχή D και το ϕράγµα της είναι : ( f(x, y) y + y β + 1 )( β + 3 ) Επίσης 73

( f y ( = 4y ( y + 1) β + 1 ) ) + 1 = 4(β + 1) = k Άρα η συνάρτηση f(x, y) είναι Lipschitz ως προς y µε σταθερά k. Οι προϋποθέσεις του ϑεωρήµατος Picard ισχύουν και υπάρχει µοναδική λύση του Π.Α.Τ. για x h = min{α, β (β + 1)(β + 3) }. Η ακολουθία των διαδοχικών προσεγγίσεων έχει την µορφή : Θεωρούµε y (x) = 1. Οπότε : y 1 (x) = 1 + και y (x) = 1 + = 1 + 1 y n (x) = 1 + f(t, y n 1 (t))dt ( 1 )dt 4 1 = 1 1 dt = 1 1 x [ ( 1 1 ) ( 1 t 1 )] t dt = [(1 t) (1 t)]dt = 1 1 ϐ) Θεωρούµε την περιοχή D του R : D = {(x, y) R : x α, y 1 β, α, β > }. (1 t )dt = 1 1 ) (x x3 3 Η συνάρτηση f(x, y) = xy + xy είναι συνεχής σ ολόκληρο το R, άρα και στην περιοχή D και το ϕράγµα της είναι : f(x, y) x y y + 1 α(β + 1)(β + ) = M Επίσης αφού : f y = x + 4xy x (1 + y ) α(1 + (β + 1)) = k η συνάρτηση f(x, y) είναι Lipschitz ως προς y µε σταθερά k. 74

Άρα πληρούνται οι προϋποθέσεις του ϑεωρήµατος Picard και η µοναδική β λύση του Π.Α.Τ. υπάρχει για x h = min{α, α(β + 1)(β + ) }. Η ακολουθία των διαδοχικών προσεγγίσεων έχει την µορφή : Θεωρούµε y (x) = 1. Οπότε : y 1 (x) = 1 + και y (x) = 1 + = 1 + = 1 + 4 y n (x) = 1 + 4tdt = 1 + x f(t, y n 1 (t))dt [t(1 + t ) + t(1 + t ) ]dt = t(1 + t )(1 + 1 + t )dt = (t + 3t 3 + t 5 )dt = = 1 + x + 3x 4 + 4 3 x6. Παράδειγµα 3 Να ϐρεθεί η τέταρτη προσέγγιση της µεθόδου Picard, για το Π.Α.Τ. καθώς και το σφάλµα για αυτήν την προσέγγιση : y = x y, y() = 1. Λύση Θεωρούµε την περιοχή D του R : D = {(x, y) R : x α, y 1 β, α, β > }. Η συνάρτηση f(x, y) = x y είναι συνεχής σ ολόκληρο το R, άρα και στην περιοχή D και το ϕράγµα της είναι : 75

f(x, y) x + y = α + β + 1 = M Επίσης αφού : f y = 1 = 1 = k η συνάρτηση f(x, y) είναι Lipschitz ως προς y µε σταθερά k. Άρα πληρούνται οι προϋποθέσεις του ϑεωρήµατος Picard και η µοναδική β + 1 λύση του Π.Α.Τ. υπάρχει για x h = min{α, α + β + 1 }. Η ακολουθία των διαδοχικών προσεγγίσεων έχει την µορφή : Θεωρούµε y (x) = 1. Οπότε : y 1 (x) = 1 + y (x) = 1 + y 3 (x) = 1 + Η λύση είναι : y(x) = lim n + y n (x) y n (x) = 1 + (t 1)dt = 1 x + x f(t, y n 1 (t))dt (t 1 t + t)dt = 1 x + x + x3 6 (t 1 + t t t3 6 )dt = 1 x + x x3 3 x4 4 Το σφάλµα υπολογίζεται από τον τύπο : y(x) y n (x) M k (kh) n+1 (n + 1)! ekh όπου n ο αριθµός των προσεγγίσεων, M το ϕράγµα της f(x, y), k η σταβ + 1 ϑερά Lipschitz και h = min{α, α + β + 1 }. Εποµένως το Ϲητούµενο σφάλµα είναι : 76

y(x) y 3 (x) (α + β + 1) h4 4! eh. Παράδειγµα 4 Να ϐρεθεί η τρίτη προσέγγιση της µεθόδου Picard, για το Π.Α.Τ. καθώς και το σφάλµα για αυτήν την προσέγγιση : y = x + y, y(1) = 3. Λύση Θεωρούµε την περιοχή D του R : D = {(x, y) R : x 1 α, y 3 β, α, β > }. Η συνάρτηση f(x, y) = x + y είναι συνεχής σ ολόκληρο το R, άρα και στην περιοχή D και το ϕράγµα της είναι : f(x, y) x + y (α + 1) + β + 3 = M Επίσης αφού : f y = 1 = 1 = k η συνάρτηση f(x, y) είναι Lipschitz ως προς y µε σταθερά k. Άρα πληρούνται οι προϋποθέσεις του ϑεωρήµατος Picard και η µοναδική β + 3 λύση του Π.Α.Τ. υπάρχει για x h = min{α + 1, (α + 1) + β + 3 }. Η ακολουθία των διαδοχικών προσεγγίσεων έχει την µορφή : Θεωρούµε y (x) = 3. Οπότε : y 1 (x) = 3 + y (x) = 3 + 1 1 y n (x) = 3 + 1 f(t, y n 1 (t))dt (t + 3)dt = 3 + x3 3 1 3 + 3x 3 = 1 3 ( t 1 ) 3 + 3t + t3 dt = 3 77 + 3x + x3 3

= 3 1 3 (x 1) + 3 ( x 1 = 17 1 x 3 + 3 x + x3 3 + x4 1 Η λύση είναι : y(x) = lim n + y n (x) Το σφάλµα υπολογίζεται από τον τύπο : y(x) y n (x) M k (kh) n+1 (n + 1)! ekh ) + x3 3 1 3 + 1 ( x 4 3 4 1 ) = 4 όπου n ο αριθµός των προσεγγίσεων, M το ϕράγµα της f(x, y), k η σταβ + 3 ϑερά Lipschitz και h = min{α + 1, (α + 1) + β + 3 }. Εποµένως το Ϲητούµενο σφάλµα είναι : y(x) y (x) ((α + 1) + β + 3) h3 3! eh. Παράδειγµα 5 Να λυθεί η παρακάτω εξίσωση µε τη µέθοδο του Picard: y = y + 5, y() = 3. Λύση Θεωρούµε την περιοχή D του R : D = {(x, y) R : x α, y 3 β, α, β > }. Η συνάρτηση f(x, y) = y + 5 είναι συνεχής σ ολόκληρο το R, άρα και στην περιοχή D και το ϕράγµα της είναι : f(x, y) y + 5 (β + 3) + 5 = β + 11 = M Επίσης αφού : f y = = = k 78

η συνάρτηση f(x, y) είναι Lipschitz ως προς y µε σταθερά k. Άρα πληρούνται οι προϋποθέσεις του ϑεωρήµατος Picard και η µοναδική β λύση του Π.Α.Τ. υπάρχει για x h = min{α, β + 11 }. Η ακολουθία των διαδοχικών προσεγγίσεων έχει την µορφή : Θεωρούµε y (x) = 3. Οπότε : y 1 (x) = 3 + y (x) = 3 + y 3 (x) = 3 + y 4 (x) = 3 + y n (x) = 3 + (6 + 5)dt = 3 + 11x f(t, y n 1 (t))dt ((3 + 11t) + 5)dt = 3 + 11x + 11 x ( (3 + 11t + 11 ) t ) + 5 dt = 3 + 11x + 11! x + 11 ( (3 + 11t + 11 t + 11 ) 3! t3 ) + 5 dt = = 3 + 11x + 11! x + 11 3! x3 + 3 11 4! x4 Με επαγωγή αποδεικνύεται ότι : y n (x) = 3 + 11x + 11! x + 11 3! x3 + 3 11 4! x4 +... + y n (x) = 3 + 11 ) (x + (x) + (x)3 +... + (x)n! 3! n! Άρα η λύση είναι : n 1 11 n! xn y(x) = lim n + y n (x) = 3 + 11 (ex 1) y(x) = 11 ex 5 ( αφού e x = (x) n = 1 + x ) n! 1 +... n= 3! x3 79

Ελληνική ϐιβλιογραφία [1] Γ. άσιος, Συνήθεις ιαφορικές Εξισώσεις, Πάτρα, 1985 [] Θ. Κυβεντίδης, ιαφορικές εξισώσεις, Εκδόσεις Ζήτη, Θεσ/κη, 1993 [3] Β. Μπαρµπάνης, Μαθήµατα ιαφορικών Εξισώσεων, Πάτρα, 1976 [4] Π. Σιαφαρίκας, Εφαρµογές των Σ..Ε., Τόµος Ι, Πάτρα, [5] Ν. Σταυρακάκης, Σ Ε : γραµµική και µη γραµµική ϑεωρία από τη ϕύση και τη Ϲωή, Παπασωτηρίου, Αθήνα, 1997 Ξενόγλωσση ϐιβλιογραφία [1] W. E. Boyce, R. C. Di Prima, Elementary differential equations and boundary value problems, N. Y. John Wiley & Sons, 1977 [] M. Braun, Differential equations and their Applications, Springer-Verlag, 1993 [3] Abell and Braselton, Modern Differential equations, Theory, Application, Technology, Saunders College Publishing, 1996 [4] B. Rai and D. P. Choudhury, Ordinary Differential Equations, An introduction, Alpha Science, International Ltd, 5 [5] Rice and Strange, Ordinary Differential Equations with Application, Brooks/Cole Publishing Company, 1996