Dimensionen und Dimensionsspektren von nicht-autonomen iterierten Funktionssystemen

Grundinformationen

• Papier-ID: 2508.20632
• Titel: Dimensions and dimension spectra of Non-autonomous iterated function systems
• Autoren: Jun Jie Miao, Tianrui Wang (East China Normal University)
• Klassifizierung: math.DS (Dynamische Systeme)
• Veröffentlichungsdatum: arXiv v2, 25. Oktober 2025
• Papierlink: https://arxiv.org/abs/2508.20632

Zusammenfassung

Dieses Papier untersucht die Dimensionstheorie nicht-autonomer konformer iterierter Funktionssysteme (Non-autonomous conformal iterated function systems). Die Autoren nutzen obere und untere topologische Drücke (upper and lower topological pressures), um eine Formel für das Spektrum intermediärer Dimensionen (intermediate dimension spectra) nicht-autonomer konformer Mengen zu etablieren. Diese Formel bietet einen einheitlichen Rahmen für die Hausdorff-Dimension und die Box-Counting-Dimension. Als Folgerung werden vereinfachte Formen der Hausdorff-Dimension, Packing-Dimension und Box-Dimension erhalten. Darüber hinaus untersucht das Papier die Hausdorff-Dimension nicht-autonomer unendlicher konformer iterierter Funktionssysteme, die abzählbar unendlich viele konforme Abbildungen enthalten, und gibt unter bestimmten Bedingungen Dimensionsformeln an.

Forschungshintergrund und Motivation

1. Kernproblem

Das Kernproblem, das dieses Papier löst, ist: Wie berechnet man verschiedene Dimensionen (Hausdorff-Dimension, Box-Dimension, Packing-Dimension und Spektrum intermediärer Dimensionen) nicht-autonomer konformer Fraktalmengen?

2. Bedeutung des Problems

• Theoretischer Wert: Die Dimensionstheorie ist das Herzstück der fraktalen Geometrie, wobei die Hausdorff-Dimension und die Box-Dimension zwei grundlegende Konzepte sind. Für viele atypische Fraktalmengen (wie nicht-autonome selbstaffine Mengen, Moran-Mengen) können diese beiden Dimensionen ungleich sein. Das Verständnis des Übergangs zwischen ihnen hat große theoretische Bedeutung.
• Einheitlicher Rahmen: Die von Falconer, Fraser und Kempton 2016 eingeführten intermediären Dimensionen (intermediate dimensions) bieten ein kontinuierliches Spektrum, das die Hausdorff-Dimension (θ=0) und die Box-Dimension (θ=1) verbindet. Die Forschung zum Spektrum intermediärer Dimensionen für nicht-autonome Systeme ist jedoch noch unzureichend.

3. Einschränkungen bestehender Methoden

• Bekannte Ergebnisse für autonome Systeme: Für klassische iterierte Funktionssysteme (IFS) haben Mauldin und Urbański (1996) bereits eine Dimensionsformel für selbstähnliche Mengen gegeben, wobei der durch topologischen Druck definierte kritische Wert h erfüllt dimₕE = dim_BE = h.
• Herausforderungen nicht-autonomer Systeme: Bei nicht-autonomen Systemen können auf jeder Ebene unterschiedliche Abbildungsmengen vorhanden sein, wodurch die Struktur des Attraktors komplexer wird. Bestehende Arbeiten (wie die Forschung von Hua et al. zu Moran-Mengen, die Arbeit von Rempe-Gillen und Urbański von 2016) konzentrieren sich hauptsächlich auf spezifische Bedingungen, und diese Bedingungen können nicht gegenseitig hergeleitet werden.

4. Forschungsmotivation

• Verallgemeinerung der Dimensionstheorie klassischer IFS auf den nicht-autonomen Fall
• Etablierung einer vollständigen Theorie des Spektrums intermediärer Dimensionen für nicht-autonome konforme Mengen
• Erhalten von Dimensionsformeln unter schwächeren Bedingungen (wie Bedingung (1.13) im Vergleich zu Bedingung (1.11))
• Erweiterung auf unendliche nicht-autonome Systeme

Kernbeiträge

Die Hauptbeiträge des Papiers sind:

