Let GC be an open domain which is contained in some bounded disk, say D0. Further suppose that δG intersects the boundary of this disk. Now let f:GC be holomorphic with a continuous extension f:cl(G)C. Further suppose that f(δG) intersects the boundary of another disk, say D1. We define reflections over these disks in the following way:

σ0:D0{center}(cl(D0))cσ0(z)=r2|zcenter|(zcenter)+center

σ1 can be defined in a similar way. With these conventions, we define:
:?:

F(z)={f(z)zcl(G)σ1(f(σ01(z)))zσ0(G)> [!remark] > We can prove this by pre and post composing with a Möbius transformation, so that we can apply the normal Schwarz reflection.
Powered by Forestry.md