Related papers: Formalization of $p$-adic $L$-functions in Lean 3

Our main aim in this paper is to give a foundation of the theory of $p$-adic multiple zeta values. We introduce (one variable) $p$-adic multiple polylogarithms by Coleman's $p$-adic iterated integration theory. We define $p$-adic multiple…

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 aim of this paper is to introduce several degenerate hyperbolic functions as degenerate versions of the hyperbolic functions, to evaluate Volkenborn and the fermionic $p$-adic integrals of the degenerate hyperbolic cosine and the…

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…

Let $$\lambda(s)=\sum_{n=0}^\infty\frac1{(2n+1)^s},$$ $$\beta(s)=\sum_{n=0}^\infty\frac{(-1)^{n}}{(2n+1)^s},$$ and $$\eta(s)=\sum_{n=1}^\infty\frac{(-1)^{n-1}}{n^s}$$ be the Dirichlet lambda function, its alternating form, and the Dirichlet…

We prove an equivalent of the Riemann hypothesis in terms of the functional equation (in its asymmetrical form) and the $a$-points of the zeta-function, i.e., the roots of the equation $\zeta(s)=a$, where $a$ is an arbitrary fixed complex…

Let $K$ be an imaginary quadratic field, with associated quadratic character $\alpha$. We construct an analytic $p$-adic $L$-function interpolating the twisted adjoint $L$-values $L(1, \mathrm{ad}(f) \otimes \alpha)$ as $f$ varies in a Hida…

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…

Euler discovered a formula for expressing the value of the Riemann zeta function for all even positive integer arguments. A closed-form expression for the Riemann zeta function for all odd integer arguments, based on the values of the…

The main aim of this paper is to investigate and introduce relations between the numbers of k-ary Lyndon words and unified zeta-type functions which was defined by Ozden et al [15, p. 2785]. Finally, we give some identities on generating…

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…

We investigate the approximation of quadratic Dirichlet $L$-functions over function fields by truncations of their Euler products. We first establish representations for such $L$-functions as products over prime polynomials times products…

We define a family of pseudodifferential operators on the Hilbert space $L^2(\mathbf{Q}_p)$ of complex valued square-integrable functions on the $p$-adic number field $\mathbf{Q}_p$. The Riemann zeta-function and the related Dirichlet…

This paper presents a complete formal verification of a proof that the evaluation of the Riemann zeta function at 3 is irrational, using the Coq proof assistant. This result was first presented by Ap\'ery in 1978, and the proof we have…

In recent years, studying degenerate versions of various special polynomials and numbers have attracted many mathematicians. Here we introduce degenerate type 2 Bernoulli polynomials, fully degenerate type 2 Bernoulli polynomials and…

We study three special Dirichlet series, two of them alternating, related to the Riemann zeta function. These series are shown to have extensions to the entire complex plane and we find their values at the negative integers (or residues at…

In this paper, we construct generalized $L$-functions associated to meromorphic modular forms of weight $\frac12$ for the theta group with a single simple pole in the fundamental domain. We then consider their behaviour towards $i\infty$…

In this paper, we study the Koshliakov zeta function $\eta_p(s)$, whose theory appears to be more involved than that of its counterpart $\zeta_p(s)$, owing to the fact that its defining series is not of Dirichlet type. We derive formulas…

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…

We introduce and study subalgebra cotype zeta functions, multivariate zeta functions enumerating fixed-index subalgebras of $R$-algebras of a given cotype. This generalizes and unifies previous works on subalgebra zeta functions and cotype…