arxiv: v3 [math.nt] 16 Oct 2013

Transcription

1 On the Zeros of the Second Derivative of the Riemann Zeta Function under the Riemann Hypothesis Ade Irma Suriajaya Graduate School of Mathematics, Nagoya University, Furo-cho, Chikusa-ku, Nagoya, , Japan arxiv: v3 [math.nt] 6 Oc3 Astract The numer of zeros and the distriution of the real part of non-real zeros of the derivatives of the Riemann zeta function have een investigated y Berndt, Levinson, Montgomery, and Akatsuka. Berndt, Levinson, and Montgomery investigated the general case, meanwhile Akatsuka gave sharper estimates for the first derivative of the Riemann zeta function under the truth of the Riemann hypothesis. In this paper, we extend the results of Akatsuka to the second derivative of the Riemann zeta function. Introduction The theory of the Riemann zeta function s has een studied for over 50 years. Among the topics of research, the study of its zeros has een one of the main focus of research. Lately, the study of the zeros of its derivatives has also een part of the research area. In fact, in 970, Berndt [, Theorem] proved that N k T = T log T 4π T +OlogT. where N k T denotes the numer of zeros of the k-th derivative of the Riemann zeta function, we write as k s, with 0 < Ims T, counted with multiplicity, for any positive integer k. And in 974, Levinson and Montgomery [3, Theorem 0] showed that for any positive integer k, ρ k =β k +iγ k, k ρ k =0,0<γ k T β k = kt loglog T + where the sum is counted with multiplicity and log kloglog T T kli +OlogT. Lix := x dt logt. Date: Septemer 7, 03. The author is supported y Nitori International Scholarship Foundation.

2 In 0, Akatsuka [, Theorem and Theorem 3] improved each of the error term of equations. and. for the case of k = under the assumption of the truth of the Riemann hypothesis. His results are and ρ =β +iγ, ρ =0,0<γ T β = T loglog T + log loglog T N T = T log T 4π T +O logt loglogt / T Li +OloglogT iftheriemannhypothesis istrue. Here, weextendthese resultstothecaseofk =. Before we introduce our results, we define some notations which are going to e used throughout this paper. In this paper we denote y Z, R, and C the set of all rational integers, the set of all real numers, andtheset of all complex numers, respectively. Let ρ = β+iγ andρ = β +iγ represent the nontrivial zeros of the Riemann zeta function and the non-real zeros of the second derivative of the Riemann zeta function, respectively. Then we define NT and N T as follows. Definition.. For T > 0, we define and NT := {ρ = β +iγ 0 < γ T} N T := {ρ = β +iγ 0 < γ T} where means the numer of elements counted with multiplicity. Next, for any complex numer s, we write Res and Ims as σ and t, respectively. Finally, we areviate the Riemann Hypothesis as RH. Below we state our results, each of which is analogous to Theorem, Corollary, and Theorem 3 of [], respectively. Theorem. Assume RH. Then for any T >, we have β = T loglog T + 0<γ T T<γ T+U log loglog T T Li +OloglogT. Corollary. Cf. [3, Theorem 3]. Assume RH. Then for 0 < U < T where T is restricted to satisfy T >, we have β = U loglog T + log loglog U U +O +OloglogT. T logt

3 Theorem 3. Assume RH. Then for T, we have N T = T log T 4π T +O logt loglogt / Before we egin the next section, we intend to give a rief outline of the proofs. Nevertheless, since the steps of our proofs asically follow those given in [] with a few crucial modifications, instead of the outline of the proof, we present the main modifications related to the proofs. We note here that Lemma. of [] plays a really important role in the proofs and so most of the points which are modified are parts of that lemma. First of all, condition of the lemma is related to the functional equation for s. Hence in our case, we need to consider for s which gives us more terms to estimate, some of which are not logarithmic derivatives of some functions that need to e taken care differently from those in the case of s. Next is condition 4 of the lemma. For s, the term we need to estimate was s which is just the logarithmic derivative of s. In [], the inequality Re s < 0 was otained, however for s, the sign of Re s does not seem to stay unchanged in any region defined y x σ <, t y for some x and large y > 0. Since it is sufficient to show that s is holomorphic and non-zero, and has ounded argument in some such region, we modify the condition in such a way. Finally, the region < σ a considered in Lemma.3 of [] does not work well for s. The reason is that the current est estimation of s depends on the usage of Cauchy s integral formula, hence we need to keep a certain distance etween and the infimum of σ in the region. Therefore, we put here a small distance ǫ 0 > 0. Proof of Theorem and Corollary In this section we give the proof of Theorem and Corollary. For that purpose, we need a few lemmas and a proposition which are analogues of those in []. For convenience, we define two functions Fs and G s as follows. Definition.. Fs := s π s sin. πs Γ s, G s := s s. log By the aove definition of Fs, we can check easily that the functional equation for s states s = Fs s.. To egin, we introduce the following lemma which is the analogue of Lemma. of [] for the case of s. 3

4 Lemma.. Assume RH. Then there exis a 4, σ 0, and max{30, σ 0 } such that. G s < σ/, for any σ a; 3. s s s s σ, for σ σ 0 and t ; 3. F s [ F and there exists an n Zsuch that arg F s π 6 +nπ, π ] 6 +nπ, 4. for σ 0 σ and t ; s 0, and there exists an n Zsuch that arg s [n π,n+π], 5.σ+i 0, σ +i 0, for any σ R. Proof. for σ 0 σ < and t ;. Let a =, we show that this satisfies condition. For σ a =, we have G s = s s = s logn s log3 = + + s log log n s log 3 log n= n=4 logn n s. Hence, s log3 G s log 3 + s logn log n s n=4 σ log3 + σ logx dx log 3 log 3 x { σ log3 + 3 } σ log3 6log3 + log σ log σ log + 6 σ 3 log 3 { log3 + 3 } a/ σ/ log3 6log3 + log a log a log + 6 a 3 log 3 3 { log3 + 3 } log3 + 6log3 6 σ/ log log log + 6 < σ/. 3 log Thus, we have proven the existence of such constant a.. Here we consider for σ and t. Firstly we estimate F Γ s. We apply Stirling s formula to s in the region F Γ π +δ arg s π δ y taking δ to e π which is sufficient for the region we are considering. Then we have F F s = log + π πs cot = log + π πs cot Γ Γ s log s+ 4 s + [u] u+. 0 u+ s du.

5 Now apply the product rule of derivatives to otain F F + F s = F s F s..3 Using equation. and noting that cot πs = O for t, we can show that F s log s Olog s. Thus, we can take σ sufficiently small i.e. sufficiently large in the negative direction so that s is large enough such that F s 4 log s σ σ, t..4 Next, we estimate F s. We note that this is the logarithmic derivative of F s, then F apply Stirling s formula to Γ s as in equation. and y noting that Γ csc πs = O, cot πs = O when t, we can show that F s = log s+o for small σ. Hence we can take a σ such that F s log σ σ σ, t..5 Now we estimate s. For σ, we have s = Λn n s Λn log = n σ + Λn log σ n σ + logn σ n σ n= n= n=3 n=3 log + logx 3 σ x σdx σ log+. Finally, we estimate s. For σ, y also using the result of equation.6 we can calculate s = + s s = Λn Λn + n s n s n= n= = Λnlogn Λn + n s n s n= n= Λnlogn Λn Λn + n σ n σ n σ n= n= n= σ 9 8 log log Thus, comining equations.4 to.7 and using simple calculations, we can show that for σ min{σ,σ }, we have s s s s F s s + s s σ 3 log σ. 5

6 Hence, y taking σ 0 min{σ,σ } such that log σ 3, we otain s s s s σ, for any σ σ 0, t. 3. Now with the aove σ 0, we are going to look for for which conditions 3 to 5 hold. We start y examining condition 3. We consider for σ 0 σ and t 9. As in the proof of condition, we apply Stirling s formula in the region π arg s π which is sufficient for our purpose to otain equation.. Thus, y again using the product rule of derivatives for F s eq..3, for σ F 0 σ and t 9 we have F s = log s +O σ0 logt. Consequently, F s log s O σ0 logt logt O σ0 logt..8 Thus, we can take t 30 for which logt O σ0 logt holds for t t. We F note from equation.8 that lim t s = holds uniformly for σ F 0 σ. Hence there exists a t 30 such that π 6 +nπ arg F F s π 6 +nπ for some n Z depends on our choice of logarithmic ranch and for any s = σ +it satisfying σ 0 σ and t t. By the aove calculations, we find that max{t,t, σ 0 } is a candidate for, thus we have proven that max{30, σ 0 } such that condition 3 holds exists. Since we want to also satisfy conditions 4 and 5, we need to examine those conditions to completely prove the existence of. 4. According to [0, Theorem ], RH implies that s has no zeros in the strip 0 σ <. Furthermore, y [0, Theorem ], s has exactly only one pair of non-real zeros in the left half-plane σ < 0. Let us denote that pair of zeros as ρ 0 and ρ 0 the complex conjugate of ρ 0. Now we take t 3 = max{30, Imρ 0 +}, then s 0 in the region defined y σ 0 σ <, t t 3. Assuming RH, we note that s is holomorphic and has no zeros in that region, hence s 0 there. Next we show that there exists an n Z such that n π arg s n+π holds for σ 0 σ < and t t 4 for some t For that purpose, we show that there exists a t 4 30 such that Re s < 0 and Re s < 0 hold for σ 0 σ < and t t 4. We refer to [3, pp ] and modify some calculations there to show the aove claim. We note that the trivial real zeros of s are s = m m =,,3,... Also since we are assuming RH, referring to [4], s 0 when σ < and t 0. Thus, according to [5], we may denote y a m the real zeros of s where a m m, m m =,,3,... 6

7 Applying the Weierstrass factorization theorem and y RH, we have the well known formulas s = log s + s+m + m s iγ + +iγ, m= γ s = 0 s + + s+a m= m a m s ρ +.9. ρ ρ Thus, for σ 0 σ < and t 9, Re s σ = log σ +t + m= m= σ +m σ +m +t m + σ γ σ +t γ + γ σ log σ +t + σ +m σ +m +t + m m= γ σ +m = σ +m +t +O σ0 m = s m= = s m= +iγ mσ +m +t σ σ +m +t +O σ 0 m= mσ +m +t +O σ 0 9 log s +O σ 0. +iγ Therefore, we can take t 4 30 for which O σ 0 < log s holds for σ 9 0 σ < and t t 4. Consequently, Re s < 0 for σ 0 σ < and t t 4. Similarly for Re s, using the fact that a m m, m for m =,,3,... and that β < 3 cf. [4] and [6, p. 678], we can also show that Re s 9 log s +O σ 0. Therefore, we can also take t 4 30 for which Re s < 0 holds for σ 0 σ < and t t 4. We set t 4 := max{t 4,t 4 }, then Re s < 0 and Re s < 0 hold for σ 0 σ < and t t 4. Hence, there exist k, l Z for which π +kπ arg s 3π +kπ, π +lπ arg s 3π +lπ hold for σ 0 σ <, t t 4. Consequently, k+l+π arg s k +l+3π, σ 0 σ <, t t 4. 7

8 Letting n := k +l +, we otain n π arg s n+π, σ 0 σ <, t t 4. Comining the proof of condition 3 and the aove calculations, we find that max{t,t,t 3,t 4, σ 0 } is a candidate for, thus we have proven that max{30, σ 0 } for which condition 3 and 4 hold exists. 5. Now we set t 5 := max{t,t,t 3,t 4, σ 0 }. Referring to [6, p. 678], we see that s 0 σ 5. Also since t 5 Imρ 0 +, as stated in the proof of condition 4, s 0 σ <, t t 5. Thus, assuming RH, we only have to consider for σ = and σ [,5] for s and s, respectively. We take t 0 [t 5 +,t 5 +] for which [ ] +i 0 and σ +i 0, σ,5 hold. Note that this is possile y the identity theorem for complex analytic functions. Then, we have shown that defined aove satisfies max{30, σ 0 } and also conditions 3 to 5. Proposition.. Assume RH. Take a and which satisfy all conditions of Lemma.. Then for T which satisfies σ+it 0 and σ+it 0 for any σ R, we have β = T loglog T + T log loglog T Li 0<γ T + argσ+it+argg σ +itdσ +O a,t0 / where the logarithmic ranches are taken so that logs and logg s tend to 0 as σ and are holomorphic in C\{ρ + λ ρ = 0 or, λ 0} and C\{ρ + λ ρ = 0 or, λ 0}, respectively. Proof. The steps of the proof generally follow the proof of Proposition. of []. We first take a, σ 0, and as in Lemma. and fix them. Then, we take T such that σ +it 0 and σ+it 0 σ R. We also let δ 0, ] and put := δ. We consider the rectangle with vertices +i, a+i, a+it, and +it, and then we apply Littlewood s lemma cf. [8, pp. 3 33] to G s there. By taking the imaginary part, we otain <γ T β = log G +it dt =: I +I +I log G a+it dt argg σ +i dσ+ argg σ +itdσ argg σ +itdσ.0

