How do we prove that $$\int_{1}^{\infty} \frac{\sin^4(\log x)}{x^2 \log x} \mathrm{d}x=\dfrac{\log\left(\dfrac{625}{17}\right)}{16}$$
I tried substitutions like $\log x=\arcsin t$, but it doesn't seem to work out. Please help me out. Thank you.
Answer
The integral screams for a sub $x=e^u$; the result is
$$\int_0^{\infty} du \, e^{-u} \frac{\sin^4{u}}{u} $$
This is very computable by introducing a parameter and differentiating under the integral. In this case, consider
$$F(k) = \int_0^{\infty} du \, e^{-k u} \frac{\sin^4{u}}{u} $$
$$F'(k) = -\int_0^{\infty} du \, e^{-k u} \sin^4{u} $$
$F'(k)$ is relatively easy to compute using the fact that $\sin^4{u} = \frac{3}{8}-\frac12 \cos{2 u} + \frac18 \cos{4 u}$, and that
$$\int_0^{\infty} du \, e^{-k u} \cos{m u} = \frac{k}{k^2+m^2}$$
Thus
$$F'(k) = -\frac{3}{8 k} + \frac12 \frac{k}{k^2+4} - \frac18 \frac{k}{k^2+16} $$
and
$$F(k) = -\frac1{16} \log{\left [ \frac{k^6 (k^2+16)}{(k^2+4)^4} \right ]} + C$$
To evaluate $C$, we must consider $\lim_{k \to \infty} F(k)$ because $F(0)$ represents a non convergent integral. Because the limit is zero, we must have $C=0$. The integral we seek is then
$$F(1) = \frac1{16} \log{\frac{625}{17}}$$
No comments:
Post a Comment