Friday, 17 March 2017

real analysis - intinfty0frac11+xr:dx=frac1rGammaleft(fracr1rright)Gammaleft(frac1rright)




As part of a recent question I posted, I decided to try and generalise for a power of 2 to any rR. As part of the method I took, I had to solve the following integral:




I=011+xrdx



I believe what I've done is correct, but I'm concerned that I may missed something (in particular whether it holds for all r0). So, here I have two questions (1) Is what I've done correct? and (2) What other methods can be employed that doesn't rely on complex analysis?



Here is the method I took:



First make the substitution u=x1r to arrive at




I=1n011+uu11rdu



We now substitute t=11+u to arrive at:



I=1r01t(1tt)1r11t2dt=1r10t1r(1t)1r1dt=1rB(11n,1+1r1)=1rB(r1r,1r)=1rB(r1r,1r)



Wheer B(a,b) is the Beta function. Using the relationship between the Beta and Gamma function we arrive at:



I=1rΓ(r1r)Γ(1r)Γ(r1r+1r)=1rΓ(r1r)Γ(1r)



And so, we arrive at:




I=011+xrdx=1rΓ(r1r)Γ(1r)



for r>1



As per KemonoChen's comment and others, we can employ Euler's Reflection Formula to position this result for 1rZ Here, as rR,r>11rZ and so our formula holds.



I=011+xrdx=1rΓ(r1r)Γ(1r)=πrsin(πr)



Thank you also to Winther, Jjagmath, and MrTaurho's for their comments and corrections/clarifications.


Answer



Your given integral is closely related to the Mellin transform and can be evaluated by using Ramanujan's Master Theorem.




Ramanujan's Master Theorem




Let f(x) be an analytic function with a MacLaurin Expansion of the form
f(x)=k=0ϕ(k)k!(x)kthen the Mellin Transform of this function is given by
0xs1f(x)dx=Γ(s)ϕ(s)




In order to get there we can expand the fraction as a geometric series



I=011+xndx=0k=0(1)kxkndx




Now by applying the substitution t=xn followed by a little bit of reshaping yields to



I=0k=0(1)kxkndx=1n0t1/n1k=0(1)kk!k!tkdt=1n0t1/n1k=0(1)kϕ(k)k!tkdt



Now we can apply Ramanujan's Master Theorem with s=1/n and ϕ(k)=Γ(k+1) to get




I=1n0t1/n1k=0(1)kϕ(k)k!tkdt=1nΓ(1n)Γ(11n)



And finally this can be simplified, as already pointed out, by using Euler's Reflection Formula (as long as it holds i.e. for all 1/nZ) to get




I=011+xndx=1nπsin(πn)




No comments:

Post a Comment

real analysis - How to find limhrightarrow0fracsin(ha)h

How to find lim without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...