Υπολογισμός του πίνακα A n, n Z Νίκος Χαλιδιάς Τμήμα Στατιστικής και Αναλογιστικών - Χρηματοοικονομικών Μαθηματικών Πανεπιστήμιο Αιγαίου

Σχετικά έγγραφα
Εύρεση της n-οστής δύναμης ενός πίνακα εϕαρμόζοντας το θεώρημα των Cayley-Hamilton

Εύρεση της n-οστής δύναμης ενός πίνακα εφαρμόζοντας το θεώρημα των Cayley-Hamilton

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

Νικος Χαλιδιας Μαθηματικό Τμήμα κατεύθυνση Στατιστικής και Αναλογιστικών-Χρηματοοικονομικών Μαθηματικών Πανεπιστημιο Αιγαιου

Διαγωνοποίηση μητρών. Στοιχεία Γραμμικής Άλγεβρας

Κεφάλαιο 6 Ιδιοτιμές και Ιδιοδιανύσματα

Παραδείγματα Ιδιοτιμές Ιδιοδιανύσματα

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

ΧΑΡΑΚΤΗΡΙΣΤΙΚΟ ΠΟΛΥΩΝΥΜΟ ΠΙΝΑΚΑ: Έστω Α ένας n nπίνακας επί ενός σώματος F. Για χ στο F, ορίζεται το πολυώνυμο ( ως προς χ ) : h ( x) = det( A- xi ).

= 7. Στο σημείο αυτό θα υπενθυμίσουμε κάποιες βασικές ιδιότητες του μετασχηματισμού Laplace, δηλαδή τις

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ (ΗΥ-119)

b. Για κάθε θετικό ακέραιο m και για κάθε A. , υπάρχουν άπειρα το πλήθος πολυώνυμα ( x) [ x] m και ( A) 0.

8.1 Διαγωνοποίηση πίνακα

Εφαρμοσμένα Μαθηματικά ΙΙ Τελική Εξέταση 19/6/2018 Διδάσκων: Ι. Λυχναρόπουλος

Γραμμική Άλγεβρα Ι,

ΠΡΟΓΡΑΜΜΑ ΣΠΟΥΔΩΝ ΣΤΗΝ ΠΛΗΡΟΦΟΡΙΚΗ ΜΑΘΗΜΑΤΙΚΑ Ι (ΘΕ ΠΛΗ 12) ΕΡΓΑΣΙΑ 1 η Ημερομηνία Αποστολής στον Φοιτητή: 20 Οκτωβρίου 2008

ΘΕΩΡΗΜΑ CAYLEY-HAMILTON. Έστω A πίνακας ν ν. Από το θεώρηµα Cayley-Hamilton συµπεραίνουµε ότι το σύνολο των πολυωνύµων p( λ ), ώστε p( A)

a n = 3 n a n+1 = 3 a n, a 0 = 1

ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ -ΤΜΗΜΑ ΕΠΙΣΤΗΜΗΣ ΥΠΟΛΟΓΙΣΤΩΝ. Λύσεις των Θεμάτων της Εξέτασης Σεπτεμβρίου 2010 στο μάθημα: «Γραμμική Άλγεβρα» (ΗΥ119)

2 3x 5x x

Νικος Χαλιδιας Μαθηματικό Τμήμα κατεύθυνση Στατιστικής και Αναλογιστικών-Χρηματοοικονομικών Μαθηματικών Πανεπιστημιο Αιγαιου

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ ΙΙ (ΠΕΡΙΤΤΟΙ) Ασκησεις - Φυλλαδιο 3

{ } ΠΛΗ 12: ΜΑΘΗΜΑΤΙΚΑ ΓΙΑ ΤΗ ΠΛΗΡΟΦΟΡΙΚΗ Ι 2 η ΓΡΑΠΤΗ ΕΡΓΑΣΙΑ. Απαντήσεις. 1. (15 µονάδες)

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ (ΗΥ-119)

Ασκήσεις3 Διαγωνισιμότητα Βασικά σημεία Διαγωνίσιμοι πίνακες: o Ορισμός και παραδείγματα.

