Rappels

Prolongement de fonction convexe SCI

Enveloppes supérieures de fonctions affines continues
Régularisée convexe sci d’une fonction numérique
Conclusion

FONCTIONS CONVEXES CONJUGUÉES

MOHAMED BENHANI et AHMED LAHMAR

FS Ben M’sik Universite Hassan II Casablanca

Master AMA
Mr Guessous mohamed

20 mai 2022

MOHAMED BENHANI et AHMED LAHMAR ANALYSE CONVEXE

 Rappels
Prolongement de fonction convexe SCI
Enveloppes supérieures de fonctions affines continues
Régularisée convexe sci d’une fonction numérique
Conclusion

Sommaire

1 Rappels

2 Prolongement de fonction convexe SCI

3 Enveloppes supérieures de fonctions affines continues

4 Régularisée convexe sci d’une fonction numérique

5 Conclusion

MOHAMED BENHANI et AHMED LAHMAR ANALYSE CONVEXE

 Rappels
Prolongement de fonction convexe SCI
Enveloppes supérieures de fonctions affines continues
Régularisée convexe sci d’une fonction numérique
Conclusion

RAPPELS
S.E. convexe
E un espace normé.
Une partie C non vide de E est dit convexe si

∀x, y ∈ C , ∀α ∈ [0, 1], (1 − α).x + α.y ∈ C

Fonctions convexes
Soit f : E −→ R ∪ {+∞}. Le domaine effectif de f est

dom f = {x ∈ E : f (x) < +∞}

On dit que f est convexe si ∀x, y ∈ E ; ∀α ∈ [0, 1]

f (αx + (1 − α)y ) ≤ αf (x) + (1 − α)f (y )

MOHAMED BENHANI et AHMED LAHMAR ANALYSE CONVEXE
 Rappels
Prolongement de fonction convexe SCI
Enveloppes supérieures de fonctions affines continues
Régularisée convexe sci d’une fonction numérique
Conclusion

RAPPELS

Épigraphe d’une fonction

Soit f : E → R = R ∪ {+∞}. L’épigraphe (resp l’épigraphe strict)
de f est
epi(f ) = {(x, t) ∈ E × R : f (x) ≤ t}
(resp · epist(f ) = {(x, t) ∈ E × R : f (x) < t}).

Fonctions SCI
On dit qu’une fonction f : E → R est semi-continue inférieurement
(sci) si pour tout a ∈ R, l’ensemble {f > a} est un ouvert de E .
• Toute fonction continue est SCI.

MOHAMED BENHANI et AHMED LAHMAR ANALYSE CONVEXE

 Rappels
Prolongement de fonction convexe SCI
Enveloppes supérieures de fonctions affines continues
Régularisée convexe sci d’une fonction numérique
Conclusion

Rappels

MOHAMED BENHANI et AHMED LAHMAR ANALYSE CONVEXE

 Rappels
Prolongement de fonction convexe SCI
Enveloppes supérieures de fonctions affines continues
Régularisée convexe sci d’une fonction numérique
Conclusion

Rappels

MOHAMED BENHANI et AHMED LAHMAR ANALYSE CONVEXE

 Rappels
Prolongement de fonction convexe SCI
Enveloppes supérieures de fonctions affines continues
Régularisée convexe sci d’une fonction numérique
Conclusion

Rappels

Caractérisation des fonctions sci

La fonction numérique f : E → R est s.c.i. si et seulement si son
épigraphe est fermé

proposition
La fonction numérique f : E → R est s.c.i. si et seulement si pour
tout x0 ∈ E on a
lim inf f (x) = f (x0 ) .
x→x0

MOHAMED BENHANI et AHMED LAHMAR ANALYSE CONVEXE

 Rappels
Prolongement de fonction convexe SCI
Enveloppes supérieures de fonctions affines continues
Régularisée convexe sci d’une fonction numérique
Conclusion

Rappels

Démonstration
⇒ Il suffit de montrer que

∀x0 ∈ E , f (x0 ) ≤ lim inf f (x).

x→x0

On a f est s.c.i, alors pour tout ε > 0 l’ensemble :

