On convex functions. (Q5923780)

Die Arbeit geht von Funktionen aus, die im Intervall \((x_1, x_2)\) stetig und positiv sind. Zunächst wird der Mittelwert \[ \begin{aligned} &I(f,x,h,\alpha) = \left[\dfrac{1}{2h}\int\limits_{-h}^{+h} f(x+\xi)^\alpha d\xi\right]^\tfrac{1}{\alpha}, \text{ wenn } \alpha\neq 0 \\ &I(f,x,h,0) = \exp\left[\dfrac{1}{2h}\int\limits_{-h}^{+h} \log\, f(x+\xi)d\xi\right] \end{aligned} \] betrachtet, der für \(-\infty <\alpha < +\infty\) eine stetige wachsende Funktion von \(\alpha\) darstellt. Darauf werden zwei Funktionsklassen \(C_\gamma\) und \(C_\delta^*\) definiert; zu \(C_\gamma\) gehören alle diejenigen stetigen und positiven Funktionen \(f(x)\), für welche \(f^\gamma\) sgn \(\gamma\) (bei \(\gamma\neq 0\)), bzw. \(\log\,f\) (bei \(\gamma = 0\)) konvexe Funktionen von \(x\) ergeben, zu \(C_\delta^*\) alle diejenigen, welche stets die Ungleichung \(I(f,x,h,\delta)\leqq\dfrac{f(x-h) + f(x+h)}{2}\) erfüllen. Als hinreichendes Bedingungspaar für die Übereinstimmung \(C_\gamma\equiv C_\delta^*\) erhält man \(2\gamma + \delta = 3\) nebst \(0\leqq\gamma\leqq 1\); die erste Bedingung allein genügt nicht, die zweite ist aber im Verein mit der ersten nicht notwendig. Des weiteren wird der Mittelwert \[ \begin{aligned} &A(f,x,h,\beta ) = \left[\dfrac{f(x-h)^\beta + f(x+h)^\beta}{2}\right]^\tfrac{1}{\beta}, \text{ wenn } \beta\neq 0, \\ &A(f,x,h,0) = \left[f(x-h)f(x+h)\right]^\tfrac{1}{2} \end{aligned} \] eingeführt, der wieder eine stetige wachsende Funktion von \(\beta\) für \(-\infty < \beta < +\infty\) darstellt. Versteht man unter \(E\) die Menge aller Zahlenpaare \((\alpha, \beta)\), welche für jede stetige, positive \textit{und konvexe} Funktion \(f(x)\) stets die Bedingung \(I(f, x, h,\alpha)\leqq A(f, x, h, \beta)\) erfüllen, und unter \(\overline{E}\) die Menge aller Paare \((\alpha, \beta)\), für welche jede stetige und positive Funktion \(f(x)\), die der Bedingung \(I(f, x, h,\alpha)\leqq A(f, x, h, \beta)\) genügt, konvex ausfällt, so lassen sich diese Mengen \(E\) und \(\overline{E}\) genau angeben. Zu \(E\) gehört ein Zahlenpaar \((\alpha, \beta)\) dann und nur dann, wenn es einer der vier folgenden Bedingungen genügt: \[ \begin{aligned} & \alpha\leqq -2, \;\beta\geqq 0; \qquad (2) \qquad -2\leqq\alpha\leqq-\dfrac{1}{2}, \;\beta\geqq\dfrac{\alpha+2}{3}; \tag{1} \\ & -\dfrac{1}{2}\leqq\alpha\leqq +1, \;\beta\geqq\dfrac{\alpha\log 2}{\log (\alpha +1)}; \qquad (4)\qquad 1\leqq\alpha, \;\beta\geqq\dfrac{\alpha + 2}{3}. \tag{3} \end{aligned} \] Zu \(\overline{E}\) gehört \((\alpha, \beta)\) genau dann, wenn \(3\beta -\alpha -2\leqq 0\) ist. Im letzten Abschnitt der Arbeit werden durch Spezialisierung der Zahlenpaare \((\alpha, \beta)\) bzw. \((\gamma, \delta)\) Anwendungen vorgenommen; herausgehoben sei der Satz, daß für positive stetige und konvexe Funktionen \(f(x)\) stets \[ \left[\dfrac{1}{2h}\int\limits_{-h}^{+h} f(x+\xi)^{-2} d\xi\right]^{-\tfrac{1}{2}}\leqq \left[f(x-h)f(x+h)\right]^\tfrac{1}{2} \] ist, und daß für sie stets \[ \left[\dfrac{1}{2h}\int\limits_{-h}^{+h} f(x+\xi)^2 d\xi\right]^{\tfrac{1}{2}}\leqq \left[\dfrac{f(x-h)^\tfrac{4}{3} + f(x+h)^\tfrac{4}{3}}{2}\right]^\tfrac{3}{4}, \] aber bei \(\varepsilon > 0\) nicht stets \[ \left[\dfrac{1}{2h}\int\limits_{-h}^{+h} f(x+\xi)^2 d\xi\right]^{\tfrac{1}{2}}\leqq \left[\dfrac{f(x-h)^{\tfrac{4}{3}-\varepsilon} + f(x+h)^{\tfrac{4}{3}\varepsilon}}{2}\right]^{\tfrac{1}{\tfrac{4}{3}-\varepsilon}} \] gilt.