On the Karatsuba divisor problem

Vitalii V. Iudelevich
2023-04-06
Abstract:We obtain an upper bound for the sum $\Phi_a(x) = \sum_{p\le x}1/(\tau(p+a))$, where $\tau(n)$ is the divisor function, $a\ge 1$ is a fixed integer, and $p$ run through primes up to $x$.
Number Theory
What problem does this paper attempt to address?
This paper attempts to solve an analytic number theory problem proposed by A. A. Karatsuba in 2004, specifically to find the asymptotic formula for the sum \(\Phi_a(x) = \sum_{p \leq x} \frac{1}{\tau(p + a)}\), where \(\tau(n)\) represents the divisor function, \(a\geq1\) is a fixed integer, and the sum is taken over all prime numbers \(p\) not exceeding \(x\). The problem proposed by Karatsuba combines the characteristics of two classical analytic number theory problems: 1. **Titchmarsh divisor problem**: Study the asymptotic behavior of the sum \(F_a(x)=\sum_{p \leq x} \tau(p + a)\). Titchmarsh proved in 1930 that \(\sum_{p \leq x} \tau(p - 1)=O(x)\), and further gave more precise results under the generalized Riemann hypothesis. 2. **Ramanujan's sum of the divisor function**: Study the asymptotic formula of the sum \(T(x)=\sum_{n \leq x} \frac{1}{\tau(n)}\). Ramanujan proved the asymptotic expansion of \(T(x)\) in 1916. The main goal of this paper is to find an upper bound for the sum \(\Phi_a(x)\). The author uses the Selberg sieve method and obtains the following result: \[ \Phi_a(x)\ll\frac{ax}{(\ln x)^{3/2}} \] More precisely, the author proves the following theorem: \[ \sum_{p \leq x} \frac{1}{\tau(p + a)}\leq\frac{4K(a)x}{(\ln x)^{3/2}}+O\left(\frac{x\ln\ln x}{(\ln x)^{5/2}}\right) \] where, \[ K(a) = K_\beta(a),\quad K=\frac{1}{\sqrt{\pi}}\prod_p\frac{\sqrt{p}}{p - 1}\left(\frac{p\ln p}{p - 1}-\frac{1}{p - 1}\right), \] \[ \beta(a)=\prod_{p|a}\left(1+\frac{1}{p(p - 1)}\ln\left(\frac{p}{p - 1}\right)-1\right). \] This upper bound is consistent with the expected order of magnitude of \(\Phi_a(x)\), that is: \[ \frac{\Phi_a(x)}{x}\asymp\frac{1}{(\ln x)^{3/2}}. \] In summary, this paper solves the problem of the asymptotic behavior of the sum of the divisor function with shifted primes proposed by Karatsuba, and provides a strict upper bound estimate through the Selberg sieve method.