Waring's problem involving D.H. Lehmer numbers

Resumen Técnico: El Problema de Waring involucrando Números de D.H. Lehmer

Planteamiento del Problema
Este artículo aborda una variación del clásico problema de Waring, investigando específicamente la representación de enteros positivos suficientemente grandes como sumas de potencias cuartas de números de D.H. Lehmer. Sea $p$ un primo impar. Un número de D.H. Lehmer se define como un entero $a$ tal que $1 \le a \le p$, $\gcd(a, p) = 1$, y $a + \bar{a} \equiv 1 \pmod 2$, donde $\bar{a}$ es el inverso multiplicativo único de $a$ módulo $p$ en el rango $[1, p]$. El conjunto de estos números se denota por $L(p)$.

Los autores buscan determinar el número de potencias cuartas de elementos de $L(p)$ requeridas para representar cualquier entero suficientemente grande $N$. Esto se basa en los resultados clásicos de H. Davenport, quien estableció que todo entero suficientemente grande es la suma de 16 potencias cuartas de números naturales, y que todo entero suficientemente grande que no sea congruente con 15 o 16 módulo 16 es la suma de 14 de dichas potencias. El objetivo del artículo es extender estos hallazgos al conjunto restringido de los números de D.H. Lehmer.

Metodología
Los autores emplean el método del círculo de Hardy-Littlewood, una técnica analítica estándar para problemas de teoría de números aditiva. El núcleo de la metodología consiste en:

1. Funciones Generadoras: Los autores definen sumas exponenciales sobre el conjunto $L(p)$. Específicamente, $T(\alpha) = \sum_{x \sim P, x \in L(p)} e(\alpha x^4)$, donde $P \approx (N/100)^{1/4}$. Para manejar la representación de $N$ como una suma de 14 potencias cuartas, introducen un conjunto auxiliar de enteros $\{u_1, \dots, u_U\}$, que son sumas de 4 potencias cuartas de números de Lehmer, y definen $U(\alpha) = \sum_{h=1}^U e(\alpha u_h)$.
2. Representación Integral: El número de representaciones, $r_{14}(N)$, se expresa como una integral sobre el intervalo unitario: $r_{14}(N) = \int_0^1 T^6(\alpha) U^2(\alpha) e(-N\alpha) d\alpha$.
3. Arcos Mayores y Menores: El dominio de integración se divide en arcos mayores $\mathfrak{M}$ (cerca de números racionales con denominadores pequeños) y arcos menores $\mathfrak{m}$.
   • Aproximación en los Arcos Mayores: Los autores aproximan la suma exponencial $T(\alpha)$ en los arcos mayores utilizando un componente de serie singular $T^*(\alpha, a, q)$ y un término de error $H(\alpha)$. Esto se basa en la descomposición de la suma sobre $L(p)$ mediante sumas de caracteres y propiedades de la función de Möbius.
   • Estimación en los Arcos Menores: Utilizando la desigualdad de Weyl y acotaciones para sumas exponenciales que involucran caracteres, los autores establecen que la contribución de los arcos menores es insignificante en comparación con el término principal.
4. Lemas y Acotaciones: La demostración se apoya en una serie de lemas que establecen acotaciones para:
   • Sumas de caracteres (Lema 1).
   • La distribución de los números de Lehmer en intervalos cortos (Lema 3, Lema 5).
   • El número de soluciones a ecuaciones de la forma $x^4 + u_h = y^4 + u_i$ (Lema 6).
   • La densidad de números representables como sumas de $s$ potencias cuartas de números de Lehmer (Lema 7).
   • Acotaciones para $T(\alpha)$ tanto en los arcos mayores como en los menores (Lema 8, Lema 14).

Contribuciones Clave y Resultados
El artículo establece dos teoremas principales respecto a la representabilidad de enteros grandes:

• Teorema 1: Todo entero positivo suficientemente grande, siempre que $N \not\equiv 15, 16 \pmod{16}$, puede ser representado como la suma de 14 potencias cuartas de números de D.H. Lehmer.
• Teorema 2: Todo entero suficientemente grande puede ser representado como la suma de 16 potencias cuartas de números de D.H. Lehmer.

La demostración del Teorema 1 implica mostrar que el término principal en la representación integral domina a los términos de error, asegurando que $r_{14}(N) > 0$ para las clases de congruencia especificadas. El Teorema 2 se deriva inmediatamente del Teorema 1 y de la observación de que 1 es un número de Lehmer; por lo tanto, los enteros congruentes a 15 o 16 módulo 16 pueden reducirse a la forma $N-2$ (que cae en las clases de congruencia permitidas) restando dos instancias de $1^4$.

Significancia y Reivindicaciones
Los autores afirman que esta es la primera investigación realizada sobre el problema de Waring específicamente involucrando números de D.H. Lehmer. La significancia del trabajo radica en:

1. Extensión de Resultados Clásicos: Adapta con éxito los métodos maduros utilizados para el problema clásico de Waring (específicamente para $k=4$) a un conjunto restringido de enteros definidos por propiedades de aritmética modular.
2. Validación de $G(4)=16$: Los autores señalan que su resultado, que estrecha el rango de enteros representables como sumas de 16 potencias cuartas al subconjunto específico de números de Lehmer, proporciona una perspectiva alternativa que valida el resultado clásico $G(4)=16$.
3. Problemas Abiertos: El artículo concluye sugiriendo que la división de $N$ en sumas de potencias restringidas a números de D.H. Lehmer para otros casos del problema de Waring sigue siendo un área abierta para futuras investigaciones.

El trabajo cuenta con el apoyo del Proyecto de Investigación de Ciencias Básicas de la Ciencia y la Física de Shaanxi y el Proyecto de Investigación Básica de Ciencias Naturales de la Provincia de Shaanxi.