arxiv: v1 [math.nt] 13 Nov 2018

Transcription

1 Zeros of a polynomial of ζ j s OMOKAZU ONOZUKA arxiv:80577v [mathn] 3 Nov 08 Abstract We give results on zeros of a polynomial of ζs, ζ s,, ζ k s irst, we give a zero free region and prove that there exist zeros corresponding to the trivial zeros of the Riemann zeta function Next, we estimate the number of zeros whose imaginary part is in, inally, we study the distribution of the real part and the imaginary part of zeros, respectively Introduction he Riemann zeta function ζs is one of the most important functions in number theory, and its importance comes from its relation to the distribution of primes he theory of the Riemann zeta function has a famous conjecture, which is the Riemann hypothesis he Riemann hypothesis states that all of the nontrivial zeros of the Riemann zeta function are located on the critical line Rs = / If the Riemann hypothesis is true, many conjectures in number theory hold herefore a lot of mathematicians study the zeros of the Riemann zeta function Derivatives of the Riemann zeta function are also important because of the relation between its nontrivial zeros and the Riemann hypothesis Speiser [6] proved that the Riemann hypothesis is equivalent to ζ s having no zeros in 0 < Rs < / Levinson and Montgomery [] proved that the Riemann hypothesis implies that ζ k s has at most a finite number of non-real zeros in Rs < / for k In the case k =, 3, Yildirim [9] showed that the Riemann hypothesis implies that ζ s and ζ s have no zeros in the strip 0 Rs < / Zeros of derivatives of the Riemann zeta function was investigated by Berndt [] and Levinson and Montgomery [] Berndt [] gave a formula of the Riemannvon Mangoldt type for ζ k s with k or function fs, let N fs, be the number of zeros of fs counted with multiplicity in the region < Is < hen the Riemann-von Mangoldt formula states that for sufficiently large, we 00 Mathematics Subject Classification: Primary M06 Key words and phrases: the Riemann zeta function, the Riemann-von Mangoldt formula, a-point, derivative, equidistribution

2 Zeros of a polynomial of ζ j s have N ζs 0, = π log π π + Olog Berndt [] generalized this formula for ζ k s with k ; N ζ k s 0, = π log 4π π + Olog Hence the number of zeros of ζ k s is asymptotically equal to the number of zeros of ζs in 0 < Is < One of the most interesting objects of ζs is the distribution of the real part of nontrivial zeros In 94, Bohr and Landau [] showed that most of nontrivial zeros of ζs lie near the critical line he real part of zeros of ζ k s was also studied by Levinson and Montgomery [] hey showed π β k <γ k < +U = ku log log log k U U log π / + O + O log 3 log for 0 < U < and k, where ρ k = β k + iγ k denotes the zeros of ζ k s his estimate implies that zeros of ζ k s would be mainly located in the right half plane Rs > / hey also considered zeros near the critical line Let N k c, denote the number of zeros of ζk s in 0 < Is <, Rs < c Similarly, N + k c, denotes the number of zeros of ζk s in 0 < Is <, Rs > c hen, they [] estimated N + k + δ, + N k δ, log log = O, 4 δ for δ > 0 uniformly When δ = log log / log, by, we have Nζ N + k + δ, + N k δ, = O k s 0, log log Hence similar to zeros of ζs, most of zeros of ζ k s are also clustered around Rs = / On the other hand, the imaginary part of zeros of ζ k s was also investigated In the case k = 0, for x >, Landau [9] proved x ρ0 = Λx π + Olog = on ζs0,, 5 0<γ 0 < where Λx is the von Mangoldt Λ function if x is an integer, and otherwise Λx = 0 Since most of Rρ 0 are close to /, we have roughly x / expiγ 0 log x x ρ0 on ζs 0, 0<γ 0 < 0<γ 0 <

