(a) Let f(z) be defined on the complex plane such that zf(z)→0 as ∣z∣→∞ and f(z) is analytic on an open set containing Im(z)⩾−c, where c is a positive real constant.
Let C1 be the horizontal contour running from −∞−ic to +∞−ic and let
F(λ)=2πi1∫C1z−λf(z)dz
By evaluating the integral, show that F(λ) is analytic for Im(λ)>−c.
(b) Let g(z) be defined on the complex plane such that zg(z)→0 as ∣z∣→∞ with Im(z)⩾−c. Suppose g(z) is analytic at all points except z=α+and z=α−which are simple poles with Im(α+)>c and Im(α−)<−c.
Let C2 be the horizontal contour running from −∞+ic to +∞+ic, and let
H(λ)=2πi1∫C1z−λg(z)dzJ(λ)=−2πi1∫C2z−λg(z)dz.
(i) Show that H(λ) is analytic for Im(λ)>−c.
(ii) Show that J(λ) is analytic for Im(λ)<c.
(iii) Show that if −c<Im(λ)<c then H(λ)+J(λ)=g(λ).
[You should be careful to make sure you consider all points in the required regions.]