Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2022/iii/paper-339/3/b/solution

Write and . Since ,
and therefore
With reflected proximal maps and ,
Firm nonexpansiveness of each proximal map is equivalent to nonexpansiveness of its reflection. Thus is nonexpansive, and its average with the identity is firmly nonexpansive. This is the Douglas–Rachford method.

New to topics? Read the docs here!