Dimensione di Hausdorff dell'approssimazione diofantina dinamica associata a sistemi ergodici mescolanti

Informazioni Fondamentali

• ID Articolo: 2502.13051
• Titolo: Hausdorff dimension of dynamical Diophantine approximation associated with ergodic mixing systems
• Autore: E. Daviaud (Università di Liegi)
• Classificazione: math.DS (Sistemi Dinamici), math.MG (Geometria Metrica)
• Data di Pubblicazione: Febbraio 2025 (preprint arXiv)
• Link Articolo: https://arxiv.org/abs/2502.13051

Riassunto

Il presente articolo studia la dimensione di Hausdorff dell'approssimazione diofantina dinamica associata a sistemi ergodici mescolanti. Nello specifico, quando la misura ergodica possiede dimensione esatta, si stabilisce una formula sotto la condizione di mescolamento polinomiale veloce del sistema; quando la misura non possiede dimensione esatta, si stabiliscono risultati analoghi sotto ipotesi di velocità di mescolamento superpolinomiale. Come applicazione, il presente articolo generalizza i risultati di Fan-Schmeling-Troubetzkoy riguardanti la mappa di raddoppiamento sul cerchio al caso della mappa (×2,×3) sul toro bidimensionale.

Contesto di Ricerca e Motivazione

Sfondo del Problema

1. Problema classico dell'approssimazione diofantina: Data una sequenza $(x_n)_{n\in\mathbb{N}} \subset \mathbb{R}^d$, lo studio della dimensione dell'insieme di punti che possono essere approssimati dalla sequenza con una velocità assegnata è un problema centrale nell'approssimazione diofantina, nei sistemi dinamici e nell'analisi multifrattalica.
2. Sviluppo storico:
   • Dirichlet e Khintchine hanno inizialmente studiato la dimensione di Hausdorff dell'insieme di approssimazione razionale $E_\psi = \{x \in [0,1] : |x-\frac{p}{q}| \leq \psi(q) \text{ i.o.}\}$
   • Beresnevich-Velani hanno provato che la stima $\dim_H E_\psi$ è equivalente alla validità della congettura di Duffin-Schaeffer
   • Koukoulopoulos-Maynard hanno recentemente provato tale congettura, stabilendo che $\dim_H E_\psi = \min\{1, s_\psi\}$
3. Problemi analoghi nei sistemi dinamici: Studio della dimensione del problema di approssimazione dell'orbita $(T^n(x))_{n\in\mathbb{N}}$ a un punto assegnato, dove:
   • Fan-Schmeling-Troubetzkoy hanno studiato il caso di mappe di Markov espandenti sul cerchio
   • Liao-Seuret hanno generalizzato i risultati a misure di Gibbs più generali
   • Persson ha studiato il caso di sistemi con mescolamento esponenziale

Motivazione della Ricerca

1. Completamento teorico: La congettura di Persson suggerisce che la dimensione di Hausdorff nel caso di sistemi dinamici dovrebbe coincidere con il caso di approssimazione casuale
2. Avanzamento tecnico: I risultati esistenti dipendono principalmente dalla conformità; il presente articolo mira a trattare il caso non conforme
3. Estensione dell'applicazione: Generalizzazione dei risultati unidimensionali a misure autoaffini su tappeti di Bedford-McMullen ad alta dimensione

Contributi Fondamentali

1. Stabilimento della teoria completa per sistemi Σ-mescolanti: Per misure di dimensione esatta, si fornisce una formula esatta per la dimensione di Hausdorff dell'insieme di approssimazione dinamica sotto condizioni di mescolamento Σ
2. Prova della formula di dimensione nel caso di mescolamento superpolinomiale: Per $\delta \geq \frac{1}{\dim_H \mu}$, si prova che $\dim_H \{y : \|T^n(x) - y\|_\infty \leq \frac{1}{n^\delta} \text{ i.o.}\} = \frac{1}{\delta}$
3. Generalizzazione dei risultati di Fan-Schmeling-Troubetzkoy: Estensione dei risultati della mappa ×2 sul cerchio al caso della mappa (×2,×3) sul toro
4. Fornitura di risultati di ottimalità: Costruzione di controesempi che dimostrano la necessità della condizione di mescolamento superpolinomiale
5. Sviluppo del principio di trasferimento di massa per misure finite: Stabilimento di strumenti tecnici applicabili a misure non Ahlfors-regolari

Spiegazione Dettagliata dei Metodi

Definizione del Compito

Studio della dimensione di Hausdorff dell'insieme di approssimazione dinamica: $E(x,r) = \{y : \|y - T^n(x)\|_\infty \leq r_n \text{ i.o.}\}$ dove $(r_n)_{n\in\mathbb{N}}$ è una sequenza decrescente di raggi.

Quadro Tecnico Fondamentale

1. Definizione delle Proprietà di Mescolamento

