Dickman function

From testwiki
Jump to navigation Jump to search

Template:Short description

The Dickman–de Bruijn function ρ(u) plotted on a logarithmic scale. The horizontal axis is the argument u, and the vertical axis is the value of the function. The graph nearly makes a downward line on the logarithmic scale, demonstrating that the logarithm of the function is quasilinear.

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,[1] which is not easily available,[2] and later studied by the Dutch mathematician Nicolaas Govert de Bruijn.[3][4]

Definition

The Dickman–de Bruijn function ρ(u) is a continuous function that satisfies the delay differential equation

uρ(u)+ρ(u1)=0

with initial conditions ρ(u)=1 for 0 ≤ u ≤ 1.

Properties

Dickman proved that, when a is fixed, we have

Ψ(x,x1/a)xρ(a)

where Ψ(x,y) is the number of y-smooth (or y-friable) integers below x.

Ramaswami later gave a rigorous proof that for fixed a, Ψ(x,x1/a) was asymptotic to xρ(a), with the error bound

Ψ(x,x1/a)=xρ(a)+O(x/logx)

in big O notation.[5]

Applications

The Dickman–de Bruijn used to calculate the probability that the largest and 2nd largest factor of x is less than x^a

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[6]

Ψ(x,y)=xuO(u)

which is related to the estimate ρ(u)uu below.

The Golomb–Dickman constant has an alternate definition in terms of the Dickman–de Bruijn function.

Estimation

A first approximation might be ρ(u)uu. A better estimate is[7]

ρ(u)1ξ2πuexp(uξ+Ei(ξ))

where Ei is the exponential integral and ξ is the positive root of

eξ1=uξ.

A simple upper bound is ρ(x)1/x!.

u ρ(u)
1 1
2 3.0685282Template:E
3 4.8608388Template:E
4 4.9109256Template:E
5 3.5472470Template:E
6 1.9649696Template:E
7 8.7456700Template:E
8 3.2320693Template:E
9 1.0162483Template:E
10 2.7701718Template:E

Computation

For each interval [n − 1, n] with n an integer, there is an analytic function ρn such that ρn(u)=ρ(u). For 0 ≤ u ≤ 1, ρ(u)=1. For 1 ≤ u ≤ 2, ρ(u)=1logu. For 2 ≤ u ≤ 3,

ρ(u)=1(1log(u1))log(u)+Li2(1u)+π212.

with Li2 the dilogarithm. Other ρn can be calculated using infinite series.[8]

An alternate method is computing lower and upper bounds with the trapezoidal rule;[7] 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.[9]

Extension

Friedlander defines a two-dimensional analog σ(u,v) of ρ(u).[10] This function is used to estimate a function Ψ(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

Ψ(x,x1/a,x1/b)xσ(b,a).

See also

References

Further reading