ΣΥΝΗΘΕΙΣ ΔΙΑΦΟΡΙΚΕΣ ΕΞΙΣΩΣΕΙΣ 6

Transcript

1 ΣΥΝΗΘΕΙΣ ΔΙΑΦΟΡΙΚΕΣ ΕΞΙΣΩΣΕΙΣ 6 ΜΑΘΗΜΑ : ΓΡΑΜΜΙΚΗ ΔΥΝΑΜΙΚΗ ΣΕ ΔΥΟ ΔΙΑΣΤΑΣΕΙΣ Θεωρούμε ένα σύστημα γραμμικών διαφορικών εξισώσεων με σταθερούς πραγματικούς συντελεστές εκφρασμένο στις καρτεσιανές συντεταγμένες που ορίζονται από μια ορθοκανονική βάση του ευκλείδειου επιπέδου: και αναζητούμε τις λύσεις του: x : x ax bx x ax bx, x() x(), x(). Το ερώτημα που τίθεται αφορά στην ύπαρξη και τον προσδιορισμό γραμμικών συντεταγμένων στις οποίες το σύστημα των διαφορικών εξισώσεων αποκτά απλούστερη έκφραση με δυνατότητα άμεσης επίλυσής του. Για το σκοπό αυτό θεωρούμε στις καρτεσιανές συντεταγμένες του ευκλείδειου επιπέδου το γραμμικό μετασχηματισμό: x a bx x a b x. Οι καρτεσιανές συντεταγμένες ορίζονται από μια ορθοκανονική βάση και τις κανονικές προβολές: x :, i,. Κάθε γραμμικός ισομορφισμός: i : μετατρέπει την ορθοκανονική βάση σε βάση όχι απαραίτητα ορθοκανονική, οπότε οι καρτεσιανές συντεταγμένες μετασχηματίζονται σε γραμμικές συντεταγμένες: y, i : yi x i,, i. Γραμμικός μετασχηματισμός των καρτεσιανών συντεταγμένων στο ευκλείδειο επίπεδο. Σ. Ν. ΠΝΕΥΜΑΤΙΚΟΣ 00

2 ΣΥΝΗΘΕΙΣ ΔΙΑΦΟΡΙΚΕΣ ΕΞΙΣΩΣΕΙΣ 7 Οι αλλαγές των συντεταγμένων καθορίζονται από το μεταθετικό διάγραμμα: xi y i Το σύστημα των γραμμικών διαφορικών εξισώσεων διατυπώνεται συμβολικά στις καρτεσιανές συντεταγμένες ως εξής: X( ) A X( ) και στις νέες γραμμικές συντεταγμένες αποκτά την έκφραση: Y( ) BY( ). Οι ιδιοτιμές κάθε γραμμικού μετασχηματισμού διατηρούνται αναλλοίωτες κατά την αλλαγή βάσης και ταυτίζονται με τις ρίζες της χαρακτηριστικής εξίσωσης: de I. 3 0 Θεωρώντας την ορίζουσα και το ίχνος του γραμμικού μετασχηματισμού που επίσης διατηρούνται αναλλοίωτα κατά τις αλλαγές βάσης: de ab ba και r a b προκύπτει η ακόλουθη έκφραση της χαρακτηριστικής εξίσωσης: r de 0 και η φύση των ιδιοτιμών καθορίζεται από το πρόσημο της διακρίνουσας: Διακρίνουμε τρεις περιπτώσεις: (A) ( ra) 4de A. (A) 0 ιδιοτιμές,,, (A) 0 ιδιοτιμές,,, (A) 0 ιδιοτιμές,, i, i. Τώρα θα προσδιοριστούν όλες οι ενδεχόμενες τροχιές και εξελικτικές ροές της γραμμικής δυναμικής στο ευκλείδειο επίπεδο και το σκεπτικό αυτό θα γενικευθεί εύκολα στους πολυδιάστατους ευκλείδειους χώρους. Η γραμμική και τοπολογική ταξινόμηση των τροχιών και εξελικτικών ροών αποτελεί κεντρικό ζητούμενο του μαθήματος. Σ. Ν. ΠΝΕΥΜΑΤΙΚΟΣ 00

