Firmly nonexpansive mappings and maximally monotone operators: correspondence and duality (Q430132)

The paper systematically analyses the properties of firmly nonexpansive mappings and the related maximally monotone operators in a real Hilbert space setting. Indeed, if \(T\) is firmly nonexpansive, then \(T^{-1}-\mathrm{Id}\) is maximally monotone, while if \(A\) is maximally monotone, then its resolvent \(J_A=(\mathrm{Id}+A)^{-1}\) is firmly nonexpansive. In addition, each class of operators has its own duality operation. In Section 2, a very exhaustive list of properties of a firmly nonexpansive mapping \(T\) and the related maximally monotone operator \(A=T^{-1}-\mathrm{Id}\) are carefully investigated. In Section 3, the self-dual properties of firmly nonexpansive mappings and maximally monotone operators are considered, with special attention to the properties that are self-dual. In the last section, the authors also deal with properties of general nonexpansive mappings and point out a few possible applications of their results to operators occurring in splitting methods for solving operator equations.