Yinelemeli Kübik Dönüşümler Üzerine Notlar

Bu notta, gerçel veya karmaşık doğrudan kendi üzerine giden yinelemeli kübik (üçüncü derece) dönüşümlerin dinamikleri tartışılacak ve bu dönüşümler için parametre uzayının coğrafyası açıklanacaktır. Bu yazı, az sayıda kesin ifade veya kanıt içeren kaba bir inceleme olup, Douady, Hubbard, Branner ve Rees'in çalışmalarına güçlü bir şekilde dayanmaktadır.

1. Kübik dönüşümler için parametre uzayı.

Branner ve Hubbard'ı takip ederek, karmaşık sayılar $\mathbb{C}$'den $\mathbb{C}$'ye giden herhangi bir kübik polinom dönüşümü, karmaşık bir afin değişken değişimi altında, şu formda bir dönüşüme eşleniktir:

$$z \mapsto f(z) = z^3 - 3a^2 z + b,$$

burada kritik noktalar $\pm a$ şeklindedir. (Ek A ile karşılaştırınız.) Bu normal form, (1.1)'i $z \mapsto -f(-z) = z^3 - 3a^2 z - b$ dönüşümüne götüren ve $b$'nin işaretini değiştiren evrim (involution) hariç tektir. Böylece iki sayı,

$$A = a^2, \qquad B = b^2 \tag{1.2}$$

afin eşleniklik farkıyla karmaşık kübik dönüşümlerden oluşan modül (moduli) uzayı için tam bir koordinat kümesi oluşturur. $A$ değişmezi, ancak ve ancak iki kritik nokta çakıştığında sıfırlanan bir tür diskriminant olarak düşünülebilir; $B$ ise ancak ve ancak $f$ bir tek fonksiyon olduğunda sıfırlanan bir asimetri ölçüsüdür.

Şimdi gerçel katsayılı bir kübik $x \mapsto g(x)$ dönüşümünü ele alalım. Yukarıdaki gibi karmaşık bir koordinat değişimiyle normal forma indirgersek, gerçel olduğu ortaya çıkan tam bir $(A, B)$ değişmezler kümesi elde ederiz. Ancak, yalnızca gerçel bir koordinat değişimine izin verirsek, o zaman ek bir değişmez daha ortaya çıkar, yani baş katsayının işareti:

$$\sigma = \operatorname{sgn}(g''') \tag{1.3}$$

$B \neq 0$ olduğunda $\sigma$'nın $\operatorname{sgn}(B)$ ile çakıştığını kontrol etmek zor değildir. Ancak bu ek değişmez $\sigma$, $B = 0$ olduğunda esastır; çünkü bu durumda karmaşık sayılar üzerinde eşlenik olan ancak gerçel sayılar üzerinde eşlenik olmayan iki esaslı farklı gerçel polinom dönüşümü vardır:

$$x \mapsto x^3 - 3Ax \qquad\text{ve}\qquad x \mapsto -x^3 - 3Ax$$

Böylece, gerçel kübik dönüşümlerin gerçel afin eşleniklik sınıflarının modül uzayı, iki kapalı yarım düzlemin ayrık birleşimi olarak tanımlanabilir, yani $A \in \mathbb{R}$, $B \geq 0$, $\sigma = +1$ yarım düzlemi ve $A \in \mathbb{R}$, $B \leq 0$, $\sigma = -1$ yarım düzlemi. Herhangi bir gerçel kübik dönüşüm, normal formda bir ve yalnızca bir dönüşüme gerçel afin eşleniktir:

$$x \mapsto \sigma x^3 - 3Ax + \sqrt{|B|}. \tag{1.4}$$

($B \neq 0$ olduğunda, alternatif normal form olan $\xi \mapsto B\xi^3 - 3A\xi + 1$ formunu kullanabiliriz.) $\sigma A \geq 0$ olan iki kadranda, ilişkili gerçel kübik dönüşümün gerçel kritik noktalara sahip olduğuna, kalan iki kadranda yani $\sigma A < 0$ olduğunda ise karmaşık eşlenik kritik noktalara sahip olduğuna dikkat ediniz. Daha fazla ayrıntı Ek A'da bulunabilir.

2. Gerçel dinamik sistemler olarak gerçel kübik dönüşümler.

Gerçel bir dinamik sistem olarak kabul edilen bir $f: \mathbb{R} \to \mathbb{R}$ kübik dönüşümünün yinelemelerinin davranışını tanımlamaya çalışalım. Yörüngesi $\{x, f(x), f(f(x)), \dots\}$ sınırlı olan tüm $x \in \mathbb{R}$ noktalarından oluşan kompakt küme için $K_{\mathbb{R}} = K_{\mathbb{R}}(f)$ gösterimini kullanmak uygundur. Bu $K_{\mathbb{R}}$ kümesi, $f$'nin "dolu Julia kümesi"nin gerçel kısmı olarak tanımlanabilir. (§3 ile karşılaştırınız.)

Şekil 1. Gerçel kübik polinomların dört farklı sınıfı için temsili grafikler. $f''' > 0$ durumu gösterilmiştir; ancak $f''' < 0$ durumuna karşılık gelen örnekler bu şekle bir aynadan bakılarak elde edilebilir.

İlk olarak, gerçel kübiklerin her parametre yarım düzlemini $R_0$, $R_1$, $R_2$ ve $R_3$ şeklinde dört bölgeye ayıran çok kaba bir bölüntü sunuyoruz. Daha genel olarak, derecesi $d \geq 2$ olan gerçel polinom $f$ dönüşümlerini aşağıdaki gibi $d+1$ farklı sınıfa ($R_0, R_1, \dots, R_d$) ayırırız. Eğer $K_{\mathbb{R}}(f)$ en fazla tek bir noktadan oluşuyorsa, $f$'nin aşikar $R_0$ sınıfına ait olduğunu söyleyeceğiz. (Daha kesin olarak, derece tek olduğunda $K_{\mathbb{R}}$ bir sabit noktadan oluşacak ve derece çift olduğunda boş küme olacaktır.)

Eğer $f$ bu aşikar sınıfa ait değilse, o zaman $K_{\mathbb{R}}(f)$ içinde en az iki farklı nokta olmalıdır. $I$, $K_{\mathbb{R}}(f)$'yi içeren en küçük kapalı aralık olsun. Dolayısıyla $I$'nın dışından başlayan her yörünge sonsuza kaçmalıdır, ancak $I$'nın iki uç noktasının yörüngesi sınırlı kalmalıdır. Aslında süreklilik gereği, $I$'nın her bir uç noktası yine $I$'nın bir uç noktasına eşlenmelidir.

Tanım. $f \notin R_0$ için, $f$'nin grafiğinin $I \times I$ ile kesişimi $n$ adet farklı bileşene sahipse $f$'nin $R_n$ sınıfına ait olduğunu söyleyeceğiz (Şekil 1). Diğer bir deyişle, $I$ aralığı, $I$ içine eşlenen $n$ tane kapalı alt aralığa ($d > 3$ olduğunda bu aralıkların bazıları dejenere olabilir) ve kesinlikle $I$'nın dışına eşlenen $n-1$ tane ayıran açık aralığa bölünebiliyorsa $f$, $R_n$ sınıfına aittir. Her bir açık aralığın $f$'nin bir kritik noktasını içermesi gerektiğinden $n \leq d$ olduğuna dikkat ediniz.

Örnek olarak, derece $d = 2$ için, $x \mapsto x^2 + c$ kuadratik dönüşümü, eğer $-2 \leq c \leq 1/4$ ise $R_1$'e, ve eğer $1/4 < c$ ise $R_0$'a aittir.

Herhangi bir $d$ derecesi için, $f$'nin $R_1$ sınıfına ait olması ancak ve ancak $K_{\mathbb{R}}$ kompakt kümesinin aşikar olmayan bir aralık (yani $I$ ile çakışan) olmasıyla, ya da başka bir deyişle, bu $I$ aralığının kendi içine eşlenmesi ve $I$ dışındaki tüm yörüngelerin sonsuza kaçmasıyla mümkündür. $n \geq 2$ olan $R_n$ içindeki $f$'ler için, kritik yörüngelerin (yani kritik noktaların yörüngelerinin) en az $n-1$ tanesi gerçel olmalı ve sonsuza kaçmalıdır. $n = d$ durumu özel bir ilgi konusudur. Eğer $f \in R_d$ ise, kritik yörüngelerin tamamı sonsuza kaçar. Dahası, $I$ aralığı, her biri difeomorfik olarak tüm $I$ aralığı üzerine eşlenen $d$ tane ayrık alt aralık içerir. [Guckenheimer, §§2.8, 3.1] çalışmasını takip eden oldukça hassas bir argüman, $K_{\mathbb{R}}$ kümesinin sıfır ölçümlü bir Cantor kümesi olduğunu gösterir. Ayrıca, $f|_{K_{\mathbb{R}}}$ kısıtlaması, $d$ sembol üzerindeki tek taraflı bir kaydırmaya (shift) homeomorfiktir. $R_d$ içindeki $d$. dereceden polinomlar, $\log(d)$'ye eşit maksimal topolojik entropiye sahiptir. (§2.4 ile karşılaştırınız.) Bunlar, karmaşık periyodik noktalarının tamamının farklı olması ve gerçel $I$ aralığında yer alması özelliğine sahiptir. Buradan, bunların (karmaşık) Julia kümesinin gerçel aralıktaki Cantor kümesi $K_{\mathbb{R}} \subset \mathbb{R}$ ile çakıştığı sonucu çıkar.

Şimdi kübik $d = 3$ durumuna özelleşelim. Gerçel kübik dönüşümlerin dört sınıfını ayırmak için parametre düzleminde aşağıdaki gibi dört eğri tanımlarız (Şekil 2).

Şekil 2. $(A, B)$ parametre düzlemindeki dört bölge ve onları ayıran eğriler.

Tanım. $\operatorname{Per}_p(\mu)$, ilişkili $f$ kübik dönüşümünün, çarpanı $(f^{\circ p})'$ $\mu$'ye eşit olan $p$ periyotlu periyodik bir yörüngeye sahip olduğu tüm $(A, B)$ parametre çiftlerinden oluşsun. Özellikle,

$$\operatorname{Per}_1(+1): B = 4(A + \tfrac{1}{3})^3$$

eğrisi, $f$'nin grafiğinin köşegene teğet olduğu tüm parametre çiftlerinden oluşurken,

$$\operatorname{Per}_2(+1): B = 4(A - \tfrac{2}{3})^3$$

eğrisi, $f \circ f$ grafiğinin köşegene teğet olduğu dönüşümleri verir. Bu tür teğetlik noktalarına sırasıyla 1 veya 2 periyotlu eyer-düğüm (saddle-node) noktaları denir.

Benzer şekilde, $\operatorname{Preper}(t)_p$, bir kritik noktanın, diyelim ki $+a$'nın, $f^{\circ t}(a)$ noktası $p \geq 1$ periyotlu bir periyodik yörünge üzerinde yer alacak şekilde ön-periyodik (preperiodic) olduğu parametre çiftlerinin eğrisi olsun. Burada $t$'nin minimal ve kesinlikle pozitif olduğunu varsayıyoruz. Böylece,

$$\operatorname{Preper}(1)_1: B = 4A(A - 1)^2$$

eğrisi, bir kritik noktanın $f$'nin bir sabit noktasına eşlendiği dönüşümleri verirken,

$$\operatorname{Preper}(1)_2: B = -(1 \pm (2A + 1)\sqrt{-A})^2,$$

eğrisi ($A, B \leq 0$ kadranında), bir kritik noktanın 2 periyotlu bir yörüngeye eşlendiği dönüşümleri verir. Daha fazla ayrıntı için bkz. Ek A.

$R_0$, $R_1$, $R_2$ ve $R_3$ durumları arasında ancak bu eğrilerden en az birini geçerek geçiş yapabiliriz. Aslında, $\sigma = 1$, $B \geq 0$ yarım düzleminde yalnızca $\operatorname{Per}_1(1)$ ve $\operatorname{Preper}(1)_1$ eğrilerine ihtiyacımız vardır; bu durum Şekil 1'in incelenmesiyle doğrulanabilir. Benzer şekilde, $\sigma = -1$, $B \leq 0$ yarım düzleminde yalnızca $\operatorname{Per}_2(1)$ ve $\operatorname{Preper}(1)_2$ eğrilerine ihtiyacımız vardır. Bu dört eğrinin grafikleri ve her parametre yarım düzleminin dört bölgeye karşılık gelen bölüntüsü, ilgisiz eğri segmentleri çıkarılmış olarak Şekil 2'de gösterilmiştir.

(Benzer bir durum sınırları açıklaması, uygun şekilde normalize edilmiş $d$. dereceden polinomlardan oluşan $(d-1)$ parametreli aile için de verilebilir. $d+1$ bölgelerini ($R_i$) ayıran benzer $\operatorname{Per}^d_p(\mu)$ ve $\operatorname{Preper}^d(t)_p$ hiperyüzeyleri mevcuttur. $d$ tek olduğunda açıklama kübik durumdakine çok benzerken, $d$ çift olduğunda yalnızca üç hiperyüzeye ihtiyacımız vardır, yani her durumda $\operatorname{Per}^d_1(+1)$ ve $\operatorname{Preper}^d(2)_1$, ve ayrıca $d \geq 4$ olduğunda $\operatorname{Preper}^d(1)_1$.)

Kübik parametre düzleminin $R_1$ ve $R_2$ bölgelerinde karmaşık davranışlar için birçok olasılık vardır. Farklı davranış türlerinden bazıları Şekil 3'te ayırt edilmiştir. $R_2$ bölgesinde iki kritik yörüngeden en az birinin sonsuza kaçması gerektiğini biliyoruz, ancak diğer kritik yörünge sonsuza kaçabilir (şekilde beyazla gösterilmiştir) veya sınırlı kalabilir (açık griyle gösterilmiştir). Benzer şekilde $R_1$ durumunda iki kritik yörüngenin her ikisi de kaotik davranabilir (koyu gri) veya biri veya her ikisi birden çekici periyodik yörüngelere yakınsayabilir (daha açık tonlar). $R_0$ ve $R_3$ bölgeleri nispeten donuk dinamik davranışlara karşılık geldikleri için bu Şekilde beyaz renkle boyanmıştır. Bu tür şekilleri oluşturmak için kullanılan yöntemlerin yanı sıra bunların sınırlılıklarının tartışılması için bkz. Ek C.

Not. Birçok amaç için, $b = \pm \sqrt{B}$ olmak üzere $(A, b)$ parametre düzleminde çalışmak daha doğaldır. Karşılık gelen bifurkasyon diyagramı Şekil 4'te gösterilmiştir. Elbette bu şekil yalnızca pozitif baş katsayılı gerçel kübikleri içerir. Negatif baş katsayılı kübiklerin benzer bir parametrelendirmesi için, $B = -(b')^2 \leq 0$ olacak şekilde $b' = \pm \sqrt{-B}$ olmak üzere $(A, b')$ düzleminde çalışmalıyız. (Bkz. Şekil 5.) Şekil 4 kabaca Şekil 3'teki üst yarım düzlemin "çifti (double)", Şekil 5 ise alt yarım düzlemin çifti olarak tanımlanabilir.

Şekil 3, 4 veya 5'in büyütülmüş kısımlarının incelenmesi, birkaç karakteristik örüntünün farklı ölçeklerde birçok kez tekrarlandığını göstermektedir. Dikkate değer olanlar "kırlangıç (swallow)" şeklindeki bölgeler (Şekil 7), "kemer (arch)" şeklindeki bölgeler (Şekil 11) ve "çarpım (product)" benzeri bölgelerdir (Şekil 13). Bu bölgeleri, ilişkili $f$ dönüşümlerinin dinamikleri cinsinden kısmen şu şekilde açıklayabiliriz:

Tanım. Bir veya daha fazla kritik noktası olan pürüzsüz bir $f: \mathbb{R} \to \mathbb{R}$ dönüşümünün, kritik noktalar kümesinin bir $U$ komşuluğu için aşağıdaki koşullar sağlanıyorsa yeniden normalize edilebilir (renormalizable) olduğu söylenir: (1) $U$'nun her bileşeni en az bir kritik nokta içerir, (2) $U$'dan kendisine giden ilk dönüş dönüşümü $\hat{f}$ tanımlı ve pürüzsüzdür, ve (3) $U \cup f(U) \cup f^{\circ 2}(U) \cup \cdots$ birleşimi en az iki farklı bileşene sahiptir. (Burada (2) koşulu, her $x \in U$ için $f^{\circ n}(x) \in U$ olacak şekilde bir $n \geq 1$ tam sayısının var olduğunu ve bu en küçük tam sayı olan $n = n(x)$'in $U$'nun her bağlı bileşeni üzerinde sabit olduğunu söyler. (3) koşulu ise, $U$'nun bağlı olduğu ve kendi içine eşlendiği aşikar durumu hariç tuttuğumuzu söyler.)

Daha açık bir ifadeyle, gerçel kritik noktalara (mutlaka farklı olması gerekmez) sahip gerçel bir kübik $f$ dönüşümü, ancak ve ancak aşağıdaki dört sınıftan birine uyuyorsa yeniden normalize edilebilirdir (bkz. Şekil 6).

Durum A. Bitişik Kritik Noktalar. Her iki kritik noktayı da içeren bir açık $U$ aralığı ve $U, f(U), \dots, f^{\circ p-1}(U)$ aralıklarının ikişer ikişer ayrık olmasını sağlayan ancak $f^{\circ p}(U) \subset U$ olan bir $p \geq 2$ tam sayısı mevcuttur.

Durum B. Çift Geçişli (Bitransitive). İki kritik nokta etrafında ayrık $U_1$ ve $U_2$ aralıkları mevcuttur öyle ki $U = U_1 \cup U_2$ birleşiminden kendisine giden ilk dönüş dönüşümü tanımlı ve pürüzsüzdür ve bu iki bileşeni birbirleriyle değiştirir. Diğer bir deyişle, bazı $p \geq 1$ ve $q \geq 1$ için $f^{\circ p}(U_1) \subset U_2$ ve $f^{\circ q}(U_2) \subset U_1$ olur. Bu davranış için evrensel bir modelin "çift kuadratik (biquadratic)" bir dönüşümde, yani iki kuadratik dönüşümün bileşkesinde ortaya çıktığını göreceğiz.

Durum C. Yakalama (Capture). Yukarıdaki gibi $U_1$ ve $U_2$ komşulukları mevcuttur, ancak ilk dönüş dönüşümü hem $U_1$ hem de $U_2$'yi $U_2$'nin içine taşır. Böylece $U_1$'in yörüngesi, $U_2$'nin periyodik yörüngesi tarafından "yakalanır". ([Wittner] ile karşılaştırınız.)

Durum D. Ayrık Periyodik Çukurlar (Sinks). Yine ayrık $U_1$ ve $U_2$ komşulukları mevcuttur, ancak bu durumda ilk dönüş dönüşümü her bir $U_i$'yi kendi içine taşır, diyelim ki $f^{\circ p}(U_1) \subset U_1$ ve $f^{\circ q}(U_2) \subset U_2$.

Şekil 6. Hiperbolik bileşenlerin dört farklı sınıfının merkezlerini temsil eden dönüşümler için şematik diyagramlar. Her kritik nokta kalın bir nokta ile belirtilmiştir ve her ok ilgili yineleme sayısıyla etiketlenmiştir. (§4 ve Ek B ile karşılaştırınız.)

Her dört durumda da, gerçel $(A, B)$ parametre düzlemindeki karşılık gelen konfigürasyon, ilk dönüş dönüşümü $\hat{f}_0$'ın kritik noktaları kritik noktalara taşıması özelliği ile karakterize edilen benzersiz bir "merkez" noktasına ($f_0$) sahiptir. (Bkz. §4.) Dolayısıyla bu merkez dönüşümü $f_0$, Thurston'ın sonlu post-kritik olma özelliğine sahiptir. Aslında $f_0$, her iki kritik noktanın yörüngesinin de sonlu ve sonuçta süper-çekici olması gibi daha güçlü bir özelliğe sahiptir. Thurston teorisinden, bu merkez noktasının ($f_0$) kendi "yoğurma (kneading) değişmezleri" tarafından, ya da başka bir deyişle iki kritik yörüngedeki çeşitli noktaların karşılıklı sıralaması tarafından benzersiz şekilde belirlendiği çıkar. ([Douady-Hubbard, 1984] ve [Milnor-Thurston, §13.4] içindeki kuadratik dönüşümler için benzer tartışmalarla karşılaştırınız.) Dahası, iki kritik noktaya sahip post-kritik olarak sonlu sürekli bir dönüşüm için ortaya çıkabilecek herhangi bir sıralama, bir kübik polinom dönüşümü için gerçekten ortaya çıkabilir.

Durum A istisnaidir ve yalnızca $f_0(z) = 1 - z^3$ dönüşümüne karşılık gelen $(A, B) = (0, -1)$ merkez noktasına sahip tek bir bölgede ortaya çıkar. B, C, D Durumlarında, gerçel $(A, B)$ parametre düzleminin karşılık gelen noktasının sırasıyla bir kırlangıç konfigürasyonu, bir kemer konfigürasyonu veya bir çarpım konfigürasyonu ile ilişkili olduğunu göreceğiz. (Şekil 7, 11, 13 ile karşılaştırınız.) İki sınırlama mevcuttur: Eğer bu konfigürasyon daha büyük bir başka konfigürasyona doğrudan bitişik ve tabi ise, o zaman büyük ölçüde deforme olacaktır. Dahası, $A$-ekseni boyunca $(A, B)$ düzlemindeki resimler oldukça tuhaftır; bu yüzden Şekil 4, 5'teki gibi $(A, b)$ veya $(A, b')$ düzlemiyle çalışılması tercih edilmelidir.

Şekil 7. $(A, B) = (-.5531, -.6288)$ noktasında merkezlenmiş bir "kırlangıç (swallow) konfigürasyonunu" gösteren Şekil 3 detayı. Bu merkez noktasıyla ilişkili kübik dönüşüm için, $\pm a$ şeklindeki iki kritik nokta $f(f(a)) = -a$, $f(f(-a)) = a$ koşulunu sağlar. Dolayısıyla her ikisi de 4 periyotlu ortak bir yörünge üzerinde yer alır. (Bölge: $[-.6, -.53] \times [-.7, -.55]$.)

Bu B, C, D durumlarının her birinde, $U_1 \cup U_2$ birleşiminden kendisine giden ilk dönüş dönüşümü, her bir bileşen üzerinde kuadratik olan bir dönüşümle yakınsanabilir. Dolayısıyla, her bir $U_k$ aralığını tüm gerçel doğrunun bir $\{k\} \times \mathbb{R}$ kopyasıyla değiştirerek ve her bir bileşende bir kritik noktaya sahip olan pürüzsüz $\hat{f}: U_1 \cup U_2 \to U_1 \cup U_2$ dönüşümünü, ayrık birleşim $\{1, 2\} \times \mathbb{R} \approx \mathbb{R} \sqcup \mathbb{R}$ kümesinden kendisine giden bir bileşensel kuadratik $(k, x) \mapsto (\phi(k), x^2 + c_k)$ dönüşümü ile değiştirerek bu tür davranışlar için basitleştirilmiş bir prototip model inşa edebiliriz.

İlk olarak Şekil 7'de gösterildiği gibi bir kırlangıç konfigürasyonu durumunu ele alalım. Bu durumdaki prototip model, bu iki aralığın sırasıyla $x$ ve $y$ parametreli gerçel doğrunun ayrık kopyalarıyla değiştirilmesiyle ve ilk dönüş dönüşümünün,

$$x \mapsto y = x^2 + c_1, \quad y \mapsto x = y^2 + c_2, \tag{2.1}$$

kuadratik dönüşümü ile değiştirilmesiyle elde edilir; bu dönüşüm $\mathbb{R} \sqcup \mathbb{R}$ ayrık birleşiminin iki bileşenini birbiriyle değiştirir. Burada $c_1$ ve $c_2$ gerçel parametrelerdir. Böylece, Şekil 8'de gösterildiği gibi, $(c_1, c_2)$ parametre düzleminde evrensel bir kırlangıç konfigürasyonu elde ederiz. (Ringland ve Schell ile karşılaştırınız.) Bu kırlangıcın merkezi gözyaşı şeklindeki gövdesi, her iki kritik yörüngenin de sınırlı kaldığı çift kuadratik dönüşümlerden oluşan bu aile için bağlantılılık kümesine karşılık gelir. (§3 ile karşılaştırınız.) Öte yandan, kanatlar ve kuyruklar yalnızca tek bir kritik yörüngenin sınırlı olduğu dönüşümlere karşılık gelir.

Şekil 8. $(c_1, c_2)$ parametre düzlemindeki prototip kırlangıç konfigürasyonu, gerçel doğrudan kendisine giden $x \mapsto (x^2 + c_1)^2 + c_2$ çift kuadratik dönüşümler ailesiyle ilişkilidir. (Bölge: $[-2.5, 1] \times [-2.5, 1]$.)

Not. Aynı kırlangıç konfigürasyonunun, hiçbir kritik noktanın bulunmadığı tamamen farklı bir bağlamda da ortaya çıkması ilginçtir. İki parametreli Hénon dönüşümleri ailesini ele alalım. Bunlar, örneğin sabit Jacobian determinantı $\beta$ ile

$$(x, y) \mapsto (y, y^2 - \alpha - \beta x)$$

şeklinde yazılabilen düzlemin kuadratik difeomorfizmalarıdır. Düşük periyotlu çekici bir yörüngenin var olduğu $(\alpha, \beta)$ parametre çiftlerinin resmi tipik olarak oldukça benzer kırlangıç şeklindeki konfigürasyonlar sergiler. ([El Hamouly ve Mira] ile karşılaştırınız.) Örneğin Şekil 9'da, 5 periyotlu çekici bir yörüngeye karşılık gelen böyle bir bölge gösterilmiştir. Bu fenomen sezgisel olarak şu şekilde açıklanabilir. Eğer $|\beta|$ küçükse, iki boyutlu Hénon dönüşümünün dinamikleri $y \mapsto y^2 - \alpha$ tek boyutlu dönüşümünün dinamiklerine oldukça benzer. Özellikle, Hénon dönüşümü, ikinci türevin temel bir rol oynadığı $y = 0$ ekseni yakınındaki noktalar hariç, yerel olarak doğrusal bir dönüşümle yakından yakınsanabilir. Benzer şekilde, küçük determinantlı iki Hénon dönüşümünün bileşkesinin dinamikleri, iki tek boyutlu kuadratik dönüşümün bileşkesinin dinamiklerine benzer. Şimdi bir Hénon dönüşümü için periyodik bir yörüngeyi ele alalım. Eğer bu yörünge çekici olacaksa, $y = 0$ eksenine yakın olan en az bir nokta içermelidir. Eğer yörüngenin tam olarak iki noktası $y = 0$'a yakınsa, o zaman dinamikler iki kuadratik dönüşümün bileşkesininkine benzeyecektir. Dolayısıyla, bu durumda, parametreleri değiştirdikçe Hénon parametre düzleminde kırlangıç şeklinde bir konfigürasyon elde ederiz.

Şekil 9. Hénon parametre düzleminde bir kırlangıç konfigürasyonu. Başlangıç koşullarının rastgele bir araması $(x, y) \mapsto (y, y^2 - \alpha - \beta x)$ kuadratik difeomorfizması için düşük periyotlu çekici bir yörünge bulduysa ilgili $(\alpha, \beta)$ konumu beyaz renkle boyanmıştır; gri renk ise yalnızca yüksek periyotların veya kaotik davranışların bulunduğunu gösterir. Sağ alttaki siyah alanda hiçbir sınırlı yörünge bulunamamıştır. Resimdeki pürüzlülük muhtemelen kullanılan algoritmanın rastgele yapısından kaynaklanmaktadır. (Bölge: $[1.4, 1.6] \times [-.3, -.1]$.)

Dikkat. Şekil 7, 8, 9'daki kırlangıç konfigürasyonu, Şekil 4'te gösterilen ve belki de "sivri kırlangıç (pointed swallow)" olarak tanımlanabilecek biraz benzer konfigürasyonla karıştırılmamalıdır. Bu sivri konfigürasyon da birçok dinamik sistemde rol oynar. İşte iyi bilinen bir örnek. (S. Ushiki ve T. Matsumoto'dan gelen bilgilere borçluyum.) İki parametreli çember dönüşümleri ailesini ele alalım:

$$t \mapsto t + c + k \sin(2\pi t) \pmod 1. \tag{2.3}$$

Bunlar $|2\pi k| < 1$ için difeomorfizmalardır, ancak daha büyük $|k|$ değerleri için iki kritik noktaya sahiptirler. Şekil 10'da gösterilen $(c, k)$ parametre düzlemindeki karşılık gelen resim, her rasyonel dönme sayısına karşılık gelen Şekil 4 konfigürasyonunun bir daldırılmış kopyasını içerir. ([Chavoya-Aceves et al.] ile karşılaştırınız.) Bu konfigürasyonların her biri, $k = 0$ eksenindeki ilgili rasyonel noktaya ulaşan bir "dil" ile sonlanır. Bunlar Arnold dilleri olarak bilinir.

Şekil 10. $t \mapsto t + c + k \sin(2\pi t)$ çember dönüşümleri ailesi için "sivri kırlangıç" konfigürasyonlarıyla sonlanan Arnold dilleri. (Parametre düzleminde $[.15, .7] \times [0, .35]$ bölgesi.)

Sonra Şekil 11'de gösterilen "kemer (arch) konfigürasyonunu" ele alalım. Kübik parametre düzleminin bir noktasının, eğer yukarıdaki gibi ayrık $U_1$ ve $U_2$ komşulukları varsa öyle ki $f$'nin bazı yinelemeleri $U_1$'i $U_2$ içine eşliyor ve bazı yinelemeleri $U_2$'yi kendi içine eşliyor ancak $U_1$ veya $U_2$'nin her ileri görüntüsü $U_1$'den ayrık kalıyorsa bir kemer konfigürasyonuna ait olduğunu hatırlayalım. Bu durumda, Şekil 12'de gösterilen evrensel konfigürasyon, iki $c$ ve $\hat{x}$ parametresine bağlı olarak $\mathbb{R} \sqcup \mathbb{R}$'den kendisine giden bir kuadratik dönüşümün incelenmesiyle elde edilir. Birinci $\mathbb{R}$ kopyasındaki bir $\xi$ noktasını ikinci kopyadaki $x = \pm \xi^2 + \hat{x}$ noktasına eşleriz, böylece kritik nokta $\hat{x}$'e eşlenir ve ikinci $\mathbb{R}$ kopyasını $x \mapsto x^2 + c$ ile kendi içine eşleriz. Bu prototip durumdaki gerçel bağlantılılık kümesi, $-2 \leq c \leq 1/4$ ve $2|\hat{x}| \le 1 + \sqrt{1 - 4c}$ koşullarını sağlayan tüm $(c, \hat{x})$ çiftlerinden oluşur.

Şekil 11. Kemer konfigürasyonunu gösteren Şekil 3 detayı. $(A, B) = (.8536, .0243)$ merkez noktasına karşılık gelen kübik dönüşüm için, $\pm a$ şeklindeki iki kritik nokta $f(f(a)) = f(f(-a)) = \pm a$ koşulunu sağlar. (Bölge: $[.835, .885] \times [.01, .03]$.)

Şekil 12. $(c, \hat{x})$ düzlemindeki prototip kemer konfigürasyonu. Burada $x \mapsto x^2 + c$ dönüşümü altında $\hat{x}$ noktasının yörüngesini ele alıyoruz. Koyu gri renk hem $\hat{x}$ hem de $0$'ın kaotik yörüngelere sahip olduğunu gösterirken, beyaz renk her ikisinin de sonsuza kaçtığı anlamına gelir. (Bölge: $[-2.3, .4] \times [-2.2, 2.2]$.)

Son olarak Şekil 13'teki çarpım konfigürasyonunu ele alalım. Kübik parametre düzleminin bir noktasının, yukarıdaki gibi ayrık $U_1$ ve $U_2$ komşulukları varsa öyle ki $f$'nin bazı yinelemeleri $U_1$'i kendi içine eşler ve bazı yinelemeleri $U_2$'yi kendi içine eşler ancak hiçbirinin ileri görüntüsü diğerini kesmiyorsa bir çarpım konfigürasyonuna ait olduğunu söyleriz. Bu durumda evrensel model, sırasıyla $x$ ve $y$ parametreli iki ayrık gerçel doğru alınarak ve bağımsız $x \mapsto x^2 + c_1$, $y \mapsto y^2 + c_2$ kuadratik dönüşümlerine bakılarak elde edilir. Her iki kritik noktanın da sınırlı yörüngelere sahip olduğu parametre çiftlerinin kümesi olan bu iki parametreli aile için "gerçel bağlantılılık kümesi", Şekil 14'te gösterildiği gibi, $(c_1, c_2)$ düzlemindeki $[-2, 1/4] \times [-2, 1/4]$ karesine açıkça eşittir.

Şekil 13. Çarpım konfigürasyonunu gösteren Şekil 3 detayı. $(.8156, .0674)$ merkez noktasına karşılık gelen dönüşüm için sırasıyla 3 ve 4 periyotlu iki süper-çekici periyodik yörünge mevcuttur. (Bölge: $[.814, .819] \times [.0665, .0685]$.)

Jakobson'a göre, her iki kritik yörüngenin de kaotik olduğu (şekilde koyu griyle gösterilen) parametre çiftlerinin kümesi pozitif ölçüye sahiptir. Ayrıca bkz. [Benedicks ve Carleson], [Rychlik]. Henüz kanıtlanmamış klasik bir varsayım, bu kümenin tamamen bağlantısız (totally disconnected) olduğunu ileri sürer. Dolayısıyla, Şekil 3'teki kübik parametre düzlemi için de benzer bir varsayımda bulunmak doğal görünmektedir: her iki kritik yörüngenin de kaotik olduğu parametre çiftlerinin kümesi, pozitif ölçülü tamamen bağlantısız bir kümedir.

Bu şekillerin ve diğer ilgili olanların daha detaylı bir tartışması, karmaşık kübik dönüşümler için karşılık gelen dört durumu ele alan §4'te ve Ek B'de verilecektir.

Derecesi $d$ olan gerçel polinom $f$ dönüşümlerini incelemek için yararlı bir araç, kendi üzerine giden kompakt $[-\infty, \infty]$ aralığından bir dönüşüm olarak kabul edilen $f$'nin topolojik entropisi ile sağlanır:

$$0 \leq h(f) \leq \log(d)$$

Rothschild ve [Misiurewicz ve Szlenk] çalışmalarına göre bu şu şekilde hesaplanabilir:

$$h(f) = \lim_{k \to \infty} \frac{1}{k} \log(\ell(f^{\circ k})), \tag{2.4}$$

burada $\ell(f^{\circ k}) - 1$, gerçel eksen boyunca $x \mapsto d f^{\circ k}(x)/dx$ türevinin işaret değiştirdiği noktaların sayısıdır. ([Thurston ve Milnor] ile karşılaştırınız.) Kübik durumda, $h$'yi hesaplamak için daha pratik bir algoritma yakın zamanda [Block ve Keesling] tarafından açıklanmıştır.

$h(f)$ entropisi, sabit dereceli polinomlar arasında $f$ değiştikçe sürekli olarak değişir. Dahası $h$, her hiperbolik bileşen boyunca cebirsel bir tam sayının logaritmasına eşit olan sabit bir değer alır. (§4 ile karşılaştırınız.) Özellikle kübik durumda, $x \mapsto x^3 - 3Ax + b$ dönüşümünün entropisi sürekli olarak iki $A$ ve $b$ parametresine bağlıdır ve benzer şekilde $x \mapsto -x^3 - 3Ax + b$ dönüşümünün entropisi sürekli olarak $A$ ve $b$ parametrelerine bağlıdır.

Büyüme sayısının (growth number) $s = e^h$ kübik durumda $1 \leq s \leq 3$ aralığında değiştiği $h = \log(s)$ eşitliğini kullanmak genellikle uygundur.

Şekil 15a, b, $x \mapsto x^3 - 3Ax + b$ dönüşümler ailesine karşılık gelen $(A, b)$ düzlemindeki ve $x \mapsto -x^3 - 3Ax + b'$ için $(A, b')$ düzlemindeki "$s = \text{sabit}$" eğrilerini göstermektedir. (Şekil 4, 5 ile karşılaştırınız.) Her iki şekil de hem gerçel bağlantılılık kümesinin içindeki noktaları hem de dışındaki noktaları göstermektedir. Bağlantılılık kümesi için $\operatorname{Preper}(1)_1$ (sırasıyla $\operatorname{Preper}(2)_1$) sınır eğrisinin en azından bir kısmı, bu şekillerde $s = \text{sabit}$ eğrilerinin şeklini dramatik bir şekilde değiştirdiği bir yer olarak açıkça görünmektedir. Özellikle ilgi çekici bir yer olmasına rağmen $s = 1$ bölgesinin sınırını çizmeyi denemedim. ([MacKay ve Tresser] ile karşılaştırınız.)

Şekil 15a. Şekil 4'teki $(A, b)$ parametre düzleminde sabit büyüme sayısı $s$ eğrileri. Burada $h = \log s$, $x \mapsto x^3 - 3Ax + b$ dönüşümünün topolojik entropisidir. $s = .05, .1, \dots, 2- , 2.05, \dots, 3-$ eğrileri, Block ve Keesling tarafından geliştirilen bir algoritma kullanılarak çizilmiştir. (Gösterilen bölge: $[.57, 1.03] \times [-.03, .43]$, kontur aralığı: $\Delta s = .05$.)

Şekil 15b. $x \mapsto -x^3 - 3Ax + b'$ dönüşümler ailesi için karşılık gelen resim. (Şekil 5 ile karşılaştırınız.) Bölge: $[-1.05, -.02] \times [-.05, 1.35]$, kontur aralığı: $\Delta s = .05$.

Şekil 16. $(A, B)$ düzleminde bir kemer konfigürasyonu etrafında sabit $s$ eğrileri. (Kontur aralığı: $\Delta s = .002$. Gösterilen $[0.835, 0.885] \times [0.01, 0.03]$ bölgesi, Şekil 11'de gösterilenin aynısıdır.)

Kuadratik durumda, $x \mapsto x^2 + c$ dönüşümü için topolojik entropi $h$'nin (veya eşdeğer olarak büyüme sayısı $s = e^h$'nin) $c$ parametresinin monoton azalan bir fonksiyonu olduğu bilinmektedir. (Örneğin bkz. [Milnor-Thurston].) Kübik durum için karşılık gelen bir varsayım şu olacaktır: her $s(A, b) = \text{sabit}$ seviye kümesi, $(A, b)$ parametre düzleminin bağlantılı bir alt kümesidir ve özellikle $(A, b) \mapsto s(A, b)$ sürekli fonksiyonunun hiçbir izole yerel maksimum veya minimumu yoktur. Şüphesiz $(A, b')$ düzlemi için tamamen benzer bir varsayım mevcuttur.

Bu $\{(A, b) : s = \text{sabit}\}$ kümelerinin her zaman eğriler olmadığına dikkat ediniz. Bunların iç noktaları da olabilir. Örneğin, $s = 1, 2, 3$ için ve ayrıca $s = (1 + \sqrt{5})/2$ için durum böyledir. Bu kümenin ancak ve ancak hiperbolik dönüşümler içeriyorsa iç noktalara sahip olacağı varsayılmaktadır. Özellikle, bunun ancak $s$ cebirsel bir tam sayı olduğunda gerçekleşebileceği varsayılmaktadır. (Ek B ve Şekil 16 ile karşılaştırınız.)

3. Karmaşık Kübikler: Bağlantılılık Kümesi.

Bu bölümde karmaşık bir kübik dönüşümün dinamiklerini ele alıyoruz. Douady ve Hubbard'ı takip ederek, derecesi $d \geq 2$ olan herhangi bir karmaşık polinom $f: \mathbb{C} \to \mathbb{C}$ dönüşümü için, $f$ altında $z$'nin yörüngesinin sınırlı olduğu tüm karmaşık $z$ sayılarından oluşan dolu Julia kümesi için $K(f)$ gösterimini kullanırız. Bu $K(f)$ kümesi, ancak ve ancak $f$'nin tüm kritik noktalarını içeriyorsa bağlantılıdır. Öte yandan, eğer $K(f)$ hiçbir kritik nokta içermiyorsa, o zaman $f$'nin şu anlamda bir "derece $d$ karmaşık at nalı" olduğu sonucu çıkar: $\mathbb{C}$ içine düzgün şekilde gömülmüş $D \supset K(f)$ diski mevcuttur öyle ki $f^{-1}(D)$ her biri $f$ altında $D$ üzerine difeomorfik olarak eşlenen $d$ tane ayrık alt diskten oluşur. Özellikle, $K(f)$'ye kısıtlanmış $f$, $d$ sembol üzerindeki tek taraflı bir kaydırmaya (shift) izomorfiktir. ([Blanchard, Devaney ve Keen] ile karşılaştırınız.)

Branner ve Hubbard, parametrelendirilmiş bir polinom dönüşümleri ailesi için bağlantılılık kümesini (connectedness locus), $K(f)$'nin tüm kritik noktaları içerdiği veya eşdeğer olarak bağlantılı olduğu polinomlara ($f$) karşılık gelen tüm parametre değerlerinin kümesi olarak tanımlar. Bir örnek olarak, $z \mapsto z^2 + c$ karmaşık kuadratik dönüşümler ailesi için bağlantılılık kümesi "Mandelbrot kümesi" olarak da bilinir (Şekil 17). Bu küme Douady ve Hubbard tarafından kapsamlı bir şekilde incelenmiş ve örneğin bağlantılı olduğu ve bağlantılı tümleyene sahip olduğu gösterilmiştir. Kübik durumda, Branner ve Hubbard bağlantılılık kümesinin yine kompakt ve bağlantılı olduğunu ve bağlantılı tümleyene sahip olduğunu gösterirler. Hatta daha kesin olarak, bu küme "hücreseldir (cellular)"; yani $\mathbb{C}^2$ parametre uzayında sıkıca iç içe geçmiş kapalı 4 boyutlu disklerin $D_{i+1} \subset \operatorname{İç}(D_i)$ bir kesişimi olarak ifade edilebilir. ([Brown] ile karşılaştırınız.) Daha yüksek dereceler için karşılık gelen iddia yakın zamanda Lavaurs tarafından kanıtlanmıştır.

Şekil 17. Mandelbrot kümesi.

Ancak kuadratik ve kübik durumlar arasında en az üç önemli fark var gibi görünmektedir. Bunları tartışmak için aşağıdaki tanıma ihtiyacımız olacak. Douady ve Hubbard'ı takip ederek, karmaşık bağlantılılık kümesinin içinin bir bileşeni, ilişkili herhangi bir polinom dönüşümünün her kritik yörüngesi çekici bir periyodik yörüngeye yakınsıyorsa hiperbolik olarak adlandırılır. (§4 ile karşılaştırınız.)

(1) Mandelbrot kümesi kendisinin küçük kopyalarıyla doludur. Aslında Douady ve Hubbard, Mandelbrot kümesinin içinin her hiperbolik bileşeninin, tam Mandelbrot kümesinin küçük bir kopyasının merkezi bölgesi olarak gömüldüğünü gösterirler. Ancak kübik durumda tek bir tür hiperbolik bileşen yoktur, aksine her biri karakteristik bir yerel şekille ilişkili dört esaslı farklı tür vardır.

(2) Kuadratik durumda, hiperbolik bileşenler tek boyutlu ağaç benzeri bir şekilde organize edilmiştir. Bu ifadeyi daha kesin hale getirmek için, periyodu $\leq p_0$ olan hiperbolik bileşenlerin Mandelbrot kümesi içinde bir ağacın köşeleri gibi birbirine bağlandığını söyleyebiliriz. Kübik durumda, kesinlikle böyle bir ağaç benzeri organizasyon yoktur. Karşılık gelen bir varsayım, sınırlı tipteki hiperbolik bileşenlerin asiklik (acyclic) iki boyutlu bir kompleksin köşeleri olarak organize edildiği yönünde olabilir.

(3) Mandelbrot kümesinin yerel olarak bağlantılı olduğuna yaygın olarak inanılmaktadır. (Yoccoz son yıllarda bir kanıta doğru önemli ilerlemeler kaydetmiştir.) Ancak kübik bağlantılılık kümesi için yerel bağlantılılık kesinlikle başarısız olmaktadır. Bkz. [Lavaurs] ve aşağıdaki tartışma. Aslında Şekil 20 gibi resimler, kübik bağlantılılık kümesinin yol-bağlantılı (path-wise connected) bile olmayabileceğini düşündürmektedir.

Fraktal sınıra sahip son derece karmaşık 4 boyutlu bir nesne olan bu karmaşık kübik bağlantılılık kümesini görselleştirmek zordur. ([Dewdney] ile karşılaştırınız.) Gerçel katsayılı ve dolayısıyla gerçel $(A, B)$ parametre düzlemindeki noktalarla etkili bir şekilde tanımlanan kübik polinom $f: \mathbb{C} \to \mathbb{C}$ dönüşümlerinin dinamiklerini ele alırsak daha erişilebilir bir durum ortaya çıkar. Özellikle, Branner-Hubbard bağlantılılık kümesini gerçel $(A, B)$ düzlemiyle kesiştirebiliriz. Karşılık gelen kesişim Şekil 18'de gösterilmiştir. Burada, dıştaki beyaz bölgedeki parametre çiftleri için kritik yörüngelerin biri veya her ikisi birden sonsuza kaçarken, içteki beyaz bölgelerde her ikisi birden periyodik yörüngelere yakınsar. Gri [veya siyah] renk, kritik yörüngelerin birinin [veya her ikisinin] kaotik davrandığını gösterir. $AB > 0$ olan iki kadranda, kritik noktalar gerçel olduğundan bağlantılılık kümesi §2'de tanımlanan $R_1$ bölgesi ile çakışır ve pürüzsüz eğrilerle sınırlanır. §2'deki $R_2$ ve $R_3$ bölgelerindeki parametre değerleri için, iki kritik yörüngeden en az birinin mutlaka kaçtığını hatırlayalım. Dolayısıyla bu bölge şekilde beyazdır. $AB > 0$ olan iki kadran içinde, $f$'nin gerçel bir dinamik sistem olarak yinelemelerinin davranışı, karmaşık bir dinamik sistem olarak davranışını etkili bir şekilde belirler. Ancak, kritik noktaların karmaşık olduğu iki kadranda, bağlantılılık kümesinin bu gerçel kısmı fraktal sınıra sahip çok karmaşık bir nesnedir. (Bu karmaşık kadranlarda, iki kritik yörüngenin karmaşık eşlenik olmalarından dolayı aynı şekilde davranmaları gerektiğine dikkat ediniz.) Bu şekildeki $A$–$D$ harfleri §2 (Şekil 6), §4 veya Ek B'de açıklanmıştır; $AB$'nin işareti üst simge olarak eklenmiştir.

Şekil 18. Gerçel $(A, B)$ düzlemiyle kesişen karmaşık bağlantılılık kümesi. (Bölge: $[-1, 1] \times [-1.7, .65]$.)

Şekil 19. Yerel bağlantılılığın olmadığını gösteren sağ alt kadrandaki detay. (Bölge: $[.02, .32] \times [-1.15, -.7]$.)

Tıpkı tam karmaşık durumda olduğu gibi, bağlantılılık kümesinin bu gerçel kısmı da kompakttır ve hücreseldir; bu durum Branner ve Hubbard'ın yöntemleriyle kanıtlanabilir. Alternatif olarak, [Bredon, s. 145] içinde açıklandığı gibi Smith teorisi kullanılarak, gerçel bağlantılılık kümesi bir noktanın Čech kohomolojisine sahip olan karmaşık bağlantılılık kümesi üzerindeki bir evrimin sabit nokta kümesi olduğundan, gerçel bağlantılılık kümesinin de mod 2 Čech kohomolojisine sahip olduğu sonucu çıkar. Özellikle, kendisi bağlantılıdır ve bağlantılı tümleyene sahiptir.

Bu kümenin iki karmaşık $AB < 0$ kadranındaki şekli Şekil 17'yi oldukça andırmaktadır ve nitekim §4'te bu kadranlara gömülmüş Mandelbrot kümesinin birçok küçük kopyası olduğunu göreceğiz. Ancak bu gömülü kopyalar, tek bir özel noktada, yani Mandelbrot kümesinin kök noktası olarak da bilinen bir periyotlu eyer-düğüm noktası olan $c = 1/4$ noktasında süreksiz olarak bozulma eğilimindedir. Bu fenomen, özellikle sağ alt kadranda belirgindir; burası kök noktasının $\operatorname{Per}_2(1)$ eyer-düğüm eğrisinin önemli bir kısmını kaplayacak şekilde uzatıldığı Mandelbrot kümesinin çok şişkin bir kopyasını sergiler. (§2 ile karşılaştırınız.) Bu uzamanın bir sonucu olarak, kübik bağlantılılık kümesi bu eğri boyunca yerel olarak bağlantılı olmayı başaramaz. (Şekil 19.) [Lavaurs] tarafından incelenen bu davranış, derece 2 dönüşümler için olan durumla taban tabana zıttır. Aslında, yukarıda belirtildiği gibi, henüz kanıtlanmamış olsa da Mandelbrot kümesinin yerel olarak bağlantılı olduğuna yaygın şekilde inanılmaktadır.

4. Hiperbolik bileşenler.

Kübik dönüşümlerin afin eşleniklik sınıflarının iki parametreli ailesini incelemeye devam ediyoruz. $f$ karmaşık kübik dönüşümünün (veya karmaşık parametre uzayındaki karşılık gelen $(A, B)$ noktasının), her iki kritik noktanın $f$ altındaki (ileri) yörüngeleri sınırlı kalıyorsa bağlantılılık kümesine ait olduğunu ve bu kritik yörüngelerin her ikisi birden çekici periyodik yörüngelere yakınsıyorsa hiperbolik olduğunu hatırlayalım. Burada tanım gereği, $p \geq 1$ periyotlu bir $f^{\circ p}(z_0) = z_0$ yörüngesi, çarpanın ($d f^{\circ p}(z)/dz$ mutlak değeri) bir'den küçük olması durumunda çekici olarak adlandırılır. Karmaşık parametre düzlemindeki tüm hiperbolik noktaların kümesi açık bir küme oluşturur; bu kümenin bağlantılılık kümesinin içine tam olarak eşit olduğu ve bağlantılılık kümesinde her yerde yoğun olduğu varsayılmaktadır. Bu açık kümenin her bağlantılı bileşenine, bağlantılılık kümesinin bir hiperbolik bileşeni denir.

Bu tanımlar gerçel bağlantılılık kümesi için de aynı derecede geçerlidir. Yine hiperbolik noktaların her yerde yoğun olduğu varsayılmaktadır. Ancak gerçel bağlantılılık kümesinin her iç noktasının hiperbolik olmadığı açıktır.

Hiperbolik bileşenlerin tartışılması, küre $\mathbb{C} \cup \infty$'dan kendisine giden derece iki yinelemeli rasyonel dönüşümlerin benzer problemini inceleyen Rees'in çalışmalarından güçlü şekilde etkilenecektir. Yöntemlerinin ve sonuçlarının ufak değişikliklerle bizim yinelemeli kübik polinom dönüşümleri durumumuza da uygulandığı yönündeki gözlemi için Douady'ye borçluyum. Özellikle yöntemleri, her hiperbolik bileşenin, ilişkili dönüşüm altında iki kritik noktanın her birinin ileri yörüngesinin sonlu ve dolayısıyla sonuçta periyodik olması özelliğiyle karakterize edilen benzersiz bir tercih edilen nokta içerdiğini göstermektedir. Douady ve Hubbard'ı takip ederek, bu tercih edilen noktaya hiperbolik bileşenin merkezi denir. Eğer hiperbolik bileşen gerçel $(A, B)$ düzlemini kesiyorsa, merkezinin kendi kendisiyle eşlenik ve dolayısıyla gerçel olması gerektiğine dikkat ediniz.

Bu fikirler, $\mathbb{R}$ veya $\mathbb{C}$ üzerinde herhangi bir $d \geq 2$ dereceden monik ve merkezlenmiş polinom dönüşümlerini inceleyen ve her hiperbolik bileşenin tercih edilen bir merkez noktasına sahip topolojik bir hücre olduğunu gösteren sonraki bir makalede daha da geliştirilecektir.

[Rees] ile benzer şekilde, karmaşık kübik bağlantılılık kümesindeki farklı hiperbolik bileşenler aşağıdaki gibi kabaca dört farklı tipe ayrılabilir. (§2 ve Şekil 6 ile karşılaştırınız.) Hiperbolik bir kübik $f$ dönüşümünü sabitleyerek, $f$ altındaki ileri yörüngesi çekici bir periyodik yörüngeye yakınsayan tüm karmaşık $z$ sayılarından oluşan açık küme $U \subset \mathbb{C}$ olsun. $f$'nin $U$'nun her bileşenini tam olarak $U$'nun bir bileşeni üzerine eşlediğine dikkat ediniz.

Durum $A_p$: Bitişik Kritik Noktalar. Her iki kritik nokta da bu çekici havza $U$'nun aynı $U_0$ bileşenine aittir. Bu bileşen, bazı $p \geq 1$ tam sayıları için $f^{\circ p}(U_0) = U_0$ anlamında zorunlu olarak periyodiktir.

Durum $B_{p+q}$: Çift Geçişli (Bitransitive). İki kritik nokta $U$'nun farklı $U_0$ ve $U_1$ bileşenlerine aittir, ancak $f^{\circ p}(U_0) = U_1$ ve $f^{\circ q}(U_1) = U_0$ olacak şekilde $p, q > 0$ tam sayıları mevcuttur. $p$ ve $q$'nun minimal olduğunu varsayıyoruz, böylece hem $U_0$ hem de $U_1$, $p+q$ periyoduna sahip olur.

Durum $C(t)_{p+q}$: Yakalama (Capture). Yine kritik noktalar farklı bileşenlere aittir, ancak bunlardan yalnızca biri, diyelim ki $U_1$, periyodiktir. Bu durumda, $U_0$'ın bazı ileri görüntüleri $U_1$ ile çakışmalıdır. Daha kesin olarak, $f^{\circ t}(U_0)$ görüntüsü $U_1$'in bazı ileri görüntüsü $f^{\circ q}(U_1)$ ile çakışacak ve $f^{t+p}(U_0) = U_1$ olacak şekilde benzersiz en küçük $t+p \geq t \geq 1$ tam sayıları vardır, burada $U_1$ periyodu $p+q$ şeklindedir. Bu durumda, $tq$ çarpımı her zaman iki veya daha fazladır. Ancak $p$ sıfır olabilir, bu durumda bunu kısaca $C(t)_q$ olarak yazarız.

Durum $D_{p,q}$: Ayrık Periyodik Çukurlar (Sinks). İki kritik nokta, $U_0$'ın hiçbir ileri görüntüsünün $U_1$'e eşit olmadığı ve $U_1$'in hiçbir ileri görüntüsünün $U_0$'a eşit olmadığı farklı $U_0$ ve $U_1$ bileşenlerine aittir. Bu durumda, $p$ ve $q$ periyotları farklı olsa da $U_0$ ve $U_1$ bileşenlerinin her ikisi birden periyodik olmalıdır.

Dört durumda da, eğer $U$'nun bir $U_0$ bileşeni $f^{\circ p}(U_0) = U_0$ ile periyodik ise, o zaman $U_0$'a kısıtlanmış $f^{\circ p}$ dönüşümü benzersiz bir sabit noktaya sahiptir ve $U_0$ içindeki her noktanın $f^{\circ p}$ altındaki yörüngesi bu sabit noktaya yakınsar.

Eğer $f$ kendi hiperbolik bileşeninin "merkez" noktasını temsil ediyorsa, o zaman iki kritik noktanın $f$ altındaki yörüngeleri şu şekilde tanımlanabilir. Bitişik Durumda, iki kritik nokta çakışır (başka bir deyişle diskriminant parametresi $A$ sıfırdır) ve bu çift kritik nokta periyodik bir yörüngeye aittir. Çift Geçişli Durumda iki kritik nokta ortak bir periyodik yörüngeye aittir; Yakalama Durumunda bunlardan yalnızca biri periyodik bir yörünge üzerinde yer alırken diğerinin yörüngesi sonuçta bu periyodik yörüngeye çarpar; ve Ayrık Durumda bunlar ayrık periyodik yörüngeler üzerinde yer alırlar.

Şimdi gerçel $(A, B)$ düzlemindeki hiperbolik bileşenlere bakalım. Bitişik Durumda, gerçel parametre düzleminde yalnızca iki gerçel hiperbolik bileşen vardır. Bunlar sırasıyla orijinde ve $(0, -1)$ noktasında merkezlenmiş bir ve iki periyotlu bileşenlerdir. Bunların her ikisi de çok özeldir ve onları tartışmaya çalışmayacağım. Yakalama Durumunda, zorunlu olarak $AB > 0$ olan bir kadrandayız ve §2'deki gibi bir kemer konfigürasyonu elde ederiz. Çift Geçişli Durumda, eğer merkez $AB > 0$ olan bir kadranda yer alıyorsa, §2'de tartışıldığı gibi bir kırlangıç konfigürasyonu elde ederiz. Ancak, merkez $AB < 0$ olan kadranlardan birinde yer alıyorsa, o zaman "tricorn (üç köşeli şapka)" adını vereceğim tamamen farklı üç uçlu bir konfigürasyon elde ederiz (Şekil 20). Bu durumda, $c$ ve $\bar{c}$ şeklindeki iki kritik nokta karmaşık eşleniktir ve $c$'nin bir komşuluğundan $\bar{c}$'nin bir komşuluğuna giden ilk dönüş dönüşümü, diğer yöndeki ilk dönüş dönüşümüne eşleniktir. Böylece, bu iki komşuluğu karmaşık sayıların iki ayrık $\mathbb{C}$ kopyasıyla değiştirerek, birinciyi ikinciye $z \mapsto w = z^2 + c$ kuadratik dönüşümüyle eşleyerek ve $w \mapsto z = w^2 + \bar{c}$ eşlenik dönüşümüyle geri eşleyerek bu davranış için bir prototip model elde ederiz. $c$-parametre düzlemindeki karşılık gelen bağlantılılık kümesi Şekil 21'de gösterilmiştir. Bu konfigürasyon kompakttır ve bağlantılıdır ve tam bir üç katlı dönme simetrisine sahiptir. Gerçel kübik bağlantılılık kümesi gibi, yerel olarak bağlantılı olmayan bir küme elde etmek üzere kök noktasının eyer-düğüm noktaları eğrisi boyunca uzatıldığı Mandelbrot kümesinin gömülü kopyalarını içerir. (Şekil 22. [Winters] ile karşılaştırınız.) Gerçel eksen boyunca, bu prototip tricorn tam olarak Mandelbrot kümesiyle çakışır. Ancak gerçel eksenden uzaklaşır uzaklaşmaz ikisi farklılaşır. Özellikle, Mandelbrot kümesinin gerçel ekseni boyunca yer alan her hiperbolik bileşen, periyodun çift veya tek olmasına göre tricorn içinde gömülü küçük bir Mandelbrot kümesine veya gömülü küçük bir tricorna yol açar.

Eğer bir hiperbolik bileşenin merkezi tam olarak $A$-ekseni boyunca yer alıyorsa, o zaman karma bir konfigürasyon elde ederiz. Çift Geçişli Durumda, $AB > 0$ kadranda yer alan kısım bir kırlangıç konfigürasyonunun yarısına benzerken, diğer yarısı bir tricorn konfigürasyonunun yarısına benzer. Ayrık Durum oldukça benzerdir. Eğer merkez $AB > 0$ koşulunu sağlıyorsa, §2'de tartışıldığı gibi bir çarpım konfigürasyonu elde ederiz. Eğer $AB < 0$ sağlıyorsa, Mandelbrot kümesinin bir kopyasını elde ederiz, eğer tam olarak $A$-ekseni üzerinde yer alıyorsa karma bir konfigürasyon elde ederiz. Bu tür karma konfigürasyonlar, parametrelendirme seçimimizin bir yapaylığı olarak düşünülmelidir. Şekil 4, 5'teki gibi $(A, b)$ veya $(A, ib)$ düzleminde çalışsaydık bunlar görünmezdi. Ancak, $(A, B)$ düzleminin $A$-ekseni boyunca bu tür karma konfigürasyonlar, tricorn ve kırlangıcın (veya Mandelbrot kümesi ve çarpım konfigürasyonunun) $\mathbb{C}^2$ içindeki ortak bir konfigürasyondan alınan farklı gerçel kesitler olduğunu açıkça göstermeye yardımcı olmaktadır.

Şekil 20. Şekil 19'un sağ ortasındaki detay, küçük bir "tricorn (üç köşeli şapka)" şeklindeki konfigürasyonu göstermektedir. $(.27286, -.93044)$ merkez noktası için, kübik dönüşümün üçüncü yinelemesi her bir kritik noktayı kendi karmaşık eşleniğine taşır. (Bölge: $[.265, .281] \times [-.958, -.903]$.)

Şekil 21. Prototip tricorn, $z \mapsto (z^2 + c)^2 + \bar{c}$ olan $c$-düzleminde. (Bölge: $[-2.2, 1.4] \times [-1.8, 1.8]$.)

Şekil 22. Yerel bağlantısızlığı gösteren Şekil 21 detayı. (Bölge: $[.18, .5] \times [.34, .66]$.)

Şekil 18'de, gerçel kübik bağlantılılık kümesindeki yirmi hiperbolik bileşen etiketlenmiştir. (Ek B ile karşılaştırınız.) En belirgin hiperbolik bileşenlerden bazılarının, kendi prototip örneklerinin temel özelliklerinden bazılarını kaçırıyor olması dikkat çekicidir. Aslında bu, verilen bileşen daha büyük bir hiperbolik bileşene doğrudan bitişik ve tabi olduğunda her zaman gerçekleşiyor gibi görünmektedir. Genel olarak şu soruyu sormalıyız: Gerçel veya karmaşık kübik bağlantılılık kümesindeki bir hiperbolik bileşenin etrafındaki konfigürasyon hangi koşullar altında kendi prototip konfigürasyonu için bağlantılılık kümesinin tam bir kopyasını içerecektir?

Kuadratik polinomlar için, Douady ve Hubbard "modülasyon" veya "ayarlama (tuning)" teorilerinde benzer soruya tam bir cevap vermişlerdir. Kuadratik durumda yalnızca tek bir tür hiperbolik bileşen vardır ve Mandelbrot kümesindeki her hiperbolik bileşenin, tam Mandelbrot kümesinin küçük bir kopyasının merkezi bölgesi olarak gömüldüğünü gösterirler.

Ek A. Normal formlar ve parametre uzayındaki eğriler.

Derecesi $n \geq 2$ olan bir

$$x \mapsto f(x) = c_n x^n + c_{n-1} x^{n-1} + \cdots + c_1 x + c_0 \tag{A.1}$$

polinom dönüşümünün barisentri (barycenter) ile, $(n-1)$. türevin sıfırlandığı benzersiz $\hat{x} = -\frac{1}{n} c_{n-1}/c_n$ noktası kastedilmektedir. Karmaşık durumda bu, $f'(z) = 0$ olan $n-1$ kritik noktanın ortalaması olarak tanımlanabilir. Eğer $n > 2$ ise $f(z) = z$ olan $n$ sabit noktanın ortalamasıyla çakışır. Her polinom dönüşümü, barisentri sıfır olacak şekilde merkezlenmiş olan $x \mapsto g(x) = f(x+\hat{x}) - \hat{x}$ dönüşümüne tek bir öteleme ile eşleniktir. Bu, $g$'deki $x^{n-1}$ katsayısının (monomların toplamı olarak yazıldığında) sıfır olması gerekliliğine eşdeğerdir.

Eğer $\gamma$, $\gamma^{n-1} = c_n$ denkleminin bir çözümü ise, o zaman doğrusal eşlenik polinom $x \mapsto \gamma g(x/\gamma)$ moniktir, yani $+1$ baş katsayısına sahiptir. Karmaşık kübik durumda, $\gamma$'nın işarete göre benzersiz bir şekilde belirlendiğine dikkat ediniz. Her karmaşık kübik dönüşümün,

$$z \mapsto z^3 - 3a^2 z + b,$$

kritik noktaları $\pm a = \pm \sqrt{A}$ olan bir dönüşüme afin eşlenik olduğu kolayca çıkar, burada $A$ ve $B = b^2$ sayıları afin eşleniklik değişmezleridir. Eğer daha genel formdaki (A.1) polinomuyla başlarsak, o zaman hesaplama şunu gösterir:

$$A = a^2 = \hat{z}^2 - c_2/(3c_3), \qquad \text{ve} \qquad b = \pm (f(\hat{z}) - \hat{z})\sqrt{c_3}$$

burada $\hat{z} = -\frac{1}{3} c_2/c_3$ olup, böylece

$$B = (f(\hat{z}) - \hat{z})^2 c_3 \tag{A.3}$$

elde edilir. Gerçel kübik durumda, $a$ ve/veya $b$ safi sanal olsa bile $\hat{z}$ ve $A = a^2$, $B = b^2$ değişmezlerinin gerçel olduğuna dikkat ediniz.

$\operatorname{Per}_1(\mu)$ kümesi.

Tanım gereği, $(A, B)$ çifti bu kümeye aittir ancak ve ancak karşılık gelen $f$ kübik dönüşümü, türevi $f'$ $\mu$'ye eşit olan bir sabit noktaya sahipse. Eğer $f(x) = x^3 - 3Ax + b$ ise ve sabit nokta $x = \kappa$ ise, orijinde tercih edilen sabit noktasına sahip olan öteleme-eşlenik $g(x) = f(x+\kappa) - \kappa$ polinomuyla aynı şekilde çalışabiliriz, dolayısıyla bu polinom şu forma sahiptir:

$$g(x) = x^3 + 3\kappa x^2 + \mu x.$$

(A.2) ve (A.3) kullanarak,

$$A = \kappa^2 - \mu/3 \qquad\text{ve}\qquad b = \kappa(2\kappa^2 + 1 - \mu)$$

olduğunu görürüz. Buradan $B = b^2$'yi $A$'nın bir fonksiyonu olarak çözmek kolaydır. Dikkate değer durumlar şunlardır:

$$\begin{aligned} \operatorname{Per}_1(0)&: B = 4A(A + \tfrac{1}{2})^2 \\ \operatorname{Per}_1(2)&: B = 4(A + \tfrac{2}{3})^3 \\ \operatorname{Per}_1(1)&: B = 4(A + \tfrac{1}{3})^3 \\ \operatorname{Per}_1(-1)&: B = 4(A - \tfrac{1}{3})(A + \tfrac{2}{3})^2 . \end{aligned}$$

Burada eyer-düğüm eğrisi $\operatorname{Per}_1(1)$, Şekil 18'de $A_1$ olarak etiketlenen ana bölgenin üst sınırının bir parçasını oluşturur ve çekici bir periyotlu yörüngelerin çekici iki periyotlu yörüngelere çatallandığı (bifurcate) $\operatorname{Per}_1(-1)$ bifurkasyon eğrisi bu bölgenin alt sınırını oluşturur. Bu eğrilerin her ikisi de bu şeklin sol kısmında $C^+_{(2)1}$, $D^+_{1,2}$ ve $D_{1,1}$ olarak etiketlenen bölgelerin sınırlarının bir parçasını oluşturur. $\operatorname{Per}_1(0)$ eğrisi, süper-çekici bir sabit noktaya sahip tüm parametre çiftlerinden oluşur. Dolayısıyla $C^+_{(2)1}$, $D^+_{1,2}$, $D_{1,1}$ ve $A_1$ olarak etiketlenen bileşenlerin merkezlerinden geçer.

$\operatorname{Per}_1(2)$ eğrisi de ilgi çekicidir, ancak açıklama gerektiren şaşırtıcı bir nedenden dolayı. Keyfi bir kübik dönüşümün üç tane (mutlaka farklı olması gerekmez) karmaşık sabit noktası $f(z_i) = z_i$ vardır. $\mu_i = f'(z_i)$ karşılık gelen türevler olsun. Açıkça, $\mu_i$'lerin herhangi bir simetrik fonksiyonu kübik dönüşümümüzün bir değişmezidir ve dolayısıyla iki temel $A$ ve $B$ değişmezlerinin bir fonksiyonu olarak ifade edilebilir. Aslında en pratik yol, $\mu_i - 1$'lerin elemanter simetrik fonksiyonlarıyla çalışmaktır. Biraz çaba ile, $\mu_1$ ve $\mu_2$'nin bir fonksiyonu olarak aşağıdaki açık (A.4)–(A.6) formülleri bulunur. (Aslında eğer $\mu_1 \neq \mu_2$ ise, $\operatorname{Per}_1(\mu_1)$ ve $\operatorname{Per}_1(\mu_2)$ eğrileri $\operatorname{Per}_1(\mu_3)$'e de ait olan tek bir noktada enlemesine kesişir.) Belirsiz $\mu_1 = \mu_2 = 1$ durumunu dışarıda bırakırsak, $\mu_3 = 2$ olmasının ancak ve ancak $\mu_1 \mu_2 = 1$ olması durumunda gerçekleşeceği bu formülden çıkar.

Şimdi gerçel bir kübik dönüşümün, karşılık gelen türevleri $\mu_1 = \bar{\mu}_2$ birim çember üzerinde yer alacak şekilde kayıtsız (nötr) iki karmaşık eşlenik sabit noktasına sahip olduğunu varsayalım. O halde $\mu_1 \mu_2 = 1$ olur, dolayısıyla $\mu_3 = 2$ olur ve karşılık gelen parametre çifti $(A, B)$ $\operatorname{Per}_1(2)$ eğrisi üzerinde yer alır. Aslında, eğer $\mu_1 = e^{i\theta}$ ise, (A.4) formülünden $A = \frac{2}{9}(\cos(\theta) - 2)$ hesaplayabiliriz. Böylece, kayıtsız iki karmaşık eşlenik sabit noktaya sahip kübiklere karşılık gelen gerçel $(A, B)$ düzlemindeki eğri segmenti, tam olarak $\operatorname{Per}_1(2)$ eğrisinin $-\frac{2}{3} < A < -\frac{2}{9}$ segmentidir. Bu eğri segmenti Şekil 18'deki $D_{1,1}$ bölgesinin üst sınırını oluşturur. Bu eğri segmentinin uç noktalarının tam olarak benzersiz şekilde tanımlanmış $\operatorname{Per}_1(-1) \cap \operatorname{Per}_1(2)$ ve $\operatorname{Per}_1(1) \cap \operatorname{Per}_1(2)$ kesişim noktaları olduğuna dikkat ediniz.

$\operatorname{Per}_2(u)$ eğrisini incelemek için, monik polinomumuzun koordinatlarını, iki periyotlu yörünge orta noktası orijinde olacak şekilde $\{\kappa, - \kappa\}$ formunu alacak biçimde ötelemek uygundur. O halde katsayıları ve dolayısıyla $A, B$ değişmezlerini $\kappa^2$'nin fonksiyonları olarak hesaplamak kolaydır. $\mu = 1$ durumunda önemli bir basitleştirme vardır. Aslında, $\mu \to 1$ iken $\operatorname{Per}_2(\mu)$ eğrisi, iki indirgenemez bileşenin birleşimi olan indirgenebilir bir eğriye meğillenir. Bunlardan biri, iki periyotlu yörünge bir sabit noktaya dejenere olduğundan $\operatorname{Per}_2(1)$'in bir parçası olarak kabul etmediğimiz $\operatorname{Per}_1(-1)$ bifurkasyon kümesidir, diğeri ise gerekli olan

$$\operatorname{Per}_2(1): B = 4(A - \tfrac{2}{3})^3$$

eğrisidir, burada $A = \frac{2}{9}(2\kappa^2 + 1)$ şeklindedir. Bu ikinci eğri üzerinde bile, iki periyotlu yörüngenin, iki indirgenemez bileşenin bir araya geldiği özel $A = \frac{2}{9}$, $B = -4(4/9)^3 = -\frac{256}{729}$ noktasında bir periyotlu yörüngeye dejenere olduğuna dikkat ediniz. (Aşağıdaki tartışmaya bakınız. Şekil 18 bu noktanın etrafında oldukça bozuktur.)

Not. Genel bir kübik dönüşümün üç adet iki periyotlu yörüngesi vardır. Eğer $\mu_1, \mu_2, \mu_3$ bu üç yörünge etrafındaki türevler ise, o zaman $\mu_i$'lerin elemanter simetrik fonksiyonları $\sigma_i$, $A$ ve $B$'nin polinom fonksiyonları olarak ifade edilebilir. Daha açık olarak:

$$\begin{aligned} \sigma_1 &= 9(3 - 4A),\\ \sigma_2 &= 9^2(3 - 8A + 16A^3 - 12A^4 + 2B + 3AB),\\ \sigma_3 &= \sigma_2 - \sigma_1 + 1 + 9^3\big(B - 4(A - \tfrac{2}{3})^3\big)\big(B - (A - \tfrac{1}{3})^2\big). \end{aligned}$$

Kritik olarak ön-periyodik (preperiodic) olan $\operatorname{Preper}(1)_p$ kümesi.

Bu kümeyi incelemek için, $f(z) = z^3 - 3a^2 z + b$ şeklindeki, $f(a)$ kritik değerinin $p$ periyotlu bir yörüngeye ait olduğu ancak $a$ kritik noktasının bu yörüngeye ait olmadığı dönüşümlere bakmalıyız. $f(a') = f(a)$ denkleminin $a' \neq a$ olan tek bir çözümü vardır, yani eş-kritik (cocritical) nokta $a' = -2a$. Dolayısıyla bu periyodik yörünge hem eş-kritik $-2a$ noktasını hem de $f(a) = b - 2a^3$ kritik değerini içermelidir.

$p = 1$ durumunda $-2a = f(a)$ olmalıdır, başka bir deyişle $b = 2a^3 - 2a$ olmalıdır. Her iki tarafın karesini alarak, §2'de verilen

$$\operatorname{Preper}(1)_1: B = 4A(A - 1)^2$$

formülünü elde ederiz. Sabit kritik değerdeki türev $\mu = f'(-2a)$'nin $9a^2 = 9A$ değerine eşit olduğuna dikkat ediniz. "Ana hiperbolik bileşen" $A_1$ içinde yer alan bu eğrinin $|A| < \frac{1}{9}$ segmentini, gerçel bağlantılılık kümesinin üst sınırının çoğunu oluşturan $A \geq \frac{1}{9}$ segmentinden ve $C(1)_2$ olarak etiketlenen bölgeyi $A_2$'den ayıran $A \leq -\frac{1}{9}$ segmentinden ayırt edebiliriz.

$p = 2$ durumunda, periyodik yörünge $f(a)$ ve $-2a$ şeklindeki iki noktadan oluşmalıdır. $f(a) = \xi - 2a$ olacak şekilde $\xi = b - 2a^3 + 2a$ yazarak, gerekli olan $f(f(a)) = -2a$ denklemini, kökleri $\xi = 0$ ve $\xi = 3a \pm \sqrt{-1}$ olan $\xi$'ye göre kübik bir denklem olarak yazabiliriz, veya başka bir deyişle $b = 2a^3 + a \pm i$ olur. Eğer bu denklem sağlanırsa, periyodik yörüngenin $-2a$ ve $f(a) = a \pm i$'den oluştuğuna dikkat ediniz. Denklemi $\pm i$ ile çarpıp her iki tarafın karesini alarak, §2'deki

$$\operatorname{Preper}(1)_2: B = -(1 \pm (2A + 1)\sqrt{-A})^2$$

formülünü elde ederiz.

$(A, B)$ parametre düzleminde bu eğrilerden ikisinin kesiştiği noktalar özel ilgi çekebilir. Örneğin, Şekil 18'de ana bölge $A_1$'in sınırının alt kısmını oluşturan $\operatorname{Per}_1(-1)$ bifurkasyon eğrisi, dört farklı hiperbolik bileşenin ($A_1$, $A_2$, $D^-_{2,2}$ ve $B_{1+1}$) bir araya geldiği $A = 2/9$, $B = -256/729$ noktasında $\operatorname{Per}_2(1)$ eyer-düğüm eğrisine teğetsel olarak dokunur. (Aslında, karmaşık $(A, B)$ düzleminde, bu noktada dokunan altı farklı hiperbolik bileşen vardır.) $\operatorname{Per}_1(1)$ eyer-düğüm eğrisi, $R_1$ ve $R_2$ bölgeleri arasındaki sınır üzerinde yer alan $A = 1/9$, $B = 256/729$ noktasında, kritik olarak ön-periyodik olan $\operatorname{Preper}(1)_1$ eğrisine teğetsel olarak dokunur. (Şekil 2 ile karşılaştırınız.) Benzer şekilde, $\operatorname{Per}_2(1)$ ve $\operatorname{Preper}(1)_2$ eğrileri $A = -1/36$, $B = -15625/11664$ (veya $a = i/6$, $b = 125i/108$) noktasında teğetsel olarak buluşurlar.

Gerçel bağlantılılık kümesi içindeki en büyük $B$ değişmez değeri, $R_1$ ve $R_2$ bölgeleri arasındaki sınır üzerinde yer alan $A = 1/3$, $B = 16/27 = .59259\dots$ noktasında ortaya çıkar ve en küçük değer $A = -1/6$, $B = -(1 + \sqrt{2/27})^2 = -1.6184\dots$ noktasında ortaya çıkar. En büyük ve en küçük $A$ değerleri, her iki kritik noktanın da ön-periyodik olduğu ve topolojik entropinin en büyük değeri olan $\log(3)$'ü aldığı $A = \pm 1$, $B = 0$ noktalarında ortaya çıkar.

Ek B. Bazı hiperbolik bileşenlerin merkezleri.

Aşağıdaki tablo, gerçel $(A, B)$ parametre düzlemindeki yirmi hiperbolik bileşenin merkezlerini listelemektedir (Şekil 18'de gösterildiği gibi); her iki kritik noktanın da periyodu 2 veya daha az olan tüm bileşenler dahildir. Bunlar artan $A$ sırasına göre listelenmiştir; önce üst yarım düzlem $B > 0$ için, sonra $B = 0$ için ve ardından alt yarım düzlem $B < 0$ için. Burada üçüncü sütundaki $A$–$D$ gösterimleri §4'te veya §2'de (Şekil 6) açıklanmıştır. Şunları yazıyoruz:

• Adjacent kritik noktalara sahip bir bileşen için $A_p$, burada çekici yörünge $p$ periyoduna sahiptir. Bunlar, tam olarak iki kritik noktanın çakıştığı $A = 0$ doğrusu üzerinde merkez noktası yer alan hiperbolik bileşenlerdir.
• $p+q$ periyotlu çekici yörüngeye sahip çift geçişli (bitransitive) bir bileşen için $B_{p+q}$, burada $p$. yineleme birinci kritik noktayı ikincinin hemen havzasına taşır ve $q$. yineleme ikinciyi birincinin hemen havzasına geri taşır. Böyle bir bileşen, $AB > 0$ olduğunda gerçel $(A, B)$ düzleminde kırlangıç şeklinde bir konfigürasyonun merkezinde, ya da $AB < 0$ olduğunda bir tricorn konfigürasyonunun merkezinde yer alır.
• Bir yakalama bileşeni (veya kemer şeklindeki konfigürasyon) için $C(t)_{p+q}$, bunun merkez noktasında $t$ katlı yineleme bir kritik noktayı diğerini içeren $p+q$ periyotlu bir yörüngeye taşır ve burada birinci kritik noktanın $(t+p)$. görüntüsü ikinciye eşittir. Özel $p = 0$ durumunda, bunu kısaca $C(t)_q$ olarak yazarız. Böyle bir bileşen zorunlu olarak, kritik noktaların gerçel ve farklı olduğu $AB > 0$ kadranlarından birinde yer alır.
• Sırasıyla $p$ ve $q$ periyotlu iki ayrık çekici yörüngeye sahip bir bileşen için $D_{p,q}$, $AB > 0$ olduğunda bir çarpım konfigürasyonu, veya $AB < 0$ olduğunda bir Mandelbrot konfigürasyonu verir.

Ancak, kritik noktaların gerçel ve farklı olduğu $AB > 0$ durumunda $+$ üst simgesi eklenmiş ve kritik noktaların karmaşık eşlenik ve farklı olduğu $AB < 0$ durumunda $-$ üst simgesi eklenmiştir. Dördüncü sütunda, $\{c, c'\}$ gösterimi kritik noktaların kümesi için kullanılmıştır ve $n\! \mapsto$, kübik dönüşümün $n$. yinelemesi içindir. Örneğin $c \overset{3}{\mapsto} c'$ ifadesi, üçüncü yinelemenin birinci kritik noktayı ikinciye taşıdığı anlamına gelir. Son sütun, $AB \geq 0$ olduğunda gerçel dönüşümün topolojik entropisini verir.

Not. $B = 0$ olduğunda, ancak ve ancak $(-A, 0)$ noktasında merkezlenmiş bir hiperbolik bileşen varsa $(A, 0)$ noktasında merkezlenmiş bir hiperbolik bileşen olduğuna dikkat ediniz. Bu durum, $f(z) = \pm z^3 - 3Az$ gibi bir tek dönüşüm için ikinci yineleme $f(f(z))$'nin $-f(-f(z))$'ye eşit olması gözleminden kaynaklanır, böylece $f$ ve $-f$ oldukça benzer dinamik özelliklere sahip olur. Örneğin gerçel durumda aynı topolojik entropiye, veya karmaşık durumda aynı Julia kümesine sahiptirler ve biri hiperbolik ise ancak ve ancak diğeri de hiperboliktir. Ancak, bunlardan birinin çift geçişli bir bileşene (Tip B) ait olması, diğerinin ise ayrık çekici yörüngelere (Tip D) sahip olması mümkündür.

Bu yirmi hiperbolik bileşen hakkında daha fazla bilgi, karşılık gelen Hubbard ağaçlarını gösteren Şekil 23'ten okunabilir. ([Douady-Hubbard, 1984-85] ile karşılaştırınız.) Her Hubbard ağacı, iki kritik yörüngenin noktalarının dolu Julia kümesi $K(f)$ içinde birbirine nasıl bağlandığını gösteren basitleştirilmiş bir resimdir. Polinomlarımızın gerçel katsayılı olması nedeniyle, bu Hubbard ağaçlarının tamamı gerçel eksene göre simetriktir. $B = 0$ olan tekil dönüşümlere karşılık gelen yalnızca ikinci satırdakilerin aynı zamanda dikey bir eksene göre de simetrik olduğuna dikkat ediniz.

Şekil 23. Ek B'de listelendiği gibi, yirmi hiperbolik bileşenin merkezleri için Hubbard ağaçları. (Son iki şemada, köşe 0 maps to 1, to 2, ... .)

Ek C. (referans verilen ancak dahil edilmeyen bölüm)

$(A, B)$ düzleminde ve diğer ilgili parametre düzlemlerinde resim yaparken kullanılan temel algoritma şu şekilde tanımlanabilir. Gerçel veya karmaşık eşlenik olabilen iki $z^{\pm}_0 = \pm a$ kritik noktasıyla başlayarak, ardışık $z^{\pm}_{n+1} = f(z^{\pm}_n)$ yinelemelerini ve ayrıca birkaç yüze kadar veya $|z^{\pm}_n|$ büyüyene veya kısmi türevlerden biri çok büyük olana kadar $n$ için $z^{\pm}_n$'nin $A$ ve $B$'ye göre kısmi türevlerini hesaplarız. Bu sayıların tamamı nispeten küçük kalırsa, parametre uzayındaki verilen noktanın hiperbolik bir bileşende olduğu kabul edilir. Eğer $|z^{\pm}_n|$ büyürse, verilen parametre noktasının, verilen kritik noktanın yörüngesinin sınırlı kaldığı kümeden uzaklığı, ilk kısmi türevler kullanılarak tahmin edilir. ([Milnor, 1989 §5.6] veya [Fisher] ile karşılaştırınız.) Eğer bu mesafe piksel boyutundan küçükse, verilen parametre noktasının bir sınır noktası olduğu kabul edilir. Bu yöntem, resimlerin ölçüsü sıfıra yakın olabilen çok ince filamentleri göstermesini sağlar. Benzer şekilde, yörünge sınırlı kalırsa ancak bazı ilk türevler büyük olursa bir sınır noktasına sahip oluruz. Şekillerin çoğunda, hiperbolik bileşenler arasındaki sınırları belirlemek için ek bir adım atılmıştır. Şöyle ki, birçok yinelemeden sonra, yörüngeler küçük periyotlu yaklaşık periyodiklik için kontrol edilir ve her iki kritik yörünge de aynı periyoda sahipse bu iki periyodik yörünge karşılaştırılır. Bu periyodiklik yapısının değiştiği pikseller siyahla gösterilir.

Bu prosedürün ana kusuru, periyodik bir yörüngeye yakınsamanın son derece yavaş olduğu durumlarda etkisiz olmasıdır. Bu durum parabolik bir yörüngenin olduğu $\operatorname{Per}_p(\pm 1)$ eğrilerinin yakınında ve özellikle üç veya daha fazla hiperbolik bileşenin bir araya geldiği noktaların yakınında gerçekleşme eğilimindedir. Dolayısıyla şekiller bu tür noktaların yakınında büyük ölçüde bozuktur. (Ek A ile karşılaştırınız.)

Kaynakça.

1. M. Benedicks and L. Carleson, On the iterations of $1 - ax^2$ on $(-1, 1)$, Annals of Math. 122 (1985), 1-25.
2. P. Blanchard, Complex analytic dynamics on the Riemann sphere, Bull. Am. Math. Soc. 11 (1984), 85-141.
3. P. Blanchard, Disconnected Julia sets, pp. 181-201 of “Chaotic Dynamics and Fractals”, edit. Barnsley and Demko, Acad. Press 1986.
4. L. Block and J. Keesling, Computing the topological entropy of maps of the interval with three monotone pieces, to appear.
5. B. Branner, Iterations by odd functions with two extrema, J. Math. Anal. and Apl. 105 (1985), 276-297.
6. B. Branner, The parameter space for cubic polynomials, pp. 169-179 of “Chaotic Dynamics and Fractals”, edit. Barnsley and Demko, Acad. Press 1986.
7. B. Branner, The Mandelbrot set, pp. 75-105 of “Chaos and Fractals”, edit. Devaney & Keen, Proc. Symp. Applied Math. 39, Amer. Math. Soc. 1989.
8. B. Branner and A. Douady, Surgery on complex polynomials, Proceedings Symposium on Dynamical Systems, Mexico 1986, to appear.
9. B. Branner and J. H. Hubbard, The iteration of cubic polynomials, Part 1: The global topology of parameter space, Acta Math. 160 (1988) 143-206; Part 2 to appear.
10. G. Bredon, Introduction to compact transformation groups, Academic Press 1972.
11. M. Brown, A proof of the generalized Schoenflies theorem, Bulletin A.M.S. 66 (1960) 74-76. (See also “The monotone union of open n-cells is an open n-cell”, Proc.A.M.S. 12 (1961) 812-814.)
12. O. Chavoya-Aceves, F. Angulo-Brown and E. Pi˜na, Symbolic dynamics of the cubic map, Physica D 14 (1985) 374-386.
13. R. Devaney, L. Goldberg and J. H. Hubbard, A dynamical approximation to the exponential map by polynomials, to appear.
14. A. K. Dewdney, Computer Recreations, Scient. Amer., Nov. 1987, p. 144.
15. A. Douady, Systèmes dynamiques holomorphes, Sém. Bourbaki 599, Astérisque 105-106 (1983), 39-63.
16. A. Douady and J. H. Hubbard, Étude dynamique des polynômes complexes I (1984) & II (1985), Publ. Math. Orsay.
17. A. Douady and J. H. Hubbard, On the dynamics of polynomial-like mappings, Ann. Sci. Ec. Norm. Sup. (Paris) 18 (1985), 287-343.
18. Y. Fisher, Exploring the Mandelbrot set, pp. 287-296 of “The Science of Fractal Images”, edit. Peitgen and Saupe, Springer 1988.
19. S. Friedland and J. Milnor, Dynamical properties of plane polynomial automorphisms, Ergodic Theory and Dynamical Systems 9 (1989) 67-99.
20. B. Friedman and C. Tresser, Comb structure in hairy boundaries: some transition problems for circle maps, Physics Let. A 117 (16) 15-22.
21. J. Guckenheimer, Sensitive dependence to initial conditions for one dimensional maps, Comm. Math. Phys. 70 (1979), 133-160.
22. H. El Hamouly and C. Mira, Singularités dues au feuilletage du plan des bifurcations d’un difféomorphisme bi-dimensionel, C. R. Acad. Sci. Paris 294 (1982), 387-390.
23. M. Jakobson, Absolutely continuous invariant measures for one-parameter families of one-dimensional maps, Comm. Math. Phys. 81 (1981), 39-88.
24. P. Lavaurs, Le lieu de connexité des polynômes du troisième degré n’est pas localement connexe, in preparation.
25. R. MacKay and C. Tresser, Boundary of chaos for bimodal maps of the interval, J. Lond. Math. Soc., to appear.
26. R. MacKay and C. Tresser, Some flesh on the skeleton: the bifurcation structure of bimodal maps, Physica 27D (1987) 412-422.
27. J. Milnor, Non-expansive Hénon maps, Advances in Math. 69 (1988) 109-114.
28. J. Milnor, Self-similarity and hairiness in the Mandelbrot set, pp. 211-257 of “Computers in Geometry”, edit. M. Tangora, Lect. Notes Pure Appl. Math. 114, Dekker 1989.
29. J. Milnor, Dynamics in One Complex Variable, Introductory Lectures, Stony Brook IMS preprints 1990/5.
30. J. Milnor, Hyperbolic components in spaces of polynomial maps, in preparation.
31. J. Milnor, On cubic polynomials with periodic critical point, in preparation.
32. J. Milnor and W. Thurston, Iterated maps of the interval, pp. 465-563 of “Dynamical Systems (Maryland 1986-87)”, ed. J.Alexander, Lect. Notes Math. 1342, Springer 1988.
33. M. Misiurewicz and W. Szlenk, Entropy of piecewise monotone mappings, Astérisque 50 (1977), 299-310 and Studia Math. 67 (1980), 45-63.
34. E. Pi˜na, Comment on “Study of a one-dimensional map with multiple basins”, Phys. Rev. A 30 (1984), 2132-2133.
35. M. Rees, Components of degree two hyperbolic rational maps, Invent. Math. 100 1990, 357-382.
36. M. Rees, A partial description of parameter space of rational maps of degree two, Part 1: preprint, Univ. Liverpool 1990; and Part 2: Stony Brook IMS preprints 1991/4.
37. J. Ringland and M. Schell, Universal geometry in the parameter plane of maps of the interval, to appear.
38. J. Ringland and M. Schell, The Farey tree embodied — in bimodal maps of the interval, to appear.
39. T. Rogers and D. Whitley, Chaos in the cubic mapping, Math. Modelling 4 (1983) 9-25.
40. M. Rychlik, Another proof of Jakobson’s theorem and related results, Erg. Theory and Dyn. Sys. 8 (1988) 93-109.
41. H. Skjolding, B. Branner, P. Christiansen and H. Jensen, Bifurcations in discrete dynamical systems with cubic maps, Siam J. Appl. Math. 43 (1983), 520-534.
42. R. Winters (Boston University), Of tricorns and biquadratics, in preparation.
43. B. Wittner, On the bifurcation loci of rational maps of degree two, Thesis, Cornell University 1988.

Institute for Mathematical Sciences, SUNY Stony Brook NY
Eylül 1991