Ασκήσεις3 Διαγωνίσιμες Γραμμικές Απεικονίσεις

Παραδείγματα Απαλοιφή Gauss Απαλοιφή Gauss-Jordan Παραγοντοποίηση LU, LDU

ΠΡΟΓΡΑΜΜΑ ΣΠΟΥΔΩΝ ΣΤΗΝ ΠΛΗΡΟΦΟΡΙΚΗ ΜΑΘΗΜΑΤΙΚΑ Ι (ΘΕ ΠΛΗ 12) ΕΡΓΑΣΙΑ 1 η Ημερομηνία Αποστολής στον Φοιτητή: 17 Οκτωβρίου 2011

Αριθμητική Ανάλυση και Εφαρμογές

ΠΡΟΓΡΑΜΜΑ ΣΠΟΥΔΩΝ ΣΤΗΝ ΠΛΗΡΟΦΟΡΙΚΗ ΜΑΘΗΜΑΤΙΚΑ Ι (ΘΕ ΠΛΗ 12) ΕΡΓΑΣΙΑ 2 η Ημερομηνία Αποστολής στον Φοιτητή: 28 Νοεμβρίου 2011

Εφαρμοσμένα Μαθηματικά ΙΙ Εξέταση Σεπτεμβρίου 25/9/2017 Διδάσκων: Ι. Λυχναρόπουλος

ΚΕΦΑΛΑΙΟ 2: ΟΡΙΖΟΥΣΕΣ

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ ΙΙ (ΠΕΡΙΤΤΟΙ) Ασκησεις - Φυλλαδιο 9 Επαναληπτικες Ασκησεις

Κεφάλαιο 6 Ιδιοτιµές και Ιδιοδιανύσµατα

ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ -ΤΜΗΜΑ ΕΠΙΣΤΗΜΗΣ ΥΠΟΛΟΓΙΣΤΩΝ. Λύσεις των Θεμάτων εξέτασης προόδου στο μάθημα «Γραμμική Άλγεβρα» (ΗΥ119)

Γραµµικη Αλγεβρα ΙΙ Ασκησεις - Φυλλαδιο 10

,..., v n. W πεπερασμένα παραγόμενοι και dimv. Τα ακόλουθα είναι ισοδύναμα f είναι ισομορφιμός. f είναι 1-1. f είναι επί.

Η ΚΑΝΟΝΙΚΗ ΜΟΡΦΗ JORDAN

Εφαρμοσμένα Μαθηματικά ΙΙ Τελική Εξέταση 8/6/2017 Διδάσκων: Ι. Λυχναρόπουλος

Παραδείγματα (2) Διανυσματικοί Χώροι

Εφαρμοσμένα Μαθηματικά ΙΙ Τελική Εξέταση Ι. Λυχναρόπουλος

Ανάλυση Σ.Α.Ε στο χώρο κατάστασης

Γραμμική Άλγεβρα ΙΙ Εξέταση Σεπτεμβρίου Όνομα συνοπτικές ενδεικτικές λύσεις

ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ

ΤΕΧΝΟΛΟΓΙΚΟ ΕΚΠΑΙΔΕΥΤΙΚΟ ΙΔΡΥΜΑ ΚΕΝΤΡΙΚΗΣ ΜΑΚΕΔΟΝΙΑΣ ΣΧΟΛΗ ΤΜΗΜΑ. Μαθηματικά 2. Σταύρος Παπαϊωάννου

Ασκήσεις4 48. P AP τριγωνικό. Αφού δείξτε ότι ο A δεν είναι διαγωνίσιμος, βρείτε αντιστρέψιμο A 1 3 1

ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ

2.0 ΔΙΑΝΥΣΜΑΤΙΚΟΙ ΧΩΡΟΙ ΚΑΙ ΓΡΑΜΜΙΚΑ ΣΥΣΤΗΜΑΤΑ

Χαρακτηριστική Εξίσωση Πίνακα

ΑΠΑΝΤΗΣΕΙΣ , Β= 1 y, όπου y 0. , όπου y 0.

Κεφάλαιο 9 1 Ιδιοτιμές και Ιδιοδιανύσματα

