Expansions of Appell's double hypergeometric functions. (Q2586667)

Mit Hilfe der einander umkehrenden, sinnbildlich einwirkenden Ausdrücke \[ \begin{gathered} \nabla (h) =\dfrac{\varGamma(h)\varGamma(\delta+\delta'+h)}{\varGamma(\delta +h)\varGamma(\delta'+h)}, \tag{1} \\ \Delta(h) = =\dfrac{\varGamma(\delta + h)\varGamma(\delta'+h)}{\varGamma(h)\varGamma(\delta +\delta'+h)}, \quad \delta,\delta'\equiv x\dfrac{\partial}{\partial x}, y\dfrac{\partial}{\partial y} \tag{2} \end{gathered} \] finden Verf. für die in der Überschrift genannten Funktionen \(F^{(k)}\) \((k = 1,\ldots, 4)\) Darstellungen wie \[ F^{(2)}(a;b,b';c,c';x,y) = \nabla(a)\quad F(a,b;c;x)F(a,b';c';y); \tag{3} \] aus ihr leiten sie mit Hilfe der Reihen für \(\varGamma\)-Brüche der Art (1), (2) die Entwickung her \[ \begin{gathered} F^{(2)}(a;b,b';c,c';x,y) \tag{4} \\ =\sum\limits_{r=0}^\infty\dfrac{(a)_r(b)_r(b')_r}{r!(c)_r(c')_r}x^ry^r F(a+r,b+r;c+r;x) F(a+r,b'+r;c'+r:y), \\ (a)_r = \dfrac{\varGamma(a+r)}{\varGamma(a)}. \end{gathered} \] Sie geben im ganzen achtzehn solcher Entwicklungen an. Gewisse andere Formeln der Art (3) lassen sich nicht so leicht wie die obige auswerten, weil sie mit Malteilen wie \(\nabla (a) \nabla (b)\) behaftet sind, die nicht wie \(\nabla (a)\) als hypergeometrisch zu erkennen sind. Zum Ersatz stellen Verf. zwölf Beziehungen auf, deren erste lautet \[ \begin{aligned} F(a,b;c;&x+y-xy) \tag{5} \\ &=\sum\limits_{r=0}^\infty (-1)^r\dfrac{(a)_r(b)_r}{r!(c)_r}x^ry^rF(a+r,b+r; c+r; x+y); \end{aligned} \] sie hat ihren Ursprung in der Taylorschen Reihe. Andere der zwölf Reihen von der Art (5) bedürfen zu ihrer Herleitung weitergehender Hilfsmittel aus der Lehre von den hypergeometrischen Funktionen (h. F.) höherer Ordnung. -- Indem Verf. in den gefundenen Entwicklungen rechts die h. F. durch Integrale ersetzen, erhalten sie Integraldarstellungen der linken Seiten, von denen folgende angeführt sei: \[ \begin{gathered} F^{(4)}(a,b;c,c';x-xy,y-xy) = \dfrac{\varGamma(c)\varGamma(c')}{\left[\varGamma(b)\right]^2 \varGamma(c-b)\varGamma(c'-b)} \\ \cdot\int\limits_0^1\int\limits_0^1(uv)^{b-1}(1-u)^{c-b-1}(1 -v)^{c'-b-1}(1-ux)^{-a}(1-vy)^{-a} \\ \qquad \qquad \qquad \cdot F\left[a,a+b-c-c'+1; b; \dfrac{uvxy}{(1-ux)(1-vy)}\right]\,du\,dv, \\ \mathfrak{R}b,\mathfrak{R}(c-b),\mathfrak{R}(c'-b) >0; \quad |x|\leqq\varrho, \;|y|\leqq\varrho', \;\varrho+\varrho' <1. \end{gathered} \] Die Reihen der Art (4) und (5) haben Verf. zunächst rein der Form nach gewonnen; sie beenden ihre Arbeit mit einer Erörterung ihrer absoluten Konvergenz. Diese stützen sie auf Ungleichungen wie \[ F(a+1,b;c+1;x)\leqq\dfrac{c}{A}F(a,b;c;x),\quad A=\min\,(a,c) \] und entsprechende für die Funktionen \(F^{(k)}\), die dann gelten, wenn alle Veränderlichen und Parameter in \(F\) und \(F^{(k)}\) positiv sind. Endgültig erweist sich dann z. B. die Reihe (4) als absolut konvergent unter der Bedingung \(|x| + |y| < 1\). -- Zum Schlüsse bemerken Verf., daß ihnen die Ausdehnung der vorstehenden Ergebnisse auf h. F. zweiter Ordnung mit mehr als zwei Veränderlichen nicht gelungen ist, daß sie sich aber leicht auf solche Funktionen zweier Veränderlichen höherer Ordnung (d. h. mit mehr Parametern) übertragen lassen.