Neumann–Poincaré operator

Green's theorem for a bounded region Ω in the plane with smooth boundary ∂Ω states that

${\displaystyle \displaystyle {\int _{\partial \Omega }A\,dx+B\,dy=\iint _{\Omega }(B_{x}-A_{y})\,dx\,dy.}}$

One direct way to prove this is as follows. By subtraction, it is sufficient to prove the theorem for a region bounded by a simple smooth curve. Any such is diffeomorphic to the closed unit disk. By change of variables it is enough to prove the result there. Separating the A and B terms, the right hand side can be written as a double integral starting in the x or y direction, to which the fundamental theorem of calculus can be applied. This converts the integral over the disk into the integral over its boundary.[1]

Let Ω be a region bounded by a simple closed curve. Given a smooth function f on the closure of Ω its normal derivative ∂_nf at a boundary point is the directional derivative in the direction of the outward pointing normal vector. Applying Green's theorem with A = v_x u and B = v_y u gives the first of Green's identities:[2]

${\displaystyle \displaystyle {\int _{\partial \Omega }u\,\partial _{n}v=\iint _{\Omega }u_{x}v_{x}+u_{y}v_{y}-u\,\Delta v,}}$

where the Laplacian Δ is given by

${\displaystyle \displaystyle \Delta =-\partial _{x}^{2}-\partial _{y}^{2}.}$

Swapping u and v and subtracting gives the second of Green's identities:

${\displaystyle \displaystyle {\int _{\partial \Omega }u\,\partial _{n}v-\partial _{n}u\,v=\iint _{\Omega }\,\Delta u\,v-u\,\Delta v.}}$

If now u is harmonic in Ω and v = 1, then this identity implies that

${\displaystyle \displaystyle {\int _{\partial \Omega }\partial _{n}u=0,}}$

so the integral of the normal derivative of a harmonic function on the boundary of a region always vanishes.

A similar argument shows that the average of a harmonic function on the boundary of a disk equals its value at the centre. Translating the disk can be taken to be centred at 0. Green's identity can be applied to an annulus formed of the boundary of the disk and a small circle centred on 0 with v = z²: it follows that the average is independent of the circle. It tends to the value at its value at 0 as the radius of the smaller circle decreases. This result also follows easily using Fourier series and the Poisson integral.

For continuous functions f on the whole plane which are smooth in Ω and the complementary region Ω^c, the first derivative can have a jump across the boundary of Ω. The value of the normal derivative at a boundary point can be computed from inside or outside Ω. The interior normal derivative will be denoted by ∂_n− and the exterior normal derivative by ∂_n+. With this terminology the four basic problems of classical potential theory are as follows:[3]

• Interior Dirichlet problem: ∆u = 0 in Ω, u = f on ∂Ω
• Interior Neumann problem: ∆u = 0 in Ω, ∂_n− u = f on ∂Ω
• Exterior Dirichlet problem: ∆u = 0 in Ω^c, u = f on ∂Ω, u continuous at ∞
• Exterior Neumann problem: ∆u = 0 in Ω^c, ∂_n+ u = f on ∂Ω, u continuous at ∞

For the exterior problems the inversion map z⁻¹ takes harmonic functions on Ω^c into harmonic functions on the image of Ω^c under the inversion map.[4] The transform v of u is continuous in a small disc |z| ≤ r and harmonic everywhere in the interior except possibly 0. Let w be the harmonic function given by the Poisson integral on |z| ≤ r with the same boundary value g as v on |z| = r. Applying the maximum principle to v − w + ε log |z| on δ ≤ |z| ≤ r, it must be negative for δ small. Hence v(z) ≤ u(z) for z ≠ 0. The same argument applies with v and w swapped, so v = w is harmonic in the disk.[5] Thus the singularity at ∞ is removable.

By the maximum principle the interior and exterior Dirichlet problems have unique solutions. For the interior Neumann problem, if a solution u is harmonic in 0 and its interior normal derivative vanishes, then Green's first identity implies the u_x = 0 = u_y, so that u is constant. This shows the interior Neumann problem has a unique solution up to adding constants. Applying inversion, the same holds for the external Neumann problem.

For both Neumann problems, a necessary condition for a solution to exist is

${\displaystyle \displaystyle {\int _{\partial \Omega }f\,\,=\,\,0.}}$

For the interior Neumann problem, this follows by setting v = 1 in Green's second identity. For the exterior Neumann problem, the same can be done for the intersection of Ω^c and a large disk |z| < R, giving

${\displaystyle \displaystyle {\int _{\partial \Omega }f\,\,=\,\,\int _{|z|=R}\partial _{n}u.}}$

At ∞ u is the real part of a holomorphic function F with

${\displaystyle \displaystyle {F(z)=a_{0}+a_{1}z^{-1}+a_{2}z^{-2}+\cdots }}$

The interior normal derivative on |z| = R is just the radial derivative ∂_r, so that for |z| = R

${\displaystyle \displaystyle {|\partial _{r}F(z)|=|F^{\prime }(z)|\leq CR^{-2}.}}$

Hence

${\displaystyle \displaystyle {\left|\int _{|z|=R}\partial _{n}u\right|\leq 2\pi CR^{-1},}}$

so the integral over ∂Ω must vanish.

The fundamental solution of the Laplacian is given by

${\displaystyle \displaystyle {E(z)=-{1 \over 2\pi }\log |z|.}}$

N(z) = − E(z) is called the Newtonian potential in the plane. Using polar coordinates, it is easy to see that E is in L^p on any closed disk for any finite p ≥ 1. To say that E is a fundamental solution of the Laplacian means that for any smooth function φ of compact support

${\displaystyle \displaystyle {\iint E\cdot \Delta \varphi =\varphi (0).}}$

The standard proof uses Green's second identity on the annulus r ≤ |z| ≤ R where the support of φ is contained in |z| < R. In fact, since E is harmonic away from 0,

${\displaystyle \displaystyle {\iint _{|z|\geq r}E\cdot \Delta \varphi ={1 \over 2\pi }\int _{0}^{2\pi }\varphi (re^{i\theta })-r\cdot \log r\cdot \partial _{n}\varphi (re^{i\theta })\,d\theta .}}$

As r tends to zero, the first term on the right hand side tends to φ(0) and the second to 0, since r log r tends to 0 and the normal derivatives of φ are uniformly bounded. (That both sides are equal even before taking limits follows from the fact that the average of a harmonic function on the boundary of a disk equals it value at the centre, while the integral of its normal derivative vanishes.)

The properties of the fundamental solution lead to the following formula for recovering a harmonic function u in Ω from its boundary values:[6]

${\displaystyle \displaystyle {u(z)=\int _{\partial \Omega }K(z,w)u(w)-N(z-w)\partial _{n}u(w)\,|dw|,}}$

where K is the Neumann−Poincaré kernel

${\displaystyle \displaystyle {K(z,w)=\partial _{n,w}N(z-w).}}$

To prove this identity, Green's second identity can be applied to Ω with a small disk centred on z removed. This reduces to showing that the identity holds in the limit for a small disk centred on z shrinking in size. Translating, it can be assumed that z = 0 and the identity becomes

${\displaystyle \displaystyle {u(0)=\lim _{r\rightarrow 0}{1 \over 2\pi }\int _{0}^{2\pi }u(re^{i\theta })-r\cdot \log r\cdot \partial _{r}u(re^{i\theta })\,d\theta ,}}$

which was proved above. A similar formula holds for functions harmonic in Ω^c:[7]

${\displaystyle \displaystyle {u(z)=\int _{\partial \Omega }-K(z,w)u(w)+N(z-w)\partial _{n}u(w)\,|dw|.}}$

The signs are reversed because of the direction of the normal derivative.

In two dimensions the Neumann–Poincaré kernel K(z,w) has the remarkable property that it restricts to a smooth function on ∂Ω × ∂Ω. It is a priori only defined as a smooth function off the diagonal but it admit a (unique) smooth extension to the diagonal.[8] Using vector notation v(t) = (x(t), y(t)) to parametrize the boundary curve by arc length, the following classical formulas hold:

${\displaystyle \displaystyle {{\dot {\mathbf {v} }}\cdot {\dot {\mathbf {v} }}=1,\,\,\,{\ddot {\mathbf {v} }}\cdot {\dot {\mathbf {v} }}=0.}}$

Thus the unit tangent vector t(t) at t is the velocity vector

${\displaystyle \displaystyle {\mathbf {t} ={\dot {\mathbf {v} }},}}$

so the oriented unit normal n(t) is

${\displaystyle \displaystyle {\mathbf {n} =(-{\dot {y}},{\dot {x}}).}}$

The constant relating the acceleration vector to the normal vector is the curvature of the curve:

${\displaystyle \displaystyle {{\ddot {\mathbf {v} }}=\kappa (t)\,\mathbf {n} (t).}}$

Thus the curvature is given by

${\displaystyle \displaystyle {\kappa ={\ddot {\mathbf {v} }}\cdot \mathbf {n} ={\ddot {y}}{\dot {x}}-{\ddot {x}}{\dot {y}}.}}$

There are two further formulas of Frenet:

${\displaystyle \displaystyle {{\dot {\mathbf {n} }}=-\kappa \mathbf {t} ,\,\,\,{\ddot {\mathbf {n} }}={\dot {\kappa }}\mathbf {n} -\kappa ^{2}\mathbf {t} .}}$

The Neumann–Poincaré kernel is given by the formula

${\displaystyle \displaystyle {K(\mathbf {u} ,\mathbf {v} (t))=-{1 \over 2\pi }{(\mathbf {u} -\mathbf {v} (t))\cdot \mathbf {n} (t) \over |\mathbf {u} -\mathbf {v} |^{2}}.}}$

For s ≠ t, set

${\displaystyle \displaystyle {k(s,t)=K(v(s),v(t)).}}$

The function

${\displaystyle \displaystyle {a(s,t)={|v(s)-v(t)|^{2} \over |e^{is/L}-e^{it/L}|^{2}}}}$

is smooth and nowhere vanishing with a(s,s) = L² if the length of the curve is 2πL.

Similarly the function

${\displaystyle \displaystyle {b(s,t)={(\mathbf {v} (s)-\mathbf {v} (t))\cdot \mathbf {n} (t) \over |e^{is/L}-e^{it/L}|^{2}}}}$

is smooth. In fact writing s = t + h,

${\displaystyle \displaystyle {\mathbf {v} (t+h)-\mathbf {v} (t)=h\mathbf {t} (t)+{h^{2} \over 2}\kappa (t)\mathbf {n} (t)-{h^{3} \over 6}\kappa (t)\mathbf {t} (t)+{h^{4} \over 24}({\dot {\kappa }}\mathbf {n} -\kappa ^{2}\mathbf {t} )+\cdots ,}}$

so that

${\displaystyle \displaystyle {h^{-2}(\mathbf {v} (t+h)-\mathbf {v} (t))\cdot \mathbf {n} (t)=\kappa (t)/2+h^{2}{\dot {\kappa }}(t)/24+\cdots }}$

On the diagonal b(t,t) = κ L² / 2. Since k is proportional to b / a, it is also smooth. Its diagonal values are given by the formula

${\displaystyle \displaystyle {k(t,t)=-{\kappa (t) \over 4\pi }.}}$

Another expression for k(s,t) is as follows:[9]

${\displaystyle \displaystyle {k(s,t)={1 \over 2\pi }\partial _{t}\arg(z(s)-z(t)),}}$

where z(t) = x(t) + i y(t) is the boundary curve parametrized by arc length. This follows from the identity

${\displaystyle \displaystyle {\log z=\log |z|+i\arg z}}$

and the Cauchy–Riemann equations which can be used to express the normal derivative in terms of the tangential derivative, and

${\displaystyle \displaystyle {K(\mathbf {v} (t)+\lambda \mathbf {n} (t),\mathbf {v} (t))=-{1 \over 2\pi \lambda },}}$

so in the direction normal to the boundary curve K is discontinuous at the boundary.

The double layer potential with moment φ in C(∂Ω) is defined on the complement of ∂Ω as

${\displaystyle \displaystyle {D(\varphi )(z)=\int _{\partial \Omega }K(z,w)\varphi (w)\,|dw|.}}$

It is a continuous function on the complement. Since the restriction of K extends to a smooth function on ∂Ω × ∂Ω, D(φ) can also be defined on ∂Ω. However like the Neumann–Poincaré kernel it will have discontinuities at the boundary. These are jump discontinuities. If φ is real, then the double layer potential is just the real part of a Cauchy integral:[10]

${\displaystyle \displaystyle {D(\varphi )(z)=\Re {1 \over 2\pi i}\int _{\partial \Omega }{\varphi (w) \over w-z}\,dw.}}$

The simplest case is when φ is identically 1 on ∂Ω. In this case D(1) equals

