2025-11-11T09:46:09.378063

Finite random iterated function systems do not always satisfy Bowen's formula

Arima
In this paper, we provide a finite random iterated function system satisfying the open set condition, for which the random version of Bowen's formula fails to hold. This counterexample shows that analogous results established for random recursive constructions are not always obtained for random iterated function systems.
academic

I sistemi di funzioni iterate casuali finiti non sempre soddisfano la formula di Bowen

Informazioni Fondamentali

  • ID Articolo: 2509.02070
  • Titolo: I sistemi di funzioni iterate casuali finiti non sempre soddisfano la formula di Bowen
  • Autore: Yuya Arima (Dipartimento di Matematica, Università di Nagoya)
  • Classificazione: math.DS (Sistemi Dinamici)
  • Data di Pubblicazione: 6 novembre 2025 (preprint arXiv)
  • Link Articolo: https://arxiv.org/abs/2509.02070

Riassunto

Questo articolo costruisce un sistema di funzioni iterate casuali finito che soddisfa la condizione dell'insieme aperto, dimostrando che la versione casuale della formula di Bowen non è sempre valida. Questo controesempio rivela che i risultati analoghi stabiliti per costruzioni ricorsive casuali non si applicano necessariamente ai sistemi di funzioni iterate casuali.

Contesto e Motivazione della Ricerca

Contesto del Problema

  1. Significato dello studio degli insiemi frattali casuali: Gli insiemi frattali casuali, in quanto modelli più vicini ai fenomeni naturali rispetto agli insiemi frattali generati da sistemi di funzioni iterate deterministici, rivestono un'importanza fondamentale in matematica e fisica.
  2. Due principali metodi di costruzione casuale:
    • Sistemi di funzioni iterate casuali (RIFSs): Selezione uniforme dell'IFS a ogni livello
    • Costruzioni ricorsive casuali: Selezione indipendente dell'IFS per ogni stringa finita, con maggiore indipendenza stocastica
  3. Limitazioni della teoria esistente: Sebbene siano noti i risultati della teoria dimensionale per costruzioni ricorsive casuali, rimane incerto se gli stessi risultati valgono sempre per gli RIFSs.

Motivazione della Ricerca

Questo articolo mira a esplorare le differenze fondamentali tra RIFSs e costruzioni ricorsive casuali, in particolare nella teoria della dimensione frattale. L'autore scopre che, sebbene i due approcci producano risultati simili in molti casi, emergono differenze significative in situazioni particolari.

Contributi Principali

  1. Costruzione di un controesempio cruciale: Fornisce un sistema di funzioni iterate casuale finito che soddisfa la condizione dell'insieme aperto, per il quale la versione casuale della formula di Bowen fallisce
  2. Rivelazione delle differenze teoriche: Dimostra che i risultati delle costruzioni ricorsive casuali non possono essere direttamente generalizzati ai sistemi di funzioni iterate casuali
  3. Dimostrazione matematica rigorosa: Fornisce un argomento matematico completo combinando la teoria delle frazioni continue e la teoria ergodica
  4. Chiarimento dei confini teorici: Definisce chiaramente l'ambito di applicabilità e le limitazioni della teoria degli RIFSs

Spiegazione Dettagliata dei Metodi

Definizione del Compito

Costruire un sistema di funzioni iterate casuale finito (p⃗,Ψ)(p⃗,Ψ) tale che per PP-quasi tutti gli ω∈Ωω ∈ Ω: dim⁡H(J(Ψ(ω)))<B(Ψ)\dim_H(J(Ψ(ω))) < B(Ψ) dove B(Ψ)B(Ψ) è il parametro di Bowen.

Struttura della Costruzione

1. Configurazione di Base

  • Sia X=[0,1]dX = [0,1]^d, definire le mappe affini di similitudine: φi(x)=12x+12vi,vi=∑ℓ=1diℓeℓφ_i(x) = \frac{1}{2}x + \frac{1}{2}v_i, \quad v_i = \sum_{ℓ=1}^d i_ℓe_ℓ
  • Definire gli insiemi di indici:
    • I1:={0}dI_1 := \{0\}^d (insieme di un singolo punto)
    • I2d:={0,1}dI_{2^d} := \{0,1\}^d (insieme di tutti i vertici)

