Χάρτης του Χενόν

μικρογραφία|Ελκυστής του Χενόν για  and
μικρογραφία|Ελκυστής του Χενόν για  and

Στα μαθηματικά, ο **χάρτης του Χενόν**, μερικές φορές αποκαλούμενος **ελκυστής/χάρτης του Χενόν-Πομό**, είναι ένα δυναμικό σύστημα διακριτού χρόνου. Είναι ένα από τα πιο μελετημένα παραδείγματα δυναμικών συστημάτων που παρουσιάζουν χαοτική συμπεριφορά. Ο χάρτης του Χενόν παίρνει ένα σημείο  στο επίπεδο και το απεικονίζει σε ένα νέο σημείο

:\begin{cases}x_{n+1} = 1 - a x_n^2 + y_n\\y_{n+1} = b x_n.\end{cases}

Ο χάρτης εξαρτάται από δύο παραμέτρους,  και , οι οποίες για τον κλασικό χάρτη του Χένον έχουν τιμές  και . Για τις τυπικές τιμές, ο χάρτης του Χενόν γίνεται χαοτικός. Για άλλες τιμές των  και , ο χάρτης μπορεί να είναι χαοτικός, διακοπτόμενος ή να συγκλίνει προς μια περιοδική τροχιά. Μια επισκόπηση του είδους της συμπεριφοράς του χάρτη σε διαφορετικές τιμές παραμέτρων μπορεί να ληφθεί από το διάγραμμα τροχιάς του.

Ο χάρτης παρουσιάστηκε από τον Μισέλ Χενόν ως ένα απλοποιημένο μοντέλο του τμήματος Πουανκαρέ του μοντέλου Λόρεντζ. Για τον κλασικό χάρτη, ένα αρχικό σημείο του επιπέδου είτε θα προσεγγίσει ένα σύνολο σημείων γνωστό ως παράξενος ελκυστής του Χενόν, είτε θα αποκλίνει στο άπειρο. Ο ελκυστής του Χενόν είναι ένα φράκταλ, λείο προς μια κατεύθυνση και ένα σύνολο Κάντορ προς μια άλλη. Αριθμητικές εκτιμήσεις δίνουν μια διάσταση συσχέτισης 1.21&nbsp;±&nbsp;0.01 ή 1.25&nbsp;±&nbsp;0.02 (ανάλογα με τη διάσταση του χώρου ενσωμάτωσης) και μια διάσταση καταμέτρησης κουτιών 1.261&nbsp;±&nbsp;0.003 για τον ελκυστή του κλασικού χάρτη.

## Ελκυστής
μικρογραφία|δεξιά|Διάγραμμα τροχιάς για το χάρτη του Χενόν με ''b=0.3''. Η υψηλότερη πυκνότητα (πιο σκούρα) υποδηλώνει αυξημένη πιθανότητα η μεταβλητή ''x'' να πάρει αυτή την τιμή για τη δεδομένη τιμή του ''a''. Προσέξτε τις ''δορυφορικές'' περιοχές χάους και περιοδικότητας γύρω από ''a=1.075'' -- αυτές μπορούν να προκύψουν ανάλογα με τις αρχικές συνθήκες για τα ''x'' και ''y''.
Ο χάρτης του Χενόν απεικονίζει δύο σημεία στον εαυτό τους: αυτά είναι τα αναλλοίωτα σημεία. Για τις κλασικές τιμές των *a* και *b* του χάρτη του Χενόν, ένα από αυτά τα σημεία βρίσκεται στον ελκυστή:

:  x = \frac{\sqrt{609}-7}{28} \approx 0.631354477, 
:  y = \frac{3\left(\sqrt{609}-7\right)}{280} \approx 0.189406343.

Το σημείο αυτό είναι ασταθές. Τα σημεία κοντά σε αυτό το σταθερό σημείο και κατά μήκος της κλίσης 1,924 θα πλησιάσουν το σταθερό σημείο και τα σημεία κατά μήκος της κλίσης -0,156 θα απομακρυνθούν από το σταθερό σημείο. Οι κλίσεις αυτές προκύπτουν από τις γραμμικοποιήσεις της ευσταθής πολλαπλότητας και της ασταθής πολλαπλότητας του σταθερού σημείου. Η ασταθής πολλαπλότητα του σταθερού σημείου στον ελκυστή περιέχεται στον παράξενο ελκυστή του χάρτη του Χενόν.