Εφαρμοσμένα Μαθηματικά ΙΙ 9ο Σετ Ασκήσεων (Λύσεις) Διανυσματικοί Χώροι

ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΙΑΣ ΤΜΗΜΑ ΠΟΛΙΤΙΚΩΝ ΜΗΧΑΝΙΚΩΝ ΣΗΜΕΙΩΣΕΙΣ ΓΡΑΜΜΙΚΗΣ ΑΛΓΕΒΡΑΣ. ρ Χρήστου Νικολαϊδη

Σημειώσεις για το μάθημα: «Βασικές Αρχές Θεωρίας Συστημάτων» (Μέρος Α )

2. Αν έχουμε μια συνάρτηση f η οποία είναι συνεχής σε ένα διάστημα Δ.

ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ

Kεφάλαιο 4. Συστήματα διαφορικών εξισώσεων. F : : F = F r, όπου r xy

ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ -ΤΜΗΜΑ ΕΠΙΣΤΗΜΗΣ ΥΠΟΛΟΓΙΣΤΩΝ. Λύσεις των Θεμάτων της Εξέτασης Ιανουαρίου 2010 στο μάθημα: «Γραμμική Άλγεβρα» (ΗΥ119)

ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΡΟΓΡΑΜΜΑ ΣΠΟΥ ΩΝ ΣΤΗΝ «ΠΛΗΡΟΦΟΡΙΚΗ» ΘΕΜΑΤΙΚΗ ΕΝΟΤΗΤΑ : ΠΛΗ12 «ΜΑΘΗΜΑΤΙΚΑ Ι» Επαναληπτική Τελική Εξέταση 16 Ιουλίου 2003

Δηλαδή η ρητή συνάρτηση είναι πηλίκο δύο ακέραιων πολυωνύμων. Επομένως, το ζητούμενο ολοκλήρωμα είναι της μορφής

1 ιαδικασία διαγωνιοποίησης

ΕΛΛΗΝΙΚΗ ΗΜΟΚΡΑΤΙΑ ΕΛΛΗΝΙΚΟ ΑΝΟΙKΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ

ΜΕΜ251 Αριθμητική Ανάλυση

Απειροστικός Λογισμός Ι, χειμερινό εξάμηνο Λύσεις έβδομου φυλλαδίου ασκήσεων.

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

A, και εξετάστε αν είναι διαγωνίσιμη.

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

Παραδείγματα (1 ο σετ) Διανυσματικοί Χώροι

Εφαρμοσμένα Μαθηματικά ΙΙ Εξέταση Σεπτεμβρίου Ι. Λυχναρόπουλος

ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ

(Γραμμικές) Αναδρομικές Σχέσεις

Εφαρμοσμένα Μαθηματικά ΙΙ Τελική Εξέταση Ι. Λυχναρόπουλος

HY213. ΑΡΙΘΜΗΤΙΚΗ ΑΝΑΛΥΣΗ

============================================================== Σχηµατίζουµε τον πίνακα µε στήλες τα διανύσµατα v1,v2,v3,u1,u2:

(Γραμμικές) Αναδρομικές Σχέσεις

Αναδρομικές ακολουθίες και Θεωρία Αριθμών

Παναγιώτης Ψαρράκος Αν. Καθηγητής

Αριθμητική Ανάλυση και Εφαρμογές

x 2 = b 1 2x 1 + 4x 2 + x 3 = b 2. x 1 + 2x 2 + x 3 = b 3

Ασκήσεις2 8. ; Αληθεύει ότι το (1, 0, 1, 2) είναι ιδιοδιάνυσμα της f ; b. Να βρεθούν οι ιδιοτιμές και τα ιδιοδιανύσματα της γραμμικής απεικόνισης 3 3

Εφαρμοσμένα Μαθηματικά ΙΙ 10ο Σετ Ασκήσεων (Λύσεις) Γραμμικοί Μετασχηματισμοί

Ασκήσεις1 Πολυώνυμα. x x c. με το. b. Να βρεθούν όλες οι τιμές των a, Να βρεθεί ο μκδ και το εκπ τους