9 where the sum is counted with multiplicity. By the same reasoning as in [, p. 46], we have I = O a, I 3 = O a,t0. Now we only need to estimate I. From the functional equation for s eq.., we can deduce that { } s = s s s s+ s s { } = Fs F F s s s s+ s s. Hence, I = = log G +it dt = log log dt+ log = log loglogt + log +it dt log +it dt log F+it dt+ log F +it dt + log it dt + log +it it+ +it it dt =: log loglogt +O t0 +I +I 3 +I 4 +I 5.. Referring to [, pp ], we have I = T log T T +O t0, I 4 = argσ +itdσ+o a,t0. Below, we estimate I 3 and I 5. We egin with the estimation of I 3. As what we did in the proof of condition of Lemma., we use Stirling s formula to Γ s in the region Γ π arg s π F and product rule of derivatives for s eq..3, and we can F show that F +it = log t { tlog t t +t tlog t Therefore, Re i{ t 3 log t t log t +t tlog t log F F +it = loglog t = loglog t +O tlog t +t tlog t 9 t logt. } } +O. t logt +O t logt

10 Hence, I 3 = log F +it T dt = Re log F F +it dt = loglog t dt+o dt t logt = T loglog T T 4πLi +O t0. Finally, we estimate I 5. Again from the functional equation for s eq.., we have { } s = s s s s s.. F It follows from condition of Lemma. that the right hand side of equation. is holomorphic and has no zeros in the region defined y σ σ 0 and t. And from conditions 3 and 4 of Lemma., the left hand side of equation. is holomorphic and has no zeros in the region defined y σ 0 σ < and t t 0. Thus, we can determine log { F s s F s s } so that it tends to 0 as σ which follows from condition of Lemma., and is holomorphic in the region σ <, t > t 0. Now we consider the same trapezoid C as in [, p. 47]. Then y Cauchy s integral theorem, C log s s+ s s ds = 0..3 By using condition of Lemma., we can also show that cf. [, p. 48] T+iT t0 +i σ0 +i + + log σ 0 +it T+iT +i s s+ s s ds. Next, we estimate the integral from σ 0 +i to +i trivially, we otain +it0 log σ 0 +i s s+ s s ds = O t0. Sustituting the aove two equations into equation.3 and taking the imaginary part, we otain I 5 = log +it it+ +it it dt = arg σ 0 σ +it σ it+ σ it dσ +O t0 σ +it. = arg σ +it dσ +O t0. σ 0 σ +it F From conditions 3 and 4 of Lemma., there exists an n Z such that n 7 π arg σ +it n+ 7 6 σ +it 6 F 0 π

11 for σ 0 σ <. Again using equation., we note that from condition of Lemma., Re σ 0 +it > 0. From our choice of logarithmic ranch, we have F σ 0+iT π arg F σ 0 +it σ 0 +it π. Now, the only integer n Z such that [ n 6 7 π, n+ 7 6 Hence for σ 0 σ <, we have 7π 6 arg σ +it 7π σ +it 6 which gives us immediately F I 5 = O t0. π] includes [ π, π ] is n = 0. Sustituting the estimations on I, I 3, I 4, and I 5 into equation., we otain I = log loglogt + T log T T +T loglog T T 4πLi.4 argσ+itdσ +O a,t0. To finalize the proof of Proposition., we sustitute the estimations on I, I, and I 3 into equation.0 to otain β = T loglog T T +log loglogt 4πLi 0<γ T + T log T T Taking the limit δ 0, we have, thus β = T loglog T + 0<γ T + argσ+itdσ + log loglog argg σ +itdσ +O a,t0. T T Li argσ+it+argg σ +itdσ +O a,t0. To complete the proof of Theorem, we need to estimate argσ+it+argg σ +itdσ in Proposition.. For that purpose, similar to the method taken in [], elow we give two ounds for argσ+it+argg σ +it. We write argσ+it+argg σ +it = arg G σ +it

12 and take the argument on the right hand side so that log G σ +it tends to 0 as σ and is holomorphic in C\{z +λ z = 0 or, λ 0}. Lemma.3. Assume RH and let T. Then for any ǫ 0 > 0 satisfying ǫ 0 < 3 since 8 logt T 30, ǫ 0 <, we have for +ǫ 8 0 < σ a, arg G log logt σ +it = O ǫ 0 a, σ ǫ. 0 Proof. To egin, we note that G s is uniformly convergent to as σ for t R, so we can take a numer c R satisfying a+ c G and Re s 3 σ c. In fact, we can check that taking c = 5 is enough. Now, the proof also proceeds similarly to the proof of Lemma.3 of []. We let σ +ǫ 0,a] and let q G / = q G /σ,t denote G the numer of times Re u+it vanishes in u [σ,c]. Then, arg G σ +it qg / + π. Now we estimate q G /. For that purpose, we set H z = H T z := G z +it+ G z it z C and n H r := {z C H z = 0, z c r}. Then, we have q G / n H c σ for +ǫ 0 < σ a. For each σ +ǫ 0,a], we take ǫ = ǫ σ,t satisfying 0 < ǫ < σ ǫ 0, then H z is holomorphic in the region {z C z c c σ +ǫ}. As in [, p. 50], y using Jensen s theorem cf. [8, pp. 5 6], we can show that n H c σ C ǫ = C ǫ c σ+ǫ 0 0 n H r dr r log H c+c σ +ǫe iθ dθ C ǫ log H c for some constant C > 0, which y our choice of c gives us n H c σ C ǫ 0 log H c+c σ +ǫe iθ dθ+ ǫ O a,..5 As noted in [, p. 50] cf. [9, Theorems 9. and 9.6A], logt σ ±it = O σ holds for T t T and < σ c. Thus, for T t T and +ǫ 0 < σ c, we have σ ±it = O logt ǫ 0, and log T T σ ±it = O, for t T, +ǫ 0 < σ c ǫ 0 immediately follows. Applying Cauchy s integral formula, we have for s = σ + it with T < t < T and +ǫ 0 < σ < c, s = z logt i z s dz = O. ǫ 0 z s =ǫ 0

13 Therefore, for T < t < T and +ǫ 0 < σ < c. Consequently, we can easily show that log + s = s s T = O ǫ 0 H c+c σ +ǫe iθ a log T ǫ 0 and so log H c+c σ +ǫe iθ dθ a log logt. 0 ǫ 0 Sustituting this into equation.5, we otain n H c σ = ǫ O a, log logt ǫ 0 which implies arg G σ +it = ǫ O a, Taking ǫ = σ ǫ 0 < σ ǫ 0, we otain arg G σ +it = O a, log logt. ǫ 0 log logt ǫ 0 σ ǫ 0. Lemma.4. Assume RH and let A > 3 e fixed. Then there exists a constant C 0 > 0 such that logt σ σ +it exp C 0 +logt /0 loglogt holds for T 30, T t T, loglogt σ A. Proof. Referring to [9, equations 4.4., and the first equation on p. 384] cf. [, pp. 5 5], we know that logt σ σ+it exp C +logt /0 loglogt holds for loglogt σ A+, T 3 t 3T for some constant C > 0. Applying Cauchy s integral formula, s = z πi z s 3dz for 0 < ǫ < z s =ǫ 3

