Notes on inequalities: II: On a class of integral inequalities. III: Inequalities involving the geometric mean of a non-negative function. (Q2598902)

(\textbf{I} vgl. S. 1003.) \textbf{II.} Verf. beweist die Ungleichung \[ -(k-1) \int\limits_0^1 \frac{\varphi'{}^{k-2}(x) \varphi''(x)}{\varphi^{k-1}(x)}y^k(x)\,dx \leqq \int\limits_0^1 y'{}^k(x)\,dx; \tag{1} \] hier ist \(k\) reell \(> 1\), \(y(0)= 0\), \(y' \not\equiv 0\) und \(y'\geqq 0\) falls \(k \neq 2q\) (\(q\) eine ganze Zahl \(\geqq 1\)), \(\varphi(0) = 0\), \(\varphi'(1)=0\), \(\varphi'' \not\equiv 0\), \(\varphi'' \leqq 0\), \((\varphi^{1+\varepsilon})'\in L^k(0,1)\), d. h. \(\int\limits_0^1 (\varphi^{1+\varepsilon})'{}^k\,dx < \infty\) mit beliebig kleinem \(\varepsilon > 0\). Das Gleichheitszeichen gilt dann und nur dann, wenn \(y= C\varphi(x)\) (\(C \geqq 0\) falls \(k \neq 2q\)) und \(\varphi' \in L^k(0,1)\) ist. Ferner gilt die Ungleichung, die aus (1) hervorgeht, wenn man in den Integralen die obere Grenze 1 durch oo ersetzt, wobei \(y\) den gleichen Bedingungen wie vorher, aber in \((0, \infty)\), genügt und \(\varphi(0) = 0\), \(\varphi'' \not\equiv 0\), \(\varphi''\leqq 0\), \((\varphi^{1+\varepsilon})' \in L^k(0,\xi)\), \((\varphi^{1-\varepsilon} \in L^k(\xi,\infty)\) mit einem gewissen \(0 < \xi < \infty\) und beliebig kleinem \(\varepsilon > 0\). Schließlich gilt (1) auch dann, wenn \(k=2q\) eine gerade Zahl, \(y(0)=0\), \(y(1) = 0\), \(y' \not\equiv 0\), \(\varphi(0) = 0\), \(\varphi(1) =0\), \(\varphi''\not\equiv 0\), \(\varphi'' \leqq 0\), \((\varphi^{1+\varepsilon})' \in L^{2q}(0,1)\) mit beliebig kleinem \(\varepsilon> 0\) ist. \textbf{III.} Als das gewogene geometrische Mittel der nichtnegativen Funktion \(f(x)\) wird die Funktion \[ G\{f(x);p\} = \exp\left\{\frac 1{p(x)} \int\limits_0^x p'(t)\log f(t)\,dt\right\} \] definiert, wo \(p'(x) \geqq 0\) (\(x> 0\)), \(p(x)=\int\limits_0^x p'(t)\,dt> 0\) für \(x>0\), \(p''(x)\) existiert und summierbar ist. Sei ferner \(p(x) \to \infty\) für \(x \to \infty\), \(p(x)\log p'(x) \to 0\) für \(x \to 0\) und \(g(x)\geqq 0\), \(g'(x)\) summierbar, \(p(x)\log g(x) \to 0\) für \(x \to 0\). Dann gilt \[ \int\limits_0^\infty g(x)G\{f(x);p\}\,dx < \int\limits_0^\infty g(x) \exp\left\{1-\frac{p(x)p''(x)}{p'{}^2(x)}+\frac{p(x)g'(x)}{p'( x)g(x)}\right\}f(x)\,dx. \tag{2} \] Die Ungleichung ist exakt. Für \(p(x)=x\), \(g(x) = 1\) geht (2) in eine von \textit{K. Knopp} (J. London math. Soc. 3 (1928), 205-212; F. d. M. 54, 225 (JFM 54.0225.*)) angegebene Ungleichung über. Für \(g(x)=1\) hat man das Integralanalogon einer von \textit{J. G. van der Corput} (Proc. Akad. Wet. Amsterdam 39 (1936), 906-911; JFM 62.0203.*) verallgemeinerten Ungleichung von Carleman. Ist \(g(x)\geqq 0\), \(g'(x)\) summierbar und \(x \log g(x)\to 0\) für \(x \to 0\), ferner \(\psi(x) > 0\), \(\psi'(x)\leqq 0\), \(\psi''\) summierbar, \(x\log(- \psi'(x)) \to 0\) für \(x \to 0\), \(\int\limits_0^\infty \psi(x)\,dx < \infty\), so gilt \[ \int\limits_0^\infty g(x)G\{f(x);x\}\,dx \leqq \int\limits_0^\infty F(x)f(x)\,dx, \] wo \[ F(x)= -\frac{g(x)}x\frac {\psi(x)}{\psi'(x)} \exp \left\{-1 - \frac{x\psi''(x)}{\psi'(x)} + \frac{xg'(x)}{g(x)}\right\} \] ist. Das Gleichheitszeichen gilt für \(f(x)=C\dfrac{\psi(x)}{F(x)}\) (\(C >0\)).