Identities of nonterminating series by Zeilberger's algorithm

DOI10.1016/S0377-0427(98)00176-9MaRDI QIDQ1298586zbMATH OpenFDO

Authors Tom H. Koornwinder

Publication date 5 October 2000

Published in Journal of Computational and Applied Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/9805010

zbMATH Keywords

\({_3F_2}\) hypergeometric seriesasymptotic estimatescomputer algebraGosper algorithmnon-terminating hypergeometric seriesSaalschütz' summation formulaWZ methodZeilberger algorithm

Mathematics Subject Classification ID

Generalized hypergeometric series, ({}_pF_q) (33C20) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10) Analysis of algorithms (68W40)

Abstract: 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.

Review text

The Gosper algorithm and in particular the subsequent Zeilberger algorithm and the related WZ method have been extremely successful for an approach by computer algebra to identities involving hypergeometric functions [cf. \textit{M. Petovšek}, \textit{H. S. Wilfe} and \textit{D. Zeilberger}, \(A=B\). Wellesley, MA: A. K. Peters (1996; Zbl 0848.05002)]. But this method remains restricted to the case of identities for the terminating hypergeometric series. The author shows that automated proofs of the identities for non-terminating hypergeometric series are feasible by a combination of Zeilberger's algorithm and asymptotic estimates. It is shown that the method extends to the non-terminating generalization of Saalschütz' summation formula for a terminating Saalschützian \({_3F_2}\) hypergeometric series of argumentation \(1\).

Recommendations

• Non-Terminating Basic Hypergeometric Series and the q-Zeilberger Algorithm
• Finding identities with the WZ method
• A fast algorithm for proving terminating hypergeometric identities

Cites work

• Finding identities with the WZ method
• scientific article; zbMATH DE number 194092 (Why is no real title available?)
• scientific article; zbMATH DE number 3474264 (Why is no real title available?)
• scientific article; zbMATH DE number 872231 (Why is no real title available?)
• scientific article; zbMATH DE number 3081880 (Why is no real title available?)
• Jacobi functions as limit cases of q-ultraspherical polynomials

Cited in

(9)

• The \(q\)-WZ method for infinite series
• A generalization of Kummer's identity.
• Quantum mechanical out-of-time-ordered-correlators for the anharmonic (quartic) oscillator
• Non-Terminating Basic Hypergeometric Series and the q-Zeilberger Algorithm
• scientific article; zbMATH DE number 1504629 (Why is no real title available?)
• Creative telescoping for holonomic functions
• ON HYPERGEOMETRIC SERIES REDUCTIONS FROM INTEGRAL REPRESENTATIONS, THE KAMPÉ DE FÉRIET FUNCTION AND ELSEWHERE
• Baikov-Lee representations of cut Feynman integrals
• An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities

Describes a project that uses

Uses Software

• hsum.mpl
• EKHAD

This page was built for publication: Identities of nonterminating series by Zeilberger's algorithm

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1298586)