Η ΑΣΥΝΕΧΗΣ ΜΕΘΟΔΟΣ ΤΟΥ GALERKIN ΔΙΠΛΩΜΑΤΙΚΗ ΕΡΓΑΣΙΑ ΜΑΛΑΝΔΡΑΚΗ ΓΑΡΥΦΑΛΙΑ Επιβλέπων καθηγητής : Μακριδάκης Χαράλαμπος
Περιεχόμενα Εισαγωγή Κεφάλαιο 1. Η ΑΣΥΝΕΧΗΣ ΜΕΘΟΔΟΣ ΤΟΥ GALERKIN 1.1 Προκαταρκτικά 1.2 Εκτίμηση σφάλματος Κεφάλαιο 2. ΣΥΝΕΠΕΙΑ Κεφάλαιο 3. ΕΥΣΤΑΘΕΙΑ Κεφάλαιο 4. ΣΥΓΚΛΙΣΗ Κεφάλαιο 5. ΥΠΑΡΞΗ ΚΑΙ ΜΟΝΑΔΙΚΟΤΗΤΑ Βιβλιογραφία
ΕΙΣΑΓΩΓΗ Οι μέθοδοι του Galerkin χρησιμοποιούνται πλέον σε πολλούς τομείς των μαθηματικών,εδώ θα μελετήσουμε τη διακριτοποίηση προβλημάτων αρχικών τιμών.οι μέθοδοι χωρίζονται σε δύο κατηγορίες, την ασυνεχή και την συνεχή μέθοδο.εδώ θα αναλύσουμε ξεχωριστά και τις δύο μεθόδους. Οι μέθοδοι του Galerkin είναι μονοβηματικής φύσης και δίνουν προσεγγίσεις της λύσης σε όλο το διάστημα στο οποίο αυτή ορίζεται, σε αντίθεση με άλλες μεθόδους,όπως αυτές των Runge-Kutta και τις πολυβηματικές μεθόδους, οι οποίες δίνουν προσεγγίσεις στους κόμβους ενός διαμερισμού.επιπλέον ένα σημαντικό πλεονέκτημα των μεθόδων του Galerkin είναι ότι μπορούμε να μελετήσουμε τις ιδιότητες τους χρησιμοποιώντας τεχνικές που εφαρμόζονται σε μεθόδους πεπερασμένων στοιχείων.αρκεί να γίνει κατάλληλη τροποποίηση και επέκταση των τεχνικών αυτών οπότε η μελέτη της μεθόδου γίνεται ευκολότερη και πιο συστηματική.γι αυτό το λόγο οι συγκεκριμένοι μέθοδοι ειναι τόσο διαδεδομένοι και εύχρηστοι καθώς ακόμα και όταν εφαρμόζονται σε δύσκολα προβλήματα διευκολύνουν την ανάλυση και την μελέτη της μεθόδου. Στα κεφάλαια που ακολουθούν θα αναλύσουμε τις μεθόδους του Galerkin και θα εκτιμήσουμε το σφάλμα στο κεφάλαιο ένα,θα αποδείξουμε συνέπεια της μεθόδου στο κεφάλαιο δύο,στο κεφάλαιο τρία αποδεικνύουμε ευστάθεια και τέλος στο κεφάλαιο τέσσερα και πέντε θα αποδείξουμε σύγκλιση της μεθόδου και την ύπαρξη των προσεγγιστικών λύσεων που μας δίνει η μέθοδος.
ΚΕΦΑΛΑΙΟ 1 Η ΑΣΥΝΕΧΗΣ ΜΕΘΟΔΟΣ ΤΟΥ GALERKIN 1.1 ΠΡΟΚΑΤΑΡΚΤΙΚΑ Θα περιγράψουμε τις μεθόδους του Galerkin για προβλήματα αρχικών τιμών της μορφής y = f(t, y), t [a, b], y(a) = y, όπου f: [a, b] R R δεδομένη ομαλή συνάρτηση, y R και y [a, b] R η ζητούμενη λύση. Έστω Ν N, h (b a)/n και t a + nh, n = 0,, N ο ομοιόρφος διαμερισμός του διαστήματος [a, b] με βήμα h. Θέτουμε Ι (t, t ], n = 0,, N 1 και περιοριζόμαστε στην περίπτωση ομοιόρφου διαμερισμού, αφού μπορεί να γενικευτεί και στην περίπτωση του μη ομοιόμορφου, λόγω της μονοβηματικής φύσεως της μεθόδου. Ψάχνουμε προσέγγιση Υ της λύσης y του Π.Α.Τ. Ζητείται Υ S όπου με S συμβολίζουμε το σύνολο των συναρτήσεων με πεδίο ορισμού το [a, b], οι οποίες είναι πολυώνυμα βαθμού το πολύ q 1 σε κάθε υποδιάστημα Ι = (t, t ]. Δηλαδή S = { u: [a, b] R / (u )(t) = a t, a R }. H προσέγγιση Υ πρέπει να ικανοποιεί τα εξής: Y(a) = y και (G.1) Y (t)χ(t)dt + για n = 0,1,, N. (Y Y )χ = ft, Y(t)χ(t)dt χ P (I ),
Τα στοιχεία του S μπορεί να είναι ασυνεχή στα σημεία t,,t γι αυτο συμβολίζουμε v =lim v(t) και v =v(t ) για v S. Θα εξηγήσουμε πως καταλήγουμε στον παραπάνω τύπο : Εστω οτι η προσέγγιση Υ P (I ) ικανοποιεί το Π.Α.Τ δηλαδή Y (t) = f(t, Y(t)) ισοδύναμα Y (t)χ(t)dt = ft, Y(t)χ(t)dt χ P (I ). Ολοκληρώνουμε το αριστερό μέρος κατα μέλη και έχουμε Y (t)χ(t)dt = Y(t)χ (t)dt + Y χ Y χ. Έχοντας υποθέσει οτι έχουμε ηδη προσδιορίσει την Υ στο [a, t ], αντικαθιστούμε την τιμή Y με την προσέγγιση Y και έχουμε Y(t)χ (t) +Y χ Y χ = ft, Y(t)χ(t)dt = Y (t)χ(t)dt Y χ + Y χ +Y χ Y χ η οποία οδηγεί στην (G.1). Παράδειγμα Θεωρούμε την απλούστερη περίπτωση της ασυνεχούς μεθόδου του Galerkin, όταν η προσέγγιση γίνεται με κατά τμήματα σταθερές συναρτήσεις, δηλαδή για q = 1. Σ αυτή την περίπτωση η προσέγγιση Y λαμβάνει την ίδια τιμή σε κάθε σημείο του I, συνεπώς ισχύει Y(t) = Y, t I. Επίσης,προφανώς, Y = Y. Αρα η μέθοδος γράφεται στην μορφή (Y Y )χ = f(t, Y )χ(t)dt χ P (I ), και επομένως, αφού οι συναρτήσεις χ είναι κατά τμήματα σταθερές, Y Y = f(t, Y )dt, n = 0,, N 1.
Στην περίπτωση γραμμικής διαφορικής εξίσωσης y (t) = a(t)y(t) + f(t), η παραπάνω σχέση γράφεται ως εξής : Y Y = a(t)dt Y + f(t)dt, n = 0,, N 1. 1.2 ΕΚΤΙΜΗΣΗ ΣΦΑΛΜΑΤΟΣ Για την εκτίμηση του σφάλματος e = y Υ θα εισάγουμε μια προβολή y της ακριβούς λύσης y στο S διότι η y δεν ανήκει σ αυτο. Ετσι θέτοντας ρ= y y θ= y Υ το σφάλμα γράφεται στην μορφή e = ρ + θ. και Στον ορισμό της προβολή y S επιβάλουμε τις ακόλουθες ιδιότητες: y = y(a) = y, y = y, (y y )(t)u(t)dt = 0 u P (I ), n = 0,, N 1. Θα αποδείξουμε την ύπαρξη και μοναδικότητα της y : Με βάση τις παραπάνω ιδιότητες θα δείξουμε οτι η y είναι καλώς ορισμένη στο I. Θέτω Έτσι, Απο τις σχέσεις y(t) = y + a (t t ), t I. y = y(t ) = y + a (t t ) = y. y(t) = y + a (t t ) (y y )(t)u (t)dt = 0, u : = (t t ), i = 1,, q 1 προκύπτει ενα σύστημα q 1 έξισώσεων με αγνώστους τα a,..., a οπότε για να έχει μοναδίκη λύση αρκεί το ομογενές να έχει μόνο την τετριμμένη.
Επιλέγω y =0 και έχω y (t)= a (t t ) = (t t )u(t), u(t) = a (t t ) όπου u P (I ) και t Ι. Αρα (t t )(t)[u(t)] dt = 0 συνεπώς u = 0 δηλαδή a,..., a = 0. Δηλαδη απoδείξαμε οτι υπάρχει ακριβώς ενα στοιχείο του S με τις επιθυμητές ιδιότητες. Για την εκτίμηση του ρ = y y θα διακρίνουμε 2 περιπτώσεις: Για q = 1,δηλαδή για κατά τμήματα σταθερά πολυώνυμα ισχύει : y(t) = y t I οπότε έχουμε : ρ(t) = y(t) y = y(t) y(t ) = απο Cauchy-Schwarz δηλαδή, y (s)ds ρ(t) ( y (s) ds) 2 (t t ) y (s) ds sup ρ(t) h y (s) ds. Άρα τελικά έχουμε sup ρ(t) hsup y (t).
Για q 2, δηλαδή στην γενική περίπτωση, θα εφαρμόσουμε το παρακάτω λήμμα για την εκτίμηση του σφάλματος ρ. Λήμμα : Έστω Ι = (t, t ] ένα φραγμένο διάστημα μήκους h, q N, y C [t, t ] και y P (I ) η προβολή όπως την ορίσαμε παραπάνω.τότε υπάρχει μία σταθερα C τέτοια ώστε για το σφάλμα ρ να ισχύει Απόδειξη λήμματος : sup ρ(t) Ch y () (s) ds ή ισοδύναμα sup ρ(t) Ch sup y () (t) Θεωρούμε την γραμμική απεικόνιση y y η οποία αφήνει τα στοιχεία του P (I ) αναλλοίωτα,αφού η y είναι καλώς ορισμένη, και είναι ευσταθής.θεωρούμε μια συνάρτηση u C[0,1] και ζητείται u P τέτοια ώστε u(1) = u(1) (u u)(t)u(t) dt = 0 u P και θα αποδείξουμε ότι η γραμμική απεικόνιση u u είναι ευσταθής,δηλαδή ότι υπάρχει σταθερά c,που εξαρτάται απ το q αλλά είναι ανεξάρτητη της u,τέτοια ώστε max u(t) c max u(t). Υποθέτουμε ότι u(1) = 0 οπότε και u(1) = 0.Έχουμε ορίσει u P οπότε μπορούμε να την γράψουμε στην μορφή : u(t) = (1 t)u(t) με u P.Τώρα έχουμε u(t) dt = (1 t) u(t) dt (1 t) u(t) dt = u(t)u(t)dt. Όμως απο τον ορισμό της u ξέρουμε ότι (u u)(t)u(t) dt = 0, δηλαδή ότι στο διάστημα [0,1] έχουμε ορθογωνιότητα, οπότε ισχύει Επομένως ισχύει u(t)u(t)dt u(t) dt = u(t)u(t)dt u(t)u(t)dt
και συνεπώς έχουμε u(t) dt max u(t) u(t)dt. Παρατηρούμε ότι το αριστερό μέλος είναι το τετράγωνο μιας νόρμας της u όπως και ο δεύτερος παράγοντας του γινομένου στο δεξιό μέλος.όμως γνωρίζουμε ότι όλες οι νόρμες σε χώρο πεπερασμένης διάστασης είναι ισοδύναμες αρα καταλήγουμε στην εξής σχέση max u(t) c max u(t) με κατάλληλη σταθερά c. Με ανάλογο τρόπο αποδεικνύεται η ευστάθεια για γενικό διάστημα Ι,δηλαδή για συναρτήσεις y C[t, t ] ισχύει η εκτίμηση (Ρ.1) max y(t) c max y(t). Έστω λοιπόν y μια συνάρτηση όπως στην εκφώνηση του λήμματος.θεωρούμε το ρ P (I ) να είναι το πολυώνυμο Taylor της y ως προς το σημείο t οπότε ισχύει ότι ρ = ρ και σύμφωνα με την (Ρ.1) ισχύει max y ρ (t) c max y ρ (t). Τώρα, y y = y ρ y ρ οπότε χρησιμοποιώντας την τριγωνική ανισότητα λαμβάνουμε y y y ρ + y ρ max (y y)(t) (1 + c) max y ρ (t). Αρκεί επομένως να υπολογίσουμε την διαφορά y ρ όπου το ρ μπορεί να αντικατασταθεί από οποιοδήποτε πολυώνυμο βαθμού το πολύ q 1. Τώρα,απο ανάπτυγμα Taylor, έχουμε 1 y(t) = ρ (t) + (q 1)! (t s) y () (s)ds t I max y(t) ρ (t) 1 (q 1)! max t s y () (s)ds
Όμως απο την ανισότητα των Cauchy-Schwarz,έχουμε t s y () (s)ds t s ds/ y () (s) ds Οπότε = (h ) / y () (s) ds /. max y(t) ρ (t) (h ) / y () (s) ds και έπεται το εξής : max (y y)(t) (1 + c) 1 2q 1 (h ) / Συνεπώς sup ρ(t) Ch y () (s) ds. / y () (s) ds / /.
ΚΕΦΑΛΑΙΟ 2 ΣΥΝΕΠΕΙΑ ΤΗΣ ΑΣΥΝΕΧΟΥΣ ΜΕΘΟΔΟΥ ΤΟΥ GALERKIN Θα μελετήσουμε την συνέπεια της μεθόδου για την προβολή y S της ακριβούς λύσης y του Π.Α.Τ. Εστω E P (Ι ) το σφάλμα συνέπειας της ασυνεχούς μεθόδου του Galerkin για την y, [y (t) f(t, y(t)) ]χ(t)dt + (y y )χ = Ε(t)χ(t)dt, χ P (I ) (*) Θα εκτιμήσουμε το Ε(t) με βάση τον παραπάνω τύπο. Κατ αρχάς γνωρίζουμε απο τον ορισμό της y S ότι Έστω χ P (I ), τότε, (y y )(t)χ(t)dt = (y y)(t)χ(t)dt = 0 χ P (I ). (y y)(t)χ (t)dt + (y y )χ (y y )χ = Οπότε έχουμε = (y y )χ = (y y ) χ. y (t)χ(t)dt = y (t)χ(t)dt + (y y ) χ (**). Απο τις (*) και (**) έχουμε : Ε(t)χ(t)dt Ε(t)x(t)dt Θέτω χ = Ε και έχω : Ε(t) dt = [y (t) f(t, y(t)) ]χ(t)dt χ P (I ) = [f(t, y(t)) f(t, y(t)) ]χ(t)dt. = [f(t, y(t)) f(t, y(t)) ]E(t)dt.
Όμως f Lipschitz και χρησιμοποιώντας την ανισότητα Cauchy Schwarz και την αριθμητική - γεωμετρική ανισότητα, για το δεξιό μέλος τη ισότητας,καταλήγουμε στο εξης : [f(t, y(t)) f(t, y(t)) ]E(t)dt L y(t) y(t) E(t) dt Συνεπώς έχουμε L ( y(t) y(t) / dt) ( E(t) dt) y(t) y(t) dt + E(t) dt. / Ε(t) dt y(t) y(t) dt + E(t) dt Ε(t) dt L y(t) y(t) dt. Όμως απο το λήμμα που χρησιμοποιήσαμε για την απόδειξη του σφάλματος ρ έχουμε ότι sup Ε(t) Ch y () (s) ds Από τις παραπάνω σχέσεις έπεται η επιθυμητή εκτίμηση συνέπειας Ε(t) dt Ch y () (t) dt.
ΚΕΦΑΛΑΙΟ 3 3.1 ΕΥΣΤΑΘΕΙΑ Έστω Y S η λύση του προβλήματος αρχικών τιμών με Y(a) = y και Ζ S μια άλλη λύση του ίδιου προβλήματος με αρχική τιμή Ζ(α) = z. Και οι δύο λύσεις ικανοποιούν την ασυνεχή μέθοδο Galerkin δηλαδή έχουμε : Y (t)χ(t)dt + (Y Y )χ = ft, Y(t)χ(t)dt x P (I ) Z (t)χ(t)dt + (Z Z )χ = ft, Z(t)χ(t)dt x P (I ) n = 0,, N 1, Αφαιρούμε τις 2 σχέσεις κατα μέλη και συμβολίζουμε με ζ την διαφορά Y Ζ οπότε λαμβάνουμε : ζ (t)χ(t)dt + (ζ ζ )χ = ft, Y(t) ft, Z(t)χ(t)dt (Ε.1) Θέτω χ = 2ζ οπότε η παραπάνω σχέση γίνεται : ζ(t) dt + 2 ζ 2 ζ ζ = ft, Y(t) ft, Z(t)2ζdt 2L ζ(t) dt (αφού f Lipschitz) ζ ζ + 2 ζ 2 ζ ζ 2L ζ(t) dt ζ ζ + 2 ζ ζ + 2L ζ(t) dt. Όμως 2 ζ ζ ζ + ζ συνεπώς έχουμε ζ ζ + 2L ζ(t) dt (Ε.2) Για να προχωρήσουμε στην απόδειξη της ευστάθειας θα αναφέρουμε κάποια βασικά πράγματα για τους τύπους ολοκλήρωσης του Radau. Άν [a, b] ένα διάστημα και q N, τότε υπάρχουν μονοσήμαντα ορισμένοι κόμβοι a < τ < < τ = b και βάρη w,, w τέτοιοι ώστε ο τύπος αριθμητικής ολοκλήρωσης Q,
Q (f) = w f(τ ), να ολοκληρώνει πολυώνυμα βαθμού έως και 2q 2 ακριβώς, δηλαδή p(t)dt = Q (p) p P. Έιμαστε τώρα στη θέση να συνεχίσουμε την απόδειξη της ευστάθειας χρησιμοποιώντας το παρακάτω λήμμα : Λήμμα Έστω 0< τ < < τ = 1 και w,, w οι κόμβοι και τα βάρη του τύπου ολοκλήρωσης Radau στο διάστημα [0,1], ρ P και ρ P το πολυώνυμο παρεμβολής της συνάρτησης φ, φ(t) = () Τότε ισχύει t (0,1], στους κόμβους τ,..., τ. ή ρ (t) ρ(t)dt + ρ(0)ρ(0) = 1 2 ρ(1) + w τ ρ(τ ) ρ (t) Απόδειξη λήμματος ρ(t)dt + ρ(0)ρ(0) 1\2 [ ρ(1) + ρ(t) dt] Εισάγουμε το πολυώνυμο u P με u(t) = [()()] ρ(t) = ρ(0) + tu(t). Έτσι έχουμε φ(t) = ρ(t)/t = u(t) + ρ(0)/t. Επιπλεον το ρ γράφεται στην μορφή : ρ = u + ρ(0)λ οπου Λ P είναι το πολυώνυμο παρεμβολής της συνάρτησης 1/t στα σημεία του Radau, Λ(t ) = 1/t i = 1,, q.
Αρχικά υπολογίζουμε το γινόμενο ρ (t) ρ(t)dt = [u(t) + tu (t)][u(t) + ρ(0)λ] dt = = u(t) dt = u(t) dt + t u (t) u(t)dt + ρ(0)[ tu (t)λ(t)dt + u(t)λ(t)dt] + 1 2 u(1) u(t) dt 2 + ρ(0)[ tu (t)λ(t)dt + u(t)λ(t)dt] = 1 2 u(t) dt + 1 2 u(1) + ρ(0)[ + u(t)λ(t)dt]. tu (t)λ(t)dt Τώρα,για s P,χρησιμοποιώντας την ακρίβεια του τύπου του Radau, έχουμε ts (t)λ(t)dt = s (t)dt = s(1) s(0) οποτε στην παραπάνω σχέση έχουμε tu (t)λ(t)dt = u(1) u(0) και tλ (t)λ(t)dt = 1 Λ(0). Επίσης αφου το πολυώνυμο uλ ολοκληρώνεται ακριβώς από τον τύπο Radau λαμβάνουμε τελικά ρ (t) ρ(t)dt = 1 2 u(t) dt + 1 2 u(1) + ρ(0)[ u(1) u(0) + w u(τ )τ ]
Όμως u(1) = [ρ(1) ρ(0)]/1, ρ(0)ρ(0) = ρ(0)(u(0) + ρ(0)λ) = ρ(0)u(0) + ρ(0) Λ(0) και επιπλέον το u είναι βαθμού έως 2q 2 δηλαδή ολοκληρώνεται ακριβώς απ τον τύπο του Radau οπότε έχουμε ρ (t) ρ(t)dt = 1 2 [ρ(1) ρ(0)] + ρ(0)u(1) ρ(0)u(0) + w u(τ )τ = ρ(1) + ρ(0) ρ(1)ρ(0) + ρ(0)[ρ(1) ρ(0)] ρ(0)u(0) ρ(0) + 1 2 w u(τ ) + w [u(τ ) + 2u(τ )τ ρ(0)]. Οπότε τελικά λαμβάνουμε την εξής σχέση ρ (t) ρ(t)dt = ρ(1) + [Λ(0) ]ρ(0) w [u(τ ) + 2u(τ )τ ρ(0)] (E.3) Για το πολυώνυμο παρεμβολής γνωρίζουμε ότι tλ (t)λ(t)dt = 1 Λ(0) Λ(0) = 1 tλ (t)λ(t)dt και ολοκληρώνοντας κατα μέλη έχουμε Δηλαδή = 1 () dt Λ(0) = 1 1 2 [Λ(1)] + 1 2 [Λ(t)] dt = 1 2 + 1 2 [Λ(t)] dt Λ(0) = w τ,αφού Λ είναι το πολυώνυμο παρεμβολής της 1/t στα σημεία του Radau. Αντικαθιστώντας την παραπάνω σχέση στην (Ε.3) και χρησιμοποιώντας την σχέση
[ρ(0)] τ + [u(τ )] + 2ρ(0)u(τ )τ = τ ρ(τ ), η οποία έπεται απο την σχέση u(τ) = [()()] u(τ) + ρ(0)τ = ρ(τ)τ αν την υψώσουμε στο τετράγωνο, οδηγούμαστε στην ζητούμενη σχέση. Έχουμε δηλαδή Επί πλέον, ρ (t) ρ(t)dt + ρ(0)ρ(0) = 1\2 [ ρ(1) + w τ ρ(τ ) ] ρ (t) ρ(t)dt + ρ(0)ρ(0) [ ρ(1) + w ρ(τ ) ] = [ ρ(1) + ρ(t) dt. Για την συνέχεια της αποδειξης θα χρησιμοποιήσουμε το προηγούμενο λήμμα στο διάστημα [t, t ] και εχουμε το εξης : Έστω ρ P στο διάστημα [t, t ] και έστω φ(t) = (t t )ρ(t)/(t t ) και ρ P το πολυώνυμο παρεμβολής της συνάρτησης φ στα σημεία του Radau t,, i = 1,, q. Tότε ισχύει ρ (t)ρ(t)dt + ρ(t ) ρ(t ) = 1 2 [ ρ(t ) + w τ ρ(τ, ) ] (Ε.4) [ ρ(t ) + ρ(t) dt ] Επιπλέον θα χρησιμοποιήσουμε τις παρακάτω σχέσεις για την ολοκλήρωση της απόδειξης. u(t ) u(t) dt u P (I ) (Ε.5) u(t) dt / u (t) dt / u P (I ) (E.6) όπου u P (I ) είναι το πολυώνυμο παρεμβολής της συνάρτησης hu(t)/(t t ) στα σημεία του Radau t,,, t, στο διάστημα I και επίσης 0 < τ < < τ = 1 τα σημεία του Radau στο [0,1].
Στην σχέση (Ε.1) θέτουμε χ = ζ, όπου ζ, ζ έχουν τις ίδιες ιδιότητες με τα ρ, ρ πού ορίσαμε παραπάνω, και έχουμε ζ (t)ζ(t)dt + ζ ζ = ζ ζ + ft, Y(t) ft, Z(t)ζ(t)dt. Όμως ζ (t)ζ(t)dt + ζ ζ απο Lipschitz το δεξιό μέλος γίνεται [ ζ + ζ(t) dt] απο (Ε.4) και ζ ζ + ft, Y(t) ft, Z(t)ζ(t)dt έχουμε ζ ζ + L ζ(t) ζ(t) οπότε ζ + ζ(t) dt 2ζ ζ + 2L ζ(t) ζ(t) dt 2ζ ζ + 2L ζ(t) dt απο (Ε.6) / ζ(t) dt/ 2ζ ζ + 2L ζ(t) dt Τώρα 2ζ ζ 2c ζ + ζ 2ζ ζ 2c ζ + ζ(t) dt και απο την (Ε.5) έχουμε αρα τελικά λαμβάνουμε ζ + ζ(t) dt 2c ζ + ζ(t) dt + 2L ζ(t) dt ζ + ζ(t) dt 2c ζ ζ(t) dt 2c ζ. Θεωρούμε h αρκετά μικρό, ώστε οπότε λαμβάνουμε 2L ζ(t) dt 16chL ζ. Θέτω c = 16cL και χρησιμοποιώντας την παραπάνω σχέση στην (Ε.2) λαμβάνουμε ζ ζ + 2L ζ(t) dt (1 + c h) ζ e ζ οπότε επαγωγικά συμπαιρένουμε ότι :
για n=0 για n=1 ζ e ζ ζ e ζ e ζ... ζ e ζ = e () ζ. Επομένως έχουμε max ζ e ( )/ ζ ή ισοδύναμα max Y(t ) Z(t ) e ( )/ Y(a) Z(a). Επί πλέον, μπορούμε να αποδείξουμε ευστάθεια σε όλο το διάστημα [α,b]. Κατ αρχάς ισχυει η ακόλουθη εκτίμηση : sup ζ(t) ζ(t) dt διότι : ζ(t) dt = (t t ) ζ(y) dy όπου ζ(y) = ζ(t + hy), y [0,1] και προφανώς είναι πολυώνυμο ίδιου βαθμού με το ζ στο [0,1]. Όμως (t t ) ζ(y) dy Chmax ζ(y) = Chmax ζ(t). Συνδιάζοντας την παραπάνω σχέση με την 2L ζ(t) dt 16chL ζ (απο την απόδειξη της ευστάθειας στο [t, t ] ) λαμβάνουμε sup ζ(t) ζ = 8c ζ. Επομένως όπως και στην απόδειξη της ευστάθειας στο διάστημα [t, t ] καταλήγουμε στο εξής : sup ζ(t) 2 2ce ( )/ ζ ή ισοδύναμα sup Y(t) Z(t) 2 2ce ( )/ Y(a) Z(a).
3.2 Β-ευστάθεια ασυνεχών μεθόδων Galerkin Για να αποδέιξουμε ότι η ασυνεχής μέθοδος του Galerkin είναι Β-ευσταθής αρκεί να δείξουμε ότι για οποιεσδήποτε λύσεις, που ικανοποιούν τον τύπο της μεθόδου και αντιστοιχούν στις αρχικές τιμές y, z,ισχύει y z y z. Σημειώνουμε ότι συμβολίζουμε με την ευκλείδια νόρμα. Στην προκειμένη περίπτωση έχουμε τα εξής : Υποθέτουμε ότι η f είναι φθίνουσα συνάρτηση ως προς την δεύτερη μεταβλητή της. Επιλέγω χ = ζ = Υ Ζ στην (Ε.1) οπότε το δεξιό μέλος γίνεται μη θετικό εφόσον f φθίνουσα και ικανοποιέι την εξής : Ετσι έχουμε ft, Y(t) ft, Z(t)Y(t) Z(t) 0 ζ (t)ζ(t)dt + ζ ζ ζ + ζ ζ ζ. Όμως παρατηρούμε ότι ζ ζ ζ = 2 ζ ζ ζ αρα έχουμε ζ ζ ζ ζ ζ ζ Επομένως έχουμε όντως Y(t ) Z(t ) Y(t ) Z(t ) ή Y Z Y Z. Καταλήξαμε επομένως στο συμπέρασμα ότι η ασυνεχής μέθοδος του Galerkin είναι Β-ευσταθής.
ΚΕΦΑΛΑΙΟ 4 ΣΥΓΚΛΙΣΗ Σκοπός μας είναι να υπολογίσουμε το σφάλμα e = y Y όπου y η ακριβής λύση και Υ η προσέγγιση που δίνει η ασυνεχής μέθοδος Galerkin. Έχουμε εισάγει την y να είναι η προβολή της ακριβούς λύσης και με την βοήθεια της γράφουμε το σφάλμα e στην μορφή e = ρ + θ όπου ρ = y y και θ = y Υ. Το πρώτο μέρος εχει ήδη υπολογιστεί αρα απομένει να υπολογίσουμε το θ. Θα χρησιμοποιήσουμε τις ακόλουθες σχέσεις : Y (t)χ(t)dt + (Y Y ) χ = ft, Y(t)χ(t)dt και τον τύπο της συνέπειας της μεθόδου για την προβολή y Ε(t)χ(t)dt = [y (t) f(t, y(t)) ]χ(t)dt + (y y ) χ. Αφαιρώντας την πρώτη απ την δεύτερη λαμβάνουμε (Σ.1) θ (t)χ(t)dt + (θ θ ) χ = ft, y(t) ft, Y(t)χ(t)dt + Ε(t)χ(t)dt. Επιλέγω χ = 2θ και έχουμε το εξής : 2 θ (t)θ(t)dt + (θ θ )2θ = ft, y(t) ft, Y(t)2θ(t)dt + Ε(t)2θ(t)dt θ θ + 2 θ 2θ θ 2L θ(t) dt + 2 Ε(t)θ(t)dt θ θ + 2θ θ + 2L θ(t) dt + 2 Ε(t)θ(t)dt θ θ + 2L θ(t) dt + 2 Ε(t)θ(t)dt. Χρησιμοποιώντας την ανισότητα Cauchy-Schwartz και την αριθμητική-γεωμετρική ανισότητα για τον τελευταίο όρο στο δεξιό μέλος παίρνουμε
2 Ε(t)θ(t)dt 2( E(t) dt) E(t) dt ( θ(t) dt) + θ(t) dt. Επομένως με βάση το παραπάνω έχουμε θ θ + (2L + 1) θ(t) dt + E(t) dt (Σ.2). Επιλέγοντας τώρα χ = θ στην (Σ.1) (όπου οι θ και θ συνδέονται με τα ρ και ρ όπως στο λήμμα που χρησιμοποιήσαμε στην απόδειξη της ευστάθειας ) και χρησιμοποιώντας τον τύπο (Ε.4) και την συνθήκη Lipschitz λαμβάνουμε την εξής σχέση : θ (t)θ(t)dt + θ θ = θ θ + ft, y(t) ft, Y(t)θ(t)dt + Ε(t)θ(t)dt θ + θ dt 2θ θ + 2L θ(t) θ(t)dt + 2 Ε(t)θ(t)dt. Όπως και στην απόδειξη της ευστάθειας θα εφαρμόσουμε την ανισότητα Cauchy- Schwarz και χρησιμοποιώντας την (Ε.6) οδηγούμαστε στη εκτίμηση θ + θ dt 2θ θ + 2L θ(t) dt + 2 Ε(t)θ(t)dt 2c θ + 1 2h θ(t) dt + 2L 1 θ(t) dt + 2 Ε(t)θ(t)dt τ 2L θ(t) dt 2c θ + 2 Ε(t)θ(t)dt. Όμως απο γνωστές ανισότητες και με βάση την (Ε.6) έχουμε 2 Ε(t)θ(t)dt E(t) dt + θ(t) dt E(t) dt + θ(t) dt. Οπότε έχουμε 1 2h 2L 1 1 τ τ θ(t) dt 2c θ + E(t) dt.
Για h αρκετά μικρό ώστε 2L η παραπάνω μας δίνει (2L + 1) θ(t) dt με c = max{8c(2l + 1), 4(2L + 1)}. hc θ + hc E(t) dt Συνδιάζοντας την παραπάνω σχέση με την (Σ.2) λαμβάνουμε θ (1 + hc ) θ + E(t) dt. Απο αυτήν την εκτίμηση, επαγωγικά, συμπαιρένουμε ότι θ e () θ + E(t) dt n = 1,, N Τώρα, θ = y(a) Y(a) = y y = 0. Επίσης σύμφωνα με την εκτίμηση συνέπειας έχουμε Επομένως λαμβάνουμε τελικά από την οποία έπεται ότι ή ισοδύναμα E(t) dt Ch θ Ce () h y () (t) dt. y () (t) dt max θ Ce ()/ h max y(t ) Y(t ) Ce ()/ h y () (t) dt / y () (t) dt που είναι η επιθυμητή εκτίμηση του σφάλματος στους κόμβους. / Επιπλέον θα αποδείξουμε την σύγκλιση σε όλο το διάστημα [α, b] με όμοιο τρόπο όπως στην απόδειξη της ευστάθειας.
Κατ αρχάς γνωρίζουμε ότι sup θ(t) θ(t) dt. Συνδυάζοντας αυτή την εκτίμηση με την σχέση λαμβάνουμε (2L + 1) θ(t) dt sup θ(t) hc θ + hc E(t) dt θ + E(t) dt. Επομένως αν λάβουμε υπ όψιν μας την εκτίμηση του σφάλματος στους κόμβους που υπολογίσαμε παραπάνω καθώς και την εκτίμηση συνέπειας καταλήγουμε στο εξής : με κατάλληλη σταθερά C. Ε(t) dt Ch y () (t) dt sup [,] θ(t) C y () (t) dt/ h Τέλος απο γνωστό λήμμα γνωρίζουμε ότι sup ρ(t) Ch sup y () (t) όποτε καταλήγουμε στην εξής σχέση : sup [,] y(t) Υ(t) Ch που είναι η επιθυμητή εκτίμηση του σφάλματος σε όλο το διάστημα [α, b]. Σημειώνουμε επίσης ότι στην παραπάνω σχέση υποθέτουμε ότι η ακριβής λύση είναι q φορές συνεχώς παραγωγίσιμη στο διάστημα [α, b].
ΚΕΦΑΛΑΙΟ 5 ΥΠΑΡΞΗ ΚΑΙ ΜΟΝΑΔΙΚΟΤΗΤΑ Θα αποδείξουμε αρχικά ότι υπάρχουν οι προσεγγιστικές λύσεις της ασυνεχούς μεθόδου Galerkin, δηλαδή ότι η προσέγγιση Y S είναι όντως καλώς ορισμένη, και στη συνέχεια ότι είναι μοναδική. Έστω λοιπόν Υ, Ζ δύο λύσεις που ικανοποιούν την εξίσωση της ασυνεχούς μεθόδου τέτοιες ώστε Ζ = Y.Τότε για την διαφορά τους ζ = Y Z, όπως έχουμε αποδείξει στο κεφάλαιο της ευστάθειας, ισχύει ζ + ζ(t) dt Αφού τώρα ζ = Y Z = 0 έχουμε τελικά 2ζ ζ + 2L ζ(t) dt. 1 2L τ h ζ(t) dt 0. Για h < τ /(2L), ο συντελεστής στο αριστερό μέλος είναι θετικός και αμέσως συμπαιρένουμε ότι ζ = 0, δηλαδή ότι Y = Z. Για να αποδείξουμε ύπαρξη της λύσης θα χρησιμοποιήσουμε το θεώρημα σταθερού σημείου του Brouwer το οποίο μας λέει το εξής : Αν Κ είναι ένα μη κενό, κυρτό, κλειστό και φραγμένο υποσύνολο του R και f K K μια συνεχής συνάρτηση, τότε η f έχει στο Κ τουλάχιστον ένα σταθερό σημείο, δηλαδή x K τέτοιο ώστε f(x ) = x. Έστω λοιπόν w P (I ) και w P (I ) το πολυώνυμο παραμβολής της συνάρτησης hw(t)/(t t ) στα σημεία του Radau t,, i = 1,, q στο διάστημα [t, t ], t < t, < < t, = t. Θα προσπαθήσουμε να γράψουμε την εξίσωση της μεθόδου σε καταλληλότερη μορφή για τους σκοπούς μας γι αυτο εισάγουμε στον P (I ) το εσωτερικό γινόμενο ως u, w = u(t)w(t)dt u, w P (I ).
Ορίζουμε τώρα την απεικόνιση G: P (I ) P (I ) (Y. 1) G(u), w = u (t) ft, u(t) w(t)dt + (u Y )w, για κάθε u, w P (I ). Όμως το G(u) είναι πολυώνυμο βαθμού το πολύ q 1 άρα γράφεται στην μορφή G(u)(t) = a + a t + + a t και λαμβάνοντας υπ όψιν το γεγονός ότι ικανοποιείται η (Υ.1) για τις συναρτήσεις w (t) = t, j = 0,, q 1,οι οποίες αποτελούν βάση του P (I ), διαπιστώνουμε ότι το πρόβλημα (Υ.1) μπορεί να γραφεί ως γραμμικό σύστημα q εξισώσεων με q αγνώστους. Έχουμε επομένως ενα σύστημα ο πίνακας του οποίου είναι πίνακας του Gram για τις ανεξάρτητες συναρτήσεις w,, w, συνεπώς, αντιστρέψιμος. Αρα μπορούμε να γράψουμε την (Ε.1) ισοδύναμα στην μορφή G(Y) = 0. Αρκεί επομένως να βρούμε το σημείο Y το οποίο μηδενίζει την συνάρτηση.σύμφωνα με την (Y. 1), για u P (I ),έχουμε G(u), u = u (t)u(t)dt + u u ft, u(t)u(t)dt Y u. Όμως απο την (Ε.4) έχουμε (Y. 2) G(u), u 1 2 u + 1 2h u(t) dt ft, u(t)u(t)dt Y u. Χρησιμοποιώντας την συνθήκη Lipschitz και την ανισότητα των Cauchy-Schwarz έχουμε ft, u(t)u(t)dt = ft, u(t) f(t, 0)u(t)dt f(t, 0)u(t)dt L u(t) u(t) dt + f(t, 0) u(t) dt / u(t) dt / u(t) dt
/ + f(t, 0) dt / u(t) dt. Επομένως, σύμφωνα με την (Ε.6) και την αριθμητική-γεωμετρική ανισότητα, ft, u(t)u(t)dt L τ u(t) dt + 1 τ f(t, 0) dt / L + 1 u(t) dt + 1 f(t, 0) dt τ 4τ / u(t) dt L + 1 ft, u(t)u(t)dt u(t) dt 1 f(t, 0) dt. τ 4τ Απομένει να υπολογίσουμε τον τελευταιό όρο της (Υ.2). Προφανώς, Y u c Y + 1 4h u για οποιαδήποτε θετική σταθερά c, οπότε, σύμφωνα με την (Ε.5), Y u c Y + 1 4h u(t) dt Y u c Y 1 4h u(t) dt. Τώρα,σύμφωνα με τους παραπάνω υπολογισμούς, η (Υ.2) δίνει G(u), u 1 4h L + 1 u(t) dt c Y 1 f(t, 0) dt. τ 4τ Για h < τ /(4L + 4) ο συντελεστής του πρώτου όρου στο δεξιό μέλος είναι θετικός, οπότε για u με αρκετά μεγάλη νόρμα συμπεραίνουμε ότι G(u), u 0. Έχουμε επομένως,σύμφωνα με το θεώρημα σταθερού σημείου του Brouwer, την ύπαρξη ενος σημείου στο οποίο μηδενίζεται η G.
Βιβλιογραφία 1. ΑΡΙΘΜΗΤΙΚΕΣ ΜΕΘΟΔΟΙ ΓΙΑ ΣΥΝΗΘΕΙΣ ΔΙΑΦΟΡΙΚΕΣ ΕΞΙΣΩΣΕΙΣ, ΓΕΩΡΓΙΟΣ Δ. ΑΚΡΙΒΗΣ, ΒΑΣΙΛΕΙΟΣ Α. ΔΟΥΓΑΛΗΣ 2. ΕΙΣΑΓΩΓΗ ΣΤΗΝ ΑΡΙΘΜΗΤΙΚΗ ΑΝΑΛΥΣΗ, ΓΕΩΡΓΙΟΣ Δ. ΑΚΡΙΒΗΣ, ΒΑΣΙΛΕΙΟΣ Α. ΔΟΥΓΑΛΗΣ 3. Understanding and implementing the finite element, Mark S. Gockenbach