{x ∈ E /f (x) > f (x0 ) − ε} est un ouvert contenant x0 , donc
contenant aussi une boule ouverte B (x0 , r ), avec r > 0.
Alors inf x∈B(x0 ,r ) f (x) ≥ f (x0 ) − ε,
donc limx→x0 inf f (x) ≥ f (x0 ) − ε et en faisant ε → 0.
d’où limx→x0 inf f (x) = f (x0 )

MOHAMED BENHANI et AHMED LAHMAR ANALYSE CONVEXE

 Rappels
Prolongement de fonction convexe SCI
Enveloppes supérieures de fonctions affines continues
Régularisée convexe sci d’une fonction numérique
Conclusion

Rappels

Démonstration
⇐ \ Réciproquement, supposons que cette égalité est vraie en tout
point de E .
Soit a ∈ [−∞; +∞ [ et montrons que {x ∈ E /f (x) > a} est un
ouvert de E
on a f (x0 ) = supr >0 inf x∈B(x0 ,r ) f (x)
soit x0 ∈ {x ∈ E /f (x) > a}
x0 ∈ x ∈ E / supr >0 inf x∈B(x0 ,r ) f (x) > a
il existe alors r0 > 0 : inf x∈B(x0 ,r0 ) f (x) > a
donc B (x0 , r0 ) ⊂ {x ∈ E /f (x) > a}.

MOHAMED BENHANI et AHMED LAHMAR ANALYSE CONVEXE

 Rappels
Prolongement de fonction convexe SCI
Enveloppes supérieures de fonctions affines continues
Régularisée convexe sci d’une fonction numérique
Conclusion

Prolongement de fonction convexe SCI

Désormais C est partie non vide convexe de E

Proposition
Si f : C → R est une fonction convexe sci, la fonction f˜ : E → R
définie par :

limy →x inf f (y ) si x ∈ C̄
f˜(x) = y ∈C
+∞ sinon

est un prolongement convexe sci de f ,et on a epif˜ = ( epi f ).

MOHAMED BENHANI et AHMED LAHMAR ANALYSE CONVEXE

 Rappels
Prolongement de fonction convexe SCI
Enveloppes supérieures de fonctions affines continues
Régularisée convexe sci d’une fonction numérique
Conclusion

Prolongement de fonction convexe S.C.I.

Démonstration
Montrons qu’on a epif˜ = ( epi f )
1/ epif˜ ⊂ epi(f) :
soit (x, t) ∈ epif˜ alors fe(x) ≤ t < +∞ donc x ∈ C̄

f˜(x) = lim inf f (y ).

n→+∞ y ∈B (x, 1 )∩C
n

∀n, ∃xn ∈ B x, n1 ∩ C :

1
inf f (y ) ≤ f (xn ) < inf f (y ) +
1
y ∈B (x, n )∩C 1
y ∈B (x, n )∩C n

MOHAMED BENHANI et AHMED LAHMAR ANALYSE CONVEXE

 Rappels
Prolongement de fonction convexe SCI
Enveloppes supérieures de fonctions affines continues
Régularisée convexe sci d’une fonction numérique
Conclusion

Prolongement de fonction convexe S.C.I.

Démonstration
(xn ) ⊂ C , xn → x et f (xn ) → fe(x) ≤ +∞
1 1
f (xn ) < fe(x) + ≤ t +
  n n
1
xn , t + ∈ epi(f )
n
 
1
xn , t + → (x, t)
n n

MOHAMED BENHANI et AHMED LAHMAR ANALYSE CONVEXE

 Rappels
Prolongement de fonction convexe SCI
Enveloppes supérieures de fonctions affines continues
Régularisée convexe sci d’une fonction numérique
Conclusion

Prolongement de fonction convexe SCI

Démonstration
2/ epi(f ) ⊂ epif˜ : soit (x, t) ∈ epi(f) donc
(x, t) = limn→+∞ (xn , tn ) tel que (xn , tn ) ∈ epi(f ) (xn → x dans E ,
et tn → t dans R) donc

f (xn ) ≤ tn

alors
lim lim
lim inf f (xn ) = lim inf f (xn ) = f (xn ) ≤ tn = t.
xn →x k→+∞n≥k n n

MOHAMED BENHANI et AHMED LAHMAR ANALYSE CONVEXE

 Rappels
Prolongement de fonction convexe SCI
Enveloppes supérieures de fonctions affines continues
Régularisée convexe sci d’une fonction numérique
Conclusion

Prolongement de fonction convexe S.C.I.

Démonstration
si x ∈ C̄ , on a fe(x) = lim inf f (y )
y →x,y ∈C

= lim+ inf f (y );
r →0 y ∈Y ∩B(x,r )

∀r > 0, ∃k ∈ N : (n ≥ k ⇒ xn ∈ B(x, r ));

{xn , n ≥ k} ⊂ C ∩ B(x, r );
lim
inf f (x) ≤ inf f (xn ) ≤
f (xn ) ;
x∈C ∩B(x,r ) n≥k n
lim
quand r → 0+ on trouve f˜(x) ≤ f (xn ) ;
n
D’ où f˜(x) ≤ t donc (x, t) ∈ epi f˜.

MOHAMED BENHANI et AHMED LAHMAR ANALYSE CONVEXE

 Rappels
Prolongement de fonction convexe SCI
Enveloppes supérieures de fonctions affines continues
Régularisée convexe sci d’une fonction numérique
Conclusion

Prolongement de fonction convexe SCI

Remarque :
La fonction caractéristique de C est
(
0 si x ∈ C
χC (x) =
+∞ sinon

Le prolongement convexe sci χ

ec de la fonction caractéristique du
convexe C est égal à χC̄ .

MOHAMED BENHANI et AHMED LAHMAR ANALYSE CONVEXE

 Rappels
Prolongement de fonction convexe SCI
Enveloppes supérieures de fonctions affines continues
Régularisée convexe sci d’une fonction numérique
Conclusion

Enveloppes supérieures de fonctions affines continues

Définition enveloppes supérieures

L’enveloppe supérieure d’une famille (fi ) des fonctions continues est
définie par f = sup fi .

MOHAMED BENHANI et AHMED LAHMAR ANALYSE CONVEXE

 Rappels
Prolongement de fonction convexe SCI
Enveloppes supérieures de fonctions affines continues
Régularisée convexe sci d’une fonction numérique
Conclusion

Enveloppes supérieures de fonctions affines continues

MOHAMED BENHANI et AHMED LAHMAR ANALYSE CONVEXE

 Rappels
Prolongement de fonction convexe SCI
Enveloppes supérieures de fonctions affines continues
Régularisée convexe sci d’une fonction numérique
Conclusion

Enveloppes supérieures de fonctions affines continues

Théorème
Une fonction f : E → R ∪ {+∞} est convexe sci si et seulement si
elle est enveloppe supérieure de fonctions affines continues.

MOHAMED BENHANI et AHMED LAHMAR ANALYSE CONVEXE

 Rappels
Prolongement de fonction convexe SCI
Enveloppes supérieures de fonctions affines continues
Régularisée convexe sci d’une fonction numérique
Conclusion

Enveloppes supérieures de fonctions affines continues

Démonstration
Une enveloppe supérieure de fonctions affines continues est convexe
sci à valeurs dans R ∪ {+∞}.
Réciproquement soit f : E → R ∪ {+∞} une fonction convexe sci.
Si f est la fonction identique à +∞, c’est trivialement une
enveloppe supérieure d’une famille de fonctions affines continues,
par exemple fn = n, ∀n ≥ 1.
Sinon, domf n’est pas vide. Considérons x0 ∈ domf :
Pour tout t réel t < f (x0 ), l’ensemble :
Vf = {x ∈ E /f (x) > t} est un ouvert contenant x0 ,
donc contenant une boule ouverte B (x0 , r ) , r > 0.

MOHAMED BENHANI et AHMED LAHMAR ANALYSE CONVEXE

 Rappels
Prolongement de fonction convexe SCI
Enveloppes supérieures de fonctions affines continues
Régularisée convexe sci d’une fonction numérique
Conclusion

Enveloppes supérieures de fonctions affines continues

Démonstration
Soit g = t − χB(x0 ,r ) :
g est une fonction concave, finie et continue sur B (x0 , r ) et
majorée par f .
Comme x0 est adhérent à domf, on a

( domf ) ∩ B (x0 , r ) 6= ∅.

ce qui permet d’utiliser le théorème de séparation fonctionnel

suivant :

MOHAMED BENHANI et AHMED LAHMAR ANALYSE CONVEXE

 Rappels
Prolongement de fonction convexe SCI
Enveloppes supérieures de fonctions affines continues
Régularisée convexe sci d’une fonction numérique
Conclusion

Enveloppes supérieures de fonctions affines continues

Théorème de séparation fonctionnel

Soient f : E → R ∪ {+∞} une fonction convexe, et
g : E → R ∪ {−∞} une fonction concave telles que

∀x ∈ E ; f (x) ≥ g (x).

On suppose qu’il existe un point x0 où f et g prennent des valeurs

finies, et où l’une d’elles soit continue. Alors il existe une fonction
affine continue h telle que

f (x) ≥ h(x) ≥ g (x).

MOHAMED BENHANI et AHMED LAHMAR ANALYSE CONVEXE

 Rappels
Prolongement de fonction convexe SCI
Enveloppes supérieures de fonctions affines continues
Régularisée convexe sci d’une fonction numérique
Conclusion

Enveloppes supérieures de fonctions affines continues

Démonstration
D’après le théorème de séparation fonctionnelle il existe une
fonction affine continue h avec g ≤ h ≤ f .
Donc h est une minorante affine continue de f telle que h (x0 ) ≥ t
• Alors on a f admet au moins une minorante affine continue h0 ,
• et en tout point x0 ∈ domf, il existe pour tout t < f (x0 ) une
minorante affine continue h de f telle que h (x0 ) ≥ t.

MOHAMED BENHANI et AHMED LAHMAR ANALYSE CONVEXE

 Rappels
Prolongement de fonction convexe SCI
Enveloppes supérieures de fonctions affines continues
Régularisée convexe sci d’une fonction numérique
Conclusion

Enveloppes supérieures de fonctions affines continues

Proposition : Séparation d’un point et d’un convexe fermé

Soit C un convexe fermé de l’espace vectoriel normé E .
Pour tout point x0 ∈ E n’appartenant pas à C il existe un
hyperplan affine fermé H séparant strictement x de C .
Il revient au même de dire qu’il existe une forme linéaire continue f
telle que :

sup f (x) < f (x0 )

x∈C

MOHAMED BENHANI et AHMED LAHMAR ANALYSE CONVEXE

 Rappels
Prolongement de fonction convexe SCI
Enveloppes supérieures de fonctions affines continues
Régularisée convexe sci d’une fonction numérique
Conclusion

Enveloppes supérieures de fonctions affines continues

Démonstration
Soit maintenant x0 ∈ E \ domf ; on peut trouver d’après le
théorème (séparation d’un point et d’un convexe fermé) une forme
linéaire u ∗ ∈ E 0 telle que

α := sup hu ∗ , xi < hu ∗ , x0 i
x∈ domf

La fonction affine hu∗ ,α définie par

hu∗ ,α (x) = hu ∗ , xi − α

MOHAMED BENHANI et AHMED LAHMAR ANALYSE CONVEXE

 Rappels
Prolongement de fonction convexe SCI
Enveloppes supérieures de fonctions affines continues
Régularisée convexe sci d’une fonction numérique
Conclusion

Enveloppes supérieures de fonctions affines continues

Démonstration
Pour tout t ∈ R on peut donc trouver ρ ≥ 0 tel que

ρhu∗ ,α (x0 ) > t − h0 (x0 )

Alors h = ρhu∗ ,α + h0 vérifie h (x0 ) > t et h(x) ≤ h0 (x) ≤ f (x)

pour tout x ∈ domf, donc h ≤ f .
Désignons par Af l’ensemble des minorantes affines continues de f ;
il est clair que f ≥ sup Af , et ce qui précède montre que f = sup Af

MOHAMED BENHANI et AHMED LAHMAR ANALYSE CONVEXE

 Rappels
Prolongement de fonction convexe SCI
Enveloppes supérieures de fonctions affines continues
Régularisée convexe sci d’une fonction numérique
Conclusion

Régularisée convexe sci d’une fonction numérique

Définition
La régularisée convexe sci d’une fonction f : E → R est la plus
grande fonction convexe sci fb : E → R minorant f .

Notation
Soit Sf l’ensemble des fonctions convexes sci minorant f (Noter
que Sf contient en particulier la constante −∞ ). Alors
l’enveloppe supérieure de Sf est convexe sci, donc c’est fˆ.

MOHAMED BENHANI et AHMED LAHMAR ANALYSE CONVEXE

 Rappels
Prolongement de fonction convexe SCI
Enveloppes supérieures de fonctions affines continues
Régularisée convexe sci d’une fonction numérique
Conclusion

Régularisée convexe sci d’une fonction numérique

Remarque
La fonction f et sa régularisée convexe sci ont les mêmes
minorantes affines continues : Af = Afb. Il résulte donc du
théorème précédent que si A f 6= ∅, la régularisée convexe sci fˆ est
égale à l’enveloppe supérieure de Af .

MOHAMED BENHANI et AHMED LAHMAR ANALYSE CONVEXE

 Rappels
Prolongement de fonction convexe SCI
Enveloppes supérieures de fonctions affines continues
Régularisée convexe sci d’une fonction numérique
Conclusion

Régularisée convexe sci d’une fonction numérique

Proposition
Soit f une fonction convexe sci et fb sa régularisée.on a :

epi fb = co(epif )

MOHAMED BENHANI et AHMED LAHMAR ANALYSE CONVEXE

 Rappels
Prolongement de fonction convexe SCI
Enveloppes supérieures de fonctions affines continues
Régularisée convexe sci d’une fonction numérique
Conclusion

Régularisée convexe sci d’une fonction numérique

Démonstration
L’ensemble epifb est convexe fermé et contient epif (puisque fb ≤ f )
donc contient co( epif f ).
Inversement co( epif f ) est l’épigraphe d’une fonction

g :E →R

En effet :
pour tout s ≥ 0 soit Ts la translation de E × R de vecteur (0, s),
on a Ts ( epif ) ⊂ epif, et il en résulte
Ts (co( epif )) ⊂ co( epif ).

MOHAMED BENHANI et AHMED LAHMAR ANALYSE CONVEXE

 Rappels
Prolongement de fonction convexe SCI
Enveloppes supérieures de fonctions affines continues
Régularisée convexe sci d’une fonction numérique
Conclusion

Régularisée convexe sci d’une fonction numérique

Démonstration
Autrement dit si (x, t) ∈ co( epif )
alors pour tout s ≥ 0, on a (x, t + s) ∈ co( epi f ).
Posant g (x) = inf{t/(x, t) ∈ co( epi f )}
(avec la convention inf ∅ = +∞ ) on a (x, g (x)) ∈ co( epif )
lorsque g (x) > −∞ (car cet ensemble est fermé),
et finalement epi g = co( epi f ).
La fonction g est alors convexe sci, et minore f , d’où g 6 fb et
donc co( epif f )=epig ⊃epifb.
Donc
epi fb = co(epif )

MOHAMED BENHANI et AHMED LAHMAR ANALYSE CONVEXE

 Rappels
Prolongement de fonction convexe SCI
Enveloppes supérieures de fonctions affines continues
Régularisée convexe sci d’une fonction numérique
Conclusion

Conclusion

La structure des minorants d’une fonction convexe SCI

MOHAMED BENHANI et AHMED LAHMAR ANALYSE CONVEXE

 Rappels
Prolongement de fonction convexe SCI
Enveloppes supérieures de fonctions affines continues
Régularisée convexe sci d’une fonction numérique
Conclusion

fin d’exposé

Merci de votre attention

MOHAMED BENHANI et AHMED LAHMAR ANALYSE CONVEXE