Divisor summatory function

The summatory function, with leading terms removed, for

x<10^{4}

The summatory function, with leading terms removed, for

x<10^{7}

The summatory function, with leading terms removed, for

x<10^{7}

, graphed as a distribution or histogram. The vertical scale is not constant left to right; click on image for a detailed description.

In number theory, the divisor summatory function is a function that is a sum over the divisor function. It frequently occurs in the study of the asymptotic behaviour of the Riemann zeta function. The various studies of the behaviour of the divisor function are sometimes called divisor problems.

Definition

The divisor summatory function is defined as

D(x)=\sum _{{n\leq x}}d(n)=\sum _{{j,k \atop jk\leq x}}1

where

d(n)=\sigma _{0}(n)=\sum _{{j,k \atop jk=n}}1

is the divisor function. The divisor function counts the number of ways that the integer n can be written as a product of two integers. More generally, one defines

D_{k}(x)=\sum _{{n\leq x}}d_{k}(n)=\sum _{{mn\leq x}}d_{{k-1}}(n)

where d_k(n) counts the number of ways that n can be written as a product of k numbers. This quantity can be visualized as the count of the number of lattice points fenced off by a hyperbolic surface in k dimensions. Thus, for k=2, D(x) = D₂(x) counts the number of points on a square lattice bounded on the left by the vertical-axis, on the bottom by the horizontal-axis, and to the upper-right by the hyperbola jk = x. Roughly, this shape may be envisioned as a hyperbolic simplex. This allows us to provide an alternative expression for D(x), and a simple way to compute it in $O(\sqrt{x})$ time:

D(x)=\sum _{{k=1}}^{x}\left\lfloor {\frac {x}{k}}\right\rfloor =2\sum _{{k=1}}^{u}\left\lfloor {\frac {x}{k}}\right\rfloor -u^{2}

, where

u=\left\lfloor {\sqrt {x}}\right\rfloor

If the hyperbola in this context is replaced by a circle then determining the value of the resulting function is known as the Gauss circle problem.

Dirichlet's divisor problem

Finding a closed form for this summed expression seems to be beyond the techniques available, but it is possible to give approximations. The leading behaviour of the series is not difficult to obtain. Peter Gustav Lejeune Dirichlet demonstrated that

D(x)=x\log x+x(2\gamma -1)+\Delta (x)\

where $\gamma$ is the Euler–Mascheroni constant, and the non-leading term is

\Delta (x)=O\left({\sqrt {x}}\right).

Here, $O$ denotes Big-O notation. The Dirichlet divisor problem, precisely stated, is to find the smallest value of $\theta$ for which

\Delta (x)=O\left(x^{{\theta +\epsilon }}\right)

holds true, for any $\epsilon >0$ . As of today, this problem remains unsolved. Progress has been slow. Many of the same methods work for this problem and for Gauss's circle problem, another lattice-point counting problem. Section F1 of Unsolved Problems in Number Theory ^[1] surveys what is known and not known about these problems.

In 1904, G. Voronoi proved that the error term can be improved to $O(x^{{1/3}}\log x).$ ^[2]^:381
In 1916, G. H. Hardy showed that $\inf \theta \geq 1/4$ . In particular, he demonstrated that for some constant $K$ , there exist values of x for which $\Delta (x)>Kx^{{1/4}}$ and values of x for which $\Delta (x)<-Kx^{{1/4}}$ .^[3]^:69
In 1922, J. van der Corput improved Dirichlet's bound to $\inf \theta \leq 33/100.$ ^[2]^:381
In 1928, J. van der Corput proved that $\inf \theta \leq 27/82.$ ^[2]^:381
In 1950, Chih Tsung-tao and independently in 1953 H. E. Richert proved that $\inf \theta \leq 15/46.$ ^[2]^:381
In 1969, Grigori Kolesnik demonstrated that $\inf \theta \leq 12/37$ .^[2]^:381
In 1973, Grigori Kolesnik demonstrated that $\inf \theta \leq 346/1067$ .^[2]^:381
In 1982, Grigori Kolesnik demonstrated that $\inf \theta \leq 35/108$ .^[2]^:381
In 1988, H. Iwaniec and C. J. Mozzochi proved that $\inf \theta \leq 7/22.$ ^[4]
In 2003, M.N. Huxley improved this to show that $\inf \theta \leq 131/416.$ ^[5]

So, $\inf \theta$ lies somewhere between 1/4 and 131/416 (approx. 0.3149); it is widely conjectured to be 1/4. Theoretical evidence lends credence to this conjecture, since $\Delta (x)/x^{{1/4}}$ has a (non-Gaussian) limiting distribution. The value of 1/4 would also follow from a conjecture on exponent pairs.^[6]

Piltz divisor problem

In the generalized case, one has

D_{k}(x)=xP_{k}(\log x)+\Delta _{k}(x)\,

where $P_k$ is a polynomial of degree $k-1$ . Using simple estimates, it is readily shown that

\Delta _{k}(x)=O\left(x^{{1-1/k}}\log ^{{k-2}}x\right)

