Sharp Hausdorff Dimension Bounds for Sets with Bounded and Growing Digits in $N$-expansions

1. Problema e Contesto

Il lavoro si inserisce nell'ambito della teoria metrica delle frazioni continue e della geometria frattale, focalizzandosi sulle N-espansioni (o N-frazioni continue). Le N-espansioni sono una generalizzazione delle frazioni continue regolari (caso $N=1$), introdotte da Burger et al. e sviluppate successivamente. Per ogni intero $N \ge 1$, ogni numero irrazionale $x \in (0, 1)$ ammette un'unica espansione della forma:
$$x = \frac{N}{\varepsilon_1 + \frac{N}{\varepsilon_2 + \frac{N}{\varepsilon_3 + \dots}}} = [\varepsilon_1, \varepsilon_2, \varepsilon_3, \dots]_N$$
dove le cifre $\varepsilon_n$ appartengono all'insieme $\mathbb{N}_N = \{N, N+1, N+2, \dots\}$.

L'obiettivo principale dello studio è determinare la dimensione di Hausdorff di sottoinsiemi eccezionali di numeri irrazionali in $(0, 1)$ definiti da restrizioni sulle loro cifre nell'espansione N. Nello specifico, gli autori analizzano due famiglie di insiemi:

1. Insiemi con cifre limitate: $E_M = \{x : N \le \varepsilon_n(x) \le M, \forall n\}$, dove le cifre sono uniformemente limitate da un intero $M \ge N$.
2. Insiemi con cifre crescenti:
   • $F_N = \{x : \varepsilon_n(x) \to \infty\}$ (le cifre tendono all'infinito).
   • $F_{\alpha, N} = \{x : \varepsilon_n(x) \ge \alpha, \forall n\}$ (le cifre sono uniformemente grandi, con $\alpha \ge N$).

Il lavoro mira a generalizzare risultati classici noti per le frazioni continue regolari (come i teoremi di Jarník e Good) al caso generico $N$, fornendo stime "sharp" (affilate) con dipendenza esplicita dal parametro $N$.

2. Metodologia

Gli autori adottano un approccio combinato che unisce la teoria delle frazioni continue generalizzate alla geometria frattale classica. La strategia di prova segue un schema ricorrente per entrambi i teoremi principali:

• Struttura Ricorsiva e Stime Metriche: Viene sfruttata la relazione di ricorrenza per i denominatori dei convergenti $q_n$:
  $$q_n = \varepsilon_n q_{n-1} + N q_{n-2}$$
  Vengono stabilite stime rigorose sulla crescita dei denominatori e sulla lunghezza degli intervalli fondamentali $I_n(\varepsilon_1, \dots, \varepsilon_n)$, che sono gli intervalli contenenti tutti i numeri con una data sequenza di cifre. La lunghezza esatta è data da:
  $$|I_n| = \frac{N^n}{q_n(q_n + q_{n-1})}$$
  Le stime mostrano come il parametro $N$ influenzi il tasso di contrazione degli intervalli e il rapporto tra intervalli consecutivi.

• Limiti Superiori (Argomenti di Copertura): Per dimostrare che la dimensione di Hausdorff è $\le s$, viene utilizzato un argomento di copertura. Si costruisce una copertura dell'insieme target utilizzando gli intervalli fondamentali di ordine $n$. Si dimostra che, sotto certe condizioni su $s$, la somma delle potenze $s$ delle lunghezze degli intervalli di ordine $n+1$ è minore o uguale alla somma delle potenze $s$ degli intervalli di ordine $n$. Questo implica che la misura di Hausdorff $s$-dimensionale è finita.

• Limiti Inferiori (Principio di Distribuzione di Massa): Per dimostrare che la dimensione è $\ge s$, viene applicato il Principio di Distribuzione di Massa (Mass Distribution Principle). Gli autori costruiscono una misura di probabilità $\mu$ sugli insiemi target distribuendo la massa sugli intervalli fondamentali in modo ricorsivo. La condizione chiave è verificare che la massa assegnata a un intervallo padre sia limitata superiormente dalla somma delle masse dei suoi figli, il che richiede stime precise sulle lunghezze degli intervalli e sulla somma delle serie associate alle cifre.

3. Risultati Chiave

Teorema 1.1: Insiemi con Cifre Limitate ($E_M$)

Per $M > 2N + 1$, gli autori stabiliscono nuovi limiti per la dimensione di Hausdorff di $E_M$, migliorando le stime di tipo Jarník:
$$1 - \frac{2(N+1)}{M+1} \frac{1}{\log(N+1)} \le \dim_H(E_M) \le 1 - \frac{N}{(M+1) \log\left(\frac{(M+1)^2}{N}\right)}$$

• Significato: Questi limiti generalizzano i risultati classici per $N=1$. Mostrano che la dimensione tende a 1 quando $M \to \infty$, con un tasso di convergenza che dipende esplicitamente da $N$. Il limite inferiore migliora le stime precedenti eliminando termini logaritmici nel denominatore del termine di correzione.

Teorema 1.2: Insiemi con Cifre Crescenti ($F_{\alpha, N}$ e $F_N$)

Per $\alpha$ sufficientemente grande (specificamente $\log(\alpha-1) > \exp(1+N)$), vengono ottenuti limiti asintotici precisi:
$$\frac{1}{2} + \frac{1}{2 \log(\alpha+2)} \le \dim_H(F_{\alpha, N}) \le \frac{1}{2} + \frac{\log \log(\alpha-1)}{2 \log(\alpha-1)}$$

• Conseguenza Principale: Il limite per $\alpha \to \infty$ è esattamente 1/2.
  $$\lim_{\alpha \to \infty} \dim_H(F_{\alpha, N}) = \frac{1}{2}$$
  Inoltre, viene dimostrato che per l'insieme $F_N$ (cifre che tendono all'infinito), la dimensione di Hausdorff è esattamente 1/2.
