HOME

TheInfoList



OR:

In
analytic number theory In mathematics, analytic number theory is a branch of number theory that uses methods from mathematical analysis to solve problems about the integers. It is often said to have begun with Peter Gustav Lejeune Dirichlet's 1837 introduction of Diric ...
, 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 defined by ...
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 Nicolaas Govert (Dick) de Bruijn (; 9 July 1918 – 17 February 2012) was a Dutch mathematician, noted for his many contributions in the fields of analysis, number theory, combinatorics and logic.
.


Definition

The Dickman–de Bruijn function \rho(u) is a
continuous function In mathematics, a continuous function is a function such that a continuous variation (that is a change without jump) of the argument induces a continuous variation of the value of the function. This means that there are no abrupt changes in value ...
that satisfies the
delay differential equation In mathematics, delay differential equations (DDEs) are a type of differential equation in which the derivative of the unknown function at a certain time is given in terms of the values of the function at previous times. DDEs are also called time ...
: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 Smooth may refer to: Mathematics * Smooth function, a function that is infinitely differentiable; used in calculus and topology * Smooth manifold, a differentiable manifold for which all the transition maps are smooth functions * Smooth algebrai ...
(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 e ...
:\Psi(x,x^)=x\rho(a)+O(x/\log x) in
big O notation Big ''O'' notation is a mathematical notation that describes the limiting behavior of a function when the argument tends towards a particular value or infinity. Big O is a member of a family of notations invented by Paul Bachmann, Edmund Lan ...
.


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 In mathematics, the Golomb–Dickman constant arises in the theory of random permutations and in number theory. Its value is :\lambda = 0.62432 99885 43550 87099 29363 83100 83724\dots It is not known whether this constant is rational or irration ...
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&n ...
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 an ...
\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 In mathematics, Spence's function, or dilogarithm, denoted as , is a particular case of the polylogarithm. Two related special functions are referred to as Spence's function, the dilogarithm itself: :\operatorname_2(z) = -\int_0^z\, du \textz ...
. 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 The Buchstab function (or Buchstab's function) is the unique continuous function \omega: \R_\rightarrow \R_ defined by the delay differential equation :\omega(u)=\frac 1 u, \qquad\qquad\qquad 1\le u\le 2, : (u\omega(u))=\omega(u-1), \qquad u\ge 2. ...
, 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 In mathematics, the Golomb–Dickman constant arises in the theory of random permutations and in number theory. Its value is :\lambda = 0.62432 99885 43550 87099 29363 83100 83724\dots It is not known whether this constant is rational or irration ...


References


Further reading

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