En bemærking om konvekse funktioner. (Q1440833)

Wenn \(\varphi(x)\) konvex und stetig ist, so gilt für \(0 \leqq \mu \leqq 1\) die Ungleichung \[ \varphi(\mu x+(1-\mu)y) \leqq \mu \varphi(x)+(1-\mu)\varphi(y). \] Verf. schlägt deshalb vor, die \textit{Jensen}sche Definition der konvexen Funktion so zu ändern: Es sei eine stetige Funktion \(\mu(x,y)\) gegeben, für die \[ a \leqq x,y \leqq b, 0<\mu(x,y)<1 \] ist. \(\varphi(x)\) heiß\ t in \(<a, b>\) ``konvexgleich'', wenn die Ungleichung \[ (*)\quad \varphi \{x \mu(x,y)+y(1-\mu(x,y))\} \leqq \varphi(x) \mu(x,y)+\varphi(y)(1-\mu(x,y)) \] in \(<a,b>\) erfüllt ist. Für stetige \(\varphi\) decken sich die beiden Funktionsklassen. \((*)\) wird benutzt, um die Konvexität der Funktion \[ (x_1^p+x_2^p+\cdots +x_n^p)^{\frac 1p} \] für nicht negative \(x\) und \(p > 1\) zu beweisen.