Resumen Técnico: Dimensión de Fourier en la Conjetura de Duffin–Schaeffer

1. Planteamiento del Problema

El artículo aborda un problema central en la teoría métrica de la aproximación diofántica: determinar la dimensión de Fourier de conjuntos de números reales que son "bien aproximables" bajo condiciones aritméticas específicas.

Contexto y Definiciones

Sea $\psi: \mathbb{N} \to [0, 1/2)$ una función positiva y $\theta: \mathbb{N} \to \mathbb{R}$ una función de valor real. Se consideran secuencias de enteros $\{A_q\}$ y $\{B_q\}$ tales que $\gcd(A_q, B_q) = 1$ y $B_q > 0$.

Se define el conjunto $W^*(\psi, \theta)$ como el conjunto de $x \in [0, 1]$ para los cuales la siguiente desigualdad se cumple para infinitos pares $(p, q) \in \mathbb{Z} \times \mathbb{N}$:
$$\left| x - \frac{p + \theta(q)}{q} \right| < \frac{\psi(q)}{q}$$
sujeto a la condición de coprimos generalizada:
$$\gcd(B_q p + A_q, q) = 1$$

Este conjunto es una variante inhomogénea y aritméticamente restringida del conjunto clásico de aproximación diofántica. El objetivo es calcular su dimensión de Fourier ($\dim_F$), definida como el supremo de los $s$ para los cuales existe una medida de probabilidad de Borel $\nu$ soportada en el conjunto tal que su transformada de Fourier decae como $|\hat{\nu}(\xi)| \ll (1+|\xi|)^{-s/2}$.

Motivación

• Limitaciones de resultados previos: Resultados clásicos de Kaufman y Bluhm establecieron la dimensión de Fourier para el caso homogéneo ($\theta=0$) y funciones de potencia $\psi(q)=q^{-\tau}$, pero sus pruebas dependían esencialmente de la restricción a coprimos estándar ($\gcd(p,q)=1$).
• Conjetura de Chen y Xiong: Recientemente, Chen y Xiong resolvieron el caso homogéneo general, pero la conjetura sobre la validez de la fórmula de dimensión en el caso inhomogéneo ($\theta \in \mathbb{R} \setminus \mathbb{Q}$) permanecía abierta.
• Brecha en la literatura: No existía una caracterización completa de la dimensión de Fourier para funciones de aproximación generales bajo condiciones de coprimos tipo Duffin–Schaeffer en el caso inhomogéneo.

2. Metodología

Los autores emplean un enfoque que combina análisis armónico, teoría de números analítica y construcción de medidas fractales. La prueba se divide en dos proposiciones principales para establecer cotas superior e inferior.

A. Cota Superior (Proposición 2.1)

Se utiliza el Lema de Borel–Cantelli y propiedades de la transformada de Fourier.

1. Se asume por contradicción que la dimensión de Fourier es mayor que $2s(\psi)$.
2. Se asume la existencia de una medida $\nu$ con decaimiento de Fourier rápido ($|\hat{\nu}(\xi)| \ll |\xi|^{-s}$).
3. Se estima la medida $\nu$ de los intervalos que componen el conjunto $W^*$.
4. Se introduce una suma de Ramanujan generalizada (Lema 2.3) para manejar la condición de coprimos $\gcd(B_q p + A_q, q) = 1$. Se demuestra que esta suma está acotada por $\gcd(q, k) \log q$.
5. Mediante la identidad de Parseval y estimaciones finas de las sumas, se demuestra que la medida total de los intervalos es finita, lo que implica por Borel–Cantelli que $\nu(W^*) = 0$, contradiciendo la hipótesis.

B. Cota Inferior (Proposición 2.2)

Se construye explícitamente una medida de probabilidad $\nu$ soportada en $W^*(\psi, \theta)$ con el decaimiento de Fourier deseado.

