Explicit construction of general multivariate Padé approximants to an Appell function (Q1767057)

Properties of Padé approximants to the Gauss hypergeometric function \(_2F_1(a,b;c;z)\) have been studied in several papers and some of these properties have been generalized to several variables in [\textit{A. Cuyt, K. Driver, J. Tan} and \textit{B. Verdonk}, ibid. 10, 29--49 (1999; Zbl 0926.41013)]. In this paper the author can derive explicit formulae for the general multivariate Padé approximants to the Appell function \(F_1(a,1,1;a +1;x,y) =\sum^\infty_{i,j=0}(ax^iy^i/(i + j + a))\), where \(a\) is a positive integer. In particular, he proves that the denominator of the constructed approximant of partial degree \(n\) in \(x\) and \(y\) is given by \(q(, y) = (-1)^n(\begin{smallmatrix} m+n+a//n\end{smallmatrix})F_1(-m -a,-n, -n; -m - n-a, x, y)\), where the integer \(m\), which defines the degree of the numerator, satisfies \(m\geq n + 1\) and \(m + a \geq 2n\). This formula generalizes the univariate explicit form for the Padé denominator of \(_2F_1(a,1;c;z)\), which holds for \(c > a > 0\) and only in half of the Padé table. From the explicit formulae for the general multivariate Padé approximants, the normality of a particular multivariate Padé table is deduced.