Inégalité des pentes


L’inégalité des pentes est un résultat fondamental en analyse convexe et en optimisation. Elle établit une relation entre les pentes de fonctions convexes et leurs propriétés de croissance. Pour une fonction convexe \( f: \mathbb{R} \to \mathbb{R} \), l’inégalité des pentes s’énonce comme suit :

Pour tout \( x_1 < x_2 < x_3 \) dans le domaine de \( f \), on a :

\[ \frac{f(x_2) – f(x_1)}{x_2 – x_1} \leq \frac{f(x_3) – f(x_1)}{x_3 – x_1} \leq \frac{f(x_3) – f(x_2)}{x_3 – x_2} \]

Cette inégalité exprime que les pentes des cordes reliant les points du graphe de \( f \) sont croissantes. Elle est une conséquence directe de la convexité de \( f \) et est utilisée pour démontrer de nombreuses propriétés des fonctions convexes.

Voici quelques applications de l’inégalité des pentes :

  • Optimisation : Elle permet de démontrer la convexité des fonctions et d’établir des conditions d’optimalité.
  • Analyse fonctionnelle : Elle est utilisée pour étudier la régularité et la croissance des fonctions.
  • Géométrie : Elle aide à comprendre la forme des graphes de fonctions convexes.

Exemples sur Inégalité des pentes


Exemple 1 : Fonction quadratique

Considérons la fonction convexe \( f(x) = x^2 \). Vérifions l’inégalité des pentes pour \( x_1 = 0 \), \( x_2 = 1 \), et \( x_3 = 2 \) :

\[ \frac{f(1) – f(0)}{1 – 0} = \frac{1 – 0}{1} = 1 \]

\[ \frac{f(2) – f(0)}{2 – 0} = \frac{4 – 0}{2} = 2 \]

\[ \frac{f(2) – f(1)}{2 – 1} = \frac{4 – 1}{1} = 3 \]

On vérifie bien que \( 1 \leq 2 \leq 3 \), ce qui confirme l’inégalité des pentes pour cette fonction.


Exemple 2 : Fonction exponentielle

Considérons la fonction convexe \( f(x) = e^x \). Vérifions l’inégalité des pentes pour \( x_1 = 0 \), \( x_2 = 1 \), et \( x_3 = 2 \) :

\[ \frac{f(1) – f(0)}{1 – 0} = \frac{e – 1}{1} \approx 1.718 \]

\[ \frac{f(2) – f(0)}{2 – 0} = \frac{e^2 – 1}{2} \approx 3.194 \]

\[ \frac{f(2) – f(1)}{2 – 1} = \frac{e^2 – e}{1} \approx 4.670 \]

On vérifie bien que \( 1.718 \leq 3.194 \leq 4.670 \), ce qui confirme l’inégalité des pentes pour cette fonction.