1. Construcción Iterativa: Se sigue una variante del método de Cai y Hambrook. Se define una secuencia de funciones de densidad $g_M$ basadas en promedios de funciones de prueba suavizadas ($f$) sobre los intervalos de aproximación.
2. Selección de Secuencias: Se selecciona una secuencia de índices $M_k$ recursivamente para asegurar la estabilidad de la convergencia de las medidas.
3. Análisis de Coeficientes de Fourier: Se demuestra (Lema 2.6) que los coeficientes de Fourier de las densidades $g_M$ decaen suficientemente rápido, controlando las sumas de Ramanujan y utilizando la propiedad de decaimiento rápido de la función base $f$.
4. Límite de Medidas: Se define la medida $\nu$ como el límite débil de una secuencia de medidas absolutamente continuas. Se prueba que la transformada de Fourier de $\nu$ satisface el decaimiento requerido: $|\hat{\nu}(\xi)| \ll |\xi|^{-(\eta-\epsilon)}$.

3. Contribuciones Clave y Resultados

Teorema Principal (Teorema 1)

Bajo la condición de convergencia de Duffin–Schaeffer:
$$\sum_{q \in \mathbb{N}} \psi(q) \prod_{p|q, p \nmid B_q} (1 - p^{-1}) < \infty$$
La dimensión de Fourier del conjunto $W^*(\psi, \theta)$ es exactamente:
$$\dim_F W^*(\psi, \theta) = \min\{2s(\psi), 1\}$$
donde $s(\psi)$ es el exponente crítico definido por:
$$s(\psi) = \inf \left\{ s \ge 0 : \sum_{q \in \mathbb{N}} \left( \frac{\psi(q)}{q} \right)^s < \infty \right\}$$

Avances Específicos

1. Generalización Inhomogénea Completa: El resultado es válido para cualquier función $\theta: \mathbb{N} \to \mathbb{R}$, resolviendo positivamente la versión con coprimos de la conjetura de Chen y Xiong para el caso inhomogéneo.
2. Recuperación de Resultados Clásicos: Al establecer $A_q = 0$ y $B_q = 1$, el teorema recupera los resultados clásicos de Kaufman y Bluhm para el caso homogéneo con $\psi(q) = q^{-\tau}$.
3. Refinamiento Metodológico: Se supera la limitación de los teoremas anteriores (como el de Cai y Hambrook) que no podían aplicarse directamente debido a la condición de coprimos más compleja y la divergencia de las series asociadas. La prueba introduce un manejo técnico refinado de las sumas de Ramanujan en contextos de coprimos generalizados.

4. Significado e Impacto

• Puente entre Análisis y Teoría de Números: El trabajo refuerza la conexión entre la dimensión de Fourier (una propiedad de análisis armónico relacionada con la "suavidad" o aleatoriedad de una medida) y la estructura aritmética de los conjuntos diofánticos.
• Resolución de Problemas Abiertos: Proporciona una respuesta definitiva a la cuestión de la dimensión de Fourier en el marco de la conjetura de Duffin–Schaeffer con restricciones de coprimos, un problema que había permanecido abierto para funciones de aproximación generales.
• Aplicaciones Futuras: La construcción de medidas con decaimiento de Fourier prescrito en conjuntos diofánticos tiene implicaciones profundas para:
  • La teoría de números normales en conjuntos fractales.
  • La aproximación diofántica multiplicativa y simultánea en fractales.
  • La aproximación diofántica "torcida" (twisted).
• Construcción de Conjuntos de Salem: Contribuye a la escasa literatura sobre la construcción explícita de conjuntos de Salem deterministas (conjuntos donde la dimensión de Hausdorff coincide con la dimensión de Fourier) en contextos de aproximación diofántica compleja.

En resumen, este artículo establece un marco teórico completo para entender la dimensión de Fourier en aproximaciones diofánticas inhomogéneas con restricciones aritméticas, unificando y generalizando décadas de investigación previa.