Some recurrence relations for the generalized hypergeometric functions of the Gauss type (Q4941484)

The paper deals with integral representations and recurrence relations for the so-called generalized hypergeometric functions of Gauss type, \({}_{q+1}F_q (z)\). Following \textit{V. Kiryakova} [Generalized fractional calculus and applications (1994; Zbl 0882.26003)], the generalized hypergeometric functions \({}_pF_q (z)\) can be considered in three separate classes, depending on whether \(p<q, p=q\) or \(p=q+1\), called resp. of Bessel type, confluent type and Gauss type. Then, all these functions can be represented as generalized operators of fractional integration or differentiation [a notion originated by \textit{S. L. Kalla}, Proc. Conf. Kozubnik 1979, Lect. Notes Math. 798, 258-280 (1980; Zbl 0448.26005)] of simpler special functions like the Bessel functions, the confluent hypergeometric functions or the Gauss functions, or even as such operators of three basic elementary functions, resp. \(\cos_{q-p}(z)\), \(\exp(z)\), \(z^{\alpha} (1-z)^{\beta}\). The authors of this paper have made an effective realization of this approach, especially in the case of Gauss type functions \({}_pF_q (z)\), \(p=q+1\). Namely, they propose a representation of these functions as iterated integrals of the Gauss hypergeometric function (\(|\arg(1-z)|<\pi\)): \[ {}_{q+1}F_q \left[ \begin{matrix} \alpha,\beta,a_3,a_4,\dots,a_q,a_{q+1} \\ \gamma,b_2,b_3,\dots,b_q \end{matrix} ; z \right] = \prod\limits_{i=0}^{q-2} \Gamma \left[ \begin{matrix} b_{q-i}\\ a_{q+1-i},b_{q-i}-a_{q+1-i} \end{matrix}\right] \] \[ \times \int\limits_0^1 \dots \int\limits_0^1 \prod\limits_{i=0}^{q-2} \left[t_{i+1}^{a_{q+1-i}-1} (1-t_{i+1})^{b_{q-i}-a_{q+1-i}-1}\right] {}_2F_1 (\alpha,\beta;\gamma;t_{q-1}\dots t_2 t_1 z) dt_{q-1}\ldots dt_2 dt_1. \] Further, using the relations between the contiguous Gauss functions, they find relations of similar nature for the more general Gauss type functions \({}_{q+1}F_q (z)\). By the same procedure, starting from the relations between \({}_2F_1 (\alpha,\beta;\gamma;z)\) and any pair of functions \({}_2F_1 (\alpha+l,\beta+m;\gamma+n;z)\), where \(l,m,n\) are integers, the authors obtain analogous recurrence relations for the \({}_{q+1}F_q (z)\)-functions. Many special cases are considered, in particular when \(\gamma=\alpha\) or \(\gamma=\beta\).