Thursday, 17 December 2015

integration - A Complex approach to sine integral

this integral:



+0sinxxdx=π2



is very famous and had been discussed in the past days in this forum. and I have learned some elegant way to computer it. for example: using the identity:
+0exysinxdx=11+y2 and 00exysinxdydx and Fubini theorem. the link is here:Post concern with sine integral



In this post, I want to discuss another way to computer it. since+0sinxxdx=12i+eix1xdx


this fact inspire me to consider the complex integral:Γeiz1zdz


Integral path

and Γ is the red path in the above figure, with counter-clockwise orientation, by Cauchy's theorem, we have
Γeiz1zdz=0
the above integral can be written as:ϵReix1xdx+Γϵeiz1zdz+Rϵeix1xdx+ΓReiz1zdz

Let R+ and ϵ0, we have:
ϵReix1xdx+Rϵeix1xdx+eix1xdx=2i+0sinxxdx

and Γϵeiz1zdz=0πeiϵeiθ1ϵeiθiϵeiθdθ=i0π(cos(ϵeiθ)+isin(ϵeiθ)1)dθ0
as ϵ0

so I am expecting that:ΓReiz1zdz=iπ
when R+

but I can't find it. Could you help me? Thanks very much.

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