Fractional Parts of Noninteger Powers of Primes
- PDF / 676,402 Bytes
- 15 Pages / 612 x 792 pts (letter) Page_size
- 51 Downloads / 229 Views
ractional Parts of Noninteger Powers of Primes* A. V. Shubin1** 1
Moscow Institute of Physics and Technology, Dolgoprudny, 141701 Russia Received April 30, 2020; in final form, April 30, 2020; accepted May 12, 2020
Abstract—Let α > 0 be any fixed noninteger. In the paper, we prove an analogue of the Bombieri–Vinogradov theorem for the set of primes p satisfying the condition {pα } < 1/2. This generalizes the previous result of Gritsenko and Zinchenko. DOI: 10.1134/S0001434620090084 Keywords: prime numbers, arithmetic progressions, fractional parts, Bombieri–Vinogradov theorem, exponential sums.
1. INTRODUCTION The problem concerning the distribution of primes satisfying the condition {pα } < σ for fixed numbers α, σ such that 0 < α, σ < 1 was first considered by Vinogradov in [1]. Using his method of exponential sums, he proved the formula 1 = σπ(X) + R(X), (1) p≤X {pα } 1 and sharpened in [9]–[13]. Vinogradov gave an interesting interpretation of the subset of primes
p satisfying the condition {pα } < 1/2: all such primes lie in intervals of the form k1/α ; (k + 1/2)1/α . Clearly, the length of such interval grows as k → +∞ for α < 1 and tends to zero for α > 1. Thus, in the second case, most such intervals do not contain even a single integer. This is the reason why the case α > 1 seems to be more difficult. Many results in number theory are based on the Bombieri–Vinogradov theorem, which is an estimate of the following type: π(Y ) X max max 1− . Y ≤X (a,q)=1 ϕ(q) (log X)A q≤Q
p≡a
p≤Y (mod q)
Here A > 0 is an arbitrary fixed constant, Q = X θ−ε with any fixed θ ≤ 1/2. The exponent θ is usually called “level distribution.” In the case of some special set E of integers, an analogue of Bombieri–Vinogradov theorem has the form: 1 X max max 1− 1 . (2) Y ≤X (a,q)=1 ϕ(q) (log X)A q≤Q
p≤Y,p∈E p≡a (mod q)
p≤Y p∈E
√ For the set E = n ∈ N | { n} < 1/2 , such an estimate was first proved by Tolev [14] for any θ ≤ 1/4. Later, this result was improved by Gritsenko and Zinchenko [15], who showed that (2) holds for all θ ≤ 1/3 for any set
1/2 ≤ α < 1. E = n ∈ N | {nα } < 1/2 , In the present paper, we show that the similar statement holds for any fixed noninteger α > 0. The main result is the following theorem. Theorem 1. Suppose that α > 0 is fixed noninteger and let E be the set of integers n satisfying the condition {nα } < 1/2. Further, let θ, ε and A > 0 be some fixed numbers such that 0 < ε < θ < 1/3, ε < α/20 and let 2 < Q ≤ X θ−ε . Then the inequality 1 cX max 1− 1 ≤ ϕ(q) (log X)A (a,q)=1 q≤Q
X≤p 0 is fixed noninteger, E is the set of integers n satisfying the condition {nα } < 1/2. Further, let θ, ε, D be fixed constants satisfying the conditions 0 < ε < θ < 1/3, ε < α/20, D > 1, and suppose that 1 ≤ h ≤ (log X)D , 2 < Q ≤ X θ−ε . Then the sum α max e(hp ) T = (a,q)=1 q≤Q
MATHEMATICAL NOTES
Vol. 108 No. 3 2020
X≤p
Data Loading...