The wave function φ(x, y) satisfies the equation
in the infinite region
and satisfies the boundary condition Kφ + φy = 0 on the two line segments (y = 0, −∞ < x < −R) and (y = 0, R < x < ∞). We are not concerned with the properties of φ(x, y) inside the circle r = R. It is shown that outside the circle r = R the wave function φ(x, y) can be written as the sum of a wave source, a wave dipole, regular waves and wave-free potentials. (These basic functions are defined in section 2.) The proof makes use of analytic continuation into the image region (r > R, y ≤ 0) cut along the negative y-axis.
Two methods are given for this step. The first method uses Schwarz's symmetry principle to define the auxiliary wave function Φ = Kφ + φy throughout r > R, and φ can then be found by solving differential equations in the y or x direction. The second method uses Green's theorem. Applications in the theory of water waves are suggested.