Dimensions et spectres de dimensions des systèmes de fonctions itérées non-autonomes

Informations fondamentales

• ID de l'article: 2508.20632
• Titre: Dimensions and dimension spectra of Non-autonomous iterated function systems
• Auteurs: Jun Jie Miao, Tianrui Wang (Université normale de Chine orientale)
• Classification: math.DS (Systèmes dynamiques)
• Date de publication: arXiv v2, 25 octobre 2025
• Lien de l'article: https://arxiv.org/abs/2508.20632

Résumé

Cet article étudie la théorie des dimensions pour les systèmes de fonctions itérées conformes non-autonomes. Les auteurs établissent une formule pour les spectres de dimensions intermédiaires des ensembles conformes non-autonomes en utilisant les pressions topologiques supérieure et inférieure, fournissant un cadre unifié pour les dimensions de Hausdorff et box-counting. En corollaire, des formules simplifiées pour les dimensions de Hausdorff, packing et box sont obtenues. De plus, l'article explore la dimension de Hausdorff des systèmes de fonctions itérées conformes infinies non-autonomes contenant une infinité dénombrable d'applications conformes, et fournit des formules de dimension sous certaines conditions.

Contexte et motivation de la recherche

1. Problème fondamental

Le problème fondamental que cet article résout est: Comment calculer les diverses dimensions (dimension de Hausdorff, dimension box, dimension packing et spectre de dimensions intermédiaires) des ensembles fractals conformes non-autonomes?

2. Importance du problème

• Valeur théorique: La théorie des dimensions est au cœur de la géométrie fractale, et les dimensions de Hausdorff et box sont deux concepts fondamentaux. Pour de nombreux ensembles fractals atypiques (tels que les ensembles auto-affines non-autonomes, les ensembles de Moran), ces deux dimensions peuvent ne pas être égales, et la compréhension de leur transition a une importance théorique significative.
• Cadre unifié: Les dimensions intermédiaires introduites par Falconer, Fraser et Kempton en 2016 fournissent un spectre continu reliant la dimension de Hausdorff (θ=0) et la dimension box (θ=1), mais l'étude du spectre de dimensions intermédiaires pour les systèmes non-autonomes reste insuffisante.

3. Limitations des méthodes existantes

• Résultats connus pour les systèmes autonomes: Pour les systèmes de fonctions itérées (IFS) classiques, Mauldin et Urbański (1996) ont déjà fourni des formules de dimensions pour les ensembles auto-conformes, avec la valeur critique h définie par la pression topologique satisfaisant dimₕE = dim_BE = h.
• Défis des systèmes non-autonomes: Dans les systèmes non-autonomes, chaque niveau peut avoir un ensemble différent d'applications, et la structure de l'attracteur est plus complexe. Les travaux existants (tels que la recherche de Hua et al. sur les ensembles de Moran, et le travail de Rempe-Gillen et Urbański en 2016) se concentrent principalement sur des conditions spécifiques, et les conditions ne peuvent pas être mutuellement dérivées.

4. Motivation de la recherche

• Généraliser la théorie des dimensions des IFS classiques au cas non-autonome
• Établir une théorie complète du spectre de dimensions intermédiaires pour les ensembles conformes non-autonomes
• Obtenir des formules de dimensions sous des conditions plus faibles (comme la condition (1.13) par rapport à la condition (1.11))
• Étendre aux systèmes infinis non-autonomes

Contributions principales

Les principales contributions de cet article incluent:

1. Formule du spectre de dimensions intermédiaires (Théorème 2.1): Pour les ensembles conformes finis non-autonomes E satisfaisant la condition d'ensemble ouvert (OSC) et la condition (1.11), une caractérisation complète des dimensions intermédiaires supérieure et inférieure est établie:
   • dim_θ E = s_θ, dim^θ E = s^θ pour θ ∈ 0,1 où s_θ et s^θ sont définis par les points de saut des fonctions de pression supérieure et inférieure P(t,θ) et P(t,θ)
2. Formules simplifiées pour les dimensions box et packing (Théorème 2.2): Il est prouvé que
   • dim_P E = dim_B E = s* où s* est défini par une fonction de pression plus simple P(t), sans nécessiter de considérer les ensembles de coupure complexes des dimensions intermédiaires
