A further generalization of Hilbert's double series theorem. (Q572315)

Die \textit{Hilbert}sche Ungleichung \[ \sum\limits_{\mu, \nu} \frac{a_{\mu} b_{\nu}}{\mu + \nu} \leqq \frac{\pi}{\sin \left( \dfrac{\pi}{p} \right)} \left( \sum\limits_{\mu} a^p_{\mu} \right)^\frac{1}{p} \left( \sum\limits_{\nu} b^q_{\nu} \right)^\frac{1}{q} \] \(\left( p>1, \, \dfrac{1}{p}+\dfrac{1}{q}=1, \, a_{\mu} \geqq 0, \, b_{\nu} \geqq 0 \right)\) wird unter Benutzung der bekannten Verallgemeinerungen der \textit{Hölder}schen Ungleichung \[ \sum \lambda u v \leqq \left( \sum \lambda u^p \right)^{\frac{1}{p}} \, \left( \sum \lambda v^q \right)^{\frac{1}{q}} \] (\textit{R. Cooper}, 1927; F. d. M. 53, 219 (JFM 53.0219.*)) in folgender Weise verallgemeinert: Wenn \(\varPhi(x)\) und \(\varPsi(x)\) in \(0 \leqq x < +\infty\) monoton wachsende Funktionen sind, \(\varPhi(0) = 0, \, \varPhi(\infty) = \infty, \, \varPsi(0) = 0, \, \varPsi(\infty) = \infty\), wenn ferner \(\varPhi (x)\) konvex ist und der Ungleichung \[ \varPhi(xy) \geqq \varPhi(x) \varPhi(y) \] genügt, wenn schließlich die Inversen \(\varPhi^{-1}\) und \(\varPsi^{-1}\) von \(\varPhi\) und \(\varPsi\) der Bedingung \(\varPhi^{-1} (x) \varPsi^{-1} (x) = x\) genügen, so besteht für \(a_{\mu} \geqq 0, \, b_{\nu} \geqq 0\) die Ungleichung \[ \sum\limits_{\mu, \nu} \frac{a_{\mu} b_{\nu}}{\mu + \nu} \leqq \frac{\varPhi^{-1} \left[ \sum \varPhi(a_{\mu}) \right]} {\varPsi^{-1} \left[ 1/\sum \varPsi(b_{\nu}) \right]} \cdot \int\limits_{0}^{\infty} \frac{\varPhi^{-1}(x) \, dx}{x(1+x)}. \] Es wird ferner gezeigt, daß die Ungleichung in einem wohlbestimmten Sinne keine Verschärfung zuläßt.