Riemann Zeta Function shows non-trival zeros critical-strip symmetry

Click For Summary
SUMMARY

The discussion centers on the non-trivial zeros of the Riemann Zeta function, specifically their location within the critical strip defined by the condition 0 < Re(s) < 1 and their symmetry about the line Re(s) = 1/2. The functional equation given is ζ(1-s) = π^(1/2 - s) (Γ(s/2)/Γ(1/2(1-s))) ζ(s), which is crucial for understanding the behavior of the function. The participant has established that the non-trivial zeros occur at s = -2k, linked to the poles of the Gamma function, and is seeking guidance on proving the symmetry about Re(s) = 1/2, referencing Riemann's findings with the function ξ(s) = π^(-s/2) Γ(s/2) ζ(s).

PREREQUISITES
  • Understanding of complex analysis, particularly the properties of analytic functions.
  • Familiarity with the Riemann Zeta function and its functional equation.
  • Knowledge of the Gamma function and its poles.
  • Basic concepts of symmetry in mathematical functions.
NEXT STEPS
  • Study the properties of the Riemann Zeta function and its critical strip.
  • Explore the implications of the functional equation ζ(1-s) = π^(1/2 - s) (Γ(s/2)/Γ(1/2(1-s))) ζ(s).
  • Investigate Riemann's original paper on the distribution of prime numbers for insights on symmetry.
  • Learn about the relationship between the Gamma function and the Riemann Zeta function.
USEFUL FOR

Mathematicians, students of number theory, and researchers interested in the properties of the Riemann Zeta function and its implications in analytic number theory.

binbagsss
Messages
1,291
Reaction score
12
1. Homework Statement

I want to show that the non-trival zeros of the Riemann Zeta function all lie in the critical strip ## 0 < Re(s) < 1## and further to this that they are symmetric about the line ##Re(s)= 1/2 ##

where ## \zeta(s) = \sum\limits^{\infty}_{n=1}n^{-s}##

With the functional equation ##\zeta(1-s)=\pi^{1/2 - s} \frac{\Gamma(s/2)}{\Gamma(1/2(1-s))} \zeta (s) ##

2. Homework Equations

see above

3. The Attempt at a Solution

My first step is to narrow down to ##Re(s) < 1 ## since for ##Re(s)>0## the following holds:

## \zeta (s) = \Pi_{p} \frac{1}{1-p^{-s}} \neq 0 ## since no terms are zero.

Then using the functional equation ##\zeta(1-s)=\pi^{1/2 - s} \frac{\Gamma(s/2)}{\Gamma(1/2(1-s))} \zeta (s) ## and sending ##s=-2k## and making ##\zeta(-2k)## the subject, it is clear that the non-trival zeros occur at ##s=-2k## arising from the reciprocal of the poles of ##\Gamma(s)## for ##s=-2,-4...##

I also have that ##\zeta(s)## has a pole at ##s=1## and ##\zeta(0)=-1/2## so I now have the critical strip as ##0< Re(s) < 1## .

I am now stuck what to do how to prove that they are symmetric about ##s=1/2##. Any hints on getting started, help, greatly appreciated.

Many thanks
 
Physics news on Phys.org
Without being in the subject, Wikipedia provides some hint concerning the symmetry at ##Re(s)=\frac{1}{2}.##
Wikipedia (mutatis mutandis) said:
Riemann found his conjecture while he investigated ##\, \xi(s):=\pi^{-\frac{s}{2}}\,\Gamma(\frac{s}{2})\zeta(s)\,## and observed ##\xi(s)=\xi(1-s).## Riemann himself used ##s=\frac{1}{2}+it## and got ##\xi(\frac{1}{2}+it)=\xi(\frac{1}{2}-it)## for all ##t\in \mathbb{C}\,.##
I haven't checked any details, but it might help here. The link to the original "paper" is:
https://de.wikisource.org/wiki/Über_die_Anzahl_der_Primzahlen_unter_einer_gegebenen_Größe
(Wrong language, of course, but maybe you can read it anyway or think along the formulas.)
 
  • Like
Likes   Reactions: binbagsss

Similar threads

  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 17 ·
Replies
17
Views
2K
  • · Replies 5 ·
Replies
5
Views
4K
  • · Replies 8 ·
Replies
8
Views
5K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 14 ·
Replies
14
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K