A Generalized Forward-Backward Splitting
An algorithmic scheme for solving, over any real Hilbert space ℋ, monotone inclusion problems of the form
find x ∈ zer (∑i=1n Ai + B ) ,
where:
- all considered operators are maximally monotone,
- B is cocoercive,
- for all i ∈ {1,…,n}, Ai is simple, in the sense that we can compute easily its resolvent:
JAi := (Id + Ai)-1.
In particular, it enables minimization over ℋ of convex problems of the form
find x∈ argmin ∑i=1n gi + f ,
where:
- all considered functions are lower semicontinuous, proper, and convex from ℋ to ]−∞,+∞],
- f is differentiable with Lipschitz-continuous gradient,
- for all i ∈ {1,…,n}, gi is simple, in the sense that we can compute easily its proximity operator:
proxgi: x ↦ argminy∈ℋ
||x − y||2 + gi(y) .
Work done in collaboration with Jalal Fadili and Gabriel Peyré.
Published in SIAM Journal of Imaging Sciences:
Permalink -
Author's manuscript -
reference as BibTeX format.
Erratum: on top of page 10 (1208 in the volume), in the application of the Sherman–Morrison–Woodbury formula in equation (3.3), a factor γ has been forgotten.
Source code of numerical simulations used in the paper is not maintained anymore, feel free to contact me for any question.
A more complete version of this work can be found in chapters III and IV of my Ph.D. thesis.
See also the preconditioned version, or the forward-Douglas–Rachford version.