Related papers: Formalizing zeta and L-functions in Lean

The Euler--Riemann zeta function is a largely studied numbertheoretic object, and the birthplace of several conjectures, such as the Riemann Hypothesis. Different approaches are used to study it, including $p$-adic analysis : deriving…

We describe in detail three distinct families of generalized zeta functions built over the (nontrivial) zeros of a rather general arithmetic zeta or L-function, extending the scope of two earlier works that treated the Riemann zeros only.…

This paper studies the connections between the zeros and their distribution functions for two particular Dirichlet $L$ functions: the Riemann zeta function, and the Catalan beta function, also known as the Dirichlet beta function. It is…

In previous work it was shown that if certain series based on sums over primes of non-principal Dirichlet characters have a conjectured random walk behavior, then the Euler product formula for its $L$-function is valid to the right of the…

This paper describes some validated numerics aspects of Riemann zeta function, Dirichlet L-functions, Dedekind zeta functions and Hasse-Weil L-functions.

By considering the prime zeta function, the author intended to demonstrate in that the Riemann zeta function zeta(s) does not vanish for Re(s)>1/2, which would have proven the Riemann hypothesis. However, he later realised that the proof of…

A short proof of the generalized Riemann hypothesis (gRH in short) for zeta functions $\zeta_{k}$ of algebraic number fields $k$ - based on the Hecke's proof of the functional equation for $\zeta_{k}$ and the method of the proof of the…

In this note we define L-functions of finite graphs and study the particular case of finite cycles in the spirit of a previous paper that studied spectral zeta functions of graphs. The main result is a suggestive equivalence between an…

The manuscript reviews Dirichlet Series of important multiplicative arithmetic functions. The aim is to represent these as products and ratios of Riemann zeta-functions, or, if that concise format is not found, to provide the leading…

We present a proof of the functional equation of the Riemann zeta-function or more precisely the Dirichlet eta-function, which proof seems to be new but follows almost immediately from Malmst\`en's paper ``De integralibus quibusdam…

A proof for the original Riemann hypothesis is proposed based on the infinite Hadamard product representation for the Riemann zeta function and later generalized to Dirichlet L-functions. The extension of the hypothesis to other functions…

A new definition for the Dirichlet beta function for positive integer arguments is discovered and presented for the first time. This redefinition of the Dirichlet beta function, based on the polygamma function for some special values,…

The author reviews results and conjectures of Selberg on a class of Dirichlet series functions which share properties with the Riemann zeta function, and he relates this work to the theory of Artin L-functions.

We first construct a dynamical systems model which in its steady-state serves as an analytic continuation of the completed Riemann zeta function over the entire critical strip. The resulting mathematical construct involves a linear…

A formal description of a functional analysis approach to the Riemann zeta-functional equation that provides in principle an infinity of different proofs based on work by the author on the existence of dilation-invariant unitary operators…

This paper investigates the analytic properties of the Liouville function's Dirichlet series that obtains from the function F(s)= zeta(2s)/zeta(s), where s is a complex variable and zeta(s) is the Riemann zeta function. The paper employs a…

The Dedekind zeta function of a quadratic number field factors as a product of the Riemann zeta function and the $L$-function of a quadratic Dirichlet character. We categorify this formula using objective linear algebra in the abstract…

Assuming the Riemann hypothesis, we show that a certain vertical distribution of the nontrivial zeros of the Riemann zeta-function is equivalent to the generalized Riemann hypothesis for Dirichlet $L$-functions. Furthermore, under both the…

We give a representation of the classical Riemann $\zeta$-function in the half plane $\Re s>0$ in terms of a Mellin transform involving the real part of the dilogarithm function with an argument on the unit circle (associated Clausen…

In this paper, we compute and verify the positivity of the Li coefficients for the Dirichlet $L$-functions using an arithmetic formula established in Omar and Mazhouda, J. Number Theory 125 (2007) no.1, 50-58; J. Number Theory 130 (2010)…