Preprint
Article

A Modest Contribution to the Riemann Hypothesis Using the Poincaré Index

Altmetrics

Downloads

278

Views

1268

Comments

0

This version is not peer-reviewed

Submitted:

06 September 2023

Posted:

07 September 2023

Read the latest preprint version here

Alerts
Abstract
This work uses a new approach to investigate the Riemann hypothesis, drawing conclusions about its trueness. It is based on the more general method presented in a very recent publication, by the same author, showing in detail how to ap- proach that very well-known and interesting problem. This is achieved by means of the theory of dynamical systems (Poincaré index associated to equilibria of 2-dimensional systems) and the study of the zeros of the Dirichlet eta function, defined by a Dirichlet series. By using the well-known fact that the zeros of the eta function would include all zeros of the Riemann zeta function in the (open) critical strip, excluded the critical line, (0,1/2) ∪ (1/2,1) × (−∞,∞), the development proceeds using only the eta function. In addition, the open and simply connected region (1/2,1) × (0,∞) is used along the text, taking into account the symmetries of zeros of the functions under analysis in the critical strip. The basic line of proof is to find the mathematical expression for the Poincaré index of the vector field associated to the eta function, assuming the existence of a zero of the eta function outside the critical line (in (1/2,1) × (0,∞)), and investigating the resulting unfoldings. Eventually, an inconsistency occurs and the proof ends by contradiction.
Keywords: 
Subject: Computer Science and Mathematics  -   Mathematics

1. Introduction

This work uses a new approach to investigate the Riemann hypothesis, drawing conclusions about its trueness. It is based on the more general method presented in a very recent publication [17], by the same author, showing in detail how to approach that very well-known and interesting problem.
The Riemann hypothesis is the conjecture that the Riemann zeta function has nontrivial zeros just in the set of complex numbers with real part 1/2 (critical line in C ). Several researchers consider it as the most important unsolved problem in pure mathematics, being very significant in analytic number theory because of its connections with the distribution of prime numbers. The so-called trivial zeros occur at all negative even integers {-2, -4, -6, -8, -10, -12, ...}, and the (supposedly found) nontrivial roots occur at certain points on the critical line. The Riemann hypothesis is concerned with the locations of these nontrivial zeros, stating:
The real part of every nontrivial zero of the Riemann zeta function is 1/2.
Figure 1. Part of open critical strip and critical line
Figure 1. Part of open critical strip and critical line
Preprints 84403 g001
In this fashion, if the hypothesis is true, all nontrivial zeros must be located on the critical line, that is, the subset of C with real part equal to 1/2 .
In order to start the investigation, it is important to establish the expressions for eta and zeta in terms of the complex variable s :
ζ ( s ) = n = 1 1 n s , for Re ( s ) > 1 , and its analytic continuation , in other regions .
η ( s ) = n = 1 ( 1 ) n 1 1 n s , for Re ( s ) > 0 .
So, considering the clean relationship between zeta ( ζ ) and eta ( η ) functions, often it may be easier to work with eta, considering the coincidence of their roots inside the critical strip. They are related by:
ζ ( s ) = 1 1 2 1 s η ( s ) .
Furthermore, as cited above, the study will be conducted only in the open half-strip ( 1 / 2 , 1 ) × ( 0 , ) . This is valid because roots are vertically symmetric (the conjugate of a zero is a zero as well), and horizontally symmetric relatively to the critical line - please, for more details, refer to [3] Therefore, the discovery of one root in A = Δ ( 1 / 2 , 1 ) × ( 0 , ) results in finding four roots, symmetrically located relatively to the x axis and the critical line.
In general lines, the underlying idea in this work is to face the eta function as a mapping, associating to each element of A one vector in R 2 , that is to say, a 2-dimensional vector field usually referred to as the field associated to η [14], namely, η : A R 2 , using the same designation for both entities. This unusual viewpoint gives rise to a nonlinear autonomous system
X ˙ ( t ) = η ( X ( t ) ) X ( t ) A R 2
which will be the basis for the development of the proof.
Obviously, the state space of system (4) can be extended to the full domain of η .