3 ΣΥΝΗΘΕΙΣ ΔΙΑΦΟΡΙΚΕΣ ΕΞΙΣΩΣΕΙΣ 8 ΠΕΡΙΠΤΩΣΗ (A) 0 ιδιοτιμές,,. Στην περίπτωση αυτή προκύπτουν δυο ανεξάρτητοι ιδιοάξονες:, i,. E /A i Επιλέγοντας μια βάση ιδιοδιανυσμάτων ο πίνακας του γραμμικού μετασχηματισμού διαγωνιοποιείται και προκύπτει: i y 0 y y 0 y οπότε στις αντίστοιχες γραμμικές συντεταγμένες το σύστημα εκφράζεται ως εξής: y y y y y () ce y () c e x() c e c e. Σ. Ν. ΠΝΕΥΜΑΤΙΚΟΣ 00

4 ΣΥΝΗΘΕΙΣ ΔΙΑΦΟΡΙΚΕΣ ΕΞΙΣΩΣΕΙΣ 9 ΠΕΡΙΠΤΩΣΗ (A) 0 ιδιοτιμές,,. Στην περίπτωση αυτή ο ιδιόχωρος είναι δισδιάστατος ή μονοδιάστατος: E / A. - Αν dim E τότε ο γραμμικός μετασχηματισμός εκφράζει ομοθεσία που έχει ως λόγο την τιμή της διπλής ιδιοτιμής: x 0x x 0 x και προκύπτουν απευθείας οι λύσεις του συστήματος των διαφορικών εξισώσεων: x x x x x() x oe x() xoe x() x e. o Οι τροχιές είναι οι ημιευθείες που ανάλογα με το πρόσημο της ιδιοτιμής απομακρύνονται ή πλησιάζουν ακτινωτά την αρχή του ευκλείδειου επιπέδου που αποτελεί κατάσταση ισορροπίας, ενώ στην ειδική περίπτωση μηδενικής ιδιοτιμής κάθε σημείο του επιπέδου αποτελεί κατάσταση ισορροπίας. - Αν dim E τότε επιλέγουμε μια βάση αποτελούμενη από ένα ιδιοδιάνυσμα και ένα διάνυσμα τέτοιο ώστε: A και στη βάση αυτή ο γραμμικός μετασχηματισμός έχει τριγωνικό πίνακα: y y y 0 y. Σ. Ν. ΠΝΕΥΜΑΤΙΚΟΣ 00

5 ΣΥΝΗΘΕΙΣ ΔΙΑΦΟΡΙΚΕΣ ΕΞΙΣΩΣΕΙΣ 0 Έτσι, προκύπτουν οι γραμμικές συντεταγμένες στις οποίες το σύστημα των διαφορικών εξισώσεων αποκτά απλούστερη μορφή και υπολογίζονται απευθείας οι λύσεις: y y y y y y() ( c c) e y() ce x ()... x ()... ΠΕΡΙΠΤΩΣΗ (A) 0 ιδιοτιμές,, i, i. Στην περίπτωση αυτή έχουμε δυο συζυγείς μιγαδικές ιδιοτιμές και στο μιγαδικό επίπεδο προκύπτουν δυο συζυγή μιγαδικά ιδιοδιανύσματα * : Τα πραγματικά διανύσματα: i, i., ( ) i, συγκροτούν βάση στην οποία ο γραμμικός μετασχηματισμός εκφράζεται ως εξής: y y y y. * Ο μιγαδικός γραμμικός μετασχηματισμός εκφράζεται στη βάση των συζυγών ιδιοδιανυσμάτων ως εξής: z 0 z () (0) z z e z 0 z z () z (0) e ( i) ( i) Σ. Ν. ΠΝΕΥΜΑΤΙΚΟΣ 00

