Saturday, 27 July 2013

integration - Integral inti0nftyfracarctan(x2)x4+x2+1dx




Accidentally while trying to evaluate a similar integral, I think originally found here, I have taken the denominator instead of x4+4x2+1 as x4+x2+1 and stumbled into the following integral:
J=0(x21)arctan(x2)x4+x2+1dx I think this have a closed form because the linked one has a simple closed form: π2122, also if there is arctanx instead of arctan(x2) then we have: 0arctanxx4+x2+1dx=π28323G+π12ln(2+3)



Some proofs are found here: Using 0tan1(x2)x2+a2 dx or using residues.
Anyway I started by splitting into two integrals and substituting x=1t:
0x2arctan(x2)x4+x2+1dx=0π2arctan(x2)x4+x2+1dxJ=π24320arctan(x2)x4+x2+1dx
Well, now the main issue is to evaluate:
I=0arctan(x2)x4+x2+1dx




Using the same method as in the second link I arrived at:
I=(1i32)f(1+i32)+(1+i32)f(1i32) Where f(a)=0tan1(x2)x2+a2=π2a(tan1(2a+1)+tan1(2a1)tan1(a2)), but I don't see how to simplify further.



I also tried the "straight forward" way, by employing Feynman's trick to the following integral:
I(b)=0arctan(bx)2x4+x2+1dxddbI(b)=02bx2(x4+x2+1)(1+b4x4)dx
=2bb8b4+10x2x4+x2+1dxb5b8b4+10dxx2+x+1++2b5b8b4+10dx1+b4x4+b9b5b8b4+10x21+b4x4dx
=π3bb8b4+12π33b5b8b4+1+π2b4b8b4+1+π22b6b2b8b4+1
Now since I(0)=0 we have: I=I(1)I(0)=10(ddbI(b))db



Integrating the first two parts is okay-ish, but for the last two I have no idea on how to proceed, also it seems that only elementary constants appear thus I believe the integral can be approached in a nicer way. I would love to get some help, if it's possible without using residues since I am not great there.



Answer



Complete answer now!I=0arctan(x2)x4+x2+1dxx=1t=0arctan(1t2)1t4+1t2+1dtt2t=x=0x2(π2arctan(x2))x4+x2+1dx
Now if we add the result with the original integral I we get:
2I=π20x2x4+x2+1dx+0(1x2)arctan(x2)x4+x2+1dx
I=12π2π23120(x21)arctan(x2)x4+x2+1dx=π28312J






Now in order to calculate J we start by performing IBP:

J=0(x21)arctan(x2)x4+x2+1dx=0arctan(x2)(12ln(x2x+1x2+x+1))dx=
=12ln(x2x+1x2+x+1)arctan(x2)|0=0+0x1+x4ln(x2+x+1x2x+1)dx
Substituting x=tan(t) and doing some simplifications yields:
J=π202sin(2t)3+cos(4t)ln(2+sin(2t)2sin(2t))dt2t=x=π0sinx3+cos(2x)ln(2+sinx2sinx)dx=
=2π20sinx3+cos(2x)ln(2+sinx2sinx)dx=π20cosx1+sin2xln(2+cosx2cosx)dx=
=12π0cosx1+sin2xln(2+cosx2cosx)dxtan(x2)=t=01t2t4+6t2+1ln(t2+33t2+1)dt



Splitting the integral into two parts followed by the substitution t=1x in the second part gives:
01t2t4+6t2+1ln(3t2+1)dt=0x21x4+6x2+1ln(x2+3x2)dx
J=01x2x4+6x2+1ln(x2+3)dx01x2x4+6x2+1(ln(x2)ln(x2+3))dx=

=201x2x4+6x2+1ln(x2+3x)dx=20(12arctan(2x1+x2))ln(x2+3x)dx=
=arctan(2x1+x2)ln(x2+3x)|0=00arctan(2x1+x2)(2xx2+31x)dx
J=0arctan(2x1+x2)dxx0arctan(2x1+x2)2xx2+3dx=J1J2






J1=0arctan(2x1+x2)dxxx=tan(t2)=π0arctan(sint)sintdtt=x=2π20arctan(sinx)sinxdx
In general, we have the following relation: arctanxx=10dy1+(xy)2arctan(sinx)sinx=10dy1+(sin2x)y2
J1=2π20arctan(sinx)sinxdx=2π2010dy1+(sin2x)y2dx=210π2011+(sin2x)y2dxdy
=210arctan(1+y2tan(x))1+y2|π20=π10dy1+y2=πln(1+2)







In order to evaluate J2 we return the integral before was integrated by parts.
J2=20arctan(2xx2+1)xx2+3dx=20(x21)ln(x2+3)x4+6x2+1dx=
=(2+1)0ln(x2+3)x2+(2+1)2 dx(21)0ln(x2+3)x2+(21)2dx
Using the following identity that is valid for a0,b>0:0ln(x2+a2)x2+b2 dx=πbln(a+b) J2=πln(3+2+13+21)=π2ln(2+3)
So we found that:J=πln(1+2)π2ln(2+3)I=π283+π4ln(2+3)π2ln(1+2)


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