2. Dirichlet Eta Function and Associated Vector Field

By identifying s = σ + i . t and ( σ , t ) , the Dirichlet Eta function can be written
f ( σ , t ) = Δ R e ( η ( σ + i . t ) ) = n = 1 ( 1 ) n 1 × c o s ( t . l n ( n ) ) n σ
g ( σ , t ) = Δ I m ( η ( σ + i . t ) ) = n = 1 ( 1 ) n 1 × s i n ( t . l n ( n ) ) n σ
Preprints 84403 i001
already seen as a vector field with components given by its real and imaginary parts, restricted to 0 . 5 < σ < 1 and 0 < t < , due to posterior developments.
As is widely known, η is a holomorphic function, therefore its components are C and have partial derivatives of all orders. In addition, it satisfies Cauchy-Riemann equations [14].
The total differentials of f and g are given by
d f = f σ d σ + f t d t
d g = g σ d σ + g t d t
and taking into account that
f σ = n = 1 ( 1 ) n 1 × l n ( n ) . c o s ( t . l n ( n ) ) n σ
f t = n = 1 ( 1 ) n 1 × l n ( n ) . s i n ( t . l n ( n ) ) n σ
g σ = f t
g t = f σ
we have
d f = n = 1 ( 1 ) n . l n ( n ) n σ × c o s ( t . l n ( n ) ) d σ + s i n ( t . l n ( n ) ) d t
d g = n = 1 ( 1 ) n . l n ( n ) n σ × s i n ( t . l n ( n ) ) d σ + c o s ( t . l n ( n ) ) d t

3. Poincaré Index for 2-Dimensional Dynamical Systems

Given a 2-dimensional vector field V , defined in a simply connected region A R 2 , consider any closed curve C fully contained in it and not enclosing any equilibrium points of the dynamical system originated by V in its interior.
X ˙ ( t ) = V ( X ( t ) ) X ( t ) A R 2
By restricting V to the closed curve C we obtain a vector field along it, as displayed in Figure 2.
By moving along C in the anti-clockwise, positive sense, the vectors with origin in C rotate and, after a full excursion, an angle 2 π k is traversed, where k Z - the integer k is called the Poincaré index of the curve C .
The index of a closed curve with no equilibria inside it can be obtained by integrating the change in the angle of the vectors at each point in C .
For a vector field given by
V ( σ , t ) = f ( σ , t ) g ( σ , t )
the index of C is
k = Δ 1 2 π C d ϕ = 1 2 π C d arctan ( g f ) = 1 2 π C f d g g d f f 2 + g 2
The Poincaré index of an equilibrium point of V , ( x e , y e ) , is defined to be the index of a closed curve C which surrounds only this specific point, not existing equilibria on the closed curve.
The Poincaré index features some very significant properties [1,15,18,20]:
  • It is invariant under homotopical transformations of C , provided equilibria do not "clash" with curves.
  • When C is a simple closed curve, V is a C 2 vector field defined on C and its interior, and there are no critical points of V inside C , the index of C relative to V is 0.
  • The index of a sink, a source, or a center is +1.
  • The index of a periodic orbit is +1.
  • The index of a hyperbolic saddle point is -1.
Figure 3. One isolated equilibrium (center) inside the closed curves ⇒ index = 1
Figure 3. One isolated equilibrium (center) inside the closed curves ⇒ index = 1
Preprints 84403 g003
Figure 4. One isolated equilibrium (source) inside the closed curve ⇒ index = 1
Figure 4. One isolated equilibrium (source) inside the closed curve ⇒ index = 1
Preprints 84403 g004
Figure 5. One isolated equilibrium (sink) inside the closed curve ⇒ index = 1
Figure 5. One isolated equilibrium (sink) inside the closed curve ⇒ index = 1
Preprints 84403 g005
Figure 6. No equilibrium point inside the closed curve ⇒ index = 0
Figure 6. No equilibrium point inside the closed curve ⇒ index = 0
Preprints 84403 g006

4. Detailed Proof

4.1. Preliminary Information and Proof Directives

