Tauber’s theorem and Karamata’s proof of the Hardy-Littlewood tauberian theorem
The following lemma is attributed to Kronecker by Knopp.11 1 Konrad Knopp, Theory and Application of Infinite Series, p. 129, Theorem 3.
Lemma 1 (Kronecker’s lemma).
If then
Proof.
Suppose that for all , and let . As there is some such that implies that . If , then
∎
We now use the above lemma to prove Tauber’s theorem.22 2 cf. E. C. Titchmarsh, The Theory of Functions, second ed., p. 10, §1.23.
Theorem 2 (Tauber’s theorem).
If and as , then
Proof.
Let . Because as , there is some such that implies that
Next, because , there is some such that (i) if then and by Lemma 1, (ii) .
Take , so and . We have
Also, using
we have
Now,
and then
proving the claim. ∎
Lemma 3.
Let and . Suppose that the restrictions of to and are continuous and that
For , there are are polynomials and such that
and
Proof.
There is some such that implies that
further, take and .
Take to be the linear function satisfying
For ,
Define by
is continuous and . We have
Because is continuous, by the Weierstrass approximation theorem there is a polynomial such that . Then,
and
On the other hand, take to be the linear function satisfying
One checks that for .
Define by
which is continuous and satisfies . One checks that
Because is continuous, there is a polynomial such that . Then,
and
∎
The following is the Hardy-Littlewood tauberian theorem.33 3 E. C. Titchmarsh, The Theory of Functions, second ed., p. 227, §7.53, attributed to Karamata.
Theorem 4 (Hardy-Littlewood tauberian theorem).
If for all and
then
Proof.
For any ,
as . Hence if is a polynomial, then
(1) |
Define by
Let . By Lemma 3, there are polynomials such that
and
Because the coefficients are nonnegative, taking upper limits and then using (1) we obtain
Taking lower limits and then using (1) we obtain
The above two inequalities do not depend on the polynomials but only on , and taking yields
and
Thus
(2) |