How could we get a closed form for the following integral:
∫π20x2√tanxsin(2x)dx
While the antiderivative of √tanxsin(2x) can be expressed in terms of elementary functions according to Wolfram Alpha, the antiderivative of x2√tanxsin(2x) seeminly cannot be expressed in closed form.
To evaluate (1), would introducing a parameter and differentating under the integral sign be helpful?
Answer
The general method of attack on an integral like this is to recognize that the x2 could be ignored for the time being upon expressing the integral in terms of a suitable parameter which may then be twice differentiated. To wit, after a little manipulatin, I find:
∫π20dxx2√tanxsin(2x)=2ℑ∫π20dxx2eix√sinxcosx
So consider the following integral:
J(α)=∫π20dxeiαx√sinxcosx
Note that the integral we seek is
∫π20dxx2√tanxsin(2x)=−2ℑ[∂2∂α2J(α)]α=1
It turns out that there is, in fact, a closed for for J(α):
J(α)=−(116+i16)√π2(eiπa2−i)Γ(a−14)Γ(a+54)
Plugging this into the above expression, you will find terms including polylogs and harmonic numbers, which I will spare you unless explicitly asked for. But this is how you would get a closed-form expression for your integral.
EDIT
The integral is even nicer when we consider
J(α)=∫π20dxsinαx√sinxcosx
Then
J(α)=π3/2sin(πa4)8Γ(5−a4)Γ(5+a4)
and
[∂2∂α2J(α)]α=1=π(−5π2+6π(log(4)−2)+3(8+(log(4)−4)log(4)))192√2
The integral we seek is then
∫π20dxx2√tanxsin(2x)=−2[∂2∂α2J(α)]α=1=π(−24+12π+5π2−3log2(4)+12log(4)−6πlog(4))96√2
It turns out that the numerical value of the latter value is about 1.10577, which agrees with the numerical approximation of the integral mentioned by @mrf and verified in Mathematica.
No comments:
Post a Comment