Difference between revisions of "Newman's Tauberian Theorem"

Revision as of 18:52, 3 July 2006

This article is a stub. Help us out by expanding it.

Statement

Let $f:(0,+\infty)\to\mathbb C$ be a bounded function. Assume that its Laplace transform $F(s)=\int_0^\infty f(t)e^{-st}\,dt$ (which is well-defined by this formula for $\Re s>0$ ) admits an analytic extension (which we'll denote by the same letter $F$ ) to some open domain $E$ containing the closed half-plane $\{s\in\mathbb C\,:\,\Re s\ge 0\}$ . Then the integral $\int_0^\infty f(t)\,dt$ converges and its value equals $F(0)$ .

Proof

For every $T>0$ , let $F_T(s)=\int_0^T f(t)e^{-st}\,dt$ . The function $F_T$ is defined and analytic on the entire complex plane $\mathbb C$ . The conclusion of the theorem is equivalent to the assertion $\lim_{T\to+\infty} F_T(0)=F(0)$ . Now, choose some big $R>0$ and consider the contour $\Gamma=\Gamma_+\cup\Gamma_-$ as on the picture below.

Here $\Gamma_+$ is a semicircle and $\Gamma_-$ is any smooth curve that lies to the left of the imaginary axis except for its endpoints and such that the domain $D$ bounded by $\Gamma$ is entirely contained in $E$ . By the Cauchy integral formula, we have

$F(0)-F_T(0)=\frac 1{2\pi i}\int_\Gamma K(z)(F(z)-F_T(z))\,dz$

where $K(z)$ is any kernel that is analytic in some neighbourhood of $D$ except for the point $0$ where it must have a simple pole with residue $1$ .

The trick is to choose an appropriate kernel (depending on $T$ ) that makes the integral easy to estimate. To make a good choice, let us first estimate the difference $F(z)-F_T(z)$ on $\Gamma_+$ . We have

$|F(z)-F_T(z)|= \left|\int_T^{+\infty}f(t)e^{-zt}\,dt\right| \le M\int_T^{+\infty}e^{-\Re z\,t}\,dt=M\frac {e^{-\Re z\,T}}{\Re z}$

where $M$ is a bound for $|f|$ on $(0,+\infty)$ . Thus, we should kill the denominator $\Re z$ if we want the integral to converge. On the other hand, we can afford the kernel $K(z)$ grow as $e^{T\Re z}$ in the right half-plane (actually, we do not need any growth of $K(z)$ in the right half-plane for its own sake, but we need some decay in the left half-plane to estimate the integral over $\Gamma_-$ and it is impossible to get the latter without the first). This leads us to the choice

$K(z)=\left(\frac 1z+\frac z{R^2}\right)e^{Tz}$

Note that $K(\pm iR)=0$ , so the unpleasant denominator $\Re z$ is, indeed, killed by $K$ on $\Gamma_+$ . Also, $K$ 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 $\Gamma_+$ does not exceed

To be continued

@@ Line 4: / Line 4: @@
 ==Proof==
+For every <math>T>0</math>, let <math>F_T(s)=\int_0^T f(t)e^{-st}\,dt</math>. The function <math>F_T</math> is defined and analytic on the entire complex plane <math>\mathbb C</math>. The conclusion of the theorem is equivalent to the assertion <math>\lim_{T\to+\infty} F_T(0)=F(0)</math>. Now, choose some big <math>R>0</math> and consider the contour <math>\Gamma=\Gamma_+\cup\Gamma_-</math> as on the picture below.
 [[Image:Newmans_Tauberian_Contour.PNG|Contour picture]]
+Here <math>\Gamma_+</math> is a semicircle and <math>\Gamma_-</math> is any smooth curve that lies to the left of the imaginary axis except for its endpoints and such that the domain <math>D</math> bounded by <math>\Gamma</math> is entirely contained in <math>E</math>. By the [[Cauchy Integral Formula|Cauchy integral formula]], we have
+<math>F(0)-F_T(0)=\frac 1{2\pi i}\int_\Gamma K(z)(F(z)-F_T(z))\,dz</math>
+where <math>K(z)</math> is any kernel that is analytic in some neighbourhood of <math>D</math> except for the point <math>0</math> where it must have a simple [[pole]] with [[residue]] <math>1</math>.
+The trick is to choose an appropriate kernel (depending on <math>T</math>) that makes the integral easy to estimate. To make a good choice, let us first estimate the difference
+<math>F(z)-F_T(z)</math> on <math>\Gamma_+</math>. We have
+<math>|F(z)-F_T(z)|= \left|\int_T^{+\infty}f(t)e^{-zt}\,dt\right|
+\le M\int_T^{+\infty}e^{-\Re z\,t}\,dt=M\frac {e^{-\Re z\,T}}{\Re z}
+</math>
+where <math>M</math> is a bound for <math>|f|</math> on <math>(0,+\infty)</math>.
+Thus, we should kill the denominator <math>\Re z</math> if we want the integral to converge. On the other hand, we can afford the kernel <math>K(z)</math> grow as <math>e^{T\Re z}</math> in the right half-plane (actually, we do not need any growth of <math>K(z)</math> in the right half-plane for its own sake, but we need some decay in the left half-plane to estimate the integral over <math>\Gamma_-</math> and it is impossible to get the latter without the first). This leads us to the choice
+<math>K(z)=\left(\frac 1z+\frac z{R^2}\right)e^{Tz}</math>
+Note that <math>K(\pm iR)=0</math>, so the unpleasant denominator <math>\Re z</math> is, indeed, killed by <math>K</math> on <math>\Gamma_+</math>. Also, <math>K</math> 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 <math>\Gamma_+</math> does not exceed
+''To be continued''

Page

Toolbox

Search

Difference between revisions of "Newman's Tauberian Theorem"

Revision as of 18:52, 3 July 2006

Statement

Proof