1. Formel für das Spektrum intermediärer Dimensionen (Theorem 2.1): Für nicht-autonome endliche konforme Mengen E, die die Open Set Condition (OSC) und Bedingung (1.11) erfüllen, wird eine vollständige Charakterisierung der oberen und unteren intermediären Dimensionen etabliert:
   • dim_θ E = s_θ, dim^θ E = s^θ für θ ∈ 0,1 wobei s_θ und s^θ durch die Sprungpunkte der oberen und unteren Druckfunktionen P(t,θ) und P(t,θ) definiert sind
2. Vereinfachte Formeln für Box-Dimension und Packing-Dimension (Theorem 2.2): Es wird bewiesen, dass
   • dim_P E = dim_B E = s* wobei s* durch eine einfachere Druckfunktion P(t) definiert ist, ohne die komplexe Schnittmenge der intermediären Dimensionen berücksichtigen zu müssen
3. Formel für die Hausdorff-Dimension (Theorem 2.3 und Corollary 2.4): Unter der Bedingung des verschwindenden Randmaßes L^d(∂J)=0 wird bewiesen, dass
   • dim_H E = s* und die Bedingung wird von (1.11) zu (1.13) abgeschwächt
4. Dimension unendlicher Systeme (Theorem 2.5): Für nicht-autonome unendliche konforme Mengen wird unter Bedingung (2.18) und technischen Annahmen zur Reihenkonvergenz bewiesen, dass dim_H E = s*
5. Verallgemeinerung der Bedingungen (Example 1, Corollary 2.4, Corollary 7.3): Durch konkrete Beispiele wird die Beziehung zwischen den Bedingungen (1.11), (1.12) und (1.13) erläutert, und unter der Kegelbedingung werden allgemeinere Ergebnisse gegeben

Methodische Details

Aufgabendefinition

Eingabe: Nicht-autonomes (endliches oder unendliches) konformes iteriertes Funktionssystem Φ = {Φ_k}{k≥1}, wobei jedes Φ_k = {φ{k,i}}_{i∈I_k} eine Familie konformer Abbildungen ist

Ausgabe: Verschiedene fraktale Dimensionen des Attraktors E:

• Hausdorff-Dimension dim_H E
• Box-Dimension dim_B E (obere und untere Box-Dimensionen)
• Packing-Dimension dim_P E
• Spektrum intermediärer Dimensionen dim_θ E, dim^θ E für θ ∈ 0,1

Schlüsselbedingungen:

• Open Set Condition (OSC): int(J_) ∩ int(J_) = ∅ für i≠j
• Kontraktionsratenbedingung: lim_{k→∞} (log c_k)/(log M_k) = 0 (Bedingung 1.11) wobei c_k = inf_ ||Dφ_{k,j}||, M_k = sup_{u∈Σ_k} ||Dφ_u||

Kernrahmen der Technik

1. Definition der topologischen Druckfunktion

Obere und untere Druckfunktionen (für endliche Systeme):

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

Druckfunktion für intermediäre Dimensionen (θ ∈ (0,1]):

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

wobei M(δ,θ) die Familie der Schnittmengen ist, die bestimmte Skalierungsbeschränkungen erfüllen

Definition kritischer Werte:

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

2. Schlüssellemmata-System

Lemma über beschränkte Verzerrung (Lemma 4.3-4.5):

• Ableitungsschätzungen zusammengesetzter Abbildungen: C^{-1}||Dφ_u|| ||Dφ_v|| ≤ ||Dφ_|| ≤ C||Dφ_u|| ||Dφ_v||
• Beziehung zwischen Mengendurchmesser und Ableitung: C_1^{-1}||Dφ_u|| ≤ |J_u| ≤ C_1||Dφ_u||
• Skalierungseigenschaften von Maßen: C^{-d}||Dφ_u||^d L^d(A) ≤ L^d(Ψ_u(A)) ≤ C^d||Dφ_u||^d L^d(A)

Lemma über Überdeckungsschätzungen (Lemma 5.2): Für beliebige F⊂R^d, die E schneiden,

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

Dieses Lemma kontrolliert das Wachstum der Anzahl der Überdeckungsmengen auf verschiedenen Skalen

Subsystem-Approximation (Lemma 3.5, Proposition 3.6): Für unendliche Systeme können endliche Subsysteme konstruiert werden, so dass die Druckfunktion unverändert bleibt

Modellarchitektur (Beweisstrategien)

Beweisidee für Theorem 2.1 (Spektrum intermediärer Dimensionen)

Beweis der unteren Schranke (dim_θ E ≥ s_θ):

