Let ψ(n)be Euler function,σ(n)denote the sum of divisors of n and d(n)be the divisor function.In this paper we prove the following four theorems.Theorem 1.For any given sequence of κ non-negative numbers α_1,…,α_κand e0,there exists a prime number p such that(?) (1)There exist positive constants с-0(α,e)and Х_0(α,e)such that the numberof primes р satisfying(1)in the interval 1р≤x is greater than(?)Theorem 2 is obtained from Theorem 1 by replacing the letters ψ by σ,с_0 by с-1 and Х_0 by Х_1.Theorem 3.For any given natural number к,there exists a constant γdepending on κ only such that for any given sequence of κ+1 positive integersα_0,α-1,…,α_κ,there exists a prime number р,such that (?) (2)There exist positive constant с_2(α)and Х_2(α)such that the number ofprimes р satisfying(2)in the interval 1≤р≤x is greater than(?)Theorem 4.For any given sequence of κ numbers α_1,…,α_κ,where α_i=0or +∞(1≤i≤κ),there exists an infinite sequence of prime numbers{р_j}(j=1,2,…)such that(?)These theorems improve some results of the author,Schinzel,andShao.The proof of these theorems depends on the followingFundamental Lemma.Let(?)be given natural numbers,where q_(μυ)(0≤μ≤κ,1≤υ≤t_μ)are prime num-bers greater than κ+1 and relatively prime in pairs.If xZ(m_0m_1…m_κ)~2,and N_z(x)denote the number of positive solu-tions(р,x_0,x_1…,x_κ)of the system of equations(?)satisfying the conditions(?)where р and р′denote primes,than there exist positive constants с_3,Х_3 depen-dent only on m_i,and α,dependent only on κ such that(?)If xZ(m_0…m_κ)~2,λ is a given positive number in the interval 1≤λ≤≤(m_0…m_κ)~2 satisfying(λ,m_0…m_κ)=1 and р_1р_2…р_r≤Z are all primenumbers that do not divide m_0…m_κ and do not exceed Z,and if α_(ij)(1≤i≤≤r,1≤j≤κ+1)are given positive numbers satisfying the conditions 1≤α_(ij)р_i and j_≠j_2 impries α_(ij_1)≠α_(ij_2),then we can define M_z(x)as the numberof primes р satisfying the conditions1р≤x,р≡λ(mod(m_0…m_κ)~2),р(?)α_(ij)(mod р_i)(1≤i≤r,1≤j≤κ+1).Fundamental Lemma obviously follows from the following two lemmas.Lemma 1.There exist α_(ij) and λ such that M_z(x)≤N_z(x).Lemma 2.There exist positive constants с_4,Х_4,dependent only on m_i,and positive constant β,dependent only on κ,such that(?)for any given λ and α_(ij).The proof of Lemma 2 depends essentially on the methods of Линник andRe(?)yi.
Read more