2

$$ \int\limits_{0}^{1} \frac{\arcsin{x}}{x} dx $$

The answer should be $1.0887...$

I have tried several substituions which didn't work out and also thought of some series expansions

SADBOYS
  • 1,219

1 Answers1

10

Proceed in the following way:

$$I:=\int_{0}^{1}\frac{\arcsin (x)}{x}dx=\int_{0}^{\pi/2}t\cot (t)dt$$

by the substitution $t=\arcsin(x)$. Next, integrating per partes we get

$$I=t\cdot\ln\sin(t)\biggr|_{0}^{\pi/2}-\int_{0}^{\pi/2}\ln (\sin(t))dt.$$

However, the last integral is a well-known one and his value is $-\frac{\pi}{2}\cdot\ln (2)$. Therefore $$I=\frac{\pi}{2}\cdot\ln (2).$$

Marian G.
  • 505