ΚΕΦΑΛΑΙΟ 3 ΑΡΙΘΜΗΤΙΚΗ ΕΠΙΛΥΣΗ ΓΡΑΜΜΙΚΩΝ ΣΥΣΤΗΜΑΤΩΝ 3 Ο αλγόριθµος Gauss Eστω =,3,, µε τον όρο γραµµικά συστήµατα, εννοούµε συστήµατα εξισώσεων µε αγνώστους της µορφής: a x + + a x = b a x + + a x = b a x + + a x = b, (3) όπου x i, i =,,, είναι οι άγνωστοι όροι, α i,j, i,j =,, είναι οι συντελεστές των αγνώστων όρων και b i, i =,, είναι οι σταθεροί όροι To σύστηµα (3) µπορεί να γραφεί µε τη µορφή πινάκων ως εξής: όπου A x = B, a a A = a a είναι ο πίνακας των συντελεστών των αγνώστων, x x = x είναι ο πίνακας στήλη των αγνώστων και b b = b είναι ο πίνακας στήλη των σταθερών όρων 44
Είναι γνωστό από τη γραµµική άλγεβρα, ότι ικανές και αναγκαίες συνθήκες ώστε το σύστηµα (3) να έχει µοναδική λύση είναι οι ακόλουθες: O πίνακας Α είναι αντιστρέψιµος Η ορίζουσα του πίνακα Α είναι διάφορη του µηδενός Οι γραµµές ή οι στήλες του πίνακα Α είναι γραµµικά ανεξάρτητες Το αντίστοιχο οµογενές σύστηµα A x = 0 έχει ως µοναδική λύση την µηδενική Αν ένα σύστηµα έχει µοναδική λύση, τότε για τον προσδιορισµό αυτής υπενθυµίζουµε τον κανόνα του Cramer: ( i ) ( ),,,, Det A xi = i= Det A όπου Α i είναι ο πίνακας που προκύπτει, αν αντικαταστήσουµε την i- στήλη του πίνακα Α µε τη στήλη των σταθερών όρων Ενας άλλος τρόπος είναι: x A B =, όπου A είναι ο αντίστροφος του πίνακα Α Σηµειώνουµε όµως ότι και οι δύο παραπάνω τρόποι είναι υπολογιστικά ασύµφοροι Για την επίλυση µε τη µέθοδο Cramer απαιτούνται ( + )! + πολλαπλασιασµοί, ενώ για την επίλυση µε την εύρεση του αντιστρόφου πίνακα A, αναγόµαστε στην επίλυση ενός συστήµατος µε αγνώστους, ή ισοδύναµα στην επίλυση γραµµικών συστηµάτων µε τον ίδιο πίνακα Α και έναν πολλαπλασιασµό επί διάνυσµα Είναι σαφές ότι για µεγάλα = 00, 000 κλπ, το υπολογιστικό κόστος γίνεται απαγορευτικό Ο συνηθέστερος τρόπος επίλυσης των συστηµάτων αυτών, είναι ο αλγόριθµος του Gauss, ο οποίος περιγράφεται από τα ακόλουθα βήµατα: Βήµα ο : oρίζουµε τον επαυξηµένο πίνακα των συντελεστών και + : σταθερών όρων, διάστασης ( ) 45
A a a a b a a a b a a a b επ = Βήµα ο : Ξεκινώντας πάντοτε µε οδηγό στοιχείο το ο στοιχείο της κυρίας διαγωνίου, δηλαδή το α, εκτελούµε µία πράξη µεταξύ της ης γραµµής και κάθε µίας από τις επόµενες γραµµές, έτσι ώστε όλα τα στοιχεία κάτω από το οδηγό στοιχείο να µηδενίζονται Μετά το πέρας του βήµατος αυτού, ο νέος επαυξηµένος πίνακας θα έχει τη µορφή: A επ () a a a b () () () 0 a a b = () () () 0 a a b Ο παραπάνω πίνακας, προκύπτει από την πράξη (i =,,): (i γραµµή του ( ) a i ) = ( η γραµµή του Α επ ) + (i γραµµή του Α επ ) a Βήµα 3 ο : Συνεχίζουµε τη διαδικασία, ξεκινώντας τώρα µε οδηγό στοιχείο, δηλαδή το a, το ο στοιχείο της κυρίας διαγωνίου του πίνακα ( ) και εκτελούµε µία πράξη µεταξύ της ης γραµµής και κάθε µίας από τις επόµενες γραµµές, έτσι ώστε όλα τα στοιχεία κάτω από το οδηγό στοιχείο να µηδενίζονται Μετά το πέρας του βήµατος αυτού ο νέος επαυξηµένος πίνακας θα έχει τη µορφή: a a a3 a b () () () () 0 a a3 a b (3) (3) (3) Aεπ ( ) = 0 0 a33 a3 b 3 (3) (3) (3) 0 0 a3 a b Ο παραπάνω πίνακας, προκύπτει από την πράξη (i = 3,,): () 46
(i γραµµή του ( ) ) = () a i () a ( η γραµµή του ( ) ) + (i γραµµή του () ) Συνεχίζοντας µε τον ίδιο τρόπο µετά από βήµατα καταλήγουµε σε έναν επαυξηµένο πίνακα µε τριγωνική µορφή: a a a3 a b () () () () 0 a a3 a b (3) (3) (3) Aεπ ( ) = 0 0 a33 a3 b 3, ( ) ( ) 0 0 0 a b η οποία επιτρέπει να υπολογισθούν οι λύσεις µε τη διαδικασία της προς τα πίσω αντικατάστασης ηλαδή, από την εξίσωση: a x = b, ( ) ( ) υπολογίζουµε το x κλπ Αν συµβεί a = 0 και σύστηµα έχει άπειρες λύσεις, ενώ αν a = 0 και σύστηµα είναι αδύνατο b = 0, τότε το ( ) ( ) b 0, τότε το Απαιτούµενες πράξεις και µνήµη Στο ο βήµα της µεθόδου Gauss για τον υπολογισµό των στοιχείων a (), i, j =,, απαιτούνται (-)+(-) πράξεις Eύκολα βλέπουµε ότι ij στα (-) βήµατα της µεθόδου απαιτούνται: + = 3 πράξεις Επιπλέον χρειάζονται ( i) ( i) i= 3 ( ) + ( ) + + = ( ) πράξεις για τον υπολογισµό των b () i i, i=,, και σηµειώνουµε ότι κατά τη διαδικασία της προς τα πίσω οπισθοδρόµησης χρειάζονται 47
+ + + = ( + ) 3 + 3 πράξεις, δηλαδή συνολικά πράξεις, κόστος δηλαδή πολύ 3 µικρό σε σχέση µε το κόστος των!( ) πράξεων που απαιτούνται στον κανόνα του Cramer Oσον αφορά τη µνήµη, αρκεί να αποθηκεύσουµε τα στοιχεία του πίνακα A σε θέσεις µνήµης και τα στοιχεία του πίνακα b σε θέσεις µνήµης Επιπλέον µνήµη δεν χρειάζεται, διότι οι πολλαπλασιαστές i=,, (βλέπε βήµα ) θα a καταλάβουν τη θέση των στοιχείων a,,, j j = που θα γίνουν µηδενικά κλπ Παράδειγµα Να επιλυθεί µε τη µέθοδο Gauss το σύστηµα: 3 a i 9x+ 3x + 4x3 = 7 4x+ 3x + 4x3 = 8 x + x + x = 3 Λύση Ορίζουµε τον επαυξηµένο πίνακα: ο βήµα: 9 3 4 7 = 4 3 4 8 3 9 3 4 7 A () επ = 0 5/3 0/9 44/9, 0 /3 5/9 0/9 όπου η η γραµµή του πίνακα ( ) παραµένει αναλλοίωτη, ( η γραµµή του ( ) ) = (3 η γραµµή του ( ) ) = 4 ( η γραµµή του Α επ ) + ( η γραµµή του Α επ ), 9 ( η γραµµή του Α επ ) + (3 η γραµµή του Α επ ) 9 48
ο βήµα: 9 3 4 7 A ( ) επ = 0 5/3 0/9 44/9, 0 0 /3 /45 όπου οι πρώτες γραµµές του πίνακα ( ) παραµένουν αναλλοίωτες, (3 η γραµµή του ( ) ) = 5 ( η γραµµή του ( ) ) + (3 η γραµµή του ( ) ) Στη συνέχεια µε τη διαδικασία της προς τα πίσω οπισθοδρόµησης, υπολογίζουµε: /3 x = /45 x = 4/5 3 3 5/3 x + 0/9 x = 44/9 x = 4 3 9 x + 3 x + 4 x = 7 x = /5 3 Aλγόριθµος Gauss µε οδήγηση Στην παραπάνω διαδικασία, µπορεί να προκύψει πρόβληµα: είτε όταν το οδηγό στοιχείο σε κάποιο βήµα είναι το µηδέν, οπότε δεν είναι δυνατόν να διαγραφούν τα στοιχεία που βρίσκονται κάτω από αυτό, είτε όταν το οδηγό στοιχείο σε κάποιο βήµα έχει πολύ µικρή τιµή σε σχέση µε τους άλλους αριθµούς του επαυξηµένου πίνακα, οπότε δηµιουργούνται σφάλµατα Για το λόγο αυτό, πριν ξεκινήσουµε να εφαρµόζουµε τη µέθοδο του Gauss, θα πρέπει να ελέγχουµε αν υπάρχουν οι παραπάνω δυσλειτουργίες Το πρόβληµα επιλύεται µε αντιµετάθεση της γραµµής, της οποίας το οδηγό στοιχείο είναι πολύ µικρό ή µηδέν, µε µία άλλη γραµµή που δεν δηµιουργεί τέτοια προβλήµατα Θα ήταν ιδανικό, όλα τα στοιχεία κάτω από το οδηγό στοιχείο, να έχουν τιµές, µικρότερες κατ απόλυτο τιµή από αυτήν του οδηγού στοιχείου Για το λόγο αυτό ελέγχουµε την η στήλη του επαυξηµένου πίνακα, ώστε να βρούµε το µεγαλύτερο κατ απόλυτο τιµή στοιχείο και αντιµεταθέτουµε την η γραµµή µε τη γραµµή που περιέχει το συγκεκριµένο στοιχείο Στη συνέχεια µεταφερόµαστε στη η στήλη και ελέγχουµε όλα τα στοιχεία κάτω του οδηγού στοιχείου, ώστε να εντοπίσουµε το µεγαλύτερο κατ απόλυτο τιµή Τότε αντιµεταθέτουµε 49
όλη τη η γραµµή, µε τη γραµµή που περιέχει το συγκεκριµένο στοιχείο και συνεχίζουµε µε τον ίδιο τρόπο για να ελέγξουµε το 3 ο, 4 ο,, νιοστό οδηγό στοιχείο Το επιπλέον υπολογιστικό κόστος σε πράξεις είναι της τάξης και συνεπώς µικρό σε σχέση µε το συνολικό κόστος της τριγωνοποίησης Παράδειγµα Να επιλυθεί το σύστηµα 3x+ x 4x3 + x4 = 5x+ x + x3 x4 = 3 x+ 6x 3x3 4x4 = x + x 4x + x = 0 3 4 Λύση Επειδή max{ ai, : i=,,4} = 5, αντιµεταθέτουµε την η γραµµή µε την η και έχουµε: 5x+ x + x3 x4 3x+ x 4x3 + x4 = 3 = x+ 6x 3x3 4x4 = x + x 4x + x = 0 3 4 Επειδή max{ ai, : i=,,4} = 6, αντιµεταθέτουµε την 3 η γραµµή µε την η και έχουµε: 5x+ x + x3 x4 = 3 x+ 6x 3x3 4x4 = 3x+ x 4x3 + x4 = x + x 4x + x = 0 3 4 Επειδή max{ ai,3 : i= 3,,4} = 4, το σύστηµα παραµένει αναλλοίωτο Συνεχίζουµε µε τον ίδιο τρόπο, στη συνέχεια λύνουµε το σύστηµα µε τη µέθοδο απαλοιφής του Gauss όπως παραπάνω και βρίσκουµε: x = /0, x = 5/5, x 3 = 87/30, x 4 = 9/ 50
Εφαρµογή (υπολογισµός ορίζουσας) Να υπολογισθεί η ορίζουσα του πίνακα 9 3 4 A = 4 3 4 Λύση Είναι γνωστό ότι η ορίζουσα ενός τριγωνικού πίνακα ισούται µε το γινόµενο των στοιχείων της κυρίας διαγωνίου Μετασχηµατίζοντας τον πίνακα Α σε άνω τριγωνικό µε τη µέθοδο Gauss (βλέπε παράδειγµα ) προκύπτει ότι 9 3 4 5 Det( A) = Det 0 5/3 0/9 = 9 = 5 3 3 0 0 /3 Aλγόριθµος Gauss-Jorda Eίναι µία παραλλαγή της µεθόδου του Gauss Βήµα ο : oρίζουµε τον επαυξηµένο πίνακα των συντελεστών και + : σταθερών όρων, διάστασης ( ) A a a a b a a a b a a a b επ = Βήµα ο : Aκολουθούµε τη διαδικασία της µεθόδου Gauss, oπότε µετά το πέρας του βήµατος αυτού ο νέος επαυξηµένος πίνακας θα έχει τη µορφή: A επ () a a a b () () () 0 a a b = () () () 0 a a b Βήµα 3 ο : Συνεχίζουµε τη διαδικασία ξεκινώντας τώρα µε οδηγό στοιχείο το ο () στοιχείο της κυρίας διαγωνίου του πίνακα ( ), δηλαδή το a, και εκτελούµε µία πράξη µεταξύ της ης γραµµής και κάθε µίας από τις 5
υπόλοιπες γραµµές, έτσι ώστε όλα τα στοιχεία εκτός από το οδηγό στοιχείο να µηδενίζονται Μετά το πέρας του βήµατος αυτού ο νέος επαυξηµένος πίνακας θα έχει τη µορφή: () () () a 0 a3 a b () () () () 0 a a3 a b (3) (3) (3) Aεπ ( ) = 0 0 a33 a3 b 3 (3) (3) (3) 0 0 a3 a b Συνεχίζοντας µε τον ίδιο τρόπο µετά από βήµατα, καταλήγουµε σε έναν επαυξηµένο «διαγώνιο» πίνακα της µορφής: ( ) a 0 0 0 b () ( ) 0 a 0 0 b (3) ( ) Aεπ ( ) = 0 0 a33 0 b, 3 ( ) ( ) 0 0 0 a b o οποίoς επιτρέπει να υπολογισθούν οι λύσεις απευθείας από τις σχέσεις: a x = b () i ( ) ii i i Παράδειγµα 3 Να επιλυθεί µε τη µέθοδο Gauss-Jorda το σύστηµα: 9x + 3x + 4x = 7 3 4x + 3x + 4x = 8 3 x + x + x = 3 3 Λύση Ορίζουµε τον επαυξηµένο πίνακα: ο βήµα: 9 3 4 7 = 4 3 4 8 3 5
(βλέπε παράδειγµα ) ο βήµα: 9 3 4 7 A () επ = 0 5/3 0/9 44/9, 0 /3 5/9 0/9 9 0 0 9/5 = 0 5/3 0/9 44/9, 0 0 /3 /45 ( ) όπου η η γραµµή του πίνακα ( ) παραµένει αναλλοίωτη και ( η γραµµή του ( ) ) = (3 η γραµµή του ( ) ) = 3 ο βήµα: ( ) 9 5 ( η γραµµή του ( ) ) + ( η γραµµή του ( ) 5 ) ( η γραµµή του ( ) ) + (3 η γραµµή του ( ) 9 0 0 9/5 = 0 5/3 0 60/9, 0 0 /3 /45 όπου η 3 η γραµµή του πίνακα ( ) παραµένει αναλλοίωτη και ) ( η γραµµή του ( ) ) = 0 3 (3η γραµµή του ( ) ) + ( η γραµµή του ( ) ) Στη συνέχεια υπολογίζουµε απευθείας: /3 x = /45 x = 4/5 3 3 5/3 x = 60/9 x = 4 9 x = 9/5 x = /5 53
Εφαρµογή (υπολογισµός αντίστροφου πίνακα) Να υπολογισθεί ο αντίστροφος του πίνακα 9 3 4 A = 4 3 4 Λύση Θεωρούµε τον επαυξηµένο πίνακα ( ) 9 3 4 0 0, 0 0 επ = 3 = 4 3 4 0 0 A A I όπου Ι 3 είναι ο µοναδιαίος πίνακας 3 3 Με τη µέθοδο Gauss-Jorda µετασχηµατίζουµε τον επαυξηµένο πίνακα µετά από 3 βήµατα στη µορφή () a 0 0 b b b 3 () Aεπ (3) = ( D3 B) = 0 a 0 b b b3, (3) 0 0 a33 b3 b3 b 33 όπου D 3 είναι ένας διαγώνιος πίνακας διάστασης 3 3 Τότε αν A = ( c ij ) i j =, έχουµε:,,3 c ij b = a ij () i ii Πράγµατι έχουµε: 9 3 4 0 0 () = 0 5/3 0/9 4/9 0, ( ο βήµα) 0 /3 5/9 /9 0 9 0 0 9/5 9/5 0 () = 0 5/3 0/9 4/9 0, ( ο βήµα) 0 0 /3 /5 /5 54
9 0 0 9/5 9/5 0 (3) = 0 5/3 0 0 5/3 0/3 0 0 /3 /5 /5 (3 ο βήµα) ιαιρούµε όλα τα στοιχεία της i- γραµµής του πίνακα εκ δεξιών της διακεκκοµένης γραµµής µε το µη µηδενικό στοιχείο της i- γραµµής του διαγώνιου πίνακα και παίρνουµε: A /5 /5 0 = 0 4 /5 6/5 3 3 είκτης κατάστασης πίνακα Μία κατηγορία συστηµάτων που παρουσιάζουν ενδιαφέρον είναι τα λεγόµενα ασταθή ή κακώς ορισµένα Ένα τέτοιο παράδειγµα είναι το σύστηµα x+ x =, x + 3999x = 400 το οποίο έχει µοναδική λύση x = 4, x = - To ελάχιστα διαφορετικό σύστηµα x+ x = x + 400x = 400 έχει την τελείως διαφορετική µοναδική λύση x = 0, x = Τέτοια συστήµατα που είναι πολύ ευαίσθητα στις αλλαγές των δεδοµένων τους, καλούνται ασταθή ή κακώς ορισµένα και η επίλυσή τους µε αριθµητικές µεθόδους θα πρέπει να γίνεται µε ιδιαίτερη προσοχή και έµφαση στον περιορισµό των σφαλµάτων στρογγύλευσης Ένα χρήσιµο εργαλείο διερεύνησης της ευστάθειας ή αστάθειας ενός πίνακα είναι ο δείκτης κατάστασης πίνακα, για τον ορισµό του οποίου απαιτείται προηγουµένως να ορισθεί η έννοιας της νόρµας πινάκων 55
Oρισµός 3 Εστω Χ ένας διανυσµατικός χώρος πάνω από το σύνολο R ή C των πραγµατικών ή µιγαδικών αριθµών αντίστοιχα Eστω Κ = R ή C Μία απεικόνιση: καλείται νόρµα, αν ισχύουν: x = 0 x= 0, + : X R, x x λ x = λ x για κάθε λ Κ, Για κάθε x,y X, x+ y x + y Από τα παραπάνω, φαίνεται ότι η νόρµα παίζει το ρόλο της απόλυτης τιµής σε διανυσµατικούς χώρους Παραδείγµατα: Θεωρούµε το διανυσµατικό χώρο R = {x: x = (x,,x )}, τότε οι ακόλουθες είναι νόρµες του R : x = max{ xi, i=,, N} (νόρµα µεγίστου) x = x ( l νόρµα) 3 x i i= / = x i i= ( l νόρµα ή ευκλείδια νόρµα), Εστω R είναι ο διανυσµατικός χώρος των πραγµατικών πινάκων, διάστασης, τότε µία απεικόνιση : R R + που πληροί τα αξιώµατα του ορισµού 3 και επιπλέον A B A B για κάθε AB, R,, καλείται νόρµα πινάκων Oρισµός 3 Εστω µία νόρµα στο χώρο R, η απεικόνιση:, : R R +, A = sup x R Ax x καλείται φυσική νόρµα πινάκων 56
Παραδείγµατα: Θεωρούµε στο χώρο R τη νόρµα µεγίστου x, τότε η παραγόµενη, από την x φυσική νόρµα στον R είναι η εξής: A = max a i j= ij Θεωρούµε στο χώρο R την l -νόρµα x, τότε η παραγόµενη από την x φυσική νόρµα στον, R είναι η εξής: A = max a j i= ij 3 Θεωρούµε στο χώρο R την l -νόρµα x και έστω ρ(α) είναι η φασµατική ακτίνα του πίνακα Α, που ορίζεται ως το µέγιστο των απολύτων τιµών των ιδιοτιµών του πίνακα Α, τότε η παραγόµενη από, την x φυσική νόρµα στον R είναι η εξής: A T ( ρ ( A A) ) / =, όπου Α Τ είναι ο ανάστροφος του πίνακα Α Επιστρέφουµε τώρα στο πρόβληµα της κατάστασης των γραµµικών συστηµάτων, δηλαδή στη µελέτη της ευαισθησίας των λύσεων του συστήµατος A x = b, σε διαταραχές των δεδοµένων A R και b R Ας αφήσουµε προς στιγµήν τον πίνακα Α σταθερό και ας µεταβάλλουµε το διάνυσµα στήλη b, τότε αν x + x είναι η λύση του διαταραγµένου συστήµατος, έχουµε: ( ) A x+ x = b+ b A x = b x= A b, άρα: = x A b A b 57
και εφόσον A b = A x A x x b, από το συνδυασµό των παραπάνω ανισοτήτων προκύπτει ότι: x x b A A ρ A A b x ρ b όπου ρ x, ρ b τα αντίστοιχα σχετικά σφάλµατα Η ποσότητα κ ( A) = A A είναι ένας συντελεστής ευαισθησίας που προσδιορίζει τη µέγιστη δυνατή µεταβολή του σχετικού σφάλµατος των αποτελεσµάτων σε σχέση µε το σχετικό σφάλµα δεδοµένων και καλείται δείκτης κατάστασης πίνακα Α, είναι δε πάντα µεγαλύτερος της µονάδας Αν κ ( A) >>, τότε λέµε ότι το πρόβληµα είναι σε κακή κατάσταση Προφανώς ο δείκτης κατάστασης ορίζεται µόνον για αντιστρέψιµους πίνακες Αν ο πίνακας Α τείνει να γίνει µη αντιστρέψιµος, τότε ο δείκτης κατάστασης αυτού τείνει στο άπειρο Ο δείκτης κατάστασης κ ( A) καθορίζει επίσης και το πώς διαταραχές του πίνακα Α επηρεάζουν τη λύση Θεώρηµα 3 (i) αν ( A + A) ( x+ x) = b και αν A A <, τότε ο πίνακας A + A είναι αντιστρέψιµος και ισχύει: ρ x κ ( A) ρ A A A (ii) αν ( A + A) ( x+ x) = b+ b και αν A πίνακας A + A είναι αντιστρέψιµος και ισχύει: κ ( A) ρ ρ + ρ A A ( ) x A b A <, τότε ο 58
33 Eπαναληπτικές µέθοδοι επίλυσης συστηµάτων Στην παράγραφο αυτή θα ασχοληθούµε µε την αριθµητική επίλυση γραµµικών συστηµάτων µε τις λεγόµενες επαναληπτικές µεθόδους, όπου ξεκινώντας από µία αυθαίρετη προσέγγιση της λύσης του συστήµατος, κατασκευάζουµε µια ακολουθία διαδοχικών προσεγγίσεων της λύσης, η οποία υπό προϋποθέσεις συγκλίνει στην πραγµατική λύση Μέθοδος Jacobi Θεωρούµε το σύστηµα (3) και λύνουµε την i-εξίσωση ως προς τον άγνωστο x i, οπότε: i xi = bi aijxj aijxj, i=,, a ii j= j= i+ Για τυχαία δεδοµένη αρχική τιµή x (0) ( x (0) (0) (0), x,, x ) =, η αναδροµική ακολουθία για τον υπολογισµό της λύσης του συστήµατος είναι η ακόλουθη: ( ) i m+ ( m) ( m) xi = bi ax ij j ax ij j, i, =,,, m=, a ii j= j= i+ Μέθοδος Gauss-Seidel (3) Θεωρούµε το σύστηµα (3) και λύνουµε την i-εξίσωση ως προς τον άγνωστο x i, οπότε: i xi = bi aijxj aijxj, i=,, a ii j= j= i+ Για τυχαία δεδοµένη αρχική τιµή x (0) ( x (0) (0) (0), x,, x ) =, η αναδροµική ακολουθία για τον υπολογισµό της λύσης του συστήµατος είναι η ακόλουθη: ( ) i m+ ( m+ ) ( m) xi = bi ax ij j ax ij j, i, =,,, m=, a ii j= j= i+ (33) 59
H διαφορά από τη µέθοδο Jacobi είναι, ότι για τον υπολογισµό της ( m ) συνιστώσας x + i χρησιµοποιούµε τις ήδη υπολογισθείσες τιµές ( m+ ) ( m+ ) ( m+ ) x, x,, x i της ίδιας γενιάς Για τη σύγκλιση των δύο µεθόδων ισχύει το ακόλουθο: Θεώρηµα 33 Εστω ότι ο πίνακας Α των συντελεστών των αγνώστων ενός γραµµικού συστήµατος έχει κυριαρχική διαγώνιο, δηλαδή: aii aij, i, j =,,, j= j i τότε οι µέθοδοι Jacobi και Gauss-Seidel συγκλίνουν Παράδειγµα 4 Να επιλυθεί µε τη µέθοδο Jacobi το σύστηµα: 8x + x + x = 0 3 x + 8x + x = 0, 3 x + x + 8x = 0 3 µε ακρίβεια δεκαδικών ψηφίων Λύση Παρατηρούµε ότι ο πίνακας των συντελεστών των αγνώστων έχει κυριαρχική διαγώνιο Πράγµατι: 8 = aii aij =, j= j i άρα η µέθοδος Jacobi συγκλίνει για κάθε αρχική τιµή της λύσης (0) (0) (0) (0) Θεωρούµε αυθαίρετα ότι x = ( x, x, x ) = (0,0,0), τότε υπολογίζουµε µία νέα προσέγγιση της λύσης σχέση (3) για m = 0 : 3 () () () () x x x x3 = (,, ) από την 60
() 0 (0) (0) x = x x3 = 5 () 0 (0) (0) x = x x = 5, () 0 (0) (0) x3 = x x = 5 () () () () άρα: x = ( x, x, x3 ) = (5,5,5) Συνεχίζουµε για m = και παίρνουµε: () 0 () () x = x x3 = 09375 () 0 () () x = x x = 09375, () 0 () () x3 = x x = 09375 () () () () άρα: x = ( x, x, x3 ) = (09375,09375,09375) Συνεχίζουµε για m = και παίρνουµε (3) 0 () () x = x x3 = 0565 (3) 0 () () x = x x = 0565, (3) 0 () () x3 = x x = 0565 (3) (3) (3) (3) άρα: x = ( x, x, x3 ) = (0565,0565,0565) Συνεχίζοντας υπολογίζουµε ότι στην 4 η επανάληψη έχουµε ότι x = ( x, x, x ) = (099609375,099609375,099609375), (4) (4) (4) (4) 3 ενώ στην 5 η επανάληψη έχουµε ότι x = ( x, x, x ) = (0009766,0009766,0009766) (5) (5) (5) (5) 3 Σταµατάµε στην 5 η επανάληψη διότι 6
(5) (4) 0009766 099609375 0005 x x = Παράδειγµα 5 Να επιλυθεί µε τη µέθοδο Gauss-Seidel το σύστηµα: 8x + x + x = 0 3 x + 8x + x = 0, 3 x + x + 8x = 0 3 µε ακρίβεια δεκαδικών ψηφίων µεταξύ διαδοχικών λύσεων Λύση Παρατηρούµε ότι ο πίνακας των συντελεστών των αγνώστων έχει κυριαρχική διαγώνιο Πράγµατι: 8 = aii aij =, j= j i άρα η µέθοδος Gauss-Seidel συγκλίνει για κάθε αρχική τιµή της λύσης (0) (0) (0) (0) Θεωρούµε αυθαίρετα ότι x = ( x, x, x ) = (0,0,0), τότε υπολογίζουµε µία νέα προσέγγιση της λύσης σχέση (33) για m = 0 : 3 () () () () x x x x3 = (,, ) από την () 0 (0) (0) x = x x3 = 5 () 0 () (0) x = x x = 09375, () 0 () () x3 = x x = 095703 () () () () άρα: x = ( x, x, x3 ) = (5,09375,095703) Συνεχίζουµε για m = και παίρνουµε: () 0 () () x = x x3 = 099365 () 0 () () x = x x = 006646, () 0 () () x3 = x x = 00009 6
() () () () άρα: x = ( x, x, x3 ) = (099365,006646,00009) Συνεχίζουµε για m = και παίρνουµε (3) 0 () () x = x x3 = 099966 (3) 0 (3) () x = x x = 0000938, (3) 0 (3) (3) x3 = x x = 0000849 (3) (3) (3) (3) άρα: x = ( x, x, x3 ) = (099966,0000938,0000849) Συνεχίζοντ ας, υπολογίζουµε ότι στην 4 η επανάληψη έχουµε ότι x = ( x, x, x ) = (0999978,0999998,0000037), (4) (4) (4) (4) 3 όπου και σταµατάµε διότι: (4) (3) 0005 x x ΑΛΥΤΕΣ ΑΣΚΗΣΕΙΣ Να επιλυθούν µε τη µέθοδο Gauss-Jorda τα συστήµατα εξισώσεων: x 3x + x3 = x 5x + x3 = ( a) 3x+ x x3 =, (b) x+ 4x + x3 = x x x = x + x + x = 0 3 3, Επίσης να υπολογισθούν οι ορίζουσες του πίνακα των συντελεστών των αγνώστων των δύο συστηµάτων καθώς επίσης και ο αντίστροφος πίνακας Απάντ (α) x = 4/7, x = -/4, x 3 = -5/4 (b) x =, x = -/3, x 3 = -5/3 Για τον υπολογισµό της ορίζουσας βλέπε εφαρµογή (α) Det(A) = -4 (b) Det(A) = 6 63
Για τον υπολογισµό του αντίστροφου πίνακα βλέπε εφαρµογή /7 /7 /7 / 3/ = = /7 /4 /4 /3 7/3 ( a) A /7 3/4 5/4, ( b) A /6 0 /6 Να επιλυθoύν µε τη µέθοδο Jacobi τα συστήµατα: 3x + x = / 5x + x 3 = 3 3 x 4x x =, x 4x x =, 3 3 x + x + 3x = x + x + 3x = 3 3 έτσι ώστε το σφάλµα µεταξύ δύο διαδοχικών προσεγγίσεων να είναι µικρότερο του 0 Oι πράξεις να γίνουν µε στρογγυλοποίηση στο 6 δεκαδικό ψηφίο Απάντ: (βλέπε παράδειγµα 4) (α) Χρειαζόµαστε 5 επαναλήψεις Τότε και (6) x = (-0754, -004938, -055984) (5) (4) x x 0086934 (β) Χρειαζόµαστε 4 επαναλήψεις Τότε και (4) x = (-08333, -05897, -0077) (4) (3) x x 00647 3 Να επιλυθoύν µε τη µέθοδο Gauss-Seidel τα συστήµατα: 3x + x = / 5x + x 3 = 3 3 x 4x x =, x 4x x =, 3 3 x + x + 3x = x + x + 3x = 3 3 έτσι ώστε το σφάλµα µεταξύ δύο διαδοχικών προσεγγίσεων να είναι µικρότερο του 0 Oι πράξεις να γίνουν µε στρογγυλοποίηση στο 6 δεκαδικό ψηφίο 64
Απάντ: (βλέπε παράδειγµα 5) (α) Χρειαζόµαστε 3 επαναλήψεις Τότε και (3) x = (-0963, -0064848, -0574074) (3) () x x 0037037 (β) Χρειαζόµαστε επαναλήψεις Τότε και () x = (-08, -063333, -003) () () x x 008 3 Προσδιορίστε τις νόρµες,, των πινάκων: 0 3 A= 0, B= 3 4 0 4 Προσδιορίστε το δείκτη κατάστασης του πίνακα: 078 0563 A = 093 0659 5 Eστω A x= b η ακριβής λύση ενός συστήµατος (Α αντιστρέψιµος) και x µία προσεγγιστική λύση, ώστε r = A x b να είναι το υπόλοιπο Να δείξετε ότι για κάθε νόρµα πινάκων ισχύει: x x κ ( A) r, x b όπου κ(α) είναι ο δείκτης κατάστασης πίνακα Α 65