The proof will be by contradiction (principle of non-contradiction). Therefore, it will be assumed that there is a nontrivial and isolated zero P e = ( x e , y e ) of the η function, located outside the critical line (and inside the open and simply connected region ( 0 . 5 , 1 . 0 ) × ( 0 , ) ), and the proof will proceed until a contradiction arises, demonstrating that the assumption is false, and the inexistence of nontrivial roots of η and ζ functions outside the critical line. In addition, the curve C will be a circle with center at P e , radius R, and parameterized by the angle θ , indicated in Figure 7. In this fashion, we have
0.5 < x e < 1.0 y e R + 0 < R < , P e = ( x e , y e ) s = σ + i . t σ = x e + R . c o s θ t = y e + R . s i n θ d σ d θ = R . s i n θ d t d θ = R . c o s θ
where s is a generic point in C .

4.2. Final Coordinates Transformation

Now, a final change of variables is about to take place, and will allow us to arrive at the final expression for the Poincaré index, this time including θ and further relevant parameters.
f ( θ ) = n = 1 ( 1 ) n 1 × c o s ( ( y e + R . s i n θ ) . l n ( n ) ) n x e + R . c o s θ
g ( θ ) = n = 1 ( 1 ) n 1 × s i n ( ( y e + R . s i n θ ) . l n ( n ) ) n x e + R . c o s θ
d f = n = 1 ( 1 ) n . l n ( n ) n x e + R . c o s θ × c o s ( ( y e + R . s i n θ ) . l n ( n ) ) ( R . s i n θ ) d θ + s i n ( ( y e + R . s i n θ ) . l n ( n ) ) ( R . c o s θ ) d θ
d g = n = 1 ( 1 ) n . l n ( n ) n x e + R . c o s θ × s i n ( ( y e + R . s i n θ ) . l n ( n ) ) ( R . s i n θ ) d θ + c o s ( ( y e + R . s i n θ ) . l n ( n ) ) ( R . c o s θ ) d θ
or
d f = R × n = 1 ( 1 ) n . l n ( n ) n x e + R . c o s θ × c o s ( ( y e + R . s i n θ ) . l n ( n ) ) . s i n θ + s i n ( ( y e + R . s i n θ ) . l n ( n ) ) . c o s θ d θ
d g = R × n = 1 ( 1 ) n . l n ( n ) n x e + R . c o s θ × s i n ( ( y e + R . s i n θ ) . l n ( n ) ) . s i n θ + c o s ( ( y e + R . s i n θ ) . l n ( n ) ) . c o s θ d θ
Therefore
f d g = R × n = 1 ( 1 ) n 1 × c o s ( ( y e + R . s i n θ ) . l n ( n ) ) n x e + R . c o s θ × n = 1 ( 1 ) n . l n ( n ) n x e + R . c o s θ × s i n ( ( y e + R . s i n θ ) . l n ( n ) ) . s i n θ + c o s ( ( y e + R . s i n θ ) . l n ( n ) ) . c o s θ d θ g d f = R × n = 1 ( 1 ) n 1 × s i n ( ( y e + R . s i n θ ) . l n ( n ) ) n x e + R . c o s θ × n = 1 ( 1 ) n . l n ( n ) n x e + R . c o s θ × c o s ( ( y e + R . s i n θ ) . l n ( n ) ) . s i n θ + s i n ( ( y e + R . s i n θ ) . l n ( n ) ) . c o s θ d θ
and
f 2 ( θ ) = n = 1 ( 1 ) n 1 × c o s ( ( y e + R . s i n θ ) . l n ( n ) ) n x e + R . c o s θ 2 g 2 ( θ ) = n = 1 ( 1 ) n 1 × s i n ( ( y e + R . s i n θ ) . l n ( n ) ) n x e + R . c o s θ × n = 1 ( 1 ) n 1 × s i n ( ( y e + R . s i n θ ) . l n ( n ) ) n x e + R . c o s θ = n = 1 ( 1 ) n 1 × s i n ( ( y e + R . s i n θ ) . l n ( n ) ) n x e + R . c o s θ 2
Also
f d g g d f = R × n = 1 ( 1 ) n 1 × c o s ( ( y e + R . s i n θ ) . l n ( n ) ) n x e + R . c o s θ × n = 1 ( 1 ) n . l n ( n ) n x e + R . c o s θ × s i n ( ( y e + R . s i n θ ) . l n ( n ) ) . s i n θ + c o s ( ( y e + R . s i n θ ) . l n ( n ) ) . c o s θ d θ + R × n = 1 ( 1 ) n 1 × s i n ( ( y e + R . s i n θ ) . l n ( n ) ) n x e + R . c o s θ × n = 1 ( 1 ) n . l n ( n ) n x e + R . c o s θ × c o s ( ( y e + R . s i n θ ) . l n ( n ) ) . s i n θ + s i n ( ( y e + R . s i n θ ) . l n ( n ) ) . c o s θ d θ
or
f d g g d f = R × [ n = 1 ( 1 ) n 1 × c o s ( ( y e + R . s i n θ ) . l n ( n ) ) n x e + R . c o s θ × n = 1 ( 1 ) n . l n ( n ) n x e + R . c o s θ × s i n ( ( y e + R . s i n θ ) . l n ( n ) ) . s i n θ + c o s ( ( y e + R . s i n θ ) . l n ( n ) ) . c o s θ + n = 1 ( 1 ) n 1 × s i n ( ( y e + R . s i n θ ) . l n ( n ) ) n x e + R . c o s θ × n = 1 ( 1 ) n . l n ( n ) n x e + R . c o s θ × c o s ( ( y e + R . s i n θ ) . l n ( n ) ) . s i n θ + s i n ( ( y e + R . s i n θ ) . l n ( n ) ) . c o s θ ] d θ

