Οιονεί κύκλος

Στα μαθηματικά, ένας **οιονεί κύκλος** είναι μια καμπύλη του Ζορντάν στο μιγαδικό επίπεδο που είναι η εικόνα ενός κύκλου υπό μια οιονεί αντιστοίχιση του επιπέδου στον εαυτό της. Αρχικά εισήχθησαν ανεξάρτητα από τον Πφλούγκερ (1961) και τον Τιενάρι (1962), ενώ στην παλαιότερη βιβλιογραφία (στα γερμανικά) αναφέρονταν ως κουασικομορφικές καμπύλες, μια ορολογία που ίσχυε και για τα τόξα. Στην μιγαδική ανάλυση και τη γεωμετρική θεωρία συναρτήσεων, οι οιονεί κύκλοι παίζουν θεμελιώδη ρόλο στην περιγραφή του καθολικού χώρου Τέιχμυλλερ, μέσω των σχεδόν συμμετρικών ομοιομορφισμών του κύκλου. Οι οιονεί κύκλοι παίζουν επίσης σημαντικό ρόλο στα σύνθετα δυναμικά συστήματα.

## Ορισμός
Ως οιονεί κύκλος ορίζεται η εικόνα ενός κύκλου κάτω από μια οιονεί σχηματική απεικόνιση του εκτεταμένου μιγαδικού επιπέδου. Ονομάζεται K-quasicircle αν η οιονεί σχηματική απεικόνιση έχει διαστολή K. Ο ορισμός του οιονεί κύκλου γενικεύει τον χαρακτηρισμό μιας καμπύλης Ζορντάν ως την εικόνα ενός κύκλου κάτω από έναν ομοιομορφισμό του επιπέδου. Ειδικότερα, ένα οιονεί κύκλωμα είναι μια καμπύλη Ζορντάν. Το εσωτερικό ενός οιονεί κύκλου ονομάζεται οιονεί δίσκος.

Όπως φαίνεται στους Λέτο & Βιρτάνεν (1973), όπου χρησιμοποιείται ο παλαιότερος όρος " οιονεί καμπύλη", αν μια καμπύλη Ζορντάν είναι η εικόνα ενός κύκλου κάτω από έναν οιονεί σχηματισμό σε μια γειτονιά της καμπύλης, τότε είναι επίσης η εικόνα ενός κύκλου κάτω από έναν οιονεί σχηματισμό του εκτεταμένου επιπέδου και επομένως ένα οιονεί κύκλωμα. Το ίδιο ισχύει και για τα "κβαντικομορφικά τόξα" τα οποία μπορούν να οριστούν ως κβαντικομορφικές εικόνες ενός κυκλικού τόξου είτε σε ένα ανοικτό σύνολο είτε ισοδύναμα στο εκτεταμένο επίπεδο.

## Γεωμετρικοί χαρακτηρισμοί
Ο Άλφορς (1963) έδωσε έναν γεωμετρικό χαρακτηρισμό των οιονεί κύκλων ως εκείνων των καμπυλών του Ζορντάν για τις οποίες η απόλυτη τιμή του λόγου διασταύρωσης τεσσάρων οποιωνδήποτε σημείων, που λαμβάνονται με κυκλική σειρά, περιορίζεται κάτω από μια θετική σταθερά.

Ο Άλφορς απέδειξε επίσης ότι οι οιονεί κύκλοι μπορούν να χαρακτηριστούν με όρους μιας ανισότητας αντίστροφου τριγώνου για τρία σημεία: θα πρέπει να υπάρχει μια σταθερά C τέτοια ώστε αν δύο σημεία *z*1  και *z*2 επιλεγούν στην καμπύλη και το *z*3 βρίσκεται στο μικρότερο από τα τόξα που προκύπτουν, τότε

: |z_1-z_3| + |z_2-z_3| \le C |z_1-z_2|.

Αυτή η ιδιότητα είναι επίσης γνωστή ως "περιορισμένη στροφή" ή "συνθήκη τόξου".

Για τις καμπύλες του Ζορντάν στο εκτεταμένο επίπεδο που διέρχεται από το ∞, ο Αχλφόρς (1966) έδωσε μια απλούστερη αναγκαία και επαρκή συνθήκη για να είναι οιονεί κύκλος. Υπάρχει μια σταθερά *C* > 0  τέτοια ώστε αν *z*1, *z*2 είναι οποιαδήποτε σημεία της καμπύλης και  *z*3βρίσκεται στο τμήμα μεταξύ τους, τότε

:\displaystyle{\left|z_3 -{z_1+z_2\over 2}\right|\le C |z_1-z_2|.}

Αυτοί οι μετρικοί χαρακτηρισμοί συνεπάγονται ότι ένα τόξο ή μια κλειστή καμπύλη είναι οιονεί διαμορφωμένη όποτε προκύπτει ως η εικόνα ενός διαστήματος ή του κύκλου κάτω από έναν χάρτη f bi-Lipschitz, δηλαδή ικανοποιεί την εξής συνθήκη

: C_1|s-t|\le |f(s)-f(t)| \le C_2 |s-t|

για θετική σταθερά *C**i*.

