Solution (source code)

= Solution

Substitute $u=\log x$, giving $dx=e^u\,du$. The nonnegative integral becomes
$$
\int_0^\infty u e^{-(\alpha-1)u}\,du.
$$
For $\alpha>1$ an <integration by parts> gives $1/(\alpha-1)^2$; its boundary term vanishes because exponential decay dominates $u$. Hence it is finite, proving integrability and
$$
\boxed{\int_1^\infty x^{-\alpha}\log x\,dx=(\alpha-1)^{-2}.}
$$