Κουνέλι του Ντουαντί

[μικρογραφία|334x334εσ|Αλυσίδα κουνελιών Ντουαντί. Πρόκειται για το κεντρικό τμήμα του [Σύνολο Julia|συνόλου Julia. Η παράμετρος c είναι το σημείο (-1,167741, 0,243119) του συνόλου Μάντελμπροτ.]]
Το **κουνέλι Ντουαντί** είναι ένα ιδιαίτερο σύνολο Julia  που η παράμετρος του είναι κοντά στο κέντρο μιας περιόδου 3 βολβών του συνόλου Μάντελμπροτ που αντιστοιχεί σε έναν μιγαδικό τετραγωνικό χάρτη. Πήρε το όνομά του από τον Γάλλο μαθηματικό Αντριέν Ντουαντί.

## Ορισμός
Το κουνέλι δημιουργείται με την επανάληψη του χάρτη του συνόλου Μάντελμπροτ z=z^2+c στο μιγαδικό επίπεδο με το c  να είναι σταθερό ώστε να βρίσκεται στο βολβό της περιόδου τρία του κύριου καρδιοειδούς και το z να κυμαίνεται πάνω στο επίπεδο.

Τα εικονοστοιχεία στην εικόνα χρωματίζονται στη συνέχεια για να δείξουν αν για μια συγκεκριμένη τιμή του z η επανάληψη συγκλίνει ή αποκλίνει.

## Μορφές του μιγαδικού τετραγωνικού χάρτη
Υπάρχουν δύο κοινές μορφές για τον μιγαδικό τετραγωνικό χάρτη \mathcal M. Η πρώτη, που ονομάζεται επίσης μιγαδικός λογιστικός χάρτης, γράφεται ως

:z_{n+1} = \mathcal M z_n = \gamma z_n \left(1 - z_n\right),

όπου z είναι μια μιγαδική μεταβλητή και \gamma είναι μια μιγαδική παράμετρος. Η δεύτερη κοινή μορφή είναι

:w_{n+1} = \mathcal M w_n = w_n^2 - \mu.

Εδώ w είναι μια μιγαδική μεταβλητή και \mu  είναι μια μιγαδική παράμετρος. Οι μεταβλητές z και w συνδέονται με την εξίσωση

:z = -\frac{w}{\gamma}+\frac{1}{2},

και οι παράμετροι \gamma και \mu συνδέονται με τις εξισώσεις 

:\mu = \left(\frac{\gamma-1}{2}\right)^2 - \frac{1}{4} \quad,\quad \gamma = 1 \pm \sqrt{1 + 4\mu}.

Να σημειωθεί ότι το \mu παραμένει αμετάβλητο με την αντικατάσταση \gamma \to 2 - \gamma.

## Εικόνες

Lapin de Douady 01.png|Βαθμός σύγκλισης των επιπέδων του γκρι
LCMJ rabbit.png|Όρια καθορισμένων επιπέδων
Parabolic Julia set for internal angle 1 over 3.png|Χοντρό κουνέλι
Rabbit Julia set with spine.svg|Με το κεντρικό "αγκάθι"
Julia set with 3 external rays.svg|Συγκλίνουσες εξωτερικές δέσμες σε \alpha_c\,
Perturbated Rabbit Julia set.png|Ταραγμένο κουνέλι
PerturbatedRabbitJuliaSetZoom.png|Μεγέθυνση του κουνελιού που διαταράχθηκε
Julia set for fc(z) = z^2 - 0.110 + 0.6557i.png|Η στολή Julia για το fc(z) = z^2 - 0.110 + 0.6557i. 


## Σύνολο Μάντελμπροτ και γεμάτα σύνολα Julia
Υπάρχουν δύο επίπεδα που σχετίζονται με το \mathcal M. Το ένα από αυτά, το επίπεδο z (ή w), ονομάζεται επίπεδο απεικόνισης, καθώς το \mathcal M στέλνει αυτό το επίπεδο στον εαυτό του. Το άλλο, το επίπεδο \gamma (ή \mu), ονομάζεται επίπεδο ελέγχου.