## Οιονεί κύκλοι και οιονεί συμμετρικοί ομοιομορφισμοί
Αν το φ είναι ένας οµοιοµορφισµός του κύκλου, τότε υπάρχουν συµβατικοί χάρτες  *f* του [*z*| 1 σε διαχωρισµένες περιοχές έτσι ώστε το συµπλήρωµα των εικόνων των *f* και *g* να είναι µια καµπύλη του Ζορντάν. Οι χάρτες f και g επεκτείνονται συνεχώς στον κύκλο |*z*| = 1  και η εξίσωση ραφής

: \varphi= g^{-1}\circ f 

κατέχει. Η εικόνα του κύκλου είναι ένα οιονεί κύκλος.

Αντίστροφα, χρησιμοποιώντας το θεώρημα απεικόνισης Ρίμαν, οι σύμμορφοι χάρτες f και g που ομογενοποιούν το εξωτερικό ενός ημικυκλίου οδηγούν σε έναν ημικυκλικό ομοιομορφισμό μέσω της παραπάνω εξίσωσης.

Το πηλίκο του χώρου της ομάδας των ομορφομορφισμών του κουασυμμετρικού κύκλου από την υποομάδα των μετασχηματισμών Μέμπιους παρέχει ένα μοντέλο του καθολικού χώρου Τεϊχμίλλερ. Η παραπάνω αντιστοιχία δείχνει ότι και ο χώρος των οιονεί κυκλών μπορεί να ληφθεί ως πρότυπο .

## Οιονεί συμμορφική αντανάκλαση
Μια οιονεί συμμορφική ανάκλαση σε μια καμπύλη Ζορντάν  είναι ένας οιονεί συμμορφικός χάρτης περιόδου 2 που αντιστρέφει τον προσανατολισμό και αλλάζει το εσωτερικό και το εξωτερικό της καμπύλης καθορίζοντας σημεία της καμπύλης. Δεδομένου ότι η

:\displaystyle{R_0(z) = {1\over \overline{z}}} 

παρέχει μια τέτοια αντανάκλαση για τον μοναδιαίο κύκλο, κάθε ημικύκλιος δέχεται μια ημικυκλική αντανάκλαση. Ο Άλφφορς (1963) απέδειξε ότι αυτή η ιδιότητα χαρακτηρίζει τους ημικύκλους.

Ο Άλφορς σημείωσε ότι το αποτέλεσμα αυτό μπορεί να εφαρμοστεί σε ομοιόμορφα περιορισμένες ολόμορφες μονοσήμαντες συναρτήσεις *f*(*z*) στον μοναδιαίο δίσκο *D*. Έστω  Ω = *f*(*D*). Όπως είχε αποδείξει ο Καραθεοδωρή χρησιμοποιώντας τη θεωρία των πρώτων άκρων του, η *f* επεκτείνεται συνεχώς στον μοναδιαίο κύκλο αν και μόνο αν το ∂Ω είναι τοπικά συνδεδεμένο, δηλαδή αν επιδέχεται κάλυψη από πεπερασμένα πολλά συμπαγή συνδεδεμένα σύνολα αυθαίρετα μικρής διαμέτρου. Η επέκταση στον κύκλο είναι 1-1 αν και μόνο αν το ∂Ω δεν έχει σημεία αποκοπής, δηλαδή σημεία που όταν αφαιρούνται από το ∂Ω δίνουν ένα ασύνδετο σύνολο. Το θεώρημα του Καραθεοδωρή δείχνει ότι ένα τοπικά σύνολο χωρίς σημεία αποκοπής είναι απλώς μια καμπύλη Jordan και ότι σε αυτήν ακριβώς την περίπτωση η επέκταση της *f* στον κλειστό μοναδιαίο δίσκο είναι ομοιομορφισμός. Αν η *f* επεκτείνεται σε μια οιονεί απεικόνιση του εκτεταμένου μιγαδικού επιπέδου τότε το ∂Ω είναι εξ ορισμού ένας οιονεί κύκλος. Αντίθετα ο Άλφορς(1963) παρατήρησε ότι αν το ∂Ω είναι ένα ημικύκλιο και το *R*1 συμβολίζει την ημικυκλική αντανάκλαση στο ∂Ω τότε η ανάθεση

: \displaystyle{f(z)=R_1f R_0(z)}

για |*z*| > 1 ορίζει μια οιονεί παραμορφωτική επέκταση της *f* στο εκτεταμένο μιγαδικό επίπεδο.

## Σύνθετα δυναμικά συστήματα

Οι οιονεί κύκλοι ήταν γνωστό ότι προκύπτουν ως σύνολα Julia των ορθολογικών χαρτών *R*(*z*). Ο Σάλιβαν (1985) απέδειξε ότι αν το σύνολο Φατού του *R* έχει δύο συνιστώσες και η δράση του R στο σύνολο Julia είναι "υπερβολική", δηλαδή υπάρχουν σταθερές*c* > 0 και *A* > 1 τέτοιες ώστε

: |\partial_z R^n(z)| \ge c A^n 

στο σύνολο Julia, τότε το σύνολο Julia αποτελεί οιονεί κύκλος.

Υπάρχουν πολλά άλλα παραδείγματα:

*τετραγωνικά πολυώνυμα *R*(*z*) = *z*2 + *c* με σταθερό σημείο έλξης
*το κουνέλι Ντουαντί (*c* = –0.122561 + 0.744862i, όπου *c*3 + 2 *c*2 + *c* + 1 = 0)
*τα τετραγωνικά πολυώνυμα *z*2 + λ*z* με |λ| \|\mu\|_\infty 

έτσι ώστε το μ να είναι Γ-αναλλοίωτο, δηλ.

:\mu(g(z)){\overline{\partial_{z}g(z)}\over \partial_z g(z)}=\mu(z)

για κάθε *g* στο Γ. (Το μ είναι επομένως ένα "διαφορικό Μπελτράμι" στην επιφάνεια Ρίμαν *D* /  Γ).

Επεκτείνετε το μ σε συνάρτηση επί της **C** θέτοντας  μ(*z*) = 0 εκτός *D*.

Η εξίσωση Μπελτράμι

: \partial_{\overline{z}} f (z) =\mu(z)\partial_zf(z)

δέχεται μια λύση μοναδική μέχρι τη σύνθεση με έναν μετασχηματισμό Μέμπιους.

Πρόκειται για έναν οµοιοµορφισµό οµοιοµορφίας του εκτεταµένου σύνθετου επιπέδου.

Εάν το *g* είναι στοιχείο του Γ, τότε το *f*(*g*(*z*))  δίνει μια άλλη λύση της εξίσωσης Μπελτράμι, έτσι ώστε

:\alpha(g)=f\circ g \circ f^{-1}

είναι ένας μετασχηματισμός Μέμπιους.

Η ομάδα α(Γ) είναι μια οιονεί Fuchsian ομάδα με οριακό σύνολο το οιονεί ημικύκλιο που δίνεται από την εικόνα του μοναδιαίου κύκλου υπό *f*.

## Διάσταση του Χάουσντορφ

Είναι γνωστό ότι υπάρχουν οιονεί κύκλοι για τους οποίους κανένα τμήμα δεν έχει πεπερασμένο μήκος. Η διάσταση Χάουστορφ των οιονεί κύκλων διερευνήθηκε για πρώτη φορά από τους Γκέρινγκ & Väisälä (1973), οι οποίοι απέδειξαν ότι μπορεί να πάρει όλες τις τιμές στο διάστημα [1,2]. Ο Αστάλα (1993), χρησιμοποιώντας τη νέα τεχνική των "ολόμορφων κινήσεων" μπόρεσε να εκτιμήσει την αλλαγή στη διάσταση Χάουσντορφ οποιουδήποτε επίπεδου συνόλου κάτω από έναν κβαντικομορφικό χάρτη με διαστολή Κ. Για τους κβαντικούς κύκλους C, υπήρξε μια αδρή εκτίμηση για τη διάσταση Χάουσντορφ.

: d_H(C) \le 1 + k

όταν

:k={K-1\over K+1}.

Από την άλλη πλευρά, η διάσταση Χάουσντορφ για τα σύνολα Julia Jc των επαναλήψεων των ρητών χαρτών

:R(z) =z^2 +c

εκτιμήθηκε ως αποτέλεσμα της εργασίας των Ρούφους Μπόουεν και Ντέιβιντ Ρούελ, οι οποίοι έδειξαν ότι

:1 

Δεδομένου ότι πρόκειται για οιονεί κύκλους που αντιστοιχούν σε μια διαστολή

: K=\sqrt{1+t\over 1-t}

όταν

: t= |1-\sqrt{1-4c}|,

αυτό οδήγησε τους Μπέκερ & Πομερένκε (1987) να δείξουν ότι για μικρά k

:1+ 0.36 k^2\le d_H(C) \le 1 + 37 k^2.

Αφού βελτίωσε το κατώτερο όριο μετά από υπολογισμούς για τη νιφάδα Κοχ με τους Στέφεν Ρόουντ και Οντέντ Σραμ, ο Αστάλα (1994) θεώρησε ότι

: d_H(C) \le 1 + k^2.

Η εικασία αυτή αποδείχθηκε από τον Σμίρνοφ (2010)- μια πλήρης περιγραφή της απόδειξής του, πριν από τη δημοσίευση, δόθηκε ήδη στους Αστάλα, Ιβάνιεκ & Μάρτιν (2009).

Για μια οιονεί Fuchsian ομάδα οι Μπόουεν (1979) και Σάλιβαν (1982) έδειξαν ότι η διάσταση Χάουσντορφ *d* του οριακού συνόλου είναι πάντα μεγαλύτερη από 1. Όταν *d* \lambda=d(2-d)\,\in (0,1)

είναι η χαμηλότερη τιμή του τελεστή Laplace της αντίστοιχης  Υπερβολικής 3-πολύπτυγμα (Hyperbolic 3-manifold).

## Βιβλιογραφία
*
*
*
*
*
*, Section 13.2, Dimension of quasicircles.
*
* 
*
*
*
*
*'' +
*
*
*
*
*
*
*
*
*
*
*

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

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


 

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