4
$\begingroup$

How to prove that $$\int_0^{\pi} \log(|\sin t|)\,\textrm{dt} \;\;\textrm{is integrable }$$

Any hints would be appreciated.

$\endgroup$
7
$\begingroup$

Hint: It is true that $$\sin{t} \ge \frac{2}{\pi} t$$ on the interval $[0, \pi/2]$; try drawing the graph, or noting that $\sin{t}$ is concave down and we have equality at the endpoints. Now show that

$$\int_0^{\pi/2} |\ln{\frac{2}{\pi} t}| dt < \infty$$

Do something similar for the right-half of the interval.

$\endgroup$

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.