Explicit bounds for Buchstab's function

Resumo Técnico: Limites Explícitos para a Função de Buchstab

Enunciado do Problema
A função de Buchstab, $\omega(u)$, caracteriza a distribuição de inteiros livres de pequenos fatores primos. Especificamente, para um $u > 1$ fixo, a contagem de inteiros até $x$ com todos os fatores primos maiores que $x^{1/u}$, denotada por $\Phi(x, x^{1/u})$, é assintoticamente $x\omega(u)/\log(x^{1/u})$. À medida que $u \to \infty$, $\omega(u)$ converge rapidamente para $e^{-\gamma}$ (onde $\gamma$ é a constante de Euler), oscilando em torno deste limite.

O comportamento destas oscilações é crítico na teoria analítica dos números, particularmente no estabelecimento de limites para a distribuição de primos em intervalos curtos. Maier [5] demonstrou que o lim sup e o lim inf da densidade de primos em intervalos de comprimento $(\log x)^v$ dependem diretamente dos valores máximos e mínimos de $W(u) := \omega(u) - e^{-\gamma}$ para $u \ge v$. Embora Hildebrand [3] tenha fornecido uma fórmula assintótica para $W(u)$ envolvendo análise de ponto de sela complexo, o termo de erro nessa aproximação não era numericamente explícito. O objetivo deste artigo é estabelecer limites superiores e inferiores rigorosos e numericamente explícitos para $W(u)$ que sejam fáceis de avaliar sem resolver numericamente a equação diferencial de atraso subjacente $(u\omega(u))' = \omega(u-1)$.

Metodologia
O autor emprega o método do ponto de sela aplicado à transformada de Laplace inversa da função de Buchstab. A transformada de Laplace é dada por $\hat{\omega}(s) = e^{J(s)} - 1$, onde $J(s)$ é a função integral exponencial.

1. Definição do Ponto de Sela: Uma solução complexa única $\zeta = \mu - i\eta$ é definida para a equação $e^\zeta = -u\zeta$ dentro do intervalo $\mu \ge 1$ e $0 < \eta < 3\pi/2$. Este $\zeta$ serve como o ponto de sela para a representação integral de $W(u)$.
2. Expansão de Taylor: Diferente de trabalhos anteriores que utilizaram expansões de ordem inferior, este artigo utiliza um polinômio de Taylor de ordem sete próximo ao ponto de sela para aproximar o integrando. Esta expansão de ordem superior permite um controle mais rigoroso sobre os termos de erro.
3. Análise Complexa: A análise envolve a estimativa das partes real e imaginária de $J(-\zeta + i\tau)$ e de suas derivadas. O autor deriva limites explícitos para estas derivadas (Lema 4) e estabelece estimativas de decaimento para o integrando longe do ponto de sela (Lema 5).
4. Decomposição de Erro: A integral para $W(u)$ é dividida em um termo principal (centrado no ponto de sela) e contribuições de cauda. As contribuições de cauda são limitadas usando desigualdades explícitas derivadas de integração por partes e estimativas de integração de contorno.
5. Verificação Numérica: Para valores pequenos de $u$ (especificamente $u \le 103$), os limites teóricos são verificados através do cálculo numérico de $W(u)$ utilizando o algoritmo de Marsaglia, Zaman e Marsaglia [6] e comparando os resultados com os limites de erro derivados.

Contribuições Principais e Resultados
O artigo apresenta três teoremas que fornecem aproximações cada vez mais precisas para $W(u)$ com limites de erro explícitos.

• Teorema 1: Fornece uma aproximação primária usando a função $\Phi_1(u) = \Phi(u)(1 - \frac{1}{12u})$.
  $$W(u) = 2|\Phi_1(u)| \{ \cos(\arg(\Phi_1(u))) + \theta_1(u) \}$$
  O termo de erro satisfaz $|\theta_1(u)| < \frac{1}{2u(u-1)}$ para $3 \le u \le 6$ e $|\theta_1(u)| < \frac{1}{12u \log u}$ para $u \ge 6$.

• Teorema 2: Oferece uma aproximação mais precisa usando $\Phi_2(u) = \Phi(u)(1 + \alpha(u))$, onde $\alpha(u)$ é uma função racional específica de $\zeta$ e $u$ derivada das quarta e quinta derivadas de $J$.
  $$W(u) = 2|\Phi_2(u)| \{ \cos(\arg(\Phi_2(u))) + \theta_2(u) \}$$
  O termo de erro satisfaz $|\theta_2(u)| < 420u^{-6}$ para $6 \le u \le 19$ e $|\theta_2(u)| < 0.005u^{-2}$ para $u \ge 16$.

• Teorema 3: Apresenta um termo de erro ainda menor ao incluir um segundo termo de correção $\beta(u)$ no fator principal, definindo $\Phi_3(u) = \Phi(u)(1 + \alpha(u) + \beta(u))$.
  $$W(u) = 2|\Phi_3(u)| \{ \cos(\arg(\Phi_3(u))) + \theta_3(u) \}$$
  O termo de erro satisfaz $|\theta_3(u)| < 0.01u^{-3}$ para $18 \le u \le 103$ e $|\theta_3(u)| < 8.4u^{-3}$ para $u \ge 103$.

O artigo observa que $\Phi(u)$ pode ser computado usando funções especiais padrão: a função Gamma incompleta para $J(s)$ e a função W de Lambert (especificamente o ramo $k=1$) para $\zeta$. A Tabela 1 no artigo ilustra a alta precisão destes limites comparando-os com valores computados numericamente para vários valores de $u$.

Significância e Alegações
O artigo alega fornecer os primeiros limites superiores e inferiores numericamente explícitos para a função de Buchstab que não requerem a solução numérica da equação diferencial de atraso. A metodologia espelha o trabalho anterior do autor sobre a função de Dickman [9], adaptando estimativas de valores reais para o domínio complexo exigido pela função de Buchstab.

O autor enquadra modestamente a significância destes resultados como o estabelecimento de estimativas "numericamente explícitas". O artigo não pretende resolver o problema da distribuição de primos em intervalos curtos, mas sim fornece os limites explícitos necessários sobre $W(u)$ que permitem que tais problemas sejam abordados com constantes numéricas concretas. Os termos de erro são mostrados como sendo significativamente menores do que o erro $O(1/u)$ encontrado na fórmula assintótica anterior de Hildebrand [3], particularmente para valores moderados de $u$. Os resultados são validados através de uma combinação de limites analíticos rigorosos para grandes valores de $u$ e computação numérica direta para valores menores de $u$.