Holonomic tools for basic hypergeometric functions

DOI10.1142/9789813228887_0020MaRDI QIDQ5377725zbMATH OpenOpenAlexFDO

Authors Christoph Koutschan, Peter Paule

Publication date 27 May 2019

Published in Frontiers in Orthogonal Polynomials and q-Series (Search for Journal in Brave)

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

zbMATH Keywords

\(q\)-holonomic recurrencebasic hypergeometric functioncreative telescopingholonomic functionsymbolic summation

Mathematics Subject Classification ID

(q)-calculus and related topics (05A30) Basic hypergeometric functions in one variable, ({}_rphi_s) (33D15) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10)

Abstract: With the exception of q-hypergeometric summation, the use of computer algebra packages implementing Zeilberger's "holonomic systems approach" in a broader mathematical sense is less common in the field of q-series and basic hypergeometric functions. A major objective of this article is to popularize the usage of such tools also in these domains. Concrete case studies showing software in action introduce to the basic techniques. An application highlight is a new computer-assisted proof of the celebrated Ismail-Zhang formula, an important q-analog of a classical expansion formula of plane waves in terms of Gegenbauer polynomials.

Recommendations

• Algorithms for \(q\)-hypergeometric summation in computer algebra
• On Zeilberger's algorithm and its \(q\)-analogue
• Advanced applications of the holonomic systems approach. (Abstract of thesis)
• A Mathematica package for \(q\)-holonomic sequences and power series
• scientific article; zbMATH DE number 1131976

Cited in

(1)

• Algorithmic determination of q-power series for q-holonomic functions

Describes a project that uses

Uses Software

• HolonomicFunctions
• Mgfun

This page was built for publication: Holonomic tools for basic hypergeometric functions

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