2 Fonctions convexes
Il est pratique de considérer des fonctions Dans ce cas on parle de domaine de :
Les propriétés que l’on considère dans cette section vont être déterminées par l’ensemble des valeurs au dessus du graphe de , que l’on appelle épigraphe de f:
On utilise les conventions et si , .
Définition 3.3.
Soit un ensemble convexe.
-
1.
Une fonction est dite convexe si pour tout ,
-
2.
Une fonction est dite strictement convexe si pour tout , avec
-
3.
Une fonction est dite concave si est convexe.
Exemple 3.2.
Une fonction affine est convexe et concave mais pas strictement convexe ! Une norme sur est convexe.
Remarque 3.1.
Si est convexe, alors est convexe car si alors
On peut donc toujours remplacer soit par soit par selon votre goût (pour les fonctions infinies ou les ensembles convexes).
Proposition 3.3.
Soit un e.v. et .
-
4.
est convexe si et seulement si est convexe
-
1’.
Si est convexe alors pour tout , est convexe. La réciproque est fausse.
-
5.
Si , convexes alors est convexe. De plus, elle est aussi strictement convexe si ou l’est.
-
6.
Si sont convexes alors l’enveloppe supérieure est convexe.
-
7.
(facultatif) est convexe ssi , définie par si et sinon, est convexe.
-
8.
Si est strictement convexe, alors a au plus un minimum sur .
Le dernier point donne la première relation simple des fonctions convexes à l’optimisation.
Démonstration :
Pour (1), l’énoncé est vide si ou . Soit donc (comme on veut cela utilise la réduction précédente). On remarque que ssi
Si les épigraphes sont convexes, cette propriété est vérifiée et donc en prenant l’infimum sur (qui donne ) on a le résultat. Si vérifie l’inégalité, on utilise pour conclure:
(1)’ On montre la convexité de comme ci-dessus. Soit alors pour : Donc . Par contre si alors si , , si , et sinon pour , et ce sont 3 intervalles donc 3 ensembles convexes. Mais n’est pas convexe .
(2) est évident en utilisant l’inégalité:
(3) vient de la stabilité des convexes par intersection et de
(4) est évident car
(5) si sont deux points atteignant le minima, contredisant la minimalité. □
Une propriété importante des fonctions convexes est le fait qu’on peut les caractériser en terme d’accroissements:
Proposition 3.4.
Soit une fonction. est convexe si et seulement si pour tout la fonction est croissante sur
Démonstration :
Il suffit de noter que est croissante si et seulement si pour si et seulement si on a l’inégalité de convexité :
Donc la convexité de implique la croissance énoncée et réciproquement en prenant on écrit toute paire sous la forme et l’inégalité ci-dessus se réécrit en l’inégalité définissant la convexité de :
□
Cela implique une régularité minimale des fonctions convexes:
Corollaire 3.5.
Si est convexe, pour tout et tout , la dérivée directionnelle existe dans au sens où la limite suivante existe et vaut:
Démonstration :
Par la proposition précédente est croissante donc admet une limite pour qui coïncide avec l’infimum. □
2.1 Calcul des cônes normaux courants
Soient des fonctions convexes définies avec ouvert convexe tel qu’il existe avec pour tout .
Soit la contrainte :
On sait que chaque est convexe comme image réciproque d’un intervalle borné supérieurement par une application convexe. Par intersection, on sait donc que est aussi convexe.
Théorème 3.6 (admis, cf Section B.1).
Soit tel que:
-
9.
les premières contraintes sont actives, c’est à dire:
-
10.
les autres contraintes ne sont pas actives, c’est à dire
Si , on a et sinon, le cône normal à en est donné par
Exemple 3.3.
Soit . Si on pose qui sont linéaires donc convexes et , on a:
Calculons le cône normal en .
On a donc toutes les contraintes sont actives.
On calcule donc . D’après le théorème, on a :
Exercice 3.4.
-
11.
Pour de l’exemple précédent, si pour . Montrer que
-
12.
Pour , . Montrer que
-
13.
Y-a-t-il d’autres valeurs de et si oui, pour quels points ?
2.2 Fonctions convexes sur
Soit un intervalle de . Pour une fonction et , on considère la fonction (taux d’accroissement de en ) définie par pour tout . La proposition 3.4 se reformule sous la forme:
Proposition 3.7.
Une fonction est convexe si et seulement si pour tout , la fonction est croissante sur .
On en déduit les inégalités suivantes (inégalité des pentes, cf dessin en cours) sur une fonction :
Proposition 3.8.
Une fonction convexe vérifie l’inégalité des pentes :
Théorème 3.9.
Soit un intervalle ouvert de , et une fonction convexe. Alors pour tout , admet des dérivées à droite et à gauche en . On a pour tout : et . En particulier, il existe une fonction affine telle que et pour tout . De plus, si sont dans , on a .
Démonstration :
Soit . Dans le cas d’une fonction à une variable, le corollaire 3.5 implique l’existence de dérivées à droites et à gauches (pour l’instant peut-être infinies). Dans l’inégalité des pentes en faisant ou , on obtient:
Pour , , l’inégalité des pentes appliquée aux points donne:
et en passant à la limite ou puis les deux, on obtient:
Donc , , ce qui termine la preuve des dérivabilités à droite et à gauche, et on a l’inégalité attendue.
De plus, la formulation comme infimum, dans le corollaire 3.5, montre que pour tout que et donc . De même, pour tout on a ; en multipliant par (qui est négatif!) on a donc que pour tout .
De plus, (en passant aux limites dans l’inégalité des pentes); par conséquent, pour , et on voit finalement que l’inégalité est valide pour tout . Le même raisonnement s’applique pour montrer que l’autre inégalité est vraie pour tout . □
Corollaire 3.10.
Soit un intervalle ouvert de , alors une fonction convexe est continue.
Exercice 3.5.
Trouver une fonction convexe qui n’est pas continue en .
Proposition 3.11.
Si et est dérivable sur un ouvert convexe (donc un intervalle ouvert) alors est convexe si et seulement si est croissante.
Démonstration :
) Supposons convexe, l’inégalité qu’on a montrée au (2) du théorème précédent s’écrit donc ont même signe et est croissante. On peut alternativement utilisé pour , grâce à l’inégalité vue au théorème 3.9.
) Réciproquement si croissante, montrons que convexe, on veut voir pour . Par l’égalité des accroissements finis, la pente est atteinte par en un point de , et de même est atteinte par en un point de donc par croissance de la dérivée :
Ceci conclut. □