All Zeros of the Riemann Zeta Function in the Critical Strip Are Located on the Critical Line and Are Simple ()

Frank Stenger^{}

University of Utah, Salt Lake City, USA.

**DOI: **10.4236/apm.2023.136025
PDF
HTML XML
137
Downloads
773
Views
Citations

University of Utah, Salt Lake City, USA.

In this paper we study the function , for z∈**C**. We derive a functional equation that relates *G*(z) and *G*(1−z) for all z∈**C**, and we prove: 1) that *G* and the Riemann zeta function *ζ* have exactly the same zeros in the *critical region* *D*:= {z∈**C**:ℜz∈(0,1)}; 2) the Riemann hypothesis, i.e., that all of the zeros of *G* in *D* are located on the *critical line* := {z∈*D*:ℜz =1/2}; and that 3) all the zeros of the Riemann zeta function located on the critical line are simple.

Keywords

Riemann Hypothesis, Fourier Transforms, Schwarz Reflection Principle, Cauchy-Riemann Equations, Trapezoidal-Midordinate Quadrature

Share and Cite:

Stenger, F. (2023) All Zeros of the Riemann Zeta Function in the Critical Strip Are Located on the Critical Line and Are Simple. *Advances in Pure Mathematics*, **13**, 402-411. doi: 10.4236/apm.2023.136025.

1. Introduction and Summary

The proof of the Riemann hypothesis is a problem that many mathematicians consider to be the most important problem of mathematics. Indeed, it is one of at most *seven* mathematics problems for which the Clay Institute has offered a million dollars for its solution. To this end, the pdf publication [1] of Bombieri presents an excellent summary—along with references, to papers and books, to connections with prime numbers, to Fermat’s last theorem, and to the work of authors who have shown that the first 1.5 billion zeros of the zeta function listed with increasing imaginary parts are all simple—all of which are related to the mathematics of this subject. Similarly *Wikipedia* of the web [2] offers an excellent summary along with references about this subject. The magazine *Nature* recently published a related article about a discovery by Y. Zhang, of a conjecture (see [1] ) on the spacing of prime numbers
${p}_{n}$ with increasing size [3] . Physicists have also published results on the Riemann hypothesis: in [4] , Meulens compares data about the Riemann hypothesis with solutions of two dimensional Navier Stokes equations, while others [5] have compared eigenvalues of self-adjoint operators with zeros of the Riemann Zeta function. Several papers about solutions to the Riemann hypothesis have also appeared. To this end, the papers of Violi [6] , Coranson-Beaudu, [7] , Garcia-Morales, [8] , and Chen [9] are similar to ours, in that their proof of the Riemann hypothesis are for functions that are different from the zeta function, but which have the same zeros in *D* as the zeta function.

Castelvecchi, author of the article [3] makes the comment: “The Riemann hypothesis will probably remain at the top of mathematicians wish lists for many years to come. Despite its importance, no attempts so far have made much progress.”

We wish of course to disagree with Castelvecchi’s comment at the end of the above paragraph, since we believe that we have indeed proved the Riemann hypothesis in this self-contained paper, in which we accomplish the following:

1) In §2, defining the function *G* and showing in detail that *G* has exactly the same zeros, in the *critical strip*,
$D\mathrm{:}=\left\{z\in C\mathrm{:0}<\Re z<1\right\}$ , including multiplicity, as the zeta function;

2) Proving the positivity of $\Re {G}^{\left[2m\right]}\left(\sigma \right)$ for $\sigma \in \left(\mathrm{0,1}\right)$ and the negativity of $\Re {G}^{\left[2m+1\right]}\left(\sigma \right)$ for $\sigma \in \left(\mathrm{0,}1/2\right]$ , where

$\begin{array}{l}\Re {G}^{\left[2m\right]}\left(\sigma +it\right):=\Re {\left(\frac{\partial}{\partial \sigma}\right)}^{2m}\Re G\left(\sigma +it\right)\\ \Re \left(-i{G}^{\left[2m+1\right]}\left(\sigma \mathrm{,}it\right)\right)\mathrm{:}=\Re \left(-i{\left(\frac{\partial}{\partial \sigma}\right)}^{2m+1}G\left(\sigma +it\right)\right)\mathrm{;}\end{array}$ (1.1)

3) Introducing the Schwarz reflection principle in §3, which the functions
${G}^{\left[2m\right]}$ and
$-i{G}^{\left[2m+1\right]}$ of Equation (1.1) satisfy in *D*;

4) In §4, proving the Riemann hypothesis by contradiction, by use of results developed in §2, and in §3, of this paper, and by use of the trapezoidal and midordinate rules, [10] , *i.e*., by proving that *G* (and
$\zeta $ ) have no zeros in the region *D*\*L*, where *L* denotes the critical line,
$L\mathrm{:}=\left\{z\in C\mathrm{:}\Re z=1/2\right\}$ ; and

5) Proving by contradiction, via use of results developed in §2 and in §3 and by use of the trapezoidal and midordinate rules that *all* of the zeros of *G*, (*i.e*., all of the zeros of the zeta function) on the critical line *L* are simple.

Let
${R}^{+}\mathrm{:}=\left(\mathrm{0,}\infty \right)$ , and let
${R}^{-}=\left(-\infty \mathrm{,0}\right)$ . In this paper we thus derive results about the function *G* defined by the integral,

$G\left(z\right)\mathrm{:}={\displaystyle {\int}_{{R}^{+}}}\frac{{y}^{z-1}}{{\text{e}}^{y}+1}\text{d}y\text{\hspace{0.05em}}\mathrm{,}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\Re z>0\text{\hspace{0.05em}}\mathrm{,}$ (1.2)

which is related to the well-known integral for the Riemann zeta function, defined by

$\zeta \left(z\right)\mathrm{:}=\frac{1}{\Gamma \left(z\right)}{\displaystyle {\int}_{{R}^{+}}}\frac{{y}^{z-1}}{{\text{e}}^{y}-1}\text{d}y\text{\hspace{0.05em}}\mathrm{,}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\Re z>1\text{\hspace{0.05em}}\mathrm{,}$ (1.3)

where $\Gamma $ denotes the gamma function.

The operations of Schwarz reflection, the evaluation of
$\Re G$ and
$\Im G$ on important intervals of
$R$ , and the operations of trapezoidal and midordinate quadrature can be readily applied to the Fourier transform representation of *G*, which is gotten from Equation (2) defined for
$\Re z>0$ , whereas an explicit Fourier transform of *ζ *defined by Equation (1.3) for
$\Re z>1$ does not seem to be available.

2. Fourier Integral Representation of *G*, via *κ*

The function *ζ* has many other representations, with the best known of these given by:

$\begin{array}{l}\zeta \left(z\right):={\displaystyle \underset{n=1}{\overset{\infty}{\sum}}}\frac{1}{{n}^{z}},\text{\hspace{0.17em}}\Re z>1,\\ \eta \left(z\right):={\displaystyle \underset{n=1}{\overset{\infty}{\sum}}}\frac{{\left(-1\right)}^{n-1}}{{n}^{z}},\text{\hspace{0.17em}}\Re z>0,\text{\hspace{0.17em}}\text{and}\\ G(z):=\Gamma \left(z\right)\eta \left(z\right):=\left(1-{2}^{1-z}\right)\Gamma \left(z\right)\zeta \left(z\right),\text{\hspace{0.17em}}z\in C.\end{array}$ (2.1)

By setting
$y={\text{e}}^{x}$ and
$z=\sigma +it$ in (2.1), we get the *Fourier integral representation* of *G*, namely,

$G\left(\sigma +it\right)\mathrm{:}={\displaystyle {\int}_{R}}\text{\hspace{0.05em}}\text{\hspace{0.05em}}\kappa \left(\sigma \mathrm{,}x\right){\text{e}}^{ixt}\text{d}x\mathrm{,}$ (2.2)

where $\sigma \in \left(\mathrm{0,1}\right)$ , $t\in R$ , and where $\kappa $ is defined by

$\kappa \left(\sigma \mathrm{,}x\right)\mathrm{:}=\frac{{\text{e}}^{\sigma x}}{1+\mathrm{exp}\left({\text{e}}^{x}\right)}\mathrm{.}$ (2.3)

2.1. Properties of *κ*, *ζ* and *G*

In this section we use the definition of *G* given in Equation (1.2) and the identities of Equation (2.1) to derive a functional equation for *G*, and to derive additional properties of *κ* and *G*. We also show in detail, that *ζ* and *G* have exactly the same zeros in *D*, including multiplicity, that
$\kappa \left(\sigma \mathrm{,}-\text{\hspace{0.05em}}x\right)-\kappa \left(\sigma \mathrm{,}x\right)$ is positive for all
$\left(\sigma \mathrm{,}x\right)\in \left(\mathrm{0,}1/2\right]\times {R}^{+}$ and strictly decreasing as a function of *σ*, for
$\sigma \in \left(\mathrm{0,}1/2\right]$ , and we determine ranges of values of
$\Re {G}^{\left(m\right)}$ ,
$\Im {G}^{\left(m\right)}$ and their derivatives on the real line.

Let us next assign notations for the left and right half of the complex plane, the critical strip(s), and the critical line.

Definition 2.1 *Let
${C}^{-}$ denote the left half of the complex plane*,* i*.*e*.,*
${C}^{-}\mathrm{:}=\left\{z\in C\mathrm{:}\Re z<0\right\}$ *,* and let
${C}^{+}\mathrm{:}=\left\{z\in C\mathrm{:}\Re z>0\right\}$ denote the right half*.* Let the critical strip be defined by
$D=\left\{z\in C\mathrm{:0}<\Re z<1\right\}$ *,* and let the negative and positive critical strips
${D}^{\mp}$ be defined as follows*:*
${D}^{-}\mathrm{:}=\left\{z\in D\mathrm{:}\Im z\le 0\right\}$ *,* and
${D}^{+}\mathrm{:}=\left\{z\in D\mathrm{:}\Im z\ge 0\right\}$ *.* The critical line is defined by
$L\mathrm{:}=\left\{z\in D\mathrm{:}\Re z=1/2\right\}$ *.* *

2.2. Relevant Gamma Function Relations

We shall require the use of the following lemma:

Lemma 2.2 (i.) *Replacement of z with z*/2* in the duplication formula for the Gamma function*,* to get*:

$\Gamma \left(z\right)={\left(2\pi \right)}^{-1/2}{2}^{z-1/2}\Gamma \left(\left(z+1\right)/2\right)\Gamma \left(z/2\right)\mathrm{;}$

(ii.) *Both*
$\Gamma \left(1/2+ix\right)$ *and*
$\Gamma \left(1+ix\right)$ *are bounded by
${\pi}^{1/2}$ * *for all*
$x\in R$ , *by *Equations (6.1.30) *and* (6.1.31) *of* [11] ; *and*

(iii.) *That the function*
$1/\Gamma \left(z\right)$ *is an entire function* [11] ;
$\Gamma $ *is analytic in*
$C$ *except for simple poles at*
$z=-n$ (
$n=\mathrm{0,1,2},\cdots $ ).

Proof. Item (i.) is just Equation (6.1.18) of [11] with z replaced by *z*/2;

Items (ii.) follow from Equations (6.1.30) and (6.1.31) of [11] ; and

Item (iii.) is just a restatement of a result found in Chapter 16. of [11] . +

2.3. Bounds on *κ*

The next lemma describes some asymptotic bounds on the function *κ*, which are obtained by inspection of Equation (2.2).

Lemma 2.3 *For any
$\epsilon \in \left(\mathrm{0,}\sigma \right)\subset \left(\mathrm{0,1}\right)f$ and for x real*,* we have*

$\kappa \left(\sigma \mathrm{,}x\right)=\{\begin{array}{l}\mathcal{O}\left({\text{e}}^{\left(\sigma -\epsilon \right)x}\right)\mathrm{,}\text{\hspace{0.17em}}\text{\hspace{0.17em}}x\to -\infty \mathrm{,}\hfill \\ \mathcal{O}\left(\mathrm{exp}\left(\sigma x-{\text{e}}^{x\left(1-\epsilon \right)}\right)\right),\text{\hspace{0.17em}}\text{\hspace{0.17em}}x\to \infty \mathrm{.}\hfill \end{array}$ (2.4)

*Hence the integral*
${\int}_{R}}\text{\hspace{0.05em}}\text{\hspace{0.05em}}Q\left(x\right)\kappa \left(\sigma \mathrm{,}x\right)\text{d}x$ *is finite for any polynomial* *Q*.

Proof. The bounds of *κ *given in (2.4) follow by inspection of the function *κ *as defined in (2.2). +

2.4. Analyticity Definition of Multiplicity

Definition 2.4 *Let
${z}_{0}\in C$ *,* let m denote an integer*,* and let f be analytic in a neighborhood of
${z}_{0}$ *.* *

(a.) *The function f* *is said to have multiplicity m at*
${z}_{0}$ *if
${\mathrm{lim}}_{z\to {z}_{0}}f\left(z\right)/{\left(z-{z}_{0}\right)}^{m}=c$ *, *with finite c*;

(b.) *If the multiplicity of f at*
${z}_{0}$ *is m*, *and if*
$c\ne 0$ , *then we shall more specifically say that f is of exact multiplicity m at
${z}_{0}$ *;

(c.) *If f is of exact multiplicity m at
${z}_{0}$ *, *then
${z}_{0}$ * *is said to be a zero* (*resp*., *a pole*) *of f of multiplicity m if
$m>0$ * (*resp*., *if*
$m<0$ ). *In particular*, *if*
$m=1$ , (*resp*., *if*
$m=-1$ ,) *then*
${z}_{0}$ *is said to be a simple zero* (*resp*., *a simple pole*) *of f*.

2.5. Functional Equations for *ζ* and *G*

An important identity of the Riemann zeta function is the well known functional equations for *ζ*:

${\pi}^{-\left(1-z\right)/2}\Gamma \left(\left(1-z\right)/2\right)\zeta \left(1-z\right)={\pi}^{-z/2}\Gamma \left(z/2\right)\zeta \left(z\right)\mathrm{.}$ (2.5)

This functional equation for the Riemann zeta function has many important uses, including, e.g., the analytic continuation of the zeta function to all of $C$ .

The function *G* also possesses a functional equation which is given in Lemma 2.5 below, which plays a similar role as the functional equation for *ζ*. the functional equation for
$G$ is gotten by substituting the right-hand-side of the third equation of (2.1) into (2.5), and by use of Lemma 2.2:

Lemma 2.5 *Let
$z\in C$ *,* and let G be defined as in* (2.2). *Then*,* a functional equation for the function G*,* valid for all
$z\in C$ is*:

$\frac{{2}^{1-z}-1}{{\left(4\pi \right)}^{\frac{1-z}{2}}\Gamma \left(\frac{1+\left(1-z\right)}{2}\right)}G\left(1-z\right)\mathrm{:}=\frac{{2}^{z}-1}{{\left(4\pi \right)}^{\frac{z}{2}}\Gamma \left(\frac{1+z}{2}\right)}G\left(z\right)\mathrm{.}$ (2.6)

*This equation can also be written in the form*:

$G\left(1-z\right)\mathrm{:}=K\left(z\right)G\left(z\right)\mathrm{,}$ (2.7)

*where K is given by *

$K\left(z\right)\mathrm{:}={\left(4\pi \right)}^{1/2-z}\frac{{2}^{z}-1}{{2}^{1-z}-1}\frac{\Gamma \left(\frac{1+\left(1-z\right)}{2}\right)}{\Gamma \left(\frac{1+z}{2}\right)}\mathrm{,}$ (2.8)

and where *K* is non-vanishing in *D*.

Proof. That *K* is non-vanishing on *D* follows from Lemma 2.2. +

2.6. Zeros of *G* and *ζ* in *D*

We prove here the *G* and *ζ* have the same zeros with the same multiplicity in *D* and that these zeros are isolated.

Lemma 2.6 (i.) *The functions G and **ζ have exactly the same zeros in D*,* including multiplicity*;* and *

(ii.) *All zeros of G in*
$C$ *are isolated*.

Proof. (i.) By inspection if the third equation of (2.1) we get, if
${z}_{0}\in D$ is a zero of *G* of multiplicity
$k\ge 1$ , then we have the identity
$(\ast )$
$G\left(z\right)=w\left(z\right)\zeta \left(z\right)$ , where the function
$w\left(z\right)\mathrm{:}=\left(1-{2}^{1-z}\right)\Gamma \left(z\right)$ is analytic and non-vanishing in *D*, so that
${z}_{0}$ is also a zero of *ζ* of multiplicity
$k\ge 1$ . In addition, by taking the *n*^{th} derivative of
$(\ast )$ , with non-negative integer, *n*, we get,

${G}^{\left(n\right)}\left(z\right)={\left(-1\right)}^{n}{\displaystyle \underset{j=0}{\overset{n}{\sum}}}\left(\begin{array}{c}n\\ j\end{array}\right){w}^{\left(n-j\right)}\left(z\right){\zeta}^{\left(j\right)}\left(z\right).$ (2.9)

Hence, if
${z}_{0}\in {\Omega}^{+}$ is a zero of *ζ* of multiplicity
$m\ge 1$ , then by applying induction with respect to
$n=\mathrm{0,1,2,}\cdots \mathrm{,}m$ to Equation (2.9), we conclude that the multiplicity of the zero
${z}_{0}$ of *G* is also *m*;

(ii.) Suppose that there exists a cluster of zeros
${\left\{{z}_{j}\right\}}_{j=1}^{\infty}$ of *G* in *D* with a sub-sequence that has a limit point *z*. If
$z\in D$ , then *G* would have to vanish, by Vitali’s theorem. If *z* is on the line
$\left\{\Re z=0\right\}$ , then, since
$D\subset {C}^{+}$ , and since *G* is analytic in
${C}^{+}$ , it follows by use of the functional equation of *G*, that
$0=G\left(z\right)=G\left(1-z\right)$ where the point
$1-z$ is now located on the line
$\left\{z\in C\mathrm{:}\Re z=1\right\}$ , *i.e*., we are back to the previous case of the convergence of such a sub-sequence to a point on the interior of the right half plane, where
$G\left(z\right)$ is analytic and bounded, so that
$G\left(z\right)$ would again have to vanish identically in
$C$ . +

2.7. Definitions of ${\kappa}^{\mp}$ , ${G}^{\left(m\right)}$ and ${G}^{\left[m\right]}$

Definition 2.7 *Let G and κ be defined as in *Equation (2.2),* and let us define
${\kappa}^{\mp}\left(\sigma \mathrm{,}x\right)$ as follows*:

${\kappa}^{\mp}\left(\sigma \mathrm{,}x\right)\mathrm{:}=\{\begin{array}{l}\kappa \left(\sigma \mathrm{,}\mp x\right)\mathrm{,}\text{\hspace{0.17em}}x\in {R}^{+}\mathrm{,}\hfill \\ 0\text{\hspace{0.05em}}\mathrm{,}\text{\hspace{0.17em}}x\in {R}^{-}.\hfill \end{array}$ (2.10)

*If for brevity*, *we write*
${\kappa}^{\mp}$ *for*
${\kappa}^{\mp}\left(\sigma \mathrm{,}x\right)$ , *C and S for*
$\mathrm{cos}\left(xt\right)$ *and
$\mathrm{sin}\left(xt\right)$ *, *and*
$\int$ *for*
$\int}_{{R}^{+}$ , *then *Equation (2) *yields the following definitions for
${G}^{\left(2n\right)}$ * *and for
${G}^{\left(2n+1\right)}$ *, *where n* *denotes a non-negative integer:*

$\begin{array}{l}{G}^{\left(2n\right)}\left(\sigma +it\right)={\left(-1\right)}^{n}{\displaystyle \int}\text{\hspace{0.05em}}\text{\hspace{0.05em}}{x}^{2n}\left(\left({\kappa}^{-}+{\kappa}^{+}\right)C-i\left({\kappa}^{-}-{\kappa}^{+}\right)S\right)\text{d}x,\\ {G}^{\left(2n+1\right)}\left(\sigma +it\right)={\left(-1\right)}^{n+1}{\displaystyle \int}\text{\hspace{0.05em}}\text{\hspace{0.05em}}{x}^{2n+1}\left(\left({\kappa}^{-}+{\kappa}^{+}\right)S+i\left({\kappa}^{-}-{\kappa}^{+}\right)C\right)\text{d}x.\end{array}$ (2.11)

*Let*
${G}^{\left[m\right]}$ *be defined for any non-negative integer m by*

${G}^{\left[m\right]}\left(\sigma +it\right)={\left(\frac{\partial}{\partial \sigma}\right)}^{m}G\left(\sigma +it\right)$ , *so that by the Cauchy-Riemann equations*,

${G}^{\left(n\right)}\left(\sigma +it\right)={i}^{m}{\left(\frac{\partial}{\partial \left(it\right)}\right)}^{m}G\left(\sigma +it\right)={i}^{m}{G}^{\left[m\right]}\left(\sigma +it\right)$ , *where these functions are*

*readily shown to exist*, *by Lemma* 2.3.

*In addition*, *by *Equation (2.1), *the functions
${K}^{\left[m\right]}$ * *and*
${G}^{\left[m\right]}$ *are related by the following identity*:

${G}^{\left[m\right]}\left(1-z\right)={\left(-1\right)}^{m}{\displaystyle \underset{j=0}{\overset{m}{\sum}}}\left(\begin{array}{c}m\\ j\end{array}\right){K}^{\left[m-j\right]}\left(z\right){G}^{\left[j\right]}\left(z\right).$ (2.12)

Lemma 2.8 *Let the functions
${G}^{\left[m\right]}$ be defined as in Definition* 2.7. *Then*,* for all
$m=0,1,2,\cdots $ *,* and for all
$\sigma \in \left(\mathrm{0,1}\right)$ *,*
${G}^{\left(m\right)}$ is analytic on the right half plane*,* and hence also in D*.* In particular given any
$\epsilon >0$ *,*
${G}^{\left(m\right)}\left(z\right)$ is uniformly **bounded in the region
$\left\{z\in D\mathrm{:}\Re z\ge \epsilon \right\}$ *.* *

Proof. This result follows directly by inspection of Equation (2.2 and Lemma 2.3. We omit the straight-forward proofs. +

2.8. Restricting the Domain of $\Im {G}^{\left(2m+1\right)}$

The following lemma restricts the domain of some of our inequalities:

Lemma 2.9 *Let *Δ* be defined by
$\Delta \left(\sigma \mathrm{,}x\right)\mathrm{:}={\kappa}^{-}\left(\sigma \mathrm{,}x\right)-{\kappa}^{+}\left(\sigma \mathrm{,}x\right)$ *,* where the functions
${\kappa}^{\mp}$ are defined in Definition* 2.7. *Then
$\Delta \left(\sigma ,x\right)>0$ for all
$\left(\sigma \mathrm{,}x\right)\in \left(\mathrm{0,}1/2\right]\times {R}^{+}$ *,* and moreover*,*
$\Delta \left(\sigma ,x\right)$ is a strictly decreasing function of
$\sigma \in \left(\mathrm{0,}1/2\right]$ for any fixed
$x\in {R}^{+}$ *.* *

Proof. We have

$\frac{\partial}{\partial \sigma}\Delta \left(\sigma \mathrm{,}x\right)=-x\left({\kappa}^{-}\left(\sigma \mathrm{,}x\right)+{\kappa}^{+}\left(\sigma \mathrm{,}x\right)\right)\mathrm{,}$

which shows $\Delta \left(\sigma ,x\right)$ is a strictly decreasing function of $\sigma \in \left(\mathrm{0,}1/2\right]$ for all fixed $x\in {R}^{+}$ . By making the one-to-one transformation $y={\text{e}}^{-x/2}$ of ${R}^{+}\to \left(\mathrm{0,1}\right)$ in the above expressions for $\Delta \left(\sigma ,x\right)$ , and setting $W:=\left(1+{\text{e}}^{{y}^{2}}\right)\left(1+{\text{e}}^{1/{y}^{2}}\right)$ , we get

$\begin{array}{l}\Delta \left(\sigma ,x\right):=\delta \left(\sigma ,y\right)/W,\\ \delta \left(\sigma ,y\right):={y}^{2\sigma}\left(1+\mathrm{exp}\left(1/{y}^{2}\right)\right)-1/{y}^{2\sigma}\left(1+\mathrm{exp}\left({y}^{2}\right)\right).\end{array}$

Since 1/*W* is positive on
$\left(\mathrm{0,1}\right)\times {R}^{+}$ , and since
$\Delta \left(\sigma \mathrm{,}x\right)$ is a strictly decreasing function of
$\sigma \in \left(\mathrm{0,}1/2\right]$ for all fixed
$x\in {R}^{+}$ , we need only prove that
$\delta \left(1/2\mathrm{,}y\right)>0$ for all
$y\in \left(\mathrm{0,1}\right)$ . To this end we have, by use of Taylor series expansions, that

$\begin{array}{c}\delta \left(1/2,y\right)=y\left(1+{\text{e}}^{1/{y}^{2}}\right)-1/y\left(1+{\text{e}}^{{y}^{2}}\right),\text{\hspace{0.17em}}\text{\hspace{0.17em}}y\in \left(0,1\right)\\ =\left(1/2\right)\left(1/y-y\right)\left(1/{y}^{2}+1+{y}^{2}-2\right)+{\displaystyle \underset{n=3}{\overset{\infty}{\sum}}}\frac{1/{y}^{2n-1}-{y}^{2n-1}}{n!}>0\text{\hspace{0.05em}},\text{\hspace{0.17em}}\text{\hspace{0.17em}}y\in \left(0,1\right).\end{array}$ (2.13)

By way of proceeding from the first to the second line of Equation (2.13) we used the following relations, which are valid for all
$y\in \left(\mathrm{0,1}\right)$ :
$0<y<1<1/y$ . The right hand side of Equation (13) then shows that
$\delta \left(1/2,y\right)>0$ for all
$y\in \left(\mathrm{0,1}\right)$ , *i.e*., that
$\Delta \left(\sigma ,x\right)>0$ for all
$\left(\sigma \mathrm{,}x\right)\in \left(\mathrm{0,}1/2\right]\times {R}^{+}$ . +

2.9. Inequalities for ${G}^{\left(m\right)}(\; \sigma \; )$

The following lemma summarizes values of ${G}^{\left(m\right)}\left(\sigma \right)$ that have been established.

Lemma 2.10 *Let m denote a non-negative integer*.* Then*:* *

(i.)
${\left(-1\right)}^{m}\Re {G}^{\left(2m\right)}\left(\sigma \right)=\Re {G}^{\left[2m\right]}\left(\sigma \right)>0$ *for all*
$\sigma \in \left(\mathrm{0,1}\right)$ ;

(ii.)
${\left(-1\right)}^{m}\Im {G}^{\left(2m+1\right)}\left(\sigma \right)=\Re {G}^{\left[2m+1\right]}\left(\sigma \right)<0$ *for all*
$\sigma \in \left(\mathrm{0,}1/2\right]$ ; *and*

(iii.) $\Im {G}^{\left(2m\right)}\left(\sigma \right)=\Im {G}^{\left[2m\right]}\left(\sigma \right)=\Im {G}^{\left[2m+1\right]}\left(\sigma \right)=\Re {G}^{\left(2m+1\right)}\left(\sigma \right)=0$ for all $\sigma \in \left(\mathrm{0,1}\right)$ .

Proof. Item (i.) The proof of this Item follows by inspection of Equation (2.11);

Item (ii.) The proof of this Item follows by Lemma 2.9 and by inspection of Equation (2.11); and

Item (iii.) The proof of this item follows by inspection of Equation (2.11). +

3. Schwarz Reflection

We present the Schwarz reflection principle, which we define as follows:

Definition 3.1 *Let f be analytic in D*,* and real on
$\left(\mathrm{0,}a\right)$ *,* for some
$a\in \left[1/2\mathrm{,1}\right)$ *.* Then f can be continued analytically *(*i*.*e*.,* reflected*)* across
$\left(\mathrm{0,}a\right)$ from
${D}^{\mp}$ to
${D}^{\pm}$ by means of the formula*

$f\left(\stackrel{\xaf}{z}\right)=\stackrel{\xaf}{f\left(z\right)}$ . (3.1)

Remark 3.2 The Schwarz reflection principle enables analytic continuation from
${D}^{\mp}$ to all of *D*. For example, if *n* denotes a non-negative integer, so that the functions
$f\left({z}^{+}\right)\mathrm{:}={G}^{\left(2n\right)}\left({z}^{+}\right)$ and
$g\left({z}^{+}\right):=-i{G}^{\left(2n+1\right)}\left({z}^{+}\right)$ are given for
${z}^{+}=\sigma +i{t}^{+}\in {D}^{+}$ , then by Lemma 2.10, and by Equation (2.8),
$\Re f\left(\sigma \right)$ is a non-vanishing function of
$\sigma $ on
$\left(0,1\right)$ , while if
$\sigma \in \left(\mathrm{0,}1/2\right]$ , then
$\Re g\left(\sigma \right)$ is a non-vanishing function of
$\sigma $ ,
$\Im G\left(\sigma +it\right)$ changes sign as *t* changes sign, while
$\Re G\left(\sigma +it\right)$ does not change sign as *t* changes sign.

4. Proof of the Riemann Hypothesis

Short proofs of all of all of the results which stated in the abstract of this paper are made possible by means of two well-known methods of quadrature (see e.g., [10] ), which are defined by the following lemma.

Lemma 4.1 *Let f be a real-valued function that is continuous on a finite interval
$\left[a\mathrm{,}b\right]$ of
$R$ *,* and twice differentiable in
$\left(a\mathrm{,}b\right)$ *,* let
$h\mathrm{:}=\left(a+b\right)/2$ *,* and let us set*

$I\left(f\right)\mathrm{:}={\displaystyle {\int}_{a}^{b}}\text{\hspace{0.05em}}\text{\hspace{0.05em}}f\left(x\right)\text{d}x\text{\hspace{0.05em}}\mathrm{,}\text{\hspace{0.17em}}\text{\hspace{0.17em}}T\left(f\right)\mathrm{:}=h\left(f\left(a\right)+f\left(b\right)\right)\mathrm{,}\text{\hspace{0.17em}}\text{\hspace{0.17em}}M\left(f\right)\mathrm{:}=2hf\left(\left(a+b\right)/2\right)\mathrm{.}$ (4.1)

*Then there exist points*
${\xi}_{T}$ *and
${\xi}_{M}$ * *in*
$\left(a\mathrm{,}b\right)$ , *such that *

$\begin{array}{l}I\left(f\right)-T\left(f\right):=-\frac{{\left(2h\right)}^{3}}{12}{f}^{\u2033}\left({\xi}_{T}\right)\\ I\left(f\right)-M\left(f\right):=\frac{{\left(2h\right)}^{3}}{24}{f}^{\u2033}\left({\xi}_{M}\right).\end{array}$ (4.2)

The first equation of (4.2) denotes the simplest *trapezoidal rule*, while the second denotes the simplest *midordinate rule*.

Theorem 4.2 *Every zero of G in the critical strip
$D=\left\{z\in C:0<\Re z<1\right\}$ is located on the critical line
$\left\{z\in D:\Re z=1/2\right\}$ *,* and it is a simple zero*.* *

Proof. We shall now carry out the proof of Theorem 4.2 by means of the proof of the *two* lemmas, which follow.

Lemma 4.3 *If
${z}_{1}={\sigma}_{1}+i{t}_{1}\in D$ *,* with
${\sigma}_{1}\ne 1/2$ and with
${t}_{1}\in R$ *,* then
$G\left({z}_{1}\right)\ne 0$ *.* *

Proof. Let ${z}_{1}\mathrm{:}={\sigma}_{1}+i{t}_{1}$ , with ${\sigma}_{1}\in \left(\mathrm{0,}1/2\right)$ and with ${t}_{1}\in R$ , and let us set ${z}_{2}:=\stackrel{\xaf}{{z}_{1}}$ , ${z}_{3}:=1-{z}_{1}$ , and ${z}_{4}:=\stackrel{\xaf}{{z}_{3}}$ . If for $j=\mathrm{1,2,3}$ , and 4, $G\left({z}_{j}\right)$ vanishes at one of these points, then by the functional equation of Lemma 2.5, and by Schwarz reflection, $G\left({z}_{j}\right)$ vanishes at all of them.

If we assume that $G\left({z}_{1}\right)$ vanishes then $\Re G\left({z}_{1}\right)$ and $\Re G\left({z}_{4}\right)$ vanish, so that we have, by integration of $\Re G$ over $\mathcal{l}\left({z}_{1}\mathrm{,}{z}_{4}\right)$ , that

$I\left(\Re G\right)\mathrm{:}={\displaystyle {\int}_{\mathcal{l}\left({z}_{1}\mathrm{,}{z}_{4}\right)}}\text{\hspace{0.05em}}\text{\hspace{0.05em}}\Re G\left(z\right)\text{d}z={\displaystyle {\int}_{{\sigma}_{1}}^{1-{\sigma}_{1}}}\text{\hspace{0.05em}}\text{\hspace{0.05em}}\Re G\left(s+i{t}_{1}\right)\text{d}s\text{\hspace{0.05em}}\mathrm{.}$ (4.3)

Thus, in the notation of Definition 2.7 and Lemma 4.1, with $h=\left(1-2{\sigma}_{1}\right)/2$ , and for some ${\sigma}_{T}$ and ${\sigma}_{M}\in \left({\sigma}_{1}\mathrm{,1}-{\sigma}_{1}\right)$ , we get,

$\begin{array}{l}I\left(\Re G\right)-T\left(\Re G\right)=-\frac{{\left(2h\right)}^{3}}{12}\Re {G}^{\left[2\right]}\left({\sigma}_{M}+i{t}_{1}\right)=0\\ I\left(\Re G\right)-M\left(\Re G\right)=\frac{{\left(2h\right)}^{3}}{24}\Re {G}^{\left[2\right]}\left({\sigma}_{M}+i{t}_{1}\right)=0.\end{array}$ (4.4)

By taking the difference between the two equations of (4.4), forming the average of this difference and its complex conjugate, noting that $T\left(\Re G\right)=0$ , and that $-1/3\left(2\Re {G}^{\left[2\right]}\left({\sigma}_{T}\right)+\Re {G}^{\left[2\right]}\left({\sigma}_{M}\right)\right)=-\Re {G}^{\left[2\right]}\left({\sigma}_{A}\right)$ , a weighted average for some ${\sigma}_{A}\in \left({\sigma}_{1}\mathrm{,1}-2{\sigma}_{1}\right)$ , we get,

$2\text{\hspace{0.05em}}h\Re G\left(1/2\right)=-{h}^{3}\Re {G}^{\left[2\right]}\left({\sigma}_{A}\right)\text{\hspace{0.05em}}\mathrm{.}$ (4.5)

However, this is a contradiction, since the left and right hand side of Equation (4.5) are different in sign, by Lemma 2.10.

Hence we cannot allow the vanishing of
$\Re G\left({z}_{1}\right)$ , *i.e*., of
$G\left({z}_{1}\right)$ , so that our above assumption of the vanishing of
$G\left({z}_{1}\right)$ is false.

This completes the proof of Lemma 4.3. +

Remark 4.4 The Riemann hypothesis is true, by Lemma 4.3.

Lemma 4.5 *If
${z}_{0}=1/2+i{t}_{0}$ is a zero of G on the critical line*,* then
${z}_{0}$ is a simple zero of G*.* *

Proof. (i.) Let us assume that
$G\left({z}_{0}\right)$ vanishes with multiplicity
$2\text{\hspace{0.05em}}n+2$ , where *n* denotes an arbitrary finite non-negative integer, and let us apply the trapezoidal rule of Lemma 4.1 to the integration of
$\Im {G}^{\left(2n+1\right)}$ over
$\mathcal{l}\left(\stackrel{\xaf}{{z}_{0}}\mathrm{,}{z}_{0}\right)$ . We then have
$h={t}_{0}$ , and since by Definition 2.4, both
${G}^{\left(2n\right)}\left({z}_{0}\right)$ and
${G}^{\left(2n+1\right)}\left({z}_{0}\right)$ must vanish,
$I\left(\Im {G}^{\left(2n+1\right)}\left({z}_{0}\right)\right)$ and
$T\left(\Im {G}^{\left(2n+1\right)}\left({z}_{0}\right)\right)$ must also vanish. We thus get, for some
${t}_{T}\in \left(-{t}_{0}\mathrm{,}{t}_{0}\right)$ , that

$0=-\frac{{\left(2h\right)}^{3}}{12}\Im {G}^{\left(2n+3\right)}\left(1/2+i{t}_{T}\right)\mathrm{.}$ (4.6)

By averaging of this equation and it’s complex conjugate, thus eliminating the possible imaginary part on the right hand side, we get

$0=-\frac{{\left(2h\right)}^{3}}{12}\Im {G}^{\left(2n+3\right)}\left(1/2\right)\mathrm{.}$ (4.7)

Since the left hand side of Equation (4.7) vanishes whereas, by Lemma 2.10, the right hand side does not, this equation provides a contradiction, which tells us that we cannot allow the vanishing of
$\Re G\left({z}_{0}\right)$ , *i.e*., of
$G\left({z}_{0}\right)$ , with multiplicity
$2n+2$ , where *n* denotes an arbitrary finite non-negative integer.

(ii.) Similarly, if
$G\left({z}_{0}\right)$ vanishes with multiplicity
$2n+1$ , with arbitrary finite positive integer *n*, then both
${G}^{\left(2n-1\right)}\left({z}_{0}\right)$ and
${G}^{\left(2n\right)}\left({z}_{0}\right)$ must vanish, so that, by proceeding as we did to arrive at Equation (7), we get

$0=-\frac{{\left(2h\right)}^{3}}{12}\Re {G}^{\left(2n+2\right)}\left(1/2\right)\mathrm{.}$ (4.8)

The left hand side this equation vanishes whereas by Lemma 2.10, the right hand side does not, so that Equation (4.8) presents a contradiction. Together with our conclusion for Equation (4.7), this proves that we cannot allow the vanishing of
$G\left({z}_{0}\right)$ with multiplicity
$m>1$ , with *m* denoting an arbitrary positive integer.

It was shown in [12] that the Riemann Zeta function has an infinite number of zeros on the critical line *L*, and by Lemma 4.3 above there are no zeros of *G* in *D*\*L*. It thus follows, that every zero
${z}_{0}$ of *D* must be a simple zero on *L*. +

Acknowledgments

The author is grateful to Drs. Paul Gauthier and Marc Stromberg for their corrections of my proofs related to Lemma 2.5.

Conflicts of Interest

The author declares no conflicts of interest regarding the publication of this paper.

[1] | Bombieri, E. (2014) The Riemann Hypothesis—Official Problem Description, Clay Mathematical Institute. |

[2] | https://en.wikipedia.org/wiki/riemann_zeta_function |

[3] |
Castelvetcchi, D. (2022) Mathematician Claims Prime Number Riddle Breakthrough. Nature, 611, 645-646. https://doi.org/10.1038/d41586-022-03689-2 |

[4] |
Meulens, R. (2019) The Proof of the Riemann Hypothesis and an Application to Physics. Applied Mathematics, 10, 967-988. https://doi.org/10.4236/am.2019.1011068 |

[5] | Endres, S. and Steiner, F. (2009) The Berry-Keating Operator on L2(R) and on Compact Quantum Graphs with General self-Adjoint Realizations. Journal of Physics A: Mathematical and Theoretical, 43, 095204. |

[6] |
Violi, R. (2020) All Complex Zeros of the Riemann Zeta Function Are on the Critical Line. https://arxiv.org/pdf/2010.05335.pdf |

[7] | Coranson-Beaudu, J.-M. (2021) A Speedy New Proof of the Riemann Hypothesis. Pure and Applied Mathematics Journal, 10, 62-67. |

[8] | Garcia, M. (2007) On the Non-Trivial Zeros of the Dirichlet eta Function. arXiv 2007.04317v1(220). |

[9] |
Chen, C. (2022) Proof of Riemann Conjecture. APM, 12, 374-391. https://doi.org/10.4236/apm.2022.125028 |

[10] | https://mathweb.ucsd.edu/ebender/20B77_Trap.pdf |

[11] | Abramowitz, A. and Stegun, I.A. (1964) Handbook of Mathematical Functions. National Bureau of Standards Applied Mathematical Series, 55, 1964. |

[12] | Hardy, G.H. and Littlewood, J.E. (1917) Contributions to the Theory of the Riemann Zeta-Function and the Theory of the Distribution of Primes. Acta Mathematica, 41, 119-196. |

Journals Menu

Contact us

+1 323-425-8868 | |

customer@scirp.org | |

+86 18163351462(WhatsApp) | |

1655362766 | |

Paper Publishing WeChat |

Copyright © 2024 by authors and Scientific Research Publishing Inc.

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.