← arxiv/
arXiv:9003.0004math.DS
tr · çeviri

Hiyerarşik Ising Modellerinde Julia Kümeleri ve Karmaşık Tekillikler

P. M. Bleher, M. Yu. Lyubich

Tel-Aviv University · SUNY Stony Brook
4 Mart 1990

Özet

Elmas benzeri hiyerarşik kafesler üzerindeki Ising modelinin serbest enerjisinin karmaşık düzlemdeki analitik devamını inceliyoruz. Bu modelin serbest enerjisinin tekilliklerinin, Migdal-Kadanoff renormalizasyon grubunun eylemiyle ilişkili bazı $f$ rasyonel endomorfizmalarının Julia kümesi üzerinde yer aldığı bilinmektedir [Derrida et al. 1983, Derrida et al. 1984]. Sıcaklık, hiperbolik jeodezikler boyunca $f$'nin bir çekim havzasının sınırına gittiğinde serbest enerjinin asimptotiklerini inceliyoruz. Jeodeziklerin hemen hemen hepsi (harmonik ölçüye göre) için karmaşık kritik üstelin ortak olduğunu kanıtlıyor ve bunu hesaplıyoruz.

1. Giriş

Bu makalenin amacı, elmas benzeri hiyerarşik kafesler üzerindeki Ising modelinde serbest enerji $\mathcal{F}$'nin sıcaklığa göre karmaşık tekilliklerini analiz etmektir. Geleneksel bakış açısına göre, bir faz geçişi, termodinamik parametrelerin (sıcaklık ve dış manyetik alan gibi) bir fonksiyonu olarak $\mathcal{F}$'nin bir tekilliği olarak kendini gösterir. Bu bakış açısından, faz geçişleri teorisi, $\mathcal{F}$'nin analitiklik bölgesini ve faz geçişi noktalarındaki tekilliklerinin türünü açıklamalıdır (bu problemlerden birincisine yönelik çeşitli yaklaşımların tartışıldığı [Ruelle 1969] çalışmasına bakınız).

$\mathcal{F}$, faz geçişi noktaları dışında reel analitik olduğundan, termodinamik parametrelere göre karmaşık uzaya devam ettirilebilir. Karmaşık tekilliklerinin tanımlanması, faz geçişleri teorisi için büyük önem taşımaktadır çünkü termodinamik fonksiyonun analitik özelliklerini belirler.

Meşhur Lee-Yang teorisi (bkz. [Lee and Yang 1952]), ferromanyetik Ising modelinde serbest enerjinin dış manyetik alana göre analitik devamının tekilliklerini açıklayarak bu yaklaşımın bir uygulamasını sunar. Ferromanyetik Ising modelinde büyük bölüşüm fonksiyonunun sıfırlarının sanal eksen üzerinde yer aldığını ve dolayısıyla serbest enerjinin karmaşık tekilliklerinin de sanal eksen üzerinde yer aldığını kanıtlar. [Lee and Yang 1952] çalışmasında ortaya konan önemli bir problem, büyük bölüşüm fonksiyonunun sıfırlarının limit dağılımını incelemektir, çünkü serbest enerji bu dağılım üzerinden bir logaritmik potansiyel olarak ifade edilebilir.

Termodinamik fonksiyonların sıcaklığa göre analitik devamının karmaşık tekilliklerinin belirlenmesi problemi de farklı açılardan oldukça ilgi çekicidir. Kritik bir noktanın yakınında termodinamik fonksiyonların asimptotik davranışının birçok özelliği, Kadanoff-Wilson-Fisher renormalizasyon grubu teorisi aracılığıyla araştırılmıştır (bkz. örneğin [Wilson and Kogut 1974, Fisher 1974a]). Bu teori, termodinamik fonksiyonların reel kritik tekilliklerine, güzel bir evrensel ölçekleme yapısına sahip yerel bir form kazandırır. Soru şudur: Bu tekillikler karmaşık uzaya nasıl devam ettirilir ve karmaşık uzaydaki küresel yapıları nedir?

Ne yazık ki, genel modeller için karmaşık sıcaklık düzleminde termodinamik fonksiyonların küresel karmaşık tekilliklerini açıklayan Lee-Yang teorisi gibi genel bir teori mevcut değildir. Ancak, iki boyutlu Ising modeli için bazı kesin sonuçlar elde edilmiştir. Buradaki ana araç meşhur Onsager çözümüdür. İzotropik iki boyutlu Ising modelinde, bölüşüm fonksiyonunun sıfırlarının asimptotik olarak $e^{-2J/T} = \pm 1 + \sqrt{2} e^{i\varphi}$ iki çemberi üzerinde yer aldığı ortaya çıkmıştır (bu Fisher [Fisher 1964] tarafından tahmin edilmiş ve [Brascamp and Kunz 1974] çalışmasında kanıtlanmıştır). Daha sonra, çeşitli kafesler üzerindeki anizotropik iki boyutlu Ising modellerinde, bölüşüm fonksiyonunun sıfırlarının karmaşık sıcaklık düzleminde bazı düzlemsel bölgeleri doldurduğu ve bazı durumlarda sıfırların limit dağılımının yoğunluğunun açıkça bulunabildiği gösterilmiştir (bkz. [Van Saarlos and Kurtze 1984, Stephenson 1989] ve oradaki referanslar).

Bu makalede, başka bir tam çözülebilir modeli, yani elmas benzeri hiyerarşik kafesler üzerindeki Ising modelini ele alıyoruz (bkz. [Griffiths and Kaufman 1982]). Bu durumda, Migdal-Kadanoff renormalizasyon dönüşümünün, Riemann küresi üzerinde açıkça bulunabilen bir $f$ rasyonel dönüşümü olduğu ortaya çıkar. [Derrida et al. 1983, Derrida et al. 1984] makalelerinde şu güzel gözlem yapılmıştır: karmaşık faz geçişi noktalarının kümesi bu dönüşümün Julia kümesi $J(f)$ ile çakışır. Bu makalede, serbest enerji $\mathcal{F}$'nin tekil noktalar yakınındaki analitik özelliklerini inceliyoruz. Karmaşık düzlemdeki termodinamik fonksiyonların analitik özelliklerinin net bir şekilde anlaşılmasının, modelin fiziksel doğasıyla çok ilgisi olduğuna inanıyoruz.

