Some inequalities satisfied by the hyper-geometric series in two variables. (Q572944)

Nach \textit{Tschebyscheff} (vgl. z. B. \textit{Hardy-Littlewood-Pólya}, Inequalities (1934; F. d. M. \(60_{\text{I}}\), 169-170), p. 43) ist \[ \textstyle\int\limits_{0}^{1}f(u)\,g(u)\,du< \int\limits_{0}^{1}f(u)\;du\cdot \int\limits_{0}^{1} g(u)\,du, \] wenn \(f\), \(g\) in \(\langle 0,1\rangle\) im entgegengesetzten Sinn monoton sind. Dies wird zu Abschätzungen des hypergeometrischen Integrals \[ \textstyle\int\limits_{0}^{1}u^{\alpha -1}(1-u)^{\gamma -\alpha -1} (1-ux)^{-\beta }(1-uy)^{-\beta '}\,du \] unter verschiedenen Annahmen für die reellen Größen \[ \alpha,\beta,\beta ',\gamma ;\;x,y \] benutzt. (Es sei bemerkt, daß diese Methode für spezielle hypergeometrische, nämlich elliptische, Integrale schon 1885 von \textit{F. Franklin} (F. d. M. 17, 264 (JFM 17.0264.*)) angewendet worden ist. Die Gültigkeitsbereiche der erhaltenen Ungleichungen wären aber genauer nachzuprüfen; unrichtig ist jedenfalls die im Text benutzte Behauptung, daß aus \[ (1)\;\;x>0, y>0;\quad(2)\;\;\alpha,\beta,\beta ',\gamma \;\text{reell};\quad (3)\;\;\gamma -\alpha >1,\alpha >1 \] das monotone \textit{Abnehmen} der Funktion \[ g(u)=(1-u)^{\gamma -\alpha -1}(1-ux)^{-\beta }(1-uy)^{-\beta '} \] im Intervall \(\langle 0,1\rangle\) folge. Dies zeigt das Beispiel \(\alpha =\beta =\beta '=2\), \(\gamma =4\), \(x=y=\frac{1}{2}\); denn \[ g(u)=\frac{1-u}{\biggl(1-\dfrac{u}{2}\biggr)^4} \] \textit{wächst} in \(0\leqq u<\frac{2}{3}\). -- Die Ungleichung \[ \varGamma (p+1)\varGamma (q+1)<\varGamma (p+q), \] für die Verf. auf \textit{P. Mitra} (1930; F. d. M. \(56_{\text{I}}\), 221-222) verweist, findet sich schon 1885 bei \textit{Franklin} a. a. O.