Automatic generation of hypergeometric identities by the beta integral method

In this article, hypergeometric identities (or transformations) for _p+1F_p-series and for Kampé de Fériet series of unit arguments are derived systematically from known transformations of hypergeometric series and products of hypergeometric series, respectively, using the beta integral method in an automated manner, based on the Mathematica package HYP. As a result, we obtain some known and some identities which seem to not have been recorded before in literature.     

Abel's lemma on summation by parts and basic hypergeometric series

Basic hypergeometric series identities are revisited systematically by means of Abel's lemma on summation by parts. Several new formulae and transformations are also established. The author is convinced that Abel's lemma on summation by parts is a natural choice in dealing with basic hypergeometric series.     

Elliott's identity and hypergeometric functions

Elliott's identity involving the Gaussian hypergeometric series contains, as a special case, the classical Legendre identity for complete elliptic integrals. The aim of this paper is to derive a differentiation formula for an expression involving the Gaussian hypergeometric series, which, for appropriate values of the parameters, implies Elliott's identity and which also leads to concavity/convexity properties of certain related functions. We also show that Elliott's identity is equivalent to a formula of Ramanujan on the differentiation of quotients of hypergeometric functions. Applying these results we obtain a number of identities associated with the Legendre functions of the first and the second kinds, respectively.     

Gould-Hsu反演链及其应用

In this paper,by means of Gould-Hsu inverse series relations,we establish several Gould-Hsu inversion chains.As consequence,some new transformation formulae as well as some famous hypergeometric series identities are derived.     

A Bailey Tree for Integrals

We introduce the notion of integral Bailey pairs. Using the single-variable elliptic beta integral, we construct an infinite binary tree of identities for elliptic hypergeometric integrals. Two particular sequences of identities are described explicitly.     

Differentiation identities for hypergeometric functions

It is well-known that differentiation of hypergeometric function multiplied by a certain power function yields another hypergeometric function with a different set of parameters. Such differentiation identities for hypergeometric functions have been used widely in various fields of applied mathematics and natural sciences. In this expository note, we provide a simple proof of the differentiation identities, which is based only on the definition of the coefficients for the power series expansion of the hypergeometric functions.     

一些超几何级数恒等式的新的证明

The Abel＇s lemma on summation by parts is employed to evaluate terminating hypergeometric series. Several summation formulae are reviewed and some new identities are established.     

Probability Measures on Dual Objects to Compact Symmetric Spaces and Hypergeometric Identities

We derive, in several different ways, combinatorial identities which are multidimensional analogs of classical Dougall's formula for a bilateral hypergeometric series of the type ₂H₂. These identities have a representation-theoretic meaning. They make it possible to construct concrete examples of spherical functions on inductive limits of symmetric spaces. These spherical functions are of interest to harmonic analysis.     

Further bibasic hypergeometric transformations and their applications

In this paper, we give several new transformation formulae and generalize one result obtained by Singh [U.B. Singh, Certain bibasic hypergeometric transformations and their applications, J. Math. Anal. Appl. 201 (1996) 44-56] with the help of Bailey's transform. Further, some new multiple series identities of the Rogers-Ramanujan type are established.     

Modularity and Total Ellipticity of Some Multiple Series of Hypergeometric Type

We collect some new evidence for the validity of the conjecture that every totally elliptic hypergeometric series is modular invariant and briefly discuss a generalization of such series to Riemann surfaces of arbitrary genus.