On additive convolution sum of arithmetic functions and related questions

Resumo Técnico: Sobre Somas de Convolução Aditiva de Funções Aritméticas e Questões Relacionadas

Enunciado do Problema
O artigo aborda o comportamento assintótico de somas de convolução aditiva de funções aritméticas, focando especificamente na sub-soma $\sum_{n < M} f(n)g(N-n)$ onde $M \le N$. Embora a soma de convolução deslocada $\sum_{n \le N} d(n)d(n+h)$ tenha sido extensivamente estudada desde o trabalho seminal de Ingham, a soma de convolução aditiva $\sum_{n < N} d(n)d(N-n)$ e suas sub-somas receberam menos atenção. Os autores visam estender os resultados clássicos de Ingham para derivar fórmulas assintóticas para essas sub-somas com termos de erro explícitos, particularmente para a função divisor $d(n)$, e subsequentemente generalizar esses achados para funções aritméticas que admitem expansões de Ramanujan absolutamente convergentes.

Metodologia
Os autores empregam uma combinação de técnicas clássicas de teoria analítica dos números e estimativas modernas relativas às funções divisoras em progressões aritméticas.

1. Extensão do Método de Ingham (Teorema 1):
   Para a função divisor $d(n)$, os autores adaptam a abordagem geométrica de Ingham. Eles interpretam a soma $\sum_{n \le M} d(n)d(N-n)$ como a contagem de 4-uplas $(l, r, m, s)$ satisfazendo $lr + ms = N$ com $ms \le M$.

   • Otimização de Limites: Diferente do uso da desigualdade AM-GM por Ingham para limitar o produto $n(N-n)$ por $N^2/4$, os autores utilizam a restrição específica $n \le M$ para derivar um limite mais estreito $X = \sqrt{M(N-M)}$.
   • Decomposição de Conjuntos: O conjunto de soluções é decomposto em conjuntos simétricos $P$ e $Q$ e uma interseção $R$. A cardinalidade é estimada usando propriedades da função divisor e a distribuição de soluções para equações diofantinas lineares.
   • Análise de Intervalo: A prova distingue cuidadosamente entre diferentes intervalos de $M$ em relação a $N$, analisando especificamente os termos de erro quando $M$ está próximo de $N/2$ versus quando $M$ é menor.

2. Regime de $M$ Pequeno (Teorema 2):
   Para o caso onde $M = N^\alpha$ com $3/4 < \alpha < 1$, o método geométrico é insuficiente. Os autores utilizam a identidade $d(n) = \sum_{t|n} 1$ para reescrever a soma como uma soma sobre classes de resíduos.

   • Eles aplicam um resultado de Pongsriiam e Vaughan (expandindo Fouvry e Iwaniec) referente à média da função divisor em progressões aritméticas: $\sum_{n \le M, n \equiv N \pmod t} d(n)$.
   • Isso permite a derivação de uma fórmula assintótica envolvendo somas de Ramanujan $c_r(N)$ e séries específicas $S_i(N)$.

3. Funções Aritméticas Gerais (Teorema 3):
   Os autores generalizam os resultados para funções $f$ e $g$ com expansões de Ramanujan absolutamente convergentes ($f(n) = \sum a_f(r)c_r(n)$).

   • Ortogonalidade: Eles utilizam um lema de ortogonalidade para somas de Ramanujan: $\sum_{n < M} c_r(n)c_s(N-n) \approx \delta_{r,s} M c_r(N)$.
   • Truncamento e Controle de Erro: As somas são divididas em um termo principal (onde os índices $r, s$ são pequenos) e um termo de erro (onde os índices são grandes). Os termos de erro são controlados usando as condições de decaimento $|a_f(r)|, |a_g(r)| \ll r^{-(1+\delta)}$ e os limites estabelecidos anteriormente para a convolução da função divisor.

Principais Contribuições e Resultados

• Teorema 1 (Sub-somas da Função Divisor): O artigo estabelece uma fórmula assintótica para $\sum_{n \le M} d(n)d(N-n)$ para $M \le N/2$.

  • O termo principal é $\frac{6}{\pi^2} M \sigma_{-1}(N) \log^2 X$, onde $X = \sqrt{M(N-M)}$.
  • O termo de erro depende da relação entre $M$ e $N$. Especificamente, se $N/(\sigma_{-1}(N) \log N)^2 = o(M)$, a fórmula é válida.
  • Os autores fornecem limites de erro refinados para diferentes intervalos de $M$, incluindo casos onde $M$ está próximo de $N/2$ e casos onde $M$ é menor, mas ainda satisfaz a condição de crescimento.
  • Corolário 1 estende esses resultados para o intervalo $N/2 \le M \le N$ utilizando a simetria da soma total.

• Teorema 2 (Pequeno $M$): Para $M = N^\alpha$ com $3/4 < \alpha < 1$, os autores derivam uma fórmula assintótica mais complexa envolvendo séries $S_0(N), S_1(N), S_2(N)$ definidas via somas de Ramanujan. Isso preenche uma lacuna onde o método geométrico do Teorema 1 falha.

• Teorema 3 (Funções Gerais): Para funções aritméticas com expansões de Ramanujan absolutamente convergentes que satisfazem condições de decaimento polinomial em seus coeficientes, o artigo prova:
  $$\sum_{n < M} f(n)g(N-n) = M \sum_{r \ge 1} a_f(r)a_g(r)c_r(N) + \text{Termo de Erro}$$
  O termo de erro é $O(M^{1-\delta}(\log M)^{4-2\delta})$ para $\delta < 1$, $O(\log^3 M)$ para $\delta = 1$, e $O(1)$ para $\delta > 1$.

• Corolário 2: Como aplicação, os autores derivam fórmulas assintóticas para somas envolvendo funções divisoras normalizadas $\sigma_\alpha(n)/n^\alpha$, melhorando resultados anteriores em [6] ao fornecer termos de erro explícitos e estender o intervalo de parâmetros.

Significância e Alegações
O artigo alega estender os resultados clássicos de Ingham das somas totais para as sub-somas, proporcionando uma compreensão mais granular de como a convolução aditiva se comporta conforme o limite de soma $M$ varia.

• Motivação: O estudo é motivado por problemas em teoria aditiva dos números, como a conjectura de Goldbach, onde a compreensão da distribuição de somandos primos (ou potências de primos) até um certo limite $M \le N/2$ é crucial. Os autores observam que, enquanto a soma total conta todas as representações, o comportamento da sub-soma é relevante para determinar o menor possível somando primo.
• Contribuição Metodológica: O trabalho destaca a necessidade de escolher cuidadosamente o intervalo de $M$ para obter fórmulas assintóticas válidas com termos de erro gerenciáveis. Demonstra que, para $M$ pequeno, o comportamento é governado pela distribuição de divisores em progressões aritméticas, enquanto para $M$ maior, as restrições geométricas sobre o produto $n(N-n)$ predominam.
• Limitações: Os autores notam modestamente que seu método para o Teorema 1 não pode tratar valores muito pequenos de $M$ (especificamente $M = N^\alpha$ para $\alpha < 3/4$), e a prova para o Teorema 2 é restrita a $3/4 < \alpha < 1$. Eles também observam que as constantes implícitas nos termos de erro para funções gerais podem depender de $N$, embora essa dependência possa ser mitigada sob condições de crescimento específicas de $M$.

O artigo não pretende resolver a conjectura de Goldbach ou a conjectura dos primos gêmeos, mas postula que as fórmulas assintóticas derivadas para sub-somas de convolução fornecem ferramentas e insights necessários para tais investigações.