I occasionally found that ∫π20xtanx=π2ln2.
I tried that
∫π20xtanx=∫π20x d(lnsinx)=−∫π20ln(sinx)=π2ln2
Then I tried another method
∫π20xtanx=∫∞0arctanxx(x2+1)dx
I tried to expand arctanx and 11+x2, but got nothing, also I was confused that whether ∫∞0 and ∞∑i=0 can exchange or not? If yes, on what condition?
Sincerely thanks your help!
Answer
I just want to seek ways that have nothing to do with ln(sinx).
Hint. You may consider
$$
I(a):=\int_0^\infty\frac{\arctan (ax)}{x(x^2+1)}\:\mathrm dx,\quad 0andobtain
I'(a)=\int_0^\infty\frac1{(x^2+1)(a^2x^2+1)}\:\mathrm dx.
Byusingpartialfractiondecomposition,wehave
\frac1{(x^2+1)(a^2x^2+1)}=\frac1{\left(1-a^2\right) \left(x^2+1\right)}-\frac{a^2}{\left(1-a^2\right) \left(a^2 x^2+1\right)}
giving
I′(a)=1(1−a2)∫∞01x2+1dx−a2(1−a2)∫∞01a2x2+1dx=1(1−a2)[arctanx]∞0−a2(1−a2)[arctan(ax)a]∞0=1(1−a2)π2−a(1−a2)π2=π211+a
$$ Since I(0)=0, by integrating (2), you easily get
∫∞0arctan(ax)x(x2+1)dx=π2ln(a+1),0≤a<1,
from which, by letting a→1−, you deduce
∫∞0arctanxx(x2+1)dx=π2ln2
as announced.
No comments:
Post a Comment