Indexed metadata

A Proof of the Riemann Hypothesis Based on a New Expression of the Completed Zeta Function

Weicun Zhang

Source record

Source: Crossref

Published: Jul 23, 2024

DOI: 10.20944/preprints202108.0146.v33

Open original source ↗

Source abstract

The Riemann Hypothesis (RH) is proved based on a new absolutely convergent expression of ξ(s)\xi(s), which was obtained from the Hadamard product, through paring ρi\rho_i and ρˉi\bar{\rho}_i, and taking the possible multiple zeros into consideration with their real (unique and unchangeable) multiplicities, i.e. ξ(s)=ξ(0)ρ(1sρ)=ξ(0)i=1(1sρi)(1sρˉi)=ξ(0)i=1(βi2αi2+βi2+(sαi)2αi2+βi2)mi\xi(s)=\xi(0)\prod_{\rho}(1-\frac{s}{\rho})=\xi(0)\prod_{i=1}^{\infty}(1-\frac{s}{\rho_i})(1-\frac{s}{\bar{\rho}_i})=\xi(0)\prod_{i=1}^{\infty}\Big{(}\frac{\beta_i^2}{\alpha_i^2+\beta_i^2}+\frac{(s-\alpha_i)^2}{\alpha_i^2+\beta_i^2}\Big{)}^{m_{i}} where ξ(0)=12\xi(0)=\frac{1}{2}, ρi=αi+jβi\rho_i=\alpha_i+j\beta_i and ρˉi=αijβi\bar{\rho}_i=\alpha_i-j\beta_i are the complex conjugate zeros of ξ(s)\xi(s), 0<αi<10<\alpha_i<1 and βi0\beta_i\neq 0 are real numbers, mi1m_i\geq 1 is the real multiplicity of ρi\rho_i, 0<β1β2β30<|\beta_1|\leq|\beta_2|\leq|\beta_3|\leq \cdots. Then, according to the functional equation ξ(s)=ξ(1s)\xi(s)=\xi(1-s), we have i=1(1+(sαi)2βi2)mi=i=1(1+(1sαi)2βi2)mi\prod_{i=1}^{\infty}\Big{(}1+\frac{(s-\alpha_i)^2}{\beta_i^2}\Big{)}^{m_{i}}=\prod_{i=1}^{\infty}\Big{(}1+\frac{(1-s-\alpha_i)^2}{\beta_i^2}\Big{)}^{m_{i}} which, owing to the uniqueness and unchangeableness of mim_i, is finally equivalent to (for more details, see the proof of Lemma 3.) (1+(sαi)2βi2)mi=(1+(1sαi)2βi2)miαi=12,0<β1<β2<β3<\Big{(}1+\frac{(s-\alpha_i)^2}{\beta_i^2}\Big{)}^{m_{i}}=\Big{(}1+\frac{(1-s-\alpha_i)^2}{\beta_i^2}\Big{)}^{m_{i}} \Leftrightarrow \alpha_i=\frac{1}{2}, 0<|\beta_1|<|\beta_2|<|\beta_3|<\cdots Thus, we conclude that the RH is true.

Evidence graph

No public relationships recorded yet.

Integrity note: This page is a factual metadata record created by deterministic ingestion. It is not a claim that the work moves a mathematical frontier or has been independently verified.