fr.wikipedia.org

Fonction convexe — Wikipédia

Fonction convexe.

En mathématiques, une fonction réelle d'une variable réelle est dite convexe :

En précisant au moyen des valeurs de la fonction ce que sont les points {\displaystyle A} et {\displaystyle B} ci-dessus, on obtient une définition équivalente souvent donnée de la convexité d'une fonction : une fonction définie sur un intervalle réel {\displaystyle I} est convexe lorsque, pour tous {\displaystyle x} et {\displaystyle y} de {\displaystyle I} et tout {\displaystyle t} dans {\displaystyle [0;1]} on a :

{\displaystyle f\left(tx+(1-t)y\right)\leq t\,f(x)+(1-t)\,f(y)}

Lorsque l'inégalité est stricte (avec {\displaystyle x} différent de {\displaystyle y} et {\displaystyle t} dans {\displaystyle ]0;1[}), on parle de fonction strictement convexe.

La fonction carré et la fonction exponentielle sont des exemples de fonctions strictement convexes sur l'ensemble réel {\displaystyle \mathbb {R} }.

Ces définitions se généralisent aux fonctions définies sur un espace vectoriel (ou affine) arbitraire et à valeurs dans la droite réelle achevée {\displaystyle {\overline {\mathbb {R} }}=\mathbb {R} \cup \{-\infty ,+\infty \}}.

