∫π/20sinaxcosbxdx=Γ(1+a2)Γ(1+b2)2Γ(1+a+b2)for a,b>−1
according to Mathematica. Wikipedia also lists a recursive expression for the indefinite integral when a,b>0. My question is how to derive the explicit formula given by Mathematica (preferably without using esoteric special functions, but complex analysis is fine).
Answer
Okay first of all we make the substitution t=sin2x. Thus the integral becomes
12∫10ta−12(1−t)b−12dt=12∫10ta+12−1(1−t)b+12−1dt
Then we recall the definition of the Beta function:
B(x,y)=∫10tx−1(1−t)y−1dt=Γ(x)Γ(y)Γ(x+y)
So we have our integral at
Γ(a+12)Γ(b+12)2Γ(a+b2+1)
No comments:
Post a Comment