On high power moments of the error term of the Dirichlet divisor function over primes

Zhen Guo,Xin Li
2024-10-01
Abstract:Let $3\leqslant k\leqslant9$ be a fixed integer, $p$ be a prime and $d(n)$ denote the Dirichlet divisor function. We use $\Delta(x)$ to denote the error term in the asymptotic formula of the summatory function of $d(n)$. The aim of this paper is to study the $k$-th power moments of $\Delta(p)$, namely $\sum_{p\leqslant x}\Delta^k(p)$, and we give an asymptotic formula.
Number Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to study the high - power moments of the error term of the Dirichlet divisor function on prime numbers. Specifically, for a fixed integer \(3\leq k\leq9\) and a prime number \(p\), the author studies the asymptotic formula of the \(k\)-th power moment of the error term \(\Delta(p)\), that is, to solve: \[ \sum_{p\leq x}\Delta^{k}(p) \] Here, \(\Delta(x)\) is the error term in the asymptotic formula of the Dirichlet divisor function \(d(n)\). The goal of the paper is to give the asymptotic formula of this sum and provide specific estimation results. ### Background Introduction The Dirichlet divisor function \(d(n)\) represents the number of positive divisors of \(n\). Its partial sum function \(D(x)\) is defined as: \[ D(x):=\sum_{n\leq x}d(n) \] It is known that the asymptotic behavior of \(D(x)\) is: \[ D(x)=x\log x+(2\gamma - 1)x+\Delta(x) \] where \(\gamma\) is the Euler constant and \(\Delta(x)\) is the error term. Historically, many scholars have improved the order of \(\Delta(x)\), until Huxley gave the best result so far: \[ \Delta(x)\ll x^{131/416}(\log x)^{26497/8320} \] ### Research Content The focus of this paper is on the high - power moments of the error term \(\Delta(p)\) on prime numbers. Specifically, the author considers the sum of the following form: \[ \sum_{p\leq x}\Delta^{k}(p) \] For an integer \(k\) with \(3\leq k\leq9\), the author gives the asymptotic formula of this sum and proves that there exists a computable constant \(B_{k}(\infty)\) such that: \[ \sum_{p\leq x}\Delta^{k}(p)=B_{k}(\infty)\sum_{p\leq x}p^{k/4}+O\left(x^{1 + k/4-\theta(k,A_{0})+\varepsilon}\right) \] where \(\theta(k,A_{0})\) is a positive number depending on \(k\) and \(A_{0}\), and \(A_{0}\) is a constant defined by inequality (1.3). ### Conclusion Through a series of complex analyses and estimations, the author successfully obtains the asymptotic formula of the high - power moments of \(\Delta(p)\) on prime numbers, which is of great significance for understanding the behavior of the error term of the Dirichlet divisor function on prime numbers.