2. Definizione del Quadro

Introdurre il concetto di "quadro" F=({Un}n∈N,{Vn}n∈N)F = (\{U_n\}_{n∈ℕ}, \{V_n\}_{n∈ℕ}), soddisfacente:

  • (F1)(F1): 1≤U11 ≤ U_1
  • (F2)(F2): nUn≤VnnU_n ≤ V_n e (Un+Vn)3≤Un+1(U_n + V_n)^3 ≤ U_{n+1}

3. Costruzione dell'IFS

Per ogni i∈Ni ∈ ℕ, definire: I(i):=I1Ui×I2dViI^{(i)} := I_1^{U_i} × I_{2^d}^{V_i}

Ogni ψτ(i)ψ_τ^{(i)} è una composizione di Ui+ViU_i + V_i mappe.

Scelta del Vettore di Probabilità

Scegliere il vettore di probabilità: pn=1Cn2,C=∑n=1∞1n2p_n = \frac{1}{Cn^2}, \quad C = \sum_{n=1}^∞ \frac{1}{n^2}

Questa scelta riecheggia i risultati classici della teoria delle frazioni continue.

Punti di Innovazione Tecnica

1. Applicazione della Teoria delle Frazioni Continue

Utilizzo delle proprietà probabilistiche dell'espansione in frazioni continue, in particolare la generalizzazione del teorema di Khinchin, per stabilire il collegamento tra sequenze casuali e tassi di crescita dei coefficienti di frazioni continue.

2. Uso Ingegnoso della Teoria Ergodica

Analisi del comportamento limite tramite il teorema ergodico di Birkhoff:

∞ & \text{se } t < d \\ -∞ & \text{se } t ≥ d \end{cases}$$ ### 3. Analisi Raffinata della Stima Dimensionale Attraverso la teoria dimensionale degli IFS conformi non autonomi, si dimostra che la dimensione di Hausdorff è 0, formando un contrasto marcato con il parametro di Bowen $d$. ## Risultati Principali ### Teorema 1.1 (Risultato Principale) Esiste un sistema di funzioni iterate casuale finito $(p⃗,Ψ)$ tale che per $P$-quasi tutti gli $ω ∈ Ω$: $$\dim_H(J(Ψ(ω))) < B(Ψ)$$ ### Proposizione 2.2 (Calcolo del Parametro di Bowen) Per il sistema costruito, $B(Ψ) = d$. ### Proposizione 2.4 (Risultato Dimensionale) Per $P$-quasi tutti gli $ω ∈ Ω$, $\dim_H(J(Ψ(ω))) = 0$. ## Strategia di Dimostrazione ### Primo Passo: Analisi del Parametro di Bowen Dimostrazione diretta che: $$E_{i∈ℕ}\left[\log \sum_{j∈I^{(i)}} (c_j^{(i)})^t\right] = \begin{cases} ∞ & \text{se } t < d \\ -∞ & \text{se } t ≥ d \end{cases}$$ ### Secondo Passo: Proprietà delle Frazioni Continue Utilizzo della corrispondenza tra il vettore di probabilità $p_n = 1/(Cn^2)$ e la distribuzione dei coefficienti di frazioni continue per costruire sequenze casuali con proprietà di crescita speciali. ### Terzo Passo: Stima del Limite Superiore Dimensionale Attraverso la formula dimensionale per sistemi non autonomi: $$\dim_H(J(Φ_ω)) ≤ \inf\{t ≥ 0: P(t) < 0\}$$ dove $P(t) = \liminf_{n→∞} \frac{1}{n} \log \sum_{τ̃∈Σ̃_ω^n} c_{τ̃}^t$ ## Lavori Correlati ### Teoria delle Costruzioni Ricorsive Casuali Mauldin-Williams (1986) hanno dimostrato che per costruzioni ricorsive casuali, la dimensione di Hausdorff è quasi certamente uguale a: $$\inf\left\{t ≥ 0: \log \sum_{i∈ℕ} p_i \sum_{j∈I^{(i)}} (c_j^{(i)})^t ≤ 0\right\}$$ ### Risultati Noti degli RIFSs Roy-Urbański (2011) e Rempe-Gillen-Urbański (2016) hanno dimostrato la validità della formula di Bowen per gli RIFSs sotto condizioni specifiche. ### Il Progresso di Questo Articolo Questo articolo dimostra per la prima volta la necessità di queste condizioni, rivelando le limitazioni essenziali della teoria degli RIFSs. ## Conclusioni e Discussione ### Conclusioni Principali 1. **Chiarimento dei confini teorici**: Gli RIFSs non sempre soddisfano la formula di Bowen, con differenze essenziali dalle costruzioni ricorsive casuali 2. **Efficacia del metodo di costruzione**: Attraverso un design di distribuzione probabilistica ingegnoso e costruzione di quadri, si riesce a separare con successo due concetti di casualità 3. **Perfezionamento della teoria dimensionale**: Fornisce una comprensione più precisa della teoria dimensionale dei frattali casuali ### Significato Teorico I risultati di questo articolo indicano che l'"intensità" della casualità ha un effetto fondamentale sulla dimensione frattale. La selezione indipendente in ogni posizione nelle costruzioni ricorsive casuali, rispetto alla selezione uniforme per livello negli RIFSs, produce proprietà geometriche essenzialmente diverse. ### Limitazioni 1. **Specificità della costruzione**: Il controesempio dipende da una distribuzione probabilistica e una configurazione geometrica particolari 2. **Estremalità della dimensione zero**: La dimensione dell'insieme limite costruito è 0, il che potrebbe non essere sufficientemente generale 3. **Casi ad alta dimensione**: La teoria rimane incompleta per i casi di dimensione generale ### Direzioni Future 1. **Ricerca di condizioni generali**: Determinare le condizioni necessarie e sufficienti affinché gli RIFSs soddisfino la formula di Bowen 2. **Casi di dimensione intermedia**: Costruire esempi con dimensione tra 0 e il parametro di Bowen 3. **Estensione delle applicazioni**: Generalizzare i risultati a sistemi dinamici casuali più generali ## Valutazione Approfondita ### Punti di Forza 1. **Contributo teorico significativo**: Rivela per la prima volta le differenze essenziali tra due importanti metodi di costruzione casuale 2. **Tecniche sofisticate**: Combina abilmente la teoria della probabilità, la teoria ergodica e la geometria frattale 3. **Dimostrazione rigorosa e completa**: L'argomento matematico è logicamente chiaro e i dettagli tecnici sono ben gestiti 4. **Formulazione profonda del problema**: Affronta le questioni teoriche fondamentali del settore ### Carenze 1. **Specificità del controesempio**: La costruzione dipende da scelte parametriche specifiche, con generalità ancora da rafforzare 2. **Intuizione geometrica insufficiente**: La spiegazione geometrica del perché emerga questa differenza non è sufficientemente sviluppata 3. **Prospettive applicative poco chiare**: Il valore pratico dei risultati teorici richiede ulteriore esplorazione ### Impatto 1. **Valore teorico**: Fornisce un controesempio importante e nuove direzioni di ricerca per la teoria dei frattali casuali 2. **Contributo metodologico**: Dimostra il potenziale di applicazione della teoria delle frazioni continue nei frattali casuali 3. **Avanzamento del settore**: Promuove lo sviluppo della teoria degli RIFSs verso risultati più precisi e completi ### Scenari Applicabili I metodi e i risultati di questo articolo sono applicabili a: 1. Ricerca teorica nella geometria frattale casuale 2. Analisi dimensionale di sistemi dinamici casuali 3. Ricerca interdisciplinare tra teoria della probabilità e geometria frattale 4. Fondamenti teorici di modelli frattali casuali nei fenomeni naturali ## Bibliografia L'articolo cita importanti lavori nel settore, tra cui: - Mauldin & Williams (1986): Lavoro fondamentale sulle costruzioni ricorsive casuali - Roy & Urbański (2011): Sistemi di Markov diretti casuali - Rempe-Gillen & Urbański (2016): Teoria degli IFS conformi non autonomi - Khinchin (1964): Testo classico sulla teoria delle frazioni continue Questo articolo fornisce un contributo importante alla teoria dei frattali casuali, non solo risolvendo un importante problema teorico, ma fornendo anche nuove direzioni di ricerca e strumenti tecnici per lo sviluppo futuro del settore.