Related papers: Pfaff's Method Revisited

We find summation identities and transformations for the McCarthy's $p$-adic hypergeometric series by evaluating certain Gauss sums which appear while counting points on the family $$Z_{\lambda}: x_1^d+x_2^d=d\lambda x_1x_2^{d-1}$$ over a…

Let p be an odd prime. In 1984, Greene introduced the notion of hypergeometric functions over finite fields. Special values of these functions have been of interest as they are related to the number of F_p points on algebraic varieties and…

We present a method to prove hypergeometric double summation identities. Given a hypergeometric term $F(n,i,j)$, we aim to find a difference operator $ L=a_0(n) N^0 + a_1(n) N^1 +...+a_r(n) N^r $ and rational functions…

In 2003, Rodriguez-Villegas conjectured four supercongruences on the truncated ${}_3F_2$ hypergeometric series for certain modular K3 surfaces, which were gradually proved by several authors. Motivated by some supercongruences on…

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…

Using contiguous relations we construct an infinite number of continued fraction expansions for ratios of generalized hypergeometric series 3F2(1). We establish exact error term estimates for their approximants and prove their rapid…

In this paper, we present a new method for finding identities for hypergeoemtric series, such as the (Gauss) hypergeometric series, the generalized hypergeometric series and the Appell-Lauricella hypergeometric series. Furthermore, using…

In 2015, Ebisu presented a new method for finding hypergeometric identities based on three-term relations for the ${}_{2} F_{1}$ hypergeometric series. By using this method, he derived almost all of the previously known hypergeometric…

From the literature it is known that orthogonal polynomials as the Jacobi polynomials can be expressed by hypergeometric series. In this paper, the authors derive several contiguous relations for terminating multivariate hypergeometric…

Explicit expressions for the hypergeometric series ${}_2F_1(-n, a; 2a\pm j;2)$ and ${}_2F_1(-n, a; -2n\pm j;2)$ for positive integer $n$ and arbitrary integer $j$ are obtained with the help of generalizations of Kummer's second and third…

We prove a duality relation for generalized basic hypergeometric functions. It forms a $q$-extension of a recent result of the second and the third named authors and generalizes both a $q$-hypergeometric identity due to the third named…

Let $p$ be an odd prime and $q=p^r$, $r\geq 1$. For positive integers $n$, let ${_n}G_n[\cdots]_q$ denote McCarthy's $p$-adic hypergeometric functions. In this article, we prove an identity expressing a ${_4}G_4[\cdots]_q$ hypergeometric…

In terms of Sear's transformation formula for $_4\phi_3$-series, we give new proofs of a summation formula for ${_4\phi_3}$-series due to Andrews [2] and another summation formula for${_4\phi_3}$-series conjectured in the same paper.…

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…

By using contiguous relations for basic hypergeometric series, we give simple proofs of Bailey's $_4\phi_3$ summation, Carlitz's $_5\phi_4$ summation, Sears' $_3\phi_2$ to $_5\phi_4$ transformation, Sears' ${}_4\phi_3$ transformations,…

One of the most celebrated applications of Gauss' $_2F_1$ hypergeometric functions is in connection with the rapid convergence of sequences and special values that arise in the theory of arithmetic and geometric means. This theory was the…

We give new proofs for certain bilateral basic hypergeometric summation formulas using the symmetries of the corresponding series. In particular, we present a proof for Bailey's $_3\psi_3$ summation formula as an application. We also prove…

Let $\lambda \in \mathbb{Q}\setminus \{0, -1\}$ and $l \geq 2$. Denote by $C_{l,\lambda}$ the nonsingular projective algebraic curve over $\mathbb{Q}$ with affine equation given by $$y^l=(x-1)(x^2+\lambda).$$ In this paper we give a…

Motivated by the telescoping proofs of two identities of Andrews and Warnaar, we find that infinite q-shifted factorials can be incorporated into the implementation of the q-Zeilberger algorithm in the approach of Chen, Hou and Mu to prove…

We use the method of tiling to give elementary combinatorial proofs of some celebrated $q$-series identities, such as Jacobi triple product identity, Rogers-Ramanujan identities, and some identities of Rogers. We give a tiling proof of the…