À l'inverse, une fonction dont un même segment {\displaystyle [AB]} est situé en dessous du graphe, ou dont l'hypographe (l'ensemble des points qui sont en dessous du graphe de la fonction) est un ensemble convexe, ou encore dont, vu d'en dessous, le graphe est en creux, est dite concave. En d'autres termes, une fonction {\displaystyle f} est concave si son opposée {\displaystyle -f} est convexe. Ainsi, les fonctions affines sont à la fois convexes et concaves.

Les fonctions convexes sont, avec les ensembles convexes, les objets constitutifs de l'analyse convexe, une discipline « intermédiaire » entre l'algèbre linéaire et l'analyse non linéaire. Elles permettent de démontrer un grand nombre d'inégalités remarquables, dites inégalités de convexité. Elles jouent aussi un rôle singulier en optimisation, en supprimant la distinction entre minima locaux et globaux (tout minimum local d'une fonction convexe est un minimum global).

Dans cette première section, on va supposer que l'ensemble de départ est un intervalle réel {\displaystyle I}. Cette restriction permet de fournir une première initiation aux fonctions convexes d'abord plus aisée et parce que la possibilité de tracer des représentations graphiques planes facilite certainement la tâche, ensuite et surtout parce que les concepts de continuité ou dérivabilité sont significativement plus maniables pour les fonctions d'une seule variable. Cette approche montre tout de même vite ses limites, en particulier parce qu'elle n'est guère pertinente pour appliquer la théorie des fonctions convexes à l'optimisation qui en est sans doute la principale motivation.

Cela signifie que pour tout {\displaystyle x_{1}} et {\displaystyle x_{2}} de {\displaystyle I}, le segment {\displaystyle [A_{1},A_{2}]} de {\displaystyle \mathbb {R} ^{2}}, où {\displaystyle A_{1}=(x_{1},f(x_{1}))} et {\displaystyle A_{2}=(x_{2},f(x_{2}))}, est situé au-dessus de la courbe représentative de {\displaystyle f}.

Une fonction concave est une fonction dont la fonction opposée est convexe.

On vérifie aussitôt ce qui suit, reliant les notions d'ensemble convexe et de fonction convexe :

Remarque — La fonction {\displaystyle f} est convexe sur {\displaystyle I} si et seulement si son épigraphe {\displaystyle \operatorname {epi} \,f:=\{(x,\,y)\in I\times \mathbb {R} \mid y\geq f(x)\}} est un sous-ensemble convexe de {\displaystyle \mathbb {R} ^{2}}.

Exemple
La fonction {\displaystyle x\to |x|} est convexe, parce que son épigraphe est un quart de plan (lui-même convexe comme intersection de deux demi-plans). Il est souvent malcommode de vérifier la convexité d'une fonction définie par une formule concrète à partir de la seule définition, on attendra donc quelques paragraphes pour donner d'autres exemples, lorsqu'on disposera d'un critère de convexité plus utilisable en pratique.

La définition de la convexité fait apparaître des barycentres où les coefficients sont des réels arbitraires de {\displaystyle [0;1]}. Lorsqu'on ne fait porter l'hypothèse que sur les milieux, elle s'étend aux isobarycentres :

En ajoutant une hypothèse supplémentaire de régularité[3] de {\displaystyle f}, on obtient :

L'inégalité de la définition s'étend comme suit (on peut le démontrer par récurrence sur l'entier {\displaystyle p}[6] ou par le même argument que dans la proposition ci-dessus[7]. On dénomme parfois cette version l'inégalité de Jensen :

On appelle parfois « lemme des trois cordes » ou « inégalité des pentes » voire « inégalité des trois pentes » le résultat suivant[8] :

Le « lemme des trois cordes » permet de montrer que[10] :

Démonstration

  • Soit {\displaystyle a\in I}. On définit sur {\displaystyle I\ a} le taux d'accroissement en {\displaystyle a} par {\displaystyle \tau _{a}:x\mapsto {\frac {f(x)-f(a)}{x-a}}}. Cette fonction est croissante d'après le lemme des trois cordes appliqué aux trois cas : {\displaystyle a<x<y}, {\displaystyle x<a<y} et {\displaystyle x<y<a}. Elle admet donc en {\displaystyle a} une limite à gauche {\displaystyle f_{g}'(a)>-\infty } et une limite à droite {\displaystyle f_{d}'(a)<+\infty } telles que {\displaystyle f_{g}'(a)\leq f_{d}'(a)}.
  • Soient {\displaystyle x,y\in I} tels que {\displaystyle x<y}. Pour tous {\displaystyle s,t\in I} tels que {\displaystyle x\neq s<y} et {\displaystyle x<t\neq y}, {\displaystyle \tau _{x}(s)\leq \tau _{x}(y)=\tau _{y}(x)\leq \tau _{y}(t)}. En faisant tendre {\displaystyle s} vers {\displaystyle x^{\pm }} et {\displaystyle t} vers {\displaystyle y^{\pm }}, on en déduit : {\displaystyle f_{g}'(x),f_{d}'(x)\leq f_{g}'(y),f_{d}'(y)}. En particulier, les fonctions {\displaystyle f_{g}'} et {\displaystyle f_{d}'} sont croissantes.
  • La fonction {\displaystyle f_{d}'} étant croissante, d'après le théorème de Froda, l'ensemble de ses points de discontinuité est au plus dénombrable. Montrons qu'en tout point {\displaystyle x} où elle est continue, elle coïncide avec {\displaystyle f_{g}'}, autrement dit : {\displaystyle f} est dérivable en {\displaystyle x}. D'après les inégalités précédentes, pour tout {\displaystyle s\in I} tel que {\displaystyle s<x}, on a {\displaystyle f_{d}'(s)\leq f_{g}'(x)\leq f_{d}'(x)}. Alors, par continuité de {\displaystyle f_{d}'} en {\displaystyle x} et le théorème des gendarmes, en faisant tendre {\displaystyle s} vers {\displaystyle x}, il suit que {\displaystyle f_{g}'(x)=f_{d}'(x)}.

On peut préciser les deux premiers points par[11] : une fonction {\displaystyle f:I\to \mathbb {R} } définie sur un intervalle ouvert {\displaystyle I} est convexe si et seulement si {\displaystyle f_{g}'} et {\displaystyle f_{d}'} sont définies et croissantes sur {\displaystyle I}.

On démontre par ailleurs (voir infra) que {\displaystyle f} est aussi localement lipschitzienne.

La fonction {\displaystyle x\mapsto x^{3}} est convexe sur ℝ+ et concave sur ℝ–.

On dispose de deux caractérisations[12] :

Proposition — Soit {\displaystyle f} une fonction dérivable sur un intervalle {\displaystyle I}.

On déduit de la seconde caractérisation :

  • que toute fonction convexe et dérivable (sur un intervalle réel) est de classe C1[13] ;
  • le corollaire suivant, fort pratique pour vérifier sans mal la convexité d'exemples spécifiques :

Ainsi, on peut désormais facilement ajouter à sa collection de fonctions convexes (ou concaves) les exemples suivants :

En faisant intervenir des inégalités strictes, on dispose d'une variante de la convexité : la stricte convexité.

Les résultats énoncés plus haut pour des fonctions convexes s'adaptent généralement sans mal aux fonctions strictement convexes.

De même que les fonctions dérivables convexes sont celles qui ont une dérivée croissante, les fonctions dérivables strictement convexes sont celles qui ont une dérivée strictement croissante.

D'après le lien entre monotonie et signe de la dérivée, une fonction {\displaystyle f} deux fois dérivable est donc strictement convexe si et seulement si {\displaystyle f''} est positive et ne s'annule que sur un ensemble d'intérieur vide.

Exemple
{\displaystyle x\to x^{4}} est strictement convexe (sa dérivée seconde est positive et ne s'annule qu'en 0).

On peut donner au moins deux définitions légèrement différentes d'une fonction convexe de plusieurs variables réelles (ou plus généralement : d'une variable vectorielle), qui reviennent essentiellement au même mais ne fournissent néanmoins pas exactement les mêmes fonctions. On prendra donc garde au contexte lors d'une invocation d'une de ces définitions pour comprendre s'il s'agit ou non de fonctions susceptibles de prendre des valeurs infinies.

Autrement dit : {\displaystyle f} est convexe si sa « restriction » {\displaystyle t\to f(tA+(1-t)B)} à tout segment {\displaystyle [A,B]\subset C} est une fonction convexe de la variable réelle {\displaystyle t\in [0;1]} (voir supra)[15].

Étant donné une fonction convexe au sens de la définition 1, on peut lui associer une fonction convexe au sens de la définition 2 en la prolongeant hors de {\displaystyle C} par la valeur {\displaystyle +\infty } ; réciproquement, étant donné une fonction convexe {\displaystyle f:E\to \mathbb {R} \cup \{+\infty \}} au sens de la définition 2, l'ensemble {\displaystyle C:={\text{dom}}f} est un convexe et la restriction de {\displaystyle f} à {\displaystyle C} est une fonction convexe au sens de la définition 1. Les deux transformations sont réciproques l'une de l'autre : les deux définitions, quoique techniquement distinctes, décrivent bien la même notion.

Certaines sources requièrent de plus que {\displaystyle C} soit non vide (dans la définition 1) ou que {\displaystyle f} ne soit pas la constante {\displaystyle +\infty } (dans la définition 2) pour prévenir certaines exceptions désagréables dans quelques énoncés. Une telle fonction de {\displaystyle E} dans {\displaystyle \mathbb {R} \cup \{+\infty \}} est dite propre[16].

La définition 2 est plus récente que la définition 1 et fut introduite indépendamment par Rockafellar et Moreau[17]. Elle permet de définir une fonction convexe comme un seul « objet » (une fonction définie sur un espace vectoriel ayant une propriété bien particulière) et non comme un couple formé d'un ensemble convexe d'un espace vectoriel et d'une fonction à valeurs réelles définie sur cet ensemble convexe. La définition 2 est la plus communément utilisée en analyse convexe, pour les raisons suivantes : d'une part, elle allège souvent l'expression des résultats et, d'autre part, elle permet de ne pas devoir préciser le convexe sur lequel est définie une fonction convexe obtenue par l'une des constructions standards de l'analyse convexe, comme l'enveloppe supérieure, la fonction d'appui, la fonction marginale, la fonction conjuguée, la fonction duale en optimisation, etc.

Soit {\displaystyle E} un espace vectoriel (ou affine) réel. On dit qu'une fonction {\displaystyle f:E\to \mathbb {R} \cup \{+\infty \}} est strictement convexe si, pour tous {\displaystyle x_{1}} et {\displaystyle x_{2}} distincts dans {\displaystyle {\text{dom}}f} et tout {\displaystyle t} dans {\displaystyle ]0;1[}, on a :

{\displaystyle f(t\,x_{1}+(1-t)\,x_{2})<t\,f(x_{1})+(1-t)\,f(x_{2}).}

Soit {\displaystyle (E,\|\cdot \|)} un espace normé. On dit qu'une fonction {\displaystyle f:E\to \mathbb {R} \cup \{+\infty \}} est fortement convexe, de module {\displaystyle \alpha >0} si, pour tous {\displaystyle x_{1}} et {\displaystyle x_{2}} dans {\displaystyle {\text{dom}}f} et tout {\displaystyle t} dans {\displaystyle [0;1]}, on a :

{\displaystyle f(t\,x_{1}+(1-t)\,x_{2})\leq t\,f(x_{1})+(1-t)\,f(x_{2})-{\frac {\alpha }{2}}\,t(1-t)\|x_{1}-x_{2}\|^{2}.}

On retrouve la notion de fonction convexe lorsque {\displaystyle \alpha =0}.

Voici quelques exemples de constructions de fonctions convexes :

Voici des exemples concrets de fonctions convexes ou concaves :

Pour tout espace vectoriel topologique {\displaystyle E} de dimension infinie, il existe des fonctions convexes de domaine {\displaystyle E} qui ne sont pas continues : par exemple les formes linéaires non continues sur {\displaystyle E}.

Cependant, une proportion significative de résultats valables pour des fonctions convexes d'une variable se reproduisent à l'identique pour des fonctions convexes sur une partie d'un espace vectoriel, soit qu'on se ramène pour les prouver à considérer la restriction de la fonction à une droite, soit que la démonstration soit une simple révision de la version à une variable. En voici quelques-unes :

  • une fonction convexe est une fonction dont l'épigraphe est convexe[19] ;
  • dans un espace vectoriel topologique, une fonction qui vérifie l'inégalité de convexité pour les seuls milieux et qui est continue est convexe ;
  • une fonction convexe vérifie l'inégalité de Jensen.

La technique de minoration des fonctions convexes par des fonctions affines est une variante adaptée à l'analyse de l'utilisation des hyperplans d'appui en géométrie convexe. La forme analytique du théorème de Hahn-Banach permettrait de minorer directement une fonction convexe définie (et à valeurs finies) sur la totalité de son espace de départ. En revanche, dès que la fonction n'est pas définie partout, il faut poser quelques restrictions techniques[20].

On verra un peu plus bas que l'hypothèse de continuité est superflue en dimension finie (c'est une conséquence de la convexité). En revanche, la condition topologique sur {\displaystyle U} est indispensable, même en une seule variable : pour la fonction convexe {\displaystyle f(x)=-{\sqrt {1-x^{2}}}} sur {\displaystyle [-1;1]} (dont le graphe est un demi-cercle) et {\displaystyle x_{0}=1}, on ne peut trouver de fonction affine minorante au sens de la proposition précédente.

Voici un premier résultat permettant de reconnaître la convexité d'une fonction au moyen de ses dérivées premières. On note {\displaystyle f'(x)\in {\mathcal {L}}(E,\mathbb {R} )} la forme linéaire continue qu'est la différentielle de {\displaystyle f} au point {\displaystyle x}. Le point 2 ci-dessous signifie que l'approximation affine de {\displaystyle f} en tout point {\displaystyle x} est une minorante de {\displaystyle f} ; le point 3 exprime la monotonie de la dérivée.

Un résultat analogue permet de caractériser la stricte convexité d'une fonction. Il suffit de remplacer les inégalités ci-dessus par des inégalités strictes et de supposer que les points d'évaluation {\displaystyle x} et {\displaystyle y} diffèrent.

En dimension finie, les inégalités ci-dessus peuvent être renforcées[21].

On peut enfin caractériser la forte convexité au moyen des dérivées premières.

On note {\displaystyle f''(x)\in {\mathcal {L}}_{2}(E,\mathbb {R} )} la forme bilinéaire continue et symétrique qu'est la différentielle seconde de {\displaystyle f} au point {\displaystyle x}.

Rappelons que la réciproque du second point est fausse (voir supra).

Comme en dimension 1, une fonction convexe définie sur un ouvert de {\displaystyle \mathbb {R} ^{n}} est forcément continue en tout point de l'ouvert. La démonstration va nous donner une information plus précise[22] :

Démonstration

Soit {\displaystyle f} une fonction convexe définie sur l'ouvert convexe {\displaystyle C}, et soit {\displaystyle x_{0}} un point de {\displaystyle C}.

On va dans un premier temps montrer que {\displaystyle f} est localement bornée. La dimension finie est utilisée ici de façon essentielle.

Pour majorer localement {\displaystyle f}, prenons un simplexe contenant {\displaystyle x_{0}} en son intérieur, et notons {\displaystyle M} la plus grande valeur prise par {\displaystyle f} sur les {\displaystyle n+1} sommets de ce simplexe. L'inégalité de convexité permet d'étendre cette majoration à tout le simplexe, donc à un voisinage de {\displaystyle x_{0}}.

Passons à la minoration locale, valable sur toute boule {\displaystyle B} centrée en {\displaystyle x_{0}} sur laquelle on sache déjà majorer {\displaystyle f} par un {\displaystyle M}. Pour tout point {\displaystyle x_{1}} de cette boule, en introduisant le symétrique {\displaystyle x_{1}'} de {\displaystyle x_{1}} par rapport à {\displaystyle x_{0}} et en écrivant l'inégalité de convexité pour {\displaystyle x_{0}} comme milieu de {\displaystyle [x_{1},x_{1}']} et en y reportant la majoration de {\displaystyle f(x_{1}')}, on obtient la minoration {\displaystyle 2f(x_{0})-M\leq f(x_{1})}.

Soit alors {\displaystyle \delta } un réel strictement positif assez petit pour que {\displaystyle f} prenne des valeurs plus petites que {\displaystyle M} (et donc plus grandes que {\displaystyle 2\,f(x_{0})-M} sur la boule ouverte {\displaystyle B_{2}} de centre {\displaystyle x_{0}} et de rayon {\displaystyle 2\delta }. On vérifie alors assez facilement que {\displaystyle f} est {\displaystyle L}-lipschitzienne sur la boule ouverte {\displaystyle B_{1}} de centre {\displaystyle x_{0}} et de rayon {\displaystyle \delta }, où l'on pose :

{\displaystyle L={2(M-f(x_{0})) \over \delta }}

Pour cette vérification, soit {\displaystyle x_{1}} et {\displaystyle x_{2}} distincts dans {\displaystyle B_{1}}. On introduit les points auxiliaires {\displaystyle x_{1}'} et {\displaystyle x_{2}'} définis par :

{\displaystyle x_{1}'=x_{1}-\delta {{x_{2}-x_{1}} \over {\|x_{2}-x_{1}\|}}} et {\displaystyle x_{2}'=x_{2}+\delta {{x_{2}-x_{1}} \over {\|x_{2}-x_{1}\|}}}.

On remarque que ces points auxiliaires sont dans {\displaystyle B_{2}}. Si l'on écrit successivement alors les inégalités de convexité correspondant à la représentation de {\displaystyle x_{1}} comme un point du segment {\displaystyle [x'_{1},x_{2}]} et à la représentation de {\displaystyle x_{2}} comme un point du segment {\displaystyle [x_{1},x_{2}']}, puis qu'on y insère les majorations et minorations disponibles pour les valeurs de {\displaystyle f} sur {\displaystyle B_{2}}, on obtient rapidement la majoration souhaitée :

{\displaystyle \left|f(x_{2})-f(x_{1})\right|\leq L\|x_{2}-x_{1}\|}

En dimension > 1, l'ensemble négligeable des points où {\displaystyle f} n'est pas dérivable peut avoir la puissance du continu : considérer par exemple[23] l'application convexe {\displaystyle \mathbb {R} ^{2}\to \mathbb {R} ,\ (x,y)\mapsto \max(x,0)}.

À une variable, sur un intervalle non ouvert, on a vu qu'une fonction convexe n'était pas nécessairement continue.

Néanmoins il est possible de la rendre continue par un procédé simple : si {\displaystyle f} est convexe sur un intervalle {\displaystyle [a,b]}, alors nécessairement la limite à droite {\displaystyle f^{+}(a)} de {\displaystyle f} en {\displaystyle a} existe et est inférieure ou égale à la valeur {\displaystyle f(a)}. La discontinuité de {\displaystyle f} en la borne {\displaystyle a} se produit alors dans le cas où {\displaystyle f^{+}(a)<f(a)}. On peut s'en démêler en modifiant simplement la valeur de {\displaystyle f} en ce point : il suffit de la diminuer et la remplacer par {\displaystyle f^{+}(a)}[24].

Dès la dimension 2, les choses ne sont pas aussi confortables, comme le montre l'exemple suivant :

Soit {\displaystyle C} le disque-unité fermé de {\displaystyle \mathbb {R} ^{2}} ; considérons la fonction {\displaystyle f} définie sur {\displaystyle C} par :

{\displaystyle \left\{{\begin{matrix}f(x,y)&=&\displaystyle {x^{2} \over {y+1}}&{\mbox{si }}(x,y)\not =(0,-1)\\f(0,-1)&=&0.&\\\end{matrix}}\right.}

Cette fonction {\displaystyle f} est convexe. Elle est toutefois discontinue au point {\displaystyle (0,-1)} mais ici la discontinuité ne peut être levée par une simple modification de la valeur {\displaystyle f(0,-1)}. On constate en effet que si on tend radialement vers ce point, la fonction étant nulle sur le rayon, {\displaystyle f(0,y)} tend vers 0 ; mais un calcul facile permet de constater que, si on tend vers {\displaystyle f(0,-1)} le long du cercle frontière de {\displaystyle C}, {\displaystyle f(x,y)} tend vers 2. Toutes les valeurs comprises entre 0 et 2 sont d'ailleurs valeurs d'adhérence de {\displaystyle f} au point {\displaystyle (0,-1)} et il est définitivement illusoire d'espérer rendre cette {\displaystyle f} continue en modifiant ses valeurs sur le bord[25].

Toutefois, si l'ensemble de définition est un polytope, les choses se passent comme sur les intervalles de {\displaystyle \mathbb {R} }, comme on peut le voir en appliquant le théorème suivant[26] :

Théorème — Une fonction convexe bornée définie sur l'intérieur d'un polytope admet un prolongement convexe continu au polytope.

Une fois qu'on a compris qu'il est vain de vouloir modifier une fonction convexe {\displaystyle f} sur la frontière de son domaine de définition jusqu'à la rendre continue, on peut néanmoins choisir un jeu de valeurs sur cette frontière plus remarquable que les autres, en exigeant que le prolongement soit à la fois semi-continu inférieurement (ce qui nécessite de choisir des valeurs faibles) et convexe (ce qui nécessite de les prendre fortes).

Pour écrire l'énoncé assez confortablement, il est ici particulièrement approprié d'utiliser des fonctions définies sur tout {\displaystyle \mathbb {R} ^{n}} et prenant éventuellement la valeur {\displaystyle +\infty }.

Démonstration

Le fait que {\displaystyle {\overline {f}}} est semi-continue inférieurement et la propriété (3) sont vrais sans utiliser l'hypothèse de convexité de {\displaystyle f}, et sont de simples exercices de topologie élémentaire.

Le fait que {\displaystyle {\overline {f}}} coïncide avec {\displaystyle f} hors de l'adhérence de {\displaystyle {\text{dom}}f}, c'est-à-dire prenne la valeur {\displaystyle +\infty } en tout point de cette partie de l'espace est lui aussi évident.

Le fait que {\displaystyle {\overline {f}}} coïncide avec {\displaystyle f} sur l'intérieur relatif de {\displaystyle {\text{dom}}f} provient de la continuité de la restriction de {\displaystyle f} à cet intérieur relatif, en tant que fonction convexe sur un convexe ouvert (relativement à son enveloppe affine).

La convexité de {\displaystyle {\overline {f}}} peut sembler claire, puisque son épigraphe est convexe comme adhérence d'un convexe, mais il y a ici un piège ! Il ne faut en effet pas oublier de vérifier que {\displaystyle {\overline {f}}} prend ses valeurs dans {\displaystyle \mathbb {R} \cup \{+\infty \}} (autrement dit, que la {\displaystyle \liminf } servant à définir {\displaystyle {\overline {f}}} ne vaut nulle part {\displaystyle -\infty }) ce qui n'est pas évident. Pour ce faire, il est souhaitable de se placer provisoirement dans l'enveloppe affine de {\displaystyle {\text{dom}}f}. Par la proposition d'existence des fonctions affines minimisantes, on construit une forme affine sur ce sous-espace qui minore {\displaystyle f} sur l'intérieur relatif de {\displaystyle {\text{dom}}f} ; la minoration est encore vraie sur la frontière relative (on s'en aperçoit point par point en restreignant l'espace de départ à une droite passant par ce point), on prolonge enfin arbitrairement cette forme affine à {\displaystyle \mathbb {R} ^{n}} tout entier en une forme affine, continue puisqu'on est en dimension finie, et qui minore partout {\displaystyle f}. Cette forme minore alors aussi les {\displaystyle \liminf } qui construisent {\displaystyle {\overline {f}}} prouvant qu'elles ne peuvent valoir {\displaystyle -\infty }.

Une fois connue la convexité de {\displaystyle f}, donc de sa restriction à tout segment, l'affirmation (2) provient du lemme facile suivant : une fonction d'une seule variable qui est à la fois convexe et semi-continue inférieurement est en fait continue.

Il est clair que (2) et que (3) caractérisent {\displaystyle {\overline {f}}}. Pour (1), cela découle du paragraphe précédent de la démonstration, dans lequel on a montré que (1) entraîne (2).

La fonction {\displaystyle {\overline {f}}} est appelée la fermeture de {\displaystyle f}. Les fonctions convexes égales à leur fermeture sont appelées des fonctions convexes fermées ; dit autrement ce sont les fonctions convexes dont l'épigraphe est fermé, ou encore autrement dit ce sont les fonctions convexes semi-continues inférieurement[27].

On peut aussi introduire une notion de convexité pour les fonctions à valeurs vectorielles, pourvu que l'on se donne un cône dans l'espace d'arrivée de la fonction.

De façon plus précise, on suppose donnés deux espaces vectoriels {\displaystyle E} et {\displaystyle F}, un convexe {\displaystyle C} de {\displaystyle E}, un cône pointé convexe {\displaystyle K} de {\displaystyle F} et une fonction {\displaystyle f} de {\displaystyle C} dans {\displaystyle F}. On dit que {\displaystyle f} est {\displaystyle K}-convexe si, pour tous {\displaystyle x_{1}} et {\displaystyle x_{2}} de {\displaystyle C} et tout {\displaystyle t} dans {\displaystyle [0;1]}, on a :

{\displaystyle f(tx_{1}+(1-t)x_{2})\in tf(x_{1})+(1-t)f(x_{2})-K}

Par les propriétés supposées de {\displaystyle K}, l'ensemble des fonctions {\displaystyle K}-convexes est un cône convexe de l'ensemble des fonctions de {\displaystyle E} dans {\displaystyle F} (parce que {\displaystyle K} est un cône convexe), contenant les fonctions affines (parce que {\displaystyle K} est pointé).

Si le cône {\displaystyle K} est également saillant, il induit sur {\displaystyle f} un ordre partiel, noté {\displaystyle \leq _{K}} et défini par :

{\displaystyle y_{1}\leq _{K}y_{2}\qquad \Longleftrightarrow \qquad y_{2}-y_{1}\in K}

Alors, l'expression ci-dessus de la {\displaystyle K}-convexité de {\displaystyle f} s'écrit aussi :

{\displaystyle f(tx_{1}+(1-t)x_{2})\leq _{K}tf(x_{1})+(1-t)f(x_{2})}

ce qui rappelle l'inégalité de convexité familière.

L'analyse convexe trouve un grand nombre d'applications en physique, lorsque les potentiels énergétiques sont localement convexes (existence de solutions stables, de changements de phase). En homogénéisation, par exemple, les théories de type variationnel permettent d'estimer les solutions d'équations aux dérivées partielles elliptiques grâce à la représentation des potentiels énergétiques par transformée de Legendre. La transformée de Legendre, formulation mathématique qui représente une fonction convexe par l'ensemble de ses tangentes, permet le développement de méthodes de linéarisation[28].

  1. ↑ Démontré p. 179 de J. L. W. V. Jensen, « Sur les fonctions convexes et les inégalités entre les valeurs moyennes », Acta Mathematica, vol. 30,‎ 1906, p. 175-193 (DOI 10.1007/BF02418571, lire en ligne).
  2. ↑ (en) Emil Artin, The Gamma Function, Dover, 2015 (1re éd. 1964), 48 p. (lire en ligne), p. 5.
  3. ↑ Une hypothèse de ce type est indispensable, car toutes les solutions {\displaystyle f} de l'équation fonctionnelle de Cauchy satisfont {\displaystyle f\left({\frac {x_{1}+x_{2}}{2}}\right)={\frac {f(x_{1})+f(x_{2})}{2}}}.
  4. ↑ Ce résultat est attribué à Jensen par . Ils renvoient à Jensen 1906, qui démontre directement une inégalité plus générale (voir infra).
  5. ↑ Artin 2015, p. 6. Pour une autre méthode, voir Nicolescu et Persson 2006, ou la Propriété 11 de la leçon « Fonctions convexes » sur Wikiversité..
  6. ↑ Démonstration de l'inégalité de Jensen dans la leçon « Fonctions convexes » sur Wikiversité..
  7. ↑ Jensen 1906, p. 180, repris dans Artin 2015, p. 6.
  8. ↑ Ce résultat est cité par Nicolescu et Persson 2006, p. 20-21, qui l'attribuent à L. Galvani, renvoyant à son article « Sulle funzioni convesse di una o due variabili, definite in un aggregato qualunque », Rend. Circ. Mat. Palermo, vol. 41, 1916, p. 103-134 DOI 10.1007/BF03018290.
  9. ↑ On trouve une démonstration dans Artin 2015, p. 1 et 6, ou dans le chapitre « Convexité » de la leçon sur les fonctions d'une variable réelle sur Wikiversité..
  10. ↑ Voir Nicolescu et Persson 2006, p. 21, qui attribuent les deux premiers points à Otto Stolz, renvoyant à son traité Grundzüge der Differential und Integralrechnung, vol. 1, Teubner, Leipzig, 1893.
  11. ↑ artin 2015, p. 4.
  12. ↑ Cf. Propriété 13 et Théorème 1 de la leçon « Fonctions convexes » sur Wikiversité..
  13. ↑ Énoncé dans Jacques Douchet, Analyse : recueil d'exercices et aide-mémoire, vol. 1, PPUR, 2010, 3e éd. (1re éd. 2003) (lire en ligne), p. 77 (prop. 5.44) et démontré dans cet exercice corrigé de la leçon sur les fonctions d'une variable réelle sur Wikiversité. Pour une généralisation aux fonctions convexes d'une variable vectorielle, voir (en) Jean-Paul Penot, Calculus Without Derivatives, coll. « GTM » (no 266), 2012 (lire en ligne), p. 202-203.
  14. ↑ Cf. Théorème 2 de la leçon « Fonctions convexes » sur Wikiversité..
  15. ↑ (en) Stephen Boyd et Lieven Vandenberghe, Convex Optimization, Cambridge University Press, 2004 (lire en ligne), p. 110.
  16. ↑ Pour l'ensemble de cette sous-section, voir (en) Jean-Baptiste Hiriart-Urruty et Claude Lemaréchal, Fundamentals of Convex Analysis, Springer, coll. « Grundlehren Text Editions », 2004 (1re éd. 2001), 259 p. (ISBN 978-3-540-42205-1, lire en ligne), p. 74-76.
  17. ↑ Selon ce qu'en dit R. T. Rockafellar dans le CIM Bulletin.
  18. ↑ Cf. Propriétés 8 et 9 de la leçon « Fonctions convexes » sur Wikiversité..
  19. ↑ (en) Werner Fenchel, Convex Cones, Sets, and Functions, Princeton University Press, 1951 (lire en ligne), p. 57.
  20. ↑ La proposition qui suit est énoncée dans Nicolescu et Persson 2006, p. 114 (sous l'hypothèse d'un espace {\displaystyle E} normé, qui ne joue pas un rôle essentiel dans la preuve).
  21. ↑ R. Glowinski, J.-L. Lions et R. Trémolières, Analyse numérique des inéquations variationnelles, t. 1 : Théorie Générale, Premières Applications, Paris, Dunod-Bordas, 1976, p. 61 et 63, Lemmes 1.1 et 1.2.
  22. ↑ Hiriart-Urruty et Lemaréchal 2004, p. 102-104, la minoration de la fonction convexe ayant été adaptée au vu de Nicolescu et Persson 2006, p. 119.
  23. ↑ Nicolescu et Persson 2006, p. 137.
  24. ↑ Ces remarques sont disponibles, avec leurs preuves et quelques détails, dans Nicolescu et Persson 2006, p. 22.
  25. ↑ L'exemple figure dans Hiriart-Urruty et Lemaréchal 2004, p. 105, avec l'explication de la convexité de {\displaystyle f}.
  26. ↑ Ce théorème est cité sans démonstration par Nicolescu et Persson 2006, p. 123, qui renvoient à (en) D. Gale, V. Klee et R. T. Rockafellar, « Convex functions on convex polytopes », Proc. Amer. Math. Soc., vol. 19,‎ 1968, p. 867-873.
  27. ↑ Pour l'ensemble de cette sous-sous-section, voir Hiriart-Urruty et Lemaréchal 2004, p. 79-80. Nicolescu et Persson 2006, p. 122, mentionnent également ces résultats en les attribuant à Fenchel 1951.
  28. ↑ Voir pour un aperçu (en) Ivar Ekeland et Roger Temam, Convex Analysis and Variational Problems, SIAM, 1999, 402 p. (ISBN 978-0-89871-450-0, lire en ligne), chap. IV.

(en) R. Tyrrell Rockafellar, Convex Analysis, Princeton, Princeton University Press, 1970, 451 p. (ISBN 978-0-691-01586-6, lire en ligne)

v · m

Convexité
Géométrie convexe
Interactions géométrie-analyse
Analyse convexe
Utilisations de la convexité