research

A proof of the Riemann hypothesis based on the Koch theorem, on primes in short intervals, and distribution of nontrivial zeros of the Riemann zeta function

Abstract

Part One: Let define the truncation of the logarithmic integral Li(x)Li(x) as Ο€βˆ—(x,M)=xlog⁑xβˆ‘n=0Mn!log⁑nx. \pi^{*}(x,M)=\frac{x}{\log x}\sum_{n=0}^{M}\frac{n!}{\log^{n}x}. First, we prove Ο€βˆ—(x,M)≀Li(x)<Ο€βˆ—(x,M+1)\pi^{*}(x,M)\leq Li(x)<\pi^{*}(x,M+1) which implies that the point of the truncation depends on x, Next, let Ξ±L,M=xM+1/xM\alpha_{L,M}=x_{M+1}/x_{M}. We prove that Ξ±L,M\alpha_{L,M} is greater than ee for M<∞M<\infty and tends to Ξ±L,∞=e\alpha_{L,\infty}=e as Mβ†’βˆžM \to \infty. Thirdly, we prove M=log⁑xβˆ’2+O(1)Β forΒ xβ‰₯24. M=\log x-2+O(1)\texttt{ for }x\geq24. Finally, we prove Li(x)βˆ’Ο€βˆ—(x,M)<xΒ forΒ xβ‰₯24. Li(x)-\pi^{*}(x,M)<\sqrt{x}\texttt{ for }x\geq24. Part Two: Let define Ο€βˆ—(x,N)=xlog⁑xβˆ‘n=0Nn!log⁑nx \pi^{*}(x,N)=\frac{x}{\log x}\sum_{n=0}^{N}\frac{n!}{\log^{n}x} where we proved that the pair of numbers xx and NN in Ο€βˆ—(x,N)\pi^{*}(x,N) satisfy inequalities Ο€βˆ—(x,N)<Ο€(x)<Ο€βˆ—(x,N+1)\pi^{*}(x,N)<\pi(x)<\pi^{*}(x,N+1), and the number NN is approximately a step function of the variable log⁑x\log x with a finite amount of deviation, and proportional to log⁑x\log x. We obtain much more accurate estimation Ο€(x)βˆ’Ο€βˆ—(x,N)\pi(x)-\pi^{*}(x,N) of prime numbers, the error range of which is less than x\sqrt{x} for xβ‰₯103x\geq10^{3} or less than x1/2βˆ’0.0327283x^{1/2-0.0327283} for xβ‰₯1041x\geq10^{41}. Part Three: We show the closeness of Li(x)Li(x) and Ο€(x)\pi(x) and give the difference βˆ£Ο€(x)βˆ’Li(x)∣|\pi(x)-Li(x)| being less than or equal to cxlog⁑xc\sqrt{x}\log x where cc is a constant. Further more, we prove the estimation Li(x)=Ο€βˆ—(x,N)+O(x)Li(x)=\pi^{*}(x,N)+O(\sqrt{x}). Hence we obtain Ο€(x)=Li(x)+O(x)\pi(x)=Li(x)+O(\sqrt{x}) so that the Riemann hypothesis is true. Part Four: Different from former researches on the distribution of primes in short intervals, we prove a theorem: Let Ξ¦(x)=Ξ²x1/2\Phi(x)=\beta x^{1/2}, Ξ²>0\beta>0, and xβ‰₯xΞ²x\geq x_{\beta} which satisfies (log⁑xΞ²)2/xΞ²0.0327283≀β(\log x_{\beta})^{2}/x_{\beta}^{0.0327283}\leq\beta. Then there are Ο€(x+Ξ¦(x))βˆ’Ο€(x)Ξ¦(x)/log⁑x=1+O(1log⁑x) \frac{\pi(x+\Phi(x))-\pi(x)}{\Phi(x)/\log x}=1+O(\frac{1}{\log x}) and lim⁑xβ†’βˆžΟ€(x+Ξ¦(x))βˆ’Ο€(x)Ξ¦(x)/log⁑x=1. \lim_{x \to \infty}\frac{\pi(x+\Phi(x))-\pi(x)}{\Phi(x)/\log x}=1. Comment: 95 page

    Similar works

    Full text

    thumbnail-image

    Available Versions