Preprint
Article

This version is not peer-reviewed.

On the Solution to Riemann Hypothesis

Submitted:

06 January 2023

Posted:

12 January 2023

Read the latest preprint version here

Abstract
Proof of the Riemann hypothesis is obtained using the properties of the Gamma function, the Bernoulli function, and limitations imposed by the rational relations of the complex roots of the Riemann zeta function, and the rational relations of the complex Gamma functions.
Keywords: 
;  ;  

1. Introduction

Most of the information about the ζ -function is well known, and the particulars of the theorems and foundational work that concern the Riemann hypothesis will not be covered in detail. It is important to recognize that the Riemann hypothesis is the foundation of many important theorems, and in a sense is the corner-stone of number theory. It is expected that a solution to the Riemann hypothesis will not require any particular theorems to prove it, since it is a fundamental property of complex numbers.
The Riemann Zeta function, ζ s , is defined by:
ζ s = 1 1 s + 1 2 s + 1 3 s + = n = 1 n s , s      
This study will use the convention, s = σ + i τ , were, τ   reals . Euler proved that the function ζ s ,   s = σ + i t , σ > 1 can be represented in terms of primes, p . ζ s is analytic for σ > 1 and satisfies in this half-plane the identity:
ζ s = n = 1 1 n s = p 1 1 p s 1  
here, p is a prime. Except for a pole at s = 1 , ζ s behaves properly and can be easily extended using the Gamma Function. The extension of ζ s to the entire complex plane can be obtained by consideration the entirety and the general definition of the Gamma function:
                                                                                  Γ z = 0 e t t z 1 d t  
Change variables by the substitution t = n 2 π x , z = s 2 ,   in (3),
Γ s 2 = n 2 π s 2 0 e n 2 π x x s 2 1     d x
Extracting ζ s from (4),
π s 2 ζ s Γ s 2 = n = 1 0 e n 2 π x x s 2 1     d x          
The convergence of the series,
S x = n = 1 e n 2 π x
in the interval 0 ,     gives the relation:
π s 2 ζ s Γ s 2 = 0 S x x s 2 1     d x
This can be split into two separate integrals:
π s 2 ζ s Γ s 2 = 0 1 S x x s 2 1     d x   + 1 S x x s 2 1     d x
Note that the sum (6) is related to the Jacobi Theta function. See Ref [1].
        θ x = n = e n 2 π x
S x = 2 n = 1 e n 2 π x =   n = e n 2 π x 1       =     θ x 1    
The Jacobi theta function obeys the symmetry
x 1 2 θ x = θ x 1
Thus
  x 1 2 2 S x + 1 = 2 S x 1 + 1
Clearly, this leads to the reflection formula as follows.
  S x 1 = 1 2 + 1 2 x 1 2 + x 1 2 S x
The integral (8.0) now becomes
π s 2 ζ s Γ s 2 = 1 S x 1 x s 2 1     d x   + 1 S x x s 2 1     d x  
π s 2 ζ s Γ s 2 = 1 x s 2 1 1 2 + 1 2 x 1 2 + x 1 2 S x     d x   + 1 S x x s 2 1     d x  
π s 2 ζ s Γ s 2 = 1 s s 1 + 1 S x x s 2 1 + x s 2 1 2     d x  
The right side of the relation (16.) is invariant to the substitution s 1 s . This gives the reflection formula for ζ s :
π s 2 ζ s Γ s 2 = π 1 s 2 ζ 1 s Γ 1 s 2  
The reflection formula indicates that the roots should obey a reflection and a conjugate symmetry if they lie on the ½-line.

2.0. The Relationship Between ζ(s), s, Bernoulli Numbers, and Gamma Functions with the Rational Functions Of The Roots