6 ΣΥΝΗΘΕΙΣ ΔΙΑΦΟΡΙΚΕΣ ΕΞΙΣΩΣΕΙΣ Έτσι, προκύπτουν οι γραμμικές συντεταγμένες στις οποίες το σύστημα των διαφορικών εξισώσεων αποκτά απλούστερη μορφή: y y y y y y. Όμως, για τον υπολογισμό των λύσεων χρειάζεται να εισαχθούν νέες μη γραμμικές συντεταγμένες: * και προκύπτει: άρα: y rcos, y rsin, r >0, ( mod ), r r y () roe cos( o) y () roe sin( o) r () re o () o x ()... x ()... Άσκηση 7. Προσδιορίστε την έκφραση των μονοπαραμετρικών ομάδων της δισδιάστατης γραμμικής δυναμικής και των εξελικτικών ροών της στο ευκλείδειο επίπεδο και δώστε την αλγεβρική και γεωμετρική ερμηνεία τους. * Δεν πρόκειται πάντα για πολικές συντεταγμένες γιατί δεν ορίζονται απευθείας από το ορθοκανονικό σύστημα καρτεσιανών συντεταγμένων του ευκλείδειου επιπέδου. Σ. Ν. ΠΝΕΥΜΑΤΙΚΟΣ 00

7 ΣΥΝΗΘΕΙΣ ΔΙΑΦΟΡΙΚΕΣ ΕΞΙΣΩΣΕΙΣ ΤΑΞΙΝΟΜΗΣΗ ΤΩΝ ΤΡΟΧΙΩΝ ΤΗΣ ΔΙΣΔΙΑΣΤΑΤΗΣ ΓΡΑΜΜΙΚΗΣ ΔΥΝΑΜΙΚΗΣ Σ. Ν. ΠΝΕΥΜΑΤΙΚΟΣ 00

8 ΣΥΝΗΘΕΙΣ ΔΙΑΦΟΡΙΚΕΣ ΕΞΙΣΩΣΕΙΣ 3 Σχόλιο. Κατασκευή των τροχιών της δισδιάστατης γραμμικής δυναμικής. Η δισδιάστατη γραμμική δυναμική ορίζεται στο ευκλείδειο επίπεδο από ένα σύστημα γραμμικών διαφορικών εξισώσεων με σταθερούς πραγματικούς συντελεστές: x ax bx x axbx. Το σύστημα αυτό έχει διατυπωθεί στις καρτεσιανές συντεταγμένες του ευκλείδειου επιπέδου, αλλά όπως διαπιστώσαμε, υπάρχουν κατάλληλες γραμμικές συντεταγμένες όπου αποκτά απλούστερη έκφραση με δυνατότητα άμεσης επίλυσής του. Αυτές οι συντεταγμένες καθορίζονται από ιδιοδιευθύνσεις ή κατάλληλες διευθύνσεις που εμφανίζονται στο ευκλείδειο επίπεδο ανάλογα με τη φύση των ιδιοτιμών της δυναμικής και οδηγούν στις κανονικές μορφές του συστήματος των εξισώσεων: y y y y y y y y y y y y y y y y y y y. Όταν η γραμμική δυναμική έχει δυο πραγματικές διακριτές ιδιοτιμές τότε στο ευκλείδειο επίπεδο εμφανίζονται δυο ανεξάρτητες ιδιοδιευθύνσεις και έτσι συγκροτείται ένα σύστημα ιδιοαξόνων στο οποίο προκύπτει η κανονική μορφή των εξισώσεων: y y y y y () ce y () c e. Για το σχεδιασμό των τροχιών είναι προτιμότερο να εργαστούμε στις συντεταγμένες του συστήματος των ιδιοαξόνων παρά στις καρτεσιανές συντεταγμένες. Πράγματι, η κανονική αυτή μορφή των εξισώσεων διατηρείται αναλλοίωτη κατά την αλλαγή: y y και y y. Συνεπώς, οι τροχιές οφείλουν να εμφανίζουν αξονική συμμετρία ως προς κάθε ιδιοάξονα παράλληλα προς τον άλλον. Αν κάποια από τις ιδιοτιμές είναι μηδενική τότε κάθε σημείο του αντίστοιχου ιδιοάξονα αποτελεί κατάσταση ισορροπίας και όλες οι άλλες τροχιές είναι ευθύγραμμες και εξελίσσονται κατά ζεύγη, ελκτικά ή απωστικά, εκατέρωθεν της αντίστοιχης κατάστασης ισορροπίας. Αν δεν υπάρχει μηδενική ιδιοτιμή τότε η αρχή των αξόνων αποτελεί τη μοναδική κατάσταση ισορροπίας και τέσσερις ευθύγραμμες τροχιές, που έχουν φορέα τους αντίστοιχους ημιάξονες των ιδιοδιευθύνσεων, κατευθύνονται προς αυτήν ή απομακρύνονται προς το άπειρο ανάλογα με το πρόσημο της αντίστοιχης ιδιοτιμής. Για όλες τις άλλες τροχιές, η αξονική τους συμμετρία ως προς τους ιδιοάξονες, υποδεικνύει ότι αρκεί να κατασκευαστούν στο τεταρτημόριο: y 0, y 0 και εκεί διαπιστώνουμε ότι φορέας τους είναι τα γραφήματα των εκθετικών συναρτήσεων: y cy, c 0. / Σ. Ν. ΠΝΕΥΜΑΤΙΚΟΣ 00

9 ΣΥΝΗΘΕΙΣ ΔΙΑΦΟΡΙΚΕΣ ΕΞΙΣΩΣΕΙΣ 4 Τροχιές της γραμμικής δυναμικής στην περίπτωση απλών πραγματικών μη μηδενικών ιδιοτιμών σε ορθοκανονικό σύστημα ιδιοαξόνων του ευκλείδειου επιπέδου. Όταν η γραμμική δυναμική έχει μια διπλή πραγματική ιδιοτιμή τότε, εκτός από τη μηδενική περίπτωση ή την περίπτωση ομοθεσίας, υπάρχει μόνο μια ιδιοδιεύθυνση. Έτσι, συγκροτείται ένα σύστημα αξόνων αποτελούμενο από ένα ιδιοάξονα και έναν κατάλληλα επιλεγμένο άξονα, όπως ήδη αναφέρθηκε, και σε αυτό το σύστημα γραμμικών συντεταγμένων προκύπτει η κανονική μορφή Jordan των εξισώσεων: y y y y y y() ( c c) e y() ce Η αρχή των αξόνων αποτελεί τη μοναδική κατάσταση ισορροπίας και δυο ευθύγραμμες τροχιές, που έχουν ως φορέα τους ημιάξονες της ιδιοδιεύθυνσης, κατευθύνονται προς αυτήν ή απομακρύνονται προς το άπειρο ανάλογα με το πρόσημο της ιδιοτιμής. Όλες οι άλλες τροχιές έχουν φορέα τα γραφήματα των συναρτήσεων: y ln y cy όπου c ln c c/ c, c 0. Τροχιές της γραμμικής δυναμικής στην περίπτωση διπλής ιδιοτιμής σε ορθοκανονικό σύστημα αξόνων. Όταν η γραμμική δυναμική έχει μιγαδικές ιδιοτιμές: i, i τότε στο ευκλείδειο επίπεδο δεν εμφανίζονται ιδιοδιευθύνσεις αλλά, όπως αναφέρθηκε, υπάρχει σύστημα γραμμικών συντεταγμένων στο οποίο προκύπτει η κανονική μορφή των εξισώσεων: y y y y y y. y () roe cos( o) y () roe sin( o) Σ. Ν. ΠΝΕΥΜΑΤΙΚΟΣ 00

10 ΣΥΝΗΘΕΙΣ ΔΙΑΦΟΡΙΚΕΣ ΕΞΙΣΩΣΕΙΣ 5 Η αρχή των αξόνων αποτελεί τη μοναδική κατάσταση ισορροπίας και ολόγυρά της εξελίσσονται ελλειπτικές ή σπειροειδείς τροχιές ανάλογα με το αν οι ιδιοτιμές είναι καθαρά φανταστικές ή όχι. Οι σπειροειδείς τροχιές πλησιάζουν απεριόριστα την κατάσταση ισορροπίας ή απομακρύνονται στο άπειρο ανάλογα με το αν το πραγματικό μέρος των συζυγών ιδιοτιμών είναι αρνητικό ή θετικό. 0, 0 0, 0 0, 0 0, 0 0, 0 0, 0 Τροχιές της γραμμικής δυναμικής στην περίπτωση μιγαδικών ιδιοτιμών στο ευκλείδειο επίπεδο. Άσκηση 8. Σχεδιάστε τις τροχιές των δυναμικών συστημάτων που ορίζονται στο ευκλείδειο επίπεδο από τα ακόλουθα συστήματα διαφορικών εξισώσεων: [] x x x x 4xx [] x 3x x x 3x x [3] x x 3x x 3x 4x [4] x 3x 3x x 3x x Υπόδειξη. [] Ιδιοτιμές: 3,, Ιδιοδιανύσματα: (, 4), (, ). Προκύπτουν γραμμικές συντεταγμένες στις οποίες το σύστημα εκφράζεται ως εξής: y 3y y y y () ce 3 y () c e 3 x() ce ce x () 4c e c e 3 [] Ιδιοτιμές: /, 3, Ιδιοδιανύσματα: (, ), (, 3). Προκύπτουν γραμμικές συντεταγμένες στις οποίες το σύστημα εκφράζεται ως εξής: y y / y 3 y y () c e / y () c e 3 / 3 x() ce ce x () c e 3c e / 3 Σ. Ν. ΠΝΕΥΜΑΤΙΚΟΣ 00

11 ΣΥΝΗΘΕΙΣ ΔΙΑΦΟΡΙΚΕΣ ΕΞΙΣΩΣΕΙΣ 6 [3] Ιδιοτιμή:, Ιδιοδιάνυσμα: (, ), Συμπληρωματικό διάνυσμα: ( /3, 0). Προκύπτουν γραμμικές συντεταγμένες στις οποίες το σύστημα εκφράζεται ως εξής: y y y y y y() ( cc) e y() c e x() ( ccc /3) e x() ( cc) e [4] Ιδιοτιμές: i 5, i 5, Ιδιοδιανύσματα: ( i 5, 3), ( i 5, 3). Τα διανύσματα (, 3), ( 5, 0) ορίζουν γραμμικές συντεταγμένες στις οποίες το σύστημα εκφράζεται ως εξής: y y 5y y 5y y Από το μετασχηματισμό y rsin, y r cos προκύπτει: άρα r () r () () 5 y () roe cos( 5 o) y() roe sin( 5 o) r () ro e () 5 o r ce / 5 x () roe cos( 5 o) 5cos( 5 o) x() roe sin( 5 o) [] [] [3] [4] Σ. Ν. ΠΝΕΥΜΑΤΙΚΟΣ 00

12 ΣΥΝΗΘΕΙΣ ΔΙΑΦΟΡΙΚΕΣ ΕΞΙΣΩΣΕΙΣ 7 Άσκηση 9. Στο επόμενο σχήμα δίνονται οι τροχιές τριών δισδιάστατων δυναμικών συστημάτων από τα οποία μόνο ένα είναι γραμμικό. Μπορείτε να το αναγνωρίσετε; Άσκηση 0. Σχεδιάστε τις τροχιές της δυναμικής που ορίζεται στο ευκλείδειο επίπεδο από τα ακόλουθα συστήματα γραμμικών εξισώσεων: x x x x x 3x x x x 3x x x xx x xx x x x x xx Άσκηση. Οι γραμμικές δυναμικές στο ευκλείδειο επίπεδο με ίδιες ιδιοτιμές ορίζουν ίδιες τροχιές; Τεκμηριώστε την απάντησή σας. Άσκηση. Εντοπίστε τη διαφορά των τροχιών των δυναμικών συστημάτων που ορίζονται στο ευκλείδειο επίπεδο από τα συστήματα των γραμμικών εξισώσεων: [Ι] x x x x και x x x x [ΙΙ] x x x x και x x x x x Άσκηση 3. Σχεδιάστε τις τροχιές της δυναμικής που ορίζεται στο ευκλείδειο επίπεδο από τα ακόλουθα συστήματα εξισώσεων και εντοπίστε τις διαφορές τους: [Ι] x x x x x x x 9x 8x 8x x x 9x 0x 8x [ΙΙ] x xx x xx 0x 0x9 x 0x 9x0x 0x 0xx 0x x0 x Σ. Ν. ΠΝΕΥΜΑΤΙΚΟΣ 00

