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(x2−1)arctan(x2)x4+x2+1dx I think this have a closed form because the linked one has a simple closed form: π212√2, also if there is arctanx instead of arctan(x2) then we have: ∫∞0arctanxx4+x2+1dx=π28√3−23G+π12ln(2+√3)
Some proofs are found here: Using ∫∞0tan−1(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π2−arctan(x2)x4+x2+1dx⇒J=π24√3−2∫∞0arctan(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=(1−i√32)f(√1+i√32)+(1+i√32)f(√1−i√32) Where f(a)=∫∞0tan−1(x2)x2+a2=π2a(tan−1(√2a+1)+tan−1(√2a−1)−tan−1(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+1dx→ddbI(b)=∫∞02bx2(x4+x2+1)(1+b4x4)dx
=2bb8−b4+1∫∞0x2x4+x2+1dx−b5b8−b4+1∫∞0dxx2+x+1++2b5b8−b4+1∫∞0dx1+b4x4+b9−b5b8−b4+1∫∞0x21+b4x4dx
=π√3bb8−b4+1−2π3√3b5b8−b4+1+π√2b4b8−b4+1+π2√2b6−b2b8−b4+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(π2−arctan(x2))x4+x2+1dx
Now if we add the result with the original integral I we get:
2I=π2∫∞0x2x4+x2+1dx+∫∞0(1−x2)arctan(x2)x4+x2+1dx
⇒I=12⋅π2⋅π2√3−12∫∞0(x2−1)arctan(x2)x4+x2+1dx=π28√3−12J
Now in order to calculate J we start by performing IBP:
J=∫∞0(x2−1)arctan(x2)x4+x2+1dx=∫∞0arctan(x2)(12ln(x2−x+1x2+x+1))′dx=
=12ln(x2−x+1x2+x+1)arctan(x2)|∞0⏟=0+∫∞0x1+x4ln(x2+x+1x2−x+1)dx
Substituting x=tan(t) and doing some simplifications yields:
J=∫π202sin(2t)3+cos(4t)ln(2+sin(2t)2−sin(2t))dt2t=x=∫π0sinx3+cos(2x)ln(2+sinx2−sinx)dx=
=2∫π20sinx3+cos(2x)ln(2+sinx2−sinx)dx=∫π20cosx1+sin2xln(2+cosx2−cosx)dx=
=12∫π0cosx1+sin2xln(2+cosx2−cosx)dxtan(x2)=t=∫∞01−t2t4+6t2+1ln(t2+33t2+1)dt
Splitting the integral into two parts followed by the substitution t=1x in the second part gives:
∫∞01−t2t4+6t2+1ln(3t2+1)dt=∫∞0x2−1x4+6x2+1ln(x2+3x2)dx
⇒J=∫∞01−x2x4+6x2+1ln(x2+3)dx−∫∞01−x2x4+6x2+1(ln(x2)−ln(x2+3))dx=
=2∫∞01−x2x4+6x2+1ln(x2+3x)dx=2∫∞0(12arctan(2x1+x2))′ln(x2+3x)dx=
=arctan(2x1+x2)ln(x2+3x)|∞0⏟=0−∫∞0arctan(2x1+x2)(2xx2+3−1x)dx
⇒J=∫∞0arctan(2x1+x2)dxx−∫∞0arctan(2x1+x2)2xx2+3dx=J1−J2
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)2⇒arctan(sinx)sinx=∫10dy1+(sin2x)y2
J1=2∫π20arctan(sinx)sinxdx=2∫π20∫10dy1+(sin2x)y2dx=2∫10∫π2011+(sin2x)y2dxdy
=2∫10arctan(√1+y2⋅tan(x))√1+y2|π20=π∫10dy√1+y2=πln(1+√2)
In order to evaluate J2 we return the integral before was integrated by parts.
J2=2∫∞0arctan(2xx2+1)xx2+3dx=2∫∞0(x2−1)ln(x2+3)x4+6x2+1dx=
=(√2+1)∫∞0ln(x2+3)x2+(√2+1)2 dx−(√2−1)∫∞0ln(x2+3)x2+(√2−1)2dx
Using the following identity that is valid for a≥0,b>0:∫∞0ln(x2+a2)x2+b2 dx=πbln(a+b) ⇒J2=πln(√3+√2+1√3+√2−1)=π2ln(2+√3)
So we found that:J=πln(1+√2)−π2ln(2+√3)⇒I=π28√3+π4ln(2+√3)−π2ln(1+√2)
No comments:
Post a Comment