Recursion formulae for basic hypergeometric functions
type: Item
instance of: scholarly article
title: Recursion formulae for basic hypergeometric functions
zbMATH Open document ID: 0960.33008
DOI: 10.1016/S0377-0427(00)00334-4
published in: Journal of Computational and Applied Mathematics
publication date: 2001-05-07T00:00:00Z
review text: It is shown that the basic hypergeometric functions \[ \begin{multlined} F_k(\omega):=\frac{\prod_{i=1}^r(a_i;q)_k}{(q;q)_k\prod_{j=1}^s(b_j;q)_k} \omega^k\left[(-1)^kq^{\binom{k}{2}}\right]^{s+1-r}\\ {}_{r+1}\phi_{s+1} \left(\left. a_1q^k,\ldots,a_rq^k,\alpha q^{k+1} b_1q^k,\ldots,b_sq^k,\alpha\beta q^{2k+2}\right|q;\omega q^{k(s+1-r)}\right)\end{multlined} \] satisfy a recurrence relation of the form \[ \sum_{i=0}^{\vartheta}\left[A_i(k)+\frac{1}{\omega}B_i(k)\right] F_{k+i}(\omega)=0,\quad\vartheta=\max(r+1,s+2), \] where \(A_i(k)\) and \(B_i(k)\) are rational functions of \(q^k\), \(B_0(k)\equiv 0\) and \(B_{\vartheta}(k)\equiv 0\). In the case that \(r=s+1\) and \(\omega=q\) this result can be refined to~: the basic hypergeometric functions \[ F_k(q):=\frac{\prod_{i=1}^{s+1}(a_i;q)_k}{(q;q)_k\prod_{j=1}^s(b_j;q)_k} q^k {}_{s+2}\phi_{s+1}( a_1q^k,\ldots,a_{s+1}q^k,\alpha q^{k+1} b_1q^k,\ldots,b_sq^k,\alpha\beta q^{2k+2}|q;q) \] satisfy a recurrence relation of order \(s+1\), \[ \sum_{i=0}^{s+1}C_i(k)F_{k+i}(q)=0 \] with rational coefficients in \(q^k\). This can be seen as a partial analogue of a result by J.~Wimp for the generalized hypergeometric functions \[ \begin{multlined} U_k(\omega):=\frac{\prod_{i=1}^r(a_i)_k}{(k+\gamma)_k\prod_{j=1}^s(b_j)_k} \omega^k\\ {}_{r+1}F_{s+1}(a_1+k,\dots,a_r+k,\alpha+k b_1+k,\dots,b_s+k,2k+\gamma+1|\omega)\end{multlined} \] derived in [\textit{J.~Wimp}, Math. Comput. 22, 363-373 (1968; Zbl 0186.10401].
reviewed by: Roelof Koekoek
Mathematics Subject Classification ID: 33D15
zbMATH DE Number: 1533138
zbMATH Keywords: basic hypergeometric functions
zbMATH Keywords: recurrence relations
zbMATH Keywords: \(q\)-difference equations
zbMATH Keywords: little \(q\)-Jacobi polynomials
author: Stanisław Lewanowicz
MaRDI profile type: Publication
cites work: Q4040884
cites work: Über Orthogonalpolynome, die q‐Differenzengleichungen genügen
cites work: Q4327870
cites work: Recurrence Relations for Hypergeometric Functions of Unit Argument
cites work: Recurrence relations for the coefficients of the Fourier series expansions with respect to q-classical orthogonal polynomials
cites work: The special functions and their approximations. Vol. I, II
cites work: Certain Expansions of the Basic Hypergeometric Functions
cites work: Recursion Formulae of Hypergeometric Functions
Wikidata QID: Q126388296
Recommended article: Q3619474
Recommended article: Q5690571
Recommended article: A quadratic formula for basic hypergeometric series related to Askey-Wilson polynomials
Recommended article: Some special cases of the generalized hypergeometric function \(_{q+1}F_ q\)
Recommended article: Q3431257
Recommended article: Q3141970
Recommended article: Infinite sums of products of continuous q-ultraspherical functions
Recommended article: Q4582796
Recommended article: Q3629685
Recommended article: Topics and Methods in q-Series
description: scientific article; zbMATH DE number 1533138