82 Analyse fonctionnelle et convexe ENSAE
Exercices compl´ementaires
Exercice 5.11 Soient Eun espace vectoriel norm´e et f:E→R∪{+∞}une fonction convexe.
On suppose qu’il existe x∈E, tel que f(x) est fini et que l’´epigraphe de fest ferm´e. Une fonction
h:E→Rest affine s’il existe une forme lin´eaire gsur Eet α∈Rtels que : ∀x∈E,h(x)=g(x)+α.
On note dans la suite A(f), l’ensemble des fonctions affines continues qui minorent fsur E.
1 - Soit x0un ´el´ement du domaine de fet α0<f(x0). Montrer qu’il existe un ´el´ement hde A(f)
telle que h(x0)=α0.
On choisit un ´el´ement h0dans A(f) et on pose dans la suite ϕ=f−h0.
2 - Soit x0, un ´el´ement de Equi n’est pas dans l’adh´erence du domaine de fet soit α0∈R.
Montrer qu’il existe une fonction affine continue hde Edans Rqui minore ϕet telle que h(x0)=α0.
3 - Soit x0, un ´el´ement de l’adh´erence du domaine de fqui n’est pas dans le domaine de f.
Montrer que pour tout α∈R, il existe r>0, tel que :
´epi(f)*(B(x0,r)×]−∞,α]) = ∅.
En d´eduire qu’il existe une fonction affine continue hde Edans Rqui minore fet telle que
h(x0)=α.
4 - D´eduire des questions pr´ec´edentes que :
f(x) = sup {h(x),h ∈A(f)},∀x∈E.
5 - Montrer que le r´esultat pr´ec´edent est faux si l’´epigraphe de fn’est pas ferm´e.
Exercice 5.12 Soient Eun espace vectoriel norm´e, (fi)i∈Iune famille d’´el´ements de E&, le dual
topologique de Eet (αi)i∈Iune famille de r´eels. On suppose que l’ensemble C={x∈E|fi(x)≥
αi,∀i∈I}est non vide. Si Aest un sous-ensemble de E, on note cone(A), le plus petit cˆone convexe
ferm´e de sommet 0 contenant A.
1 - Soit g∈E&,β∈R. Montrer que les propri´et´es suivantes sont ´equivalentes :
(ı) pour tout x∈C,g(x)≥β;
(ıı)(g, β)∈cone{(fi,γ)|γ≤αi,∀i∈I}.
2 - En d´eduire dans le cas o`u Iest fini que (ı) est v´erifi´ee si et seulement si il existe λi≥0, pour
tout i∈I, tel que :
g=#
i∈I
λifiet β≤#
i∈I
λiαi.
Exercice 5.13 Soit E, un espace vectoriel norm´e et soit E&, son dual topologique. Soit f, une
application convexe de Edans R∪{+∞}. Soit x0, un ´el´ement du domaine de f. Le sous-diff´erentiel
de fen x0, est l’ensemble des ´el´ements pde E&tel que :
f(x)−f(x0)≥p(x−x0),∀x∈E.
1 - Montrer que si fest continue en x0, un ´el´ement du domaine de f, alors le sous-diff´erentiel de
fen x0est non vide. On pourra s´eparer le point (x0,f(x0)) de l’int´erieur de l’´epigraphe de f.
La fonction fest dite propre (au sens de Mas-Colell) en x0, un ´el´ement de son domaine, s’il existe
un cˆone convexe ouvert de sommet 0, U, tel que :
({x0}+U)∩{x∈E|f(x)≤f(x0)}=∅.
2 - Montrer que si le sous-diff´erentiel de fen x0est non-vide, alors fest propre en x0.