On the approximation of the zeta function by Dirichlet polynomials

Juan Arias de Reyna

2024-06-24

Abstract:We prove that for $s=\sigma+it$ with $\sigma\ge0$ and $0<t\le x$, we have \[\zeta(s)=\sum_{n\le x}n^{-s}+\frac{x^{1-s}}{(s-1)}+\Theta\frac{29}{14} x^{-\sigma},\qquad \frac{29}{14}=2.07142\dots\] where $\Theta$ is a complex number with $|\Theta|\le1$. This improves Theorem 4.11 of Titchmarsh.

Number Theory

What problem does this paper attempt to address?

On the sign of the real part of the Riemann zeta-function

Juan Arias de Reyna,Richard P. Brent,Jan van de Lune

DOI: https://doi.org/10.1007/978-1-4614-6642-0_3

2012-07-27

Abstract:We consider the distribution of $\arg\zeta(\sigma+it)$ on fixed lines $\sigma > \frac12$, and in particular the density \[d(\sigma) = \lim_{T \rightarrow +\infty} \frac{1}{2T} |\{t \in [-T,+T]: |\arg\zeta(\sigma+it)| > \pi/2\}|\,,\] and the closely related density \[d_{-}(\sigma) = \lim_{T \rightarrow +\infty} \frac{1}{2T} |\{t \in [-T,+T]: \Re\zeta(\sigma+it) < 0\}|\,.\] Using classical results of Bohr and Jessen, we obtain an explicit expression for the characteristic function $\psi_\sigma(x)$ associated with $\arg\zeta(\sigma+it)$. We give explicit expressions for $d(\sigma)$ and $d_{-}(\sigma)$ in terms of $\psi_\sigma(x)$. Finally, we give a practical algorithm for evaluating these expressions to obtain accurate numerical values of $d(\sigma)$ and $d_{-}(\sigma)$.

Number Theory,Numerical Analysis,Computation
The mean square of the product of the Riemann zeta-function and a Dirichlet polynomial in the critical strip

Jinbo Yu

2023-12-27

Abstract:We refine a previous work of K. Matsumoto and H. Ishikawa, obtaining an asymptotic formula for the mean square of the product of the Riemann zeta-function and a Dirichlet polynomial in the critical strip (1/4<$\sigma$<1/2), by obtaining an explicit formula of Atkinson type for its error term. This work is closely related to the generalized Dirichlet divisor problem. The form of these formulas is akin to, yet more complex than, Voronoi's formulas in the divisor problem.

Number Theory
Asymptotic Expansions of the auxiliary function

Juan Arias de Reyna

2024-06-07

Abstract:Siegel in 1932 published a paper on Riemann's posthumous writings, including a study of the Riemann-Siegel formula. In this paper we explicitly give the asymptotic developments of $\mathop{\mathcal R }(s)$ suggested by Siegel. We extend the range of validity of these asymptotic developments. As a consequence we specify a region in which the function $\mathop{\mathcal R }(s)$ has no zeros. We also give complete proofs of some of Siegel's assertions. We also include a theorem on the asymptotic behaviour of $\mathop{\mathcal R }(\frac12-it)$ for $t \to+\infty$. Although the real part of $e^{-i\vartheta(t)}\mathop{\mathcal R }(\frac12-it)$ is $Z(t)$ the imaginary part grows exponentially, this is why for the study of the zeros of $Z(t)$ it is preferable to consider $\mathop{\mathcal R }(\frac12+it)$ for $t>0$.

Number Theory
Explicit estimates for the logarithmic derivative and the reciprocal of the Riemann zeta-function

Nicol Leong

2024-10-30

Abstract:In this article, we improve on two explicit bounds of order $\log t$ for $\sigma$ close to $1$: $|\zeta'(\sigma +it)/\zeta(\sigma +it)|$ and $|1/\zeta(\sigma +it)|$. Our method provides marked improvements in the constants, especially with regards to the latter. These savings come from replacing a lemma of Borel and Carathédory, with a Jensen-type one of Heath-Brown's. Using an argument involving the trigonometric polynomial, we additionally provide a slight asymptotic improvement: $1/\zeta(\sigma +it) \ll (\log t)^{11/12}$.

Number Theory
On a polynomial zeta function

Sergio L. Cacciatori

DOI: https://doi.org/10.48550/arXiv.0902.3190

2009-02-19

Abstract:We introduce a polynomial zeta function $\zeta^{(p)}_{P_n}$, related to certain problems of mathematical physics, and compute its value and the value of its first derivative at the origin $s=0$, by means of a very simple technique. As an application, we compute the determinant of the Dirac operator on quaternionic vector spaces.

