• ### 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(1110.2952)

June 18, 2019 math.GM
Part One: How to get more accurate estimation of prime numbers is an important problem in number theory. In this paper, we obtain much more accurate estimation of prime numbers, the error range of which is less than $\sqrt{x\log x}$ for $x\geq10^{3}$ or less than $\sqrt{x\log x}/x^{0.0327283}$ for $x\geq10^{41}$. These results shall be important and useful for researches on Riemann hypothesis and on primes in short intervals. Part Two: In 1901, H. Koch showed that if and only if the Riemann hypothesis is true, then $\pi(x)=\Li(x)+O(\sqrt{x}\log x)$. Let define $\eta^{*}(x,N)=\sum_{n=0}^{N}\frac{n!}{\log^{n}x}\texttt{ and } \pi^{*}(x,N)=\frac{x}{\log x}\eta^{*}(x,N)=\frac{x}{\log x}\sum_{n=0}^{N}\frac{n!}{\log^{n}x}$ where we have proved that the pair of numbers $x$ and $N$ in $\pi^{*}(x,N)$ satisfy inequalities $\pi^{*}(x,N)<\pi(x)<\pi^{*}(x,N+1)$, and the number $N$ is a non-decreasing step function of the variable $\log x$ for $x\geq10^{3}$ and approximately proportional to $\log x$. Then we write $|\pi(x)-\Li(x)|\leq|\pi(x)-\pi^{*}(x,N)|+|\Li(x)-\pi^{*}(x,N)|.$ In an early paper, we have proved $\pi(x)-\pi^{*}(x,N)<\sqrt{x\log x}$. In this paper, we prove the estimation $\Li(x)=\pi^{*}(x,N)+O(\sqrt{x\log x})$. So we obtain $\pi(x)=\Li(x)+O(\sqrt{x\log x})$. Hence the Riemann hypothesis is true. Part Three: We prove a theorem: Let $\Phi(x)=\beta x^{1/2}$, $0<\beta\leq1$. For $x\geq e^{470}$ such that $(\log x)^{5/2}\leq x^{0.0327283}$ there are $\frac{\pi(x+\Phi(x))-\pi(x)}{\Phi(x)/\log x}=1+O(\frac{1}{\log x})$ and $\lim_{x \to \infty}\frac{\pi(x+\Phi(x))-\pi(x)}{\Phi(x)/\log x}=1.$ Part Four: Based on the results above, some famous conjectures of distribution of primes in short intervals, such as Legendre's conjecture, Oppermann's conjecture, Brocard's conjecture and Andrica's conjecture, can be proved.
• ### On the representation of even numbers as the sum and difference of two primes and the representation of odd numbers as the sum of an odd prime and an even semiprime and the distribution of primes in short intervals(1110.3465)

May 20, 2016 math.GM
The representation of even numbers as the sum of two primes and the distribution of primes in short intervals were investigated and a main theorem was given out and proved, which states: For every number $n$ greater than a positive number $n_{0}$, let $q$ be an odd prime number smaller than $\sqrt{2n}$ and $d=2n-q$, then there is always at least an odd number $d$ which does not contain any prime factor smaller than $\sqrt{2n}$ and must be an odd prime number greater than $2n-\sqrt{2n}$. Then it was proved that for every number $n$ greater than 1, there are always at least a pair of primes $p$ and $q$ which are symmetrical about the number $n$ so that even numbers greater than 2 can be expressed as the sum of two primes. Hence, the Goldbach's conjecture was proved. Also theorems of the distribution of primes in short intervals were given out and proved. By these theorems, the Legendre's conjecture, the Oppermann's conjecture, the Hanssner's conjecture, the Brocard's conjecture, the Andrica's conjecture, the Sierpinski's conjecture and the Sierpinski's conjecture of triangular numbers were proved and the Mills' constant can be determined. The representation of odd numbers as the sum of an odd prime number and an even semiprime was investigated and a main theorem was given out and proved, which states: For every number $n$ greater than a positive number $n_{0}$, let $q$ be an odd prime number smaller than $\sqrt{2n}$ and $d=2n+1-2q$, then there is always at least an odd number $d$ which does not contain any odd prime factor smaller than $\sqrt{2n}$ and must be a prime number greater than $2n+1-2\sqrt{2n}$. Then it was proved that for every number $n$ greater than 2, there are always at least a pair of primes $p$ and $q$ so that all odd integers greater than 5 can be represented as the sum of an odd prime number and an even semiprime. Hence, the Lemoine's conjecture was proved.