Reduction formulae for Kampé de Fériet functions \(F^{p:2;1}_{q:1;0}\) (Q2640002)

The author establishes the reduction formula \[ (1-\beta +\alpha)F^{p:2;1}_{q:1;0} \left[ \begin{matrix} \mu_ 1,...,\mu_ p:\\ \nu_ 1,...,\nu_ q:\end{matrix} \begin{matrix} \alpha,1;1\\ \beta;\end{matrix} | x,x \right] = \] \[ (1-\beta)_{p+1}F_ q \left[ \begin{matrix} \mu_ 1,...,\mu_ p,\\ \nu_ 1,...,\nu_ q,\end{matrix} \begin{matrix} 1\\ \quad \end{matrix} | x \right]+ \alpha_{p+2}F_{q+1} \left[ \begin{matrix} \mu_ 1,...,\mu_ p\\ \nu_ 1,...,\nu_ q,\end{matrix} \begin{matrix} \alpha+1,\\ \beta \end{matrix} \begin{matrix} 1 \\ \quad \end{matrix} | x \right]. \] Moreover, four reduction formulae for \[ F^{0+2;1}_{2-1;0}\left[ \begin{matrix} \quad \\ \gamma_ 1,\gamma_ 2:\end{matrix} \begin{matrix} \alpha_ 1,\alpha_ 2;\\ \delta;\end{matrix} \begin{matrix} 1\\ \quad \end{matrix} | \frac{z^ 2}{4},\frac{z^ 2}{4} \right] \] in terms of \({}_ 2F_ 2[z]\) and \({}_ 2F_ 2[-z]\) are given. In each of the four cases, the parameters \(\gamma_ 1,\gamma_ 2,\alpha_ 1,\alpha_ 2\) are connected by two linear relations, and \(\delta\) equals 3/2 or 1/2. The proofs utilize properties of incomplete Lipschitz-Hankel integrals of cylindrical functions.