3 Zeros of a polynomial of ζ j s 3 for any x > By this estimate, {γ 0 mod π log x } γ 0 >0 might be regarded as an uniformly distributed sequence Actually, it is known that {αγ 0 } γ 0 >0 is uniformly distributed modulo one for any non-zero real α his fact was first proved by Rademacher [5] under the Riemann hypothesis After then, Elliot [4] remarked that this result holds unconditionally, and Hlawka [5] finally proved it unconditionally ormulas -5 were generalized by many mathematicians or a C, Landau [3] gave a formula of the Riemann-von Mangoldt type for ζs a; π log π + Olog a, π N ζs a, = 6 π log 4π + Olog a = π he author [4] considered ζ k s a and gave a formula; N ζ k s a, = π log π π + Olog for k and a 0 he case k = 0 was given by Landau, and the case a = 0 was given by Berndt as mentioned above urthermore Koutsaki, amazyan, and Zaharescu [7] studied linear combinations of ζ j s, and they proved N fs 0, = π log π π + Olog, where fs = c 0 ζs + c ζ s + + c k ζ k s with c 0,, c k R and c 0, c k 0 In addition, Nakamura [3] studied polynomials of derivatives of zeta functions by using the universality theorem, and he proved that for any / < σ < σ <, there exists a constant C such that P s has more than C zeros in σ < Rs < σ and 0 < Is <, where P s is a polynomial of derivatives of the Riemann zeta function As a generalization of 3 and 4, Levinson [] proved that for sufficiently large, / U, δ = log log / log and a C, we have U log log N + ζs a + δ;, + U + N ζs a δ;, + U = O, δ 7 where N + fs c;, and N fs c;, are defined as the number of zeros of fs in {s C < Is <, Rs > c} and {s C < Is <, Rs < c}, respectively He proved 7 with δ = log log / log, in addition, he noted that this result can be generalized for any small δ > 0 In the proof of 7, he gave an estimate of the sum π <γ a< +U β a + b for b > see [, Lemma 5], where ρ a = β a + iγ a denotes the zeros of ζs a Calculating π β a + b π b + N ζs a, + U, <γ a< +U

4 Zeros of a polynomial of ζ j s 4 we can deduce a generalization of 3 As a generalization of 7, the author gave an estimate N + ζ k s a + δ;, + U U log log + N δ;, + U = O ζ k s a δ for δ = log log / log, α > / and α U Let ρ k a = β k a, 8 + iγ k a denote the zeros of ζ k s a Similar to Levinson s proof, in the proof of 8, the sum π <γ a k < +U βk a +b was estimated for large b, so we can also deduce a generalization of 3 for zeros of ζ k s a inally, we will see analogues of 5 Steuding [7] proved that for any positive real number x, we have x ρa = αx xλ x π + O +ε, 9 0<γ a< where αx is a coefficient of the series ζ s ζs a = d n N n N αd d s 0 for x Z and αx = 0 for x / Z if a If a =, αx is also the coefficient of 0 for n x Z with some n N If n x / Z for any n N, αx = 0 he author also considered an analogue of 5 or any k N, a C and x >, we have <γ a k < = π π x ρk a l 0 n 0,,n l x=n 0 n l l 0 n 0 n,,n l 3 x=n 0 n l / l+ kl+ a l+ log n 0 k+ log n log n l k + Olog a 0, l+ log k log n 0 k+ log n log n l k + Olog a = 0 If a 0, the summation of the right-hand side is zero for x / Z, and if a = 0 and n x / Z for any n N, the summation of the right-hand side is zero rom 9 and, {αγ a } and {αγ a k } are uniformly distributed modulo one for any non-zero real α, respectively see [7][0] In this paper, we treat a polynomial consisting of ζs, ζ s,, ζ k s or k, M N, d lj N {0} and c j C \ {0}, we put s := M c j ζ 0 s d 0j ζ s d j ζ k s d kj j=

