Explicit bounds for Dickman's function

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

Enunciado do Problema
A função de Dickman, $\rho(u)$, é definida como a solução contínua da equação diferencial de atraso $u\rho'(u) + \rho(u-1) = 0$ com a condição inicial $\rho(u) = 1$ para $0 \le u \le 1$. Ela representa a densidade natural de inteiros $n$ cujo maior fator primo não excede $n^{1/u}$. Embora o comportamento assintótico de $\rho(u)$ quando $u \to \infty$ seja bem compreendido através do trabalho de de Bruijn e Alladi, esses resultados tipicamente envolvem termos de erro implícitos (por exemplo, $O(1/u)$). O principal desafio abordado neste artigo é estabelecer limites superiores e inferiores numericamente explícitos para $\rho(u)$ que permitam a avaliação aproximada sem a necessidade de resolver a equação diferencial de atraso numericamente.

Metodologia
O autor emprega o método do ponto de sela aplicado à representação da integral de Laplace inversa de $\rho(u)$. A abordagem refina a técnica de prova encontrada no trabalho de Tenenbaum, que estabeleceu o resultado de Alladi com um erro relativo de $O(u^{-1})$. Para alcançar os limites explícitos mais rigorosos exigidos aqui, a metodologia envolve:

1. Rastreamento Preciso de Erro: Manter o controle de todos os fatores constantes em vez de absorvê-los na notação big-O.
2. Integração Refinada: Dividir o intervalo de integração em intervalos adicionais para isolar as contribuições de forma mais precisa.
3. Expansão de Ordem Superior: Utilizar um polinômio de Taylor de ordem sete (em vez de três) próximo ao ponto de sela para capturar termos de ordem superior na expansão do integrando.
4. Lemmas Explícitos: Derivar desigualdades específicas para as derivadas da função integral $I(s) = \int_0^s \frac{e^z-1}{z} dz$ e limitar as contribuições de cauda da integral usando lemas relacionados à função gama incompleta.

A função $\tilde{\rho}(u)$, servindo como a aproximação primária, é definida como:
$$\tilde{\rho}(u) := \frac{\exp\{\gamma - u\xi + I(\xi)\}}{\sqrt{2\pi I''(\xi)}}$$
onde $\xi = \xi(u)$ é a única solução positiva de $e^\xi = 1 + u\xi$, e $\gamma$ é a constante de Euler.

Principais Contribuições e Resultados
O artigo estabelece dois teoremas principais fornecendo limites explícitos e estimativas para $\rho(u)$:

• Teorema 1 (Limites Explícitos): Para $u > 1$, a função $\rho(u)$ é limitada por:
  $$\tilde{\rho}(u) \left(1 - \frac{1}{12u}\right) < \rho(u) < \tilde{\rho}(u) \left(1 - \frac{1}{12u(1 + \frac{1}{\log u})}\right)$$
  Isso fornece um intervalo conveniente para $\rho(u)$ usando apenas funções elementares e a função W de Lambert (para resolver $\xi$).

• Teorema 2 (Estimativa Refinada com Termo de Erro): Para $u > 1$, a função pode ser expressa como:
  $$\rho(u) = \tilde{\rho}(u) \left(1 + \alpha(u) + \frac{\theta(u)}{u^2}\right)$$
  onde $\alpha(u)$ é uma expressão explícita envolvendo as derivadas de $I(\xi)$:
  $$\alpha(u) := \frac{1}{8}\frac{I^{(4)}(\xi)}{(I''(\xi))^2} - \frac{5}{24}\frac{(I^{(3)}(\xi))^2}{(I''(\xi))^3}$$
  Crucialmente, o termo de erro é limitado explicitamente: $|\theta(u)| < 0.005$ para todo $u \ge 5$. Isso resulta em um erro relativo de menos de $0.005/u^2$.

O artigo também fornece um método para o cálculo numérico de $\rho(u)$ para verificação:

• Para $1 \le u \le 50$, utiliza o algoritmo de polinômio de Taylor de Marsaglia, Zaman e Marsaglia.
• Para valores maiores de $u$, avalia a integral de Laplace inversa numericamente, observando que o integrando converge para a função de densidade normal padrão.

Significância e Alegações
O artigo afirma que estes resultados permitem a "avaliação aproximada de $\rho(u)$ sem a necessidade de resolver a equação diferencial de atraso numericamente". Ao fornecer constantes explícitas e limites de erro, o trabalho torna as estimativas assintóticas de de Bruijn e Alladi "inteiramente explícitas".

O autor observa que, embora outros trabalhos (Smida, Xuan) forneçam estimativas com magnitudes de erro menores, eles carecem de explicitude numérica. Os limites explícitos derivados aqui são particularmente úteis para aplicações envolvendo $\Psi(x, y)$, a contagem de inteiros até $x$ cujo maior fator primo é $\le y$. Especificamente, combinados com resultados condicionais de Gorodetsky (assumindo a Hipótese de Riemann), estes limites rendem limites inferiores condicionais para $\Psi(x, y)$ que são "fáceis de avaliar numericamente".

O artigo valida seus resultados comparando-os com valores obtidos por van de Lune e Wattel, que utilizaram a regra do trapézio para aproximar $\rho(u)$ com pelo menos cinco dígitos significativos para $u \le 1000$. Os valores derivados dos Teoremas 1 e 2 são consistentes com esses marcos numéricos estabelecidos.