Elmas benzeri kafeslerin hiyerarşik dizisi bir doğal parametre $b \ge 2$'ye bağlıdır. $\Gamma_0$ kafesi, bir bağ ile bağlanan sadece iki "dış" alandan oluşur. $\Gamma_1$'i elde etmek için, dış alanların arasına, dış alanlarla bağlarla bağlanan $b$ tane iç alan yerleştiririz (Şekil 0'da $b=3$ durumu gösterilmiştir). Daha sonra, $\Gamma_{n+1}$'i elde etmek için, $n=1,2,\dots$ için $\Gamma_n$'deki her bir bağı $\Gamma_1$ kafesi ile değiştiririz.

Bu kafesler üzerindeki Ising modelinin tanımı ve termodinamik fonksiyonların hesaplanması için [Griffiths and Kaufman 1982, Derrida et al. 1983, Derrida et al. 1984, Bleher 1989, Bleher and Zalis 1989] makalelerine başvuruyoruz. Bizim için başlangıç noktası, serbest enerji için aşağıdaki açık formüldür:

$$\mathcal{F} = -\frac{J}{2} - \frac{T}{2} \sum_{n=0}^{\infty} (2b)^{-n} \ln(1+t_n^b) \tag{1.1}$$

burada $b = 2^{d-1}$, $d$ kafesin "boyutu"dur, $J$ etkileşim sabiti, $T$ sıcaklıktır ve $t_n, n \ge 0$ dizisi aşağıdaki yinelemeli denklemle verilir:

$$t_{n+1} = f(t_n), \qquad n \ge 0 \tag{1.2}$$

burada

$$f(t) = \frac{4t^b}{(1+t^b)^2}, \tag{1.3}$$

olup başlangıç verisi şöyledir:

$$t_0 = \exp\left(-\frac{2J}{bT}\right) \equiv G(T). \tag{1.4}$$

(1.2)–(1.4) denklemleri fiziksel açıdan, $T \mapsto G^{-1} \circ f \circ G(T)$ dönüşümünün Migdal-Kadanoff renormalizasyon grubu dönüşümü altında sıcaklığın yeniden ölçeklenmesini verdiğini gösterir (bkz. [Griffiths and Kaufman 1982, Derrida et al. 1983, Derrida et al. 1984, Bleher 1989, Bleher and Zalis 1989]). $t=0$ ve $t=1$ noktalarının $t \mapsto f(t)$ dönüşümünün süper-stabil sabit noktaları (renormalizasyon grubunun düşük ve yüksek sıcaklık sabit noktaları) olduğunu ve $b>1$ için $[0,1]$ üzerinde benzersiz bir kararsız sabit nokta $t_c$ bulunduğunu unutmayın. Kritik sıcaklık $T_c$, $G^{-1}(t_c)$'ye eşittir.

(1.1)–(1.4) formülleri $T$'nin karmaşık değerleri için de anlamlıdır. Dolayısıyla, serbest enerji $\mathcal{F}(T)$'nin pozitif $T>0$ ekseninden karmaşık düzleme analitik devamını ele alabiliriz. $\mathcal{F}$'nin tekilliklerinin $J(f)$ Julia kümesi üzerinde yer aldığını görmek zor değildir [Derrida et al. 1983, Derrida et al. 1984]. (Julia kümesinin tanımı için [Blanchard 1986, Lyubich 1986, Eremenko and Lyubich 1989, Milnor 1990] incelemelerinden birine bakınız).

Şimdi 0 ve 1 noktalarının hemen çekim havzaları (immediate attracting basins) $\Omega_0$ ve $\Omega_1$'i ele alalım. $\overline{\mathbb{C}} \setminus J(f)$'nin bu bölgelerin ters görüntülerinin (preimages) birleşimi olduğu ve $\Omega_0$'ın $J(f)$ içinde bir Jordan bölgesi olduğu gösterilebilir (bkz. Bölüm 2). Bu makalede $\mathcal{F}$'nin $\Omega_0$ bölgesindeki sınır özelliklerini inceliyoruz. Bu amaçla, $\Omega_0$'ın birim disk üzerine Riemann dönüşümünü $\psi: \Omega_0 \longrightarrow \mathbb{U}$ ele alalım. $\Omega_0$'daki hiperbolik jeodezikler, $\mathbb{U}$ içindeki yarıçapların $\psi^{-1}$ görüntüleridir. $\tau \in \partial\Omega_0$ noktasında sonlanan jeodeziği $B_\tau$ ile gösterelim. $\partial\Omega_0$ üzerindeki harmonik ölçüyü de $\mu$ ile gösterelim, yani $\mu = \psi_*^{-1} \lambda$ olup burada $\lambda$, $\partial\mathbb{U} \equiv \mathbb{T}$ çemberi üzerindeki Lebesgue ölçüsüdür. $t \in B_\tau$ için, $B_\tau$'nun $t$'den $\tau$'ya olan uzunluğunu $l(t)$ ile gösterelim (muhtemelen $l(t) = \infty$).

Bu makalede şunları kanıtlıyoruz:

  1. Serbest enerjinin türevi $\mathcal{F}'$, $\Omega_0$'ın sınırına kadar süreklidir.
  2. $b > 2$ için, ikinci türevi $\Omega$'da süreksizdir ve jeodeziklerin hemen hemen hepsi ($\mu$-neredeyse hepsi) üzerinde aşağıdaki asimptotiğe sahiptir: $$\lim_{t \to \tau, \, t \in B_\tau} \frac{\ln | \mathcal{F}''(t) |}{-\ln l(t)} \equiv \alpha_c = 1 - \frac{\ln 2}{\ln b} = 1 - \frac{1}{d-1}. \tag{1.5}$$

Bu, hemen hemen tüm jeodezikler için, düşük sıcaklıklar bölgesindeki özgül ısı kritik üstelinin evrensel olduğunu ve $1 - \frac{1}{d-1}$'e eşit olduğunu gösterir.

Şimdi makalenin içeriğini daha ayrıntılı olarak ele alalım.

Bölüm 2'de $f$ endomorfizmasının dinamik özelliklerini açıklıyoruz. Özellikle, Douady-Hubbard doğrultma teoremini (straightening theorem) kullanarak $\Omega_0$'ın bir Jordan bölgesi olduğunu gösteriyoruz.

Bölüm 3'te $\mathcal{F}'$'nün $\mathrm{cl}\,\Omega_0$'da sürekli olduğunu ve $\partial\Omega_0$'ın $\mathcal{F}$'nin doğal analitiklik sınırı olduğunu gösteriyoruz. Kanıt, $f$'ye ilişkin bazı ilginç gözlemlere (Koebe fonksiyonu ve bir Chebyshev polinomu ile ilişkisi) dayanmaktadır.

Bölüm 4'te bazı teknik altyapıları tartışıyoruz: Bowen-Ruelle-Sinai termodinamik formalizmi ve $f$'nin doğal genişlemesinin (natural extension / limitlerin tersi) inşası. Bunlar (ergodik teorem ile birlikte) kritik üstelin doğru bir şekilde hesaplanması için temel araçlardır.

Bölüm 5'te $\mathcal{F}''$ için fonksiyonel denklemi ve disk cebirindeki ağırlıklı yerdeğiştirme operatörünün (weighted substitution operator) ilgili spektral özelliklerini tartışıyoruz.

Bölüm 6 makalenin merkezi bölümüdür: burada, $\mathcal{F}''$'nün $\Omega_0$'ın sınırına kadar sürekli olmadığı varsayımı altında, kritik üstelin hesaplanmasını veriyoruz.

Bölüm 7'de $\mathcal{F}''$'nün gerçekten bu özelliği sağladığını kanıtlıyoruz, bu da ana sonucun kanıtını tamamlar.

Son Bölüm 8'de ise ilgili bazı problemleri tartışıyoruz.

Teşekkür

Metne göz atıp yararlı yorumlarda bulunan J. Milnor'a; sunumun geliştirilmesini sağlayan eleştirel yorumları için M. Fisher'a ve hakeme; güzel bilgisayar çizimleri için J. Milnor ve G. Tusnagy'ye; ve yazarlardan birinin (P.M.B.) Budapeşte ziyaretini destekleyen Macar Bilimler Akademisi NEFIM fonuna minnettarız.

2. $f: t \mapsto \frac{4t^b}{(1+t^b)^2}$ Dönüşümünün Dinamikleri

Karmaşık rasyonel dönüşümlerin dinamiklerine genel bir bakış için [Blanchard 1986, Lyubich 1986, Eremenko and Lyubich 1989, Milnor 1990] incelemelerine atıfta bulunuyoruz. Bu teorinin bazı kavramlarını ve gerçeklerini ek açıklama yapmadan kullanacağız.

Aşağıdaki gösterimleri sunuyoruz:

Aşağıdaki fonksiyon

$$f \equiv f_b: t \mapsto \frac{4t^b}{(1+t^b)^2}$$

iyi bilinen ekstremal Koebe fonksiyonu (bkz. [Golusin 1966]) ile ilişkilidir:

$$\mathcal{K}_0(z) = \frac{z}{(1-z)^2}.$$

$K(z) = -4\mathcal{K}_0(-z)$ ve $S(z) \equiv S_b(z) = z^b$ olarak ayarlandığında, $f = K \circ S$ elde ederiz.

$f$'nin Koebe fonksiyonu ile ilişkisi oldukça gizemlidir, özellikle de 4 katsayısı Koebe sabiti olan 1/4 ile ilişkilendirildiğinde. $K(t)$'nin $\tau \mapsto 2\tau^2 - 1$ Chebyshev polinomuna konform olarak eşlenik olduğunu gözlemlemek daha da ilginçtir. Gerçekten de, $K$ fonksiyonunun $c_1 = 1$ ve $c_2 = -1$ olmak üzere iki basit kritik noktası vardır. Üstelik $f(c_1) = c_1$, yani $c_1$ bir süper-stabil sabit noktadır ve $c_2 \mapsto \infty \mapsto 0$ olup burada 0 bir itici (repelling) sabit noktadır. Konform eşleniklik dışında, bu tür özelliklere sahip 2. dereceden benzersiz rasyonel fonksiyon $T$'dir. Daha spesifik olarak, $\{0,1,\infty\}$ üçlüsünü $\{1,\infty,-1\}$ üçlüsü üzerine eşleyen Möbius dönüşümü $\varphi: t \mapsto \frac{1+t}{1-t}$ olmak üzere $\varphi \circ K \circ \varphi^{-1} = T$ elde edilir. Özellikle, $J(K)$ Julia kümesinin $[-\infty, 0] = \varphi^{-1}[-1,1]$ negatif yarı-ekseni ile çakıştığı sonucu çıkar.

Kuvvet fonksiyonları ve Chebyshev polinomları yineleme teorisinde özel bir rol oynar. Birçok problemde istisna olarak karşımıza çıkarlar; örneğin, sadece bu fonksiyonlar basit geometriye sahip bir Julia kümesine sahiptir. $f = K \circ S$ bileşkesi bu özelliğe sahip değildir (bkz. Şekil 1).

Eğer tüm kritik noktalarının $\{g^n(c_i)\}$ yörüngeleri sonlu ise, bir $g$ rasyonel fonksiyonuna kritik olarak sonlu (critically finite) denir.

Zincir kuralı gereğive

$$C(f) = C(S) \cup S^{-1} C(K) = \{0,\infty\} \cup \{\alpha_i\}_{i=1}^b \cup \{\beta_j\}_{j=1}^b,$$

burada $\alpha_i$'ler 1'in $b$. dereceden kökleridir ve $\beta_j$'ler -1'in $b$. dereceden kökleridir. Üstelik, 0 ve $\alpha_1 = 1$, diğer tüm kritik noktaların yörüngelerini soğuran süper-stabil sabit noktalardır: $\alpha_i \mapsto 1$, $\beta_j \mapsto \infty \mapsto 0$. Dolayısıyla, $f$ fonksiyonu kritik olarak sonludur.

$a$ noktasını içeren $F(f)$ Fatou bileşenini $\Omega_a \equiv \Omega(a)$ ile gösterelim. $\Omega_0$ ve $\Omega_1$ bölgelerine 0 ve 1 sabit noktalarının hemen havzaları (immediate basins) denir.

Aşağıdaki eşdeğer özellikler geçerli olduğunda bir $g$ rasyonel fonksiyonunun Aksiyom A'yı sağladığını söyleriz:

  1. Tüm kritik noktaların yörüngeleri kararlı döngülere yakınsar;
  2. $g$, Julia kümesi üzerinde genişleyendir (expanding), yani aşağıdaki koşulu sağlayan $C > 0$ ve $\lambda > 1$ sabitleri vardır: $$\| dg^n(z) \| \ge C \lambda^n \qquad (z \in J(f), \, n \in \mathbb{N}).$$

Yukarıdaki analizden bizim $f$ fonksiyonumuzun (1) özelliğini sağladığı ve dolayısıyla Aksiyom A'yı sağladığı sonucu çıkar. Bu, özellikle Fatou kümesinin hemen havzalar olan $\Omega_0$ ve $\Omega_1$'in ters görüntülerinden oluştuğunu gösterir.

$\Omega = \mathrm{cl}\,\Omega_0$ ve $\Gamma = \partial\Omega_0$ olarak ayarlayalım (bu gösterimler makalenin sonuna kadar kullanılacaktır). Şimdi $\Gamma$'nın bir Jordan eğrisi ve hatta bir kuazi-çember (quasicircle) olduğunu göstereceğiz (aslında, sonuncusu otomatik olarak sağlanır, ancak Fatou teoremine göre hiçbir noktada teğeti yoktur). Bu amaçla, Douady-Hubbard doğrultma teoremini (straightening theorem) uyguluyoruz (bkz. [Douady and Hubbard 1985]).

$V$ ve $V'$, parçalı-düzgün eğrilerle sınırlanmış iki basit bağlantılı bölge olsun ve $\mathrm{cl}\,V \subset V' \subset \mathbb{C}$ sağlansın. Eğer $g: V \to V'$, $V$ üzerinde $V'$ üzerine $d$ yapraklı analitik bir örtü (covering) ise ve $\partial V$ üzerinde hiçbir kritik noktası yoksa, bu dönüşüme $d$ dereceli polinom-benzeri (polynomial-like) denir. Riemann-Hurwitz formülü gereği, böyle bir dönüşümün $V$ içinde katlılıkları ile birlikte sayıldığında $d-1$ tane kritik noktası vardır. Şöyle tanımlayalım:

$$K(g) = \{z: g^n(z) \in V \, (n=0,1,\dots)\}, \qquad K^0(g) = \mathrm{int}\,K(g).$$

$K(g)$, $V$'nin kompakt bir alt kümesidir.

Doğrultma teoremi, herhangi bir polinom-benzeri $g$ dönüşümünün aynı dereceden bir polinoma kuazi-konform olarak eşlenik olduğunu belirtir, yani $K \subset W \subset V$ olacak şekilde bazı $W$ bölgeleri için $\psi \circ g|_W = h \circ \psi|_W$ koşulunu sağlayan bir kuazi-konform $\psi: \mathbb{C} \to \mathbb{C}$ homeomorfizması vardır. Üstelik $\psi|_{K^0(g)}$ konformdur ve

$$\psi(K(g)) = \mathbb{C} \setminus \{z: h^{\circ n}(z) \to \infty \, (n \to \infty)\}$$

$h$'nin dolu Julia kümesidir (filled-in Julia set).

Not

Lemma 2.1. $\Omega_0$ bölgesi Jordan'dır ve sınırı bir kuazi-çemberdir. $f|_{\Omega_0}$ kısıtlanışı, $\mathbb{U}^\circ$ birim diskinin $z \mapsto z^b$ kuvvet dönüşümüne konform olarak eşleniktir.

Kanıt. $\Omega$'nın, $f$'nin üzerinde $b$ dereceli polinom-benzeri bir dönüşüm olduğu bir komşuluğunu inşa edelim. Bu amaçla, $K$ fonksiyonunun $\mathbb{U}^\circ$ diskini $\mathbb{R}_1 = [1, \infty)$ yarı-ekseni boyunca kesilmiş düzlem üzerine konform olarak eşlediğini unutmayın (bu, 4 katlı Koebe fonksiyonunun karakteristik özelliğidir). $B(1,\epsilon)$ çemberinin $\gamma_1$ yayı, $R \gg 1$ olmak üzere $B(0,R)$ çemberinin $\gamma_2$ yayı ve iki yatay aralık ile sınırlanmış $V'$ bölgesini ele alalım.

$V$, $f^{-1}(V')$'nin 0 içeren bileşeni olsun. O halde $f(\partial\mathbb{U}) = \mathbb{R}_1$, $V'$'nin dışında kaldığından $\mathrm{cl}\,V \subset \mathbb{U}^\circ$ elde edilir. Ayrıca, yeterince küçük $\epsilon$ için $\mathrm{cl}\,V \cap \gamma_1 = \emptyset$'dir. Gerçekten de, 1 kararlı bir sabit nokta olduğundan, $f(\gamma_1)$ yayı $B(1,\epsilon)$ diskinin içinde ve dolayısıyla $V'$'nin dışında kalır.

Böylece, $\mathrm{cl}\,V \subset V'$ elde edilir.

Dahası, $V = (K|_{\mathbb{U}})^{-1} \circ (S^{-1} V')$ ifadesinden $V$'nin basit bağlantılı olduğu açıktır. Gerçekten de, $S^{-1} V'$'nin basit bağlantılı olduğu kolayca görülürken (bkz. örneğin [Lyubich 1986], Lemma 1.4), $K|_{\mathbb{U}}$ tek değerlidir (univalent).

$f: V \to V'$'nin polinom-benzeri bir dönüşüm olduğunu gösterdik. Derecesi $b$'ye eşittir çünkü $V \subset \mathbb{U}_0$, benzersiz $(b-1)$ katlı 0 kritik noktasını içerir. Açıkça, $\Omega \subset K(f|_V)$'dir.

Doğrultma Teoremine göre, $f: V \to V'$ dönüşümü $b$ dereceli bir $h$ polinomuna kuazi-konform olarak eşleniktir. Eşlenikliği sağlayan $\psi$ homeomorfizmasını $\psi(0) = 0$ olacak şekilde normalleştirelim. O halde 0, $h$ için $(b-1)$ katlı bir kritik nokta olur. Buradan $h(z) = C z^b$ elde edilir. $\Gamma$ üzerinde yer alan reel sabit nokta $t_c$ olmak üzere $\psi(t_c) = 1$ olacak şekilde $\psi$'yi ek olarak normalleştirerek $C = 1$ elde ederiz.

Böylece, $\psi$ homeomorfizması $f: V \to V'$'yi kuvvet polinomu $h: z \mapsto z^b$'ye kuazi-konform olarak eşler. Sonuç olarak, $\Omega_0 = \psi^{-1}(\mathbb{U})$ bir kuazi-çember ile sınırlanmış bir Jordan bölgesidir ve $\psi$, $f|_{\Omega_0}$'ı $h|_{\mathbb{U}}$'ya konform olarak eşler. Lemma kanıtlanmıştır.

$$\Box$$

Not. Tan Lei bize yukarıdaki lemanın yüksek sıcaklık bölgesine de uygulanabilecek başka bir kanıtını gösterdi.

3. $\mathcal{F}'$'nün Analitik Özellikleri

Bu bölümde, $\mathcal{F}'(t)$ türevinin kapalı $\Omega$ kümesinde sürekli olduğunu göstereceğiz. Böylece, $\mathcal{F}'$, $\Omega_0$'da holomorfik ve $\Omega$'da sürekli fonksiyonların disk-cebiri $A(\Omega)$'ya ait olacaktır. Bunu, özel bir Riemann metriği $\mu$ içinde $\|Df\|_\mu$ türevini tahmin ederek elde edeceğiz.

Bundan sonra (1.1) serbest enerjisi $\mathcal{F}$ yerine aşağıdaki $F$ fonksiyonunu ele alacağız:

$$F = \sum_{n=0}^\infty \frac{1}{(2b)^n} g \circ f^n \tag{3.1}$$

burada yukarıda olduğu gibi $g(t) = \ln(1+t^b)$'dir. Açıkçası, analitik özellikleri $\mathcal{F}$ ile aynıdır. $g$'nin $\Omega$'nın bir komşuluğunda analitik olduğunu ve bu nedenle (3.1) serisinin $\Omega$'da düzgün yakınsadığını unutmayın. Dolayısıyla $F \in A(\Omega)$ elde edilir. Dahası, $z \in \Omega_0$ için şuna sahibiz:

$$F'(z) = \sum_{n=0}^\infty \frac{1}{(2b)^n} g'(f^n(z)) (f^n)'(z) \tag{3.2}$$

Bu serinin $\Omega$'da düzgün yakınsadığını göstermek istiyoruz, bu da kesinlikle $F' \in A(\Omega)$ olduğunu gösterir. Gerekli ifade aşağıdaki tahminden elde edilir:

Not

Lemma 3.1. $\Omega$ içindeki $z$ için $\mid (f^n)'(z)\mid \le C(\sqrt{2} b)^n$'dir.

Kanıt. $f = K \circ S$ olduğunu hatırlayalım (bkz. Bölüm 2). Kuvvet fonksiyonu $S$, $\exp(bz) = S(\exp z)$ fonksiyonel denklemini sağlar. Dinamik açıdan bu, $\exp$ fonksiyonunun $L: z \mapsto bz$ ve $S$ dönüşümlerini yarı-eşlediği (semiconjugates) anlamına gelir. $\mathbb{C}$ üzerindeki Öklid metriğini $\sigma$ ile, delikli düzlem $\mathbb{C}^* = \mathbb{C} \setminus \{0\}$ üzerindeki görüntüsünü ise $\mu = \exp_* \sigma$ ile gösterelim. $|d\mu| = |dt|/|t|$ elde ederiz.

$z \in \mathbb{C}$ için $\|DL(z)\|\sigma = b$ olduğundan,

$$\| DS(t) \|_\mu = b \tag{3.3}$$

$t \in \mathbb{C}^*$ için elde edilir. Ayrıca,

$$\| DK(t) \|_\mu = \frac{| t K'(t) |}{| K(t) |} = \frac{|1-t|}{|1+t|} = \frac{1}{|\varphi(t)|} \tag{3.4}$$

burada $\varphi(t) = (1+t)/(1-t)$'dir. Tam olarak bu fonksiyonun $K$'yi $T: \tau \mapsto 2\tau^2 - 1$ Chebyshev polinomuna eşlediğini görmek şaşırtıcıdır. Bu gözlem nedeniyle, eşlenik fonksiyona geçmek mantıklıdır:

$$h = \varphi \circ f \circ \varphi^{-1} = T \circ R$$

burada $R = \varphi \circ S \circ \varphi^{-1}$'dir. Karşılık gelen Riemann metriğini $\nu = \varphi_* \mu$ ile gösterelim. (3.3), (3.4) gereği,

$$\| DR(\tau) \|_\nu = b, \qquad \| DT(\tau) \|_\nu = \frac{1}{|\tau|}.$$

Dolayısıyla $\tau = \varphi(t)$ için,

$$\| Df(t) \|_\mu = \| Dh(\tau) \|_\nu = \frac{b}{|R(\tau)|} \tag{3.5}$$

elde edilir. $h$ fonksiyonu, hemen çekim havzası $W^0 = \varphi \Omega_0$ olan bir $1 = \varphi(0)$ süper-stabil sabit noktasına sahiptir. $\Omega \subset \mathbb{U}^\circ$ olduğundan, $W \equiv \mathrm{cl}\,W^0 = \varphi(\Omega)$ kümesi $\varphi(\mathbb{U}^\circ) = \mathbb{P}^0 = \{\tau: \mathrm{Re}\,\tau > 0\}$ sağ yarı-düzleminde yer alır. $W$, $h$-değişmez olduğundan, $T(R(W)) \subset \mathbb{P}^0$ ve dolayısıyla (bkz. Şekil 3)

$$R(W) \subset T^{-1}(\mathbb{P}^0) = \left\{\tau = x+iy: x^2-y^2 > 1/\sqrt{2}\right\}$$

Sonuç olarak, $\tau \in W$ için $|R(\tau)| > 1/\sqrt{2}$ elde edilir ve (3.5) şunu gerektirir:

$$\| Df(t) \|_\mu < b\sqrt{2}, \qquad t \in \Omega$$

Dolayısıyla,

$$\| Df^n(t) \|_\mu < (b\sqrt{2})^n, \qquad n \in \mathbb{N}$$

elde edilir. Ancak $\partial\Omega$ sınırı üzerinde $\mu$ metriği Öklid metriğine eşdeğerdir ve bu nedenle $t \in \partial\Omega$ için $|(f^n)'(t)| < C(\sqrt{2}b)^n$'dir. Maksimum İlkesi gereği, bu eşitsizlik $t \in \Omega$ için de geçerlidir. Lemma kanıtlanmıştır.

$$\Box$$

Şimdi $F'$'nün bazı küresel analitik özelliklerini kuralım. Bu fonksiyonun $\beta_i = \sqrt[b]{-1}$ noktalarında hiçbir tekilliğinin olmaması ilginçtir.

Not

Lemma 3.2.

  1. F' fonksiyonu, Fatou kümesi $N(f)$ üzerinde tek değerli holomorfik bir fonksiyondur.
  2. $\Omega_0$ bölgesi, $F'$'nün maksimum analitiklik bölgesidir.

Kanıt.

  1. Yukarıda olduğu gibi $g(t) = \ln(1+t^b)$ olmak üzere $\sigma(t) = g(t) + \frac{1}{2b} g(f(t))$ çok değerli fonksiyonunu ele alalım. Bunun $j=1,\dots,b$ için $\beta_j = \sqrt[b]{-1}$ yakınlarında düzenli (regular) olduğunu gösterelim. Şuna sahibiz:

$$\sigma(t) = \ln(1+t^b) + \frac{1}{2b} \ln\left(1 + \frac{4^b t^{b^2}}{(1+t^b)^{2b}}\right) = \frac{1}{2b} \ln\left((1+t^b)^{2b} + 4^b t^{b^2}\right).$$

Böylece, $\sigma(\beta_j) = \frac{1}{2}\ln 4 + (\frac{\pi}{2} + \pi n)i$ elde ederiz ve $\beta_j$ noktalarının $\sigma$ için düzenli noktalar olduğunu görürüz. Dolayısıyla, $\sigma$, $\Omega(\beta_j)$ bileşenlerinde düzenlidir.

Şimdi $V$, bazı $\Omega(\beta_j)$'lerin $n$ katlı bir ters görüntüsü olsun. (3.1) gereği,

$$F(t) = \frac{1}{(2b)^n} \sigma(f^n t) + \text{düzenli fonksiyon}$$

elde edilir. Buna dayanarak, $F$, $V$ içinde düzenlidir.

Böylece, $\Omega(\infty)$, $F$'nin düzenli olmadığı tek bileşendir ve orada şuna sahibiz:

$$F(t) = \ln(1+t^b) + \text{düzenli fonksiyon}.$$

Dolayısıyla,

$$F'(t) = \frac{bt^{b-1}}{1+t^b} + \text{düzenli fonksiyon}$$

$\Omega(\infty)$ içinde düzenlidir.

Böylece, $F'$ tüm Fatou kümesi $N(f)$ üzerinde düzenlidir ve (3.2) ifadesinden tek değerli olduğu açıktır. Birinci kısım kanıtlanmıştır.

  1. $F$ için fonksiyonel denklemi ele alalım:

$$\frac{1}{2b} F \circ f - F = g \tag{3.6}$$

Türevi aldığımızda şunu elde ederiz:

$$\frac{f'}{2b} F' \circ f - F' = g' = \frac{bt^{b-1}}{1+t^b}. \tag{3.7}$$

$F'$'nün $\Omega_0$'ın ötesine, $t \in \partial\Omega$'nın bazı komşuluklarına analitik olarak devam ettirilebildiği varsayımı altında, (3.7) gereği $f^n U$ içine meromorfik bir fonksiyon olarak devam ettirilebilir. Bazı $n$ değerleri için $f^n U \supset J(f)$ olduğundan, $F'$ tüm küre üzerinde meromorfiktir, yani rasyoneldir.

Ancak $F'$'nün $N(f)$ içinde hiçbir kutbunun olmadığını gösterdik. Eğer $F'$, bir $t \in J(f)$ noktasında bir kutba sahip olsaydı, o zaman (3.7) gereği büyük yörüngenin (grand orbit) tüm noktalarında da kutuplara sahip olurdu:

$$\mathcal{O}(t) = \bigcup_{m=0}^{\infty} \bigcup_{n=0}^{\infty} f^{-n}(f^m t)$$

Ancak bu yörünge sonsuz olduğundan bu imkansızdır. Dolayısıyla, $F'$'nün hiçbir kutbu yoktur ve bu çelişki kanıtı tamamlar.

$$\Box$$

4. Sembolik Dinamikler, Termodinamik Formalizm ve $f|_\Omega$'nın Doğal Genişlemesi

$\text{F}''$'nün sınır davranışını incelemek için Bowen-Ruelle-Sinai termodinamik formalizmine ihtiyacımız var (bkz. [Ruelle 1978, Ruelle 1982, Bowen 1975]). Teori bu dönüşüme sorunsuz bir şekilde uygulanabilir çünkü genişleyendir (expanding) (bkz. Bölüm 2).

$\Omega$ üzerinde sürekli, $\Omega_0$ üzerinde konform olan ve $f|_\Omega$'yı $S: z \mapsto z^b$ dönüşümüne indirgeyen $\psi: \Omega \to \mathbb{U}$ homeomorfizmasını ele alalım (Lemma 2.1). $\psi(t) = r e^{2\pi i\theta} \in \mathbb{U}$ olsun. $\Omega$ içindeki bir $t$ noktasına, $r \in [0,1]$ ve $\overline{\epsilon}_+ = (\epsilon_0, \epsilon_1, \dots)$, $\theta \in [0,1)$'nin $b$-tabanlı açılımı olmak üzere $(r, \overline{\epsilon}_+)$ çiftini atayalım. O halde $f$, aşağıdaki dönüşüme dönüşür:

$$(r, \overline{\epsilon}_+) \mapsto (r^b, \sigma_+ \overline{\epsilon}_+)$$

burada

$$\sigma_+: (\epsilon_0, \epsilon_1, \dots) \mapsto (\epsilon_1, \epsilon_2, \dots)$$

tüm tek yönlü $b$-tabanlı dizilerin $\Sigma_b^+$ uzayı üzerindeki ötelemedir (shift). Bazen $\Omega$'yı $[0,1] \times \Sigma_b^+$ ile özdeşleştireceğiz, ancak açıklanan bu eşleşme birebir değildir. O halde $f|_\Gamma$, $\sigma_+$ ötelemesi ile özdeşleştirilecektir.

$\Sigma_b^+$ içindeki $b$-tabanlı silindirleri ve $\Gamma$ içindeki karşılık gelen $b$-tabanlı aralıkları $[\epsilon_0, \dots, \epsilon_{n-1}]$ ile gösterelim. $B_\theta = \psi^{-1}\{r e^{2\pi i\theta}: 0 \le r \le 1\}$ $\Omega$ içindeki hiperbolik jeodezikler olsun ve $\Gamma_r = \psi^{-1}\{r e^{2\pi i\theta}: 0 \le \theta \le 1\}$ ($\ln|\psi|$ Green fonksiyonu için) eşpotansiyel seviyeler olsun.

$\rho$, $\Gamma$ üzerinde Hölder sürekli bir fonksiyon (potansiyel) olsun. Şunu tanımlayalım:

$$S_n \rho = \sum_{k=0}^n \rho \circ f^k.$$

$\rho$ potansiyeline karşılık gelen $\Gamma$ üzerindeki $\nu_\rho$ Gibbs ölçüsü, silindirler üzerinde aşağıdaki tahminleri sağlayan ölçüdür:

$$\nu_\rho[\epsilon_0 \dots \epsilon_{n-1}] \asymp \exp\left[ S_n \rho(t_{\epsilon_0 \dots \epsilon_{n-1}}) - n P \right], \tag{4.1}$$

burada $t_{\epsilon_0 \dots \epsilon_{n-1}}$, $[\epsilon_0 \dots \epsilon_{n-1}]$ silindirinin herhangi bir noktasıdır, $P = P_f(\rho)$ basınç olarak adlandırılan bir sabittir ve "$\alpha \asymp \beta$" işareti $C_1 \beta \le \alpha \le C_2 \beta$ anlamına gelir.

Bowen-Ruelle-Sinai teorisinin ana sonucu, her Hölder sürekli $\rho$ fonksiyonu için benzersiz bir $\nu_\rho$ Gibbs ölçüsünün var olduğunu belirtir. Bu ölçü Varyasyonel İlke'yi sağlar:

$$\sup_{\nu \in M(f)} \left( h_nu(f) + \int_\Gamma f d\nu \right) = h_{\nu_\rho}(f) + \int_\Gamma f d\nu_\rho = P_f(\rho) \tag{4.2}$$

burada $M(f)$, $\Gamma$ üzerindeki tüm $f$-değişmez olasılık ölçülerinin kompakt kümesini gösterir ve $h_\nu(f)$, $\nu$'nün entropisidir.

$P_f(\rho)$ basıncı, $\rho$'nun düzgün konveks fonksiyonelidir ve $\rho$'daki diferansiyeli $\nu_\rho$ Gibbs ölçüsüdür (bkz. [Ruelle 1982]):

$$\frac{d P_f(\rho + \kappa \alpha)}{d\kappa}\Big|_{\kappa=0} = \int \alpha d\nu_\rho. \tag{4.3}$$

$\rho = 0$ potansiyeline, maksimum entropiye sahip benzersiz $\mu \equiv \nu_0$ ölçüsü, yani ($\Sigma_b^+$ modeli açısından) eşit durumlu Bernoulli ölçüsü karşılık gelir. Bu ölçünün entropisi, $f|_\Gamma$'nın topolojik entropisine eşittir: $h_\mu(f) = h(f) = \ln b$.

$\psi: \Omega \to \mathbb{U}$ Riemann dönüşümü, $\mu$'yü $z \mapsto z^b$ için maksimum entropi ölçüsüne, yani $\mathbb{T}$ üzerindeki Lebesgue ölçüsüne dönüştürür. Dolayısıyla, $\mu$, 0'a karşılık gelen $\Gamma$ üzerindeki harmonik ölçü ile çakışır (bkz. [Golusin 1966]). Sonuç olarak,

$$\mathcal{H}(0) = \int_\Gamma \mathcal{H} d\nu$$

$\Omega_0$ içinde harmonik ve sınıra kadar sürekli olan her $\mathcal{H}$ fonksiyonu için geçerlidir.

Bu formülü aşağıdaki fonksiyona uygulayarak:[^1]

$$\mathcal{H}(t) = \ln \frac{|f'(t)|}{|\psi(t)|^b},$$

$\mu$'nün karakteristik üstelini buluruz:

$$\chi_\mu = \int_\Gamma \ln|f'| d\mu = \ln b. \tag{4.4}$$

Şimdi $\overline{f}: \overline{\Omega} \to \overline{\Omega}$ doğal genişlemesinin (natural extension / limitlerin tersi) inşasına geçelim (bkz. [Kornfeld et al. 1980]). Tanım gereği, bir $\overline{z} \in \overline{\Omega}$ noktası, $f z_{-(i+1)} = z_{-i}$ olmak üzere $\overline{z} = (z_0, z_{-1}, \dots)$ ters yörüngesidir ve $\overline{f}: \overline{z} \mapsto (f z_0, z_0, z_{-1}, \dots)$ şeklindedir. $\overline{f}$ dönüşümü $\overline{\Omega}$ üzerinde tersinirdir ve $\overline{f}$ ile $f$'yi yarı-eşleyen $\pi: \overline{\Omega} \to \Omega$, $\pi(\overline{z}) = z_0$ doğal izdüşümü vardır. Sıfır lifi dışındaki tüm $\pi$ lifleri Cantor kümeleridir. $\Gamma$ üzerindeki her bir $f$-değişmez $\nu$ ölçüsü, $\overline{\Gamma}$ üzerindeki $\overline{f}$-değişmez $\overline{\nu}$ ölçüsüne benzersiz bir şekilde kaldırılabilir.

$f$ için sembolik dinamikler, $\overline{f}$ için sembolik dinamikleri üretir. Yani, $\overline{\Omega}$, mod 0 olarak $[0,1] \times \Sigma_b$ ile özdeşleştirilebilir; burada $\Sigma_b = \{(\dots, \epsilon_{-1}, \epsilon_0, \epsilon_1, \dots)\}$ çift yönlü dizilerin uzayıdır. O halde:

$$\overline{f}: (r, \overline{\epsilon}) \mapsto (r^b, \sigma \overline{\epsilon}),$$

burada $\sigma: \Sigma_b \to \Sigma_b$ sola ötelemedir ve $\overline{\mu}$, $\Sigma_b$ üzerindeki eşit durumlu Bernoulli ölçüsüne dönüşür.

$\Gamma_r$ eşpotansiyel seviyelerinin $\overline{\Gamma}_r = \pi^{-1} \Gamma_r$ kaldırılmış hallerine solenoidler denir, $\overline{\Gamma} \equiv \overline{\Gamma}_1$. Bunun nedeni, bu kümelerin $\mathbb{T}$ solenoid grubunun yapısıyla, yani $\mathbb{T}$'nin $z \mapsto z^b$ grup endomorfizmasının ters limitiyle donatılabilmesidir (bkz. [Hewitt and Ross 1963]). O halde $\overline{f}|_{\overline{\Gamma}}$, bir grup endomorfizmasına ve $\overline{\mu}$ de $\overline{\Gamma}$ üzerindeki Haar ölçüsüne dönüşür.

$\overline{\Omega}$ uzayı, $\Omega$ üzerinde sıfırda birbirine yapışan bir "yaprak demeti" olan kontinuum yapraklı bir Riemann yüzeyi olarak düşünülebilir. Eğer $\Omega$'yı $B_0$ jeodeziği boyunca kesersek, $\overline{\Omega}$, tek yönlü dizilerle $\overline{\epsilon}_- = (\dots, \epsilon_{-2}, \epsilon_{-1}) \in \Sigma_b^-$ kodlanan $L(\overline{\epsilon}_-)$ yapraklarına folye olur. Yaprakların birbirine yapıştırılması, $A \equiv A_b: \overline{\epsilon}_- \mapsto \overline{\epsilon}_- + \mathbf{1}$ $b$-tabanlı ötelemesi ile gerçekleştirilir; burada $\mathbf{1} = (\dots, 0, 0, 1)$'dir ve toplama $b$-tabanlı sayılar grubunun anlamında anlaşılmalıdır. Bir $b$-tabanlı ötelemenin $\{A^n(\overline{\epsilon}_-)\}_{n=-\infty}^\infty$ yörüngesine karşılık gelen sayılabilir çokluktaki yaprağı birbirine yapıştırarak, $W(\overline{\epsilon}_-)$ logaritmik Riemann yüzeyini elde ederiz.[^2] Tüm $f^{-n}(z)$ ters fonksiyonları bu yüzey üzerinde tek değerli hale gelir.

Dinamik açıdan, $W(\overline{\epsilon}_-)$ Riemann yüzeyleri $f$'nin küresel kararsız manifoldlarıdır (global unstable manifolds): eğer $\overline{t}, \overline{\tau} \in W(\overline{\epsilon}_-)$ ise, o zaman $\overline{t}$ ve $\overline{\tau}$'nun $\overline{f}^{-1}$-yörüngeleri üstel olarak birbirine yaklaşır.

$\Omega$ içindeki bir $\rho(t)$ fonksiyonu için, $t = \pi(\overline{t})$ olmak üzere $\rho(\overline{t}) \equiv \rho(t)$ yazacağız; özellikle $|\overline{t}| \equiv |t|$'dir. Şöyle tanımlayalım:

$$W_\delta(\overline{\epsilon}_-) = \{\overline{t} \in W(\overline{\epsilon}_-): |\overline{t}| \ge \delta\}, \qquad S_{-n} \rho(\overline{t}) = -\sum_{k=0}^{-n+1} \rho(f^k(\overline{t})). \tag{4.5}$$

$W_\delta(\overline{\epsilon}_-)$ içinde başlayan ters yörüngelerin birbirine yaklaşması düzgün üsteldir. Standart bir yolla, $\Omega^* = \Omega \setminus \{0\}$ üzerinde Hölder sürekli herhangi bir $\rho(t)$ fonksiyonu için, $\delta > 0$ ve $\overline{t}, \overline{\tau} \in W_\delta(\overline{\epsilon}_-)$ için aşağıdaki tahminlerin geçerli olduğu sonucu çıkar:

$$\left| S_{-n}\rho(\overline{t}) - S_{-n}\rho(\overline{\tau}) \right| \le C(\delta), \tag{4.6}$$

burada $C(\delta)$, $n$ ve $\overline{\epsilon}_-$'den bağımsızdır.

5. Ağırlıklı Yerdeğiştirme Operatörü

$\Gamma \equiv \partial\Omega$ üzerinde hiçbir sıfırı olmayan bir $\beta \in A(\Omega)$ fonksiyonunu ve $h \in A(\Omega)$'yı ele alalım. Bu ve sonraki bölümlerde aşağıdaki fonksiyonel denklemi ele alacağız:

$$\beta(t) U(ft) - U(t) = -h(t) \tag{5.1}$$

$\beta$ ile ilişkili $\beta_n(t) = \beta(t) \beta(ft) \dots \beta(f^{n-1}t)$ çarpımsal eşçevrimini (multiplicative cocycle) ele alalım. Bundan sonra şunları varsayacağız:

  1. $\beta$ döngüsü pozitif bir Lyapunov üsteline sahiptir: $$\chi_\mu(\beta) \equiv \int \ln|\beta| d\mu > 0 \tag{5.2}$$
  2. $\Gamma$ üzerindeki $\ln|\beta|$ fonksiyonu bir sabite homolog değildir.[^3] Bu, herhangi bir $c$ sabiti ile $\ln|\beta| = \varphi \circ f - \varphi + c$ denkleminin sürekli hiçbir $\varphi \in C(\Gamma)$ çözümünün olmadığı anlamına gelir.

Gerekçe. (3.6) denkleminin türevini alarak, $U = F''$ için (5.1) denklemini elde ederiz:

$$\beta(t) = \frac{1}{2b} f'(t)^2, \qquad h(t) = \frac{1}{2b} F'(ft) f''(t) + g''(t). \tag{5.3}$$

$\beta$ fonksiyonu $\Omega$'nın bir komşuluğunda holomorfiktir ve orada $t=0$ noktasında benzersiz bir köke sahiptir ve $h \in A(\Omega)$ ($F' \in A(\Omega)$ olduğundan). Varsayım (1), (4.4) gereği geçerlidir:

$$\chi_\mu(\beta) = 2 \chi_\mu - \ln(2b) = \ln \frac{b}{2} > 0. \tag{5.4}$$

Varsayım (2), $\ln|f'|$'nün $\mathbb{T}$ üzerinde bir sabite homolog olmaması nedeniyle geçerlidir [Mañé 1990].

$$\Box$$

(5.1) denkleminin $\Omega_0$ üzerinde holomorfik olan benzersiz bir çözümü vardır:

$$U(t) = \sum_{n=0}^\infty \beta_n(t) h(f^n t), \tag{5.5}$$

burada $\beta_n(t)$, $\beta$ fonksiyonu tarafından üretilen çarpımsal eşçevrimdir.

Bu bölümde, bu çözümün neden genellikle sınıra kadar sürekli olmadığını açıklayacağız. "Genellikle" kelimesi: birinci kategoriden bir küme dışındaki herhangi bir $h \in A(\Omega)$ için anlamına gelir. Bölüm 7'de, (5.3) ile verilen somut $h$ fonksiyonunun hariç tutulmadığını (yani, $F''$'nin süreksiz olduğunu) göstereceğiz.

$A(\Omega)$ içindeki ağırlıklı öteleme operatörü $L_\beta$'yı ele alalım:

$$(L_\beta U)(t) = \beta(t) U(ft).$$

O halde (5.1)'i şu şekilde yeniden yazabiliriz:

$$(L_\beta - I) U = -h. \tag{5.6}$$

Bu bizi ağırlıklı öteleme operatörünün spektral özellikleri problemine götürür.

Disk cebirindeki $L_\beta$'nın spektral yarıçapı $r_\beta$'nın aşağıdaki formülle hesaplanabileceği bilinmektedir [Kamowitz 1973]:

$$\ln r_\beta = \sup_{\nu \in M(f)} \chi_\nu(\beta), \tag{5.7}$$

ve $L_\beta$'nın spektrumu birim disktir: $\mathrm{spec}(L_\beta) = \{\lambda: |\lambda| \le r_\beta\}$.

Eğer $U$, $L_\beta$'nın bir özfonksiyonu ise, o halde $\ln|\beta|$ fonksiyonu bir sabite homologdur:

$$\ln|\beta| = \ln|U(ft)| - \ln|U(t)| + \ln|\lambda|$$

bu da yukarıdaki Varsayım (2) gereği doğru değildir. Dolayısıyla, $L_\beta - \lambda I$ operatörü tüm $\lambda$'lar için birebirdir (injective). Disk cebirinde ters operatör üzerine Banach teoremi gereği (bkz. [Rudin 1973]), $\lambda \in \mathrm{spec}(L_\beta)$ için $\mathrm{Im}(L_\beta - \lambda I)$ görüntüsü birinci Baire kategorisinden bir kümedir. Böylece, $|\lambda| \le r_\beta$ ve genel $h \in A(\Omega)$ için $L_\beta U - \lambda U = h$ denkleminin $A(\Omega)$ içinde hiçbir çözümü yoktur.

(5.2) gereği $r_\beta > 1$ ve dolayısıyla $1 \in \mathrm{spec}(L_\beta)$ elde edilir. Böylece, (5.6) denklemi genel $h \in A(\Omega)$ için $A(\Omega)$ içinde çözülemez. Böyle bir $h$ için, analitik çözüm (5.5) iddia ettiğimiz gibi sınıra kadar sürekli değildir.

Sonuç olarak, (5.1)'in çözülebilir olması için $f$'nin tersinmezliği ile ilişkili kaba bir engelden bahsedelim. $\overline{t} = (t_0, t_{-1}, \dots) \in \overline{\Omega}$, $f$'nin bir ters yörüngesi olsun. (5.1)'i yineleyerek şunu elde ederiz:

$$U(t) = \beta_{-n}(\overline{t}) U(t_{-n}) - \sum_{k=1}^n \beta_{-k}(\overline{t}) h(t_{-k}), \tag{5.8}$$

burada $\beta_{-k}(\overline{t}) = [\beta(t_{-1}) \dots \beta(t_{-k})]^{-1}$'dir. Ergodik teorem gereği:

$$\lim_{n \to \infty} \frac{1}{n} \ln\beta_{-n}(\overline{t}) = -\lim_{n \to \infty} \frac{1}{n} \sum_{k=1}^{n} \ln\beta(\overline{f}^{-k} \overline{t}) = -\int \ln|\beta| d\mu < 0 \tag{5.9}$$

$\overline{\mu}$-neredeyse tüm $\overline{t} \in \overline{\Omega}$ için geçerlidir. Böyle bir $\overline{t}$ için, $\beta_{-n}(\overline{t})$ dizisi üstel olarak sıfıra yakınsar ve $\overline{\Omega}$ üzerinde aşağıdaki $\overline{\mu}$-ölçülebilir fonksiyonu ele alabiliriz:

$$G(\overline{t}) = -\sum_{k=1}^\infty \beta_{-k}(\overline{t}) h(t_{-k}). \tag{5.10}$$

Sürekli $h$ için $G(\overline{t}) = U(t)$ olduğu, yani a priori çok değerli olan $G$ fonksiyonunun tek değerli hale geldiği (5.8)'den anlaşılmaktadır. Bu, (5.1) denkleminin çözülebilirliği için gerekli koşuldur.

Bu koşulun neredeyse yeterli olduğunu belirtelim. Şöyle ki, eğer $G(\overline{t})$ fonksiyonu tek değerli ise, o zaman $\Omega^* = \Omega \setminus \{0\}$ üzerinde holomorfik ve sınıra kadar sürekli olan çözümü verir. Ancak, $\beta(0) = 0$ olduğundan bu çözüm sıfırda bir tekilliğe sahiptir.

6. $\mathcal{F}''$'nün Hemen Hemen Tüm Jeodezikler Boyunca Asimptotiği (Koşullu Sonuç)

Bu bölümde, (5.5) ile verilen $U(t)$ fonksiyonunun sınıra kadar sürekli olmadığını varsayıyoruz. Bu varsayım altında, harmonik ölçü anlamında hemen hemen tüm $B_\theta$ jeodezikleri boyunca asimptotiğini hesaplayacağız. Bu asimptotik şu şekildedir:

$$\overline{\lim_{r \to 1}} \frac{\ln |U(r e^{i\theta})|}{-\ln(1-r)} = \frac{\chi_\mu(\beta)}{\chi_\mu}. \tag{6.1}$$

Not. Makarov teoremi gereği [Makarov 1985], $\mu$-neredeyse tüm jeodezikler için $\ln l(t) \sim \ln(1-r)$'dir. Dolayısıyla, (6.1), karakteristik üsteller için (4.4) ve (5.4) formülleri dikkate alındığında gerekli (1.5) asimptotiği ile çakışır.

Öncelikle (6.1)'i veren sezgisel bir argüman sunalım. (5.8), (5.10) gereği şuna sahibiz:

$$\beta_{-n}(\overline{t}) U(t_{-n}) \to U(t) - G(\overline{t}) \tag{6.2}$$

neredeyse tüm $\overline{t} = (t, t_{-1}, \dots) \in \overline{\Omega}$ için. (5.9) gereği,

$$| \beta_{-n}(\overline{t}) | \sim \left(\frac{2}{b}\right)^n,$$

burada "$\alpha_n \sim \beta_n$" işareti:

$$\lim_{n \to \infty} \ln \frac{\alpha_n}{\beta_n} = 0$$

anlamına gelir. Dolayısıyla,

$$U(t_{-n}) \sim \left(\frac{b}{2}\right)^n \tag{6.3}$$

elde edilir. $t_{-n} = r_{-n} e^{i\theta_{-n}}$, $t = r e^{i\theta}$ olarak ayarlandığında, $r_{-n} = r^{b^{-n}}$ elde ederiz ve dolayısıyla:

$$b^n = \ln \frac{r}{r_{-n}} \sim \frac{1}{1-r_{-n}}$$

($r$ sabit olduğundan) elde edilir. Bunu (6.3) ile karşılaştırdığımızda şunu buluruz:

$$U(t_{-n}) \sim \left(\frac{1}{1-r_{-n}}\right)^{\alpha_c}$$

burada $\alpha_c = \chi_\mu(\beta)/\chi_\mu$ yukarıda yazılan kritik üsteldir.

Bu hesaplamanın ana eksikliği, $t_{-n}$ noktalarının tek bir $B_\theta$ yarıçapının yakınında yer almayıp $\partial\Omega$ boyunca gezinmesidir. Ancak, hemen hemen her jeodeziğe oldukça sık yaklaşırlar, bu da argümanımızı kesin bir argümana dönüştürmemizi sağlar.

(5.10) serisi ile verilen $\overline{\Omega}$ örtü uzayı üzerindeki çok değerli $G(\overline{t})$ fonksiyonunu ele alalım. Bu fonksiyon (5.2) nedeniyle doğru tanımlanmıştır ve aşağıdaki denklemi sağlar:

$$\beta(t) V(\overline{f} \overline{t}) - V(\overline{t}) = -h(t), \tag{6.4}$$

bu, (5.1) denkleminin $\overline{\Omega}$ üzerindeki kaldırılmış halidir. Asimptotiği doğrulamak için $G$'nin bazı analitik özelliklerine ihtiyacımız var.

$\overline{\Omega} \simeq [0,1] \times \Sigma_b$ üzerine, $[0,1]$ üzerindeki Lebesgue ölçüsü ile $\Sigma_b$ üzerindeki Bernoulli ölçüsü $\overline{\mu}$'nün çarpımı olan $\lambda$ ölçüsünü koyalım. $\overline{\Omega}$ üzerinde ölçülebilir, hemen hemen tüm $W(\overline{\epsilon}_-)$ Riemann yüzeyleri üzerinde analitik ve kendi iç topolojilerinde sınıra kadar sürekli olan fonksiyonların $A(\overline{\Omega})$ uzayını ele alalım (bkz. Bölüm 4). Onların muhtemelen 0'da tanımlanmadıklarını unutmayın.

Not

Lemma 6.1. (5.10) ile verilen $G(\overline{t})$ fonksiyonu $A(\overline{\Omega})$ uzayına aittir.

Kanıt. Ergodik teorem gereği, $\overline{\mu}$-neredeyse tüm $\overline{t} = (1, \overline{\epsilon}) \in \overline{\Gamma}$ için $\beta_{-n}(|\overline{t}|) \sim e^{-a n}$ ($n \to \infty$)'dir. (4.6) tahmini $\rho = -\ln|\beta|$ fonksiyonuna uygulandığında, tüm $\overline{\tau} \in W(\overline{t}) \equiv W(\overline{\epsilon}_-)$ için benzer asimptotikler elde ederiz. Dahası, tüm $\theta > 0$ için öyle bir $Q(\delta, \theta)$ vardır ki:

$$| \beta_{-n}(\overline{\tau}) | \le e^{C(\delta)} | \beta_{-n}(\overline{t}) | \le Q(\delta, \theta) e^{-(a-\theta)n},$$

$|\overline{\tau}| \ge \delta > 0$ olması şartıyla. Sonuç olarak, (5.10) serisi $W_\delta(\overline{t})$ üzerinde düzgün yakınsar, bu da gerekli ifadeyi verir.

$$\Box$$

$\overline{\Gamma}_r \simeq \Sigma_b$ solenoidleri üzerinde Bernoulli ölçüsü $\overline{\mu}$ vardır ve karşılık gelen $L^\kappa(\overline{\Gamma}_r)$, $\kappa > 0$ uzayları ele alınabilir. Şimdi Ana Teknik Lemmayı kanıtlayalım.

Not

Lemma 6.2. Yeterince küçük bir $\kappa > 0$ ve herhangi bir $r \in (0,1]$ için, $G(\overline{t})$ fonksiyonu $L^\kappa(\overline{\Gamma}_r)$ uzayına aittir: $$\int_{\Sigma_b} | G(r, \overline{\epsilon}) |^\kappa d\overline{\mu}(\overline{\epsilon}) < \infty.$$ Dahası, herhangi bir $\delta > 0$ için aynı durum şu fonksiyon için de geçerlidir: $$G_\delta(\overline{\epsilon}) = \sup_{r: \delta \le r \le 1} | G(r, \overline{\epsilon}) |.$$

Kanıt. (4.6) tahmini $\rho = \ln|\beta|$ fonksiyonuna uygulandığında, $r \ge \delta$ için şunu elde ederiz:

$$| \beta_{-n}(r, \overline{\epsilon}) | \le Q(\delta) | \beta_{-n}(1, \overline{\epsilon}) |.$$

Sonuç olarak,

$$| G_\delta(\overline{\epsilon}) | \le (\| \psi \|_\infty Q(\delta))^\kappa \sum_{n=1}^\infty | \beta_{-n}(1, \overline{\epsilon}) |^\kappa$$

ve dahası,

$$\int_{\overline{\Gamma}} | G_\delta |^\kappa d\overline{\mu} \le (\| \psi \|_\infty Q(\delta))^\kappa \sum_{n=1}^\infty \int_{\overline{\Gamma}} | \beta_{-n} |^\kappa d\overline{\mu}$$

elde edilir. Ancak

$$\int_{\overline{\Gamma}} | \beta_{-n}(\overline{t}) |^\kappa d\overline{\mu}(\overline{t}) = \int_{\overline{\Gamma}} | \beta_n(\overline{f}^{-n} \overline{t}) |^{-\kappa} d\overline{\mu}(\overline{t}) = \int_{\overline{\Gamma}} | \beta_n(\overline{t}) |^{-\kappa} d\overline{\mu}(\overline{t}) = \int_{\Gamma} | \beta_n(t) |^{-\kappa} d\mu(t)$$

olur. Dolayısıyla, yeterince küçük $\kappa > 0$ için son integralin $n \to \infty$ iken üstel olarak sıfıra gittiğini göstermek yeterlidir. Bu amaçla termodinamik formalizmi uygulayacağız.

$\nu_\kappa$, $-\kappa \ln|\beta|$ potansiyeline karşılık gelen Gibbs ölçüsü olsun ve $P_\kappa = P_f(-\kappa \ln|\beta|)$ karşılık gelen basınç olsun. (4.1) gereği,

$$| \beta_n(t_{\epsilon_0 \dots \epsilon_{n-1}}) |^{-\kappa} \asymp \nu_\kappa[\epsilon_0 \dots \epsilon_{n-1}] \exp(n P_\kappa)$$

$[\epsilon_0 \dots \epsilon_{n-1}]$ silindirinden herhangi bir $t_{\epsilon_0 \dots \epsilon_{n-1}}$ noktası için geçerlidir.

$\mu[\epsilon_0 \dots \epsilon_{n-1}] = b^{-n}$ olduğundan:

$$\int | \beta_n |^{-\kappa} d\mu \asymp b^{-n} \sum_{1 \le \epsilon_i \le n} \nu_\kappa[\epsilon_0 \dots \epsilon_{n-1}] \exp(n P_\kappa) = \exp\left[ n(P_\kappa - \ln b) \right]$$

elde edilir. Dolayısıyla, yeterince küçük $\kappa > 0$ için şunu kontrol etmek yeterlidir:

$$P_\kappa - \ln b < 0 \tag{6.5}$$

Ancak $P_0 = h(f) = \ln b$ ve (4.3) ve (5.2) gereği şuna sahibiz:

$$\frac{d P_\kappa}{d\kappa}\Big|_{\kappa=0} = -\int \ln|\beta| d\mu < 0.$$

Dolayısıyla, (6.5) herhangi bir $\kappa \in (0, \kappa_0)$ için geçerlidir (Şekil 4) ve lemma kanıtlanmıştır.

$$\Box$$

Böylece, (5.1) denkleminin iki çözümüne sahibiz: (5.5) ile verilen $U(\overline{t}) \equiv U(t)$ ve (5.10) ile verilen $G(\overline{t})$. Bunlardan birincisi $\Omega_0$ üzerinde tek değerli fonksiyondan gelir; ikincisi ise $\Omega_0$ üzerinde çok değerlidir ancak daha iyi sınır özelliklerine sahiptir. Fark $V(\overline{t}) = U(t) - G(\overline{t})$ homojen denklemi sağlar:

$$\beta(t) V(\overline{f} \overline{t}) = V(\overline{t}). \tag{6.6}$$

$U(t)$ sınıra kadar sürekli olmadığından (bölümün başına bakınız), $G \in A(\overline{\Omega})$ iken $V \not\equiv 0$ elde ederiz. $V$'nin $\overline{\mu}$-neredeyse tüm $\overline{B}_{\overline{\epsilon}} = \{(r, \overline{\epsilon}) \in \overline{\Omega}: 0 \le r \le 1\}$ "jeodezikleri" boyunca $r \to 1$ iken asimptotiğini bulacağız. $G$ hemen hemen tüm yapraklar üzerinde sürekli olduğundan, aynı asimptotik $U$ için de geçerli olacaktır.

Şöyle tanımlayalım:

$$V_0(\overline{\epsilon}) = \max_{1/2 \le r \le b/2} | V(r, \overline{\epsilon}) |.$$

Lemma 6.2 gereği, $V_0 \in L^\kappa$ elde edilir. Dolayısıyla,

$$\int_{\Sigma_b} \ln | V_0(\overline{\epsilon}) | d\overline{\mu}(\overline{\epsilon}) < +\infty$$

olur. Şimdi ergodik teoremi uygulayabiliriz. Buradan şu sonuç çıkar:

$$\overline{\lim_{n \to \infty}} \frac{1}{n} \ln | V_0(\sigma^n \overline{\epsilon}) | \le 0 \tag{6.7}$$

neredeyse tüm $\overline{\epsilon} \in \Sigma_b$ için. Böyle bir $\overline{\epsilon}$'a karşılık gelen bir $\overline{B}_{\overline{\epsilon}}$ jeodeziğini ele alalım. $r \ge 1/2$ olsun ve $n = n(r)$ öyle bir sayı olsun ki:

$$\frac{1}{2} \le r^{b^n} < \left(\frac{1}{2}\right)^{1/b} \tag{6.8}$$

sağlansın. (6.6) ve (6.7) gereği:

$$| V(r, \overline{\epsilon}) | = | \beta_n(r, \overline{\epsilon}_+) | \cdot | V(r^{b^n}, \sigma^n \overline{\epsilon}) | \prec | \beta_n(r, \overline{\epsilon}_+) |$$

elde edilir; burada "$\alpha \prec \beta$" işareti $\overline{\lim} \frac{1}{n} \ln(\beta_n/\alpha_n) \le 0$ anlamına gelir. Ergodik teorem gereği, neredeyse tüm $\overline{\epsilon}_+$ için $|\beta_n(r, \overline{\epsilon}_+)| \sim e^{na}$ olduğundan, şu sonucu çıkarırız:

$$\overline{\lim_{r \to 1}} \frac{1}{n(r)} \ln V(r, \overline{\epsilon}) \le \chi_\mu(\beta).$$

(6.8)'den şunu buluruz:

$$n(r) = -\frac{\ln(1-r)}{\ln b} + O(1).$$

Bu iki tahmin şunu verir:

$$\overline{\lim_{r \to 1}} \frac{\ln V(r, \overline{\epsilon})}{-\ln(1-r)} \le \frac{\chi_\mu(\beta)}{\ln b}. \tag{6.9}$$

Zıt tahmini elde etmek için aşağıdaki kümeyi ele alalım:

$$X_\delta = \{\overline{\epsilon} \in \Sigma_b: V(1/2, \overline{\epsilon}) \ge \delta\}.$$

$V \not\equiv 0$ olduğundan, yeterince küçük $\delta > 0$ için $\lambda(X_\delta) > 0$ elde edilir. Dolayısıyla, hemen hemen tüm $\{\sigma^n \overline{\epsilon}\}_{n=0}^\infty$ yörüngeleri $X_\delta$'dan sonsuz kez geçer. Böyle bir $\overline{\epsilon}$ için, $\sigma^{n(k)} \overline{\epsilon} \in X_\delta$ olacak şekilde bir $n(k) \to \infty$ dizisini ele alalım. $r_n = (1/2)^{b^{-n}}$ olarak ayarlayalım. O halde (6.6) şunu gerektirir:

$$| V(r_{n(k)}, \overline{\epsilon}) | = | \beta_{n(k)}(r_{n(k)}, \overline{\epsilon}_+) | \cdot | V(1/2, \sigma^{n(k)} \overline{\epsilon}) | \ge \delta | \beta_{n(k)}(r_{n(k)}, \overline{\epsilon}_+) |.$$

Bu, (6.9)'un zıttı olan eşitsizliği gerektirir. Böylece, neredeyse tüm $\overline{\epsilon} \in \Sigma_b$ için şuna sahibiz:

$$\overline{\lim_{r \to 1}} \frac{\ln V(r, \overline{\epsilon})}{-\ln(1-r)} = \frac{\chi_\mu(\beta)}{\ln b},$$

ve gerekli (6.1) asimptotiği kanıtlanmıştır.

7. $\mathcal{F}''$ Sınırda Sürekli Değildir

Öncelikle, türevlerden birinin $[0, t_c]$ aralığı üzerinde reel kritik nokta $t_c$'de süreksiz olduğunu kanıtlayalım (bu termodinamik açıdan bir kritik noktadır; dinamik açıdan ise $t_c$ bir itici sabit noktadır). Bu noktanın çarpanını $\lambda = f'(t_c) > 1$ ile gösterelim.

Not

Lemma 7.1. $\lambda^l > 2b$ koşulunu sağlayan bir doğal sayı $l$ olsun. O halde $\mathcal{F}^{(l)}$, $[0, t_c]$ aralığı üzerinde $t_c$'de süreksizdir.

Kanıt. $f$'yi $t_c$ noktasında doğrusallaştıralım:

$$\psi(fz) = \lambda \psi(z)$$

burada $\psi$, $t_c$'nin bir komşuluğunda analitik bir fonksiyondur, $\psi(t_c) = 0, \psi'(t_c) = 1$ (Königs fonksiyonu). Açıkça, $\psi$, $(0, t_c]$ aralığı üzerine analitik olarak devam ettirilebilir ve bunu birebir olarak $(-\infty, 0]$ ekseni üzerine eşler.

Şöyle tanımlayalım:

$$\tilde{F} = F \circ \psi^{-1}, \qquad \tilde{g} = g \circ \psi^{-1}.$$

O halde $\tilde{F}$ aşağıdaki fonksiyonel denklemi sağlar:

$$\frac{1}{2b} \tilde{F}(\lambda z) - \tilde{F}(z) = \tilde{g}(z).$$

Doğrusallaştırma nedeniyle, $\tilde{F}^{(l)}$ için fonksiyonel denklemi hemen elde ederiz:

$$\frac{\lambda^l}{2b} \tilde{F}^{(l)}(\lambda z) - \tilde{F}^{(l)}(z) = \tilde{g}^{(l)}(z).$$

Eğer $\tilde{F}^{(l)}$, $(-\infty, 0]$ yarı-ekseni üzerinde sürekli ise, o zaman üzerinde aşağıdaki seri ile verilebilir (karşılaştırın (5.10)):

$$\tilde{F}^{(l)} = -\sum_{k=1}^\infty \frac{(2b)^k}{\lambda^{lk}} \tilde{g}^{(l)}\left(\frac{z}{\lambda^k}\right)$$

bu da $\tilde{F}^{(l)}$'nin 0 üzerinden analitik devamını verir. Dolayısıyla $F$, $t_c$ üzerinden analitik olarak devam ettirilebilir, bu da Lemma 3.2 ile çelişir.

$$\Box$$

Not. Aynı argüman $\partial\Omega$ üzerindeki herhangi bir $\alpha$ sabit noktasına da uygulanabilir: $F|_{\Omega^\circ}$'ın bazı türevleri $\alpha$'da süreksiz olmalıdır.

Not

Lemma 7.2. $F''$ fonksiyonu $\Omega$'nın sınırına kadar sürekli değildir.

Kanıt. Aksini varsayarak, tüm $F^{(n)}$ türevlerinin sınıra kadar sürekli olması gerektiğini göstereceğiz, bu da Lemma 7.1 ile çelişir.

$F$'nin türevleri için fonksiyonel denklemleri ele alalım (bkz. (3.6) ve (5.3)):

$$\frac{(f')^{n+1}}{2b} F^{(n+1)} \circ f - F^{(n+1)} = -h_n \tag{7.1}$$

burada $h_n$, $F$'nin $\le n$ dereceli türevleri aracılığıyla ifade edilebilir:

$$h_n = -g^{(n)} - \frac{1}{2b} \sum_{k=1}^{n-1} \left( \frac{d(f')^k}{dt} \cdot \frac{d^k F}{dt^k} \circ f \right)^{(n-k-1)}. \tag{7.2}$$

$\Omega^\circ$ içinde aşağıdaki metriği kullanmak uygundur:

$$d(z, \zeta) = \inf l(\gamma)$$

burada infimum, $z$ ve $\zeta$'yı birleştiren tüm doğrultulabilir $\gamma$ yolları üzerinden alınır.

Tümevarım yoluyla $F^{(k)}, k=1,2,\dots,n$ tüm türevlerinin $\Omega$'da sürekli olduğunu varsayalım ($n=2$ tümevarımın tabanıdır). O halde $F^{(k)}, k=1,2,\dots,n-1$ türevleri, $d$ metriğine göre Lipschitz sürekli olmalıdır. (7.2) gereği, $h_n$ de aynı özelliğe sahip olmalıdır. Ancak eğer $F^{(n)}$, $\Omega$'da sürekli ise, $n \ge 2$, o zaman (5.10) serisi ile verilebilir:

$$F^{(n)}(t) = -\sum_{k=1}^\infty \frac{(2b)^k}{[(f^{\circ k})'(t_{-k})]^n} h_{n-1}(t_{-k}) \tag{7.3}$$

bir $\mu$-tipik ters yörünge $\overline{t} = \{t_0, t_{-1}, \dots\}$ için. Buradan ($f|_\Gamma$'nın genişleme özelliği dikkate alındığında) $F^{(n)}$'nin de $d$'ye göre Lipschitz sürekli olduğu sonucu çıkar. Dolayısıyla, $F^{(n+1)}$, $\Omega^\circ$ içinde sınırlıdır. Bu, $F^{(n+1)}$'nin (5.10) serisi ile verilmesi ve dolayısıyla sınıra kadar sürekli olması için yeterlidir.

$$\Box$$

8. Sonuç Değerlendirmeleri

Bu makalede hesaplanan karmaşık kritik üstelin, $t_c$'deki olağan reel kritik üstel $\alpha$'dan farklı olduğunu unutmayın. Aslında, her iki durumu da içeren genel bir şema vardır. Şöyle ki, $\partial\Omega_0$ üzerindeki herhangi bir $\nu$ değişmez ölçüsüne, $\nu$-tipik jeodezikler boyunca serbest enerjinin uygun bir türevinin kuvvet büyümesinin üsteli olan kendi $\alpha_\nu$ kritik üsteli atanabilir. Daha spesifik olarak, olsun:

$$m_\nu = \left[\frac{\ln(2b)}{\chi_\nu}\right] + 1, \qquad \alpha_\nu = 1 - \left\{ \frac{\ln(2b)}{\chi_\nu} \right\}$$

burada $[a]$ ve $\{a\}$, sırasıyla $a$'nın tam ve kesirli kısmını gösterir ve $\chi_\nu$, $\nu$'nün karakteristik üstelidir. O halde aşağıdaki genel formül geçerli olmalıdır:

$$\lim_{t \to \tau, \, t \in B_\tau} \frac{\ln|\mathcal{F}^{(m_\nu)}(t)|}{-\ln l(t)} = \alpha_\nu \tag{8.1}$$

$\nu$-neredeyse tüm jeodezikler için.

Gerçekten de, bu makalenin şemasını takip ederek, $\beta = (f')^m/2b$ fonksiyonunun pozitif bir karakteristik üstele sahip olduğu ilk $m$'yi bulmalıyız:

$$\chi_\nu(\beta) = m \chi_\nu - \ln(2b) > 0,$$

yani $m > \ln(2b)/\chi_\nu$ ($\ln(2b)/\chi_\nu$'nün bir tamsayı olmadığı varsayımıyla). O halde (6.1) formülü ile (8.1) elde edilir.

$t_c$ kritik noktasında yoğunlaşan $\delta$-ölçüsü için, renormalizasyon grubu teorisinin olağan formülünü elde ederiz (bkz. [Ma 1976, Derrida et al. 1984]):

$$\alpha = 1 - \left\{ \frac{\ln(2b)}{\ln f'(t_c)} \right\} = 1 - \left\{ \frac{d\ln 2}{\ln f'(t_c)} \right\}.$$

Benzer formül, $\partial\Omega$ üzerindeki herhangi bir periyodik nokta için de (kanıtta hiçbir değişiklik yapılmadan) geçerlidir.

Genel $\nu$ için (8.1)'i kanıtlamadaki ana teknik zorluk, $m>2$ ise (7.1) denkleminin sağ tarafının $F^{(m)}$ için sınırda süreksiz olması gerçeğiyle ilgilidir. Aynı zorluk, "yüksek sıcaklık" havzası $\Omega_1$'in sınırı üzerindeki maksimum entropi ölçüsü için kritik üsteli hesaplamak istendiğinde de ortaya çıkar. Doğru formül $\alpha = 1 - \{\ln b/\ln 2\}$ olmalıdır. $b=d=2$ için karmaşık kritik üsteli bulmak da ilginçtir.

Başka bir problem, Riemann küresinin tamamı üzerinde serbest enerjinin küresel özelliklerini incelemektir. Bunların $J(f)$ üzerindeki Gibbs ölçüleri ile ilgisi vardır.

Makaleyi aşağıdaki önemli notla bitiriyoruz. Serbest enerji $F$'nin, $f$'nin maksimum entropi ölçüsünün logaritmik potansiyeli olarak temsil edilebileceği gösterilebilir. Bu, ele alınan problemler çevresine başka bir yaklaşım ve kritik üstel ile maksimum entropi ölçüsünün yerel boyutu arasında güzel bir ilişki sunar. Bu konudaki ilginç tartışmalar için P. Moussa ve A. Eremenko'ya minnettarız.

Referanslar

[^1]: $\psi(t) \sim t$ olduğu dikkate alınırsa, Green fonksiyonu için şu formül vardır (krş. [Hewitt and Ross 1963]): $\ln|\psi| = \lim_{n \to \infty} d^{-n} \ln|f^{\circ n}|$. [^2]: Bu yüzeyin iç topolojisi, içine yoğun bir şekilde daldırıldığı $\overline{\Omega}$ uzayından indüklenen topolojiden farklıdır. [^3]: Bu varsayım kolaylık sağlar ancak şart değildir.