While studying Dirichlet's proof of an infinity of primes in any AP with first term and common difference coprime, the formula below involving the gamma function was quoted as being well known.
$$\int_{0}^{1} x^{k-1} \log ^{\varrho } \left ( \frac{1}{x} \right ) dx = \frac{\Gamma \left ( 1 + \varrho \right )}{k + \varrho }$$
where k is a positive constant and $\varrho$ is complex.
I had not seen this formula before and wanted to derive it (after first looking around in the literature and not finding it). My question concerns only the above formula, can someone please show how this was derived ?
I tried to derive it from :
$$\Gamma \left ( \varrho + 1 \right ) = \int_{0}^{\infty } t^{\varrho }\ e^{-t} dt$$
using the simple substitution $$x = e^{-t} \Rightarrow t = \log \frac{1}{x}$$
which yields $$\Gamma \left ( \varrho + 1 \right )=\int_{0}^{1} \log ^{\varrho }\left ( \frac{1}{x} \right )dx$$
From this I derived a reduction formula and expanded it but the above form did not come out ... can someone show the derivation or point to a reference book ?
Thanks, Aethelred the Unwashed.