5 Zeros of a polynomial of ζ j s 5 We assume that s is not a constant function, that is, at least one of d lj is nonzero At the International Congress of Mathematicians in 900, Hilbert pointed out that ζs does not satisfy any algebraic differential equation of finite order, so s is not a constant function if at least one of d lj is nonzero We define the first degree of s as Especially, we have deg s := max j M k d lj l=0 deg ζ 0 s d 0j ζ s d j ζ k s d kj := he second degree of s is defined by l=0 k d lj 3 deg s { k } := max ld lj deg ζ 0 s d 0j ζ k s d kj = deg s, j M By 3, the definition deg can be rewritten as { k } k deg s = max ld lj d lj = deg s, j M Similar to 3, we have l=0 l=0 deg ζ 0 s d 0j ζ s d j ζ k s d kj := l=0 k ld lj In order to obtain a functional equation for s see Lemma 3, we need an assumption l=0 c j 0, 4 j J where J is defined by { J := j [, M] deg ζ 0 s d 0j ζ k s d kj = deg s, deg ζ 0 s d 0j ζ k s d kj = deg s } We study zeros of s Hereafter we set s = σ + it and ρ = β + iγ denotes the zeros of s he first result gives a zero free region for s heorem Let s satisfy 4 or ε > 0, there exist real numbers E ε = E and E such that s 0 on {s C σ E, s + n ε n N} {s C σ E }

6 Zeros of a polynomial of ζ j s 6 he second result gives zeros near the real axis We define the region C n,ε as C n,ε := {s C s + n < ε} heorem Let s satisfy 4 or any ε > 0, there exists a positive integer N = N,ε such that s has exactly deg s zeros in C n,ε for each n N Spira [?] proved that there is a C k such that ζ k s has exactly one real zero in n, n with n C k Levinson [] pointed out that ζs = a has exactly one root in the neighborhood of s = n for large n heorem is a generalization of these results he third theorem counts the number of zeros of s in < t < o state the theorem, we define n as follows; s = n=n η n n s η n 0 Note that s can be expressed as a Dirichlet series since every ζ j s has the Dirichlet series expression n log nj /n s In this paper, we define log 0 = heorem 3 Let s satisfy 4 or large, we have N s, = deg s π log πe π log n + Olog he fourth and the fifth results describe the real part of zeros of s heorem 4 Let s satisfy 4 or large, α > / and α U, we have π <γ < +U β = deg su log log + U log j J c j η n /n / + O U 5 log heorem 5 Let s satisfy 4 or large, α > / and α U, we have N + s U log log + δ;, + U + N s δ;, + U = O, δ 6 for δ > 0 uniformly rom heorem 4, if deg s is positive, zeros of s would be mainly located in the right half plane Rs > / If deg s = 0, the distribution

7 Zeros of a polynomial of ζ j s 7 of the zeros depends on j J c j and η n /n / If j J c j > η n /n /, the zeros would be mainly located in Rs > / If j J c j < η n /n /, the zeros would be mainly located in Rs < / inally if j J c j = η n /n /, the main terms of 5 vanish, so we can not obtain the sign of β / By heorem 5, most of zeros of s are close to the critical line Although nontrivial zeros of s are generally not on the critical line, s has the property of the Riemann zeta function whose nontrivial zeros are close to the critical line Here nontrivial zeros of s means that the zeros of s with γ > Next, we see the main results on the imaginary parts of zeros of s heorem 6 Let s satisfy 4 or real number x > and large, we have <γ < x ρ = α / sx + Olog, π where α / sx is a coefficient of the series s = d n n N n N α / sd d s 7 for x n n N with some n N and α / sx = 0 for x / n n N When s = ζ k s a, the series 7 is given in [4, Lemma 4] Similar to the proof of [4, Lemma 4], we can also give the series 7 for any s rom this theorem, we can deduce the following corollary Corollary 7 Let s satisfy 4 he sequence {αγ } γ > is uniformly distributed modulo one for any non-zero real α Lemmas and undamental Results In this section, we prove some lemmas and fundamental results on the zeros of s heorem and heorem are proved in this section Lemma or any ε > 0, we have η n = On ε Proof or sufficiently large σ, we have c j ζ 0 s d 0j ζ s d j ζ k s d kj log n 0 d0j log n dj log n k = c j =: n= n= η j n n s n s n= n s n= n s dkj

8 Zeros of a polynomial of ζ j s 8 Since log n = On ε holds for any small ε > 0, the coefficient η j n as η n j n ε n n n d0j + +d kj =n n ε dn d 0j+ +d kj, can be estimated where dn is the number of the divisors of n It follows from dn = On ε that we have η n j = On ε Hence we have η n = η n + + η n M = On ε Lemma or sufficiently large σ, we have s = η n n s + On + σ Proof Since s = η n n s + η n + n + s + n>n + η n n s, it is enough to prove that the last term can be bounded by On + σ By Lemma, we have n>n + η n n s x σ+ε dx n + σ n + because of the estimate n + +ε = O Lemma 3 Let s satisfy 4 or any c > and ε > 0, the following equation holds in the region {s C σ > c, s n ε n N}; s = j J c j log s deg s { π s Γs cos πs ζs } deg s + O log s Proof By [4, Lemma ], we have the functional equation for ζ l s ζ l s = log s l π s Γs cos πs ζs + O log s We note that this equation holds not only in {s C σ > c, t } but also in {s C σ > c, s n ε n N}, since [4, 8] is valid in the latter region Multiplying this equation several times, we have ζ 0 s d 0j ζ s d j ζ k s d kj = log s k l=0 ld lj { π s Γslog s k cos πs }k l=0 ζs d lj + O log s

9 Zeros of a polynomial of ζ j s 9 By Stirling s formula, we estimate ζ 0 s d 0j ζ s d j ζ k s d kj log s { k l=0 ld s lj σ / π } k exp t πe args l=0 d lj where args π/, π/ hus the main term of s is the terms whose index is in J Proof of heorem By Lemma 3, we set s = j J c j =: A s + A s log s deg s { π s Γs cos πs ζs } deg s + O log s We can easily check A s 0 in {s C σ > c, s n ε n N} It follows from A s = O A s/ log s that A s < A s holds for sufficiently large σ Hence there exists E ε = E such that s = A s + A s 0 for σ E and s n ε n N By Lemma, we set s = η n n s + O n + σ =: B + B for large σ here exists E such that B > B holds for σ E Because of B 0, {s C σ E } is a zero free region for s Proof of heorem In the proof of heorem, we checked A s < A s for large σ and s n ε n N Applying Rouché s theorem, s and A s has the same number of zeros in {s C s n < ε} for large n N he function A s has exactly deg s zeros at s = n herefore, s has exactly deg s zeros in {s C s n < ε} Lemma 4 here exist complex numbers A, B N, m such that the following equations hold; s N s = e A +B s s m ρ 0 ρ : zeros of s s s = N s + B + m s + ρ 0 ρ : zeros of s and non-negative integers s e s/ρ, ρ + s ρ ρ

10 Zeros of a polynomial of ζ j s 0 Proof Since and ζ k s = k! ζz dz πi z s =a z s k+ ζs exp s +ε, we have ζ k s exp s +ε for any small ε > 0 and large s herefore we also have s exp s +ε s is holomorphic on C\{}, because of the continuation of ζs We assume that s has a pole of order N at s = hen s N s is an entire function and is of order Hence by the Hadamard factorization theorem, the lemma is valid Lemma 5 Let s satisfy 4 or sufficiently large, we have N s, + log Proof By Lemma, we have s η n n s = O n + σ hus there exists a constant D E such that s η n /n s η n /n s / holds for σ D By the triangle inequality, we have s η n /n s / for σ D By [4, ], we have s t deg sµσ+ε if µσ satisfies ζs t µσ+ε his function µσ satisfies the inequality 0 σ, µσ / σ/ 0 < σ <, / σ σ 0 By Jensen s theorem, we have D E + 0 nr r dr = π log π 0 D + i + D E + e iθ dθ log D + i,