13 ΣΥΝΗΘΕΙΣ ΔΙΑΦΟΡΙΚΕΣ ΕΞΙΣΩΣΕΙΣ 8 Άσκηση 4. Σχεδιάστε τις τροχιές της δυναμικής που ορίζεται στο ευκλείδειο επίπεδο από την κανονική μορφή Jordan του γραμμικού συστήματος διαφορικών εξισώσεων με διπλή πραγματική ιδιοτιμή: (Ι) /0, (ΙΙ) /0, και εντοπίστε τις διαφορές με την περίπτωση: 0. Άσκηση 5. Στο επόμενο σχήμα δίνονται σε ορθοκανονικό σύστημα αξόνων του ευκλείδειου επιπέδου οι τροχιές δυο άγνωστων γραμμικών δυναμικών συστημάτων. Μπορείτε να αναγνωρίσετε τη φύση των ιδιοτιμών τους; Είναι εφικτός ο προσδιορισμός τους; Ποιος είναι ο γεωμετρικός τόπος των σημείων του επιπέδου στα οποία η εφαπτομένη των τροχιών είναι κάθετη στην εμφανιζόμενη ιδιοδιεύθυνση; Άσκηση 6. Σχεδιάστε τις τροχιές της δυναμικής που ορίζεται στο ευκλείδειο επίπεδο από το ακόλουθο σύστημα γραμμικών εξισώσεων για διάφορες τιμές της παραμέτρου ρ και παρατηρείστε τη συνεχή παραμόρφωσή τους που οδηγεί από κόμβο σε εστία: x xx x x ( /) x Άσκηση 7. Επιλέξτε (i) γραμμικούς ισομορφισμούς, (ii) αμφιδιαφορομορφισμούς, (iii) ομοιομορφισμούς του ευκλείδειου επιπέδου και αφήστε τους να δράσουν στην εξελικτική ροή της γραμμικής δυναμικής: ως εξής: g ( x ) x ( e,e ), h o o g h( x ), o x o, x o,,. Ποιο είναι το σύστημα των διαφορικών εξισώσεων που ορίζει τη δυναμική της εξελικτικής ροής η οποία προκύπτει από αυτούς τους μετασχηματισμούς; Σ. Ν. ΠΝΕΥΜΑΤΙΚΟΣ 00

14 ΣΥΝΗΘΕΙΣ ΔΙΑΦΟΡΙΚΕΣ ΕΞΙΣΩΣΕΙΣ 9 Προβληματισμός: Τοπολογική ταξινόμηση των ροών της γραμμικής δυναμικής. Θεωρούμε δυο γραμμικά δυναμικά συστήματα που η εξέλιξή τους στο ευκλείδειο επίπεδο διέπεται αντίστοιχα από τις γραμμικές εξισώσεις: με αντίστοιχες μονοπαραμετρικές ομάδες: X( ) A X( ), i,, : / i i g, i,. Σύμφωνα με τον ορισμό της τοπολογικής ισοδυναμίας, οι δυναμικές που ορίζονται από δυο δυναμικά συστήματα είναι τοπολογικά ισοδύναμες αν και μόνο αν υπάρχει ομοιομορφισμός: h : τέτοιος ώστε: hg ( x ) g h( x ),,. o o Αν ο ομοιομορφισμός που αποκαθιστά την τοπολογική ισοδυναμία είναι γραμμικός ή αμφιδιαφορομορφικός τότε αντίστοιχα λέμε ότι οι δυναμικές είναι γραμμικά ή διαφορικά ισοδύναμες. Καταρχάς, είναι σημαντικό να κατανοήσουμε το εξής: Θεώρημα. Δυο γραμμικές δυναμικές είναι διαφορικά ισοδύναμες αν και μόνο αν είναι γραμμικά ισοδύναμες. * Θεώρημα. Δυο γραμμικές δυναμικές με πραγματικές διακριτές ιδιοτιμές είναι γραμμικά ισοδύναμες αν και μόνο αν έχουν ίδιες ιδιοτιμές. Απόδειξη. Κάθε γραμμική δυναμική με απλές πραγματικές ιδιοτιμές αποσυντίθενται σε μονοδιάστατες γραμμικές δυναμικές. Συνεπώς, οι γραμμικές δυναμικές που έχουν ίδιες διακριτές πραγματικές ιδιοτιμές δε μπορούν παρά να αποσυντεθούν στις ίδιες μονοδιάστατες γραμμικές δυναμικές. Αντίστροφα, αν οι δυο γραμμικές δυναμικές είναι γραμμικά ισοδύναμες τότε οι τελεστές τους ταυτίζονται με αλλαγή βάσης άρα έχουν ίδιες ιδιοτιμές απλές ή όχι. x o Παράδειγμα γραμμικά ισοδύναμων εξελικτικών ροών της γραμμικής δυναμικής στο ευκλείδειο επίπεδο. (Άραγε, ποιοι είναι οι ισομορφισμοί ταύτισης των εξελικτικών ροών του παραδείγματος;) * Το θεώρημα δεν. υπονοεί ότι κάθε αμφιδιαφορομορφισμός που αποκαθιστά τη διαφορική ισοδυναμία των εξελικτικών ροών της γραμμικής δυναμικής είναι οπωσδήποτε γραμμικός ισομορφισμός. Όμως, θεωρώντας το διαφορικό ενός τέτοιου αμφιδιαφορομορφισμού θα μπορούσατε να αντιληφθείτε το σκεπτικό της απόδειξης. Πρόκειται για αποτέλεσμα που ισχύει και για την πολυδιάστατη γραμμική δυναμική. Σ. Ν. ΠΝΕΥΜΑΤΙΚΟΣ 00

15 ΣΥΝΗΘΕΙΣ ΔΙΑΦΟΡΙΚΕΣ ΕΞΙΣΩΣΕΙΣ 0 Θεώρημα: Κριτήρια τοπολογικής ταξινόμησης της γραμμικής δυναμικής. *.Οι γραμμικές δυναμικές των οποίων οι ιδιοτιμές έχουν θετικό πραγματικό μέρος είναι τοπολογικά ισοδύναμες με τη γραμμική δυναμική x x, x..οι γραμμικές δυναμικές των οποίων οι ιδιοτιμές έχουν αρνητικό πραγματικό μέρος είναι τοπολογικά ισοδύναμες με τη γραμμική δυναμική x x, x. Τοπολογικά ισοδύναμες γραμμικές δυναμικές στο ευκλείδειο επίπεδο. (Ιδιοτιμές με θετικό πραγματικό μέρος) Τοπολογικά ισοδύναμες γραμμικές δυναμικές στο ευκλείδειο επίπεδο. (Ιδιοτιμές με αρνητικό πραγματικό μέρος) Άσκηση 8. Αποφανθείτε για τη γραμμική και τοπολογική ισοδυναμία των εξελικτικών ροών της δυναμικής που ορίζεται από τα ακόλουθα συστήματα εξισώσεων και σχεδιάστε τις τροχιές τους στο ευκλείδειο επίπεδο: x x x x x x x x x x x x x xx x x x x x x x x x Άσκηση 9. Αποφανθείτε για τη γραμμική και τοπολογική ισοδυναμία των εξελικτικών ροών της δυναμικής που ορίζεται από τα ακόλουθα συστήματα εξισώσεων και σχεδιάστε τις τροχιές τους στο ευκλείδειο επίπεδο: [] x x x x x x x x x x [] x xx x xx x xx 4x x 4x [3] x x x x x x xx x x x * Το κριτήριο αυτό ισχύει στους πολυδιάστατους ευκλείδειους χώρους και έχει γενικότερη διατύπωση. Η κατασκευή του ομοιομορφισμού που αποκαθιστά την τοπολογική ισοδυναμία βασίζεται στη χρήση της συνάρτησης Liapounov που διδάσκεται σε επόμενο επίπεδο του μαθήματος των Δυναμικών Συστημάτων. Σ. Ν. ΠΝΕΥΜΑΤΙΚΟΣ 00

