Inégalité de Popoviciu

En analyse convexe, l'inégalité de Popoviciu est une inégalité portant sur les fonctions convexes. Elle ressemble à l'inégalité de Jensen et a été découverte en 1965 par le mathématicien roumain Tiberiu Popoviciu.

Énoncé

Soit f une fonction d'un intervalle $I\subseteq \mathbb {R}$ dans $\mathbb {R}$. Si f est convexe, alors, pour trois points quelconques x, y et z dans I,

${\frac {f(x)+f(y)+f(z)}{3}}+f\left({\frac {x+y+z}{3}}\right)\geq {\frac {2}{3}}\left[f\left({\frac {x+y}{2}}\right)+f\left({\frac {y+z}{2}}\right)+f\left({\frac {z+x}{2}}\right)\right].$

{{Démonstration|Supposons f convexe. Sans perte de generalite, supposons : $x\leq y\leq z$ et $y\leq {\frac {x+y+z}{3}}$,

Alors :

${\frac {x+y+z}{3}}\leq {\frac {x+z}{2}}\leq z$ et ${\frac {x+y+z}{3}}\leq {\frac {y+z}{2}}\leq z$

On peut donc trouver $s,t\in \left[0;1\right]$ tels que :

${\frac {x+z}{2}}=s\cdot {\frac {x+y+z}{3}}+(1-s)\cdot z$

${\frac {y+z}{2}}=t\cdot {\frac {x+y+z}{3}}+(1-t)\cdot z$

En additionant et multipliant les deux egalites ensembles, on obtient :

$(x+y-2z)(s+t-{\frac {3}{2}})=0$

Si $x+y-2z=0,x=y=z$, ce qui conclut. Sinon, on a $s+t={\frac {3}{2}}$ et:

$f({\frac {x+z}{2}})\leq s\cdot f({\frac {x+y+z}{3}})+(1-s)\cdot f(z)$

$f({\frac {y+z}{2}})\leq t\cdot f({\frac {x+y+z}{3}})+(1-t)\cdot f(z)$

$f({\frac {x+y}{2}})\leq {\frac {1}{2}}\cdot f(x)+{\frac {1}{2}}\cdot f(y)$

En sommant les 3 inégalités et en multipliant par $2/3$, on a bien l'inégalité de Popoviciu. Le cas $y\geq {\frac {x+y+z}{3}}$ est analogue. }}

Si une fonction f est continue, alors elle est convexe si et seulement si l'inégalité ci-dessus est vraie pour tout x, y et z de I. Lorsque f est strictement convexe, l’inégalité est stricte sauf pour x = y = z.

Généralisation

Cette inégalité peut être généralisée à n’importe quel nombre fini n de points au lieu de 3, pris à droite k à la fois au lieu de 2 à la fois :

Soit f une fonction continue d'un intervalle $I\subseteq \mathbb {R}$ dans $\mathbb {R}$. Alors f est convexe si et seulement si, pour tout entier n et k où n ≥ 3 et 2 ≤ k ≤ n–1 et n points quelconques x₁, ..., x_n de I,

${\frac {1}{k}}{\binom {n-2}{k-2}}\left({\frac {n-k}{k-1}}\sum _{i=1}^{n}f(x_{i})+nf\left({\frac {1}{n}}\sum _{i=1}^{n}x_{i}\right)\right)\geq \sum _{1\leq i_{1}<\dots <i_{k}\leq n}f\left({\frac {1}{k}}\sum _{j=1}^{k}x_{i_{j}}\right)$

L'inégalité de Popoviciu peut également être généralisée à une inégalité pondérée (en). L'article de Popoviciu a été publié en roumain, mais le lecteur intéressé peut trouver ses résultats dans la revue lien Zentralblatt MATH.