11 Zeros of a polynomial of ζ j s where nr is the number of zeros of s counted with multiplicity in the circle with center D + i and radius r Since s t deg sµσ+ε, there exists a constant D > 0 such that log D + i + D E + e iθ D log Since D + i η n /n D /, there exists a constant D such that log D + i D Because of D E + 0 nr/rdr 0, we have On the other hand, we have D E + 0 rom and 3, we have D E + 0 nr D E + r dr D E + nr dr log r nr r dr nd E + D E + D E + N s, + nd E + log dr 3 r Lemma 6 Let s satisfy 4 Let σ and σ be real numbers with σ < σ or s C with σ < σ < σ and large t, we have s s = γ t < Proof Similar to estimate, we have s ρ + Olog t E + it η n n E and E + it η n n E for sufficiently large E Hence, we have E + it E + it 4 η n /n E η n /n E

12 Zeros of a polynomial of ζ j s By Lemma 4, we have s s = ρ 0 ρ : zeros of s ρ 0 ρ : zeros of s + + Olog t s ρ ρ for σ < σ < σ and large t Substituting s = E + it, we have Olog t = + E + it ρ ρ herefore we have s s = ρ 0 ρ : zeros of s = γ t < + s ρ + ρ 0 γ t E + it ρ s ρ + + Olog t E + it ρ or σ < σ < σ and γ t, we have + s ρ E + it ρ t γ Hence by Lemma 5, we have ρ 0 γ t By Lemma 5, we also have s ρ + γ t < = Olog t E + it ρ E + it ρ = Olog t + Olog t Lemma 7 Let s satisfy 4 or sufficiently large σ and t, we have Proof Since d ds s = O log s ζ 0 s d 0j ζ s d j ζ k s d kj = k d aj ζ a s daj ζ a+ s ζ l s d lj, a=0 0 l k l a

13 Zeros of a polynomial of ζ j s 3 we have deg s deg s and deg s deg s + By Lemma 3, we have s = O log s deg s+ π s Γs cos πs ζs deg s 4 Note that we do not assume the condition 4 for s If s does not satisfy this condition, the main term in Lemma 3 vanishes hen, s can be bounded by the error term in Lemma 3 herefore 4 also holds in this case Dividing 4 by s and applying Lemma 3, we obtain Lemma 7 3 Proof of heorem 3 In this section, we prove heorem 3 By Cauchy s theorem, we have N s, = E π I +i E +i E +i E +i s s ds =: E +i + E +i + π J + J + J 3 + J 4, E +i + E +i for sufficiently large E E and sufficiently small E E he first term J does not depend on, so we have J = O By Lemma, the second term is estimated as π J = π [arg +i s]e E +i = [ argηn n s π + O] E +i E +i Hence we have π J = π log n + O Next, we estimate J 3 Applying Lemma 6, we have E +i E +i J 3 = I ds + O log t ds E +i s ρ γ t < E +i = I E +i ds + O log E +i s ρ γ < or each integral, we change the path of integration If γ <, then we change the path to the upper semicircle with center ρ and radius If γ >, then we change the path to the lower semicircle with center ρ and radius hen all integrals are bounded by O herefore, by Lemma 5, we have J 3 = γ < O + O log = Olog

