In this paper, we develop Pesin theory for the boundary map of some Fatou components of transcendental functions, under certain hyptothesis on the singular values and the Lyapunov exponent. That is, we prove that generic inverse branches for such maps are well-defined and conformal. In particular, we study in depth the Lyapunov exponents with respect to harmonic measure, providing results which are of independent interest. As an application of our results, we describe in detail generic inverse branches for centered inner functions, and we prove density of periodic boundary points for a large class of Fatou components. Our proofs use techniques from measure theory, ergodic theory, conformal analysis, and inner functions, as well as estimates on harmonic measure.
- Paper-ID: 2410.19703
- Titel: Pesin theory for transcendental maps and applications
- Autorin: Anna Jové (Universitat de Barcelona)
- Klassifizierung: math.DS (Dynamische Systeme)
- Veröffentlichungsdatum: 13. Oktober 2025
- Paper-Link: https://arxiv.org/abs/2410.19703
Diese Arbeit entwickelt die Pesin-Theorie für Randabbildungen bestimmter Fatou-Komponenten transzendenter Funktionen. Unter spezifischen Annahmen über singuläre Werte und Lyapunov-Exponenten wird nachgewiesen, dass allgemeine Rückwärtszweige solcher Abbildungen wohldefiniert und konform sind. Insbesondere untersucht der Autor die Lyapunov-Exponenten bezüglich des harmonischen Maßes eingehend und liefert Ergebnisse von eigenständigem Wert. Als Anwendungen werden allgemeine Rückwärtszweige zentraler innerer Funktionen detailliert beschrieben und die Dichtheit periodischer Randpunkte für eine große Klasse von Fatou-Komponenten nachgewiesen.
- Erweiterung von rationalen zu transzendenten Abbildungen: Die klassische Pesin-Theorie wurde ursprünglich für C¹-Diffeomorphismen auf kompakten glatten Riemann-Mannigfaltigkeiten entwickelt und später auf rationale Abbildungen erweitert. Diese Arbeit zielt darauf ab, die Theorie weiter auf transzendente meromorphe Funktionen auszudehnen.
- Technische Herausforderungen: Im transzendenten Fall entstehen drei Hauptschwierigkeiten:
- Der Phasenraum ist nicht mehr kompakt (die Julia-Menge ist nicht kompakt)
- Singuläre Werte können überabzählbar sein (nicht nur kritische Werte)
- Die Existenz invarianter ergodischer Wahrscheinlichkeitsmaße auf der Julia-Menge ist unbekannt
- Forschungsbedeutung: Die Pesin-Theorie bietet wichtige Werkzeuge zum Verständnis hyperbolischer Dynamik, ermöglicht die Kontrolle von Vorwärts- und Rückwärtskontraktion oder -expansion in der Nähe fast aller Punkte und hat wichtige Anwendungen auf Periodenpunkte, homokline Punkte und die Theorie stabiler Mannigfaltigkeiten.
Der Autor überwindet diese Schwierigkeiten durch Beschränkung auf die Randmenge von Fatou-Komponenten, eine vorwärtsinvariante Teilmenge, und nutzt invariante ergodische Maße aus der Arbeit von Doering und Mañé, um unter geeigneten Annahmen die Pesin-Theorie im transzendenten Fall erfolgreich zu entwickeln.
- Haupttheoretische Ergebnisse: Etablierung der Pesin-Theorie für die Ränder von Attraktionsbecken und parabolischen Becken/Baker-Domänen transzendenter meromorpher Funktionen (Sätze A und B)
- Lyapunov-Exponenten-Theorie: Eingehende Untersuchung der Lyapunov-Exponenten bezüglich des harmonischen Maßes mit Integrierbarkeitsbedingungen und Nichtnegativitätsbedingungen
- Anwendung auf innere Funktionen: Anwendung der Theorie auf zentrale innere Funktionen mit Nachweis der Existenz und Konformität allgemeiner Rückwärtszweige
- Dichtheit von Periodenpunkten: Nachweis der Dichtheit von Periodenpunkten auf den Rändern einer großen Klasse von Fatou-Komponenten
- Technische Innovation: Verwendung der Rokhlin-Naturerweiterung zur Behandlung nicht-invertierbarer maßerhaltender Transformationen
Die Hauptannahme der Arbeit ist, dass singuläre Werte auf dem Rand "nicht zu dicht" sind, formalisiert als:
∫∂Ulog∣x−SV∣−1dωU(x)<∞
Diese Bedingung ist äquivalent zu: für alle C > 0 und t ∈ (0,1):
∑n≥0ωU(⋃s∈SVD(s,C⋅tn))<∞
Sei f : ℂ → Ĉ eine meromorphe Funktion und U ein einfach zusammenhängendes Attraktionsbecken mit Fixpunkt p ∈ U. Sei ω_U das harmonische Maß auf ∂U mit Basispunkt p. Angenommen:
- f hat positiven Lyapunov-Exponenten
- ∫_{∂U} log |x - SV|^{-1} dω_U(x) < ∞
Dann existiert für jede abzählbare Menge {A_k}_k ⊂ ∂U mit ω_U(A_k) > 0 für ω_U-fast jeden x_0 ∈ ∂U eine Rückwärtsbahn {x_n}_n ⊂ ∂U und r > 0 derart, dass:
- x_ ∈ A_k für eine Folge n_k → ∞
- Der Rückwärtszweig F_n bildet x_0 auf x_n in D(x_0,r) wohldefiniert ab
- diam F_n(D(x_0,r)) → 0 wenn n → ∞
Ähnliche Ergebnisse für parabolische Becken und Baker-Domänen, erfordern aber zusätzlich die Annahme endlich vieler singulärer Werte in ∂U^{+ε}.
Konstruktion des Rückwärtsbahn-Raums mittels Rokhlin-Naturerweiterung:
X~={{xn}n⊂X:x0∈X,T(xn+1)=xn,n≥0}
Dies ermöglicht die Behandlung nicht-invertierbarer Abbildungen durch Umwandlung in invertierbare Automorphismen.
Präzise Schätzungen des harmonischen Maßes für Sektorbereiche:
ωU(z0,D(x,r))≤C⋅r1/(2α)
Durch präzise Verzerrungsschätzungen und geeignete konforme Metrik-Konstruktion wird die Kontraktivität der Rückwärtszweige kontrolliert.
Die Arbeit ist hauptsächlich theoretisch und verifiziert Ergebnisse durch strenge mathematische Beweise, einschließlich:
- Konstruktive Beweise: Induktive Konstruktion von Rückwärtszweig-Sequenzen
- Maßtheoretische Beweise: Verwendung des Borel-Cantelli-Lemmas und ergodischer Sätze
- Komplexanalytische Techniken: Anwendung des Koebe-Verzerrungssatzes und der Theorie konformer Abbildungen
- Zentrale innere Funktionen: Holomorphe Selbstabbildungen g : D → D mit g(0) = 0
- Exponentielle Funktionsfamilien: Bestimmte hyperbolische exponentielle Funktionsfamilien
- Polynomfälle: Als Spezialfälle der transzendenten Situation
Für fast jede Rückwärtsbahn, die die Bedingungen erfüllt, existiert ein einheitlicher Radius r > 0, so dass alle Rückwärtszweige in D(x_0,r) wohldefiniert und konform sind.
Proposition E: Sei U asymptotisch in einem Sektor des Winkels α ∈ (0,1) mit Wachstumsordnung β ∈ (0,1/(2α)) enthalten, dann log |f'| ∈ L¹(ω_U).
Proposition F: Unter geeigneten Annahmen gilt χ_{ω_U}(f) = ∫_{∂U} log |f'| dω_U ≥ 0.
Korollar C: Für zentrale innere Funktionen g : D → D gilt unter log |g'| ∈ L¹(∂D) und Singularitätsbedingungen: Für λ-fast jeden ξ_0 ∈ ∂D existiert eine Rückwärtsbahn derart, dass:
- Der Rückwärtszweig G_n in D(ξ_0,ρ_0) wohldefiniert ist
- G_n(R_ρ(ξ_0)) ⊂ Δ_{α,ρ}(ξ_n) (radiale Segmente werden auf Stolz-Winkel abgebildet)
- Die Singularitätenmenge E(g) hat λ-Maß Null
Korollar D: Unter den Annahmen von Satz A oder B, falls eine Querumgebung N_C existiert mit N_C ∩ P(f) = ∅, dann sind Periodenpunkte auf ∂U dicht.
- Klassische Pesin-Theorie: Bahnbrechende Arbeiten von Yakov Pesin (1976-1977)
- Erweiterung auf rationale Abbildungen: Beiträge von Ledrappier, Dobbs und anderen
- Transzendente Dynamik: K-Klassen-Funktionstheorie von Baker, Domínguez, Herring und anderen
- Innere Funktionen-Theorie: Ergodentheoretische Ergebnisse von Aaronson, Doering-Mañé
- Technische Innovation: Erste Anwendung der Rokhlin-Naturerweiterung auf transzendente Dynamik
- Theoretische Erweiterung: Ausdehnung vom kompakten Fall rationaler Abbildungen auf den nicht-kompakten Fall transzendenter Abbildungen
- Methodische Synthese: Kombination von Maßtheorie, Ergodentheorie, konformer Analyse und harmonischen Maß-Schätzungen
- Erfolgreiche Erweiterung der Pesin-Theorie auf die Ränder von Fatou-Komponenten transzendenter meromorpher Funktionen
- Unter geeigneten Annahmen sind allgemeine Rückwärtszweige wohldefiniert und haben Kontraktionseigenschaften
- Etablierung einer vollständigen Theorie der Lyapunov-Exponenten im transzendenten Fall
- Nachweis der Dichtheit periodischer Randpunkte
- Annahmebedingungen: Erfordert die Bedingung, dass singuläre Werte "nicht zu dicht" sind, was den Anwendungsbereich einschränkt
- Einfach zusammenhängende Beschränkung: Hauptergebnisse beschränken sich auf einfach zusammenhängende Fatou-Komponenten
- Wachstumsbedingungen: Lyapunov-Exponenten-Ergebnisse erfordern spezifische Wachstumsordnungsbedingungen
- Technische Komplexität: Beweise hängen von mehreren komplexen technischen Bedingungen ab
- Mehrfach zusammenhängende Erweiterung: Ausdehnung auf mehrfach zusammenhängende Fatou-Komponenten
- Allgemeinere Wachstumsbedingungen: Lockerung der Wachstumsordnungsbeschränkungen
- Konkrete Anwendungen: Anwendungen in spezifischen Funktionsfamilien
- Numerische Verifikation: Numerische Realisierung und Verifikation theoretischer Ergebnisse
- Theoretische Innovation: Erste erfolgreiche Erweiterung der Pesin-Theorie auf transzendente Abbildungen, füllt eine wichtige theoretische Lücke
- Technische Tiefe: Geschickte Anwendung der Rokhlin-Naturerweiterung zur Behandlung von Nicht-Invertierbarkeit, zeigt hohes technisches Niveau
- Vollständige Ergebnisse: Nicht nur Hauptsätze, sondern auch reichhaltige Anwendungen und verwandte Theorien
- Strenge Beweise: Vollständige und strenge mathematische Beweise mit klarer Logik
- Anwendungswert: Wichtige Anwendungen auf innere Funktionen und Periodenpunkt-Theorie
- Annahmebeschränkungen: Hauptannahmebedingungen sind relativ stark und könnten den praktischen Anwendungsbereich einschränken
- Technische Hürden: Erfordert tiefe Kenntnisse mehrerer Felder, höhere Verständnisschwelle
- Rechnerische Umsetzung: Praktische Berechnung und Verifikation theoretischer Ergebnisse könnte schwierig sein
- Spezielle Fälle: Einige Beweise hängen von speziellen geometrischen und analytischen Bedingungen ab
- Akademischer Wert: Wichtiger Beitrag zur Theorie der transzendenten Dynamik, wird voraussichtlich weitere Forschung anregen
- Theoretische Bedeutung: Verbindung klassischer dynamischer Systemtheorie mit moderner komplexer Dynamik
- Methodologischer Beitrag: Anwendung der Rokhlin-Erweiterung in der komplexen Dynamik hat methodologischen Wert
- Langfristige Auswirkungen: Könnte Grundlagen für das Verständnis komplexerer transzendenter Dynamik schaffen
- Theoretische Forschung: Theoretische Forschung in komplexer Dynamik, Ergodentheorie und harmonischer Analyse
- Funktionsfamilien-Analyse: Untersuchung dynamischer Eigenschaften spezifischer transzendenter Funktionsfamilien
- Numerische Dynamik: Theoretische Anleitung für numerische Forschung
- Verwandte Felder: Mögliche Inspirationen für Fraktalgeometrie, Wahrscheinlichkeitstheorie und verwandte Felder
Die Arbeit enthält umfangreiche Literaturverzeichnisse, die wichtige Arbeiten von der klassischen Pesin-Theorie bis zur modernen transzendenten Dynamik abdecken, insbesondere:
- Originale Arbeiten von Pesin Pes76, Pes77
- Verwandte Theorien rationaler Abbildungen Prz85, Prz93
- Grundlagen der transzendenten Dynamik BDH01, Bol97
- Innere Funktionen-Theorie DM91, Aar78
- Harmonische Maß-Theorie GM05, Pom92
Diese Arbeit stellt einen wichtigen Fortschritt in der Theorie der transzendenten Dynamik dar. Durch geschickte technische Behandlung werden die wesentlichen Schwierigkeiten bei der Erweiterung vom rationalen zum transzendenten Fall erfolgreich überwunden und es wird eine solide Grundlage für die weitere Entwicklung dieses Feldes geschaffen.