3. Formule de dimension de Hausdorff (Théorèmes 2.3 et Corollaire 2.4): Sous la condition que la mesure de frontière soit nulle L^d(∂J)=0, il est prouvé que
   • dim_H E = s* et la condition est affaiblie de (1.11) à (1.13)
4. Dimension des systèmes infinis (Théorème 2.5): Pour les ensembles conformes infinis non-autonomes, sous la condition (2.18) et les hypothèses techniques concernant la convergence des séries, il est prouvé que dim_H E = s*
5. Généralisation des conditions (Exemple 1, Corollaire 2.4, Corollaire 7.3): Par des exemples concrets, les relations entre les conditions (1.11), (1.12) et (1.13) sont illustrées, et des résultats plus généraux sont donnés sous la condition de cône

Explication détaillée de la méthode

Définition de la tâche

Entrée: Système de fonctions itérées conforme non-autonome (fini ou infini) Φ = {Φ_k}{k≥1}, où chaque Φ_k = {φ{k,i}}_{i∈I_k} est une famille d'applications conformes

Sortie: Diverses dimensions fractales de l'attracteur E:

• Dimension de Hausdorff dim_H E
• Dimension box dim_B E (dimensions box supérieure et inférieure)
• Dimension packing dim_P E
• Spectre de dimensions intermédiaires dim_θ E, dim^θ E pour θ ∈ 0,1

Conditions clés:

• Condition d'ensemble ouvert (OSC): int(J_) ∩ int(J_) = ∅ pour i≠j
• Condition de taux de contraction: lim_{k→∞} (log c_k)/(log M_k) = 0 (condition 1.11) où c_k = inf_ ||Dφ_{k,j}||, M_k = sup_{u∈Σ_k} ||Dφ_u||

Cadre technique fondamental

1. Définition des fonctions de pression topologique

Fonctions de pression supérieure et inférieure (pour les systèmes finis):

P(t) = lim sup_{k→∞} (1/k) log Σ_{u∈Σ_k} ||Dφ_u||^t
P(t) = lim inf_{k→∞} (1/k) log Σ_{u∈Σ_k} ||Dφ_u||^t

Fonction de pression pour les dimensions intermédiaires (θ ∈ (0,1]):

P(t,θ) = lim sup_{δ→0} (1/k_δ) log min_{M∈M(δ,θ)} {Σ_{u∈M} ||Dφ_u||^t}

où M(δ,θ) est la famille des ensembles de coupure satisfaisant des contraintes d'échelle spécifiques

Définition des valeurs critiques:

s* = inf{t : P(t) < 0} = sup{t : P(t) > 0}
s_θ = inf{t : P(t,θ) < 0} = sup{t : P(t,θ) > 0}

2. Système de lemmes clés

Lemmes de distorsion bornée (Lemmes 4.3-4.5):

• Estimation de la dérivée des applications composées: C^{-1}||Dφ_u|| ||Dφ_v|| ≤ ||Dφ_|| ≤ C||Dφ_u|| ||Dφ_v||
• Relation entre le diamètre de l'ensemble et la dérivée: C_1^{-1}||Dφ_u|| ≤ |J_u| ≤ C_1||Dφ_u||
• Propriété d'échelle de la mesure: C^{-d}||Dφ_u||^d L^d(A) ≤ L^d(Ψ_u(A)) ≤ C^d||Dφ_u||^d L^d(A)

Lemme d'estimation de couverture (Lemme 5.2): Pour tout F⊂R^d intersectant E,

Σ_{k=k_F^-}^{k_F^+} c_k^d #D(F,k) ≤ C_2

Ce lemme contrôle la croissance du nombre d'ensembles de couverture à différentes échelles

Approximation par sous-systèmes (Lemme 3.5, Proposition 3.6): Pour les systèmes infinis, on peut construire des sous-systèmes finis tels que la fonction de pression reste invariante

Architecture du modèle (stratégie de preuve)

Stratégie de preuve du Théorème 2.1 (spectre de dimensions intermédiaires)

Preuve de la borne inférieure (dim_θ E ≥ s_θ):

