Related papers: Formalizing zeta and L-functions in Lean

We have dealt with the Euler's alternating series of the Riemann zeta function to define a regularized ratio appeared in the functional equation even in the critical strip and showed some evidence to indicate the hypothesis. We briefly…

We prove a formula, with power savings, for the sixth moment of Dirichlet L-functions averaged over moduli $q$, over primitive characters $\chi$ modulo $q$, and over the critical line. Our formula agrees precisely with predictions motivated…

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,…

$L$ functions based on Dirichlet characters are natural generalizations of the Riemann $\zeta(s)$ function: they both have series representations and satisfy an Euler product representation, i.e. an infinite product taken over prime…

We prove mod-Gaussian convergence for a Dirichlet polynomial which approximates $\operatorname{Im}\log\zeta(1/2+it)$. This Dirichlet polynomial is sufficiently long to deduce Selberg's central limit theorem with an explicit error term.…

In this paper, we give a short elementary proof of the well known Euler's recurrence formula for the Riemann zeta function at positive even integers and integral representations of the Riemann zeta function at positive integers and at…

Linearly independent Dirichlet L-functions satisfying the same Riemann-type of functional equation have been supposed for long time to possess off critical line non trivial zeros. We are taking a closer look into this problem and into its…

Let ${\cal Z}_1(s) = \int_1^\infty |\zeta({1\over2}+ix)|^2x^{-s}{\rm d}x (\sigma = \Re s > 1)$. A result concerning analytic continuation of ${\cal Z}_1(s)$ to $\bf C$ is proved, and also a result relating the order of ${\cal Z}_1(\sigma +…

In the present work we show that the Dirichlet series with the Euler product having analytical continuation to the critical strip without singularities, in some natural conditions, can be approximated by partial products of Euler type in…

A representation of SL(2,Z) by integer matrices acting on the space of analytic ordinary Dirichlet series is constructed, in which the standard unipotent element acts as multiplication by the Riemann zeta function. It is then shown that the…

We introduce an algorithm to compute the functions belonging to a suitable set ${\mathscr F}$ defined as follows: $f\in {\mathscr F}$ means that $f(s,x)$, $s\in A\subset {\mathbb R}$ being fixed and $x>0$, has a power series expansion…

We evaluate friable averages of arithmetic functions whose Dirichlet series is analytically close to some complex power of the Riemann zeta function. We obtain asymptotic expansions resembling those provided by the Selberg-Delange method in…

We prove new relations on zeta function at even arguments and Dirichlet $L$ function at odd. The key idea is to make use of the Taylor series and partial fraction decomposition of cotangent and secant functions as we discuss in calculus and…

When it comes to partial numerical verification of the Riemann Hypothesis, one crucial part is to verify the completeness of a list of pre-computed zeros. Turing developed such a method, based on an explicit version of a theorem of…

The Landau-Selberg-Delange method gives precise asymptotic formulas for the partial sums $\sum_{n \le x} \, a_n$ of a Dirichlet series $\sum_n \, a_n/n^s$ that behaves like a complex power of the Riemann zeta function. However, situations…

Using the method of multiple Dirichlet series, we develop L-functions ratios conjecture with one shift in both the numerator and denominator in certain ranges for quadratic families of Dirichlet and Hecke L-functions of primerelated moduli…

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\'aez-Duarte. We…

An incomplete Riemann zeta function can be expressed as a lower-bounded, improper Riemann-Liouville fractional integral, which, when evaluated at $0$, is equivalent to the complete Riemann zeta function. Solutions to Landau's problem with…

We investigate the statistical distribution of the zeros of Dirichlet $L$--functions both analytically and numerically. Using the Hardy--Littlewood conjecture about the distribution of prime numbers we show that the two--point correlation…

For Hurwitz zeta function, we obtain power series expression in second variable for its higher order derivatives (with respect to first variable) at non-positive integer arguments and consequently obtain rapidly decreasing series expression…