14 Zeros of a polynomial of ζ j s 4 inally, we consider J 4 Since arg E + i does not depend on, we have By Lemma 3, we have J 4 = [arg s] E +i E +i = arg E + i + O arg E + i = deg s logπ + deg s arg Γ E i + O By Stirling s formula, we have arg Γ E i = log e + Olog Hence we have herefore we have J 4 = deg s log + Olog πe N s, = π J + J + J 3 + J 4 = deg s π log πe π log n + Olog 4 Proofs of heorem 4 and heorem 5 Lemma 4 or U, sufficiently large U and a real number b < D D is defined in the proof of Lemma 5, we have +U π β b = log b + it dt U log <γ < +U β >b η n n b + Olog Proof or a real number b with b < D, by Littlewood s lemma, we have π β b <γ < +U β >b +U = + D b b + it log η n /n b+it dt +U σ + i + U arg dσ σ+i +U η n /n D b D + it log η n /n D+it dt σ + i arg η n /n σ+i dσ 4 where we take the logarithmic branch of arg s /η n /n s as arg s /η n /n s 0 as σ We define the function Gs by Gs := s η n /n s

15 Zeros of a polynomial of ζ j s 5 Because of the choice of D, we have RGs / for σ D urthermore we define H s by H s := Gs + i + Gs + i hen we have H σ = RGσ + i When H σ has n zeros in σ [b, D], we can estimate the argument arg Gσ + i πn + O for σ [b, D] hus we estimate the number of zeros of H σ Let n D r denote the number of zeros of H s in the circle with center D and radius r By Jensen s theorem, we have D b+ 0 = π π 0 n D r dr r log H D + D b + e iθ dθ log H D As mentioned in the proof of Lemma 5, we have s t deg sµσ+ε, so we also have H s t + deg sµσ+ε Hence we have On the other hand, we have D b+ 0 Hence finally we obtain D b+ 0 n D r D b+ dr r D b n D r dr = Olog r n D r D b+ dr n r DD b D b r dr arg Gσ + i n DD σ n DD b log for σ [b, D] rom this estimate, we can bound the third and fourth terms of 4 by Olog have Now, we estimate the second term of 4 By Cauchy s integral formula, we +U V D log G D + it dt +U log G σ + i dσ + D log G V + it dt + log G σ + i + U dσ for sufficiently large V > D By Lemma, we have log Gσ + it = O + /n σ V 4

16 Zeros of a polynomial of ζ j s 6 hus we have +U log G V + it dt U + /n V 0 as V he first term of 4 is estimated as D log G σ + i dσ + /n D Similarly, he third term of 4 is also bounded by O Hence the second term of 4 is O Lemma 4 Let α > / or α U, we have π β U log log <γ < +U β >/ Proof By the previous lemma, it is enough to prove that there exists a constant A such that +U log + it dt AU log log We estimate s as a product of sum of zeta functions; s M c j ζ 0 s d 0j ζ s d j ζ k s j= M c j + j= Hence we have +U log + it dt deg s k ζ l s l=0 +U log deg s + d kj k ζl + it dt + OU or any positive numbers v 0,, v k, we can bound deg s +U log max, v 0 v min ζ0 + it,, v k ζk + it dt + OU where v min := min{v 0,, v k } By Jensen s inequality, we have deg s +U U log max, v 0 v min U ζ0 + it,, v k ζk + it dt + OU deg s U v min log + +U v 0 U ζ0 + it dt + + +U v k U ζk + it dt + OU l=0

17 Zeros of a polynomial of ζ j s 7 Hence, it remains to prove that there exists a positive number v j such that +U v j ζj + it dt U log 43 for each 0 j k By [6, Claim] and [8, heorem 74], we have +U ζ j ζ + it /j dt U log and +U ζ + it dt U log Applying Hölder s inequality +U v j ζj + it dt +U ζ j pv j /p +U dt ζ + it qv j ζ + it dt with v j = /4j +, p = + /4j and q = 4j +, we have +U hus we obtain 43 v j ζj + it dt /q U log /p U log /q U log Lemma 43 Let α > / and α U hen we have U log log N + s + δ;, + U = O δ for δ > 0 uniformly Proof rom Lemma 4, we have β <γ < +U β >/+δ On the other hand, we have <γ < +U β >/+δ β <γ < +U β >/ δn + s By these estimates, we obtain the lemma β U log log + δ;, + U

