Δισδιάστατες Απεικονίσεις. Εισαγωγικές έννοιες.. Ορισμοί Σε αυτό το κεφάλαιο θα αναφερθούμε σε δισδιάστατες απεικονίσεις που ορίζονται σε ένα υποσύνολο του R, είναι δηλαδή της μορφής, ή συμβολικά x f ( x, y ) y g( x, y ) x G ( x ), x ( x, y). (.) Tο σύνολο των σημείων P (x,y ), είναι η τροχιά Τ του συστήματος που αντιστοιχεί στην αρχική συνθήκη P (x,y ) : T { P, P, P,...} Αν ορίζεται μονότιμα η αντίστροφη της G, η G -, η απεικόνιση ονομάζεται αντιστρέψιμη (ivertible) και μπορούμε από την αρχική συνθήκη P (x,y ) να ορίσουμε και το παρελθόν της τροχιάς για <. Γενικά μια τροχιά αποτελεί ένα αναλλοίωτο σύνολο κάτω από τη ροή της απεικόνισης δηλαδή αν P T τότε G m ( Pk ) T για κάθε mn (η mz, για μια αντιστρέψιμη απεικόνιση). Ο Ιακωβιανός πίνακας της απεικόνισης είναι ο x x f f x y x y A y y g g x y x y (.) k Αν det( A) τότε η απεικόνιση είναι διατηρητική (area-preservig), δηλαδή διατηρεί τα εμβαδά στο επίπεδο xy κατά αντιστοιχία με τα συνεχή συστήματα. Αν det( A) η απεικόνιση είναι απωλεστική (dissipative) και μια συνεχής περιοχή αρχικών συνθηκών στο επίπεδο απεικονίζεται σε περιοχές με όλο και μικρότερο εμβαδόν... Γραμμικές απεικονίσεις στο επίπεδο Θεωρούμε αρχικά δισδιάστατες απεικόνισεις (.) στις οποίες οι συναρτήσεις f και g είναι γραμμικές. Μια τέτοια απεικόνιση μπορεί πάντα να γραφεί στην μορφή, (.3) όπου a σταθερές. Αν θεωρήσουμε τον πίνακα A ( a ij ), το παραπάνω σύστημα εξισώσεων γράφεται και ij στην μορφή x a x a y y a x a y Τα σχήματα αυτού του κεφαλαίου δημιουργούνται με πρόγραμμα του Mathematica το οποίο είναι είναι διαθέσιμο στην ιστοσελίδα του παρόντος συγγράμματος/κεφαλαίου στον Ελληνικό Συσσωρευτή Ακαδημαϊκών Ηλεκτρονικών Βιβλίων (http://repfiles.kallipos.gr/file/45) Εισαγωγή στα Μη Γραμμικά Δυναμικά Συστήματα, Βουγιατζής & Μελετλίδου 45
όπου x ( x, y )., (.4) Μια λύση του συστήματος (.3) είναι μια έκφραση η οποία ικανοποιεί το σύστημα για όλες τις τιμές, ενώ γενική λύση του συστήματος είναι μια λύση του περιέχει όλες τις λύσεις του. Τέλος μια ειδική λύση του (.3) είναι μια λύση η οποία ικανοποιεί τις αρχικές συνθήκες ( x, y ) ( b, b ). Εύκολα διαπιστώνουμε από την (.4) ότι η γενική λύση του συστήματος είναι x A x. (.5) Άρα ο υπολογισμός του πίνακα A είναι απαραίτητος για την λύση των γραμμικών απεικονίσεων. Για τον υπολογισμό αυτό καταφεύγουμε στην Γραμμική Άλγεβρα και συγκεκριμένα στις ιδιοτιμές και τα ιδιοδιανύσματα του A, βάση των οποίων μπορούμε να ταξινομήσουμε τις λύσεις του συστήματος. Σε κάθε περίπτωση πραγματοποιούμε έναν μετασχηματισμό ομοιότητας, δηλαδή κατασκευάζουμε έναν - αντιστρέψιμο πίνακα P, τέτοιον ώστε o B = P A P να έχει μια πιο απλή μορφή από τον A, την λεγόμενη κανονική μορφή. Τότε, αντιστρέφοντας την τελευταία σχέση, βρίσκουμε A PB P. Για λόγους που θα γίνουν φανεροί στις επόμενες παραγράφους, όπου θα μελετήσουμε τα σταθερά σημεία και την ευστάθεια τους, χρήσιμο είναι ακόμα να θεωρήσουμε τις νέες μεταβλητές x P x. Σε αυτές το σύστημα (.4), αν πολλαπλασιάσουμε από αριστερά με P x Ax, παίρνει την μορφή x Bx, (.6) του οποίου η λύση είναι x B x. Διακρίνουμε τις παρακάτω περιπτώσεις, στις οποίες δίνουμε την λύση του συστήματος (.6) στις μεταβλητές ( x, y ), από όπου έπειτα, αν επιστρέψουμε στις αρχικές ( x, y), προκύπτει και η λύση του συστήματος (.5). i) Ο A έχει πραγματικές διακριτές ιδιοτιμές Αν ο πίνακας A έχει δύο πραγματικές ιδιοτιμές, τότε διαλέγουμε όπου και P ( v, v) v v τα ιδιοδιανύσματα τα οποία αντιστοιχούν στις ιδιοτιμές και, αντίστοιχα. Καθώς τα και είναι v v γραμμικά ανεξάρτητα μεταξύ τους, η ορίζουσα του πίνακα P είναι διάφορη του μηδενός και άρα υπάρχει ο αντίστροφος P -. Στην περίπτωση αυτή ο B έρχεται στην διαγώνια μορφή - B P A P (.7) και εύκολα προκύπτει ότι B diag,. Άρα η λύση του συστήματος (.6) είναι x x. (.8) y y ii) Ο A έχει πραγματικές ίσες ιδιοτιμές Στην περίπτωση αυτή ο πίνακας A έχει δηλαδή δύο πραγματικές ιδιοτιμές. Τώρα στην διπλή ιδιοτιμή μπορεί να αντιστοιχεί ένα μόνο ιδιοδιάνυσμα v. Αν από την σχέση ( A I) v δεν μπορούμε να βρούμε ένα δεύτερο γραμμικά ανεξαρτήτο ιδιοδιάνυσμα w, τότε το w μπορεί να βρεθεί από την σχέση ( A I) w. Αν επιλέξουμε P=(v,w), ο B έρχεται τώρα στην μορφή - B P A P. (.9) Όπως παρατηρούμε, ο παραπάνω πίνακας γράφεται B S + N, δηλαδή ως το άθροισμα ενός διαγώνιου πίνακα S I και ενός πίνακα N={ ij } με μοναδικό μη μηδενικό στοιχείο. Για τον N ισχύει N Εισαγωγή στα Μη Γραμμικά Δυναμικά Συστήματα, Βουγιατζής & Μελετλίδου 46
(για αυτό και ονομάζεται μηδενοδύναμος ης τάξης), και NS SN, δηλαδή αντιμετατίθεται με τον S. Με βάση τις δύο αυτές ιδιότητες, παίρνοντας τον τύπο του διωνύμου, καταλήγουμε ότι B S S N I N. Επομένως τελικά η λύση του συστήματος (.6) είναι τώρα x x. (.) y y iii) Ο A έχει μιγαδικές συζυγείς ιδιοτιμές Αν ο A έχει μία μιγαδική ιδιοτιμή, τότε επειδή είναι πραγματικός, θα έχει και την συζυγή της. Άρα δηλαδή, a ib με αντίστοιχα ιδιοδιανύσματα v iu. Τώρα, αν σχηματίσουμε τον πίνακα P ( u,v), τότε a b - B P A P (.) b a και αν υψώσουμε τώρα τον B στην -οστη δύναμη, θα πάρουμε B Re(, ) Im(, ) cos( ) si( ),, Im(, ) Re(, ) si( ) cos( ) όπου, a b και arcta( ba). Επομένως η λύση του συστήματος (.6) είναι στην περίπτωση αυτή x cos( ) si( ) x,. y si( ) cos( ) y (.) Σε κάθε μια από τις παραπάνω περιπτώσεις, έχοντας υπολογίσει τους πίνακες P και B, μπορούμε να βρούμε την λύση (.5) του αρχικού συστήματος (.4) σύμφωνα με την σχέση x x c - PB P PB, (.3) y y c όπου c και σταθερές, οι οποίες είναι ίσες με τις αρχικές συνθήκες και, αντίστοιχα, του c x y συστήματος (.6). [M] Με τη Mathematica μπορούμε να βρούμε την αναλυτική λύση μιας γραμμικής διακριτής απεικόνισης με την εντολή RSolve.. Σταθερά και περιοδικά σημεία.. Ευστάθεια σταθερών και περιοδικών σημείων Τα σταθερά και περιοδικά σημεία σε οποιαδήποτε απεικόνιση τα ορίσαμε στο προηγούμενο κεφάλαιο, όπως ορίσαμε επίσης την ευστάθεια τους. Εδώ θα μελετήσουμε το γραμμικοποιημένο σύστημα γύρω από ένα σταθερό σημείο μιας απεικόνισης. Θα δούμε πώς από το γραμμικοποιημένο σύστημα μπορούμε να πάμε στην απεικόνιση (η οποία, εν γένει, είναι μη γραμμική) για μια περιοχή γύρω από το σταθερό σημείο, και για τι είδους σταθερά σημεία μπορεί να γίνει αυτό. Εισαγωγή στα Μη Γραμμικά Δυναμικά Συστήματα, Βουγιατζής & Μελετλίδου 47
Σημείωση. Η μελέτη ενός περιοδικού σημείου περιόδου m γίνεται με αντίστοιχο τρόπο, αν το θεωρήσουμε ως το σταθερό σημείο της σύνθεσης της απεικόνισης με τον εαυτό της m φορές. Ας πάρουμε την δισδιάστατη απεικόνιση (.) και ας θεωρήσουμε ένα σταθερό σημείο της, έστω ( x, y), για το οποίο επομένως ισχύουν f ( x και. Θεωρώντας τις μεταβολές, y ) x g( x, y ) y x και, όπου x x y y y x, y, αναπτύσσουμε τις συναρτήσεις f και g κατά Taylor γύρω από το ( x, y ), οπότε παίρνουμε f f x x x f ( x x, y y ) f ( x, y ) x y... x y ( x, y ) ( x, y ) (.4) Αν κρατήσουμε μόνο όρους πρώτης τάξης, δηλαδή γραμμικοποιήσουμε την απεικόνιση, τότε παίρνουμε, (.5) όπου δx ( x, y ) και Α είναι ο Ιακωβιανός πίνακας των συναρτήσεων f και g, υπολογισμένος στο σταθερό σημείο ( x, y ) της απεικόνισης, g g y y y g( x x, y y ) g( x, y ) x y... x y ( x, y ) ( x, y ) x Ax f x A g x f y g y ( x, y). Αν η απεικόνιση είναι γραμμική, οι σχέσεις (.4) και (.5) συμπίπτουν, και συγκεκριμένα για το (.3) ο Ιακωβιανός πίνακας δεν είναι άλλος από τον πίνακα του συστήματος, ενώ το σταθερό σημείο είναι το ( x, y) (,). Για να μελετήσουμε την ευστάθεια του στην περίπτωση αυτή, θα βασιστούμε στην θεωρία την οποία αναπτύξαμε στην προηγούμενη παράγραφο. Θα χρησιμοποιήσουμε δηλαδή και πάλι τον μετασχηματισμό ομοιότητας B P - A P, καθώς και τις μεταβλητές x P - x, στις οποίες η σχέση (.5), αν πολλαπλασιάσουμε από αριστερά με P, παίρνει την μορφή x Bx. (.6) Παρατηρήστε ότι στην περίπτωση που είναι ίδιες με τις (.4) και (.6), αντίστοιχα. ( x, y ) (,), οι σχέσεις (.5) και (.6) είναι ακριβώς i) Ο Α έχει πραγματικές διακριτές ιδιοτιμές Αν ο πίνακας A έχει δύο πραγματικές ιδιοτιμές και διαφορετικές μεταξύ τους, τότε, όπως είδαμε στην αντίστοιχη περίπτωση της προηγούμενης παραγράφου, ο Β γίνεται διαγώνιος και το σύστημα (.6) παίρνει την μορφή x x. (.7) y y Η λύση αυτού του συστήματος δίνεται αντίστοιχα με βάση την σχέση (.8). Από εκεί συμπεραίνουμε ότι αν και, τότε για τα x και y τείνουν στο μηδέν, δηλαδή η απεικόνιση τείνει ασυμπτωτικά στο σταθερό σημείο. Ισοδύναμα, από την σχέση (.7) βλέπουμε ότι η δισδιάστατη απεικόνιση ανάγεται ουσιαστικά σε δύο μονοδιάστατες στις κατευθύνσεις x και y, για τις οποίες x x και y y, αντίστοιχα. Άρα συμπεραίνουμε ότι αν και, δηλαδή Εισαγωγή στα Μη Γραμμικά Δυναμικά Συστήματα, Βουγιατζής & Μελετλίδου 48
αν σε κάθε ιδιο-διεύθυνση έχουμε ευστάθεια, τότε το σταθερό σημείο είναι συνολικά ευσταθές στο επίπεδο xy. ii) Ο Α έχει πραγματικές ίσες ιδιοτιμές Τώρα ο πίνακας Α έχει δύο πραγματικές ιδιοτιμές και σύμφωνα με την προηγούμενη παράγραφο το σύστημα (.6) γίνεται x x. (.8) y y Από την αντίστοιχη λύση (.) βλέπουμε και πάλι ότι αν, τότε τα x και y τείνουν στο μηδέν για, δηλαδή ( x, και άρα το σταθερό σημείο είναι ευσταθές., y) ( x, y) iii) Ο Α έχει μιγαδικές συζυγείς ιδιοτιμές Στην περίπτωση αυτή εμφανίζονται, όπως αναφέραμε παραπάνω, δύο συζυγείς μιγαδικές ιδιοτιμές, a ib και το σύστημα (.6) γράφεται x a bx. (.9) y b a y Η λύση αυτού του συστήματος είναι της μορφής (.), από όπου φαίνεται ότι αν,, τότε η απεικόνιση τείνει ασυμπτωτικά στο σταθερό σημείο. Αυτό φαίνεται και από την σχέση (.9), σύμφωνα με την οποία είναι r r, όπου r x y. Έτσι, στην ακτινική κατεύθυνση του r, η οποία, εκφράζει την απόσταση από το ( x, y ) στο επίπεδο xy, η ευστάθεια εξασφαλίζεται αν,. Συνοψίζοντας, είτε οι ιδιοτιμές και είναι πραγματικές, είτε μιγαδικές, αν και, τότε το σταθερό σημείο είναι ευσταθές. Στην γενικότερη περίπτωση των μη γραμμικών απεικονίσεων, ισχύουν όμως οι σχέσεις (.4), ενώ το σύστημα (.5) αποτελεί μια πρώτη γραμμική προσέγγιση. Σύμφωνα όμως με το θεώρημα Hartma- Grobma για απεικονίσεις, η απεικόνιση στην περιοχή ενός σταθερού σημείου είναι τοπολογικά ισοδύναμη με την αντίστοιχη γραμμικοποιημένη, εφόσον,. Τα σταθερά σημεία για τα οποία ισχύει αυτή η συνθήκη ονομάζονται υπερβολικά. Άρα τελικά και στις μη γραμμικές απεικονίσεις ισχύει ότι το σταθερό σημείο είναι ευσταθές, αν και οι δύο ιδιοτιμές του Ιακωβιανού πίνακα Α έχουν μέτρο μικρότερο της μονάδας, και, ενώ αν έστω και μία από τις δύο έχει μέτρο μεγαλύτερο της μονάδας, ή, τότε το σημείο είναι ασταθές. Στην περίπτωση που είναι ή, τότε δεν μπορούμε από το γραμμικοποιημένο σύστημα να αποφανθούμε για την ευστάθεια του σταθερού σημείου. ( x, y ) Η ευστάθεια ενός περιοδικού σημείου περιόδου, ενός σημείου δηλαδή p ( p, p ), τέτοιο ώστε f m ( p) p, όπου f ( f, g), μπορεί να μελετηθεί με παρόμοιο τρόπο. Αρκεί να θεωρήσουμε την απεικόνιση g( x) f m ( x), για την οποία το p αποτελεί σταθερό σημείο, και να εφαρμόσουμε τα προηγούμενα συμπεράσματα χρησιμοποιώντας τον Ιακωβιανό πίνακα της g. m.. Τοπολογία-ταξινόμηση σταθερών σημείων Σε αντιστοιχία με τα δισδιάστατα συστήματα διαφορικών εξισώσεων, τα σταθερά σημεία των δισδιάστατων απεικονίσεων χαρακτηρίζονται και αυτά με βάση τις ιδιοτιμές του Ιακωβιανού τους πίνακα. Θεωρούμε και πάλι αρχικά το γραμμικό σύστημα (.3), για το οποίο το σταθερό σημείο είναι το (,). Με Εισαγωγή στα Μη Γραμμικά Δυναμικά Συστήματα, Βουγιατζής & Μελετλίδου 49
βάση την γενική λύση, την οποία βρήκαμε στην.., και το κριτήριο ευστάθειας που δώσαμε στην 9.., μπορούμε να βγάλουμε συμπεράσματα ως προς την τοπολογία γύρω από τα σταθερά σημεία. Όπως είπαμε και σε προηγούμενο κεφάλαιο, ένα σύνολο E ονομάζεται αναλλοίωτο κάτω από μια απεικόνιση f αν f ( E) E. Η συνθήκη αυτή σημαίνει ότι οι τροχιές της απεικόνισης οι οποίες ξεκινάνε από το E παραμένουν συνέχεια μέσα σε αυτό. i) Ο Α έχει πραγματικές διακριτές ιδιοτιμές Σύμφωνα με την σχέση (.3), η γενική λύση του συστήματος (.3) για την περίπτωση αυτή είναι x cv cv. (.) Αν λοιπόν ξεκινήσουμε με αρχικές συνθήκες x cv, δηλαδή τέτοιες ώστε c, τότε η τροχιά ή, με άλλα λόγια, η ειδική λύση για αυτές τις αρχικές συνθήκες θα είναι x cv, δηλαδή παραμένει διαρκώς πάνω σε μια ευθεία παράλληλη στο ιδιοδιάνυσμα v. Όμοια αν οι αρχικές συνθήκες είναι τέτοιες ώστε c, δηλαδή της μορφής x cv, τότε η τροχιά είναι x cv και επομένως βρίσκεται πάνω σε μια ευθεία παράλληλη τώρα στο ιδιοδιάνυσμα v. Οι δύο αυτές ευθείες ονομάζονται αναλλοίωτοι γραμμικοί υπόχωροι και συμβολίζονται με E. Αν i, τότε η ευθεία στην διεύθυνση του αντίστοιχου ιδιοδιανύσματος ονομάζεται ευσταθής αναλλοίωτος υπόχωρος και συμβολίζεται με διεύθυνση του αντίστοιχου ιδιοδιανύσματος συμβολίζεται με u E. i s E, ενώ αν i v i τότε η ευθεία στην v ονομάζεται ασταθής αναλλοίωτος υπόχωρος και ii) Ο A έχει πραγματικές ίσες ιδιοτιμές Η γενική λύση του συστήματος (.3) τώρα με βάση την σχέση (.3) είναι x ( ) cv c v w. (.) Για αρχικές συνθήκες x cv, δηλαδή τέτοιες ώστε c, η τροχιά της απεικόνισης είναι x cv. Όπως και πριν, αυτό σημαίνει ότι η τροχιά παραμένει διαρκώς πάνω σε μια ευθεία παράλληλη στο ιδιοδιάνυσμα v, η οποία και αποτελεί τον μοναδικό αναλλοίωτο υπόχωρο. Και αντίστοιχα, αν, τότε η ευθεία αυτή ονομάζεται ευσταθής αναλλοίωτος υπόχωρος αναλλοίωτος υπόχωρος u E. s E, ενώ αν τότε ονομάζεται ασταθής iii) Ο A έχει μιγαδικές συζυγείς ιδιοτιμές Στην περίπτωση αυτή η γενική λύση είναι cos( ) si( ) si( ) cos( ), c c x u v u v (.) και όπως μπορούμε να συμπεράνουμε δεν υπάρχουν μονοδιάστατοι αναλλοίωτοι υπόχωροι, αλλά το σύνολο όλων των σημείων των τροχιών βρίσκονται στο επίπεδο που ορίζουν τα ιδιοδιανύσματα v και u. Δηλαδή ολόκληρος αυτός ο δισδιάστατος χώρος απεικονίζεται στον εαυτό του και παραμένει αναλλοίωτος. Αν s u, τότε ονομάζεται ευσταθής E, και αν, ονομάζεται ασταθής E. Στον παρακάτω πίνακα συνοψίζονται τα είδη των σταθερών σημείων των γραμμικών απεικονίσεων για όλες τις δυνατές περιπτώσεις ανάλογα με τις τιμές των ιδιοτιμών ως προς την ευστάθεια τόσο των ίδιων των σημείων όσο και των αναλλοίωτων υπόχωρων. Όπως φαίνεται και από την ονομασία τους, οι περιπτώσεις αυτές είναι ίδιες με τις αντίστοιχες που είδαμε στα δισδιάστατα συστήματα διαφορικών εξισώσεων. Η τοπολογία τους φαίνεται στα αντίστοιχα σχήματα του 4 ου κεφαλαίου, με την μόνη διαφορά ότι τώρα οι τροχιές δεν σχηματίζουν τις συνεχείς καμπύλες που βλέπουμε στα σχήματα αυτά, αλλά αποτελούν σημεία πάνω σε αυτές. Εισαγωγή στα Μη Γραμμικά Δυναμικά Συστήματα, Βουγιατζής & Μελετλίδου 5
Ιδιοτιμές Σάγμα, R, Ευσταθής κόμβος, R,, Ασταθής κόμβος, R,, Ευσταθής εστία, C\ R, Ασταθής εστία, C\ R, Κέντρο, C\ R, Για τις μη γραμμικές απεικονίσεις, εφόσον το σταθερό σημείο είναι υπερβολικό, δηλαδή δεν έχει ιδιοτιμές μέτρου ένα, ισχύει το θεώρημα ευσταθούς πολλαπλότητας, σύμφωνα με το οποίο διατηρούνται οι ευσταθείς και ασταθείς αναλλοίωτοι υπόχωροι του γραμμικοποιημένου συστήματος και στο μη γραμμικό s σύστημα. Πιο συγκεκριμένα για κάθε ευσταθή αναλλοίωτο υπόχωρο E του γραμμικοποιημένου s συστήματος υπάρχει για το μη γραμμικό σύστημα αναλλοίωτη πολλαπλότητα ίδιας διάστασης με τον E, η οποία εφάπτεται σε αυτόν στο σταθερό σημείο. Αυτή ονομάζεται ευσταθής πολλαπλότητα και x s u συμβολίζεται με W. Όμοια, σε κάθε ασταθή αναλλοίωτο υπόχωρο E του γραμμικοποιημένου συστήματος u αντιστοιχεί αναλλοίωτη πολλαπλότητα ίδιας διάστασης με τον E, που εφάπτεται σε αυτόν στο σταθερό u σημείο, η οποία ονομάζεται ασταθής πολλαπλότητα W. x Σχήμα -. Οι ευσταθείς και ασταθείς πολλαπλότητες εφάπτονται στους ευσταθείς και ασταθείς γραμμικούς υπόχωρους, αντίστοιχα, σε ένα υπερβολικό σταθερό σημείο. Το παραπάνω θεώρημα σε συνδυασμό με το θεώρημα Hartma-Grobma, στο οποίο αναφερθήκαμε νωρίτερα, μας εξασφαλίζουν ότι για τα υπερβολικά σταθερά σημεία μιας απεικόνισης η τοπολογία τους παραμένει σταθερή από το γραμμικοποιημένο σύστημα στο μη γραμμικό. Για τον λόγο αυτό η ταξινόμηση του παραπάνω πίνακα, πλην του κέντρου, χρησιμοποιείται για τον χαρακτηρισμό των σταθερών σημείων και στις μη γραμμικές απεικονίσεις. Για τα διατηρητικά συστήματα, ( det(a) =) οι ιδιοτιμές οφείλουν να είναι αντίστροφες μεταξύ τους, δηλαδή αν λ =λ τότε λ =/λ ή καθαρά φανταστικές συζυγείς, λ, =e iφ. Συνεπώς υπάρχουν δύο περιπτώσεις: ή Εισαγωγή στα Μη Γραμμικά Δυναμικά Συστήματα, Βουγιατζής & Μελετλίδου 5
έχουμε πραγματικές ιδιοτιμές και το σταθερό σημείο (ή η περιοδική τροχιά) είναι σάγμα ή μιγαδικές με λ =. οπότε έχουμε κέντρο. Στην περίπτωση πραγματικής ιδιοτιμής με λ< τότε λέμε ότι έχουμε σάγμα με ανάκλαση (Σχήμα -). Για ένα διατηρητικό σύστημα το κέντρο χαρακτηρίζεται ευσταθές ενώ το σάγμα είναι ασταθές. Εύκολα αποδεικνύεται ότι έχουμε ευστάθεια αν ισχύει tracea a a, (.3) διαφορετικά έχουμε πραγματικές ιδιοτιμές και, συνεπώς αστάθεια. Σχήμα -. Σάγματα α) λ> β) λ< (σάγμα με ανάκλαση). Ασκήσεις Άσκηση... Δείξτε ότι το σημείο ισορροπίας του γραμμικού συστήματος x x y y x y είναι σάγμα. Υπολογίστε τον ευσταθή και ασταθή υπόχωρο και γράψτε τη γενική λύση του συστήματος. Άσκηση... Δείξτε ότι το σημείο ισορροπίας του γραμμικού συστήματος x x y y x y είναι εστία. Γράψτε τη γενική λύση του συστήματος. Άσκηση..3. Αποδείξτε ότι για τα διατηρητικά συστήματα η σχέση (.3) οδηγεί σε ιδιοτιμές λ i =e iφ και άρα το σταθερό σημείο είναι ευσταθές..3 Παραδείγματα Απεικονίσεων.3. Η απεικόνιση του Héo Μια γνωστή μη γραμμική δισδιάστατη απεικόνιση είναι η απεικόνιση του Héo, η οποία δίνεται από τις σχέσεις Εισαγωγή στα Μη Γραμμικά Δυναμικά Συστήματα, Βουγιατζής & Μελετλίδου 5
, (.4) όπου ab,. Τα σταθερά σημεία της απεικόνισης αποτελούν λύσεις του συστήματος y ax x, bx y ίσες με x y ax, δηλαδή της εξίσωσης ax ( b) x, οι οποίες υπάρχουν για a a ( b ) 4 και είναι, y bx. Για να μελετήσουμε την ευστάθεια των σταθερών αυτών σημείων, βρίσκουμε τον Ιακωβιανό πίνακα στα σημεία ( x, y ), και έπειτα τις ιδιοτιμές του. Η χαρακτηριστική εξίσωση είναι x y bx b ( b ) 4a a ax A b ax ( ax ) b., ax b με λύσεις Από δω βρίσκουμε ότι το ένα σταθερό σημείο είναι πάντα ασταθές, ενώ το άλλο είναι ευσταθές για a a 3( b ) 4. Για μεγαλύτερες τιμές του a εμφανίζονται ευσταθή σημεία περιόδου, και συναντάμε το φαινόμενο της διακλάδωσης διπλασιασμού περιόδου, το οποίο ολοκληρώνεται για a. Ένα άλλο όμως αξιοσημείωτο χαρακτηριστικό της απεικόνισης αυτής, είναι ότι για ορισμένες τιμές των a και b εμφανίζεται και ένα άλλο ελκτικό σύνολο, το οποίο εκτός από χαοτικό έχει επιπλέον και μια αρκετά πολύπλοκη δομή. Συγκεκριμένα για b.3, η απεικόνιση για a asa a εμφανίζει τροχιές οι οποίες φεύγουν στο άπειρο. Στο διάστημα όμως a a a, για παράδειγμα για a.4 sa, παρατηρούμε, μετά από αριθμητική εξέλιξη της τροχιάς με βάση την αριθμητική μελέτη, την εμφάνιση του ελκυστή που βλέπουμε στο Σχήμα -3. a Σχήμα -3. Ο παράξενος ελκυστής της απεικόνισης του Héo για α=.4, β=.3. Η ιδιαιτερότητα του συνόλου αυτού φαίνεται αν μεγεθύνουμε σε μια περιοχή του μία από τις «καμπύλες», από τις οποίες αποτελείται. Όπως φαίνεται στο Σχήμα -4(α), κάθε μια από αυτές τις «καμπύλες» δεν είναι μία απλή μονοδιάστατη καμπύλη, αλλά αποτελείται από άλλες, νέες «καμπύλες». Εισαγωγή στα Μη Γραμμικά Δυναμικά Συστήματα, Βουγιατζής & Μελετλίδου 53
Σχήμα -4. Μεγεθύνσεις του παράξενου ελκυστή του Héo. Αν μεγεθύνουμε και άλλο το σχήμα του ελκυστή, για παράδειγμα μία από τις νέες αυτές «καμπύλες», τότε, όπως βλέπουμε και στο Σχήμα -4(β), θα πάρουμε την ίδια εικόνα, δηλαδή κάθε μια από τις «καμπύλες» αναλύεται σε καινούριες «καμπύλες», κοκ. Το φαινόμενο αυτό, η μεγεθυμένη δηλαδή εικόνα να είναι ποιοτικά ίδια με την αρχική, ονομάζεται αυτο-ομοιότητα υπό αλλαγή κλίμακας (self-similarity), και είναι χαρακτηριστική ιδιότητα των λεγόμενων μορφοκλασματικών συνόλων (fractals). Για b = η απεικόνιση του Héo είναι διατηρητική και δεν μπορεί να παρουσιάσει παράξενο ελκυστή. Έστω b= και a>. Η απεικόνιση έχει δύο σημεία ισορροπίας τα ( x, y) a, a, ( x, y) a, a a a a a ενώ το ίχνος του Ιακωβιανού πίνακα είναι tracea=ax. Για το Σ, το ίχνος του Α είναι πάντα μεγαλύτερο του και συνεπώς το σημείο είναι ασταθές (σάγμα). Για το Σ, επίσης, το ίχνος του Α είναι μεγαλύτερο του για a<3. Άρα το Σ είναι ευσταθές (κέντρο) για <a<3. Γύρω από τα ασταθή οι τροχιές φεύγουν γρήγορα προς το άπειρο. Γύρω από το ευσταθές Σ μπορούμε να βρούμε μια περιοχή με αναλλοίωτες καμπύλες (ημιπεριοδικές τροχιές), οι οποίες περικλείουν το Σ. Ένα παράδειγμα φαίνεται στο Σχήμα -5. Σχήμα -5. Το επίπεδο της διατηρητικής απεικόνισης του Héo (b=, a=) γύρω από τo ευσταθές σταθερό σημείο. Εισαγωγή στα Μη Γραμμικά Δυναμικά Συστήματα, Βουγιατζής & Μελετλίδου 54
.3. Η τυπική Απεικόνιση Η τυπική απεικόνιση (stadard map) μπορεί να περιγράψει την τομή Poicaré ενός διαταραγμένου ταλαντωτή (μη αυτόνομο σύστημα ΒΕ) ή γενικότερα τα ποιοτικά χαρακτηριστικά της εξέλιξης ενός Χαμιλτονιανού συστήματος ΒΕ όπως αυτά εμφανίζονται σε μια τομή Poicaré (βλ. 8.4). Στη βιβλιογραφία παρουσιάζεται με διάφορους ορισμούς, εδώ την ορίζουμε ως εξής x x y mod (.5) y y k si( x y ) mod Η πράξη modulo περιορίζει πάντα τις τιμές των μεταβλητών και ο χώρος των τροχιών της απεικόνισης είναι το τετράγωνο με αρχή το και με πλευρά π. Μπορούμε να διαπιστώσουμε ότι η ορίζουσα του Ιακωβιανού πίνακας Α της (.5) είναι μονάδα για κάθε τιμή της παραμέτρου k και, συνεπώς, η απεικόνιση είναι διατηρητική. Τα σταθερά σημεία της απεικόνισης είναι το (,), το οποίο είναι ασταθές και το (,π), το οποίο είναι ευσταθές για k<4. Παρατηρούμε ότι για k= και y έχουμε y =y για κάθε, ενώ το x μεταβάλλεται κατά την σταθερή ποσότητα y. Άρα, στην περίπτωση αυτή, οι τροχιές της απεικόνισης σχηματίζουν αναλλοίωτες καμπύλες, οι οποίες είναι ευθείες παράλληλες του άξονα x. Αν όμως ξεκινήσουμε με αρχική συνθήκη y =pπ/q, όπου p,q πρώτοι ακέραιοι, τότε το x επιστρέφει στην αρχική του τιμή μετά από q επαναλήψεις και έχουμε μια περιοδική τροχιά περιόδου q ή αλλιώς έναν συντονισμό p/q. Κάποιες τροχιές δίνονται στο Σχήμα -6(α), όπου σημειώνουμε με έντονα σημεία τον συντονισμό /3 (προσοχή το σημείο στη θέση x=π είναι το ίδιο με αυτό στη θέση x=). Η κατάσταση αυτή (k=) ονομάζεται αδιατάρακτη και η απεικόνιση είναι ολοκληρώσιμη. Σχήμα -6. Τροχιές της τυπικής απεικόνισης για α) k= και β) k=.3. Αν το k πάρει μικρές αλλά μη μηδενικές τιμές έχουμε τις τροχιές στο πάνελ (β), Σχήμα -6, όπου εμφανίζονται αλυσίδες Poicaré-Birkhoff (δες 8.4.). Στους συντονισμούς p/q συνεχίζουν να υφίστανται q σημεία ( τροχιές περιόδου q) μισά εκ των οποίων είναι ελλειπτικά (ευσταθή), τα οποία περικλείονται από νησίδες και μισά υπερβολικά (ασταθή), τα οποία συνοδεύονται από ευσταθείς και ασταθείς πολλαπλότητες. Αυτό συμβαίνει σε κάθε συντονισμό αλλά το μέγεθος των νησίδων είναι στην πλειονότητα των περιπτώσεων πολύ μικρό και μικραίνει όσο αυξάνει η τάξη του συντονισμού. Πρέπει να προσέξουμε επίσης το ένα ευσταθές σταθερό σημείο στο (π,) (ή ισοδύναμα στο (π,π) και το ένα ασταθές σταθερό σημείο στο (,) (ή, ισοδύναμα, στο (,π) ή στο (π,) ή στο (π,π)). Αυξάνοντας την τιμή της παραμέτρου k παρατηρούμε πλέον τις νησίδες και σε άλλους συντονισμούς μεγαλύτερης τάξης (βλ. Σχήμα -7). Εισαγωγή στα Μη Γραμμικά Δυναμικά Συστήματα, Βουγιατζής & Μελετλίδου 55
Σχήμα -7. Τροχιές της τυπικής απεικόνισης για α) k=.6 και β) k=.8. Επίσης στο Σχήμα -7(α), παρατηρούμε ότι στο ασταθές σταθερό σημείο τα σημεία της τροχιάς δεν ανήκουν πάνω σε κάποια καμπύλη αλλά παρουσιάζουν έναν μικρό άτακτο διασκορπισμό. Οι τροχιές αυτές είναι χαοτικές τροχιές και εμφανίζονται στην περιοχή κάθε ασταθούς σημείου περιόδου q. Ουσιαστικά έχουμε μια ισοδύναμη εικόνα της δυναμικής με αυτή που περιγράψαμε στην 8.4 για τα διαταραγμένα Χαμιλτονιανά συστήματα. Οι χαοτικές περιοχές φαίνεται να γίνονται πιο εμφανείς όσο μεγαλώνει η τιμή της παραμέτρου k (η διαταραχή). Στις παραπάνω περιπτώσεις παρατηρούμε, επίσης, ότι πολλές αναλλοίωτες καμπύλες δεν έχουν σπάσει σε νησίδες. Καθώς όμως αυξάνεται η τιμή της παραμέτρου k οι νησίδες μεγαλώνουν και συγκρούονται μεταξύ τους και οι αναλλοίωτες καμπύλες που τις διαχώριζαν δεν υπάρχουν πλέον. Έχουμε δηλαδή αλληλοεπικάλυψη συντονισμών και δημιουργούνται ευρείες χαοτικές περιοχές. Στο Σχήμα -8(α) όλες οι αναλλοίωτες καμπύλες έχουν «σπάσει» και οι χαοτικές τροχιές μπορούν να διαχέονται από τα «κενά» τα οποία αφήνουν οι νησίδες. Για ακόμα μεγαλύτερες τιμές της παραμέτρου k το χάος κυριαρχεί (Σχήμα -8(β)). Σχήμα -8. Τροχιές της τυπικής απεικόνισης για α) k=. και β) k=.. Ασκήσεις Άσκηση.3.. Δίνεται η απεικόνιση x x y, y x y Εισαγωγή στα Μη Γραμμικά Δυναμικά Συστήματα, Βουγιατζής & Μελετλίδου 56
Δείξτε ότι η καμπύλη σημεία. y x είναι αναλλοίωτο σύνολο της απεικόνισης και προσδιορίστε τα σταθερά Άσκηση.3.. Δίνεται η απεικόνιση x x y, y y x Δείξτε ότι η ευθεία xy είναι αναλλοίωτο σύνολο της απεικόνισης και προσδιορίστε τα σταθερά σημεία. Άσκηση.3.3. Δίνεται η απεικόνιση x x, y x y. y Βρείτε τα σταθερά σημεία της απεικόνισης και τα περιοδικά σημεία περιόδου δύο. Άσκηση.3.4. Βρείτε τα σημεία ισοροπίας και μελετήστε την ευστάθειά τους για την διατηρητική απεικόνιση του Héo με b=. Άσκηση.3.5. Δίνεται η απεικόνιση x x y y, y yx x Δείξτε ότι η παραβολή xy είναι αναλλοίωτο σύνολο της απεικόνισης και προσδιορίστε τα σταθερά σημεία. Άσκηση.3.6. Μελετήστε την ευστάθεια των σταθερών σημείων της τυπικής απεικόνισης και δείξτε ότι για k=4 έχουμε διακλάδωση. Σχεδιάστε το φασικό διάγραμμα για k=5. Άσκηση.3.7. Ακολουθώντας την διαδικασία η οποία περιγράφεται στην 7.6., ορίστε τον εκθέτη Lyapuov για ένα διακριτό σύστημα. Χρησιμοποιείστε τον Ιακωβιανό πίνακα της απεικόνισης. Εφαρμόστε τον υπολογισμό για κάποιες τροχιές (ημιπεριοδικές και χαοτικές) της τυπικής απεικόνισης..4 Ομοκλινικό χάος και η απεικόνιση πετάλου του Smale..4. Το ομοκλινικό πλέγμα s u Στην.. γνωρίσαμε τις πολλαπλότητες W και W, μέσα από το θεώρημα της ευσταθούς s u πολλαπλότητας. Υπάρχει περίπτωση η ευσταθής W και η ασταθής W πολλαπλότητα να τέμνονται εγκάρσια (η τομή δύο καμπυλών είναι εγκάρσια, ουσιαστικά όταν δεν είναι εφαπτομενική), όπως δηλαδή στο σημείο x του παρακάτω σχήματος, πάνελ (α), όπου x είναι ένα σάγμα. Το σημείο x σε αυτήν την περίπτωση ονομάζεται εγκάρσιο ομοκλινικό σημείο μια και ανήκει και στις δύο πολλαπλότητες και καθώς τείνει στο σαγματικό σημείο x. Εισαγωγή στα Μη Γραμμικά Δυναμικά Συστήματα, Βουγιατζής & Μελετλίδου 57
Σχήμα -9. α) Εγκάρσια τομή των πολλαπλοτήτων W s και W u β) η δημιουργία ομοκλινικού πλέγματος. Οι πολλαπλότητες W s και W u είναι, όπως είπαμε σε προηγούμενη παράγραφο, αναλλοίωτες κάτω από την απεικόνιση. Έτσι, αν ένα σημείο ανήκει σε μία από τις πολλαπλότητες ή και στις δύο, τότε θα συνεχίσει να ανήκει σε μία από αυτές ή και στις δύο. Άρα η εικόνα, όπως και η προ-εικόνα ενός ομοκλινικού σημείου κάτω από την απεικόνιση θα συνεχίσουν να αποτελούν ομοκλινικά σημεία. Επομένως η ύπαρξη ενός εγκάρσιου ομοκλινικού σημείου συνεπάγεται μια απειρία τέτοιων σημείων. Για το υποσύνολο των πολλαπλοτήτων μεταξύ δύο εγκάρσιων ομοκλινικών σημείων ονομάζεται λοβός. Αν τώρα ξεκινήσουμε από το σημείο τομής x, όσο μεγαλώνει το, τόσο ο λοβός διαστέλλεται κατά την μια διεύθυνση και συρρικνώνεται κατά την άλλη, τείνοντας να έρθει παράλληλα προς το αρχικό κομμάτι της ασταθούς πολλαπλότητας. Αντίθετα όσο μικρότερο γίνεται το, τόσο ο λοβός συρρικνώνεται κατά την πρώτη διεύθυνση και διαστέλλεται κατά την δεύτερη, τείνοντας να γίνει παράλληλος προς το αρχικό κομμάτι της ευσταθούς πολλαπλότητας. Όπως παρατηρούμε στο Σχήμα -9(β), ένα τετράγωνο το οποίο διαφεύγει από την περιοχή του σημείου κατά μήκος της ασταθούς πολλαπλότητας, έπειτα από πολλές επαναλήψεις x u της απεικόνισης, δηλαδή καθώς το μεγαλώνει, θα τείνει να γίνει ένα πέταλο γύρω από έναν λοβό της W. s Αντίθετα, όταν το μικραίνει θα τείνει να γίνει ένα πέταλο γύρω από έναν λοβό της W. Τα δύο πέταλα θα τέμνονται εγκάρσια και σε κείνη την περιοχή θα έχουμε την λεγόμενη απεικόνιση του πετάλου του Smale και ένα χαοτικό αναλλοίωτο σύνολο, το οποίο θα μελετήσουμε στην επόμενη παράγραφο..4. Το πέταλο του Smale Όπως είπαμε σε ένα ομοκλινικό πλέγμα γύρω από ένα σάγμα μιας απεικόνισης δημιουργείται η λεγόμενη απεικόνιση του πετάλου του Smale, την οποία θα μελετήσουμε παρακάτω. Θεωρούμε το τετράγωνο D πλευράς στον R. Τότε η απεικόνιση αυτή, f, λειτουργεί, όπως φαίνεται στο παρακάτω σχήμα: Σχήμα -. Η απεικόνιση του πετάλου του Smale. Εισαγωγή στα Μη Γραμμικά Δυναμικά Συστήματα, Βουγιατζής & Μελετλίδου 58
Η απεικόνιση παίρνει, δηλαδή, τα οριζόντια ορθογώνια H και, που έχουν αρχικά πλάτος και H μήκος, και στο πρώτο βήμα επεκτείνει το πλάτος τους σε, ενώ συρρικνώνει το μήκος τους σε. Έπειτα, στο δεύτερο βήμα, απεικονίζει το H στο κατακόρυφο ορθογώνιο και το στο κατακόρυφο V H ορθογώνιο V. Όπως φαίνεται και στο σχήμα, το ενδιάμεσο κομμάτι ανάμεσα στο και στο βγαίνει H H τελικά έξω από το D. Η απεικόνιση αυτή μέσα στο τετράγωνο D είναι κατά τμήματα γραμμική, μιας και αν ήταν γραμμική θα ήταν ολοκληρώσιμη. Για να ορίζει η f συνάρτηση θα πρέπει, γιατί διαφορετικά τα H και θα τέμνονταν και τα H σημεία αυτής της τομής θα είχαν δύο εικόνες, η μία μέσα στο V και η άλλη στο. Επιπλέον θεωρούμε ότι V η f είναι αντιστρέψιμη, και άρα θα πρέπει, γιατί διαφορετικά τα V και θα τέμνονταν και τα V σημεία αυτής της τομής θα είχαν δύο προ-εικόνες. Άρα η απεικόνιση του πετάλου του Smale κάτω από αυτές τις προϋποθέσεις είναι συνεχής (το τετράγωνο παραμορφώνεται με συνεχή τρόπο) και αντιστρέψιμη. Η αντίστροφη απεικόνιση f φαίνεται στο Σχήμα -. Σχήμα -. Η αντίστροφη απεικόνιση του πετάλου του Smale. Αν πάρουμε το H, τότε η απεικόνιση που το πηγαίνει στο, δίνεται από τον τύπο f V x x. (.6) y y Αν πάρουμε το H, τότε ο τύπος της f είναι x x. (.7) y y Τώρα θα κάνουμε μια παρατήρηση η οποία θα μας επιτρέψει να εφαρμόσουμε ξανά και ξανά την απεικόνιση και την αντίστροφη της. Έστω ένα κατακόρυφο ορθογώνιο V μέσα στο V (βλέπε Σχήμα -(α)). Τότε η εικόνα του κάτω από την f στο τετράγωνο D αποτελείται από δύο κατακόρυφα ορθογώνια, το ένα μέσα στο V και το άλλο μέσα στο V. Το ίδιο συμβαίνει και για ένα κατακόρυφο ορθογώνιο μέσα στο V. Η εικόνα του κάτω από την f στο D θα είναι δύο κατακόρυφα ορθογώνια το ένα μέσα στο και το άλλο μέσα στο V. V Εισαγωγή στα Μη Γραμμικά Δυναμικά Συστήματα, Βουγιατζής & Μελετλίδου 59
Σχήμα -. α) Ένα κατακόρυφο ορθογώνιο στο V απεικονίζεται μέσω της f στοv και στο V. β) Ένα οριζόντιο ορθογώνιο στο Η απεικονίζεται μέσω της f στα H και H. Αντίθετα, έστω ότι έχουμε ένα οριζόντιο ορθογώνιο μέσα στο H, όπως φαίνεται στο Σχήμα H f -(β). Τότε η προ-εικόνα του, δηλαδή η εικόνα του κάτω από την στο D είναι δύο οριζόντια ορθογώνια, το ένα μέσα στο και το άλλο μέσα στο H. Το ίδιο θα ισχύει και για ένα οριζόντιο H ορθογώνιο μέσα στο H. Η εικόνα του κάτω από την f στο D θα βρίσκεται η μία μέσα στο H και η άλλη μέσα στο H. Ας αρχίσουμε λοιπόν να κατασκευάζουμε το χαοτικό αναλλοίωτο σύνολο της απεικόνισης f του πετάλου του Smale. Στο πρώτο βήμα παίρνουμε f ( D) D, το οποίο, όπως φαίνεται από την ανάλυση που κάναμε, είναι f ( D) D V V. (.8) Αν πάρουμε το επόμενο βήμα, δηλαδή f ( D) f ( D) D, τότε λόγω αντιστρεψιμότητας της f αυτό είναι ίσο με f f ( D) D D f V V D f V f V D. (.9) Όμως σύμφωνα με την παρατήρηση που κάναμε, η εικόνα ενός κατακόρυφου ορθογωνίου, όπως είναι το, είναι ένα ορθογώνιο μέσα στο και ένα ορθογώνιο μέσα στο. Άρα μέσα στο το f V έχει δύο V V D εικόνες V και. Το f V έχει, επίσης, δύο εικόνες και V, όπως φαίνεται στο Σχήμα -3. Λόγω V V της απεικόνισης θα έχουν οριζόντιο πλάτος και θα βρίσκονται μέσα στα V και V. Θα έχουμε λοιπόν τέσσερις κατακόρυφες λωρίδες με δύο δείκτες, οι οποίοι παίρνουν τιμές και. Οι λωρίδες αυτές, επομένως, είναι στο πλήθος όσοι και οι δυνατοί συνδυασμοί των δύο συμβόλων και. Ο πρώτος δείκτης δηλώνει που βρίσκεται το κατακόρυφο ορθογώνιο στο νέο βήμα (είτε στο V είτε στο ), ενώ ο δεύτερος δείχνει από που V προήλθε, δηλαδή που βρισκόταν στο προηγούμενο βήμα (είτε στο είτε στο V ). V V Εισαγωγή στα Μη Γραμμικά Δυναμικά Συστήματα, Βουγιατζής & Μελετλίδου 6
Σχήμα -3. Στο δεύτερο βήμα της απεικόνισης f προκύπτουν τέσσερις κατακόρυφες λωρίδες στο τετράγωνο D. Συνεχίζοντας αυτή την κατασκευή του χαοτικού αναλλοίωτου συνόλου, παίρνουμε το σύνολο ( D), (.3) το οποίο στο τέλος θα αποτελείται από άπειρες κατακόρυφες ευθείες V, όπου ή. Επομένως, κάθε μια από αυτές χαρακτηρίζεται από μια άπειρη ακολουθία, και υπάρχουν τόσες όσοι είναι και οι δυνατοί συνδυασμοί δύο συμβόλων. Στο -οστο βήμα όλα τα κατακόρυφα ορθογώνια βρίσκονται μέσα στα ορθογώνια του ( ) -οστου βήματος και έχουν πλάτος. Τώρα παίρνουμε το και θα κατασκευάσουμε το σύνολο που αποτελείται από τις τομές των προ- εικόνων του D. Έχουμε στο πρώτο βήμα f ( D) D, που σύμφωνα με τα προηγούμενα είναι f ( D) D H H. (.3) Αν πάμε στο επόμενο βήμα, δηλαδή πάρουμε το f ( D) f ( D) D, τότε, και πάλι λόγω αντιστρεψιμότητας της συνάρτησης f και άρα και της, αυτό ισούται με Η προ-εικόνα του f f ( D) D D f H H D f H f H D. (.3), σύμφωνα με την παρατήρηση που κάναμε νωρίτερα, θα είναι ένα ορθογώνιο μέσα στο H και ένα ορθογώνιο μέσα στο H. Το πλάτος του καθενός είναι και θα τα συμβολίζουμε με H και H αντίστοιχα, όπου ο πρώτος δείκτης εκφράζει σε ποιο ορθογώνιο βρίσκεται (δηλαδή το H ή το H ), ενώ ο δεύτερος από ποιο προήλθε (δηλαδή εδώ το ). Με τον ίδιο ακριβώς τρόπο χαρακτηρίζονται και οι προ-εικόνες και του H. Άρα έχουμε συνολικά ορθογώνια, όπως παρατηρούμε στο Σχήμα, όσα δηλαδή και οι δυνατοί συνδυασμοί των δύο συμβόλων και, με πλάτος. f f s s... s... s, s,..., s,... H H H H s i Εισαγωγή στα Μη Γραμμικά Δυναμικά Συστήματα, Βουγιατζής & Μελετλίδου 6
Σχήμα -4. Στο δεύτερο βήμα της απεικόνισης f προκύπτουν τέσσερις οριζόντιες λωρίδες στο τετράγωνο D. Στο -οστο βήμα θα έχουμε οριζόντια ορθογώνια, δηλαδή όσα και οι δυνατοί συνδυασμοί των δύο συμβόλων και ανά, τα οποία θα βρίσκονται μέσα στα ορθογώνια του ()-οστου βήματος, και θα έχουν πλάτος. Καθώς το το σύνολο (.33) θα αποτελείται από άπειρες οριζόντιες γραμμές, που θα τις συμβολίζουμε με H, όπου s ή, και οι οποίες επομένως χαρακτηρίζονται από τις άπειρες ακολουθίες δύο συμβόλων s, s,..., s,.... Το αναλλοίωτο σύνολο, το οποίο έχουμε κατασκευάσει, είναι τελικά το ( D), (.34) το οποίο αποτελείται από σημεία τα οποία είναι τομές των κατακόρυφων γραμμών οριζόντιων, δηλαδή το και των. Στο Σχήμα -5 βλέπουμε τα πρώτα βήματα της κατασκευής του παραπάνω συνόλου, όπου f ( D) f ( D)... f ( D) f ( D). Για κάθε ζευγάρι ορθογώνιας και κατακόρυφης γραμμής αυτό το σημείο είναι μοναδικό, και μπορούμε να το χαρακτηρίσουμε με μια διπλά άπειρη ακολουθία..., s,..., s, s, s, s,..., s,.... Έχουμε λοιπόν όλους τους δυνατούς συνδυασμούς διπλά άπειρων ακολουθιών, η κάθε μία από τις οποίες ανήκει στο σύνολο. Το σημείο αυτό βρίσκεται μέσα στο και η πρώτη εικόνα του μέσα στο και ούτω καθεξής, αλλά και μέσα στο και η προεικόνα του μέσα στο Vs H s s... s... και ούτω καθεξής. Αλλά V f H, οπότε η προ-εικόνα βρίσκεται μέσα στο και η δεύτερη προεικόνα μέσα στο H s κοκ. f f ( D) H s Vs si s ss s...... i Vs s s...... H s H i s Σχήμα -5. Τα πρώτα τρία βήματα της κατασκευής του αναλλοίωτου χαοτικού συνόλου Λ. Εισαγωγή στα Μη Γραμμικά Δυναμικά Συστήματα, Βουγιατζής & Μελετλίδου 6
Το σύνολο σε αυτό, είναι αναλλοίωτο γιατί όλες οι εικόνες και οι προ-εικόνες ενός σημείου βρίσκονται μέσα f ( ) f f ( D) f ( D) f ( D). (.35) Παρόμοια αποδεικνύεται f ( ). Έστω τώρα ένα σημείο q, το οποίο αντιστοιχεί στην διπλά άπειρη ακολουθία...,,...,,,,,...,,... s s s s s s s s Θεωρούμε την απεικόνιση μετατόπισης, που ορίζεται ως εξής, s () s με s (.36) i si Το σημείο () s αντιστοιχεί τότε στην εικόνα f( q). Πράγματι μια και η εικόνα του q ανήκει στο (όντας στο δεύτερο βήμα, όπου έχουμε τα ορθογώνια H ), αν το απεικονίσουμε μια φορά τότε το f( q) θα βρίσκεται μέσα στο H. Επομένως, έχουμε μια απεικόνιση από το σύνολο στο σύνολο των διπλά s άπειρων ακολουθιών, η οποία είναι αντιστρέψιμη γιατί είναι -, δηλαδή κάθε στοιχείο του έχει ένα μοναδικό αντιπρόσωπο στις διπλά άπειρες ακολουθίες και κάθε διπλά άπειρη ακολουθία αντιπροσωπεύει ένα μοναδικό σημείο του. Επιπλέον μέσω της απεικόνισης ισχύει ότι f, δηλαδή η f και η είναι τοπολογικά συζυγείς. Έτσι, και η είναι χαοτική όπως και το σύνολο των (απλά) άπειρων ακολουθιών, που δείξαμε στο προηγούμενο κεφάλαιο. Επομένως, και η f είναι χαοτική στο σύνολο. ss. H s.5 Βιβλιογραφία Arrowsmith, D.K. & Place, C.M., 99. A Itroductio to Dyamical Systems. New York: Cambridge Uiversity Press. Baker, G.L. & Gollub, J.P., 99. Chaotic Dyamics: a itroductio. New York: Cambridge Uiversity Press. Devay, R.L., 989. A itroductio to chaotic dyamical systems. d ed. Redwood: Addiso- Wesley. Diacu, F. & Holmes P., 996. Celestial ecouters: The origi of chaos ad stability. Priceto Uiversity Press. (ελληνική μετάφραση: Απροσδόκητες Ουράνιες Συναντήσεις. Αθήνα: εκδόσεις Τραυλός). Es, R.H. & McGuire, G.C.,. Noliear Physics with Mathematica for Scietists ad Egieers. Bosto: Birkhauser. Guckeheimer, J. & Holmes, P., 997. Noliear Oscillatios, Dyamical Systems, ad Bifurcatios of Vector Fields. 3rd ed. New York: Spriger-Verlag. Jose, J.V. & Saleta, E.J., 998. Classical Dyamics: a cotemporary approach. Cambridge UK: Cambridge Uiversity Press. Kuleovic, M.R.S. & Merio, O.,. Discrete Dyamical systems ad Differece Equatios with Mathematica. Chapma ad Halls/CRC. Lych, S., 7. Dyamical systems with applicatios usig Mathematica. Bosto: Birkhauser. Ott, E.,. Chaos i Dyamical Systems. d ed. New York: Cambridge Uiversity Press. Rasbad, S. N., 99. Chaotic Dyamics of Noliear Systems. New York: Wiley. Robiso, R.C.,. A itroductio to Dyamical Systems. Cotiuous ad Discrete, Pure ad Applied Udergraduate texts. America Mathematical Society. Schuster, H.G., 984. Determiistic Chaos: a itroductio. Weiheim-Germay: Physik-Verlag. Strogatz, S.H., 994. Noliear Dyamics ad Chaos, with Applicatios to Physics, Biology, Chemistry, ad Egieerig. Readig, MA: Addiso-Wesley. Εισαγωγή στα Μη Γραμμικά Δυναμικά Συστήματα, Βουγιατζής & Μελετλίδου 63
Tel, T. & Gruiz, M., 6. Chaotic Dyamics: a itroductio based o Classical Mechaics. New York: Cambridge Uiversity Press. Wiggis, S., 99. Itroductio to applied oliear dyamical systems ad chaos. New York: Dover. Μπούντης, Α., 4. Ο θαυμαστός κόσμος των Fractals. Αθήνα: LeaderBooks. Σούρλας, Δ.,. Δυναμικά συστήματα και εφαρμογές με τη χρήση του Mapple. Σημειώσεις. Διαθέσιμο στη: http://www.physics.upatras.gr/uploadedfiles/course_8_56.pdf. Πανεπιστήμιο Πάτρας. Εισαγωγή στα Μη Γραμμικά Δυναμικά Συστήματα, Βουγιατζής & Μελετλίδου 64