1. Für α < s_θ gilt P(α,θ) > 0
2. Für jede Überdeckung F, die δ^{1/θ} ≤ |U| ≤ δ erfüllt, wird eine zugehörige Schnittmenge konstruiert
3. Unter Verwendung von Bedingung (1.11): M_k^η < c_k^d erhalten wir

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

4. Daraus folgt Σ_{U∈F} |U|^{α-η} ≥ ε_0, daher dim_θ E ≥ α-η

Beweis der oberen Schranke (dim_θ E ≤ s_θ):

1. Für β > γ > s_θ gilt P(γ,θ) < 0
2. Eine Schnittmenge M_k wird konstruiert, so dass Σ_{u∈M_k} ||Dφ_u||^γ < 1
3. Unter Verwendung von Bedingung (1.11) erhalten wir c_k^{-β} M_k^{β-γ} < 1
4. Eine Überdeckung F_k = {U_u : u∈M_k} wird konstruiert, und es wird bewiesen, dass

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

Beweisidee für Theorem 2.3 (Hausdorff-Dimension)

Schlüsselinnovation: Konstruktion von Wahrscheinlichkeitsmaßen

1. Für jedes n wird ein Maß μ_n definiert:

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

2. Für einen Ball B(x,r) wird unter Verwendung von Überdeckungsschätzungen und der Druckbedingung P(t) > 0 verwendet:

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

