Abstract:A term $a_n$ is $m$-fold hypergeometric, for a given positive integer $m$, if the ratio $a_{n+m}/a_n$ is a rational function over a field $K$ of characteristic zero. We establish the structure of holonomic recurrence equation, i.e. linear and homogeneous recurrence equations having polynomial coefficients, that have $m$-fold hypergeometric term solutions over $K$, for any positive integer $m$. Consequently, we describe an algorithm, say $mfoldHyper$, that extends van Hoeij's algorithm (1998) which computes a basis of the subspace of hypergeometric $(m=1)$ term solutions of holonomic recurrence equations to the more general case of $m$-fold hypergeometric terms. We generalize the concept of hypergeometric type power series introduced by Koepf (1992), by considering linear combinations of Laurent-Puiseux series whose coefficients are $m$-fold hypergeometric terms. Thus thanks to $mfoldHyper$, we deduce a complete procedure to compute these power series; indeed, it turns out that every linear combination of power series with $m$-fold hypergeometric term coefficients, for finitely many values of $m$, is detected. On the other hand, we investigate an algorithm to represent power series of non-holonomic functions. The algorithm follows the same steps of Koepf's algorithm, but instead of seeking holonomic differential equations, quadratic differential equations are computed and the Cauchy product rule is used to deduce recurrence equations for the power series coefficients. This algorithm defines a normal function that yields together with enough initial values normal forms for many power series of non-holonomic functions. Therefore, non-trivial identities are automatically proved using this approach. This paper is accompanied by implementations in the Computer Algebra Systems (CAS) Maxima 5.44.0 and Maple 2019.

Some Expansions of Functions Based Upon Two Sequences of Hypergeometric Polynomials

An Extension of the Taylor Series Expansion by Using the Bell Polynomials

General series identities, some additive theorems on hypergeometric functions and their applications

Some zero-balanced terminating hypergeometric series and their applications

Hypergeometric-Type Sequences

Expansion of hypergeometric functions in terms of polylogarithms with a nontrivial change of variables

Expansion of hypergeometric functions in terms of polylogarithms with nontrivial variable change

Expansion formulas for elliptic hypergeometric series

Some Expansions for a Class of Generalized Humbert Matrix Polynomials

Symbolic computation of hypergeometric type and non-holonomic power series

Extensions of the Classical Theorems for Very Well-Poised Hypergeometric Functions

A General Family of $q$-Hypergeometric Polynomials and Associated Generating Functions

On the interplay among hypergeometric functions, complete elliptic integrals, and Fourier–Legendre expansions

Summed series involving \,_{1}F_{2} hypergeometric functions

EXPANSIONS OF KAMP ́E DE F ́ERIET HYPERGEOMETRIC FUNCTIONS

Hermite polynomials linking Szász–Durrmeyer operators

Expansions of averaged truncations of basic hypergeometric series

Some Applications of Srivastava'S Theorem Involving A Certain Family of Generalized and Extended Hypergeometric Polynomials

A Certain Class of Q-Series Transformations

Some Further Reduction Formulas for Certain Classes Of-Generalized Multiple Hyper Geometric Series Arising in Physical, Astrophysical, and Quantum Chemical Applications

Nonsymmetric interpolation Macdonald polynomials and g_n basic hypergeometric series