ΠΡΟΓΡΑΜΜΑ ΣΠΟΥΔΩΝ ΣΤΗΝ ΠΛΗΡΟΦΟΡΙΚΗ ΜΑΘΗΜΑΤΙΚΑ Ι (ΘΕ ΠΛΗ 12) ΕΡΓΑΣΙΑ 3 η Ημερομηνία Αποστολής στον Φοιτητή: 7 Ιανουαρίου 2008

Γραμμική Άλγεβρα II Εαρινό εξάμηνο

1. Για καθένα από τους ακόλουθους διανυσματικούς χώρους βρείτε μια βάση και τη διάσταση. 3. U x y z x y z x y. {(,, ) } a b. c d

Αλγόριθμοι για αυτόματα

Ιδιάζουσες τιμές πίνακα. y έχουμε αντίστοιχα τις σχέσεις : Αυτές οι παρατηρήσεις συμβάλλουν στην παραγοντοποίηση ενός πίνακα

ΚΕΦ.6:ΤΕΤΡΑΓΩΝΙΚΕΣ ΜΟΡΦΕΣ. ΣΥΜΜΕΤΡΙΚΟΙ ΠΙΝΑΚΕΣ

Γραμμικά συστήματα. - όπου Α είναι ένας (m x n) πίνακας, ο οποίος περιέχει. - όπου Β είναι ένας (m x 1) πίνακας που περιέχει τους

[A I 3 ] [I 3 A 1 ].

Φίλη μαθήτρια, φίλε μαθητή,

ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ

ΑΣΚΗΣΕΙΣ 7 ης ΕΒΔΟΜΑΔΑΣ

Έντυπο Yποβολής Αξιολόγησης ΓΕ

ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ. Συνοπτικές Ενδεικτικές Λύσεις

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ ΙΙ (ΠΕΡΙΤΤΟΙ) Ασκησεις - Φυλλαδιο 2

Εφαρμοσμένα Μαθηματικά ΙΙ 7ο Σετ Ασκήσεων (Λύσεις) Γραμμικά Συστήματα- Απαλοιφή Gauss Επιμέλεια: I. Λυχναρόπουλος

a n + 6a n a n 2 + 8a n 3 = 0, a 0 = 1, a 1 = 2, a 2 = 8

(Γραμμικές) Αναδρομικές Σχέσεις

Περιεχόμενα. Πρόλογος 3

Transcript:

Υπολογισμός του πίνακα A n, n Z Νίκος Χαλιδιάς Τμήμα Στατιστικής και Αναλογιστικών - Χρηματοοικονομικών Μαθηματικών Πανεπιστήμιο Αιγαίου Εστω πίνακας αριθμών A m m και έστω ότι θέλουμε να υπολογίσουμε τον A n με n Z Είναι προτιμότερο να εϕαρμόσουμε κατάλληλα το θεώρημα των Cayley- Hamilton (δες [2]) Η διαγωνοποίηση δεν είναι πάντοτε εϕικτή ενώ η μέθοδος με επαγωγή δεν είναι πάντοτε εύκολα πραγματοποιήσιμη Η μέθοδος που θα παρουσιάσουμε έχει πάντοτε αποτέλεσμα (ανεξάρτητα αν ο πίνακας είναι διαγωνοποιήσιμος ή όχι) και επιπλέον είναι εύκολα «αλγοριθμοποιήσιμος» (σε αντίθεση με την μέθοδο της επαγωγής) με αποτέλεσμα τον εύκολο υπολογισμό δυνάμεων μεγάλων πινάκων με την χρήση υπολογιστών Το πρώτο βήμα που μπορούμε να κάνουμε είναι να υπολογίσουμε το ελάχιστο πολυώνυμο του πίνακα Υπολογισμός Ελάχιστου Πολυωνύμου Για να υπολογίσουμε το ελάχιστο πολυώνυμο του πίνακα A m m κατασκευάζουμε τον πίνακα B m 2 (m+1) ο οποίος περιέχει στις στήλες του τους πίνακες I, A,, A m Δηλαδή στην πρώτη στήλη του πίνακα B τοποθετούμε τα στοιχεία της πρώτης στήλης του I έπειτα τα στοιχεία της δεύτερης στήλης του I κτλ Στην δεύτερη στήλη του B τοποθετούμε την πρώτη στήλη του A στην συνέχεια την δεύτερη στήλη του A κτλ Υπολογίζουμε τον αναγμένο κλιμακωτό ˆB Το πλήθος r των ηγετικών μονάδων (οι οποίες θα βρίσκονται στις r πρώτες στήλες) μας δίνουν τον βαθμό του ελαχίστου πολυωνύμου Το αποτέλεσμα θα είναι ότι το ελάχιστο πολυώνυμο είναι το q(k) = k r ˆB r,r+1 k r 1 ˆB r 1,r+1 k r 2 ˆB 1,r+1 Είναι ϕανερό ότι η μέθοδος αυτή είναι εύκολα «αλγοριθμοποιήσιμη» Για την απόδειξη της παραπάνω τεχνικής μπορεί να δει κανείς το βιβλίο [2] Στην συνέχεια παρουσιάζουμε μια μέθοδο υπολογισμού του χαρακτηριστικού πολυωνύμου Υπολογισμός Χαρακτηριστικού Πολυωνύμου Θα παρουσιάσουμε τον αλγόριθμο των Leverrier - Faddeev για τον υπολογισμό των συντελεστών του χαρακτηριστικού πολυωνύμου ενός πίνακα A Η 1

