1: \begin{abstract} While global convergence of the Douglas--Rachford

2:   iteration is often observed in applications, proving it is still

3:   limited to convex and a handful of other special cases.  Lyapunov

4:   functions for difference inclusions provide not only global or local

5:   convergence certificates, but also imply robust stability, which means

6:   that the convergence is still guaranteed in the presence of persistent

7:   disturbances.  In this work, a global Lyapunov function is constructed

8:   by combining known local Lyapunov functions for simpler, local

9:   sub-problems via an explicit formula that depends on the problem

10:   parameters. Specifically, we consider the scenario where one set

11:   consists of the union of two lines and the other set is a line, so

12:   that the two sets intersect in two distinct points. Locally, near each

13:   intersection point, the problem reduces to the intersection of just

14:   two lines, but globally the geometry is non-convex and the

15:   Douglas--Rachford operator multi-valued.  Our approach is intended to

16:   be prototypical for addressing the convergence analysis of the

17:   Douglas--Rachford iteration in more complex geometries that can be

18:   approximated by polygonal sets through the combination of local,

19:   simple Lyapunov functions.

20: \end{abstract}

21: