Show $\int_0^\infty \frac{e^{-x}-e^{-xt}}{x}dx = \ln(t),$ for $t \gt 0$
The problem is to show
$$\int_0^\infty \frac{e^{-x}-e^{-xt}}{x}dx = \ln(t),$$
for $t \gt 0$.
I'm pretty stuck. I thought about integration by parts and couldn't get anywhere with the integrand in its current form. I tried a substitution $u=e^{-x}$ and came to a new integral (hopefully after no mistakes)
$$ \int_0^1 \frac{u^{t-1}-1}{\log(u)}du, $$
but this doesn't seem to help either. I hope I could have a hint in the right direction... I really want to solve most of it by myself.
Thanks a lot!
Solution 1:
Let $$I(t) = \int_0^\infty \dfrac{\exp(-x) - \exp(-xt)}{x} \, dx$$ Then $$\dfrac{dI}{dt} = \int_0^{\infty} \exp(-xt) \, dx = \left. \dfrac{\exp(-xt)}{-t} \right \vert_0^\infty = \dfrac1t$$ Hence, $$I(t) = \ln(t) + c$$ But $$I(1) = \int_0^\infty \dfrac{\exp(-x) - \exp(-x)}{x} \, dx = \int_0^\infty 0 \, dx = 0 \implies c =0$$ Hence, $$I(t) = \ln(t)$$
Solution 2:
Hint: $\frac{e^{-x}-e^{-xt}}{x} = \int\limits_{1}^{t}{e^{-xs}\text{ d}s}.$