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: