A Standard Method to Prove That the Riemann Zeta Function Equation Has No Non-Trivial Zeros ()

Xiaochun Mei^{}

Department of Theoretical Physics and Pure Mathematics, Institute of Innovative Physics in Fuzhou, Fuzhou, China.

**DOI: **10.4236/apm.2020.102006
PDF HTML XML
373
Downloads
923
Views
Citations

Department of Theoretical Physics and Pure Mathematics, Institute of Innovative Physics in Fuzhou, Fuzhou, China.

A standard method is proposed to prove strictly that the Riemann Zeta function equation has no non-trivial zeros. The real part and imaginary part of the Riemann Zeta function equation are separated completely. Suppose *ξ*(*s*) = *ξ*_{1}(*a*,*b*) + *i**ξ*_{2}(*a*,*b*) = 0 but *ζ*(*s*) = *ζ*_{1}(*a*,*b*) + *i**ζ*_{2}(*a*,*b*) ≠ 0 with *s* = *a* + *i**b* at first. By comparing the real part and the imaginary part of Zeta function equation individually, a set of equation about *a* and *b* is obtained. It is proved that this equation set only has the solutions of trivial zeros. In order to obtain possible non-trivial zeros, the only way is to suppose that *ζ*_{1}(*a*,*b*) = 0 and *ζ*_{2}(*a*,*b*) = 0. However, by using the compassion method of infinite series, it is proved that *ζ*_{1}(*a*,*b*) ≠ 0 and *ζ*_{2}(*a*,*b*) ≠ 0. So the Riemann Zeta function equation has no non-trivial zeros. The Riemann hypothesis does not hold.

Keywords

Riemann Hypothesis, Riemann Zeta Function, Riemann Zeta Function Equation, Jacobi’s Function, Residue Theorem, Cauchy-Riemann Equation

Share and Cite:

Mei, X. (2020) A Standard Method to Prove That the Riemann Zeta Function Equation Has No Non-Trivial Zeros. *Advances in Pure Mathematics*, **10**, 86-99. doi: 10.4236/apm.2020.102006.

1. Introduction

In the author’s previous paper titled “The inconsistency problem of Riemann Zeta function equation” [1], it was proved that after complex continuation was considered, on the real axis, the Riemann Zeta function equation had serious inconsistency. The Riemann hypothesis was meaningless [1].

In the present discussions of Riemann hypothesis and the calculations of Zeta function’s zeros, approximate methods are commonly used. The real part and imaginary part of Zeta function equation are mixed together so that problems become complicated. Because the Cauchy-Riemann Equation which an analyzed function should satisfy was violated, the obtained zeros are not the real ones of strict Zeta functions equation [1].

In this paper, a standard method is proposed to separate the real part and the imaginary part of Zeta function equation completely. Then by comparing the real part and the imaginary part individually, it is proved strictly that on whole complex plane, the Zeta function equation has no non-trivial zeros. All trivial zeros are located on the real axis. The Riemann hypothesis is proved untenable again.

The Riemann Zeta function has two forms. One is the form of series summation and another is the form of integral. The form of series summation is more fundamental with

$\zeta \left(s\right)={\displaystyle \underset{n=1}{\overset{\infty}{\sum}}{n}^{-s}},\text{\hspace{0.17em}}\text{\hspace{0.17em}}\mathrm{Re}\left(s\right)>1$ (1)

Her $s=a+ib\in C$ is a complex number. Based on Equation (1), by using the Gama function $\Gamma \left(s\right)$ and introducing the counter integral on the complex plane, Riemann obtained the integral form of Zeta function , as well as the algebraic relation of Zeta function, called as the Riemann Zeta function Equation [2] [3].

$\underset{n=1}{\overset{\infty}{\sum}}{n}^{-s}}=2{\left(2\pi \right)}^{s-1}\mathrm{sin}\left(s\pi /2\right)\Gamma \left(1-s\right){\displaystyle \underset{n=1}{\overset{\infty}{\sum}}{n}^{-\left(1-s\right)}$ (2)

According the definition of Equation (1), we also have

$\zeta \left(1-s\right)={\displaystyle \underset{n=1}{\overset{\infty}{\sum}}{n}^{-\left(1-s\right)}}$ (3)

Substituting Equation (1) and Equation (3) in Equation (2), Equation (2) can be written as

$\zeta \left(s\right)=2{\left(2\pi \right)}^{s-1}\mathrm{sin}\left(s\pi /2\right)\Gamma \left(1-s\right)\zeta \left(1-s\right),\text{\hspace{0.17em}}\text{\hspace{0.17em}}\mathrm{Re}\left(s\right)\ne 1$ (4)

According to the common understanding at present, on the right side of Equation (4), the definition domain of function is extended from $\mathrm{Re}\left(s\right)>1$ to whole complex plane except the point $\mathrm{Re}\left(s\right)=1$. So Equation (4) is considered as the new definition of Zeta function after complex continuation. However, by examining Riemann’s deduction carefully in his original paper proposed in 1859, we can see that Equation (4) is only a simplified symbol form. The original form of Equation (4) should be Equation (2) [1].

In this original paper, Riemann introduced another form of Zeta function equation [4]

$\xi \left(s\right)=\frac{1}{2}{\pi}^{-s/2}s\left(s-1\right)\Gamma \left(s/2\right)\zeta \left(s\right)$ (5)

By using the formula $\theta \left(x\right)=\sqrt{x}\theta \left(1/x\right)$ of Jacobi’s function, Riemann proved that the function (5) had the symmetry $\xi \left(s\right)=\xi \left(1-s\right)$. It was considered that $\zeta \left(s\right)$ described by Equation (4) and $\xi \left(s\right)$ described by Equation (5) had the same non-trivial zeros, though they had different forms. In practical discussion, Equation (5) was used to calculate the zeros of Riemann hypothesis in general.

Riemann guessed that all non-trivial zeros were located on the critical line $\mathrm{Re}\left(s\right)=1/2$ of complex plane, but had not provided any concrete zero. Over one hundred years, mathematicians had done a lot of research on the Riemann hypothesis, trying to prove or falsify it, but nothing worked. The Riemann hypothesis becomes the world mathematics problem.

However, there is a third possibility, i.e., there is something wrong with the Riemann Zeta function equation itself, so that the Riemann hypothesis can not be proved. It was proved in the author’s previous paper that there were four basic mistakes in the Riemann’s original paper in 1859, the Riemann Zeta function did not hold, the Riemann hypothesis becomes meaningless [1].

1) An integral item around the original point of coordinate system was neglected in Riemann’s original paper. The item was convergent when $\mathrm{Re}\left(s\right)>1$, but infinite when $\mathrm{Re}\left(s\right)\le 1$. That is to say, the integral form of Riemann Zeta function has not changed its divergence of series summation form. The Riemann Zeta function Equations (2) and (4) do not hold.

2) The Riemann Zeta function equation has serious inconsistency. The so-called continuation of function indicates that a function which has no meaning in a certain domain is re-defined so that it becomes meaningful in this domain. But there is a basic requirement for the function’s continuation, i.e., this new defined function should have the same form with original function in the original domain. Otherwise, the extended function can not be regarded as the continuation of original function [5]. According to this basic principle, in the domain of $\mathrm{Re}\left(s\right)>1$, the left side of Equation (4) should be in the form of Equation (1).

On the other hand, Equation (4) has definition on whole complex plane except the point $\mathrm{Re}\left(s\right)=1$ i.e., $a\ne 1$ but b can be arbitrary. Taking $a=3.5$ and $b=0$, Equation (4) should be effective. Because the original form of Equation (4) is Equation (2), it means that Equation (2) should be effective on $a=3.5$ and $b=0$. However, it is proved that the left side of Equation (2) is a limited value but the right side of Equation (2) is infinite when $a=3.5$ and $b=0$, so the two sides of Riemann Zeta function equation are inconsistent [1].

In fact, it is proved that on the real axis, the Riemann Zeta function equation only holds at the point $s=a=1/2$. However, at this point, the Zeta function is infinite, rather than zero. At the other points of real axis, if the left side of Equation (2) is convergent, the right side of Equation (2) is divergent, and vice versa. So the two sides of the Riemann Zeta function equation are incompatible.

3) A summation formula was used in the deduction of the integral form of Riemann zeta function. The applicable condition of this formula is $x>0$. At point $x=0$, the formula becomes meaningless. However, the lower limit of Zeta function integral is $x=0$, so this formula can not be used. The integral form of Riemann zeta function does not hold.

4) The formula $\theta \left(x\right)=\sqrt{x}\theta \left(1/x\right)$ of Jacobi function was used to prove the symmetry of Zeta function. The applicable condition of this formula is $x>0$ [4]. But the lower limit of integral involved in the deduction is $x=0$. Therefore, the formula can not be used too, the symmetry $\xi \left(s\right)=\xi \left(1-s\right)$ does not hold.

The zeros calculation of Riemann Zeta function were discussed in the paper [1]. At present, it has been proved by manual and computer numerical methods that there are lot of zeros on the critical line of $a=1/2$. The number has exceeded 10 trillion [6]. The paper pointed out that all methods used in the calculations were approximate ones. For example, Equation (5) was developed into the infinite series called as the Riemann-Siegal formula, then the zero of each polynomial formula was calculated. The result violated the symmetry of the Cauchy-Riemann formula that any analytic functions should satisfy, so they were not the true zeros of strict Zeta functions.

In this paper, regardless of these problems mentioned above, we suppose that the Riemann Zeta function equation still holds and discuss the zero problem of Zeta function strictly. A simple and standard method is proposed to prove that the Riemann Zeta function equation has no non-trivial zeros on whole complex plane.

Let $\xi ={\xi}_{1}+i{\xi}_{2}$ and $\zeta ={\zeta}_{1}+i{\zeta}_{2}$, by separating each item of Equation (5) into real and imaginary parts, Equation (5) is written as the forms that real part and imaginary part are separated completely. Then we discuss the zeros of real part and imaginary part individually.

At first, suppose that ${\xi}_{1}=0$ and ${\xi}_{2}=0$, but ${\zeta}_{1}\ne 0$ and $\zeta \left(1-s\right)={\zeta}_{1}\left(a,b\right)+i{\zeta}_{2}\left(a,b\right)$, we obtain a set of equation about $a$ and $b$. It is proved that the only solution to this equation set is $a=1$ and $b=0$. But they are the trivial zeros located on the real axis, not non-trivial zeros. So Equation (5) has no non-trivial zeros. By the same method, it also is proved that Equation (4) only has no trivial zeros which are located at the points $a=-2n$ ( $n=0,1,2,\cdots $ ) and $b=0$.

At last, in order to obtain possible non-trivial zeros, we take ${\zeta}_{1}=0$ and ${\zeta}_{2}=0$, i.e., the summation form of Zeta function itself is equal to zero. However, by using the compassion method of infinite series, it is proved that ${\zeta}_{1}$ and ${\zeta}_{2}$ can not be zeros simultaneously.

Therefore, we prove that the Riemann Zeta function equation has no non-trivial zeros again, the Riemann hypothesis does not hold.

2. The Proof That the Zeta Function Equation (5) Has No Non-Trivial Zeros

We discuss the zeros of Equation (5) in this section. Then discuss the zeros of Equation (4) in next section.

Theorem 1. On the complex plane, if the real part and imaginary part of zeta function $\zeta \left(s\right)$ are not equal to zeros, the Zeta function equation (5) has no non-trivial zeros. The trivial zero is located on the real axis at the point $a=1$ and $b=0$.

Proof: We separate the real part and imaginary part of $\xi (s)$ and $\zeta \left(s\right)$, write them as

$\xi \left(s\right)={\xi}_{1}\left(a,b\right)+i{\xi}_{2}\left(a,b\right)$ (6)

$\zeta \left(s\right)={\zeta}_{1}\left(a,b\right)+i{\zeta}_{2}\left(a,b\right)$ (7)

Here ${\xi}_{1}$, ${\xi}_{2}$, ${\zeta}_{1}$ and ${\zeta}_{2}$ are real functions. By using formula $t=\text{e}{}^{\mathrm{ln}t}$, we have

$\begin{array}{c}{\pi}^{-s/2}={\pi}^{-\left(a+ib\right)/2}={\pi}^{-a/2}{\pi}^{-ib/2}\\ ={\pi}^{-a/2}{\left({\text{e}}^{\mathrm{ln}\pi}\right)}^{-ib/2}={\pi}^{-a/2}{\text{e}}^{-i\left(b\mathrm{ln}\pi \right)/2}\\ ={\pi}^{-a/2}\left[\mathrm{cos}\left[\left(b\mathrm{ln}\pi \right)/2\right]-i\mathrm{sin}\left[\left(b\mathrm{ln}\pi \right)/2\right]\right]\end{array}$ (8)

$s\left(s-1\right)=\left(a+ib\right)\left(a-1+ib\right)=a\left(a-1\right)-{b}^{2}+i\left(2ab-b\right)$ (9)

$\begin{array}{l}\frac{1}{2}{\pi}^{-s/2}s\left(s-1\right)\\ =\frac{1}{2}{\pi}^{-a/2}\left[\left[a\left(a-1\right)-{b}^{2}\right]\mathrm{cos}\left[\left(b\mathrm{ln}\pi \right)/2\right]+\left(2ab-b\right)\mathrm{sin}\left[\left(b\mathrm{ln}\pi \right)/2\right]\right]\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.05em}}+i\frac{1}{2}{\pi}^{-a/2}\left[\left(2ab-b\right)\text{cos}\left[\left(b\mathrm{ln}\pi \right)/2\right]-\left[a\left(a-1\right)-{b}^{2}\right]\mathrm{sin}\left[\left(b\mathrm{ln}\pi \right)/2\right]\right]\end{array}$ (10)

Let

${G}_{1}=\frac{1}{2}{\pi}^{-a/2}\left[\left[a\left(a-1\right)-{b}^{2}\right]\mathrm{cos}\left[\left(b\mathrm{ln}\pi \right)/2\right]+\left(2ab-b\right)\mathrm{sin}\left[\left(b\mathrm{ln}\pi \right)/2\right]\right]$

${G}_{2}=\frac{1}{2}{\pi}^{-a/2}\left[\left(2ab-b\right)\text{cos}\left[\left(b\mathrm{ln}\pi \right)/2\right]-\left[a\left(a-1\right)-{b}^{2}\right]\mathrm{sin}\left[\left(b\mathrm{ln}\pi \right)/2\right]\right]$ (11)

We get

$\frac{1}{2}{\pi}^{-s/2}s\left(s-1\right)={G}_{1}+i{G}_{2}$ (12)

Here ${G}_{1}$ and ${G}_{2}$ are real functions. On the other hand, the definition of real Gama function is [6]

$\Gamma \left(a\right)={\displaystyle \underset{0}{\overset{\infty}{\int}}{\text{e}}^{-t}{t}^{a-1}\text{d}t}>0,\text{\hspace{0.17em}}\text{\hspace{0.17em}}a>0$ (13)

Let $a\to s=a+ib$, we obtain the complex continuation of Gama function. We have

$\begin{array}{c}\Gamma \left(s/2\right)={\displaystyle \underset{0}{\overset{\infty}{\int}}{\text{e}}^{-t}{t}^{s/2-1}\text{d}t}={\displaystyle \underset{0}{\overset{\infty}{\int}}{\text{e}}^{-t}{t}^{a/2-1}{t}^{ib/2}\text{d}t}={\displaystyle \underset{0}{\overset{\infty}{\int}}{\text{e}}^{-t}{t}^{a/2-1}{\text{e}}^{i\left(b\mathrm{ln}t\right)/2}\text{d}t}\\ ={\displaystyle \underset{0}{\overset{\infty}{\int}}{\text{e}}^{-t}{t}^{a/2-1}\left(\text{cos}\left[\left(b\mathrm{ln}t\right)/2\right]+i\mathrm{sin}\left[\left(b\mathrm{ln}t\right)/2\right]\right)\text{d}t}\\ ={\Gamma}_{1}\left(a,b\right)+i{\Gamma}_{2}\left(a,b\right)\end{array}$ (14)

${\Gamma}_{1}\left(a,b\right)={\displaystyle \underset{0}{\overset{\infty}{\int}}{\text{e}}^{-t}{t}^{a/2-1}\text{cos}\left[\left(b\mathrm{ln}t\right)/2\right]\text{d}t}$

${\Gamma}_{2}\left(a,b\right)={\displaystyle \underset{0}{\overset{\infty}{\int}}{\text{e}}^{-t}{t}^{a/2-1}\text{sin}\left[\left(b\mathrm{ln}t\right)/2\right]\text{d}t}$ (15)

${\Gamma}_{1}$ and ${\Gamma}_{2}$ are also real functions. Therefore, according to the equations above, Equation (5) can be written as

$\begin{array}{c}{\xi}_{1}+i{\xi}_{2}=\left({G}_{1}+i{G}_{2}\right)\left({\Gamma}_{1}+i{\Gamma}_{2}\right)\left({\zeta}_{1}+i{\zeta}_{2}\right)\\ =\left({G}_{1}{\Gamma}_{1}-{G}_{2}{\Gamma}_{2}\right){\zeta}_{1}-\left({G}_{1}{\Gamma}_{2}+{G}_{2}{\Gamma}_{1}\right){\zeta}_{2}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}+i\left[\left({G}_{1}{\Gamma}_{2}+{G}_{2}{\Gamma}_{1}\right){\zeta}_{1}+\left({G}_{1}{\Gamma}_{1}-{G}_{2}{\Gamma}_{2}\right){\zeta}_{2}\right]\end{array}$ (16)

The real part and imaginary part of Equation (16) are separated with

${\xi}_{1}=\left({G}_{1}{\Gamma}_{1}-{G}_{2}{\Gamma}_{2}\right){\zeta}_{1}-\left({G}_{1}{\Gamma}_{2}+{G}_{2}{\Gamma}_{1}\right){\zeta}_{2}$ (17)

${\xi}_{2}=\left({G}_{1}{\Gamma}_{2}+{G}_{2}{\Gamma}_{1}\right){\zeta}_{1}+\left({G}_{1}{\Gamma}_{1}-{G}_{2}{\Gamma}_{2}\right){\zeta}_{2}$ (18)

If the Zeta function equation has zeros, its real part and imaginary part should be equal to zero simultaneously. Let ${\xi}_{1}=0$ and ${\xi}_{2}=0$, we obtain

$\left({G}_{1}{\Gamma}_{1}-{G}_{2}{\Gamma}_{2}\right){\zeta}_{1}-\left({G}_{1}{\Gamma}_{2}+{G}_{2}{\Gamma}_{1}\right){\zeta}_{2}=0$ (19)

$\left({G}_{1}{\Gamma}_{2}+{G}_{2}{\Gamma}_{1}\right){\zeta}_{1}+\left({G}_{1}{\Gamma}_{1}-{G}_{2}{\Gamma}_{2}\right){\zeta}_{2}=0$ (20)

If ${\zeta}_{1}\ne 0$ and ${\zeta}_{2}\ne 0$, we can obtain from Equation (19)

${\zeta}_{1}=\frac{{G}_{1}{\Gamma}_{2}+{G}_{2}{\Gamma}_{1}}{{G}_{1}{\Gamma}_{1}-{G}_{2}{\Gamma}_{2}}{\zeta}_{2}$ (21)

Substitute Equation (21) in Equation (20), we get

$\frac{{\left({G}_{1}{\Gamma}_{2}+{G}_{2}{\Gamma}_{1}\right)}^{2}}{{G}_{1}{\Gamma}_{1}-{G}_{2}{\Gamma}_{2}}{\zeta}_{2}+\left({G}_{1}{\Gamma}_{1}-{G}_{2}{\Gamma}_{2}\right){\zeta}_{2}=0$ (22)

or

${\left({G}_{1}{\Gamma}_{2}+{G}_{2}{\Gamma}_{1}\right)}^{2}+{\left({G}_{1}{\Gamma}_{1}-{G}_{2}{\Gamma}_{2}\right)}^{2}=0$ (23)

Because it is the square summation of two items, each one in Equation (23) should be zero simultaneously

${G}_{1}{\Gamma}_{2}+{G}_{2}{\Gamma}_{1}=0$ (24)

${G}_{1}{\Gamma}_{1}-{G}_{2}{\Gamma}_{2}=0$ (25)

From Equation (25), we have ${\Gamma}_{1}={G}_{2}{\Gamma}_{2}/{G}_{1}$. Substitute it in Equation (24), we get ${G}_{1}^{2}+{G}_{2}^{2}=0$. Because ${G}_{1}^{2}$ and ${G}_{2}^{2}$ can not be negative, we can only have ${G}_{1}=0$ and ${G}_{2}=0$. According to Equation (11), the results are

$\left[a\left(a-1\right)-{b}^{2}\right]\mathrm{cos}\left[\left(b\mathrm{ln}\pi \right)/2\right]+\left(2ab-b\right)\mathrm{sin}\left[\left(b\mathrm{ln}\pi \right)/2\right]=0$ (26)

$-\left[a\left(a-1\right)-{b}^{2}\right]\mathrm{sin}\left[\left(b\mathrm{ln}\pi \right)/2\right]+\left(2ab-b\right)\mathrm{cos}\left[\left(b\mathrm{ln}\pi \right)/2\right]=0$ (27)

To square them and add them together, we get

${\left[a\left(a-1\right)-{b}^{2}\right]}^{2}+{\left(2ab-b\right)}^{2}=0$ (28)

Equation (28) indicates $a\left(a-1\right)-{b}^{2}=0$ and $2ab-b=0$. Due to that $a$ and $b$ are real numbers, the solutions of these two formulas are $a=0,1$ and $b=0$. Obviously, they are trivial zeros located on the real axis. In fact, because of ${\pi}^{-s/2}\ne 0$ this solution is the result of $s\left(s-1\right)=0$ in Equation (9). Let its real part and imaginary part be equal to zeros simultaneously, we have $a\left(a-1\right)-{b}^{2}=0$ and $2ab-b=0$. Obviously, the value $a=1/2$ of Riemann’s hypothesis is not the solution of Equation (28).

The result above has nothing to do with the $\Gamma \left(s\right)$ function. We should consider the zeros of $\Gamma \left(s\right)$ function. It is obvious that when $b\ne 0$, ${\Gamma}_{1}\left(a,b\right)$ and ${\Gamma}_{2}\left(a,b\right)$ described by Equation (15) are not equal to each other. So they can not be equal to zeros simultaneously (if they have zeros). Similar to the real $\Gamma \left(a\right)$ function, it indicates that the $\Gamma \left(s\right)$ function of complex continuation has no zeros too.

As we known that when $b=0$ and $a/2>0$ or $a>0$, $\Gamma \left(a/2\right)$ is limited but not equal to zero. When $a/2=\text{0,}-1,-2,\cdots $, or $a=\text{0},-2,-4,\cdots $, $\Gamma \left(a/2\right)$ is infinite [5]. Therefore, after $\Gamma \left(s/2\right)$ function is considered, the zero $a=0$ in Equation (28) is canceled. The trivial zero of Zeta function Equation (5) is located at $a=1$ and $b=0$. Thus, the proof of Theorem 1 is finished.

Besides, if we want to look for the non-trivial zeros of $\xi \left(s\right)$, the last way is to let ${\zeta}_{1}=0$ and ${\zeta}_{2}=0$ in which the non-trivial zeros may be contained. In this case, the problem whether or not the series summation form of Zeta function can be equal to zero is involved. We will discuss this problem in Section 4.

3. The Proof That the Zeta Function Equation (4) Has No Non-Trivial Zeros

Theorem 2. On the complex plane, if the real part and imaginary part of Zeta function $\zeta \left(1-s\right)$ are not equal to zeros, the Zeta function equation Equation (4) has no non-trivial zeros. The trivial zeros are located on the real axis at the points $a=-\text{2}n$ ( $n=0,1,2,\cdots $ ) and $b=0$.

Proof: Let $\zeta \left(s\right)\to {\zeta}^{\prime}\left(s\right)$ and write Equation (4) as

${\zeta}^{\prime}\left(s\right)=2{\left(2\pi \right)}^{s-1}\mathrm{sin}\left(s\pi /2\right)\Gamma \left(1-s\right)\zeta \left(1-s\right)$ (29)

According to current understanding, ${\zeta}^{\prime}\left(s\right)$ is considered as the new definition of Zeta function after complex continuation was carried out. But $\zeta \left(1-s\right)$ still has the same form of Equation (1), because Equation (3) was used in the last steep of Riemann’s deduction. By using the formula $i=\text{e}{}^{i\pi /2}$, we have

$\begin{array}{c}\text{sin}\left(s\pi /2\right)=\frac{{\text{e}}^{is\pi /2}-{\text{e}}^{-is\pi /2}}{2i}=\frac{{\text{e}}^{-i\pi /2}}{2}\left[{\text{e}}^{i\left(a+ib\right)\pi /2}-{\text{e}}^{-i\left(a+ib\right)\pi /2}\right]\\ =\frac{1}{2}\left[{\text{e}}^{-b\pi /2}{\text{e}}^{i\left(a-1\right)\pi /2}-{\text{e}}^{b\pi /2}{\text{e}}^{-i\left(a+1\right)\pi /2}\right]\end{array}$ (30)

$2{\left(2\pi \right)}^{s-1}=2{\left(2\pi \right)}^{a-1+ib}=2{\left(2\pi \right)}^{a-1}{\left(2\pi \right)}^{ib}=2{\left(2\pi \right)}^{a-1}{\text{e}}^{ib\mathrm{ln}2\pi}$ (31)

$\begin{array}{l}2{\left(2\pi \right)}^{s-1}\mathrm{sin}\left(s\pi /2\right)\\ ={\left(2\pi \right)}^{a-1}{\text{e}}^{ib\mathrm{ln}2\pi}\left[{\text{e}}^{-b\pi /2}{\text{e}}^{i\left(a-1\right)\pi /2}-{\text{e}}^{b\pi /2}{\text{e}}^{-i\left(a+1\right)\pi /2}\right]\\ ={\left(2\pi \right)}^{a-1}\left[{\text{e}}^{-b\pi /2}{\text{e}}^{i\left[\left(a-1\right)\pi /2+b\mathrm{ln}2\pi \right]}-{\text{e}}^{b\pi /2}{\text{e}}^{-i\left[\left(a+1\right)\pi /2-b\mathrm{ln}2\pi \right]}\right]\end{array}$ (32)

Let

$A=\left(a-1\right)\pi /2+b\mathrm{ln}2\pi ,\text{\hspace{0.17em}}\text{\hspace{0.17em}}B=\left(a+1\right)\pi /2-b\mathrm{ln}2\pi $ (33)

Equation (32) can be written as

$\begin{array}{l}2{\left(2\pi \right)}^{s-1}\text{sin}\left(s\pi /2\right)={G}_{1}+i{G}_{2}\\ ={\left(2\pi \right)}^{a-1}\left[{\text{e}}^{-b\pi /2}\mathrm{cos}A-{\text{e}}^{b\pi /2}\mathrm{cos}B+i\left({\text{e}}^{-b\pi /2}\mathrm{sin}A+{\text{e}}^{b\pi /2}\mathrm{sin}B\right)\right]\end{array}$ (34)

${G}_{1}={\left(2\pi \right)}^{a-1}\left({\text{e}}^{-b\pi /2}\mathrm{cos}A-{\text{e}}^{b\pi /2}\mathrm{cos}B\right)$

${G}_{2}={\left(2\pi \right)}^{a-1}\left({\text{e}}^{-b\pi /2}\mathrm{sin}A+{\text{e}}^{b\pi /2}\mathrm{sin}B\right)$ (35)

Here A, B, ${G}_{1}$ and ${G}_{2}$ are real functions. We also have [6]

$\begin{array}{c}\Gamma \left(1-s\right)={\displaystyle \underset{0}{\overset{\infty}{\int}}{\text{e}}^{-t}{t}^{1-s-\text{1}}\text{d}t}={\displaystyle \underset{0}{\overset{\infty}{\int}}{\text{e}}^{-t}{t}^{-a}{t}^{-ib}\text{d}t}={\displaystyle \underset{0}{\overset{\infty}{\int}}{\text{e}}^{-t}{t}^{-a}{\text{e}}^{-ib\mathrm{ln}t}\text{d}t}\\ ={\displaystyle \underset{0}{\overset{\infty}{\int}}{\text{e}}^{-t}{t}^{1-a}\left(\mathrm{cos}\left(b\mathrm{ln}t\right)-i\mathrm{sin}\left(b\mathrm{ln}t\right)\right)\text{d}t}\\ ={\Gamma}_{1}\left(a,b\right)+i{\Gamma}_{2}\left(a,b\right)\end{array}$ (36)

${\Gamma}_{1}\left(a,b\right)={\displaystyle \underset{0}{\overset{\infty}{\int}}{\text{e}}^{-t}{t}^{-a}\text{cos}\left(b\mathrm{ln}t\right)\text{d}t},\text{\hspace{0.17em}}\text{\hspace{0.17em}}{\Gamma}_{2}\left(a,b\right)=-{\displaystyle \underset{0}{\overset{\infty}{\int}}{\text{e}}^{-t}{t}^{-a}\text{sin}\left(b\mathrm{ln}t\right)\text{d}t}$ (37)

Here ${\Gamma}_{1}$ and ${\Gamma}_{2}$ are also real functions. Thus, Equation (4) can be written as

$\begin{array}{c}{\zeta}^{\prime}={{\zeta}^{\prime}}_{1}+i{{\zeta}^{\prime}}_{2}=\left({G}_{1}+i{G}_{2}\right)\left({\Gamma}_{1}+i{\Gamma}_{2}\right)\left({\zeta}_{1}+i{\zeta}_{2}\right)\\ =\left({G}_{1}{\Gamma}_{1}-{G}_{2}{\Gamma}_{2}\right){\zeta}_{1}-\left({G}_{1}{\Gamma}_{2}+{G}_{2}{\Gamma}_{1}\right){\zeta}_{2}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}+i\left[\left({G}_{1}{\Gamma}_{2}+{G}_{2}{\Gamma}_{1}\right){\zeta}_{1}+\left({G}_{1}{\Gamma}_{1}-{G}_{2}{\Gamma}_{2}\right){\zeta}_{2}\right]\end{array}$ (38)

By separating real part and imaginary part, we get

${{\zeta}^{\prime}}_{1}=\left({G}_{1}{\Gamma}_{1}-{G}_{2}{\Gamma}_{2}\right){\zeta}_{1}-\left({G}_{1}{\Gamma}_{2}+{G}_{2}{\Gamma}_{1}\right){\zeta}_{2}$ (39)

${{\zeta}^{\prime}}_{2}=\left({G}_{1}{\Gamma}_{2}+{G}_{2}{\Gamma}_{1}\right){\zeta}_{1}+\left({G}_{1}{\Gamma}_{1}-{G}_{2}{\Gamma}_{2}\right){\zeta}_{2}$ (40)

If the Zeta function equation has zeros, its real part and imaginary part should be zeros simultaneously. Suppose that ${\zeta}_{1}\ne 0$ and ${\zeta}_{2}\ne 0$, according to the same method as shown in Section 2, we get

${G}_{1}{\Gamma}_{2}+{G}_{2}{\Gamma}_{1}=0$ (41)

${G}_{1}{\Gamma}_{1}-{G}_{2}{\Gamma}_{2}=0$ (42)

Form Equation (42), we have ${\Gamma}_{1}={G}_{2}{\Gamma}_{2}/{G}_{1}$. Substituting it in Equation (41), we get ${G}_{1}^{2}+{G}_{2}^{2}=0$. The only solutions are ${G}_{1}=0$ and ${G}_{2}=0$. According to Equation (35), we obtain

${\text{e}}^{-b\pi /2}\mathrm{cos}A-{\text{e}}^{b\pi /2}\mathrm{cos}B=0$ (43)

${\text{e}}^{-b\pi /2}\mathrm{sin}A+{\text{e}}^{b\pi /2}\mathrm{sin}B=0$ (44)

To square Equation (43) and Equation (44), then add them together, we get

${\text{e}}^{-b\pi}+{\text{e}}^{b\pi}=2\text{cos}\left(A+B\right)$ (45)

To square Equation (43) and Equation (44) and subtract them, we get

${\text{e}}^{-b\pi}\text{cos}2A+{\text{e}}^{b\pi}\mathrm{cos}2B=2\mathrm{cos}\left(A-B\right)$ (46)

Substituting Equation (33) in Equation (45) and Equation (46), we obtain

${\text{e}}^{-b\pi}+{\text{e}}^{b\pi}=2\text{cos}\left(a\pi \right)$ (47)

$-{\text{e}}^{-b\pi}\text{cos}\left(a\pi +2b\mathrm{ln}2\pi \right)-{\text{e}}^{b\pi}\text{cos}\left(a\pi -2b\mathrm{ln}2\pi \right)=-2\mathrm{cos}\left(2b\mathrm{ln}2\pi \right)$ (48)

If $b\ne 0$, by developing ${\text{e}}^{-b\pi}$ and ${\text{e}}^{b\pi}$ into the series, we can prove ${\text{e}}^{-b\pi}+{\text{e}}^{b\pi}>2$. However, because of $2\text{cos}\left(a\pi \right)\le 2$, Equation (47) does not hold. So the only solution of Equation (47) is $b=0$ and $a=\pm 2n\left(n=\text{0},1,2,\cdots \right)$ representing the trivial zeros located on the real axis. In this case, Equations (47) and (48) become the same with the same solution.

If taking $a=1/2$, we have $2\text{cos}\left(\pi /2\right)=0$. Because of ${\text{e}}^{-b\pi}+{\text{e}}^{b\pi}\ne 0$, Equation (47) can not hold too. Therefore, $a=1/2$ is not the solution of Equation (4) too. In fact, because of $2{\pi}^{\text{is}}\ne 0$, the solutions $b=0$ and $a=\pm 2n$ are the result of $\mathrm{sin}\left(s\pi /2\right)=0$ in Equation (29), having nothing to do with $\Gamma $ function too.

But if let $b=0$ and $-a={a}^{\prime}-1$ in Equation (37), we have ${a}^{\prime}=\text{1}-a$. When ${a}^{\prime}\le 0$ or $a\ge \text{1}$, we have ${\Gamma}_{1}\to \infty $. Therefore, the corresponding zeros $a=\text{2},\text{4},\text{6},\cdots $ in (47) can be removed. The trivial zeros of Equation (4) only appear at the points $a=-2n$ ( $n=0,1,2,\cdots $ ) and $b=0$. Thus, the proof of Theorem 2 is finished.

So, looking for possible non-trivial zeros of Equation (4), the only way for us is to consider ${\zeta}_{1}\left(a,b\right)=0$ and ${\zeta}_{2}\left(a,b\right)=0$. The problem is involved whether or not the series summation form of Zeta function can be equal to zero. According to Equation (1), we have

$\begin{array}{c}\zeta \left(1-s\right)={\zeta}_{1}\left(a,b\right)+i{\zeta}_{2}\left(a,b\right)\\ =1+\frac{1}{{2}^{1-s}}+\frac{1}{{3}^{1-s}}+\cdot \cdot \cdot +\frac{1}{{n}^{1-s}}+\cdot \cdot \cdot \\ =1+{2}^{a-1}{\text{e}}^{ib\mathrm{ln}2}+{3}^{a-1}{\text{e}}^{ib\mathrm{ln}3}+\cdot \cdot \cdot +{n}^{a-1}{\text{e}}^{ib\mathrm{ln}n}+\cdots \\ =1+{2}^{a-1}\mathrm{cos}\left(b\mathrm{ln}2\right)+{3}^{a-1}\mathrm{cos}\left(b\mathrm{ln}3\right)+\cdots +{n}^{a-1}\mathrm{cos}\left(b\mathrm{ln}n\right)+\cdots \\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.05em}}\text{\hspace{0.05em}}+i\left({2}^{a-1}\mathrm{sin}\left(b\mathrm{ln}2\right)+{3}^{a-\text{1}}\mathrm{sin}\left(b\mathrm{ln}3\right)+\cdots +{n}^{a-\text{1}}\mathrm{sin}\left(b\mathrm{ln}n\right)+\cdots \right)\end{array}$ (49)

So we obtain

${\zeta}_{1}\left(a,b\right)=1+{2}^{a-1}\mathrm{cos}\left(b\mathrm{ln}2\right)+{3}^{a-1}\mathrm{cos}\left(b\mathrm{ln}3\right)+\cdots +{n}^{a-1}\mathrm{cos}\left(b\mathrm{ln}n\right)+\cdots $ (50)

${\zeta}_{2}\left(a,b\right)={2}^{a-1}\mathrm{sin}\left(b\mathrm{ln}2\right)+{3}^{a-\text{1}}\mathrm{sin}\left(b\mathrm{ln}3\right)+\cdots +{n}^{a-\text{1}}\mathrm{sin}\left(b\mathrm{ln}n\right)+\cdots $ (51)

We discuss the zeros of Equations (50) and (51) in next section.

4. The Proof That the Series Summation Formula of Riemann Zeta Function Has No Zeros

4.1. The Convergence of Summation Form of Zeta Function

In order to discuss the zeros of the summation form of Zeta function, we should discuss its convergence. If $s=a$ is a real number, Equation (1) is divergent when $a<1$ without zeros. When $a>1$, the series is convergent and great than zero, so (1) has no zeros. The proof is as below [7].

Suppose $a>1$, p is prime number, by considering the Euler prime number product formula

$\left|\zeta \left(a\right)\right|={\displaystyle \underset{p}{\prod}{\left|1-{p}^{-a}\right|}^{-1}}\ge {\displaystyle \underset{p}{\prod}{\left|1+{p}^{-a}\right|}^{-1}}=\mathrm{exp}\left[-{\displaystyle \underset{p}{\sum}\mathrm{ln}\left(1+{p}^{-a}\right)}\right]$ (52)

For any $x>0$, we have $\mathrm{ln}\left(1+x\right)<x$. Because $\sum {p}^{-a}}<\infty $ is convergent, we have

$\left|\zeta \left(a\right)\right|\ge \mathrm{exp}\left[-{\displaystyle \underset{p}{\sum}{p}^{-a}}\right]>0$ (53)

If $s=a+ib$ is a complex number, the situation is more complicated. It does not seems to have strict proof to conform $\zeta \left(s\right)\ne \text{0}$ at present. Let’s discuss this problem below. According to the judgment formula of series convergence of complex function showing in Equation (1), we have

$\underset{n\to \infty}{\mathrm{lim}}\left|\frac{{u}_{n+1}}{{u}_{n}}\right|=\underset{n\to \infty}{\mathrm{lim}}\left|\frac{{n}^{a+ib}}{{\left(n+1\right)}^{a+ib}}\right|=\underset{n\to \infty}{\mathrm{lim}}\left|{\left(\frac{1}{\text{1}+\text{1/}n}\right)}^{a+ib}\right|=1$ (54)

Because the radius of convergence is 1, we can not judge the convergence of Equation (1). By using the Euler formula, we write Equation (1) as

$\begin{array}{c}\zeta \left(s\right)=1+\frac{1}{{2}^{a+ib}}+\frac{1}{{3}^{a+ib}}+\cdots +\frac{1}{{n}^{a+ib}}+\cdots \\ =1+{2}^{-a}\mathrm{cos}\left(b\mathrm{ln}2\right)+{3}^{-a}\mathrm{cos}\left(b\mathrm{ln}3\right)+\cdots +{n}^{-a}\mathrm{cos}\left(b\mathrm{ln}n\right)+\cdots \\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}-i\left({2}^{-a}\text{sin}\left(b\mathrm{ln}2\right)+{3}^{-a}\text{sin}\left(b\mathrm{ln}3\right)+\cdots +{n}^{-a}\text{sin}\left(b\mathrm{ln}n\right)+\cdots \right)\end{array}$ (55)

By separating the real part and imaginary part, let $\zeta \left(s\right)=u+iv$, we get

$u\left(a,b\right)=1+{2}^{-a}\mathrm{cos}\left(b\mathrm{ln}2\right)+{3}^{-a\cdot}\mathrm{cos}\left(b\mathrm{ln}3\right)+\cdots +{n}^{-a}\mathrm{cos}\left(b\mathrm{ln}n\right)+\cdots $ (56)

$v\left(a,b\right)=-\left({2}^{-a}\text{sin}\left(b\mathrm{ln}2\right)+{3}^{-a}\text{sin}\left(b\mathrm{ln}3\right)+\cdots +{n}^{-a}\text{sin}\left(b\mathrm{ln}n\right)+\cdots \right)$ (57)

By using the formula $\mathrm{ln}\left(n+1\right)=\mathrm{ln}n+\mathrm{ln}\left(1+1/n\right)$ and considering the convergences of Equations (56) and (57), we have:

$\begin{array}{c}\underset{n\to \infty}{\mathrm{lim}}\frac{{u}_{n+1}}{{u}_{n}}=\underset{n\to \infty}{\mathrm{lim}}\frac{{n}^{a}\mathrm{cos}\left(b\mathrm{ln}\left(n+1\right)\right)}{{\left(n+1\right)}^{a}\mathrm{cos}\left(b\mathrm{ln}n\right)}\\ =\underset{n\to \infty}{\mathrm{lim}}\frac{\mathrm{cos}\left(b\mathrm{ln}n+b\mathrm{ln}\left(1+1/n\right)\right)}{{\left(1+1/n\right)}^{a}\mathrm{cos}\left(b\mathrm{ln}n\right)}\\ =\underset{n\to \infty}{\mathrm{lim}}\frac{\mathrm{cos}\left(b\mathrm{ln}n\right)}{\mathrm{cos}\left(b\mathrm{ln}n\right)}=1\end{array}$ (58)

$\underset{n\to \infty}{\mathrm{lim}}\frac{{v}_{n+1}}{{v}_{n}}=\underset{n\to \infty}{\mathrm{lim}}\frac{{n}^{a}\mathrm{sin}\left(b\mathrm{ln}\left(n+1\right)\right)}{{\left(n+1\right)}^{a}\mathrm{sin}\left(b\mathrm{ln}n\right)}=\underset{n\to \infty}{\mathrm{lim}}\frac{\mathrm{sin}\left(b\mathrm{ln}n\right)}{\mathrm{sin}\left(b\mathrm{ln}n\right)}=1$ (59)

The radius of convergence is still equal to 1. The convergences of Equation (56) and Equation (57) can not be determined. Because the formulas contain Trigonometric functions, the items in the formula can be positive or negative, we can not ensure that the result of summation is always great than zero. This is different from the situation when s is a real number.

4.2. The Zeros of Common Analytic Functions

In the theory of complex functions, the analytic nature of functions is very important. Many theorems cannot be used for non-analytic function. For example, the residue theorem is effective only for analytic functions. On the other hand, a complex function can always be written as

$f\left(z\right)=u\left(x,y\right)+iv\left(x,y\right)$ (60)

Here $z=x+iy$. If $f\left(z\right)$ is analytic one, its real part and imaginary part are related. The Cauchy-Riemann formula should be satisfied with [6]

$\frac{\partial u}{\partial x}=\frac{\partial v}{\partial y},\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\frac{\partial u}{\partial y}=-\frac{\partial v}{\partial x}$ (61)

In the current calculation of the zero point of Riemann Zeta function, some approximate methods are adopted. Because Equation (61) is ignored, what obtained are not real zeros of Zeta function [1].

It should be emphasized that when we calculate the zero points of analytic functions, we need to separate the real part and the imaginary part. Because it's possible to have a situation where the real part or the imaginary part is equal to zero, but they are not equal to zero simultaneously. However, in the current zero calculation of Riemann hypothesis, the real part and imaginary part are often mixed together, making the problem ambiguous.

4.3. The Proof That the Series Summation Formula of Riemann Zeta Function Has No Zeros on the Complex Plane

Theorem 3. The series summation formula of Riemann Zeta function has no zeros on whole complex plane.

Proof: By using the formula ${n}^{a}={\text{e}}^{a\mathrm{ln}n}$, we write Equations (50) and (51) as

${\zeta}_{1}\left(a,b\right)=u\left(a,b\right)=1+{\text{e}}^{\left(a-1\right)\mathrm{ln}2}\mathrm{cos}\left(b\mathrm{ln}2\right)+{\text{e}}^{\left(a-1\right)\mathrm{ln}3}\mathrm{cos}\left(b\mathrm{ln}3\right)+\cdots $ (62)

${\zeta}_{2}\left(a,b\right)=v\left(a,b\right)={\text{e}}^{\left(a-1\right)\mathrm{ln}2}\text{sin}\left(b\mathrm{ln}2\right)+{\text{e}}^{\left(a-1\right)\mathrm{ln}3}\text{sin}\left(b\mathrm{ln}3\right)+\cdots $ (63)

It is easy to prove that Equations (62) and (63) satisfy Equation (61). So the summation form of Zeta function is an analytic one. We prove below that Equations (62) and (63) can not be equal to zero simultaneously.

Let’s discuss the simplest situation to take the first two items in $\zeta \left(1-s\right)=0$ as shown in Equation (49). According to Equations (62) and (63), we have

$1+{\text{e}}^{\left(a-1\right)\mathrm{ln}2}\mathrm{cos}\left(b\mathrm{ln}2\right)=0$ (64)

${\text{e}}^{\left(a-1\right)}\text{sin}\left(b\mathrm{ln}2\right)=0$ (65)

Suppose that $a$ is a limited number, the solution of Equation (65) is $b\mathrm{ln}2=n\pi $. If n is an even number, we have $\mathrm{cos}n\pi =1$. Substituting it in Equation (64), we get

$1+{\text{e}}^{\left(a-1\right)\mathrm{ln}2}=0$ or $\left(a-1\right)\mathrm{ln}2=\mathrm{ln}\left(-1\right)$ (66)

Because $a$ is a real number, $\mathrm{ln}\left(-1\right)=\mathrm{ln}{\text{e}}^{i\pi}=i\pi $ is not a real number, so Equation (64) has no solution of real number. When n is an odd number, we have $\mathrm{cos}n\pi =-1$. Substituting it in Equation (64), we get

$1-{\text{e}}^{\left(a-1\right)\mathrm{ln}2}=0$ or $\left(a-1\right)\mathrm{ln}2=\mathrm{ln}1=0$ (67)

Therefore, the solutions of Equations (64) and (65) are $a=1$ and $b=\left(2n+1\right)\pi /\mathrm{ln}2$ ( $n=0,1,2,\cdots $ ). If $a\ne 1$, Equations (64) and (65) can not be equal to zeros simultaneously.

Then, let’s discuss the first three items of Equation (49). By considering ${n}^{a}={\text{e}}^{a\mathrm{ln}n}$ and ${n}^{ib}={\text{e}}^{ib\mathrm{ln}n}$, multiplying the first three items with ${2}^{\left(1-s\right)}{3}^{\left(1-s\right)}={\left(2\cdot 3\right)}^{\left(1-a\right)}{\text{e}}^{-ib\mathrm{ln}\left(2\cdot 3\right)}$, and let it equal to zero, we get

${\left(2\cdot 3\right)}^{\left(1-a\right)}{\text{e}}^{-ib\mathrm{ln}\left(2\cdot 3\right)}+{2}^{\left(1-a\right)}{\text{e}}^{-ib\mathrm{ln}2}+{3}^{\left(1-a\right)}{\text{e}}^{-ib\mathrm{ln}3}=0$ (68)

By considering the Euler’s formula and separating real part and imaginary part, we obtain

${\left(2\cdot 3\right)}^{\left(1-a\right)}\mathrm{cos}\left(b\mathrm{ln}\left(2\cdot 3\right)\right)+{2}^{\left(1-a\right)}\mathrm{cos}\left(b\mathrm{ln}2\right)+{3}^{\left(1-a\right)}\mathrm{cos}\left(b\mathrm{ln}3\right)=0$ (69)

${\left(2\cdot 3\right)}^{\left(1-a\right)}\text{sin}\left(b\mathrm{ln}\left(2\cdot 3\right)\right)+{2}^{\left(1-a\right)}\mathrm{sin}\left(b\mathrm{ln}2\right)+{3}^{\left(1-a\right)}\mathrm{sin}\left(b\mathrm{ln}3\right)=0$ (70)

We write Equation (70) as

${\left(2\cdot 3\right)}^{\left(1-a\right)}\mathrm{cos}\left(\frac{\pi}{2}-b\mathrm{ln}\left(2\cdot 3\right)\right)+{2}^{\left(1-a\right)}\text{cos}\left(\frac{\pi}{2}-b\mathrm{ln}2\right)+{3}^{\left(1-a\right)}\mathrm{cos}\left(\frac{\pi}{2}-b\mathrm{ln}3\right)=0$ (71)

It can be seen that Equations (69) and (71) are completely symmetric with the same parameters before cosine function. Because $a$ and b are arbitrary, in order to make Equations (69) and (71) tenable for arbitrary $a$ and b, the only way is to let

$b\mathrm{ln}\left(2\cdot 3\right)=\frac{\pi}{2}-b\mathrm{ln}\left(2\cdot 3\right),\text{\hspace{0.17em}}\text{\hspace{0.17em}}b\mathrm{ln}2=\frac{\pi}{2}-b\mathrm{ln}2,\text{\hspace{0.17em}}\text{\hspace{0.17em}}b\mathrm{ln}3=\frac{\pi}{2}-b\mathrm{ln}3$ (72)

or

$b=\frac{\pi}{4\mathrm{ln}\left(2\cdot 3\right)},\text{\hspace{0.17em}}\text{\hspace{0.17em}}b=\frac{\pi}{4\mathrm{ln}2},\text{\hspace{0.17em}}\text{\hspace{0.17em}}b=\frac{\pi}{4\mathrm{ln}3}$ (73)

However, these three relations are contradictory. So Equations (69) and (70) can not be equal to zero simultaneously.

Off cause, to the series of which item’s number is limited, the proof above is not strict. But for the series with infinite items, this method is standard one. Let

$\zeta \left(1-s\right)=1+\frac{1}{{2}^{1-s}}+\frac{1}{{3}^{1-s}}+\cdots +\frac{1}{{p}_{n}^{1-s}}+\cdots =0$ (74)

by multiplying two sides of Equation (74) with ${\left(2\cdot 3\cdot \cdot \cdot {p}_{n}\right)}^{\left(1-s\right)}{\left({p}_{2}{p}_{3}\cdots {p}_{n-1}{p}_{n}\right)}^{\left(1-a\right)}{\text{e}}^{-ib\mathrm{ln}\left({p}_{2}{p}_{3}\cdots {p}_{n-1}{p}_{n}\right)}$, we get

$\begin{array}{l}{\left({p}_{2}{p}_{3}\cdots {p}_{n-1}\right)}^{\left(1-a\right)}{\text{e}}^{-ib\mathrm{ln}\left({p}_{2}{p}_{3}\cdots {p}_{n-1}\right)}+{\left({p}_{2}{p}_{3}\cdots {p}_{n-2}{p}_{n}\right)}^{\left(1-a\right)}{\text{e}}^{-ib\mathrm{ln}\left({p}_{2}{p}_{3}\cdots {p}_{n-2}{p}_{n}\right)}+\cdot \cdot \cdot \\ +{\left({p}_{3}\cdots {p}_{n-1}{p}_{n}\right)}^{\left(1-a\right)}{\text{e}}^{-ib\mathrm{ln}\left({p}_{2}{p}_{3}\cdots {p}_{n-1}\right)}+{\left({p}_{2}{p}_{3}\cdots {p}_{n-1}{p}_{n}\right)}^{\left(1-a\right)}{\text{e}}^{-ib\mathrm{ln}\left({p}_{2}{p}_{3}\cdots {p}_{n-1}{p}_{n}\right)}=0\end{array}$ (75)

For infinite series, we have ${p}_{n}\to \infty $. By dividing real part and imaginary part, similar to Equations (69) and (71), we obtain

$\begin{array}{l}{\left({p}_{2}{p}_{3}\cdots {p}_{n-1}\right)}^{\left(1-a\right)}\mathrm{cos}\left(b\mathrm{ln}\left({p}_{2}{p}_{3}\cdots {p}_{n-1}\right)\right)\\ +{\left({p}_{2}{p}_{3}\cdot \cdot \cdot {p}_{n-2}{p}_{n}\right)}^{\left(1-a\right)}\mathrm{cos}\left(b\mathrm{ln}\left({p}_{2}{p}_{3}\cdots {p}_{n-2}{p}_{n}\right)\right)\\ +\cdots +{\left({p}_{3}\cdot \cdot \cdot {p}_{n-1}{p}_{n}\right)}^{\left(1-a\right)}\mathrm{cos}\left(b\mathrm{ln}\left({p}_{3}\cdots {p}_{n-1}{p}_{n}\right)\right)\\ +{\left({p}_{2}{p}_{3}\cdot \cdot \cdot {p}_{n-1}{p}_{n}\right)}^{\left(1-a\right)}\mathrm{cos}\left(b\mathrm{ln}\left({p}_{2}{p}_{3}\cdots {p}_{n-1}{p}_{n}\right)\right)=0\end{array}$ (76)

$\begin{array}{l}{\left({p}_{2}{p}_{3}\cdots {p}_{n-1}\right)}^{\left(1-a\right)}\mathrm{cos}\left(\frac{\pi}{2}-b\mathrm{ln}\left({p}_{2}{p}_{3}\cdots {p}_{n-1}\right)\right)\\ +{\left({p}_{2}{p}_{3}\cdots {p}_{n-2}{p}_{n}\right)}^{\left(1-a\right)}\mathrm{cos}\left(\frac{\pi}{2}-b\mathrm{ln}\left({p}_{2}{p}_{3}\cdots {p}_{n-2}{p}_{n}\right)\right)\\ +\cdots +{\left({p}_{3}\cdots {p}_{n-1}{p}_{n}\right)}^{\left(1-a\right)}\mathrm{cos}\left(\frac{\pi}{2}-b\mathrm{ln}\left({p}_{3}\cdots {p}_{n-1}{p}_{n}\right)\right)\\ +{\left({p}_{2}{p}_{3}\cdots {p}_{n-1}{p}_{n}\right)}^{\left(1-a\right)}\mathrm{cos}\left(\frac{\pi}{2}-b\mathrm{ln}\left({p}_{2}{p}_{3}\cdots {p}_{n-1}{p}_{n}\right)\right)=0\end{array}$ (77)

According to the theory of infinite series, when the number of items tends to infinite, to make Equations (76) and (77) be tenable simultaneously, besides $a\to \infty $, the only way is to let the corresponding terms are equal to each other, we have

$b=\frac{\pi}{4\mathrm{ln}\left({p}_{2}{p}_{3}\cdots {p}_{n-1}\right)},\text{\hspace{0.17em}}\text{\hspace{0.17em}}b=\frac{\pi}{4\mathrm{ln}\left({p}_{2}{p}_{3}\cdots {p}_{n-2}{p}_{n}\right)}$

$b=\frac{\pi}{4\mathrm{ln}\left({p}_{3}\cdots {p}_{n-1}{p}_{n}\right)},\text{\hspace{0.17em}}\text{\hspace{0.17em}}b=\frac{\pi}{4\mathrm{ln}\left({p}_{2}{p}_{3}\cdots {p}_{n-1}{p}_{n}\right)}$ (78)

And so on. However, Equation (78) are impossible, so Equations (76) and (77) can not be equal to zeros simultaneously. The summation form of Zeta function $\zeta \left(1-s\right)$ can not be zero, and so do for $\zeta \left({s}^{\prime}\right)$ to let ${s}^{\prime}\to 1-s$. Then the proof of Theorem 3 is finished.

The result above has nothing to do with the value of a, as long as $a<\infty $, no matter $a>1$ or $a\le 1$. If take $b=0$, i.e., on the real axis, Equation (51) becomes zero but Equation (50)is not equal to zero. We have

$\zeta \left(1-a\right)={\zeta}_{1}\left(1-a\right)=1+{2}^{a-1}+{3}^{a-1}+\cdots +{n}^{a-1}+\cdots \ne 0$ (79)

If taking $a=1/2$, we have $1-a=1/2$. It is proved in [1] that only in this case, the two sides of Equation (2) can be equal to each other. But the result is infinite, rather than zero, so it is meaningless.

$\zeta \left(1/2\right)=1+\frac{1}{\sqrt{2}}+\frac{1}{\sqrt{3}}+\cdots +\frac{1}{\sqrt{n}}+\cdots \to \infty $ (80)

According to the discussion above, the Zeta function equations Equation (4) and Equation (5) has no non-trivial zeros.

Up to now, we have fully explained the problem of Riemann hypothesis, and obtained the following Theorem 4.

Theorem 4: The Riemann Zeta function Equations (4) and (5) have no non-trivial zeros on whole complex plane. The Riemann hypothesis does not hold.

5. Conclusions

The Riemann Zeta function equation has two forms. They are considered with the same non-trivial zeros. The Riemann hypothesis claims that all non-trivial zeros were located on the critical line $\mathrm{Re}\left(s\right)=1/2$ of complex plane, but it can not be proved up to now.

In the author previous paper “The inconsistency problem of Riemann Zeta function equation”, it was revealed that there were four basic mistakes in the Riemann’s original paper proposed in 1895. The Riemann Zeta function equation did not hold and the Riemann hypothesis was meaningless.

In this paper, we suppose that the Riemann Zeta function equations still hold. By separating the Zeta function equation into real part and imaginary part completely, it is proved that the Riemann Zeta function equations have no non-trivial zeros. The summation form of Zeta function itself also has no zeros. The Riemann hypothesis is proved untenable again from another angle.

Conflicts of Interest

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

[1] | Mei, X.C. (2019) The Inconsistency Problem of Riemann Zeta Function Equation. Mathematics Letters, 5, 13-22. |

[2] | Riemann, G.F.B. (1859) Uber die Anzabl der Primahlem unter einer gegebenen Grosse. Monatsberichte der Berliner Akademine, 2, 671-680. |

[3] |
Petersen, B.E. (1996) Riemann Zeta Function. https://pan.baidu.com/s/1geQsZxL |

[4] |
Neukirch, J. (1999) Algebraic Number Theory. Springer, Berlin, Heidelberg. (The original German Edition Was Published in 1992 under the Title Algebraische Zahlentheorie). https://doi.org/10.1007/978-3-662-03983-0 |

[5] | Guo, D.R. (1965) The Method of Mathematics and Physics. People’s Education Press, Beijing, 109. |

[6] |
Gourdon, X. (2004) The 1013 First Zeros of the Riemann Zeta Function, and Zeros Computation at Very Large Height. http://pdfs.semanticscholar.org/6eff/62ff5d98e8ad2ad8757c0faf4bac87546f27.pdf |

[7] | Ru, C.H. (2016) The Riemann Hypothesis. Qianghua University Publishing Company, Beijing, p. 61, 52, 192 |

Journals Menu

Copyright © 2020 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.