Tuesday, 3 December 2019

complex analysis - Show elementarily that limRtoinftyintGamma1fraceizz=0



Context: I am trying to show that 0x1sinxdx=π2 using complex analysis, by first integrating Γz1eiz, where Γ is a closed contour consisting of two portions of real axis R to ϵ and ϵ to R and two semicircles Γ1(0,R) and Γ2(0,ϵ).




I am almost done. I just need to show that limRΓ1eizz=0.



I don't need a rigorous proof. I am new to complex analysis and know almost no theorems. I just want to understand things "intuitively", if it's possible. So far, I know only Cauchy formula/theorem and residue theorem.



I found following solution, which I don't understand very well:



Integrate by parts Γ1eizz=eiziz|RR+Γ1eizz2dz. The first turns out to be 2iRsinR0. Then absolute value of the integral is bounded by πRmaxΓ1|eizz2|πR0.



Why does it suffice to evalute at R and R? Why is the integral bounded by this?




Thank you!


Answer



One uses here the inequalilty
|Γf(z)dz||Γ|maxzΓ|f(z)|
(|Γ| being the length of path Γ), which is almost obvious from the definition of integral of complex variable.



In your case |Γ1|=πR (half of a circle of radius R) and |eizz2|=1|z|2=1R2 for all zΓ1, so maxzΓ1|eizz2|=1R2.


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}...