Definizione 2.4: Sia $(T,\mu)$ un sistema ergodico su $\mathbb{R}^d$ e $\varphi: \mathbb{N} \to \mathbb{R}_+$ una funzione non crescente. Si dice che $(T,\mu)$ è $\varphi$-mescolante rispetto a $(C_1, C_2, \gamma)$ se per $A \in C_1$ e $B \in C_2$ vale: $\mu(A \cap T^{-n}(B)) \leq \gamma\mu(A) \times \mu(B) + \varphi(n)\mu(B)$

Si dice Σ-mescolante quando $\sum_{n\geq 1} \varphi(n) < +\infty$.

2. Enunciato dei Teoremi Principali

Teorema 3.2 (Caso Σ-mescolante): Sia $(T,\mu)$ un sistema ergodico Σ-mescolante con $\mu$ di dimensione esatta. Per una sequenza non crescente $r = (r_n)_{n\in\mathbb{N}}$ soddisfacente $s_r := \inf\{s : \sum_{n\geq 1} r_n^s < +\infty\} \leq \dim \mu$ allora per $\mu$-quasi ogni $x$, si ha $\dim_H E(x,r) = s_r$.

Teorema 3.4 (Caso di mescolamento superpolinomiale): Sia $(T,\mu)$ un sistema ergodico con mescolamento superpolinomiale e $\dim_H \mu > 0$. Per ogni $\delta \geq \frac{1}{\dim_H \mu}$, per $\mu$-quasi ogni $x$ vale: $\dim_H \{y : \|T^n(x) - y\|_\infty \leq \frac{1}{n^\delta} \text{ i.o.}\} = \frac{1}{\delta}$

Punti di Innovazione Tecnica

1. Lemma di Borel-Cantelli Dinamico

Lemma 6.5: Si stabilisce la versione dinamica del lemma di Borel-Cantelli per sistemi Σ-mescolanti, provando che: $\sum_{n\geq 1} \mu(B(y,\ell_n)) = +\infty \Leftrightarrow \mu(\limsup_{n\to\infty} T^{-n}(B(y,\ell_n))) = 1$

2. Stima Esatta dei Tempi di Colpimento

Proposizione 2.2: Per sistemi Σ-mescolanti, si prova che il tempo di colpimento $\tau_r(x,y)$ soddisfa: $\lim_{r\to 0^+} \frac{\log \tau_r(x,y)}{\log \mu(B(y,r))} = 1$

3. Principio di Trasferimento di Massa per Misure Finite

Teorema 6.1: Generalizzazione del principio classico di trasferimento di massa al caso di misure finite, utilizzando il contenuto di Hausdorff essenziale rispetto a $\mu$: $H_{\mu,s}^\infty(A) = \inf\{H_s^\infty(E) : E \subset A, \mu(E) = \mu(A)\}$

Configurazione Sperimentale

Verifica Teorica

Il presente articolo è principalmente un lavoro teorico, verificato attraverso:

1. Confronto con risultati noti: Recupero dei risultati di Fan-Schmeling-Troubetzkoy e altri in casi particolari
2. Costruzione di ottimalità: Costruzione di controesempi in articoli correlati che dimostrano la necessità delle condizioni di mescolamento
3. Istanze di applicazione: Applicazione dei risultati a misure autoaffini su tappeti di Bedford-McMullen

Applicazione ai Tappeti di Bedford-McMullen

Proposizione 3.10: Si prova che la misura autoaffine $\mu$ associata al tappeto $(m,n)$-Bedford-McMullen soddisfa la proprietà di mescolamento Σ: $\mu(T^{-n}(B) \cap A) \leq \mu(A)\mu(B) + C\tau^n\mu(B)$ dove $C > 0$ e $\tau < 1$.

Risultati Sperimentali

Risultati Principali

1. Caratterizzazione Completa nel Caso di Dimensione Esatta

Per misure di dimensione esatta e sistemi Σ-mescolanti, si stabilisce una teoria completa della dimensione di Hausdorff dell'insieme di approssimazione dinamica, generalizzando completamente i risultati del caso casuale all'impostazione dinamica.

2. Condizioni Sufficienti per il Mescolamento Superpolinomiale

Si prova che quando $\delta \geq \frac{1}{\dim_H \mu}$, la condizione di mescolamento superpolinomiale è sufficiente a garantire la formula di dimensione $\frac{1}{\delta}$, confermando la congettura di Persson.

3. Applicazione ai Tappeti di Bedford-McMullen

Corollario 3.12: Per la misura autoaffine $\mu$ su un tappeto $(m,n)$-Bedford-McMullen, sotto ipotesi di regolarità multifrattalica, vale: $\dim_H \{y : \|T_{m,n}^k(x) - y\|_\infty \leq \frac{1}{k^\delta} \text{ i.o.}\} = \begin{cases} \frac{1}{\delta} & \text{se } \delta \geq \frac{1}{\dim(\mu)} \\ D_\mu(\frac{1}{\delta}) & \text{se } \frac{1}{h_0} \leq \delta \leq \frac{1}{\dim(\mu)} \\ \dim_H K & \text{se } \delta \leq \frac{1}{h_0} \end{cases}$

Risultati di Ottimalità