18 Zeros of a polynomial of ζ j s 8 Lemma 44 Let s satisfy 4 and α > / or sufficiently small b, large and α U, we have π <γ < +U β b { = deg s b + U log + U π j J + deg su log log + U log c j η n n b log π U } + O U log Proof We use Lemma 4 By Lemma 3, the integrand in Lemma 4 can be calculated as log b + it = log c j j J + deg s log log b it + deg s log χb + it + deg s log ζ b it + O log b it 44 where χs = s π +s sinπs/γ s By equations log log b it = log log t + O log t and log χs = σ log t π + O, t we have +U log b + it dt = U log c j j J + deg s { + U log log + U log log } { + deg s b + U log + U log } π π U +U U + deg s log ζ b it dt + O log Similar to the estimate of the second term of 4, we can estimate +U Moreover we can easily check log ζ b it dt log log + U log log = O Applying Lemma 4, we obtain Lemma 44 U log

19 Zeros of a polynomial of ζ j s 9 Proof of heorem 4 By heorem 3 and Lemma 44, we have { πn s, + U = deg s + U log + U πe log } U log n + Olog πe and π <γ < +U β b { = deg s b + U log + U πe log } πe j J + deg su log log + U log c j U η n n b + O log Hence we have π <γ < +U = π <γ < +U β β b b πn s, + U = deg su log log + U log j J c j η n n / + O U log Lemma 45 Let s satisfy 4, α > /, and α U hen we have U log log N s δ;, + U = O δ for δ > 0 uniformly Proof We decompose the summation as π <γ < +U = π + π + π <γ < +U β >/+δ β b <γ < +U / δ β /+δ <γ < +U β </ δ { β } + b { β } + b β b

20 Zeros of a polynomial of ζ j s 0 By Lemma 4, we have π β b OU log log + π b N + s <γ < +U + π b N s, + U N + s + δ;, + U + π δ b N s δ;, + U + δ;, + U N s By heorem 3, we have π β b deg s b U log <γ < +U πδn s δ;, + U + OU log log 45 By Lemma 44, the left-hand side is π <γ < +U β b = deg s rom 45 and 46, we have N s δ;, + U b U log + O U log log 46 U log log O δ Since N s / δ;, + U is positive, we finally obtain U log log N s δ;, + U = O δ δ;, + U By Lemma 43 and Lemma 45, we obtain heorem 5 5 Proofs of heorem 6 and Corollary 7 Proof of heorem 6 or sufficiently large U, V > 0 and U > c > c >, by Cauchy s integral formula, we have <γ < = πi =: x ρ c +i U+i V +i V +i c +i U+i c +i V +i V +i c +i πi K + K + K 3 + K 4 + K 5 + K 6 U+i U+i Note that the constant c is defined in the statement of Lemma 3 x s sds

21 Zeros of a polynomial of ζ j s he second term K does not depend on, so we have K = O By using the series expansion 7, we have K 3 = V +i α / sd d n n N n N V +i = iα / sx + d x α / sd = iα / sx + O x d s ds [ x/d s logx/d ] V +i V +i + O Similar to the estimate on J 3 in Section 3, the fourth term can be bounded by K 4 = Olog Applying Lemma 7, we have U K 5 = O x σ log σ i dσ = Olog, c K = Olog, and K 6 = O x U log + U i uniformly for large U Hence taking U, we obtain K +K 5 +K 6 = Olog Proof of Corollary 7 o prove Corollary 7, we use Weyl s criterion; Lemma 5 Weyl s criterion A sequence {x n } R is uniformly distributed modulo one if, and only if, for any integer m 0, have lim N N See [8, heorem ] for the proof N e πimxn = 0 n= By heorem and heorem 5 with δ = log log / log and U =, we <γ < β = <γ < / β δ + <γ < / β >δ = O log log + O β log 5 log log

