Derivative of the gamma function (${\Gamma }^{\prime }(a)={\int }_0^{\infty }{e}^{-t}{t}^{a-1}\log tdt$)

For positive real $a$, differentiating the gamma function integral under the integral sign gives the displayed formula; successive derivatives insert higher powers of $\log t$. Dominated differentiation on compact positive-$a$ intervals is justified by exponential decay at infinity and integrability of $t^{a-1}|\log t{|}^n$ at zero. At $a=1$, these derivatives give moments used in logarithmic endpoint asymptotic expansions.

For $t$ in a compact positive interval $[a,b]$, split the integration region at one. Near zero the smallest exponent gives the displayed bound, whose integral is $1/a^2$. Above one the largest exponent gives the bound, integrable by exponential decay. A single integrable function therefore dominates all parameter derivatives locally. Dominated differentiation under the integral sign gives ${\Gamma }^{\prime }(t)={\int }_0^{\infty }{e}^{-x}{x}^{t-1}\log xdx$. The same argument with higher powers of $|\log x|$ gives all higher derivatives.