I am trying to evaluate the following integral that shows up in this paper
http://arxiv.org/pdf/1103.4306v1.pdf
I=∫∞0uz−1(eiu−1)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(ζ)=ζz−1(eiζ−1);
choosing the logarithm branch cut in the negative x axis, f is holomorphic within Γ, thus
∮Γf(ζ)dζ=0
hence
∫M0xz−1(eix−1)dx+∫π/20(Meiφ)z−1(eiMeiφ−z)iMeiφdφ−iz∫M0yz−1(e−y−1)dy=0.
The contribution of the arc is under control, since letting ℜ(z)=ξ, ℑ(z)=η,
|∫π/20(Meiφ)z−1(eiMeiφ−z)iMeiφdϕ|≤Mξ∫π/20e−ηφ|eiMcosφ−Msinφ−1|dφ≤2Mξ∫π/20e−ηφdφ=2Mξ1−e−ηπ/2η→M→∞0,
since ξ<0.
Terefore
∫∞0xz−1(eix−1)dx=iz∫∞0yz−1(e−y−1)dy=eiπz/2∫∞0yz−1(e−y−1)dy.
Integrating by parts
∫∞0yz−1(e−y−1)dy=yzz(e−y−1)|∞0+1z∫∞0yze−ydy=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