Related papers: Formalizing zeta and L-functions in Lean

We define a generalisation of the completed Riemann zeta function in several complex variables. It satisfies a functional equation, shuffle product identities, and has simple poles along finitely many hyperplanes, with a recursive structure…

The Riemann hypothesis, stating that the real part of all non-trivial zero points fo the zeta function must be $\frac{1}{2}$, is one of the most important unproven hypothesises in number theory. In this paper we will proof the Riemann…

Using elementary methods,we obtain simple,explicit expressions and bounds of higher order derivatives of Hurwitz zeta function and consequently those of Dirichlet L-function and also,of Lerch's Zeta function at unity (and at Zero too)and…

We have proposed a regularization technique and apply it to the Euler product of zeta functions in the part one. In this paper that is the second part of the trilogy, we give another evidence to demonstrate the Riemann hypotheses by using…

We study relationships between spinor representations of certain Lie algebras and Lie superalgebras of differential operators on the circle and values of $\zeta$--functions at the negative integers. By using formal calculus techniques we…

This paper refines the argument of Lehman by reducing the size of the constants in Turing's method. This improvement is given in Theorem 1 and scope for further improvements is also given. Analogous improvements to Dirichlet L-functions and…

Let $L$ be a nilpotent algebra of class two over a compact discrete valuation ring $A$ of characteristic zero or of sufficiently large positive characteristic. Let $q$ be the residue cardinality of $A$. The ideal zeta function of $L$ is a…

We develop a discrete spectral framework for Dirichlet $L$-functions that reveals a combinatorial structure underlying their special values and connects this to their zeros. Our approach approximates the classical Dirichlet series by finite…

In recent years L-functions and their analytic properties have assumed a central role in number theory and automorphic forms. In this expository article, we describe the two major methods for proving the analytic continuation and functional…

Using the Dirichlet integrals, which are employed in the theory of Fourier series, this paper develops a useful method for the summation of series and the evaluation of integrals.

To evaluate Riemann's zeta function is important for many investigations related to the area of number theory, and to have quickly converging series at hand in particular. We investigate a class of summation formulae and find, as a special…

Let $L$ be a solvable Lie algebra of dimension less than or equal to 4 over finite fields. We compute and record, in explicit symbolic form, the zeta functions enumerating subalgebras or ideals of $L$, and study their properties. We also…

In this series of seven papers, predominantly by means of elementary analysis, we establish a number of identities related to the Riemann zeta function. Whilst this paper is mainly expository, some of the formulae reported in it are…

We evaluate the first moment of central values of the family of quadratic Dirichlet $L$-functions using the method of double Dirichlet series. Under the generalized Riemann hypothesis, we prove an asymptotic formula with an error term of…

In this work we show that the Riemann hypothesis for the Dedekind zeta--function $\zeta_{\mathrm{K}}(s)$ of an algebraic number field $\mathrm{K}$ is equivalent to a problem of the rate of convergence of certain discrete measures defined…

In the present paper, we study large values of Dirichlet $L$- functions inside the critical strip. For every $1/2<\sigma<1$, we show that for $q$ sufficiently large, there exists a non-principal character $\chi$ modulo $q$ and a constant…

The Dirichlet characters of reduced residue systems modulo m are tabulated for moduli m <= 195. The associated L-series are tabulated for m <= 14 and small positive integer argument s accurate to 10^(-50), their first derivatives for m <=…

We formulate a parametrized uniformly absolutely globally convergent series of $\zeta$(s) denoted by Z(s, x). When expressed in closed form, it is given by Z(s, x) = (s -- 1)$\zeta$(s) + 1 x Li s z z -- 1 dz, where Li s (x) is the…

We conjecture the true rate of growth of the maximum size of the Riemann zeta function and other $L$-functions. We support our conjecture using arguments from random matrix theory, conjectures for moments of $L$-functions, and also by…

We introduce an "$L$-function" $\mathcal{L}$ built up from the integral representation of the Barnes' multiple zeta function $\zeta$. Unlike the latter, $\mathcal{L}$ is defined on a domain equipped with a non-trivial action of a group $G$.…