Ο χάρτης του Χενόν δεν έχει έναν παράξενο ελκυστή για όλες τις τιμές των παραμέτρων *a* και *b*. Για παράδειγμα, διατηρώντας το *b* σταθερό στο 0,3 το διάγραμμα διακλάδωσης δείχνει ότι για *a* = 1,25 ο χάρτης του Χενόν έχει μια σταθερή περιοδική τροχιά ως ελκυστή.

μικρογραφία|Μεταβολή του "b" που δείχνει το διάγραμμα διακλάδωσης. Το σχήμα μπούμερανγκ σχεδιάζεται περαιτέρω με έντονη γραφή στην κορυφή. Οι αρχικές συντεταγμένες για κάθε διατομή είναι (0, -0,2). Επιτυγχάνεται με τη χρήση των προγραμμάτων Python και Matplotlib.

Οι Cvitanović κ.ά. έδειξαν πώς η δομή του παράξενου ελκυστή του Χενόν μπορεί να γίνει κατανοητή από την άποψη των ασταθών περιοδικών τροχιών εντός του ελκυστή.

## Σχέση με το διάγραμμα διακλάδωσης
Εάν σχεδιαστούν πολλαπλοί χάρτες του Χενόν, για κάθε χάρτη μεταβάλλοντας την τιμή του b, και στη συνέχεια στοιβάζοντας όλους τους χάρτες μαζί, παράγεται ένα διάγραμμα διακλάδωσης. Ένα διάγραμμα διακλάδωσης που είναι διπλωμένο σαν taco. Εξ ου και το σχήμα μπούμερανγκ όταν το βλέπουμε σε 2D από πάνω.

## Επαναλαμβανόμενα πλακίδια και πολύμορφα
μικρογραφία|δεξιά|Κλασικός χάρτης του Χενόν (15 επαναλήψεις). Υποεπανάληψη που υπολογίζεται με αποσύνθεση τριών βημάτων.
Ο χάρτης του Χενόν μπορεί να αναλυθεί σε σύνθεση τριών συναρτήσεων που δρουν στο πεδίο η μία μετά την άλλη.

1) μια καμπύλη διατήρησης της περιοχής:
: (x_1, y_1) = (x, 1 - ax^2 + y)\,,

2) μια συρρίκνωση προς την κατεύθυνση *x*:
: (x_2, y_2) = (bx_1, y_1)\,,

3) μια αντανάκλαση στη γραμμή *y*&nbsp;=&nbsp;*x*:
: (x_3, y_3) = (y_2, x_2)\,.

## Μονοδιάστατη αποσύνθεση
Ο χάρτης του Χενόν μπορεί επίσης να αποδομηθεί σε έναν μονοδιάστατο χάρτη, ο οποίος ορίζεται παρόμοια με την ακολουθία Φιμπονάτσι.

:x_{n+1} = 1-a x_n^2 + b x_{n-1}

## Τετραδιάστατη επέκταση
μικρογραφία|Χάρτης του Χενόν σε 4D. Το εύρος για το ''b'' είναι -1,5 έως 0,5 και για το ''a'' είναι -2,3 έως 1,0. Όλες οι επίπεδες διατομές που σε κάθε εικόνα του βίντεο είναι κενές υποδηλώνει ότι για τις εν λόγω διατομές, τα σημεία αποκλίνουν στο άπειρο και δεν σχεδιάστηκαν.
Παρόλο που ο χάρτης του Χενόν μπορεί να απεικονιστεί στους άξονες *x* και *y*, μεταβάλλοντας τα *a* και *b*, αποκτούμε δύο επιπλέον διαστάσεις για την απεικόνιση. Συνεπώς, ο χάρτης του Χενόν μπορεί να σχεδιαστεί σε χώρο τεσσάρων διαστάσεων. Μπορεί να απεικονιστεί μια τέτοια γραφική παράσταση, αν βλέπουμε ένα υπερεπίπεδο (δηλαδή έναν κύβο του χώρου) κάθε φορά που αναπαριστά τρεις άξονες, και στη συνέχεια μετακινούμαστε κατά μήκος του τέταρτου άξονα καθώς περνάει ο χρόνος.

Στο παράδειγμα του βίντεο δεξιά, οι τρεις άξονες για κάθε εικόνα στο βίντεο είναι οι *x*, *y* και *b*. Καθώς περνάει ο χρόνος, ο άξονας *a* είναι αυτός που μετακινείται.