1. Pour α < s_θ, on a P(α,θ) > 0
2. Pour toute couverture F satisfaisant δ^{1/θ} ≤ |U| ≤ δ, construire l'ensemble de coupure associé
3. Utiliser la condition (1.11): M_k^η < c_k^d, obtenir

   Σ_{U∈F} Σ_{u∈A(U)} |J_u|^α ≥ C^{-α}_1 min_{M∈M(δ,θ)} {Σ_{u∈M} ||Dφ_u||^α} > C^{-α}_1
   

4. Déduire Σ_{U∈F} |U|^{α-η} ≥ ε_0, donc dim_θ E ≥ α-η

Preuve de la borne supérieure (dim_θ E ≤ s_θ):

1. Pour β > γ > s_θ, on a P(γ,θ) < 0
2. Construire un ensemble de coupure M_k tel que Σ_{u∈M_k} ||Dφ_u||^γ < 1
3. Utiliser la condition (1.11) pour obtenir c_k^{-β} M_k^{β-γ} < 1
4. Construire une couverture F_k = {U_u : u∈M_k}, prouver

   Σ_{u∈M_k} |U_u|^β ≤ CC_1 Σ_{u∈M_k} ||Dφ_u||^γ < CC_1
   

Stratégie de preuve du Théorème 2.3 (dimension de Hausdorff)

Innovation clé: Construction de mesure de probabilité

1. Pour chaque n, définir la mesure μ_n:

   μ_n(J_u) = ||Dφ_u||^t / Σ_{v∈Σ_n} ||Dφ_v||^t
   

2. Pour la boule B(x,r), utiliser l'estimation de couverture et la condition de pression P(t) > 0:

   μ_n(B(x,r)) ≤ C_3 r^{t'} Σ_{k} #D(B(x,r),k) c_k^d ≤ C_2C_3 r^{t'}
   

