Fonction convexe-concave

La fonction z = x² – y² est un exemple de fonction convexe-concave.

En mathématiques, une fonction convexe-concave est une fonction définie sur un produit d'espaces vectoriels réels, qui est convexe par rapport à la première variable (quelle que soit la seconde variable) et concave par rapport à la seconde (quelle que soit la première). Une fonction concave-convexe est une fonction dont l'opposée est convexe-concave. On rassemble parfois ces deux types de fonctions sous le vocable de fonction de point-selle, qui est donc une notion moins précise (on ne dit pas si la convexité a lieu par rapport à la première ou la seconde variable) et qui prête à confusion (ces fonctions n'ont pas nécessairement de point-selle).

Les fonctions convexes-concaves apparaissent en optimisation (le lagrangien en est un exemple), dans les problèmes d'équilibre (théorie des jeux), etc.

Connaissances supposées : notions de fonctions convexe et concave, de sous-différentiabilité.

Définitions

Soient $𝔼$ et $𝔽$ deux espaces vectoriels sur l'ensemble des réels $ℝ$. On note $\overline{ℝ}:=ℝ\cup \{-\mathrm{\infty },+\mathrm{\infty }\}$ la droite réelle achevée.

Fonction convexe-concave fermée

La définition d'une fonction convexe-concave fermée ne doit pas être confondue avec celle d'une fonction convexe fermée. Si la fermeture d'une fonction (convexe) est équivalente à sa semi-continuité inférieure, la fermeture d'une fonction convexe-concave ne l'est pas. Cette dernière notion est aussi plus générale (i.e., moins forte) que la semi-continuité inférieure par rapport à la première variable jointe à la semi-continuité supérieure par rapport à la seconde variable. Elle donne en fait des conditions assez générales assurant la monotonie maximale d'un « opérateur dérivé » associé. On s'y prend de la manière suivante.

Monotonie

On sait qu'une fonction réelle d'une variable réelle différentiable et convexe a sa dérivée croissante. Ce fait se généralise aux fonctions convexes propres, définies sur un espace vectoriel, par le fait que leur sous-différentiel est un opérateur monotone (voir ici). Le résultat ci-dessous montre que l'on a aussi une relation de monotonie pour un opérateur sous-différentiel associé à une fonction convexe-concave.

On note ${\partial }_x\phi (x,y)$ le sous-différentiel de la fonction convexe $\phi (\cdot ,y)$ en $x$, ${\partial }_y(-\phi )(x,y)$ le sous-différentiel de la fonction convexe $-\phi (x,\cdot )$ en $y$ et $\mathrm{dom}T:=\{(x,y)\in 𝔼\times 𝔽:T(x,y)\ne \varnothing \}$ le domaine de l'opérateur multivoque $T$.

L'opérateur $T$ introduit dans le résultat de monotonie ci-dessus est appelé l'opérateur monotone associé à $\phi$. On vérifie aisément que

$(x^{*},y^{*})\in T(x,y)⟺\{\begin{array}{c}(x,y)\text{est un point-selle de}\\ (x^{\prime },y^{\prime })\mapsto \phi (x^{\prime },y^{\prime })-⟨x^{*},x^{\prime }⟩+⟨y^{*},y^{\prime }⟩.\end{array}$

En particulier

$(0,0)\in T(x,y)⟺(x,y)\text{est un point-selle de}\phi .$

Monotonie maximale

Dans cette section, on examine la monotonie maximale de l'opérateur monotone $T$ associé à une fonction convexe-concave introduit dans la section précédente. Cette propriété joue un rôle essentiel dans le fait que l'inclusion $0\in T(x)$ puisse avoir une solution $x$, ainsi que dans la convergence des algorithmes calculant de telle solution ; elle est en quelque sorte le pendant de la semi-continuité inférieure des fonctions en optimisation.

On commence par un résultat pour les fonctions convexes-concaves ne prenant que des valeurs finies.

Sachant qu'une fonction convexe ne prenant que des valeurs finies et définie sur un espace vectoriel de dimension finie est nécessairement continue, on obtient tout de suite le corollaire suivant.

Le résultat de monotonie maximale ci-dessous généralise le précédent en permettant la fonction convexe-concave de prendre des valeurs infinies. Cependant cette fonction doit être fermée et les espaces doivent être des espaces de Banach (l'un étant réflexif).

Si $\phi :𝔼\times 𝔽\to \overline{ℝ}$ est une fonction convexe-concave propre fermée, $\phi (\cdot ,y)$ n'est pas nécessairement semi-continue inférieurement et $\phi (x,\cdot )$ n'est pas nécessairement semi-continue supérieurement, mais si l'on fait ces hypothèses de semi-continuité quels que soient $x\in 𝔼$ et $y\in 𝔽$, alors $\phi$ est fermée et on peut appliquer le théorème.

On peut encore particulariser le résultat donné dans le corollaire précédent au cas où la fonction convexe-concave $\phi :𝔼\times 𝔽\to \overline{ℝ}$ est obtenue par restriction à un produit de convexes $C\subset 𝔼$ et $D\subset 𝔽$ d'une fonction convexe-concave ${\phi }_0:𝔼\times 𝔽\to ℝ$ ne prenant que des valeurs finies.

Annexes

Articles connexes

• Fonction concave
• Fonction convexe

Bibliographie

• Modèle:En R.T. Rockafellar (1970a). Convex Analysis. Princeton Mathematics Ser. 28. Princeton University Press, Princeton, New Jersey.
• Modèle:En R.T. Rockafellar (1970b). Monotone operator associated with saddle functions and minimax problems. In F.E. Browder, éditeur, Nonlinear Functional Analysis, Part 1, pages 397–407. Symposia in Pure Math., vol. 18, Amer. Math. Soc., Providence, R.I.