# Best way to integrate $\int_0^\infty \frac{e^{-at} - e^{-bt}}{t} \text{d}t$

Today I had an exam and I mixed up the integration by parts formula. The question was to integrate $$\int_0^\infty \frac{e^{-at} - e^{-bt}}{t} \text{d}t$$

I will try solve this again with the right formula when I arrive home. I would appreciate if somebody could tell me the solution so I can double check and maybe give a hint to another way of solving this instead of integration by parts (if possible).

-

2
Hint: Write the integrand as an integral over [a,b], then switch the order of integration. – Ragib Zaman Sep 6 '11 at 10:21
– Gerben Sep 6 '11 at 12:45
I guess this is a duplicate then, but @Ragib's answer is different (from robjohn's) and also nice. – Srivatsan Sep 6 '11 at 12:46

## 2 Answers

I may as well give an answer:

Note $$\frac{ e^{-at} - e^{-bt} }{t} = \int^b_a e^{-xt} dx$$ so our integral is

$$\int^{\infty}_0 \int^b_a e^{-xt} dx dt = \int^b_a \int^{\infty}_0 e^{-xt} dt dx$$ $$= \int^b_a \frac{1}{x} dx = \log(b/a)$$

This is a general method, and often this whole process is compressed into a well known integral called Frullani's Integral.

-

nice solution you gave! – Chris's wise sister Aug 5 '12 at 14:45

By differentiating under the integral sign. Fix $a$, and let

$$g(b) = \int_{0}^\infty \frac{e^{-at} - e^{-bt}}{t} dt.$$

Differentiating w.r.t. $b$, we get $$g'(b) = \frac{d}{db}\int_{0}^\infty \frac{e^{-at} - e^{-bt}}{t} dt = \int_{0}^{\infty} \frac{\partial}{\partial b} \frac{e^{-at} - e^{-bt}}{t} dt.$$ Doing the differentiation, $$g'(b) = \int_{0}^{\infty} e^{-bt} dt = - \left.\frac{e^{-bt}}{b} \right|_{0}^{\infty} = \frac{1}{b}.$$ Thus we must have $g(b) = \ln b + C$ for some constant $C$. To determine $C$, plug in $a$, and use the fact that $g(a) = 0$.

Note. I am yet to convince myself that all the steps of the proof are rigorous. I will edit my answer later if additional argument is necessary.

-

@Ragib Sure. I will delete my comments now (and this one in a little while). – Srivatsan Oct 3 '11 at 17:22
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 8, "mathjax_display_tex": 7, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9429055452346802, "perplexity_flag": "head"}