arxiv:508.00533v [math.gm] 4 May 06 A PROOF OF THE RIEMANN HYPOTHESIS USING THE REMAINDER TERM OF THE DIRICHLET ETA FUNCTION. JEONWON KIM Abstract. The Dirichlet eta function can be divided into n-th partial sum η n(s) and remainder term R n(s). We focus on the remainder term which can be approximated by the expression for n. And then, to increase reliability, we make sure that the error between remainder term and its approximation is reduced as n goes to infinity. According to the Riemann zeta functional equation, if η(σ+it) = 0 then η( σ it) = 0. In this case, n-th partial sum also can be approximated by expression for n. Based on this approximation, we prove the Riemann hypothesis.. Introduction The Riemann hypothesis conjectured by Bernhard Riemann in 859 states that the real part of every nontirivial zeros of the Riemann zeta function is. The Riemann zeta function is the function of the complex variable s, which converges for any complex number having R(s) > []. () ζ(s) = The Riemann hypothesis discusses zeros outside the region of convergence of this series, so it must be analytically continued to all complex s []. This statement of the problem can be simplified by introducing the Dirichlet eta function, also known as the alternating zeta function. The Dirichlet eta function is defined as [] () η(s) = n= n= ( ) n n s = n s ( s ) ζ(s) Since η(s) converges for all s C with R(s) > 0, one need not consider analytic continuation (see p. 55-56 of [4]). The Dirichlet eta function extends the Riemann zeta function from R(s) > to the larger domain R(s) > 0, excluding the zeros s = +n π lni(n Z). The Riemann hypothesis is equivalent to the statement that all the zeros of the Dirichlet eta function falling in the critical strip 0 < R(s) < lie on the critical line R(s) = (see p. 49 of [4]). In the strip 0 < R(s) < the Riemann zeta function satisfies the functional equation[, 3] related to values at the points s and s. ( πs ) (3) ζ(s) = s π s sin Γ( s)ζ( s) where Γ(s) is the gamma function. The functional equation shows that the Riemann zeta function have the infinitely zeros, called the trivial zeros, at the negative even 99 Mathematics Subject Classification. Primary M6. Key words and phrases. Riemann hypothesis, Riemann zeta function, Dirichlet eta function.
JEONWON KIM integers. But the functional equation do not tell us about the zeros of the Riemann zeta function in the strip 0 < R(s) <. Actually there are zeros in the strip and they are called nontrivial zeros. Calculation of some number of these nontrivial zeros show that they are lying exactly on the line R(s) = [5].. The remainder term of the Dirichlet eta function Let s = σ +it, where 0 < σ < and σ,t R. The Dirichlet eta function can be written as n ( ) k ( ) k (4) η(s) = + = η n (s)+r n (s) k= where η n (s) is the n-th partial sum and R n (s) is the sum of remainder term. η n (s) and R n (s) converge to η(s) and zero respectively, as n. lim η n(s) = η(s), lim R n(s) = 0 The expand form of the remainder terms are represented as follows. { } R n (s) = ( ) n n s (n+) s + (n+) s { } R n (s) = ( ) n (n+) s (n+) s + (n+3) s { } R n+ (s) = ( ) n (n+) s (n+3) s + (n+4) s Lemma.. The remainder term of η(s) satisfy the following limit as n. R n (s) R n+ (s) (5) lim = R n (s) R n (s) Proof. Consider the recurrence relation, ( ) k ( ) k (6) R n (s) R n (s) = (7) R n (s) R n+ (s) = Thus, we obtain the following relation. Taking the limit as n, we have Thus, we have R n (s) R n (s) lim R n (s) R n+ (s) ( ) k k=n k=n+ R n (s) R n (s) R n (s) R n+ (s) = (n+)s n s Rn(s) R n (s) Rn+(s) R n(s) ( ) k R n (s) R n+ (s) lim = R n (s) R n (s) = ( )n n s = ( )n (n+) s ( + s = n)
A PROOF OF THE RIEMANN HYPOTHESIS 3 Lemma.. For sufficiently large n, the remainder term of η(s) can be approximated as ( ) k (8) R n (s) = ( )n Proof. Separate the R n (s) and R n+ (s) into real and imaginary parts and change the index of summation o that it would start from. Then we have, {cos(tln(n+k)) isin(tln(n+k))} R n (s) = ( ) n+k (n+k) σ R n+ (s) = k= k= {cos(tln(n+k +)) isin(tln(n+k +))} ( ) n+k (n+k +) σ For every ǫ > 0 there are natural numbers N and N such that n > N implies tln(n+k +) tln(n+k) < ǫ for all t R, and n > N implies (n+k +) σ (n+k) σ < ǫ. Let N=max{N,N }. By the choice of N, n > N implies R[R n (s) { R n+ (s)}] < ǫ and I[R n (s) { R n+ (s)}] < ǫ. Thus, it follows that R n (s) R n+ (s) for sufficiently large n. Consider the recurrence relation(see (6) and (7)) R n (s)+{ R n (s)} = ( )n n s R n (s)+{ R n+ (s)} = ( )n (n+) s Forallǫ > 0,thereexistδ > 0suchthatforalln > N thatsatisfy R n (s) { R n (s)} < δ and R n (s) { R n+ (s)} < δ, it follows that R n(s) ( )n n s < ǫ and R n (s) ( )n (n+) s < ǫ In this paper, we select the value of 0.5 between 0 and in order to reduce the approximation error. ( ) k R n (s) = ( )n Now, in order to confirm the relationship between R n (s) and the relative error. ( ) n, consider Lemma.3. The relative error ǫ between the remainder term of η(s) and its ( ) approximation n (n+0.5) converge to zero as n. s R n (s) ( )n (9) ǫ R n (s) = 0
4 JEONWON KIM Proof. Consider the recurrence relation, (see (7)) R n (s) R n+ (s) = ( )n (n+) s Dividing both sides by R n (s) and taking the limit as n, then we get the following limit. ( lim R ) n+(s) ( ) n R n (s) (n+) s R n (s) By the result of the Lemma., we have ( ) n (0) lim (n+) s R n (s) = Let F n (s) = ( )n (n+) s R, then R n(s) n(s) = ( )n R n (s) ( )n ǫ R n (s) (n+) s F and lim n(s) F n (s) =. Thus, ( ) n (n+0.5) F s n (s) = 0 ( ) n (n+) s For example, in order to check the Lemma., we perform a numerical calculation. Let s = 0.34+56.789i(random value) and T n (s) = ( )n. Then R n (s) and T n (s) for four values (n = 0 8, n = 0 0, n = 0, n = 0 4 ) are given below. The significant figure of a number may be underlined. R 0 8(s) = 0.054080530837469087445376 0.003004467489550765693 i T 0 8(s) = 0.05408053083539439307 0.0030044674860677464 i R 0 0(s) =+0.007543305966055777944 0.090708034743704973900 i T 0 0(s) =+0.00754330596604699783035 0.0907080347437034344460 i R 0 (s) = 0.0044373549038780686664 + 0.0646904968898880809350 i T 0 (s) = 0.004437354903878068679 + 0.064690496889888084859 i R 0 4(s) = 0.005975967649930906036 0.00759946945300568646539 i T 0 4(s) = 0.005975967649930906034 0.00759946945300568646536 i
A PROOF OF THE RIEMANN HYPOTHESIS 5 Define the relative errors for the real and imaginary parts of the complex error function in forms ǫ r = ǫ i = R[R n (s)] R[T n (s)] R[R n (s)] I[R n (s)] I[T n (s)] I[R n (s)] Then the relative errors for the above eight values are given in table. Table. Relative Errors for ǫ r and ǫ i n ǫ r ǫ i 0 8 4.036 0 4.55 0 4 0 0 3.9546 0 8 4.335 0 8 0 3.00 0 4.0388 0 0 4 3.3835 0 6 4.33 0 6 In the table, ǫ r and ǫ i are reduced as n goes to infinity. Lemma. and.3 show that R n (s) can be approximated by R n (s) can be written as () R n (s) = ( )n +ǫ n(s) where ǫ n (s) is error term and ǫ n (s) is coverges to zero, as n. () lim ǫ n(s) = 0 Lemma.3 can be written by ǫ n (s) as follow. R n (s) ( )n ǫ R n (s) ǫ n (s) R n (s) = 0 ( ) n. So, ( ) In addition, dividing both sides of () by n (n+0.5) and taking the limit as n, s then we get the following limit. By using the (0), we have lim R n(s) (n+0.5)s ( ) n = + lim ǫ n(s) (n+0.5)s ( ) n (3) lim ǫ n(s)(n+0.5) s = 0 Lemma.4. Let s = σ+it where σ is constant on 0 < σ < and t R, then the Dirichlet eta function is converges uniformly.
6 JEONWON KIM Proof. η n (s) η(s) = R n (s) = ( ) n < n σ Since n 0 as n, given any ǫ > 0 there exist N N, depending only on ǫ σ and n, such that 0 < ǫ for all n > N nσ It follows that n ( ) k η(s) < ǫ for all t R and all n > N k= which proves that the Dirichlet eta function converges uniformly on constant σ Lemma.5. Let s = σ + it denote the nonzeros of η(s) where σ is constant on 0 < σ < and t R, then η( s) η(s) is converges uniformly. Proof. η n ( s) η n (s) η( s) η(s) η n ( s) η( s) η n (s) η n (s) + η( s) η( s) η n (s) η(s) = η n ( s) η( s) η n (s) + η( s) η n (s) η(s) Since η(s) converges uniformly, for every ǫ > 0 we can choose N,N N such that n N implies η n ( s) η( s) η n (s) < ǫ for all I(s) R, η(s) 0 and n N implies η( s) η n (s) η(s) < ǫ Let N=max{N,N }. By the choice of N, n N implies η n ( s) η( s) η n (s) + η( s) η n (s) η(s) < ǫ So, for all n > N. η n ( s) η n (s) η( s) η(s) < ǫ Lemma.6. If a sequence of continuous function η n (s) : A C converges uniformly on A C, then η(s) is continuous on A Proof. Suppose that c = σ +iu A denote the nonzeros of η(s) where u R and ǫ > 0. For every n N η( s) η( c) η(s) η(c) < η( s) η n( s) η(s) η n (s) + η n ( s) η n( c) η n (s) η n (c) + η n ( c) η( s) η n (c) η(s)
A PROOF OF THE RIEMANN HYPOTHESIS 7 By the uniform convergence of η(s), we can choose n N such that η( s) η n( s) η(s) η n (s) < ǫ for all t R, if n > N 3 and for such an n it follows that η( s) η( c) η(s) η(c) < η n ( s) η n (s) η n( c) η n (c) + ǫ 3 Since, η n (s) if continous on A, there exist δ > 0 such that η n ( s) η n( c) η n (s) η n (c) < ǫ if s c < δ and s A 3 This prove that η(s) is continuous. This result can be interpreted as justifying an exchange in the order of limits (4) lim lim η n ( σ it) η n ( σ it) lim t u η n (σ +it) t u η n (σ +it) 3. A proof of the Riemann hypothesis In94GodfreyHaroldHardyprovedthatζ( +it)hasinfinitelymanynontrivial zeros [7]. Theorem 3.. [Riemann Hypothesis] The real part of every nontrivial zeros of the Riemann zeta function is. Proof. The Dirichlet eta functional equation is η( s) = ( s+ ) ( πs ) ( s ) π s cos Γ(s)η(s) If η(s) 0, then η( s) η(s) = ( s+ ) ( πs ) ( s ) π s cos Γ(s) The above equation has a removable discontinuity at the zeros of η(s). Let s 0 = σ+it 0 is zero of η(s) and s = σ+it where σ is constant on < σ < and t R. For each point t, we can choose the open interval t 0 < t < c where c is an arbitrary point such that η n (σ +it) and η n ( σ it) are converge uniformly. By using the Eq. (4), we have (5) lim lim η n ( σ it) t t 0+ η n (σ +it) lim η n ( σ it) t t 0+ η n (σ +it) (i) By using the Lemma., the left-hand side of (5) is as follows. lim lim η n ( σ it) R n ( σ it) t t 0+ η n (σ +it) R n (σ +it) ( ) n (n+0.5) σ it ( ) n (n+0.5) σ+it (n+0.5)σ +it
8 JEONWON KIM Thus, the left-hand side of the equation diverges to infinity. (ii) By using the Dirichlet eta functional equation, the right-hand sides of (5) is as follows. lim lim t t 0+ η n ( σ it) η n (σ +it) η( σ it) t t 0+ η(σ +it) ( σ+it+ ) t t 0+ ( σ+it )π σ+it cos = ( σ+it0+ ) cos ( σ+it0 σ+it0 )π { π(σ +it) { π(σ +it0 ) Thus, the right-hand side of the equation does not diverges to infinity. } Γ(σ +it) } Γ(σ +it 0 ) By the (i) and (ii), This is contradiction. Therefore η(s) deos not have zeros in the strip < 0 <, and η(s) has no zeros in the strip 0 < R(s) <, because all nontrivial zeros of η(s) were symmetric about the line R(s) =. In conclusion, the real part of every nontrivial zeros of the Riemann zeta function is only. References [] Abramowitz, M. and Stegun, I. A. (Eds.). Handbook of mathematical functions with formulas, graphs, and mathematical tables, 9th printing. New York: Dover, pp. 807, 97. [] Octavia Couture, Unsolved problems in mathematics, New Delhi : World Technologies, pp 85, 0. [3] Krantz, S. G, Handbook of Complex Variables., Boston, MA: Birkhäuser, pp. 60, 999. [4] P. Borwein, S. Choi, B. Rooney and A. Weirathmueller, The Riemann hypothesis: A resource for the afficionado and virtuoso alike, Springer-Verlag, 007. [5] R. Dwilewicz, J. Miná c, Values of the Riemann zeta function at integers, MATerials MATematics. 009 [6] Odlyzko, A. M. and te Riele, H. J. J, Disproof of the Mertens Conjecture., J. reine angew. Math. 357, 38-60, 985. [7] E. C. Titchmarsh, The theory of the Riemann Zeta Function, Oxford University Press, Oxford, pp. 55-58, 986 Jeonwon Kim E-mail address: your79jw@ssu.ac.kr