## Ειδικές περιπτώσεις και τροχιές χαμηλής περιόδου
Αν κάποιος επιλύσει τον μονοδιάστατο χάρτη του Χενόν για την ειδική περίπτωση:
: X = x_{n-1} = x_n = x_{n+1}
Καταλήγουμε στο απλό τετραδικό:
: X = 1-a X^2 + b X
ή
: 0 = -a X^2 + (b-1) X + 1

Ο τετραγωνικός τύπος αποδίδει:
: X = {b-1 \pm \sqrt{b^2-2b+1+4a} \over 2a}

Στην ειδική περίπτωση b=1, αυτό απλοποιείται ως εξής
: X = {\pm \sqrt{a} \over a} 

Εάν, επιπλέον, το a είναι της μορφής {1 \over c^n} ο τύπος απλοποιείται περαιτέρω ως εξής
: X = \pm c^{n/2}

Στην πράξη, το σημείο εκκίνησης (X,X) θα ακολουθήσει έναν βρόχο 4 σημείων σε δύο διαστάσεις που διέρχεται από όλα τα τεταρτημόρια.

: (X,X) = (X,-X)
: (X,-X) = (-X,-X)
: (-X,-X) = (-X,X)
: (-X,X) = (X,X)

## Ιστορία
Το 1976 στη Γαλλία, ο ελκυστής Λόρεντζ αναλύθηκε από τον φυσικό Υβ Πομό, ο οποίος πραγματοποίησε μια σειρά αριθμητικών υπολογισμών με τον Τζ.Λ. Ιμπανέζ. Η ανάλυση αποτέλεσε ένα είδος συμπληρώματος της εργασίας του Ρουέλ (και του Λάνφορντ) που παρουσιάστηκε το 1975. Έδειξαν ενδιαφέρον για τον ελκυστή Λόρεντζ, αυτό δηλαδή που αντιστοιχεί στις αρχικές διαφορικές εξισώσεις, και τη γεωμετρική του δομή. Οι Πομό και Ιμπάνεζ συνδύασαν τους αριθμητικούς υπολογισμούς τους με τα αποτελέσματα της μαθηματικής ανάλυσης, που βασίζεται στη χρήση των τομών Πουανκαρέ. Το τέντωμα, η αναδίπλωση και η ευαισθησία στις αρχικές συνθήκες εισάγονται φυσικά σε αυτό το πλαίσιο σε σχέση με τον ελκυστή Λόρεντζ. Ενώ η ανάλυση είναι τελικά πολύ μαθηματική, οι Πομό και Ιμπάνεζ ακολουθούν ένα είδος φυσικής προσέγγισης, πειραματιζόμενοι αριθμητικά με το σύστημα Λόρεντζ.

Συγκεκριμένα, οι εμπειρίες αυτές επιφέρουν δύο ανοίγματα. Επιτρέπουν την ανάδειξη μιας ιδιόμορφης συμπεριφοράς του συστήματος Λόρεντζ: υπάρχει μια μετάβαση, που χαρακτηρίζεται από μια κρίσιμη τιμή των παραμέτρων του συστήματος, για την οποία το σύστημα μεταβαίνει από μια θέση παράξενου ελκυστή σε μια διαμόρφωση σε οριακό κύκλο. Η σημασία της θα αποκαλυφθεί από τον ίδιο τον Πομό (και έναν συνεργάτη του, τον Πολ Μανέβιλ) μέσω του "σεναρίου" της Διακοπής, που προτάθηκε το 1979.

Ο δεύτερος δρόμος που προτείνουν οι Πομό και Ιμπάνεζ είναι η ιδέα της υλοποίησης δυναμικών συστημάτων ακόμη απλούστερων από εκείνο του Λόρεντζ, αλλά με παρόμοια χαρακτηριστικά, και τα οποία θα επέτρεπαν να αποδειχθούν με μεγαλύτερη σαφήνεια οι "αποδείξεις" που έρχονται στο φως από τους αριθμητικούς υπολογισμούς. Δεδομένου ότι η συλλογιστική βασίζεται στην τομή του Πουανκαρέ, προτείνει να παραχθεί μια εφαρμογή του επιπέδου καθεαυτού, αντί μιας διαφορικής εξίσωσης, μιμούμενη τη συμπεριφορά του Λόρεντζ και του παράξενου ελκυστή του. Επινόησε μία εφαρμογή που του επέτρεψε να τεκμηριώσει καλύτερα τον συλλογισμό του.

