The umbral calculus and identities for hypergeometric functions with special arguments (Q4400943)

The generalized hypergeometric function with \(p\) numerator parameters and \(q\) denominator parameters is defined by \[ pFq\Biggl(\begin{matrix} a_1,a_2,\dots, a_p\\ b_1,b_2,\dots, b_q\end{matrix}; z\Biggr)= \sum^\infty_{k= 0} {\prod^p_{d= 1}(a_j)_k\over k!\prod^q_{j= 1}(b_j)_k} z^k, \] where \(b_j= \mp 0,-1,-2,\dots\) for \(j= 1,2,\dots, q\), and \((a)_k= [a(a+ 1)\cdots(a+ k-1)]\) if \(k>0\), and \((a)_k= 1\) if \(k= 0\). The author presents a review of the closed-form expression for the above functions with special arguments. Sections 2 and 3 deal with series of type \({_3F_2}(1)\) and \({_4F_3}(1)\), respectively. The application of mathematical software to some important problems is illustrated (``hyper'' is quite useful to determine if certain sums can be expressed in closed form). The last section, Section 4, deals with the use of umbral calculus to derive identities for hypergeometric functions. For the entire collection see [Zbl 0890.00032].