4.3. Considerations about the Index of P e Surrounded by the Circle C

As defined in expressions (18), the Poincaré index of an equilibrium point ( x e , y e ) of a given planar vector field, is defined to be the index (k) of a closed curve C which surrounds only this specific point, not existing equilibria on the closed curve. It is given by
k = Δ 1 2 π C d ϕ = 1 2 π C d arctan ( g f ) = 1 2 π C f d g g d f f 2 + g 2
and, when used in the present case, assumes a very interesting form, mainly because C is a circle with radius R and center P e , as described above. Some aspects are worth mentioning:
  • Any concentric circle with radius smaller than R will result in the same index for P e , because they are homotopic and enclose only one and the same isolated equilibrium, by hypothesis [15]. So, even for arbitrarily small and positive values of the radius, k remains constant.
  • According to the particular expression for f d g g d f , formula (29), the integrand f d g g d f f 2 + g 2 may be written R × H f 2 + g 2 d θ , resulting in the following formulation for the index k, where H is a function.
    Preprints 84403 i002
  • By analysing the function H , it is possible to see that it is composed of some convergent series and also expressions like ( y e + R . s i n θ ) and ( x e + R . c o s θ ) , which approach constant values when R gets near zero, although always positive. Therefore, expressions like c o s ( ( x e + R . c o s θ ) . l n ( n ) ) will tend to K . l n ( n ) , where 0 . 54 < K < 0 . 88 is a constant. Hence, the expression in (32) to the right of R may be made practically independent of R for sufficiently small radiuses. In addition, the expression
    1 2 π C H f 2 + g 2 = 1 2 π 0 2 π H f 2 + g 2 d θ
    is bounded, considering its analytical composition, and there must exist a real, positive constant RC such that
    R C < 1 2 π 0 2 π H f 2 + g 2 d θ < R C
    for all R, provided the respective circle remains located inside the correct region. Choosing R * = 1 R C and multiplying the previous expression by it, we obtain As k Z by definition, it must be equal to zero.
Figure 8. Contracting circles with fixed center at P e
Figure 8. Contracting circles with fixed center at P e
Preprints 84403 g008
But, as an isolated equilibrium, P e must have nonzero Poincaré index, leading to a contradiction.
For the sake of illustration, Figure 9 displays the vector field around the equilibrium corresponding to the zero ( 0.5 , 21.0220396387715549926284 ). It is possible to infer that it represents a source for the overall dynamical system.
Now, Figure 10 displays the vector field corresponding to η in a a region without equilibria. It is possible to infer that the Poincaré index of the circle is zero.

