Monday, 24 June 2013

complex analysis - intinfty0fracdx1+xn



My goal is to evaluate 0dx1+xn(nN,n2).



Here is my approach:



Clearly, the integral converges.




Denote the value of the integral by In.



Now let γR describe the section of a circle which goes from the origin to R to Re2πi/n and back to the origin.



If we let CR denote the relevant circular arc, then
|CRdz1+zn|(2πRn)(1Rn1)0asR.



Furthermore, [R,Re2πi/n]dz1+zn=0Re2πi/ndr1+rn.



Hence limRγRdz1+zn=limR[0,R]dx1+xn+[R,Re2πi/n]dx1+xn+CRdx1+xn=(1e2πi/n)In(1).




Thus if we can obtain the value of γRdz1+zn we can evaluate In.



Now the zeroes of 1+zn are of the form z=eiπ/n+2πim/n(mN) from which it is clear that the only zero which lies within the contour occurs at z=eiπ/n with multiplicity 1.
So all that remains to be done is to evaluate the residue of 11+zn at z=eiπ/n.



However, if z=eiπ/nu and u1, we have
zn+1zeiπ/n=1uneiπ/n(1u)=eiπ/nn1m=0um(2).




In particular, (2) implies Resz=eiπ/n11+zn=eiπ/nn(3).



Finally, (1) and (3) imply
In=2πi(Resz=eiπ/n11+zn)1e2πi/n=2πieiπ/nn(1e2πi/n)=π/nsin(π/n).



I have three questions:



One, is my method correct?



Two, is there a simpler/different method to evaluate the integral?




Three, is there an easier way to evaluate the residue of 11+z4 at z=eiπ/n?


Answer



Here is a different way. Lets more generally find the Mellin Transform.



Consider I(α,β)=0uα11+uβdu=M(11+uβ)(α)

Let x=1+uβ so that u=(x1)1β. Then we have I(α,β)=1β1(x1)α1βx(x1)1β1dx.
Setting x=1v we obtain I(α,β)=1β10vαβ(1v)αβ1dv=1βB(αβ+1, αβ).



Using the properties of the Beta and Gamma functions, this equals 1βΓ(1αβ)Γ(αβ)Γ(1)=πβsin(παβ).



Your question is the case where α=1.




Also see Chandru's answer on a different thread. It is another nice solution, along the lines of what you did above. (See this previous question, where both solutions can be found)



Hope that helps,


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