Kurret
- 141
- 0
I have encountered the following formula a couple of times (always in a physics context, of course..)
\int_{0}^\infty \frac{dt}{t}e^{-tx}=-\log x
Formally one can "derive" this formula by noting that
\log x=\int \frac{dx}{x}=\int dx \int_0^\infty dte^{-xt}=-\int_0^\infty \frac{dt}{t}e^{-xt}
But the t integral obviously diverges. So there must be some regularization of this integral but this is never explained (and sometimes they write that the integral is from ##0^+## instead of 0, whatever that means).
\int_{0}^\infty \frac{dt}{t}e^{-tx}=-\log x
Formally one can "derive" this formula by noting that
\log x=\int \frac{dx}{x}=\int dx \int_0^\infty dte^{-xt}=-\int_0^\infty \frac{dt}{t}e^{-xt}
But the t integral obviously diverges. So there must be some regularization of this integral but this is never explained (and sometimes they write that the integral is from ##0^+## instead of 0, whatever that means).