Suppose that the real function u(x,y) satisfies Laplace's equation in the upper half complex z-plane, z=x+iy,x∈R,y>0, where
u(x,y)→0 as x2+y2→∞,u(x,0)=g(x),x∈R.
The function u(x,y) can then be expressed in terms of the Poisson integral
u(x,y)=π1∫−∞∞(x−ξ)2+y2yg(ξ)dξ,x∈R,y>0
By employing the formula
f(z)=2u(2z+aˉ,2iz−aˉ)−f(a)
where a is a complex constant with Ima>0, show that the analytic function whose real part is u(x,y) is given by
f(z)=iπ1∫−∞∞ξ−zg(ξ)dξ+ic,Imz>0
where c is a real constant.