No label defined (Q4496211)

The authors review various methods that apply to \(_{p+1}F_p(z)\) as \(z\to 1\). Let \(s\) denote the difference between the sum of the denominator parameters and that of the numerator parameters. Then, if \(s\) is not equal to an integer, the continuation of \(_{p+1}F_p(z)\) is a power series in \((1-z)\) plus \((1-z)^s\) multiplied by another power series in \((1-z)\). A number of expressions for the coefficients are given; they are too long to reproduce here. Several methods of obtaining the coefficients apply. A recurrence relation with respect to \(p\), and the known formulas for the continuation of the Gaussian \(_2F_1\) could be used. One may also utilize various properties of Saalschützian hypergeometric series. The zero-balanced series \((s=0)\) are discussed separately. In this case, logarithmic terms appear in the asymptotic expressions for \(_{p+1}F_p (z)\) as \(z\to 1\). Again, a number of formulas for the coefficients are given. It should be noted that the denominator \(\ell+1\) should be replaced with \[ (\ell+1)! (b_2+b_3-a_4 +1)_\ell \] in (4.10) and with \[ (\ell+ 1)!\left( \sum^p_{j=k-1} b_j-\sum^{p+1}_{j=k +1}a_j+1 \right)_\ell \] in (4.11). These corrections have been confirmed by the authors. The partial sum of \(m\) terms of \(_{p+1}F_p(1)\) is also considered, and an asymptotic formula for \(m\to \infty\) is given. In particular, it is found that the leading finite terms in the two asymptotic expressions \((z\to 1,\;m\to\infty)\) differ by a constant that equals \(\psi(1)\) times a gamma fraction involving the parameters. For the entire collection see [Zbl 0933.00015].