Sunday, 18 December 2016

integration - How do I evaluate intinfty0uz1(eiu1),du?



I am trying to evaluate the following integral that shows up in this paper



http://arxiv.org/pdf/1103.4306v1.pdf



I=0uz1(eiu1)du=Γ(z)eizπ2



for $-1


I have no idea what type of contour I can choose. Can someone please help me?



Thank you in advance.


Answer



Consider the quarter of circle Γ of radius M centred at the origin and lying in the first quadrant, thus made of the radius 0-M the arc M-iM and the radius iM-0.
Consider the function of the complex plane ζ=x+iy
f(ζ)=ζz1(eiζ1);
choosing the logarithm branch cut in the negative x axis, f is holomorphic within Γ, thus

Γf(ζ)dζ=0
hence
M0xz1(eix1)dx+π/20(Meiφ)z1(eiMeiφz)iMeiφdφizM0yz1(ey1)dy=0.
The contribution of the arc is under control, since letting (z)=ξ, (z)=η,

|π/20(Meiφ)z1(eiMeiφz)iMeiφdϕ|Mξπ/20eηφ|eiMcosφMsinφ1|dφ2Mξπ/20eηφdφ=2Mξ1eηπ/2ηM0,
since ξ<0.
Terefore
0xz1(eix1)dx=iz0yz1(ey1)dy=eiπz/20yz1(ey1)dy.
Integrating by parts
0yz1(ey1)dy=yzz(ey1)|0+1z0yzeydy=1zΓ(z+1)=Γ(z),
where we have used
lim

\lim_{y\to0}\frac{y^z}{z}\left(e^{-y}-1\right)=0,
the second one following from the request \xi>-1. Putting everything back together,
\int_0^\infty x^{z-1}\left(e^{ix}-1\right)dx=e^{i\pi z/2}\Gamma(z)
if -1<\Re (z)<0.


No comments:

Post a Comment

real analysis - How to find lim_{hrightarrow 0}frac{sin(ha)}{h}

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