SearcharxivSearch

arXiv · 1706.08868

On the zeros of Riemann $\Xi(z)$ function

Abstract

The Riemann $\Xi(z)$ function (even in $z$) admits a Fourier transform of an even kernel $\Phi(t)=4e^{9t/2}\theta''(e^{2t})+6e^{5t/2}\theta'(e^{2t})$. Here $\theta(x):=\theta_3(0,ix)$ and $\theta_3(0,z)$ is a Jacobi theta function, a modular form of weight $\frac{1}{2}$. (A) We discover a family of functions $\{\Phi_n(t)\}_{n\geqslant 2}$ whose Fourier transform on compact support $(-\frac{1}{2}\log n, \frac{1}{2}\log n)$, $\{F(n,z)\}_{n\geqslant2}$, converges to $\Xi(z)$ uniformly in the critical strip $S_{1/2}:=\{|\Im(z)|< \frac{1}{2}\}$. (B) Based on this we then construct another family of functions $\{H(14,n,z)\}_{n\geqslant 2}$ and show that it uniformly converges to $\Xi(z)$ in the critical strip $S_{1/2}$. (C) Based on this we construct another family of functions $\{W(n,z)\}_{n\geqslant 8}:=\{H(14,n,2z/\log n)\}_{n\geqslant 8}$ and show that if all the zeros of $\{W(n,z)\}_{n\geqslant 8}$ in the critical strip $S_{1/2}$ are real, then all the zeros of $\{H(14,n,z)\}_{n\geqslant 8}$ in the critical strip $S_{1/2}$ are real. (D) We then show that $W(n,z)=U(n,z)-V(n,z)$ and $U(n,z^{1/2})$ and $V(n,z^{1/2})$ have only real, positive and simple zeros. And there exists a positive integer $N\geqslant 8$ such that for all $n\geqslant N$, the zeros of $U(n,x^{1/2})$ are strictly left-interlacing with those of $V(n,x^{1/2})$. Using an entire function equivalent to Hermite-Kakeya Theorem for polynomials we show that $W(n\geqslant N,z^{1/2})$ has only real, positive and simple zeros. Thus $W(n\geqslant N,z)$ have only real and imple zeros. (E) Using a corollary of Hurwitz's theorem in complex analysis we prove that $\Xi(z)$ has no zeros in $S_{1/2}\setminus\mathbb{R}$, i.e., $S_{1/2}\setminus \mathbb{R}$ is a zero-free region for $\Xi(z)$. Since all the zeros of $\Xi(z)$ are in $S_{1/2}$, all the zeros of $\Xi(z)$ are in $\mathbb{R}$, i.e., all the zeros of $\Xi(z)$ are real.

Explore related subjects

Keep this discovery

BibTeXRIS

Yaoming Shi. 2017-06-18. On the zeros of Riemann $\Xi(z)$ function. https://arxiv.org/abs/1706.08868

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Average Chord Lengths in a Triangle

Let $P$ be a point inside a triangle $T$. We consider the average length of the chords of $T$ through $P$, where the direction of the chord is chosen uniformly. An elementary formula is obtained in terms of the distances from $P$ to the sides and vertices of the triangle. Several classical triangle centers give especially simple specializations. For example, if $I$ is the incenter, then \[ M_T(I)=\frac{2r}{\pi} \log\left(\cot\frac A4\cot\frac B4\cot\frac C4\right). \] Our main result is the sharp inequality \[ M_T(P)\le \frac{p}{\pi\sqrt3}\log(2+\sqrt3), \] valid simultaneously for every triangle of perimeter $p$ and every interior point $P$. Thus, among all such pairs $(T,P)$, the largest possible average chord length occurs only when $T$ is equilateral and $P$ is its center. The proof is an elementary symmetrization argument. We close with brief remarks relating the problem to the radial center of a convex body, the electrostatic potential center of a triangle, and dual quermassintegrals.

math.GM

A Proof of Liu's Conjecture on the Fundamental Triangle Inequality

Let $a,b,c$ be the side lengths of a triangle, and let $R$ and $r$ denote its circumradius and inradius, respectively. We prove a conjecture of Liu stating that \[\sum_{\mathrm{cyc}} \left(\frac{a(b+c-a)}{bc}\right)^k \geq 2+\left(\frac{2r}{R}\right)^k,~~k>1, \] with the reverse inequality for $0<k<1$. The proof reduces the problem to three positive variables with fixed sum and product. We also determine the equality cases.

math.GM