Tuesday, 11 April 2017

complex analysis - If f(z) analytic on E(L), and limztoinftyf(z)=A, prove that frac12piiintLfracf(zeta)zetazdz=A or f(z)+A




I am working on the following problem:




Let L be a closed, rectifiable simple curve, traversed
counterclockwise. Let f(z) be a differentiable function on a domain
G where LE(L) (E(L) is the exterior of L, I(L) is
the interior of L) is contained in G. (That is, f is
differentiable on a neighborhood of L and outside of L, but not
necessarily inside.)




Suppose that limzf(z)=A.



Prove that 12πiLf(ζ)ζzdζ=A if zI(L) and that
12πiLf(ζ)ζzdζ=f(z)+A if zE(L)




Our professor gave us a hint: Pass to integration over a large circle |z|=R (which, I assume must contain L?) using Cauchy Theorem for multiple contours. Then, use the following result:





If f(z) is continuous in the closed domain |z|R0, 0argzα (0α2π), and if the limit limzzf(z)=A exists, then limRΓRf(z)dz=iAα where 􀀀ΓR is the arc of the circle |z|=R lying in the given domain.




The professor's hint is confusing me a bit, and I'm not sure how to apply it here. I.e., how do limits come into play here? Also, how do I use this circle to split the domain into multiple contours?



I tried applying it, and this is all I have so far: Let ζ=Reiθ, then dζ=iReiθdθ, so the integral becomes: 12πi2π0f(Reiθ)Reiθzdθ, and from that point, I am completely lost...


Answer



METHODOLOGY 1: Using the Residue Theorem and the Residue at Infinity




From the residue theorem we have



Lf(z)zzdz=2πi{Res(f(z)zz,z=z)+Res(f(z)zz,z=),zE(L)Res(f(z)zz,z=),zI(L)





Note that the minus sign in the term 2πi is a consequence of the orientation of L. Although L is traversed counter-clockwise, the contour L encloses the point at with clockwise orientation. And if zI(L), then L also encloses z with clockwise orientation.







Evaluating the Residues



The residue at z=z is trivial to evaluate with Res(f(z)zz,z=z)=f(z).



The residue at infinity can be evaluated by transforming z=1/w and evaluating the residue at w=0. Proceeding we find




Res(f(z)zz,z=)=Res(1w2f(1/w)1/wz,w=0)=A






Result




Putting it all together we find



12πiLf(z)zzdz={Af(z),zE(L)A,zI(L)







METHODOLOGY 2: Using the Hint



Note that for zI(L), and R sufficiently large we can deform the contour L to a circle of radius R, centered at the origin, and enclosing L. Then, we can write



Lf(z)zzdz=|z|=Rf(z)zzdz=2π0f(Reiϕ)Reiϕz(iReiϕ)dϕ2πiAasR




For zE(L), if we deform the contour L as in the previous development, we need to account for the introduction of the simple pole of 1zz at z=z. Therefore,



Lf(z)zzdz=|z|=Rf(z)zzdz2πiRes(f(z)zz,z=z)=2π0f(Reiϕ)Reiϕz(iReiϕ)dϕ2πif(z)2πi(Af(z))asR



as was to be shown!


No comments:

Post a Comment

real analysis - How to find limhrightarrow0fracsin(ha)h

How to find limh0sin(ha)h without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...