A link between error terms when counting smooth and rough numbers

1. El Problema (Contexto y Motivación)

El estudio de la teoría de números se centra frecuentemente en la distribución de los números suaves (o friables), aquellos cuyos factores primos no exceden un límite $y$, y los números rugosos (o tamizados), aquellos cuyos factores primos son todos mayores que $y$.

Las funciones de conteo fundamentales son:

• $\Psi(x, y)$: el número de $y$-suaves $\le x$.
• $\Phi(x, y)$: el número de $y$-rugosos $\le x$.

Aunque existen aproximaciones clásicas para ambas funciones (basadas en la función de Dickman $\rho(u)$ para suaves y la función de Buchstab $\omega(u)$ para rugosos), la precisión de estas aproximaciones depende de los términos de error. El problema central que aborda el autor es que, aunque estas dos clases de números son "opuestas" en su definición, sus errores de aproximación están intrínsecamente relacionados, pero no se había establecido un vínculo matemático explícito y directo entre ellos.

2. Metodología

El autor emplea un enfoque analítico basado en la teoría de transformadas de Laplace y la inversión de Möbius. La estrategia metodológica se divide en tres etapas:

1. Definición de variantes de aproximación: Para establecer un vínculo simétrico, el autor no utiliza las aproximaciones estándar de de Bruijn, sino variantes más refinadas ($V$ y $V^*$) que actúan como contrapartes naturales entre el mundo de los números suaves y los rugosos.
2. Definición de términos de error: Introduce términos de error específicos para las suaves ($\Delta(x, y)$) y para las rugosas ($Q(x, y)$ y $Q^*(x, y)$), así como funciones de suma de errores ($R$ y $R^*$).
3. Uso de Transformadas de Laplace: El núcleo de la prueba consiste en convertir las ecuaciones de recurrencia de las funciones de conteo en ecuaciones de transformadas de Laplace. Esto permite manipular las relaciones de convolución (como las de Dickman y Buchstab) de manera algebraica para "despejar" un error en función del otro.

3. Contribuciones Clave y Resultados

La contribución principal es el Teorema 1, que establece una relación de equivalencia bidireccional entre los errores de los números suaves y los rugosos.

• Relación Directa (Teorema 1, eqs. 2 y 3): Permite expresar el error de los números suaves $\Delta(x, y)$ como una función de la suma de errores de los números rugosos $R(x, y)$.
• Relación Inversa (Teorema 1, eqs. 4 y 5): Permite expresar el error de los números rugosos en términos del error de los números suaves.

Resultados derivados (Corolarios):

• Transferencia de cotas: El autor demuestra que si se tiene una cota superior para el error de los números rugosos, se puede obtener automáticamente una cota para los números suaves (y viceversa).
• Cotas explícitas: Utilizando resultados previos de Fan, el autor logra derivar cotas explícitas para el error de de Bruijn $\Delta(x, y)$. Específicamente, proporciona una cota que no depende de la Hipótesis de Riemann (RH) y una cota mucho más ajustada (con un término de error de orden $\sqrt{y}$) bajo el supuesto de la Hipótesis de Riemann.

4. Significancia

La importancia de este trabajo radica en su capacidad de unificación. Antes de este artículo, los errores en el conteo de números suaves y rugosos se trataban como problemas de naturaleza distinta. Weingartner demuestra que son dos caras de la misma moneda matemática.

Desde un punto de vista práctico para los teóricos de números, esto significa que:

1. Eficiencia en la investigación: Cualquier avance en la precisión de las estimaciones de números rugosos (que a menudo son más accesibles mediante métodos de tamizado) se traduce inmediatamente en un avance para el estudio de los números suaves.
2. Herramienta de validación: Proporciona un marco para verificar la consistencia de las aproximaciones de de Bruijn y otras funciones de conteo mediante la comparación de sus errores.
3. Precisión computacional: Al proporcionar cotas explícitas, el trabajo es útil para aplicaciones donde se requiere saber exactamente qué tan grande puede ser el error en un rango dado de $x$ e $y$.