Measure theoretic properties of large products of consecutive partial quotients

Sintesi Tecnica di "Proprietà Misurabili di Grandi Prodotti di Quozienti Parziali Consecutivi"

Enunciato del Problema
Il saggio investiga le proprietà di misura e frattali degli insiemi di numeri irrazionali definiti dal comportamento dei prodotti di quozienti parziali consecutivi nelle loro espansioni in frazioni continue regolari. Nello specifico, per una funzione non decrescente $\phi: \mathbb{N} \to \mathbb{R}_{\ge 2}$ e un intero fissato $\ell \ge 1$, l'autore studia l'insieme $F_\ell(\phi)$ costituito dai numeri irrazionali $x \in [0,1)$ tali che, per infiniti $n$, esistano due indici distinti $1 \le j < k \le n$ dove i prodotti di $\ell$ quozienti parziali consecutivi partendo da $j$ e $k$ superano entrambi $\phi(n)$:
$$a_j(x)\cdots a_{j+\ell-1}(x) \ge \phi(n) \quad \text{e} \quad a_k(x)\cdots a_{k+\ell-1}(x) \ge \phi(n).$$
Questo problema estende il lavoro precedente sui singoli quozienti parziali ($E_1(\phi)$) e sui prodotti di due quozienti consecutivi ($E_2(\phi)$), nonché i recenti risultati riguardanti l'esistenza di due grandi blocchi ($F_1(\phi)$ e $F_2(\phi)$). La sfida centrale affrontata è determinare la misura di Lebesgue e la dimensione di Hausdorff di $F_\ell(\phi)$ per arbitrari $\ell \ge 2$, gestendo le complesse interazioni derivanti da blocchi sovrapposti di quozienti parziali.

Metodologia
Gli autori impiegano una combinazione di teoria ergodica, dinamica delle frazioni continue e teoria analitica dei numeri.

1. Analisi della Misura di Lebesgue:

   • Caso di Convergenza: Per dimostrare che $m(F_\ell(\phi)) = 0$ quando una specifica serie converge, gli autori utilizzano il Lemma di Borel-Cantelli. Stimano la misura degli insiemi in cui la condizione si verifica al passo $n$ scomponendo il problema in casi basati sulla distanza tra i due blocchi di lunghezza $\ell$.
   • Caso di Divergenza: Per dimostrare che $m(F_\ell(\phi)) = 1$ quando la serie diverge, impiegano la disuguaglianza di Chung-Erdős per stabilire un limite inferiore per la misura dell'insieme limsup. Un passaggio cruciale consiste nello mostrare che l'insieme interseca una vasta porzione di ogni intervallo fondamentale, permettendo l'applicazione del Lemma di Knopp.
   • Strumento Tecnico Chiave: La dimostrazione si basa pesantemente su nuove stime per serie coinvolgenti prodotti di quozienti parziali in blocchi sovrapposti. Il Teorema 3.4 fornisce limiti asintotici per somme della forma $\sum \frac{1}{a_1^2 \cdots a_r^2 b_1^2 \cdots b_j^2 c_1^2 \cdots c_r^2}$ soggetti a vincoli di prodotto, il che tiene conto della complessità combinatoria delle sovrapposizioni di lunghezze da $0$a$\ell-1$.

