Related papers: Irrationality of values of zeta-function
We formalize a proof of the irrationality of $\zeta(3)$ in Lean 4, using Beukers' method. To support this, we extend the Lean mathematical library (Mathlib) by formalizing shifted Legendre polynomials and important results in analytic…
The functional relation of the Riemann z\^eta function provides us with neither the nature nor the expression of z\^eta at positive odd numbers. From the function $F(z)=\frac{z^{-2n}}{e^z-1}$, we find a functional relation involving…
In order to prove irrationality of \sqrt{2} by using only decimal expansions (and not fractions), we develop in detail a model of real numbers based on infinite decimals and arithmetic operations with them.
Observing a multiple version of the divisor function we introduce a new zeta function which we call a multiple finite Riemann zeta function. We utilize some $q$-series identity for proving the zeta function has an Euler product and then,…
We prove that there exist infinitely many consecutive zeros of the Riemann zeta-function on the critical line whose gaps are greater than $3.18$ times the average spacing. Using a modification of our method, we also show that there are even…
A Ramanujan-type formula involving the squares of odd zeta values is obtained. The crucial part in obtaining such a result is to conceive the correct analogue of the Eisenstein series involved in Ramanujan's formula for $\zeta(2m+1)$. The…
We study the value distribution of the Riemann zeta function near the line $\Re s = 1/2$. We find an asymptotic formula for the number of $a$-values in the rectangle $ 1/2 + h_1 / (\log T)^\theta \leq \Re s \leq 1/2+ h_2 /(\log T)^\theta $,…
Improving a result of N. Levinson, we exhibit large and small values of $|\zeta(1+it)|$.
In this paper, we study the evaluation formulas of the interpolated multiple zeta values and the interpolated multiple $t$-values with indices involving $1,2,3$. To get these evaluations, we derive the corresponding algebraic relations in…
We construct and study a certain zeta function which interpolates multi-poly-Bernoulli numbers at non-positive integers and whose values at positive integers are linear combinations of multiple zeta values. This function can be regarded as…
We prove a sharp upper bound for the fourth moment of the Hurwitz zeta function $\zeta(s,\alpha)$ on the critical line when the shift parameter $\alpha$ is irrational and of irrationality exponent strictly less than 3. As a consequence, we…
Explicit bounds on the tails of the zeta function $\zeta$ are needed for applications, notably for integrals involving $\zeta$ on vertical lines or other paths going to infinity. Here we bound weighted $L^2$ norms of tails of $\zeta$. Two…
In this paper, we sharpen and simplify our earlier results based on Thue's Fundamentaltheorem and use it to obtain effective irrationality measures for certain roots of polynomials of the form $(x-\sqrt{t})^{n}+(x+\sqrt{t})^{n}$, where $n…
The multiple zeta values (MZV) are a set of real numbers with a beautiful structure as an algebra over the rational numbers. They are related to maybe the most important conjecture on mathematics today, the Riemann hypothesis. In this paper…
If $0 < \gamma_1 \le \gamma_2 \le \gamma_3 \le \ldots$ denote ordinates of complex zeros of the Riemann zeta-function $\zeta(s)$, then several results involving the maximal order of $\gamma_{n+1}-\gamma_n$ and the sum $$ \sum_{0<\gamma_n\le…
We consider the symmetric multiple zeta values in $\mathcal{S}_m$ without modulo $\pi^2$ reduction for indices in which $1$ and $3$ appear alternately. We investigate those values that can be expressed as a polynomial of the Riemann zeta…
In this paper, some new results are reported for the study of Riemann zeta function $\zeta(s)$ in the critical strip $0<Re(s)<1$, such as $\zeta(s)$ expressed in a generalized Euler product only involving prime numbers. Particularly, some…
The paper describes a method for calculating values of Riemann's Zeta function within the critical strip 0< {\sigma} <1 and on its boundary. The approach is based on the "Alternating Zeta function" {\eta}(s). The actual Riemann Zeta…
In this paper we give some interesting identities between Euler numbers and zeta functions. Finally we will give the new values of Euler zeta function at positive even integers.
We present an unconditional proof that non-trivial zeros of the Riemann Zeta function must lie strictly on the critical line $\text{Re}(s) = 0.5$. By defining a recursive path of Taylor expansions originating from the domain of absolute…