Explicit bounds for Dickman's function

Technische Samenvatting: Expliciete Grenzen voor de Dickman-functie

Probleemstelling
De Dickman-functie, $\rho(u)$, is gedefinieerd als de continue oplossing van de vertraagde differentiaalvergelijking $u\rho'(u) + \rho(u-1) = 0$ met de beginvoorwaarde $\rho(u) = 1$ voor $0 \le u \le 1$. Het vertegenwoordigt de natuurlijke dichtheid van gehele getallen $n$ waarvan de grootste priemfactor niet groter is dan $n^{1/u}$. Hoewel het asymptotische gedrag van $\rho(u)$ als $u \to \infty$ goed begrepen is via het werk van de Bruijn en Alladi, bevatten deze resultaten doorgaans impliciete fouttermen (bijv. $O(1/u)$). De primaire uitdaging die in dit artikel wordt aangepakt, is het vaststellen van numeriek expliciete boven- en ondergrenzen voor $\rho(u)$ die een benaderende evaluatie mogelijk maken zonder de vertraagde differentiaalvergelijking numeriek op te lossen.

Methodologie
De auteur maakt gebruik van de stationaire fase methode (saddle point method) toegepast op de inverse Laplace-integraalrepresentatie van $\rho(u)$. De aanpak verfijnt de bewijstechniek uit het werk van Tenenbaum, die Alladi's resultaat met een relatieve fout van $O(u^{-1})$ vaststelde. Om de hier vereiste nauwere expliciete grenzen te bereiken, omvat de methodologie:

1. Precieze Fouttracking: Het nauwkeurig bijhouden van alle constante factoren in plaats van ze op te nemen in de big-O-notatie.
2. Verfijnde Integratie: Het verdelen van het integratiebereik in aanvullende intervallen om bijdragen nauwkeuriger te isoleren.
3. Hogere-orde Expansie: Het gebruik van een Taylor-polynoom van de zevende orde (in plaats van drie) nabij het stationaire punt om hogere-orde termen in de expansie van de integraal te vangen.
4. Expliciete Lemma's: Het afleiden van specifieke ongelijkheden voor de afgeleiden van de integraalfunctie $I(s) = \int_0^s \frac{e^z-1}{z} dz$ en het afgrenzen van de staartbijdragen van de integraal met behulp van lemma's gerelateerd aan de incomplete gammafunctie.

De functie $\tilde{\rho}(u)$, die dient als de primaire benadering, wordt gedefinieerd als:
$$\tilde{\rho}(u) := \frac{\exp\{\gamma - u\xi + I(\xi)\}}{\sqrt{2\pi I''(\xi)}}$$
waarbij $\xi = \xi(u)$ de unieke positieve oplossing is van $e^\xi = 1 + u\xi$, en $\gamma$ de Euler-constante is.

Belangrijkste Bijdragen en Resultaten
Het artikel stelt twee hoofdtheorema's vast die expliciete grenzen en schattingen voor $\rho(u)$ bieden:

• Theorema 1 (Expliciete Grenzen): Voor $u > 1$ wordt de functie $\rho(u)$ begrensd door:
  $$\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)$$
  Dit biedt een handig bereik voor $\rho(u)$ met behulp van enkel elementaire functies en de Lambert W-functie (om $\xi$ op te lossen).

• Theorema 2 (Verfijnde Schatting met Foutterm): Voor $u > 1$ kan de functie worden uitgedrukt als:
  $$\rho(u) = \tilde{\rho}(u) \left(1 + \alpha(u) + \frac{\theta(u)}{u^2}\right)$$
  waarbij $\alpha(u)$ een expliciete uitdrukking is die de afgeleiden van $I(\xi)$ betreft:
  $$\alpha(u) := \frac{1}{8}\frac{I^{(4)}(\xi)}{(I''(\xi))^2} - \frac{5}{24}\frac{(I^{(3)}(\xi))^2}{(I''(\xi))^3}$$
  Cruciaal is dat de foutterm expliciet begrensd is: $|\theta(u)| < 0,005$ voor alle $u \ge 5$. Dit resulteert in een relatieve fout van minder dan $0,005/u^2$.

Het artikel biedt ook een methode voor de numerieke berekening van $\rho(u)$ voor verificatie:

• Voor $1 \le u \le 50$ wordt het Taylor-polynoomalgoritme van Marsaglia, Zaman en Marsaglia gebruikt.
• Voor grotere $u$ wordt de inverse Laplace-integraal numeriek geëvalueerd, waarbij wordt opgemerkt dat de integraal convergeert naar de standaard normale dichtheidsfunctie.

Betekenis en Claims
Het artikel claimt dat deze resultaten de "benaderende evaluatie van $\rho(u)$ mogelijk maken zonder de noodzaak om de vertraagde differentiaalvergelijking numeriek op te lossen." Door expliciete constanten en foutgrenzen te verstrekken, maakt het werk de asymptotische schattingen van de Bruijn en Alladi "volledig expliciet".

De auteur merkt op dat hoewel andere werken (Smida, Xuan) schattingen bieden met kleinere foutmarges, zij de numerieke explicititeit missen. De hier afgeleide expliciete grenzen zijn bijzonder nuttig voor toepassingen met betrekking tot $\Psi(x, y)$, de telling van gehele getallen tot $x$ waarvan de grootste priemfactor $\le y$ is. In het bijzonder, in combinatie met voorwaardelijke resultaten van Gorodetsky (uitgaande van de Riemann-hypothese), leveren deze grenzen voorwaardelijke ondergrenzen voor $\Psi(x, y)$ op die "gemakkelijk numeriek te evalueren" zijn.

Het artikel valideert de resultaten door ze te vergelijken met waarden verkregen van van der Lune en Wattel, die de trapeziumregel gebruikten om $\rho(u)$ tot ten minste vijf significante cijfers te benaderen voor $u \le 1000$. De waarden afgeleid van de Theorema's 1 en 2 zijn consistent met deze gevestigde numerieke benchmarks.