Notes sur les fonctions convexes d'ordre supérieur. III. (Q2586436)

Es handelt sich vor allem um den Beweis von Ungleichungen, denen jede nicht-konkave Funktion genügt und in denen bekannte Ungleichungen als Spezialfälle enthalten sind. Es heißt \(f (x)\) nicht-konkav von \(n\)-ter Ordnung \(n\geqq 1\), wenn \([x_1,\ldots,x_{n+2};\,f]\geqq 0\) für beliebige \((n + 2)\) verschiedene Punkte des Definitionsbereiches. Wichtigste Ergebnisse: Damit \ (1) \( \sum _{\varrho =1}^r \alpha _\varrho \,f(x_\varrho )\geqq \sum _{\tau =1}^t \beta _\tau \,f(y_\tau )\) mit \(x_{\varrho -1}< x_\varrho \), \(y_{\tau -1}< y_\tau \), \(0<\alpha _\varrho \), \(0<\beta _\tau \), \noindent \(r + t \geqq 3\), \(\alpha _1+\cdots +\alpha _r =\beta _1+\cdots +\beta _t=1\) für jede nicht-konkave Funktion 1. Ordnung \(f(x)\) gelte, ist notwendig und hinreichend die Existenz von \(r \cdot t\) nichtnegativen Zahlen \(p_{\tau\varrho }\) mit \(\sum _{\varrho =1}^r p_{\tau\varrho }=1\), \(\sum _{\tau =1}^t \beta _\tau \,p_{\tau\varrho }=\alpha _\varrho \), \(\sum _{\varrho =1}^r p_{\tau\varrho }\,x_\varrho =y_\tau \), \(\varrho =1,\ldots,r\); \(\tau =1,\ldots,t\). Ist \(f(x)\) insbesondere konvex, so gilt nur das \(>\) Zeichen. - Damit (2) \(\sum _{\mu =1}^m p_\mu \,f(x_\mu )\geqq 0\), \(x_{\mu -1}<x_\mu \), \(p_\mu \neq 0\) für jede nicht-konkave in \([a, b]\) definierte Funktion \(n\)-ter Ordnung \(f(x)\) gelte, ist notwendig und hinreichend, daß (I) \(\sum _{\mu =1}^m p_\mu \,x_\mu ^\nu =0\), \(\nu =0,1,\ldots,n\); \ (II) das Polynom -- \(\sum _{\mu =1}^m p_\mu \,(x_\mu -x)^n\geqq 0\) ist in jedem Intervall \((x_\lambda,x_{\lambda +1})\), \(\lambda =1,\ldots,m-1\).