The generalization of certain inequality theorems involving powers. (Q563765)

Es handelt sich um eine eingehende Untersuchung über die Verallgemeinerungen gewisser Ungeleichungen von \textit{Hardy-Littlewood } (vgl. 1927; F. d. M. 53, 193 (JFM 53.0193.*)) über Potenzreihen mit nichtnegativen Koeffizienten bzw. über Momentfolgen mit nichtnegativer Belegung. Verf. untersucht zunächst die beiden Ungleichungen \[ \int _{0}^{1} \varPhi ((1-x)^{\chi }A(x))(1-x)^{-1}dx \leqq \sum _{1}^{\infty } \varPhi (\varGamma (\chi )n^{1-\chi }a_n)n^{-1}, \] \[ A(x) = \sum _{1}^{\infty } a_n x^n, \quad a_n \leqq o , \] und \[ \sum _{1}^{\infty } \varPhi (n^{\chi }A_n )n^{-1} \leqq \int _0^1 \varPhi (\varGamma (\chi )(1-x)^{1-\chi }a(x)) (1-x)^{-1} dx, \] \[ A_n = \int _0^1 a(x)x^{n}dx, \qquad a(x) \geqq 0. \] Sie gelten für \(\chi > 0\) und beliebige monoton wachsende konvexe Funktionen \(\varPhi (x)\) mit \(\varPhi (0) = 0\). Die Konstante \(\varGamma (\chi )\) kann allgemein nicht verbessert werden. Verf. ertwickelt noch weitere sehr allgemeine (neue Maßfunktionen wie \(\varPhi (x)\) enthaltende) Typen von Ungleichungen und überträgt sie auch auf \textit{Dirichlet}sche Reihen. Bei der Untersuchung der Notwendigkeit der den Maßfunktionen aufzuerlegenden Voraussetzungen spielt der Begriff der Quasikonvexität eine wichtige Rolle. Die für \(x \geqq 0\) nichtnegative Funktion \(\varPhi (x)\) heißt quasikonvex, wenn es eine konvexe Funktion \(\psi (x)\) gibt, so daß \[ \psi (x) \leqq \varPhi (x) \leqq A\psi (Bx) \] mit passenden Konstanten \( A, B\) gilt. Es ist interessant, daß\ diese Eigenschaft notwendig und hinreichend dafür ist, daß\ die \textit{Jensenschen} Ungleichungen \[ \varPhi \left ( \frac {\sum u_n x_n}{\sum u_n}\right ) \leqq A\frac {\sum u_n \varPhi (Bx_n)}{\sum u_n} \] , \[ \varPhi \left ( \frac {\int u(t)x(t)dt}{\int u(t)dt} \right ) \leqq A\frac {\int u(t)\varPhi (Bx(t))dt}{\int u(t)dt} \] für alle positiven Funktionen \(u\) und \(x\) gelten.