In analytic number theory, the Dickman function or DickmanâÂÂde Bruijn function àis a special function used to estimate the proportion of smooth numbers up to a given bound. It was first studied by actuary Karl Dickman, who defined it in his only mathematical publication. It was later studied by the Dutch mathematician Nicolaas Govert de Bruijn.
The DickmanâÂÂde Bruijn function is a continuous function that satisfies the delay differential equation
with initial conditions for 0 ⤠u ⤠1.
Dickman proved that, when is fixed, we have
where is the number of y-smooth (or y-friable) integers below x. Equivalently, the number of -smooth numbers less than is about
Ramaswami later gave a rigorous proof that for fixed a, was asymptotic to , with the error bound
in big O notation.
Knuth gives a proof for a narrowed bound:
where γ is Euler's constant.
The main purpose of the DickmanâÂÂde Bruijn function is to estimate the frequency of smooth numbers at a given size. This can be used to optimize various number-theoretical algorithms such as PâÂÂ1 factoring and can be useful of its own right.
It can be shown that
which is related to the estimate below.
The GolombâÂÂDickman constant has an alternate definition in terms of the DickmanâÂÂde Bruijn function.
A first approximation might be A better estimate is
where Ei is the exponential integral and þ is the positive root of
A simple upper bound is
For each interval [n â 1, n] with n an integer, there is an analytic function such that . For 0 ⤠u ⤠1, . For 1 ⤠u ⤠2, . For 2 ⤠u ⤠3,
with Li<sub>2</sub> the dilogarithm. Other can be calculated using infinite series.
An alternate method is computing lower and upper bounds with the trapezoidal rule; a mesh of progressively finer sizes allows for arbitrary accuracy. For high precision calculations (hundreds of digits), a recursive series expansion about the midpoints of the intervals is superior. Values for u ⤠7 can be usefully computed via numerical integration in ordinary double-precision floating-point.
Friedlander defines a two-dimensional analog of . This function is used to estimate a function similar to de Bruijn's, but counting the number of y-smooth integers with at most one prime factor greater than z. Then
This class of numbers may be encountered in the two-stage variant of P-1 factoring. However, Kruppa's estimate of the probability of finding a factor by P-1 does not make use of this result.