14 in the region defined y σ A and T t T. Thus, in that region we loglogt have s logt σ ǫ exp C +logt /0. loglogt Taking ǫ = <, we otain Lemma.4. loglogt Lemma.5. Assume RH and let T 30. Then for any σ 3, we have 4 logt σ argg σ +it = O a. loglogt / Proof. The proof proceeds in the same way as the proof of Lemma.4 of []. Refer to [, pp. 5 53] for the detailed proof and use Lemma.4 aove in place of Lemma.6 of []. Remark.6. The restrictions of the lower ound of T we gave in Lemmas.3,.4, and.5 are in fact not essential. Nevertheless, they are sufficient for our needs. We may let T to e any positive numer in Lemmas.3,.4, and.5, however in that case, we need to modify some calculations in the proofs. Thus, we used these restrictions for our convenience. Proof of Theorem : First of all, we consider for T which satisfies σ+it 0 and σ+it 0 for any σ R. By Lemma.3, we have +ǫ 0 arg G σ +itdσ a, +ǫ 0 Next, y Lemma.5, logt σ argg σ +it = O a loglogt / log logt ǫ 0 σ ǫ dσ a log logt log. 0 ǫ 0 ǫ 0 for σ 3 4 and from equation.3 of [, p. 5] cf. [9, equations and 4.4.5], RH implies that logt σ argσ +it = O loglogt holds uniformly for σ 3 4. Thus, +ǫ 0 arg G σ +itdσ a logt loglogt /ǫ 0. 4

15 Now we take ǫ 0 = 4logT 0<γ T < 3 8 logt, then we have Applying this to Proposition., we have β arg G σ +itdσ a, loglogt. = T loglog T + T log loglog T Li +O a,t0 loglogt..6 Secondly, for < T <, we are adding some finite numer of terms which depend on so this can e included in the error term. Thirdly, for T such that σ+it = 0 or σ+it = 0 for some σ R, then there is some increment in the value of β as much as β 0<γ T γ. =T Now we estimate this and we show that this can e included in the error term of equation.6. We start y taking a small 0 < ǫ < such that σ + it ± ǫ 0 and σ+it ±ǫ 0 for any σ R. According to equation.6, β T +ǫ = loglog T +ǫ + 0<γ T+ǫ 0<γ T ǫ Thus, T ǫ<γ T+ǫ This gives us β = β = T ǫ T +ǫ log loglog T +ǫ T +ǫ Li +O a,t0 loglogt, loglog T ǫ + log loglog T ǫ loglog T +ǫ T ǫ Li +O a,t0 loglogt. T ǫ loglog T ǫ + ǫ { } T +ǫ T ǫ π log loglog Li Li = ǫ π loglog T + ǫ πlog T T ǫ<γ T+ǫ +O a,t0 loglogt + ǫ π log loglog ǫ πlog T ǫ +O +O a,t0 loglogt. T logt β = O a,t0 loglogt 5

16 which implies γ =T β = O a,t0 loglogt. Therefore, this increment can also e included in the error term. Finally, since a and are fixed constants, β = T loglog T + 0<γ T holds for any T >. T log loglog T Li +OloglogT Proof of Corollary : This is an immediate consequence of Theorem. For the proof, refer to [3, p. 58 ending part of section 3]. 3 Proof of Theorem 3 In this section we give the proof of Theorem 3. We first show the following proposition. Proposition 3.. Assume RH. Then for T which satisfies σ+it 0 and σ + it 0 σ R, we have N T = T log T 4π T + argg +it + arg +it +O t0 where the arguments are taken as in Proposition.. Proof. The steps of the proof also follow the proof of Proposition 3. of []. We take a, σ 0,, T, δ, and as in the eginning of the proof of Proposition.. We let := δ, then replacing y in equation.0, we have 0<γ T β = log G +it dt log G a+it dt argg σ +i dσ + argg σ +itdσ. 6