2 απόδειξη που θα παρουσιάσουμε στηρίζεται στο [1] δίνοντας μια απλούστερη μορ- ϕή της Εστω ο πίνακας A m m και δ A (k) = k m + a 1 k m 1 + + a m το χαρακτηριστικό του πολυώνυμο Εστω πίνακες N 1,, N m (που θα τους υπολογίσουμε παρακάτω) τω (ki A)N(k) = Iδ A (k) (1) όπου N(k) = N 1 k m 1 + + N m Θεωρούμε την οικογένεια πινάκων B(s) = si A Παρατηρούμε ότι αν οι ιδιοτιμές του A είναι οι k 1,, k m (όχι κατά ανάγκη διακεκριμένες) τότε οι ιδιοτιμές του B(s) είναι οι λ i = s k i Πράγματι, αϕού λi B(s) = λi si + A = ( 1) m (s λ)i A εύκολα προκύπτει το ζητούμενο Ο πίνακας B(s) είναι αντιστρέψιμος ανν (δες [2] σελίδα 348) λ i = s k i 0 για i = 1,, m Σε αυτή την περίπτωση (δηλαδή s k i για i = 1,, m) ο αντίστροϕος είναι ο (si A) 1 1 με ιδιοτιμές s k i (δες [2] σελίδα 349) Τότε λόγω της 1 ισχύει ότι N(s) δ A (s) = (si A) 1, όταν s k i (2) όπου k i για i = 1,, m οι ιδιοτιμές του πίνακα A Επιπλέον trace(si A) 1 = 1 + + 1 = δ A (s) s k 1 s k m δ A (s) (δες άσκηση 522 του [2]) Ομως A = si (si A) Αν s k i πολλαπλασιάζουμε κατά μέλη με τον (si A) 1 και έχουμε ότι s(si A) 1 I = A(sI A) 1 Λαμβάνοντας το ίχνος κατά μέλη και χρησιμοποιώντας την 2 παίρνουμε την σχέση s δ A (s) AN(s) m = trace δ A (s) δ A (s), s k i

3 από την οποία προκύπτει ότι a 1 s m 1 2a 2 s m 2 (m 1)a m 1 s ma m = (trace AN 1 )s m 1 + (trace AN 2 )s m 2 + + (trace AN m 1 )s + trace AN m Άρα a i = 1 i trace AN i, i = 1, 2,, m Για να υπολογίσουμε τους N i θα χρησιμοποιήσουμε την σχέση Από την σχέση αυτή προκύπτει ότι (ki A)N(k) = Iδ A (k) N 1 k m + N 2 k m 1 + + N m k (AN 1 k m 1 + AN 2 k m 2 + + AN m ) = Iδ A (k) Άρα προκύπτει ο επόμενος αναδρομικός αλγόριθμος για τον υπολογισμό των συντελεστών του χαρακτηριστικού πολυωνύμου N 1 = I, a 1 = 1 1 trace AN 1 N 2 = AN 1 + a 1 I, a 2 = 1 2 trace AN 2 N m = AN m 1 + a m 1 I, a m = 1 m trace AN m Παρατηρηση 1 (Ελάχιστο και χαρακτηριστικό πολυώνυμο) Αν υπολογίσουμε το ελάχιστο πολυώνυμο ενός πίνακα A m m με τον τρόπο που περιγράψαμε πριν τότε με λίγη ακόμη δουλειά μπορούμε να υπολογίσουμε και το χαρακτηριστικό πολυώνυμο χρησιμοποιώντας την μέθοδο των Leverrier - Faddeev Στην περίπτωση που το χαρακτηριστικό πολυώνυμο συμπίπτει με το ελάχιστο δεν χρειάζεται να κάνουμε τίποτε περισσότερο Αν όχι, τότε το ελάχιστο πολυώνυμο θα είναι βαθμού r < m ενώ το χαρακτηριστικό πολυώνυμο θα είναι βαθμού m Κατασκευάζουμε το ομογενές γραμμικό σύστημα ˆB a 0 a 1 a m = 0 (3)

4 όπου a 0, a 1,, a m άγνωστοι συντελεστές και ˆB ο αναγμένος κλιμακωτός πίνακας του B που έχουμε ήδη υπολογίσει Το ομογενές αυτό σύστημα έχει άπειρες λύσεις, δυο εκ των οποίων είναι οι συντελεστές του ελάχιστου και του χαρακτηριστικού πολυωνύμου Για να υπολογίσουμε το χαρακτηριστικό πολυώνυμο θέτουμε a m = 1 και τους a m 1, a m 2,, a r (όπου r είναι το πλήθος των ηγετικών μονάδων του αναγμένου κλιμακωτού πίνακα ˆB) σύμϕωνα με τον αλγόριθμο των Leverrier - Faddeev Στην συνέχεια λύνουμε το παραπάνω γραμμικό σύστημα για να υπολογίσουμε τους υπόλοιπους συντελεστές, δηλαδή τους a r 1,, a 0 Η τεχνική αυτή είναι ιδιαίτερα βολική (από την άποψη του πλήθους πράξεων) αν κάποιος θέλει να υπολογίσει και το ελάχιστο αλλά και το χαρακτηριστικό πολυώνυμο Ας το δούμε πιο συγκεκριμένα σε ένα παράδειγμα όπου θα υπολογίσουμε πρώτα το ελάχιστο πολυώνυμο και έπειτα το χαρακτηριστικό Εστω ο πίνακας A = 3 6 0 2 1 0 0 0 3 θα κατασκευάσουμε τον πίνακα B χρησιμοποιώντας τους I, A, A 2, A 3 Εχουμε 1 3 21 87 0 2 4 38 0 0 0 0 0 6 12 114 B = 1 1 13 11 0 0 0 0 0 0 0 0 0 0 0 0 1 3 9 27 και ο αναγμένος κλιμακωτός του είναι 1 0 15 30 0 1 2 19 ˆB = 0 0 0 0 Το πλήθος των ηγετικών μονάδων είναι 2 επομένως ο βαθμός του ελαχίστου πολυωνύμου είναι 2 Θέτουμε a 2 = 1 και a 3 = 0 και λύνοντας ως προς τους υπόλοιπους έχουμε ότι (δες την τρίτη στήλη του αναγμένου κλιμακωτού) q(k) = k 2 + 2k 15 = (k + 5)(k 3) (ελάχιστο πολυώνυμο)

