22
$\begingroup$

Please help me to evaluate this integral: $$\int_0^\pi\arctan^2\left(\frac{\sin x}{2+\cos x}\right)dx$$ Using substitution $x=2\arctan t$ it can be transformed to: $$\int_0^\infty\frac{2}{1+t^2}\arctan^2\left(\frac{2t}{3+t^2}\right)dt$$ Then I tried integration by parts, but without any success...

$\endgroup$
  • $\begingroup$ Have you tried converting to complex exponential form or using Tangent Half Angle substitution? $\endgroup$ – Brevan Ellefsen Dec 29 '15 at 23:49
  • $\begingroup$ A related question : math.stackexchange.com/q/564816/84266 $\endgroup$ – mrprottolo Dec 29 '15 at 23:51
  • $\begingroup$ By the way, if you want, write \mathrm dx to generate $\mathrm dx$ as opposed to $dx$. Same applies to $t$. $\endgroup$ – Mr Pie Apr 25 '18 at 4:57
35
$\begingroup$

A Fourier analytic approach. If $x\in(0,\pi)$, $$\begin{eqnarray*}\arctan\left(\frac{\sin x}{2+\cos x}\right) &=& \text{Im}\log(2+e^{ix})\\&=&\text{Im}\sum_{n\geq 1}\frac{(-1)^{n+1}}{n 2^n}\,e^{inx}\\&=&\sum_{n\geq 1}\frac{(-1)^{n+1}}{n 2^n}\,\sin(nx),\end{eqnarray*}$$ hence by Parseval's theorem:

$$ \int_{0}^{\pi}\arctan^2\left(\frac{\sin x}{2+\cos x}\right)\,dx=\frac{\pi}{2}\sum_{n\geq 1}\frac{1}{n^2 4^n}=\color{red}{\frac{\pi}{2}\cdot\text{Li}_2\left(\frac{1}{4}\right)}.$$


As a side note, we may notice that $\text{Li}_2\left(\frac{1}{4}\right)$ is quite close to $\frac{1}{4}$.

By applying summation by parts twice we get:

$$ \sum_{n\geq 1}\frac{1}{n^2 4^n} = \color{red}{\frac{1}{3}-\frac{1}{12}}+\sum_{n\geq 1}\frac{1}{9\cdot 4^n}\left(\frac{1}{n^2}-\frac{2}{(n+1)^2}+\frac{1}{(n+2)^2}\right)$$ and the last sum is positive but less than $\frac{11}{486}$, since $f:n\mapsto \frac{1}{n^2}-\frac{2}{(n+1)^2}+\frac{1}{(n+2)^2}$ is a positive decreasing function on $\mathbb{Z}^+$.

$\endgroup$
  • 2
    $\begingroup$ Awesome sir..............+1 $\endgroup$ – Bhaskara-III Dec 30 '15 at 13:58
  • $\begingroup$ Hold on a minute, how does $$\arctan\left(\frac {\sin x}{2+\cos x}\right)=\Im\log(2-e^{ix})$$ $\endgroup$ – Frank W. Jun 24 '18 at 0:18
  • $\begingroup$ @FrankW.: $$\arctan\left(\frac{\sin x}{2+\cos x}\right) = \text{arg}\left(2+\cos x+i\sin x\right) = \text{Im}\,\log(2\color{red}{+}e^{ix}),$$ there shouldn't be any mistake here, I remember to have checked the outcome numerically. $\endgroup$ – Jack D'Aurizio Jun 24 '18 at 4:27
  • $\begingroup$ @JackD'Aurizio Ah, I see. Thank you for the clarification $\endgroup$ – Frank W. Jun 24 '18 at 17:06

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.