In articoli correlati si costruiscono sistemi $n \mapsto n^{-s}$-mescolanti ($0 < s < 1$), provando che per alcuni $\theta > \frac{1}{3}$: $\dim_H \{y \in \mathbb{T}^3 : \|y - T^n(x)\|_\infty \leq \frac{1}{n^\theta} \text{ i.o.}\} < 3$ il che dimostra che la condizione di mescolamento superpolinomiale è ottimale.

Lavori Correlati

Approssimazione Diofantina Classica

1. Teoria di Khintchine-Jarnik: Stabilimento delle fondamenta della teoria della dimensione per insiemi di approssimazione razionale
2. Congettura di Duffin-Schaeffer: Prova rivoluzionaria di Koukoulopoulos-Maynard

Problemi di Approssimazione nei Sistemi Dinamici

1. Fan-Schmeling-Troubetzkoy (2013): Studio del caso di mappe di Markov espandenti sul cerchio dotate di misure di Gibbs
2. Liao-Seuret (2013): Generalizzazione a mappe di Markov espandenti più generali
3. Persson (2019): Studio di sistemi con mescolamento esponenziale, proposizione della congettura sulla dimensione

Teoria dell'Approssimazione Casuale

1. Järvenpää et al. (2024): Stabilimento della teoria completa per l'approssimazione di sequenze i.i.d. casuali
2. Ekström-Persson (2018): Sviluppo della teoria della dimensione per insiemi limsup casuali

Conclusioni e Discussione

Conclusioni Principali

1. Risoluzione completa della congettura di Persson: Sotto appropriate condizioni di mescolamento, la dimensione dell'approssimazione dinamica coincide effettivamente con il caso casuale
2. Stabilimento della teoria nel caso non conforme: Superamento dei limiti precedenti dipendenti dalla conformità
3. Fornitura delle condizioni di mescolamento ottimali: Il mescolamento Σ è sufficiente per il caso di dimensione esatta, il mescolamento superpolinomiale è necessario per il caso generale

Contributi Tecnici

1. Sviluppo di nuove tecniche di trasferimento di massa: Applicabili a misure non Ahlfors-regolari
2. Stabilimento di stime esatte dei tempi di colpimento: Generalizzazione dei risultati di Galatolo
3. Costruzione di controesempi: Dimostrazione dell'ottimalità delle condizioni di mescolamento

Limitazioni

1. Ipotesi nella parte multifrattalica: La regolarità multifrattalica per i tappeti di Bedford-McMullen rimane una congettura
2. Complessità tecnica: Le tecniche di prova sono più complesse rispetto al caso casuale
3. Ambito di applicazione: Principalmente applicabile a sistemi con mescolamento sufficientemente veloce

Direzioni Future

1. Verifica della regolarità multifrattalica: Per misure autoaffini su tappeti di Bedford-McMullen
2. Estensione a sistemi più generali: Studio di sistemi con mescolamento più lento
3. Sviluppo di metodi della teoria del potenziale: Stabilimento di strumenti della teoria del potenziale applicabili all'impostazione dinamica

Valutazione Approfondita

Punti di Forza

1. Completezza teorica: Prima risoluzione completa del problema della dimensione di approssimazione nell'impostazione dinamica
2. Innovazione tecnica: Sviluppo di molteplici nuovi strumenti tecnici, in particolare il principio di trasferimento di massa per misure finite
3. Valore applicativo: Applicazione riuscita a esempi geometrici importanti (tappeti di Bedford-McMullen)
4. Ottimalità: Dimostrazione attraverso controesempi dell'ottimalità dei risultati

Insufficienze

1. Complessità della prova: Le prove tecniche sono piuttosto complesse, con leggibilità da migliorare
2. Condizioni di ipotesi: Alcune applicazioni richiedono ipotesi tecniche aggiuntive (come la regolarità multifrattalica)
3. Complessità computazionale: Il calcolo effettivo della velocità di mescolamento potrebbe risultare difficile

Impatto

1. Contributo teorico: Risoluzione di un importante problema aperto nel campo, avanzamento della teoria dell'approssimazione diofantina dinamica
2. Valore metodologico: Gli strumenti tecnici sviluppati potrebbero trovare applicazione in altri problemi
3. Applicazione geometrica: Fornitura di nuovi strumenti per problemi di dimensione nella geometria frattale

Scenari di Applicabilità

1. Sistemi dinamici con mescolamento veloce: In particolare sistemi Σ-mescolanti o con mescolamento superpolinomiale
2. Frattali autoaffini: Oggetti geometrici come i tappeti di Bedford-McMullen
3. Analisi multifrattalica: Problemi correlati alla dimensione locale

Bibliografia

Il presente articolo cita 35 importanti riferimenti, coprendo lavori fondamentali in molteplici campi quali approssimazione diofantina, sistemi dinamici e geometria frattale, in particolare:

• Lavoro rivoluzionario di Koukoulopoulos-Maynard sulla congettura di Duffin-Schaeffer
• Ricerca fondamentale di Fan-Schmeling-Troubetzkoy
• Risultati recenti di Järvenpää et al. sull'approssimazione casuale
• Letteratura classica in geometria frattale e analisi multifrattalica