Wednesday, May 1, 2019

calculus - A definite integral with trigonometric functions: intpi/20x2sqrttanxsin(2x),mathrmdx



How could we get a closed form for the following integral:




π20x2tanxsin(2x)dx





While the antiderivative of tanxsin(2x) can be expressed in terms of elementary functions according to Wolfram Alpha, the antiderivative of x2tanxsin(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:



π20dxx2tanxsin(2x)=2π20dxx2eixsinxcosx



So consider the following integral:




J(α)=π20dxeiαxsinxcosx



Note that the integral we seek is



π20dxx2tanxsin(2x)=2[2α2J(α)]α=1



It turns out that there is, in fact, a closed for for J(α):



J(α)=(116+i16)π2(eiπa2i)Γ(a14)Γ(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αxsinxcosx



Then




J(α)=π3/2sin(πa4)8Γ(5a4)Γ(5+a4)



and



[2α2J(α)]α=1=π(5π2+6π(log(4)2)+3(8+(log(4)4)log(4)))1922



The integral we seek is then




π20dxx2tanxsin(2x)=2[2α2J(α)]α=1=π(24+12π+5π23log2(4)+12log(4)6πlog(4))962



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

analysis - Injection, making bijection

I have injection f:AB and I want to get bijection. Can I just resting codomain to f(A)? I know that every function i...