• Osservazione sul Parametro N: Sebbene il valore limite 1/2 sembri indipendente da $N$, il parametro $N$ influenza la velocità di convergenza e la validità delle disuguaglianze (attraverso condizioni come $\log(\alpha-1) > \exp(1+N)$). Quando $N=1$, i risultati si riducono esattamente ai teoremi classici di Good.

4. Contributi e Significato Scientifico

1. Generalizzazione delle Frazioni Continue: Il lavoro estende in modo rigoroso i risultati fondamentali di Jarník e Good dalle frazioni continue regolari ($N=1$) all'intera famiglia delle N-espansioni, rivelando come il parametro $N$ modifichi le proprietà dimensionali degli insiemi eccezionali.
2. Stime "Sharp" (Affilate): I limiti ottenuti non sono solo qualitativi ma quantitativamente precisi, catturando il comportamento asintotico corretto sia per $M \to \infty$ che per $\alpha \to \infty$. Le costanti sono esplicitamente espresse in funzione di $N$.
3. Metodologia Autocontenuta: A differenza di lavori recenti che utilizzano sistemi dinamici infiniti (IFS) per ottenere risultati simili (es. Jordan e Rams), questo studio fornisce una dimostrazione autonoma basata su tecniche classiche di copertura e distribuzione di massa, adattate specificamente alla struttura ricorsiva delle N-espansioni.
4. Impatto sulla Teoria Metrica: I risultati chiariscono la relazione tra la crescita delle cifre e la dimensione frattale, confermando che l'insieme dei numeri con cifre illimitate ha dimensione 1/2 indipendentemente da $N$, un risultato non banale data la dipendenza delle dinamiche da $N$.

5. Prospettive Future (Problemi Aperti)

Gli autori delineano diverse direzioni per ricerche future:

• Analisi Multifrattale: Studiare la dimensione di Hausdorff di insiemi definiti da tassi di crescita specifici delle cifre $\varepsilon_n \sim \psi(n)$.
• Approssimazione Diofantea: Analizzare la dimensione degli insiemi di numeri ben approssimabili ($|x - p_n/q_n| < q_n^{-\tau}$) nel contesto delle N-espansioni per $\tau > 2$.
• Formalismo Termodinamico: Applicare il formalismo termodinamico (formula di Bowen) al sistema dinamico generato dalla mappa $T_N$ per calcolare le dimensioni in modo più unificato.

In conclusione, il paper rappresenta un contributo significativo alla teoria metrica delle frazioni continue generalizzate, fornendo strumenti analitici precisi per comprendere la struttura frattale degli insiemi definiti da vincoli sulle cifre.