Επίλυση Συστήματος Γραμμικών Διαφορικών Εξισώσεων. Γραμμικοί Μετασχηματισμοί Ανυσμάτων Θεωρούμε χώρο δύο διαστάσεων και συμβατικά ένα ορθογώνιο σύστημα αξόνων για την περιγραφή κάθε ανύσματος του χώρου συναρτήσει των μοναδιαίων ανυσμάτων των αξόνων, { x, }. Το σύνολο των μοναδιαίων ανυσμάτων αποτελεί μία βάση γιά την έκφραση των ανυσμάτων του χώρου, η γενίκευση σε χώρους πολλών διαστάσεων είναι προφανής. Δηλαδή, ένα άνυσμα A θα αναλύεται σε (x, ) συνιστώσες όπως στο σχήμα, Σχήμα. Ανάλυση ανύσματος σε συνιστώσες Α (x, ). Μπορούμε να γράψουμε A x x + () και υπό μορφή πινάκων, x x +, () θεωρώντας τις αντιστοιχίες x,, και A x. (3) Προφανώς, οι εκφράσεις και θα πρέπει να εννοηθούν ότι εκφράζουν συγκεκριμένα μοναδιαία ανύσματα (μέσω μιάς σύμβασης, σχέση (3) - Σχήμα ). Εάν αλλάξουμε τα μοναδιαία ανύσματα, έστω μέσω στροφής στο χώρο, τότε οι εκφράσεις και μπορούν να αναφέρονται στα νέα μοναδιαία ανύσματα, αλλά με την θεώρηση νέας σύμβασης για αυτά. Τα ζεύγη των συνιστωσών θεωρούνται διατεταγμένα, δηλαδή η πρώτη συνιστώσα αναφέρεται στο x και η δεύτερη στο.
Η αλλαγή ενος ανύσματος από A Σχήμα, σε B στο χώρο δύο διαστάσεων, Σχήμα. Μετασχηματισμός ανύσματος Α σε Β. περιγράφεται μέσω ενός συστήματος γραμμικών μετασχηματισμών, + +, (4) ή υπό μορφή πινάκων. (5) Υπενθυμίζεται ότι ο πολλαπλασιασμός πίνακα επί άνυσμα γίνεται μέσω της σχέσης, (6) j ji i i που αντιστοιχεί στις κινήσεις των στοιχείων του πίνακα προκειμένου να πολλαπλασιασθούν τα ji με τα i και να αθροισθούν για να δώσουν το j. Σχήμα 3. Υπολογισμός των j μέσω της σχέσης (6).
ΑΣΚΗΣΗ Παράδειγμα αποτελεί η στροφή κατά γωνία φ ενός ανύσματος σε ένα άλλο και περιγράφεται μέσω του πίνακα, που μεταπίπτει Ρ φ os ϕ sin ϕ sin ϕ os ϕ. (7) Δηλαδή, ισχύει os ϕ sin ϕ sin ϕ os ϕ. (8) Η αντίστροφη κίνηση περιγράφεται από τον αντίστροφο πίνακα Ρ φ -, που ορίζεται μέσω της γενικής σχέσης Εν γένει Ρ Ρ - Ρ - Ρ. (9) Ρ - dj_p/ P, () όπου P είναι η ορίζουσα του πίνακα και dj_p είναι ο ανάστροφος του Ρ. Η συστηματική κατασκευή του αντίστροφου γίνεται σε δύο στάδια. Πρώτα κατασκευάζεται πίνακας Ε με στοιχεία, Ε ij, τις ορίζουσες των ελασσόνων πινάκων του Ρ ij προσημασμένων με πρόσημο (-) i+j. Ως ελάσσων πίνακας για το στοιχείο Ρ ij ορίζεται ο πίνακας που προκύπτει εάν από τον αρχικό αφαιρεθεί η (i) γραμμή και η (j) στήλη. Τελικά ο αντίστροφος προκύπτει από τον συμμετρικό του Ε, δηλαδή ΑΣΚΗΣΗ Επομένως, ο Ρ φ - θα είναι Ρ ij - Ε ji / P. () os ϕ + sin ϕ sin ϕ os ϕ, () αφού Ε os ϕ sin ϕ sin ϕ os ϕ και Ρ os φ + sin φ. 3
4. Ιδιοανύσματα και Ιδιοτιμές Πινάκων Η κίνηση ενός ανύσματος στο χώρο, (εδώ -διαστάσεων), μπροεί να περιγραφεί μέσω της δράσης πινάκων, π. χ. Το Α γίνεται Β μέσω της Β [C] Α απλοποιώντας τη γραφή, ή. (5) Για τους πίνακες υπάρχουν ανύσματα που δεν αλλάζουν διεύθυνση κατά τη δράση τους, δηλαδή για τον [C] θα υπάρχουν ανύσματα Α έτσι ώστε [C]Α αα, (3) όπου α αριθμός. Τα ανύσματα ονομάζονται ιδιοανύσματα και οι αριθμοί ιδιοτιμές. Η εύρεση τους βασίζεται στη σχέση α, (4α) ή α α α, (4β) ή - α α (5) ή. (6) Η σχέση αυτή είναι ένα σύστημα δύο εξισώσεων με δύο αγνώστους {, }, εάν θεωρήσουμε την ιδιοτιμή δεδομένη. Επειδή στα δεξιά η (6) έχει μηδενικά, για να υπάρξει λύση μη-μηδενική πρέπει η ορίζουσα των συντελεστών να μηδενίζεται. Η συνθήκη αυτή προσδιορίζει τις ιδιοτιμές, αφού ο μηδενισμός της ορίζουσας (7) ισοδυναμεί με μηδενισμό πολυωνύμου δευτέρου βαθμού, (ως προς α). Στην περίππτωση (ν x ν) ορίζουσας προκύπτει πολυώνυμο νιοστού βαθμού. Οι ρίζες του
πολυωνύμου είναι οι ιδιοτιμές του πίνακα και η εισαγωγή τους στην (6), (μία κάθε φορά), παράγει τα αντίστοιχα ιδιοανύσματα με μια σχετική απροσδιοριστία ως προς το μέγεθός (μήκος) τους. Συγκεκριμένα, η εισαγωγή της ιδιοτιμής α ν δίδει ν ν. (8) Εδώ τα {, } αντιστοιχούν στο ιδιοάνυσμα της ιδιοτιμής α ν. Εν γένει σε πίνακα (νxν) προκύπτουν ν - αναξάρτητες σχέσεις από την αντίστοιχη σχέση (8). Εδώ έχουμε μία μόνο ανεξάρτητη σχέση την ( - α ν ) + ή + ( - α ν ), (9) όπου και οι δύο αυτές σχέσεις οδηγούν στο ίδιο τελικό αποτέλεσμα. Λόγω της απροσδιοριστίας θέτουμε μία τιμή στη μία από τις συνιστώσες και προσδιορίζουμε τις υπόλοιπες. Συνήθως θέτουμε, όμως απλοποιείται η γραφή εάν θέσουμε στην πρώτη σχέση (9), οπότε α ν - και ανάλογα στην δεύτερη σχέση με. Τα μήκη των ιδιοανυσμάτων μπορούν να σταθεροποιηθούν και να γίνουν μονάδα μέσω κανονικοποίησης διαιρώντας με το με το μήκος του ανύσματος, δ, που προέκυψε, δ [ ] + + (α ν - ). () Το κανονικοποιημένο άνυσμα είναι / δ (α ν - ) / δ δ α - ν. () Η σχέση αυτή περιγράφει και τις δύο ιδιοσυναρτήσεις {Α, Α } με βάση την ιδιοτιμή α ν για κάθε ιδιοάνυσμα Α ν. Προκύπτει ένα νέο σύνολο μοναδιαίων ανυσμάτων και ενδιαφέρει να βρεθεί τρόπος να εκφρασθούν τα ανύσματα και οι πίνακες, (μετασχηματισμών ανυσμάτων), στη νέα βάση περιγραφής του χώρου. Γιά διευκόλυνση, η έκφραση σε μία βάση θα υποδεικνύεται με δείκτες "ν" για τη "νέα" και "ο" για την "παλαιά" βάση. Κατ αρχας χρειαζόμαστε να ορίσουμε τη σύμβαση για τα μοναδιαία ανύσματα του χώρου. Εστώ ότι αντιστοιχίζουμε Α (ν) (v), Α (ν) (v). () Εάν θέσουμε Π τον πίνακα μετασχηματισμού της νέας βάσης στην παλαιά τότε Α (ο) Π Α (ν). (3) 5
Επειδή τα ιδιοανύσματα είναι γνωστά στην παλαιά βάση μπορούμε εύκολα να κατασκευάζουμε τον πίνακα Π. Εφαρμόζοντας την σχέση (3) με χρήση των () και () γιά το πρώτο ιδιοάνυσμα έχουμε δ α - (o) Π (v) Π Π Π Π (v), (4) με δ ( + (α - ) ) /. Δηλαδή ισχύει δ α - (o) Π Π, (5α) και ομοίως από το δεύτερο ιδιοάνυσμα δ α - (o) Π Π. (5β) Μετά τον προσδιορισμό του πίνακα Π, εύκολα προσδιορίζεται και ο αντίστροφός του, Π -, έτσι ώστε (σχέση (9)) Π Π - Π - Π. (6) Τότε με χρήση του Π - η δράση του Π αντιστρέφεται και πολλαπλασιάζοντας από αριστερά την (3) λαμβάνουμε, μέσω της (6), Π - Α (ο) Π - Π Α (ν) Α (ν) (7) Μπορούμε τώρα να εκφράσουμε ένα μετασχηματισμό με βάση (ο) σε μετασχηματισμό με βάση (ν), δηλαδή να αλλάξουμε βάση έκφρασης των σχέσεων του χώρου. Συγκεκριμένα, για την D (ο) M (ο) Α (ο) εκφρασμένη στην (ο) βάση εισάγουμε τη "μονάδα" μέσω της σχέσης (6) ανάμεσα στον πίνακα και το άνυσμα Α, D (ο) M (ο) ΠΠ - Α (ο) (8) και πολλαπλασιάζουμε από τα αριστερά με [Π] -, οπότε λαμβάνουμε Π - D (ο) Π - M (ο) ΠΠ - Α (Π - M (ο) Π) (Π - Α (ο) ). (9) Τώρα μπορούμε να αναγνωρίσουμε την έκφραση στη νέα βάση μέσω της (7), όπου D (ν) Π - D (ο) και Α (ν) Π - Α (ο). (3) Βλέπουμε τώρα, μέσω της σχέσης (9), ότι ο μετασχηματισμός από το Α (ν) στο D (ν) επιτελείται από τον μετασχηματισμένο πίνακα 6
M (ν) Π - M (ο) Π, (3) οπότε στη νέα βάση για την D (ο) M (ο) Α (ο) έχουμε ΑΣΚΗΣΗ D (ν) M (ν) Α (ν). (3) Παρατηρούμε ότι ο [C] (ν) της σχέσης (3), (ή της (5), Β [C] Α), στη νέα βάση (των ιδιοανυσμάτων του) γίνεται διαγώνιος με διαγώνια στοιχεία τις ιδιοτιμές των ανυσμάτων της βάσης, [C] (ν) α. (33) α Αυτό ισχύει γιατί ως ιδιοσυνάρτησεις οι α θα ικανοποιούν τις και με αντίστοιχες ιδιοτιμές α και ν ( ) α και α. Από την πρώτη σχέση λαμβάνουμε και και από την δεύτερη και. 3. Γραμμικές Διαφορικές Εξισώσεις Αρχικά ένα σύνολο γραμμικών διαφορικών εξισώσεων + +, γράφεται με τη χρήση πινάκων ως Y d dt d dt C Y. (34) 7
Παρατηρούμε ότι, εάν ο πίνακας [C] C ήταν διαγώνιος, τότε το σύστημα των διαφορικών εξισώσεων θα επιλύετο άμεσα. Αυτό μπορεί να γίνει εάν μετασχηματισθούν οι μεταβλητές { i } σε νέες μεταβλητές {u i } μέσω ενός γραμμικού μετασχηματισμού που θα καθιστά τον C διαγώνιο. Όπως είδαμε στο προηγούμενο κεφάλαιο αυτό είναι εφικτό, σχέση (33). Γενικεύοντας, το σύνολο των μεταβλητών " i " συμπεριφέρεται ως σύνολο συνιστωσών ανύσματος -διαστάσεων, έστω {Υ} {, }, και οι γραμμικοί μετασχηματισμοί των {Υ} μπορούν να μελετηθούν μέσω των μετασχηματισμών των προηγούμενων κεφαλαίων. Εδώ εννοείται σύμβαση ότι οι μεταβλητές " i " αριθμούνται με συγκεκριμένη σειρά του δείκτη (i). Για την απλοποίηση της επίλυσης της (34), αναζητείται γραμμικός μετασχηματισμός Ρ, Σχήμα 4, των μεταβλητώνσυνιστωσών {, } (δεδομένου του ανύσματος Υ), μέσω αλλαγής της αρχικής βάσης του χώρου { {u i }, και }, που να οδηγεί σε νέες μεταβλητές-συνιστώσες U Y Ρ U, (35) έτσι ώστε στη νέα βάση ο πίνακας C να είναι διαγώνιος. Σχήμα 4. Σχηματική αναπαράσταση αλλαγής μεταβλητών, από (, ) σε (u, u ), μέσω αλλαγής βάσης (μοναδιαίων ανυσμάτων) του χώρου (δύο διαστάσεων), όπου ο πίνακας Ρ της σχέσης (35) αλλάζει τις συνιστώσες του Υ. Η διαφόριση της σχέσης αυτής δίνει Y Ρ U. (36) Μπορούμε τώρα να μετασχηματίσουμε το σύστημα των εξισώσεων (34) χρησιμοποιώντας τις (35) και (36), Ρ U C ΡU. (37) Πολλαπλασιάζοντας από αριστερά με Ρ - λαμβάνουμε Ρ - Ρ U Ρ - C ΡU, (38) 8
ή, επειδή Ρ - Ρ (σχέση (9)), U Ρ - CΡ U. (39) Θέτοντας Μ τον μετασχηματισμένο πίνακα Ρ - CΡ έχουμε U Μ U. (4) Εάν τώρα ο μετασχηματισμός Ρ της σχέσης (35) ορισθεί έτσι ώστε τα μοναδιαία ανύσματα (της βάσης) να είναι ιδιοανύσματα του C, έστω με αντίστοιχες ιδιοτιμές ε i, τότε στη νέα αυτή βάση ο Μ θα είναι διαγώνιος, σχέση (33), και οι μεταβλητές στις διαφορικές εξισώσεις θα είναι ανεξάρτητες και θα μπορούν να ολοκληρωθούν άμεσα. Δηλαδη, θα έχουμε du dt du dt ε ε u u, (4) οπότε du u i i ε i dt, ή ln [u i (t)/u i ()] ε i (t - t ), ή Ακολούθως, μέσω της σχέσης (35), u i (t) u i () exp(ε i t), (με t ) (4) u Ρ u ή (t) (t) u (t) Ρ u (t), (35) μπορεί να υπολογισθεί η χρονική εξέλιξη των αρχικών i μεταβλητών. Ο Ρ βρίσκεται μέσω σχέσεων αντίστοιχων των (5). Η διαδικασία επομένως που ακολουθείται για την επίλυση του συστήματος γραμμικών εξισώσεων Y C Y ξεκινά με την εύρεση των ιδιοτιμών και ιδιοσυναρτήσεων του πίνακα των συντελεστών C, σχέση (34), και ακολούθως επιλύονται οι εξισώσεις (4) των νέων ασύζευκτων μεταβλητών. Η εύρεση της εξέλιξης των αρχικών μεταβλητών γίνεται μέσω της σχέσης (35), δηλαδή μέσω του πίνακα μετασχηματισμού Ρ, (ή Π), που υπολογίζεται από σχέσεις ανάλογες των σχέσεων (5). 9