Smooth integers and the Dickman $ρ$ function

Abstract

We establish an asymptotic formula for $Ψ(x,y)$ whose shape is $x ρ(\log x/\log y)$ times correction factors. These factors take into account the contributions of zeta zeros and prime powers and the formula can be regarded as an (approximate) explicit formula for $Ψ(x,y)$. With this formula at hand we prove oscillation results for $Ψ(x,y)$, which resolve a question of Hildebrand on the range of validity of $Ψ(x,y) \asymp xρ(\log x/\log y)$. We also address a question of Pomerance on the range of validity of $Ψ(x,y) \ge x ρ(\log x/\log y)$. Along the way we improve classical estimates for $Ψ(x,y)$ and, on the Riemann Hypothesis, uncover an unexpected phase transition of $Ψ(x,y)$ at $y=(\log x)^{3/2+o(1)}$.