22 Zeros of a polynomial of ζ j s Substituting l for and adding 5 all l =,,, l 0 with suitable l 0, we obtain Since <γ < β = O log = o N log log s, e y = y 0 e t dt = O y max{, e y } for y R, we have x /+iγ x β +iγ x β e / β log x β max{xβ, x / } log x Hence for each x >, we have N s, <γ < x /+iγ x β +iγ xe log x N s, = O log log hus by heorem 6, for each x >, we have N s, <γ < x iγ = N s, x / = N s, x / = O log log <γ < <γ < x /+iγ <γ < β x β +iγ + O log log Substituting x = e πmα, we obtain N s, <γ < e πimαγ = O log log, when mα is positive Considering complex conjugate, we can also estimate the case when mα is negative Hence we obtain Corollary 7 References [] B C Berndt, he number of zeros for ζ k s, J Lond Math Soc 970, [] H Bohr and E Landau, Ein Satz über Dirichletsche Reihen mit Anwendung auf die ζ-unktion und die L-unktion, Rendiconti del Circolo Matematico di Palermo 37 94, 69 7

23 Zeros of a polynomial of ζ j s 3 [3] H Bohr, E Landau, J E Littlewood, Sur la fonction ζs dans le voisinage de la droite σ =, Bull de l Acad royale de Belgique 93, 3 35 [4] P D A Elliott, he Riemann zeta function and coin tossing, J Reine Angew Math 54 97, [5] E Hlawka, Über die Gleichverteilung gewisser olgen, welche mit den Nullstellen der Zetafunktion zusammenhängen, Naturw Kl Abt II , Österr Akad Wiss, Math- [6] H Ki and Y Lee, Zeros of the derivatives of the Riemann zeta-function, unctiones et Approximatio 47 0, [7] K P Koutsaki, A amazyan and A Zaharescu, On the zeros of linear combinations of derivatives of the Riemann zeta function, Int J Number heory 06, [8] L Kuipers and H Niederreiter, Uniform distribution of sequences, Dover Publication Inc, Mineola, New York, 006 [9] E Landau, Über die Nullstellen der Zetafunktion, Math Ann 7, 9, [0] J Lee, Onozuka and A I Suriajaya, Some probabilistic value distributions of the Riemann zeta function and its derivatives, Proc of the Japan Academy, Series A, Mathematical Sciences 9, No 7, 06, 8 83 [] N Levinson, Almost all roots of ζs = a are arbitrarily close to σ = /, Proc Nat Acad Sci USA 7 No 4, 975, 3 34 [] N Levinson and H L Montgomery, Zeros of the derivatives of the Riemann zeta-function, Acta Math 33, 974, [3] Nakamura, Zeros of polynomials of derivatives of zeta functions, Proc Amer Math Soc 45, 07, [4] Onozuka, On the a-points of derivatives of the Riemann zeta function, European Journal of Mathematics 3, 07, [5] H A Rademacher, ourier Analysis in Number heory, Symposium on Harmonic Analysis and Related Integral ransforms, Cornell Univ, Ithaca, NY, 956, in; Collected Papers of Hans Rademacher, Vol II, , Massachusetts Inst ech, Cambridge, Mass, 974

24 Zeros of a polynomial of ζ j s 4 [6] R Speiser, Geometrisches zur Riemannschen Zetafunktion, Math Ann 0, 935, 54 5 [7] J Steuding, One hundred years uniform distribution modulo one and recent applications to Riemann s zeta function, opics in Math Analysis and Applications 94, 04, [8] E C itchmarsh, he theory of the Riemann zeta-function, second ed revised by D R Heath-Brown, Oxford Univ Press, 986 [9] C Y Yildirim, Zeros of ζ s & ζ s in σ < /, urkish J Math 4, no, 000, Multiple Zeta Research Center, Kyushu University Motooka, Nishi-ku, ukuoka Japan t-onozuka@mathkyushu-uacjp