16 ΣΥΝΗΘΕΙΣ ΔΙΑΦΟΡΙΚΕΣ ΕΞΙΣΩΣΕΙΣ Άσκηση 0. Διαπιστώστε ότι τα ακόλουθα γραμμικά συστήματα εξισώσεων παρότι έχουν ίδιες ιδιοτιμές δεν ορίζουν γραμμικά ισοδύναμες δυναμικές και εξετάστε το ενδεχόμενο τοπολογικής ισοδυναμίας τους: x x x x x x x x x Άσκηση. Προσδιορίστε τις τιμές της παραμέτρου α στις οποίες η εξελικτική ροή του καθενός από τα ακόλουθα συστήματα εξισώσεων αλλάζει τοπολογικό τύπο: x x x x [Ι] [ΙΙ] x x x x. Άσκηση. Για τις διάφορες τιμές των παραμέτρων a και b, αποφανθείτε για τη γραμμική και τοπολογική ισοδυναμία των αντίστοιχων εξελικτικών ροών της δυναμικής που ορίζεται στο ευκλείδειο επίπεδο από το ακόλουθο σύστημα εξισώσεων: x x x ax bx Άσκηση 3. Ποιες είναι οι κλάσεις τοπολογικής ισοδυναμίας των εξελικτικών ροών των γραμμικών συστημάτων των οποίων οι τροχιές παρατίθενται στον ακόλουθο πίνακα. Τι θα λέγατε για τον διαμερισμό τους σε κλάσεις γραμμικής ισοδυναμίας; Θα μπορούσατε, σε κάθε μια από αυτές τις περιπτώσεις να προσδιορίστε την αριθμητική έκφραση του αντίστοιχου γραμμικού συστήματος διαφορικών εξισώσεων; Σ. Ν. ΠΝΕΥΜΑΤΙΚΟΣ 00

17 ΣΥΝΗΘΕΙΣ ΔΙΑΦΟΡΙΚΕΣ ΕΞΙΣΩΣΕΙΣ Άσκηση 4. Για τις διάφορες τιμές των παραμέτρων a και b, αποφανθείτε για τη γραμμική και τοπολογική ισοδυναμία, ή μη, της δυναμικής που ορίζεται στο ευκλείδειο επίπεδο από την εξίσωση x ax+bx με εκείνη που ορίζεται από την εξίσωση xx ή την εξίσωση x x. * Άσκηση 5. Αποδεχόμενοι ότι οι τροχιές που παρατίθενται στα ακόλουθα σχήματα διανύονται με ταχύτητες αρκετά ομαλές χωρίς απότομες μεταβολές κατά την εξέλιξη, μπορείτε να τις συμπληρώσετε και να εντοπίσετε αυτές που διέπονται από γραμμική δυναμική; Άσκηση 6. Θα μπορούσατε να αποφανθείτε για το αν οι τροχιές που εμφανίζονται στα ακόλουθα σχήματα διέπονται από γραμμική δυναμική; * Σε αυτό το σύστημα γραμμικών διαφορικών εξισώσεων ης τάξης ανάγεται κάθε γραμμική διαφορική εξίσωση ης τάξης με σταθερούς συντελεστές: x axbx. Σ. Ν. ΠΝΕΥΜΑΤΙΚΟΣ 00