Fonctions convexes/Définition et premières propriétés

Modèle:Chapitre Modèle:Clr Dans tout ce chapitre, $I$ et $J$ désignent des intervalles de ℝ. Modèle:Définition Les inégalités de la définition sont connues sous les noms d’inégalité de convexité et d’inégalité de convexité stricte.

Ces définitions s’appliquent à des fonctions qui ne sont pas forcément dérivables. Dans le cas où la fonction est dérivable ou mieux admet une dérivée seconde, nous verrons que l’on peut trouver des caractérisations plus simples des fonctions convexes et une condition suffisante de convexité stricte. Modèle:Définition

Nous allons étudier maintenant quelques propriétés des fonctions convexes. Modèle:Propriété Il n’y a pas vraiment de démonstration à faire ici. Cette propriété n’est en fait que la traduction visuelle de la définition que nous avons donnée d’une fonction convexe.

Nous allons essayer de mieux voir ceci à travers les deux lemmes suivants :

Grâce aux deux lemmes qui précèdent et au schéma qui suit, nous comprenons maintenant mieux que la propriété 1 n’est que la traduction de la définition d’une fonction convexe.

Modèle:Propriété

L'inégalité des pentes a été démontrée dans le chapitre « Convexité » de la leçon sur les fonctions d’une variable réelle.

Le théorème suivant est démontré dans ce paragraphe car il s’applique à des fonctions convexes qui ne sont pas forcément dérivables. Mais compte tenu de l’importance de ce théorème, nous le reprendrons dans un chapitre spécialement consacré à ses applications. Modèle:Théorème

(L'expression « faiblement convexe » est empruntée à Modèle:Ouvrage.)