On the \(k\)-dimensional Piatetski-Shapiro prime number theorem (Q1974195)

Let \(k\) be a positive integer and let \(1<c_1<c_2< \cdots <c_k\) be fixed real numbers. Denote \(\pi(x;c_1,\dots,c_k)=\) the number of primes \(p\leq x\) such that \(p=[n_1^{c_1}]= \cdots= [n_k^{c_k}]\). Piatetski-Shapiro considered the problem of finding the asymptotic formula for \(\pi(x;c_1)\). He proved that if \(1<c_1< 12/11\) then \(\pi(x;c_1) \sim x/(c_1\log x)\). The range for \(c_1\) was extended by several authors. The best published result is due to Liu and Rivat who proved that the above formula holds for \(1<c_1< 15/13\). Leitmann generalized the Piatetski-Shapiro problem to \(k=2\). He proved that if \(\gamma_1+ \gamma_2> 55/28\) then \[ \pi(x;c_1,c_2) \sim (\gamma_1 \gamma_2/(\gamma_1+ \gamma_2-1)) (\chi^{\gamma_1 +\gamma_2-1}/ \log x),\quad \text{where} \quad\gamma_j= 1/c_j. \] In this paper the author complements the above results by proving that for any \(k>2\) and any \(c_1, \dots,c_k\) such that \(\gamma_1+ \cdots+ \gamma_k> k-k/(4k^2+2)\) the following is true: \[ \pi(x;c_1, \dots,c_k)= \gamma_1 \dots\gamma_k \int^x_2 (t^{\gamma_1+ \cdots+ \gamma_k-k}/ \log t)dt+O (\chi^{\gamma_1+ \cdots+ \gamma_k-k+1} e^{-c_0 \sqrt{\log x}}) \] for some \(c_0\). The implied constant and \(c_0\) depend only on \(c_1, \dots, c_k\) and \(k\).