Related papers: Human and automated approaches for finite trigonom…
We consider a special class of binomial sums involving harmonic numbers and we prove three identities by using the elementary method of the partial fraction decomposition. Some applications to infinite series and congruences are given.
A new type of polynomial analogue of the Rogers-Ramanujan identities is proven. Here the product-side of the Rogers-Ramanujan identities is replaced by a partial theta sum and the sum-side by a weighted sum over Schur polynomials.
We show how infinite series of a certain type involving generalized harmonic numbers can be computed using a knowledge of symmetric functions and multiple zeta values. In particular, we prove and generalize some identities recently…
We evaluate some finite and infinite sums involving $q$-trigonometric and $q$-digamma functions. Upon letting $q$ approach $1$, one obtains corresponding sums for the classical trigonometric and the digamma functions. Our key argument is a…
An identity by Ramanujan is expressed using polar coordinates, so that its proof reduces to the verification of an elementary trigonometric identity. This approach produces a few variations on Ramanujan's original identity.
Automatic theorem proving with deep learning methods has attracted attentions recently. In this paper, we construct an automatic proof system for trigonometric identities. We define the normalized form of trigonometric identities, design a…
We derive various weighted summation identities, including binomial and double binomial identities, for Tribonacci numbers. Our results contain some previously known results as special cases.
In his lost notebook, Ramanujan listed 5 identities related to the false theta function $$f(q)=\sum_{n=0}^\infty (-1)^nq^{n(n+1)/2}.$$ A new combinatorial interpretation and proof of one of these identities is given. The methods of the…
We give a simple proof and a multivariable generalization of an identity due to E. Alkan concerning a weighted average of the Ramanujan sums. We deduce identities for other weighted averages of the Ramanujan sums with weights concerning…
In this paper, we give some extensions for Ramanujan's circular summation formula with the mixed products of two Jacobi's theta functions. As some applications, we also obtain many interesting identities of Jacobi's theta functions.
Euler's sum formula and its multi-variable and weighted generalizations form a large class of the identities of multiple zeta values. In this paper we prove a family of identities involving Bernoulli numbers and apply them to obtain…
An identity is proved connecting two finite sums of inverse tangents. This identity is discretized version of Jacobi's imaginary transformation for the modular angle from the theory of elliptic functions. Some other related identities are…
Previously, we proved an identity for theta functions of degree eight, and several applications of it were also discussed. This identity is a natural extension of the addition formula for the Weierstrass sigma-function. In this paper we…
An identity by Ramanujan related to the multisection of Bernoulli numbers is revisited. Two alternative approaches are proposed, both relying on the multisection technique. A geometric approach reveals the role played by the symmetries of…
We prove some identities, which involve the non-trivial zeros of the Riemann zeta function. From them we derive some convergent asymptotic expansions related to the work by Cram\'er, and also new representations for some arithmetical…
We give a new expression of the multiple harmonic sum, which serves as a refinement of the iterated integral expression of the multiple zeta value, and prove it using the so-called connected sum method. Based on this fact, by taking two…
In the present paper, we introduce a multiple Ramanujan sum for arithmetic functions, which gives a multivariable extension of the generalized Ramanujan sum studied by D. R. Anderson and T. M. Apostol. We then find fundamental arithmetic…
In this paper, by applying a range of classic summation and transformation formulas for basic hypergeometric series, we obtain a three-term identity for partial theta functions. It extends the Andrews-Warnaar partial theta function…
In this article we study properties of Ramanujan's mock theta functions that can be expressed in Lerch sums. We mainly show that each Lerch sum is actually the integral of a Jacobian theta function (here we show that for $\vartheta_3(t,q)$…
This paper argues that automated proofs of identities for non-terminating hypergeometric series are feasible by a combination of Zeilberger's algorithm and asymptotic estimates. For two analogues of Saalsch\"utz' summation formula in the…