Waring's problem involving D.H. Lehmer numbers

Resumo Técnico: Problema de Waring envolvendo Números de D.H. Lehmer

Enunciado do Problema
Este artigo aborda uma variação do clássico problema de Waring, investigando especificamente a representação de inteiros positivos suficientemente grandes como somas de quarta potência de números de D.H. Lehmer. Seja $p$ um primo ímpar. Um número de D.H. Lehmer é definido como um inteiro $a$ tal que $1 \le a \le p$, $\gcd(a, p) = 1$, e $a + \bar{a} \equiv 1 \pmod 2$, onde $\bar{a}$ é o inverso multiplicativo único de $a$ módulo $p$ no intervalo $[1, p]$. O conjunto desses números é denotado por $L(p)$.

Os autores buscam determinar o número de quartas potências de elementos de $L(p)$ necessários para representar qualquer inteiro suficientemente grande $N$. Isso se baseia em resultados clássicos de H. Davenport, que estabeleceu que todo inteiro suficientemente grande é a soma de 16 quartas potências de números naturais, e que todo inteiro suficientemente grande não congruente a 15 ou 16 módulo 16 é a soma de 14 tais potências. O objetivo do artigo é estender essas descobertas para o conjunto restrito de números de D.H. Lehmer.

Metodologia
Os autores empregam o método do círculo de Hardy-Littlewood, uma técnica analítica padrão para problemas de teoria aditiva dos números. O núcleo da metodologia envolve:

1. Funções Geratrizes: Os autores definem somas exponenciais sobre o conjunto $L(p)$. Especificamente, $T(\alpha) = \sum_{x \sim P, x \in L(p)} e(\alpha x^4)$, onde $P \approx (N/100)^{1/4}$. Para lidar com a representação de $N$ como uma soma de 14 quartas potências, eles introduzem um conjunto auxiliar de inteiros $\{u_1, \dots, u_U\}$, que são somas de 4 quartas potências de números de Lehmer, e definem $U(\alpha) = \sum_{h=1}^U e(\alpha u_h)$.
2. Representação Integral: O número de representações, $r_{14}(N)$, é expresso como uma integral sobre o intervalo unitário: $r_{14}(N) = \int_0^1 T^6(\alpha) U^2(\alpha) e(-N\alpha) d\alpha$.
3. Arcos Maiores e Menores: O domínio de integração é dividido em arcos maiores $\mathfrak{M}$ (próximos a números racionais com denominadores pequenos) e arcos menores $\mathfrak{m}$.
   • Aproximação nos Arcos Maiores: Os autores aproximam a soma exponencial $T(\alpha)$ nos arcos maiores usando um componente de série singular $T^*(\alpha, a, q)$ e um termo de erro $H(\alpha)$. Isso depende da decomposição da soma sobre $L(p)$ usando somas de caracteres e propriedades da função de Möbius.
   • Estimativa nos Arcos Menores: Usando a desigualdade de Weyl e limites para somas exponenciais envolvendo caracteres, os autores estabelecem que a contribuição dos arcos menores é desprezível em comparação ao termo principal.
4. Lemmas e Limites: A prova baseia-se em uma série de lemas que estabelecem limites para:
   • Somas de caracteres (Lema 1).
   • A distribuição de números de Lehmer em intervalos curtos (Lema 3, Lema 5).
   • O número de soluções para equações da forma $x^4 + u_h = y^4 + u_i$ (Lema 6).
   • A densidade de números representáveis como somas de $s$ quartas potências de números de Lehmer (Lema 7).
   • Limites para $T(\alpha)$ tanto nos arcos maiores quanto nos menores (Lema 8, Lema 14).

Principais Contribuições e Resultados
O artigo estabelece dois teoremas primários sobre a representabilidade de inteiros grandes:

• Teorema 1: Todo inteiro positivo suficientemente grande $N$, desde que $N \not\equiv 15, 16 \pmod{16}$, pode ser representado como a soma de 14 quartas potências de números de D.H. Lehmer.
• Teorema 2: Todo inteiro suficientemente grande pode ser representado como a soma de 16 quartas potências de números de D.H. Lehmer.

A prova do Teorema 1 envolve mostrar que o termo principal na representação integral domina os termos de erro, garantindo que $r_{14}(N) > 0$ para as classes de congruência especificadas. O Teorema 2 segue imediatamente do Teorema 1 e da observação de que 1 é um número de Lehmer; assim, inteiros congruentes a 15 ou 16 módulo 16 podem ser reduzidos à forma $N-2$ (que cai nas classes de congruência permitidas) subtraindo duas instâncias de $1^4$.

Significância e Alegações
Os autores afirmam que esta é a primeira pesquisa realizada sobre o problema de Waring especificamente envolvendo números de D.H. Lehmer. A significância do trabalho reside em:

1. Extensão de Resultados Clássicos: Ele adapta com sucesso os métodos maduros usados para o problema clássico de Waring (especificamente para $k=4$) para um conjunto restrito de inteiros definidos por propriedades de aritmética modular.
2. Validação de $G(4)=16$: Os autores observam que seu resultado, que estreita o intervalo de inteiros representáveis como somas de 16 quartas potências para o subconjunto específico de números de Lehmer, fornece uma perspectiva alternativa validando o resultado clássico $G(4)=16$.
3. Problemas Abertos: O artigo conclui sugerindo que a decomposição de $N$ em somas de potências restritas a números de D.H. Lehmer para outros casos do problema de Waring permanece uma área aberta para investigações futuras.

O trabalho é apoiado pelo Projeto de Pesquisa de Ciência Fundamental de Matemática e Física de Shaanxi e pelo Projeto de Pesquisa Básica de Ciência Natural de Shaanxi.