Η φύση όσων συμβαίνουν στο επίπεδο χαρτογράφησης υπό την επαναλαμβανόμενη εφαρμογή του \mathcal M εξαρτάται από το πού βρίσκεται το \gamma (ή \mu ) στο επίπεδο ελέγχου. Το γεμάτο σύνολο Julia αποτελείται από όλα τα σημεία στο επίπεδο απεικόνισης των οποίων οι εικόνες παραμένουν περιορισμένες κάτω από απεριόριστα επαναλαμβανόμενες εφαρμογές του \mathcal M. Το σύνολο Μάντελμπροτ αποτελείται από εκείνα τα σημεία στο επίπεδο ελέγχου, έτσι ώστε το σχετικό γεμάτο σύνολο Julia στο επίπεδο απεικόνισης να είναι συνδεδεμένο.

Στην Εικόνα 1 παρουσιάζεται το σύνολο Μάντελμπροτ όταν η παράμετρος ελέγχου είναι η \gamma και στην Εικόνα 2 παρουσιάζεται το σύνολο Μάντελμπροτ όταν η παράμετρος ελέγχου είναι η \mu. Δεδομένου ότι τα z και w είναι αφινικοί μετασχηματισμοί του ενός του άλλου (ένας γραμμικός μετασχηματισμός συν μια μετάθεση), τα γεμάτα σύνολα Julia φαίνονται σχεδόν τα ίδια είτε στο επίπεδο z είτε στο επίπεδο w.

## Κουνέλι Ντουαντί

Το κουνέλι Ντουαντί περιγράφεται πιο εύκολα με όρους του συνόλου Μάντελμπροτ, όπως φαίνεται στην Εικόνα 1 (παραπάνω). Σε αυτό το σχήμα, το σύνολο Μάντελμπροτ, τουλάχιστον όταν το βλέπουμε από απόσταση, εμφανίζεται ως δύο πλάι-πλάι μοναδιαίοι δίσκοι με βλαστούς. Ας θεωρήσουμε τα βλαστάρια στις θέσεις μία και πέντε της ώρας στον δεξιό δίσκο ή τα βλαστάρια στις θέσεις επτά και έντεκα της ώρας στον αριστερό δίσκο. Όταν το \gamma βρίσκεται μέσα σε ένα από αυτά τα τέσσερα βλαστάρια, το σχετικό συμπληρωμένο σύνολο Julia στο επίπεδο απεικόνισης είναι ένας κουνέλι Ντουαντί. Για αυτές τις τιμές του \gamma, μπορεί να αποδειχθεί ότι το \mathcal M έχει το z=0 και ένα άλλο σημείο ως ασταθή (απωθητικά) σταθερά σημεία και το z=\infty ως ελκτικό σταθερό σημείο. Επιπλέον, ο χάρτης {\mathcal{M}}^3 έχει τρία ελκτικά σταθερά σημεία. Το κουνέλι του Ντουαντί αποτελείται από τα τρία ελκτικά σταθερά σημεία z_1, z_2, και z_3 και τις λεκάνες έλξης τους.

Παραδείγματος χάριν, στην Εικόνα 3 παρουσιάζεται το κουνέλι του Ντουαντί στο επίπεδο z, όταν \gamma=\gamma_D=2.55268-0.959456i, ένα σημείο στην εκβλάστηση των πέντε ωρών του δεξιού δίσκου.
Για αυτή την τιμή του \gamma, ο χάρτης \mathcal M έχει τα απωθητικά σταθερά σημεία z=0 και z=.656747-.129015i. Τα τρία ελκτικά σταθερά σημεία του {\mathcal M}^3 (που ονομάζονται επίσης σταθερά σημεία τριών περιόδων) έχουν τις θέσεις
:z_1 = 0.499997032420304  - (1.221880225696050\times10^{-6})i{\;}{\;}{\mathrm {(red)}},
:z_2 = 0.638169999974373  - (0.239864000011495)i{\;}{\;}{\mathrm {(green)}},
:z_3 = 0.799901291393262  - (0.107547238170383)i{\;}{\;}{\mathrm {(yellow)}}.

Τα κόκκινα, πράσινα και κίτρινα σημεία βρίσκονται στις λεκάνες B(z_1), B(z_2), and B(z_3) του {\mathcal M}^3, αντίστοιχα. Τα λευκά σημεία βρίσκονται στη λεκάνηB(\infty) του \mathcal M.

Η δράση του \mathcal M σε αυτά τα σταθερά σημεία δίνεται από τις σχέσεις
:{\mathcal M}z_1=z_2,
:{\mathcal M}z_2=z_3,
:{\mathcal M}z_3=z_1.