3. Unter Verwendung der Kompaktheit von Maßen konvergiert {μ_n} schwach gegen ein Maß μ
4. Anwendung des Massenverteilungsprinzips: μ(B(x,r)) ≤ C r^{t'} ⟹ dim_H E ≥ t'

Technische Innovationen

1. Schichtenweise Definition der Druckfunktion:
   • Einführung der Druckfunktion P(t,θ) für intermediäre Dimensionen, die verschiedene Skalen von Überdeckungen durch Schnittmengen M(δ,θ) präzise kontrolliert
   • Etablierung der Monotonie der Druckfunktion (Lemma 4.1) und der Existenz von Sprungpunkten
2. Abschwächung der Bedingungen:
   • Von Bedingung (1.11): lim (log c_k)/(log M_k) = 0
   • Zu Bedingung (1.13): lim (log c_k - log #I_k)/(log M_k) = 0
   • Example 1 zeigt deutlich die Beziehung zwischen den drei Bedingungen (1.11), (1.12), (1.13)
3. Subsystem-Approximationstechnik (Lemma 3.8):
   • Für eine gegebene Sequenz {α_n} wird ein Subsystem Φ' konstruiert, so dass der Druck unverändert bleibt und

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

   • Dies ermöglicht es, Dimensionsinformationen unendlicher Systeme durch endliche Subsysteme zu erhalten
4. Anwendung der Kegelbedingung (Lemma 7.1-7.2):
   • Beweis, dass die Kegelbedingung L^d(∂J) = 0 impliziert
   • Verwendung der Kegelbedingung zur Kontrolle der Anzahl von Überdeckungsmengen: #Λ ≤ M_1
5. Verbesserung der Maßkonstruktion:
   • Im Beweis der Hausdorff-Dimension werden durch Normalisierung von Maßen technische Schwierigkeiten klassischer Methoden vermieden
   • Die schwache Konvergenz von Maßen garantiert gute Eigenschaften des Grenzmaßes

Experimentelle Einrichtung

Dieses Papier ist ein rein mathematisches Theoriewerk und enthält keine numerischen Experimente. Alle Ergebnisse sind strenge mathematische Beweise.

Theoretische Verifikationsfälle

Example 1 (Vergleich von Bedingungen):

• E_1: Moran-Menge, #I_k = 2^k, c_{k,j} = 1/3^{k+1}
  • Erfüllt (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)
  • Erfüllt nicht (1.11) aber erfüllt (1.13), dim_H E_2 = 0
• E_3: Homogene Moran-Menge, #I_k = 2, c_1=1/2, c_2=1/4, c_k = c_1...c_
  • Erfüllt (1.12) aber nicht (1.13), dim_H E_3 = 0

Dieses Beispiel zeigt deutlich die Unabhängigkeit und den Anwendungsbereich der drei Bedingungen.

Experimentelle Ergebnisse

Zusammenfassung der wichtigsten theoretischen Ergebnisse

Schlüsselergebnisse

1. Dimensionseinheitlichkeit: Unter Bedingung (1.11) und L^d(∂J)=0 sind die drei Hauptdimensionen nicht-autonomer endlicher konformer Mengen gleich:

   dim_H E = dim_P E = dim_B E = s*
   

2. Stetigkeit des Spektrums intermediärer Dimensionen: Nach Proposition 1.1 sind die Dimensionsspektren dim_θ E und dim^θ E auf θ∈(0,1] stetig und verbinden sich bei θ=0 mit der Hausdorff-Dimension und bei θ=1 mit der Box-Dimension
3. Hierarchie der Bedingungen:
   • Stärkste: Bedingung (1.11) ⟹ vollständiges Spektrum intermediärer Dimensionen
   • Mittlere: Bedingung (1.13) ⟹ untere Schranken für Hausdorff- und Box-Dimension
   • Spezielle: Kegelbedingung + (7.45) ⟹ Hausdorff-Dimension (schwächer als die Bedingung von Rempe-Gillen und Urbański)
4. Handhabbarkeit unendlicher Systeme: Durch Subsystem-Approximation kann das Dimensionsproblem unendlicher Systeme auf endliche Systeme reduziert werden

Verwandte Arbeiten

Klassische IFS-Theorie

1. Selbstähnliche Mengen: Für selbstähnliche Mengen, die die Open Set Condition erfüllen, sind die Hausdorff-Dimension und die Box-Dimension gleich und werden durch die Nullstelle der Druckfunktion gegeben
2. Selbstähnliche konforme Mengen (Mauldin & Urbański 1996):
   • Definition eines kritischen Wertes h, so dass P(h) = 0
   • Beweis, dass dim_H E = dim_B E = h
   • Erweiterung auf unendliche konforme IFS
3. Selbstaffine Mengen (Falconer 1988):
   • Einführung der affinen Dimension d(T_1,...,T_n)
   • Unter bestimmten Bedingungen: dim_H E = min{d, d(T_1,...,T_n)}

Nicht-autonome Systeme

1. Moran-Mengen (Moran 1946, Hua et al. 1994-2000):
   • Spezialfall nicht-autonomer ähnlicher Systeme
   • Unter Bedingung 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:
   • Untersuchung nicht-autonomer konformer Mengen unter Bedingung lim (log #I_k)/k = 0
   • Die Bedingungen (1.11) und (1.13) dieses Papiers implizieren nicht gegenseitig ihre Bedingung (1.12)
3. Theorie intermediärer Dimensionen (Falconer, Fraser, Kempton 2020):
   • Einführung einer allgemeinen Definition intermediärer Dimensionen
   • Banaji & Fraser 2023 untersuchten intermediäre Dimensionen unendlich erzeugter Attraktoren

Position dieses Papiers

Dieses Papier macht in folgenden Aspekten Fortschritte:

• Einheitlicher Rahmen: Systematische Anwendung der Theorie intermediärer Dimensionen auf nicht-autonome konforme Systeme
• Optimierung der Bedingungen: Abschwächung der Bedingungen in mehreren Theoremen im Vergleich zu bestehender Literatur
• Unendliche Systeme: Bereitstellung einer systematischen Methode zur Behandlung nicht-autonomer unendlicher konformer Systeme
• Technische Innovationen: Entwicklung neuer Techniken für Subsystem-Approximation und Wahrscheinlichkeitsmaßkonstruktion

Schlussfolgerungen und Diskussion

Hauptschlussfolgerungen

1. Vollständige Dimensionstheorie: Das Papier etabliert eine vollständige Dimensionstheorie für nicht-autonome konforme Mengen, einschließlich Hausdorff-Dimension, Box-Dimension, Packing-Dimension und Spektrum intermediärer Dimensionen
2. Zentrale Rolle der Druckfunktion: Alle Dimensionen können durch kritische Werte s* oder s_θ der topologischen Druckfunktion charakterisiert werden
3. Wesen der Bedingungen: Die Bedingungen (1.11) oder (1.13) garantieren die "Gleichmäßigkeit" des Systems auf verschiedenen Skalen und sind entscheidend für die Erlangung von Dimensionsformeln
4. Brücke von endlich zu unendlich: Durch die Subsystem-Approximationstechnik können Probleme unendlicher Systeme effektiv auf endliche Systeme reduziert werden

Einschränkungen

1. Notwendigkeit der Bedingungen nicht diskutiert: Das Papier konzentriert sich hauptsächlich auf hinreichende Bedingungen und untersucht nicht, ob diese Bedingungen (wie (1.11), (1.13)) notwendig sind
2. Einschränkung der Kegelbedingung: Für die Hausdorff-Dimension erfordern L^d(∂J)=0 oder die Kegelbedingung, dass bestimmte Fraktalinitialmengen J ausgeschlossen werden
3. Technische Annahmen für unendliche Systeme: Die Bedingungen (1)-(3) zur Reihenkonvergenz in Theorem 2.5 sind eher technisch und möglicherweise schwer in praktischen Problemen zu verifizieren
4. Konkrete Berechnung des Spektrums intermediärer Dimensionen: Obwohl theoretische Formeln gegeben werden, bleibt die Berechnung von P(t,θ) für konkrete Beispiele eine Herausforderung
5. Rolle der starken Separationsbedingung: Das Papier erwähnt, dass die starke Separationsbedingung (SSC) die Anforderung L^d(∂J)=0 entfernen kann (Remark 2), entwickelt dies aber nicht weiter

Zukünftige Richtungen

Das Papier deutet implizit auf folgende Forschungsrichtungen hin:

1. Optimierung der Bedingungen: Können die Bedingungen (1.13) weiter abgeschwächt werden? Kann eine optimale Form der Bedingungen gefunden werden?
2. Berechnungsmethoden: Entwicklung praktischer Algorithmen zur Berechnung von Druckfunktionen und Dimensionen
3. Allgemeinere Abbildungsklassen: Verallgemeinerung der Ergebnisse auf quasikonforme Abbildungen oder allgemeinere Kontraktionsabbildungen
4. Anwendungen in dynamischen Systemen: Anwendung der Theorie auf konkrete Probleme dynamischer Systeme, wie Julia-Mengen, hyperbolische Mengen usw.
5. Multifraktale Analyse: Untersuchung multifraktaler Spektren von Maßen auf nicht-autonomen Systemen

Tiefgreifende Bewertung

Stärken

1. Theoretische Tiefe:
   • Etablierung eines vollständigen theoretischen Rahmens für die Dimensionstheorie nicht-autonomer konformer Systeme
   • Strenge Beweise mit sorgfältiger technischer Behandlung (wie mehrfache Anwendung beschränkter Verzerrung, schwache Konvergenz von Maßen usw.)
   • Klare logische Beziehungen zwischen mehreren Theoremen, die ein vollständiges System bilden
2. Innovativität:
   • Erste systematische Untersuchung des Spektrums intermediärer Dimensionen nicht-autonomer konformer Mengen
   • Entwicklung neuer Techniken für Subsystem-Approximation (Lemma 3.8, Proposition 3.6)
   • Abschwächung von Bedingungen an mehreren Stellen (z.B. Bedingung (1.13) im Vergleich zu (1.11))
3. Technische Beiträge:
   • Schichtenweise Definition der Druckfunktion (P(t) und P(t,θ))
   • Lemma über Überdeckungsschätzungen (Lemma 5.2) bietet entscheidende kombinatorische Kontrolle
   • Anwendung der Wahrscheinlichkeitsmaßkonstruktionsmethode im Beweis der Hausdorff-Dimension
4. Schreibqualität:
   • Klare Struktur, schrittweise Fortschreitung von endlichen zu unendlichen Systemen
   • Detaillierte Einführung von Hintergrund und verwandten Arbeiten in der Einleitung
   • Example 1 veranschaulicht effektiv die Beziehungen zwischen verschiedenen Bedingungen
   • Präzise Theoremformulierungen mit klaren Annahmen
5. Vollständigkeit:
   • Abdeckung der wichtigsten Fraktal-Dimensionstypen
   • Von endlichen zu unendlichen Systemen
   • Von allgemeinen zu speziellen Bedingungen (Kegelbedingung)

Schwächen

1. Lesbarkeit:
   • Das Symbolsystem ist relativ komplex (Σ^k_l, M(δ,θ), A(F), D(F,k) usw.)
   • Einige Beweise sind lang und technisch anspruchsvoll, möglicherweise nicht ausreichend zugänglich für Nicht-Spezialisten
   • Fehlende Diagramme zur anschaulichen Darstellung der Struktur nicht-autonomer Fraktale
2. Unzureichende Beispiele:
   • Nur ein konkretes Beispiel (Example 1), hauptsächlich zur Veranschaulichung von Bedingungsbeziehungen
   • Fehlende Beispiele, die die praktische Berechnung des Spektrums intermediärer Dimensionen zeigen
   • Keine konkreten Instanzen unendlicher Systeme
3. Theoretische Einschränkungen:
   • Die geometrische Bedeutung der Bedingungen (1.11) und (1.13) ist nicht ausreichend intuitiv
   • Die Bedingungen (1)-(3) für unendliche Systeme sind zu technisch
   • Keine Diskussion der Notwendigkeit oder Optimalität der Bedingungen
4. Fehlende Anwendungsdiskussion:
   • Keine Diskussion der Anwendungen dieser Ergebnisse in dynamischen Systemen, Wahrscheinlichkeitstheorie oder anderen Bereichen
   • Fehlende Verbindung zu praktischen Problemen
5. Offene Fragen:
   • Das Papier listet offene Fragen nicht explizit auf
   • Weniger Diskussion über zukünftige Forschungsrichtungen

Bewertung der Auswirkungen

1. Theoretischer Beitrag:
   • Hohe Auswirkung: Bereitstellung eines systematischen Rahmens für die Dimensionstheorie nicht-autonomer Systeme
   • Schließung der Lücke in der Theorie intermediärer Dimensionen für nicht-autonome Systeme
   • Technische Methoden (besonders Subsystem-Approximation) können für andere Probleme inspirierend sein
2. Praktischer Wert:
   • Mittel: Hauptsächlich theoretische Ergebnisse, praktische Berechnung bleibt herausfordernd
   • Theoretische Anleitung zum Verständnis komplexer Fraktalstrukturen
   • Potenzielle Anwendungen in Fraktalbildkompression, Analyse dynamischer Systeme usw.
3. Reproduzierbarkeit:
   • Hoch: Alle Ergebnisse haben vollständige mathematische Beweise
   • Klare und explizite Bedingungen der Theoreme
   • Aber fehlende Algorithmen und Code für numerische Berechnungen
4. Nachfolgeforschung:
   • Erwartet wird, dass weitere Forschung zur Dimensionstheorie nicht-autonomer Systeme angeregt wird
   • Kann die Entwicklung der Theorie intermediärer Dimensionen fördern
   • Bietet Werkzeuge zur Untersuchung komplexerer Fraktalsysteme

Anwendungsszenarien

1. Direkte Anwendbarkeit:
   • Dimensionsberechnung nicht-autonomer Moran-Mengen
   • Nicht-autonome konforme Fraktale, die die Open Set Condition erfüllen
   • Verallgemeinerung schichtenweise konstruierter selbstähnlicher Mengen
2. Potenzielle Anwendungen:
   • Hyperbolische Mengen und Julia-Mengen in dynamischen Systemen
   • Zufällige Fraktale und zufällige iterierte Funktionssysteme
   • Multifraktale Analyse
   • Fraktal-Antennendesign und Bildkompression
3. Nicht anwendbar auf:
   • Überlappende Systeme, die die Open Set Condition nicht erfüllen
   • Mengen, die von nicht-kontraktiven Abbildungen erzeugt werden
   • Systeme, bei denen die Bedingungen (1.11) oder (1.13) stark verletzt sind

Referenzen (Schlüsselliteratur)

Das Papier zitiert 42 Referenzen, darunter die wichtigsten:

1. Falconer, Fraser, Kempton (2020): "Intermediate dimensions" - Originalarbeit zur Einführung intermediärer Dimensionen
2. Mauldin & Urbański (1996): "Dimensions and measures in infinite iterated function systems" - Klassische Arbeit zu unendlichen konformen IFS
3. Rempe-Gillen & Urbański (2016): "Non-autonomous conformal iterated function systems and Moran-set constructions" - Direkt verallgemeinerte Arbeit
4. Hua et al. (1994-2000): Serie von Arbeiten zur Dimensionstheorie von Moran-Mengen
5. Banaji & Fraser (2023): "Intermediate dimensions of infinitely generated attractors" - Intermediäre Dimensionen unendlich erzeugter Attraktoren

Gesamtbewertung: Dies ist ein hochqualitatives rein mathematisches Theoriewerk, das bedeutende Beiträge zur Dimensionstheorie nicht-autonomer iterierter Funktionssysteme leistet. Das Papier etabliert einen vollständigen theoretischen Rahmen, die Beweise sind streng und die technischen Innovationen sind signifikant. Die Hauptmängel liegen in der fehlenden Darstellung konkreter Berechnungsbeispiele und Anwendungsdiskussionen sowie in der unzureichenden geometrischen Intuitivität einiger Bedingungen. Diese Arbeit hat bedeutenden theoretischen Wert für die Bereiche fraktale Geometrie und dynamische Systeme und wird voraussichtlich großen akademischen Einfluss haben.