The Bombieri-Vinogradov theorem for primes of the form $\mathbf{p=x^2+y^2+1}$

S. I. Dimitrov
2024-02-26
Abstract:In this paper, we establish a Bombieri-Vinogradov type result for prime numbers of the form $p=x^2+y^2+1$. The proof is based on the enveloping sieve.
Number Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to establish a result similar to the Bombieri - Vinogradov theorem for prime numbers of a specific form \(p = x^2 + y^2+ 1\). Specifically, the author hopes to prove the distribution of these prime numbers of special forms in arithmetic progressions, and this distribution can be quantified and estimated. ### Background and Motivation The Bombieri - Vinogradov theorem is an important result in analytic number theory, which describes the distribution of prime numbers in arithmetic progressions. For a given \(X\geq2\) and a constant \(B > 0\), the theorem asserts that: \[ \sum_{d\leq\sqrt{X}/(\log X)^{B + 5}}\max_{y\leq X}\max_{(a,d)=1}\left|\sum_{\substack{p\leq y\\p\equiv a\ (\text{mod }d)}}\log p-\frac{y}{\phi(d)}\right|\ll\frac{X}{(\log X)^B} \] where \(\phi(n)\) is the Euler function. However, for some prime numbers of specific forms (for example, \(p = [n^c]\) or prime numbers with missing digits), there are already some similar results. Linnik proved in 1960 that there are infinitely many prime numbers of the form \(p=x^2 + y^2+ 1\) and gave its asymptotic formula: \[ \sum_{p\leq X}r(p - 1)=\pi\prod_{p>2}\left(1+\frac{\chi(p)}{p(p - 1)}\right)\frac{X}{\log X}+O\left(\frac{X(\log\log X)^7}{(\log X)^{1+\theta_0}}\right) \] where \(r(n)\) represents the number of integer solutions of the equation \(n=x^2 + y^2\), \(\chi(n)\) is the non - principal character modulo 4, and \(\theta_0=\frac{1}{2}-\frac{1}{4e\log 2}\approx0.0289\). ### Main Contributions of the Paper Inspired by the above research, the author applies the enveloping sieve method to establish a Bombieri - Vinogradov - type result for Linnik prime numbers. Specifically, the author proves the following theorem: **Theorem 1**: Let \(X > e\) and \(A>0\) be fixed, then \[ \sum_{q\leq(\log X)^A}\max_{(a,q)=1}\left|\sum_{\substack{p\leq X\\p\equiv a\ (\text{mod }q)}}r(p - 1)-\frac{1}{\phi(q)}\sum_{p\leq X}r(p - 1)\right|\ll\frac{X(\log\log X)^7}{(\log X)^{1+\theta_0}} \] This theorem shows that for prime numbers of the form \(p = x^2 + y^2+ 1\), the distribution in arithmetic progressions can be effectively estimated, thus providing new tools and methods for the study of this type of prime numbers.