Στις σχέσεις αυτές αντιστοιχούν τα εξής αποτελέσματα

:{\mathcal M}B(z_1)=B(z_2) {\;} {\mathrm {or}} {\;} {\mathcal M}{\;}{\mathrm {red}}\subseteq{\mathrm {green}},
:{\mathcal M}B(z_2)=B(z_3) {\;} {\mathrm {or}} {\;} {\mathcal M}{\;}{\mathrm {green}}\subseteq{\mathrm {yellow}},
:{\mathcal M}B(z_3)=B(z_1) {\;} {\mathrm {or}} {\;} {\mathcal M}{\;}{\mathrm {yellow}}\subseteq{\mathrm {red}}.

Ως δεύτερο παράδειγμα, την εικόνα 4 παρουσιάζει ένα κουνέλι Ντουαντί όταν \gamma=2-\gamma_D=-.55268+.959456i, ένα σημείο στο βλαστό έντεκα ωρών στον αριστερό δίσκο. (Όπως σημειώθηκε προηγουμένως, το \mu  είναι αναλλοίωτο κάτω από αυτόν τον μετασχηματισμό.) Το κουνέλι κάθεται τώρα πιο συμμετρικά στο επίπεδο. Τα σταθερά σημεία της τρίτης περιόδου βρίσκονται τότε στο
:z_1=  0.500003730675024  + (6.968273875812428 \times 10^{-6})i {\;}{\;} ({\mathrm {red}}),
:z_2=-0.138169999969259  + (0.239864000061970)i {\;}{\;} ({\mathrm {green}}),
:z_3= -0.238618870661709  -  (0.264884797354373)i {\;}{\;} ({\mathrm {yellow}}),

Τα απωθητικά σταθερά σημεία του ίδιου του \mathcal M βρίσκονται στα z=0 και
z=1.450795 + 0.7825835i.. Οι τρεις μεγάλοι λοβοί στα αριστερά, οι οποίοι περιέχουν τα σταθερά σημεία τριών περιόδων z_1,z_2, και z_3, συναντώνται στο σταθερό σημείοz=0, ενώ οι αντίστοιχοι λοβοί στα δεξιά συναντώνται στο σημείο  z=1. Αποδεικνύεται ότι η επίδραση του  \mathcal  M στα σημεία κοντά στην αρχή συνίσταται σε μια αριστερόστροφη περιστροφή γύρω από την αρχή της \arg(\gamma),), ή πολύ κοντά στο 120^\circ,  ακολουθούμενη από κλιμάκωση (διαστολή) κατά έναν παράγοντα |\gamma|=1.1072538.

## Πρόβλημα του στριφτού κουνελιού

Στις αρχές της δεκαετίας του 1980, ο Χάμπαρντ (Hubbard) έθεσε το λεγόμενο πρόβλημα του στριφτού Κουνέλιού, ένα πρόβλημα πολυωνυμικής ταξινόμησης. Ο στόχος είναι να προσδιοριστούν οι τύποι ισοδυναμίας Θάρστον των συναρτήσεων των μιγαδικών αριθμών που συνήθως δεν δίνονται από έναν τύπο (αυτά ονομάζονται τοπολογικά πολυώνυμα)": .

*δεδομένου ενός τοπολογικού τετραγωνικού του οποίου το σημείο διακλάδωσης είναι περιοδικό με περίοδο τρία, με ποιο τετραγωνικό πολυώνυμο είναι ισοδύναμο κατά Θάρστον;
*προσδιορισμός της κλάσης ισοδυναμίας των "στριμμένων κουνελιών", δηλαδή των συνθέτων του πολυωνύμου "κουνελιού" με  nth δύναμη των στριμμένων κατά Dehn γύρω από τα αυτιά του.

Αρχικά επιλύθηκε από τους Λοράν Μπαρθολντί και Βολοντίμιρ Νεκρασέβιτς. χρησιμοποιώντας επαναληπτικές ομάδες μονοδρομιών.

Έχει επίσης επιλυθεί η γενίκευση του προβλήματος του στριμμένου κουνελιού στην περίπτωση όπου ο αριθμός των μετακριτικών σημείων είναι αυθαίρετα μεγάλος.

## Περισσότερες πληροφορίες
* 
* 
* Adrien Douady: La dynamique du lapin (1996) - video on the YouTube

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

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

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


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