Identities of nonterminating series by Zeilberger's algorithm

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 non-terminating case this is illustrated.Comment: 12 page

Special functions and q-commuting variables

This paper is mostly a survey, with a few new results. The first part deals with functional equations for q-exponentials, q-binomials and q-logarithms in q-commuting variables and more generally under q-Heisenberg relations. The second part discusses translation invariance of Jackson integrals, q-Fourier transforms and the braided line.Comment: plain TeX, 35 pages; Univ. of Amsterdam, Dept. of Math.; to appear in "Special Functions, q-Series and Related Topics", The Fields Institute Communications Series, minor revision, mainly linguisti

Fractional Integral and Generalized Stieltjes Transforms for Hypergeometric Functions as Transmutation Operators

For each of the eight $n$-th derivative parameter changing formulas for Gauss hypergeometric functions a corresponding fractional integration formula is given. For both types of formulas the differential or integral operator is intertwining between two actions of the hypergeometric differential operator (for two sets of parameters): a so-called transmutation property. This leads to eight fractional integration formulas and four generalized Stieltjes transform formulas for each of the six different explicit solutions of the hypergeometric differential equation, by letting the transforms act on the solutions. By specialization two Euler type integral representations for each of the six solutions are obtained

The structure relation for Askey-Wilson polynomials

An explicit structure relation for Askey-Wilson polynomials is given. This involves a divided q-difference operator which is skew symmetric with respect to the Askey-Wilson inner product and which sends polynomials of degree n to polynomials of degree n+1. By specialization of parameters and by taking limits, similar structure relations, as well as lowering and raising relations, can be obtained for other families in the q-Askey scheme and the Askey scheme. This is explicitly discussed for Jacobi polynomials, continuous q-Jacobi polynomials, continuous q-ultraspherical polynomials, and for big q-Jacobi polynomials. An already known structure relation for this last family can be obtained from the new structure relation by using the three-term recurence relation and the second order q-difference formula. The results are also put in the framework of a more general theory. Their relationship with earlier work by Zhedanov and Bangerezako is discussed. There is also a connection with the string equation in discrete matrix models and with the Sklyanin algebra.Comment: 18 pages, minor corrections and updated reference

On the equivalence of two fundamental theta identities

Two fundamental theta identities, a three-term identity due to Weierstrass and a five-term identity due to Jacobi, both with products of four theta functions as terms, are shown to be equivalent. One half of the equivalence was already proved by R.J. Chapman in 1996. The history and usage of the two identities, and some generalizations are also discussed.Comment: v3: 15 pages, minor errors corrected, references added, appendix on four-term theta identities added, accepted by Analysis and Application