5. Conclusions

By leaving the complex numbers’ realm it was possible to arrive at a satisfactory conclusion about the Riemann hypothesis. By using concepts of the theory of dynamical systems and a specific vector field constructed with basis in the Dirichlet eta function, the negation of the Riemann hypothesis provoked a logical contradiction, leading to the conclusion it is true.
The underlying method used in this paper may be directed to any complex function, provided it satisfies certain (not very restrictive) regularity conditions, including Dirichlet L-functions and so many others [17].

References

  1. A. A. Andronov, E. A. Leontovich, I. I. Gordon and A. G. Maier, Qualitative Theory of Second-Order Dynamic Systems. Halsted Press, New York, 1973. [CrossRef]
  2. A. A. Andronov, E. A. Leontovich, I. I. Gordon and A. G. Maier, Theory of Bifurcations of Dynamical Systems on a Plane. Wiley, New York, 1973.
  3. N. ARWASHAN, THE RIEMANN HYPOTHESIS AND THE DISTRIBUTION OF PRIME NUMBERS, Nova Science Publisher Inc, 2021.
  4. V. I. Arnold, Mathematical Methods of Classical Mechanics, Springer, New York , 1989. [CrossRef]
  5. V. I. Arnold, Geometrical Methods in the Theory of Ordinary Differential Equations, Springer, New York , 1983..
  6. D. K. Arrowsmith and C. M. Place, Ordinary Differential Equations. A Qualitative Approach with Applications. Chapman & Hall, London, 1982.
  7. F. Brauer , J. A. Nohel, The Qualitative Theory of Ordinary Differential Equations: An Introduction. Courier Corporation, New York,1989. [CrossRef]
  8. J. Derbyshire, Prime Obsession: Bernhard Riemann and the Greatest Unsolved Problem in Mathematics. New York, Penguin, 2004. [CrossRef]
  9. Edwards, H. M. Riemann’s Zeta Function. New York: Dover, 2001.
  10. J. Guckenheimer and P. Holmes, Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields, Springer , New York , 2013. [CrossRef]
  11. J. K. Hale, Ordinary Differential Equations. Robert E. Krieger Publishing Co. Inc., New York,1980.
  12. P. Hartman, Ordinary Differential Equations. John Wiley & Sons, New York, 1964.
  13. K. Knopp, Theory and Application of Infinite Series, Dover, 1990.
  14. S. Lang, Complex Analysis, 4th ed., Springer-Verlag, 1999.
  15. R. Marangell, Index Theory Lecture Notes, University of Sydney, 2017.
  16. Z. Nitecki, Differentiable Dynamics - An Introduction to the Orbit Structure of Diffeomorphisms. The MIT Press, New York, 1971.
  17. H. Oliveira. Existence of Zeros for Holomorphic Complex Functions: A Dynamical Systems Approach. Preprints 2023, 2023090357. [CrossRef]
  18. L. Perko, Differential Equations and Dynamical Systems. Springer Science & Business Media, New York , 2001.
  19. E. C. Titchmarsh.. The Theory of the Riemann Zeta Function, 2nd edition, Oxford University Press, 1986.
  20. S. Wiggins. An introduction to applied nonlinear dynamical systems and chaos 2nd ed., Springer, 2003.
Figure 2. Vector field along closed curve
Figure 2. Vector field along closed curve
Preprints 84403 g002
Figure 7. Relevant part of open critical strip and critical line
Figure 7. Relevant part of open critical strip and critical line
Preprints 84403 g007
Figure 9. Configuration of the vector field in the neighborhood of P e = ( 0 . 5 , 21 . 0220396387715549926284 )
Figure 9. Configuration of the vector field in the neighborhood of P e = ( 0 . 5 , 21 . 0220396387715549926284 )
Preprints 84403 g009
Figure 10. Configuration of the vector field in a region without zeros of η
Figure 10. Configuration of the vector field in a region without zeros of η
Preprints 84403 g010
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

© 2024 MDPI (Basel, Switzerland) unless otherwise stated