arxiv: v5 [math.gm] 6 Oct 2018

Transcription

1 Primes In Arithmetic Progressions And Primitive Roots N. A. Carella arxiv: v5 [math.gm] 6 Oct 208 Abstract: Let x be a large number, and let a < q be integers such that gcd(a,q) and q O(log c ) with c > 0 constant. This note roves that the counting function for the number of rimes { qn+a : n } with a fixed rimitive root u ±,v 2 has the asymtotic formula π u (x,q,a) δ(u,q,a)x/logx+o(x/log b x), where δ(u,q,a) > 0 is the density, and b > c+ is a constant. Introduction Let u,q and a be integers with gcd(a,q). The density of the subset of rimes in the arithmetic rogression { qn + a : gcd(a,q) and ord (u) } is defined by δ(u, q, a) 0, and the corresonding rimes counting function π u (x,q,a) #{ qn+a x : gcd(a,q) and ord (u) } () for any large number x are subject of this note. Theorem.. Let x be a large number. Let a < q be integers such that gcd(a,q) and q O(log c x), with c 0 constant. Then, the arithmetic rogression { qn+a : n } has infinitely many rimes 2 with a fixed rimitive root u ±,v 2. In addition, the counting function for these rimes has the asymtotic formula ( ) x x π u (x,q,a) δ(u,q,a) logx +O log b, (2) x where δ(u,q,a) 0 is the density constant deending on the fixed integers u,q,a, and b > c+ is a constant. The reliminary background results and notation are discussed in Section 2 to Section 5. Section 6 resents a roof of Theorem.. 2 Reresentation of the Characteristic Function The order of an element in the cyclic grou G F is defined by ord (v) min{k : v k mod }. Primitive elements in this cyclic grou have order #G. The characteristic function Ψ : G {0,} of rimitive elements is one of the standard analytic tools emloyed to investigate the various roerties of rimitive roots in cyclic grous G. AMS Mathematics Subject Classification: A07, N37. Keywords: Prime Number; Primitive Root; Arithmetic Progression.

2 Primes In Arithmetic Progressions And Primitive Roots 2 Many equivalent reresentations of the characteristic function Ψ of rimitive elements are ossible. The standard characteristic function is discussed in [0,. 258]. It detects a rimitive element by means of the divisors of. A new reresentation of the characteristic function for rimitive elements is develoed here. It detects the order ord (u) of an element u F by means of the solutions of the equation τ n u 0 in F, where u,τ are constants, and n is a variable such that n <, and gcd(n, ). Lemma 2.. Let 2 be a rime, and let τ be a rimitive root mod. Let u F be a nonzero element, and let, ψ be a nonrincial additive character of order ordψ. Then Ψ(u) 0 k ψ((τ n u)k) { if ord (u), 0 if ord (u). Proof. Let τ F be a fixed rimitive root. As the index n ranges over the integers relatively rime to, the element τ n F ranges over all the rimitive roots mod. Ergo, the equation τ n u 0 (4) has a solution if and only if the fixed element u F is a rimitive root. Next, relace ψ(z) e i2πz/ to obtain { e i2π(τn u)k/ if ord (u), (5) 0 if ord (u). 0 k This follows from the geometric series identity 0 n N wn (w N )/(w ),w alied to the inner sum. 3 Estimates Of Exonential Sums This section rovides simle estimates for the exonential sums of interest in this analysis. There are two objectives: To determine an uer bound, roved in Lemma??, and to show that e i2πsτn / e i2πτn / +E(), (6) where E() is an error term, this is roved in Lemma 3.2. These are indirectly imlied by the equidistribution of the subsets {τ n : gcd(n, ) } {sτ n : gcd(n, ) } F, (7) for any 0 s F. The roofs of these Lemmas are entirely based on established results and elementary techniques. 3. Partial And Comlete Exonential Sums Theorem 3.. ([8]) Let 2 be a large rime, and let τ F be an element of large multilicative order ord (τ). Let x. Then, for any s [, ], e i2πsτn / /2 log. (8) n x (3)

3 Primes In Arithmetic Progressions And Primitive Roots 3 This aears to be the best ossible uer bound. A similar uer bound for comosite moduli m is also roved, [o. cit., equation (2.29)]. A simler roof and generalization of this exonential is is rovided in []. Lemma 3.. Let 2 be a large rime, and let τ be a rimitive root modulo. Then, e i2πsτn / ε (9) for any s [, ], and any arbitrary small number ε (0,/2). Proof. Use the inclusion exclusion rincile to rewrite the exonential sum as e i2πsτn / e i2πsτn / µ(d) n d d µ(d) µ(d) n d n d d n m ( )/d e i2πsτn / e i2πsτdm /. Taking absolute value, and invoking Theorem 3. yield e i2πsτn / µ(d) e i2πsτdm / d m ( )/d ( ( ) /2 µ(d) log) d d ( ) /2 log( ) ( ) /2+δ log( ) ( ) /2+δ. d µ(d) d /2 (0) () The last inequality follows from d µ(d) d /2 d δ (2) for any arbitrary small number δ > 0, and any sufficiently large rime 2. This is restated in the simler notation /2+δ ε for any arbitrary small number ε (0,/2). A different aroach to this result aears in [4, Theorem 6], and related results are given in [], [3], [5], and [6, Theorem ].

4 Primes In Arithmetic Progressions And Primitive Roots Equivalent Exonential Sums For any fixed 0 s F, the ma τ n sτ n is one-to-one in F. Consequently, the subsets {τ n : gcd(n, ) } and {sτ n : gcd(n, ) } F (3) have the same cardinalities. As a direct consequence the exonential sums e i2πsτn / and e i2πτn /, (4) havethesameuerboundutoanerrorterm. Anasymtoticrelationfortheexonential sums(4) is rovided in Lemma 3.2. This resultexresses the firstexonential sumin (4) as a sum of simler exonential sum and an error term. The roof is based on Lagrange resolvent (ω t,ζ s ) ζ s +ω t ζ sτ +ω 2t ζ sτ2 + +ω (q )t ζ sτq, (5) where ω e i2π/q, ζ e i2π/, and 0 s,t F. This is a more general version of the resolvent based on the two large rimes 2 and q +o() >. Lemma 3.2. Let 2 and q + o() > be large rimes. If τ be a rimitive root modulo, then, e i2πsτn / e i2πτn / +O( /2 log 3 ), (6) for any s [, ]. Proof. Summing (5) times ω tn over the variable t Z/qZ yields q e i2πsτn / (ω t,ζ sτ )ω tn. (7) 0 t q Summing (7) over the relatively rime variable n < < q yields q e i2πsτn / (ω t,ζ sτ )ω tn (8), 0 t q t q (ω t,ζ sτ ) ω tn ϕ(q). The first index t 0 contributes ϕ(q), see [, Equation (5)] for similar calculations. Likewise, the basic exonential sum for s can be written as q e i2πτn / (ω t,ζ τ ) ω tn ϕ(q), (9) Differencing (8) and (9) roduces S q t q 0 t e i2πsτn / ( (ω t,ζ sτ ) (ω t,ζ τ ) ) e i2πτn / ω tn. (20)

5 Primes In Arithmetic Progressions And Primitive Roots 5 The right side of the sum S can be rewritten as ( S (ω t,ζ sτn ) (ω t,ζ τn ) ) t q t q t q, d ( (ω t,ζ sτn ) (ω t,ζ τn ) ) d ω tn µ(d) ωdt ω dt ω dt ( (ω t,ζ sτn ) (ω t,ζ τn ) ) µ(d) ωdt ω dt ω dt. The second line follows from Lemma 3.3-i. The uer bound S ( (ω t,ζ sτn ) (ω t,ζ τn ) ) µ(d) ωdt ωet ω dt t q, d (ω t,ζ sτn ) (ω t,ζ τn ) ω dt µ(d)ωdt ω dt t q, d ( ) 2q /2 logq ω dt µ(d)ωdt ω dt t q, d ( ) ( ) 2qlog 2q /2 logq πt t 2 ( ) 4q 3/2 logqlog t 8q 3/2 log 2 qlog. t q (2) The third line in (2) follows the uer bound for Lagrange resolvents in (22), and the fourth line follows from Lemma 3.3-ii. Here, the difference of two Lagrange resolvents, (Gauss sums), has the uer bound (ω t,ζ sτd ) (ω t,ζ τd ) 2 t q χ(t)e i2πt/q 2q/2 logq, (22) where χ(t) is a root of unity. Taking absolute value in (20) and using (2) return q e i2πsτn / e i2πτn / S (23) 6q 3/2 logqlog, where q +o(). The last inequality imlies the claim. The same roof works for many other subsets of elements A F. For examle, n Ae i2πsτn/ e i2πτn / +O( /2 log c ), (24) n A for some constant c > 0. Lemma 3.3. Let 2 and q +o() > be large rimes, and let ω e i2π/q be a qth root of unity. Then,

6 Primes In Arithmetic Progressions And Primitive Roots 6 (i) (ii) ω tn d ω tn µ(d) ωdt ω dt ω dt, 2qlog, πt where µ(k) is the Mobius function, for any fixed air d and t [, ]. Proof. (i) Use the inclusion exclusion rincile to rewrite the exonential sum as ω tn ω tn µ(d) n d d d d d n µ(d) µ(d) n d n ω tn m ( )/d µ(d) ωdt ω dt ω dt. ω dtm (25) (ii) Observe that the arameters q + o() > is rime, ω e i2π/q, the integers t [, ], and d < q. This data imlies that πdt/q kπ with k Z, so the sine function sin(πdt/q) 0 is well defined. Using standard maniulations, and z/2 sin(z) < z for 0 < z < π/2, the last exression becomes ω dt ω dt ω dt 2 sin(πdt/q) 2q (26) πdt for d. Finally, the uer bound is µ(d) ωdt ω dt ω dt d 4 Evaluation Of The Main Term 2q πt d 2qlog. πt Finite sums and roducts over the rimes numbers occur on various roblems concerned with rimitive roots. These sums and roducts often involve the normalized totient function ϕ(n)/n n ( /) and the corresonding estimates, and the asymtotic formulas. d (27)

7 Primes In Arithmetic Progressions And Primitive Roots 7 Lemma 4.. ([4, Lemma 5]) Let x be a large number, and let ϕ(n) be the Euler totient function. If q log c x, with c 0 constant, an integer a < q such that gcd(a,q), then x ϕ( ) ( ) li(x) x A q ϕ(q) +O log B, (28) x where li(x) is the logarithm integral, and b > c+ is an arbitrary constant, as x, and ( A q ) ( ). (29) ( ) gcd(a,q) Related discussions for q 2 are given in [7, Lemma ], [3,. 6], and, [2]. The case q 2 is ubiquitous in various results in Number Theory. Lemma 4.2. Let x be a large number, and let ϕ(n) be the Euler totient function. If q log c x, with c 0 constant, an integer a < q such that gcd(a,q), then ( ) li(x) x A q ϕ(q) +O log b, (30) x x where li(x) is the logarithm integral, and b > c+ is an arbitrary constant, as x, and A q is defined in (29). Proof. A routine rearrangement gives x To roceed, aly Lemma 4. to reach ϕ( ) x where the second finite sum x x x x q ϕ( ) ( ) ϕ( ) ( ) ϕ( ) ϕ( ) x ϕ( ) ( ). ( ) li(x) x A q ϕ(q) +O log b x x A q li(x) ϕ(q) +O ϕ( ) ( ) ( x log b x ), (3) (32) loglogx (33) is absorbed into the error term, b > c+ is an arbitrary constant, and A q is defined in (29). The logarithm integral has the asymtotic formula li(x) x 2 logz dz x logx +O ( ) x log 2. (34) x

8 Primes In Arithmetic Progressions And Primitive Roots 8 5 Estimate For The Error Term The uer bound for exonential sum over subsets of elements in finite fields F stated in the last section will be used here to estimate the error term E(x) arising in the roof of Theorem.. Lemma 5.. Let 2 be a large rime, let ψ be an additive character, and let τ be a rimitive root mod. If the element u 0 is not a rimitive root, then, ψ((τ n u)k) x ε, 0<k ϕ(q) logx, (35) where a < q, gcd(a,q) and O(log c x) with c > 0 constant, for all sufficiently large numbers x and an arbitrarily small number ε < /6. Proof. By hyothesis u τ n for any n such that gcd(n, ). Therefore, 0<k ψ((τn u)k), and E(x) ψ((τ n u)k), 0<k ϕ( ) ( x x 2ϕ(q) logx +O log b x ), (36) where ϕ(n)/n /2 for any integer n, and b > c +. This imlies that there is a nontrivial uer bound. To sharen this uer bound, let ψ(z) e i2πkz/ with 0 < k <, and rearrange the trile finite sum in the form E(x) Alying Lemma?? yields E(x) 0<k 0<k, 0<k e i2πuk/ e i2πuk/ ψ((τ n u)k) e i2πkτn /. e i2πτn / +O( /2 log 2 ) U V, (37) where U e i2πuk/, (38) 0<k

9 Primes In Arithmetic Progressions And Primitive Roots 9 and V ( ) e i2πτn / +O ( /2 log 2 ). (39) The absolute value of the first exonential sum U is given by U e i2πuk/. (40) 0<k This follows from 0<k ei2πuk/ for u 0 and summation of the geometric series. The absolute value of the second exonential sum V has the uer bound V ε, ( )) e i2πτn +O ( /2 log 2 e i2πτn +/2 log 2 (4) where ε < /2 is an arbitrarily small number, see Lemma 3.. A similar alication aears in [5,. 286]. Now, relace the estimates (40) and (4) into (37), to reach U V U V (42) ε x ε x ε ϕ(q) logx. The last finite sum over the rimes is estimated using the Brun-Titchmarsh theorem; this result states that the number of rimes qn + a in the interval [x,2x] satisfies the inequality π(2x,q,a) π(x,q,a) 3 x ϕ(q) logx, (43) see [9,. 67], [8,. 57], [2], and [20,. 83].

10 Primes In Arithmetic Progressions And Primitive Roots 0 6 The Main Result Given a fixed integer u ±,v 2, the recise rimes counting function is defined by π u (x,q,a) #{ x : a mod q and ord (u) } (44) for a < q and gcd(a,q). The limit π u (x,q,a) δ(u,q,a) lim x π(x,q,a) a A q u ϕ(q) (45) is the density of the subset of rimes with a fixed rimitive root u ±,v 2. The roof of Theorem. is comleted here. Proof. (Theorem.) Suosethat u ±,v 2 is not arimitive root for all rimes x 0, with x 0 constant. Let x > x 0 be a large number, and q O(log c x). Consider the sum of the characteristic function over the short interval [x, 2x], that is, 0 q a mod q Ψ(u). (46) Relacing the characteristic function, Lemma 2., and exanding the nonexistence equation (46) yield 0 Ψ(u) a u + M(x)+E(x),, 0 k, 0<k ψ((τ n u)k) (47) ψ((τ n u)k) where a u 0 is a constant deending on the integers u ±,v 2 and q 2. The main term M(x) is determined by a finite sum over the trivial additive character ψ, and the error term E(x) is determined by a finite sum over the nontrivial additive characters ψ(z) e i2πz/. Take b > c+. Alying Lemma 4.2 to the main term, and Lemma 5. to the error term

11 Primes In Arithmetic Progressions And Primitive Roots yield 0 Ψ(u) M(x)+E(x) ( li(2x) li(x) a u A q ϕ(q) x δ(u,q,a) logx +O ) ( x +O ) ( +O x ε log b x ϕ(q) logx ( ) x log b, (48) ) where δ(u,q,a) a u A q /ϕ(q) 0, and a u 0 is a correction factor deending on l. But δ(u,q,a) > 0 contradicts the hyothesis (46) for all sufficiently large numbers x x 0. Ergo, the short interval [x,2x] contains rimes qn + a such that the u is a fixed rimitive root. Secifically, the counting function is given by π u (x,q,a) x ( x Ψ(u) δ(u,q,a)li(x)+o log b x ). (49) This comletes the verification. The determination of the correction factor a u in a rimes counting roblem is a comlex roblem, some cases are discussed in [9], and [23]. The logarithm difference li(2x) li(x) x/logx +O ( x/log 2 x ) is evaluated via (34) in Section 5. References [] Cobeli Cristian, On a Problem of Mordell with Primitive Roots, arxiv: [2] Cobeli, Cristian; Zaharescu, Alexandru. On the distribution of rimitive roots mod. Acta Arith. 83 (998), no. 2, [3] Friedlander, John B.; Sharlinski, Igor E. Double exonential sums over thin sets. Proc. Amer. Math. Soc. 29 (200), no. 6, [4] Friedlander, John B.; Hansen, Jan; Sharlinski, Igor E. Character sums with exonential functions. Mathematika 47 (2000), no. -2, (2002). [5] Garaev, M. Z. Double exonential sums related to Diffie-Hellman distributions. Int. Math. Res. Not. 2005, no. 7, [6] Garaev, M. Z. Karatsuba, A. A. New estimates of double trigonometric sums with exonential functions, arxiv:math/ [7] Hooley, C. On Artins conjecture, J. Reine Angew. Math. 225, , 967. [8] Harman, Glyn. Prime-detecting sieves. London Mathematical Society Monograhs Series, 33. Princeton University Press, Princeton, NJ, 2007.

12 Primes In Arithmetic Progressions And Primitive Roots 2 [9] Iwaniec, Henryk; Kowalski, Emmanuel. Analytic number theory. AMS Colloquium Publications, 53. American Mathematical Society, Providence, RI, [0] Lidl, Rudolf; Niederreiter, Harald. Finite fields. With a foreword by P. M. Cohn. Second edition. Encycloedia of Mathematics and its Alications, 20. Cambridge University Press, Cambridge, 997. [] Mordell, L. J. On the exonential sum x X ex(2πi(ax +bgx )/). Mathematika 9 (972), [2] Maynard, James. On the Brun-Titchmarsh theorem. Acta Arith. 57 (203), no. 3, [3] Moree, Pieter. Artin s rimitive root conjecture -a survey. arxiv:math/ [4] Moree, Pieter On rimes in arithmetic rogression having a rescribed rimitive root. it J. Number Theory 78 (999), no., [5] Murty, M. Ram; Thangadurai, R. The class number of Q( ) and digits of /. Proc. Amer. Math. Soc. 39 (20), no. 4, [6] Montgomery, Hugh L.; Vaughan, Robert C. Multilicative number theory. I. Classical theory. Cambridge University Press, Cambridge, [7] Stehens, P. J. An average result for Artin conjecture. Mathematika 6, (969), [8] Stoneham, R. G. On the uniform e-distribution of residues within the eriods of rational fractions with alications to normal numbers. Acta Arith. 22 (973), [9] Stevenhagen, Peter. The correction factor in Artin s rimitive root conjecture. Les XXII emes Journees Arithmetiques (Lille, 200). J. Theor. Nombres Bordeaux 5 (2003), no., [20] Tenenbaum, Gerald. Introduction to analytic and robabilistic number theory. Translated from the Third French edition. American Mathematical Society, Rhode Island, 205. [2] Vaughan, R. C. Some alications of Montgomery s sieve. J. Number Theory 5(973), [22] Wrench, John W. Evaluation of Artin s constant and the twin-rime constant. Math. Com [23] Zywina, David. A refinement of Koblitz s conjecture, arxiv: