Related papers: Formalizing zeta and L-functions in Lean

We propose a regularization technique and apply it to the Euler product of zeta functions, mainly of the Riemann zeta function, to make unknown some clear. In this paper that is the first part of the trilogy, we try to demonstrate the…

The Riemann zeta-function $\zeta(s)$ is a meromorphic complex-valued function of the complex variable $s$ with the unique pole at $s=1$. It plays a central role in the studies of prime numbers. The upper bound in the critical strip $0\le…

We study zeta functions enumerating subalgebras or ideals of Lie algebras over finite field of prime order $\mathbb{F}_p$. We first develop a general blueprint method for computing zeta functions of $\mathbb{F}_p$-Lie algebras, and…

Through an equivalent condition on the Farey series set forth by Franel and Landau, we prove Riemann Hypothesis for the Riemann zeta-function and the Dirichlet L-function.

Let $\pi S(t)$ denote the argument of the Riemann zeta-function at the point $s=\tfrac12+it$. Assuming the Riemann hypothesis, we give a new and simple proof of the sharpest known bound for $S(t)$. We discuss a generalization of this bound…

We study the distribution of large (and small) values of several families of $L$-functions on a line $\text{Re(s)}=\sigma$ where $1/2<\sigma<1$. We consider the Riemann zeta function $\zeta(s)$ in the $t$-aspect, Dirichlet $L$-functions in…

We present some novelties on the Riemann zeta function. Using an extended formula created for the polylogarithm in a previous paper, $\mathrm{Li}_{k}(e^{z})$, the zeta function's Dirichlet series is analytically continued from $\Re(k)>1$ to…

One of the main objectives of the current paper is to revisit the well known Laurent series expansions of the Riemann zeta function $\zeta(s)$, Hurwitz zeta function $\zeta(s,a)$ and Dirichlet $L$-function $L(s,\chi)$ at $s=1$. Moreover, we…

In this paper, we exhibit upper and lower bounds with explicit constants for some objects related to entire $L$-functions in the critical strip, under the generalized Riemann hypothesis. The examples include the entire Dirichlet…

The aim of this article is to investigate how various Riemann Hypotheses would follow only from properties of the prime numbers. To this end, we consider two classes of $L$-functions, namely, non-principal Dirichlet and those based on cusp…

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…

We present some monotonicity results for Dirichlet $L$-functions associated to real primitive characters. We show in particular that these Dirichlet $L$-functions are far from being logarithmically completely monotonic. Also, we show that,…

In the study of Dirichlet series with arithmetic significance there has appeared (through the study of known examples) certain expectations, namely (i) if a functional equation and Euler product exists, then it is likely that a type of…

We develop a formal group--theoretic framework for the Riemann zeta function by treating its Euler product as an element of the multiplicative formal group $\widehat{\mathbb{G}}_m$ and its logarithm as the associated formal group logarithm.…

We estimate large and small values of $|L(\rho',\chi)|$, where $\chi$ is a primitive character mod $q$ for $q>2$ and $\rho'$ runs over critical points of the Riemann zeta function in the right half of the one-line, that is, the points where…

In this paper, we introduce a class of Dirichlet series defined in terms of the Riemann zeta-function, motivated by the study of their special values, and establish integral representations for these series. We also define an extension of…

Let $K$ be a quadratic field, and let $\zeta_K$ its Dedekind zeta function. In this paper we introduce a factorization of $\zeta_K$ into two functions, $L_1$ and $L_2$, defined as partial Euler products of $\zeta_K$, which lead to a…

It is well known that the Riemann zeta function, as well as several other $L$-functions, is universal in the strip $1/2<\sigma<1$; this is certainly not true for $\sigma>1$. Answering a question of Bombieri and Ghosh, we give a simple…

Assuming the Riemann hypothesis, we prove the latest explicit version of the prime number theorem for short intervals. Using this result, and assuming the generalised Riemann hypothesis for Dirichlet $L$-functions is true, we then establish…

Dirichlet's theorem on arithmetic progressions called as Dirichlet prime number theorem is a classical result in number theory. Atle Selberg\cite{Selberg} gave an elementary proof of this theorem. In this article we give an alternative…