5 Στην συνέχεια θα υπολογίσουμε και το χαρακτηριστικό πολυώνυμο Το γραμμικό σύστημα a 0 + 15a 2 30a 3 = 0 a 1 2a 2 + 19a 3 = 0 έχει άπειρες λύσεις Ακόμη και αν θέσουμε a 3 = 1 έχουμε άπειρες επιλογές για το a 2 Δηλαδή υπάρχουν άπειρα πολυώνυμα βαθμού 3 με μεγιστοβάθμιο συντελεστή την μονάδα τα οποία μηδενίζονται από τον πίνακα A Για τον λόγο αυτόν συνεχίζουμε θέτοντας a 2 = trace A = 1 εϕαρμόζοντας τον αλγόριθμο των Leverrier - Faddeev Ετσι καταλήγουμε στο σύστημα a 0 = 45 a 1 = 21 το οποίο προϕανώς έχει μοναδική λύση Άρα τελικά το χαρακτηριστικό πολυώνυμο είναι το δ A (k) = k 3 k 2 21k + 45 Προϕανώς θα μπορούσαμε να συνεχίσουμε τον αλγόριθμο των Leverrier - Faddeev για να υπολογίσουμε και τους υπόλοιπους συντελεστές Εϕόσον όμως έχουμε ήδη υπολογίσει το ελάχιστο πολυώνυμο με την μέθοδο απαλοιϕής του Gauss είναι προτιμότερο να υπολογίσουμε τους εναπομείναντες συντελεστές χρησιμοποιώντας το γραμμικό σύστημα 3 Υπολογισμός του A n για n N Υπολογίζουμε τις ρίζες του ελάχιστου πολυωνύμου Εστω ότι οι ρίζες του ελάχιστου πολυωνύμου είναι οι k 1,, k l πολλαπλότητας p 1,, p l και έστω ότι είναι βαθμού r Εστω v(k) = a r 1 k r 1 + + a o ένα άγνωστο πολυώνυμο (το οποίο θα υπολογίσουμε παρακάτω) Τότε, θέτοντας f(k) = k n, κατασκευάζουμε το παρακάτω γραμμικό σύστημα με άγνωστους τους συντελεστές του πολυωνύμου v(k), v (i) (k 1 ) = f (i) (k 1 ), i = 0,, p 1 1 v (i) (k l ) = f (i) (k l ), i = 0,, p l 1 όπου με f (i) (k j ) εννοούμε την i-οστή παράγωγο της συνάρτησης f υπολογισμένη στο σημείο k j Το σύστημα αυτό έχει μοναδική λύση (δες βιβλίο [2] σχετικά)

6 από την οποία παίρνουμε το πολυώνυμο v(k) Αποδεικνύεται ότι A n = v(a) = a r 1 A r 1 + + a 0 I Εάν δεν μπορούμε να υπολογίσουμε το ελάχιστο αλλά έχουμε υπολογίσει το χαρακτηριστικό πολυώνυμο τότε κάνουμε ακριβώς την ίδια εργασία χρησιμοποιώντας το χαρακτηριστικό πολυώνυμο Στην περίπτωση αυτή όμως το (άγνωστο) πολυώνυμο v(k) θα είναι βαθμού m 1, μεγαλύτερο από το αντίστοιχο πολυώνυμο στην περίπτωση χρήσης του ελάχιστου πολυωνύμου Υπολογισμός του A n για n N Στην περίπτωση που ο πίνακας A είναι αντιστρέψιμος μπορούμε εύκολα να υπολογίσουμε τον A n (και άρα και τον A 1 ) αν έχουμε ήδη υπολογίσει τον A n Ισχύει το παρακάτω θεώρημα (δες [2], σελίδα 361) Θεωρημα 2 (Η μορϕή των στοιχείων του A n ) Εστω ότι ο πίνακας A m m είναι αντιστρέψιμος Αν το (i, j) στοιχείο του A n είναι το a ij (n) τότε το (i, j) στοιχείο του A n είναι το a ij ( n) Ειδικότερα τα στοιχεία του A 1 είναι τα a ij ( 1)

Βιβλιογραϕία [1] Shui-Hung Hou, A simple proof of the Leverrier - Faddeev characteristic polynomial algorithm, SIAM REV, Vol 40, No 3, pp 706-709, 1998 [2] Νίκος Χαλιδιάς, Απειροστικός Λογισμός Γραμμική Άλγεβρα και Εϕαρμογές, εκδόσεις Broken Hills, 2018 7