The variance of a general class of multiplicative functions in short intervals

Resumo Técnico: A Variância de uma Classe Geral de Funções Multiplicativas em Intervalos Curtos

Enunciado do Problema
O artigo aborda a avaliação assintótica da variância de funções multiplicativas em intervalos curtos. Enquanto o comportamento global de funções multiplicativas (especificamente as somas parciais $\sum_{n \le X} f(n)$) é bem estudado, compreender suas flutuações em intervalos curtos de comprimento $H$ (onde $H \ll X$) apresenta desafios significativos. Os autores focam na variância contínua definida como:
$$\text{Var}_f(X; H) := \frac{1}{X} \int_X^{2X} \left| \sum_{x < n \le x+H} f(n) - \frac{H}{X} \sum_{n \le X} f(n) \right|^2 dx$$
O objetivo principal é estabelecer fórmulas assintóticas precisas para esta variância para uma classe ampla de funções multiplicativas, estendendo-se além de casos específicos como a função Möbius ou indicadores de números quadrados-livres para um arcabouço geral envolvendo parâmetros de crescimento e ordem.

Metodologia
Os autores empregam uma combinação de análise de Fourier, análise complexa e a geometria aritmética de formas binárias. A metodologia é estruturada em torno da decomposição da função multiplicativa $f(n)$ em uma estrutura de convolução $f = 1 *_k h$, onde $h$ pertence a uma classe específica de funções multiplicativas.

1. Decomposição e Truncamento: A soma sobre o intervalo curto é dividida em "divisores pequenos" (até um parâmetro $z$) e "divisores grandes" (maiores que $z$). A variância é analisada estimando a contribuição dessas duas partes separadamente, denotadas por $J_{h,z}(X; H)$ e $K_{h,z}(X; H)$.
2. Análise de Fourier e Cálculo de Resíduos: Para a parte dos divisores pequenos, os autores utilizam análise de Fourier, especificamente a expansão de Fourier de polinômios de Bernoulli e a função $S(x) = \frac{\sin \pi x}{\pi x}$. Eles empregam integração de contorno e o teorema do resíduo de Cauchy para avaliar integrais envolvendo séries de Dirichlet e a função zeta de Riemann. Isso permite extrair os termos principais e lidar com os polos das funções geradoras associadas.
3. Contagem de Pontos Racionais em Formas Binárias: Uma inovação crítica no tratamento de casos de ordem superior ($k \ge 3$) é o uso da contagem de pontos racionais em formas binárias específicas. Em vez de depender apenas da aproximação de Dirichlet (usada em trabalhos anteriores para $k=2$), os autores aplicam resultados de Heath-Brown, Stewart e Xiao sobre a densidade de soluções inteiras para formas binárias $F(x, y)$. Esta técnica é essencial para limitar os termos fora da diagonal no cálculo da variância.
4. Teoremas de Valores Grandes: Para a parte dos divisores grandes, os autores utilizam o teorema de valores grandes de Huxley, o limite de subconvexidade de Bourgain para a função zeta de Riemann e o teorema do valor médio de Montgomery para controlar os termos de erro, particularmente no cenário "incondicional" sem assumir a hipótese de Lindelöf.

Principais Contribuições e Resultados

• Definição de Classe Geral: O artigo define uma classe geral de funções multiplicativas $\mathcal{F}_{\alpha, \beta, k}$ caracterizada por parâmetros $\alpha$ (crescimento), $\beta$ (relacionado à magnitude dos valores em primos) e $k$ (ordem). Esta classe engloba funções como $\mu_k(n)$ (indicador de inteiros $k$-livres), $\phi(n)/n$ e funções divisoras generalizadas $\sigma_\alpha(n)$.
• Fórmulas Assintóticas para a Variância:
  • Caso $0 \le \alpha < 1/2$: Os autores derivam uma fórmula assintótica onde a variância escala como $H^{(1-2\alpha)/k} (\log H)^{\beta^2-1}$. O termo principal envolve uma constante $c_{h,k}$ e um polinômio em $\log H$.
  • Caso $1/2 < \alpha < 2$: A variância converge para uma constante $c_{h,k}(H)$ que depende do comprimento do intervalo $H$, com um termo de erro de $O(H^{-\epsilon})$.
  • Ponto Crítico $\alpha = 1/2$: O artigo observa que uma fórmula assintótica direta não é derivada para este caso crítico, embora um limite superior de $O((\log H)^{\beta^2})$ seja estabelecido.
• Melhoria de Intervalos para Intervalos Curtos: O artigo estende significativamente os intervalos conhecidos de $H$ para os quais estas fórmulas assintóticas são válidas.
  • Para inteiros $k$-livres ($k \ge 3$), o intervalo válido para $H$ é estendido de aproximadamente $X^{0.3}$ para $X^{e(k,0)}$, onde $e(k,0)$ aumenta com $k$ (por exemplo, $e(3,0) \approx 0.605$).
  • Sob a hipótese de Lindelöf, estes intervalos são ainda mais estendidos para $X^{g(k)}$.
• Refutação de uma Conjectura: Os autores fornecem uma análise detalhada da função totiente de Euler normalizada $\phi(n)/n$. Eles demonstram que o limite da variância não é uma constante absoluta como conjecturado por van Overbeeke, mas sim uma função $c_\zeta(H)$ que flutua com $H$. Especificamente, mostram que para um primo $H$, a constante é limitada inferiormente por $\approx 0.1036$, contradizendo o valor conjecturado de $\approx 0.03$.
• Funções Divisoras Generalizadas: Os resultados melhoram as cotas anteriores para a variância de $\sigma_\alpha(n)$ para $\alpha \in (-1, -1/2)$, fornecendo fórmulas assintóticas sobre um intervalo mais amplo de $H$ e ultrapassando a barreira de $1/2$ para certos valores de $\alpha$.

Significância
O artigo afirma sua significância ao unificar o estudo da variância de diversas funções multiplicativas sob um único arcabouço teórico. Ao conectar "médias curtas" a "médias longas" através de análise de Fourier e geometria dos números (formas binárias), os autores fornecem um método robusto para analisar flutuações em intervalos curtos.

O trabalho é particularmente notável por:

1. Refutar a Conjectura de van Overbeeke: Ele corrige uma previsão específica sobre a variância de $\phi(n)/n$, mostrando que o limite depende das propriedades aritméticas do comprimento do intervalo $H$ em vez de ser uma constante universal.
2. Estender a "Barreira de Metade" (Half-Barrier): A metodologia permite a análise da variância em intervalos mais longos que $X^{1/2}$ para classes específicas de funções, um regime onde métodos anteriores frequentemente falhavam ou produziam cotas mais fracas.
3. Variância Discreta vs. Contínua: O artigo distingue entre variâncias discretas e contínuas, observando que, enquanto a variância contínua pode superar a barreira de $1/2$ no espaço de Fourier, a variância discreta permanece limitada por ela, destacando uma diferença fundamental na detecção de flutuações de pequenos intervalos.

Os autores enfatizam que seus resultados produzem novas fórmulas assintóticas e melhorias no campo da análise de intervalos curtos para funções que incluem indicadores $k$-livres, a totiente de Euler normalizada e somas divisoras generalizadas, sem depender de conjecturas não provadas como a Hipótese de Riemann para os resultados principais incondicionais, embora RH e Lindelöf sejam discutidos para potenciais extensões de intervalo.