L'inégalité de Jenssen

Exercice 1.1 Dans cet exercice on suppose que $(X,\mathcal{A},\mu )$ est un espace mésuré tel que $\mu(X)=1$ et $\varphi :X\rightarrow [0,+\infty [$ est une fonction connvexe, i. e.,

$\displaystyle \varphi ((1-t)x+ty)\leq (1-t)\varphi (x)+t\varphi (y)\forall x, y \in \mathbb{R} \forall t\in [0,1].$

Montrer que la fonction $x\rightarrow \frac{\varphi(x_0)-\varphi(x)}{x_0-x}$ est croissante.
On pose $E_{\varphi}=\{(a,b)\in \mathbb{R}^2;\varphi (x)\geq ax+b\,\forall x\in \mathbb{R}\}.$ Montrer que

$\displaystyle \varphi (x)=\sup_{(a,b)\in E_{\varphi}}(ax+b).$
En déduire que si $f\in \mathcal{L}^1(X,\mathcal{A},\mu )$ , alors

$\displaystyle \int _X\varphi \circ f d\mu \geq \varphi (\int _Xf d\mu ).$
En déduire que si $x_i\in \mathbb{R}$ alors

$\displaystyle e^{\frac{x_1+\cdots +x_n}{n}}\leq \frac{e^{x_1}+\cdots e^{x_n}}{n}.$
En déduire que si $y_i>0, \forall i$ alors on a

$\displaystyle (y_1\cdots y_n)^{\frac{1}{n}}\leq \frac{y_1+\cdots y_n}{n}.$