Explicit bounds for Dickman's function

Sintesi Tecnica: Limiti Espliciti per la Funzione di Dickman

Enunciato del Problema
La funzione di Dickman, $\rho(u)$, è definita come la soluzione continua dell'equazione differenziale a ritardo $u\rho'(u) + \rho(u-1) = 0$ con la condizione iniziale $\rho(u) = 1$ per $0 \le u \le 1$. Essa rappresenta la densità naturale degli interi $n$ il cui fattore primo massimo non eccede $n^{1/u}$. Mentre il comportamento asintotico di $\rho(u)$ per $u \to \infty$ è ben compreso grazie al lavoro di de Bruijn e Alladi, questi risultati implicano tipicamente termini di errore impliciti (ad esempio, $O(1/u)$). La sfida principale affrontata in questo articolo è l'instaurazione di limiti superiori e inferiori numericamente espliciti per $\rho(u)$ che permettano una valutazione approssimativa senza dover risolvere numericamente l'equazione differenziale a ritardo.

Metodologia
L'autore impiega il metodo del punto di sella applicato alla rappresentazione integrale di Laplace inversa di $\rho(u)$. L'approccio perfeziona la tecnica di prova trovata nel lavoro di Tenenbaum, che aveva stabilito il risultato di Alladi con un errore relativo di $O(u^{-1})$. Per ottenere i limiti espliciti più stretti richiesti qui, la metodologia prevede:

1. Tracciamento Preciso dell'Errore: Il monitoraggio di tutti i fattori costanti anziché assorbirli nella notazione big-O.
2. Integrazione Perfezionata: La divisione dell'intervallo di integrazione in ulteriori intervalli per isolare le contribuzioni in modo più accurato.
3. Espansione di Ordine Superiore: L'utilizzo di un polinomio di Taylor di ordine sette (invece di tre) vicino al punto di sella per catturare termini di ordine superiore nell'espansione dell'integrando.
4. Lemmi Espliciti: La derivazione di specifiche disuguaglianze per le derivate della funzione integrale $I(s) = \int_0^s \frac{e^z-1}{z} dz$ e la limitazione dei contributi della coda dell'integrale tramite lemmi relativi alla funzione gamma incompleta.

La funzione $\tilde{\rho}(u)$, che funge da approssimazione primaria, è definita come:
$$\tilde{\rho}(u) := \frac{\exp\{\gamma - u\xi + I(\xi)\}}{\sqrt{2\pi I''(\xi)}}$$
dove $\xi = \xi(u)$ è l'unica soluzione positiva di $e^\xi = 1 + u\xi$, e $\gamma$ è la costante di Eulero.

Contributi Chiave e Risultati
L'articolo stabilisce due teoremi principali che forniscono limiti espliciti e stime per $\rho(u)$:

• Teorema 1 (Limiti Espliciti): Per $u > 1$, la funzione $\rho(u)$ è limitata da:
  $$\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)$$
  Ciò fornisce un intervallo conveniente per $\rho(u)$ utilizzando solo funzioni elementari e la funzione W di Lambert (per risolvere per $\xi$).

• Teorema 2 (Stima Perfezionata con Termine di Errore): Per $u > 1$, la funzione può essere espressa come:
  $$\rho(u) = \tilde{\rho}(u) \left(1 + \alpha(u) + \frac{\theta(u)}{u^2}\right)$$
  dove $\alpha(u)$ è un'espressione esplicita che coinvolge le derivate di $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, il termine di errore è limitato esplicitamente: $|\theta(u)| < 0.005$ per ogni $u \ge 5$. Ciò risulta in un errore relativo inferiore a $0.005/u^2$.

L'articolo fornisce anche un metodo per il calcolo numerico di $\rho(u)$ per la verifica:

• Per $1 \le u \le 50$, utilizza l'algoritmo del polinomio di Taylor di Marsaglia, Zaman e Marsaglia.
• Per $u$ più grandi, valuta numericamente l'integrale di Laplace inverso, notando che l'integrando converge alla densità normale standard.

Significato e Rivendicazioni
L'articolo sostiene che questi risultati permettono la "valutazione approssimata di $\rho(u)$ senza la necessità di risolvere numericamente l'equazione differenziale a ritardo". Fornendo costanti esplicite e limiti di errore, il lavoro rende "interamente esplicite" le stime asintotiche di de Bruijn e Alladi.

L'autore nota che, sebbene altri lavori (Smida, Xuan) forniscano stime con magnitudo di errore minori, essi mancano di esplicitezza numerica. I limiti espliciti derivati qui sono particolarmente utili per applicazioni che coinvolgono $\Psi(x, y)$, il conteggio degli interi fino a $x$ il cui fattore primo massimo è $\le y$. Specificamente, combinati con i risultati condizionali di Gorodetsky (assumendo l'Ipotesi di Riemann), questi limiti forniscono limiti inferiori condizionali per $\Psi(x, y)$ che sono "facili da valutare numericamente".

L'articolo valida i propri risultati confrontandoli con i valori ottenuti da van de Lune e Wattel, i quali hanno utilizzato la regola del trapezio per approssimare $\rho(u)$ ad almeno cinque cifre significative per $u \le 1000$. I valori derivati dai Teoremi 1 e 2 sono coerenti con questi benchmark numerici stabiliti.