Τον Ιανουάριο του 1976, ο Πομό παρουσίασε την εργασία του κατά τη διάρκεια σεμιναρίου στο Αστεροσκοπείο της Κυανής Ακτής, στο οποίο συμμετείχε ο Μισέλ Χενόν. Ο Μισέλ Χενόν χρησιμοποίησε την πρόταση του Πομό για να βρει ένα απλό σύστημα με παράξενο ελκυστή.

## Τρόποι λειτουργίας Κούπμαν
Στα δυναμικά συστήματα, ο τελεστής Κούπμαν είναι ένας φυσικός γραμμικός τελεστής στο χώρο των κλιμακωτών πεδίων. Για γενικά μη γραμμικά συστήματα, οι ιδιοσυναρτήσεις αυτού του τελεστή δεν μπορούν να εκφραστούν σε μια άνετη μορφή. Συνεπώς, πρέπει να υπολογίζονται αριθμητικά. Αυτές οι λειτουργίες μπορούν να δώσουν μια εικόνα της συμβολικής δυναμικής των χαοτικών χαρτών, όπως ο χάρτης του Χενόν . Στον τρόπο που παρέχεται, η σταθερή πολλαπλότητα του παράξενου ελκυστή μπορεί να φανεί καθαρά.

μικρογραφία|Ένας προσεγγιστικός τρόπος Koopman του χάρτη του Χενόν που βρέθηκε με βάση 50x50 Γκάουσιαν, ομοιόμορφα κατανεμημένα στο πεδίο. Η τυπική απόκλιση των Γκαουσιανών είναι 3/45 και ένα πλέγμα σημείων 100x100 χρησιμοποιήθηκε για την προσαρμογή του τρόπου. Αυτός ο τρόπος έχει ιδιοτιμή 0,998 και είναι ο πλησιέστερος στο 1. Αξίζει να σημειωθεί ότι η σκούρα μπλε περιοχή είναι η σταθερή πολλαπλότητα του παράξενου ελκυστή.|κέντρο|440x440px

## Γενικεύσεις
Μια τρισδιάστατη γενίκευση του χάρτη Hénon προτάθηκε από τους Χιτζ και Ζέλε. Δίνεται από τη σχέση

\mathbf{s}(n+1)=

\begin{bmatrix}

s_1(n+1) \\

s_2(n+1) \\

s_3(n+1)

\end{bmatrix}

=

\begin{bmatrix}

-\alpha s_1^2(n)+s_3(n)+1\\

-\beta s_1(n)\\

\beta s_1(n) + s_2(n)

\end{bmatrix}.

Για \alpha=1.07 και \beta=0.3 μπορεί να αποδειχθεί ότι σχεδόν όλες οι αρχικές συνθήκες μέσα στη μοναδιαία σφαίρα δημιουργούν χαοτικά σήματα με τον μεγαλύτερο εκθέτη Λιαπούνοφ. 0.23.

Πολλές άλλες γενικεύσεις έχουν προταθεί στη βιβλιογραφία. Μπορεί κανείς να παράγει, παραδείγματος χάριν, χαοτικά σήματα περιορισμένης ζώνης χρησιμοποιώντας ψηφιακά φίλτρα στο βρόχο ανατροφοδότησης του συστήματος.

## Δημοσιεύσεις
* 
* 
* 
* 
* . Reprinted in: Chaos and Fractals, A Computer Graphical Journey: Ten Year Compilation of Advanced Research (Ed. C. A. Pickover). Amsterdam, Netherlands: Elsevier, pp.&nbsp;69–71, 1998
* 

## Δείτε επίσης
* Αλγόριθμος διαμαντιού τετραγώνου
* Καμπύλη που γεμίζει το χώρο
* Νιφάδα του Κοχ
* Καμπύλη Χίλμπερτ
* Καμπύλη του δράκου
* Σπόγγος του Μένγκερ

* Σύνολο Μάντελμπροτ
* Σύνολο Julia
* Σύνολο Κάντορ
* Οικοδομήσιμο Σύμπαν
* Σύστημα-L

## Παραπομπές


Κατηγορία:Φράκταλ
Κατηγορία:Χάος
Κατηγορία:Δυναμικά συστήματα