• 1 on Ω, by the vanishing of the integral of the normal derivative on the boundary region bounded by ∂Ω and a small disk centred on z; so the integral over the ∂Ω equals the average of the function 1 on the boundary of small disk and hence equals 1. (This integral and the one for Ω^c can also be calculated using Cauchy's integral theorem.)
• 0 on Ω^c, because it is the integral of a normal derivative of a harmonic function.
• 1/2 on ∂Ω, since

${\displaystyle \displaystyle {\int _{\partial \Omega }K(z,w)|dw|={1 \over 2\pi }\int _{s-\pi L}^{s+\pi L}\partial _{t}\arg(z(s)-z(t))\,dt=1/2.}}$

By definition the Neumann–Poincaré operator T_K is the operator on L²(∂Ω) given by the kernel K(z,w). It is a Hilbert–Schmidt operator since the kernel is continuous. It takes values in C^∞(∂Ω) since the kernel is smooth. The third computation above is equivalent to the statement that the constant function 1 is an eigenfunction of T_K with eigenvalue 1/2.

To establish jump formulas for more general functions, it is necessary to check that the integrals for D(1) are uniformly absolutely convergent, i.e. that there is a uniform finite bound C such that

${\displaystyle \displaystyle {\int _{\partial \Omega }|K(z,w)|\,|dw|\leq C}}$

for all z not in the boundary. It is enough to check this for points in a tubular neighbourhood of the boundary. Any such point u lies on a normal through a unique point, v(0) say, on the curve and it is enough to look at the contribution to the integral from points v(t) with t in a small interval around 0. Writing

${\displaystyle \displaystyle {\mathbf {u} =\mathbf {v} (0)+\lambda \mathbf {n} (0),}}$

it follows that

${\displaystyle \displaystyle {\mathbf {v} (t)-\mathbf {u} =-\lambda \mathbf {n} (0)+t\mathbf {t} (0)+{t^{2} \over 2}\kappa (0)\mathbf {n} (0)+O(t^{3}).}}$

So for t sufficiently small

${\displaystyle \displaystyle {|\mathbf {v} (t)-\mathbf {u} |^{2}=\lambda ^{2}+t^{2}(1-\lambda \kappa (0))+O(t^{3})\geq (\lambda ^{2}+t^{2})/2,\,\,\,\,\,\,|(\mathbf {v} (t)-\mathbf {u} )\cdot \mathbf {n} (0)|=|-\lambda +{t^{2} \over 2}\kappa (0)+O(t^{3})|\leq |\lambda |+C_{1}t^{2}}}$

for some constant C₁. (The first inequality gives an approximate version of Pythagoras' theorem in the tubular neighbourhood.) Hence

${\displaystyle \displaystyle {2\pi \cdot |K(\mathbf {u} ,\mathbf {v} (t))|={|(\mathbf {v} (t)-\mathbf {u} )\cdot \mathbf {n} (0)| \over |\mathbf {v} (t)-\mathbf {u} |^{2}}\leq {2|\lambda |+C_{1}t^{2} \over \lambda ^{2}+t^{2}}\leq {2|\lambda | \over \lambda ^{2}+t^{2}}+C_{1}.}}$

Uniform boundedness follows because the first term has a finite integral independent of λ:

${\displaystyle \displaystyle {\int _{-\infty }^{\infty }{|\lambda |\,dt \over t^{2}+\lambda ^{2}}=\int _{-\infty }^{\infty }{dt \over t^{2}+1}=\pi <\infty .}}$

The bound above can be used to prove that if the moment φ vanishes at a boundary point z then its double layer potential D(φ) is continuous at z. More generally if φ_n tends uniformly to φ, then D(φ_n)(z_n) converges to D(φ)(z). In fact suppose that |φ(w)| ≤ ε if |w - z| ≤ δ. Taking z_n tending to z

${\displaystyle |D(\varphi _{n})(z_{n})-D(\varphi )(z)|\leq \int _{|w-z|\geq \delta }|K(z_{n},w)-K(z,w)||\varphi (w)|\,|dw|+\int _{|w-z|\leq \delta }(|K(z_{n},w)|+|K(z,w)|)\cdot |\varphi (w)|\,|dw|}$

${\displaystyle +\int _{\partial \Omega }|K(z_{n},w)|\cdot |\varphi _{n}(w)-\varphi (w)|\,|dw|.}$

The first integrand tends uniformly to 0 so the integral tends to 0. The second integral is bounded above by 2εC. The third integral is bounded by C times the supremum norm of φ_n − φ. Hence D(φ)(z_n) tends to D(φ)(z).

JUMP FORMULAS. If φ is a continuous function on ∂Ω, the restrictions of its double layer potential u = Dφ to Ω and Ω^c extend uniquely to continuous functions on their closures. Let u₋ and u₊ be the resulting continuous functions on ∂Ω. Then

${\displaystyle \displaystyle {u_{-}(z)={1 \over 2}\varphi (z)+T_{K}\varphi (z),\,\,\,\,\,u_{+}(z)=-{1 \over 2}\varphi (z)+T_{K}\varphi (z).}}$

In particular

${\displaystyle \displaystyle {\varphi =u_{-}-u_{+}.}}$

In fact the expressions for u_± are continuous, so it is enough to show that the if z_n tends to a boundary point z with z_n in Ω or Ω^c then u(z_n) tends to the expression for u_±(z). If z_n lie in Ω or Ω^c then

${\displaystyle \displaystyle {u(z_{n})\mp {1 \over 2}\varphi (z)-T_{K}\varphi (z)=\int _{\partial \Omega }(K(z_{n},w)-K(z,w))(\varphi (w)-\varphi (z))\,|dw|=D(\psi )(z_{n})-D(\psi )(z),}}$

where ψ(w) = φ(w) − φ(z). The right hand side tends to zero since ψ vanishes at z.

The single layer potential with moment φ in C(∂Ω) is defined on C as

${\displaystyle \displaystyle {S(\varphi )(z)=\int _{\partial \Omega }N(z-w)\varphi (w)\,|dw|,}}$

where N is the Newtonian potential

${\displaystyle \displaystyle {N(z)={1 \over 2\pi }\log |z|.}}$

The single layer potential is harmonic off ∂Ω. Since

${\displaystyle \displaystyle {S(\varphi )(z)={1 \over 2\pi }\int _{\partial }(\log |z-w|-\log |z|)\varphi (w)\,|dw|+{\log |z| \over 2\pi }\int \varphi (w)\,|dw|,}}$

and the first integrand tends uniformly to 0 as |z| tends to infinity, the single layer potential is harmonic at infinity if and only if ∫ φ = 0.

The single layer potential is continuous on C. In fact continuity off ∂Ω is clear. If z_n tends to z with z in ∂Ω, then

${\displaystyle |S(\varphi )(z)-S(\varphi )(z_{n})|\leq {1 \over 2\pi }\int _{|w-z|\geq \varepsilon }|\log |z-w|-\log |z_{n}-w||\,|\varphi (w)|\,|dw|+\|\varphi \|_{\infty }\int _{|w-z|\leq \varepsilon }(|\log |z-w||+|\log |z_{n}-w||)\,|dw|.}$

The first integrand tends uniformly to 0 on |w - z| ≥ ε. For n sufficiently large the last integral is bounded by

${\displaystyle \displaystyle {2\int _{|w-z|\leq 2\varepsilon }|\log |z-w||\,\,|dw|,}}$

which tends to 0 as ε tends to 0, by the Cauchy–Schwarz inequality since the integrand is square integrable.

The same argument shows that S = T_N defines a bounded operator on C(∂Ω):

${\displaystyle \displaystyle {\|S\varphi \|_{\infty }\leq C^{\prime }\|\varphi \|_{\infty },}}$

for φ in C(∂Ω).

Although the single layer potentials are continuous, their first derivatives have a jump discontinuity across ∂Ω. On the tubular neighbourhood of ∂Ω, the normal derivative is defined by

${\displaystyle \displaystyle {\partial _{n}u(z+a\mathbf {n} _{z})={d \over dt}a(z+t\mathbf {n} _{z})|_{t=a}.}}$

It follows that

${\displaystyle \displaystyle {\partial _{n}S(\varphi )(z)=\int _{\partial \Omega }K(w,z)\varphi (w)\,|dw|,}}$

so it is given by the adjoint kernel of K:

${\displaystyle \displaystyle {K^{*}(z,w)=K(w,z).}}$

The kernel K* extends naturally to a smooth function on ∂Ω × ∂Ω and the operator T_K* is the adjoint of T_K on L²(∂Ω).

JUMP FORMULAS. If φ is a continuous function on ∂Ω, the normal derivatives of the single layer potential u = S(φ) on Ω and Ω^c near ∂Ω extend continuously to the closure of both regions, defining continuous functions ∂_n- u and ∂_n+ u on ∂Ω. Then

${\displaystyle \displaystyle {\partial _{n-}u(z)=-{1 \over 2}\varphi (z)+T_{K}^{*}\varphi (z),\,\,\,\,\,\partial _{n+}u(z)={1 \over 2}\varphi (z)+T_{K}^{*}\varphi (z).}}$

In particular

${\displaystyle \displaystyle {\varphi =\partial _{n+}u-\partial _{n-}u.}}$

In fact let v = D(φ) be the double layer potential with moment φ. On ∂Ω set

${\displaystyle \displaystyle {f=T_{K}\varphi +T_{K}^{*}\varphi }}$

and on the complement of ∂Ω in a tubular neighbourhood set

${\displaystyle \displaystyle {f=v+\partial _{n}u.}}$

Then f is continuous on the tubular neighbourhood. In fact, by definition is continuous on ∂Ω and its complement, so it suffices to that f(z_n) tends to f(z) whenever z_n is a sequence of points in the complement tending to a boundary point z. In this case

${\displaystyle \displaystyle {f(z_{n})-f(z)=\int _{\partial \Omega }(K(w,z_{n})+K(z_{n},w)-K(w,z)-K(z,w))\varphi (w)\,|dw|=\int _{|w-z|\geq \delta }+\int _{|w-z|\leq \delta }.}}$

The integrand tends uniformly to 0 for |w − z| ≥ δ, so the first integral tends to 0. To show the second integral is small for δ small, it suffices to show that the integrand is uniformly bounded. This follows because, if ζ_n is the point on ∂Ω with normal containing z_n, then

${\displaystyle \displaystyle {2\pi |K(z_{n},w)+K(w,z_{n})|={|(z_{n}-w)\cdot (\mathbf {n} _{\zeta _{n}}-\mathbf {n} _{w})| \over |z_{n}-w|^{2}}\leq {|\mathbf {n} _{\zeta _{n}}-\mathbf {n} _{w}| \over |z_{n}-w|}={|\mathbf {n} _{\zeta _{n}}-\mathbf {n} _{w}| \over |\zeta _{n}-w|}\cdot {|\zeta _{n}-w| \over |z_{n}-w|}.}}$

The first term the last product uniformly bounded because of the smoothness of the Gauss map n(t). The second is uniformly bounded because of the approximate version of Pythagoras' theorem:

${\displaystyle \displaystyle {|z_{n}-w|^{2}\geq (|z_{n}-\zeta _{n}|^{2}+|\zeta _{n}-w|^{2})/2.}}$

Continuity of f implies that on ∂Ω

${\displaystyle \displaystyle {T_{K}\varphi +T_{K}^{*}\varphi =v_{\pm }+\partial _{n\pm }u=\mp \varphi /2+T_{K}\varphi +\partial _{n\pm }u,}}$

which gives the jump formulas.

If the moment φ is smooth, the derivatives of the single and double layer potentials on Ω and Ω^c extend continuously to their closures.[11]

As usual the gradient of a function f defined on an open set in R² is defined by

${\displaystyle \displaystyle {\nabla f=(\partial _{x}f,\partial _{y}f).}}$

Set

${\displaystyle \displaystyle {{\widetilde {\nabla }}f=(\partial _{y}f,-\partial _{x}f).}}$

If the moment φ is smooth, then

${\displaystyle \displaystyle {\nabla S(\varphi )=-D(\varphi \mathbf {n} )+S(\partial _{t}(\varphi \mathbf {t} )),\,\,\,\nabla D(\varphi )={\widetilde {\nabla }}S({\dot {\varphi }}).}}$

In fact

${\displaystyle \displaystyle {\nabla _{z}N(z-w)=-\nabla _{w}N(z-w)=-\partial _{n,w}N(z-w)\mathbf {n} _{w}-\partial _{t}N(z-w)\mathbf {t} _{w},}}$

so that

${\displaystyle \displaystyle {\nabla S(\varphi )=-D(\varphi \mathbf {n} )-\int _{\partial \Omega }(\partial _{t}N(z-\mathbf {v} (t)))\varphi (t)\mathbf {t} (t)\,dt=-D(\varphi \mathbf {n} )+S(\partial _{t}(\varphi \mathbf {t} )).}}$

Moreover

${\displaystyle \displaystyle {\nabla D(\varphi )=\int _{\partial \Omega }\Delta _{z}N(z-w)\mathbf {n} \varphi -{\widetilde {\nabla }}\int _{\partial \Omega }\partial _{t}N(z-\mathbf {v} (t))\,\varphi \,dt={\widetilde {\nabla }}S({\dot {\varphi }}).}}$

The second relation can be rewritten by substituting in from the first relation:

${\displaystyle \displaystyle {\nabla D(\varphi )=D({\dot {\varphi }}\mathbf {t} )+S(\partial _{t}({\dot {\varphi }}\mathbf {n} )),}}$

Regularity of layer potentials. As a consequence of these relations, successive derivatives can all be expressed in terms of single and double layer potentials of smooth moments on the boundary. Since the layer potentials on Ω and Ω^c have continuous limits on the boundary it follows that they define smooth functions on the closures of Ω and Ω^c.

Continuity of normal derivatives of double layer potentials. Just as the single layer potentials are continuous at the boundary with a jump in the normal derivative, so the double layer potentials have a jump across the boundary while their normal derivatives are continuous. In fact from the formula above

${\displaystyle \displaystyle {\partial _{n}D(\varphi )(\mathbf {v} (s)+\lambda \mathbf {n} (s))=D({\dot {\varphi }}\mathbf {t} \cdot \mathbf {n} (s))+S(\partial _{t}({\dot {\varphi }}\mathbf {n} )\cdot \mathbf {n} (s)).}}$

If s_n tends to s and λ_n tends to 0, the first term tends to T_K(v(s)) since the moments tend uniformly to a moment vanishing at t = s; the second term is continuous because it is a single layer potential.

The following properties of T = T_K are required to solve the boundary value problem:

• 1/2 is not a generalized eigenvalue of T_K or T_K*; it has multiplicity one.
• −1/2 is not an eigenvalue of T_K or T_K*.

In fact since a I + T is a Fredholm operator of index 0, it and its adjoint have kernels of equal dimension. The same applies to any power of this operator. So it suffices to verify each of the statements for either T or T*. To check that T has no generalized eigenvectors with eigenvalue 1/2 it suffices to show that

${\displaystyle \displaystyle {T_{K}\varphi -{1 \over 2}\varphi =1}}$

has no solutions. The definition of the double layer potential shows that it vanishes at ∞, so that it is harmonic at ∞. The equation above shows that if u = D(φ) then u₊ = 1. On the other hand, applying the inversion map gives a contradiction; for it would produce a harmonic map in bounded region vanishing at an interior point with boundary value 1, which contradicts the fact that 1 is the only harmonic map with boundary value 1. If the eigenvalue 1/2 has multiplicity greater than 1, there is a moment φ such that T*φ = φ/2 and ∫ φ = 0. It follows that if u = S(φ) then ∂_n− u = 0. By uniqueness u is constant on Ω. Since u is continuous on R² ∪ ∞ and is harmonic at ∞ (since ∫ φ = 0) and constant on ∂Ω, it must be zero. Hence φ = ∂_n+ u − ∂_n− u = 0. Thus the eigenspace is one-dimensional and the eigenfunction ψ can be normalized so that S(ψ) = 1 on ∂Ω.

In general if

${\displaystyle \displaystyle {T_{K}^{*}\varphi +{1 \over 2}\varphi =f,}}$

then

${\displaystyle \displaystyle {\int \varphi =\int f,}}$

since

${\displaystyle \int f=(f,1)=((T_{K}^{*}+{1 \over 2})\varphi ,1)=(\varphi ,(T_{K}+{1 \over 2})1)=(\varphi ,1)=\int \varphi .}$

If φ satisfies

${\displaystyle \displaystyle {T_{K}^{*}\varphi +{1 \over 2}\varphi =0,}}$

it follows that ∫ φ = 0 and so u = S(φ) is harmonic at infinity. By the jump formulas, ∂_n-u = 0. By uniqueness u is constant on Ω. By continuity it is constant on ∂Ω. Since it is harmonic on Ω^c and vanishes at infinity, it must vanish identically. As above this forces φ = 0.

These results on the eigenvalues of T_K lead to the following conclusions about the four boundary value problems:

• there is always a unique solution to the interior and exterior Dirichlet problems;
• there is a solution to the interior and exterior Neumann problems if and only if ∫ f = 0; the solution is unique up to a constant for the interior Neumann problem and unique for the exterior problem;
• the solution is smooth on the closure of the domain if the boundary data is smooth.

The solution is obtained as follows:

• Interior Dirichlet problem. Let φ be the unique solution of T_Kφ + φ/2 = f. Then u = D(φ) gives the solution of the Dirichlet problem in Ω by the jump formula.
• Exterior Dirichlet problem. Since 1 is not in the range of T_K − ½I, f can be written uniquely as f = T_Kφ − φ/2 + λ where φ is unique up to a constant. Then u = D(φ) + λS(ψ) gives the solution of the Dirichlet problem in Ω^c by the jump formula.
• Interior Neumann problem. The condition (f,1) = 0 implies that f = T_K*φ − φ/2 can be solved. Then u = S(φ) gives the solution of the Neumann problem in Ω by the jump formula.
• Exterior Neumann problem. Let φ be the unique solution of T_K*φ + φ/2 = f. Then u = S(φ) gives the solution of the Neumann problem in Ω by the jump formula.

The smoothness of the solution follows from the regularity of single and double layer potentials.

There is another consequence of the laws governing the derivatives, which completes the symmetry of the jump relations, is that normal derivative of the double layer potential has no jump across the boundary, i.e. it has a continuous extension to a tubular neighbourhood of the boundary given by[12]

${\displaystyle \displaystyle {H(\varphi )=-\partial _{n}D(\varphi )|_{\partial \Omega }=-\partial _{t}(S(\partial _{t}\varphi )|_{\partial \Omega }).}}$

H is called a hypersingular operator. Although it takes smooth functions to smooth functions, it is not a bounded operator on L²(∂Ω). In fact it is a pseudodifferential operator of order 1, so does define a bounded operator between Sobolev spaces on ∂Ω, decreasing the order by 1. It allows a 2 × 2 matrix of operators to be defined by

${\displaystyle \displaystyle {C={\begin{pmatrix}{1 \over 2}I+T_{K}&S\\H&{1 \over 2}I-T_{K}^{*}\end{pmatrix}}.}}$

The matrix satisfies C² = C, so is an idempotent, called the Calderón projector. This identity is equivalent the following classical relations, the first of which is the symmetrization relation of Plemelj:

${\displaystyle \displaystyle {ST^{*}=TS,\,\,\,SH={1 \over 4}I-T^{2},\,\,\,HS={1 \over 4}I-(T^{*})^{2},\,\,\,HT=T^{*}H.}}$

The operators T and S are pseudodifferential operators of order −1. The relations above follow by considering u = S(φ). It has boundary value Sφ) and normal derivative T* φ − φ/2. Hence in Ω

${\displaystyle \displaystyle {u=D(S\varphi )-S(T^{*}\varphi )+S(\varphi )/2.}}$

Taking the boundary values of both sides and their normal derivative yields 2 equations. Two more result by considering D(Ψ); these imply the relations for the Calderón projector.

The non-zero eigenvalues of the Neumann–Poincaré operator T_K are called the Fredholm eigenvalues of the region Ω. Since T_K is a compact operator, indeed a Hilbert–Schmidt operator, all non-zero elements in its spectrum are eigenvalues of finite multiplicity by the general theory of Fredholm operators. The solution of the boundary value requires knowledge of the spectrum at ± 1/2, namely that the constant function gives an eigenfunction with eigenvalue 1/2 and multiplicity one; that there are no corresponding generalized eigenfunctions with eigenvalue 1/2; and that -1/2 is not an eigenvalue. Plemelj (1911) proved that all non-zero eigenvalues are real and contained in the interval (-1/2,1/2]. Blumenfeld & Mayer (1914) proved that the other non-zero eigenvalues have an important symmetry property, namely that if λ is an eigenvalue with 0 < |λ| < 1/2, then so is –λ, with the same multiplicity. Plemelj also showed that T = T_K is a symmetrizable compact operator, so that, even though it is not self-adjoint, it shares many of the properties of self-adjoint operators. In particular there are no generalized eigenfunctions for non-zero eigenvalues and there is a variational principle similar to the minimax principle for determining the non-zero eigenvalues.

If λ ≠ 1/2 is an eigenvalue of T_K* then λ is real, with λ ≠ ± 1/2. Let φ be a corresponding eigenfunction and, following Plemelj, set u = S(φ).[13] Then the jump formulas imply that

${\displaystyle \displaystyle {\partial _{n\pm }u=(\lambda \mp {1 \over 2})\varphi ,}}$

and hence that

${\displaystyle \displaystyle {(\lambda +{1 \over 2})\int _{\partial \Omega }\partial _{n+}u\,{\overline {u}}=(\lambda -{1 \over 2})\int _{\partial \Omega }\partial _{n-}u\,{\overline {u}}.}}$

Since ∫ φ = 0, u is harmonic at ∞. So by Green's theorem

${\displaystyle \displaystyle {(\lambda +{1 \over 2})\iint _{\Omega }|u_{x}|^{2}+|u_{y}|^{2}=(\lambda -{1 \over 2})\iint _{\Omega ^{c}}|u_{x}|^{2}+|u_{y}|^{2}.}}$

If both the integrals vanish then u is constant on Ω and Ω^c. Since it is continuous and vanishes at ∞, it must therefore be identically 0, contradicting φ = ∂_n+ - ∂_n−. So both integrals are strictly positive and hence λ must lie in (−½,½).

Let φ be an eigenfunction of T_K* with real eigenvalue λ satisfying 0 < |λ| < 1/2. If u = S(φ), then on ∂Ω

${\displaystyle \displaystyle {u_{+}=u_{-},\,\,\,{\partial _{n+}u \over \lambda +{1 \over 2}}={\partial _{n_{-}}u \over \lambda -{1 \over 2}}=\varphi .}}$

This process can be reversed. Let u be a continuous function on R² ∪ ∞ which is harmonic on Ω and Ω^c ∪ ∞ and such that the derivatives of u on Ω and Ω^c extend continuously to their closures. Suppose that

${\displaystyle \displaystyle {{\partial _{n+}u \over \lambda +{1 \over 2}}={\partial _{n_{-}}u \over \lambda -{1 \over 2}}=\varphi .}}$

Let ψ be the restriction of u to ∂Ω. Then

${\displaystyle \displaystyle {u|_{\Omega }=D(\psi )-(\lambda -{1 \over 2})S(\varphi ),\,\,\,u|_{\Omega ^{c}}=-D(\psi )+(\lambda +{1 \over 2})S(\varphi ).}}$

The jump formulas for the boundary values and normal derivatives give

${\displaystyle \displaystyle {\psi =T\psi +{1 \over 2}\psi -(\lambda -{1 \over 2})S\varphi =-(T\psi -{1 \over 2}\psi )+(\lambda +{1 \over 2})S\varphi }}$

and

${\displaystyle \displaystyle {(\lambda -{1 \over 2})\varphi =\partial _{n}D(\psi )|_{\partial \Omega }-(\lambda -{1 \over 2})(T^{*}\varphi -{1 \over 2}\varphi ),\,\,\,\,(\lambda +{1 \over 2})\varphi =-\partial _{n}D(\psi )|_{\partial \Omega }+(\lambda +{1 \over 2})(T^{*}\varphi +{1 \over 2}\varphi ).}}$

It follows that

${\displaystyle \displaystyle {T\psi =\lambda \psi ,\,\,\,T^{*}\varphi =\lambda \varphi ,\,\,\,S\varphi =\psi ,\,\,\,\partial _{n}D(\psi )|_{\partial \Omega }=(\lambda ^{2}-{1 \over 4})\varphi ,}}$

so that ψ and φ are eigenfunctions of T and T* with eigenvalue λ.

Let u be a real harmonic function on Ω extending to a smooth function on its closure. The harmonic conjugate v of u is the unique real function on Ω such that u + i v is holomorphic. As such it must satisfy the Cauchy–Riemann equations:

${\displaystyle \displaystyle {u_{x}=-v_{y},\,\,u_{y}=v_{x}.}}$

If a is a point in Ω, a solution is given by

${\displaystyle \displaystyle {v(z)=\int _{a}^{z}-u_{y}dx+u_{x}dy,}}$

where the integral is taken over any path in the closure of Ω. It is easily verified that v_x and v_y exist and are given by the corresponding derivatives of u. Thus v is a smooth function on the closure of Ω, vanishing at 0. By the Cauchy-Riemann equations, f = u + i v is smooth on the closure of Ω, holomorphic on Ω and f(a) = 0. Using the inversion map, the same result holds for a harmonic function in Ω^c harmonic at ∞. It has a harmonic conjugate v such that f = u + i v extends smoothly to the boundary and f is holomorphic on Ω ∪ ∞. Adjusting v by a constant it can be assumed that f(∞) = 0.

Following Schiffer (2011), let φ be an eigenfunction of T_K* with real eigenvalue λ satisfying 0 < |λ| < 1/2. Let u = S(φ) and let v_± be the harmonic conjugates of u_± in Ω and Ω^c. Since on ∂Ω

${\displaystyle \displaystyle {u_{+}=u_{-},\,\,\,{\partial _{n+}u \over \lambda -{1 \over 2}}={\partial _{n_{-}}u \over \lambda +{1 \over 2}}=\varphi ,}}$

the Cauchy-Riemann equations give on ∂Ω

${\displaystyle \displaystyle {\partial _{n+}v=\partial _{n_{-}}v,\,\,\,\,v_{+}={\lambda +{1 \over 2} \over \lambda -{1 \over 2}}\cdot v_{-}.}}$

Now define

${\displaystyle \displaystyle {U_{-}=v_{-},\,\,\,\,U_{+}={\lambda +{1 \over 2} \over \lambda -{1 \over 2}}\cdot v_{+}.}}$

Thus U is continuous on R² and

${\displaystyle \displaystyle {\partial _{n+}U={\lambda -{1 \over 2} \over \lambda +{1 \over 2}}\cdot \partial _{n_{-}}U.}}$

It follows that −λ is an eigenvalue of T. Since −u is the harmonic conjugate of v, the process of taking harmonic conjugates is one-one, so the multiplicity of −λ as an eigenvalue is the same as that of λ.

By Green's theorem

${\displaystyle \displaystyle {\iint _{\Omega }S(\varphi _{1})_{x}S(\varphi _{2})_{x}+S(\varphi _{1})_{y}S(\varphi _{2})_{y}=\int _{\partial \Omega }S(\varphi _{1})\partial _{n-}S(\varphi _{2}),\,\,\,\iint _{\Omega ^{c}}S(\varphi _{1})_{x}S(\varphi _{2})_{x}+S(\varphi _{1})_{y}S(\varphi _{2})_{y}=\int _{\partial \Omega }S(\varphi _{1})\partial _{n-}S(\varphi _{2}).}}$

Adding the two integrals and using the jump relations for the single layer potential, it follows that

${\displaystyle \displaystyle {\iint S(\varphi _{1})_{x}S(\varphi _{2})_{x}+S(\varphi _{1})_{y}S(\varphi _{2})_{y}=\int _{\partial \Omega }S(\varphi _{1})\varphi _{2}.}}$

Thus

${\displaystyle \displaystyle {(S\varphi ,\varphi )=\int \|\nabla S(\phi )\|^{2},\,\,\,(S\varphi _{1},\varphi _{2})=\int \nabla S(\varphi _{1})\cdot {\overline {\nabla S(\varphi _{2})}}.}}$

This shows that the operator S is self-adjoint and non-negative on L²(∂Ω).

The image of S is dense (or equivalently it has zero kernel). In fact the relation SH = ¼ I - T² =(½ I – T) (½ I + T) shows that the closure of the image of S contains the image of ½ I – T, which has codimension 1. Its orthogonal complement is given by the kernel of T – ½ I, i.e. the eigenfunction ψ such that T*ψ = ½ ψ. On the other hand ST=T* S. If the closure of the image is not the whole of L²(∂Ω) then necessarily Sψ = 0. Hence S{ψ) is constant. But then ψ = ∂_n+S(ψ) – ∂_n−S(ψ) = 0, a contradiction.

Since S is strictly positive and T satisfies the Plemelj symmetrization relation ST* = TS, the operator T* is a symmetrizable compact operator. The operator S defines a new inner product on L²(∂Ω):

${\displaystyle \displaystyle {(f,g)_{S}=(Sf,g).}}$

The operator T* is formally self-adjoint with respect to this inner product and by general theory its restriction is bounded and it defines a self-adjoint Hilbert–Schmidt operator on the Hilbert space completion. Since T* is formally self-adjoint on this inner product space, it follows immediately that any generalized eigenfunction of T* must already be an eigenfunction. By Fredholm theory, the same is true for T. By general theory the kernel of T and its non-zero eigenspaces span a dense subspace of L²(∂Ω). The Fredholm determinant is defined by

${\displaystyle \displaystyle {\Delta (z)=\det(I-zT^{2}).}}$

It can be expressed in terms of the Fredholm eigenvalues λ_n with modulus less than 1/2, counted with multiplicity, as

${\displaystyle \displaystyle {\Delta (z)=(1-z/4)\cdot \prod _{n\geq 1}(1-z\lambda _{n}^{2}).}}$

Now define the complex Hilbert transform or conjugate Beurling transform T_c on L²(C) by

${\displaystyle \displaystyle {T_{c}f(w)=\lim _{\varepsilon \rightarrow 0}-{1 \over \pi }\iint _{|z-w|\geq \varepsilon }{{\overline {f(z)}} \over (z-w)^{2}}\,dx\,dy.}}$

This is a conjugate-linear isometric involution.[14]

It commutes with ∂_z so carries A²(Ω) ⊕ A²(Ω^c) onto itself. The compression of T_c to A²(Ω) is denoted T_Ω.

If F is a holomorphic univalent map from the unit disk D onto Ω then the Bergman space of Ω and its conjugate can be identified with that of D and T_Ω becomes the conjugate-linear singular integral operator with kernel

${\displaystyle K_{F}(z,w)={F^{\prime }(z)F^{\prime }(w) \over (F(z)-F(w))^{2}}.}$

It defines a contraction. On the other hand it can be checked that T_D = 0 by computing directly on powers zⁿ using Stokes theorem to transfer the integral to the boundary.

It follows that the conjugate-linear operator with kernel

${\displaystyle \displaystyle {{F^{\prime }(z)F^{\prime }(w) \over (F(z)-F(w))^{2}}\,-\,{1 \over (z-w)^{2}}}}$

acts as a contraction on the Bergman space of D. It is thus a Hilbert–Schmidt operator.

The conjugate-linear operator T = T_Ω satisfies the self-adjointness relation

${\displaystyle \displaystyle {(Tu,v)=(Tv,u)}}$

for u, v in A²(Ω).

Thus A = T² is a compact self-adjoint linear operator on H with

${\displaystyle \displaystyle {(Au,u)=(Tu,Tu)=\|Tu\|^{2}\geq 0,}}$

so that A is a positive operator. By the spectral theorem for compact self-adjoint operators, there is an orthonormal basis u_n of H consisting of eigenvectors of A:

${\displaystyle \displaystyle {Au_{n}=\mu _{n}u_{n},}}$

where μ_n is non-negative by the positivity of A. Hence

${\displaystyle \displaystyle {\mu _{n}=\lambda _{n}^{2}}}$

with λ_n ≥ 0. Since T commutes with A, it leaves its eigenspaces invariant. The positivity relation shows that it acts trivially on the zero eigenspace. The other non-zero eigenspaces are all finite-dimensional and mutually orthogonal. Thus an orthonormal basis can be chosen on each eigenspace so that:

${\displaystyle \displaystyle {Tu_{n}=\lambda _{n}u_{n}.},}$

and

${\displaystyle \displaystyle {T(iu_{n})=-\lambda _{n}iu_{n}}}$

by conjugate-linearity of T.

The Neumann–Poincaré operator is defined on real functions f as

${\displaystyle \displaystyle {Tf(w)={1 \over 2\pi }\int _{\partial \Omega }\partial _{n}(\log |z-w|)f(z)={1 \over 2}\Re (Hf)(w),}}$

where H is the Hilbert transform on ∂Ω. Let J denote complex conjugation. Writing h = f + ig,[15]

${\displaystyle \displaystyle {2Th=\Re (Hf)+i\Re (Hg)={1 \over 2}(Hf+JHf+iHg+iJHg)={1 \over 2}(H+JHJ)h}}$

so that

${\displaystyle \displaystyle {T={1 \over 4}(H+JHJ),}}$

The imaginary part of the Hilbert transform can be used to establish the symmetry properties of the eigenvalues of T_K. Let

${\displaystyle \displaystyle {A={1 \over 2}(H+JHJ),\,\,\,\,B={1 \over 2i}(H-JHJ),}}$

so that

${\displaystyle \displaystyle {H=A+iB.}}$

Then

${\displaystyle \displaystyle {AB=-BA,\,\,\,\,A^{2}-B^{2}=I.}}$

The Cauchy idempotent E satisfies E1 = 1 = E*1. Since J1 = 1, it follows that E and E* leave invariant L²₀(∂Ω), the functions orthogonal to constant functions. The same is also true of A = 2 T_K and B. Let A₁ and B₁ be their restrictions. Since 1 is an eigenvector of T_K with eigenvalue 1/2 and multiplicity one and T_K + ½ I is invertible,

${\displaystyle \displaystyle {A_{1}^{2}-I=B_{1}^{2}}}$

is invertible, so that B₁ is invertible. The equation A₁B₁ = − B₁ A₁ implies that if λ is an eigenvalue of A₁ then so is −λ and they have the same multiplicity.

The links between the Neumann–Poincaré operator and geometric function theory appeared first in Bergman & Schiffer (1951). The precise relationship between single and double layer potentials, Fredholm eigenvalues and the complex Hilbert transform is explained in detail in Schiffer (1981). Briefly given a smooth Jordan curve, the complex derivatives of its single and double layer potentials are −1 and +1 eigenfunctions of the complex Hilbert transform.[16]

Let 𝕳 be the direct sum[17]

${\displaystyle \displaystyle {{\mathfrak {H}}={\mathfrak {H}}({\overline {\Omega }})\oplus {\mathfrak {H}}({\overline {\Omega ^{c}}}),}}$

where the first space consists of functions smooth on the closure of Ω and harmonic on Ω; and the second consists of functions smooth on the closure of Ω^c, harmonic on Ω^c and at ≈. The space 𝕳 is naturally an inner product space with corresponding norm given by

${\displaystyle \displaystyle {\|f_{-}\oplus f_{+}\|_{\mathfrak {H}}^{2}=\iint _{\Omega }|\nabla f_{-}|^{2}+\iint _{\Omega ^{c}}|\nabla f_{+}|^{2}.}}$

Each element of 𝕳 can be written uniquely as the restriction of the sum of a double layer and single layer potential, provided that the moments are normalized to have 0 integral on ∂Ω. Thus for f₋ ⊕ f₊ in 𝕳, there are unique φ, ψ in C^∞(∂Ω) with integral 0 such that

${\displaystyle \displaystyle {f_{-}=D(\varphi )|_{\Omega }+S(\psi )|_{\Omega },\,\,\,\,\,f_{+}=D(\varphi )|_{\Omega ^{c}}+S(\psi )|_{\Omega ^{c}}.}}$

Under this correspondence

${\displaystyle \displaystyle {\varphi =f_{-}|_{\partial \Omega }-f_{+}|_{\partial \Omega },\,\,\,\,\psi =\partial _{n}f_{-}|_{\partial \Omega }-\partial _{n}f_{+}|_{\partial \Omega }.}}$

The layer potentials can be identified with their images in 𝕳:

${\displaystyle \displaystyle {D(\varphi )=D(\varphi )|_{\Omega }\oplus D(\varphi )|_{\Omega ^{c}},\,\,\,\,S(\psi )=S(\psi )|_{\Omega }\oplus S(\psi )_{\Omega ^{c}}.}}$

The space of double layer potentials is orthogonal to the space of single layer potentials for the inner product. In fact by Green's theorem[18]

${\displaystyle \displaystyle {(S,D)=\iint _{\Omega \cup \Omega ^{c}}\nabla S\cdot \nabla D=-\int _{\partial \Omega }S\partial _{n}D+\int _{\partial \Omega }S\partial _{n}D=0.}}$

Define an isometric embedding of 𝕳_R in L²(C) by

${\displaystyle \displaystyle {U(f_{-}\oplus f_{+})=(\partial _{z}f_{-})\chi _{\Omega }+(\partial _{z}f_{-})\chi _{\Omega ^{c}}.}}$

The image lies in A²(Ω) ⊕ A²(Ω^c), the direct sum of the Bergman spaces of square integrable holomorphic functions on Ω and Ω^c. Since polynomials in z are dense in A²(Ω) and polynomials in z⁻¹ without constant term are dense in A²(Ω^c), the image of U is dense in A²(Ω) ⊕ A²(Ω^c).

It can be verified directly that for φ, ψ real[19]

${\displaystyle \displaystyle {T_{c}(U(D(\varphi )+S(\psi )))=U(D(\varphi )-S(\psi )).}}$

In fact for single layer potentials, applying Green's theorem on the domain Ω ∪ Ω^c with a small closed disk of radius ε removed around a point w of the domain, it follows that

${\displaystyle \displaystyle {\iint _{\Omega \cup \Omega ^{c},\,\,|z-w|>\varepsilon }\nabla N(w-z)\cdot \nabla S(\psi )(z)\,dx\,dy=-\int _{|z-w|=\varepsilon }\partial _{n}N(z-w)\,S(\psi )(z)=-S(\psi )(z),}}$