Newman's Tauberian Theorem
Let be a bounded function. Assume that its Laplace transform (which is well-defined by this formula for ) admits an analytic extension (which we'll denote by the same letter ) to some open domain containing the closed half-plane . Then the integral converges and its value equals .
For every , let . The function is defined and analytic on the entire complex plane . The conclusion of the theorem is equivalent to the assertion . Now, choose some big and consider the contour as on the picture below.
Here is a semicircle and is any smooth curve that lies to the left of the imaginary axis except for its endpoints and such that the domain bounded by is entirely contained in . By the Cauchy integral formula, we have
The trick is to choose an appropriate kernel (depending on ) that makes the integral easy to estimate. To make a good choice, let us first estimate the difference on . We have
where is a bound for on . Thus, we should kill the denominator if we want the integral to converge. On the other hand, we can afford the kernel grow as in the right half-plane (actually, we do not need any growth of in the right half-plane for its own sake, but we need some decay in the left half-plane to estimate the integral over and it is impossible to get the latter without the first). This leads us to the choice
Note that , so the unpleasant denominator is, indeed, killed by on . Also, decays in the left half-plane as fast as only is allowed by the exponential growth restriction in the right half-plane. This is not the only possible choice that will work, of course, but it is the simplest and the most elegant one.
Once this tricky choice is made, the rest is fairly straightforward. The integral over does not exceed (just use the standard parametrization and notice that and that the exponent in the kernel essentially cancels the exponent in the estimate for ). To estimate the integral over , just write .
To estimate , note that is analytic in the left half-plane, so we may change the integration path ot the left semicircle . Now, on , we have
This yields the estimate in the same way as for the integral over . At last, note that, for fixed , the integrand in is uniformly bounded and tends to at every point of as . This allows to conclude (by the Lebesgue dominated convergence theorem or in some more elementary way) that as . Thus, given any , we can first fix such that and then choose such that for . Then for and we are done.