In
analytic number theory, the Dickman function or Dickman–de Bruijn function ''ρ'' is a
special function
Special functions are particular mathematical functions that have more or less established names and notations due to their importance in mathematical analysis, functional analysis, geometry, physics, or other applications.
The term is defin ...
used to estimate the proportion of
smooth number
In number theory, an ''n''-smooth (or ''n''-friable) number is an integer whose prime factors are all less than or equal to ''n''. For example, a 7-smooth number is a number whose every prime factor is at most 7, so 49 = 72 and 15750 = 2 × 32 × ...
s up to a given bound.
It was first studied by actuary
Karl Dickman, who defined it in his only mathematical publication, which is not easily available, and later studied by the Dutch mathematician
Nicolaas Govert de Bruijn.
Definition
The Dickman–de Bruijn function
is a
continuous function that satisfies the
delay differential equation
:
with initial conditions
for 0 ≤ ''u'' ≤ 1.
Properties
Dickman proved that, when
is fixed, we have
:
where
is the number of ''y''-
smooth (or ''y''-
friable
Friability ( ), the condition of being friable, describes the tendency of a solid substance to break into smaller pieces under duress or contact, especially by rubbing. The opposite of friable is indurate.
Substances that are designated hazardous, ...
) integers below ''x''.
Ramaswami later gave a rigorous proof that for fixed ''a'',
was asymptotic to
, with the
error bound
The approximation error in a data value is the discrepancy between an exact value and some ''approximation'' to it. This error can be expressed as an absolute error (the numerical amount of the discrepancy) or as a relative error (the absolute er ...
:
in
big O notation.
Applications
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 using
that
:
which is related to the estimate
below.
The
Golomb–Dickman constant has an alternate definition in terms of the Dickman–de Bruijn function.
Estimation
A first approximation might be
A better estimate is
:
where Ei is the
exponential integral
In mathematics, the exponential integral Ei is a special function on the complex plane.
It is defined as one particular definite integral of the ratio between an exponential function and its argument.
Definitions
For real non-zero values of  ...
and ''ξ'' is the positive root of
:
A simple upper bound is
Computation
For each interval
'n'' − 1, ''n''with ''n'' an integer, there is an
analytic function
In mathematics, an analytic function is a function that is locally given by a convergent power series. There exist both real analytic functions and complex analytic functions. Functions of each type are infinitely differentiable, but complex ...
such that
. For 0 ≤ ''u'' ≤ 1,
. For 1 ≤ ''u'' ≤ 2,
. For 2 ≤ ''u'' ≤ 3,
:
with Li
2 the
dilogarithm. Other
can be calculated using infinite series.
An alternate method is computing lower and upper bounds with the
trapezoidal rule
In calculus, the trapezoidal rule (also known as the trapezoid rule or trapezium rule; see Trapezoid for more information on terminology) is a technique for approximating the definite integral.
\int_a^b f(x) \, dx.
The trapezoidal rule works b ...
;
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.
Extension
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
:
See also
*
Buchstab function, a function used similarly to estimate the number of
rough number A ''k''-rough number, as defined by Finch in 2001 and 2003, is a positive integer whose prime factors are all greater than or equal to ''k''. ''k''-roughness has alternately been defined as requiring all prime factors to strictly exceed ''k''.p. 130 ...
s, whose convergence to
is controlled by the Dickman function
*
Golomb–Dickman constant
References
Further reading
*
*
*
{{DEFAULTSORT:Dickman Function
Analytic number theory
Special functions