Measure theoretic properties of large products of consecutive partial quotients

Resumen Técnico de "Propiedades de la Teoría de la Medida de Productos Grandes de Cocientes Parciales Consecutivos"

Planteamiento del Problema
El artículo investiga las propiedades de la teoría de la medida y fractales de conjuntos de números irracionales definidos por el comportamiento de los productos de cocientes parciales consecutivos en sus expansiones de fracciones continuas regulares. Específicamente, para una función no decreciente $\phi: \mathbb{N} \to \mathbb{R}_{\ge 2}$ y un entero fijo $\ell \ge 1$, los autores estudian el conjunto $F_\ell(\phi)$ que consiste en números irracionales $x \in [0,1)$ tales que, para infinitos $n$, existen dos índices distintos $1 \le j < k \le n$ donde los productos de $\ell$ cocientes parciales consecutivos comenzando en $j$ y $k$ ambos exceden a $\phi(n)$:
$$a_j(x)\cdots a_{j+\ell-1}(x) \ge \phi(n) \quad \text{y} \quad a_k(x)\cdots a_{k+\ell-1}(x) \ge \phi(n).$$
Este problema extiende trabajos previos sobre cocientes parciales únicos ($E_1(\phi)$) y productos de dos cocientes consecutivos ($E_2(\phi)$), así como resultados recientes concernientes a la existencia de dos bloques grandes ($F_1(\phi)$ y $F_2(\phi)$). El desafío central abordado es determinar la medida de Lebesgue y la dimensión de Hausdorff de $F_\ell(\phi)$ para un $\ell \ge 2$ arbitrario, manejando particularmente las complejas interacciones derivadas de los bloques de cocientes parciales que se traslapan.

Metodología
Los autores emplean una combinación de teoría ergódica, dinámica de fracciones continuas y teoría analítica de números.

1. Análisis de la Medida de Lebesgue:

   • Caso de Convergencia: Para probar que $m(F_\ell(\phi)) = 0$ cuando una serie específica converge, los autores utilizan el Lema de Borel-Cantelli. Estiman la medida de los conjuntos donde la condición se cumple en el paso $n$ descomponiendo el problema en casos basados en la distancia entre los dos bloques de longitud $\ell$.
   • Caso de Divergencia: Para probar que $m(F_\ell(\phi)) = 1$ cuando la serie diverge, emplean la desigualdad de Chung-Erdős para establecer un límite inferior para la medida del conjunto limsup. Un paso crucial consiste en mostrar que el conjunto intersecta una gran porción de cada intervalo fundamental, lo que permite la aplicación del Lema de Knopp.
   • Herramienta Técnica Clave: La prueba depende fuertemente de nuevas estimaciones para series que involucran productos de cocientes parciales en bloques que se traslapan. El Teorema 3.4 proporciona cotas asintóticas para sumas de la 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}$ sujetas a restricciones de producto, lo cual da cuenta de la complejidad combinatoria de los traslapes de longitudes de $0$a$\ell-1$.

2. Análisis de la Dimensión de Hausdorff:

   • Los autores utilizan el formalismo termodinámico del mapa de Gauss $T$. La dimensión se caracteriza mediante la función de presión $P(T, \psi)$, donde el potencial $\psi$ depende de la tasa de crecimiento de $\phi$ (denotada como $B_\phi$) y el parámetro de dimensión $s$.
   • Límite Inferior: Se construye mediante la definición de un subconjunto tipo Cantor $S_\ell$ dentro de $F_\ell(\phi)$ con restricciones específicas sobre los cocientes parciales. Se aplica el Principio de Distribución de Masa, y la dimensión se maximiza sobre una familia de parámetros $(x,y)$ que representan la distribución de las tasas de crecimiento entre los bloques.
   • Límite Superior: Se establece mediante la construcción de cubiertas eficientes del conjunto $F_\ell(\phi)$. El conjunto se particiona en subconjuntos basados en la longitud del traslape entre los dos bloques de productos grandes (por ejemplo, sin traslape, traslape de longitud 1, etc.). Para cada subconjunto, los autores derivan límites superiores para la medida de Hausdorff de dimensión $s$ sumando los diámetros de los intervalos de cobertura elevados a la potencia $s$, utilizando estimaciones de la Lema 3.9 y el Lema 3.10.

Contribuciones Clave y Resultados

1. Generalización de los Resultados de la Medida de Lebesgue (Teorema 1.5):
   El artículo determina la medida de Lebesgue de $F_\ell(\phi)$ para cualquier $\ell \ge 2$. La medida es 0 o 1 dependiendo de la convergencia o divergencia de la 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).$$
   El primer término corresponde a bloques que no se traslapan, mientras que el segundo término da cuenta de los bloques que se traslapan. Esto generaliza el Teorema 1.3 ($\ell=1$) y el Teorema 1.4 ($\ell=2$).

2. Cómputo de la Dimensión de Hausdorff para $\ell=3$ (Teorema 1.10):
   Los autores computan explícitamente la dimensión de Hausdorff de $F_3(\phi)$. Para $1 < B_\phi < \infty$, la dimensión está dada por:
   $$\dim_H F_3(\phi) = \inf \{ s \ge 0 : P(T, -g(s)\log B_\phi - s \log |T'|) \le 0 \},$$
   donde $g(s) = \frac{3s^3 - 5s^2 + 4s - 1}{s^2 - s + 1}$. Este resultado extiende las fórmulas conocidas para $\ell=1$ y $\ell=2$.

3. Implicaciones para las Leyes Fuertes de los Grandes Números:
   Una consecuencia del resultado de la medida es que la ley fuerte de los grandes números para productos de $\ell$ cocientes parciales consecutivos falla incluso si se elimina el bloque con el producto más grande. Específicamente, para casi todo $x$, el límite superior de la suma normalizada (restando el término máximo) es infinito.

Significancia y Reivindicaciones
El artículo afirma que el Teorema 1.5 es un "paso crucial" hacia la extensión de las leyes de los grandes números para sumas de productos de cocientes parciales a un $\ell$ arbitrario. Los autores conjeturan que, con estas herramientas de la teoría de la medida, se puede probar que para casi todo $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}.$$
Los autores también señalan que las técnicas de prueba para el Teorema 1.10 parecen adaptables para computar $\dim_H F_\ell(\phi)$ para $\ell \ge 4$, aunque no proporcionan la fórmula recursiva explícita para el potencial en este artículo. El trabajo se presenta como un paso fundacional para entender el comportamiento estadístico de los productos grandes en las fracciones continuas, distinguiendo entre conjuntos nulos vía la dimensión de Hausdorff y estableciendo la imposibilidad de ciertas leyes fuertes de los grandes números.