3. Utiliser la compacité de la mesure, {μ_n} converge faiblement vers la mesure μ
4. Appliquer le principe de distribution de masse: μ(B(x,r)) ≤ C r^{t'} ⟹ dim_H E ≥ t'

Points d'innovation technique

1. Définition hiérarchisée de la fonction de pression:
   • Introduire la fonction de pression pour les dimensions intermédiaires P(t,θ), contrôler finement les couvertures à différentes échelles via les ensembles de coupure M(δ,θ)
   • Établir la monotonie de la fonction de pression (Lemme 4.1) et l'existence de points de saut
2. Affaiblissement des conditions:
   • De la condition (1.11): lim (log c_k)/(log M_k) = 0
   • À la condition (1.13): lim (log c_k - log #I_k)/(log M_k) = 0
   • L'Exemple 1 montre clairement les relations entre les trois conditions (1.11), (1.12), (1.13)
3. Technique d'approximation par sous-systèmes (Lemme 3.8):
   • Pour une séquence donnée {α_n}, construire un sous-système Φ' tel que la pression reste invariante et

     max_{k,l∈I'_n} c_{n,k}/c_{n,l} ≤ α_n (#I_n)^{1/t_0}
     

   • Cela permet d'obtenir l'information de dimension dans les systèmes infinis via des sous-systèmes finis
4. Application de la condition de cône (Lemmes 7.1-7.2):
   • Prouver que la condition de cône implique L^d(∂J) = 0
   • Utiliser la condition de cône pour contrôler le nombre d'ensembles de couverture: #Λ ≤ M_1
5. Amélioration de la construction de mesure:
   • Dans la preuve de la dimension de Hausdorff, éviter les difficultés techniques des méthodes traditionnelles en normalisant la mesure
   • La convergence faible de la mesure garantit les bonnes propriétés de la mesure limite

Configuration expérimentale

Cet article est un article de théorie mathématique pure et ne contient pas d'expériences numériques. Tous les résultats sont des preuves mathématiques rigoureuses.

Cas de vérification théorique

Exemple 1 (Comparaison des conditions):

• E_1: Ensemble de Moran, #I_k = 2^k, c_{k,j} = 1/3^{k+1}
  • Satisfait (1.11), dim_H E_1 = log2/log3
• E_2: #I_k = 2^k, c_{k,1} = 1/3^{k+1}, c_{k,j} = 1/(3^{k(k+1)}) (j≥2)
  • Ne satisfait pas (1.11) mais satisfait (1.13), dim_H E_2 = 0
• E_3: Ensemble de Moran homogène, #I_k = 2, c_1=1/2, c_2=1/4, c_k = c_1...c_
  • Satisfait (1.12) mais ne satisfait pas (1.13), dim_H E_3 = 0

Cet exemple montre clairement l'indépendance et la portée applicable des trois conditions.

Résultats expérimentaux

Résumé des résultats théoriques principaux

Découvertes clés

1. Unicité des dimensions: Sous les conditions (1.11) et L^d(∂J)=0, les trois principales dimensions des ensembles conformes finis non-autonomes sont égales:

   dim_H E = dim_P E = dim_B E = s*
   

2. Continuité du spectre de dimensions intermédiaires: Par la Proposition 1.1, le spectre de dimensions dim_θ E et dim^θ E est continu sur θ∈(0,1], se connecte à la dimension de Hausdorff en θ=0, et à la dimension box en θ=1
3. Hiérarchie des conditions:
   • La plus forte: condition (1.11) ⟹ spectre complet de dimensions intermédiaires
   • Intermédiaire: condition (1.13) ⟹ bornes inférieures de dimension de Hausdorff et box
   • Spéciale: condition de cône + (7.45) ⟹ dimension de Hausdorff (affaiblissant la condition de Rempe-Gillen et Urbański)
4. Traitabilité des systèmes infinis: Par l'approximation par sous-systèmes, le problème de dimension des systèmes infinis peut être réduit aux systèmes finis

Travaux connexes

Théorie classique des IFS

1. Ensembles auto-similaires: Pour les ensembles auto-similaires satisfaisant la condition d'ensemble ouvert, la dimension de Hausdorff et la dimension box sont égales, données par le zéro de la fonction de pression
2. Ensembles auto-conformes (Mauldin & Urbański 1996):
   • Définir la valeur critique h telle que P(h) = 0
   • Prouver dim_H E = dim_B E = h
   • Étendre aux IFS conformes infinis
3. Ensembles auto-affines (Falconer 1988):
   • Introduire la dimension affine d(T_1,...,T_n)
   • Sous certaines conditions, dim_H E = min{d, d(T_1,...,T_n)}

Systèmes non-autonomes

1. Ensembles de Moran (Moran 1946, Hua et al. 1994-2000):
   • Cas particulier des systèmes similaires non-autonomes
   • Sous la condition lim (log c_k)/(log M_k) = 0:

     dim_H E = s* = lim inf s_k
     dim_P E = dim_B E = s* = lim sup s_k
     

2. Rempe-Gillen & Urbański 2016:
   • Étudier les ensembles conformes non-autonomes sous la condition lim (log #I_k)/k = 0
   • Les conditions (1.11) et (1.13) de cet article ne s'impliquent pas mutuellement avec leur condition (1.12)
3. Théorie des dimensions intermédiaires (Falconer, Fraser, Kempton 2020):
   • Introduire la définition générale des dimensions intermédiaires
   • Banaji & Fraser 2023 ont étudié les dimensions intermédiaires des attracteurs infiniment générés

Position de cet article

Cet article fait progresser le domaine dans les aspects suivants:

• Cadre unifié: Appliquer systématiquement la théorie des dimensions intermédiaires aux systèmes conformes non-autonomes
• Optimisation des conditions: Affaiblir les conditions de la littérature existante dans plusieurs théorèmes
• Systèmes infinis: Fournir une méthode systématique pour traiter les systèmes de fonctions itérées conformes infinis non-autonomes
• Innovation technique: Développer de nouvelles techniques d'approximation par sous-systèmes et de construction de mesure de probabilité

Conclusion et discussion

Conclusions principales

1. Théorie complète des dimensions: Cet article établit une théorie complète des dimensions pour les ensembles conformes non-autonomes, incluant la dimension de Hausdorff, la dimension box, la dimension packing et le spectre de dimensions intermédiaires
2. Rôle central de la fonction de pression: Toutes les dimensions peuvent être caractérisées par la valeur critique s* ou s_θ de la fonction de pression topologique
3. Essence des conditions: Les conditions (1.11) ou (1.13) garantissent l'«uniformité» du système à différentes échelles, et sont essentielles pour obtenir les formules de dimension
4. Pont du fini à l'infini: Par la technique d'approximation par sous-systèmes, les problèmes de dimension des systèmes infinis peuvent être efficacement réduits aux systèmes finis

Limitations

1. Nécessité des conditions non discutée: L'article se concentre principalement sur les conditions suffisantes, sans explorer si ces conditions (comme (1.11), (1.13)) sont nécessaires
2. Restriction de la condition de cône: Pour la dimension de Hausdorff, l'exigence L^d(∂J)=0 ou la condition de cône exclut certains ensembles initiaux fractals J
3. Hypothèses techniques pour les systèmes infinis: Les conditions (1)-(3) concernant la convergence des séries dans le Théorème 2.5 sont plutôt techniques et peuvent être difficiles à vérifier dans les problèmes pratiques
4. Calcul concret du spectre de dimensions intermédiaires: Bien que des formules théoriques soient fournies, le calcul de P(t,θ) pour des exemples concrets reste un défi
5. Rôle de la condition de séparation forte: L'article mentionne que la condition de séparation forte (SSC) peut éliminer l'exigence L^d(∂J)=0 (Remarque 2), mais ne l'a pas développée en détail

Directions futures

L'article indique implicitement les directions de recherche suivantes:

1. Optimisation des conditions: Peut-on affaiblir davantage la condition (1.13)? Peut-on trouver la forme optimale des conditions?
2. Méthodes de calcul: Développer des algorithmes numériques pour calculer pratiquement les fonctions de pression et les dimensions
3. Classes de mappages plus générales: Généraliser les résultats aux applications quasi-conformes ou aux applications de contraction plus générales
4. Applications aux systèmes dynamiques: Appliquer la théorie aux problèmes concrets de systèmes dynamiques, tels que les ensembles de Julia, les ensembles hyperboliques, etc.
5. Analyse multifractale: Étudier les spectres multifractals des mesures sur les systèmes non-autonomes

Évaluation approfondie

Points forts

1. Profondeur théorique:
   • Établir un cadre théorique complet pour la théorie des dimensions des systèmes conformes non-autonomes
   • Les preuves sont rigoureuses, avec un traitement technique minutieux (applications multiples de la distorsion bornée, convergence faible des mesures, etc.)
   • Les relations logiques entre les théorèmes sont claires, formant un système complet
2. Originalité:
   • Première étude systématique du spectre de dimensions intermédiaires des ensembles conformes non-autonomes
   • Développer de nouvelles techniques d'approximation par sous-systèmes (Lemme 3.8, Proposition 3.6)
   • Affaiblir les conditions de la littérature existante en plusieurs endroits (par exemple, la condition (1.13) par rapport à (1.11))
3. Contribution technique:
   • Définition hiérarchisée de la fonction de pression (P(t) et P(t,θ))
   • Le lemme d'estimation de couverture (Lemme 5.2) fournit un contrôle combinatoire clé
   • Application de la méthode de construction de mesure de probabilité dans la preuve de la dimension de Hausdorff
4. Qualité de rédaction:
   • Structure claire, progression progressive des systèmes finis aux systèmes infinis
   • Introduction détaillée du contexte et des travaux connexes
   • L'Exemple 1 illustre efficacement les relations entre différentes conditions
   • Les énoncés des théorèmes sont précis, les hypothèses claires
5. Complétude:
   • Couvrir les principaux types de dimensions fractales
   • Des systèmes finis aux systèmes infinis
   • Des conditions générales aux conditions spéciales (condition de cône)

Insuffisances

1. Problèmes de lisibilité:
   • Le système de notation est relativement complexe (Σ^k_l, M(δ,θ), A(F), D(F,k), etc.)
   • Certaines preuves sont longues et très techniques, ce qui peut être peu convivial pour les non-spécialistes
   • Absence de figures pour visualiser intuitivement la structure des fractals non-autonomes
2. Manque d'exemples:
   • Un seul exemple concret (Exemple 1), principalement utilisé pour illustrer les relations entre conditions
   • Absence d'exemples montrant le calcul réel du spectre de dimensions intermédiaires
   • Pas d'instance concrète de systèmes infinis
3. Limitations théoriques:
   • La signification géométrique des conditions (1.11) et (1.13) n'est pas suffisamment intuitive
   • Les conditions (1)-(3) pour les systèmes infinis sont trop techniques
   • Pas de discussion sur la nécessité ou l'optimalité des conditions
4. Absence de discussion d'applications:
   • Pas de discussion sur les applications de ces résultats en systèmes dynamiques, théorie des probabilités ou autres domaines
   • Manque de connexion avec les problèmes pratiques
5. Problèmes ouverts:
   • L'article ne liste pas explicitement les problèmes ouverts
   • Discussion limitée sur les directions futures de la recherche

Évaluation de l'impact

1. Contribution théorique:
   • Impact élevé: Fournir un cadre systématique pour la théorie des dimensions des systèmes non-autonomes
   • Combler le vide de la théorie des dimensions intermédiaires dans les systèmes non-autonomes
   • Les méthodes techniques (en particulier l'approximation par sous-systèmes) peuvent inspirer d'autres problèmes
2. Valeur pratique:
   • Modérée: Principalement des résultats théoriques, le calcul pratique reste un défi
   • Fournir des orientations théoriques pour comprendre les structures fractales complexes
   • Applications potentielles dans la compression d'images fractales, l'analyse de systèmes dynamiques, etc.
3. Reproductibilité:
   • Élevée: Tous les résultats ont des preuves mathématiques complètes
   • Les conditions des théorèmes sont claires et explicites
   • Mais absence d'algorithmes et de code pour le calcul numérique
4. Recherches ultérieures:
   • Prévu de stimuler la recherche ultérieure sur la théorie des dimensions des systèmes non-autonomes
   • Peut promouvoir le développement de la théorie des dimensions intermédiaires
   • Fournir des outils pour étudier les systèmes fractals plus complexes

Scénarios d'application

1. Application directe:
   • Calcul de la dimension des ensembles de Moran non-autonomes
   • Ensembles conformes non-autonomes satisfaisant la condition d'ensemble ouvert
   • Généralisation des ensembles auto-similaires construits en couches
2. Applications potentielles:
   • Ensembles hyperboliques et ensembles de Julia en systèmes dynamiques
   • Fractals aléatoires et systèmes de fonctions itérées aléatoires
   • Analyse multifractale
   • Conception d'antennes fractales et compression d'images
3. Scénarios non applicables:
   • Systèmes qui ne satisfont pas la condition d'ensemble ouvert avec chevauchement
   • Ensembles générés par des applications non-contractantes
   • Systèmes où les conditions (1.11) ou (1.13) échouent gravement

Références (Références clés)

L'article cite 42 références, dont les clés incluent:

1. Falconer, Fraser, Kempton (2020): "Intermediate dimensions" - Article original introduisant les dimensions intermédiaires
2. Mauldin & Urbański (1996): "Dimensions and measures in infinite iterated function systems" - Travail classique sur les IFS conformes infinis
3. Rempe-Gillen & Urbański (2016): "Non-autonomous conformal iterated function systems and Moran-set constructions" - Travail directement généralisé par cet article
4. Hua et al. (1994-2000): Série de travaux sur la théorie des dimensions des ensembles de Moran
5. Banaji & Fraser (2023): "Intermediate dimensions of infinitely generated attractors" - Dimensions intermédiaires des attracteurs infiniment générés

Évaluation globale: Ceci est un article de théorie mathématique de haute qualité qui apporte des contributions importantes à la théorie des dimensions des systèmes de fonctions itérées non-autonomes. L'article établit un cadre théorique complet, avec des preuves rigoureuses et des innovations techniques significatives. Les principales insuffisances résident dans l'absence d'exemples de calcul concret et de discussion d'applications, ainsi que dans l'intuitivité géométrique insuffisante de certaines conditions. Ce travail a une valeur théorique importante pour le domaine de la géométrie fractale et des systèmes dynamiques, et devrait avoir un impact académique considérable.