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.
- ID de l'article: 2410.19703
- Titre: Théorie de Pesin pour les applications transcendantes et applications
- Auteur: Anna Jové (Universitat de Barcelona)
- Classification: math.DS (Systèmes dynamiques)
- Date de publication: 13 octobre 2025
- Lien de l'article: https://arxiv.org/abs/2410.19703
Cet article développe la théorie de Pesin pour les applications frontières de certaines composantes de Fatou de fonctions transcendantes. Sous des hypothèses spécifiques sur les valeurs singulières et les exposants de Lyapunov, l'auteur démontre que les branches inverses générales de telles applications sont bien définies et conformes. En particulier, l'auteur étudie en profondeur les exposants de Lyapunov relatifs à la mesure harmonique, fournissant des résultats d'intérêt indépendant. Comme applications, l'auteur décrit en détail les branches inverses générales des fonctions intérieures centrales et démontre la densité des points périodiques frontières pour une large classe de composantes de Fatou.
- Extension de la théorie rationnelle à la théorie transcendante: La théorie classique de Pesin a été initialement développée pour les C¹-difféomorphismes sur les variétés de Riemann lisses et compactes, puis étendue aux applications rationnelles. Cet article vise à étendre davantage cette théorie aux fonctions méromorphes transcendantes.
- Défis techniques: Le cas transcendant présente trois difficultés principales:
- L'espace des phases n'est plus compact (l'ensemble de Julia n'est pas compact)
- Les valeurs singulières peuvent être non dénombrables (incluant non seulement les valeurs critiques)
- L'existence de mesures de probabilité invariantes ergodiques sur l'ensemble de Julia est inconnue
- Signification de la recherche: La théorie de Pesin fournit des outils importants pour comprendre la dynamique hyperbolique, permettant de contrôler la contraction ou l'expansion avant et arrière autour de presque chaque point, avec des applications importantes à la théorie des points périodiques, des points homoclines et des variétés stables.
L'auteur surmonte les difficultés en se restreignant à la frontière des composantes de Fatou, un sous-ensemble invariant vers l'avant, utilisant les mesures invariantes ergodiques données dans les travaux de Doering et Mañé, et développe avec succès la théorie de Pesin dans le cas transcendant sous des hypothèses appropriées.
- Résultats théoriques principaux: Établissement de la théorie de Pesin pour les frontières des bassins d'attraction et des bassins paraboliques/domaines de Baker de fonctions méromorphes transcendantes (théorèmes A et B)
- Théorie des exposants de Lyapunov: Étude approfondie des exposants de Lyapunov relatifs à la mesure harmonique, fournissant des conditions d'intégrabilité et de non-négativité
- Applications aux fonctions intérieures: Application de la théorie aux fonctions intérieures centrales, démontrant l'existence et la conformité des branches inverses générales
- Densité des points périodiques: Démonstration de la densité des points périodiques sur la frontière d'une large classe de composantes de Fatou
- Innovation technique: Utilisation de l'extension naturelle de Rokhlin pour traiter les transformations préservant la mesure non inversibles
L'hypothèse principale de l'article est que les valeurs singulières ne sont pas "trop denses" sur la frontière, formalisée par:
∫∂Ulog∣x−SV∣−1dωU(x)<∞
Cette condition est équivalente à: pour tout C > 0 et t ∈ (0,1):
∑n≥0ωU(⋃s∈SVD(s,C⋅tn))<∞
Soit f : ℂ → Ĉ une fonction méromorphe, U un bassin d'attraction simplement connexe avec point fixe p ∈ U. Soit ω_U la mesure harmonique sur ∂U avec base en p. Supposons:
- f possède un exposant de Lyapunov positif
- ∫_{∂U} log |x - SV|^{-1} dω_U(x) < ∞
Alors pour chaque ensemble dénombrable {A_k}_k ⊂ ∂U avec ω_U(A_k) > 0, pour ω_U-presque chaque x_0 ∈ ∂U, il existe une orbite arrière {x_n}_n ⊂ ∂U et r > 0 tels que:
- x_ ∈ A_k pour une certaine suite n_k → ∞
- La branche inverse F_n envoie x_0 à x_n bien définie dans D(x_0,r)
- diam F_n(D(x_0,r)) → 0 quand n → ∞
Résultats analogues pour les bassins paraboliques et domaines de Baker, mais nécessitant l'hypothèse supplémentaire que les valeurs singulières dans ∂U^{+ε} sont finies.
Utilisation de l'extension naturelle de Rokhlin pour construire l'espace des orbites arrières:
X~={{xn}n⊂X:x0∈X,T(xn+1)=xn,n≥0}
Cela permet de traiter les applications non inversibles, transformant le problème en étude d'endomorphismes inversibles.
Estimations précises de la mesure harmonique pour les régions sectorielles:
ωU(z0,D(x,r))≤C⋅r1/(2α)
Par des estimations de distorsion précises et une construction appropriée de métrique conforme, contrôle des propriétés de contraction des branches inverses.
L'article est principalement un travail théorique, vérifiant les résultats par des preuves mathématiques rigoureuses, incluant:
- Preuves constructives: Construction inductive de suites de branches inverses
- Preuves théoriques de mesure: Utilisation du lemme de Borel-Cantelli et théorèmes ergodiques
- Techniques d'analyse complexe: Application du théorème de distorsion de Koebe et théorie des applications conformes
- Fonctions intérieures centrales: Automorphismes holomorphes du disque unité g : D → D avec g(0) = 0
- Famille exponentielle: Certaines familles exponentielles hyperboliques
- Cas polynomiaux: Comme cas particulier du cas transcendant
Pour presque chaque orbite arrière satisfaisant les conditions, il existe un rayon uniforme r > 0 tel que toutes les branches inverses sont bien définies et conformes dans D(x_0,r).
Proposition E: Si U est asymptotiquement contenu dans un secteur d'angle α ∈ (0,1) avec ordre de croissance β ∈ (0,1/(2α)), alors log |f'| ∈ L¹(ω_U).
Proposition F: Sous des hypothèses appropriées, χ_{ω_U}(f) = ∫_{∂U} log |f'| dω_U ≥ 0.
Corollaire C: Pour une fonction intérieure centrale g : D → D, sous log |g'| ∈ L¹(∂D) et conditions sur les valeurs singulières, pour λ-presque chaque ξ_0 ∈ ∂D il existe une orbite arrière telle que:
- Les branches inverses G_n sont bien définies dans D(ξ_0,ρ_0)
- G_n(R_ρ(ξ_0)) ⊂ Δ_{α,ρ}(ξ_n) (segments radiaux appliqués aux angles de Stolz)
- L'ensemble de valeurs singulières E(g) possède λ-mesure zéro
Corollaire D: Sous les hypothèses du théorème A ou B, si un voisinage transversal N_C existe avec N_C ∩ P(f) = ∅, alors les points périodiques sont denses sur ∂U.
- Théorie classique de Pesin: Travaux fondateurs de Yakov Pesin (1976-1977)
- Extension aux applications rationnelles: Contributions de Ledrappier, Dobbs et autres
- Dynamique transcendante: Théorie des fonctions de classe K par Baker, Domínguez, Herring et autres
- Théorie des fonctions intérieures: Résultats de théorie ergodique d'Aaronson, Doering-Mañé
- Innovation technique: Première application du système d'extension naturelle de Rokhlin à la dynamique transcendante
- Extension théorique: Extension du cas compact des applications rationnelles au cas non compact des applications transcendantes
- Synthèse méthodologique: Combinaison de théorie de la mesure, théorie ergodique, analyse conforme et estimations de mesure harmonique
- Extension réussie de la théorie de Pesin aux frontières des composantes de Fatou de fonctions méromorphes transcendantes
- Sous des hypothèses appropriées, les branches inverses générales sont bien définies et possèdent des propriétés de contraction
- Établissement d'une théorie complète des exposants de Lyapunov dans le cas transcendant
- Démonstration de la densité des points périodiques frontières
- Conditions d'hypothèse: Nécessité de la condition que les valeurs singulières ne sont pas "trop denses", limitant la portée des applications
- Restriction à la simple connexité: Les résultats principaux se limitent aux composantes de Fatou simplement connexes
- Conditions de croissance: Les résultats sur les exposants de Lyapunov nécessitent des conditions d'ordre de croissance spécifiques
- Complexité technique: Les preuves dépendent de plusieurs conditions techniques complexes
- Extension multi-connexe: Extension aux composantes de Fatou multi-connexes
- Croissance plus générale: Relâchement des conditions restrictives sur l'ordre de croissance
- Applications spécifiques: Applications dans des familles de fonctions particulières
- Vérification numérique: Implémentation numérique et vérification des résultats théoriques
- Innovation théorique: Extension réussie et première de la théorie de Pesin aux applications transcendantes, comblant une lacune théorique importante
- Profondeur technique: Utilisation ingénieuse de l'extension naturelle de Rokhlin pour traiter la non-inversibilité, démontrant un haut niveau de maîtrise technique
- Complétude des résultats: Non seulement les théorèmes principaux, mais aussi des applications riches et théories connexes
- Rigueur des preuves: Preuves mathématiques complètes et rigoureuses, logique claire
- Valeur applicative: Applications importantes à la théorie des fonctions intérieures et à la théorie des points périodiques
- Restrictions d'hypothèses: Les conditions d'hypothèse principales sont relativement fortes, pouvant limiter la portée des applications pratiques
- Seuil technique: Nécessité d'une formation approfondie dans plusieurs domaines, seuil de compréhension élevé
- Implémentation computationnelle: Les résultats théoriques peuvent être difficiles à calculer et vérifier pratiquement
- Cas particuliers: Certaines preuves dépendent de conditions géométriques et analytiques spéciales
- Valeur académique: Contribution importante à la théorie de la dynamique transcendante, devrait stimuler les recherches ultérieures
- Signification théorique: Connexion entre la théorie classique des systèmes dynamiques et la dynamique complexe moderne
- Contribution méthodologique: La valeur méthodologique de l'application de l'extension de Rokhlin à la dynamique complexe
- Impact à long terme: Peut poser les fondations pour comprendre des phénomènes de dynamique transcendante plus complexes
- Recherche théorique: Recherche théorique en dynamique complexe, théorie ergodique, analyse harmonique et domaines connexes
- Analyse de familles de fonctions: Étude des propriétés dynamiques de familles de fonctions transcendantes spécifiques
- Dynamique numérique: Fourniture de guidance théorique pour la recherche numérique
- Domaines connexes: Peut avoir des implications pour la géométrie fractale, la théorie des probabilités et autres domaines connexes
L'article contient une riche bibliographie couvrant les travaux importants de la théorie classique de Pesin à la dynamique transcendante moderne, en particulier:
- Travaux originaux de Pesin Pes76, Pes77
- Théories connexes des applications rationnelles Prz85, Prz93
- Fondements de la dynamique transcendante BDH01, Bol97
- Théorie des fonctions intérieures DM91, Aar78
- Théorie de la mesure harmonique GM05, Pom92
Cet article représente un progrès important dans la théorie de la dynamique transcendante, surmontant avec succès les difficultés essentielles du passage du cas rationnel au cas transcendant par un traitement technique ingénieux, posant une base solide pour le développement ultérieur du domaine.