Κεφ. : Προσεγγιστικές λύσεις σε ελλειπτικά ΠΣΤ Στο παρόν κεφάλαιο θα περιγράψουμε τη κατασκευή της προσεγγιστικής λύσης πεπερασμένων στοιχείων για ελλειπτικά ΠΣΤ. Ξεκινούμε με τη μελέτη της μεθόδου σε αφηρημένη μορφή κάτι που θα μας βοηθήσει να δούμε πως από τη μεταβολική διατύπωση του προβλήματος θα κατασκευάσουμε τη προσεγγιστική λύση πεπερασμένων στοιχείων.. Η ΜΠΣ σε αφηρημένη μορφή Έστω το μεταβολικό πρόβλημα: να βρεθεί u V τέτοια ώστε (.) B( u, w) F( w) w V, το οποίο προκύπτει από τη διαδικασία που περιγράψαμε στην Ενότητα.. Ο V είναι χώρος Hilbert με νόρμα u V. Αντί για το (.), λύνουμε το εξής προσεγγιστικό πρόβλημα: να βρεθεί u V τέτοια ώστε (.) B( u, w) F( w) w V, όπου V V ένας πεπερασμένης διάστασης υπόχωρος του V, με dimv. Ας υποθέσουμε ότι το γραμμικά ανεξάρτητο σύνολο,..., αποτελεί μία βάση για τον V. Τότε, αφού u V ισχύει (.3) u, i i i όπου ξi σταθερές (που θα πρέπει να προσδιορίσουμε). Αντικαθιστώντας τη (.3) στη (.) παίρνουμε B i i, w F( w) w V, i το οποίο στη συνέχεια δίνει, αφού εκμεταλλευτούμε τις ιδιότητες της διγραμμικής μορφής, i B(, w) F( w) wv. i i
Επιλέγουμε w,,..., και αντικαθιστούμε στη πιο πάνω εξίσωση για να πάρουμε (.4) i B(, ) F( ),...,. i i Η εξίσωση (.4) δεν είναι τίποτα άλλο από το γραμμικό σύστημα εξισώσεων (για τις σταθερές ξi, i =,, ) b, όπου τα στοιχεία του πίνακα δίδονται από i, ( i, ),,,..., B i και τα στοιχεία του διανύσματος b δίδονται από i ( i ),,..., b F i. Ο Α καλείται πίνακας ακαμψίας (stiffness matrix) και το b καλείται διάνυσμα φορτίου (load vector). Λύνοντας το πιο πάνω γραμμικό σύστημα εξισώσεων, βρίσκουμε τις σταθερές ξi, i =,, και στη συνέχεια τη προσεγγιστική λύση πεπερασμένων στοιχείων u από την (.3). Αν το μεταβολικό πρόβλημα προκύπτει από μια ελλειπτική ΜΔΕ (όπως η (.)) και ισχύει η (.3), τότε, με w ii, i, έχουμε για τη διγραμμική μορφή (.6), i T B( w, w) Bii, ib( i, ). i i Η συνεκτικότητα της Β (εξ. (.3)) δίνει c w B( w, w), V που δείχνει ότι ο πίνακας Α είναι θετικά ορισμένος (positive definite). Αν, επιπλέον, η διγραμμική μορφή είναι συμμετρική, δηλ. B(u, w) = B(w, u) u, w V, τότε ο πίνακας Α θα είναι συμμετρικός και θετικά ορισμένος, άρα και αντιστρέψιμος. Η συμμετρική περίπτωση χρίζει περεταίρω μελέτης, αλλά πρώτα παραθέτουμε ένα σημαντικότατο αποτέλεσμα το οποίο καθιστά το πρώτο βήμα στη μελέτη του σφάλματος της ΜΠΣ. T Θεώρημα.: (Ceá s Lemma Βέλτιστη προσέγγιση/best approximation) Έστω u V η μοναδική λύση του μεταβολικού προβλήματος (.) και έστω u VΝ η λύση του διακριτού προβλήματος (.), με V VΝ. Τότε c, u u u w w V V V c όπου οι σταθερές c, c προέρχονται από τη συνεκτικότητα και συνέχεια της διγραμμικής μορφής Β(, ), αντίστοιχα.
3 Απόδειξη: Έχουμε και B( u, w) F( w) w V (άρα και w V ) B( u, w) F( w) w V. Αφαιρώντας τις δύο παίρνουμε τη λεγόμενη εξίσωση σφάλματος (error equation) (.5) B( u u, w) w V, η οποία καλείται επίσης και ορθογωνιότητα του Galerkin (Galerkin ortogonality). Λόγω της συνεκτικότητας της διγραμμικής μορφής Β, έχουμε με w V, c u u B( u u, u u ) B( u u, u u ) B( u u, u w) V B( u u, u w) c u u u w V V λόγω της (.5) όπου στο τελευταίο βήμα χρησιμοποιήσαμε τη συνέχεια της διγραμμικής μορφής. Το ζητούμενο προκύπτει από την πιο πάνω σχέση (με διαίρεση). Θα εστιάσουμε τη προσοχή μας τώρα στη περίπτωση που η διγραμμική μορφή είναι συμμετρική, δηλ. Τότε έχουμε τα εξής πλεονεκτήματα: B(u, w) = B(w, u) u, w V. Ο πίνακας ακαμψίας είναι συμμετρικός (και θετικά ορισμένος αν η Β είναι συνεκτική, και έτσι αντιστρέψιμος). Η διγραμμική μορφή Β αποτελεί εσωτερικό γινόμενο στο χώρο V αν ισχύει επιπλέον B( u, u) u V, u. Το εσωτερικό γινόμενο Β(, ) ορίζει νόρμα στον V, τη λεγόμενη νόρμα ενέργειας (energy norm), ως / u : B( u, u) u V, η οποία είναι ισοδύναμη με τη νορμα του χώρου V, σταθερές c, C τέτοιες ώστε c u u C u u V. V V, δηλ. υπάρχουν θετικές V (Για την ακρίβεια, c c, C c με c, c τις σταθερές που προέρχονται από τη συνεκτικότητα και συνέχεια της διγραμμικής μορφής.)
4 Τώρα, η εξίσωση σφάλματος (.5) μας δίνει (.6) u u u w w V που δείχνει ότι η u V είναι η ορθογώνια προβολή (ortogonal proection) της u V στον (υπό)χώρο V ως προς το εσωτερικό γινόμενο Β(, ), βλ. Σχ... Σχήμα.: Η u V και η ορθογώνια προβολής της u V. Θα βρούμε τώρα μια παράσταση για το σφάλμα u u. Έχουμε u u B( u u, u u ) B( u, u u ) B( u, u u ) B( u, u) B( u, u ) B( u u, u ) F( u) F( u ) B( u, u) B( u, u ) u u. λόγω της (.5) Το επόμενο αποτέλεσμα μας λέει ότι, στη συμμετρική περίπτωση, το μεταβολικό πρόβλημα είναι ισοδύναμο με ένα πρόβλημα βελτιστοποίησης. Λήμμα.: Έστω u V η μοναδική λύση του μεταβολικού προβλήματος (.) με Β μια συμμετρική διγραμμική μορφή. Τότε η u V είναι η μοναδική συνάρτηση που ελαχιστοποιεί τη λεγόμενη δυναμική ενέργεια J( w) B( w, w) F( w), w V. Απόδειξη: Έστω u V η μοναδική λύση του (.) και έστω w V. Θεωρούμε τη διαφορά
5 J ( w) J ( u) B( w, w) F( w) B( u, u) F( u) B( w, w) B( u, u) F( w u) B( w, w) B( u, u) B( u, w u) B( w, w) B( u, w) B( u, u) B( w, w) B( u, w) B( w, u) B( u, u) (, ). B w u w u Λόγω της συνεκτικότητας της διγραμμικής μορφής, ισχύει άρα που δείχνει ότι (, ) V B wu wu c w u, J( w) J( u) c wu J( w) J( u) w V, V δηλ. η u ελαχιστοποιεί το J στο χώρο V. Απομένει να δείξουμε τη μοναδικότητα της u. Έστω ότι u V και u V είναι και οι δύο ελαχιστοποιούσες συναρτήσεις για το J. Τότε J( w) J( u ) w V και J( w) J( u ) w V. Επιλέγοντας w = u V στη πρώτη ανισότητα και w = u V στη δεύτερη, δίνει Με άλλα λόγια δηλαδή, u = u. J( u ) J( u ). u u V, Ισχύει και το αντίθετο αποτέλεσμα, δηλ. αν η u ελαχιστοποιεί το J, τότε η u είναι η μοναδική λύση του (.), στη συμμετρική περίπτωση. Λήμμα.: Έστω u V η συνάρτηση που ελαχιστοποιεί τη δυναμική ενέργεια J( w) B( w, w) F( w), w V. Τότε η u είναι η μοναδική λύση του μεταβολικού προβλήματος (.), όταν η διγραμμική μορφή Β είναι συμμετρική. Απόδειξη: Έστω θ [, ]. Τότε v, w V
6 J( v) J( w) J ( ) v w ( ) B( v w, v w). Μια και B(v w, v w), έχουμε J( v) J( w) J ( ) v w. Επίσης, αφού η u V ελαχιστοποιεί τη δυναμική ενέργεια, ισχύει d J( u w). d Όμως, λόγω γραμμικότητας των B, F και λόγω συμμετρίας της Β, J ( u w) B( u w, u w) F( u w) B( w, w) B( u, w) B( u, u) F( u) F( w) και έτσι d J ( u w ) B ( w, w ) B ( u, w ) F ( w ) (, ) ( ) B u w F w. d Το ζητούμενο έπεται λόγω του ότι το πιο πάνω ισούται με μηδέν. Το μεταβολικό πρόβλημα (.) καλείται εξίσωση uler-lagrange για το πρόβλημα ελαχιστοποίησης. Κλείνουμε την παρούσα ενότητα σημειώνοντας ότι στόχος της ΜΠΣ είναι η επιλογή μιας ακολουθίας υπόχωρων V με V V... V έτσι ώστε όταν Ν να έχουμε uu. Ακόμα καλύτερα θα ήταν αν είχαμε u u ( ), με ( ) όταν Ν. Η συνάρτηση Φ(Ν) δίνει το ρυθμό σύγκλισης (convergence rate) της μεθόδου, π.χ. Φ(Ν) = Ν p, p =,, (αλγεβρική σύγκλιση τάξης p), Φ(Ν) = e (εκθετική σύγκλιση), κλπ. Η επιλογή του υπόχωρου V καθορίζει το ρυθμό σύγκλισης. Η διάσταση Ν του υπόχωρου συνήθως καλείται αριθμός βαθμών ελευθερίας (number of degrees of freedom).
7. Κατά-τμήματα γραμμικές συναρτήσεις βάσης Σε αυτή την ενότητα θα δούμε την απλούστερη περίπτωση επιλογής του υπόχωρου V για την προσέγγιση της λύσης μιας ης τάξης ελλειπτικής ΜΔΕ με ομοιογενείς ΣΣ Diriclet. Καλείται εκδοχή της ΜΠΣ με κατά-τμήματα γραμμικά πολυώνυμα τα οποία ορίζονται σε ένα πλέγμα (mes) που ορίζουμε στο χωρίο το αντιπροσωπεύει το λεγόμενο μήκος πλέγματος (mes widt) που το χαρακτηρίζει. Στη -διάσταση το πλέγμα αποτελείται από υποδιαστήματα, στις -διαστάσεις από τρίγωνα ή/και τετράπλευρα και στις 3-διαστάσεις το πλέγμα αποτελείται από τετράεδρα ή/και πεντάεδρα ή/και εξάεδρα. Στη ΜΠΣ με γραμμικά πολυώνυμα, προσεγγίζουμε τη λύση του μεταβολικού προβλήματος με κατά-τμήματα γραμμικά πολυώνυμα και εκλεπτύνοντας το πλέγμα ( ) επιτυγχάνουμε σύγκλιση (για ομαλές λύσεις). Ο βέλτιστος ρυθμός σύγκλισης που μπορούμε να αναμένουμε είναι της τάξης του. Αρχίζουμε με τη μελέτη στη -διάσταση... Γραμμικά Πεπερασμένα Στοιχεία στη -διάσταση Θεωρούμε το εξής ΠΣΤ: u( x) pu( x) f ( x), xi (,) (.7) u() u() όπου p > δοθείσα σταθερά και f L (I) δοθείσα συνάρτηση. Η μεταβολική μορφή είναι: να βρεθεί η u H I () τέτοια ώστε B( u, w) F( w) w H( I), όπου. (.8) B( u, w) u ( x) w ( x) pu( x) w( x) dx, F( w) f ( x) w( x) dx Το διακριτό πρόβλημα είναι: να βρεθεί η u V H I () τέτοια ώστε B( u, w) F( w) wv H ( I). Για να ορίσουμε τον υπόχωρο V, διαμελίζουμε το χωρίο/διάστημα I [,] σε Ν υποδιαστήματα [ xi, xi ], i,...,, τα λεγόμενα στοιχεία (elements) όπου x i, i,..., τα λεγόμενα κομβικά σημεία (nodal points), με = / το λεγόμενο i
8 μήκος πλέγματος (mes widt). Σημειώνουμε ότι επιλέγουμε ομοιόμορφο πλέγμα (uniform mes), δηλ. τα κομβικά σημεία είναι ισαπέχοντα, για ευκολία. (Βλ. Σχ.. πιο κάτω.) Θα μπορούσαμε να έχουμε ένα τυχαίο πλέγμα και τα βήματα για τη κατασκευή της λύσης πεπερασμένων στοιχείων που ακολουθούν είναι παρόμοια. Σχήμα.: To ομοιόμορφο πλέγμα για το [, ]. Ορίζουμε, χρησιμοποιώντας το πιο πάνω πλέγμα, τις εξής κατά-τμήματα γραμμικές συναρτήσεις, τις συναρτήσεις στέγης (at functions) όπως καλούνται, οι οποίες θα αποτελέσουν τις συναρτήσεις βάσης για τον υπόχωρο:, x xi, xi i ( x)., διαφορετικά Η γραφική παράσταση της φi(x) φαίνεται πιο κάτω. Σχήμα.3: Η συνάρτηση στέγης φ i(x) Εύκολα υπολογίζουμε (.9) ( x xi ) /, x xi, xi i ( x) ( x xi ) /, x xi, xi., διαφορετικά Προφανώς i ( x) H( I). Επίσης οι φi(x) είναι γραμμικώς ανεξάρτητες και supp ( ) [, ]. Άρα, ο χώρος V = span{φ,, φν} είναι ένας υπόχωρος του i x xi xi H () I με διάσταση Ν. Ακολουθώντας τη διαδικασία της Ενότητας., φθάνουμε στο γραμμικό σύστημα b,
9 όπου τα στοιχεία του πίνακα ( ) ( ) δίδονται από i, B( i, ), i,,..., και τα στοιχεία του διανύσματος b δίδονται από bi F( i ), i,...,, με Β τη διγραμμική μορφή και F το γραμμικό συναρτησιακό της εξ. (.8). Για τυχαία f, τα στοιχεία του διανύσματος φορτίου b F( ) f ( x) ( x) dx, i,..., i i i υπολογίζονται με αριθμητική ολοκλήρωση. Αν, όμως, f(x) = f, τότε xi xi i i xi b F( ) f ( x) dx f ( x) dx f ( x) dx i i i i i xi xi x i ( x x ) ( x x ) f dx f dx f. (Το άθροισμα των ολοκληρωμάτων ισούται με το εμβαδόν του τριγώνου, βλ. Σχ..3). Ας υπολογίσουμε τώρα τα στοιχεία του πίνακα ακαμψίας xi xi B(, ) ( x) ( x) p ( x) ( x) dx. i, i i i Λόγω του μικρού φορέα των φi (βλ. (.9)), ο πίνακας Α θα είναι τριδιαγώνιος αφού ( x) ( x) αν i (το ίδιο ισχύει και για τις παραγώγους τους). Επίσης, για i ευκολία, θέτουμε () () i, i i, i, έτσι ώστε ( x) ( x) dx, p ( x) ( x) dx. () () i, i, i, Ο καλείται συνήθως πίνακας μάζας (mass matrix). Ο () i, Έχουμε, για = i, i υπολογίζεται εύκολα αφού /, x x, xi ( x) /, x x, x, διαφορετικά i i i xi xi xi xi () i, i i i i i i i xi xi xi xi. ( x) ( x) dx ( x) ( x) dx ( x) ( x) dx / dx / dx / Για = i, xi xi () i, i i i i i xi xi ( x) ( x) dx ( x) ( x) dx (/ )( / ) dx / () και λόγω συμμετρίας,. Άρα i, i / () i,.
. () Με παρόμοιο τρόπο βρίσκουμε (βλ. Άσκηση.3) έτσι / 3 / 6 / 6 / 3 / 6 / 6 / 3 () / 3 / 6 / 6 / 3 p. / 6 / 6 / 3 Λύνοντας το σύστημα b παίρνουμε τις τιμές ξ, ξ,, ξν- οι οποίες αντιστοιχούν στις τιμές της u στα (εσωτερικά) κομβικά σημεία xi, i =,,. Αυτό προκύπτει από την (.3) και των ορισμό των φi : u ( x ) ( x ). i i i Η παρατήρηση αυτή είναι ιδιαίτερα χρήσιμη στη πράξη γιατί αφού λύσουμε το γραμμικό σύστημα και έχουμε τα ξi, τότε το γράφημα των σημείων (xi, ξi) = (xi, u(xi)) θα δώσει τη γραφική παράσταση της u. Υλοποιούμε τη πιο πάνω μέθοδο στη MATLAB, όπως φαίνεται στο πιο κάτω m-file, για σταθερά δεδομένα: function [error] = femd_eg(m,p,f) % function [error] = femd_eg(m,p,f) % % Tis function solves te BVP -u" + p u = f in (,) % wit u()=u()=, using te Galerkin FM wit % m+ subintervals and piecewise linear basis functions. % p > and f are constants. % % Α plot sowing te exact solution and % te computed solution, as well as a plot of te error at % te nodal points x, is automatically generated. % % Te output (if requested) gives te error in te energy norm
% between te exact and approximate solution. = /(m+); %Te stiffness matrix is % A = (/)*(diag(*ones(,m))-diag(ones(,m-),-)-diag(ones(,m-),)); %Te mass matrix is % A = *(diag((/3)*ones(,m))+diag((/6)*ones(,m-),- )+diag((/6)*ones(,m-),)); %Te global matrix is % A = A + p*a; %Te load vector is % b = f**ones(m,); %Te approximate solution is % u = A\b; energy = dot(u,b); u = [;u;]; %Te plots are obtained from x = linspace(,,m+); xx=linspace(,,); uex=@(t) exp(sqrt(p)*t)*f*(exp(-sqrt(p))-)/(p*(exp(sqrt(p))-exp(- sqrt(p))))-exp(-sqrt(p)*t)*f*(-+exp(sqrt(p)))/(p*(exp(sqrt(p))-exp(- sqrt(p))))+f/p; plot(x,u,'r',xx,uex(xx),'b') xlabel('x') ylabel('y') title('fm solution of -u"+p u = f in (,), u() = u() = ') legend('u_{}','u_{ex}') figure plot(x,abs(u'-uex(x)),'o-') xlabel('x') ylabel('y') title('rror at te nodes') x_energy=f^*(*p- *exp(sqrt(p))*p+p^(3/)*exp(sqrt(p))+p^(3/))/(p^(5/)*(exp(sqrt(p))+)) ; error=sqrt(abs(x_energy-energy))/sqrt(abs(x_energy)); %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Τρέχουμε το πιο πάνω m-file με τις τιμές m =, p =, f = 3, ως εξής: >> femd_eg(,,3)
Τα γραφήματα που παίρνουμε φαίνονται στο Σχήμα.4..35 FM solution of -u"+p u = f in (,), u() = u() = x -4 rror at te nodes u.3 u.5 3 y..5 y..5...3.4.5.6.7.8.9 x...3.4.5.6.7.8.9 x Σχήμα.4: Αριστερά: η ακριβής λύση και η λύση πεπερασμένων στοιχείων. Δεξία: το σφάλμα μεταξύ τους. Μπορούμε, επίσης, να μελετήσουμε τη σύγκλιση της μεθόδου, όταν το m (δηλ. όταν το ). Τρέχουμε το m-file για διάφορες τιμές του m (π.χ. m =, 4, 8, 6, 3, 64, 8, 56) και κάθε φορά καταγράφουμε το σφάλμα (που δίνει το m-file σαν δεδομένο εξόδου). Οι εντολές έχουν ως εξής. Πρώτα ορίζουμε τις τιμές για το m: >> m=.^[:8] m = 4 8 6 3 64 8 56 Μετά τρέχουμε το m-file για τις πιο πάνω τιμές >> for i=:lengt(m), error(i)=femd_eg(m(i),,3); end >> error error =.368.894.5.556.87.45.73.37 Βλέπουμε ότι όσο αυξάνεται το m το σφάλμα μειώνεται. Όμως με ποιο ρυθμό; Για να απαντήσουμε, θεωρούμε τα εξής: αναμένουμε το σφάλμα να είναι της τάξης Ο( k ), για κάποιο k, όπου = /m το μήκος πλέγματος. (Στη συγκεκριμένη περίπτωση των κατάτμήματα γραμμικών συναρτήσεων βάσης, αναμένουμε k =.) Δηλαδή, error C k, έτσι ώστε παίρνοντας λογάριθμους έχουμε ln ln C k ln. Για αρκετά μεγάλο m (δηλ. για αρκετά μικρό ), η πιο πάνω ανισότητα είναι (σχεδόν) ισότητα και αν κάνουμε τη
3 γραφική παράσταση του ln έναντι του ln, θα πάρουμε ευθεία γραμμή με κλίση k. (Η γραφική παράσταση του ln έναντι του ln m θα είναι ευθεία γραμμή με κλίση k.) Στη MATLAB η εντολή είναι loglog. Μπορούμε να μετρήσουμε τη κλίση της ευθείας, χρησιμοποιώντας τα δύο τελευταία σημεία, ως εξής: >> log(error(end)/error(end-))/log(m(end)/m(end-)) ans = -.9944 (Πράγματι, είναι σχεδόν.) Το γράφημα του σφάλματος φαίνεται πιο κάτω. >> loglog(m,error,'-o') >> xlabel('umber of subintervals, m') >> ylabel('relative rror in te nergy orm') >> gtext('slope \approx -') Relative rror in te nergy orm - - slope - -3 3 umber of subintervals, m Σχήμα.5: Σύγκλιση της μεθόδου... Γραμμικά Πεπερασμένα Στοιχεία στις - διαστάσεις Θα δούμε τώρα μια δισδιάστατη περίπτωση, όταν το χωρίο Ω είναι πολύγωνο και άρα μπορούμε να το καλύψουμε με ένα πλέγμα που αποτελείται από τρίγωνα, όπως φαίνεται στο Σχήμα.6.
4 Σχήμα.6: Τριγωνοποίηση πολυγωνικού χωρίου. Υποθέτουμε ότι η τομή δύο τριγώνων στο πλέγμα, είναι μια ολόκληρη πλευρά, ή μόνο μια κορυφή (των τριγώνων) ή το κενό σύνολο. Θέτουμε K το μήκος της μεγαλύτερης πλευράς του τριγώνου Κ στο πλέγμα και max K. Τα κομβικά σημεία του πλέγματος που K βρίσκονται στο εσωτερικό του Ω συμβολίζονται με κύκλους στο πιο πάνω σχήμα. Για κάθε εσωτερικό κομβικό σημείο, λοιπόν, ορίζουμε τη συνάρτηση βάσης φ, η οποία ισούνται με στο συγκεκριμένο κομβικό σημείο και με στα υπόλοιπα. Η φ είναι συνεχής στο και ο περιορισμός της στο κάθε τρίγωνο Κ του πλέγματος, είναι γραμμική συνάρτηση (δύο μεταβλητών), βλ. Σχήμα.7. Σχήμα.7: Η συνάρτηση στέγης φ στις -διαστάσεις, η οποία καλείται και συνάρτηση πυραμίδας. Υποθέτουμε ότι τα εσωτερικά κομβικά σημεία είναι αριθμημένα ως,,, Ν και έστω φ,, φν οι αντίστοιχες συναρτήσεις βάσης, οι οποίες είναι γραμμικώς ανεξάρτητες και αποτελούν μια βάση για ένα υπόχωρο V H ( ), διάστασης Ν. Θα περιγράψουμε τη διαδικασία κατασκευής της προσέγγισης πεπερασμένων στοιχείων u για το ΠΣΤ u f στο u στο
5 με f δοθείσα επαρκώς ομαλή συνάρτηση. Η μεταβολική μορφή είναι: να βρεθεί uh ( ) τέτοια ώστε B( u, w) F( w) wh ( ), όπου u w u w B( u, w) u wdxdy dxdy x x y y F( w) f ( x, y) w( x, y) dxdy. Το διακριτό πρόβλημα είναι: να βρεθεί B( u, w) F( w) w V H ( ) u V H ( ) τέτοια ώστε, με V span i i i,...,. Γράφοντας u ( x, y) U ( x, y) με Ui άγνωστους συντελεστές, και αντικαθιστώντας στο διακριτό πρόβλημα, παίρνουμε το γραμμικό σύστημα (για τα Ui): όπου AU b A dxdy dxdy i i i i i, i i, x x y y bi f ( x, y) ( x, y) dxdy. i Για να απλουστεύσουμε τα πράγματα, υποθέτουμε ότι = [, ] [, ] και ότι η τριγωνοποίηση γίνεται με ομοιόμορφο τρόπο, όπως φαίνεται στο Σχήμα.8, πιο κάτω. Σημειώνουμε ότι θα έχουμε (Ν ) εσωτερικά κομβικά σημεία (xi, y), i, =,,. Σχήμα.8: Ομοιόμορφη τριγωνοποίηση του = [, ] [, ].
6 Έστω φi η συνάρτηση βάσης που αντιστοιχεί στο εσωτερικό κομβικό σημείο (xi, y): ( x xi) / ( y y ) /, ( x, y) ( y y ) /,( x, y) ( x xi ) /,( x, y) 3 i ( x, y) ( x xi ) / ( y y ) /, ( x, y) 4 ( y y ) /,( x, y) 5 ( x xi ) /,( xy, ) 6, διαφορετικά όπου οι αριθμοί,, 6 αντιστοιχούν στα τρίγωνα του Σχήματος.9. Σχήμα.9: Τα τρίγωνα γύρω από το εσωτερικό κομβικό σημείο (x i, y ). Έχουμε /, ( x, y) /, ( x, y),( xy, ) /,( x, y) /,( x, y) 3,( xy, ) 3 i i /, ( x, y) 4, /, ( x, y) 4 x y,( xy, ) 5 /,( x, y) 5 /,( x, y) 6,( xy, ) 6, διαφορετικά, διαφορετικά άρα U dxdy 4 U U U U U, k,,..., i i i i i k k, k, k, k, i x x y y όπου γράψαμε u ( x, y) U ( x, y) και αντικαταστήσαμε στη διγραμμική μορφή. Το i i i γραμμικό σύστημα που πρέπει να λυθεί (για τα Ui) αντιστοιχεί στο
7 4 U U U U U f ( x, y) ( x, y) dxdy, k,,...,. k k, k, k, k, k Φυσικά, η αρίθμηση των Ui μπορεί να γίνει με διάφορους τρόπους. Ένας είναι ο λεγόμενος λεξικογραφικός, όπου η πρώτη γραμμή των Ui, δηλ. U,, παίρνει τις τιμές u,, u, η δεύτερη γραμμή τις υπόλοιπες uν,, u, κ.λ.π. Το τελικό (Ν ) (Ν ) γραμμικό σύστημα έχει σαν πίνακα συντελεστών τον D I I D, I I D ( ) ( ) όπου I ο ταυτοτικός πίνακας και D 4 4 D. 4 ( ) ( ) ο τριδιαγώνιος πίνακας Στη MATLAB υπάρχει εντολή βιβλιοθήκης για τον πιο πάνω πίνακα, την οποία θα δούμε για το εξής παράδειγμα: Να βρεθεί η u(x, y) έτσι ώστε u u, x (,) (,) x y u( x, y), ( x, y) Για πρακτικούς λόγους υποθέτουμε ότι έχουμε Ν + κομβικά σημεία (σε κάθε κατεύθυνση), άρα το μήκος πλέγματος είναι = /(+) και ο συνολικός αριθμός των εσωτερικών κομβικών σημείων είναι Ν. Για παράδειγμα, αν διαλέξουμε Ν =, τότε στη MATLAB γράφουμε >> =; >> =/(+); >> total=ν^; Η εντολή numgrid δημιουργεί το ζητούμενο ομοιόμορφο πλέγμα και δουλεύει ως εξής: >> elp numgrid UMGRID umber te grid points in a two dimensional region. G = UMGRID(RGIO,) numbers te points on an -by- grid in te subregion of -<=x<= and -<=y<= determined by RGIO.
8 SPY(UMGRID(RGIO,)) plots te points. DLSQ(UMGRID(RGIO,)) generates te 5-point discrete Laplacian. Te regions currently available are: 'S' - te entire square. 'L' - te L-saped domain made from 3/4 of te entire square. 'C' - like te 'L', but wit a quarter circle in te 4-t square. 'D' - te unit disc. 'A' - an annulus. 'H' - a eart-saped cardioid. 'B' - te exterior of a "Butterfly". '' - a nested dissection ordering of te square. Άρα για την περίπτωση μας, θα ορίσουμε το πλέγμα, ας πούμε grid, χρησιμοποιώντας την πιο πάνω εντολή με δεδομένα εισόδου το 'S' (για το τετράγωνο [, ] ) και το Ν +. >> grid=numgrid('s',+); Η εντολή delsq παίρνει σαν δεδομένο εισόδου το πλέγμα (δηλ. για μας το grid) και δίνει σαν δεδομένο εξόδου τον πίνακα ακαμψίας του προβλήματός μας. Άρα, γράφουμε >> A=delsq(grid); Τα στοιχεία του διανύσματος φορτίου ( ) b ισούνται με i (, ) i (, ) i(, ), b f x y x y dxdy x y dxdy μια και οι φi είναι οι συναρτήσεις στέγης (στις δύο διαστάσεις). Άρα, γράφουμε >> b = ^*ones(total,); >> ksi = A\b; Η λύση του συστήματος A b μας δίνει τις τιμές της προσεγγιστικής λύσης u στα (εσωτερικά) κομβικά σημεία. Σημειώστε ότι στα κομβικά σημεία που βρίσκονται στο σύνορο του Ω ξέρουμε ότι η λύση είναι μηδέν (από τις ΣΣ). Για να μπορέσουμε, όμως, να δούμε το γράφημα της u πρέπει να καταχωρήσουμε τις τιμές του σε ένα πίνακα του οποίου το στοιχείο στη θέση i, αντιστοιχεί με την τιμή της u στο κομβικό σημείο με συντεταγμένες (xi, y). Αυτό επιτυγχάνεται με τον εξής τρόπο: Αρχικά ορίζουμε ένα μηδενικό πίνακα μεγέθους (Ν + )(Ν + ) και μετά με διπλό βρόγχο (i, =,, ) καταχωρούμε την τιμή ( i ) στη θέση i+, + του πίνακα. Στη MATLAB γράφουμε
9 >> u=zeros(+, +); for i=: end for =: end uν(i+,+)=ksi(*(i-)+); Το μόνο που απομένει είναι η κατασκευή του γραφήματος της u, μέσω της εντολής surf: >> x=[-::]; >> y=[-::]; >> surf(x,y,uν) >> xlabel('x');ylabel('y');zlabel('u_').8.6 u.4..5 y -.5 - - -.5 x.5 Θα ήταν καλύτερα αν η πιο πάνω διαδικασία γραφτεί σε ένα m-file, όπως φαίνεται πιο κάτω: function [] = femdunif(n) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Finite element metod on a uniform triangular mes for % % -(u_xx+u_yy)= in (-,)^ % u= on boundary % % Compute and plot solution for a given number n of (internal) % subdivisions n (i.e. meswidt = /(n+)) in eac direction. % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% =/(n+); grid=numgrid('s',n+); A=delsq(grid); =n^; f=^*ones(,); U=A\f; % mes size % numerical grid on square 'S' % construction of te stiffness matrix % total number of interior nodes % construction of te load vector % F solution at interior points
% compute solution values over all grid points uν=zeros(n+,n+); for i=:n for =:n uν(i+,+)=u(n*(i-)+); end end % plot solution x=[-::]; y=[-::]; surf(x,y,uν) surf(x,y,uν) xlabel('x');ylabel('y');zlabel('u_') Τρέχουμε το m-file για n = 5 και παίρνουμε το πιο κάτω γράφημα. >> femdunif(5).8.6 u.4..5 y -.5 - - -.5 x.5.3 Εκτιμήσεις σφάλματος Στη συνέχεια θα αποδείξουμε τη σύγκλιση της ΜΠΣ για τα προβλήματα της προηγούμενης ενότητας, δείχνοντας ότι u u C, με C > σταθερά που δεν εξαρτάται από τις u, u. Τα βασικά βήματα έχουν ως εξής: Από το Θεώρημα. (Ceá s Lemma),
u u C u w w V που λέει ότι η λύση πεπερασμένων στοιχείων είναι η βέλτιστη προσέγγιση της u από το χώρο V. Επιλέγουμε τη w κατάλληλα, π.χ. w I pu το κατά-τμήματα βαθμού p πολυώνυμο παρεμβολής της u στα κομβικά σημεία του πλέγματος. Τότε, από τη θεωρία παρεμβολής έτσι ώστε p k ( p) u I pu C u k k,,,,, p ( p ) u u C u,. Αν ο όρος ( p ) u, είναι φραγμένος (από μια σταθερά), τότε έχουμε τη ζητούμενη εκτίμηση σφάλματος. Το κατά πόσο συμβαίνει αυτό εξαρτάται από τα δεδομένα του προβλήματος: στη -διάσταση εξαρτάται από τους συντελεστές και το δεξί μέλος της διαφορικής εξίσωσης, ενώ στις -διαστάσεις (και πάνω), το χωρίο παίζει καθοριστικό ρόλο στην ομαλότητα της λύσης και μπορεί να τύχει να έχουμε ομαλούς συντελεστές και δεξί μέλος, αλλά η λύση να μην είναι ομαλή λόγω του χωρίου (π.χ. αν περιέχει γωνίες). Θα επανέλουμε σε αυτό το σημείο αργότερα..3. Εκτίμηση σφάλματος στη -διάσταση Θεωρούμε το εξής ΠΣΤ (το οποίο είναι ελαφρώς πιο γενικό από το (.7)): να βρεθεί η u(x) τέτοια ώστε ( a( x) u( x)) b( x) u( x) f ( x), x I (, ) (.) u() u( ) όπου a(x), b(x) L (I), f(x) L (I) δοθείσες συναρτήσεις και δοθείσα θετική σταθερά. Υποθέτουμε ότι a(x), b(x) > για όλα τα x[, ]. Η μεταβολική μορφή του (.) είναι: να βρεθεί η u H I () τέτοια ώστε B( u, w) F( w) w H( I), όπου. (.) B( u, w) a( x) u ( x) w ( x) b( x) u( x) w( x) dx, F( w) f ( x) w( x) dx Το διακριτό πρόβλημα είναι: να βρεθεί η u V H I () τέτοια ώστε
B( u, w) F( w) wv H ( I). Ο υπόχωρος V είναι ο χώρος των κατά-τμήματα γραμμικών συναρτήσεων στο Ι και V,..., span, όπου φi οι συναρτήσεις στέγης (βλ. Ενότητα..), οι οποίες ορίζονται σε ένα πλέγμα του I [, ] με Ν υποδιαστήματα [ xi, xi ], i,...,, μήκους [ x x ]. Τότε (.) u u C u Iu όπου Ιu το κατά-τμήματα γραμμικό πολυώνυμο παρεμβολής της u στα κομβικά σημεία, δηλ. I u( x ) u( x ), i,...,. Θα αποδείξουμε τα εξής σφάλματα παρεμβολής: (.3) (.4) όπου max. Έστω i i u ( x) I u ( x) max u ( y), yi u( x) I u ( x) max u( y), 8 y I x x x x x I [ x, x ], ( x), ( x). Από το Θεώρημα του Taylor έχουμε, για k,, u( xk ) u( x) u( x)( xk x) u ( k )( xk x) για κάποιο I. Πολλαπλασιάζουμε με φk(x) και αθροίζουμε για k =, + : k k ( x) u( xk ) u( x) k ( x) u( x) k ( x)( xk x) k ( x) u ( k )( xk x). k k k k Ισχύουν τα εξής (βλ. Άσκηση.5): Επομένως, έχουμε k ( x), k ( x) xk x, k ( x) u( xk ) Iu( x). k k k (.5) και u( x) Iu ( x) u( k ) k ( x)( xk x) k u x I u x u x x x x x x. ( ) ( ) ( ) k k ( )( k ) k ( )( k ) k Τώρα, u( k ) max u( y) και ( x), ( x), άρα yi
3 u( x) I u ( x) max u ( y ) ( x )( x x ) ( x )( x x ) ( x )( x x ) ( x )( x x ) yi max u( y) x x x. yi x x Μια και x x x x, έχουμε και έτσι δείξαμε την (.3). Στη συνέχεια, έχουμε από την (.5) u( x) I u ( x) max u ( y) yi u x I u x u x x x x x, ( ) ( ) ( k ) k ( )( k k ) k που μας δίνει u( x) Iu ( x) max u( y) xkk( x) x. yi k * Έστω ( x) xkk( x) x. Τότε ( x) όταν x x x και αφού k * ( x ), η Ε(x) έχει μέγιστο στο και δείξαμε και την (.4). * x με * x ( ). Επομένως 4 u( x) Iu ( x) max u( y) yi 4 Επιστρέφοντας στη (.), βλέπουμε ότι u u C u Iu C u Iu u Iu, I C u( x) Iu( x) dx u( x) ( Iu) ( x) dx I I, I / / / C max u( y) Iu( y) dx max u( y) ( Iu) ( y) dx yi yi I I max ( ) ( ) max ( ) ( ) ( ) * C u y Iu y u y Iu y yi yi max ( ) max ( ) 8 max ( ) * C u y u y yi yi * C u y yi /
4 με * CC, σταθερές που δεν εξαρτώνται από την u ή το. Η πιο πάνω εκτίμηση σφάλματος λέει ότι αν max u( y) C τότε το σφάλμα της ΜΠΣ (στη νόρμα ενέργειας) yi τείνει στο με ρυθμό O() καθώς το. Υπό ποιες προυποθέσεις ισχύει max u( y) C ; Στη -διάσταση είναι αρκετό να έχουμε yi u L () I, το οποίο προκύπτει αν f L () I. Για να το δούμε αυτό, παρατηρούμε ότι από την (.), με w = u, παίρνουμε Άρα a ( x )( u ( x )) b ( x ) u ( x ) dx f ( x ) u ( x ) dx. / / u a( x)( u ( x)) b( x) u ( x) dx f ( x) u( x) dx f ( x) dx u( x) dx που δίνει ή Η διαφορική εξίσωση (.) γράφεται και ως (ανακαλούμε ότι a(x) > ) επομένως Δηλαδή, αν u C f, I u C f, u C f., I, I, I, I b( x) a( x) f ( x) u ( x) u( x) u( x), a( x) a( x) a( x) * u C u u f C f., I, I, I, I, I f L () I τότε u L () I (ή ισοδύναμα u H () I ). Η πιο πάνω σχέση καλείται εκτίμηση ελλειπτικής ομαλότητας (elliptic regularity estimate). Σε πιο πολλές διαστάσεις δεν είναι εύκολα επιτεύξιμη..3. Εκτίμηση σφάλματος στις -διαστάσεις Έστω Ω = (, )(, ) και θεωρούμε το ΠΣΤ της Ενότητας..: (.6) u f στο u στο, με f L ( ) δοθείσα συνάρτηση. Η μεταβολική μορφή είναι: να βρεθεί uh ( ) τέτοια ώστε
5 (.7) όπου B( u, w) F( w) wh ( ), u w u w B( u, w) u wdxdy dxdy, x x y y F( w) f ( x, y) w( x, y) dxdy. Το διακριτό πρόβλημα είναι: να βρεθεί u V H ( ) τέτοια ώστε (.8) με V span B( u, w) F( w) wv H ( ),,..., (βλ. Ενότητα..). Έχουμε το εξής αποτέλεσμα. Θεώρημα.: Έστω u η λύση του μεταβολικόυ προβλήματος (.7) και u V η λύση του διακριτού προβλήματος (.8). Αν u H ( ) H ( ) τότε όπου C > σταθερά ανεξάρτητη των u και. u u C u,, Απόδειξη: Από το Θεώρημα. (Ceá s Lemma), u u C u w w V. Επιλέγουμε w = Ιu, το συνεχές, κατά-τμήματα γραμμικό πολυώνυμο παρεμβολής της u στα κομβικά σημεία του πλέγματος, το οποίο δίδεται από I u( x, y) u( x, y ) ( x, y), i i i με φi(x, y) τη συνάρτηση πυραμίδας (βλ. Σχ..7) που αντιστοιχεί στο (εσωτερικό) κομβικό σημείο (xi, y). Εξ ορισμού, Iu(xk, yl) = u(xk, yl). Θεωρούμε (.8) όπου u I u u I u dxdy u I u dxdy x y u Iu dxdy u Iu dxdy x y αντιπροσωπεύει ένα τρίγωνο του πλέγματος, ας πούμε ( x, y) : x x x, y y y x x. i i i Ορίζουμε το λεγόμενο τρίγωνο/στοιχείο αναφοράς (reference triangle/element) T ( s, t) : s, t s
6 και τη γραμμική απεικόνιση ( x, y) ( s, t ) από το στο T, ως x x s, s, i y y t, t. Με u( s, t) : u( x, y) έχουμε (από το κανόνα της αλυσίδας) u u s u s u, x s x t x s u u s u s u. y s y t y t Η Ιακωβιανή της απεικόνισης είναι ( xy, ) x / s x / t J. ( st, ) y / s y / t Τώρα, παρατηρούμε ότι u I u dxdy u s t s t u su tu dsdt x s (, ) ( ) (,) (,) (,) Επομένως, K s s u( s, t) u(,) u(,) dsdt s u u( s, t) (,) d dsdt s s s s t s u u u( s, t) (, t) d u(, t) (,) d dsdt s s s s (.9) s u(, t) d d u(, ) dd dsdt st s s u(, t) d d ds dt u(, t) d d ds dt s st x y y i xi u u x xy xi y xi y ( x, y) dxdy ( x, y) dxdy. x y i u u u Iu dxdy ( x, y) ( x, y) dxdy. x x xy xi y Με εντελώς ανάλογο τρόπο βρίσκουμε (.) x y i u u u Iu dxdy ( x, y) ( x, y) dxdy. y y xy xi y Αντικαθιστώντας τις (.9), (.) στην (.8) παίρνουμε
7 που δίνει u u u u Iu 4 dxdy x xy y u Iu u,. Πόρισμα.: Κάτω από τις προϋποθέσεις του Θεωρήματος., Απόδειξη: Βλ. Άσκηση.6. u u C u.,, Το πιο πάνω πόρισμα μας λέει ότι το σφάλμα στην L νόρμα είναι της τάξης O(), όπως αυτό στη νόρμα ενέργειας (και στην H νόρμα). Αριθμητικά αποτελέσματα, όμως, εισηγούνται ότι αυτό μπορεί να βελτιωθεί, δηλ. η σύγκλιση της μεθόδου (στην L νόρμα) είναι γρηγορότερη από O(). Θα δείξουμε στη συνέχεια ότι το σφάλμα στην L νόρμα είναι της τάξης O( ), χρησιμοποιώντας το λεγόμενο δυικό επιχείρημα των Aubin-itsce (Aubin- itsce duality argument). Έστω w H ( ) H ( ), με Ω = (,) (,). Τότε w w w w w w, I x y x x y y. w dxdy dxdy dxdy dxdy Λόγω του ότι w = στο Ω, ολοκληρώνοντας κατά μέρη (στο δεύτερο ολοκλήρωμα) παίρνουμε επομένως w w w w w dxdy dxdy dxdy, x y xy xy xy w w w w dxdy u,., x xy y Τώρα, με g L (Ω) δοθείσα συνάρτηση, έστω wg H ( ) η ασθενής λύση του ΠΣΤ (.) Τότε, (.) w H ( ) H ( ) και g w g g στο. wg στο wg w, g g,,. Μετά από αυτή τη προετοιμασία, είμαστε έτοιμοι να αποδείξουμε ότι το σφάλμα στην L νόρμα είναι της τάξης O( ). Η ανισότητα Caucy-Scwarz δίνει
8 Άρα (.3) u u g u u g g L, ( ). uu,,, gl ( ) u u, g sup. g, Για g L (Ω), η συνάρτηση wg H ( ) είναι η λύση του μεταβολικού προβλήματος (.4) όπου B( w, w) F( w) wh ( ), g wg w wg w B( wg, w) dxdy, F( w) g( x, y) w( x, y) dxdy g, w. x x y y Το διακριτό πρόβλημα για το (.4) είναι: να βρεθεί w g V, τέτοια ώστε B( w, w) F( w) w V. g Ισχύει (όπως έχουμε δείξει) άρα, από την (.), w wg C w,, (.5) wwg C g,. Τώρα, u u, g g, u u F( u u ) B( w, u u ) B( u u, w ). g g Επίσης, μια και και έτσι w g V ισχύει B( u u, w ) u u, g B( u u, w ) B( u u, w ) g g B( u u, w w ) C u g,, g g g C u u w w g g όπου χρησιμοποιήσαμε την εξ. (.5) και το Πόρισμα.. Αντικαθιστώντας στην (.3) έχουμε u u, g C u g,,,, g g,, u u C u που δείχνει ότι το σφάλμα στην L νόρμα είναι της τάξης O( ).
9 Ασκήσεις:. Έστω ο χώρος πεπερασμένης διάστασης V ο οποίος ορίζεται ως V = { wc ([,]) : w είναι κατά-τμήματα γραμμικό πολυώνυμο στο [, ] και w()=w()=}. Να δείξετε ότι {φ, φ,, φm} αποτελούν βάση για τον V, όπου φi(x) οι συναρτήσεις στέγης οι οποίες ορίζονται σε ένα ομοιόμορφο πλέγμα του [, ] με m+ ίσα υποδιαστήματα.. Με I = [a, b], ορίζουμε το χώρο P3(I) = {w : w( x) a a x a x a x, x I 3 3 όπου i a }, δηλ. κάθε συνάρτηση w P3(I) είναι πολυώνυμο βαθμού 3 στο Ι. Να δείξετε ότι κάθε συνάρτηση w P () I 3 προσδιορίζεται από τις τιμές w(a), w ( a ), w(b) και w () b. (Δηλαδή, αν γνωρίζουμε αυτές τις τέσσερεις τιμές για μια συνάρτηση w(x) P3(I) τότε μπορούμε να την προσδιορίσουμε.) Να βρείτε, επίσης, τις αντίστοιχες συναρτήσεις βάσεως για το χώρο αυτό. (Για παράδειγμα, η συνάρτηση βάσεως που αντιστοιχεί στη τιμή w(a) είναι το πολυώνυμο 3 ου βαθμού για το οποίο ισχύουν w( a), w( a), w( b) w( b).).3 Έστω i x i ( ) m οι συναρτήσεις στέγης που ορίζονται σε ένα ομοιόμορφο πλέγμα του [, ], μήκους = /(m+). Να δείξετε ότι ο πίνακας Α () του οποίου τα στοιχεία ορίζονται ως δίδεται από () i, i x ( ) ( x) dx, / 3 / 6 / 6 / 3. / 6 / 6 / 3 ().4 Θεωρούμε το εξής Π.Σ.Τ.: u( x) 4 u( x), x I (,) u() u()
3 (α) Να βρεθεί η ακριβής λύση, uex(x), του πιο πάνω προβλήματος (με το χέρι ή με τη ΜAPL), όπως επίσης και το αντίστοιχο μεταβολικό πρόβλημα. (β) Χρησιμοποιώντας ένα ομοιόμορφο πλέγμα με m+ υποδιαστήματα, να βρείτε τη προσεγγιστική λύση του μεταβολικού προβλήματος με τη ΜΠΣ, για τις τιμές m = 4, 8, 6, όταν οι συναρτήσεις βάσεως είναι οι συναρτήσεις στέγης. Να κατασκευάσετε τη γραφική παράσταση των uex(x) και u(x) στους ίδιους άξονες μια για κάθε τιμή του m. (Εισήγηση: γράψτε ένα m-file για αυτό.) (γ) Τι είναι το σφάλμα e(x) = uex(x) - u(x) στα κομβικά σημεία? Να κατασκευάσετε τη γραφική παράσταση του σφάλματος μια για κάθε τιμή του m. (Εισήγηση: μπορείτε να χρησιμοποιήσετε το m-file σας για αυτό, αν γραφτεί κατάλληλα.) (δ) Πάρτε τώρα διάφορες τιμές του m (π.χ. m =, 4, 8, 6, 3, 64, 4) και λύστε το πρόβλημα, σημειώνοντας κάθε φορά το μέγιστο σφάλμα max e ( x ). (Αυτό μπορεί να γίνει αυτόματα μέσω του m-file σας). Στη συνέχεια, να κάνετε τη λογαριθμική γραφική παράσταση του σφάλματος έναντι του m και να υπολογίσετε την κλίση της ευθείας που θα πάρετε. Τι είναι αυτή η κλίση; Εξηγείστε. x.5 Θεωρούμε το εξής Π.Σ.Τ.: Με f(x) συνεχή συνάρτηση, να βρεθεί η u έτσι ώστε 4 du f ( x), x I (,) 4 dx u() u() u() u() Το πιο πάνω πρόβλημα παίρνει την εξής μεταβολική μορφή: Να βρεθεί η ώστε όπου u, v f, v v H ( I), u H I () έτσι u v u x v x dx u v H I w w w w L w w w w, : ( ) ( ), ( ) :,, (,) () () () ().
3 (α) Με τη βοήθεια της Άσκησης., να κατασκευάσετε ένα πεπερασμένης διάστασης υπόχωρο W του W ο οποίος αποτελείται από κατά τμήματα πολυώνυμα 3 ου βαθμού. Ξεκινάτε χωρίζοντας το διάστημα Ι = (, ) σε m + ίσα υποδιαστήματα I [ x, x ], =,, m, μήκους = /(m+) (άρα όπου P3(I) = {w : 3 x ). Ο χώρος W ορίζεται ως W w: w P I,,..., m και w() w() w() w(), I w( x) a a x a x a x, x I 3 3 όπου i a }. Στόχος σας είναι να βρείτε τις συναρτήσεις βάσεως για τον πιο πάνω χώρο. Πρώτα θα πρέπει να καθορίσετε κατάλληλες παραμέτρους που περιγράφουν τις συναρτήσεις του ης τάξης πρόβλημα που είδαμε αρχικά, είχαμε H, V span,..., W για παράδειγμα, για το όπου οι συναρτήσεις στέγης οι οποίες περιγράφονται από την τιμή τους στα κομβικά σημεία. Για τις συναρτήσεις βάσης του παράσταση των συναρτήσεων βάσης. W, θα χρειαστεί και δεύτερη τιμή. Να κάνετε, επίσης τη γραφική (Υπόδειξη: Ποιες τιμές χρειαστήκατε για τον καθορισμό των συναρτήσεων βάσης του Ρ3;) m (β) Να διατυπώσετε τη Μ.Π.Σ. για το πιο πάνω Π.Σ.Τ. χρησιμοποιώντας τον υπόχωρο και να βρείτε το σχετικό γραμμικό σύστημα εξισώσεων στη περίπτωση ομοιόμορφου πλέγματος με m υποδιαστήματα. W (γ) Έστω ότι το πλέγμα είναι ομοιόμορφο, και f(x) =. Αφού βρείτε την ακριβή λύση και την νόρμα ενέργειάς της, να γράψετε ένα MATLAB m-file, το οποίο να παίρνει σαν δεδομένο εισόδου το m (δηλ. = /(m + )) και να δίνει σαν δεδομένο εξόδου την νόρμα ενέργειας (στο τετράγωνο) της προσεγγιστικής λύσης του πιο πάνω διακριτού προβλήματος, όπως επίσης και τη γραφική παράσταση της ακριβούς λύσης και της προσεγγιστικής λύσης στους ίδιους άξονες. Να τρέξετε το m-file σας για τις τιμές m,,,...,7 και κάθε φορά να υπολογίζετε το τοις εκατό σχετικό σφάλμα u u / u. Στη συνέχεια, να κάνετε τη γραφική παράσταση του (τοις εκατό σχετικού) σφάλματος έναντι του m σε λογαριθμικούς άξονες (η εντολή στη MATLAB είναι loglog). Τι είναι η κλίση της ευθείας που πήρατε; Εξηγείστε.
3.6 Θεωρούμε το διάστημα Ι = [, ] το οποίο διαμερίζουμε σε m + υποδιαστήματα I ( x, x ) μήκους x x,,..., m. Έστω V ο (γραμμικός) χώρος όλων των ( x ) m κατά τμήματα πολυωνύμων ου βαθμού τα οποία είναι συνεχή στο Ι και έστω οι συναρτήσεις στέγης οι οποίες αποτελούν μια βάση για τον V. Για κάθε συνεχή συνάρτηση u, συμβολίζουμε το κατά τμήματα γραμμικό πολυώνυμο που παρεμβάλλει την u στα κομβικά x m σημεία, με u (δηλ. u( x ) u( x ),,..., m ). Να δειχτούν τα εξής: (α) m i( x) u( xi ) u( x) (β) i( x) xi x (γ) i (Υπόδειξη: Το πολυώνυμο παρεμβολής είναι μοναδικό.) m i m i ( x) i.7 Να αποδείξετε το Πόρισμα...8 Να τροποποιήσετε το MATLAB m-file femdunif.m (της Ενότητας.) έτσι ώστε, αντί για την γραφική παράσταση της προσεγγιστικής λύσης u F για την εξίσωση Poisson, να δίνει σαν δεδομένο εξόδου την νόρμα ενέργειας (στο τετράγωνο) της u F. Στη συνέχεια, να τρέξετε το m-file για n = 4, 8, 6,, 56 και να καταχωρήσετε τα αποτελέσματα σε ένα διάνυσμα. Έπειτα να βρείτε το τοις εκατό σφάλμα στη νόρμα ενέργειας (για όλα τα n), χρησιμοποιώντας σαν u.354453875457, και να κάνετε την γραφική XACT παράσταση του τοις εκατό σφάλματος έναντι του n σε λογαριθμική κλίμακα. Τι είναι η κλίση της ευθείας που παίρνετε και τι αντιπροσωπεύει;