Related papers: Short Proofs of Summation and Transformation Formu…
We prove a general quadratic formula for basic hypergeometric series, from which simple proofs of several recent determinant and Pfaffian formulas are obtained. A special case of the quadratic formula is actually related to a Gram…
We prove new double summation hypergeometric $q$-series representations for several families of partitions, including those that appear in the famous product identities of G\"ollnitz, Gordon, and Schur. We give several different proofs for…
We give summation formulae for the bilateral basic hypergeometric series ${}_1\psi_1( a; b; q, z )$ through Ramanujan's summation formula, which are generalizations of nontrivial identities found in the physics of three-dimensional Abelian…
We develop a theoretical study of non-terminating hypergeometric summations with one free parameter. Composing various methods in complex and asymptotic analysis, geometry and arithmetic of certain transcendental curves and rational…
The classical hypergeometric summation theorems are exploited to derive several striking identities on harmonic numbers including those discovered recently by Paule and Schneider (2003).
The general problem of the factorization of a basic hypergeometric series is presented and discussed. The case of the general $_2\psi_2$ series is examined in detail. Connections are found with the theory of basic hypergeometric series on…
We prove hypergeometric type summation identities for a function defined in terms of quotients of the $p$-adic gamma function by counting points on certain families of hyperelliptic curves over $\mathbb{F}_{q}$. We also find certain special…
We formulate general principles of building hypergeometric type series from the Jacobi theta functions that generalize the plain and basic hypergeometric series. Single and multivariable elliptic hypergeometric series are considered in…
In this article we find finite field analogues of certain product formulas satisfied by the classical hypergeometric series. We express product of two ${_2}F_1$-Gaussian hypergeometric series as ${_4}F_3$- and ${_3}F_2$-Gaussian…
We obtain some Bailey pairs associated with indefinite quadratic forms with the $\beta_n$ connected to a finite sum. A new general identity is given, which provides identities for $q$-hypergeometric series, including mock theta functions.
The bilateral series corresponding to many of the third-, fifth-, sixth- and eighth order mock theta functions may be derived as special cases of $_2\psi_2$ series \[ \sum_{n=-\infty}^{\infty}\frac{(a,c;q)_n}{(b,d;q)_n}z^n. \] Three…
The multiplicate form of Gould--Hsu's inverse series relations enables to investigate the dual relations of the Chu-Vandermonde-Gau{\ss}'s, the Pfaff-Saalsch\"utz's summation theorems and the binomial convolution formula due to Hagen and…
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…
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…
In terms of several summation and transformation formulas for basic hypergeometric series, two forms of the Chinese remainder theorem for coprime polynomials, the creative microscoping method introduced by Guo and Zudilin, Guo and Li's…
Product identities in two variables $x, q$ expand infinite products as infinite sums, which are linear combinations of theta functions; famous examples include Jacobi's triple product identity, Watson's quintuple identity, and Hirschhorn's…
We state and prove product formulae for several generating functions for sequences $(a_n)_{n\ge0}$ that are defined by the property that $Pa_n+b^2$ is a square, where $P$ and $b$ are given integers. In particular, we prove corresponding…
With the use of the $(f,g)$-matrix inversion under specializations that $f=1-xy,g=y-x$, we establish an $(1-xy,y-x)$-expansion formula. When specialized to basic hypergeometric series, this $(1-xy,y-x)$-expansion formula leads us to some…
By examining asymptotic behavior of certain infinite basic ($q$-) hypergeometric sums at roots of unity (that is, at a "$q$-microscopic" level) we prove polynomial congruences for their truncations. The latter reduce to non-trivial…
The main goal of this paper is to derive a number of identities for the generalized hypergeometric function evaluated at unity and for certain terminating multivariate hypergeometric functions from the symmetries and other properties of…