HOME

TheInfoList



OR:

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 \rho(u) is a continuous function that satisfies the delay differential equation :u\rho'(u) + \rho(u-1) = 0\, with initial conditions \rho(u) = 1 for 0 ≤ ''u'' ≤ 1.


Properties

Dickman proved that, when a is fixed, we have :\Psi(x, x^)\sim x\rho(a)\, where \Psi(x,y) 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'', \Psi(x,x^) was asymptotic to x \rho(a), 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 ...
:\Psi(x,x^)=x\rho(a)+O(x/\log x) 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 \log\rho that :\Psi(x,y)=xu^ which is related to the estimate \rho(u)\approx u^ below. The Golomb–Dickman constant has an alternate definition in terms of the Dickman–de Bruijn function.


Estimation

A first approximation might be \rho(u)\approx u^.\, A better estimate is :\rho(u)\sim \frac 1 \cdot \exp(-u\xi+\operatorname(\xi)) 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 :e^\xi-1=u\xi.\, A simple upper bound is \rho(x)\le1/x!.


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 ...
\rho_n such that \rho_n(u)=\rho(u). For 0 ≤ ''u'' ≤ 1, \rho(u) = 1. For 1 ≤ ''u'' ≤ 2, \rho(u) = 1-\log u. For 2 ≤ ''u'' ≤ 3, :\rho(u) = 1-(1-\log(u-1))\log(u) + \operatorname_2(1 - u) + \frac. with Li2 the dilogarithm. Other \rho_n 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 \sigma(u,v) of \rho(u). This function is used to estimate a function \Psi(x,y,z) similar to de Bruijn's, but counting the number of ''y''-smooth integers with at most one prime factor greater than ''z''. Then :\Psi(x,x^,x^)\sim x\sigma(b,a).\,


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 e^ is controlled by the Dickman function * Golomb–Dickman constant


References


Further reading

* * * {{DEFAULTSORT:Dickman Function Analytic number theory Special functions