The rational functions of the roots of the Riemann zeta function are also expressed as rational Gamma functions. The behavior of the Gamma function for complex arguments restricts the validity of these rational arguments to arguments τ   s > 0. As will be shown, this restriction also applies to the roots.
The relationship between ζ s ,   s , Bernoulli numbers and Gamma functions with the rational functions of the roots is shown. Consider the rational forms of the ζ -function: Using the Jensen formula [1] (p 1036),
ζ s = 2 s 1 2 s 1 s s 1 + 2 2 s 1 0 1 4 + t 2 sin s tan 1 2 t   e 2 π t 1 d t    
Substituting tan θ = 2 t ,  
ζ s = 2 s 1 2 s 1 s s 1 + 2 2 s 1 0 π 2 1 2 sec s θ sin s θ   1 2 sec θ 2 e π tan θ 1 d θ  
This reduces to
ζ s = 2 s 1 2 s 1 s s 1 + 2 s 2 s 1 0 π 2 sin s θ   sec θ 2 s e π tan θ 1 d θ    
Using the ChebyshevT function, [1] (p 993, 8.94
sin s cos 1 x = 1 ChebyshevT s , cos 1 x 2  
Using x = cos θ ,
ζ s = 2 s 1 2 s 1 s s 1 + 2 s 0 π 2 cos θ s 2 1 1 2 cos θ + i 1 cos θ 2 1 2 s + 1 2 cos θ i 1 cos θ 2 1 2 s e π 1 cos θ 2 cos θ 1 d θ     ζ s = 2 s 1 2 s 1 s s 1 + 2 s 0 π 2 cos θ s 2 1 1 2 cos θ + i 1 cos θ 2 1 2 s + 1 2 cos θ i 1 cos θ 2 1 2 s e π 1 cos θ 2 cos θ 1 d θ    
Which can be reduced again by the substitution, x = tan θ ,
ζ s = 2 s 1 2 s 1 s s 1 + 2 s 0 1 1 + x 2 2 s 1 1 + x 2 2 s 1 2 1 + i x s + 1 2 1 i x s 2 1 2 e π x 1 d x     ,
Finally, one arrives at the Abel Plena form:
ζ s = 2 s 1 2 s 1 s s 1 + 2 0 i 1 + i x s + 1 + i x s e π x 1 d x          
The function (22) can now be reduced to a series form, as follows:
1 + i x s = n = 0 i x n Γ 1 s Γ s n + 1 n ! ,   1 i x s = n = 0 i x n Γ 1 s Γ s n + 1 n !        
It is convenient at this point to note that the odd terms vanish and one is left with:
ζ s = 2 s 1 2 s 1 s s 1 + 0 2 i n = 1 i x 2 n 1 Γ 1 s 2 Γ s n + 2 2 n 1 ! e π x 1 d x    
ζ s = 2 s 1 2 s 1 s s 1 + n = 1 2 Γ 1 s Γ s n + 2 2 n 1 ! 0   x 2 n 1 e π x 1     d x      
Using the relation [1] (p 1038),
ζ 2 n Γ 2 n 1 π 2 n = 0 x 2 n 1 e π x 1 d x      
ζ s = 2 s 1 2 s 1 s s 1 + n = 1 2 Γ 1 s ζ 2 n Γ 2 n π 2 n Γ s n + 2 2 n 1 ! d x    
Γ 2 n = 2 n 1 !
ζ s = 2 s 1 2 s 1 s s 1 + n = 1 2 Γ 1 s ζ 2 n π 2 n Γ s n + 2 d x  
Using the relation [1] (p 1038)
  ζ 2 n = 1 n + 1 2 2 n 1 π 2 n B 2 n 2 n !  
one arrives at the desired form:
ζ s = 2 s 1 2 s 1 s s 1 n = 1 2 2 n B 2 n Γ 1 s Γ s 2 n + 2 2 n !  
Now, a critical observation is that the series in (30) also determines an equal representation of the rational forms of the arguments by the truncated sum:
s s 1 = n = 0 1 2 n B n Γ 1 s Γ 2 n s n !  
The function becomes:
ζ s = 2 s 1 2 s 1 s s 1 n = 0 2 n B n Γ 1 s Γ s n + 2 n ! n = 0 1 2 n B n Γ 1 s Γ 2 n s n !  
ζ s = 2 s 1 2 s 1 s s 1 n = 0 2 n B n Γ 1 s Γ s n + 2 n ! + s s 1  
  ζ s = 2 s 1 2 s 1   n = 0 2 n B n Γ 1 s Γ 2 n s n !
It is clear that when the ζ -function vanishes,
s s 1 = n = 1 2 2 n B 2 n Γ 1 s Γ s 2 n + 2 2 n ! = n = 0 1 2 n B n Γ 1 s Γ 2 n s n ! , and n = 0 2 n B n Γ 1 s Γ s n + 2 n !     = 0  
and
This is where the role of the Bernoulli numbers, B n and the Gamma function come into play with the roots of the Riemann zeta function. Note that the expression (35) is the rational forms of the Γ -function.

3.0. The Role of the Gamma Function in the Riemann Hypothesis

Consider the Γ -function:
Γ z = e γ z z k = 1 e z k 1 + z k   ,     z > 0  
where γ , is Euler’s constant.
The relation (36) is only valid for   z > 0 ,   i.e., z = s 2 n + 1 > 0.   The Bernoulli numbers and the Γ -function (36) interact only for values of   n   ϵ   0 , 1 . These are precisely the values that truncate the relation:
s s 1 = n = 1 2 2 n B 2 n Γ 1 s Γ s 2 n + 2 2 n ! n = 0 1 2 n B n Γ 1 s Γ 2 n s n !    
Put z = 1 s , and also, z = 2 2 n s in (36), and since (36) is only valid for n = 0   ,   1 , it can be seen that (37) produces the correct result:
1 s 1   1 + n = 1 2 2 n B 2 n Γ 1 s Γ s 2 n + 2 2 n ! = 0
Which provided,
s s 1 = n = 1 2 2 n B 2 n Γ 1 s Γ s 2 n + 2 2 n !
It follows that unless s is a root, the result (39) is not true. Let us expand Γ 1 s   using the functional relation (36):
s s 1 = 1 1 s e γ 1 s k = 1 e 1 s k 1 + 1 s k n = 1 2 2 n B 2 n Γ s 2 n + 2 2 n !  
It can be seen that from the numerator, a root s , can be expressed as
s = e γ 1 s k = 1 e 1 s k 1 + 1 s k n = 1 2 2 n B 2 n Γ s 2 n + 2 2 n !  
This relation must be satisfied by the substitution, s 1 s in (41); hence,
1 s = e γ s k = 1 e s k 1 + s k n = 1 2 2 n B 2 n Γ s 2 n + 1 2 n !    
Additionally, an equivalent representation of the rational form is obtained:
s s 1 = e γ 1 s k = 1 e 1 s k 1 + 1 s k n = 1 2 2 n B 2 n Γ s 2 n + 2 2 n ! e γ s k = 1 e s k 1 + s k n = 1 2 2 n B 2 n Γ s 2 n + 1 2 n !          
It is possible to simplify (43) as follows:
s s 1 = e γ 1 2 s k = 1 e 1 2 s k k + s k + 1 s Γ s Γ 1 s n = 1 2 2 n B 2 n Γ 1 s Γ s 2 n + 2 2 n ! n = 1 2 2 n B 2 n Γ s Γ s 2 n + 1 2 n !  
s s 1 = e γ 1 2 s Γ s Γ 1 s k = 1 e 1 2 s k k + s k + 1 s s s 1 1 s s  
s s 1 = e γ 1 2 s Γ s Γ 1 s k = 1 e 1 2 s k k + s 1 + k s     s s 1 2  
s 1 s = e γ 1 2 s Γ s Γ 1 s k = 1 e 1 2 s k 1 + k s k + s  
s 1 s = e γ 1 2 s Γ s Γ 1 s k = 1 e 1 2 s k k + s + 1 2 s k + s  
and finally,
s 1 s = e γ 1 2 s Γ s Γ 1 s k = 1 e 1 2 s k 1 + 1 2 s k + s
Now, the roots are complex-valued. In this case, one uses the complex representation of the Γ -function:
Γ x + i y = Γ x x e i y γ x + i y k = 1 e i y k 1 + i y x + k ,     x > 0 ,  
x + i y = Γ x x e i y γ Γ x + i y k = 1 e i y k x + k x + k + i y    
x + i y = Γ x + 1 e i y γ Γ x + i y k = 1 e i y k x + k x + k + i y
then,
x + i y 1 = Γ 2 x e i y γ Γ 1 x i y k = 1 e i y k 1 x + k 1 x i y + k
One can now express the rational form of the roots as follows:
x + i y 1 x + iy = Γ 2 x e i y γ Γ 1 x i y k = 1 e i y k 1 x + k 1 x i y + k Γ x + 1 e i y γ Γ x + i y k = 1 e i y k x + k x + k + i y  
x + i y 1 x + i y = Γ 2 x Γ x + 1 Γ x + i y Γ 1 x i y e 2 i y γ k = 1 e 2 i y k 1 x + k x + k x + k + i y 1 x + k i y    
From (49),
s 1 s = e γ 1 2 s Γ s Γ 1 s k = 1 e 1 2 s k 1 + 1 2 s k + s  
Let s = σ + i τ ,     s = σ ,     σ ,   τ . It is possible to obtain the same rational form of the roots as
σ + i τ 1 σ + i τ = e γ 1 2 σ + 2 i τ Γ σ + i τ Γ 1 σ i τ k = 1 e 1 2 σ + 2 i τ k 1 + 1 2 σ + 2 i τ k + σ + i τ   σ + i τ 1 σ + i τ = e γ 1 2 σ + 2 i τ Γ σ + i τ Γ 1 σ i τ k = 1 e 1 2 σ + 2 i τ k 1 σ i τ + k k + σ + i τ  
σ + i τ 1 σ + i τ = e γ 1 2 σ + 2 i τ Γ σ + i τ Γ 1 σ i τ k = 1 e 1 2 σ + 2 i τ k k + σ + i τ 1 σ + k i τ
Recall (55) and, let x = σ ,     y = τ .  
σ + i τ 1 σ i τ = Γ σ + 1 Γ 2 σ Γ 1 σ i τ Γ σ + i τ e 2 i τ γ k = 1 e 2 i y k σ + k 1 σ + k 1 σ + k i τ σ + k + i τ    
Multiplying (58) by (59), it is possible to reach:
  1 = Γ σ + 1 Γ 2 σ Γ 1 σ i τ Γ σ + i τ Γ σ + i τ Γ 1 σ i y e i γ 1 2 σ k = 1 e 1 2 σ k σ + k 1 σ + k 1   = e i γ 1 2 σ + log Γ σ + 1 Γ 2 σ k = 1 e 1 2 σ k σ + k 1 σ + k              
1   = e i γ 1 2 σ + log Γ σ + 1 Γ 2 σ + k = 1 1 2 σ k + log σ + k 1 σ + k
Now, the left-hand side of (62) is unity. However, the right-hand side of (61) can grow due to the fact that the sum
k = 1 1 k = ζ 1 =
Except when σ = 1 2 , and one finds that all the terms in (62) reduce to unity. This proves the Riemann hypothesis.
No assumptions have been made about σ .

4.0. Discussion

It is clear that the restrictions for the validity of the Gamma functions (50) and the reflection formula (17), for complex variables leads to the consequences that restrict the real part of rational functions of the roots in the sum (31), and the expressions (58) and (59).

4.1. Conclusion

As expected, no new theorems are required since in its fundamental form, the result is as fundamental as the arithmetic that describes numbers. A cornerstone does not need a corner stone! The Riemann hypothesis is proved to be a fundamental property of numbers, the Gamma functions, their relation to the Bernoulli numbers, and to vanishing of the Zeta function at its complex roots, s = σ + i τ , and the Riemann Zeta function’s pole s = 1 .

Funding

This research received no external funding.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Conflicts of Interest

The author declares no conflict of interest.

References

  1. Gradshteyn, I.S.; Ryzhik, I.M. Table of Integrals, Series, and Products, 7th ed.; Zwillinger, D., Jeffrey, A., Eds.; Academic Press: Cambridge, MA, USA, 2007. [Google Scholar]
  2. Anthony, M.M. A simple proof of the Riemann Hypothesis. (http://empslocal.ex.ac.uk/people/staff/mrwatkin/zeta/RHproofs.
  3. Anthony, M.M. The Principles of Causal Conspiracy Books 1&2; Tate Publishing and Enterprises LLC: Mustang, OK, USA, 2013; ISBN 978-1-62147-473-9. [Google Scholar]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.
Copyright: This open access article is published under a Creative Commons CC BY 4.0 license, which permit the free download, distribution, and reuse, provided that the author and preprint are cited in any reuse.
Prerpints.org logo

Preprints.org is a free preprint server supported by MDPI in Basel, Switzerland.

Subscribe

Disclaimer

Terms of Use

Privacy Policy

Privacy Settings

© 2025 MDPI (Basel, Switzerland) unless otherwise stated