Mathematical Physics,High Energy Physics - Theory,Number Theory
On the Asymptotics to all Orders of the Riemann Zeta Function and of a Two-Parameter Generalization of the Riemann Zeta Function

A. S. Fokas,J. Lenells

DOI: https://doi.org/10.48550/arXiv.1201.2633

2022-10-25

Abstract:We present several formulae for the large $t$ asymptotics of the Riemann zeta function $\zeta(s)$, $s=\sigma+i t$, $0\leq \sigma \leq 1$, $t>0$, which are valid to all orders. A particular case of these results coincides with the classical results of Siegel. Using these formulae, we derive explicit representations for the sum $\sum_a^b n^{-s}$ for certain ranges of $a$ and $b$. In addition, we present precise estimates relating this sum with the sum $\sum_c^d n^{s-1}$ for certain ranges of $a, b, c, d$. We also study a two-parameter generalization of the Riemann zeta function which we denote by $\Phi(u,v,\beta)$, $u\in \mathbb{C}$, $v\in \mathbb{C}$, $\beta \in \mathbb{R}$. Generalizing the methodology used in the study of $\zeta(s)$, we derive asymptotic formulae for $\Phi(u,v,\beta)$.

Number Theory,Complex Variables
On Siegel results about the zeros of the auxiliary function of Riemann

Juan Arias de Reyna

2024-06-12

Abstract:We state and give complete proof of the results of Siegel about the zeros of the auxiliary function of Riemann $\mathop{\mathcal R}(s)$. We point out the importance of the determination of the limit to the left of the zeros of $\mathop{\mathcal R}(s)$ with positive imaginary part, obtaining the term $-\sqrt{T/2\pi}P(\sqrt{T/2\pi})$ that would explain the periodic behaviour observed with the statistical study of the zeros of $\mathop{\mathcal R}(s)$. We precise also the connection of the position on the zeros of $\mathop{\mathcal R}(s)$ with the zeros of $\zeta(s)$ in the critical line.

Number Theory
Approximate formula for $Z(t)$

Juan Arias de Reyna

2024-06-26

Abstract:The series for the zeta function does not converge on the critical line but the function \[G(t)=\sum_{n=1}^\infty \frac{1}{n^{\frac12+it}}\frac{t}{2\pi n^2+t}\] satisfies $Z(t)=2\Re\{e^{i\vartheta(t)}G(t)\}+O(t^{-\frac56+\varepsilon})$. So one expects that the zeros of zeta on the critical line are very near the zeros of $\Re\{e^{i\vartheta(t)}G(t)\}$. There is a related function $U(t)$ that satisfies the equality $Z(t)=2\Re\{e^{i\vartheta(t)}U(t)\}$.

Number Theory
A note on trigonometric polynomials for lower bounds of $ζ(s)$

Nicol Leong,Michael J. Mossinghoff

2024-04-10

Abstract:Non-negative trigonometric polynomials satisfying certain properties are employed when studying a number of aspects of the Riemann zeta function. When establishing zero-free regions in the critical strip, the classical polynomial $3+4\cos(\theta)+\cos(2\theta)$ used by de la Vallée Poussin has since been replaced by more beneficial polynomials with larger degree. The classical polynomial was also employed by Titchmarsh to provide a lower bound on $|\zeta(\sigma+it)|$ when $\sigma>1$. We show that this polynomial is optimal for this purpose.

Number Theory
On the number of zeros of $\mathop{\mathcal R}(s)$

Juan Arias de Reyna

2024-06-13

Abstract:We prove that the number of zeros $\varrho=\beta+i\gamma$ of $\mathop{\mathcal R}(s)$ with $0<\gamma\le T$ is given by \[N(T)=\frac{T}{4\pi}\log\frac{T}{2\pi}-\frac{T}{4\pi}-\frac12\sqrt{\frac{T}{2\pi}}+O(T^{2/5}\log^2 T).\] Here $\mathop{\mathcal R}(s)$ is the function that Siegel found in Riemann's papers. Siegel related the zeros of $\mathop{\mathcal R}(s)$ to the zeros of Riemann's zeta function. Our result on $N(T)$ improves the result of Siegel.

Number Theory
Explicit bounds for the Riemann zeta function and a new zero-free region

Chiara Bellotti

2023-06-19

Abstract:We prove that $|\zeta(\sigma+it)|\le 70.7 |t|^{4.438 (1-\sigma)^{3/2}}\log^{2/3}|t|$ for $1/2\le\sigma\le 1$ and $|t|\ge 3$. As a consequence, we improve the explicit zero-free region for $\zeta(s)$, showing that $\zeta(\sigma+it)$ has no zeros in the region $\sigma \geq 1-1 /\left(54.004(\log |t|)^{2 / 3}(\log \log |t|)^{1 / 3}\right)$ for $|t| \geq 3$ and asymptotically in the region $\sigma \geq 1-1 /\left(48.0718(\log |t|)^{2 / 3}(\log \log |t|)^{1 / 3}\right)$ for $|t|$ sufficiently large.

Number Theory
New large value estimates for Dirichlet polynomials

Larry Guth,James Maynard

2024-05-31

Abstract:We prove new bounds for how often Dirichlet polynomials can take large values. This gives improved estimates for a Dirichlet polynomial of length $N$ taking values of size close to $N^{3/4}$, which is the critical situation for several estimates in analytic number theory connected to prime numbers and the Riemann zeta function. As a consequence, we deduce a zero density estimate $N(\sigma,T)\le T^{30(1-\sigma)/13+o(1)}$ and asymptotics for primes in short intervals of length $x^{17/30+o(1)}$.

Number Theory
Bounding zeta on the 1-line under the partial Riemann hypothesis

Andrés Chirre

2023-11-18

Abstract:We provide explicit bounds in the theory of the Riemann zeta-function at the line $\Re{s}=1$, assuming that the Riemann hypothesis holds until the height $T$. In particular, we improve some bounds, in finite regions, for the logarithmic derivative and the reciprocal of the Riemann zeta-function.

Number Theory
Regions without zeros for the auxiliary function of Riemann

Juan Arias de Reyna

2024-06-06

Abstract:We give explicit and extended versions of some of Siegel's results. We extend the validity of Siegel's asymptotic development in the second quadrant to most of the third quadrant. We also give precise bounds of the error; this allows us to give an explicit region free of zeros, or with only trivial zeros. The left limit of the zeros on the upper half plane is extended from $1-\sigma\ge a t^{3/7}$ in Siegel to $1-\sigma\ge A t^{2/5}\log t$. Siegel claims that it can be proved that there are no zeros in the region $1-\sigma\ge t^\varepsilon$ for any $\varepsilon>0$. We show that Siegel's proof for the exponent $3/7$ does not extend to prove his claim.

Number Theory
Zero-free regions of the Riemann zeta function and approximation in weighted Dirichlet spaces

Eva Gallardo-Gutiérrez,Daniel Seco

2024-06-05

Abstract:We study zero-free regions of the Riemann zeta function $\zeta$ related to an approximation problem in the weighted Dirichlet space $D_{-2}$ which is known to be equivalent to the Riemann Hypothesis since the work of Báez-Duarte. We prove, indeed, that analogous approximation problems for the standard weighted Dirichlet spaces $D_{\alpha}$ when $\alpha \in (-3,-2)$ give conditions so that the half-plane $\{s \in \mathbb{C}: \Re (s) > -\frac{\alpha+1}{2}\}$ is also zero-free for $\zeta$. Moreover, we extend such results to a large family of weighted spaces of analytic functions $\ell^p_{\alpha}$. As a particular instance, in the limit case $p=1$ and $\alpha=-2$, we provide a new equivalent formulation of the Prime Number Theorem.

Number Theory,Classical Analysis and ODEs,Complex Variables,Functional Analysis
On asymptotic approximations to the log-Gamma and Riemann-Siegel theta functions

Richard P. Brent

DOI: https://doi.org/10.48550/arXiv.1609.03682

2016-09-13

Numerical Analysis

Abstract:We give bounds on the error in the asymptotic approximation of the log-Gamma function $\ln\Gamma(z)$ for complex $z$ in the right half-plane. These improve on earlier bounds by Behnke and Sommer (1962), Spira (1971), and Hare (1997). We show that $|R_{k+1}(z)/T_k(z)| < \sqrt{\pi k}$ for nonzero $z$ in the right half-plane, where $T_k(z)$ is the $k$-th term in the asymptotic series, and $R_{k+1}(z)$ is the error incurred in truncating the series after $k$ terms. If $k \le |z|$, then the stronger bound $|R_{k+1}(z)/T_k(z)| < (k/|z|)^2/(\pi^2-1) < 0.113$ holds. Similarly for the asymptotic approximation of $\ln\Gamma(z+\frac{1}{2})$, except that a factor $\eta_k = 1/(1-2^{1-2k})$ multiplies some of the bounds. We deduce similar bounds for asymptotic approximation of the Riemann-Siegel theta function $\vartheta(t)$. We show that the accuracy of a well-known approximation to $\vartheta(t)$ can be improved by including an exponentially small term in the approximation. This improves the attainable accuracy for real $t>0$ from $O(\exp(-\pi t))$ to $O(\exp(-2\pi t))$. We discuss a similar example due to Olver (1964), and a connection with the Stokes phenomenon.
On the Rankin-Selberg zeta-function

Aleksandar Ivić

DOI: https://doi.org/10.48550/arXiv.1007.4310

2010-10-06

Abstract:We obtain the approximate functional equation for the Rankin-Selberg zeta-function on the 1/2-line.

Number Theory
Mean Values of the auxiliary function

Juan Arias de Reyna

2024-06-19

Abstract:Let $\mathop{\mathcal R}(s)$ be the function related to $\zeta(s)$ found by Siegel in the papers of Riemann. In this paper we obtain the main terms of the mean values \[\frac{1}{T}\int_0^T |\mathop{\mathcal R}(\sigma+it)|^2\Bigl(\frac{t}{2\pi}\Bigr)^\sigma\,dt, \quad\text{and}\quad \frac{1}{T}\int_0^T |\mathop{\mathcal R}(\sigma+it)|^2\,dt.\] Giving complete proofs of some result of the paper of Siegel about the Riemann Nachlass. Siegel follows Riemann to obtain these mean values. We have followed a more standard path, and explain the difficulties we encountered in understanding Siegel's reasoning.

Number Theory
On the approximation of the Hardy $Z$-function via high-order sections

Yochay Jerby

2024-05-21

Abstract:Sections of the Hardy $Z$-function are given by $Z_N(t) := \sum_{k=1}^{N} \frac{cos(\theta(t)-ln(k) t) }{\sqrt{k}}$ for any $N \in \mathbb{N}$. Sections approximate the Hardy $Z$-function in two ways: (a) $2Z_{\widetilde{N}(t)}(t)$ is the Hardy-Littlewood approximate functional equation (AFE) approximation for $\widetilde{N}(t) = \left [ \sqrt{\frac{t}{2 \pi}} \right ]$. (b) $Z_{N(t)}(t)$ is Spira's approximation for $N(t) = \left [\frac{t}{2} \right ]$. Spira conjectured, based on experimental observations, that, contrary to the classical approximation $(a)$, approximation (b) satisfies the Riemann Hypothesis (RH) in the sense that all of its zeros are real. We present theoretical justification for Spira's conjecture, via new techniques of acceleration of series, showing that it is essentially equivalent to RH itself.

General Mathematics
Large deviations of the argument of the Riemann zeta function

Alexander Dobner

2024-03-26

Abstract:Let $S(t) = \frac{1}{\pi}\Im \log\zeta\left(\frac{1}{2}+it\right)$. We prove an unconditional lower bound on the measure of the sets $\{t\in [T,2T] \colon S(t) \geq V\}$ for $\sqrt{\log\log T} \leq V \ll \left(\frac{\log T}{\log \log T}\right)^{1/3}$. For $V \leq (\log T)^{1/3-\varepsilon}$ our bound has a Gaussian shape with variance proportional to $\log\log T$. At the endpoint, $V \asymp \left(\frac{\log T}{\log \log T}\right)^{1/3}$, our result implies the best known $\Omega$-theorem for $S(t)$ which is due to Tsang. We also explain how the method breaks down for $V \gg \left(\frac{\log T}{\log \log T}\right)^{1/3}$ given our current knowledge about the zeros of the zeta function. Conditionally on the Riemann hypothesis we extend our results to the range $\sqrt{\log\log T} \leq V \ll \left(\frac{\log T}{\log \log T}\right)^{1/2}$.

Number Theory

On the approximation of the zeta function by Dirichlet polynomials

On the sign of the real part of the Riemann zeta-function

The mean square of the product of the Riemann zeta-function and a Dirichlet polynomial in the critical strip

Asymptotic Expansions of the auxiliary function

Explicit estimates for the logarithmic derivative and the reciprocal of the Riemann zeta-function

On a polynomial zeta function

On the Asymptotics to all Orders of the Riemann Zeta Function and of a Two-Parameter Generalization of the Riemann Zeta Function

On Siegel results about the zeros of the auxiliary function of Riemann

Approximate formula for $Z(t)$

A note on trigonometric polynomials for lower bounds of $ζ(s)$

On the number of zeros of $\mathop{\mathcal R}(s)$

Explicit bounds for the Riemann zeta function and a new zero-free region

New large value estimates for Dirichlet polynomials

Bounding zeta on the 1-line under the partial Riemann hypothesis

Regions without zeros for the auxiliary function of Riemann

Zero-free regions of the Riemann zeta function and approximation in weighted Dirichlet spaces

On asymptotic approximations to the log-Gamma and Riemann-Siegel theta functions

On the Rankin-Selberg zeta-function

Mean Values of the auxiliary function

On the approximation of the Hardy $Z$-function via high-order sections

Large deviations of the argument of the Riemann zeta function