Inégalité de Young
Soient tels que. Pour tous réels positifs et,. En appliquant l'inégalité de convexité à,, et, on obtient:
qui équivaut à la formule annoncée. Inégalité de Hölder
Si et
alors, pour toutes suites et de réels positifs,. Sans perte de généralité, on peut supposer que les deux facteurs de droite sont non nuls et finis et même (par homogénéité) égaux à. En appliquant l'inégalité de Young on obtient, pour tout, (avec égalité si et seulement si). En sommant, on a donc bien, avec égalité si et seulement si. Application 4: forme intégrale de l'inégalité de Jensen [ modifier | modifier le wikicode]
Soient
un espace mesuré tel que,
une fonction -intégrable à valeurs dans un intervalle réel et
une fonction convexe de dans. Inégalité de convexité généralisée. Alors,,
l'intégrale de droite pouvant être égale à. La forme discrète de l'inégalité de Jensen ( voir supra) correspond au cas particulier où ne prend qu'un ensemble fini ou dénombrable de valeurs. Inversement, la forme intégrale peut se déduire de la forme discrète par des arguments de densité (à comparer avec l' exercice 1.
Inégalité De Convexity
Exemple: Pour tout réel \(x\), on pose \(g(x)=\dfrac{1}{12}x^4-\dfrac{2}{3}x^3+2x^2\). La fonction \(g\) est deux fois dérivable sur \(\mathbb{R}\) et pour tout réel \(x\), \(g'(x)=\dfrac{1}{3}x^3-2x^2+4x\) et \(g^{\prime\prime}(x)=x^2-4x+4=(x-2)^2\). Ainsi, pour tout réel \(x\), \(g^{\prime\prime}(x)\geqslant 0\). \(g\) est donc convexe sur \(\mathbb{R}\). Puisqu'il n'y a pas de changement de convexité, \(g\) ne présente pas de point d'inflexion, et ce, même si \(g^{\prime\prime}(2)=0\). Inégalité de convexité sinus. Applications de la convexité
Inégalité des milieux
Soit \(f\) une fonction convexe sur un intervalle \(I\). Pour tous réels \(a\) et \(b\) de \(I\),
\[ f\left( \dfrac{a+b}{2} \right) \leqslant \dfrac{f(a)+f(b)}{2}\]
On considère les points \(A(a, f(a))\) et \((b, f(b))\). Le milieu du segment \([AB]\) a pour coordonnées \(\left(\left(\dfrac{a+b}{2}\right), \dfrac{f(a)+f(b)}{2}\right)\). Or, la fonction \(f\) étant convexe sur \(I\), le segment \([AB]\) se situe au-dessus de la courbe représentative de \(f\).
Inégalité De Convexité Généralisée
\(g'\) est donc croissante sur \(I\). Or, \(g'(a)=0\). Soit \(x\in I\) tel que \(xa\)
Par croissance de \(g'\) sur \(I\), on a alors \(g'(x) \geqslant g'(a)\) c'est-à-dire \(g'(x) \geqslant 0\). \(g\) est donc croissante sur \([a;+\infty[ \cap I\). Inégalité de convexité ln. Finalement, pour tout \(x\in I\), \(g(x)\geqslant 0\), ce qui signifie que le courbe de \(f\) est au-dessus de la tangente à cette courbe au point d'abscisse \(a\). Exemple: Pour tout entier naturel pair \(n\), la fonction \(x \mapsto x^n\) est convexe sur \(\mathbb{R}\). Exemple: La fonction \(f:x\mapsto x^3\) est concave sur \(]-\infty; 0]\) et convexe sur \([0;+\infty[\). En effet, \(f\) est deux fois dérivable sur \(\mathbb{R}\) et pour tout réel \(x\), \(f^{\prime\prime}(x)=6x\), qui est positif si et seulement si \(x\) l'est aussi.
Inégalité De Convexité Ln
Pour f un élément de L², quel est son projeté? (le projeté est f_+ = max(0, f), ceci se prouve directement à l'aide de la caractérisation du projeté). - Soit K un compact de E evn. On pose E l'ensemble des x tels que pour tout f forme linéaire sur E, f(x) =< sup_K (f). Que peut-on dire sur E? (c'est un convexe fermé). Il devait y avoir une suite à cet exercice, mais mon oral s'est terminé là-dessus. Quelle a été l'attitude du jury (muet/aide/cassant)? Plutôt distant, sans forcément être froid. Ils n'ont pas hésités à m'indiquer si mon intuition ou si mes pistes étaient intéressantes, afin de m'encourager à poursuivre dans cette direction. L'oral s'est-il passé comme vous l'imaginiez ou avez-vous été surpris par certains points? Cette question concerne aussi la préparation. L'oral s'est déroulé normalement (à part le fait que j'ai fais mon oral sur un tableau blanc). Leçon 253 (2020) : Utilisation de la notion de convexité en analyse.. La note me semble curieuse, car je ne vois pas du tout comment j'aurais pu améliorer mon oral, mais bon. Je vais pas m'en plaindre hein!
Soit $\mathcal{H}(n)$ la proposition: pour tout $(x_{1}, \dots, x_{n})\in I^{n}$, pour tout $(\lambda_{1}, \dots, \lambda_{n})\in[0, 1]^{n}$ tel que $\lambda_{1}+\dots+\lambda_{n}=1$, on a $f(\lambda_{1}x_{1}+\dots+\lambda_{n}x_{n})\leqslant\lambda_{1}f(x_{1})+\dots+\lambda_{n}f(x_{n})$. La proposition est trivialement vraie pour $n=1$ puisque $\lambda_{1}=1$. La proposition est vraie pour $n=2$ par définition de la convexité. Convexité - Mathoutils. Soit $n\geqslant1$ tel que la proposition $\mathcal{H}(n)$ est vraie. Soit $(x_{1}, \dots, x_{n+1})\in I^{n+1}$ et soit $(\lambda_{1}, \dots, \lambda_{n+1})\in[0, 1]^{n+1}$ tel que $\lambda_{1}+\dots+\lambda_{n+1}=1$. Si $\lambda_{n+1}=1$ alors $\lambda_{1}=\dots=\lambda_{n}=0$ et l'inégalité est vérifiée. Si $\lambda_{n+1}\ne1$ alors $\lambda_{1}+\dots+\lambda_{n}=1-\lambda_{n+1}\ne0$ et on a:
$$\begin{array}{rcl} f(\lambda_{1}x_{1}+\lambda_{n}x_{n}+\lambda_{n+1}x_{n+1}) & = & \ds f\left((1-\lambda_{n+1})\left[\frac{\lambda_{1}}{1-\lambda_{n+1}}x_{1}+\dots+\frac{\lambda_{n}}{1-\lambda_{n+1}}x_{n}\right]+\lambda_{n+1}x_{n+1}\right) \\ & \leqslant & \ds (1-\lambda_{n+1})f\left(\frac{\lambda_{1}}{1-\lambda_{n+1}}x_{1}+\dots+\frac{\lambda_{n}}{1-\lambda_{n+1}}x_{n}\right)+\lambda_{n+1}f(x_{n+1}) \end{array}$$d'après la proposition $\mathcal{H}(2)$ (ou la convexité).