for integer $k\geq 2$ . As in the $k=2$ case, the infimum of the bound is not known for any value of $k$ . Computing these infima is known as the Piltz divisor problem, after the name of the German mathematician Adolf Piltz (also see his German page). Defining the order $\alpha _{k}$ as the smallest value for which $\Delta _{k}(x)=O\left(x^{{\alpha _{k}+\varepsilon }}\right)$ holds, for any $\varepsilon >0$ , one has the following results (note that $\alpha _{2}$ is the $\theta$ of the previous section):

\alpha _{2}\leq {\frac {131}{416}}\ ,

^[5]

\alpha _{3}\leq {\frac {43}{96}}\ ,

^[7] and^[8]

\begin{align} \alpha_k & \le \frac{3k-4}{4k}\quad(4\le k\le 8) \\[6pt] \alpha_9 & \le\frac{35}{54}\ ,\quad \alpha_{10}\le\frac{41}{60}\ ,\quad \alpha_{11}\le\frac{7}{10} \\[6pt] \alpha_k & \le \frac{k-2}{k+2}\quad(12\le k\le 25) \\[6pt] \alpha_k & \le \frac{k-1}{k+4}\quad(26\le k\le 50) \\[6pt] \alpha_k & \le \frac{31k-98}{32k}\quad(51\le k\le 57) \\[6pt] \alpha_k & \le \frac{7k-34}{7k}\quad(k\ge 58) \end{align}

E. C. Titchmarsh conjectures that $\alpha _{k}={\frac {k-1}{2k}}\ .$

Mellin transform

Both portions may be expressed as Mellin transforms:

D(x)={\frac {1}{2\pi i}}\int _{{c-i\infty }}^{{c+i\infty }}\zeta ^{2}(w){\frac {x^{w}}{w}}\,dw

for $c>1$ . Here, $\zeta (s)$ is the Riemann zeta function. Similarly, one has

\Delta (x)={\frac {1}{2\pi i}}\int _{{c^{\prime }-i\infty }}^{{c^{\prime }+i\infty }}\zeta ^{2}(w){\frac {x^{w}}{w}}\,dw

with $0<c^{\prime }<1$ . The leading term of $D(x)$ is obtained by shifting the contour past the double pole at $w=1$ : the leading term is just the residue, by Cauchy's integral formula. In general, one has

D_{k}(x)={\frac {1}{2\pi i}}\int _{{c-i\infty }}^{{c+i\infty }}\zeta ^{k}(w){\frac {x^{w}}{w}}\,dw

and likewise for $\Delta _{k}(x)$ , for $k\geq 2$ .

Notes

↑ Guy, Richard K. (2004). Unsolved Problems in Number Theory (3rd ed.). Berlin: Springer. ISBN 978-0-387-20860-2.
1 2 3 4 5 6 7 Ivic, Aleksandar (2003). The Riemann Zeta-Function. New York: Dover Publications. ISBN 0-486-42813-3.
↑ Montgomery, Hugh; R. C. Vaughan (2007). Multiplicative Number Theory I: Classical Theory. Cambridge: Cambridge University Press. ISBN 978-0-521-84903-6.
↑ Iwaniec, H.; C. J. Mozzochi (1988). "On the divisor and circle problems". Journal of Number Theory. 29: 60–93. doi:10.1016/0022-314X(88)90093-5.
1 2 Huxley, M. N. (2003). "Exponential sums and lattice points III". Proc. London Math. Soc. 87 (3): 591–609. doi:10.1112/S0024611503014485. ISSN 0024-6115. Zbl 1065.11079.
↑ Montgomery, Hugh L. (1994). Ten lectures on the interface between analytic number theory and harmonic analysis. Regional Conference Series in Mathematics. 84. Providence, RI: American Mathematical Society. p. 59. ISBN 0-8218-0737-4. Zbl 0814.11001.
↑ G. Kolesnik. On the estimation of multiple exponential sums, in "Recent Progress in Analytic Number Theory", Symposium Durham 1979 (Vol. 1), Academic, London, 1981, pp. 231–246.
↑ Aleksandar Ivić. The Theory of the Riemann Zeta-function with Applications (Theorem 13.2). John Wiley and Sons 1985.

References

H.M. Edwards, Riemann's Zeta Function, (1974) Dover Publications, ISBN 0-486-41740-9
E. C. Titchmarsh, The theory of the Riemann Zeta-Function, (1951) Oxford at the Clarendon Press, Oxford. (See chapter 12 for a discussion of the generalized divisor problem)
Apostol, Tom M. (1976), Introduction to analytic number theory, Undergraduate Texts in Mathematics, New York-Heidelberg: Springer-Verlag, ISBN 978-0-387-90163-3, MR 0434929, Zbl 0335.10001 (Provides an introductory statement of the Dirichlet divisor problem.)
H. E. Rose. A Course in Number Theory., Oxford, 1988.
M.N. Huxley (2003) 'Exponential Sums and Lattice Points III', Proc. London Math. Soc. (3)87: 591–609

This article is issued from Wikipedia - version of the 3/4/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.