Integration of the differential equations of Appell's func\-tion \(F_4\). (Q2585305)

Das partielle Differentialsystem, dem die Appellsche Funktion \(F_4\) genügt (vgl. z. B. \textit{Bailey}, Generalized hypergeometric series, Cambridge Tracts 32 (1935; F. d. M. \(61_{\text{I}}\), 406), Kap. 9, S. 72ff.) wird durch bestimmte Integrale des folgenden neuen Typs gelöst: \[ z={\int\limits_{C}}t^{-\gamma}(1-t)^{-\gamma'} f\left(\frac xt+\dfrac{y}{1-t}\right)\,dt. \tag{1} \] Nimmt man hier für \(f(\omega)\) die Gaußsche Reihe \({}_2F_1(\alpha, \beta,\gamma+\gamma'-1;\omega)\), und ist dann \(C\) eine geeignete Doppelschleife um \((0,1)\), so entsteht bis auf einen von \(x\), \(y\) unabhängigen Faktor die Funktion \(F_4\), und wenn man für \(f\) \textit{irgend} eine Lösung der betreffenden Gaußschen Gleichung zuläßt und die Integrationswege geeignet aus\-wählt, gelangt man zu einer vollen Lösung des Differentialsystems. Die Kenntnis der gewöhnlichen hypergeometrischen Funktion (Riemannschen \(P\)-Funktion) wird nun in den folgenden, teilweise skizzenhaften Ausführungen zur Untersuchung von \(z\) im großen auf Grund der Funktionaltransformation (1) verwertet. Die \(t\)-Werte, für die \(f\) singular wird, sind rationale Funktionen von \(X\), \(Y\), wo \(x = XY\), \(y = (1 -X) (1 - Y)\); die singulären Punkte von \(z\) sind unter denjenigen Stellen \((x, y)\) bzw. \((X, Y)\) enthalten, für die zwei solche \(t\)-Werte zusammenfallen; das gibt als sin\-guläre Kurven \(X\) oder \(Y = 0\), 1, \(\infty\); \(X = Y\). Es wird das Umlaufsverhalten untersucht (Monodromiegruppe), ferner werden konvergente Darstellungen für die volle Um\-gebung eines singulären Punktes angegeben, in dem sich zwei singuläre Kurven schneiden, während dies in den Schnittpunkten \textit{dreier} solcher nur in ``hyperkoni\-schen'' Teilumgebungen möglich ist. -- Führt man auch für \(F\) die üblichen Integral\-darstellungen ein, so entsteht ein Doppelintegral über zwei komplexe Integrations\-veränderliche \(t\), \(s\), das insbesondere für den Fall \(\gamma + \gamma' = \alpha + \beta + 1\) in ein Pro\-dukt zweier gewöhnlicher hypergeometrischer Integrale übergeht; darin steckt als Sonderfall ein Ergebnis von Bailey über die Zerlegbarkeit der Appellschen Reihe \(F_4\) (vgl. Bailey a. a. O. S. 81/83).