TD 10: Opérateur proximal
La seule propriété de l'opérateur proximal que l'on utilisera est l'équivalencey= proxγf(x)⇐⇒
x∈(id +γ∂f)(y).
Exercice 1. SoitEun espace de Hilbert, qu'on identie à son dual. Soitf :E→Rune fonction convexe propre sci.
1. Montrer la décomposition de Moreau
∀x∈E, x= prox1f(x) + prox1f∗(x)
(Indication : poser z=x−prox1f(x) et démontrer que z= prox1f∗(x). Penser à utiliser y∈∂f(x)⇐⇒x∈∂f∗(y) pour f convexe sci.)
2. Soit f = iH où H est un sous-espace vectoriel fermé de H. Montrer que f∗ = iH⊥. Que donne la décomposition de Moreau dans ce cas ?
Exercice 2. Dans cet exercice, on précise les liens entre l'opérateur proximal et la régularisation de Moreau-Yosida.
1. Soit E un espace vectoriel normé, f, g : E → R deux fonctions convexes propres et [fg](x) := infy,z∈E,y+z=xf(y) +g(z). On suppose que pour x0 ∈ E, l'inmum dans la dénition de[fg](x0)est atteint en une paire de point y0, z0∈E tels quex0 =y0+z0. Montrer que
∂[fg](x0) =∂f(y0)∩∂g(z0). (1) (Indication : raisonner par équivalence en partant de la dénition du sous-diérentiel) 2. Soient f :Rn→ Rune fonction convexe semi-continue inférieurement, propre et minorée.
On considère fγ la régularisée de Moreau-Yosida de f, c'est-à-dire avecg(z) = 2γ1 kzk2, fγ(x) := (fg)(x) = inf
y∈Rn
f(y) + 1
2γ kx−yk2. On admettra que l'inmum est atteint et quefγ est continue.
(i) En utilisant (1), montrer que six0 ∈Rn,y0= proxγf(x0) etz0 =x0−y0,
∂fγ(x0) =∂f(y0)∩ {1
γz0} (2)
(ii) Déduire de (2) que fγ est Gâteaux-diérentiable en tout pointx0∈Rn et que
∇fγ(x0) = 1
γ(x0−proxγf(x0)).
Montrer que les itérations de l'algorithme du point proximal s'écrivent (x0 ∈Rn
xn+1 =xn−γ∇fγ(xn).
(iii) Que se passe-t-il si l'on remplaceg= 2γ1 k·k2 parg= 2γ1 k·kp (p >1) ?
Exercice 3. Soit E =F1⊕F2 un espace de Hilbert où F1 etF2 sont deux sous-espaces fermés orthogonaux. On considèrefi:Fi →Rconvexes sci et∀(x, y)∈F1×F2, f(x+y) :=f1(x)+f2(y), qu'on suppose propre. Montrer que∀(x, y)∈F1×F2, proxλf(x+y) = proxλf1(x) + proxλf2(y).
En déduire l'opérateur proximal de f :x∈Rn7→ kxk`1 =Pn i=1|xi|. 1