English
Related papers

Related papers: Formalizing zeta and L-functions in Lean

200 papers

We extend to Dirichlet L-functions associated with arbitrary primitive characters a range of objects and properties -- including Eisenstein series and period functions -- that were originally introduced and studied by Lewis and Zagier…

Number Theory · Mathematics 2025-06-30 Sebastien Darses , Berend Ringeling , Emmanuel Royer

In this paper, we construct a family of generalized $L$-functions, one for each point $z$ in the upper half-plane. We prove that as $z$ approaches $i\infty$, these generalized $L$-functions converge to an $L$-function which can be written…

Number Theory · Mathematics 2021-12-28 Kathrin Bringmann , Ben Kane

A family of Zeta functions built as Dirichlet series over the Riemann zeros are shown to have meromorphic extensions in the whole complex plane, for which numerous analytical features (the polar structure, plus countably many special…

Complex Variables · Mathematics 2015-07-10 A. Voros

Zeros of the Riemann zeta function and its derivatives have been studied by many mathematicians. Among, the number of zeros and the distribution of the real part of non-real zeros of the derivatives of the Riemann zeta function have been…

Number Theory · Mathematics 2021-09-21 Ade Irma Suriajaya

Assuming the generalized Riemann hypothesis, we rediscover and sharpen some of the best known results regarding the distribution of low-lying zeros of Dirichlet $L$-functions. This builds upon earlier work of Omar, which relies on the…

Number Theory · Mathematics 2025-03-21 Tianyu Zhao

A new method for continuing the usual Dirichlet series that defines the Riemann zeta function ${\zeta}(s)$ is presented. Numerical experiments demonstrating the computational efficacy of the resulting continuation are discussed.

Number Theory · Mathematics 2022-07-15 Aditya Akula , Ghaith Hiary

We consider the PDE flow associated to Riemann zeta and general Dirichlet $L$-functions. These are models characterized by nonlinearities appearing in classical number theory problems, and generalizing the classical holomorphic Riemann flow…

Analysis of PDEs · Mathematics 2024-02-16 Víctor Castillo , Claudio Muñoz , Felipe Poblete , Vicente Salinas

We derive several identities for the Hurwitz and Riemann zeta functions, the Gamma function, and Dirichlet $L$-functions. They involve a sequence of polynomials $\alpha_k(s)$ whose study was initiated in an earlier paper. The expansions…

Number Theory · Mathematics 2013-07-02 Michael O. Rubinstein

The finite Dirichlet series from the title are defined by the condition that they vanish at as many initial zeroes of the zeta function as possible. It turned out that such series can produce extremely good approximations to the values of…

Number Theory · Mathematics 2021-10-26 Gleb Beliakov , Yuri Matiyasevich

This paper develops an analytic theory of Dirichlet series in several complex variables which possess sufficiently many functional equations. In the first two sections it is shown how straightforward conjectures about the meromorphic…

Number Theory · Mathematics 2007-05-23 Adrian Diaconu , Dorian Goldfeld , Jeffrey Hoffstein

We try to apply a known equivalence, for RH about Riemann Z function, to Dirichlet L functions with primitive characters. The aim is to give a small contribution to the proof of the generalized version of Riemann Hypothesis (RH).

General Mathematics · Mathematics 2026-01-21 Giovanni Lodone

In this report, we present a proof of Levinson's theorem, following the ideas of Matthew P. Young in 2010, which states that one-third of the non-trivial zeros of the Riemann zeta function lie on the critical line, i.e. the line Re(s) =…

Number Theory · Mathematics 2025-11-11 Swapnil Ray

The Riemann Hypothesis has been of central interest to mathematicians for a long time and many unsuccessful attempts have been made to either prove or disprove it. Since the Riemann zeta function is defined as a sum of the infinite number…

General Mathematics · Mathematics 2012-03-20 Yaroslav D. Sergeyev

We show that the Generalized Riemann Hypothesis for all Dirichlet L-functions is a consequence of certain conjectural properties of the zeros of the Riemann zeta function. Conversely, we prove that the zeros of $\zeta(s)$ satisfy those…

Number Theory · Mathematics 2023-09-08 William D. Banks

In these lectures we first review the important properties of the Riemann $\zeta$-function that are necessary to understand the nature and importance of the Riemann hypothesis (RH). In particular this first part describes the analytic…

Number Theory · Mathematics 2024-08-20 Guilherme França , André LeClair

In this article, with a new approach, which is not discussed in the literature yet, the limit of the Riemann zeta function or Euler-Riemann zeta function is approximately explored by applying Dirichlet's rearrangement theorem for absolutely…

General Mathematics · Mathematics 2021-06-24 Tanfer Tanriverdi

It is shown that the Mean Value Theorem for arithmetic functions, and simple properties of the zeta function are sufficient to assemble proofs of the Prime Number Theorem, and Dirichlet Theorem. These are among the simplest proofs of the…

General Mathematics · Mathematics 2018-06-26 N. A. Carella

We study the values taken by the Riemann zeta-function $\zeta$ on discrete sets. We show that infinite vertical arithmetic progressions are uniquely determined by the values of $\zeta$ taken on this set. Moreover, we prove a joint discrete…

Number Theory · Mathematics 2021-09-21 Junghun Lee , Athanasios Sourmelidis , Jörn Steuding , Ade Irma Suriajaya

Finite differences of values of the Riemann zeta function at the integers are explored. Such quantities, which occur as coefficients in Newton series representations, have surfaced in works of Maslanka, Coffey, Baez-Duarte, Voros and…

Classical Analysis and ODEs · Mathematics 2008-09-18 Philippe Flajolet , Linas Vepstas

This article provides a proof of the famous \textit{Prime Number Theorem} by establishing an analogous statement of the same in terms of the second \textit{Chebyshev Function} $\psi(x)$. We shall be extensively using complex analytic…

General Mathematics · Mathematics 2025-11-06 Subham De