In this paper we present a generalization of Faulhaber's formula to sums of arbitrary complex powers $m\in\mathbb{C}$. These summation formulas for sums of the form $\sum_{k=1}^{\lfloor x\rfloor}k^{m}$ and $\sum_{k=1}^{n}k^{m}$, where $x\in\mathbb{R}^{+}$ and $n\in\mathbb{N}$, are based on a series acceleration involving Stirling numbers of the first kind. While it is well-known that the corresponding expressions obtained from the Euler-Maclaurin summation formula diverge, our summation formulas are all very rapidly convergent.
In this note we consider the theorem established in arXiv:1912.07171 concerning the sums of powers of the first $n$ positive integers, $S_k = 1^k + 2^k + \cdots + n^k$, and show that it can be used to demonstrate the classical theorem of Faulhaber for both cases of odd and even $k$.
Denote by $Σn^m$ the sum of the $m$-th powers of the first $n$ positive integers $1^m+2^m+\ldots +n^m$. Similarly let $Σ^r n^m$ be the $r$-fold sum of the $m$-th powers of the first $n$ positive integers, defined such that $Σ^0 n^{m}=n^m$, and then recursively by $Σ^{r+1} n^{m}=Σ^{r} 1^{m}+Σ^{r} 2^{m}+\ldots + Σ^{r} n^{m}$. During the early 17th-century, polynomial expressions for the sums $Σ^r n^m$ and their factorisation and polynomial basis representation properties were examined by Johann Faulhaber, who published some remarkable theorems relating to these $r$-fold sums in his Academia Alge…
Recently, Guo and Zeng discovered two families of polynomials featuring in a q-analogue of Faulhaber's formula for the sums of powers and a q-analogue of Gessel-Viennot's formula involving Salie's coefficients for the alternating sums of powers. In this paper, we show that these are polynomials with symmetric, nonnegative integral coefficients by refining Gessel-Viennot's combinatorial interpretations.
In a recent work, Zielinski used Faulhaber's formula to explain why the odd Bernoulli numbers are equal to zero. Here, we assume that the odd Bernoulli numbers are equal to zero to explain Faulhaber's formula.
We give a new identity involving Bernoulli polynomials and combinatorial numbers. This provides, in particular, a Faulhaber-like formula for sums of the form $1^m (n-1)^m + 2^m (n-2)^m + \cdots + (n-1)^m 1^m$ for positive integers $m$ and $n$.
We introduce a symbolic representation of $r$-fold harmonic sums at negative indices. This representation allows us to recover and extend some recent results by Duchamp et al., such as recurrence relations and generating functions for these sums. This approach is also applied to the study of the family of extended Bernoulli polynomials, which appear in the computation of harmonic sums at negative indices. It also allows us to reinterpret the Raabe analytic continuation of the multiple zeta function as both a constant term extension of Faulhaber's formula, and as the result of a natural renorma…
Let $S_p(n)$ denote the sum of $p$th powers of the first $n$ positive integers $1^p + 2^p + \cdots + n^p$. In this paper, first we express $S_p(n)$ in the so-called Faulhaber form, namely, as an even or odd polynomial in $(n + 1/2)$, according as $p$ is odd or even. Then, using the relation $S_p(n) - S_p(n-1) = n^p$, we derive a recursive formula for the associated Faulhaber coefficients. Applying Cramer's rule to the corresponding system of equations, we obtain an explicit determinant formula for the said coefficients. Furthermore, we show how to convert the (even or odd) Faulhaber polynomial…
For finite sums of non-negative powers of arithmetic progressions the generating functions (ordinary and exponential ones) for given powers are computed. This leads to a two parameter generalization of Stirling and Eulerian numbers. A direct generalization of Bernoulli numbers and their polynomials follows. On the way to find the Faulhaber formula for these sums of powers in terms of generalized Bernoulli polynomials one is led to a one parameter generalization of Bernoulli numbers and their polynomials. Generalized Lah numbers are also considered.
First, we present a new proof of Glaisher's formula dating from 1900 and concerning Wilson's theorem modulo p^2. Our proof uses p-adic numbers and Faulhaber's formula for the sums of powers (17th century), as well as more recent results on Faulhaber's coefficients obtained by Gessel and Viennot. Second, by using our method, we find a simpler proof than Sun's proof regarding a formula for (p-1)! modulo p^3, and one that can be generalized to higher powers of p. Third, we can derive from our method a way to compute the Stirling numbers modulo p^3, thus improving Glaisher and Sun's own results fr…
Extending Eulerian polynomials and Faulhaber's formula 1, we study several combi-natorial aspects of harmonic sums and polylogarithms at non-positive multi-indices as well as their structure. Our techniques are based on the combinatorics of non-commutative generating series in the shuffle Hopf algebras giving a global process to renormalize the divergent polyzetas at non-positive multi-indices.
For $k$ a positive integer let $S_k(n) = 1^k + 2^k + \cdots + n^k$, i.e., $S_k(n)$ is the sum of the first $k$-th powers. Faulhaber conjectured (later proved by Jacobi) that for $k$ odd, $S_k(n)$ could be written as a polynomial of $S_1(n)$; for example $S_3(n) = S_1(n)^2$. We extend this result and prove that for any $k$ there is a polynomial $g_k(x,y)$ such that $S_k(n) = g(S_1(n), S_2(n))$. The proof yields a recursive formula to evaluate $S_k(n)$ as a polynomial of $n$ that has roughly half the number of terms as the classical one.
For integer $k \geq 0$, let $S_k$ denote the sum of the $k$th powers of the first $n$ positive integers $1^k + 2^k + \cdots + n^k$. For any given $k$, the power sum $S_k$ can in principle be determined by differentiating $k$ times (with respect to $x$) the associated exponential generating function $\sum_{k=0}^{\infty}S_k x^k/k!$, and then taking the limit of the resulting differentiated function as $x$ approaches $0$. In this paper, we exploit this method to establish a couple of seemingly novel recurrence relations, one of them involving the even-indexed power sums $S_2, S_4,\ldots, S_{2k}$,…
For any two arithmetic functions $f,g$ let $\bullet$ be the commutative and associative arithmetic convolution $(f\bullet g)(k):=\sum_{m=0}^k \left( \begin{array}{c} k m \end{array} \right)f(m)g(k-m)$ and for any $n\in\mathbb{N},$ $f^n=f\bullet \cdots\bullet f$ be $n-$fold product of $f\in \mathcal{S}.$ For any $x\in\mathbb{C},$ let $\mathcal{S}_0=e$ be the multiplicative identity of the ring $(\mathcal{S},\bullet,+)$ and $\mathcal{S}_x(k):=\frac{\mathcal{B}_{x+1}(k+1)-\mathcal{B}_{1}(k+1)}{k+1},~x\neq 0$ denote the power sum defined by Bernoulli polynomials $\mathcal{B}_x(k)=B_k(x).$ We consi…
The power sum $1^n + 2^n + \cdots + x^n$ has been of interest to mathematicians since classical times. Johann Faulhaber, Jacob Bernoulli, and others who followed expressed power sums as polynomials in $x$ of degree $n+1$ with rational coefficients. Here we consider the denominators of these polynomials, and prove some of their properties. A remarkable one is that such a denominator equals $n+1$ times the squarefree product of certain primes $p$ obeying the condition that the sum of the base-$p$ digits of $n+1$ is at least $p$. As an application, we derive a squarefree product formula for the d…
We prove recursive formulas for sums of squares and sums of triangular numbers in terms of sums of divisors functions and we give a variety of consequences of these formulas. Intermediate applications include statements about positivity of the coefficients of some infinite products.
In this paper, we present several explicit formulas of the sums and hyper-sums of the powers of the first (n+1)-terms of a general arithmetic sequence in terms of Stirling numbers and generalized Bernoulli polynomials.
In this paper we prove a weighted sum formula for multiple harmonic sums modulo primes, thereby proving a weighted sum formula for finite multiple zeta values. Our proof utilizes difference equations for the generating series of multiple harmonic sums. We also conjecture several weighted sum formulas of similar flavor for finite multiple zeta values.
In this paper, a transformation formula under modular substitutions is derived for a large class of generalized Eisenstein series. Appearing in the transformation formulae are generalizations of Dedekind sums involving the periodic Bernoulli function. Reciprocity theorems are proved for these Dedekind sums. Furthermore, as an application of the transformation formulae, relations between various infinite series and evaluations of several infinite series are deduced. Finally, we consider these sums for some special cases.
We give results characterising ternary Kloosterman sums modulo 9 and 27. This leads to a complete characterisation of values that ternary Kloosterman sums assume modulo 18 and 54. The proofs uses Stickelberger's theorem, the Gross-Koblitz formula and Fourier analysis.
We state and prove three general formulas allowing to transform formal finite sums into formal continued fractions and apply them to generalize certain expansions in continued fractions given by Hone and Varona.
Several asymptotic expansions and formulas for cubic exponential sums are derived. The expansions are most useful when the cubic coefficient is in a restricted range. This generalizes previous results in the quadratic case and helps to clarify how to numerically approximate cubic exponential sums and how to obtain upper bounds for them in some cases.
We prove a variety of explicit formulas relating special values of generalized hypergeometric functions to lattice sums with four indices of summation. These results are related to Boyd's conjectured identities between Mahler measures and special values of $L$-series of elliptic curves.
The purpose of this paper is to give some explicit formulas involving Möbius functions, which may be known under the generalized Riemann Hypothesis, but unconditional in this paper. Concretely, we prove explicit formulas of partial sums of the Möbius function in arithmetic progressions and partial sums of the Möbius functions on an Abelian number field $K$. In addition, to obtain these explicit formulas, we study a certain finite Euler product appearing from certain relation of primitive characters and imprimitive characters in the present paper.
Using the Kuznetsov trace formula, we prove a spectral decomposition for the sums of generalized Dirichlet $L$-functions. Among applications are an explicit formula relating norms of prime geodesics to moments of symmetric square $L$-functions and an asymptotic expansion for the average of central values of generalized Dirichlet $L$-functions.
In this paper, we introduce vast generalizations of the Hardy-Berndt sums. They involve higher-order Euler and/or Bernoulli functions, in which the variables are affected by certain linear shifts. By employing the Fourier series technique we derive linear relations for these sums. In particular, these relations yield reciprocity formulas for Carlitz, Rademacher, Mikolás and Apostol type generalizations of the Hardy-Berndt sums, and give rise to generalizations for some Goldberg's three-term relations. We also present an elementary proof for the Mikolás' linear relation and a reciprocity formul…
We prove a duality formula for certain sums of values of poly-Bernoulli polynomials which generalizes dualities for poly-Bernoulli numbers. We first compute two types of generating functions for these sums, from which the duality formula is apparent. Secondly we give an analytic proof of the duality from the viewpoint of our previous study of zeta-functions of Arakawa-Kaneko type. As an application, we give a formula that relates poly-Bernoulli numbers to the Genocchi numbers.
In this paper, new asymptotic formulas for sums over zeros of functions from the Selberg class are obtained. These results continue the investigations of Murty $\&$ Perelli \cite{12}, of Murty $\&$ Zaharescu \cite{13}, of Kamiya $\&$ Suzuki \cite{8}, of Steuding \cite{19} and other authors.
Let $s(a,b)$ denote the classical Dedekind sum and $S(a,b)=12s(a,b)$. Recently, Du and Zhang proved the following reciprocity formula. If $a$ and $b$ are odd natural numbers, $(a,b)=1$, then $$ S(2a^*,b)+S(2b^*,a)=\frac{a^2+b^2+4}{2ab}-3, $$ where $aa^*\equiv 1\mod b$ and $bb^* \equiv 1 \mod a$. In this paper we show that this formula is a special case of a series of similar reciprocity formulas. Whereas Du and Zhang worked with the connection of Dedekind sums and values of $L$-series, our main tool is the three-term relation for Dedekind sums.
A typical formula of multiple zeta values is the sum formula which expresses a Riemann zeta value as a sum of all multiple zeta values of fixed weight and depth. Recently weighted sum formulas, which are weighted analogues of the sum formula, have been studied by many people. In this paper, we give two formulas of weighted sums with two parameters of multiple zeta values. As applications of the formulas, we find some linear combinations of multiple zeta values which can be expressed as polynomials of usual zeta values with coeffcients in the rational polynomial ring generated by the two parame…
Sarnak obtained the asymptotic formula of the sum of the class numbers of indefinite binary quadratic forms from the prime geodesic theorem for the modular group. In the present paper, we show several asymptotic formulas of partial sums of the class numbers by using the prime geodesic theorems for the congruence subgroups of the modular group.
By developing a connection between partial theta functions and Appell-Lerch sums, we find and prove a formula which expresses Hecke-type double sums in terms of Appell-Lerch sums and theta functions. Not only does our formula prove classical Hecke-type double sum identities such as those found in work Kac and Peterson on affine Lie Algebras and Hecke modular forms, but once we have the Hecke-type forms for Ramanujan's mock theta functions our formula gives straightforward proofs of many of the classical mock theta function identities. In particular, we obtain a new proof of the mock theta conj…
Starting from a classical generating series for Bessel functions due to Schlomilch, we use Dwork's relative dual theory to broadly generalize unit-root results of Dwork on Kloosterman sums and Sperber on hyperkloosterman sums. In particular, we express the (unique) p-adic unit root of an arbitrary exponential sum on the torus in terms of special values of the p-adic analytic continuation of a ratio of A-hypergeometric functions. In contrast with the earlier works, we use noncohomological methods and obtain results that are valid for arbitrary exponential sums without any hypothesis of nondegen…
We give a simple proof for the reciprocity formulas of character Dedekind sums associated with two primitive characters, whose modulus need not to be same, by utilizing the character analogue of the Euler-MacLaurin summation formula. Moreover, we extend known results on the integral of products of Bernoulli polynomials by considering the integral \[ \int\limits_{0}^{x}B_{n_{1}}(b_{1}z+y_{1})... B_{n_{r}}(b_{r}z+y_{r}) dz, \] where $b_{l}$ $(b_{l}\neq 0)$ and $y_{l}$ $(1\leq l\leq r)$ are real numbers. As a consequence of this integral we establish a connection between the reciprocity relations…
In this paper, we obtain some formulas for double nonlinear Euler sums involving harmonic numbers and alternating harmonic numbers. By using these formulas, we give new closed form sums of several quadratic Euler series through Riemann zeta values, polylogarithm functions and linear sums. Furthermore, some relationships between Euler sums and integrals of polylogarithm functions are established.
We use the action of Atkin-Lehner operators to generate a family of reciprocity formulas for newform Dedekind sums. This family of reciprocity formulas provides symmetries which we use to investigate the kernel of these Dedekind sums.
Flajolet and Salvy pointed out that every Euler sum is a $\mathbb{Q}$-linear combination of multiple zeta values. However, in the literature, there is no formula completely revealing this relation. In this paper, using permutations and compositions, we establish two explicit formulas for the Euler sums, and show that all the Euler sums are indeed expressible in terms of MZVs. Moreover, we apply this method to the alternating Euler sums, and show that all the alternating Euler sums are reducible to alternating MZVs. Some famous results, such as the Euler theorem, the Borwein--Borwein--Girgensoh…
Let F_q be the finite field of q elements. Let H be a multiplicative subgroup of F_q^*. For a positive integer k and element b\in F_q, we give a sharp estimate for the number of k-element subsets of H which sum to b.
The main objective of this article is to study the asymptotic behavior of Salie sums over arithmetic progressions. We deduce from our asymptotic formula that Salie sums possess a bias of being positive. The method we use is based on Kuznetsov formula for modular forms of half integral weight. Moreover, in order to develop an explicit formula, we are led to determine an explicit orthogonal basis of the space of modular forms of half integral weight.
We specialize the Eichler-Selberg trace formula to obtain trace formulas for the prime-to-level Hecke action on cusp forms for certain congruence groups of arbitrary level. As a consequence, we determine the asymptotic in the prime p of the number of (weighted) SL(2,Z)-conjugation orbits of 2 by 2 matrices of determinant p whose reductions modulo N lie in a given conjugacy class in GL(2,Z/NZ). This generalizes an 1885 result of Hurwitz.
The explicit formulas expressing harmonic sums via alternating Euler sums (colored multiple zeta values) are given, and some explicit evaluations are given as applications.
A formula of Kuznetsov allows one to interpret a smooth sum of Kloosterman sums as a sum over the spectrum of $GL(2)$ automorphic forms. In this paper, we construct a similar formula for the first hyper-Kloosterman sums using $GL(3)$ automorphic forms, resolving a long-standing problem of Bump, Friedberg and Goldfeld. Along the way, we develop what are apparently new bounds for the order derivatives of the classical $J$-Bessel function, and we conclude with a discussion of the original method of Bump, Friedberg and Goldfeld.
The polynomial Ramanujan sum was first introduced by Carlitz [7], and a generalized version by Cohen [10]. In this paper, we study the arithmetical and analytic properties of these sums, derive various fundamental identities, such as H older formula, reciprocity formula, orthogonality relation and Davenport{Hasse type formula. In particular, we show that the special Dirichlet series involving the polynomial Ramanujan sums are, indeed, the entire functions on the whole complex plane, we also give a square mean values estimation. The main results of this paper are new appearance to us, which ind…
The Mertens function, $M(x) := \sum_{n \leq x} μ(n)$, is defined as the summatory function of the classical Möbius function. The Dirichlet inverse function $g(n) := (ω+1)^{-1}(n)$ is defined in terms of the shifted strongly additive function $ω(n)$ that counts the number of distinct prime factors of $n$ without multiplicity. The Dirichlet generating function (DGF) of $g(n)$ is $ζ(s)^{-1} (1+P(s))^{-1}$ for $\Re(s) > 1$ where $P(s) = \sum_p p^{-s}$ is the prime zeta function. We study the distribution of the unsigned functions $|g(n)|$ with DGF $ζ(2s)^{-1}(1-P(s))^{-1}$ and $C_Ω(n)$ with DGF $(…
