$$ \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
$$ \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
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).$$