17 Sutracting this from equation.0, we have πδn T N = log G +it dt log G +it dt argg σ +i dσ + argg σ +itdσ =: J +J +J 3 + argg σ +itdσ. 3. Referring to the estimation of I 3 in the proof of Proposition. cf. [, p. 46], we can easily show that J 3 = O t0 δ. Now we estimate J +J. From equation., we have J +J = log G +it dt log G +it dt = logt + log F+it log F +it dt + log F +it log F +it dt + log it log it dt T + log +it it+ +it it log F +it it+ F +it it dt =: δ log T +O t0 δ +J +J 3 +J 4 +J 5. Referring to [, pp ], we have J = δ T log T T +O t0 δ, J 4 = argσ +itdσ+o t0 δ. We only need to estimate J 3 and J 5. We egin with the estimation of J 3. Since all zeros and poles of Fs lie on R, F s has no poles in t > 0. From condition 3 of Lemma F., we candefine a ranchoflog F sfor 0 < σ < andt > t F 0 y arg F s [ π, π F 6 6]. As in [, p. 55], we apply Cauchy s integral theorem to log F s on the rectangle with F vertices +i, +i, +it, and +it and take the imaginary part, then we otain J 3 = arg F F σ +idσ arg F F σ +itdσ = O δ. 7

18 Finally, we estimate J 5. We determine a ranch of log s s+ s s as that in the estimation of I 5 in the proof of Proposition., then it is holomorphic in the region defined y 0 < σ <, t > t 0. Applying Cauchy s integral theorem to it on the path taken for estimating J 3, we have J 5 = arg Again using equation., J 5 = arg σ +it F 0 σ +it F 0 σ i+ F σ +i σ i dσ arg σ +it σ it+ σ it dσ. σ +it Applying inequalities.4, we otain σ +i dσ arg J 5 = O t0 δ. In consequence, J +J = δ T log T4π T + Sustituting this into 3., we have { N T = T log T 4π T + argg σ +itdσ + πδ Taking the limit δ 0, y the mean value theorem, lim δ 0 πδ F σ +it dσ. σ +it argσ+itdσ +O t0 δ. argg σ +itdσ = argg y noting that = δ and = δ. And similarly, lim δ 0 argσ+itdσ +it argσ+itdσ = πδ arg +it. Sustituting these into equation 3., we have N T = T log T 4π T + argg +it } + arg +it +O t0. +O t0. 3. If T <, then N T N = O t0. Hence the aove equation holds for any T which satisfies the conditions of Proposition 3.. 8

19 Proof of Theorem 3: Firstly we consider for T which satisfies σ+it 0 and σ+it 0 for any σ R. By Lemma.5, argg +it logt = O a loglogt / and again from equation.3 of [, p. 5], we have arg +it = O logt loglogt Sustituting these into Proposition 3., we otain N T = T log T 4π T +O a,. logt loglogt / Next, if σ+it = 0 or σ+it = 0 for some σ R T, then we again take a small 0 < ǫ < such that σ+it ±ǫ 0 and σ+it ±ǫ 0 for any σ R as in the proof of Theorem. Then similarly, we can show that the increment of the value of N T can e included in the error term of the aove equation. Finally, since a and are fixed constants, N T = T log T 4π T +O logt loglogt / holds for any T.. 4 Final Remarks Inthispaperwehaveproventhatwecanextendtheresultsof[]tothesecondderivative of the Riemann zeta function. However, it is favorale to extend these results to the general case, that is to the k-th derivative of the Riemann zeta function for k, k Z which is our main goal at present. Finally, the author would like to dedicate special thanks to Prof. Kohji Matsumoto and senior Ryo Tanaka for their valuale advices along the way. References [] H. Akatsuka, Conditional estimates for error terms related to the distriution of zeros of s, J. Numer Theory [] B. C. Berndt, The numer of zeros for k s, J. London Math. Soc [3] N. Levinson and H. L. Montgomery, Zeros of the derivatives of the Riemann zetafunction, Acta Math

20 [4] A. Speiser, Geometrisches zur Riemannschen Zetafunktion, Math. Ann [5] R. Spira, Another zero-free region for k s, Proc. Amer. Math. Soc [6] R. Spira, Zero-free regions of k s, J. Lond. Math. Soc [7] R. Spira, Zeros of s and the Riemann hypothesis, Illinois J. Math [8] E. C. Titchmarsh, The theory of functions, second ed., Oxford Univ. Press, 939. [9] E. C. Titchmarsh, The theory of the Riemann zeta-function, second ed., Oxford Univ. Press, 986, revised y D. R. Heath-Brown. [0] C. Y. Yildirim, A Note on s and s, Proc. Amer. Math. Soc , no. 8,