2. Analisi della Dimensione di Hausdorff:

   • Gli autori utilizzano il formalismo termodinamico della mappa di Gauss $T$. La dimensione è caratterizzata tramite la funzione di pressione $P(T, \psi)$, dove il potenziale $\psi$ dipende dal tasso di crescita di $\phi$ (indicato con $B_\phi$) e dal parametro di dimensione $s$.
   • Limite Inferiore: Costruito definendo un sottoinsieme di tipo Cantor $S_\ell$ all'interno di $F_\ell(\phi)$ con vincoli specifici sui quozienti parziali. Si applica il Principio della Distribuzione della Massa, e la dimensione è massimizzata su una famiglia di parametri $(x,y)$ che rappresentano la distribuzione dei tassi di crescita tra i blocchi.
   • Limite Superiore: Stabilito costruendo coperture efficienti dell'insieme $F_\ell(\phi)$. L'insieme è partizionato in sottoinsiemi basati sulla lunghezza della sovrapposizione tra i due blocchi di prodotto grandi (ad esempio, nessuna sovrapposizione, sovrapposizione di lunghezza 1, ecc.). Per ogni sottoinsieme, gli autori derivano limiti superiori sulla misura di Hausdorff $s$-dimensionale sommando i diametri degli intervalli di copertura elevati alla potenza $s$, utilizzando le stime derivanti dal Lemma 3.9 e dal Lemma 3.10.

Contributi Chiave e Risultati

1. Generalizzazione dei Risultati sulla Misura di Lebesgue (Teorema 1.5):
   Il saggio determina la misura di Lebesgue di $F_\ell(\phi)$ per ogni $\ell \ge 2$. La misura è 0 o 1 a seconda della convergenza o divergenza della serie:
   $$\sum_{n=1}^\infty \left( \frac{n \log^{2(\ell-1)} \phi(n)}{\phi^2(n)} + \frac{\log^{\ell-2} \phi(n)}{\phi(n)} \right).$$
   Il primo termine corrisponde a blocchi non sovrapposti, mentre il secondo termine tiene conto dei blocchi sovrapposti. Questo generalizza il Teorema 1.3 ($\ell=1$) e il Teorema 1.4 ($\ell=2$).

2. Calcolo della Dimensione di Hausdorff per $\ell=3$ (Teorema 1.10):
   Gli autori calcolano esplicitamente la dimensione di Hausdorff di $F_3(\phi)$. Per $1 < B_\phi < \infty$, la dimensione è data da:
   $$\dim_H F_3(\phi) = \inf \{ s \ge 0 : P(T, -g(s)\log B_\phi - s \log |T'|) \le 0 \},$$
   dove $g(s) = \frac{3s^3 - 5s^2 + 4s - 1}{s^2 - s + 1}$. Questo risultato estende le formule note per $\ell=1$ e $\ell=2$.

3. Implicazioni per le Leggi Forti dei Grandi Numeri:
   Una conseguenza del risultato sulla misura è che la legge forte dei grandi numeri per i prodotti di $\ell$ quozienti parziali consecutivi fallisce anche se il blocco con il prodotto più grande viene rimosso. Nello specifico, per quasi ogni $x$, il limite superiore della somma normalizzata (meno il termine massimo) è infinito.

Significatività e Rivendicazioni
Il saggio afferma che il Teorema 1.5 è un "passaggio cruciale" verso l'estensione delle leggi dei grandi numeri per le somme di prodotti di quozienti parziali a un $\ell$ arbitrario. Gli autori congetturano che, con questi strumenti di misura, sia possibile dimostrare che per quasi tutti gli $x$:
$$\lim_{n \to \infty} \frac{1}{n \log^\ell n} \left( \sum_{j=1}^n a_j(x)\cdots a_{j+\ell-1}(x) - \max_{1 \le k \le n} a_k(x)\cdots a_{k+\ell-1}(x) \right) = \frac{1}{\ell \log 2}.$$
Gli autori notano inoltre che le tecniche di dimostrazione del Teorema 1.10 sembrano adattabili per calcolare $\dim_H F_\ell(\phi)$ per $\ell \ge 4$, sebbene non forniscano la formula ricorsiva esplicita per il potenziale in questo saggio. Il lavoro è presentato come un passo fondamentale per comprendere il comportamento statistico dei grandi prodotti nelle frazioni continue, distinguendo gli insiemi nulli tramite la dimensione di Hausdorff ed stabilendo l'impossibilità di certe leggi forti dei grandi numeri.